Conjunto numerable
De Wikipedia, la enciclopedia libre
En matemática se le llama conjunto numerable a cualquier conjunto que es finito o pueda ponerse en biyección con el conjunto de los números naturales: 
. Esto último significa asignar a cada elemento del conjunto en cuestión un valor del conjunto de los números naturales de manera inyectiva y sobreyectiva simultáneamente.
Así los conjuntos numerables tendrán el mismo cardinal de , el cual es 
(símbolo llamado aleph-sub-cero que proviene del hebreo).
En particular, podemos ordenar un conjunto numerable, estableciendo quién es el primer elemento, quién el segundo, etcétera. El resultado es que el conjunto puede ponerse como la imagen de una sucesión en el conjunto.
Son numerables los siguientes conjuntos (entre otros):
- El conjunto de los números enteros
.
- El conjunto de los números enteros negativos
.
- El conjunto de los números enteros positivos
.
- El conjunto de los números pares.
- El conjunto de los números impares.
- El conjunto de los números primos.
- El conjunto de los números algebraicos.
- El conjunto de los números racionales
.
- Todo conjunto finito.
- En general, cualquier subconjunto de los números algebraicos es numerable.
Un conjunto que no puede ponerse en correspondencia biyectiva con los números naturales se llama conjunto no numerable. Un ejemplo de lo anterior es el conjunto de los números reales 
.
El contenido de esta página es un esbozo sobre matemática. Ampliándolo ayudarás a mejorar Wikipedia.
Puedes ayudarte con las wikipedias en otras lenguas.
