Propiedades Del Conjunto de Cantor (José Mateos Cortés) PDF

Propiedades del conjunto de Cantor.
Jos Mateos Cortes.

ii
INTRODUCCION
La mayora de los cursos y libros que hablan del conjunto de Cantor lo

tratan en forma puramente geomtrica. Se empieza presentando su construc-
cin geomtrica y, a partir de la geometra, se deducen sus propiedades ms
importantes. No consideramos que esta forma de presentarlo sea mala. De
hecho es muy ilustrativa y los argumentos que se usan son muy claros. Es-
te 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 leyndola.
En el captulo 1 damos una construccin anlitica del conjunto de Cantor
y probamos que es equivalente a la construccin geomtrica. Adems damos
pruebas formales de las propiedades bsicas que mencionan la mayora de los
libros. Aqu es oportuno mencionar que la construccin que damos es original.
Original en el sentido de que no la encontramos en ningn otro lado, aunque
por su naturalidad no dudamos que haya sido desarrollada antes por otras
personas.
En el captulo 2 demostramos que el conjunto de Cantor es un espacio
mtrico, compacto, no vaco, totalmente disconexo, perfecto y no numerable.
La prueba central de este captulo 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 captulo 3, este teorema es muy
til para deducir propiedades topolgicas del conjunto de Cantor.
El captulo 3 est dedicado a desarrollar los que consideramos los resul-
tados topolgicos ms importantes del conjunto de Cantor, a saber:
iii
1. Todo espacio mtrico compacto es imagen continua del conjunto de
Cantor, y
2. Todo espacio mtrico, compacto, no vaco, totalmente disconexo y sin
puntos aislados es homeomorfo al conjunto de Cantor.
Captulo 1
De nuestros cursos de Anlisis Matemtico y Topologa hemos vislumbrado

que el conjunto de Cantor juega un papel muy importante en las matemticas.
Usualmente se nos presenta su construccin geomtrica y, a partir de ella,
desarrollamos algunas de sus propiedades.
En este captulo vamos a empezar recordando esta construccin geomtri-
ca pero vamos a hacer algo ms. Vamos a dar las frmulas exactas que denen
a los intervalos que se consideran en la construccin 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 inter-

valo en tres subintervalos iguales. De esta manera obtenemos los siguientes
intervalos.
;1 2
0; 31 ; ; ; ;1 :
3
2
3 3
El primer paso para la construccin del conjunto de Cantor; consiste

en
quitar el subintervalo abierto intermedio, es decir quitamos a ; : Sea el
1 2
conjunto C la unin de los intervalos restantes, o sea C = 0; [ ; 1 :

3 3
1 2
1 1 3 3
El segundo paso consiste en repetir el mismo proceso a cada uno de los in-
tervalos que componen a C . En otras palabras, a cada intervalo que compone
1
1
2
a C lo dividimos en tres partes iguales generndose los siguientes subinter-
1
valos:
;1 2 6 ;7 8
0; 91 ; ; ; ;
9
2
9 9
3
9
y ; ; ; ; ;1
9
7
9 9
8
9 9
Quitamos ahora los ;subintervalos

; abiertos intermedios. Es decir a C le 1
quitamos los intervalos ; y ; . Sea C el conjunto que nos queda, o
1
9
2
9
7
9
8
9 2
sea
2 6 8
C 2 = 0; 91 [ ; [ ; [ ;1 .
9
3
9 9
7
9 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
2
1
9
los tercios medios. Con esto obtenemos el tercer paso de la construccin que
consiste en el conjunto:
2 6 8 18 20 24 26
C 3 = 0; 27
1
[ ; [ ; [ ; [ ; [ ; [ ; [ ;1
27
3
27 27
7
27 27
9
27 27
19
27 27
21
27 27
25
27 27
Este proceso se sigue indenidamente. Es decir, para obtener a C , se 4

dividen en tres partes todos los intervalos que componen a C y se quitan los 3
intermedios.
En general, Cm se construye dividiendo en tres partes iguales a los
+1
intervalos que componen a Cm y borrando los intervalos abiertos intermedios.
Figura 1. Ilustracin de la construccin de C ,C ,C y C . 1 2 3 4
Finalmente el Conjunto de Cantor, que durante todo este trabajo se le

denotar por la letra C , se dene como la interseccin de todos los conjuntos
Cm. Es decir,
3
T
C = fCm : m 2 N g
OBSERVACION 1.1. El problema con esta construccin, es que Cm +1

depende de Cm . Entonces, si no hemos construido a Cm no sabemos quin
es Cm+1 . Esto diculta en gran manera la prueba de las propiedades del
conjunto de Cantor. Nuestro primer trabajo, a partir de este momento, ser
encontrar una frmula explcita para los Cm .
Una primera propiedad que podemos observar de los Cm es la siguiente.
PROPOSICION 1.2. Cm es la unin de 2m intervalos cerrados y

ajenos.
Demostracin. Haremos esta prueba por induccin matemtica. Clara-

mente C est formado por 2 = 2 intervalos cerrados y ajenos. Supongamos
1
1
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
+1
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
+1
que Cm est formado por 22m = 2m intervalos cerrados y ajenos.
+1
+1
De acuerdo con la proposicin anterior los intervalos que conforman a

Cm son 2m: Entonces una manera prctica de numerarlos ser tomando el
conjunto de ndices j 2 f0; 1; 2; :::; 2m ; 1g :
Durante todo este trabajo denotaremos con el smbolo N el conjunto de
los nmeros 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 construccin general de unos nmeros aj , para las j 2 N :
CONSTRUCCION 1.3. Sea j 2 N : Si j = 0; denimos a 0 = 0: Si

j 6= 0 entonces escribimos a j en su notacin binaria, es decir:
j = b 2
0
0
+ b1 21 + ::: + bm 2m :
4
donde bm = 1 y bi 2 f0; 1g : Denimos
aj = 2b 3
0
0
+ 2b1 3 + ::: + 2bm 3m :
En otras palabras, podemos expresar la construccin as:

dada j 2 N , la escribimos en su notacin binaria, los unos los transformamos
en doses y se piensa en el nmero correspondiente como un nmero escrito
en base tres.
Por ejemplo si j = 10; entonces en notacin binaria, j = 0 2 + 1 2 + 0 1
0 2 + 1 2 : Por construccin aj = a = 0 3 + 2 3 + 0 3 + 2 3 =
2 3
10
0 1 2 3
6 + 2 (27) = 6 + 54 = 60:
LEMA 1.4. a m = 2 3m para cada m 2 N :

2
Demostracin. Como
2m = 0 2 0
+ 0 21 + 0 22 + ::: + 1 2m :
Calculando a m tenemos lo siguiente:

2
a m = 023
2
0
+ 0 2 31 + ::: + 1 2 3m = 2 3m :
El siguiente teorema nos da una manera muy fcil y til de calcular aj :

En l mostramos que la funcin aj tiene algunas propiedades de linealidad.
TEOREMA 1.5. Sea j 2 N : Expresamos a j en su notacin binaria,

esto es:
j =b 2 + b1 21 + ::: + bm 2m . Entonces
0
0
aj = a(b0 20 +b121 +:::+bm2m ) = b0 a20 + b1 a21 + ::: + bm a2m
Demostracin. Sea j 2 N jo pero arbitrario y, lo expresamos en su

notacin binaria, esto es:
j = b 2 + b 2 + ::: + bm 2m: (estamos suponiendo que bm = 1).
0
0
1
1
Por denicin aj = 2b 3 + 2b 3 + ::: + 2bm 3m: Por el lema 1.4,

0
0
1
1
b a + b a + ::: + bm a m = 2b 3 + 2b 3 + ::: + 2bm 3m:

0 20 1 2 2 0
0
1
1
As,
5
ab b
( 0 20 + 1 21 + :::+bm2m ) = b0 a20 + b1 a21 + ::: + bm a2m :
Esto completa la prueba del teorema.

A manera de ilustracin, calcularemos aj para los primeros nmeros.
EJEMPLO.
Expresando los siguientes nmeros en su notacin binaria tenemos:
=0 a0
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:
La siguiente tabla resume estos resultados.

6
j aj
0 0
1 2
2 6
3 8
4 18
5 20
6 24
7 26
8 54
9 56
10 60
Los siguientes lemas nos sern tiles para encontrar una expresin ana-
ltica para los conjuntos Cm:
LEMA 1.6. aj + 1 < aj para cada j 2 N :

+1
Demostracin. Si j es un nmero natural par, su primer cifra en nota-

cin binaria es cero y entonces j se representa as:
j = 02 0
+ b1 21 + b2 22 + ::: + bm 2m :
Entonces
aj = 0 2 3 0
+ 2b1 31 + 2b2 32 + ::: + 2bm 3m :
Como
j +1= 12 0
+ b1 21 + b2 22 + ::: + bm 2m
Calculando aj obtenemos:
+1
7
aj = 1 2 3 + 2b 3 + ::: + 2bm 3m:
+1
0
1
1
Observemos que aj y aj slo dieren en el primer sumando, que en aj

+1
es 0 y en aj es 2.
+1
De manera que aj = 2 + aj y entonces
+1
aj > 1 + aj : +1
En el caso de que j es impar, la escritura en notacin 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
0 1 2 +1
+2
+2
Por supuesto que podra ocurrir que no hubiera ningn 0; en ese caso
i = m: De todas maneras i 0:
Por denicin:
aj = 1 2 3 + 1 2 3 + ::: + 1 2 3i + 0 2 3i + 2bi 3i + ::: + 2bm 3m:
0 1 +1
+2
+2
Adems
j + 1 = 0 2 + 0 2 + ::: + 0 2i + 1 2i + bi 2i + ::: + bm 2m.
0 1 +1
+2
+2
Por lo que
aj = 0 2 3 + 0 2 3 + ::: + 0 2 3i + 1 2 3i + 2bi 3i + ::: + 2bm 3m:
+1
0 1 +1
+2
+2
Como la ltima parte de las dos sumas coincide (la de aj y la de aj ), +1

para probar el lema slo tenemos que mostrar que:
(2 3 + 2 3 + ::: + 2 3i + 0 3i ) + 1 < 0 3 + 0 3 + ::: + 0 3i + 2 3i :
0 1 +1 0 1 +1
La suma de la izquierda es igual a

1 3i+1
De manera que slo tenemos que probar que 3i < 2 3i : Y claramente +1 +1
esta desigualdad es cierta.

Esto concluye la prueba.
LEMA 1.7. Para toda j 2 N ; 3aj = a j : 2
Demostracin. Sea
8
j =b 2 0
0
+ 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
a j = 0 3 + 2b 3 + 2b 3 + ::: + 2bm 3m :
2
0
0
1
1
2 +1
= 3 (2b 3 + 2b 3 + ::: + 2bm 3m ) = 3aj :

0
0
1
1
Por consiguiente a j = 3aj :

2
LEMA 1.8. Para cada j 2 N ; 3aj + 2 = a j : 2 +1
Demostracin. Escribimos
j =b 2 +b 2 0
0
1
1
+ ::: + bm 2m ;
entonces
2j + 1 = (b0 21 + b1 22 + ::: + bm 2m+1 ) + 1
= 1 20 + b0 21 + b1 22 + ::: + bm 2m+1 :
Ya podemos calcular a j ; con esto obtenemos

2 +1
aj
2 +1 = 2 30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1
= 2 + 3 (2b0 + 2b1 31 + ::: + 2bm 3m ) = 2 + 3aj :
Por tanto a j2 +1 = 3aj + 2:
Ahora ya estamos listos para dar una denicin analtica de los conjuntos
Cm. Provisionalmente los llamaremos Bm:
DEFINICION 1.9. La forma analtica para cada Bm con m 2 N es :

m ;1
2
[ aj aj + 1 :
Bm = ;
3m 3m
j =0
9
donde aj es como en la construccin 1:3:
EJEMPLO.
2 2+1 1 2
B 1 = a30 ; a03+1 [ a31 ; a13+1 = 30 ; 0+1
3
[ 3 ; 3 = 0; 3 [ 3 ; 1 :
Ahora demostraremos que la forma analtica en que se obtienen los extre-
mos de un Bm es equivalente a la forma geomtrica 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 :

Demostracin. Haremos esta demostracin por induccin matemtica.
Con el ejemplo que acabamos de ver comprobamos que B = C : 1 1
Ahora supongamos que Bm = Cm: Es decir, supongamos que
m ;1
[ aj
; aj + 1
2
Cm = 3m 3m
j =0
h i
Del Lema 1.6 se deduce que los intervalos am ; a m ; am ; a m ; :::; a mm; ; a m ;m
3
0 0 +1
3 3
1 1 +1
3
2
3
1 2
3
1 +1
son ajenos entre s. De acuerdo con la construccin geomtrica, estos inter-

valos son los que tenemos que dividir en tres partes iguales para obtener a
Cm :
+1 h i
Tomemos uno de estos intervalos, digamos el amj ; aj m al dividirlo en 3 3
+1
tres partes iguales obtenemos los subintervalos:

3aj 3aj + 1 3aj + 1 3aj + 2 3aj + 2 3aj + 3
;
3m+1
;
3m+1
; 3m+1
y 3m+1
; : 3m+1 3m+1
Le quitamos el de en medio y de esta manera podemos decir que obte-
nemos a los intervalos que conforman a Cm a partir de Cm, esto es:
+1
m ;1
[ 3aj 3aj + 1 3aj + 2 3aj + 3
2
Cm +1 =
3 m +1
; 3m+1
[ 3m+1
; 3m+1 :
j =0
Aplicando el Lema 1.7 y el Lema 1.8 tenemos lo siguiente:
10
m ;1
Cm =
2
[ a j ;a j +1 [ a j ;a j +1
2 2 2 +1 2 +1
3m 3m 3m 3m
+1 +1 +1 +1 +1
j =0

=
a ;a +1 [ a ;a +1 [ a ;a +1 [ a ;a
20 20 2 0+1 2 0+1 21 21 2 1+1 2 1+1 +1
[ :::
3m +1
3m 3m +1
3m 3m 3m 3m+1
3m +1 +1 +1 +1 +1

[ a 3mm ; ; a 3mm; + 1 [ a 3mm; ; a m3;m + 1
2(2
+1
1) 2(2 1)
+1
2(2
+1
1)+1 2(2 1)+1
+1

=
a ;a +1 [ a ;a +1 [ a ;a +1 [
0 0 1 1 2 2 a ; a + 1 [ :::
3 3
3 m+1
3m 3m 3m+1
3m 3m +1 +1 +1 +1
3 m
+1
3m +1

a2m ; a m ; +1
[ 3m ; 3m+1 2 a m ; a m ; +1
[ 3m ; 3m
2 +1 2 2 +1 1 2 +1 1
+1 +1 +1 +1
m ;1
=
2 +1
[ aj ; aj + 1 = Bm+1 :
3 m
+1
3m +1
j =0
Por consiguiente, hemos demostrado que la construccin geomtrica y la
construccin analtica de Cm coinciden para toda m 2 N . Por lo cual, ya
tenemos derecho a escribir:
m ;1
2
[ aj aj + 1 :
Cm = 3 m ; 3m
j =0
Si al leer la Denicin 1.9, usted dud que el ltimo extremo derecho de

Cm es igual a 1 para cada m 2 N : En la observacin siguiente mostramos que
esta armacin es verdadera.
OBSERVACION 1.11. En efecto, como

20 + 21 + 22 + ::: + 2m;1 = 2m ; 1.
Aplicndole la funcin tenemos:

11
a m;2 1 = 1 2 30 + 1 2 31 + 1 2 32 + ::: + 1 2 3m;1
= 2 (30 + 31 + 32 + ::: + 3m;1 ) = 3m ; 1:
a m; +1 3m ; 1 + 1 3m
= 1:
2 1
= =
3m 3m 3m
Y esto vale para cada m 2 N :
Ahora que ya tenemos una expresin analtica para los intervalos que
componen a Cm; estamos en posibilidades de dar pruebas formales de algu-
nas de sus propiedades. Varias de ellas son muy claras de la construccin
geomtrica.
PROPOSICION 1.12. Los intervalos que componen a Cm tienen lon-

gitud de m:
1
3
Demostracin. Ya sabemos que

m ;1
[ aj
2
aj + 1 :
Cm = 3 m ; 3m
+1
j =0
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
PROPOSICION 1.13. ;Lamsuma de las longitudes de los intervalos

que componen a Cm es igual a 2
3
:
Demostracin. Sea m 2 N y su correspondiente Cm, es decir:

m ;1
[ aj
2
aj + 1 :
Cm = 3 m ; 3m
j =0
Por la Proposicin 1.1 cada Cm tiene 2m intervalos cerrados y por la
Proposicin 1.12 los intervalos que componen a Cm tienen longitud de m : 3
1
Entonces la suma total de las longitudes es igual a:

12
2 m veces m
1 1 1 1 + 1 + ::: + 1 2m 2
+
3m 3m
+ ::: +
3m
=
3m
=
3m
=
3
m 2 veces
PROPOSICION 1.14. Cm Cm para cada m 2 N : +1
Demostracin. Sabemos que

m ;1
Cm =
2 +1
[ aj ; aj + 1 :
+1
3 m
+1
3m +1
j =0
a x a2 Cm entonces existe k 2 f0; 1; :::; 2

Dada +1
m ; 1g tal que +1
x 2 mk ; mk : Aplicando el Lema 1.7 y el Lema 1.8 obtenemos que para

3 +1 3
+1
+1
toda j se cumple:
aj = 3aj = a j : 2
3m 3m+1 3m+1
aj + 1 = 3aj + 3 = 3aj + 2 + 1 = a j 2 +1 +1
:
3m 3m+1 3m+1 3m+1
Ahora bien, por hiptesis
ak x ak + 1 :
3m +1
3m +1
PRIMER CASO. Si k es un nmero par entonces k es de la forma k = 2 i:

Como 0 k 2m ; 2; entonces 0 i 2m ; 1: Como
+1
ai = a i x a i + 1 = a i + 1 < ai + 1 = ai + 1
2 2 2
3m 3m+1 3m+1 3m+1 3m+1 3m 3m 3m

Concluimos que
m ;1
x 2 3ami ; ai3+m 1
[ aj
; aj + 1
2
= Cm :
j =0 3m 3m
Por tanto x 2 Cm:

13
SEGUNDO CASO. Si k es un nmero natural impar entoncesm ;
k es de la
forma k = 2 i + 1: Como 1 k 2 ; 1; 0
m k ; +1
= 2m ; 1: 1 2 +1 2
Entonces 0 i 2m ; 1:
2 2
Por el Lema 1.6, a i + 1 < a i : De manera que a i < a i :

2 2 +1 2 2 +1
Entonces
ai = a i < ak x ak + 1 = a i + 1 = ai + 1 :
2 2 +1
3m 3m+1 3m+1 3m+1 3m+1 3m

Por tanto x 2 ami ; ai m Cm:
+1
Esto termina la prueba de que Cm Cm:

3 3
+1
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 0 k 2m ; 1 entonces ak

m 2 Cn y ak +1
m 2 Cn para
cada n 2 N :
3 3
Demostracin. Dada m 2 N ; consideremos a su correspondiente Cm ;

esto es:
m ;1
2
[ aj aj + 1 :
Cm = 3 m ; 3m
j =0
Sea k 2 f0; 1; 2; :::; 2m ; 1g : Los extremos que corresponden a k-simo
intervalo son
ak ; ak + 1 2 C
m
3m 3m
Por la Proposicin 1.14
Cm Cm; Cm; ::: 1 2
As, por lo anterior, los extremos izquierdo y derecho son elementos de

Cm; ; Cm; ; :::; C : Ahora veremos que estos extremos tambin estn en los
1 2 1
Cn siguientes.
Sabemos que (Lema 1.7)
14
ak a2k a4k a8k

= m+1 = m+2 = m+3 = :::
3 m 3 3 3
Como 0 k < 2m; entonces 0 2k < 2m : As que 0 4k < 2m ; +1 +2
entonces 0 8k < 2m y as sucesivamente.

+3
Entonces
ak es un extremo para C
3 m m ; Cm ; Cm ; :::
+1 +2 +3
Por otra parte, por el Lema 1.8,
ak + 1 = a k + 1 = a k
2 +1 a k
2(2 +1)+1
=
+1
= :::
2(2(2 +1)+1)+1
3 m 3 m +1
3 m 3 m+2 +3
Como 0 k 2m ; 1; entonces 0 2k + 1 2m ; 1: De aqu que +1
0 2 (2k + 1) + 1 2m ; 1 y as sucesivamente.
+2
Entonces akm tambin es un extremo para Cm ; Cm ; Cm ; :::

3
+1
+1 +2 +3
Esto termina la prueba del lema.
La siguiente proposicin 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 tal

que jx ; y j < " y y 2 C:
;1
Demostracin. Sea " > 0: Como m ! 0 cuando m ! 1; existe
N 2 N tal que N < ":
3
1
Por hiptesis, x 2 C entonces

x 2 Cm para cada m 2 N : En particular,
3

x 2 CN por lo cual, existe k 2 0; 1; :::; 2 ; 1 tal que x 2 aNk ; akN :
N +1
Por el Lema 1.15, aNk 2 C y akN 2 C: Elegimos y = aNk o y = akN para

3 3
+1 +1
6 x: Entonces
3 3 3 3
que y =

ak + 1
; ak =
1
jx ; yj
3n 3n 3N
< ":
Esto termina la prueba de la proposicin.

15
A continuacin daremos una caracterizacin de los elementos del conjunto
de Cantor, que dice que x 2 C si y slo si a x lo podemos expresar como una
serie innita de ceros y doses divididos entre potencias de tres.
TEOREMA 1.17. x 2 C si y slo si existe una sucesin femg1m con

cada em 2 f0; 2g tal que
=1
1
x=
X em
m
m=1 3
Demostracin.
()) : Sea x 2 C; por la denicin de C tenemos que x 2 Cm para cada
m 2 N:
Haremos una construccin general de unos nmeros emn con n 2 N y ( )
1 m n:
a an 2N ; x 2 Cn ; entonces existe k 2 f0; 1; :::; 2 ; 1g tal que
Dada n
x 2 n; n :
3
k k
3
+1
Escribimos al nmero natural k en notacin binaria, esto es:

k =b 2 0
0
+ b1 21 + b2 22 + ::: + br 2r con br = 1
Como
2r br 2r + ::: + b 2 2
2
+ b1 21 + b0 20 = k
y k 2n ; 1, por transitividad se obtiene

2r 2n ; 1 < 2n
Por tanto, r < n:
Completando con ceros, si hace falta, escribimos al nmero natural k
como lo siguiente:
k = b 2 0
0
+ b1 21 + b2 22 + ::: + bn;1 2n;1
Calculando ak ;
ak = 2b 3
0
0
+ 2b1 31 + 2b2 32 + ::: + 2bn;1 3n;1
16
(ntese que los ceros que pudimos haber aadido no afecta a la denicin de
ak ).
As
ak = 2b + 2b + 2b + ::: + 2bn;
0 1
(*) 2 1
3n 3n 3n;1 3n;2 3
Denimos
enn
( ) n
= 2b0 ; en;1 = 2b1 ; en;2 = 2b2 ; :::; e1 = 2bn;1
( ) n
( ) n
( )
(observemos que cada emn es igual a 0 a 2):

( )
Observemos que las emn que estamos deniendo dependen de m; de x y

( )
de n: En realidad queremos que slo dependan de m y de x: Esto es lo que

vamos a probar a continuacin.
AFIRMACION. emn no depende de n: ( )
En efecto, recordando la construccin geomtrica para C; (ya vimos en el

Teorema 1.10 que la construccin geomtrica y la analtica son equivalentes)
sabemos que

C \ ; a k ak + 1
=
a k a k+1
; [ a k
; a k +1 2 2 2 +1 2 +1
n+1
3n 3n 3n+1 3n+1 3n+1 3n+1
a h i
Entonces x 2 ox2 n
2k
; a2k +1 : a2k+1 ; a2k+1 +1
3 n +1 3n+1 n 3 +1 3 +1
De manera que ahora ya a estamos en posibilidades de calcular emn :

( +1)
En el caso en que x 2 n k ; a nk : 3 +1
2 2 +1
3 +1
Como a k = 2b 3 + 2b 3 + 2b 3 + ::: + 2bn; 3n
2 0
1
1
2
2
3
1
Entonces, por denicin
enn
( +1)
+1
n
= 0; e(nn+1) = 2b0 ; en;1 = 2b1 ; en;2 = 2b2 ; :::;
( +1) n
( +1)
en ( +1)
1 = 2bn;1 :
De modo que
enn
( +1)
= en
n
( )
; enn; ( +1)
1
n
= en;1 ; :::; e1
( ) n
( +1)
= e1
n:
( )
h i
Y en el caso en que x 2 a2k+1 ; a2k+1 +1 :
n
3 +1 n
3 +1
Como a k 2 +1 = 2 30 + 2b0 31 + 2b1 32 + ::: + 2bn;1 3n

17
Entonces
enn
( +1)
+1
n
= 2; e(nn+1) = 2b0 ; en;1 = 2b1 ; en;2 = 2b2 ; :::; e1
( +1) n
( +1) n
( +1)
= 2bn;1 :
De modo que
enn
( +1) n
= e(nn) ; en;1 = en;1 ; :::;
( +1) n
( )
en ( +1) n
= e1
( )
:
1
Por tanto, en los dos casos emn = emn para toda m 2 f1; 2; :::; ng :
( ) ( +1)
Similarmente, emn = emn = emn = ::: para toda m 2 f1; 2; :::; ng :

( ) ( +2) ( +3)
Entonces a emn tenemos derecho a llamarlo simplemente em :

( )
Lo que sigue es probar que:

1
x=
X em
m
m=1 3
;1
Sea " > 0: Como m ! 0 cuando m ! 1; existe N 2 N tal que 1
N < ":
Sea n 2 N tal que n N: Demostraremos que:
3 3
n
0x;
X em <"
m
m=1 3
a a +1
Sea k 2 f0; 1; 2; :::; 2n ; 1g tal que x 2 k; k
3n 3n
; por () tenemos que:
n n (n)
0x;
X em X em ak 1 1 < "
m =x; m = x ; 3n 3n 3N
m=1 3 m=1 3
Esto concluye la prueba de que
1
x=
X em :
m
m=1 3
(() Ahora estamos suponiendo que
1
x=
X em ;
m
m=1 3
18
T
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 h i
j 2 f0; 1; :::; 2n ; 1g tal que x 2 anj ; aj n ; para toda n 2 N .
3 3
+1
Sea n 2 N . Vamos a proponer los coecientes de la notacin binaria del

nmero j como:
b = en ; b = en; ; :::; b = e :
0
2
1
2
1
n;1
2
1
Es claro que, bi 2 f0; 1g para i = 0; 1; :::; n ; 1: Probaremos que, si

j =b 2
0
0
+ b1 21 + ::: + bn;1 2n;1
entonces j 2 f0; 1; :::; 2n ; 1g :

En efecto, por hiptesis, sabemos em 2 para cada m 2 N : Entonces
bm 2m 2m para m = 0; 1; :::; n ; 1:
De modo que j = b 2 +b 2 +:::+bn; 2n; 2
0
0
1
1
1
1 0
+21 + ::: +2n;1 = 2n ; 1:
Por consiguiente j 2 f0; 1; :::; 2n ; 1g :
Adems,
1
aj 2b0 30 + :::: + 2bn;1 3n;1 en en;1 e1 X em
3n =
3 n = n + n;1 + ::: + 1
3 3 3
m =x=
m=1 3
1
X em 3e 1
+
e 2 en 2 2
+ ::: + n + n+1 + n+2 + :::
m=1 3m 1
3 2
3 3 3

=
e1
+
e 2
+ ::: +
en + 2 1 1
1 + + 2 + :::
31 32 3n 3n+1 3 3
1 i !
=
e 1
+
e 2
+ ::: +
en + 2 X 1
31 32 3n 3n+1 i=0 3

=
e 1
+
e en2 2
+ :::: + n + n+1
3
=
e1
+
e2 en 1
+ ::: + n + n
3 3
1
3 2
3 2 3 1
3 2
3 3
=
a j + 1
3n
19
es decir,
aj x aj + 1
3n 3n
Por tanto,
n ;1
x 2 3anj ; aj3+n 1 ai ; ai + 1
[
2
= Cn :
i=0 3n 3n
Como esta construccin 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
Captulo 2
En este captulo desarrollaremos las propiedades topolgicas 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 topologa discreta. Una vez que se de este
homeomorsmo podremos obtener una serie de resultados topolgicos inte-
resantes.
DEFINICION 2.1. Dada una familia f(Xn; n)gn2N de espacios topo-

lgicos. Denimos
1
Y
X= Xn = f(x ; x ; x ; :::) : xn 2 Xn para cada n 2 N g
1 2 3
n=1
Sea la familia de subconjuntos de X de la forma:
U U ::: Un Xn Xn :::
1 2 +1 +2
donde n 2 N y Ui 2 i para cada i n: Como se ve en los cursos elementales

de topologa, constituye la base de una topologa para X: Es decir,
est denida por:
= fU X : U es la unin de elementos de g
Si cada n; est dada por una mtrica dn (con dn(x; y) 1 para cada
x; y 2 Xn). Denimos
21
22
d : X X ;! R
por la siguiente frmula
1
d(x; y) =
X dn(xn; yn) :
n=1 2n
donde x = (x ; x ; x ; :::) y y
1 2 3 = (y1 ; y2 ; y3 ; :::): Es fcil comprobar que d es
una mtrica para X .
En la siguiente proposicin demostraremos que, la topologa coincide
con la topologa inducida por d en X: De esta manera podremos realizar ms
fcilmente las pruebas de la continuidad de algunas funciones que deniremos
a lo largo de este captulo.
PROPOSICION 2.2. La topologa inducida por d en X es la que

denimos usando a :
Demostracin. Denotaremos por a la topologa para X usando y,

por o a la topologa para X inducida por d: Demostraremos que y o son
iguales.
Sea U 2 ; entonces U se expresa como la unin de elementos de ; es
decir: existe un tal que
[
U= fA : A 2 g
Sea x = (x ; x ; x ; :::) 2 U; entonces existe un A 2 tal que x 2 A U:
1 2 3
Como A 2 entonces A es de la forma
A = U U ::: Un Xn Xn :::
1 2 +1 +2
donde n 2 N y Ui 2 i para cada i n: Como xi 2 Ui 2 i y i se dene

usando a di; existe ri > 0; tal que Bri (xi ) Ui:
Para mostrar que U 2 o; es suciente con que demostremos que existe
r > 0 tal que Br (x) U: Proponemos r = m{n ; ; :::; n :
r r r n 1 2
22
Dada y = (y ; y ; y ; :::) 2 Br (x) ; por la denicin de d se tiene que
2 2
1 2 3
1
d(x; y) = di(xi ; yi) < r
X
i=1 2i
23
Para cada j = 1; 2; :::; n se obtiene lo siguiente
1
dj (xj ; yj ) < X di(xi; yi) < r rj
2j i=1 2i 2j
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
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 de1 2 3

U: Entonces
; existe
n
r > 0 tal que Br (x) U:
Como 1
2
! 0 cuando n ! 1; existe N 2 N tal que N < r : Propone- 2
1
2
mos Ax como:
Ax = B r (x ) B r (x ) ::: B r (xN ) XN XN :::
2
1 2
2 2
+1 +2
Entonces Ax 2 : Dada y = (y ; y ; y ; :::) 2 Ax entonces yi 2 B r (xi )

1 2 3
para toda 1 i N: Entonces
2
1
d(x; y) =
X di(xi ; yi) =
d (x ; y ) +:::+ dN (xN ; yN ) + dN (xN ; yN
1 1 1 +1 +1 +1 )
+ :::
i=1 2i 2 1
2N 2N +1
< 2r 2
+
r
23
+ ::: +
r + 1 + 1 + :::
2N +1 2N +1 2N +2

=
r 1 1
1 + + ::: + N ;1 + N +1
1 1 1
1 + + 2 + :::
22 2 2 2 2 2
< 2r 2
1 r 1
(2) + N +1 (2) = + N
2 2 2
< 2r + 2r = r:
Entonces y 2 Br (x): Por tanto Ax Br (x): Como Br (x) U; tenemos
que Ax U: Por tanto, U 2 :
24
Posteriormente demostraremos que C es homeomorfo a f0; 2gf0; 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.

Demostracin. Para cada m 2 N ; sabemos que
m ;1
[ aj
2
aj + 1 :
Cm = 3 m ; 3m
j =0
As que, Cm es la unin de 2m intervalos cerrados. La unin nita de
conjuntos cerrados es un conjunto cerrado. Por tanto, Cm es un conjunto
cerrado, para cada m 2 N :
OBSERVACION 2.4. Cm [0; 1] para cada m 2 N : En efecto, la

Proposicin 1.14,
Cm C [0; 1] :
1
PROPOSICION 2.5. C es un conjunto compacto.

Demostracin. Por el Lema 2.3, Cm es un conjunto cerrado, para cada
m 2 N : Por denicin
\
C = fCm : m 2 N g :
Esto es, C es la interseccin de conjuntos cerrados, entonces C es un
conjunto cerrado. Adems, [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.

Demostracin. Por la Proposicin 2.5, C es un conjunto cerrado y por
la Proposicin 1.16, C es denso en s mismo.
Podramos recurrir al teorema que dice que una interseccin anidada de

compactos no vacos es no vaca para concluir que C es no vaco.
Tambin podemos recordar que 0 es un extremo de C y que como vimos 1
en el Lema 1.15, 0 2 Cn para toda n 2 N : De modo que 0 2 C: Esto
demuestra la siguiente proposicin.
PROPOSICION 2.7. C es un conjunto no vaco.

LEMA 2.8. Si

1
X
e; < 1 con e ; g 2 f0; 2g entonces e
m g
m
= g1 ; e2 = g2 ; :::; en = gn :
m m m
3n
1

m=1 3
Demostracin. Esta prueba se realizar por induccin matemtica.

Para n = 1; se tiene que probar lo siguiente:

1
Si
X

em g;
m
< 13 entonces e = g1 :
3m
1

m=1
Lo haremos por reduccin al absurdo. Supongamos que

1
X

e m g;
m
< 31 y, adems, e 6= g :
3m
1 1

m=1
Como e y g pueden ser cero o dos, entonces (e
1 1 1 = 2 y g1 = 0) o (e1 = 0
y g = 2): Supongamos, por ejemplo que e = 2 y g
1 1 1 = 0; calculando

e1
; g ;
1
X

1
e m ;
g
m

;g
e1 1
+
1
X em ; gm < 1
3
m=2 3m 3
m=2 3m 3
26

1
2 e1 ; g1 1 X em ; gm
= < +
3 3 3 m=2 3m

Pero

1
X

;
em gm
je 3; g j + je 3; g j + je 3; g j + :::
2 2 3 3 4 4

m=2 3m 2 3 4
2 2 2
32
+ 3 + 4 + :::
3 3

2 1 1 2 3 1
= 2 1 + + 2 + ::: = 2 =
3 3 3 3 2 3
Es decir,

1
X

e m g
m

; 13 :

m=2 3m

1
Por tanto 23 <
X
1
+
e m gm

; 13 + 31 = 23 :
3 3m
m=2
As, hemos obtenido < ; lo cual es un absurdo. Por tanto,
2
3
2
3

1
X

em g
m

; < 31 implica que e = g1 :
3m
1

m=1
El otro caso, cuando e = 0 y g = 2; es anlogo, ya que je ;g j = j ; j =

1 1
1
3
1 0
3
2 2
3
Supongamos ahora que la armacin es cierta para n = k; es decir,

1
Si
X

;
em gm
< 31k entonces e = g1 ; e2 = g2 ; :::; ek = gk :
3m
1

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

1
Si
X

em gm

; < 3k1 entonces e = g1 ; e2 = g2 ; :::; ek+1 = gk+1 :
3m
1
+1
m=1
Supongamos entonces que

1
X

em gm

; < 3k1 :

m=1 3m +1
Como 1
3 +1k < k ; podemos aplicar la hiptesis de induccin y obtener que
3
1
e = g ; e = g ; :::; ek = gk :
1 1 2 2
Como
1 1 1
;
ek+1 gk+1
;
X

em ; gm

X em ; gm = X

em ; gm <

1
3k+1 3m 3m
m=1 3m 3k+1
m=k+2 m=k+1
Obtenemos que

1
;
ek+1 gk+1
< 3k1
X

+
em gm

;
3k+1 +1
m=k+2 3m
Supongamos que ek 6= gk ; tenemos dos subcasos, es decir, (ek

+1 +1 +1 =2
y gk = 0) o (ek = 0 y gk = 2); en cualquier caso tenemos
+1 +1 +1
jek ; gk j = 2 : +1 +1
3k+1 3k+1
Calculando, como lo hicimos en el primer caso de la induccin, tenemos
que

ek ; gk 1
2
= <
+1 1
+
X
+1 em ; g m

< 1 + 1 = 2 :
3k+1 3k+1 3k+1
m=k+2 3m 3k+1 3k+1 3k+1
Es decir, k < k ; lo cual es un absurdo. Esta contradiccin muestra

2
3 +1
2
3 +1
que ek = gk :
+1 +1
Esto concluye la prueba del lema.
TEOREMA 2.9. C es homeomorfo a f0; 2g f0; 2g f0; 2g :::

Demostracin. Sea
28
' : C ;! f0; 2g f0; 2g f0; 2g :::
Denida de la siguiente forma. Dada x 2 C; por el Teorema 1.17, existe
una sucesin femg1
m ; donde cada em = 0 2 tal que
=1
1
x = em :
X
m
m=1 3
Denimos
'(x) = (e ; e ; e ; :::):
1 2 3
Vamos a comprobar que ' esta bin denida. Para esto tenemos que ver
que la representacin 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=
X em X gm
= con e ; g 2 f0; 2g para toda m 2 N :
m m m m
m=1 3 m=1 3
Supongamos que existe n 2 N ; tal que en 6= gn y adems, n es el primer
subndice 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:
x =
e 1
+
e2 0 en+1 en+2
+ ::: + n + n+1 + n+2 + :::
3 1
3 2
3 3 3
3e 1
1
+
e2 + ::: + en;1 + 2 + 2 + :::
32 3n;1 3n+1 3n+2
=
e 1
+
e2 + ::: + en;1 + 2 1 + 1 + 2 + :::
31 32 3n;1 3n+1 3 32

=
e 1
+
e2 + ::: + en;1 + 2 3
31 32 3n;1 3n+1 2
=
e 1
+
e2 + ::: + en;1 + 1
31 32 3n;1 3n
< 3e 1
1
+
e2 + ::: + en;1 + 2 + gn+1 + gn+2 + :::
32 3n;1 3n 3n+1 3n+2
=
g 1
+
g2 + ::: + gn;1 + gn + gn+1 + gn+2 + ::: = x
31 32 3n;1 3n 3n+1 3n+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 anloga.
As, hemos probado que la representacin de x; es nica. Por tanto, '
esta bin denida.
Para probar que ' es una funcin inyectiva sean
1 1
x=
X em yx
X gm donde em ; gm 2 f0; 2g :
m 1 = m;
m=1 3 m=1 3
Supongamos que '(x) = '(x ): Por la denicin de ' se tiene que (e ; e ; e ; :::) =
1 1 2 3
(g ; g ; g ; :::): Por la denicin de igualdad en el producto, se tiene que
1 2 3
e = g ; e = g ; e = g ; ::: . Esto implica que, x = x :
1 1 2 2 3 3 1
Por tanto ' es inyectiva.
Para mostrar que ' es suprayectiva, tomemos (e ; e ; e ; :::) 2 f0; 2g 1 2 3
f0; 2g f0; 2g ::: . Consideremos la serie:
1
X em
m
m=1 3
Ya que 0 em 2; entonces emm m : De modo que esta serie est
3 3
2
acotada por una que es convergente. Esto muestra que la serie

1
X em converge.
m
m=1 3
Le llamamos x a su lmite. Por el Teorema 1.17, x 2 C: Entonces ' (x) =
(e ; e ; e ; :::) : Por tanto la funcin ' es suprayectiva. As, ' es una funcin
1 2 3
biyectiva.
Ahora demostraremos que ' es continua en C: Tenemos que mostrar que

para cada " > 0 existe > 0 tal que si jx ; x j < entonces 1
d('(x); '(x )) < ": 1
Tomemos una " > 0 arbitraria. Sea M 2 N ; tal que M < " y sea = M : 1 1
Tomemos x y x 2 C; de manera que jx ; x j < M :

2 3
1
1 1 3
1 1
Escribimos x =
X em yx =
X gm :
m 1 m
m=1 3 m=1 3
30
Por el Lema 2.8, como

1
X

;
em gm =
jx ; x j < 31M ; entonces e = g1 ; e2 = g2 ; :::; eM = gM :
3m
1 1

m=1
Adems, la mtrica dn para el conjunto f0; 2g ; es la mtrica discreta, es
decir:
8
< jp;qj si p 6= q
dn(p; q) = : 2
0 si p = q
Es claro, que dn 1:
Calculando
d('(x); '(x )) =
je ; g j + je ; g j + ::: + jeM ; gM j + jeM ; gM j + :::
1 1 2 2 +1 +1
2M 2M
1
2 2
2 3 +1 +2
=
jeM ; gM j + jeM ; gM j + :::
+1 +1 +2 +2
2M +2 2M +3
2 2 2
+ +
2M +2 2M +3 2M +4
+ ::::

2 1 1 2 1
= 1 + + 2 + ::: = M +2 (2) = M < ":
2M +2 2 2 2 2
Como x y x fueron elegidos arbitrariamente en C; entonces ' es unifor-

1
memente continua en C y, por tanto continua en C:
Entonces tenemos una funcin ' continua e inyectiva del espacio mtrico
compacto C sobre el espacio mtrico f0; 2gf0; 2gf0; 2g ::: . De acuerdo
con [Rudin, Teo. 4.17] ; ' es un homeomorsmo.
Esto concluye la prueba del teorema.
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; 2gf0; 2gf0; 2g:::; podemos
y vamos a repetir la prueba clsica 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.

Demostracin. Haremos esta demostracin por reduccin al absurdo.
Esto es, supongamos que C es numerable. Por el Teorema 2.9, C y f0; 2g1
tienen la misma cardinalidad. Entonces tambin 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
a1 = (e1 ; e2 ; e3 ; e4 ; :::)
(1) (1) (1) (1)
a2 = (e1 ; e2 ; e3 ; e4 ; :::)
(2) (2) (2) (2)
a3 = (e1 ; e2 ; e3 ; e4 ; :::)
(3) (3) (3) (3)
a4 = (e1 ; e2 ; e3 ; e4 ; :::)
(4) (4) (4) (4)
.
.
.
Construyamos un elemento (e ; e ; e ; e ; :::) 2 f0; 2g1 ; de la

1 2 3 4
siguiente manera:
8
<0 si enn ( )
=2
en = :
2 si enn ( )
=0
Entonces
(e1 ; e2 ; e3 ; e4 ; :::) 2 f0; 2g1 .
Notemos que, para toda n 2 N ,
(e1 ; e2 ; e3 ; e4 ; :::; en ; :::) 6= (e1
( ) n ; e(n) ; e(n) ; e(n) ; :::; e(n) ; :::)
2 3 4 n
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 topolgicas del conjun-

to de Cantor, a saber, que es un espacio mtrico, compacto, no vaco, perfecto
y no numerable. Ahora veremos, que es un conjunto totalmente disconexo,
esto es, que las componentes conexas de C son slo puntos. Para probar esta
propiedad, daremos los siguientes lemas.
LEMA 2.11. Sean x 2 C; r > 0 y n 2 N tales que 1

n < r ; entonces
Br (x) \ (R ; Cn) 6= ;:
23
Demostracin. Haremos esta prueba por reduccin al absurdo. Supon-

gamos, por el contrario, que Br (x) Cn: Por hiptesis, si x 2 C entonces
x 2 Cn para toda n 2 N . Recordemos que
n ;1
Cn =
2
[ aj ; aj + 1
n 3n
j =0 3
h i
los intervalos an ; a n ; an ; a n ; :::; a nn; ; a n ;n ; son cerrados y ajenos
3
0 0 +1
3 3
1 1 +1
3
2
3
1 2
3
1 +1
dos a dos. Adems, Br (x) es un conjunto conexo y como Br (x) Cn;

entonces existe un k 2 f0; 1; :::; 2n ; 1g tal que

B (x) ; a k ak + 1
;
r
3n 3n
de aqu que,

metro (Br (x)) dia
2r = dia metro
ak ; ak + 1 1
= n:
3n 3n 3
Esta contradiccin prueba que Br (x) \ (R ; Cn) 6= ; y concluye la prueba

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

x < z < y:
33
Demostracin. 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
1
q 2 Br (p) (x; y) C Cn y q 2 R ; Cn:

23
Este absurdo muestra que el lema es cierto.
TEOREMA 2.13. C es un conjunto totalmente disconexo.

Demostracin. Tenemos que probar que las componentes conexas del
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
A = ((;1; z) \ A) [ ((z; 1) \ A) :
Notemos que x 2 (;1; z) \ A y y 2 (z; 1) \ A: Entonces hemos escrito a
A como la unin de dos conjuntos abiertos (en A); ajenos y no vacos. Esto
contradice la conexidad de A y termina la prueba del teorema.
34
Captulo 3
En el captulo anterior vimos que el conjunto de Cantor es un espacio mtrico,

compacto, perfecto, no vaco y totalmente disconexo.
En este captulo probaremos que estas propiedades caracterizan al con-
junto de Cantor. Es decir, si un espacio topolgico X tiene todas estas
propiedades entonces X es homeomorfo al conjunto de Cantor.
El otro resultado importante de este captulo ser que todo espacio mtri-
co 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 funcin continua y suprayectiva de C al intervalo [0; 1] :
- Hay una funcin continua y suprayectiva de C al cubo de Hilbert.
- Todo espacio mtrico 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 vacos.
A lo largo de este captulo, identicaremos al conjunto de Cantor
C con el espacio f0; 2g1 : Esto es posible debido al Teorema 2.9.
Entonces cuando nos reramos a un elemento de C; escribiremos
una sucesin de ceros y doses.
PROPOSICION 3.1. Para toda n 2 N , C es homeomorfo a C n:
35
36
Demostracin. Primero se demostrar para n = 2: Esto es, C es homeo-
morfo a C C: La prueba para toda n 2 N se har por induccin matemtica.
Sea
f : C C ;! C
denida 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 funcin 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
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 ; b1 ; a2 ; b2 ; a3 ; b3 ; :::) = (c1 ; d1 ; c2 ; d2 ; c3 ; d3 ; :::) ;
entonces ai = ci ; al igual que bi = di para cada i 2 N ; esto es, por la denicin

de igualdad en el producto. As,
(a1 ; a2 ; a3 ; :::) = (c1 ; c2 ; c3 ; :::) y (b ; b ; b ; :::) = (d ; d ; d ; :::) :
1 2 3 1 2 3
Por tanto, f es una funcin inyectiva.

Para mostrar que f es una funcin suprayectiva tomemos un punto arbi-
trario (a ; a ; a ; :::) 2 C entonces ((a ; a ; a ; :::) ; (a ; a ; a ; :::)) 2 C C:
1 2 3 1 3 5 2 4 6
Aplicando la f_ :
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 funcin suprayectiva.
Vamos a demostrar que f es una funcin 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:
8
< a n+1 si n es impar
n f ((a ; a ; a ; :::) ; (b ; b ; b ; :::)) = :
1 2 3 1 2 3
2
bn
2
si n es par
Esta frmula nos muestra que n f es prcticamente una proyeccin.
Para hacerlo ms explcito, consideremos las funciones ' y ' denidas por 1 2
' ((a ; a ; a ; :::) ; (b ; b ; b ; :::)) = (a ; a ; a ; :::)

1 1 2 3 1 2 3 1 2 3
' ((a ; a ; a ; :::) ; (b ; b ; b ; :::)) = (b ; b ; b ; :::)
2 1 2 3 1 2 3 1 2 3
Calculando
n(' ((a ; a ; a ; :::) ; (b ; b ; b ; :::))) = n ((a ; a ; a ; :::)) = an: Mientras
1 1 2 3 1 2 3 1 2 3
que
n; (f ((a ; a ; a ; :::) ; (b ; b ; b ; :::))) = a n; = an:
2 1 1 2 3 1 2 3 2 1+1
De igual manera:
2
n(' ((a ; a ; a ; :::) ; (b ; b ; b ; :::))) = n ((b ; b ; b ; :::)) = bn : Por otra

2 1 2 3 1 2 3 1 2 3
parte,
n (f ((a ; a ; a ; :::) ; (b ; b ; b ; :::))) = b n = bn :
2 1 2 3 1 2 3 2
De manera que n ' = n; f y n ' = n f: Como ' ; ' y n

2
1 2 1 2 2 1 2
son continuas, podemos concluir que
n f es continua para toda n 2 N :
Por tanto, f es una funcin continua.
Como C C es un mtrico compacto (el producto cartesiano de conjun-

tos compactos es un conjunto compacto), y adems tenemos una funcin f
continua e inyectiva de un espacio mtrico compacto sobre C: De acuerdo
con [Rudin, Teo. 4.17] ; f es un homeomorsmo.
Esto termina la prueba de que C es homeomorfo a C C:
Para hacer el paso inductivo, suponemos que
C Cn;veces
::: C es homeomorfo a C:
38
Como
C nC ;veces
::: C es homeomorfo a (C C ::: C ) C;
+1 n;veces
por hiptesis de induccin, el producto de la derecha es homeomorfo a C C;
el cual vimos que es homeomorfo a C:
Por tanto, C nC ;veces
::: C tambin es homeomorfo a C:
+1
Esto completa la induccin y la prueba de la Proposicin 3.1.
Como se mencion al inicio de este captulo, 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
funcin biyectiva de N en N N ( : N ;! N N ) .
PROPOSICION 3.2 El conjunto de Cantor es homeomorfo a un pro-

ducto numerable de copias de l. Esto es, C es homeomorfo a C C C :::
.
Demostracin. Sea
f : C C C ::: ;! C
denida por la siguiente correspondencia
f ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3); ; :::); (a ;
(3 1) ;a ;
(3 2) ;a ;
(3 3) ; :::); :::) =
(a ; a ; a ; :::)
(1) (2) (3)

f ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); :::) =
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3)
(a ; a ; a ; :::)
(1) (2) (3)
y
f ((b ; ; b ; ; b ; ; :::); (b ; ; b ; ; b ; ; :::); (b ; ; b ; ; b ; ; :::); :::) =
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3)
(b ; b ; b ; :::)
(1) (2) (3)
Supongamos que
f ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) ; ; a(3;3) ; :::); :::) =
(3 2)
f ((b ; ; b ; ; b ; ; :::); (b ; ; b ; ; b ; ; :::); (b ; ; b
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3;2) ; b(3;3) ; :::); :::):
Esto es equivalente a que

39
(a(1) ; a(2) ; a(3) ; :::) = (b(1) ; b(2) ; b(3) ; :::):
Por la denicin de igualdad en el producto, obtenemos

a n ( ) = b(n) para toda n 2 N .
Sea (n; m) 2 N N , como es suprayectiva entonces existe r 2 N tal
que (r) = (n; m): Por lo que,
a n;m
( ) = a(r) = b(r) = b(n;m) :
As
a ; = b(1;1) ; a(1;2) = b(1;2) ; a(1;3) = b(1;3) ; :::
(1 1)
Por tanto,
(a ; ; a ; ; a ; ; :::) = (b ; ; b ; ; b ; ; :::); (a
(1 1) (1 2) (1 3) (1 1) (1 2) (1 3) ; ; a(2;2) ; a(2;3) ; :::) =
(2 1)
(b ; ; b ; ; b ; ; :::); (a ; ; a ; ; a ; ; :::) = (b
(2 1) (2 2) (2 3) (3 1) (3 2) (3 3) (3:1) ; b(3;2) ; b(3;3) ; :::); ::: .
Por tanto, f es una funcin inyectiva.
Para mostrar que f es una funcin suprayectiva, tomemos un punto cual-

quiera (c ; c ; c ; :::) 2 C: Dadas n y m 2 N , denimos a n;m = c; n;m :
1 2 3 ( ) 1( )
Como ; (n; m) es un nmero natural, c; n;m est bien denido.
1
1( )
Sea a = ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); :::) 2
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3)
C C C :::
Aplicando f obtenemos
f (a) = (a ; a ; a ; :::) = (c; ; c;
(1) (2) (3) 1 ( (1))
1 ( (2)) ; c;
1 ( (3)) ; :::) =
(c ; c ; c ; :::): 1 2 3
Por tanto f es suprayectiva.
Vamos a demostrar que f es una funcin 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(1;2) ; a(1;3) ; :::); (a(2;1) ; a(2;2) ; a(2;3) ; :::);
(a(3;1) ; a(3;2) ; a(3;3) ; :::); :::) =
n(a(1) ; a(2) ; a(3) ; :::) = a(n):
40
Esta frmula nos muestra que n f es prcticamente una proyeccin.

Para hacerlo ms explicito consideremos la funcin m denida por
m = ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); :::) =
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3)
(a m; ; a m; ; a m; ; :::) para cada m 2 N .
( 1) ( 2) ( 3)
Como : N ;! N N , entonces (n) = (m; r) : Calculando
r m((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); :::) =
(1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3)
r (a m; ; a m; ; a m; ; :::) = a m;r = a n :
( 1) ( 2) ( 3) ( ) ( )
De manera que n f = r m: Como r y m son continuas, podemos
concluir que
n f es continua para toda n 2 N .
Como C C C :::; es un espacio mtrico compacto (ya que, el producto

de conjuntos compactos es un conjunto compacto), entonces f es una funcin
continua e inyectiva de un espacio mtrico compacto sobre C: Por el Teorema
4.17 de [Rudin] ; f es un homeomorsmo.
Esto concluye la prueba de la Proposicin.
Como dijimos en la introduccin de este captulo, mostraremos que el

intervalo [0; 1] es imagen continua de C:
A continuacin denimos la funcin g que nos servir para dicho n. Para
familiarizarnos con ella, la evaluaremos en algunos puntos y bosquejaremos
su grca. La prueba de sus propiedades est en la Proposicin 3.3.
Consideremos la funcin
g : C ;! [0; 1] :
denida por la frmula
1
g ((a ; a ; a ; :::)) =
X an :
2n
1 2 3 +1
n=1
Recordemos que cada elemento x 2 C lo estamos identicando con la
nica sucesin (e ; e ; e ; :::) de ceros y doses que cumple
1 2 3
41
1
x=
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
2 2 2 2
1= + 2 + 3 + 4 + :::
3 3 3 3
Aplicando g; a los elementos anteriores se tiene,
g((0; 0; 0; 0; :::)) = 20
2
+
0
2 3
2
0
2
0
+ 4 + 5 + ::: = 0
g((0; 2; 2; 2; :::)) = 20
2
+
2
+
2
+
23 24 25
2
+ ::: =
1
2
42
g((0; 0; 2; 2; :::)) = 202

+
0
2 3
2
2
2
2
+ 4 + 5 + ::: =
1
4
g((0; 2; 0; 0; :::)) = 202

+
2
2 3
2
0
2
0
+ 4 + 5 + ::: =
1
4
g((2; 0; 0; 0; :::)) = 222

+
0
2 3
2
0
2
0
+ 4 + 5 + ::: =
1
2
g((2; 0; 2; 2; :::)) = 222

+
0
2 3
2
2
2
2
+ 4 + 5 + ::: =
3
4
g((2; 2; 0; 0; :::)) = 222

+
2
+
0
+
23 24 25
0
+ ::: =
3
4
g((2; 2; 2; 2; :::)) = 22
2
+
2
2 3
2
2
2
2
+ 4 + 5 + ::: = 1
Figura 2. Ilustracin de la grca de la funcin g.

43
Una vez bosquejada la grca de la funcin, demostraremos en la Pro-
posicin siguiente que g es una fucin continua y suprayectiva. Y por con-
siguiente, estaremos mostrando que el intervalo [0; 1] ; es la imagen continua
del conjunto de Cantor.
PROPOSICION 3.3. Sea

g : C ;! [0; 1]
denida por la frmula
1
g ((a ; a ; a ; :::)) =
X an :
2n
1 2 3 +1
n=1
Entonces g es continua y suprayectiva (Recordemos que estamos identicando
a C con f0; 2g1):
Demostracin. Aplicando g a un elemento cualquiera de C; se tiene:

1
g ((a ; a ; a ; :::)) =
X an :
2n
1 2 3 +1
n=1
a1 a2 a3
= 2
+ 2
+ 2
+ :::
2 22
23
Como an 2 para toda n 2 N ; entonces an
2
1 para cada n 2 N :
Entonces

1 1 1 1 1 1 1
g ((a ; a ; a ; :::))
1 2 3 + 2 + 3 + ::: =
2 2 2 2
1 + + 2 + 3 + :::
2 2 2
=1
El criterio de comparacin para series nos dice que entonces la serie

1
X an
n+1
n=1 2
es convergente y converge a un nmero entre 0 y 1: Por tanto g est bien
denida.
Para mostrar que g es una funcin suprayectiva tomemos un nmero
cualquiera entre 0 y 1; es decir, sea y 2 [0; 1] : Consideremos su presentacin
binaria, es decir:
44
y=a 1
2
+ a222 + a233 + :::
donde ai 2 f0; 1g : Como

y=a 1
2
+ a222 + a233 + ::: = 22a21 + 22a32 + 22a43 + ::: = g ((2a1 ; 2a2 ; 2a3 ; :::))
y (2a ; 2a ; 2a ; :::) 2 f0; 2g1 ; obtenemos que g es una funcin suprayectiva.

1 2 3
Demostraremos que g es una funcin continua. Sea " > 0. Sea = ":
Dados dos elementos (a ; a ; a ; :::) y (b ; b ; b ; :::) 2 C tales que
1 2 3 1 2 3
d((a ; a ; a ; :::); (b ; b ; b ; :::)) < : Entonces
1 2 3 1 2 3

1 1 1
jg ((a ; a ; a ; :::)) ;
X
g ((b1 ; b2; b3 ; :::)) = 2n+1j a n X b X
n
= ; an bn

;
1 2 3
2n+1 2 n+1
n=1 n=1 n=1
1 1
X
an bn =

X ;
an bn j ; j
2n+1 2n+1
n=1 n=1
= d((a ; a ; a ; :::); (b ; b ; b ; :::)) < = ":
1 2 3 1 2 3
Esto es,
jg ((a ; a ; a ; :::)) ; g ((b ; b ; b ; :::))j < ":
1 2 3 1 2 3
Por tanto, g es una funcin continua en C:

Esto concluye la prueba de la proposicin.
Ya estamos en condiciones de poder denir una funcin continua y su-

prayectiva del conjunto de Cantor al cubo de Hilbert. El espacio mtrico y
compacto [0; 1] [0; 1] [0; 1] :::; se le llama el cubo de Hilbert.
PROPOSICION 3.4. Existe una funcin continua y suprayectiva de

C en [0; 1] [0; 1] [0; 1] :::
Demostracin. Por la Proposicin 3.2, tenemos que C es homeomorfo

a C C C ::: .
Sea
45
f : C C C ::: ;! [0; 1] [0; 1] [0; 1] :::
f (x ; x ; x ; :::) = (g(x ); g(x ); g(x ); :::);
1 2 3 1 2 3
donde g es la funcin denida en la proposicin anterior. Como f es una

funcin 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 n(x ; x ; x ; :::)
1 2 3 1 2 3
donde n : [0; 1] [0; 1] ::: ;! [0; 1] es la proyeccin n-sima. Por la

Proposicin 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 funcin suprayectiva sea (c ; c ; c ; :::) 2 1 2 3

[0; 1] [0; 1] [0; 1] ::: . Dada n 2 N , como g es una funcin 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
1 2 3
tiene
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 funcin suprayectiva.

Esto concluye la prueba de la proposicin.
Como se mencion al principio de este captulo, mostraremos que todo

espacio mtrico y compacto se puede encajar como un subconjunto cerrado
del cubo de Hilbert.
En los teoremas que a continuacin se presentan, se muestra la cons-
truccin para denir dicha funcin. La prueba de sus propiedades est en el
Teorema 3.8.
La demostracin de los siguientes dos teoremas se ve en los cursos de
topologa.
46
TEOREMA 3.5. Todo espacio mtrico compacto X; contiene un sub-
conjunto denso y numerable.
TEOREMA 3.6. Todo espacio mtrico compacto X , tiene diametro

nito.
TEOREMA 3.7. Todo espacio mtrico compacto X , se le puede dar

una mtrica d1 tal que
d (p; q) 1 para toda p; q 2 X
1
Demostracin. Por el Teorema 3.6, se tiene diametro X < 1: Deni-

mos d de la siguiente manera:
1
d (p; q) = diadmetro
1
(p; q )
X para toda p; q 2 X;
donde d(p; q) es la mtrica denida en X: Es claro, que d es una mtrica
1
para X; adems, d (p; q) 1 y se puede ver fcilmente que d y d inducen la
1 1
misma topologa en X:
Esto concluye la prueba del Teorema.
TEOREMA 3.8. Sea X un espacio mtrico y compacto. Entonces X

se puede encajar en el cubo de Hilbert. Es decir, existe una funcin inyectiva
y continua h : X ;! [0; 1] [0; 1] [0; 1] :::
Demostracin. 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
1 2 3
h : X ;! [0; 1] [0; 1] [0; 1] :::

h(p) = (d(p; a ); d(p; a ); d(p; a ); :::):
1 2 3
47
En primer lugar, mostraremos la continuidad de la funcin 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
Si probamos que la distancia a un punto jo x 2 X es una funcin 0

continua, habremos terminado. Sea
H : X ;! R
denida 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):

0 0 0 0
Similarmente
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 funcin
continua.
Demostraremos que h es inyectiva. Esta prueba se realizar por reduccin

al absurdo, esto es, supongamos que h(p) = h(q) y, adems que, p 6= q:
Como p 6= q; el nmero 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; a1 ); d(p; a2 ); d(p; a3 ); :::) = (d(q; a1 ); d(q; a2 ); d(q; a3 ); :::):
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, adems, h (X ) es un conjunto compacto
(es la imagen continua de un compacto). Sabemos que los subconjuntos
compactos de espacios mtricos son cerrados entonces h (X ) es un cerrado.
Esto concluye la prueba del Teorema.
Resumiendo hemos consiguido encontrar una funcin continua y supra-

yectiva de C al cubo de Hilbert. Por otra parte, hemos visto que todo espacio
mtrico y compacto se puede encajar en un subconjunto cerrado del cubo de
Hilbert. Continuando con la lnea a seguir mencionada al principio de este
captulo, nos falta la construccin de una funcin que retraiga al conjun-
to de Cantor en uno de sus subconjuntos cerrados y no vacos. Pero antes
de la denicin de dicha funcin, mostraremos una manera topolgicamente
equivalente de construir a C:
LEMA 3.9. Sea

( 1 )
X an
D= n : an 2 f0; 3g para toda n 2 N :
n=1 4
Si
f : C ;! D
est denida por la frmula
1 ! 1
X an X 3
an
f 3n
= 2
4n
donde an 2 f0; 2g
n=1 n=1
entonces f es un homeomorsmo de C en D:
Demostracin. Cada serie de la forma

1
X an con an 2 f0; 3g para toda n 2 N ,
n=1 4n
49
est acotada por la serie
1
X 1
X
3 1
=3 = 1:
n=1 4n n=1 4n
Por tanto cada serie de las que denen a D es convergente y representa

a un nmero en el intervalo [0; 1] :
Cada x 2 C; por el Teorema 2.9, tiene una representacin nica de la
forma
1
x = an donde a 2 f0; 2g ;
X
n n
n=1 3
entonces an 2 f0; 3g : Esto muestra que f est bien denida.
3
2
Ahora mostraremos que f es inyectiva. 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 n n
n=1 3 n=1 3
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 trmino cualquiera de la serie, obtenemos que se puede
acotar superiormente por
an
4n2 43n para cada n 2 N :
3 3
2 2
4n
Es decir,
3
an
2
4n
43n para cada n 2 N :
Primer caso. Si am = 0 y bm = 2; se tiene
3
a 3
a 0 3
am+1 3 am+2
f (x) = 2
41
1
+ 2
42
2
+ ::: + m + 2 m+1 + 2 m+2 + :::
4 4 4
50
4a a am;
3 3 3
3 3
+ ::: + + m+1 + m+2 + :::
1 2 1
2
+ 2 2
1
4 2
4m;1 4 4
3
a 3
a 3
am; 3 1 1
+ ::: + 1 + + 2 + :::
1 2 1
= 2
+ 2 2
+ m+1
41 42 4m;1 4 4 4

3
a 3
a 3
am; 3 4
+ ::: +
1 2 1
= 2
+ 2 2
+ m+1
41
4 2
4m;1 4 3
3
a 3
a 3
am; 1
+ ::: +
1 2 1
= 2
+ 2 2
+ m
41
4 2
4m;1 4
3
b 3
b 3
bm; 3
< 2 1
41
+ 2 2
4 2
+ ::: + 2
4m;1
1
+ m
4
3
b 3
b 3 3
bm+1 3 bm+2
4
2 1
1
+
4
+ ::: + m + 2 m+1 + 2 m+2 + :::
2 2
2
4 4 4
= f (y ):
Es decir, f (x) < f (y): Por tanto, f (x) 6= f (y): En el caso, am = 2 y bm = 0;
la demostracin 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 a
y = an con a 2 f0; 3g : Sea x =
X X n
2
n n ; n
3
n=1 4 n=1 3
como an 2 f0; 3g ; entonces an 2 f0; 2g ; as que x 2 C:
2
3
Aplicando f al elemento x; se obtiene
1 a ! X 1 an X 1
f
X n
2
an = y 32
n = n =
3 23
n
n=1 3 n=1 4 n=1 4
Por tanto, f es una funcin suprayectiva. Por consiguiente, f es una
funcin biyectiva.
n f es una; funcin
Demostraremos que; la n continua.
Sea " > 0: Como !0y 1
! 0 cuando n ! 1; existe M 2 N
1
tal que M < ": Hacemos = M : Tomemos x; y 2 C tales que jx ; yj <

4 3
1 1
4 3
entonces
51

X1 3a 1
X 3
bn 1 3 a
X ; bn = X
3 1 ja ; b j 3
jf (x) ; f (y) = 24nn

j
; 2
n 2 n
4n
2 n

n
: 2
4n
n=1 n=1 4 n=1 n=1

1
Ya que
X

a n b ;
n
= jx ; yj < 31M por el Lema 2.8, se obtiene que

n=1 3n
a 1 = b1 ; a2 = b2 ; :::; aM = bM :
Observemos que jan ; bnj 2 para toda n 2 N : Por lo cual, jann;bn j

3
2
4
= n para toda n 2 N :
3
2
2 3
4n 4
Entonces
1
X 3
jan ; bn j = jaM ; bM j + jaM ; bM j + :::
3 3
jf (x) ; f (y)j 2
4n 4M
2
4M
+1
+1
+1 2 +2
+2
+2
n=1
3 3 3
4M +1
+ M +2 + M +3 + :::
4 4
3 1 1
= M +1 1 + + 2 + :::
4 4 4

3 4 1
= M +1 = M <"
4 3 4
Hemos obtenido, entonces que

X1 3a 1
X 3
bn
jf (x) ; f (y) = 24nn
j
; 2
n <"
n=1 n=1 4
Resumiendo, hemos obtenido una funcin continua e inyectiva de un es-

pacio mtrico compacto C sobre el espacio mtrico D; por [Rudin, Teo. 4.17]
se obtiene que f es un homeomorsmo 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:
Demostracin. Esta prueba se realizar por reduccin al absurdo. Sean
a; b; c 2 D: Entonces
1 1 1
a=
X dn ; b=
X en yc=
X fn donde dn; en; fn 2 f0; 3g ;
n=1 4n n=1 4n n=1 4n
supongamos que a < b < c y c ; b = b ; a:

Como a < c; existe m 2 N tal que dm 6= fm y adems 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
c =
f 1
+
f 0 fm+1 fm+2
+ ::: + m + m+1 + m+2 + :::
2
4 1
4 2
4 4 4
4f 1
1
+
f2 + ::: + fm;1 + 3 + 3 + :::
42 4m;1 4m+1 4m+2
=
f 1
+
f2 + ::: + fm;1 + 3 1 + 1 + 1 + :::
41 42 4m;1 4m+1 4 42

=
f 1
+
f2 + ::: + fm;1 + 3 4
41 42 4m;1 4m+1 3
=
f 1
+
f2 + ::: + fm;1 + 1
4 1
42 4m;1 4m
< d4 1
1
+
d2 + ::: + dm;1 + 3
42 4m;1 4m
d 4
1
1
+
d2 + ::: + dm;1 + 3 + dm+1 + dm+2 + ::: = a:
42 4m;1 4m 4m+1 4m+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
1 1
a=
X dn yc=
X fn
n=1 4n n=1 4
n
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; :

1 1 1 1 1 1
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: Adems 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 contradiccin hemos probado que d = 1
e = f ; :::; dm; = em; = fm; :
1 1 1 1 1
Para completar la prueba del lema, obtenemos dos contradicciones ana-
lizando los casos em = 0 y em = 3:
Recordemos que dm = 0 y fm = 3:
Si em = 0: Calculando
b;a =
e ;d
1 1
+
e ;d
2 2
+ ::: +
0;0
+
em ; dm
+1 +1
+ :::
41 42 4m 4m+1
=
em ; dm
+1 +1
+
em ; dm
+2 +2
+
em ; dm
+3 +3
+ :::
4m+1 4m+2 4m+3
3 3 3
4m+1
+ m+2 + m+3 + :::
4 4
3 1 1 3 4 1
= m+1 1 + + 2 + ::: = m+1 = m
4 4 4 4 3 4
Por otra parte, analizando el caso extremo en que fm+i ;em+i = ;m 3

4m+i 4 + i
para toda i = 1; 2; ::: . Se tiene
c;b =
f ;e
1 1
+
f ;e 2 2
+ ::: +
3 ; 0 fm+1 ; em+1
+ + :::
4 1
4 2
4m 4m+1
3 3
= m;
4 4m+1
; 4m3 ; 4m ; :::+2
3
+3

3 3 1 1 3 3 4
= m; m 1 + + 2 + ::: = m ; 4m
4 4 +1
4 4 4 +1
3
3 1 2
= m; = m
4 4m 4
Es decir, b;a < c;b; lo cual es un absurdo. Ya que, por hiptesis b;a = c;b:
54
Si em = 3: Calculando
c;b =
f ;e
1 1
+
f ;e2 2
+ ::: +
3 ; 3 fm+1 ; em+1
+ + :::
41
42
4m 4m+1
=
fm ; em
+1 +1
+
fm ; em
+2 +2
+
fm ; em
+3 +3
+ :::
4m+1 4m+2 4m+3
3 3 3
+ +
4m+1 4m+2 4m+3
+ :::

3 1 1 3 4 1
= 1 + + 2 + ::: = m+1 = m
4m+1 4 4 4 3 4
Por otra parte, analizando el caso extremo en que em+i ;dm+i = ;m 3
4m+i 4 + i
para toda i = 1; 2; ::: . Se tiene
b;a =
e ;d
1 1
+
e ;d2 2
+ ::: +
3 ; 0 em+1 ; dm+1
+ + :::
4 1
4 2
4m 4m+1
3 3
= m;
4 4m+1
; 4m3 ; 4m ; :::+2
3
+3

3 3 1 1 3 3 4
= m; 1 + + + ::: = m ; 4m
4 4m+1 4 42 4 +1
3
3 1 2
= m; m = m
4 4 4
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:
En el teorema siguiente identicaremos al conjunto de Cantor con el es-

pacio D: Esto es posible debido al Lema 3.9. Entonces cuando nos reramos
a un elemento de C; lo escribiremos como una serie de ceros y treses divididos
entre potencias de cuatro.
TEOREMA 3.11. Si A D, A es un conjunto cerrado y no vaco

entonces existe una funcin continua k : D ;! A tal que k(a) = a para
toda a 2 A:
Demostracin. Sea
55
k : D ;! A
k(x) = ax
donde jx ; axj = m{n fjx ; aj : a 2 Ag :
Es decir k(x) es el punto ms cercano a x: En la prueba del Teorema 3.8
vimos que la funcin que consiste de tomar la distancia a un punto jo es
continua. Pensando al punto jo como x; la funcin distancia a x es continua.
Ya que A es un cerrado dentro de un compacto, entonces esta funcin alcanza
un mnimo en A: Esto nos dice que efectivamente existe una tal ax: Ahora
que podramos tener el problema de que ax no fuera nica. Vamos a ver que
esto no ocurre. De hecho esta unicidad es la razn 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 razn similar no puede ocurrir que x bx : Entonces ax < x < bx y
jx ; axj = jx ; bxj : Esto tambin es absurdo por el Lema 3.10. Con esta
contradiccin probamos que ax es nica y entonces k est bien denida.
Si x 2 A entonces x es el punto de A ms cercano a x: Por tanto k(x) = x:
Demostraremos que k es una funcin 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 ) = a para toda y 2 x ; r ; x + r \ D (Ntese
; x
que, como y 2 x ; r ; x + r ;y r < entonces z = x; < x; r < y <
2 2

x + < r + = ax). Sea y 2 x ; ; x + \ D:
2 2 2
r r r
Para hacer esto, nicamente tenemos que ver que jy ; ax j jy ; aj para
2 2 2
toda a 2 A:
Tomemos pues una a 2 A: Por la denicin 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:
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
2 2 2 2
2
y < x + r < x + = ax):
Por tanto jy ; axj jy ; aj :
2
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 =
2 2
jax ; axj = 0 < ":

2 2
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 denicin y como x 2 A; se tiene que
2
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 < ":
2
Esto termina la prueba de que k es continua en los puntos de A:

Por tanto k es continua.
Ya estamos en condiciones de demostrar el siguiente teorema.
TEOREMA 3.12. Sea X un espacio mtrico, compacto y no vaco

entonces existe una funcin continua y suprayectiva. : C ;! X
Demostracin. Sea X un espacio mtrico y compacto. Por el Teorema

3.8, existe una funcin continua e inyectiva
h : X ;! [0; 1] [0; 1] [0; 1] :::
Por otra parte, por la Proposicin 3.4, existe una funcin continua y
suprayectiva
f : C ;! [0; 1] [0; 1] [0; 1] :::
57
Sea B = f ; (h(X )): Claramente B es un subconjunto cerrado y no vaco
1
de C .
De acuerdo con el Teorema 3.11 existe una funcin continua k : C ;! B
tal que k(b) = b para toda b 2 B:
Observemos que h es un homeomorsmo de X en h (X ) :
Denimos
= h; f k : C ;! X:
1
es una funcin continua ya que es la composicin 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
1
tiene sentido aplicar h; (f (k(p))): Esto nos dice que est bien denida.
1
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:
1
As que k(c) = c:
Entonces
(c) = h; (f (k (c))) = h; (f (c)) = h; (q) = x:
1 1 1
Por tanto, es una funcin suprayectiva.

Como vimos en el captulo 2, el conjunto de Cantor es un espacio mtrico,

compacto, perfecto, no vaco 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 denicin de un homeomorsmo de X en C; es necesaria
la construccin que se muestra en los lemas siguientes.
LEMA 3.13. Sea X un espacio mtrico, compacto, no vaco, 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
Demostracin. Para probar este lema necesitamos hacer uso del teo-
rema que dice que para los espacios mtricos 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
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
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 1
U tales que
(i) Bi 6= ; para cada i = 1; 2; 3; :::; N .
(ii) X = B [ B [ ::: [ BN
1 2
(iii) Ningn Bi sobra. Es decir ningn Bi est contenido en la unin de
los dems (si hubiera de estos simplemente los vamos quitando hasta que ya
no haya).
Como cada Bi 2 U ; tenemos que diametro(Bi) < ":
Denamos los siguientes conjuntos:
;1
N[
A 1 = B1 ; A2 = B2 ; B1 ; A3 = B3 ; (B1 [ B2 ); :::; AN = BN ; Bj :
j =1
Por la condicin (iii) cada Ai 6= ;:
! !c !
;1
i[ ;1
i[ ;1
i\
Ya que Ai = Bi ; Bj = Bi \ Bj = Bi \ Bjc ;
j =1 j =1 j =1
59
tenemos que Ai es una interseccin nita de abiertos y tambin 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
;1
i[ ;1
i[ ! ;1
i[ !!
Ak Bk Bj ; de modo que Ak \Ai Bj \ Bi ; Bj = ;:
j =1 j =1 j =1
Por tanto A ; A ; :::; AN son ajenos entre s.
1 2
Ahora veremos que X = A [ A [ ::: [ AN :
1 2
Sea x 2 X: Como X = B [ B [ ::: [ BN ; existe una i mnima tal que
1 2
x 2 Bi: Entonces
;1
i[
x 2= Bj :
j =1
De manera que x 2 Ai: Por tanto X = A [ A [ ::: [ AN : 1 2
Finalmente, como Ai Bi y diametro(Bi) < "; tenemos que
diametro(Ai ) < " para toda i 2 f1; 2; :::; N g :
Hemos visto en el lema anterior que, si X es un espacio mtrico, compacto,

totalmente disconexo y no tiene puntos aislados entonces se puede encontrar
una particin nita de conjuntos abiertos y cerrados en X; ajenos dos a dos y
no vacos. Pero cada subconjunto de esta particin 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 mtrico, compacto, totalmente disconexo

y sin puntos aislados. Sea A X; un subconjunto abierto, cerrado y no
vaco, entonces A es un espacio mtrico, compacto, totalmente disconexo y
sin puntos aislados.
Demostracin. Cualquier subconjunto no vaco de un espacio mtrico

es un espacio mtrico. Adems, es claro que los subconjuntos de espacios
totalmente disconexos son totalmente disconexos, por lo cual, A es totalmente
disconexo.
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.
Si X es un espacio mtrico, compacto, totalmente disconexo y sin puntos

aislados, por el Lema 3.13, dado un " > 0; podemos encontrar una particin
nita de subconjuntos abiertos y cerrados, no vacos y con otras propiedades
ms. Por el Lema 3.14, obtenemos que cada subconjunto abierto y ce-rrado,
no vaco de dicha particin hereda las propiedades del espacio original. Aho-
ra, probaremos que esta particin se puede renar tanto como queramos.
LEMA 3.15. Sea X un espacio mtrico, no vaco, 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 ) dia
metro Ai < " para cada i = 1; 2; :::; n:
Demostracin. Sea " > 0: Por el Lema 3.13, existe N 2 N tal que
A ; A ; :::; AN son abiertos y cerrados en X y adems
1 2
(i) X = A [ A [ ::: [ AN :
1 2
(ii) Ai 6= ; para i = 1; 2; :::; N:
(iii) A ; A ; :::; AN son ajenos entre s.
1 2
(iv ) dia
metro 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 mtrico, compacto, totalmente disconexo
y sin puntos aislados. Al ser AN un conjunto abierto entonces existe r > 0
tal que Br (a) AN : Adems, 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
61
conexo, por lo cual, existe una disconexin para AN : Sean H y K abiertos
tales que H [ K = AN ; H \ K = ; , H 6= ; y K 6= ;:
Denamos
B 1 = A1 ; B2 = A2 ; :::; BN ;1 = 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
1 2 +1
X = B [ B [ ::: [ BN ; [ BN [ BN = A [ A [ ::: [ AN ; [ H [ K =
1 2 1 +1 1 2 1
A [ A [ ::: [ AN ; [ AN :
1 2 1
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.
1 2 1 +1
Adems, 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:
Resumiendo para cualquier espacio mtrico, no vaco, compacto, total-

mente 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. Adems, estos subconjuntos heredan las propiedades
del espacio original y su dimetro 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:
0 2 1
(i) Cada Ai es un abierto, cerrado y no vaco para cada i 2 f0; 1; :::; n ; 1g :
62
metro Ai < " para cada i 2 f0; 1; :::; n ; 1g :
(ii) dia
(iii) X = A0 [ A1 [ ::: [ An;1
(iv ) A0 ; A1 ; :::; An;1 son ajenos entre s.
Como hemos estado anunciando vamos a mostrar que si X es un espacio

mtrico, compacto, no vaco, totalmente disconexo y sin puntos aislados,
entonces X es homeomorfo a C: La demostracin de este hecho se basa en
hacer particiones adecuadas de X:
Empezaremos partiendo X por un nmero de la forma 2n de conjuntos 1
abiertos, cerrados, no vacos y de dimetro menor que 1: Como segundo

paso, partiremos cada uno de los miembros de la primera particin por un
nmero de la forma 2n (todos los conjuntos partidos por el mismo nmero
2
de pedazos) de conjuntos abiertos, cerrados, no vacos y de dimetro menor

que : Y seguiremos partiendo y partiendo.
1
2
Como se ve necesitamos introducir una notacin apropiada.
Para cada sucesin nita n ; n ; :::; nm 2 N hacemos J (n ; n ; :::; nm ) =
1 2 1 2
f0; 1gn f0; 1gn ::: f0; 1gnm : Observemos que cada f0; 1gni tiene 2ni
1 2
elementos, de donde J (n ; n ; :::; nm) tiene 2n 2n ::: 2nm = 2n n ::: nm

1 2
1 2 1+ 2+ +
elementos.
LEMA 3.17. Sea X un espacio mtrico compacto (no vaco), totalmente

disconexo y sin puntos aislados, entonces existe una sucesin de nmeros
naturales fnm gm2N y una sucesin 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 vacos y de dimetro
menor que m1 :
(c) Para cada 2 J (n1 ; n2 ; :::; nm;1 ); el conjunto A(;) 2 Pm : 2 f0; 1gnm
es una particin de A ; el cual es un elemento de Pm;1 :
Demostracin. Haremos una construccin inductiva.

(1) Para n = 1:
Apliquemos el Lema 3.15 a " = 1: Entonces existe N 2 N tal que para 1
cada n N hay una (n; 1) ; particion de X . Sea n 2 N tal que 2n N :
1 1
1
1
Entonces existe una (2n ; 1) ; particion de X; la cual denotaremos por P =
1
1
fAa : 2 J (n )g (como P y J (n ) tienen 2n elementos, podemos numerar
1 1 1
1
a P con los ndices en J (n )):

1 1
63
(2) Supongamos que P ; P ; :::; Pm ya han sido construidos.
1 2
Dada = (a ; a ; :::; am) 2 J (n ; n ; :::; nm): Por el Lema 3.14, A es
1 2 1 2
un espacio mtrico, compacto, no vaco, totalmente disconexo y sin puntos
aislados. Apliquemos el Lema 3.15 a " = m y al espacio A; entonces existe 1
+1
N 2 N tal que, para cada n N ; A tiene una (n; m ) ; particion. 1
Ya que J (n ; n ; :::; nm) es nito, podemos tomar nm 2 N tal que

+1
1 2 +1
2nm N para toda 2 J (n ; :::; nm ): Entonces, para cada 2 J (n ; :::; nm );
+1
1 1
existe una (2nm ; m ) ; particion Q de A :
+1 1
Como Q tiene 2nm elementos, al igual que f0; 1gnm ; podemos denotar
+1
+1 +1
a sus elementos en la forma A ; donde 2 f0; 1gnm : Notemos que a (; )

( )
+1
lo podemos interpretar como a unSelemento de J (n ; :::; nm ): 1 +1

Finalmente denimos Pm = fQ : 2 J (n ; :::; nm)g : +1 1
Claramente los elementos de Pm son abiertos y cerrados de X; son no +1
vacos y tienen

dimetro menor que m : Para cada 2 J (n ; :::; nm ) el 1
+1 1
conjunto A ; 2 Pm : 2 f0; 1gnm es Q y entonces es una particin

( ) +1
+1
de A 2 Pm :
Slo nos resta probar que Pm es una particin de X: +1
Dada x 2 X; como Pm es particin de X; existe 2 J (n ; :::; nm) tal 1
que x 2 A : Y como Q es particin de SA; existe 2 f0; 1gnm tal que +1
x 2 A ; 2 Pm : Esto prueba que X = A ; : A ; 2 Pm :

( ) +1 ( ) ( ) +1
Ahora tenemos (; ) 6= ( ; ) con ; 2 J (n ; :::; nm ) y ; 2 f0; 1gnm : 1
+1
Si 6= ; como A ; A ; A ; A y A \ A = ;; tenemos que

( ) ( )
A ; \ A ; = ;: Y si = ; entonces 6= : Ya que Q es una particin
( ) ( )
de A; tenemos que A ; \ A ; = ;: ( ) ( )
Esto termina la prueba de que los elementos de Pm son ajenos entre s. +1
Por tanto Pm es una particin de X:
+1
Esto concluye la construccin y la prueba del lema.
LEMA 3.18. Para cada sucesin n ; n ; ::: en N , el espacio mtrico 1 2

f0; 1gn f0; 1gn f0; 1gn ::: es homeomorfo al espacio mtrico f0; 1g
1 2 3
f0; 1g f0; 1g :::

Demostracin. Sea Z = f0; 1gn f0; 1gn f0; 1gn ::: 1 2 3
g : Z ;! f0; 1g f0; 1g f0; 1g :::

64
g((a ; :::; an );(a ; :::; an ); (a ; :::; an ); :::) =
(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
(a ; :::; an ; a ; :::; an ; a ; :::; an ; :::)

(1) (1) (2) (2) (3) (3)
1 1 1 2 1 3
donde ain 2 f0; 1g para toda i; n 2 N .

( )
Demostraremos que g es una funcin inyectiva. Sean

g((a ; :::; an ); (a ; :::; an ); (a ; :::; an ); :::) =
(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
(a ; :::; an ; a ; :::; an ; a ; :::; an ; :::)

(1) (1) (2) (2) (3) (3)
1 1 1 2 1 3
y
g((b ; :::; bn ); (b ; :::; bn ); (b ; :::; bn ); :::) =
(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
(b ; :::; bn ; b ; :::; bn ; b ; :::; bn ; :::):

(1) (1) (2) (2) (3) (3)
1 1 1 2 1 3
Supongamos que
g((a ; :::; an ); (a ; :::; an ); (a ; :::; an ); :::) =
(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
g((b ; :::; bn ); (b ; :::; bn ); (b ; :::; bn ); :::)

(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
Esto es equivalente a que

(a ; :::; an ; a ; :::; an ; a ; :::; an ; :::) = (b ; :::; bn ; b ; :::; bn ; b ; :::; bn ; :::)
(1) (1) (2) (2) (3) (3) (1) (1) (2) (2) (3) (3)
1 1 1 2 1 3 1 1 1 2 1 3
Entonces a m = b m ; :::; anmi = bnmi para toda i y m 2 N . Esto es, por la

(
1
) (
1
) ( ) ( )
denicin de igualdad en el producto. As,

(a ; :::; an ) = (b ; :::; bn ); (a ; :::; an ) = (b ; :::; bn ); (a ; :::; an ); :::
(1) (1) (1) (1) (2) (2) (2) (2) (3) (3)
1 1 1 1 1 2 1 2 1 3
.
Por tanto g es una funcin inyectiva.
Para mostrar que g es una funcin suprayectiva tomemos un punto arbi-

trario (a ; a ; a ; :::) 2 f0; 1g f0; 1g f0; 1g ::: .
1 2 3
Entonces
((a ; :::; an ); (an ; :::; an n ); (an n ; :::; an n n ); :::) 2
1 1 +1 1+ 2 1 + 2 +1 1+ 2+ 3
f0; 1gn f0; 1gn f0; 1gn ::: .

1
1 2 3
Aplicando g:
g((a ; :::; an ); (an ; :::; an n ); (an n ; :::; an n n ); :::) = (a ; a ; a ; :::):
1 1 1 +1 1+ 2 1 + 2 +1 1+ 2+ 3 1 2 3
Por lo que, g es una funcin suprayectiva.
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 proyeccin natural. Tomemos pues n 2 N . Ya que n < n + n < n + 1 1 2 1
n + n < :::; existe m 2 N tal que n + n + ::: + nm < n n + n + ::: + nm :
2 3 1 2 1 2 +1
Sea a = ((a ; :::; an ); (a ; :::; an ); (a ; :::; an ); :::): Observemos que

(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
ng(a) = n((a ; :::; an ; a ; :::; an ; a ; :::; an ; :::)) = anm; n n ::: nm :

(1)
1
(1)
1
(2)
1
(2)
2
(3)
1
(3)
3
( +1)
( 1+ 2+ + )
65
De manera que para obtener la funcin n g podemos primero tomar la

proyeccin (m+1);esima del punto a y obtener al punto (a m ; :::; anmm ) 2
(
1
+1) ( +1)
f0; 1gnm y despus tomarle la proyeccin n ; (n + n + ::: + nm ) a este

( +1)
+1
1 2
punto.
Por tanto n g es la composicin de dos proyecciones y, en consecuencia
esta funcin es continua.
Por tanto g es una funcin continua.
Hemos obtenido una funcin continua e inyectiva del espacio mtrico com-
pacto f0; 1gn f0; 1gn f0; 1gn ::: en el espacio mtrico f0; 1gf0; 1g
1 2 3
f0; 1g ::: . Por [Rudin, Teo. 4.17] ; g es un homeomorsmo.

LEMA 3.19. El espacio mtrico1

f0; 1g f0; 1g f0; 1g ::: es homeo-
morfo al espacio mtrico f0; 2g :
Demostracin. Sea
h : f0; 1g f0; 1g f0; 1g ::: ;! f0; 2g1
h (a ; a ; a ; :::) = (2a ; 2a ; 2a ; :::)
1 2 3 1 2 3
donde ai 2 f0; 1g :
Es muy fcil ver que h es una biyeccin continua del espacio mtrico
y compacto f0; 1g f0; 1g f0; 1g ::: al espacio mtrico f0; 2g1 : Por
[Rudin, Teo. 4.17] ; h es un homeomorsmo.
LEMA 3.20. El espacio mtrico f0; 1gn f0; 1gn f0; 1gn ::: es
1 2 3
homeomorfo a C:
Demostracin. Por el Lema 3.18, el espacio f0; 1gn f0; 1gn f0; 1gn
1 2 3
::: 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 homeomorsmo es una relacin de equivalencia en
la clase de todos los espacios topolgicos, en particular es transitiva.
Por tanto el espacio mtrico f0; 1gn f0; 1gn f0; 1gn ::: es homeo-
1 2 3
morfo a C:
Estamos listos para demostrar el ltimo resultado de este trabajo.
TEOREMA 3.21. Sea X un espacio mtrico, no vaco, compacto, total-

mente disconexo y sin puntos aislados, entonces es homeomorfo al conjunto
de Cantor.
Demostracin. Por el Lema 3.17, existe una sucesin de numeros na-

turales fnm gm2N y una sucesin de particiones fPm gm2N de X tales que
(a) Cada Pm es de la forma Pm = fA : 2 J (n ; :::; nm )g 1
(b) Los elementos de Pm son abiertos, cerrados, no vacos y de dimetro
menor que m :
1

(c) Para cada 2 J (n ; :::; nm; ); el conjunto A ; 2 Pm : 2 f0; 1gnm
1 1 ( )
es una particin de A; el cual es un elemento de Pm; : 1
Tomemos un punto x 2 X: Dada m 2 N , como Pm es una particin de

X; existe un nico elemento = ( ; :::; m ) 2 J (n ; :::; nm ) tal que x 2 A :
1 1
Si tomamos = ( ; :::; m ) 2 J (n ; :::; nm ) tal que x 2 A ; por (c) ;
1 +1 1 +1
es de la forma = ( ; :::; m ; m ): Por tanto y coinciden en los
1 +1
primeros m terminos.
Sea
f : X ;! f0; 1gn f0; 1gn f0; 1gn :::
1 2 3

f (x) = ( ; ; ; :::)
1 2 3
67
donde para cada m 2 N , x 2 A ;:::;m : ( 1 )
Por la observacin que hicimos hace dos prrafos, no depende de cual 1
m 2 N se tome, no depende de cual m 2 se tome, no depende de
2 3
cual m 3 se tome, etc. Por tanto f es una funcin bien denida.

f (p) = ( ; ; ; :::) y f (q) = ( ; ; ; :::):
1 2 3 1 2 3
Supongamos que f (p) = f (q): Esto es equivalente a que

(1 ; 2 ; 3 ; :::) = ( 1 ; 2 ; 3 ; :::)
Entonces m = m para toda m 2 N . Por consiguiente, p; q 2 Am con

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

es inyectiva.
Para mostrar que f es una funcin suprayectiva tomemos un punto arbi-

trario ( ; ; ; :::) 2 f0; 1gn f0; 1gn f0; 1gn ::: . Por la parte (c) del
1 2 3
1 2 3
Lema 3.17, se obtiene

A ;:::; m A ;:::; m para toda m 2 N .
( 1 +1 ) ( 1 )
Es decir, tenemos una sucesin decreciente de conjuntos compactos, no

vacos. Por [Rudin, Teo.2.36] ; se obtiene que
1
\
A ;:::; m 6= ;
( 1 )
m=1
Si tomamos un punto r en esta interseccin, entonces
f (r) = ( ; ; ; :::)
1 2 3
Por lo que f es suprayectiva.
Demostraremos que f es una funcin continua. Sean p 2 X; " > 0 y

M 2 N tales que M < ". Supongamos que p 2 A ;:::;M : Dada q 2
2
1
( 1 )
68
A ;:::;M : Entonces f (p) y f (q) coinciden en las primeras M coordenadas.
( 1 )
As que f (p) y f (q) son de la forma f (p) = ( ; :::; M ; M ; :::) y f (q) =
1 +1
( ; :::; M ; M ; :::): Entonces
1 +1
1 1
d(f (p); f (q)) =
X jm ; mj = X j m ; m j
m=1 2m m=M +1 2m
1 1 1
2M +1
+ M +2 + M +3 + :::
2 2
1 1 1 1 1
= M +1 1 + + 2 + ::: = M +1 (2) = M < ":
2 2 2 2 2
Por tanto d(f (p); f (q)) < " para toda q en el abierto A ;:::;M :
( 1 )
Por tanto f es continua. Hemos obtenido una funcin continua e inyectiva
del espacio mtrico compacto X en el espacio mtrico f0; 1gn f0; 1gn 1 2
f0; 1gn ::: . Por [Rudin, Teo. 4.17] ; f es un homeomorsmo.

3
Por el Lema 3.20, se obtiene que X es homeomorfo a C:

69
Referencia
[1]Walter Rudin. Principios de Anlisis Matemtico. Mcgraw-Hill, 1980.
[2] Stephen Willard. General Topology. Addison-Wesley, 1970.
[3] Richard E. Chandler. Hausdor Compactications. Marcel Dekker,
Inc. 23, 1976.

Propiedades Del Conjunto de Cantor (José Mateos Cortés) PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Propiedades Del Conjunto de Cantor (José Mateos Cortés) PDF

Cargado por

Copyright:

Formatos disponibles

Propiedades del conjunto de Cantor.

Jos Mateos Cortes.

La mayora de los cursos y libros que hablan del conjunto de Cantor lo

De nuestros cursos de Anlisis Matemtico y Topologa hemos vislumbrado

CONSTRUCCION GEOMETRICA DEL CONJUNTO DE

Tomamos el intervalo unitario [0; 1] de la recta real. Dividimos este inter-

El primer paso para la construccin del conjunto de Cantor; consiste

conjunto C la unin de los intervalos restantes, o sea C = 0; [ ; 1 :

Quitamos ahora los ;subintervalos

Repetimos el proceso, es decir, a cada uno de los intervalos que componen

Este proceso se sigue indenidamente. Es decir, para obtener a C , se 4

Figura 1. Ilustracin de la construccin de C ,C ,C y C . 1 2 3 4

Finalmente el Conjunto de Cantor, que durante todo este trabajo se le

OBSERVACION 1.1. El problema con esta construccin, es que Cm +1

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

PROPOSICION 1.2. Cm es la unin de 2m intervalos cerrados y

Demostracin. Haremos esta prueba por induccin matemtica. Clara-

ahora que Cm esta formado por 2m intervalos cerrados y ajenos. Sabemos

De acuerdo con la proposicin anterior los intervalos que conforman a

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

En otras palabras, podemos expresar la construccin as:

LEMA 1.4. a m = 2 3m para cada m 2 N :

Calculando a m tenemos lo siguiente:

El siguiente teorema nos da una manera muy fcil y til de calcular aj :

TEOREMA 1.5. Sea j 2 N : Expresamos a j en su notacin binaria,

aj = a(b0 20 +b121 +:::+bm2m ) = b0 a20 + b1 a21 + ::: + bm a2m

Demostracin. Sea j 2 N jo pero arbitrario y, lo expresamos en su

Por denicin 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:

Esto completa la prueba del teorema.

La siguiente tabla resume estos resultados.

LEMA 1.6. aj + 1 < aj para cada j 2 N :

Demostracin. Si j es un nmero natural par, su primer cifra en nota-

Observemos que aj y aj slo dieren en el primer sumando, que en aj

En el caso de que j es impar, la escritura en notacin binaria de j tiene

Como la ltima parte de las dos sumas coincide (la de aj y la de aj ), +1

La suma de la izquierda es igual a

esta desigualdad es cierta.

LEMA 1.7. Para toda j 2 N ; 3aj = a j : 2

Multiplicando por 2 obtenemos

= 3 (2b 3 + 2b 3 + ::: + 2bm 3m ) = 3aj :

Por consiguiente a j = 3aj :

LEMA 1.8. Para cada j 2 N ; 3aj + 2 = a j : 2 +1

Ya podemos calcular a j ; con esto obtenemos

Por tanto a j2 +1 = 3aj + 2:

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

TEOREMA 1.10. Para toda m 2 N ; Bm = Cm :

son ajenos entre s. De acuerdo con la construccin geomtrica, estos inter-

tres partes iguales obtenemos los subintervalos:

Si al leer la Denicin 1.9, usted dud que el ltimo extremo derecho de

OBSERVACION 1.11. En efecto, como

Aplicndole la funcin tenemos:

PROPOSICION 1.12. Los intervalos que componen a Cm tienen lon-

Demostracin. Ya sabemos que

PROPOSICION 1.13. ;Lamsuma de las longitudes de los intervalos

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

Entonces la suma total de las longitudes es igual a:

PROPOSICION 1.14. Cm  Cm para cada m 2 N : +1

Demostracin. Sabemos que

a x a2 Cm entonces existe k 2 f0; 1; :::; 2

x 2 mk ; mk : Aplicando el Lema 1.7 y el Lema 1.8 obtenemos que para

PRIMER CASO. Si k es un nmero par entonces k es de la forma k = 2 i:

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

Este proceso se sigue indenidamente. Es decir, para obtener a C , se 4

CONSTRUCCION 1.3. Sea j 2 N : Si j = 0; denimos a 0 = 0: Si

Demostracin. Sea j 2 N jo pero arbitrario y, lo expresamos en su

Por denicin aj = 2b 3 + 2b 3 + ::: + 2bm 3m: Por el lema 1.4,

Observemos que aj y aj slo dieren en el primer sumando, que en aj

Si al leer la Denicin 1.9, usted dud que el ltimo extremo derecho de

PROPOSICION 1.14. Cm Cm para cada m 2 N : +1

Esto termina la prueba de que Cm Cm:

LEMA 1.15. Si 0 k 2m ; 1 entonces ak

entonces 0 8k < 2m y as sucesivamente.

Como 0 k 2m ; 1; entonces 0 2k + 1 2m ; 1: De aqu que +1

y k 2n ; 1, por transitividad se obtiene

Observemos que las emn que estamos deniendo dependen de m; de x y

Sea n 2 N . Vamos a proponer los coecientes de la notacin binaria del

Como esta construccin es para una n ja pero arbitraria, concluimos,

DEFINICION 2.1. Dada una familia f(Xn; n)gn2N de espacios topo-

donde n 2 N y Ui 2 i para cada i n: Como se ve en los cursos elementales

PROPOSICION 2.2. La topologa inducida por d en X es la que

Demostracin. Denotaremos por a la topologa para X usando y,

donde n 2 N y Ui 2 i para cada i n: Como xi 2 Ui 2 i y i se dene

Ahora tomemos U 2 o: Sea x = (x ; x ; x ; :::) un punto cualquiera de1 2 3

OBSERVACION 2.4. Cm [0; 1] para cada m 2 N : En efecto, la

dos a dos. Adems, Br (x) es un conjunto conexo y como Br (x) Cn;

Demostracin. Supongamos por el contrario que (x; y) C: Elegimos

q 2 Br (p) (x; y) C Cn y q 2 R ; Cn: