Cap tulo 3.

Conjuntos innitos y cardinales

Leccin 2. Conjuntos contables o
Son aquellos conjuntos con a lo ms tantos elementos como el conjunto de los a nmeros naturales; nos proponemos demostrar que el conjunto de los nmeros u u racionales (an cuando para algunos lectores sea dif de creer) es contable. u cil 3.17 Denicin Diremos que un conjunto es contable si y slo si es domio o nado por el de los nmeros naturales, es decir, A es contable si y slo si A N u o . 3.18 Denicin o Un conjunto se llamar numerable si y slo si es equia o potente con N . Segn el ejercicio 9 de la seccin 1, A es contable si y slo u o o si (A N )(A N ), o sea si y slo si A es nito o numerable. o Ntese entonces que si un conjunto es contable y no es nito, deber ser o a numerable; como usaremos con frecuencia este hecho, lo destacaremos: Un conjunto contable e innito es numerable. 3.19 Proposicin o

a) Todo conjunto equipotente con uno contable es contable. b) Todo conjunto equipotente con uno numerable es tambin numerable. e c) Entre dos conjuntos numerables, siempre existe al menos una biyeccin o del uno en el otro. d) Si A es contable y B es numerable, entonces existe al menos una inyeccin o de A en B. Demostracin Las partes b) y c) son consecuencias inmediatas de la simetr y o a la transitividad de la equipotencia y las a) y d) se siguen de la proposicin 3. o 3.20 Proposicin Todo subconjunto innito de un conjunto numerable es o numerable. Demostracin Es prcticamente igual a la del ejercicio 5 de la o a seccin 1 anterior y no la haremos para que el lector ponga algo de su parte. o

3.21 Proposicin Todo subconjunto de un conjunto contable es contable. o Demostracin Como A B A o B, es una consecuencia inmediata de la transitividad de la dominacin. Trivialmente N y N son numerables; tambin o e lo son segn la Proposicin 3.21, el conjunto de los naturales pares {0, 2, 4, 5, } u o y el de los impares {1, 3, 5, 7, }. Ms interesante es ver que Z tambin es a e numerable; la funcin denida mediante el diagrama siguiente es una biyeccin. o o {. . . , 5, {. . . , 9, 4, 7, 3, 5, 2, 3, 1, 1, 0, 0, 1, 2, 2, 4, 3, 6, 4, . . . } = Z 8, . . . } = N

Para el lector que crea que las funciones solo se denen por frmulas, la o anterior funcin f : Z N se puede determinar as o : f (n) = 2n si n 0 (f : Z N ) = 2n 1 si n < 0 Es decir que f1 : Enteros no negativos Naturales Pares, con f1 (n) = 2n y f2 : Enteros negativos Impares, con f2 (n) = 2n 1, son biyecciones con dominios y codominios disyuntos de modo que su unin o f = f1 f2 es tambin una biyeccin. Nuevamente la proposicin 3.19 pone e o o de presente que los conjuntos {2n | n Z} y {2n + 1 | n Z} de enteros pares e impares respectivamente, son numerables, lo mismo que Z = Z {0}. Vayamos hacia la numerabilidad de conjuntos mayores. 3.22 Teorema N N es numerable. Demostracin [Primera Demostracin:] o o

Como la funcin N N N denida mediante n (n, 0) es trivialmente o inyectiva, entonces N (N N ); si logramos probar que (N N ) N, el teorema de Cantor-Bernstein nos permite concluir inmediatamente que N N N . Para obtener (N N ) N , es suciente hallar una funcin f : N N o N inyectiva. Una manera de hacerlo es tomar dos naturales mayores que 1 que sean primos relativos, por ejemplo 2 y 3 y denir f en la forma f (m, n) = 2m 3n ; es fcil probar que f es inyectiva; si f (m, n) = f (p, q), 2m 3n = 2p 3q , pero 2m a divide a 2m 3n , luego 2m divide a 2p 3q y siendo 2 primo con 3, 2m divide a 2p , de modo que m p. Intercambiando los papeles en el argumento anterior, m = p y utilizando la propiedad cancelativa del producto en la igualdad inicial se deduce o o 3n = 3q , luego n = q y (m, n) = (p, q). Demostracin [Segunda demostracin] Que un conjunto sea numerable signica que podemos disponer sus elementos en

sucesin innita sin repeticiones de elementos, ya que si f : N A es biyectiva, o entonces A = {f (0), f (1), f (2), } = {a0 , a1 , a2 , }. con ai = aj cuando i = j. Se dice que sta es una numeracin biyectiva de A. e o Representemos grcamente N N y tracemos una sucesin de echas, las a o cuales determinan la numeracin ( en forma diagonal) de los elementos de N N , o como lo muestra el grco adjunto. a El grco puede interpretarse intuitivamente como un cordel que va pasando a por los puntos de N N , es decir, sobre el cual se van marcando los puntos de N N ; si lo estirsemos, estos aparecer exactamente como uno marca los a an puntos de N sobre una semirrecta con origen inclu do. La estrategia con que se recorre todo N N fu creada por G. Cantor y es e uno de sus famosos procedimientos diagonales. Puede modicarse para producir una biyeccin f de N N sobre N y convencer categricamente al ms escptico. o o a e Simplemente cambiamos el orden del recorrido, conservando la diagonalidad:

Comenzamos en (0, 0) (o sea que f (0, 0) = 0) y pasamos a (1, 0) y seguimos a (0, 1) (o sea que f (1, 0) = 1 y f (0, 1) = 2); saltamos a (2, 0) y continuamos 3

a (1, 1) y a (0, 2) (o sea que f (2, 0) = 3, f (1, 1) = 4, f (2, 0) = 5); saltamos a (3, 0), Si convenimos que (0, 0) est sobre la diagonal cero, entonces (0, 1) y a (1, 0) estn en la diagonal 1, y (2, 0), (1, 1) y (0, 2) estn en la diagonal 2, . a a Observamos que todos los puntos (x, y) de la diagonal n son tales que x + y = n y que la diagonal n est constituida por n + 1 puntos. a As para averiguar el sitio que ocupa en la sucesin un punto (x, y) (comen o zando a contar por 1), sumamos x + y; as (x, y) est en la diagonal x + y; a sobre las diagonales anteriores hay 1 + 2 + 3 + + (x + y) puntos; en la diagonal x + y, el punto (x, y) ocupa el lugar y + 1, luego el punto (x, y) est en a el lugar 1 + 2 + 3 + + (x + y) + (y + 1) (comenzando a contar por 1), o sea (x + y)(x + y + 1) + y + 1; si comenzamos a contar por cero, (x, y) estar en el a 2 (x + y)(x + y + 1) (x + y)(x + y + 1) + y, es decir que f (x, y) = + y es la lugar 2 2 biyeccin de N N sobre N que estbamos buscando. o a 3.23 Corolario Z Z es numerable. Demostracin Como Z N y o

o Z N , entonces (ejercicio 7 de la seccin 1 anterior) Z Z N N N . A primera vista Z Z es mucho ms numeroso que Q, ya que los racionales son a clases de equivalencia de elementos de Z Z y hay menos clases de equivalencia que elementos de ZZ ; esto implica que Q ZZ y siendo ZZ numerable, Q ser contable, pero por ser innito Q resultar numerable. a a Para obtener realmente este resultado basta establecer de una manera rigurosa que Q Z Z , para lo cual es suciente demostrar que Q es equipotente con un subconjunto (innito) de Z Z . Sea Q = {(0, 1)} {(m, n) Z Z | n > 0 m primo relat. con n}. Evidentemente Q es un subconjunto innito (k Z, (k, 1) Q) de Z Z y en consecuencia numerable. m es una biyeccin puesto que o La funcin f : Q Q dada por f (m, n) = o n m no es otra cosa que la forma irreducible f (0, 1) = 0 y para m = 0 se tiene que n de un racional y es conocido que todo racional no nulo posee una unica forma irreducible. Enuncimoslo formalmente: e 3.24 Teorema El conjunto de los racionales es numerable. Sabemos que

un conjunto A es contable si y slo si existe una funcin inyectiva f : A N ; o o pero segn el teorema 4, esto sucede si y slo si existe una funcin sobreyectiva u o o g : N A. En esta forma obtenemos una estrategia alternativa para demostrar que un conjunto es contable: construir una funcin de N sobre A. Mejor an: o u 4

3.25 Teorema Un conjunto A es contable si y slo si dado cualquier cono junto B numerable, existe una funcin de B sobre A. Demostracin Como B es o o numerable, hay una biyeccin h : B N . Si A es contable, existe una funcin o o sobreyectiva g : N A; la compuesta g h : B N es la funcin sobreyeco tiva buscada. Rec procamente si existe f : B A sobreyectiva, la compuesta o o f h1 es una funcin de N sobre A, luego A es contable. Como una aplicacin del teorema 3.25, demostraremos nuevamente que Q es contable: Sabemos que o Z Z es numerable, de manera que basta hallar una funcin de Z Z sobre Q. La ms natural es aquella que a toda pareja (m, n) hace corresponder el a racional m/n. Contrasta esta prueba tan sencilla con la anterior para la cual utilizamos la unicidad de la representacin de un racional como m/n con m y o n primos relativos. Como un corolario ms del teorema 3.22 se tiene el resultado siguiente: a 3.26 Proposicin o Si A1 , A2 , An (n 2) son conjuntos contables, su producto cartesiano tambin es contable. Demostracin e o

a) Si A1 y A2 son contables, A1 N y A2 N , luego por la ultima parte del ejercicio 7 de la seccin 1, (A1 A2 ) (N N ), y siendo N N N , o por la proposicin 3 concluimos que A1 A2 N . o b) Supongamos que la propiedad vale para n y mostremos que tambin se e tiene para n + 1: A1 A2 An An+1 = (A1 A2 An ) An+1 y este ultimo producto es contable ya que tanto A1 A2 An como An+1 lo son, y por la parte a) la propiedad se cumple para dos. Observemos que si todos los conjuntos son nitos, su producto tambin lo es y e si todos los conjuntos son no vac y al menos uno es numerable, su producto os cartesiano ser innito y en consecuencia numerable. a De suma utilidad son los dos resultados siguientes: 3.27 Proposicin La unin de una coleccin numerable de conjuntos contao o o bles disyuntos dos a dos es contable. Demostracin Sea {A0 , A1 , A2 , } una o numeracin biyectiva ja de la coleccin numerable C de conjuntos contables o o disyuntos dos a dos; como cada uno de los Ak es contable, dispongamos sus elu ementos en una sucesin ja, Ak = {ak0 , ak1 , ak2 , } (nita o no segn lo sea o 5

Ak ). Denamos una funcin f : nN An N N en la forma siguiente: Sea o x nN An ; como los An son disyuntos dos a dos, existe un unico k tal que e x Ak ; entonces x = akj con k, j unicos. Denimos f (x) = (k, j) hacindole corresponder la pareja ordenada de sus sub ndices (x pertenece al conjunto ksimo y en l ocupa el j-simo lugar). Claramente f est bien denida ya que e e e a los conjuntos son disyuntos dos a dos y adems es inyectiva ( si x = y, dieren a en el conjunto al cual pertenecen, o si estn en el mismo, dieren en el lugar a que ocupan en la sucesin). Entonces nN An N N y como N N N , o a e entonces por la proposicin 3, nN An N . Una forma ms tcnica de hacer o esta prueba es la siguiente: Debido a que cada uno de los An es contable, cada An es equipotente con un subconjunto An de N ; si Dn = {n} An , trivialn Dn y por transitividad, An Dn . Existe entonces una biyeccin o mente A fn : An Dn ; siendo disyuntos dos a dos tanto los dominios de las fn como los codominios, su unin es una biyeccin f = nN fn : nN An n=N Dn . o o Como An N , {n} An = Dn {n} N luego nN Dn nN {n} N = N N o sea que f establece una equipotencia entre nN An y un subconjunto de N N , lo cual prueba que nN An es contable (por las proposiciones 3.19 y 3.20). El mismo argumento sirve para el caso en el cual la familia en vez de numerable es nita, luego la unin de una coleccin contable de conjuntos contables o o disyuntos dos a dos es contable. La condicin de ser disyuntos dos a dos se puede eliminar, ya que de no serlo, o la unin posee intuitivamente menos elementos que en el caso de ser disyuntos. o 3.28 Teorema La unin de cualquier coleccin contable de conjuntos cono o tables es tambin contable. Demostracin Como la coleccin {A0 , A1 , An } e o o posee la misma unin que la coleccin numerable {A0 , A1 , A2 , . . . , An , , , , . . . }, o o o basta considerar el caso numerable. Sea {A0 , A1 , A2 , . . . } una coleccin numerables de conjuntos contables; denamos una nueva coleccin numerable as B0 = o : n1 A0 , B1 = A1 A0 , B2 = A2 (A0 A1 ) y en general Bn = An k=0 Ak ; se observa que Bn An , as que los Bn son contables y disyuntos dos a dos; adems n=0 An = n=0 Bn (el lector debe probar estas dos armaciones; vea el a ejercicio 9 de la seccin 3 del Cap. I), siguindose inmediatamente el teorema por o e la proposicin 3.27. Como un ejemplo de su aplicacin probemos nuevamente o o p que Q es contable; para cada n entero mayor que cero, sea Zn = { | p Z}: n trivialmente Zn Z, as que Zn es numerable. Por el teorema 3.28, n=1 Zn es contable, pero esta unin es precisamente Q, as que ste es contable; siendo o e innito, es numerable. Combinando este resultado con la proposicin 3.26 se obtiene que tambin o e Q Q, Q Q Q y en general Qn , son contables. 6

Terminemos esta seccin ilustrando la forma como se puede manipular un o conjunto innito y demostrando el teorema 8 usando funciones sobreyectivas. Mostremos que N puede descomponerse en innitos subconjuntos innitos disyuntos dos a dos: Como A0 tomemos el conjunto de los impares: A0 = {1, 3, 5, 7, 9, 11, } = {2n + 1 | n N } N obtengamos A1 multiplicando por 2 todos los nmeros de A0 : u A1 = {2, 6, 10, 14, 18, 22, } = {2(2n + 1) | n N } N En general, Ak = {2k (2n + 1) | n N } N
k=0

Claramente todos los Ak son numerables y Ak = N {0} = N . Adems a o si i = k, necesariamente Ai Ak = ya que la descomposicin de un natural no nulo en la forma 2k (2m + 1) es unica. Si (Ck )kN es una familia numerable de conjuntos contables, por el teorema 7 existe para cada k una funcin fk : Ak Ck sobreyectiva. Como los Ak son o es una funcin o de disyuntos dos a dos, k=0 fk e o N = k=0 Ak en k=0 Ck tambin sobreyectiva. (ejercicio 12, seccin 3, Cap. II), luego de nuevo por el teorema 3.25 se concluye que k=0 Ck es contable.

Curso de Topololog General. a http://www.virtual.unal.edu.co