Conjunto numerable

En matemticas, un conjunto es numerable o contable cuando sus elementos pueden ponerse en correspondencia uno a uno con el conjunto de los nmeros naturales o un subconjunto finito del mismo. Algunos autores toman una definicin alternativa de conjunto numerable que incluye tambin a los conjuntos finitos. Esta definicin establece que un conjunto es numerable cuando e iste correspondencia uno a uno entre el conjunto y algn subconjunto de los nmeros naturales y es por esto que en ocasiones se especifica conjunto infinito numerable o a lo sumo numerable para evitar ambig!edades, refiriendo la primera e presin nicamente a conjuntos infinitos y la segunda permitiendo conjuntos finitos. "eorg Cantor fue el primero que #i$o uso de este concepto en un art%culo publicado en &'() que marcar%a el nacimiento de la teor%a de conjuntos.& *in embargo, su importancia se manifiesta en numerosos campos de las matemticas, en particular en el anlisis, en teor%a de la medida y en topolog%a.

ndice
+ocultar, o o

& Ejemplos - .ntroduccin -.& /efiniciones -.- 0eorema de Cantor 1 2rigen del trmino ) 3otas y referencias

Ejemplos[editar]

El conjunto de todos los nmeros pares, es numerable porque la funcin4

es una biyeccin4 cada nmero natural corresponde a un nico nmero par y viceversa.

El conjunto El conjunto

de todos los enteros tambin es numerable. es numerable.

Como consecuencia del ejemplo anterior, el conjunto de todos los racionales tambin es numerable. 5or induccin puede probarse que natural k. son numerables para cualquier nmero

Introduccin[editar]
Definiciones[editar]
/e manera ms formal, un conjunto C se dice que es numerable cuando es equipotente con el conjunto de los nmeros naturales , es decir, cuando e iste una biyeccin de con C. Algunos

autores e tienden la definicin para incluir los conjuntos finitos, y bajo esta e tensin un conjunto numerable es aquel que se puede poner en biyeccin con un subconjunto de los nmeros naturales. Esta e tensin ser designada en este art%culo con la e presin 6conjunto a lo sumo numerable7 o 6conjunto finito o numerable7.- En caso de que pueda #aber ambig!edad, siempre se puede especificar que un conjunto equipotente con es un 6conjunto infinito numerable7.

5or el contrario, un conjunto 8infinito9 no numerable es un conjunto infinito que no es equipotente con reales . El argumento de la diagonal de Cantor permite demostrar que el conjunto de los nmeros y el conjunto de las partes de no son numerables, y asimismo muestra la e istencia de

numerosos infinitos distintos de los anteriores y que tampoco son numerables.

Teorema de Cantor[editar]
Artculo principal: 0eorema de Cantor
:n conjunto que contiene un subconjunto infinito numerable es necesariamente infinito. A partir de los a iomas de la teor%a de conjuntos, en particular el a ioma de eleccin, se puede mostrar que el

infinito numerable es el infinito ms pequeo en el sentido de que todo conjunto infinito contiene un conjunto infinito numerable. *e puede entonces caracteri$ar un conjunto infinito como un conjunto que contiene un subconjunto numerable, definicin que tiene aplicaciones en teor%a de la cardinalidad. El cardinal de , y por tanto el cardinal de cualquier conjunto numerable, se denota 8alef cero9.

Es el primero de los ordinales transfinitos lef, que representan todos los cardinales dado ela ioma de eleccin.

Artculo principal: Alef cero

Origen del trmino[editar]

;a nocin de numerabilidad fue introducida por "eorg Cantor en un art%culo de &'(),1 Sobre una propiedad del sistema de todos los nmeros algebraicos reales ) donde establece por una parte que el conjunto de nmeros algebraicos reales 8es decir, el conjunto de los nmeros reales que son solucin de alguna ecuacin polinmica con coeficientes enteros9 es numerable,< y por otra que el conjunto de todos los nmeros reales no lo es, a partir de lo cual deduce inmediatamente la e istencia de nmeros trascendentes o no algebraicos, redescubriendo as% un resultado de ;iouville. *u origen est ligado a la concepcin del infinito en matemticas. =asta el descubrimiento de Cantor, el infinito era el infinito potencial, la posibilidad de continuar un proceso sin detenerse nunca. ;a comparacin de conjuntos infinitos trae consigo la nocin de infinito alcan$ado, actual o completo4 un conjunto infinito visto como un todo, un concepto que #a sido rec#a$ado por numerosos matemticos 8"auss, o, en la poca de Cantor, >ronec?er, etc9.@ 5ara ellos, el #ec#o de considerar una infinidad de objetos como un todo, es decir, el concepto de conjunto infinito, no tiene sentido, sino que el infinito slo puede surgir del proceso de enumeracin sin repeticin que nunca se detiene. *lo el infinito numerable puede tener en rigor algn sentido.

Notas
&. -. 1. ).

referencias[editar]
.r aA 0#omas Bec#, Set Theor , *tanford Encyclopedia of

5#ilosop#ia, +&, .r aA Cormalmente, para que estas dos e presiones sean equivalentes, #ace falta demostrar que todo subconjunto de es finito o numerable. .r aA y en &'(1 en su correspondencia con /ede?ind. .r aA Cantor 8&'()9 !ber eine "igenschaft des #nbegriffes aller reellen algebraischen $a