Propiedades del conjunto de Cantor.

Jos

Mateos Cortes.

ii

INTRODUCCION La mayor a de los cursos y libros que hablan del conjunto de Cantor lo tratan en forma puramente geom trica. Se empieza presentando su construcci n geom trica y, a partir de la geometr a, se deducen sus propiedades m s importantes. No consideramos que esta forma de presentarlo sea mala. De hecho es muy ilustrativa y los argumentos que se usan son muy claros. Este trabajo nace de las preguntas: Es posible hacer un tratamiento riguroso del conjunto de Cantor? Es posible dar este tratamiento riguroso sin sufrir demasiado? En esta tesis damos una respuesta positiva a la primera pregunta y damos una respuesta satisfactoria a la segunda. Claro, el lector tiene la ltima palabra para decir si no sufre mucho ley ndola. En el cap tulo 1 damos una construcci n an litica del conjunto de Cantor y probamos que es equivalente a la construcci n geom trica. Adem s damos pruebas formales de las propiedades b sicas que mencionan la mayor a de los libros. Aqu es oportuno mencionar que la construcci n que damos es original. Original en el sentido de que no la encontramos en ning n otro lado, aunque por su naturalidad no dudamos que haya sido desarrollada antes por otras personas. En el cap tulo 2 demostramos que el conjunto de Cantor es un espacio m trico, compacto, no vac o, totalmente disconexo, perfecto y no numerable. La prueba central de este cap tulo es la prueba del teorema que nos dice que el conjunto de Cantor es homeomorfo a un producto numerable de copias del espacio discreto f0 2g. Como vemos en el cap tulo 3, este teorema es muy til para deducir propiedades topol gicas del conjunto de Cantor. El cap tulo 3 est dedicado a desarrollar los que consideramos los resultados topol gicos m s importantes del conjunto de Cantor, a saber:

iii 1. Todo espacio m trico compacto es imagen continua del conjunto de Cantor, y 2. Todo espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados es homeomorfo al conjunto de Cantor.

probar sus propiedades formalmente. a partir de ella. CONSTRUCCION GEOMETRICA DEL CONJUNTO DE CANTOR. 0 1 3 . consiste en quitar el subintervalo abierto intermedio.1 3 2 3 2 3 1 : 1 3 1 3 2 3 2 3 El primer paso para la construcci n del conjunto de Cantor . de esta manera. En otras palabras. Tomamos el intervalo unitario 0 1] de la recta real.Cap tulo 1 De nuestros cursos de An lisis Matem tico y Topolog a hemos vislumbrado que el conjunto de Cantor juega un papel muy importante en las matem ticas. Vamos a dar las f rmulas exactas que de nen a los intervalos que se consideran en la construcci n del conjunto de Cantor para. es decir quitamos a : Sea el conjunto C la uni n de los intervalos restantes. a cada intervalo que compone 1 1 1 1 . o sea C = 0 1 : El segundo paso consiste en repetir el mismo proceso a cada uno de los intervalos que componen a C . Usualmente se nos presenta su construcci n geom trica y. De esta manera obtenemos los siguientes intervalos. Dividimos este intervalo en tres subintervalos iguales. desarrollamos algunas de sus propiedades. En este cap tulo vamos a empezar recordando esta construcci n geom trica pero vamos a hacer algo m s.

Cm se construye dividiendo en tres partes iguales a los intervalos que componen a Cm y borrando los intervalos abiertos intermedios. Es decir.C y C . a cada uno de los intervalos que componen a C (que tienen longitud de ) lo dividimos en tres partes iguales y quitamos los tercios medios. o quitamos los intervalos sea 1 9 2 9 7 9 8 9 1 2 C 2 2 = 0 1 9 2 9 3 9 6 9 7 9 8 9 1 .7 9 8 9 8 9 1 Quitamos ahora los . 4 3 +1 denotar por la letra C . Es decir. es decir.C . subintervalos abiertos intermedios. Es decir a C le . Repetimos el proceso.1 9 2 9 2 9 3 9 y 6 9 7 9 . para obtener a C . que durante todo este trabajo se le 1 2 3 4 . Figura 1.2 a C lo dividimos en tres partes iguales gener ndose los siguientes subintervalos: 1 0 1 9 . Sea C el conjunto que nos queda. se de ne como la intersecci n de todos los conjuntos Cm. se dividen en tres partes todos los intervalos que componen a C y se quitan los intermedios. Finalmente el Conjunto de Cantor. En general. Ilustraci n de la construcci n de C . y . Con esto obtenemos el tercer paso de la construcci n que consiste en el conjunto: 1 9 C 3 = 0 1 27 2 27 3 27 6 27 7 27 8 27 9 27 18 27 19 27 20 27 21 27 24 27 25 27 26 27 1 Este proceso se sigue inde nidamente.

Sea j 2 N : Si j = 0 de nimos a 20 + b1 21 + ::: + bm 2m : 0 = 0: Si . Cm es la uni n de 1 2m intervalos cerrados y Demostraci n. PROPOSICION 1. es que Cm +1 Una primera propiedad que podemos observar de los Cm es la siguiente. El problema con esta construcci n. Supongamos ahora que Cm esta formado por 2m intervalos cerrados y ajenos.simo intervalo de Cm : Para esto haremos una construcci n general de unos n meros aj . Sabemos que Cm se obtiene de Cm a partir de dividir cada uno de los intervalos cerrados que conforman a Cm en tres partes iguales y retirar el de en medio. Nuestro primer trabajo. Ahora vamos a dar una manera de construir el extremo izquierdo del j. Haremos esta prueba por inducci n matem tica. para las j 2 N : j 6= 0 entonces escribimos a j en su notaci n binaria.3. tenemos que Cm est formado por 22m = 2m intervalos cerrados y ajenos.1. 1 +1 +1 +1 +1 De acuerdo con la proposici n anterior los intervalos que conforman a Cm son 2m: Entonces una manera pr ctica de numerarlos ser tomando el conjunto de ndices j 2 f0 1 2 ::: 2m . 1g : Durante todo este trabajo denotaremos con el s mbolo N el conjunto de los n meros naturales incluyendo al cero. T OBSERVACION 1. De modo que Cm tiene el doble de intervalos que Cm: Puesto que Cm tiene 2m. es decir: j=b 0 CONSTRUCCION 1. ajenos. Entonces de cada intervalo de Cm obtenemos dos intervalos. ser encontrar una f rmula expl cita para los Cm . Entonces. si no hemos construido a Cm no sabemos qui n es Cm+1 .3 C = fCm : m 2 N g depende de Cm .2. Claramente C est formado por 2 = 2 intervalos cerrados y ajenos. a partir de este momento. Esto di culta en gran manera la prueba de las propiedades del conjunto de Cantor.

Sea j 2 N : Expresamos a j en su notaci n binaria. Sea j 2 N jo pero arbitrario y. Entonces aj = a(b0 20 +b1 21 +:::+bm 2m ) = b0 a20 + b1 a21 + ::: + bm 0 j=b am 2 notaci n binaria. esto es: j = b 2 + b 2 + ::: + bm 2m: (estamos suponiendo que bm = 1). Por ejemplo si j = 10 entonces en notaci n binaria. a m = 2 2 3m para cada m 2 N : Demostraci n. 20 + b1 21 + ::: + bm 2m .4. lo expresamos en su . 0 0 1 1 0 0 1 1 0 20 1 2 2 0 0 1 1 Demostraci n.4. los unos los transformamos en doses y se piensa en el n mero correspondiente como un n mero escrito en base tres. la escribimos en su notaci n binaria. podemos expresar la construcci n as : dada j 2 N . Por de nici n aj = 2b 3 + 2b 3 + ::: + 2bm 3m: Por el lema 1. esto es: TEOREMA 1.5. b a + b a + ::: + bm a m = 2b 3 + 2b 3 + ::: + 2bm 3m: As . Como 2m = 0 20 + 0 21 + 0 22 + ::: + 1 2m : Calculando a m tenemos lo siguiente: 2 am =0 2 2 30 + 0 2 31 + ::: + 1 2 3m = 2 3m : El siguiente teorema nos da una manera muy f cil y til de calcular aj : En l mostramos que la funci n aj tiene algunas propiedades de linealidad. j = 0 2 + 1 2 + 0 2 + 1 2 : Por construcci n aj = a = 0 3 + 2 3 + 0 3 + 2 3 = 6 + 2 (27) = 6 + 54 = 60: 0 1 2 3 10 0 1 2 3 LEMA 1.4 donde bm = 1 y bi 2 f0 1g : De nimos aj = 2b 0 30 + 2b1 3 + ::: + 2bm 3m : En otras palabras.

. calcularemos aj para los primeros n meros.5 ab ( 0 20 + 1 21 + b :::+bm 2m ) = b0 a 20 + b1 a 21 + ::: + bm a m: 2 Esto completa la prueba del teorema. Expresando los siguientes n meros en su notaci n binaria tenemos: =0 a1 = 1 2 30 = 2: a2 = 0 2 30 + 1 2 31 = 0 + 6 = 6: a3 = 1 2 30 + 1 2 31 = 2 + 6 = 8: a4 = 0 2 30 + 0 2 31 + 1 2 32 = 18: a5 = 1 2 30 + 0 2 31 + 1 2 32 = 20: a6 = 0 2 30 + 1 2 31 + 1 2 32 = 24: a7 = 1 2 30 + 1 2 31 + 1 2 32 = 26: a8 = 0 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 54: a9 = 1 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 56: a10 = 0 2 30 + 1 2 31 + 0 2 32 + 1 2 33 = 60: 0 a La siguiente tabla resume estos resultados. EJEMPLO. A manera de ilustraci n.

6 j 0 1 2 3 4 5 6 7 8 9 10 aj 0 2 6 8 18 20 24 26 54 56 60 Los siguientes lemas nos ser n tiles para encontrar una expresi n anal tica para los conjuntos Cm: LEMA 1. su primer cifra en notaj=0 Entonces 20 + b1 21 + b2 22 + ::: + bm 2m : aj = 0 Como 2 30 + 2b1 31 + 2b2 32 + ::: + 2bm 3m : j +1=1 +1 20 + b1 21 + b2 22 + ::: + bm 2m Calculando aj obtenemos: .6. aj + 1 < aj para cada j 2 N : +1 ci n binaria es cero y entonces j se representa as : Demostraci n. Si j es un n mero natural par.

Sea 3aj = a2j : . De manera que j es de la forma j = 1 2 + 1 2 + 1 2 + ::: + 1 2i + 0 2i + bi 2i + ::: + bm 2m Por supuesto que podr a ocurrir que no hubiera ning n 0 en ese caso i = m: De todas maneras i 0: Por de nici n: aj = 1 2 3 + 1 2 3 + ::: + 1 2 3i + 0 2 3i + 2bi 3i + ::: + 2bm 3m: Adem s j + 1 = 0 2 + 0 2 + ::: + 0 2i + 1 2i + bi 2i + ::: + bm 2m. la escritura en notaci n binaria de j tiene un uno en la cifra de las unidades. +1 3i+1 : Y claramente LEMA 1. Esto concluye la prueba.7 aj = 1 2 3 + 2b 3 + ::: + 2bm 3m: Observemos que aj y aj s lo di eren en el primer sumando. para probar el lema s lo tenemos que mostrar que: (2 3 + 2 3 + ::: + 2 3i + 0 3i ) + 1 < 0 3 + 0 3 + ::: + 0 3i + 2 3i : La suma de la izquierda es igual a +1 0 1 1 +1 +1 +1 +1 0 1 2 +1 +2 +2 0 1 +1 +2 +2 0 1 +1 +2 +2 +1 0 1 +1 +2 +2 +1 0 1 +1 0 1 +1 1 3i+1 De manera que s lo tenemos que probar que 3i < 2 esta desigualdad es cierta. que en aj es 0 y en aj es 2. Por lo que aj = 0 2 3 + 0 2 3 + ::: + 0 2 3i + 1 2 3i + 2bi 3i + ::: + 2bm 3m: Como la ltima parte de las dos sumas coincide (la de aj y la de aj ). De manera que aj = 2 + aj y entonces aj > 1 + aj : En el caso de que j es impar.7. Para toda j 2 N Demostraci n.

Para cada j 2 N Demostraci n.8 j=b 0 20 + b1 21 + ::: + bm 2m : Multiplicando por 2 obtenemos 2j = 2 (b0 20 + b1 21 + ::: + bm 2m ) = b0 21 + b1 22 + ::: + bm 2m+1 : Calculemos a j : 2 aj=0 2 30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1 : = 3 (2b0 30 + 2b1 31 + ::: + 2bm 3m ) = 3aj : 2 Por consiguiente a j = 3aj : LEMA 1. La forma anal tica para cada Bm con m 2 N es : Bm = 2 m .8.1 j =0 aj aj + 1 : 3m 3m . Escribimos j=b entonces 0 3aj + 2 = a2j +1 : 20 + b1 21 + ::: + bm 2m 2j + 1 = (b0 21 + b1 22 + ::: + bm 2m+1 ) + 1 = 1 20 + b0 21 + b1 22 + ::: + bm 2m+1 : Ya podemos calcular a j 2 +1 con esto obtenemos aj = 2 30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1 = 2 + 3 (2b0 + 2b1 31 + ::: + 2bm 3m ) = 2 + 3aj : 2 +1 2 +1 Por tanto a j = 3aj + 2: Ahora ya estamos listos para dar una de nici n anal tica de los conjuntos Cm.9. Provisionalmente los llamaremos Bm: DEFINICION 1.

1 j =0 3aj 3aj + 1 3m+1 3m+1 3aj + 2 3aj + 3 3m+1 3m+1 : Aplicando el Lema 1. esto es: +1 Cm 2 +1 = m . a m. De acuerdo con la construcci n geom trica. supongamos que 1 1 Cm = 2 m . estos intervalos son los que tenemos que dividir en tres partes iguales para obtener a Cm : i h j aj al dividirlo en Tomemos uno de estos intervalos.8 tenemos lo siguiente: . Con el ejemplo que acabamos de ver comprobamos que B = C : Ahora supongamos que Bm = Cm: Es decir.6 se deduce que los intervalos am a m m m m m son ajenos entre s . Bm = Cm: TEOREMA 1. B 1 +1 = a30 a03 a1 a1 +1 = 3 3 0 3 0+1 3 2 3 2+1 3 = 0 1 3 2 3 1 : Ahora demostraremos que la forma anal tica en que se obtienen los extremos de un Bm es equivalente a la forma geom trica para obtener los extremos de Cm en el conjunto de Cantor. Para toda m 2 N Bm = Cm : Demostraci n.7 y el Lema 1. Haremos esta demostraci n por inducci n matem tica. ::: a m Del Lema 1. Es decir.10.1 j =0 3m aj aj + 1 3m 3 0 a a .9 donde aj es como en la construcci n 1:3: EJEMPLO. digamos el am m tres partes iguales obtenemos los subintervalos: 3aj 3aj + 1 3aj + 1 3aj + 2 y 3aj + 2 3aj + 3 : 3 0 +1 3 1 3 1 +1 h 2 1 2 1 +1 i 3 3 +1 +1 3 3 3m+1 3m+1 3m+1 3m+1 3m+1 3m+1 Le quitamos el de en medio y de esta manera podemos decir que obtenemos a los intervalos que conforman a Cm a partir de Cm.

1.1 j =0 aj aj + 1 : 3m 3m Si al leer la De nici n 1.2 + 1 m am 2 3m+1 3m+1 +1 a 2 a 2 +1 3m+1 .1 am 2 3m+1 3m+1 a 3 a 3 +1 ::: 3m+1 +1 .1) 3m+1 a2(2m . hemos demostrado que la construcci n geom trica y la construcci n anal tica de Cm coinciden para toda m 2 N . como 20 + 21 + 22 + ::: + 2m.1 + 1 2 +1 = .1) + 1 3m+1 a 2 0+1 a 2 0+1 a 3m+1 2(2 +1 3m+1 m .9.10 2 +1 Cm = = m .1)+1 3m+1 a2(2m .1 j =0 3m+1 a j a j +1 2 3m+1 2 aj a 3m+1 2 +1 aj a 2 +1 3m+1 +1 3m+1 a 20 a 20 a 3m+1 +1 2(2 3m+1 m .2 am 2 3m+1 3m+1 a 1 a 1 +1 3m+1 +1 .1)+1 + 1 3m+1 3m+1 21 21 +1 a 3m+1 2 1+1 a 2 1+1 3m+1 +1 ::: = 3m+1 3m+1 a 0 a 0 +1 am 2 3m+1 +1 .11.1 = 2m .1 j =0 aj aj + 1 = B : m+1 m 3 +1 3m+1 Por consiguiente. Aplic ndole la funci n tenemos: . usted dud que el ltimo extremo derecho de Cm es igual a 1 para cada m 2 N : En la observaci n siguiente mostramos que esta a rmaci n es verdadera. ya tenemos derecho a escribir: Cm = 2 m . OBSERVACION 1. En efecto. Por lo cual.

1 + 1 3m = = 1: 3m 3m PROPOSICION 1. Sea m 2 N y su correspondiente Cm. 2 Y esto vale para cada m 2 N : Ahora que ya tenemos una expresi n anal tica para los intervalos que componen a Cm estamos en posibilidades de dar pruebas formales de algunas de sus propiedades. .1 cada Cm tiene 2m intervalos cerrados y por la Proposici n 1. Ya sabemos que Cm = 2 m .1 j =0 aj aj + 1 : 3m 3m +1 Sea k 2 f0 1 ::: 2m . 1g : Por el Lema 1.12 los intervalos que componen a Cm tienen longitud de m : Entonces la suma total de las longitudes es igual a: . La m suma de las longitudes de los intervalos 2 3 : Demostraci n.simo intervalo tiene longitud igual a l ak ak + 1 = ak + 1 .13. ak = 1 : 3m 3m 3m 3m 3m que componen a Cm es igual a PROPOSICION 1.1 = 2 (30 + 31 + 32 + ::: + 3m.12. Varias de ellas son muy claras de la construcci n geom trica.1 j =0 aj aj + 1 : 3m 3m 1 3 Por la Proposici n 1.1 ) = 3m . es decir: Cm = 2 m . Los intervalos que componen a Cm tienen lon1 3 m: Demostraci n. gitud de 3m 1 +1 = 3m . 1: a m. el k.6 los intervalos de Cm son ajenos entre s y. 2 1 = 1 2 30 + 1 2 31 + 1 2 32 + ::: + 1 2 3m.11 a m.

Sabemos que Cm +1 +1 2 +1 +1 m = . 1g tal que ak ak x2 m : Aplicando el Lema 1. 1: Como ai = a i x a i + 1 = a i + 1 < ai + 1 = ai + 1 3m 3m+1 2 3m+1 2 3m+1 m .1 2 3m+1 3m 3m 3m Concluimos que ai ai + 1 x2 3 m 3m Por tanto x 2 Cm: 2 j =0 3m aj aj + 1 3m = Cm : . por hip tesis 3m+1 +1 ak x ak + 1 : 3m+1 PRIMER CASO. 2 entonces 0 i 2m .1 j =0 : Dada x 2 Cm entonces existe k 2 f0 1 ::: 2m .12 1 1 1 1 + 1 + ::: + 1 2m + + ::: + = = = 3m 3m 3m 3m 3m m 2 2 m veces veces 2 3 m PROPOSICION 1.14. Cm +1 Cm para cada m 2 N : aj aj + 1 m 3 +1 3m+1 +1 Demostraci n.8 obtenemos que para m toda j se cumple: aj = 3aj = a j : +1 3 +1 3 3m 3m+1 3m+1 2 aj + 1 = 3aj + 3 = 3aj + 2 + 1 = a 3m 3m+1 3m+1 2 +1 3m+1 j +1 : Ahora bien.7 y el Lema 1. Si k es un n mero par entonces k es de la forma k = 2 i: Como 0 k 2m .

Dada m 2 N consideremos a su correspondiente Cm Cm = 2 m .13 SEGUNDO CASO.simo 3m ak ak + 1 2 C Cm. 1 entonces 3 ak m 2 Cn y ak +1 3 m 2 Cn para Demostraci n.6.14 Cm Cm. ::: C : Ahora veremos que estos extremos tambi n est n en los Cn siguientes. Si k es un n mero natural impar entonces k es de la m . a i + 1 < a i : De manera que a i < a i : Entonces ai = a i < ak x ak + 1 = a i + 1 = ai + 1 : +1 1 2 +1 2 2 2 2 2 +1 2 2 +1 3m 3m+1 3 2 3m+1 3m+1 2 +1 3m+1 3m i ai Por tanto x 2 am Cm: m Esto termina la prueba de que Cm +1 3 +1 Cm: Ahora demostraremos que tanto el extremo izquierdo como el extremo derecho de cada uno de los intervalos que componen a Cm pertenecen al conjunto de Cantor.7) . LEMA 1. 1 2 1 1 2 ::: As .1 j =0 aj aj + 1 : 3m 3m Sea k 2 f0 intervalo son 1 2 ::: 2m . por lo anterior. m = 2m . 1g : 3m Los extremos que corresponden a k. Sabemos que (Lema 1. 1 0 Entonces 0 i 2m . 1: forma k = 2 i + 1: Como 1 k 2 .15. 1: Por el Lema 1. los extremos izquierdo y derecho son elementos de Cm. Cm. m Por la Proposici n 1. k . Si cada n 2 N : esto es: 0 k 2m .

aN N N N que y = 6 x: Entonces +1 3 +1 3 3 +1 3 3 3 jx . PROPOSICION 1.16. Entonces akm tambi n es un extremo para Cm Cm Cm ::: Esto termina la prueba del lema. .1 3 1 3 tal Demostraci n. +1 +2 +1 3 +1 +2 +3 La siguiente proposici n nos dice que el conjunto de Cantor es un conjunto denso en s mismo.8. Sea " > 0: Si x 2 C entonces existe y 6= x que jx . por el Lema 1.14 a2k a4k a8k = m+1 = m+2 = m+3 = ::: m 3 3 3 3 ak Como 0 k < 2m entonces 0 2k < 2m : As que 0 4k < 2m entonces 0 8k < 2m y as sucesivamente. ak 3n = N 3n 3 1 < ": Esto termina la prueba de la proposici n. 1 entonces 0 2k + 1 2m . 1: De aqu que 0 2 (2k + 1) + 1 2m . k ak x 2 CN por lo cual. 1 tal que x 2 aN N : ak o y = ak para k 2 C y ak 2 C: Elegimos y = Por el Lema 1.15. +1 a k +1 ak + 1 = a k + 1 = a k = = ::: m m m m 3 3 3 3 +1 +3 3 +1 +2 +3 2 2(2 +1)+1 +2 2(2(2 +1)+1)+1 +3 +1 +2 Como 0 k 2m . Entonces ak es un extremo para C m m Cm Cm ::: Por otra parte. x 2 C entonces x 2 Cm para cada m 2 N : En particular. y j < " y y 2 C: . Sea " > 0: Como m ! 0 cuando m ! 1 existe N 2 N tal que N < ": Por hip tesis. existe k 2 0 1 ::: 2N . 1 y as sucesivamente. yj ak + 1 .

que dice que x 2 C si y s lo si a x lo podemos expresar como una serie in nita de ceros y doses divididos entre potencias de tres.1 3n.1 .17. 1 < 2n Por tanto. TEOREMA 1. si hace falta.15 A continuaci n daremos una caracterizaci n de los elementos del conjunto de Cantor. por transitividad se obtiene 2r 2n . ()) : Sea x 2 C por la de nici n de C tenemos que x 2 Cm para cada m 2 N: n con n 2 N y Haremos una construcci n general de unos n meros em ( ) 1 m n: Dada n 2 N x 2 Cn entonces existe k 2 f0 1 ::: 2n .1 2n.1 ak = 2b 0 30 + 2b1 31 + 2b2 32 + ::: + 2bn. 1g tal que k ak x 2 an n : Escribimos al n mero natural k en notaci n binaria. x 2 C si y s lo si existe una sucesi n femg1 m con cada em 2 f0 2g tal que =1 x= m=1 3 1 X em m Demostraci n. 1. escribimos al n mero natural k como lo siguiente: k=b Calculando ak 0 20 + b1 21 + b2 22 + ::: + bn. esto es: 3 +1 3 k=b Como 2r 0 20 + b1 21 + b2 22 + ::: + br 2r con br = 1 br 2r + ::: + b2 22 + b1 21 + b0 20 = k yk 2n . r < n: Completando con ceros.

10 que la construcci n geom trica y la anal tica son equivalentes) sabemos que a k a k +1 C \ ak ak + 1 = a k a k + 1 ( ) n+1 3n 3n 3n+1 2 2 3n+1 3n+1 2 +1 2 +1 3n+1 Entonces x 2 ox2 n : n n : De manera que ahora ya estamos en posibilidades de calcular em En el caso en que x 2 an k a nk : Como a k = 2b 3 + 2b 3 + 2b 3 + ::: + 2bn.1 n es igual a 0 a 2): (observemos que cada em n que estamos de niendo dependen de m de x y Observemos que las em de n: En realidad queremos que s lo dependan de m y de x: Esto es lo que vamos a probar a continuaci n. (*) 3n 3n 3n. ( ) ( ) ( ) 1 = 2b1 enn.16 (n tese que los ceros que pudimos haber a adido no afecta a la de nici n de ak ). 3 De nimos 0 1 2 1 1 2 enn ( ) = 2b0 enn. As ak = 2b + 2b + 2b + ::: + 2bn. 3 +1 ( +1) 1 = en. recordando la construcci n geom trica para C (ya vimos en el Teorema 1. n ( +1) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn.1 3n . em En efecto. ( ) 2 = 2b2 ::: e n ( ) 1 = 2bn. 3n Entonces.1 : De modo que enn ( +1) = en ( ) enn. n ( +1) 1 = 2b1 enn. n no depende de n: AFIRMACION. por de nici n 3 a2k a2k +1 n+1 n+1 3 h a2k+1 a2k+1 +1 3 +1 3 +1 i ( +1) 2 0 1 1 3 +1 2 2 2 +1 3 +1 2 3 1 enn ( +1) +1 =0 enn ( +1) = 2b0 enn.1 ( ) ::: e n : ( +1) 1 = e1 n: Y en el caso en que x 2 Como a k 2 +1 h a2k+1 a2k+1 +1 n 3 +1 i n = 2 30 + 2b0 31 + 2b1 32 + ::: + 2bn. 3n.

1 ( ) ( +1) n ::: e n ( +1) 1 = e1 n : n =en Por tanto. m = x . 3n m=1 3 m=1 3 n X em ak <" Esto concluye la prueba de que x= (() m m=1 3 1 X em : Ahora estamos suponiendo que x= m=1 3 1 X em m .1 : De modo que enn ( ) ( +1) n) = e( n enn. m=1 3 n X em m <" 3 Sea k 2 f0 0 1 2 ::: 2n . 1g tal que x 2 n (n) X em ak ak +1 n 3 n por ( ) tenemos que: 1 3n 1 3N x.17 Entonces enn ( +1) +1 =2 enn ( +1) = 2b0 enn. em = em = em = ::: para toda m 2 f1 2 ::: ng : n tenemos derecho a llamarlo simplemente e : Entonces a em m ( ) ( +2) ( +3) Lo que sigue es probar que: x= . ( +1) 1 = 2b1 enn. ( +1) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn. ( +1) 1 ( ) = en.1 3 m m=1 3 1 3 1 X em Sea " > 0: Como m ! 0 cuando m ! 1 existe N 2 N tal que Sea n 2 N tal que n N: Demostraremos que: 0 N < ": x. en los dos casos em para toda m 2 f1 2 ::: ng : m n n n Similarmente. m =x.

1 1 X em m=1 2b0 30 + :::: + 2bn.18 donde cada em 2 f0 2g demostraremos que x 2 fCn : n 2 N g : Esto es equivalente a probar que x 2 Cn para cada n 2 N : O lo que es lo mismo probar que existe i h j aj para toda n 2 N . Por consiguiente j 2 f0 1 ::: 2n . si 2 j=b 0 20 + b1 21 + ::: + bn.1 1 1 ::: n . 1: De modo que j = b 2 +b 2 +:::+bn. 1g : En efecto.1 3n. sabemos em para cada m 2 N : Entonces 1 bm 0 2m 0 1 2m 1 para m = 0 1 ::: n . j 2 f0 1 ::: 2n .1 2n. 2n. bi 2 f0 1g para i = 0 2 1 1 2 n.1 + ::: + 1 n n 3 3 3 3 3 aj 3m 3 e 1 1 + en 2 2 + ::: + n + n+1 + n+2 + ::: 3 3 3 3 2 2 2 e m=1 3 1 X em m =x= = = = 3 e 1 1 + en 2 + :::: + n + n+1 3 3 3 3 a + 1 j = 3n 1 1 31 e 1 e + + en 2 + ::: + n + n+1 3 3 3 2 2 e 1+ e 32 en + + ::: + 3n e 3n+1 2 1 X i=0 3 2 1 1 + 2 + ::: 3 3 1 3 = i ! 2 2 3 e 1 1 + en 1 + ::: + n + n 3 3 3 2 2 e .1 2 entonces j 2 f0 1 ::: 2n . 1: Probaremos que. Vamos a proponer los coe cientes de la notaci n binaria del n mero j como: b = en b = en. por hip tesis.1 = 2n . 1g : Adem s.1 en en. 1g tal que x 2 an n Sea n 2 N .1 e1 = = n + n. 1: 20 +21 + ::: +2n. ::: b = e : +1 3 3 0 T Es claro que.

x 2 Cn para cada n 2 N : Por consiguiente.19 es decir. . concluimos. aj aj + 1 x2 3 n 3n i=0 3n ai ai + 1 3n = Cn : Como esta construcci n es para una n ja pero arbitraria. x 2 C: Esto termina la prueba del teorema.1 Por tanto. 3n aj x 2 aj + 1 3n n .

20

Cap tulo 2

En este cap tulo desarrollaremos las propiedades topol gicas elementales del conjunto de Cantor. Para esto es muy conveniente ver que el conjunto de Cantor es homeomorfo al producto numerable de copias del espacio f0 2g donde f0 2g est dotado de la topolog a discreta. Una vez que se de este homeomor smo podremos obtener una serie de resultados topol gicos interesantes. l gicos. De nimos

DEFINICION 2.1. Dada una familia f(Xn
X=
1 Y
n=1
1 2 3

n )gn2N

de espacios topo-

Xn = f(x x x :::) : xn 2 Xn para cada n 2 N g U U ::: Un Xn Xn :::

Sea la familia de subconjuntos de X de la forma:
1 2 +1 +2

donde n 2 N y Ui 2 i para cada i n: Como se ve en los cursos elementales de topolog a, constituye la base de una topolog a para X: Es decir, est de nida por:
= fU

X : U es la uni n de elementos de g
1

Si cada n est dada por una m trica dn (con dn(x y) x y 2 Xn). De nimos 21

para cada

22

d : X X ;! R
por la siguiente f rmula

d(x y) =
donde x = (x x x :::) y y una m trica para X .
1 2 3

1 X dn(xn
n=1
2 3

2n

yn ) :

= (y1

y y :::): Es f cil comprobar que d es

En la siguiente proposici n demostraremos que, la topolog a coincide con la topolog a inducida por d en X: De esta manera podremos realizar m s f cilmente las pruebas de la continuidad de algunas funciones que de niremos a lo largo de este cap tulo.
de nimos usando a :

PROPOSICION 2.2. La topolog a inducida por d en X es la que Demostraci n. Denotaremos por a la topolog a para X usando y,

por o a la topolog a para X inducida por d: Demostraremos que y o son iguales. Sea U 2 entonces U se expresa como la uni n de elementos de es decir: existe un tal que

U=
1 2 3

fA : A 2 g

Sea x = (x x x :::) 2 U entonces existe un A 2 tal que x 2 A U: Como A 2 entonces A es de la forma

A = U U ::: Un Xn Xn ::: donde n 2 N y Ui 2 i para cada i n: Como xi 2 Ui 2 i y i se de ne usando a di existe ri > 0 tal que Bri (xi ) Ui: Para mostrar que U 2 o es su ciente con que demostremos que existe r > 0 tal que Br (x) U: Proponemos r = m{n r r ::: rn n : Dada y = (y y y :::) 2 Br (x) por la de nici n de d se tiene que 1 X d(x y) = di(xi yi) < r
1 2 +1 +2 2
1

22

2

2

1

2

3

i=1

2i

23 Para cada j = 1 2 ::: n se obtiene lo siguiente i=1 2j 1 di(xi yi) < r dj (xj yj ) < X j 2 2i rj Por tanto.1 2 2 Entonces y 2 Br (x): Por tanto Ax que Ax U: Por tanto. dj (xj yj ) < rj entonces d (x y ) < r de modo que y 2 B (x ) U j j j j j rj j j 2j 2j Ax = B r (x ) B r (x ) ::: B r (xN ) XN 2 1 2 2 2 +1 XN +2 ::: 2 Entonces Ax 2 : Dada y = (y y y :::) 2 Ax entonces yi 2 B r (xi ) para toda 1 i N: Entonces 1 2 3 d(x y) = 1 X di(xi i=1 2i yi) = d (x y ) +:::+ dN (xN yN ) + dN (xN 1 1 1 2 1 2N +1 2N +1 +1 yN +1 ) + ::: < 2r = 2 2 + r + 1 + 1 + ::: + ::: + 23 2N +1 2N +1 2N +2 1 + N +1 2 1+ 1 1 + 2 + ::: 2 2 r r 2 1+ 1 1 + ::: + N . y 2 A: Hemos probado entonces que Br (x) A U: Entonces Br (x) U: Esto termina la prueba de que U 2 o: Ahora tomemos U 2 o: Sea x = (x x x :::) un punto cualquiera de U: Entonces r > 0 tal que Br (x) U: . U 2 : < 2r 2 1 r 1 (2) + N +1 (2) = + N 2 2 2 r + r = r: <2 2 U tenemos Br (x): Como Br (x) . existe n Como ! 0 cuando n ! 1 existe N 2 N tal que N < r : Proponemos Ax como: 1 2 3 1 2 1 2 2 Por lo cual.

para cada m 2 N : Por de nici n \ C = fCm : m 2 N g : Esto es. Por tanto. que C es un conjunto cerrado y denso en s mismo. La uni n nita de conjuntos cerrados es un conjunto cerrado.3. Para cada m 2 N sabemos que Cm = 2 m .14. Con esto. Para cada m 2 N Cm es un conjunto cerrado. para cada m 2 N : Proposici n 1. Cm Cm C 0 1] para cada m 2 N : En efecto.3.4. son compactos. entonces C es un conjunto cerrado.24 Posteriormente demostraremos que C es homeomorfo a f0 2g f0 2g ::: pero antes probaremos que el conjunto de Cantor es un conjunto compacto. demostraremos que C es un conjunto perfecto. Adem s. Cm es un conjunto cerrado. C es un conjunto compacto. Demostraci n. C es un conjunto compacto. C es la intersecci n de conjuntos cerrados.1 j =0 aj aj + 1 : 3m 3m As que. como los subconjuntos cerrados de conjuntos compactos. Como C Cm y Cm 0 1] para cada m 2 N entonces C 0 1] : Finalmente. PROPOSICION 2.5. 0 1] es un conjunto compacto. En el teorema siguiente. Cm es un conjunto cerrado. . es decir. OBSERVACION 2. se concluye la prueba. Cm es la uni n de 2m intervalos cerrados. Demostraci n. la 0 1] : 1 PROPOSICION 2. Por el Lema 2.

25 TEOREMA 2. gm < 1 3m 3 . Supongamos que 1 X em m=1 1 1 1 . Esta prueba se realizar por inducci n matem tica. C es un conjunto cerrado y por la Proposici n 1.7. C es perfecto. Demostraci n. 1 PROPOSICION 2. e 6= g : 3m 3 1 1 1 1 1 Como e y g pueden ser cero o dos. entonces (e y g = 2): Supongamos. C es denso en s mismo. 3 1 1 1 X em m=2 3m . 0 2 Cn para toda n 2 N : De modo que 0 2 C: Esto demuestra la siguiente proposici n. por ejemplo que e = 2 y g =2 =0 y g = 0) o (e calculando 1 1 =0 e .16.6. LEMA 2. C es un conjunto no vac o. Para n = 1 se tiene que probar lo siguiente: Si 1 X em m=1 . gm < 1 entonces e 3m 3 1 = g1 : Lo haremos por reducci n al absurdo.g . adem s. Podr amos recurrir al teorema que dice que una intersecci n anidada de compactos no vac os es no vac a para concluir que C es no vac o. gm < 1 y. gm e . gm < 1 con e g 2 f0 2g entonces e m m 3m 3n = g1 m=1 1 e 2 = g2 ::: en = gn: Demostraci n.15.8. Por la Proposici n 2. Tambi n podemos recordar que 0 es un extremo de C y que como vimos en el Lema 1.g 1 1 3 + 1 X em m=2 . Si 1 X em .5.

.g < 1 + 3 3 1 1 1 X em m=2 3m . j = Supongamos ahora que la a rmaci n es cierta para n = k es decir. ya que je . hemos obtenido < 2 3 2 3 X em . gm < 1 entonces e 3m 3k 1 = g1 e 2 = g2 ::: ek = gk : Demostraremos que entonces se cumple para n = k + 1 o sea.26 2 = 3 e . cuando e = 0 y g = 2 es an logo. g j + je . gm je . Por tanto. gm < 1 implica que e 3m 3 1 = g1 : 1 1 El otro caso. 1 1 X em m=1 1 . gm Pero 1 X em m=2 3m . gm 1 : 3 1 1 2 + = : 3 3 3 Por tanto < As . g j + ::: 2 2 3 3 4 4 3 2 3 3 3 4 2 2 2 + 3 + 4 + ::: 2 3 3 3 = 2 32 1+ 1 1 + 2 + ::: 3 3 = 2 32 3 2 = 1 3 Es decir. 0 2 3 3 2 3 Si 1 X em m=1 . 1 X em m=2 3m . gm 1 + m 3 m=2 3 2 3 1 lo cual es un absurdo.g j = j . g j + je .

gm 3m 1 X m=k+1 1 X em m=1 . (ek y gk = 0) o (ek = 0 y gk = 2) en cualquier caso tenemos jek . gm < 1 + 1 = 2 : k . Sea . gm < 1 3m 3k +1 Obtenemos que ek .9. gm < 1 : 3m 3k +1 e +1 1 = g1 e 2 = g2 ::: ek = gk : em . como lo hicimos en el primer caso de la inducci n. gm 3m +1 Supongamos que ek 6= gk tenemos dos subcasos. C es homeomorfo a f0 2g f0 2g f0 2g ::: Demostraci n. k < k lo cual es un absurdo. 2 3 +1 +1 2 3 +1 +1 m=k+2 3m 3k+1 3k+1 3k+1 TEOREMA 2. gk j = 2 : +1 +1 +1 +1 =2 Calculando. gk +1 1 3 +1 k < 1 3 k podemos aplicar la hip tesis de inducci n y obtener que m=1 . tenemos que 1 X 2 e 1 em . Esta contradicci n muestra que ek = gk : Esto concluye la prueba del lema. es decir. gm 3m = 3k+1 . gk = < + 3k+1 +1 3k+1 +1 3k+1 3k+1 +1 3k+1 Es decir. gm < 1 entonces e 3m 3k +1 1 = g1 e 2 = g2 ::: ek +1 = gk+1 : Supongamos entonces que 1 X em Como Como ek .27 Si 1 X em m=1 . gk +1 3k+1 +1 +1 < 3k +1 1 +1 + 1 X m=k+2 em . 1 X m=k+2 em .

Supongamos entonces que hay una x 2 C que tiene dos representaciones como las siguientes: 1 1 X e m X gm x= = con e g 2 f0 2g para toda m 2 N : 1 2 3 Supongamos que existe n 2 N tal que en 6= gn y adem s.1 3n 3n+1 3n+2 g2 + ::: + gn.1 3n+1 2 e2 + ::: + en.1 3n 3n+1 3n+2 2 2 e .1 + 2 + gn+1 + gn+2 + ::: 32 3n. Dada x 2 C por el Teorema 1.! f0 2g f0 2g f0 2g ::: De nida de la siguiente forma. n es el primer sub ndice donde son distintas.17. Para esto tenemos que ver que la representaci n de cada x como una serie de ese tipo es nica.1 + 1 32 3n.1 + 2 3 32 3n. existe una sucesi n femg1 donde cada em = 0 2 tal que m 1 X x = em : =1 De nimos m=1 3 m '(x) = (e e e :::): Vamos a comprobar que ' esta bi n de nida.1 3n+1 3 32 e2 + ::: + en.1 3n e2 + ::: + en.1 + 2 1 + 1 + 2 + ::: 32 3n.1 + gn + gn+1 + gn+2 + ::: = x 32 3n.1 3n+1 3n+2 e2 + ::: + en. Entonces (en = 0 y gn = 2) o ( en = 2 y gn = 0): Supongamos por ejemplo que en = 0 y gn = 2 calculando se tiene lo siguiente: m=1 3 m m=1 3 m m m x = 3 e 1 1 31 = = = 31 31 31 1 1 1 e + + + + + + + 1 e 1 e 1 e 1 e < 3 g = 31 0 en+1 en+2 + ::: + n + n+1 + n+2 + ::: 3 3 3 3 e2 + ::: + en.1 + 2 + 2 + ::: 32 3n.28 ' : C .

' es una funci n biyectiva. cuando en = 0 y gn = 2 la prueba es an loga. Le llamamos x a su l mite. Para probar que ' es una funci n inyectiva sean x= 1 2 3 m=1 3 1 X em m yx 1 = m=1 3 1 X gm m donde em gm 2 f0 2g : 1 2 3 Supongamos que '(x) = '(x ): Por la de nici n de ' se tiene que (e e e :::) = (g g g :::): Por la de nici n de igualdad en el producto. Para mostrar que ' es suprayectiva. As . hemos probado que la representaci n de x es nica. x 2 C: Entonces ' (x) = (e e e :::) : Por tanto la funci n ' es suprayectiva.17. tomemos (e e e :::) 2 f0 2g f0 2g f0 2g ::: . Sea M 2 N tal que M < " y sea = M : Tomemos x y x 2 C de manera que jx . Esto implica que. Ahora demostraremos que ' es continua en C: Tenemos que mostrar que para cada " > 0 existe > 0 tal que si jx . Consideremos la serie: 1 1 1 2 2 3 3 1 1 2 3 m=1 3 3 1 X em m 2 3 m Ya que 0 em 2 entonces em m : De modo que esta serie est acotada por una que es convergente. x = x : Por tanto ' es inyectiva. se tiene que e = g e = g e = g ::: . ' esta bi n de nida. Por el Teorema 1. As . en = gn para cada n 2 N : En el otro caso.29 De aqu que x < x lo cual es un absurdo. x j < entonces d('(x) '(x )) < ": Tomemos una " > 0 arbitraria. Por tanto. x j < M : 1 1 1 1 1 3 1 2 1 3 Escribimos x = m m=1 3 1 X em yx 1 = m m=1 3 1 X gm : . Por tanto. Esto muestra que la serie m m=1 3 1 2 3 1 X em converge.

De acuerdo con Rudin. se tiene que C es no numerable. A partir de este momento denotamos a f0 2g f0 2g f0 2g ::: por f0 2g1 : . es decir: dn(p q) = : Es claro. En realidad. 4. 1 Por el teorema Rudin.8. por tanto continua en C: Entonces tenemos una funci n ' continua e inyectiva del espacio m trico compacto C sobre el espacio m trico f0 2g f0 2g f0 2g ::: .qj 2 0 si p 6= q si p = q d('(x) '(x )) 1 = = je . Teo. 2. gM j + ::: 1 1 2 2 +1 +1 2 3 +1 +2 +1 + + + :::: 2M +2 2M +3 2M +4 = 2M +2 2 1+ 1 1 + 2 + ::: 2 2 2 2M +2 +1 +2 2 2 2M +3 +2 2 1 = M +2 (2) = M 2 2 < ": Como x y x fueron elegidos arbitrariamente en C entonces ' es uniformemente continua en C y.30 Por el Lema 2. Esto concluye la prueba del teorema. gm 1 = j x . x1 j < M 3 entonces e 1 = g1 e 2 = g2 ::: eM = gM : Adem s. g j + je . como C es homeomorfo a f0 2g f0 2g f0 2g ::: podemos y vamos a repetir la prueba cl sica de Cantor para mostrar que C no es numerable. g j + ::: + jeM .17] ' es un homeomor smo. la m trica dn para el conjunto f0 2g es la m trica discreta. que dn Calculando 1: 8 < jp. gM j + jeM . Teo. como 1 X em m=1 3m . gM j + ::: 2 2 2M 2M jeM . gM j + jeM .43] como C es perfecto.

Demostraci n. (e1 e e e ::: en :::) 6= (e n e n e n e n ::: enn :::) 2 3 4 . Haremos esta demostraci n por reducci n al absurdo. Entonces tambi n estamos suponiendo que f0 2g1 es numerable. . supongamos que C es numerable. Esto es. para toda n 2 N .31 TEOREMA 2. C es no numerable.10. C y f0 2g1 tienen la misma cardinalidad. .9. Por el Teorema 2. 2 3 4 ( ) 1 ( ) 2 ( ) 3 ( ) 4 ( ) Notemos que. De modo que estamos suponiendo que f0 2g1 se puede escribir en la forma f0 2g1 = fa a a :::g 1 2 3 Supongamos que a a a a 1 2 3 4 = ( e1 (2) = ( e1 (3) = ( e1 (4) = ( e1 (1) e e e e (1) 2 (2) 2 (3) 2 (4) 2 . e e e e (1) 3 (2) 3 (3) 3 (4) 3 e e e e (1) 4 (2) 4 (3) 4 (4) 4 :::) :::) :::) :::) Construyamos un elemento (e e e e :::) 2 f0 2g1 de la siguiente manera: 1 2 3 4 en = : Entonces (e1 8 <0 2 si enn si enn ( ) ( ) =2 =0 e e e :::) 2 f0 2g1 .

Sean x 2 C r > 0 y n 2 N tales que Br (x) \ (R . que es un espacio m trico. Para probar esta propiedad.12. la lista en que numeramos a todos los elementos de f0 2g1 no contiene al elemento que acabamos de construir. LEMA 2. a saber. si x 2 C entonces x 2 Cn para toda n 2 N . C tal que . Ahora veremos. Cn) 6= y concluye la prueba del lema. ( ) Hasta ahora.32 Porque en 6= enn para toda n 2 N : As . perfecto y no numerable. Adem s.1 n j =0 3 h aj aj + 1 3n 2 1 2 1 +1 a a los intervalos an a n ::: a nn. lo cual es un absurdo. Sean x y 2 C con x < y entonces existe z 2 R.11. compacto. Br (x) es un conjunto conexo y como Br (x) Cn entonces existe un k 2 f0 1 ::: 2n . hemos probado algunas propiedades topol gicas del conjunto de Cantor. x < z < y: LEMA 2. f0 2g1 es no numerable. por el contrario. Recordemos que Cn = 3 0 0 +1 2 n . que es un conjunto totalmente disconexo. Por tanto. 2r = diametro (Br (x)) diametro 3n ak ak + 1 3n 1 = n: 3 Esta contradicci n prueba que Br (x) \ (R . no vac o. que Br (x) Cn: Por hip tesis. Haremos esta prueba por reducci n al absurdo. daremos los siguientes lemas. Supongamos. que las componentes conexas de C son s lo puntos. Cn) 6= : 1 23 n < r entonces Demostraci n. 1g tal que B (x) ak ak + 1 3 3 1 1 +1 i 3 3 3 r 3n 3n de aqu que. a n . esto es.n son cerrados y ajenos n n dos a dos.

Cn: 1 23 Este absurdo muestra que el lema es cierto. existe z 2 R . Supongamos que una componente no es un punto y la llamamos A es decir. Esto contradice la conexidad de A y termina la prueba del teorema. A C y que existen x y 2 A tales que x < y: Por el Lema 2. existe q 2 Br (p) \ (R . Cn) : Entonces q 2 Br (p) (x y) C Cn y q 2 R .1 z) \ A) . vamos a suponer que A es un conjunto conexo.12.33 Demostraci n. conjunto de Cantor son sus puntos. C es un conjunto totalmente disconexo.1 z) \ A y y 2 (z 1) \ A: Entonces hemos escrito a ((z A = ((. Tenemos que probar que las componentes conexas del A como la uni n de dos conjuntos abiertos (en A) ajenos y no vac os. TEOREMA 2.11. Supongamos por el contrario que (x y) C: Elegimos un p 2 (x y) entonces p 2 C: Sea r > 0 tal que Br (p) (x y): Sea n 2 N tal que n < r: Por el Lema 2. C tal que x < z < y: Dada p 2 A p 6= z pues z 2 = C: De modo que p < z o p > z: Esto muestra que Demostraci n. 1) \ A) : Notemos que x 2 (.13.

34 .

Cap tulo 3 En el cap tulo anterior vimos que el conjunto de Cantor es un espacio m trico. C con el espacio f0 2g1 : Esto es posible debido al Teorema 2. compacto. En este cap tulo probaremos que estas propiedades caracterizan al conjunto de Cantor.Hay una funci n continua y suprayectiva de C al cubo de Hilbert. perfecto. si un espacio topol gico X tiene todas estas propiedades entonces X es homeomorfo al conjunto de Cantor. Los resultados importantes para probar este ltimo teorema son: . identi caremos al conjunto de Cantor PROPOSICION 3.Hay una funci n continua y suprayectiva de C al intervalo 0 1] : .9. . Es decir.1. C es homeomorfo a C n: 35 .El conjunto de Cantor se puede retraer a cualquiera de sus subconjuntos cerrados y no vac os.Todo espacio m trico y compacto se puede encajar como un subconjunto cerrado del cubo de Hilbert. una sucesi n de ceros y doses.El conjunto de Cantor es homeomorfo a un producto numerable de copias de l. El otro resultado importante de este cap tulo ser que todo espacio m trico y compacto es una imagen continua del conjunto de Cantor. . Para toda n 2 N . Entonces cuando nos re ramos a un elemento de C escribiremos A lo largo de este cap tulo. . no vac o y totalmente disconexo.

36 Demostraci n. As . Para mostrar que f es una funci n suprayectiva tomemos un punto arbitrario (a a a :::) 2 C entonces ((a a a :::) (a a a :::)) 2 C C: Aplicando la f_ : 1 2 3 1 3 5 2 4 6 f ((a a a :::) (a a a :::)) = (a a a a :::) : 1 2 3 2 4 6 1 2 3 4 . por la de nici n de igualdad en el producto. Primero se demostrar para n = 2: Esto es. (a1 a a :::) = (c c c :::) y (b b b :::) = (d d d :::) : 2 3 1 2 3 1 2 3 1 2 3 Por tanto.! C de nida por la correspondencia f ((a a a :::) (b b b :::)) = (a b a b a b :::) 1 2 3 1 2 3 1 1 2 2 3 3 Demostraremos que f es una funci n inyectiva. f es una funci n inyectiva. C es homeomorfo a C C: La prueba para toda n 2 N se har por inducci n matem tica. Sea f : C C . equivalente a (a1 b a b a b :::) = (c d c d c d :::) 1 2 2 3 3 1 1 2 2 3 3 entonces ai = ci al igual que bi = di para cada i 2 N esto es. Sean f ((a a a :::) (b b b :::)) = (a b a b a b :::) 1 2 3 1 2 3 1 1 2 2 3 3 y f ((c c c :::) (d d d :::)) = (c d c d c d :::) : 1 2 3 1 2 3 1 1 2 2 3 3 Supongamos que f ((a a a :::) (b b b :::)) = f ((c c c :::) (d d d :::)) : 1 2 3 1 2 3 1 2 3 1 2 3 Esto es.

n f es continua para cada n 2 N : Sea n 2 N . Esto termina la prueba de que C es homeomorfo a C C: Para hacer el paso inductivo. (f ((a a a :::) (b b b :::))) = a n. 4. 1 1 2 3 1 2 3 1 2 3 2 1 2 3 1 2 3 1 2 3 1 1 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 2 1+1 2 2 1 2 3 1 2 3 1 2 3 2 1 2 3 1 2 3 2 2 1 2 1 2 2 1 2 Como C C es un m trico compacto (el producto cartesiano de conjuntos compactos es un conjunto compacto). Teo. calculando: n f ((a a a :::) (b b b :::)) = : 1 2 3 1 2 3 8 < a n+1 bn 2 2 si n es impar si n es par 1 2 Esta f rmula nos muestra que n f es pr cticamente una proyecci n. y adem s tenemos una funci n f continua e inyectiva de un espacio m trico compacto sobre C: De acuerdo con Rudin. consideremos las funciones ' y ' de nidas por ' ((a a a :::) (b b b :::)) = (a a a :::) ' ((a a a :::) (b b b :::)) = (b b b :::) Calculando n (' ((a a a :::) (b b b :::))) = n ((a a a :::)) = an: Mientras que n.veces . f y n ' = n f: Como ' ' y n son continuas. = an : De igual manera: n (' ((a a a :::) (b b b :::))) = n ((b b b :::)) = bn : Por otra parte.37 Por lo que. f es una funci n suprayectiva. suponemos que C C ::: C es homeomorfo a C: n.17] f es un homeomor smo. Para hacerlo m s expl cito. De acuerdo con Willard. f es una funci n continua. podemos concluir que n f es continua para toda n 2 N : Por tanto. n (f ((a a a :::) (b b b :::))) = b n = bn : De manera que n ' = n. Teo. Vamos a demostrar que f es una funci n continua. 8.8] esto es equivalente a probar que.

C nC .38 Como C nC . Sea f : C C C ::: . el producto de la derecha es homeomorfo a C C el cual vimos que es homeomorfo a C: Por tanto.veces por hip tesis de inducci n.! C de nida por la siguiente correspondencia f ((a a a :::) (a a a (a a a :::) (1 1) (1 2) (1 3) (2 1) (2 2) (1) (2) (3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) :::) (a (3 1) a (3 2) a (3 3) :::) :::) = Demostraremos que f es una funci n inyectiva. C es homeomorfo a C C C ::: .2 El conjunto de Cantor es homeomorfo a un proDemostraci n. Para esto.1.veces ::: C tambi n es homeomorfo a C: Esto completa la inducci n y la prueba de la Proposici n 3.! N N ) . Sean f ((a a a :::) (a a a :::) (a a a :::) :::) = (a a a :::) y f ((b b b :::) (b b b :::) (b b b :::) :::) = (b b b :::) Supongamos que (2 3) (3 1) (3 2) (3 3) (1) (2) (3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) (1) (2) (3) f ((a a a :::) (a f ((b b b :::) (b (1 1) (1 2) (1 3) (1 1) (1 2) (1 3) (2 1) (2 1) a b (2 2) (2 2) a b (2 3) (2 3) :::) (a :::) (b (3 1) (3 1) a b (3 2) (3 2) a b (3 3) (3 3) :::) :::) = :::) :::): Esto es equivalente a que . recordemos que N N es un conjunto numerable. Como se mencion al inicio de este cap tulo. Esto es. PROPOSICION 3. +1 ducto numerable de copias de l. vamos a demostrar que C es homeomorfo a un producto numerable de copias de l. denotaremos con a una funci n biyectiva de N en N N ( : N . por lo que.veces ::: C es homeomorfo a (C C ::: C ) C +1 n.

n m : Como . De acuerdo con Willard.1 ( (3)) :::) = 1 2 3 Por tanto f es suprayectiva. Para mostrar que f es una funci n suprayectiva. como que (r) = (n m): Por lo que.39 (a (1) a a (2) a (3) :::) = (b (1) b (2) b (3) :::): Por la de nici n de igualdad en el producto. c (c c c :::): 1 ( (1)) . (n m) es un n mero natural.8] esto es equivalente a probar que n f es continua para toda n 2 N . Sea n 2 N . (a a a :::) = (b b b :::) (a (b b b :::) (a a a :::) = (b Por tanto. f es una funci n inyectiva. es suprayectiva entonces existe r 2 N tal a nm ( ) = a (r) = b (r) = b(n m) : As a (1 1) (1 2) (1 1) = b(1 1) a (1 2) = b(1 2) a (1 3) = b(1 3) ::: (2 2) Por tanto.1 ( (2)) c . (1 3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) 1 1 2 3 (2 1) (3 1) : a b (3 2) a b (2 3) (3 3) :::) = :::) ::: . n m est bien de nido. Teo. Sea (n m) 2 N N . obtenemos ( ) n = b (n) para toda n 2 N . calculando: n f ((a (1 1) (a(3 1) n (a (1) a (1 2) a a a (1 3) (3 2) (2) :::) (a a a a :::) :::) = a :::) = a n : (2 1) (2 2) (3 3) (3) ( ) (2 3) :::) . Vamos a demostrar que f es una funci n continua. de nimos a n m = c . tomemos un punto cualquiera (c c c :::) 2 C: Dadas n y m 2 N . c . 8. Sea a = ((a a a :::) (a a a :::) (a a a :::) :::) 2 C C C ::: Aplicando f obtenemos ( ) 1( ) 1( ) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) f (a) = (a (1) a (2) a (3) :::) = (c .

podemos concluir que (1 1) (1 2) ( (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) ( 1) ( 2) 3) (1 1) ( (1 2) ( (1 3) (2 1) ) (2 2) (2 3) (3 1) (3 2) (3 3) ( 1) 2) 3) ( ( ) n f es continua para toda n 2 N . Como C C C ::: es un espacio m trico compacto (ya que. el producto de conjuntos compactos es un conjunto compacto). La prueba de sus propiedades est en la Proposici n 3. f es una funci n continua. mostraremos que el intervalo 0 1] es imagen continua de C: A continuaci n de nimos la funci n g que nos servir para dicho n. Como dijimos en la introducci n de este cap tulo. Como : N . entonces (n) = (m r) : Calculando a a :::) (a a a :::) (a a a :::) :::) = r m ((a r (a m a m a m :::) = a m r = a n : De manera que n f = r m: Como r y m son continuas. Consideremos la funci n g : C .40 Esta f rmula nos muestra que n f es pr cticamente una proyecci n.! de nida por la f rmula 0 1] : g ((a a a :::)) = 1 2 3 1 2 3 1 X n=1 an : 2n +1 Recordemos que cada elemento x 2 C lo estamos identi cando con la nica sucesi n (e e e :::) de ceros y doses que cumple . Por tanto.3. Para hacerlo m s explicito consideremos la funci n m de nida por a a :::) (a a a :::) (a a a :::) :::) = m = ((a (a m a m a m :::) para cada m 2 N . Para familiarizarnos con ella.! N N .17 de Rudin] f es un homeomor smo. la evaluaremos en algunos puntos y bosquejaremos su gr ca. entonces f es una funci n continua e inyectiva de un espacio m trico compacto sobre C: Por el Teorema 4. Esto concluye la prueba de la Proposici n.

41 x= 1 X en n=1 3n : Expresaremos algunos elementos de C en forma de serie para calcular su imagen bajo g: 0= 0 0 0 0 + 2 + 3 + 4 + ::: 3 3 3 3 1 0 2 2 2 = + 2 + 3 + 4 + ::: 3 3 3 3 3 2 2 0 0 0 = + 2 + 3 + 4 + ::: 3 3 3 3 3 1 0 0 2 2 = + 2 + 3 + 4 + ::: 9 3 3 3 3 2 0 2 0 0 = + 2 + 3 + 4 + ::: 9 3 3 3 3 7 2 0 2 2 = + 2 + 3 + 4 + ::: 9 3 3 3 3 8 2 2 0 0 = + 2 + 3 + 4 + ::: 9 3 3 3 3 1= 2 2 2 2 + 2 + 3 + 4 + ::: 3 3 3 3 Aplicando g a los elementos anteriores se tiene. g((0 g((0 0 0 0 0 :::)) = 2 0 :::)) = 2 2 + 0 0 0 + 4 + 5 + ::: = 0 3 2 2 2 2 2 2 1 + + + ::: = 23 24 25 2 2 2 2 2 + .

42 g((0 g((0 g((2 g((2 g((2 g((2 0 2 2 0 :::)) = 2 0 :::)) = 2 2 :::)) = 2 2 :::)) = 2 2 :::)) = 2 2 + 0 2 2 1 + 4 + 5 + ::: = 3 2 2 2 4 2 0 0 1 + 4 + 5 + ::: = 3 2 2 2 4 0 0 0 1 + 4 + 5 + ::: = 3 2 2 2 2 0 2 2 3 + 4 + 5 + ::: = 3 2 2 2 4 2 0 0 3 + + + ::: = 23 24 25 4 2 2 2 + 4 + 5 + ::: = 1 3 2 2 2 2 0 0 2 + 0 0 0 2 + 0 2 2 2 + 2 0 0 2 + 2 2 2 2 :::)) = 2 2 + Figura 2. . Ilustraci n de la gr ca de la funci n g.

Sea de nida por la f rmula g : C . sea y 2 0 1] : Consideremos su presentaci n binaria. Aplicando g a un elemento cualquiera de C se tiene: g ((a a a :::)) = 1 2 3 1 X n=1 an : 2n +1 = a1 2 2 + a2 2 Como an Entonces 1 2 3 2 para toda n 2 N entonces 1 1 1 1 + 2 + 3 + ::: = 2 2 2 2 2 2 + a3 23 2 + ::: an 2 1 para cada n 2 N : =1 g ((a a a :::)) 1+ El criterio de comparaci n para series nos dice que entonces la serie 1 X an es convergente y converge a un n mero entre 0 y 1: Por tanto g est bien de nida. demostraremos en la Proposici n siguiente que g es una fuci n continua y suprayectiva.3.! 2 3 0 1] g ((a a a :::)) = 1 1 X n=1 an : 2n +1 Entonces g es continua y suprayectiva (Recordemos que estamos identi cando a C con f0 2g1): Demostraci n. estaremos mostrando que el intervalo 0 1] es la imagen continua del conjunto de Cantor.43 Una vez bosquejada la gr ca de la funci n. PROPOSICION 3. Para mostrar que g es una funci n suprayectiva tomemos un n mero cualquiera entre 0 y 1 es decir. Y por consiguiente. es decir: n+1 n=1 2 1 1 1 + 2 + 3 + ::: 2 2 2 .

Sea Dados dos elementos (a a a :::) y (b b b :::) 2 C tales que d((a a a :::) (b b b :::)) < : Entonces 1 2 3 1 2 3 1 2 3 1 2 3 ": jg ((a a a :::)) . tenemos que C es homeomorfo . bn j 2n+1 = 1 X an 2n+1 . g ((b b b :::))j < ": 1 2 3 1 2 3 Por tanto. Ya estamos en condiciones de poder de nir una funci n continua y suprayectiva del conjunto de Cantor al cubo de Hilbert. X bn n n 2 2 +1 an . Sea Demostraci n. g es una funci n continua en C: Esto concluye la prueba de la proposici n. C en PROPOSICION 3. Por la Proposici n 3. Existe una funci n continua y suprayectiva de 0 1] 0 1] 0 1] ::: a C C C ::: . bn = ": Esto es. El espacio m trico y compacto 0 1] 0 1] 0 1] ::: se le llama el cubo de Hilbert. g ((b b b :::))j 1 2 3 1 2 3 = 1 X 1 X n=1 1 an . Sea " > 0. jg ((a a a :::)) .2.44 y=a donde ai 2 f0 1g : Como 2 1 2 3 +a +a + ::: 22 23 y=a 1 2 1 2 3 +a +a + ::: = 22a21 + 22a32 + 22a43 + ::: = g ((2a1 2a2 2a3 22 23 :::)) = y (2a 2a 2a :::) 2 f0 2g1 obtenemos que g es una funci n suprayectiva. 2 3 Demostraremos que g es una funci n continua.4. bn 2n+1 2 1 3 n=1 = +1 1 X n=1 1 = d((a a a :::) (b b b :::)) < 2 3 n=1 n=1 jan .

Esto concluye la prueba de la proposici n.sima. Por tanto f es continua. En los teoremas que a continuaci n se presentan. para toda n 2 N . Como se mencion al principio de este cap tulo. como g es una funci n suprayectiva.8. Consideremos el punto formado por estas xn : Es decir. se muestra la construcci n para de nir dicha funci n. La demostraci n de los siguientes dos teoremas se ve en los cursos de topolog a. Para demostrar que f es una funci n suprayectiva sea (c c c :::) 2 0 1] 0 1] 0 1] ::: .! 0 1] es la proyecci n n. g es continua en C: Por tanto. n f es continua. Por la Proposici n 3. tomemos (x x x :::) 2 C C C ::: aplicando f se tiene 1 2 3 1 2 3 f ((x x x :::)) = (g(x ) g(x ) g(x ) :::) = (c c c :::) : 1 2 3 1 2 3 1 2 3 Por tanto. mostraremos que todo espacio m trico y compacto se puede encajar como un subconjunto cerrado del cubo de Hilbert.3. .! 0 1] 0 1] 0 1] ::: de nida por la siguiente correspondencia f (x x x :::) = (g(x ) g(x ) g(x ) :::) 1 2 3 1 2 3 donde g es la funci n de nida en la proposici n anterior. Sea n 2 N . calculando n f (x x x :::) = g(xn) = g 1 2 3 n (x1 x x :::) 2 3 donde n : 0 1] 0 1] ::: . existe una xn 2 C tal que cn = g(xn). f es una funci n suprayectiva. n f es continua para toda n 2 N . La prueba de sus propiedades est en el Teorema 3.45 f : C C C ::: . Como f es una funci n que se mete a un producto. Dada n 2 N . para ver su continuidad basta comprobar que.

1 1 1 1 1 se puede encajar en el cubo de Hilbert. existe una funci n inyectiva y continua h : X . Es decir. Por el Teorema 3. Todo espacio m trico compacto X . TEOREMA 3.! 0 1] 0 1] 0 1] ::: 1 2 3 de nida por la siguiente correspondencia h(p) = (d(p a ) d(p a ) d(p a ) :::): 1 2 3 . Entonces X Demostraci n. Por el Teorema 3.46 conjunto denso y numerable.5 existe un conjunto denso y numerable D = fa a a :::g en X: Sea h : X . Sea X un espacio m trico y compacto. que d es una m trica para X adem s. se tiene diametro X < 1: De nimos d de la siguiente manera: d(p q) para toda p q 2 X d (p q) = diametro X donde d(p q) es la m trica de nida en X: Es claro. nito. d (p q) 1 y se puede ver f cilmente que d y d inducen la misma topolog a en X: Esto concluye la prueba del Teorema.! 0 1] 0 1] 0 1] ::: TEOREMA 3.6. se le puede dar d (p q) 1 una m trica d1 tal que 1 para toda p q 2 X Demostraci n.7 podemos suponer que d(p q) 1 para cualesquiera p q 2 X: Por el Teorema 3.7.5. tiene diametro TEOREMA 3. Todo espacio m trico compacto X contiene un sub- TEOREMA 3.8.6. Todo espacio m trico compacto X .

47 En primer lugar. calculando n (h(p)) = n (d(p a ) d(p a ) d(p a ) :::) = d(p an): 1 2 3 0 Si probamos que la distancia a un punto jo x 2 X es una funci n continua. Teo. 8. H (y)j d(x y) De aqu se sigue que H es continua. adem s que. de donde h es una funci n continua. esto es. Esta prueba se realizar por reducci n al absurdo.8] necesitamos comprobar que n h es continua para toda n 2 N . Por tanto. Sea H : X .! R de nida por H (x) = d(x x ) 0 como d(x x ) d(x y) + d(y x ) entonces d(x x ) . mostraremos la continuidad de la funci n h: De acuerdo con Willard. Demostraremos que h es inyectiva. habremos terminado. p 6= q: Como p 6= q el n mero c = d(p q) es positivo. Ya que D es denso en X B c (p) \ D 6= : As que existe r 2 N tal que ar 2 B c (p): Como estamos suponiendo que h(p) = h(q) tenemos que 2 2 (d(p a ) d(p a ) d(p a ) :::) = (d(q a ) d(q a ) d(q a ) :::): 1 2 3 1 2 3 Entonces d(p an) = d(q an) para toda n 2 N : En particular d(p ar ) = d(q ar ): Entonces c = d(p q) d(p ar ) + d(ar q) = 2d(p ar ) < 2( c ) = c 2 . supongamos que h(p) = h(q) y. Sea n 2 N . d(y x ) d(x y): Similarmente 0 0 0 0 d(y x ) . d(x x ) d(y x): 0 0 Entonces jH (x) . n h es continua para toda n 2 N .

9.48 As que c < c: Como este absurdo nace de suponer que h no es inyectiva. h (X ) es un conjunto compacto (es la imagen continua de un compacto). Resumiendo hemos consiguido encontrar una funci n continua y suprayectiva de C al cubo de Hilbert. . Pero antes de la de nici n de dicha funci n. Sea D= Si ( 1 X an n : an n=1 4 2 f0 3g para toda n 2 N : ) f : C . Por otra parte. Continuando con la l nea a seguir mencionada al principio de este cap tulo. analizando la imagen directa de X se tiene que h (X ) 0 1] 0 1] 0 1] ::: pero.! D est de nida por la f rmula f 1 X an n=1 3n ! = 1 X n=1 3 2 4n an donde an 2 f0 2g entonces f es un homeomor smo de C en D: Demostraci n. adem s. Ahora. Esto concluye la prueba del Teorema. Cada serie de la forma 1 X an n=1 4n con an 2 f0 3g para toda n 2 N . mostraremos una manera topol gicamente equivalente de construir a C: LEMA 3. hemos visto que todo espacio m trico y compacto se puede encajar en un subconjunto cerrado del cubo de Hilbert. nos falta la construcci n de una funci n que retraiga al conjunto de Cantor en uno de sus subconjuntos cerrados y no vac os. concluimos entonces que h es inyectiva. Sabemos que los subconjuntos compactos de espacios m tricos son cerrados entonces h (X ) es un cerrado.

3 2 Ahora mostraremos que f es inyectiva. Si am = 0 y bm = 2 se tiene f (x) = 3 2 41 a 1 + 3 2 42 a 2 3 am+1 3 am+2 0 + ::: + m + 2 m+1 + 2 m+2 + ::: 4 4 4 . 3 2 4n 3 4n para cada n 2 N : Primer caso.9. Entonces (am = 0 y bm = 2) o (am = 2 y bm = 0): Analizando un t rmino cualquiera de la serie.49 est acotada por la serie 1 X 3 n=1 4n =3 1 X 1 n=1 4n = 1: Por tanto cada serie de las que de nen a D es convergente y representa a un n mero en el intervalo 0 1] : Cada x 2 C por el Teorema 2. Sean x y 2 C tales que x 6= y: Escribimos 1 1 X X a n y = bn donde a b 2 f0 2g : x= n n=1 3 n n=1 3 n n Como x 6= y entonces existe m 2 N tal que am 6= bm y m es la primer ndice en donde son diferentes. obtenemos que se puede acotar superiormente por 3 2 4n an an 4n 3 2 2 3 4n para cada n 2 N : Es decir. tiene una representaci n nica de la forma 1 X x = an donde a 2 f0 2g n n=1 3 n entonces an 2 f0 3g : Esto muestra que f est bien de nida.

50 3 2 = = = 3 2 4 4 4 4 a a a a 1 1 1 + + + + 3 2 3 2 4 4 4 4 a a a a 2 2 2 + ::: + + ::: + + ::: + + ::: + 3 2 3 2 + m+1 + m+2 + ::: 4m. f es una funci n biyectiva.1 4 1 1 1 1+ 4 3 1 1 + 2 + ::: 4 4 3 2 3 2 3 2 1 1 2 2 3 2 3 2 3 2 1 1 2 < 3 2 1 1 3 2 1 1 4 b b + + 3 2 2 2 3 2 2 2 4 b b Es decir. 1 3 n n=1 4 n n n=1 3 Por tanto.1 4 + m 4m. Por tanto f es inyectiva. am.1 4 + m+1 4m. f (x) < f (y): Por tanto. . am. Para mostrar que f es suprayectiva. f (x) 6= f (y): En el caso.1 4 + m 4m. Demostraremos que f es una n continua. am = 2 y bm = 0 la demostraci n de que f (x) 6= f (y) es similar. am. la . Por consiguiente. yj < entonces 1 4 1 4 1 3 1 3 n=1 3 2 3 n=1 4 32 23 n=1 4 .1 4 4 1 am. Sea y 2 D esto es. 3 2 3 3 3 3 1 1 2 2 + m+1 4m. 1 a 1 X X n y = an con a 2 f0 3g : Sea x = como an 2 f0 3g entonces an 2 f0 2g as que x 2 C: Aplicando f al elemento x se obtiene 1 1 1 a ! X X an X an = y n f n = n = n 2 3 2 3 4 = f (y ): 3 bm+1 3 bm+2 3 + ::: + m + 2 m+1 + 2 m+2 + ::: 4 4 4 4 + ::: + bm. funci n n Sea " > 0: Como !0y ! 0 cuando n ! 1 existe M 2 N tal que M < ": Hacemos = M : Tomemos x y 2 C tales que jx . f es una funci n suprayectiva.

8. Resumiendo. bn j : 4n 3n . 1 X n n=1 4 3 2 bn 1 X n=1 3 2 an . bM j + jaM . f (y)j = Ya que 1 X an n=1 n n=1 4 an . entonces que jf (x) . f es una funci n continua. f (y)j = 1 X n n=1 4 3 2 an . f (y)j 1 X n=1 3 3 2 jan . bnj = n para toda n 2 N : Entonces 3 4 2 . se obtiene que a 4 3 2 2 1 = b1 a 2 = b2 ::: aM = bM : 3 2 n Observemos que jan .51 1 X 3 2 jf (x) . y j < M 3 por el Lema 2. hemos obtenido una funci n continua e inyectiva de un espacio m trico compacto C sobre el espacio m trico D por Rudin. bM j + ::: 4n 4M 4M 3 2 +1 +1 3 2 +2 +2 +1 +2 4M +1 3 = M +1 4 3 = M +1 4 3 3 + M +2 + M +3 + ::: 4 4 1 1 1 + + 2 + ::: 4 4 4 1 = M <" 3 4 Hemos obtenido. bn 4n 3 2 = 1 X n=1 3 2 jan . jann 4 jf (x) . bn 1 = jx .bn j para toda n 2 N : Por lo cual. Teo. bn j = jaM . 4.17] se obtiene que f es un homeomor smo de C en D: Esto concluye la prueba del lema . 1 X n n=1 4 3 2 bn <" Por tanto.

1 4m+1 3 f2 + ::: + fm. No existen a b c 2 D tales que a < b < c y c .1 + 3 42 4m. Si fm < dm entonces fm = 0 y dm = 3: Calculando c = 4 f 1 41 = = = 41 41 4 f 1 + + + + + + + f 1 f 1 f 1 f 1 < d 4 d 4 1 1 1 1 1 0 fm+1 fm+2 + ::: + m + m+1 + m+2 + ::: 4 4 4 4 f2 + ::: + fm.1 + 3 + dm+1 + dm+2 + ::: = a: 42 4m. Esta prueba se realizar por reducci n al absurdo.1 4m+1 4m+2 f2 + ::: + fm.1 + 3 1 + 1 + 1 + ::: 42 4m. c < a lo cual es un absurdo. Sean a b c 2 D: Entonces a= 1 X dn n=1 4n b= 1 X en n=1 4n yc= 1 X fn n=1 4n donde dn en fn 2 f0 3g supongamos que a < b < c y c .1 4m+1 4 42 f2 + ::: + fm.1 4m 4m+1 4m+2 2 2 Es decir. Sabemos que. dm < fm : Por tanto dm = 0 y fm = 3: Hemos probado que si a < c con a= 1 X dn n=1 4n yc= 1 X fn n n=1 4 y si m es el primer natural donde dm 6= fm entonces dm = 0 y fm = 3: .1 4m d2 + ::: + dm. dm 6= fm entonces dm < fm o dm > fm : Probaremos que el caso fm < dm no es posible.1 + 1 42 4m. b = b .10.1 + 3 4 42 4m. a: Como a < c existe m 2 N tal que dm 6= fm y adem s es la primera m en donde son diferentes. b = b .1 + 3 + 3 + ::: 42 4m.52 LEMA 3.1 4m d2 + ::: + dm. a: Demostraci n. Por tanto.

dm +2 + ::: + 4m+2 0.53 Ahora mostraremos que d = e = f ::: dm.b Es decir.0 + 4m +2 em . 4m 4 3 1+ 1 2 = 4m 4m 1 1 + 2 + ::: 4 4 +1 .b lo cual es un absurdo. por hip tesis b. em+1 + + ::: 4m 4m+1 3 3 = m 4 3 .m 4 3 + i c.d 2 2 42 4m+1 3 = m+1 4 3 4m+1 +1 + em . 4m .em+i = 4m+i .a = = e .a = c. analizando el caso extremo en que para toda i = 1 2 ::: . 0 fm+1 .d 1 1 em . = em. 4 1 = f . 1: Por lo que vimos antes dr = 0 y er = 3: Como fr = dr y dr 6= er entonces el primer natural s para el cual es 6= fs debe cumplir s r: Adem s por lo que vimos antes es = 0 y fs = 3: Ya que er = 3 y es = 0 tenemos que s < r: Pero entonces la miminalidad de r implica que ds = es < fs: Esto es absurdo pues s < r m . Se tiene fm+i . Ya que. dm +1 + em . Sea r el primer natural tal que dr 6= er entonces r m .e 2 2 4m+1 4m+1 3 . : Supongamos que esto no ocurre. dm +3 4m+1 +1 + ::: 3 3 + m+2 + m+3 + ::: 4 4 1 1 3 1 + + 2 + ::: = m+1 4 4 4 4m+3 +3 + ::: 4 3 1 = m 4 Por otra parte.b: 4 3 = m. = fm. 4 3 = m. 4 3 = m. dm +1 41 + e .e 1 1 + 3 3 f . = fm.a < c. 4m . obtenemos dos contradicciones analizando los casos em = 0 y em = 3: Recordemos que dm = 0 y fm = 3: Si em = 0: Calculando 1 1 1 1 1 1 1 1 1 1 1 1 b. b. = em. ::: +2 +3 4 2 + ::: + 3 . 1 y m era el primer natural donde dm 6= fm: Con esta contradicci n hemos probado que d = e = f ::: dm. : Para completar la prueba del lema.

Se tiene em+i . em +3 ::: 3 3 4m+3 4 3 +3 + ::: 3 = m+1 4 1 = m 4 Por otra parte.11. b: Por tanto. em +1 4 1 + f . b: Esto concluye la prueba del lema. ::: +2 +3 4 2 + ::: + 3 . 0 em+1 . c . Entonces cuando nos re ramos a un elemento de C lo escribiremos como una serie de ceros y treses divididos entre potencias de cuatro.! A tal que k(a) = a para toda a 2 A: Demostraci n. 4m . A es un conjunto cerrado y no vac o entonces existe una funci n continua k : D . a = c .54 Si em = 3: Calculando c. 4m 4 3 4m+1 1 2 = m m 4 4 1+ 1 1 + 2 + ::: 4 4 +1 TEOREMA 3. 4 1 = e . En el teorema siguiente identi caremos al conjunto de Cantor con el espacio D: Esto es posible debido al Lema 3. a = c . 4 3 = m.m 4 3 + i b. b . 4m . em +2 + ::: + 4m+2 3 . Si A D.d 1 1 + 3 3 e . em+1 + + 4m 4m+1 +2 + fm . 3 fm+1 . b < b .b = = f .a Es decir. a lo cual es un absurdo. 4 3 = m. dm+1 + + ::: 4m 4m+1 3 3 = m 4 3 .d 2 2 4m+1 3 .e 2 2 4 2 + + + ::: 4m+1 4m+2 4m+3 = 4m+1 3 1+ 1 1 + 2 + ::: 4 4 3 4m+1 +1 + fm . Ya que. 4 3 = m. analizando el caso extremo en que para toda i = 1 2 ::: .dm+i = 4m+i .9.e 1 1 fm . Sea . hemos demostrado que no existen a b c 2 D tales que a < b < c y b .

! A de nida por la siguiente correspondencia k(x) = ax donde jx . aj : a 2 Ag : Podemos suponer que ax < bx: Si x ax < bx entonces jx . De hecho esta unicidad es la raz n de que trabajemos con D en lugar de C: Supongamos entonces que existen ax y bx en A tales que jx . entonces esta funci n alcanza un m nimo en A: Esto nos dice que efectivamente existe una tal ax: Ahora que podr amos tener el problema de que ax no fuera nica. x: Hacemos z = x . Pensando al punto jo como x la funci n distancia a x es continua. no es posible que z x y ax 2 D: Y como x ax 2 D obtenemos que z 2 = D: Ya que D es cerrado en R existe r > 0 tal que (z . Sean x 2 D y " > 0: Analizaremos primero el caso en que x 2 = A: Supongamos por ejemplo que x < ax: El caso ax < x es similar. Por una raz n similar no puede ocurrir que x bx : Entonces ax < x < bx y jx . r x + r .y r < entonces z = x . axj jx . < x . Vamos a ver que esto no ocurre. ax j jy .10. axj < jx . r z + r ) \ D = y r < : . zj : Por el Lema 3. bxj = m{n fjx . xj = jx . bxj : Esto tambi n es absurdo por el Lema 3. Ya que A es un cerrado dentro de un compacto. o x + a: Es decir a z o ax a: Caso 1.10. aj : a 2 Ag : Es decir k(x) es el punto m s cercano a x: En la prueba del Teorema 3. que. Con esta contradicci n probamos que ax es nica y entonces k est bien de nida.55 k : D . nicamente tenemos que ver que jy . como y 2 x . r x + r \ D (N tese x .8 vimos que la funci n que consiste de tomar la distancia a un punto jo es continua. Vamos a mostrar que k ( y ) = a para toda y 2 x . axj = jx . axj = m{n fjx . aj para toda a 2 A: Tomemos pues una a 2 A: Por la de nici n de y ax tenemos que = jx . aj : Entonces a x . Si x 2 A entonces x es el punto de A m s cercano a x: Por tanto k(x) = x: Demostraremos que k es una funci n continua. a z: 2 2 2 2 2 2 2 2 . bxj lo cual es absurdo. r x + r \ D: Para hacer esto. axj = jx . r < y < x + r < r + = ax). Sea y 2 x . : Entonces z < x < ax y jax . Sea = ax .

y j (la ltima igualdad se cumple porque y < x + r < x + = ax): Por tanto jy . (z .! 0 1] 0 1] 0 1] ::: Por otra parte. x + r = ax . axj jy . r: Entonces a z . ax a: En este caso jy . axj = 0 < ": Por tanto k es continua en x para toda x 2 D . existe una funci n continua e inyectiva h : X . Sea X un espacio m trico y compacto. y = jy . r ) > ax . 2 2 2 2 2 2 2 2 2 2 2 2 Ya estamos en condiciones de demostrar el siguiente teorema. TEOREMA 3. compacto y no vac o entonces existe una funci n continua y suprayectiva. xj < = " : De manera que jk(x) . k(y)j = jy . yj + jy . a > x . r) = (x . . z) + r = + r = ax .4. r . aj : Caso 2. axj = ax . k(y)j jx .! X Demostraci n. : C . y = jax . (x . aj : Esto concluye la prueba de que jy . r o z + r a: La segunda desigualdad no es posible pues a z: De manera que a z . Por el Teorema 3. A: Ahora analicemos el caso en que x 2 A: En este caso hacemos = " : Si y 2 B (x) \ D entonces por de nici n y como x 2 A se tiene que jy .12. k(y)j = jx . k(y)j < ": Esto termina la prueba de que k es continua en los puntos de A: Por tanto k es continua. aj = y . existe una funci n continua y suprayectiva 0 1] 0 1] 0 1] ::: . por la Proposici n 3.r aj para toda a 2 A: Entonces k(y) = ax para toda y 2 x . r z + r) \ D = y a 2 D entonces a z . y a . r < z < x . k(x)j = jax . x + \ D: Haciendo = r tenemos que para toda y 2 B r (x) \ D jk(y) .! f : C .56 Como (z .8. ax j r jy . Sea X un espacio m trico. ay j jy . r < y: 2 As que jy .

1 (q ) = x: Por tanto. Ahora veremos que si otro espacio X tiene las propiedades anteriores tiene que ser forzosamente homeomorfo a C: Por lo que. Para lograr la de nici n de un homeomor smo de X en C es necesaria la construcci n que se muestra en los lemas siguientes. compacto. (h(X )): As que f (k(p)) 2 h(X ): Por lo que tiene sentido aplicar h. Como vimos en el cap tulo 2. totalmente disconexo y sin puntos aislados entonces para cada " > 0 existe N 2 N y existen conjuntos abiertos y cerrados A1 A2 ::: AN en X tales que X = A1 A2 ::: AN Ai 6= para cada i = 1 2 ::: N . A1 A2 ::: AN son ajenos entre s y diametro Ai < " para cada i = 1 2 ::: N: . Para mostrar que es suprayectiva tomamos un elemento arbitrario x 2 X: Sea q = h(x) 2 h(X ): Como f es suprayectiva existe c 2 C tal que f (c) = q = h(x): Entonces c 2 f . Sea X un espacio m trico. es una funci n suprayectiva. LEMA 3.1 (f (k (c))) = h. f k : C . (h(X )) = B: As que k(c) = c: Entonces 1 1 1 1 1 (c) = h. perfecto.57 Sea B = f .! X: es una funci n continua ya que es la composici n de funciones continuas. (h(X )): Claramente B es un subconjunto cerrado y no vac o de C .13. Dada p 2 C k(p) 2 B = f .1 (f (c)) = h. el conjunto de Cantor es un espacio m trico. no vac o y totalmente disconexo. estas propiedades caracterizan al conjunto de Cantor. compacto.! B tal que k(b) = b para toda b 2 B: Observemos que h es un homeomor smo de X en h (X ) : De nimos = h. no vac o. De acuerdo con el Teorema 3.11 existe una funci n continua k : C . (f (k(p))): Esto nos dice que est bien de nida. Esto concluye la prueba del teorema.

por supuesto) de X: En efecto. 2 N . i. La prueba de este resultado se puede encontrar en Chandler. B1 A 3 = B3 . Lema 6.1 j =1 ! Bj = Bi \ i.1 j =1 Bj !c = Bi \ i .31] : Entonces podemos suponer que X tiene una base de conjuntos abiertos y cerrados. (B1 B ) ::: AN = BN . Por tanto U es una cubierta abierta de X: Ya que X es un conjunto compacto entonces existen N 2 N y B ::: BN 2 U tales que (i) Bi 6= para cada i = 1 2 3 ::: N .1 \ j =1 Bjc ! . Como cada Bi 2 U tenemos que diametro(Bi) < ": De namos los siguientes conjuntos: 1 1 2 A 1 = B1 A 2 = B2 . Es decir ning n Bi est contenido en la uni n de los dem s (si hubiera de estos simplemente los vamos quitando hasta que ya no haya). (ii) X = B B ::: BN (iii) Ning n Bi sobra.1 j =1 Bj : Por la condici n (iii) cada Ai 6= : Ya que Ai = Bi . Sea " > 0: Primero vamos a ver que la familia Demostraci n.58 rema que dice que para los espacios m tricos compactos la propiedad de ser totalmente disconexo es equivalente a la propiedad de tener una base de abiertos y cerrados. Para probar este lema necesitamos hacer uso del teo- U = fB 2 : diametro(B ) < "g es una cubierta (abierta. sea x 2 X: Ya que B " (x) es un abierto en X y es una base para X existe B 2 tal que x 2 B B " (x) : Entonces 3 3 diametro B diametro B " (x) < ": 3 As que B 2 U .

1 j =1 Bj \ Bi . es un espacio m trico.14. ! i. Hemos visto en el lema anterior que. cerrado y no vac o.1 j =1 1 Bj de modo que Ak \Ai 2 1 2 i.1 j =1 Bj : 1 2 De manera que x 2 Ai: Por tanto X = A A ::: AN : Finalmente. es claro que los subconjuntos de espacios totalmente disconexos son totalmente disconexos. totalmente disconexo y sin puntos aislados. LEMA 3. Para ver que si k < i entonces Ak \ Ai = observemos que Ak Bk i. si X es un espacio m trico. compacto. Sea X un espacio m trico. como Ai Bi y diametro(Bi) < " tenemos que diametro(Ai ) < " para toda i 2 f1 2 ::: N g : Esto concluye la prueba del lema. por lo cual. De manera que Ai es abierto y cerrado. Sea A X un subconjunto abierto. Cualquier subconjunto no vac o de un espacio m trico . compacto. totalmente disconexo y no tiene puntos aislados entonces se puede encontrar una partici n nita de conjuntos abiertos y cerrados en X ajenos dos a dos y no vac os. A es totalmente disconexo. entonces A es un espacio m trico. Demostraci n. totalmente disconexo y sin puntos aislados. Adem s.1 j =1 !! Bj = : Por tanto A A ::: AN son ajenos entre s . Ahora veremos que X = A A ::: AN : Sea x 2 X: Como X = B B ::: BN existe una i m nima tal que x 2 Bi: Entonces 1 2 x2 = i.59 tenemos que Ai es una intersecci n nita de abiertos y tambi n de cerrados (cada Bj es abierto y cerrado). Pero cada subconjunto de esta partici n al ser un conjunto abierto y cerrado hereda todas las propiedades del espacio X como se muestra en el siguiente lema. compacto.

AN no tiene puntos aislados. compacto. Para ver que A no tiene puntos aislados.13. por el Lema 3. Como AN 6= existe a 2 AN por el Lema 3. (iv ) diametro Ai < " para cada i = 1 2 ::: n: Demostraci n. Al ser AN un conjunto abierto entonces existe r > 0 tal que Br (a) AN : Adem s. En particular. existe y 6= a y 2 AN tal que y 2 Br (a) : Por consiguiente. totalmente disconexo y sin puntos aislados.60 Como A es un subconjunto cerrado de un conjunto compacto entonces A es un compacto. existe r > 0 tal que Br (x) A y r < ": Ya que X no tiene puntos aislados. Ahora. probaremos que esta partici n se puede re nar tanto como queramos.13. no vac o de dicha partici n hereda las propiedades del espacio original. obtenemos que cada subconjunto abierto y ce-rrado. sea " > 0: Como A es abierto. por lo que. AN es totalmente disconexo. Sea " > 0: Por el Lema 3. Sea X un espacio m trico. LEMA 3. totalmente disconexo y sin puntos aislados. (iv ) diametro Ai < " para cada i = 1 2 ::: N: Consideremos al abierto y cerrado AN . dado un " > 0 podemos encontrar una partici n nita de subconjuntos abiertos y cerrados. Si X es un espacio m trico. no vac os y con otras propiedades m s. totalmente disconexo y sin puntos aislados entonces para cada " > 0 existe N 2 N tal que si n N entonces existen A1 A2 ::: An abiertos y cerrados en X tales que (i) X = A1 A2 ::: An : (ii) Ai 6= para i = 1 2 ::: n: (iii) A1 A2 ::: An son ajenos entre s . compacto.15. Por el Lema 3. AN tiene al menos dos elementos. Esto concluye la prueba del lema. existe N 2 N tal que A A ::: AN son abiertos y cerrados en X y adem s (i) X = A A ::: AN : (ii) Ai 6= para i = 1 2 ::: N: (iii) A A ::: AN son ajenos entre s . AN no es 1 2 1 2 1 2 .14. Ahora. no vac o.14. compacto. existe y 2 X tal que y 6= x y y 2 Br (x): Entonces y 2 A \ Br (x) y y 6= x: Por tanto A no tiene puntos aislados. AN es un espacio m trico.

H K = A A ::: AN . X . AN se deduce que K es un conjunto cerrado. totalmente disconexo y sin puntos aislados y dada una " > 0 podemos partir nuestro espacio en tantos subconjuntos abiertos y cerrados ajenos dos a dos como lo necesitemos. existe una disconexi n para AN : Sean H y K abiertos tales que H K = AN H \ K = . no vac o. De igual manera. Pero el conjunto de la derecha es abierto (ya que es la diferencia de un abierto con un conjunto cerrado). As . cerrado y no vac o para cada i 2 f0 1 ::: n . en N + 3 partes. DEFINICION 3. 1 = AN .1 BN = H y BN +1 = K: Como X . BN y BN son ajenos entre s . estos subconjuntos heredan las propiedades del espacio original y su di metro es menor que la " dada. H = X K . Adem s. H 6= y K 6= : De namos B 1 = A1 B 2 = A2 ::: BN . por lo cual. compacto. particion de un espacio X es una familia P = fA A ::: An. K = X H . B B ::: BN . Adem s. etc. Procediendo en forma similar se muestra que X se puede partir en N + 2 partes. g que satisface lo siguiente: (i) Cada Ai es un abierto. Una (n ") .16. Por tanto H es cerrado. Bi 6= para i = 1 2 ::: N N + 1: Calculando diametro Bi = diametro Ai < " para i = 1 2 ::: N . H y K son conjuntos abiertos y cerrados. 1g : 0 2 1 . BN BN = A A ::: AN . AN : Ahora Bi \ AN = para i < N: Calculando Bi \ (H K ) = (Bi \ H ) (Bi \ K ) = entonces Bi \ H = Bi \ K = para i < N: Por tanto. 1 2 +1 1 2 1 +1 1 2 1 1 2 1 1 2 1 +1 Resumiendo para cualquier espacio m trico. 1: Como H AN entonces diametro(H ) diametro AN < ": Similarmente diametro (K ) < ": Por tanto diametro (Bi) < " para i = 1 2 ::: N N + 1: Hasta ahora hemos probado que X se puede partir en N + 1 partes. Demostraremos que X = B B ::: BN BN : Calculando X = B B ::: BN .61 conexo. De manera que X se puede partir en n partes para toda n N: Esto concluye la prueba del lema. AN .

entonces X es homeomorfo a C: La demostraci n de este hecho se basa en hacer particiones adecuadas de X: Empezaremos partiendo X por un n mero de la forma 2n de conjuntos abiertos. compacto. Para cada sucesi n nita n n ::: nm 2 N hacemos J (n n ::: nm ) = f0 1gn f0 1gn ::: f0 1gnm : Observemos que cada f0 1gni tiene 2ni elementos. totalmente disconexo y sin puntos aislados. de donde J (n n ::: nm) tiene 2n 2n ::: 2nm = 2n n ::: nm elementos. totalmente disconexo y sin puntos aislados. no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n1 n2 ::: nm.17. 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1+ 2+ + LEMA 3.1 ) el conjunto A( ) 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm.1 : Demostraci n. particion de X la cual denotaremos por P = fAa : 2 J (n )g (como P y J (n ) tienen 2n elementos. Sea X un espacio m trico compacto (no vac o).15 a " = 1: Entonces existe N 2 N tal que para cada n N hay una (n 1) . Como se ve necesitamos introducir una notaci n apropiada. cerrados. Haremos una construcci n inductiva. no vac o.1 son ajenos entre s . no vac os y de di metro menor que 1: Como segundo paso. no vac os y de di metro menor que : Y seguiremos partiendo y partiendo. ::: n . 1g : Como hemos estado anunciando vamos a mostrar que si X es un espacio m trico. entonces existe una sucesi n de n meros naturales fnm gm2N y una sucesi n de particiones fPm gm2N de X tales que (a) Cada Pm es de la forma Pm = fA : 2 J (n1 ::: nm)g (b) Los elementos de Pm son abiertos.1 (iv ) A0 A1 ::: An. particion de X . (1) Para n = 1: Apliquemos el Lema 3. partiremos cada uno de los miembros de la primera partici n por un n mero de la forma 2n (todos los conjuntos partidos por el mismo n mero de pedazos) de conjuntos abiertos. Sea n 2 N tal que 2n N : Entonces existe una (2n 1) .62 (ii) diametro Ai < " para cada i 2 f0 1 (iii) X = A0 A1 ::: An. podemos numerar a P con los ndices en J (n )): 1 1 1 1 1 1 1 1 1 1 1 1 1 . cerrados. cerrados.

para cada 2 J (n ::: nm ) existe una (2nm m ) .! f0 1g f0 1g f0 1g ::: 1 2 3 ::: de nida por la siguiente correspondencia . Apliquemos el Lema 3. particion Q de A : Como Q tiene 2nm elementos. al igual que f0 1gnm podemos denotar a sus elementos en la forma A donde 2 f0 1gnm : Notemos que a ( ) lo podemos interpretar como a unS elemento de J (n ::: nm ): Finalmente de nimos Pm = fQ : 2 J (n ::: nm)g : Claramente los elementos de Pm son abiertos y cerrados de X son no vac os y tienen di metro menor que m : Para cada 2 J (n ::: nm ) el conjunto A 2 Pm : 2 f0 1gnm es Q y entonces es una partici n de A 2 Pm : S lo nos resta probar que Pm es una partici n de X: Dada x 2 X como Pm es partici n de X existe 2 J (n ::: nm) tal que x 2 A : Y como Q es partici n de S A existe 2 f0 1gnm tal que x 2 A 2 Pm : Esto prueba que X = A : A 2 Pm : Ahora tenemos ( ) 6= ( ) con 2 J (n ::: nm ) y 2 f0 1gnm : Si 6= como A A A A y A \ A = tenemos que A \ A = : Y si = entonces 6= : Ya que Q es una partici n de A tenemos que A \ A = : Esto termina la prueba de que los elementos de Pm son ajenos entre s .18. para cada n N A tiene una (n m ) .63 (2) Supongamos que P P ::: Pm ya han sido construidos. Para cada sucesi n n n ::: en N .14. 1 2 1 2 1 2 1 +1 1 +1 1 2 +1 +1 +1 1 +1 1 1 +1 +1 ( ) +1 1 +1 +1 1 +1 ( ) +1 +1 1 +1 1 +1 1 +1 ( ) +1 ( ) ( ) +1 1 +1 ( ) ( ) ( ) ( ) ( ) ( ) +1 +1 LEMA 3.15 a " = m y al espacio A entonces existe N 2 N tal que. totalmente disconexo y sin puntos aislados. Dada = (a a ::: am) 2 J (n n ::: nm): Por el Lema 3. podemos tomar nm 2 N tal que 2 nm N para toda 2 J (n ::: nm): Entonces. compacto. Sea Z = f0 1gn f0 1gn f0 1gn g : Z . Ya que J (n n ::: nm) es nito. Por tanto Pm es una partici n de X: Esto concluye la construcci n y la prueba del lema. particion. el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio m trico f0 1g f0 1g f0 1g ::: 1 2 1 2 3 Demostraci n. no vac o. A es un espacio m trico.

Ya que n < n + n < n + n + n < ::: existe m 2 N tal que n + n + ::: + nm < n n + n + ::: + nm : Sea a = ((a ::: an ) (a ::: an ) (a ::: an ) :::): Observemos que m n g (a) = n ((a ::: an a ::: an a ::: an :::)) = an. Tomemos pues n 2 N .! f0 1g es continua. por la de nici n de igualdad en el producto. Esto es. (1) 1 (1) 1 ( ) (1) 1 (1) 1 (2) 1 (2) 1 (2) 2 (2) 2 (3) 1 (3) 1 (3) 3 (3) 3 Demostraremos que g es una funci n inyectiva. (a ::: an ) = (b ::: bn ) (a ::: an ) = (b ::: bn ) (a ::: an ) ::: . g es una funci n suprayectiva. donde n : f0 1g f0 1g f0 1g ::: .! f0 1g es la proyecci n natural. Entonces ((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) 2 n n f0 1g f0 1g f0 1gn ::: . 1 2 3 1 1 1 1 +1 2 1+ 2 3 1 + 2 +1 1+ 2+ 3 1 1 1 +1 1+ 2 1 + 2 +1 1+ 2+ 3 1 2 3 Vamos a probar que g es continua. Por tanto g es una funci n inyectiva. n n ::: nm : 1 1 2 1 2 3 (1) 1 (1) 1 (1) 1 (2) 1 (1) (2) 1 1 1 (2) 2 (3) 1 (2) (3) 2 1 2 (3) 3 1 2 +1 (3) 3 ( +1) ( 1+ 2+ + ) . As .64 g((a ::: an ) (a ::: an ) (a ::: an ) :::) = (a ::: an a ::: an a ::: an :::) donde ain 2 f0 1g para toda i n 2 N . (1) 1 (1) 1 (1) 1 (1) 1 (2) 1 (2) 1 (2) 2 (2) 2 (3) 1 (3) 1 (3) 3 (3) 3 (1) 1 (1) 1 (1) 1 (1) 1 (2) 1 (2) 1 (2) 2 (2) 2 (3) 1 (3) 1 (3) 3 (3) 3 (1) 1 (1) 1 (1) 1 (1) 1 (2) 1 (2) 1 (2) 2 (2) 2 (3) 1 (3) 1 (3) 3 (3) 3 (1) 1 (1) 1 ( 1 ) (2) 1 (2) 2 ( 1 ) (3) 1 ( ) (3) 3 ( ) (1) 1 (1) 1 (2) 1 (2) 2 (3) 1 (3) 3 (1) 1 (1) 1 (1) 1 (1) 1 (2) 1 (2) 2 (2) 1 (2) 2 (3) 1 (3) 3 Para mostrar que g es una funci n suprayectiva tomemos un punto arbitrario (a a a :::) 2 f0 1g f0 1g f0 1g ::: . Sean g((a ::: an ) (a ::: an ) (a ::: an ) :::) = (a ::: an a ::: an a ::: an :::) y g((b ::: bn ) (b ::: bn ) (b ::: bn ) :::) = (b ::: bn b ::: bn b ::: bn :::): Supongamos que g((a ::: an ) (a ::: an ) (a ::: an ) :::) = g((b ::: bn ) (b ::: bn ) (b ::: bn ) :::) Esto es equivalente a que (a ::: an a ::: an a ::: an :::) = (b ::: bn b ::: bn b ::: bn :::) m Entonces a m = b m ::: anm i = bni para toda i y m 2 N . Aplicando g: g((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) = (a a a :::): Por lo que. Bastar con que probemos que n g : Z .

! f0 2g1 de nida por la siguiente correspondencia h (a a a :::) = (2a 2a 2a :::) 1 2 3 1 2 3 donde ai 2 f0 1g : Es muy f cil ver que h es una biyecci n continua del espacio m trico y compacto f0 1g f0 1g f0 1g ::: al espacio m trico f0 2g1 : Por Rudin. .18. Teo. Esto concluye la prueba del lema. Teo. Por el Lema 3. el espacio f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio f0 1g f0 1g f0 1g ::: .17] h es un homeomor smo.17] g es un homeomor smo. Sea h : f0 1g f0 1g f0 1g ::: . El espacio m trico f0 1gn 1 f0 1gn 1 2 f0 1gn 2 3 ::: es 3 Demostraci n.esima del punto a y obtener al punto (a m ::: anmm ) 2 f0 1gnm y despu s tomarle la proyecci n n . Por tanto n g es la composici n de dos proyecciones y. +1 ( 1 +1) ( +1) ( +1) 1 2 Hemos obtenido una funci n continua e inyectiva del espacio m trico compacto f0 1gn f0 1gn f0 1gn ::: en el espacio m trico f0 1g f0 1g f0 1g ::: . Esto concluye la prueba del lema. El espacio m1trico f0 1g f0 1g f0 1g ::: es homeomorfo al espacio m trico f0 2g : Demostraci n. Por tanto g es una funci n continua. 4. Por Rudin. 1 2 3 LEMA 3.19. (n + n + ::: + nm ) a este punto. en consecuencia esta funci n es continua. 4.65 De manera que para obtener la funci n n g podemos primero tomar la proyecci n (m+1). homeomorfo a C: LEMA 3.20.

: 1 1 1 ( ) 1 1 1 Tomemos un punto x 2 X: Dada m 2 N . Por tanto el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo a C: Esto concluye la prueba del lema. no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n ::: nm. como Pm es una partici n de X existe un nico elemento = ( ::: m ) 2 J (n ::: nm ) tal que x 2 A : Si tomamos = ( ::: m ) 2 J (n ::: nm ) tal que x 2 A por (c) es de la forma = ( ::: m m ): Por tanto y coinciden en los primeros m terminos.19. TEOREMA 3. mente disconexo y sin puntos aislados. el espacio f0 2g1 es homeomorfo a C: Como sabemos que el homeomor smo es una relaci n de equivalencia en la clase de todos los espacios topol gicos. el espacio f0 1g f0 1g f0 1g ::: es homeomorfo a f0 2g1 : Por el Teorema 2.! f0 1gn 1 f0 1gn 1 2 2 f0 1gn :::) 3 ::: de nida por la siguiente correspondencia f (x) = ( 3 . total- Demostraci n. Sea X un espacio m trico.21.17. existe una sucesi n de numeros naturales fnm gm2N y una sucesi n de particiones fPm gm2N de X tales que (a) Cada Pm es de la forma Pm = fA : 2 J (n ::: nm )g (b) Los elementos de Pm son abiertos. 1 2 3 Estamos listos para demostrar el ltimo resultado de este trabajo. en particular es transitiva. Por el Lema 3. entonces es homeomorfo al conjunto de Cantor. compacto.9. ) el conjunto A 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm. no vac o.66 Por el Lema 3. cerrados. Sea 1 +1 1 +1 1 +1 f : X .

no vac os. tenemos una sucesi n decreciente de conjuntos compactos. Supongamos que p 2 A ::: M : Dada q 2 1 2 ( 1 ) . Sean f (p) = ( ( 1 2 3 :::) y f (q) = ( :::) = ( 1 2 3 :::): Supongamos que f (p) = f (q): Esto es equivalente a que 1 2 3 1 2 3 :::) 1 Entonces m = m para toda m 2 N . no depende de cual m 2 se tome. ( 1 ) 1 2 3 Demostraremos que f es una funci n inyectiva. Por Rudin. p q 2 A m con m 2 J (n ::: nm ) para toda m 2 N . Es decir d(p q ) < diametro(A m ) < m para toda m 2 N . 1 Para mostrar que f es una funci n suprayectiva tomemos un punto arbitrario ( :::) 2 f0 1gn f0 1gn f0 1gn ::: . Por tanto f es una funci n bien de nida. Sean p 2 X " > 0 y M 2 N tales que M < ". 1 2 3 Demostraremos que f es una funci n continua.17. f es inyectiva.67 donde para cada m 2 N . Por la parte (c) del Lema 3. se obtiene 1 2 3 1 2 3 A ( 1 ::: m+1 ) A ( 1 ::: m ) para toda m 2 N . d(p q) = 0: Esto es equivalente a p = q: As .36] se obtiene que 1 \ m=1 A ( 1 6 ::: m ) = :::) Si tomamos un punto r en esta intersecci n. no depende de cual m 2 N se tome. Por consiguiente. no depende de cual m 3 se tome. entonces f (r ) = ( Por lo que f es suprayectiva. Por tanto. etc. x 2 A ::: m : Por la observaci n que hicimos hace dos p rrafos.2. Teo. Es decir.

mj = 2m 1 X m=M +1 j m . se obtiene que X es homeomorfo a C: Esto concluye la prueba del teorema. mj 2m 2M +1 1 = M +1 2 1 1 + M +2 + M +3 + ::: 2 2 1 1 1 1 1 + + 2 + ::: = M +1 (2) = M 2 2 2 2 ( 1 ) < ": Por tanto d(f (p) f (q)) < " para toda q en el abierto A ::: M : Por tanto f es continua. Por Rudin. Por el Lema 3. 4. Teo. As que f (p) y f (q) son de la forma f (p) = ( ::: M M :::) y f (q) = ( ::: M M :::): Entonces ( 1 ) 1 +1 1 +1 d(f (p) f (q)) = 1 X m=1 1 j m .17] f es un homeomor smo. Hemos obtenido una funci n continua e inyectiva del espacio m trico compacto X en el espacio m trico f0 1gn f0 1gn f0 1gn ::: .68 A ::: M : Entonces f (p) y f (q) coinciden en las primeras M coordenadas. 1 2 3 .20.

1976.69 Referencia 1]Walter Rudin. Marcel Dekker. 23. 2] Stephen Willard. 1980. Chandler. Hausdor Compacti cations. Principios de An lisis Matem tico. Mcgraw-Hill. 3] Richard E. 1970. General Topology. . Inc. Addison-Wesley.

Sign up to vote on this title
UsefulNot useful