P. 1
Cantor (1)

Cantor (1)

|Views: 2|Likes:

More info:

Published by: Elianete Martins Vilhasanti on Sep 30, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/30/2013

pdf

text

original

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.

1 3 2 3 2 3 1 : 1 3 1 3 2 3 2 3 El primer paso para la construcci n del conjunto de Cantor . de esta manera. De esta manera obtenemos los siguientes intervalos. es decir quitamos a : Sea el conjunto C la uni n de los intervalos restantes. CONSTRUCCION GEOMETRICA DEL CONJUNTO DE CANTOR. Tomamos el intervalo unitario 0 1] de la recta real. consiste en quitar el subintervalo abierto intermedio. probar sus propiedades formalmente. 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.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. Dividimos este intervalo en tres subintervalos iguales. a cada intervalo que compone 1 1 1 1 . En otras palabras. a partir de ella. 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. desarrollamos algunas de sus propiedades. Usualmente se nos presenta su construcci n geom trica y. 0 1 3 .

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

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

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

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

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

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

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

supongamos que 1 1 Cm = 2 m . esto es: +1 Cm 2 +1 = m . Para toda m 2 N Bm = Cm : Demostraci n. 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.7 y el Lema 1.10. a m.1 j =0 3m aj aj + 1 3m 3 0 a a . Es decir. Bm = Cm: TEOREMA 1. B 1 +1 = a30 a03 a1 a1 +1 = 3 3 0 3 0+1 3 2 3 2+1 3 = 0 1 3 2 3 1 : Ahora demostraremos que la forma anal tica en que se obtienen los extremos de un Bm es equivalente a la forma geom trica para obtener los extremos de Cm en el conjunto de Cantor.1 j =0 3aj 3aj + 1 3m+1 3m+1 3aj + 2 3aj + 3 3m+1 3m+1 : Aplicando el Lema 1. Haremos esta demostraci n por inducci n matem tica.9 donde aj es como en la construcci n 1:3: EJEMPLO.8 tenemos lo siguiente: . ::: a m Del Lema 1.6 se deduce que los intervalos am a m m m m m son ajenos entre s . 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. De acuerdo con la construcci n geom trica.

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

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

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

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

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

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

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

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

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

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

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: . 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.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. U 2 : < 2r 2 1 r 1 (2) + N +1 (2) = + N 2 2 2 r + r = r: <2 2 U tenemos Br (x): Como Br (x) . dj (xj yj ) < rj entonces d (x y ) < r de modo que y 2 B (x ) U j j j j j rj j j 2j 2j Ax = B r (x ) B r (x ) ::: B r (xN ) XN 2 1 2 2 2 +1 XN +2 ::: 2 Entonces Ax 2 : Dada y = (y y y :::) 2 Ax entonces yi 2 B r (xi ) para toda 1 i N: Entonces 1 2 3 d(x y) = 1 X di(xi i=1 2i yi) = d (x y ) +:::+ dN (xN yN ) + dN (xN 1 1 1 2 1 2N +1 2N +1 +1 yN +1 ) + ::: < 2r = 2 2 + r + 1 + 1 + ::: + ::: + 23 2N +1 2N +1 2N +2 1 + N +1 2 1+ 1 1 + 2 + ::: 2 2 r r 2 1+ 1 1 + ::: + N .1 2 2 Entonces y 2 Br (x): Por tanto Ax que Ax U: Por tanto.

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

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

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

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

1 + 2 + gn+1 + gn+2 + ::: 32 3n.17. n es el primer sub ndice donde son distintas.1 + 2 3 32 3n.! f0 2g f0 2g f0 2g ::: De nida de la siguiente forma. Dada x 2 C por el Teorema 1.1 + gn + gn+1 + gn+2 + ::: = x 32 3n. Para esto tenemos que ver que la representaci n de cada x como una serie de ese tipo es nica. 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 + 1 32 3n.1 3n 3n+1 3n+2 g2 + ::: + gn.1 3n 3n+1 3n+2 2 2 e .1 3n e2 + ::: + en. existe una sucesi n femg1 donde cada em = 0 2 tal que m 1 X x = em : =1 De nimos m=1 3 m '(x) = (e e e :::): Vamos a comprobar que ' esta bi n de nida.28 ' : C .1 3n+1 3n+2 e2 + ::: + en.1 3n+1 2 e2 + ::: + en.1 + 2 1 + 1 + 2 + ::: 32 3n.1 3n+1 3 32 e2 + ::: + en.1 + 2 + 2 + ::: 32 3n. 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.

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

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

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

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

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

34 .

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

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

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. Vamos a demostrar que f es una funci n continua. 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).17] f es un homeomor smo.veces . f y n ' = n f: Como ' ' y n son continuas. podemos concluir que n f es continua para toda n 2 N : Por tanto. f es una funci n suprayectiva.8] esto es equivalente a probar que. n (f ((a a a :::) (b b b :::))) = b n = bn : De manera que n ' = n. Esto termina la prueba de que C es homeomorfo a C C: Para hacer el paso inductivo.37 Por lo que. Teo. n f es continua para cada n 2 N : Sea n 2 N . De acuerdo con Willard. y adem s tenemos una funci n f continua e inyectiva de un espacio m trico compacto sobre C: De acuerdo con Rudin. Para hacerlo m s expl cito. (f ((a a a :::) (b b b :::))) = a n. 4. suponemos que C C ::: C es homeomorfo a C: n. Teo. f es una funci n continua. 8. = an : De igual manera: n (' ((a a a :::) (b b b :::))) = n ((b b b :::)) = bn : Por otra parte. 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 N ) . por lo que.38 Como C nC . el producto de la derecha es homeomorfo a C C el cual vimos que es homeomorfo a C: Por tanto. +1 ducto numerable de copias de l. C es homeomorfo a C C C ::: . Sea f : C C C ::: . 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 .veces ::: C es homeomorfo a (C C ::: C ) C +1 n. Para esto.veces por hip tesis de inducci n.! C de nida por la siguiente correspondencia f ((a a a :::) (a a a (a a a :::) (1 1) (1 2) (1 3) (2 1) (2 2) (1) (2) (3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) :::) (a (3 1) a (3 2) a (3 3) :::) :::) = Demostraremos que f es una funci n inyectiva.1.2 El conjunto de Cantor es homeomorfo a un proDemostraci n. vamos a demostrar que C es homeomorfo a un producto numerable de copias de l. PROPOSICION 3.veces ::: C tambi n es homeomorfo a C: Esto completa la inducci n y la prueba de la Proposici n 3. Esto es. C nC . denotaremos con a una funci n biyectiva de N en N N ( : N . recordemos que N N es un conjunto numerable. Como se mencion al inicio de este cap tulo.

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

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

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

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

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

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

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

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

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

9. 3 2 4n 3 4n para cada n 2 N : Primer caso. 3 2 Ahora mostraremos que f es inyectiva. 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.49 est acotada por la serie 1 X 3 n=1 4n =3 1 X 1 n=1 4n = 1: Por tanto cada serie de las que de nen a D es convergente y representa a un n mero en el intervalo 0 1] : Cada x 2 C por el Teorema 2. Sean x y 2 C tales que x 6= y: Escribimos 1 1 X X a n y = bn donde a b 2 f0 2g : x= n n=1 3 n n=1 3 n n Como x 6= y entonces existe m 2 N tal que am 6= bm y m es la primer ndice en donde son diferentes. 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->