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.

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. Usualmente se nos presenta su construcci n geom trica y, a partir de ella, desarrollamos algunas de sus propiedades. En este cap tulo vamos a empezar recordando esta construcci n geom trica pero vamos a hacer algo m s. Vamos a dar las f rmulas exactas que de nen a los intervalos que se consideran en la construcci n del conjunto de Cantor para, de esta manera, probar sus propiedades formalmente.

CONSTRUCCION GEOMETRICA DEL CONJUNTO DE CANTOR.

Tomamos el intervalo unitario 0 1] de la recta real. Dividimos este intervalo en tres subintervalos iguales. De esta manera obtenemos los siguientes intervalos.
0
1 3

;1
3

2 3

2 3

:
1 3 1 3 2 3 2 3

El primer paso para la construcci n del conjunto de Cantor consiste en ; quitar el subintervalo abierto intermedio, es decir quitamos a : Sea el conjunto C la uni n de los intervalos restantes, 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 otras palabras, a cada intervalo que compone
1 1 1

2 a C lo dividimos en tres partes iguales gener ndose los siguientes subintervalos:

1

1 9

;1
9

2 9

2 9

3 9

6 9

7 9

;7
9

8 9

8 9

Quitamos ahora los ; subintervalos abiertos intermedios. Es decir a C le ; y . Sea C el conjunto que nos queda, o quitamos los intervalos sea
1 9 2 9 7 9 8 9 1 2

C
2

= 0

1 9

2 9

3 9

6 9

7 9

8 9

Repetimos el proceso, es decir, 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. Con esto obtenemos el tercer paso de la construcci n que consiste en el conjunto:
1 9

= 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

Este proceso se sigue inde nidamente. Es decir, para obtener a C , se dividen en tres partes todos los intervalos que componen a C y se quitan los intermedios. En general, Cm se construye dividiendo en tres partes iguales a los intervalos que componen a Cm y borrando los intervalos abiertos intermedios.
4 3 +1

denotar por la letra C , se de ne como la intersecci n de todos los conjuntos Cm. Es decir,

Figura 1. Ilustraci n de la construcci n de C ,C ,C y C . Finalmente el Conjunto de Cantor, que durante todo este trabajo se le
1 2 3 4

C = fCm : m 2 N g
depende de Cm . Entonces, si no hemos construido a Cm no sabemos qui n es Cm+1 . Esto di culta en gran manera la prueba de las propiedades del conjunto de Cantor. Nuestro primer trabajo, a partir de este momento, ser encontrar una f rmula expl cita para los Cm .

OBSERVACION 1.1. El problema con esta construcci n, es que Cm

+1

Una primera propiedad que podemos observar de los Cm es la siguiente.

ajenos.

PROPOSICION 1.2. Cm es la uni n de

1

2m

intervalos cerrados y

Demostraci n. Haremos esta prueba por inducci n matem tica. Claramente C est formado por 2 = 2 intervalos cerrados y ajenos. Supongamos ahora que Cm esta formado por 2m intervalos cerrados y ajenos. 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. Entonces de cada intervalo de Cm obtenemos dos intervalos. De modo que Cm tiene el doble de intervalos que Cm: Puesto que Cm tiene 2m, tenemos que Cm est formado por 22m = 2m 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 ; 1g : Durante todo este trabajo denotaremos con el s mbolo N el conjunto de los n meros naturales incluyendo al cero. Ahora vamos a dar una manera de construir el extremo izquierdo del j- simo intervalo de Cm : Para esto haremos una construcci n general de unos n meros aj , para las j 2 N :

j 6= 0 entonces escribimos a j en su notaci n binaria, es decir: j=b

0

CONSTRUCCION 1.3. Sea j 2 N : Si j = 0 de nimos a

20 + b1 21 + ::: + bm 2m :

= 0:

Si

4 donde bm = 1 y bi 2 f0 1g : De nimos

aj = 2b

30 + 2b1 3 + ::: + 2bm 3m :

En otras palabras, podemos expresar la construcci n as : dada j 2 N , la escribimos en su notaci n binaria, los unos los transformamos en doses y se piensa en el n mero correspondiente como un n mero escrito en base tres. Por ejemplo si j = 10 entonces en notaci n binaria, 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. a m = 2
2

3m

para cada m 2 N :

Demostraci n. 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.5. Sea j 2 N : Expresamos a j en su notaci n binaria,

20 + b1 21 + ::: + bm 2m . Entonces aj = a(b0 20 +b1 21 +:::+bm 2m ) = b0 a20 + b1 a21 + ::: + bm
0

j=b

am
2

notaci n binaria, esto es: j = b 2 + b 2 + ::: + bm 2m: (estamos suponiendo que bm = 1). Por de nici n aj = 2b 3 + 2b 3 + ::: + 2bm 3m: Por el lema 1.4, 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. Sea j 2 N jo pero arbitrario y, lo expresamos en su

ab

( 0 20 + 1 21 +

:::+bm 2m ) = b0

20

+ b1

21

+ ::: + bm

a m:
2

Esto completa la prueba del teorema. A manera de ilustraci n, calcularemos aj para los primeros n meros.

EJEMPLO.
Expresando los siguientes n meros en su notaci n binaria tenemos:
=0 a1 = 1 2 30 = 2: a2 = 0 2 30 + 1 2 31 = 0 + 6 = 6: a3 = 1 2 30 + 1 2 31 = 2 + 6 = 8: a4 = 0 2 30 + 0 2 31 + 1 2 32 = 18: a5 = 1 2 30 + 0 2 31 + 1 2 32 = 20: a6 = 0 2 30 + 1 2 31 + 1 2 32 = 24: a7 = 1 2 30 + 1 2 31 + 1 2 32 = 26: a8 = 0 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 54: a9 = 1 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 56: a10 = 0 2 30 + 1 2 31 + 0 2 32 + 1 2 33 = 60:
0

La siguiente tabla resume estos resultados.

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

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

3i+1 : Y claramente

LEMA 1.7. Para toda j 2 N Demostraci n. Sea

3aj = a2j :

j=b

20 + b1 21 + ::: + bm 2m :

Multiplicando por 2 obtenemos

2j = 2 (b0 20 + b1 21 + ::: + bm 2m ) = b0 21 + b1 22 + ::: + bm 2m+1 :

Calculemos a j :
2

aj=0
2

30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1 : = 3 (2b0 30 + 2b1 31 + ::: + 2bm 3m ) = 3aj :
2

Por consiguiente a j = 3aj :

LEMA 1.8. Para cada j 2 N Demostraci n. Escribimos

j=b
entonces
0

3aj + 2 = a2j +1 :

20 + b1 21 + ::: + bm 2m

2j + 1 = (b0 21 + b1 22 + ::: + bm 2m+1 ) + 1 = 1 20 + b0 21 + b1 22 + ::: + bm 2m+1 :

Ya podemos calcular a j

2 +1

con esto obtenemos

aj

= 2 30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1 = 2 + 3 (2b0 + 2b1 31 + ::: + 2bm 3m ) = 2 + 3aj :
2 +1 2 +1

Por tanto a j

= 3aj + 2:

Ahora ya estamos listos para dar una de nici n anal tica de los conjuntos Cm. Provisionalmente los llamaremos Bm:

DEFINICION 1.9. La forma anal tica para cada Bm con m 2 N es :

Bm =
2

m ;1

j =0

aj aj + 1 : 3m 3m

9
donde aj es como en la construcci n 1:3:

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

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. Es decir, Bm = Cm:

TEOREMA 1.10. Para toda m 2 N Bm = Cm : Demostraci n. Haremos esta demostraci n por inducci n matem tica. Con el ejemplo que acabamos de ver comprobamos que B = C : Ahora supongamos que Bm = Cm: Es decir, supongamos que
1 1

Cm =

m ;1

j =0

3m

aj aj + 1
3m
3
0

a a ::: a m ; a m ; Del Lema 1.6 se deduce que los intervalos am a m m m m m son ajenos entre s . De acuerdo con la construcci n geom trica, estos intervalos son los que tenemos que dividir en tres partes iguales para obtener a Cm : i h j Tomemos uno de estos intervalos, digamos el am aj m al dividirlo en tres partes iguales obtenemos los subintervalos: 3aj 3aj + 1 3aj + 1 3aj + 2 y 3aj + 2 3aj + 3 :
3
0 +1

1 +1

1 +1

+1

+1

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, esto es:
+1

Cm

2 +1

m ;1

j =0

3aj 3aj + 1 3m+1 3m+1

3aj + 2 3aj + 3 3m+1 3m+1

Aplicando el Lema 1.7 y el Lema 1.8 tenemos lo siguiente:

10
2 +1

Cm
=

m ;1

j =0

3m+1

a j a j +1
2

3m+1

aj a

3m+1

2 +1

aj a

2 +1

3m+1

+1

3m+1

20

20

3m+1

+1

2(2

3m+1

m ;1)

3m+1 a2(2m ;1) + 1 3m+1

2 0+1

2 0+1

3m+1
2(2

+1

3m+1

m ;1)+1

3m+1 a2(2m ;1)+1 + 1 3m+1

3m+1

21

21

+1

3m+1

2 1+1

2 1+1

3m+1

+1

:::

3m+1 3m+1

+1

am
2

3m+1

+1

;2

am
2

3m+1 3m+1

+1

3m+1

+1

;2 + 1
m

am
2

3m+1 3m+1
+1

+1

3m+1

;1

am
2

3m+1 3m+1

+1

:::

3m+1

+1

;1 + 1

2 +1

;1

j =0

aj aj + 1 m+1 3m+1 = Bm+1 : 3

Por consiguiente, 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, ya tenemos derecho a escribir:

Cm =

m ;1

j =0

aj aj + 1 : 3m 3m

Si al leer la De nici n 1.9, 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.

OBSERVACION 1.11. En efecto, como

20 + 21 + 22 + ::: + 2m;1 = 2m ; 1.

Aplic ndole la funci n tenemos:

11

a m;
2

= 1 2 30 + 1 2 31 + 1 2 32 + ::: + 1 2 3m;1 = 2 (30 + 31 + 32 + ::: + 3m;1 ) = 3m ; 1:

a m;
2

Y esto vale para cada m 2 N : Ahora que ya tenemos una expresi n anal tica para los intervalos que componen a Cm estamos en posibilidades de dar pruebas formales de algunas de sus propiedades. Varias de ellas son muy claras de la construcci n geom trica.
gitud de

3m

+1

3m ; 1 + 1 3m = m = 1: 3m 3

PROPOSICION 1.12. Los intervalos que componen a Cm tienen lon1 3

m:

Demostraci n. Ya sabemos que

Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m
+1

Sea k 2 f0 1 ::: 2m ; 1g : Por el Lema 1.6 los intervalos de Cm son ajenos entre s y, el k- simo intervalo tiene longitud igual a l ak ak + 1 = ak + 1 ; ak = 1 :
3m 3m 3m 3m 3m

que componen a Cm es igual a

PROPOSICION 1.13. ; m de las longitudes de los intervalos La suma

2 3

Demostraci n. Sea m 2 N y su correspondiente Cm, es decir:

Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m
1 3

Por la Proposici n 1.1 cada Cm tiene 2m intervalos cerrados y por la Proposici n 1.12 los intervalos que componen a Cm tienen longitud de m : Entonces la suma total de las longitudes es igual a:

12
1 1 1 1 + 1 + ::: + 1 2m + m + ::: + m = = m = 3m 3 m 3 3m 3
2 2

m veces

veces

2 3

PROPOSICION 1.14. Cm

+1

Cm para cada m 2 N : aj aj + 1 m+1 3m+1 3

+1

Demostraci n. Sabemos que

Cm
+1
+1

2 +1 +1

;1

j =0

Dada x 2 Cm entonces existe k 2 f0 1 ::: 2m ; 1g tal que a k x 2 mk am : Aplicando el Lema 1.7 y el Lema 1.8 obtenemos que para toda j se cumple: aj = 3aj = a j :
+1 3
+1

3m

3m+1

3m+1

aj + 1 = 3aj + 3 = 3aj + 2 + 1 = a
3m 3m+1 3m+1

2 +1

3m+1

+1

Ahora bien, por hip tesis

3m+1
+1

ak

ak + 1 :
3m+1

PRIMER CASO. Si k es un n mero par entonces k es de la forma k = 2 i: Como 0 k 2m ; 2 entonces 0 i 2m ; 1: Como ai = a i x a i + 1 = a i + 1 < ai + 1 = ai + 1
3m 3m+1
2

3m+1

3m+1
m ;1

3m+1

3m

3m

3m

Concluimos que

ai x 2 3m ai3+ 1 m
Por tanto x 2 Cm:

j =0

3m

aj aj + 1
3m

= Cm :

13 SEGUNDO CASO. Si k es un n mero natural impar entonces k es de la m ; = 2m ; 1: forma k = 2 i + 1: Como 1 k 2m ; 1 0 k; Entonces 0 i 2m ; 1: Por el Lema 1.6, 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 +1

2 +1

3m

3m+1
3

3m+1

3m+1

2 +1

3m+1

3m

i Por tanto x 2 am ai m Cm: Esto termina la prueba de que Cm

+1 3

+1

Cm:

Ahora demostraremos que tanto el extremo izquierdo como el extremo derecho de cada uno de los intervalos que componen a Cm pertenecen al conjunto de Cantor.

LEMA 1.15. Si cada n 2 N :

esto es:

2m

; 1 entonces

ak

2 Cn y

ak +1
3

2 Cn para

Demostraci n. Dada m 2 N consideremos a su correspondiente Cm

Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m

Sea k 2 f0 intervalo son

1 2

:::

2m ; 1g : 3m

Los extremos que corresponden a k- simo

3m

ak ak + 1 2 C Cm;

Por la Proposici n 1.14

Cm Cm;
1 2 1

:::

As , por lo anterior, los extremos izquierdo y derecho son elementos de Cm; Cm; ::: C : Ahora veremos que estos extremos tambi n est n en los Cn siguientes. Sabemos que (Lema 1.7)

14

a2k a4k a8k m = 3m+1 = 3m+2 = 3m+3 = ::: 3 ak

Como 0 k < 2m entonces 0 2k < 2m : As que 0 4k < 2m entonces 0 8k < 2m y as sucesivamente. Entonces ak es un extremo para C m m Cm Cm ::: Por otra parte, por el Lema 1.8, +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 ; 1 entonces 0 2k + 1 2m ; 1: De aqu que 0 2 (2k + 1) + 1 2m ; 1 y as sucesivamente. Entonces akm tambi n es un extremo para Cm Cm Cm ::: Esto termina la prueba del lema.
+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.

PROPOSICION 1.16. Sea " > 0: Si x 2 C entonces existe y 6= x que jx ; y j < " y y 2 C:
;1
3 1 3

tal

Demostraci n. Sea " > 0: Como m ! 0 cuando m ! 1 existe N 2 N tal que N < ": Por hip tesis, x 2 C entonces x 2 Cm para cada m 2 N : En particular, k x 2 CN por lo cual, existe k 2 0 1 ::: 2N ; 1 tal que x 2 aN akN : ak 2 C y ak 2 C: Elegimos y = ak o y = ak para Por el Lema 1.15, N N N N que y = x: Entonces 6
+1 3 +1 3 3 +1 3 3 3

jx ; yj

ak + 1 ; ak
3n

= N 3n 3

< ":

Esto termina la prueba de la proposici n.

15 A continuaci n daremos una caracterizaci n de los elementos del conjunto de Cantor, 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.

TEOREMA 1.17. x 2 C si y s lo si existe una sucesi n femg1 con m cada em 2 f0 2g tal que
=1

x=

m=1 3

1 X em

Demostraci n. ()) : Sea x 2 C por la de nici n de C tenemos que x 2 Cm para cada m 2 N: n Haremos una construcci n general de unos n meros em con n 2 N y
( )

m n: Dada n 2 N x 2 Cn entonces existe k 2 f0 1 ::: 2n ; 1g tal que k x 2 an ak n : Escribimos al n mero natural k en notaci n binaria, esto es:
3 +1 3

k=b
Como
2r

20 + b1 21 + b2 22 + ::: + br 2r

con br = 1

br

2r + ::: + b2 22 + b1 21 + b0 20 = k

yk

2n ; 1,

por transitividad se obtiene

2r 2n ; 1 < 2n

Por tanto, r < n: Completando con ceros, si hace falta, escribimos al n mero natural k como lo siguiente:

k=b
Calculando ak

20 + b1 21 + b2 22 + ::: + bn;1 2n;1

ak = 2b

30 + 2b1 31 + 2b2 32 + ::: + 2bn;1 3n;1

16 (n tese que los ceros que pudimos haber a adido no afecta a la de nici n de ak ). As ak = 2b + 2b + 2b + ::: + 2bn; (*) 3n 3n 3n; 3n; 3 De nimos
0 1 2 1 1 2

enn

( )

= 2b0

enn;
( ) ( ) ( )

= 2b1

enn;
( )

= 2b2

::: e n

( ) 1

= 2bn;1

n (observemos que cada em es igual a 0 a 2): n Observemos que las em que estamos de niendo dependen de m de x y 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 AFIRMACION. em no depende de n: En efecto, recordando la construcci n geom trica para C (ya vimos en el Teorema 1.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

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; 3n Entonces, por de nici n
3

a2k a2k +1 n+1 n+1

3

a2k+1 a2k+1 +1
3 +1 3 +1

( +1)

3 +1 2

2 +1 3 +1

enn

( +1) +1

=0

enn

( +1)

= 2b0

enn;
n

( +1) 1

= 2b1

enn;
n

( +1) 2

= 2b2

::: e n
( )

( +1) 1

= 2bn;1 :

De modo que

enn

( +1)

= en

( )

enn;
3 +1

( +1) 1

= en;1
( )

::: e n :

( +1) 1

= e1

n:

Y en el caso en que x 2 Como a k

2 +1

a2k+1 a2k+1 +1
n
3 +1

= 2 30 + 2b0 31 + 2b1 32 + ::: + 2bn;1 3n

17 Entonces

enn

( +1) +1

=2

enn

( +1)

= 2b0

enn;

( +1) 1

= 2b1

enn;

( +1) 2

= 2b2

::: e n
( )

( +1) 1

= 2bn;1 :

De modo que

enn
( )

( +1)

= e(n) n

enn;

( +1) 1 ( )

= en;1
( ) ( +1)

::: e n

( +1) 1

= e1

n n Por tanto, en los dos casos em = em para toda m 2 f1 2 ::: ng : n n n Similarmente, em = em = em = ::: para toda m 2 f1 2 ::: ng : n Entonces a em tenemos derecho a llamarlo simplemente em :
( ) ( +2) ( +3)

Lo que sigue es probar que:

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

< ":

x;

m=1 3

n X em

<"
3

Sea k 2 f0
0

1 2

:::

2n ; 1g

tal que x 2
n X e(n) m

ak ak +1
n
3

por ( ) tenemos que:

1 3n 1 3N

x;

m =x; m = x ; 3n m=1 3 m=1 3

n X em

ak

<"

Esto concluye la prueba de que

x=
(()

m m=1 3

1 X em

Ahora estamos suponiendo que

x=

m=1 3

1 X em

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 j 2 f0 1 ::: 2n ; 1g tal que x 2 an aj n para toda n 2 N . Sea n 2 N . Vamos a proponer los coe cientes de la notaci n binaria del n mero j como: b = en b = en; ::: b = e :
+1 3 3 0

Es claro que, bi 2 f0 1g para i = 0

n;1

::: n ; 1: Probaremos que, si

j=b

20 + b1 21 + ::: + bn;1 2n;1 2

entonces j 2 f0 1 ::: 2n ; 1g : En efecto, por hip tesis, sabemos em

para cada m 2 N : Entonces

1

bm
0

2m
0 1

2m
1

para m = 0
1

::: n ; 1:
20 +21 + ::: +2n;1 = 2n ; 1:

De modo que j = b 2 +b 2 +:::+bn; Por consiguiente j 2 f0 1 ::: 2n ; 1g : Adem s,

2n;1

1 X em
m=1

2b0 30 + :::: + 2bn;1 3n;1 en en;1 e1 = = n + n;1 + ::: + 1 n n 3 3 3 3 3

aj

3m

1 1

en 2 2 + ::: + n + n+1 + n+2 + ::: 3 3 3 3

2 2 2

m=1 3

1 X em

m =x=

= = =

1 1

en 2 + :::: + n + n+1 3 3 3 3 aj + 1 = 3n
1 1

31

e +
+

en 2 + ::: + n + n+1 3 3 3
2 2

1+

32

en + + ::: +
3n

3n+1

1 X
i=0
3 2

1 1 + 2 + ::: 3 3 1 3 =

1 1

en 1 + ::: + n + n 3 3 3
2 2

19 es decir,
3n

aj

x
2

aj + 1
3n
n ;1

Por tanto,

aj x 2 3n aj3+ 1 n

i=0

3n

ai ai + 1
3n

= Cn :

Como esta construcci n es para una n ja pero arbitraria, concluimos, x 2 Cn para cada n 2 N : Por consiguiente, x 2 C: Esto termina la prueba del teorema.

20

Cap tulo 2

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

DEFINICION 2.1. Dada una familia f(Xn

X=
1 Y
n=1
1 2 3

n )gn2N

de espacios topo-

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

Sea la familia de subconjuntos de X de la forma:

1 2 +1 +2

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

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

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

para cada

22

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

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

1 X dn (xn
n=1
2 3

2n

yn ) :

= (y1

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

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

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

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

U=
1 2 3

fA : A 2 g

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

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

22

i=1

2i

23 Para cada j = 1
2

::: n se obtiene lo siguiente

i=1
2j

1 dj (xj yj ) < X di(xi yi) < r 2j 2i

rj

Por tanto, y 2 A: Hemos probado entonces que Br (x) A U: Entonces Br (x) U: Esto termina la prueba de que U 2 o: Ahora tomemos U 2 o: Sea x = (x x x :::) un punto cualquiera de U: Entonces existe r > 0 tal que Br (x) U: ; Como n ! 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, 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

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

2N

+1

2N +1

+1

yN

+1

+ :::

< 2r
= 2

r 1 1 + ::: + N +1 + N +1 + N +2 + ::: 23 2 2 2
1 + N +1 2 1+ 1 1 + 2 + ::: 2 2

r
2

1+

1 1 + ::: + N ;1 2 2

Entonces y 2 Br (x): Por tanto Ax que Ax U: Por tanto, U 2 :

< 2r

1 r 1 (2) + N +1 (2) = + N 2 2 2

r r < 2 + 2 = r: U tenemos

Br (x): Como Br (x)

24 Posteriormente demostraremos que C es homeomorfo a f0 2g f0 2g ::: pero antes probaremos que el conjunto de Cantor es un conjunto compacto.

PROPOSICION 2.3. Para cada m 2 N Cm es un conjunto cerrado. Demostraci n. Para cada m 2 N sabemos que
Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m

As que, Cm es la uni n de 2m intervalos cerrados. La uni n nita de conjuntos cerrados es un conjunto cerrado. Por tanto, Cm es un conjunto cerrado, para cada m 2 N : Proposici n 1.14,

OBSERVACION 2.4. Cm
Cm C

0 1]

para cada m 2 N : En efecto, la

0 1] :

PROPOSICION 2.5. C es un conjunto compacto. Demostraci n. Por el Lema 2.3, Cm es un conjunto cerrado, para cada m 2 N : Por de nici n \ C = fCm : m 2 N g :
Esto es, C es la intersecci n de conjuntos cerrados, entonces C es un conjunto cerrado. Adem s, 0 1] es un conjunto compacto. Como C Cm y Cm 0 1] para cada m 2 N entonces C 0 1] : Finalmente, como los subconjuntos cerrados de conjuntos compactos, son compactos, C es un conjunto compacto. Con esto, se concluye la prueba. En el teorema siguiente, demostraremos que C es un conjunto perfecto, es decir, que C es un conjunto cerrado y denso en s mismo.

25

TEOREMA 2.6. C es perfecto. Demostraci n. Por la Proposici n 2.5, C es un conjunto cerrado y por la Proposici n 1.16, C es denso en s mismo.
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. Tambi n podemos recordar que 0 es un extremo de C y que como vimos en el Lema 1.15, 0 2 Cn para toda n 2 N : De modo que 0 2 C: Esto demuestra la siguiente proposici n.
1

PROPOSICION 2.7. C es un conjunto no vac o. LEMA 2.8. Si 1 X em ; gm < 31n con em gm 2 f0 2g entonces e 3m
= g1

m=1

= g2

::: en = gn:

Demostraci n. Esta prueba se realizar por inducci n matem tica. Para n = 1 se tiene que probar lo siguiente:
Si
1 X em
m=1

; gm < 1 entonces e 3m 3

= g1 :

Lo haremos por reducci n al absurdo. Supongamos que

1 X em
m=1
1 1 1

; gm < 1 y, adem s, e = g : 6 3m 3
1 1 1 1 1

Como e y g pueden ser cero o dos, entonces (e y g = 2): Supongamos, por ejemplo que e = 2 y g

=2 =0

y g = 0) o (e calculando
1

=0

e ;g ; 3
1 1

1 X em
m=2

3m

; gm

e ;g
1

1 X em
m=2

; gm < 1 3m 3

26
2 = 3

e ;g < 1 + 3 3
1 1

1 X em
m=2

3m

; gm

Pero
1 X em
m=2
3m

; gm

je ; g j + je ; g j + je ; g j + :::
2 2 3 3 4 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,
1 X em
m=2
3m

; gm

1 : 3 1 1 2 + = : 3 3 3

Por tanto < As , hemos obtenido <

2 3

2 3

X em ; gm 1 + m 3 m=2 3
2 3

lo cual es un absurdo. Por tanto,

1

1 X em
m=1
1

; gm < 1 implica que e 3m 3

1

= g1 :
1 1

El otro caso, cuando e = 0 y g = 2 es an logo, ya que je ;g j = j ; j = Supongamos ahora que la a rmaci n es cierta para n = k es decir,
0 2 3 3

2 3

Si

1 X em
m=1

; gm < 1 entonces e 3m 3k

= g1

= g2

::: ek = gk :

Demostraremos que entonces se cumple para n = k + 1 o sea,

27 Si
1 X em
m=1

; gm < 1 entonces e 3m 3k
+1

= g1

= g2

::: ek

+1

= gk+1 :

Supongamos entonces que

1 X em

Como Como ek ; gk
+1

1 3 +1

<

1 3

podemos aplicar la hip tesis de inducci n y obtener que

m=1

; gm < 1 : 3m 3k
+1

e
+1

= g1

= g2

::: ek = gk : em ; gm
3m =

3k+1

1 X
m=k+2

em ; gm
3m

1 X
m=k+1

1 X em
m=1

; gm < 1 3m 3k

+1

Obtenemos que

ek ; gk
+1

3k+1
+1

+1

< 3k
+1

1
+1

1 X
m=k+2

em ; gm
3m
+1

Supongamos que ek 6= gk tenemos dos subcasos, es decir, (ek y gk = 0) o (ek = 0 y gk = 2) en cualquier caso tenemos jek ; gk j = 2 :
+1 +1 +1 +1

=2

Calculando, como lo hicimos en el primer caso de la inducci n, tenemos que 1 2 ek ; gk < 1 + X em ; gm < 1 + 1 = 2 : =
3k+1
+1

3k+1

+1

3k+1

3k+1

+1

3k+1

Es decir, k < k lo cual es un absurdo. Esta contradicci n muestra que ek = gk : Esto concluye la prueba del lema.
2 3 +1 +1 2 3 +1 +1

m=k+2

3m

3k+1

3k+1

3k+1

TEOREMA 2.9. C es homeomorfo a f0 2g f0 2g f0 2g ::: Demostraci n. Sea

28

' : C ;! f0 2g f0 2g f0 2g ::: De nida de la siguiente forma. Dada x 2 C por el Teorema 1.17, existe una sucesi n femg1 donde cada em = 0 2 tal que m 1 X em x= :
=1

De nimos

m=1 3

'(x) = (e e e :::): Vamos a comprobar que ' esta bi n de nida. Para esto tenemos que ver que la representaci n de cada x como una serie de ese tipo es nica. Supongamos entonces que hay una x 2 C que tiene dos representaciones como las siguientes: 1 1 X em 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, n es el primer sub ndice donde son distintas. 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=1 3

m m

1 1

31 = = = 31 31 31
1 1 1

+ + + + + + +

e < 3 g =

31

0 en+1 en+2 + ::: + n + n+1 + n+2 + ::: 3 3 3 3 e2 + ::: + en;1 + 2 + 2 + ::: 32 3n;1 3n+1 3n+2 e2 + ::: + en;1 + 2 1 + 1 + 2 + ::: 32 3n;1 3n+1 3 32 e2 + ::: + en;1 + 2 3 32 3n;1 3n+1 2 e2 + ::: + en;1 + 1 32 3n;1 3n e2 + ::: + en;1 + 2 + gn+1 + gn+2 + ::: 32 3n;1 3n 3n+1 3n+2 g2 + ::: + gn;1 + gn + gn+1 + gn+2 + ::: = x 32 3n;1 3n 3n+1 3n+2
2 2

29 De aqu que x < x lo cual es un absurdo. Por tanto, en = gn para cada n 2 N : En el otro caso, cuando en = 0 y gn = 2 la prueba es an loga. As , hemos probado que la representaci n de x es nica. Por tanto, ' esta bi n de nida. Para probar que ' es una funci n inyectiva sean

x=
1 2 3

m=1 3

1 X em

yx

m=1 3

1 X gm

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, se tiene que e = g e = g e = g ::: . Esto implica que, x = x : Por tanto ' es inyectiva. Para mostrar que ' es suprayectiva, tomemos (e e e :::) 2 f0 2g f0 2g f0 2g ::: . Consideremos la serie:
1 1 1 2 2 3 3 1 1 2 3

m=1 3
3

1 X em

m
2 3

m Ya que 0 em 2 entonces em m : De modo que esta serie est acotada por una que es convergente. Esto muestra que la serie

m m=1 3
1 2 3

1 X em

converge.

Le llamamos x a su l mite. Por el Teorema 1.17, x 2 C: Entonces ' (x) = (e e e :::) : Por tanto la funci n ' es suprayectiva. As , ' es una funci n biyectiva. Ahora demostraremos que ' es continua en C: Tenemos que mostrar que para cada " > 0 existe > 0 tal que si jx ; x j < entonces d('(x) '(x )) < ": Tomemos una " > 0 arbitraria. Sea M 2 N tal que M < " y sea = M : Tomemos x y x 2 C de manera que jx ; x j < M :
1 1 1 1 1 3 1 2 1 3

Escribimos x =

m m=1 3

1 X em

yx

m m=1 3

1 X gm

30 Por el Lema 2.8, como

1 X em
m=1
3m

; gm

1 = j x ; x1 j < M 3

entonces e

= g1

= g2

::: eM = gM :

Adem s, la m trica dn para el conjunto f0 2g es la m trica discreta, es decir:

dn(p q) = :
Es claro, que dn Calculando
1:

8 < jp;qj
2

si p 6= q si p = q

d('(x) '(x ))
1

= =

je ; g j + je ; g j + ::: + jeM ; gM j + jeM ; gM j + ::: 2 2 2M 2M jeM ; gM j + jeM ; 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

2M +2

+1

+2

2M +3

+2

2 1 = M +2 (2) = M 2 2

< ":

Como x y x fueron elegidos arbitrariamente en C entonces ' es uniformemente continua en C y, por tanto continua en C: Entonces tenemos una funci n ' continua e inyectiva del espacio m trico compacto C sobre el espacio m trico f0 2g f0 2g f0 2g ::: . De acuerdo con Rudin, Teo. 4.17] ' es un homeomor smo. Esto concluye la prueba del teorema.
1

Por el teorema Rudin, Teo. 2.43] como C es perfecto, se tiene que C es no numerable. En realidad, 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. A partir de este momento denotamos a f0 2g f0 2g f0 2g ::: por f0 2g1 :

31

TEOREMA 2.10. C es no numerable. Demostraci n. Haremos esta demostraci n por reducci n al absurdo. Esto es, supongamos que C es numerable. Por el Teorema 2.9, C y f0 2g1 tienen la misma cardinalidad. Entonces tambi n estamos suponiendo que f0 2g1 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

. . .

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

si enn si enn

( ) ( )

=2 =0

e e e :::) 2 f0 2g1 .
2 3 4 ( ) 1 ( ) 2 ( ) 3 ( ) 4 ( )

Notemos que, para toda n 2 N ,

(e1

e e e ::: en :::) 6= (e n e n e n e n ::: enn :::)

2 3 4

32 Porque en 6= enn para toda n 2 N : As , 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. Por tanto, f0 2g1 es no numerable.
( )

Hasta ahora, hemos probado algunas propiedades topol gicas del conjunto de Cantor, a saber, que es un espacio m trico, compacto, no vac o, perfecto y no numerable. Ahora veremos, que es un conjunto totalmente disconexo, esto es, que las componentes conexas de C son s lo puntos. Para probar esta propiedad, daremos los siguientes lemas.

LEMA 2.11. Sean x 2 C r > 0 y n 2 N tales que Br (x) \ (R ; Cn) 6= :

1 23

< r entonces

Demostraci n. Haremos esta prueba por reducci n al absurdo. Supongamos, por el contrario, que Br (x) Cn: Por hip tesis, si x 2 C entonces x 2 Cn para toda n 2 N . Recordemos que
Cn =
3
0 0 +1

n ;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 ;n son cerrados y ajenos n n dos a dos. Adem s, Br (x) es un conjunto conexo y como Br (x) Cn entonces existe un k 2 f0 1 ::: 2n ; 1g tal que B (x) ak ak + 1
3 3
1 1 +1

3n

3n

de aqu que,
2r = diametro (Br (x))

diametro

3n

ak ak + 1
3n

1 = n: 3

Esta contradicci n prueba que Br (x) \ (R ; Cn) 6= y concluye la prueba del lema.

x < z < y:

LEMA 2.12. Sean x y 2 C con x < y entonces existe z 2 R; C tal que

33

Demostraci n. 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, existe q 2 Br (p) \ (R ; Cn) : Entonces q 2 Br (p) (x y) C Cn y q 2 R ; Cn:
1 23

Este absurdo muestra que el lema es cierto.

TEOREMA 2.13. C es un conjunto totalmente disconexo.

conjunto de Cantor son sus puntos. Supongamos que una componente no es un punto y la llamamos A es decir, vamos a suponer que A es un conjunto conexo, A C y que existen x y 2 A tales que x < y: Por el Lema 2.12, existe z 2 R ; C tal que x < z < y: Dada p 2 A p 6= z pues z 2 C: De modo que p < z o p > z: Esto muestra = que

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

1) \ A) : Notemos que x 2 (;1 z) \ A y y 2 (z 1) \ A: Entonces hemos escrito a

((z

A = ((;1 z) \ A)

34

Cap tulo 3

En el cap tulo anterior vimos que el conjunto de Cantor es un espacio m trico, compacto, perfecto, no vac o y totalmente disconexo. En este cap tulo probaremos que estas propiedades caracterizan al conjunto de Cantor. Es decir, si un espacio topol gico X tiene todas estas propiedades entonces X es homeomorfo al conjunto de Cantor. El otro resultado importante de este cap tulo ser que todo espacio m trico y compacto es una imagen continua del conjunto de Cantor. Los resultados importantes para probar este ltimo teorema son: - El conjunto de Cantor es homeomorfo a un producto numerable de copias de l. - 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. - Todo espacio m trico y compacto se puede encajar como un subconjunto cerrado del cubo de Hilbert. - El conjunto de Cantor se puede retraer a cualquiera de sus subconjuntos cerrados y no vac os.

una sucesi n de ceros y doses.

C con el espacio f0 2g1 : Esto es posible debido al Teorema 2.9. Entonces cuando nos re ramos a un elemento de C escribiremos

A lo largo de este cap tulo, identi caremos al conjunto de Cantor

PROPOSICION 3.1. Para toda n 2 N , C es homeomorfo a C n:

35

36

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

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, por la de nici n de igualdad en el producto. As ,
(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, f es una funci n inyectiva. 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

37 Por lo que, f es una funci n suprayectiva. Vamos a demostrar que f es una funci n continua. De acuerdo con Willard, Teo. 8.8] esto es equivalente a probar que, n f es continua para cada n 2 N : Sea n 2 N , calculando:
n

f ((a a a :::) (b b b :::)) = :

1 2 3 1 2 3

8 < a n+1

bn
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. Para hacerlo m s expl cito, consideremos las funciones ' y ' de nidas por

' ((a a a :::) (b b b :::)) = (a a a :::) ' ((a a a :::) (b b b :::)) = (b b b :::) Calculando n (' ((a a a :::) (b b b :::))) = n ((a a a :::)) = an: Mientras que n; (f ((a a a :::) (b b b :::))) = a n; = an : De igual manera: n (' ((a a a :::) (b b b :::))) = n ((b b b :::)) = bn : Por otra parte, n (f ((a a a :::) (b b b :::))) = b n = bn : De manera que n ' = n; 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 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 2

Como C C es un m trico compacto (el producto cartesiano de conjuntos compactos es un conjunto compacto), y adem s tenemos una funci n f continua e inyectiva de un espacio m trico compacto sobre C: De acuerdo con Rudin, Teo. 4.17] f es un homeomor smo. Esto termina la prueba de que C es homeomorfo a C C: Para hacer el paso inductivo, suponemos que

C C;veces C es homeomorfo a C: ::: n

38 Como

C nC ;veces C es homeomorfo a (C C ::: C ) C :::

+1

n;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, C nC ;veces C tambi n es homeomorfo a C: ::: Esto completa la inducci n y la prueba de la Proposici n 3.1. Como se mencion al inicio de este cap tulo, vamos a demostrar que C es homeomorfo a un producto numerable de copias de l. Para esto, recordemos que N N es un conjunto numerable, por lo que, denotaremos con a una funci n biyectiva de N en N N ( : N ;! N N ) .
+1

ducto numerable de copias de l. Esto es, C es homeomorfo a C C C ::: .

PROPOSICION 3.2 El conjunto de Cantor es homeomorfo a un proDemostraci n. Sea

f : C C C ::: ;! 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)

(3 2)

(3 3)

:::) :::) =

Demostraremos que f es una funci n inyectiva. 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

39
(a
(1)

a a

(2)

(3)

:::) = (b

(1)

(2)

(3)

:::):

Por la de nici n de igualdad en el producto, obtenemos

( )

n = b (n)

para toda n 2 N .

Sea (n m) 2 N N , como que (r) = (n m): Por lo que,

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)

(1 2)

= b(1 2)

(1 3)

= b(1 3)

:::
(2 2)

Por tanto, (a a a :::) = (b b b :::) (a (b b b :::) (a a a :::) = (b Por tanto, f es una funci n inyectiva.
(1 3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) 1 1 2 3

(2 1)

(3 1)

a b

(3 2)

a b

(2 3)

(3 3)

:::) = :::) ::: .

Para mostrar que f es una funci n suprayectiva, tomemos un punto cualquiera (c c c :::) 2 C: Dadas n y m 2 N , de nimos a n m = c ; n m : Como ; (n m) es un n mero natural, c ; n m est bien de nido. 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)

(2)

(3)

:::) = (c ; c (c c c :::):
1 ( (1))

;1 (

(2))

;1 (

(3))

:::) =

Por tanto f es suprayectiva. Vamos a demostrar que f es una funci n continua. De acuerdo con Willard, Teo. 8.8] esto es equivalente a probar que n f es continua para toda n 2 N . Sea n 2 N , calculando:
n

f ((a

(1 1)

(a(3 1) n (a (1)

(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)

:::)

40 Esta f rmula nos muestra que n f es pr cticamente una proyecci n. 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 . Como : N ;! N N , entonces (n) = (m r) : Calculando a a :::) (a a a :::) (a a a :::) :::) = r m ((a r (a m a m a m :::) = a m r = a n : De manera que n f = r m: Como r y m son continuas, 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) ( ( )

f es continua para toda n 2 N .

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

g : C ;!
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

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

0 0 0 + 4 + 5 + ::: = 0 3 2 2 2 2 2 2 1 + 4 + 5 + ::: = 23 2 2 2

2 2 2

42

g((0 g((0 g((2 g((2 g((2 g((2

0 2 2

0 :::)) = 2 0 :::)) = 2 2 :::)) = 2 2 :::)) = 2 2 :::)) = 2

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 + 4 + 5 + ::: = 23 2 2 4 2 2 2 + 4 + 5 + ::: = 1 3 2 2 2

2 0 0

0 0 0

0 2 2

2 0 0

2 2 2

2 :::)) = 2

Figura 2. Ilustraci n de la gr ca de la funci n g.

43 Una vez bosquejada la gr ca de la funci n, demostraremos en la Proposici n siguiente que g es una fuci n continua y suprayectiva. Y por consiguiente, estaremos mostrando que el intervalo 0 1] es la imagen continua del conjunto de Cantor.

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

para toda n 2 N entonces

1 1 1 1 + 2 + 3 + ::: = 2 2 2 2

2 2

a3
23
2

+ :::

an
2

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. Para mostrar que g es una funci n suprayectiva tomemos un n mero cualquiera entre 0 y 1 es decir, sea y 2 0 1] : Consideremos su presentaci n binaria, es decir:
n+1 n=1 2

1 1 1 + 2 + 3 + ::: 2 2 2

44

y=a
donde ai 2 f0 1g : Como

2 3 + a2 + a3 + ::: 2 2

y=a
1

2 3 + a2 + a3 + ::: = 22a21 + 22a32 + 22a43 + ::: = g ((2a1 2a2 2a3 2 2

:::))
=

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. 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 :::)) ; g ((b b b :::))j

1 2 3 1 2 3

1 X 1 X
n=1

1 an ; X bn 2n 2n
+1

an ; 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 ; bn j 2n+1

1 X an

2n+1

; bn

= ":

Esto es,

jg ((a a a :::)) ; g ((b b b :::))j < ":

1 2 3 1 2 3

Por tanto, g es una funci n continua en C: Esto concluye la prueba de la proposici 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.

C en

PROPOSICION 3.4. Existe una funci n continua y suprayectiva de

0 1] 0 1] 0 1]

:::

a C C C ::: . Sea

Demostraci n. Por la Proposici n 3.2, tenemos que C es homeomorfo

45

f : C C C ::: ;!

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. Como f es una funci n que se mete a un producto, para ver su continuidad basta comprobar que, n f es continua, para toda n 2 N . Sea n 2 N , calculando
n

f (x x x :::) = g(xn) = g
1 2 3

n (x1

x x :::)
2 3

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

46
conjunto denso y numerable. nito.

TEOREMA 3.5. Todo espacio m trico compacto X contiene un sub-

TEOREMA 3.6. Todo espacio m trico compacto X , tiene diametro TEOREMA 3.7. Todo espacio m trico compacto X , se le puede dar
d (p q)
1

una m trica d1 tal que

para toda p q 2 X

Demostraci n. Por el Teorema 3.6, se tiene diametro X < 1: De nimos d de la siguiente manera: d(p q) d (p q) = diametro X para toda p q 2 X donde d(p q) es la m trica de nida en X: Es claro, 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. Es decir, existe una funci n inyectiva y continua h : X ;! 0 1] 0 1] 0 1] :::

TEOREMA 3.8. Sea X un espacio m trico y compacto. Entonces X

Demostraci n. Por el Teorema 3.7 podemos suponer que d(p q) 1 para cualesquiera p q 2 X: Por el Teorema 3.5 existe un conjunto denso y numerable D = fa a a :::g en X: Sea h : X ;! 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

47 En primer lugar, mostraremos la continuidad de la funci n h: De acuerdo con Willard, Teo. 8.8] necesitamos comprobar que n h es continua para toda n 2 N . Sea n 2 N , 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, habremos terminado. Sea

H : X ;! 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(y x ) d(x y): Similarmente
0 0 0 0

d(y x ) ; d(x x ) d(y x):

0 0

Entonces jH (x) ; H (y)j d(x y) De aqu se sigue que H es continua. Por tanto, n h es continua para toda n 2 N , de donde h es una funci n continua. Demostraremos que h es inyectiva. Esta prueba se realizar por reducci n al absurdo, esto es, supongamos que h(p) = h(q) y, adem s que, p 6= q: Como p 6= q el n mero c = d(p q) es positivo. 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

48 As que c < c: Como este absurdo nace de suponer que h no es inyectiva, concluimos entonces que h es inyectiva. Ahora, analizando la imagen directa de X se tiene que h (X ) 0 1] 0 1] 0 1] ::: pero, adem s, h (X ) es un conjunto compacto (es la imagen continua de un compacto). Sabemos que los subconjuntos compactos de espacios m tricos son cerrados entonces h (X ) es un cerrado. Esto concluye la prueba del Teorema. Resumiendo hemos consiguido encontrar una funci n continua y suprayectiva de C al cubo de Hilbert. Por otra parte, 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, 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. Pero antes de la de nici n de dicha funci n, mostraremos una manera topol gicamente equivalente de construir a C:

LEMA 3.9. Sea

D=
Si

( 1 X an

n : an n=1 4

2 f0 3g para toda n 2 N :

f : C ;! D
est de nida por la f rmula

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. Cada serie de la forma

1 X an
n=1
4n

con an 2 f0 3g para toda n 2 N ,

49 est acotada por la serie

1 X 3
n=1
4n =3

1 X 1
n=1

4n

= 1:

Por tanto cada serie de las que de nen a D es convergente y representa a un n mero en el intervalo 0 1] : Cada x 2 C por el Teorema 2.9, tiene una representaci n nica de la forma 1 X an x= donde a 2 f0 2g
n n=1 3 n

entonces an 2 f0 3g : Esto muestra que f est bien de nida.

3 2

Ahora mostraremos que f es inyectiva. Sean x y 2 C tales que x 6= y: Escribimos 1 1 X bn X an y= donde a b 2 f0 2g : x=

n n=1 3 n n=1 3 n n

Como x 6= y entonces existe m 2 N tal que am 6= bm y m es la primer ndice en donde son diferentes. Entonces (am = 0 y bm = 2) o (am = 2 y bm = 0): Analizando un t rmino cualquiera de la serie, obtenemos que se puede acotar superiormente por
3 2

4n

an an

4n

3 2

3 4n

para cada n 2 N :

Es decir,
3 2

4n

3 4n

para cada n 2 N :

Primer caso. Si am = 0 y bm = 2 se tiene

f (x)

3 2

41

3 2

42

3 am+1 3 am+2 0 + ::: + m + 2 m+1 + 2 m+2 + ::: 4 4 4

50
3 2

= = =

3 2

4 4 4 4

a a a a

1 1

+ + + +

3 2 3 2

4 4 4 4

a a a a

2 2

+ ::: + + ::: + + ::: + + ::: +

3 2 3 2

+ m+1 + m+2 + ::: 4m;1 4 4

1

am; am; am; am;

3 2

3 3 3

1 1

2 2

+ m+1 4m;1 4 + m+1 4m;1 4 + m 4m;1 4 + m 4m;1 4

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

<

3 2 1 1 3 2 1 1

b b

+ +

3 2 2 2 3 2 2 2

b b

Es decir, f (x) < f (y): Por tanto, f (x) 6= f (y): En el caso, am = 2 y bm = 0 la demostraci n de que f (x) 6= f (y) es similar. Por tanto f es inyectiva. Para mostrar que f es suprayectiva. Sea y 2 D esto es, 1 1 X an X 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 X an X an X an f n = n = n =y
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;

n n=1 4

n n=1 3

Por tanto, f es una funci n suprayectiva. Por consiguiente, f es una funci n biyectiva. Demostraremos que la f es una funci n continua. ; ; Sea " > 0: Como n ! 0 y n ! 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

51
1 X
3 2

jf (x) ; f (y)j =
Ya que
1 X an
n=1

n n=1 4

an

1 X

n n=1 4

3 2

bn

1 X
n=1

3 2

an ; bn
4n
3 2

1 X
n=1

3 2

jan ; bn j :
4n

3n

; bn

1 = jx ; y j < M 3

por el Lema 2.8, se obtiene que

a
4
3 2 2

= b1

= b2

::: aM = bM :
3 2

Observemos que jan ; bnj = n para toda n 2 N : Entonces

3 4

; para toda n 2 N : Por lo cual, jann bn j

4

jf (x) ; f (y)j

1 X
n=1
3

3 2

jan ; bn j = jaM ; bM j + jaM ; 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, entonces que

jf (x) ; f (y)j =

1 X

n n=1 4

3 2

an

1 X

n n=1 4

3 2

bn

<"

Por tanto, f es una funci n continua. Resumiendo, hemos obtenido una funci n continua e inyectiva de un espacio m trico compacto C sobre el espacio m trico D por Rudin, Teo. 4.17] se obtiene que f es un homeomor smo de C en D: Esto concluye la prueba del lema

52

LEMA 3.10. No existen a b c 2 D tales que a < b < c y c ; b = b ; a: Demostraci n. Esta prueba se realizar por reducci n al absurdo. Sean a b c 2 D: Entonces
a=
1 X dn
n=1
4n

b=

1 X en
n=1

4n

yc=

1 X fn
n=1

4n

donde dn en fn 2 f0 3g

supongamos que a < b < c y c ; b = b ; a: Como a < c existe m 2 N tal que dm 6= fm y adem s es la primera m en donde son diferentes. Sabemos que, dm 6= fm entonces dm < fm o dm > fm : Probaremos que el caso fm < dm no es posible. Si fm < dm entonces fm = 0 y dm = 3: Calculando

41 = = = 41 41 4

+ + + + + + +

< d 4 d
4

1 1

1 1

0 fm+1 fm+2 + ::: + m + m+1 + m+2 + ::: 4 4 4 4 f2 + ::: + fm;1 + 3 + 3 + ::: 42 4m;1 4m+1 4m+2 f2 + ::: + fm;1 + 3 1 + 1 + 1 + ::: 42 4m;1 4m+1 4 42 f2 + ::: + fm;1 + 3 4 42 4m;1 4m+1 3 f2 + ::: + fm;1 + 1 42 4m;1 4m d2 + ::: + dm;1 + 3 42 4m;1 4m d2 + ::: + dm;1 + 3 + dm+1 + dm+2 + ::: = a: 42 4m;1 4m 4m+1 4m+2
2 2

Es decir, c < a lo cual es un absurdo. 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:

53 Ahora mostraremos que d = e = f ::: dm; = em; = fm; : Supongamos que esto no ocurre. Sea r el primer natural tal que dr 6= er entonces r m ; 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 ; 1 y m era el primer natural donde dm 6= fm: Con esta contradicci n hemos probado que d = e = f ::: dm; = em; = fm; : Para completar la prueba del lema, 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;a

= =

e ;d
1

em ; dm
+1

41

e ;d
2

42

4m+1 3 = m+1 4

4m+1

+1

em ; dm
+2

+ ::: + 4m+2

0;0 + 4m
+2

em ; dm
+1

em ; 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, analizando el caso extremo en que para toda i = 1 2 ::: . Se tiene

fm+i ;em+i = 4m+i

;m
4

c;b

Es decir, b;a < c;b lo cual es un absurdo. Ya que, por hip tesis b;a = c;b:

4 3 = m; 4 3 = m; 4 3 = m; 4
1

f ;e
1

+ 3 3

f ;e
2

4m+1 4m+1

3 ; 4m ; 4m ; :::
+2 +3

+ ::: +

3 ; 0 fm+1 ; em+1 + + ::: 4m 4m+1 3 3 = m 4 3 ; 4m 4 3

1+

1 2 = m 4m 4

1 1 + 2 + ::: 4 4

+1

54 Si em = 3: Calculando

c;b

= =

f ;e
1

fm ; em
+1

f ;e
2

+ + + ::: 4m+1 4m+2 4m+3 = 4m+1 3 1+ 1 1 + 2 + ::: 4 4

4m+1

+1

fm ; em
+2

+ ::: + 4m+2

3 ; 3 fm+1 ; em+1 + + 4m 4m+1

+2

fm ; em
+3

:::

4m+3 4 3

+3

+ :::

3 = m+1 4

1 = m 4

Por otra parte, analizando el caso extremo en que para toda i = 1 2 ::: . Se tiene

em+i ;dm+i = 4m+i

;m
4

b;a

Es decir, c ; b < b ; a lo cual es un absurdo. Ya que, b ; a = c ; b: Por tanto, hemos demostrado que no existen a b c 2 D tales que a < b < c y b ; a = c ; b: Esto concluye la prueba del lema. En el teorema siguiente identi caremos al conjunto de Cantor con el espacio D: Esto es posible debido al Lema 3.9. Entonces cuando nos re ramos a un elemento de C lo escribiremos como una serie de ceros y treses divididos entre potencias de cuatro.

4 3 = m; 4 3 = m; 4 3 = m; 4
1

e ;d
1

+ 3 3

e ;d
2

4m+1

3 ; 4m ; 4m ; :::
+2 +3

+ ::: +

3 ; 0 em+1 ; dm+1 + + ::: 4m 4m+1 3 3 = m 4 3 ; 4m 4 3

4m+1 1 2 m = 4m 4

1+

1 1 + 2 + ::: 4 4

+1

TEOREMA 3.11. Si A D, A es un conjunto cerrado y no vac o entonces existe una funci n continua k : D ;! A tal que k(a) = a para toda a 2 A: Demostraci n. Sea

55

k : D ;! A
de nida por la siguiente correspondencia

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

56 Como (z ; r z + r) \ D = y a 2 D entonces a z ; r o z + r a: La segunda desigualdad no es posible pues a z: De manera que a z ; r: Entonces

a z ; r < z < x ; r < y:

2

As que jy ; aj = y ; a > x ; r ; (z ; r) = (x ; z) + r = + r = ax ; x + r = ax ; (x ; r ) > ax ; y = jax ; y j (la ltima igualdad se cumple porque y < x + r < x + = ax): Por tanto jy ; axj jy ; aj : Caso 2. ax a: En este caso jy ; axj = ax ; y a ; y = jy ; aj : Esto concluye la prueba de que jy ; axj jy ; aj para toda a 2 A: ; Entonces k(y) = ax para toda y 2 x ; r x + r \ D: Haciendo = r tenemos que para toda y 2 B r (x) \ D jk(y) ; k(x)j = jax ; axj = 0 < ": Por tanto k es continua en x para toda x 2 D ; 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 ; k(y)j = jy ; ay j jy ; xj < = " : De manera que jk(x) ; k(y)j = jx ; k(y)j jx ; yj + jy ; k(y)j < ": Esto termina la prueba de que k es continua en los puntos de A: Por tanto k es continua.
2 2 2 2 2 2 2 2 2
2

Ya estamos en condiciones de demostrar el siguiente teorema.

TEOREMA 3.12. Sea X un espacio m trico, compacto y no vac o entonces existe una funci n continua y suprayectiva. : C ;! X Demostraci n. Sea X un espacio m trico y compacto. Por el Teorema 3.8, existe una funci n continua e inyectiva
h : X ;! f : C ;!
0 1] 0 1] 0 1]

:::

Por otra parte, por la Proposici n 3.4, existe una funci n continua y suprayectiva
0 1] 0 1] 0 1]

:::

57 Sea B = f ; (h(X )): Claramente B es un subconjunto cerrado y no vac o de C . De acuerdo con el Teorema 3.11 existe una funci n continua k : C ;! 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; f k : C ;! X: es una funci n continua ya que es la composici n de funciones continuas. Dada p 2 C k(p) 2 B = f ; (h(X )): As que f (k(p)) 2 h(X ): Por lo que tiene sentido aplicar h; (f (k(p))): Esto nos dice que est bien de nida. 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;1 (f (k (c))) = h;1 (f (c)) = h;1 (q ) = x:

Por tanto, es una funci n suprayectiva. Esto concluye la prueba del teorema. Como vimos en el cap tulo 2, el conjunto de Cantor es un espacio m trico, compacto, perfecto, no vac o y totalmente disconexo. Ahora veremos que si otro espacio X tiene las propiedades anteriores tiene que ser forzosamente homeomorfo a C: Por lo que, estas propiedades caracterizan al conjunto de Cantor. Para lograr la de nici n de un homeomor smo de X en C es necesaria la construcci n que se muestra en los lemas siguientes.

LEMA 3.13. Sea X un espacio m trico, compacto, no vac o, 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 , A1 A2 ::: AN son ajenos entre s y diametro Ai < " para cada i = 1 2 ::: N:

58 rema que dice que para los espacios m tricos compactos la propiedad de ser totalmente disconexo es equivalente a la propiedad de tener una base de abiertos y cerrados. La prueba de este resultado se puede encontrar en Chandler, Lema 6.31] : Entonces podemos suponer que X tiene una base de conjuntos abiertos y cerrados. 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, 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 . 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 . (ii) X = B B ::: BN (iii) Ning n Bi sobra. 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). Como cada Bi 2 U tenemos que diametro(Bi) < ": De namos los siguientes conjuntos:
1 1 2

= B1

= B2 ; B1

= B3 ; (B1

B ) ::: AN = BN ;
2

N ;1 j =1

Bj :

Por la condici n (iii) cada Ai 6= : Ya que Ai = Bi ;

i;1 j =1
!

Bj

= Bi \

i;1 j =1

Bj

!c

= Bi \

i;1 \ j =1

Bjc

59 tenemos que Ai es una intersecci n nita de abiertos y tambi n de cerrados (cada Bj es abierto y cerrado). De manera que Ai es abierto y cerrado. Para ver que si k < i entonces Ak \ Ai = observemos que

Ak Bk

i;1 j =1
1

Bj de modo que Ak \Ai

2 1 2

i;1 j =1

Bj \ Bi ;

i;1 j =1

!!

Bj

Por tanto A A ::: AN son ajenos entre 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;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. Hemos visto en el lema anterior que, si X es un espacio m trico, compacto, 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. 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.

LEMA 3.14. Sea X un espacio m trico, compacto, totalmente disconexo y sin puntos aislados. Sea A X un subconjunto abierto, cerrado y no vac o, entonces A es un espacio m trico, compacto, totalmente disconexo y sin puntos aislados.
es un espacio m trico. Adem s, es claro que los subconjuntos de espacios totalmente disconexos son totalmente disconexos, por lo cual, A es totalmente disconexo.

Demostraci n. Cualquier subconjunto no vac o de un espacio m trico

60 Como A es un subconjunto cerrado de un conjunto compacto entonces A es un compacto. Para ver que A no tiene puntos aislados, sea " > 0: Como A es abierto, existe r > 0 tal que Br (x) A y r < ": Ya que X no tiene puntos aislados, existe y 2 X tal que y 6= x y y 2 Br (x): Entonces y 2 A \ Br (x) y y 6= x: Por tanto A no tiene puntos aislados. Esto concluye la prueba del lema. Si X es un espacio m trico, compacto, totalmente disconexo y sin puntos aislados, por el Lema 3.13, dado un " > 0 podemos encontrar una partici n nita de subconjuntos abiertos y cerrados, no vac os y con otras propiedades m s. Por el Lema 3.14, obtenemos que cada subconjunto abierto y ce-rrado, no vac o de dicha partici n hereda las propiedades del espacio original. Ahora, probaremos que esta partici n se puede re nar tanto como queramos.

LEMA 3.15. Sea X un espacio m trico, no vac o, compacto, 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. Sea " > 0: Por el Lema 3.13, 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 . (iv ) diametro Ai < " para cada i = 1 2 ::: N: Consideremos al abierto y cerrado AN . Como AN 6= existe a 2 AN por el Lema 3.14, AN es un espacio m trico, compacto, totalmente disconexo y sin puntos aislados. Al ser AN un conjunto abierto entonces existe r > 0 tal que Br (a) AN : Adem s, AN no tiene puntos aislados, por lo que, existe y 6= a y 2 AN tal que y 2 Br (a) : Por consiguiente, AN tiene al menos dos elementos. Ahora, AN es totalmente disconexo. En particular, AN no es
1 2 1 2 1 2

61 conexo, por lo cual, existe una disconexi n para AN : Sean H y K abiertos tales que H K = AN H \ K = , H 6= y K 6= : De namos

= A1

= A2

::: BN ;

= AN ;1

BN = H y BN

+1

= K:

Como X ; H = X K ; AN . Pero el conjunto de la derecha es abierto (ya que es la diferencia de un abierto con un conjunto cerrado). Por tanto H es cerrado. De igual manera, X ; K = X H ; AN se deduce que K es un conjunto cerrado. As , H y K son conjuntos abiertos y cerrados. Demostraremos que X = B B ::: BN BN : Calculando X = B B ::: BN ; BN BN = A A ::: AN ; H K = A A ::: AN ; 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, B B ::: BN ; BN y BN son ajenos entre s . Adem s, Bi 6= para i = 1 2 ::: N N + 1: Calculando diametro Bi = diametro Ai < " para i = 1 2 ::: N ; 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. Procediendo en forma similar se muestra que X se puede partir en N + 2 partes, en N + 3 partes, etc. De manera que X se puede partir en n partes para toda n N: Esto concluye la prueba del lema.
1 2 +1 1 2 1 +1 1 2 1 1 2 1 1 2 1 +1

Resumiendo para cualquier espacio m trico, no vac o, compacto, 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. Adem s, estos subconjuntos heredan las propiedades del espacio original y su di metro es menor que la " dada.

DEFINICION 3.16. Una (n ") ; particion de un espacio X es una familia P = fA A ::: An; g que satisface lo siguiente: (i) Cada Ai es un abierto, cerrado y no vac o para cada i 2 f0 1 ::: n ; 1g :
0 2 1

62
(ii) diametro Ai < " para cada i 2 f0 1 (iii) X = A0 A1 ::: An;1 (iv ) A0 A1 ::: An;1 son ajenos entre s .

::: n ; 1g :

Como hemos estado anunciando vamos a mostrar que si X es un espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados, entonces X es homeomorfo a C: La demostraci n de este hecho se basa en hacer particiones adecuadas de X: Empezaremos partiendo X por un n mero de la forma 2n de conjuntos abiertos, cerrados, no vac os y de di metro menor que 1: Como segundo paso, 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, cerrados, no vac os y de di metro menor que : Y seguiremos partiendo y partiendo. 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, de donde J (n n ::: nm) tiene 2n 2n ::: 2nm = 2n n ::: nm elementos.
1 2

1 2

1+ 2+

LEMA 3.17. Sea X un espacio m trico compacto (no vac o), totalmente disconexo y sin puntos aislados, entonces existe una sucesi n de n meros naturales fnm gm2N y una sucesi n de particiones fPm gm2N de X tales que (a) Cada Pm es de la forma Pm = fA : 2 J (n1 ::: nm)g (b) Los elementos de Pm son abiertos, cerrados, no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n1 n2 ::: nm;1 ) el conjunto A( ) 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm;1 : Demostraci n. Haremos una construcci n inductiva. (1) Para n = 1: Apliquemos el Lema 3.15 a " = 1: Entonces existe N 2 N tal que para cada n N hay una (n 1) ; particion de X . Sea n 2 N tal que 2n N : Entonces existe una (2n 1) ; particion de X la cual denotaremos por P = fAa : 2 J (n )g (como P y J (n ) tienen 2n elementos, podemos numerar a P con los ndices en J (n )):
1 1 1
1

63 (2) Supongamos que P P ::: Pm ya han sido construidos. Dada = (a a ::: am) 2 J (n n ::: nm): Por el Lema 3.14, A es un espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados. Apliquemos el Lema 3.15 a " = m y al espacio A entonces existe N 2 N tal que, para cada n N A tiene una (n m ) ; particion. Ya que J (n n ::: nm) es nito, podemos tomar nm 2 N tal que 2 nm N para toda 2 J (n ::: nm): Entonces, para cada 2 J (n ::: nm ) existe una (2nm m ) ; particion Q de A : Como Q tiene 2nm elementos, al igual que f0 1gnm podemos denotar a sus elementos en la forma A donde 2 f0 1gnm : Notemos que a ( ) lo podemos interpretar como a unS elemento de J (n ::: nm ): Finalmente de nimos Pm = fQ : 2 J (n ::: nm)g : Claramente los elementos de Pm son abiertos y cerrados de X son no vac os y tienen di metro menor que m : Para cada 2 J (n ::: nm ) el conjunto A 2 Pm : 2 f0 1gnm es Q y entonces es una partici n de A 2 Pm : S lo nos resta probar que Pm es una partici n de X: Dada x 2 X como Pm es partici n de X existe 2 J (n ::: nm) tal que x 2 A : Y como Q es partici n de S existe 2 f0 1gnm tal que A 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 . Por tanto Pm es una partici n de X: Esto concluye la construcci n y la prueba del lema.
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

LEMA 3.18. Para cada sucesi n n n ::: en N , el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio m trico f0 1g f0 1g f0 1g :::
1 2
1 2 3

Demostraci n. Sea Z = f0 1gn f0 1gn f0 1gn g : Z ;! f0 1g f0 1g f0 1g :::

1 2

:::

de nida por la siguiente correspondencia

64

g((a ::: an ) (a ::: an ) (a ::: an ) :::) = (a ::: an a ::: an a ::: an :::) donde ain 2 f0 1g para toda i n 2 N .
(1) 1 (1) 1 ( ) (1)
1

(1)
1

(2) 1

(2) 1

(2)
2

(2)
2

(3) 1

(3) 1 (3)
3

(3)
3

Demostraremos que g es una funci n inyectiva. 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 :::) Entonces a m = b m ::: anm = bnm para toda i y m 2 N . Esto es, por la i i de nici n de igualdad en el producto. As , (a ::: an ) = (b ::: bn ) (a ::: an ) = (b ::: bn ) (a ::: an ) ::: . Por tanto 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 ::: . Aplicando g: g((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) = (a a a :::): Por lo que, g es una funci n suprayectiva.
1 2 3 1
1 1 1 +1 2 1+ 2 3 1 + 2 +1 1+ 2+ 3

1 +1

1+ 2

1 + 2 +1

1+ 2+ 3

Vamos a probar que g es continua. Bastar con que probemos que n g : Z ;! f0 1g es continua, donde n : f0 1g f0 1g f0 1g ::: ;! f0 1g es la proyecci n natural. Tomemos pues n 2 N . 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; 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

(3)
3

+1

(3)
3

+1)

( 1+ 2+

65 De manera que para obtener la funci n n g podemos primero tomar la proyecci n (m+1);esima del punto a y obtener al punto (a m ::: anmm ) 2 f0 1gnm y despu s tomarle la proyecci n n ; (n + n + ::: + nm ) a este punto. Por tanto n g es la composici n de dos proyecciones y, en consecuencia esta funci n es continua. Por tanto g es una funci n continua.
+1

( 1

+1)

+1)

+1)

Hemos obtenido una funci n continua e inyectiva del espacio m trico compacto f0 1gn f0 1gn f0 1gn ::: en el espacio m trico f0 1g f0 1g f0 1g ::: . Por Rudin, Teo. 4.17] g es un homeomor smo. Esto concluye la prueba del lema.
1 2 3

LEMA 3.19. El espacio m1trico f0 1g f0 1g f0 1g ::: es homeomorfo al espacio m trico f0 2g : Demostraci n. Sea h : f0 1g f0 1g f0 1g ::: ;! 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, Teo. 4.17] h es un homeomor smo. Esto concluye la prueba del lema.
homeomorfo a C:

LEMA 3.20. El espacio m trico f0 1gn

f0 1gn
1

f0 1gn
2

::: es
3

Demostraci n. Por el Lema 3.18, el espacio f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio f0 1g f0 1g f0 1g ::: .

66 Por el Lema 3.19, el espacio f0 1g f0 1g f0 1g ::: es homeomorfo a f0 2g1 : Por el Teorema 2.9, 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, en particular es transitiva. Por tanto el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo a C: Esto concluye la prueba del lema.
1 2 3

Estamos listos para demostrar el ltimo resultado de este trabajo.

mente disconexo y sin puntos aislados, entonces es homeomorfo al conjunto de Cantor.

TEOREMA 3.21. Sea X un espacio m trico, no vac o, compacto, total-

Demostraci n. Por el Lema 3.17, 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, cerrados, no vac os y de di metro
1

menor que m : (c) Para cada 2 J (n ::: nm; ) el conjunto A 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm; :
1 1 1 ( ) 1 1 1

Tomemos un punto x 2 X: Dada m 2 N , 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. Sea
1 +1 1 +1 1 +1

f : X ;! f0 1gn

f0 1gn
1 2

f0 1gn
:::)

:::

de nida por la siguiente correspondencia

f (x) = (

67 donde para cada m 2 N , x 2 A ::: m : Por la observaci n que hicimos hace dos p rrafos, no depende de cual m 2 N se tome, no depende de cual m 2 se tome, no depende de cual m 3 se tome, etc. Por tanto f es una funci n bien de nida.
( 1 ) 1 2 3

Demostraremos que f es una funci n inyectiva. Sean

f (p) = (
(

:::) y f (q) = ( :::) = (

:::):

Supongamos que f (p) = f (q): Esto es equivalente a que

1 2 3 1 2 3

:::)
1

Entonces m = m para toda m 2 N . Por consiguiente, p q 2 A m con m 2 J (n ::: nm ) para toda m 2 N . Es decir d(p q ) < diametro(A m ) < m para toda m 2 N . Por tanto, d(p q) = 0: Esto es equivalente a p = q: As , f es inyectiva.
1

Para mostrar que f es una funci n suprayectiva tomemos un punto arbitrario ( :::) 2 f0 1gn f0 1gn f0 1gn ::: . Por la parte (c) del Lema 3.17, se obtiene
1 2 3
1 2 3

( 1

::: m+1 )

( 1

::: m )

para toda m 2 N .

Es decir, tenemos una sucesi n decreciente de conjuntos compactos, no vac os. Por Rudin, Teo.2.36] se obtiene que
1 \
m=1

( 1

::: m ) 6=

Si tomamos un punto r en esta intersecci n, entonces

f (r ) = (
Por lo que f es suprayectiva.

:::)

Demostraremos que f es una funci n continua. Sean p 2 X " > 0 y M 2 N tales que M < ". Supongamos que p 2 A ::: M : Dada q 2
1 2 ( 1 )

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 ; mj =
2m

1 X
m=M +1

j m ; mj
2m

2M +1 1 = M +1 2

1 1 + M +2 + M +3 + ::: 2 2 1 1 1 1 1 + + 2 + ::: = M +1 (2) = M 2 2 2 2

( 1 )

< ":

Por tanto d(f (p) f (q)) < " para toda q en el abierto A ::: M : Por tanto f es continua. 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 ::: . Por Rudin, Teo. 4.17] f es un homeomor smo. Por el Lema 3.20, se obtiene que X es homeomorfo a C: Esto concluye la prueba del teorema.
1 2 3

69

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

Inc. 23, 1976.