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.

a cada intervalo que compone 1 1 1 1 . desarrollamos algunas de sus propiedades. En otras palabras.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 . es decir quitamos a : Sea el conjunto C la uni n de los intervalos restantes. 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. En este cap tulo vamos a empezar recordando esta construcci n geom trica pero vamos a hacer algo m s. CONSTRUCCION GEOMETRICA DEL CONJUNTO DE CANTOR. De esta manera obtenemos los siguientes intervalos. consiste en quitar el subintervalo abierto intermedio. a partir de ella.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. o sea C = 0 1 : El segundo paso consiste en repetir el mismo proceso a cada uno de los intervalos que componen a C . Dividimos este intervalo en tres subintervalos iguales. Tomamos el intervalo unitario 0 1] de la recta real. 0 1 3 . probar sus propiedades formalmente. de esta manera. Usualmente se nos presenta su construcci n geom trica y.

En general. Finalmente el Conjunto de Cantor. que durante todo este trabajo se le 1 2 3 4 . 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.C .2 a C lo dividimos en tres partes iguales gener ndose los siguientes subintervalos: 1 0 1 9 . Es decir. se dividen en tres partes todos los intervalos que componen a C y se quitan los intermedios.C y C . para obtener a C . Figura 1.7 9 8 9 8 9 1 Quitamos ahora los . Es decir a C le . es decir. Cm se construye dividiendo en tres partes iguales a los intervalos que componen a Cm y borrando los intervalos abiertos intermedios. Ilustraci n de la construcci n de C . subintervalos abiertos intermedios. Sea C el conjunto que nos queda. y . se de ne como la intersecci n de todos los conjuntos Cm. 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 . 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. Es decir. 4 3 +1 denotar por la letra C . Repetimos el proceso.1 9 2 9 2 9 3 9 y 6 9 7 9 .

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

a m = 2 2 3m para cada m 2 N : Demostraci n. podemos expresar la construcci n as : dada j 2 N .5. Por ejemplo si j = 10 entonces en notaci n binaria. Por de nici n aj = 2b 3 + 2b 3 + ::: + 2bm 3m: Por el lema 1. 20 + b1 21 + ::: + bm 2m . esto es: TEOREMA 1. 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. 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.4 donde bm = 1 y bi 2 f0 1g : De nimos aj = 2b 0 30 + 2b1 3 + ::: + 2bm 3m : En otras palabras. 0 0 1 1 0 0 1 1 0 20 1 2 2 0 0 1 1 Demostraci n. Sea j 2 N jo pero arbitrario y.4. Entonces aj = a(b0 20 +b1 21 +:::+bm 2m ) = b0 a20 + b1 a21 + ::: + bm 0 j=b am 2 notaci n binaria. Sea j 2 N : Expresamos a j en su notaci n binaria.4. lo expresamos en su . 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. b a + b a + ::: + bm a m = 2b 3 + 2b 3 + ::: + 2bm 3m: As . esto es: j = b 2 + b 2 + ::: + bm 2m: (estamos suponiendo que bm = 1).

EJEMPLO. 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. A manera de ilustraci n. 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.

6. 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: . Si j es un n mero natural par.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. aj + 1 < aj para cada j 2 N : +1 ci n binaria es cero y entonces j se representa as : Demostraci n.

+1 3i+1 : Y claramente LEMA 1. De manera que aj = 2 + aj y entonces aj > 1 + aj : En el caso de que j es impar. la escritura en notaci n binaria de j tiene un uno en la cifra de las unidades.7 aj = 1 2 3 + 2b 3 + ::: + 2bm 3m: Observemos que aj y aj s lo di eren en el primer sumando. Esto concluye la prueba. 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 ). Sea 3aj = a2j : . 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. Para toda j 2 N Demostraci n.7. que en aj es 0 y en aj es 2. 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.

Para cada j 2 N Demostraci n. 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.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.8.1 j =0 aj aj + 1 : 3m 3m . La forma anal tica para cada Bm con m 2 N es : Bm = 2 m . Provisionalmente los llamaremos Bm: DEFINICION 1.9.

8 tenemos lo siguiente: .10. Bm = Cm: TEOREMA 1.1 j =0 3m aj aj + 1 3m 3 0 a a .1 j =0 3aj 3aj + 1 3m+1 3m+1 3aj + 2 3aj + 3 3m+1 3m+1 : Aplicando el Lema 1. Es decir. Para toda m 2 N Bm = Cm : Demostraci n. De acuerdo con la construcci n geom trica. 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.9 donde aj es como en la construcci n 1:3: EJEMPLO. a m.7 y el Lema 1. esto es: +1 Cm 2 +1 = m . 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. supongamos que 1 1 Cm = 2 m . Haremos esta demostraci n por inducci n matem tica. ::: a m Del Lema 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. 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 .

1 j =0 aj aj + 1 = B : m+1 m 3 +1 3m+1 Por consiguiente.1 am 2 3m+1 3m+1 a 3 a 3 +1 ::: 3m+1 +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 .2 am 2 3m+1 3m+1 a 1 a 1 +1 3m+1 +1 . En efecto. Aplic ndole la funci n tenemos: . ya tenemos derecho a escribir: Cm = 2 m .10 2 +1 Cm = = m . hemos demostrado que la construcci n geom trica y la construcci n anal tica de Cm coinciden para toda m 2 N .1) + 1 3m+1 a 2 0+1 a 2 0+1 a 3m+1 2(2 +1 3m+1 m . 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.11.9.1 + 1 2 +1 = .1 = 2m . OBSERVACION 1.1)+1 3m+1 a2(2m .1 j =0 aj aj + 1 : 3m 3m Si al leer la De nici n 1.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 . como 20 + 21 + 22 + ::: + 2m.2 + 1 m am 2 3m+1 3m+1 +1 a 2 a 2 +1 3m+1 . Por lo cual.1) 3m+1 a2(2m .

6 los intervalos de Cm son ajenos entre s y. 1g : Por el Lema 1.1 ) = 3m .11 a m. gitud de 3m 1 +1 = 3m . Los intervalos que componen a Cm tienen lon1 3 m: Demostraci n. 1: a m. 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.1 = 2 (30 + 31 + 32 + ::: + 3m.1 j =0 aj aj + 1 : 3m 3m 1 3 Por la Proposici n 1. 1 + 1 3m = = 1: 3m 3m PROPOSICION 1. Varias de ellas son muy claras de la construcci n geom trica.13.simo intervalo tiene longitud igual a l ak ak + 1 = ak + 1 .12 los intervalos que componen a Cm tienen longitud de m : Entonces la suma total de las longitudes es igual a: . .1 j =0 aj aj + 1 : 3m 3m +1 Sea k 2 f0 1 ::: 2m . ak = 1 : 3m 3m 3m 3m 3m que componen a Cm es igual a PROPOSICION 1. Ya sabemos que Cm = 2 m .12. 2 1 = 1 2 30 + 1 2 31 + 1 2 32 + ::: + 1 2 3m. es decir: Cm = 2 m . el k. Sea m 2 N y su correspondiente Cm. La m suma de las longitudes de los intervalos 2 3 : 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.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. 1g tal que ak ak x2 m : Aplicando el Lema 1. por hip tesis 3m+1 +1 ak x ak + 1 : 3m+1 PRIMER CASO.1 j =0 : Dada x 2 Cm entonces existe k 2 f0 1 ::: 2m . 2 entonces 0 i 2m . 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 . Cm +1 Cm para cada m 2 N : aj aj + 1 m 3 +1 3m+1 +1 Demostraci n. Sabemos que Cm +1 +1 2 +1 +1 m = .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 .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 : .

1 entonces 3 ak m 2 Cn y ak +1 3 m 2 Cn para Demostraci n. LEMA 1. Cm.14 Cm Cm.7) . 1 0 Entonces 0 i 2m . Si cada n 2 N : esto es: 0 k 2m . 1g : 3m Los extremos que corresponden a k. 1: Por el Lema 1. 1: forma k = 2 i + 1: Como 1 k 2 . 1 2 1 1 2 ::: As . Dada m 2 N consideremos a su correspondiente Cm Cm = 2 m . los extremos izquierdo y derecho son elementos de Cm.simo 3m ak ak + 1 2 C Cm. por lo anterior. k .6. Si k es un n mero natural impar entonces k es de la m .15. m Por la Proposici n 1.1 j =0 aj aj + 1 : 3m 3m Sea k 2 f0 intervalo son 1 2 ::: 2m . Sabemos que (Lema 1. 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. m = 2m .13 SEGUNDO CASO. ::: C : Ahora veremos que estos extremos tambi n est n en los Cn siguientes.

15. existe k 2 0 1 ::: 2N . y j < " y y 2 C: . 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. yj ak + 1 . x 2 C entonces x 2 Cm para cada m 2 N : En particular. k ak x 2 CN por lo cual.1 3 1 3 tal Demostraci n. 1 entonces 0 2k + 1 2m . . Entonces akm tambi n es un extremo para Cm Cm Cm ::: Esto termina la prueba del lema. +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 .8. PROPOSICION 1. por el Lema 1. aN N N N que y = 6 x: Entonces +1 3 +1 3 3 +1 3 3 3 jx . 1 y as sucesivamente. +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. ak 3n = N 3n 3 1 < ": Esto termina la prueba de la proposici n. 1: De aqu que 0 2 (2k + 1) + 1 2m .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. Entonces ak es un extremo para C m m Cm Cm ::: Por otra parte. Sea " > 0: Si x 2 C entonces existe y 6= x que jx .16. Sea " > 0: Como m ! 0 cuando m ! 1 existe N 2 N tal que N < ": Por hip tesis.

1 < 2n Por tanto. r < n: Completando con ceros.1 2n.1 ak = 2b 0 30 + 2b1 31 + 2b2 32 + ::: + 2bn.17. TEOREMA 1. si hace falta. 1.1 3n.15 A continuaci n daremos una caracterizaci n de los elementos del conjunto de Cantor. escribimos al n mero natural k como lo siguiente: k=b Calculando ak 0 20 + b1 21 + b2 22 + ::: + bn.1 . 1g tal que k ak x 2 an n : Escribimos al n mero natural k en notaci n binaria. ()) : 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 . 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 . 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. por transitividad se obtiene 2r 2n . 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.

recordando la construcci n geom trica para C (ya vimos en el Teorema 1.1 3n . n ( +1) 1 = 2b1 enn. ( ) ( ) ( ) 1 = 2b1 enn.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.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. n ( +1) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn. 3 De nimos 0 1 2 1 1 2 enn ( ) = 2b0 enn. (*) 3n 3n 3n.1 : De modo que enn ( +1) = en ( ) enn. 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. 3n Entonces. As ak = 2b + 2b + 2b + ::: + 2bn. n no depende de n: AFIRMACION. 3n. em En efecto. ( ) 2 = 2b2 ::: e n ( ) 1 = 2bn.16 (n tese que los ceros que pudimos haber a adido no afecta a la de nici n de ak ). 3 +1 ( +1) 1 = en.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.

m = x . 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= . m=1 3 n X em m <" 3 Sea k 2 f0 0 1 2 ::: 2n . 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) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn.17 Entonces enn ( +1) +1 =2 enn ( +1) = 2b0 enn.1 ( ) ( +1) n ::: e n ( +1) 1 = e1 n : n =en Por tanto. 1g tal que x 2 n (n) X em ak ak +1 n 3 n por ( ) tenemos que: 1 3n 1 3N x. en los dos casos em para toda m 2 f1 2 ::: ng : m n n n Similarmente. ( +1) 1 = 2b1 enn.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.1 : De modo que enn ( ) ( +1) n) = e( n enn. ( +1) 1 ( ) = en.

1 = 2n . 1g tal que x 2 an n Sea n 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 en en. bi 2 f0 1g para i = 0 2 1 1 2 n. 1: 20 +21 + ::: +2n. 1g : Adem s. Vamos a proponer los coe cientes de la notaci n binaria del n mero j como: b = en b = en.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 .1 1 1 ::: n . 1g : En efecto. Por consiguiente j 2 f0 1 ::: 2n . j 2 f0 1 ::: 2n .1 1 X em m=1 2b0 30 + :::: + 2bn. 1: Probaremos que.1 e1 = = n + n. 1: De modo que j = b 2 +b 2 +:::+bn. ::: b = e : +1 3 3 0 T Es claro que. sabemos em para cada m 2 N : Entonces 1 bm 0 2m 0 1 2m 1 para m = 0 1 ::: n .1 2n. por hip tesis.1 3n. si 2 j=b 0 20 + b1 21 + ::: + bn. 2n.

concluimos. x 2 C: Esto termina la prueba del teorema. 3n aj x 2 aj + 1 3n n . 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.19 es decir. . x 2 Cn para cada n 2 N : Por consiguiente.1 Por tanto.

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

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. 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) .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. 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: .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 .

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

Para n = 1 se tiene que probar lo siguiente: Si 1 X em m=1 . 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.15. Supongamos que 1 X em m=1 1 1 1 . Si 1 X em . Por la Proposici n 2.8. LEMA 2. gm < 1 3m 3 . e 6= g : 3m 3 1 1 1 1 1 Como e y g pueden ser cero o dos. C es un conjunto no vac o. Demostraci n.5. Esta prueba se realizar por inducci n matem tica. Tambi n podemos recordar que 0 es un extremo de C y que como vimos en el Lema 1. C es un conjunto cerrado y por la Proposici n 1. 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. por ejemplo que e = 2 y g =2 =0 y g = 0) o (e calculando 1 1 =0 e . adem s. gm e .7. 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. 1 PROPOSICION 2.16.6. entonces (e y g = 2): Supongamos. C es denso en s mismo.g .g 1 1 3 + 1 X em m=2 . gm < 1 entonces e 3m 3 1 = g1 : Lo haremos por reducci n al absurdo.25 TEOREMA 2. gm < 1 y. C es perfecto.

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

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

n es el primer sub ndice donde son distintas.1 3n+1 3n+2 e2 + ::: + en.1 + 2 + gn+1 + gn+2 + ::: 32 3n.1 3n 3n+1 3n+2 g2 + ::: + gn.28 ' : C .1 + 2 1 + 1 + 2 + ::: 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 + 1 32 3n.1 3n 3n+1 3n+2 2 2 e .17.1 3n+1 2 e2 + ::: + en. 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. 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.1 3n+1 3 32 e2 + ::: + en.1 + gn + gn+1 + gn+2 + ::: = x 32 3n.! f0 2g f0 2g f0 2g ::: De nida de la siguiente forma. Dada x 2 C por el Teorema 1.1 + 2 3 32 3n. Para esto tenemos que ver que la representaci n de cada x como una serie de ese tipo es nica.1 3n e2 + ::: + en.

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

como 1 X em m=1 3m . la m trica dn para el conjunto f0 2g es la m trica discreta. es decir: dn(p q) = : Es claro.17] ' es un homeomor smo. 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. gm 1 = j x .qj 2 0 si p 6= q si p = q d('(x) '(x )) 1 = = je . De acuerdo con Rudin.43] como C es perfecto. Teo. En realidad.30 Por el Lema 2. gM j + ::: 2 2 2M 2M jeM . Teo. 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. 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 ::: . g j + ::: + jeM .8. gM j + jeM . Esto concluye la prueba del teorema. 2. gM j + jeM . x1 j < M 3 entonces e 1 = g1 e 2 = g2 ::: eM = gM : Adem s. A partir de este momento denotamos a f0 2g f0 2g f0 2g ::: por f0 2g1 : . se tiene que C es no numerable. 4. que dn Calculando 1: 8 < jp. 1 Por el teorema Rudin. g j + je .

. Entonces tambi n estamos suponiendo que f0 2g1 es numerable. para toda n 2 N . supongamos que C es numerable.10. Haremos esta demostraci n por reducci n al absurdo.9. Demostraci n. Esto es. (e1 e e e ::: en :::) 6= (e n e n e n e n ::: enn :::) 2 3 4 . C es no numerable. Por el Teorema 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 . . 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 . C y f0 2g1 tienen la misma cardinalidad. 2 3 4 ( ) 1 ( ) 2 ( ) 3 ( ) 4 ( ) Notemos que.31 TEOREMA 2.

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

Tenemos que probar que las componentes conexas del A como la uni n de dos conjuntos abiertos (en A) ajenos y no vac os. Esto contradice la conexidad de A y termina la prueba del teorema. 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.12. Cn) : Entonces q 2 Br (p) (x y) C Cn y q 2 R . existe q 2 Br (p) \ (R . Cn: 1 23 Este absurdo muestra que el lema es cierto. C es un conjunto totalmente disconexo.1 z) \ A y y 2 (z 1) \ A: Entonces hemos escrito a ((z A = ((. 1) \ A) : Notemos que x 2 (. Supongamos que una componente no es un punto y la llamamos A es decir. TEOREMA 2.13.1 z) \ A) . 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. vamos a suponer que A es un conjunto conexo.33 Demostraci n. conjunto de Cantor son sus puntos. A C y que existen x y 2 A tales que x < y: Por el Lema 2.11. existe z 2 R .

34 .

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

Sea f : C C . C es homeomorfo a C C: La prueba para toda n 2 N se har por inducci n matem tica.36 Demostraci n. 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. As . f es una funci n inyectiva. 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. (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. Primero se demostrar para n = 2: Esto es. 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 .! 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. por la de nici n de igualdad en el producto.

Teo.37 Por lo que. n (f ((a a a :::) (b b b :::))) = b n = bn : De manera que n ' = n. Teo. 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). 4. f es una funci n suprayectiva. De acuerdo con Willard.17] f es un homeomor smo. Esto termina la prueba de que C es homeomorfo a C C: Para hacer el paso inductivo. 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. f es una funci n continua. Para hacerlo m s expl cito. = an : De igual manera: n (' ((a a a :::) (b b b :::))) = n ((b b b :::)) = bn : Por otra parte. suponemos que C C ::: C es homeomorfo a C: n. (f ((a a a :::) (b b b :::))) = a n. podemos concluir que n f es continua para toda n 2 N : Por tanto.veces . 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. f y n ' = n f: Como ' ' y n son continuas. Vamos a demostrar que f es una funci n continua. n f es continua para cada n 2 N : Sea n 2 N . y adem s tenemos una funci n f continua e inyectiva de un espacio m trico compacto sobre C: De acuerdo con Rudin. 8.8] esto es equivalente a probar que.

2 El conjunto de Cantor es homeomorfo a un proDemostraci n. +1 ducto numerable de copias de l. C es homeomorfo a C C C ::: . el producto de la derecha es homeomorfo a C C el cual vimos que es homeomorfo a C: Por tanto. PROPOSICION 3. recordemos que N N es un conjunto numerable.veces ::: C tambi n es homeomorfo a C: Esto completa la inducci n y la prueba de la Proposici n 3.1.38 Como C nC . Esto es.veces ::: C es homeomorfo a (C C ::: C ) C +1 n. denotaremos con a una funci n biyectiva de N en N N ( : N . C nC . Para esto.! 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.! N N ) . por lo que. Como se mencion al inicio de este cap tulo. Sea f : C C C ::: . vamos a demostrar que C es homeomorfo a un producto numerable de copias de l.veces por hip tesis de inducci 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 .

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

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 . f es una funci n continua. Como C C C ::: es un espacio m trico compacto (ya que.! N N . Como : N .17 de Rudin] f es un homeomor smo.40 Esta f rmula nos muestra que n f es pr cticamente una proyecci n.3. la evaluaremos en algunos puntos y bosquejaremos su gr ca. Como dijimos en la introducci n de este cap tulo. 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. La prueba de sus propiedades est en la Proposici n 3. el producto de conjuntos compactos es un conjunto compacto).! 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 . entonces f es una funci n continua e inyectiva de un espacio m trico compacto sobre C: Por el Teorema 4. Para familiarizarnos con ella. 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 . Por tanto. Esto concluye la prueba de la Proposici n. 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. Consideremos la funci n g : C .

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.

Y por consiguiente.3. Para mostrar que g es una funci n suprayectiva tomemos un n mero cualquiera entre 0 y 1 es decir. 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.! 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. 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. sea y 2 0 1] : Consideremos su presentaci n binaria. PROPOSICION 3. Sea de nida por la f rmula g : C . es decir: n+1 n=1 2 1 1 1 + 2 + 3 + ::: 2 2 2 . demostraremos en la Proposici n siguiente que g es una fuci n continua y suprayectiva.

tenemos que C es homeomorfo .2. X bn n n 2 2 +1 an . g ((b b b :::))j 1 2 3 1 2 3 = 1 X 1 X n=1 1 an . bn j 2n+1 = 1 X an 2n+1 . Ya estamos en condiciones de poder de nir una funci n continua y suprayectiva del conjunto de Cantor al cubo de Hilbert. C en PROPOSICION 3. bn = ": Esto es. g es una funci n continua en C: Esto concluye la prueba de la proposici n. jg ((a a a :::)) .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. Por la Proposici n 3. g ((b b b :::))j < ": 1 2 3 1 2 3 Por tanto. Existe una funci n continua y suprayectiva de 0 1] 0 1] 0 1] ::: a C C C ::: .4. El espacio m trico y compacto 0 1] 0 1] 0 1] ::: se le llama el cubo de Hilbert. 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 . Sea " > 0. Sea Demostraci n. 2 3 Demostraremos que g es una funci n continua. 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 :::)) .

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

Todo espacio m trico compacto X contiene un sub- TEOREMA 3. 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. Es decir.5. Todo espacio m trico compacto X . Por el Teorema 3.7 podemos suponer que d(p q) 1 para cualesquiera p q 2 X: Por el Teorema 3.6.8. 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. Sea X un espacio m trico y compacto. 1 1 1 1 1 se puede encajar en el cubo de Hilbert. Entonces X Demostraci n. que d es una m trica para X adem s. se le puede dar d (p q) 1 una m trica d1 tal que 1 para toda p q 2 X Demostraci n. nito.5 existe un conjunto denso y numerable D = fa a a :::g en X: Sea h : X . Por el 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 . Todo espacio m trico compacto X .! 0 1] 0 1] 0 1] ::: TEOREMA 3.46 conjunto denso y numerable. existe una funci n inyectiva y continua h : X . tiene diametro TEOREMA 3.7.6. TEOREMA 3.

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. d(x x ) d(y x): 0 0 Entonces jH (x) .8] necesitamos comprobar que n h es continua para toda n 2 N . Demostraremos que h es inyectiva. H (y)j d(x y) De aqu se sigue que H es continua. supongamos que h(p) = h(q) y. n h es continua para toda n 2 N . Por tanto.47 En primer lugar. Esta prueba se realizar por reducci n al absurdo.! R de nida por H (x) = d(x x ) 0 como d(x x ) d(x y) + d(y x ) entonces d(x x ) . adem s que. 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 . habremos terminado. mostraremos la continuidad de la funci n h: De acuerdo con Willard. esto es. p 6= q: Como p 6= q el n mero c = d(p q) es positivo. d(y x ) d(x y): Similarmente 0 0 0 0 d(y x ) . 8. Sea n 2 N . de donde h es una funci n continua. Teo. Sea H : X .

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

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. 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. 3 2 Ahora mostraremos que f es inyectiva. 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. 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. 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.

1 4 4 1 am. 3 2 3 3 3 3 1 1 2 2 + m+1 4m. am = 2 y bm = 0 la demostraci n de que f (x) 6= f (y) es similar. Para mostrar que f es suprayectiva. . f (x) 6= f (y): En el caso. Demostraremos que f es una n continua.1 4 + m+1 4m. yj < entonces 1 4 1 4 1 3 1 3 n=1 3 2 3 n=1 4 32 23 n=1 4 . f (x) < f (y): Por tanto. f es una funci n suprayectiva.1 4 + m 4m.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. la . 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 . 1 3 n n=1 4 n n n=1 3 Por tanto. Por tanto f es inyectiva.1 4 + m 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.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. am. Sea y 2 D esto es. f es una funci n biyectiva. am. Por consiguiente. am.

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

a: Como a < c existe m 2 N tal que dm 6= fm y adem s es la primera m en donde son diferentes. dm 6= fm entonces dm < fm o dm > fm : Probaremos que el caso fm < dm no es posible. 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 + 3 + 3 + ::: 42 4m.10.1 + 3 + dm+1 + dm+2 + ::: = a: 42 4m. No existen a b c 2 D tales que a < b < c y c .1 + 3 4 42 4m.1 4m d2 + ::: + dm.1 + 3 42 4m.1 + 1 42 4m.1 + 3 1 + 1 + 1 + ::: 42 4m. a: Demostraci n. 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 4m+1 4m+2 f2 + ::: + fm.1 4m+1 4 42 f2 + ::: + fm. Esta prueba se realizar por reducci n al absurdo.1 4m+1 3 f2 + ::: + fm. Sabemos que. b = b .1 4m d2 + ::: + dm. 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 4m+1 4m+2 2 2 Es decir. Por tanto. c < a lo cual es un absurdo.52 LEMA 3. b = b .

4 1 = f .a < c. = em. 4 3 = m. 1 y m era el primer natural donde dm 6= fm: Con esta contradicci n hemos probado que d = e = f ::: dm. = fm.b lo cual es un absurdo. dm +1 + em . 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 .e 2 2 4m+1 4m+1 3 .b: 4 3 = m.em+i = 4m+i . = fm. dm +1 41 + e .d 2 2 42 4m+1 3 = m+1 4 3 4m+1 +1 + em . : Supongamos que esto no ocurre. : Para completar la prueba del lema.53 Ahora mostraremos que d = e = f ::: dm. 4m 4 3 1+ 1 2 = 4m 4m 1 1 + 2 + ::: 4 4 +1 . b. 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. 4 3 = m. por hip tesis b.e 1 1 + 3 3 f . em+1 + + ::: 4m 4m+1 3 3 = m 4 3 .0 + 4m +2 em . ::: +2 +3 4 2 + ::: + 3 .a = = e . dm +2 + ::: + 4m+2 0.a = c.m 4 3 + i c. 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. 4m . 0 fm+1 . Ya que. Sea r el primer natural tal que dr 6= er entonces r m . 4m . = em.b Es decir.d 1 1 em . Se tiene fm+i . analizando el caso extremo en que para toda i = 1 2 ::: .

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

como y 2 x . bxj : Esto tambi n es absurdo por el Lema 3. r x + r \ D: Para hacer esto. 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. axj jx .10. aj para toda a 2 A: Tomemos pues una a 2 A: Por la de nici n de y ax tenemos que = jx . : Entonces z < x < ax y jax . axj = jx . aj : a 2 Ag : Es decir k(x) es el punto m s cercano a x: En la prueba del Teorema 3. a z: 2 2 2 2 2 2 2 2 . r < y < x + r < r + = ax). Pensando al punto jo como x la funci n distancia a x es continua.y r < entonces z = x .55 k : D . axj = m{n fjx . 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. 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 .10. r z + r ) \ D = y r < : . 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 . Con esta contradicci n probamos que ax es nica y entonces k est bien de nida. Vamos a ver que esto no ocurre. < x . Por una raz n similar no puede ocurrir que x bx : Entonces ax < x < bx y jx . Ya que A es un cerrado dentro de un compacto. ax j jy . r x + r . Sea y 2 x . x: Hacemos z = x . Sea = ax . 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.! A de nida por la siguiente correspondencia k(x) = ax donde jx . r x + r \ D (N tese x . xj = jx . aj : Entonces a x . Vamos a mostrar que k ( y ) = a para toda y 2 x . bxj lo cual es absurdo. nicamente tenemos que ver que jy .8 vimos que la funci n que consiste de tomar la distancia a un punto jo es continua. axj < jx . que. axj = jx . aj : a 2 Ag : Podemos suponer que ax < bx: Si x ax < bx entonces jx . o x + a: Es decir a z o ax a: Caso 1. zj : Por el Lema 3. bxj = m{n fjx .

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

! 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. De acuerdo con el Teorema 3. (f (k(p))): Esto nos dice que est bien de nida. Esto concluye la prueba del teorema.13.1 (q ) = x: Por tanto.1 (f (k (c))) = h. (h(X )): Claramente B es un subconjunto cerrado y no vac o de C . el conjunto de Cantor es un espacio m trico. LEMA 3. f k : C . 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. Sea X un espacio m trico. estas propiedades caracterizan al conjunto de Cantor.11 existe una funci n continua k : C . no vac o y totalmente disconexo. Como vimos en el cap tulo 2.57 Sea B = f . 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 . A1 A2 ::: AN son ajenos entre s y diametro Ai < " para cada i = 1 2 ::: N: . perfecto. no vac o.1 (f (c)) = h. compacto. es una funci n suprayectiva.! X: es una funci n continua ya que es la composici n de funciones continuas. (h(X )) = B: As que k(c) = c: Entonces 1 1 1 1 1 (c) = h. Dada p 2 C k(p) 2 B = f . (h(X )): As que f (k(p)) 2 h(X ): Por lo que tiene sentido aplicar h. compacto. 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 .

1 j =1 ! Bj = Bi \ i. (ii) X = B B ::: BN (iii) Ning n Bi sobra. Sea " > 0: Primero vamos a ver que la familia Demostraci n.1 j =1 Bj !c = Bi \ i . 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). Lema 6. 2 N . 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 . La prueba de este resultado se puede encontrar en Chandler.31] : Entonces podemos suponer que X tiene una base de conjuntos abiertos y cerrados. por supuesto) de X: En efecto.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 . Para probar este lema necesitamos hacer uso del teo- U = fB 2 : diametro(B ) < "g es una cubierta (abierta. B1 A 3 = B3 .1 j =1 Bj : Por la condici n (iii) cada Ai 6= : Ya que Ai = Bi . i.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. (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 .

Sea A X un subconjunto abierto.59 tenemos que Ai es una intersecci n nita de abiertos y tambi n de cerrados (cada Bj es abierto y cerrado). es claro que los subconjuntos de espacios totalmente disconexos son totalmente disconexos. Sea X un espacio m trico. totalmente disconexo y sin puntos aislados. Adem s.1 j =1 1 Bj de modo que Ak \Ai 2 1 2 i. Para ver que si k < i entonces Ak \ Ai = observemos que Ak Bk i.14. totalmente disconexo y sin puntos aislados. 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. si X es un espacio m trico.1 j =1 Bj : 1 2 De manera que x 2 Ai: Por tanto X = A A ::: AN : Finalmente. por lo cual. es un espacio m trico. LEMA 3. entonces A es un espacio m trico. Cualquier subconjunto no vac o de un espacio m trico . 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. 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.1 j =1 !! Bj = : Por tanto A A ::: AN son ajenos entre s . como Ai Bi y diametro(Bi) < " tenemos que diametro(Ai ) < " para toda i 2 f1 2 ::: N g : Esto concluye la prueba del lema. De manera que Ai es abierto y cerrado. compacto. Hemos visto en el lema anterior que. cerrado y no vac o. compacto. ! i. compacto.1 j =1 Bj \ Bi . Demostraci n. A es totalmente disconexo.

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

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

1 ) el conjunto A( ) 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm. totalmente disconexo y sin puntos aislados. 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. 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1+ 2+ + LEMA 3. no vac os y de di metro menor que : Y seguiremos partiendo y partiendo.62 (ii) diametro Ai < " para cada i 2 f0 1 (iii) X = A0 A1 ::: An. ::: n . 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. particion de X . Sea n 2 N tal que 2n N : Entonces existe una (2n 1) . podemos numerar a P con los ndices en J (n )): 1 1 1 1 1 1 1 1 1 1 1 1 1 .1 (iv ) A0 A1 ::: An. Como se ve necesitamos introducir una notaci n apropiada. no vac os y de di metro menor que 1: Como segundo paso. Sea X un espacio m trico compacto (no vac o). cerrados.1 son ajenos entre s .1 : Demostraci n. totalmente disconexo y sin puntos aislados. particion de X la cual denotaremos por P = fAa : 2 J (n )g (como P y J (n ) tienen 2n elementos. 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. 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. no vac o.17. (1) Para n = 1: Apliquemos el Lema 3. cerrados.15 a " = 1: Entonces existe N 2 N tal que para cada n N hay una (n 1) . Haremos una construcci n inductiva. compacto. 1g : Como hemos estado anunciando vamos a mostrar que si X es un espacio m trico. cerrados. no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n1 n2 ::: nm. de donde J (n n ::: nm) tiene 2n 2n ::: 2nm = 2n n ::: nm 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 . para cada 2 J (n ::: nm ) existe una (2nm m ) . A es un espacio m trico. particion. Dada = (a a ::: am) 2 J (n n ::: nm): Por el Lema 3.18. Para cada sucesi n n n ::: en N . 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.63 (2) Supongamos que P P ::: Pm ya han sido construidos. Ya que J (n n ::: nm) es nito. Apliquemos el Lema 3.14.15 a " = m y al espacio A entonces existe N 2 N tal que.! f0 1g f0 1g f0 1g ::: 1 2 3 ::: de nida por la siguiente correspondencia . 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. compacto. para cada n N A tiene una (n m ) . Por tanto Pm es una partici n de X: Esto concluye la construcci n y la prueba del lema. Sea Z = f0 1gn f0 1gn f0 1gn g : Z . totalmente disconexo y sin puntos aislados. podemos tomar nm 2 N tal que 2 nm N para toda 2 J (n ::: nm): Entonces. particion Q de A : Como Q tiene 2nm elementos. no vac o.

Tomemos pues n 2 N . donde n : f0 1g f0 1g f0 1g ::: . 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+ + ) . 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 .! f0 1g es la proyecci n natural. (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 ::: . 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 la de nici n de igualdad en el producto. Por tanto g es una funci n inyectiva. Esto es. Aplicando g: g((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) = (a a a :::): Por lo que. g es una funci n suprayectiva. Bastar con que probemos que n g : Z . (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. 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. (a ::: an ) = (b ::: bn ) (a ::: an ) = (b ::: bn ) (a ::: an ) ::: .! f0 1g es continua. 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 . Entonces ((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) 2 n n f0 1g f0 1g f0 1gn ::: .

. homeomorfo a C: LEMA 3. El espacio m1trico f0 1g f0 1g f0 1g ::: es homeomorfo al espacio m trico f0 2g : Demostraci n.20. Por el Lema 3.19. Teo.65 De manera que para obtener la funci n n g podemos primero tomar la proyecci n (m+1). Por tanto g es una funci n continua. Esto concluye la prueba del lema. Por tanto n g es la composici n de dos proyecciones y.! 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. el espacio f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio f0 1g f0 1g f0 1g ::: . +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 ::: . El espacio m trico f0 1gn 1 f0 1gn 1 2 f0 1gn 2 3 ::: es 3 Demostraci n. Por Rudin. (n + n + ::: + nm ) a este punto. en consecuencia esta funci n es continua.esima del punto a y obtener al punto (a m ::: anmm ) 2 f0 1gnm y despu s tomarle la proyecci n n . Teo.17] g es un homeomor smo. Esto concluye la prueba del lema. Sea h : f0 1g f0 1g f0 1g ::: . 1 2 3 LEMA 3.17] h es un homeomor smo. 4. 4.18.

: 1 1 1 ( ) 1 1 1 Tomemos un punto x 2 X: Dada m 2 N . Sea X un espacio m trico.66 Por el Lema 3. 1 2 3 Estamos listos para demostrar el ltimo resultado de este trabajo.19. total- Demostraci n. el espacio f0 1g f0 1g f0 1g ::: es homeomorfo a f0 2g1 : Por el Teorema 2. no vac o. entonces es homeomorfo al conjunto de Cantor.17. 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. cerrados.9.! f0 1gn 1 f0 1gn 1 2 2 f0 1gn :::) 3 ::: de nida por la siguiente correspondencia f (x) = ( 3 . Por el Lema 3. Sea 1 +1 1 +1 1 +1 f : X . TEOREMA 3. ) el conjunto A 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm. Por tanto el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo a C: Esto concluye la prueba del lema.21. mente disconexo y sin puntos aislados. compacto. en particular es transitiva. 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. no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n ::: nm. 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.

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

4. 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 ::: . 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. se obtiene que X es homeomorfo a C: Esto concluye la prueba del teorema.17] f es un homeomor smo. 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 . Teo.68 A ::: M : Entonces f (p) y f (q) coinciden en las primeras M coordenadas. mj = 2m 1 X m=M +1 j m . Por Rudin.20. 1 2 3 . Por el Lema 3.

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

Sign up to vote on this title
UsefulNot useful