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.

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

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

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

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

EJEMPLO. 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. calcularemos aj para los primeros n meros. A manera de ilustraci n. .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.

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

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

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

7 y el Lema 1. Es decir.1 j =0 3m aj aj + 1 3m 3 0 a a . esto es: +1 Cm 2 +1 = m .10.8 tenemos lo siguiente: .9 donde aj es como en la construcci n 1:3: EJEMPLO. Para toda m 2 N Bm = Cm : Demostraci n. Con el ejemplo que acabamos de ver comprobamos que B = C : Ahora supongamos que Bm = Cm: Es decir. 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. supongamos que 1 1 Cm = 2 m . ::: 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. Bm = Cm: TEOREMA 1.1 j =0 3aj 3aj + 1 3m+1 3m+1 3aj + 2 3aj + 3 3m+1 3m+1 : Aplicando el Lema 1. 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. a m. De acuerdo con la construcci n geom trica. Haremos esta demostraci n por inducci n matem tica.6 se deduce que los intervalos am a m m m m m son ajenos entre s .

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

1: a m. es decir: Cm = 2 m .1 j =0 aj aj + 1 : 3m 3m +1 Sea k 2 f0 1 ::: 2m .12 los intervalos que componen a Cm tienen longitud de m : Entonces la suma total de las longitudes es igual a: .13.1 = 2 (30 + 31 + 32 + ::: + 3m.1 j =0 aj aj + 1 : 3m 3m 1 3 Por la Proposici n 1. . Los intervalos que componen a Cm tienen lon1 3 m: Demostraci n. Ya sabemos que Cm = 2 m . Varias de ellas son muy claras de la construcci n geom trica. 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.6 los intervalos de Cm son ajenos entre s y.simo intervalo tiene longitud igual a l ak ak + 1 = ak + 1 . 2 1 = 1 2 30 + 1 2 31 + 1 2 32 + ::: + 1 2 3m.12.1 ) = 3m . gitud de 3m 1 +1 = 3m . ak = 1 : 3m 3m 3m 3m 3m que componen a Cm es igual a PROPOSICION 1.11 a m. 1 + 1 3m = = 1: 3m 3m PROPOSICION 1. Sea m 2 N y su correspondiente Cm.1 cada Cm tiene 2m intervalos cerrados y por la Proposici n 1. La m suma de las longitudes de los intervalos 2 3 : Demostraci n. el k. 1g : Por el Lema 1.

1g tal que ak ak x2 m : Aplicando el Lema 1. Sabemos que Cm +1 +1 2 +1 +1 m = . Si k es un n mero par entonces k es de la forma k = 2 i: Como 0 k 2m . Cm +1 Cm para cada m 2 N : aj aj + 1 m 3 +1 3m+1 +1 Demostraci n.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 : .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. 2 entonces 0 i 2m .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.1 j =0 : Dada x 2 Cm entonces existe k 2 f0 1 ::: 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 . por hip tesis 3m+1 +1 ak x ak + 1 : 3m+1 PRIMER CASO.

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

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

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

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

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. 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. en los dos casos em para toda m 2 f1 2 ::: ng : m n n n Similarmente. ( +1) 1 = 2b1 enn. m = x . ( +1) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn.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. 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 =x. m=1 3 n X em m <" 3 Sea k 2 f0 0 1 2 ::: 2n . ( +1) 1 ( ) = en.1 ( ) ( +1) n ::: e n ( +1) 1 = e1 n : n =en Por tanto.

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

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

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) . 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 .1 2 2 Entonces y 2 Br (x): Por tanto Ax que Ax U: 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: .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.

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

C es denso en s mismo. C es perfecto.16. por ejemplo que e = 2 y g =2 =0 y g = 0) o (e calculando 1 1 =0 e .7. Si 1 X em . adem s. Tambi n podemos recordar que 0 es un extremo de C y que como vimos en el Lema 1. gm < 1 3m 3 . LEMA 2. 1 PROPOSICION 2. Esta prueba se realizar por inducci n matem tica. Para n = 1 se tiene que probar lo siguiente: Si 1 X em m=1 . Por la Proposici n 2. 3 1 1 1 X em m=2 3m .5.15. C es un conjunto no vac o. 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. 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. 0 2 Cn para toda n 2 N : De modo que 0 2 C: Esto demuestra la siguiente proposici n.g .8. Demostraci n.25 TEOREMA 2. 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. gm e .g 1 1 3 + 1 X em m=2 . gm < 1 entonces e 3m 3 1 = g1 : Lo haremos por reducci n al absurdo. C es un conjunto cerrado y por la Proposici n 1.6. Supongamos que 1 X em m=1 1 1 1 . gm < 1 y.

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

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

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

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

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

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

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

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

34 .

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

por la de nici n de igualdad en el producto. As . 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.36 Demostraci n. (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. 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 .

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

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

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

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

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 + .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.

Ilustraci n de la gr ca de la funci n g. .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.

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

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

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

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

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

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

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. 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. 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 . 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.9. 3 2 Ahora mostraremos que f es inyectiva. 3 2 4n 3 4n para cada n 2 N : Primer caso. 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.

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

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

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

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

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

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

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

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

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

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

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

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

Como se ve necesitamos introducir una notaci n apropiada. particion de X . 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1+ 2+ + 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. no vac os y de di metro menor que 1: Como segundo paso. no vac o.1 (iv ) A0 A1 ::: An. totalmente disconexo y sin puntos aislados.15 a " = 1: Entonces existe N 2 N tal que para cada n N hay una (n 1) .1 : Demostraci n.1 ) el conjunto A( ) 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm.17. no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n1 n2 ::: nm. 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. cerrados. no vac os y de di metro menor que : Y seguiremos partiendo y partiendo. 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.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. totalmente disconexo y sin puntos aislados. 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. ::: n . Haremos una construcci n inductiva. particion de X la cual denotaremos por P = fAa : 2 J (n )g (como P y J (n ) tienen 2n elementos. de donde J (n n ::: nm) tiene 2n 2n ::: 2nm = 2n n ::: nm elementos. cerrados. (1) Para n = 1: Apliquemos el Lema 3. Sea X un espacio m trico compacto (no vac o).1 son ajenos entre s . Sea n 2 N tal que 2n N : Entonces existe una (2n 1) . compacto. 1g : Como hemos estado anunciando vamos a mostrar que si X es un espacio m trico.

compacto. Apliquemos el Lema 3. 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 .15 a " = m y al espacio A entonces existe N 2 N tal que. 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.! f0 1g f0 1g f0 1g ::: 1 2 3 ::: de nida por la siguiente correspondencia . Por tanto Pm es una partici n de X: Esto concluye la construcci n y la prueba del lema. 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. podemos tomar nm 2 N tal que 2 nm N para toda 2 J (n ::: nm): Entonces. para cada n N A tiene una (n m ) . particion Q de A : Como Q tiene 2nm elementos. para cada 2 J (n ::: nm ) existe una (2nm m ) .14. totalmente disconexo y sin puntos aislados. Dada = (a a ::: am) 2 J (n n ::: nm): Por el Lema 3. A es un espacio m trico. particion.18. Para cada sucesi n n n ::: en N . Ya que J (n n ::: nm) es nito. no vac o. Sea Z = f0 1gn f0 1gn f0 1gn g : Z .63 (2) Supongamos que P P ::: Pm ya han sido construidos.

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

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

1 2 3 Estamos listos para demostrar el ltimo resultado de este trabajo. : 1 1 1 ( ) 1 1 1 Tomemos un punto x 2 X: Dada m 2 N . no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n ::: nm.19. no vac o. mente disconexo y sin puntos aislados.66 Por el Lema 3. en particular es transitiva. Sea X un espacio m trico.17. compacto. Por el Lema 3. 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 . cerrados. ) 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. entonces es homeomorfo al conjunto de Cantor. 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.21. TEOREMA 3. total- Demostraci n. Sea 1 +1 1 +1 1 +1 f : X . 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.9. 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.

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

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

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