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.

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

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

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

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

A manera de ilustraci n. Expresando los siguientes n meros en su notaci n binaria tenemos: =0 a1 = 1 2 30 = 2: a2 = 0 2 30 + 1 2 31 = 0 + 6 = 6: a3 = 1 2 30 + 1 2 31 = 2 + 6 = 8: a4 = 0 2 30 + 0 2 31 + 1 2 32 = 18: a5 = 1 2 30 + 0 2 31 + 1 2 32 = 20: a6 = 0 2 30 + 1 2 31 + 1 2 32 = 24: a7 = 1 2 30 + 1 2 31 + 1 2 32 = 26: a8 = 0 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 54: a9 = 1 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 56: a10 = 0 2 30 + 1 2 31 + 0 2 32 + 1 2 33 = 60: 0 a La siguiente tabla resume estos resultados. . calcularemos aj para los primeros n meros. EJEMPLO.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.

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

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

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

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

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

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

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

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

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

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

3n. 3n Entonces. n no depende de n: AFIRMACION.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.16 (n tese que los ceros que pudimos haber a adido no afecta a la de nici n de ak ). ( ) ( ) ( ) 1 = 2b1 enn. por de nici n 3 a2k a2k +1 n+1 n+1 3 h a2k+1 a2k+1 +1 3 +1 3 +1 i ( +1) 2 0 1 1 3 +1 2 2 2 +1 3 +1 2 3 1 enn ( +1) +1 =0 enn ( +1) = 2b0 enn. recordando la construcci n geom trica para C (ya vimos en el Teorema 1. ( ) 2 = 2b2 ::: e n ( ) 1 = 2bn.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. As ak = 2b + 2b + 2b + ::: + 2bn. 3 De nimos 0 1 2 1 1 2 enn ( ) = 2b0 enn. (*) 3n 3n 3n.1 3n . em En efecto. 3 +1 ( +1) 1 = en.1 : De modo que enn ( +1) = en ( ) enn. n ( +1) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn.1 n es igual a 0 a 2): (observemos que cada em n que estamos de niendo dependen de m de x y Observemos que las em de n: En realidad queremos que s lo dependan de m y de x: Esto es lo que vamos a probar a continuaci n. n ( +1) 1 = 2b1 enn.

en los dos casos em para toda m 2 f1 2 ::: ng : m n n n Similarmente.1 ( ) ( +1) n ::: e n ( +1) 1 = e1 n : n =en Por tanto. m=1 3 n X em m <" 3 Sea k 2 f0 0 1 2 ::: 2n . 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) 1 ( ) = en. ( +1) 2 = 2b2 ::: e n ( ) ( +1) 1 = 2bn.17 Entonces enn ( +1) +1 =2 enn ( +1) = 2b0 enn. m = x . em = em = em = ::: para toda m 2 f1 2 ::: ng : n tenemos derecho a llamarlo simplemente e : Entonces a em m ( ) ( +2) ( +3) Lo que sigue es probar que: x= . m =x.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.1 : De modo que enn ( ) ( +1) n) = e( n enn. ( +1) 1 = 2b1 enn.

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

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

20

Cap tulo 2

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

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

n )gn2N

de espacios topo-

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

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

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

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

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

para cada

22

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

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

1 X dn(xn
n=1
2 3

2n

yn ) :

= (y1

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

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

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

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

U=
1 2 3

fA : A 2 g

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

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

22

2

2

1

2

3

i=1

2i

1 2 2 Entonces y 2 Br (x): Por tanto Ax que Ax U: Por tanto. 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. 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: . 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 . U 2 : < 2r 2 1 r 1 (2) + N +1 (2) = + N 2 2 2 r + r = r: <2 2 U tenemos Br (x): Como Br (x) .23 Para cada j = 1 2 ::: n se obtiene lo siguiente i=1 2j 1 di(xi yi) < r dj (xj yj ) < X j 2 2i rj Por tanto.

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

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

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

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

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

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

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

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

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

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

34 .

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

As . Para mostrar que f es una funci n suprayectiva tomemos un punto arbitrario (a a a :::) 2 C entonces ((a a a :::) (a a a :::)) 2 C C: Aplicando la f_ : 1 2 3 1 3 5 2 4 6 f ((a a a :::) (a a a :::)) = (a a a a :::) : 1 2 3 2 4 6 1 2 3 4 .36 Demostraci n. C es homeomorfo a C C: La prueba para toda n 2 N se har por inducci n matem tica. Primero se demostrar para n = 2: Esto es. Sea f : C C .! 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. 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. f es una funci n inyectiva. (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. por la de nici n de igualdad en el producto.

y adem s tenemos una funci n f continua e inyectiva de un espacio m trico compacto sobre C: De acuerdo con Rudin. Esto termina la prueba de que C es homeomorfo a C C: Para hacer el paso inductivo. Vamos a demostrar que f es una funci n continua. Para hacerlo m s expl cito.veces .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. n f es continua para cada n 2 N : Sea n 2 N . Teo.37 Por lo que. 8. 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. De acuerdo con Willard. (f ((a a a :::) (b b b :::))) = a n. f es una funci n continua. 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. = 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. suponemos que C C ::: C es homeomorfo a C: n. 1 1 2 3 1 2 3 1 2 3 2 1 2 3 1 2 3 1 2 3 1 1 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 2 1+1 2 2 1 2 3 1 2 3 1 2 3 2 1 2 3 1 2 3 2 2 1 2 1 2 2 1 2 Como C C es un m trico compacto (el producto cartesiano de conjuntos compactos es un conjunto compacto). 4.17] f es un homeomor smo.

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

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

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

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

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.

demostraremos en la Proposici n siguiente que g es una fuci n continua y suprayectiva. sea y 2 0 1] : Consideremos su presentaci n binaria.43 Una vez bosquejada la gr ca de la funci n. es decir: n+1 n=1 2 1 1 1 + 2 + 3 + ::: 2 2 2 .3.! 2 3 0 1] g ((a a a :::)) = 1 1 X n=1 an : 2n +1 Entonces g es continua y suprayectiva (Recordemos que estamos identi cando a C con f0 2g1): Demostraci n. 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. estaremos mostrando que el intervalo 0 1] es la imagen continua del conjunto de Cantor. Y por consiguiente. Sea de nida por la f rmula g : C . PROPOSICION 3. Para mostrar que g es una funci n suprayectiva tomemos un n mero cualquiera entre 0 y 1 es decir.

g ((b b b :::))j 1 2 3 1 2 3 = 1 X 1 X n=1 1 an . bn j 2n+1 = 1 X an 2n+1 . 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. El espacio m trico y compacto 0 1] 0 1] 0 1] ::: se le llama el cubo de Hilbert.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 :::)) . jg ((a a a :::)) . Existe una funci n continua y suprayectiva de 0 1] 0 1] 0 1] ::: a C C C ::: . g es una funci n continua en C: Esto concluye la prueba de la proposici n. g ((b b b :::))j < ": 1 2 3 1 2 3 Por tanto.44 y=a donde ai 2 f0 1g : Como 2 1 2 3 +a +a + ::: 22 23 y=a 1 2 1 2 3 +a +a + ::: = 22a21 + 22a32 + 22a43 + ::: = g ((2a1 2a2 2a3 22 23 :::)) = y (2a 2a 2a :::) 2 f0 2g1 obtenemos que g es una funci n suprayectiva. 2 3 Demostraremos que g es una funci n continua. Sea " > 0. X bn n n 2 2 +1 an . C en PROPOSICION 3. bn = ": Esto es. tenemos que C es homeomorfo . Por la Proposici n 3. 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 .2.

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

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

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

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

49 est acotada por la serie 1 X 3 n=1 4n =3 1 X 1 n=1 4n = 1: Por tanto cada serie de las que de nen a D es convergente y representa a un n mero en el intervalo 0 1] : Cada x 2 C por el Teorema 2. 3 2 Ahora mostraremos que f es inyectiva. Entonces (am = 0 y bm = 2) o (am = 2 y bm = 0): Analizando un t rmino cualquiera de la serie.9. 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. 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. 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 .

f (x) 6= f (y): En el caso. 3 2 3 3 3 3 1 1 2 2 + m+1 4m.1 4 + m 4m. Para mostrar que f es suprayectiva.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.1 4 + m+1 4m.1 4 1 1 1 1+ 4 3 1 1 + 2 + ::: 4 4 3 2 3 2 3 2 1 1 2 2 3 2 3 2 3 2 1 1 2 < 3 2 1 1 3 2 1 1 4 b b + + 3 2 2 2 3 2 2 2 4 b b Es decir. Sea y 2 D esto es. la . am = 2 y bm = 0 la demostraci n de que f (x) 6= f (y) es similar.1 4 + m 4m. 1 a 1 X X n y = an con a 2 f0 3g : Sea x = como an 2 f0 3g entonces an 2 f0 2g as que x 2 C: Aplicando f al elemento x se obtiene 1 1 1 a ! X X an X an = y n f n = n = n 2 3 2 3 4 = f (y ): 3 bm+1 3 bm+2 3 + ::: + m + 2 m+1 + 2 m+2 + ::: 4 4 4 4 + ::: + bm. f es una funci n suprayectiva. 1 3 n n=1 4 n n n=1 3 Por tanto. . Por consiguiente. am. Demostraremos que f es una n continua. f es una funci n biyectiva. am.1 4 4 1 am. f (x) < f (y): Por tanto. Por tanto f es inyectiva. 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 . yj < entonces 1 4 1 4 1 3 1 3 n=1 3 2 3 n=1 4 32 23 n=1 4 . am.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful