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.

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

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

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

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

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

6 j 0 1 2 3 4 5 6 7 8 9 10 aj 0 2 6 8 18 20 24 26 54 56 60 Los siguientes lemas nos ser n tiles para encontrar una expresi n anal tica para los conjuntos Cm: LEMA 1. aj + 1 < aj para cada j 2 N : +1 ci n binaria es cero y entonces j se representa as : Demostraci n. Si j es un n mero natural par. 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.

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

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

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

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

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

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.14. 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 .7 y el Lema 1.12 1 1 1 1 + 1 + ::: + 1 2m + + ::: + = = = 3m 3m 3m 3m 3m m 2 2 m veces veces 2 3 m PROPOSICION 1.1 j =0 : Dada x 2 Cm entonces existe k 2 f0 1 ::: 2m . por hip tesis 3m+1 +1 ak x ak + 1 : 3m+1 PRIMER CASO. 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 : . 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 . 2 entonces 0 i 2m .

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

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

1. que dice que x 2 C si y s lo si a x lo podemos expresar como una serie in nita de ceros y doses divididos entre potencias de tres.1 ak = 2b 0 30 + 2b1 31 + 2b2 32 + ::: + 2bn.1 . por transitividad se obtiene 2r 2n .1 3n. 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 . 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 . 1g tal que k ak x 2 an n : Escribimos al n mero natural k en notaci n binaria.15 A continuaci n daremos una caracterizaci n de los elementos del conjunto de Cantor. si hace falta. TEOREMA 1.17.1 2n. escribimos al n mero natural k como lo siguiente: k=b Calculando ak 0 20 + b1 21 + b2 22 + ::: + bn. r < n: Completando con ceros. 1 < 2n Por tanto.

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

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

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

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

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

para cada m 2 N : Por de nici n \ C = fCm : m 2 N g : Esto es.3. C es un conjunto compacto. C es un conjunto compacto. Por tanto. Para cada m 2 N Cm es un conjunto cerrado. Cm es un conjunto cerrado. .3. 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. Cm es un conjunto cerrado. En el teorema siguiente. Cm Cm C 0 1] para cada m 2 N : En efecto.4. Demostraci n. Cm es la uni n de 2m intervalos cerrados. Demostraci n. como los subconjuntos cerrados de conjuntos compactos. Por el Lema 2. Adem s. Con esto. OBSERVACION 2. entonces C es un conjunto cerrado. La uni n nita de conjuntos cerrados es un conjunto cerrado. C es la intersecci n de conjuntos cerrados. demostraremos que C es un conjunto perfecto. se concluye la prueba.1 j =0 aj aj + 1 : 3m 3m As que. que C es un conjunto cerrado y denso en s mismo. es decir. PROPOSICION 2.5.14. Para cada m 2 N sabemos que Cm = 2 m . 0 1] es un conjunto compacto. Como C Cm y Cm 0 1] para cada m 2 N entonces C 0 1] : Finalmente. la 0 1] : 1 PROPOSICION 2.

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

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

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

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 3n 3n+1 3n+2 g2 + ::: + gn.1 3n e2 + ::: + en. n es el primer sub ndice donde son distintas.1 + gn + gn+1 + gn+2 + ::: = x 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 + 2 + 2 + ::: 32 3n.1 3n+1 3n+2 e2 + ::: + en.17.1 + 1 32 3n.! f0 2g f0 2g f0 2g ::: De nida de la siguiente forma.28 ' : C . Dada x 2 C por el Teorema 1. Para esto tenemos que ver que la representaci n de cada x como una serie de ese tipo es nica. Supongamos entonces que hay una x 2 C que tiene dos representaciones como las siguientes: 1 1 X e m X gm x= = con e g 2 f0 2g para toda m 2 N : 1 2 3 Supongamos que existe n 2 N tal que en 6= gn y adem s.1 3n+1 3 32 e2 + ::: + en.1 3n 3n+1 3n+2 2 2 e .1 + 2 1 + 1 + 2 + ::: 32 3n.1 + 2 + gn+1 + gn+2 + ::: 32 3n.1 + 2 3 32 3n.1 3n+1 2 e2 + ::: + en.

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

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

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

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

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

34 .

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

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

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

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

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

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

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.

Para mostrar que g es una funci n suprayectiva tomemos un n mero cualquiera entre 0 y 1 es decir. PROPOSICION 3. Aplicando g a un elemento cualquiera de C se tiene: g ((a a a :::)) = 1 2 3 1 X n=1 an : 2n +1 = a1 2 2 + a2 2 Como an Entonces 1 2 3 2 para toda n 2 N entonces 1 1 1 1 + 2 + 3 + ::: = 2 2 2 2 2 2 + a3 23 2 + ::: an 2 1 para cada n 2 N : =1 g ((a a a :::)) 1+ El criterio de comparaci n para series nos dice que entonces la serie 1 X an es convergente y converge a un n mero entre 0 y 1: Por tanto g est bien de nida. demostraremos en la Proposici n siguiente que g es una fuci n continua y suprayectiva. Y por consiguiente. sea y 2 0 1] : Consideremos su presentaci n binaria. Sea de nida por la f rmula g : C . es decir: n+1 n=1 2 1 1 1 + 2 + 3 + ::: 2 2 2 . 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.3.

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

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

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

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

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

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. 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. 3 2 Ahora mostraremos que f es inyectiva. 3 2 4n 3 4n para cada n 2 N : Primer caso. 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.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.9. 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 . Entonces (am = 0 y bm = 2) o (am = 2 y bm = 0): Analizando un t rmino cualquiera de la serie.

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

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

1 + 3 + dm+1 + dm+2 + ::: = a: 42 4m.1 + 3 4 42 4m. Si fm < dm entonces fm = 0 y dm = 3: Calculando c = 4 f 1 41 = = = 41 41 4 f 1 + + + + + + + f 1 f 1 f 1 f 1 < d 4 d 4 1 1 1 1 1 0 fm+1 fm+2 + ::: + m + m+1 + m+2 + ::: 4 4 4 4 f2 + ::: + fm.1 + 3 1 + 1 + 1 + ::: 42 4m.1 + 1 42 4m. a: Demostraci n.10. No existen a b c 2 D tales que a < b < c y c .1 4m+1 4m+2 f2 + ::: + fm.1 4m 4m+1 4m+2 2 2 Es decir. b = b .52 LEMA 3.1 4m d2 + ::: + dm.1 + 3 + 3 + ::: 42 4m. Por tanto.1 4m+1 3 f2 + ::: + fm. Sabemos que. b = b . dm 6= fm entonces dm < fm o dm > fm : Probaremos que el caso fm < dm no es posible.1 + 3 42 4m. c < a lo cual es un absurdo.1 4m d2 + ::: + dm.1 4m+1 4 42 f2 + ::: + fm. 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 . Esta prueba se realizar por reducci n al absurdo. 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 < 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: .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful