...

Propiedades del Conjunto de Cantor (archivo PDF

by user

on
Category: Documents
4

views

Report

Comments

Transcript

Propiedades del Conjunto de Cantor (archivo PDF
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 denen
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; 31
;1
2
; ; ; ;1 :
3
2
3
3
El primer paso para la construcción del conjunto de Cantor
en
; consiste
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
1
1
3
1
3
2
3
2
3
2
a C lo dividimos en tres partes iguales generándose los siguientes subintervalos:
1
0; 91
;1
2
; ; ; ;
9
2
9
9
3
9
6
;7
8
y ; ; ; ; ;1
9
7
9
9
8
9
9
Quitamos ahora los ;subintervalos
;
abiertos intermedios. Es decir a C le
quitamos los intervalos ; y ; . Sea C el conjunto que nos queda, o
sea
1
9
C
2
9
7
9
2
= 0; 91
1
8
9
2
2
6
8
[ ; [ ; [ ;1 .
3
9
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
los tercios medios. Con esto obtenemos el tercer paso de la construcción que
consiste en el conjunto:
1
9
2
C
3
1
= 0; 27
2
6
8
18
20
24
26
[ ; [ ; [ ; [ ; [ ; [ ; [ ;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
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
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
denotará por la letra C , se dene como la intersección de todos los conjuntos
Cm. Es decir,
3
T
C = fCm : m 2 N g
OBSERVACION 1.1. El problema con esta construcción, es que Cm
+1
depende de Cm . Entonces, si no hemos construido a Cm no sabemos quién
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 fórmula explícita para los Cm .
Una primera propiedad que podemos observar de los Cm es la siguiente.
PROPOSICION 1.2. Cm es la unión de
ajenos.
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
+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 :
CONSTRUCCION 1.3. Sea j 2 N : Si j = 0; denimos a
j 6= 0 entonces escribimos a j en su notación binaria, es decir:
j = b 2
0
0
+ b1 21 + ::: + bm 2m :
0
= 0:
Si
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 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:
2
3
0
10
1
0
1
2
3
LEMA 1.4. a m = 2 3m para cada m 2 N :
2
Demostración. 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 fácil y útil de calcular aj :
En él mostramos que la función aj tiene algunas propiedades de linealidad.
TEOREMA 1.5. Sea j 2 N : Expresamos a j en su notación binaria,
esto es:
j =b 2
+ b1 21 + ::: + bm 2m . Entonces
aj = a(b0 20 +b121 +:::+bm2m ) = b0 a20 + b1 a21 + ::: + bm a2m
0
0
Demostración. Sea j 2 N jo pero arbitrario y, lo expresamos en su
notación binaria, esto es:
j = b 2 + b 2 + ::: + bm 2m: (estamos suponiendo que bm = 1).
Por denició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
0
20
1
2
2
1
0
1
0
1
1
5
ab
b
( 0 20 + 1 21 +
:::+bm2m ) = b0 a20 + b1 a21 + ::: + bm a2m :
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:
a
=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
Demostración. Si j es un número natural par, su primer cifra en nota-
ción 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:
Observemos que aj y aj sólo dieren 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 denició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
0
+1
1
1
+1
+1
+1
+1
0
1
0
+1
1
0
0
+1
2
+1
1
+1
1
+2
+2
+2
+2
+2
+2
+1
+2
+2
+1
0
1
+1
0
1
+1
1 3i+1
De manera que sólo tenemos que probar que 3i < 2 3i : Y claramente
esta desigualdad es cierta.
Esto concluye la prueba.
+1
LEMA 1.7. Para toda j 2 N ; 3aj = a j :
2
Demostración. Sea
+1
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 :
= 3 (2b 3 + 2b 3 + ::: + 2bm 3m ) = 3aj :
0
2
0
0
1
0
1
1
1
2
+1
Por consiguiente a j = 3aj :
2
LEMA 1.8. Para cada j 2 N ; 3aj + 2 = a j :
2 +1
Demostración. 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
= 2 30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1
= 2 + 3 (2b0 + 2b1 31 + ::: + 2bm 3m ) = 2 + 3aj :
aj
2 +1
Por tanto a j
2 +1
= 3aj + 2:
Ahora ya estamos listos para dar una denició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 [ aj
j =0
aj + 1 :
;
3m 3m
9
donde aj es como en la construcción 1:3:
EJEMPLO.
B
1
2 2+1 1 2 [ 3 ; 3 = 0; 3 [ 3 ; 1 :
= a30 ; a03+1 [ a31 ; a13+1 = 30 ; 0+1
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
Cm =
2
m ;1 [ aj
j =0
3m
; aj + 1
1
3m
h
Del Lema 1.6 se deduce que los intervalos am ; a m ; am ; a m ; :::; a mm; ; a 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
Tomemos uno de estos intervalos, digamos el amj ; aj m al dividirlo en
tres partes iguales obtenemos los subintervalos:
3aj 3aj + 1
3aj + 1 3aj + 2
3aj + 2 3aj + 3
;
;
;
y
;
:
3
0 +1
0
3
3
1 +1
1
3
2
1
3
+1
+1
3
3m+1
3m+1
3m+1
3m+1
3m+1
3
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 [
3aj
j =0
3aj + 1
;
m
+1
3
3m+1
[
3aj + 2 3aj + 3
; 3m+1
3m+1
Aplicando el Lema 1.7 y el Lema 1.8 tenemos lo siguiente:
:
1 +1
2
3
i
10
Cm
+1
=
2
2
2 +1
+1
+1
2 +1
+1
a ;a +1 [ a ;a +1 [ a ;a +1 [ a ;a 3m
3m
3m
3m
3m
3m
3m
3m
[ a 3mm ; ; a 3mm; + 1 [ a 3mm; ; a m3;m + 1
20
20
+1
2 0+1
+1
2(2
1)
2 0+1
+1
2(2
21
+1
1)
+1
1)+1
2(2
2 1+1
+1
0
1
+1
2
+1
+1
+1
2
1
2
+1
2
+1
+1
2
2
+1
1
2
m ;1 [
j =0
a ; a + 1 [ :::
m
3
3m
3
+1
+1
3
+1
1
= Bm+1 :
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 [ aj
2
j =0
aj + 1 :
;
m
3
3m
Si al leer la Denició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 armación es verdadera.
OBSERVACION 1.11. En efecto, como
20 + 21 + 22 + ::: + 2m;1 = 2m ; 1.
Aplicándole la función tenemos:
+1
+1
+1
aj ; aj + 1
m
3
3m
+1
+1
+1
+1
2 +1
=
2
+1
+1
+1
+1
a ;a +1 [ a ;a +1 [ a ;a +1 [
m
3
3m
3m
3m
3m
3m
m ; a m ; +1
m ; a m ; +1
a
a
[ 3m ; 3m
[ 3m ; 3m
0
2 1+1
1)+1
+1
21
+1
2(2
+1
=
a j ;a j +1 [ a j ;a j +1
3m
3m
3m
3m
+1
j =0
=
m ;1 [
2
[ :::
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;
2
1
3m
+1
3m ; 1 + 1
3m
=
= 1:
3m
3m
=
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.
PROPOSICION 1.12. Los intervalos que componen a Cm tienen lon-
gitud de
m:
1
3
Demostración. Ya sabemos que
Cm =
m ;1 [ aj
aj + 1 :
;
m
3
3m
2
+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
a
ak + 1 ; ak = 1 :
k ak + 1
l
;
=
3m
3m
3m
3m
3m
PROPOSICION 1.13. ;Lamsuma de las longitudes de los intervalos
que componen a Cm es igual a
2
3
:
Demostración. Sea m 2 N y su correspondiente Cm, es decir:
Cm =
m ;1 [ aj
2
j =0
aj + 1 :
;
m
3
3m
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:
1
3
12
m veces
2
1
1
1
1 + 1 + ::: + 1
2m
+
+
:::
+
=
=
=
3m 3m
3m
3m
3m
m
veces
2
m
2
3
PROPOSICION 1.14. Cm Cm para cada m 2 N :
+1
Demostración. Sabemos que
m ;1 [
2 +1
Cm
+1
=
aj ; aj + 1 :
m
3
3m
+1
j =0
+1
m ; 1g tal que
Dada
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
toda j se cumple:
aj = 3aj = a j :
3
+1
+1
3
+1
+1
+1
3m
2
3m+1
3m+1
aj + 1 = 3aj + 3 = 3aj + 2 + 1 = a j
3m
3m+1
2 +1
3m+1
+1
3m+1
:
Ahora bien, por hipótesis
ak x ak + 1 :
3m
3m
+1
+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
+1
3m
2
2
3m+1
2
3m+1
3m+1
3m+1
3m
3m
Concluimos que
x 2 3ami ; ai3+m 1 Por tanto x 2 Cm:
2
m ;1 [ aj
j =0
3m
; aj + 1
3m
= Cm :
3m
13
SEGUNDO CASO. Si k es un número natural impar entonces
k es de la
m ;
k
;
m
= 2m ; 1:
forma k = 2 i + 1: Como 1 k 2 ; 1; 0 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
3m
2
3m+1
2 +1
2
2 +1
2 +1
3m+1
+1
2
2
3m+1
2
2
3m+1
3m
Por tanto x 2 ami ; ai m Cm:
Esto termina la prueba de que Cm Cm:
3
+1
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
cada n 2 N :
ak
3
m
2 Cn y
ak +1
3
m
2 Cn para
Demostración. Dada m 2 N ; consideremos a su correspondiente Cm ;
esto es:
Cm =
m ;1 [ aj
aj + 1 :
;
m
3
3m
2
j =0
Sea k 2 f0; 1; 2; :::; 2m ; 1g : Los extremos que corresponden a k-ésimo
intervalo son
ak ; ak + 1 2 C
3m
3m
m
Por la Proposición 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 también están en los
Cn siguientes.
Sabemos que (Lema 1.7)
1
2
1
14
a2k
a4k
a8k
= m+1 = m+2 = m+3 = :::
m
3
3
3
3
ak
Como 0 k < 2m; entonces 0 2k < 2m : Así que 0 4k < 2m ;
entonces 0 8k < 2m y así sucesivamente.
Entonces
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
+2
+3
+1
3
+2
+3
2(2 +1)+1
2
+1
2(2(2 +1)+1)+1
+2
+3
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
+1
3
+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
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
para cada m 2 N : En particular,
x 2 Cm
N
x 2 CN por lo cual, existe k 2 0; 1; :::; 2 ; 1 tal que x 2 aNk ; akN :
Por el Lema 1.15, aNk 2 C y akN 2 C: Elegimos y = aNk o y = akN para
que y =
6 x: Entonces
3
1
3
+1
3
+1
3
jx ; yj 3
ak + 1
3n
3
; ak =
3n Esto termina la prueba de la proposición.
1
3N
< ":
3
+1
3
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 innita de ceros y doses divididos entre potencias de tres.
TEOREMA 1.17. x 2 C si y sólo si existe una sucesión femg1m con
cada em 2 f0; 2g tal que
=1
x=
1
X
em
m
m=1 3
Demostración.
()) : Sea x 2 C; por la denición de C tenemos que x 2 Cm para cada
m 2 N:
Haremos una construcción general de unos números emn con n 2 N y
1 m n:
n
Dada
a an 2N ; x 2 Cn ; entonces existe k 2 f0; 1; :::; 2 ; 1g tal que
k
k
x 2 n; n :
( )
3
+1
3
Escribimos al número natural k en notación 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 número 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
(nótese que los ceros que pudimos haber añadido no afecta a la denición de
ak ).
Así
ak = 2b + 2b + 2b + ::: + 2bn;
(*)
0
3n
Denimos
1
2
3n;1
3n
n
enn
1
3n;2
3
n
n
= 2b0 ; en;1 = 2b1 ; en;2 = 2b2 ; :::; e1 = 2bn;1
( )
( )
( )
( )
(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 sólo dependan de m y de x: Esto es lo que
vamos a probar a continuación.
AFIRMACION. emn 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
a
a
a
k a k+1
k
k +1
k ak + 1
=
;
[
;
C \ ;
( )
( )
( )
n+1
3n
2
3n
2
3n+1
h
a
a2k +1 2k
;
n
+1
3
3n+1
2 +1
3n+1
2 +1
3n+1
a2k+1 ; a2k+1 +1
3n+1
i
Entonces x 2
ox2 n
:
n
De manera que ahora ya
en posibilidades de calcular emn :
a estamos
En el caso en que x 2 n k ; a nk :
Como a k = 2b 3 + 2b 3 + 2b 3 + ::: + 2bn; 3n
Entonces, por denición
3 +1
3 +1
( +1)
2 +1
3 +1
2
2
enn
( +1)
+1
1
0
1
3 +1
2
2
3
1
n
n
en
= 0; e(nn+1) = 2b0 ; en;1 = 2b1 ; en;2 = 2b2 ; :::;
( +1)
( +1)
( +1)
1
= 2bn;1 :
De modo que
enn
( +1)
n
= en
( )
Y en el caso en que x 2
Como a k
2 +1
; enn;
h
( +1)
1
n
( )
a2k+1 ; a2k+1 +1
n
3 +1
n
= en;1 ; :::; e1
n
3 +1
i
( +1)
n:
= e1
( )
:
= 2 30 + 2b0 31 + 2b1 32 + ::: + 2bn;1 3n
17
Entonces
enn
( +1)
+1
n
n
n
= 2; e(nn+1) = 2b0 ; en;1 = 2b1 ; en;2 = 2b2 ; :::; e1
( +1)
( +1)
( +1)
= 2bn;1 :
De modo que
enn
( +1)
n
n
= e(nn) ; en;1 = en;1 ; :::;
( +1)
( )
en
( +1)
1
n
= e1
( )
:
Por tanto, en los dos casos emn = emn para toda m 2 f1; 2; :::; ng :
Similarmente, emn = emn = emn = ::: para toda m 2 f1; 2; :::; ng :
Entonces a emn tenemos derecho a llamarlo simplemente em :
( )
( )
( +2)
( +1)
( +3)
( )
Lo que sigue es probar que:
x=
1
X
em
m
m=1 3
;1
Sea " > 0: Como m ! 0 cuando m ! 1; existe N 2 N tal que
Sea n 2 N tal que n N: Demostraremos que:
3
0x;
n
X
em
Sea k 2 f0; 1; 2; :::; 2n ; 1g tal que x 2
0x;
n
X
em
a a +1 k; k
;
3n
3n
n (n)
X
em
Esto concluye la prueba de que
(()
1
X
em
m
m=1 3
:
Ahora estamos suponiendo que
x=
1
X
em
m
m=1 3
< ":
por () tenemos que:
ak 1 1 < "
3n
3N
m =x;
m = x ; 3n
m=1 3
m=1 3
x=
N
<"
m
m=1 3
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
i
h
j 2 f0; 1; :::; 2n ; 1g tal que x 2 anj ; aj n ; para toda n 2 N .
Sea n 2 N . Vamos a proponer los coecientes de la notación binaria del
número j como:
b = en ; b = en; ; :::; b = e :
+1
3
0
1
1
2
3
1
n;1
2
2
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 hipótesis, 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
Por consiguiente j 2 f0; 1; :::; 2n ; 1g :
Además,
0
0
1
1
1
1
0
+21 + ::: +2n;1 = 2n ; 1:
2b0 30 + :::: + 2bn;1 3n;1
en en;1
e1
=
= n + n;1 + ::: + 1
n
n
3
3
3
3
3
aj
1
X
em
m=1
3m
3e
=
=
1
1
e
1
31
e
1
31
en
2
2
+ ::: + n + n+1 + n+2 + :::
3
3
3
3
2
e
+
en +
+ ::: +
e
+
en +
+ ::: +
2
32
2
32
1
1
+
e
3n
3n
2
3n+1
2
3n+1
2
2
1
1
1 + + 2 + :::
3 3
1 i
X
1
i=0
3
2
3
=
e
1
3
1
!
+
e
en 1
+ ::: + n + n
3
3
3
2
2
m =x=
m=1 3
2
+
en
2
+ :::: + n + n+1
3
3
3
3
a
+
1
j
=
3n
=
e
e
1
X
em
19
es decir,
aj x aj + 1
3n
3n
Por tanto,
x 2 3anj ; aj3+n 1 n ;1 [
ai
2
i=0
3n
; 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
homeomorsmo podremos obtener una serie de resultados topológicos interesantes.
DEFINICION 2.1. Dada una familia f(Xn; n)gn2N de espacios topo-
lógicos. Denimos
X=
1
Y
n=1
Xn = f(x ; x ; x ; :::) : xn 2 Xn para cada n 2 N g
1
2
3
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 topología, constituye la base de una topología para X: Es decir, está denida por:
= fU X : U es la unión de elementos de g
Si cada n; está dada por una métrica dn (con dn(x; y) 1 para cada
x; y 2 Xn). Denimos
21
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; yn)
n=1
2n
= (y1 ; y2 ; y3 ; :::):
:
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 deniremos
a lo largo de este capítulo.
PROPOSICION 2.2. La topología inducida por d en X es la que
denimos usando a :
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=
[
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
1
2
3
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 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
r
r
n
r > 0 tal que Br (x) U: Proponemos r = m{n ; ; :::; n :
Dada y = (y ; y ; y ; :::) 2 Br (x) ; por la denición de d se tiene que
1
X
d(x; y) = di(xi ; yi) < r
1
2
+1
+2
1
2
1
2
3
i=1
2i
2
22
2
23
Para cada j = 1; 2; :::; n se obtiene lo siguiente
1
di(xi; yi) < r rj
dj (xj ; yj ) < X
2j
2i
i=1
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 de
U: Entonces
r > 0 tal que Br (x) U:
; existe
n
Como
! 0 cuando n ! 1; existe N 2 N tal que N < r : Proponemos Ax como:
1
2
3
1
2
1
2
2
Ax = B r (x ) B r (x ) ::: B r (xN ) XN XN :::
1
2
2
2
+1
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
d(x; y) =
1
X
di(xi ; yi)
2i
i=1
< 2r
2
=
r
22
=
+
2
3
2
d (x ; y ) +:::+ dN (xN ; yN ) + dN (xN ; yN
1
1
1
2N
2
1
+1
+1
2N +1
+1
)
+ :::
r
r + 1 + 1 + :::
+
:::
+
23
2N +1 2N +1 2N +2
1
1
1 + + ::: + N ;1
2
2
< 2r
2
1
+ N +1
2
1
r 1
(2) + N +1 (2) = + N
2
2 2
1
1
1 + + 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.
Demostración. Para cada m 2 N ; sabemos que
Cm =
m ;1 [ aj
2
j =0
aj + 1 :
;
m
3
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 :
OBSERVACION 2.4. Cm [0; 1] para cada m 2 N : En efecto, la
Proposición 1.14,
Cm C [0; 1] :
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 denició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 con e ; g 2 f0; 2g entonces e
m m
3n
1
X
e
g
m
m
m m=1 3
= g1 ; e2 = g2 ; :::; en = gn :
1
Demostración. Esta prueba se realizará por inducción matemática.
Para n = 1; se tiene que probar lo siguiente:
Si
1
X
e
g
m
m
3m ;
m=1
< 13 entonces e
1
= g1 :
Lo haremos por reducción al absurdo. Supongamos que
1
X
e
g
m
m
3m ;
m=1
< 31 y, además, e 6= g :
1
Como e y g pueden ser cero o dos, entonces (e
y g = 2): Supongamos, por ejemplo que e = 2 y g
1
1
1
1
e1
3
; g ;
1
1
X
e
g
m
m
3m ;
m=2
e1
3
;g
1
+
1
1
1
= 2 y g1 = 0) o (e1 = 0
= 0; calculando
1
X
em
m=2
; gm < 1
3m
3
26
1
2 e1 ; g1 1 X em ; gm =
< +
3 3 3 m=2 3m Pero
1
X
em gm 3m ;
je 3; g j + je 3; g j + je 3; g j + :::
2
m=2
3
1
1
1 + + 2 + :::
3 3
Es decir,
3
4
3
4
4
2
2
2
+ 3 + 4 + :::
2
3
3
3
2
= 2
3
2
2
1
X
e
g
m
m
3m ;
m=2
Por tanto 23 <
2
= 2
3
3
2
=
1
3
13 :
1
X
1 e
m gm +
3 3m ;
m=2
13 + 31 = 23 :
Así, hemos obtenido < ; lo cual es un absurdo. Por tanto,
2
3
2
3
1
X
e
g
m
m
3m ;
m=1
< 31 implica que e
1
= g1 :
El otro caso, cuando e = 0 y g = 2; es análogo, ya que je ;g j = j ; j =
Supongamos ahora que la armación es cierta para n = k; es decir,
1
Si
1
X
em gm 3m ;
m=1
1
1
1
< 31k entonces e
3
1
0
2
3
= g1 ; e2 = g2 ; :::; ek = gk :
Demostraremos que entonces se cumple para n = k + 1; o sea,
2
3
27
Si
1
X
em gm 3m ;
m=1
< 3k1 entonces e
+1
Supongamos entonces que
1
1
X
em gm 3m Como
;
m=1
1
3 +1
k
Como
;
< 3k1 :
+1
< k ; podemos aplicar la hipótesis de inducción y obtener que
e = g ; e = g ; :::; ek = gk :
1
3
1
ek+1 gk+1 3k+1
= g1 ; e2 = g2 ; :::; ek+1 = gk+1 :
;
1
X
m=k+2
1
2
2
em ; gm 3m
Obtenemos que
ek+1 gk+1 3k+1
;
1
X
m=k+1
< 3k1
+1
1
em ; gm = X
em ; gm <
3m
1
X
+
m=k+2
m=1
3m
em gm 3m ;
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
3k+1
+1
+1
=2
+1
+1
3k+1
+1
3k+1
Calculando, como lo hicimos en el primer caso de la inducción, tenemos
que
1
X
ek ; gk 2
1
e
;
g
m
m
=
<
+
< 1 + 1 = 2 :
3k+1
+1
3k+1
+1
3k+1
m=k+2
3m
3k+1
3k+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
TEOREMA 2.9. C es homeomorfo a f0; 2g f0; 2g f0; 2g :::
Demostración. 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 sucesión femg1
m ; donde cada em = 0 ó 2 tal que
1
X
x = em :
=1
m
m=1 3
Denimos
'(x) = (e ; e ; e ; :::):
Vamos a comprobar que ' esta bién denida. Para esto tenemos que ver
que la representación de cada x como una serie de ese tipo es única.
Supongamos entonces que hay una x 2 C que tiene dos representaciones
como las siguientes:
1
1
X
e
m X gm
x=
=
con e ; g 2 f0; 2g para toda m 2 N :
1
m
m=1 3
m=1 3
m
2
3
m m
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:
x
=
e
1
3
3e
1
1
=
=
=
e
1
1
31
e
1
31
e
1
31
< 3e
g
=
1
1
1
31
+
+
+
+
+
+
+
e
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 denida.
Para probar que ' es una función inyectiva sean
x=
1
X
em
m
m=1 3
yx
1
=
1
X
gm
m;
m=1 3
donde em ; gm 2 f0; 2g :
Supongamos que '(x) = '(x ): Por la denición de ' se tiene que (e ; e ; e ; :::) =
(g ; g ; g ; :::): Por la denició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
2
1
1
2
3
3
1
2
2
3
3
1
1
2
3
1
X
em
m
m=1 3
Ya que 0 em 2; entonces emm m : De modo que esta serie está
acotada por una que es convergente. Esto muestra que la serie
2
3
3
1
X
em
m
m=1 3
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.
1
2
3
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
3
1
Escribimos x =
1
X
em
m
m=1 3
yx
1
=
1
2
1
X
gm
m
m=1 3
1
3
:
30
Por el Lema 2.8, como
1
X
em gm =
3m ;
m=1
jx ; x j < 31M ; entonces e
1
1
= g1 ; e2 = g2 ; :::; eM = gM :
Además, la métrica dn para el conjunto f0; 2g ; es la métrica discreta, es
decir:
8
< jp;qj
dn(p; q) = :
2
0
si p 6= q
si p = q
Es claro, que dn 1:
Calculando
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 + :::
+
+
+ ::::
2M +2 2M +3 2M +4
=
=
1
1
2
2
+1
2
2
2M +2
2M +2
2
+1
3
+1
+1
2
+2
2
2M +3
1
1
1 + + 2 + :::
2 2
+1
+2
+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; 2gf0; 2gf0; 2g ::: . De acuerdo
con [Rudin, Teo. 4.17] ; ' es un homeomorsmo.
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; 2gf0; 2gf0; 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 ; e2 ; e3 ; e4 ; :::)
(2)
(2)
(2)
(2)
= (e1 ; e2 ; e3 ; e4 ; :::)
(3)
(3)
(3)
(3)
= (e1 ; e2 ; e3 ; e4 ; :::)
(4)
(4)
(4)
(4)
= (e1 ; e2 ; e3 ; e4 ; :::)
(1)
(1)
(1)
(1)
.
.
.
Construyamos un elemento (e ; e ; e ; e ; :::) 2 f0; 2g1 ; de la
siguiente manera:
1
2
8
<0
en = :
2
3
4
si enn
si enn
( )
=2
( )
=0
Entonces
(e1 ; e2 ; e3 ; e4 ; :::) 2 f0; 2g1
.
Notemos que, para toda n 2 N ,
n ; e(n) ; e(n) ; e(n) ; :::; e(n) ; :::)
n
2
3
4
(e1 ; e2 ; e3 ; e4 ; :::; en ; :::) 6= (e1
( )
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
n
< 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 =
n ;1 [
aj
2
n
j =0 3
h
; aj + 1
3n
i
los intervalos an ; a n ; an ; a n ; :::; a nn; ; a n ;n ; son cerrados y ajenos
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
a
k ak + 1
B (x) ;
;
3
0
0 +1
3
3
1 +1
1
3
r
2
1
3
3n
1 +1
2
3
3n
de aquí que,
2r = dia
metro (Br (x)) dia
metro
ak ; ak + 1
3n
3n
1
= n:
3
Esta contradicción 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
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.
Demostración. 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 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.
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.
A lo largo de este capítulo, 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 sucesión de ceros y doses.
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
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 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
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 denición
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 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:
8
< a n+1
n f ((a ; a ; a ; :::) ; (b ; b ; b ; :::)) = :
1
2
3
1
2
3
2
bn
2
si n es impar
si n es par
Esta fórmula nos muestra que n f es prácticamente una proyección.
Para hacerlo más explícito, consideremos las funciones ' y ' denidas por
1
2
' ((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
2
2
1
2
3
1
2
3
1
2
3
2
1
2
3
1
2
3
1
2
3
1
1
2
1
2
1
3
2
1
3
2
1
3
1
2
1
2
3
1
2
3
1
2
3
1
2
3
1
2
2
3
3
2
3
1+1
2
1
1
2
2
2
2
2
1
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 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;
n;veces
+1
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
PROPOSICION 3.2 El conjunto de Cantor es homeomorfo a un producto numerable de copias de él. Esto es, C es homeomorfo a C C C :::
.
Demostración. Sea
f : C C C ::: ;! C
denida por la siguiente correspondencia
f ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a
(a ; a ; a ; :::)
(1 1)
(1)
(1 2)
(2)
(1 3)
(2 1)
(2 2)
;
(2 3)
; :::); (a
;
(3 1)
;a
;
(3 2)
;a
;
(3 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
(1 1)
(1)
(1 1)
(1)
(1 2)
(2)
(1 2)
(2)
(1 3)
(2 1)
(2 2)
(2 3)
(3 1)
(3 2)
(1 3)
(2 1)
(2 2)
(2 3)
(3 1)
(3 2)
(1 1)
(1 2)
(1 2)
(3 3)
(3)
f ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a
f ((b ; ; b ; ; b ; ; :::); (b ; ; b ; ; b ; ; :::); (b ; ; b
(1 1)
(3 3)
(3)
(1 3)
(2 1)
(1 3)
Esto es equivalente a que
(2 1)
(2 2)
(2 2)
(2 3)
(2 3)
(3 1)
(3 1)
; ; a(3;3) ; :::); :::) =
(3;2) ; b(3;3) ; :::); :::):
(3 2)
39
(a(1) ; a(2) ; a(3) ; :::) = (b(1) ; b(2) ; b(3) ; :::):
Por la denición 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
(b ; ; b ; ; b ; ; :::); (a ; ; a ; ; a ; ; :::) = (b
Por tanto, f es una función inyectiva.
(1 1)
(1 2)
(2 1)
(1 3)
(2 2)
(1 1)
(2 3)
(3 1)
(1 2)
(3 2)
; ; a(2;2) ; a(2;3) ; :::) =
(3:1) ; b(3;2) ; b(3;3) ; :::); ::: .
(1 3)
(2 1)
(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 , denimos a n;m = c; n;m :
Como ; (n; m) es un número natural, c; n;m está bien denido.
Sea a = ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); :::) 2
C C C :::
Aplicando f obtenemos
1
1
2
3
(
1(
(1 1)
(1 2)
(1 3)
(2 1)
(2 2)
(2)
1 ( (1))
(3)
1
2
)
)
(2 3)
f (a) = (a ; a ; a ; :::) = (c; ; c;
(c ; c ; c ; :::):
(1)
1(
)
1 ( (2))
(3 1)
; c;
1 ( (3))
(3 2)
(3 3)
; :::) =
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
; 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):
;
(1 1)
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 denida por
m = ((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); :::) =
(a m; ; a m; ; a m; ; :::) para cada m 2 N .
Como : N ;! N N , entonces (n) = (m; r) : Calculando
r m((a ; ; a ; ; a ; ; :::); (a ; ; a ; ; a ; ; :::); (a ; ; a ; ; 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)
(1 2)
(
(
2)
(1 1)
(
1)
(
(1 2)
2)
(1 3)
(2 1)
(2 2)
(2 3)
(3 1)
(3 2)
(3 3)
(2 1)
(2 2)
(2 3)
(3 1)
(3 2)
(3 3)
3)
(
(1 3)
3)
(
)
( )
n 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 homeomorsmo.
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 denimos 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 ;! [0; 1] :
denida por la fórmula
g ((a ; a ; a ; :::)) =
1
2
3
1
X
n=1
an :
2n
+1
Recordemos que cada elemento x 2 C lo estamos identicando con la
única sucesión (e ; e ; e ; :::) de ceros y doses que cumple
1
2
3
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; 0; 0; 0; :::)) = 20
+
0
0
0
+ 4 + 5 + ::: = 0
3
2
2
2
g((0; 2; 2; 2; :::)) = 20
+
2
2
2
1
+
+
+
:::
=
23 24 25
2
2
2
42
g((0; 0; 2; 2; :::)) = 20
+
0
2
2
1
+ 4 + 5 + ::: =
3
2
2
2
4
g((0; 2; 0; 0; :::)) = 20
+
2
0
0
1
+ 4 + 5 + ::: =
3
2
2
2
4
g((2; 0; 0; 0; :::)) = 22
+
0
0
0
1
+ 4 + 5 + ::: =
3
2
2
2
2
g((2; 0; 2; 2; :::)) = 22
+
0
2
2
3
+ 4 + 5 + ::: =
3
2
2
2
4
g((2; 2; 0; 0; :::)) = 22
+
2
0
0
3
+
+
+
:::
=
23 24 25
4
g((2; 2; 2; 2; :::)) = 22
+
2
2
2
+ 4 + 5 + ::: = 1
3
2
2
2
2
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
g : C ;! [0; 1]
denida por la fórmula
g ((a ; a ; a ; :::)) =
1
2
1
X
3
n=1
an :
2n
+1
Entonces g es continua y suprayectiva (Recordemos que estamos identicando
a C con f0; 2g1):
Demostración. Aplicando g a un elemento cualquiera de C; se tiene:
g ((a ; a ; a ; :::)) =
1
=
Como an Entonces
2
2
3
a1
2
2
3
+
a2
2
2
2
+
n=1
a3
2
23
an :
2n
1
1
1
1
+ 2 + 3 + ::: =
2 2
2
2
+1
+ :::
para toda n 2 N ; entonces
g ((a ; a ; a ; :::)) 1
2
1
X
an
2
1 para cada n 2 N :
1
1
1
1 + + 2 + 3 + :::
2 2
2
=1
El criterio de comparación para series nos dice que entonces la serie
1
X
an
n+1
n=1 2
es convergente y converge a un número entre 0 y 1: Por tanto g está bien
denida.
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:
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 función suprayectiva.
1
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
1
2
3
1
jg ((a ; a ; a ; :::)) ;
1
2
3
2
2
3
1
2
=
":
3
3
1
1
1
X
X
X
a
b
a
b
n
n n
n
g ((b1 ; b2; b3 ; :::)) = 2n+1
=
n+1 n+1 2
2
n=1
n=1
n=1
1 1
X
X
an bn
an bn =
2n+1 2n+1
j
;
;
=
;
j ; j
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 función continua en C:
Esto concluye la prueba de la proposición.
Ya estamos en condiciones de poder denir 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.
PROPOSICION 3.4. Existe una función continua y suprayectiva de
C en [0; 1] [0; 1] [0; 1] :::
Demostración. Por la Proposición 3.2, tenemos que C es homeomorfo
a C C C ::: .
Sea
45
f : C C C ::: ;! [0; 1] [0; 1] [0; 1] :::
denida 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 denida 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 n(x ; x ; x ; :::)
1
2
3
1
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
1
2
2
3
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 denir 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
TEOREMA 3.5. Todo espacio métrico compacto X; contiene un sub-
conjunto denso y numerable.
TEOREMA 3.6. Todo espacio métrico compacto X , tiene diametro
nito.
TEOREMA 3.7. Todo espacio métrico compacto X , se le puede dar
una métrica d1 tal que
d (p; q) 1 para toda p; q 2 X
1
Demostración. Por el Teorema 3.6, se tiene diametro X < 1: Denimos d de la siguiente manera:
(p; q )
d (p; q) = diadmetro
X para toda p; q 2 X;
donde d(p; q) es la métrica denida 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
TEOREMA 3.8. Sea X un espacio métrico y compacto. Entonces X
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] :::
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
denida 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
Si probamos que la distancia a un punto jo x 2 X es una función
continua, habremos terminado. Sea
0
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):
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; 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, 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 denición de dicha función, mostraremos una manera topológicamente
equivalente de construir a C:
LEMA 3.9. Sea
D=
)
( 1
X an
Si
n : an
n=1 4
2 f0; 3g para toda n 2 N :
f : C ;! D
está denida por la fórmula
f
1
X
an
n=1
3n
!
=
1
X
n=1
3
2
an
4n
donde an 2 f0; 2g
entonces f es un homeomorsmo 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 denen 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
x = an donde a 2 f0; 2g ;
n
n=1 3
n
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=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
an
4n2 43n para cada n 2 N :
3
2
4n
Es decir,
an
3
2
4n
43n para cada n 2 N :
Primer caso. Si am = 0 y bm = 2; se tiene
f (x)
=
3
2
a
1
41
+
3
2
a
2
42
3
am+1 3 am+2
0
+ ::: + m + 2 m+1 + 2 m+2 + :::
4
4
4
50
4a
3
2
1
1
=
=
=
3
2
a
1
3
2
a
1
4
a
1
4
b
<
3
2 1
1
3
2 1
1
4
b
3
2
a
2
3
2
a
2
42
4
2
3
2
+
1
2
4
+
1
a
2
+
41
3
2
3
2
+
a
2
4
2
+ ::: +
+ ::: +
+ ::: +
+ ::: +
b
+
3
2 2
2
+
3
2 2
2
4
= f (y ):
4
b
3
2
am;
3
3
2
am;
3
3
2
am;
3
2
am;
3
+ m+1 + m+2 + :::
4m;1
4
4
1
1
+ m+1
4
4m;1
3
1
+ m+1
4m;1
4
1
1
1 + + 2 + :::
4 4
4
3
1
1
+ m
4m;1
4
+ ::: +
3
2
bm;
1
3
+ m
4m;1
4
3
bm+1 3 bm+2
3
+ ::: + m + 2 m+1 + 2 m+2 + :::
4
4
4
4
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 a
1
X
X
n
;
y = an con a 2 f0; 3g : Sea x =
2
3
n
n
n=1 4
n
n=1 3
como an 2 f0; 3g ; entonces an 2 f0; 2g ; así que x 2 C:
Aplicando f al elemento x; se obtiene
1
1
1 a ! X
X
an X
an = y
n
f
n =
n =
n
2
3
32
23
2
3
n=1 3
n=1 4
n=1 4
Por tanto, f es una función suprayectiva. Por consiguiente, f es una
función biyectiva.
Demostraremos que; la
continua.
n f es una; función
n
Sea " > 0: Como
!0y
! 0 cuando n ! 1; existe M 2 N
tal que M < ": Hacemos = M : Tomemos x; y 2 C tales que jx ; yj < entonces
1
4
1
4
1
3
1
3
51
jf (x) ;
1 3a
X
f (y) = 24nn
Ya que
j
;
n=1
1
X
a
b
n
n
=
3n ;
n=1
a
1
1
X
3
2
bn n
n=1 4 1 3 a
X
2 n
4n
1 ja ; b j
; bn = X
n
n
:
n=1
3
2
3
2
4n
n=1
jx ; yj < 31M por el Lema 2.8, se obtiene que
= b1 ; a2 = b2 ; :::; aM = bM :
Observemos que jan ; bnj 2 para toda n 2 N : Por lo cual, jann;bn j = n para toda n 2 N :
Entonces
3
2
3
2
2
n
4
4
3
4
jf (x) ; f (y)j 1
X
3
2
n=1
3
4M +1
3
= M +1
4
3
= M +1
4
jan ; bn j = jaM ; bM j + jaM ; bM j + :::
4n
4M
4M
3
2
+1
3
2
+1
+1
+2
+2
+2
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) ;
1 3a
X
f (y) = 24nn
j
n=1
;
1
X
3
2
bn n
n=1 4 <"
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 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:
Demostración. Esta prueba se realizará por reducción al absurdo. Sean
a; b; c 2 D: Entonces
a=
1
X
dn
1
X
en
n=1
n=1
; b=
4n
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
c
=
f
1
4
1
4f
1
=
=
=
f
1
1
41
f
1
41
f
1
4
1
< d4
d
1
1
1
4
1
+
+
+
+
+
+
+
f
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
b;a
=
=
1
e ;d
1
1
41
1
+
e ;d
2
42
em ; dm
+1
3
+1
4m+1
4m+1
3
= m+1
4
+
0;0
+
4m
+ ::: +
2
em ; dm
+2
4m+2
+2
+
em ; dm
+1
em ; dm
+3
4m+3
=
+3
+
:::
+ :::
3
3
+ m+2 + m+3 + :::
4
4
1
1
3
4
1
1 + + 2 + ::: = m+1
= m
4 4
4
3
4
Por otra parte, analizando el caso extremo en que
para toda i = 1; 2; ::: . Se tiene
c;b
+1
4m+1
f ;e
1
4
3
= m;
4
3
= m;
4
3
= m;
4
1
1
+
3
f ;e
4m+1
3
2
2
4
2
;m
3
4
+
i
3 ; 0 fm+1 ; em+1
+
+ :::
4m
4m+1
3
+ ::: +
; 4m3 ; 4m ; :::
fm+i ;em+i =
4m+i
+2
+3
1
1
1 + + 2 + :::
m
+1
4
4 4
1
2
= m
4m
4
3
= m
4
3
; 4m
+1
4
3
Es decir, b;a < c;b; lo cual es un absurdo. Ya que, por hipótesis b;a = c;b:
54
Si em = 3: Calculando
c;b
=
=
=
f ;e
1
1
+
4
1
f ;e
2
fm ; em
+1
3
4m+1
4
2
+1
+
3 ; 3 fm+1 ; em+1
+
+
4m
4m+1
+ ::: +
2
fm ; em
+2
3
3
+2
4m+2
+
+
+
+ :::
4m+1 4m+2 4m+3
3
1
1
1 + + 2 + :::
4 4
4m+1
fm ; em
+3
4m+3
3
= m+1
4
4
3
Por otra parte, analizando el caso extremo en que
para toda i = 1; 2; ::: . Se tiene
b;a
=
e ;d
1
1
4
3
= m;
4
3
= m;
4
3
= m;
4
1
+
3
e ;d
4m+1
3
2
2
4
2
+ :::
1
= m
4
em+i ;dm+i =
4m+i
;m
3
4
+
i
3 ; 0 em+1 ; dm+1
+
+ :::
4m
4m+1
3
+ ::: +
; 4m3 ; 4m ; :::
+3
:::
+2
+3
1
1
1
+
+
+ :::
4m+1
4 42
1
2
= m
m
4
4
3
= m
4
3
; 4m
+1
4
3
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 identicaremos al conjunto de Cantor con el espacio 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 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
denida 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 denida.
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 < :
;
r ; x + r \ D (Nótese
Vamos a mostrar
que
k
(
y
)
=
a
para
toda
y
2
x
;
x
;
que, como y 2 x ; r ; x + r ;y r < entonces
z = x; < x; r < y <
r
r
r
x + < r + = ax). Sea y 2 x ; ; x + \ 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 denició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 denició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
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 ;! [0; 1] [0; 1] [0; 1] :::
Por otra parte, por la Proposición 3.4, existe una función 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 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 homeomorsmo de X en h (X ) :
Denimos
= 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 denida.
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; (f (k (c))) = h; (f (c)) = h; (q) = x:
Por tanto, es una función suprayectiva.
Esto concluye la prueba del teorema.
1
1
1
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 denición de un homeomorsmo 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
Demostración. Para probar este lema necesitamos hacer uso del teo-
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
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) < ":
Denamos los siguientes conjuntos:
1
1
A
1
2
= B1 ; A2 = B2 ; B1 ; A3 = B3 ; (B1 [ B2 ); :::; AN = BN
;
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
Bj ; de modo que Ak \Ai 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
1
1
2
2
x 2=
i[
;1
j =1
Bj :
De manera que x 2 Ai: Por tanto X = A [ A [ ::: [ AN :
Finalmente, como Ai Bi y diametro(Bi) < "; tenemos que
diametro(Ai ) < " para toda i 2 f1; 2; :::; N g :
Esto concluye la prueba del lema.
1
2
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.
Demostración. Cualquier subconjunto no vacío de un espacio métrico
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.
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 renar 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 ) dia
metro 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 ) 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 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
1
2
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= ;:
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
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
1
1
2
1
2
2
+1
+1
1
2
1
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) dia
metro Ai < " para cada i 2 f0; 1; :::; n ; 1g :
(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
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
1
2
1
2
2
1
1
2
1+ 2+
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
menor que m1 :
(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
1
1
1
1
1
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
2nm 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 unSelemento de J (n ; :::; nm ):
Finalmente denimos 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 SA; existe 2 f0; 1gnm tal que
x 2 A ; 2 Pm : Esto prueba que X = A ; : A ; 2 Pm :
Ahora tenemos (; ) 6= (; ) con ; 2 J (n ; :::; nm ) y ; 2 f0; 1gnm :
Si 6= ; como A ; A ; A ; A y A \ A = ;; tenemos que
A ; \ A ; = ;: Y si = ; entonces 6= : Ya que Q es una partición
de A; tenemos que A ; \ A ; = ;:
Esto termina la prueba de que los elementos de Pm son ajenos entre sí.
Por tanto Pm es una partición de X:
Esto concluye la construcción y la prueba del lema.
1
1
2
2
1
2
1
+1
1
1
+1
2
+1
+1
+1
1
+1
1
1
+1
+1
(
+1
)
1
+1
1
+1
(
)
+1
1
+1
1
+1
+1
+1
1
+1
(
)
+1
(
)
(
)
+1
1
(
(
)
(
)
(
+1
)
)
(
)
(
)
+1
+1
LEMA 3.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
1
2
2
3
Demostración. Sea Z = f0; 1gn f0; 1gn f0; 1gn :::
g : Z ;! f0; 1g f0; 1g f0; 1g :::
1
denida por la siguiente correspondencia
2
3
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
(3)
1
(3)
2
(3)
1
(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 ; :::; anmi = bnmi para toda i y m 2 N . Esto es, por la
denició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
(1)
1
(1)
1
(2)
1
(1)
1
(1)
(2)
1
1
(1)
1
(1)
1
(1)
(1)
1
(1)
(1)
1
(1)
1
(
1
)
1
(2)
(2)
2
(2)
1
(2)
2
(2)
1
(
1
(3)
1
2
(3)
1
(2)
2
(2)
2
(2)
)
(1)
1
2
(3)
1
(3)
2
(2)
(2)
1
(2)
1
1
(1)
1
(2)
1
(3)
3
3
(3)
1
(3)
(3)
3
3
(3)
1
(3)
1
(3)
1
( )
(1)
1
(3)
(3)
3
3
(3)
(
3
(1)
1
)
(2)
1
(2)
2
(1)
(2)
1
1
(2)
1
(2)
(3)
1
2
(2)
(3)
1
2
(3)
3
(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
f0; 1gn f0; 1gn 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
1
1
1
3
1 +1
2
1
1
1+ 2
3
1 +1
1 + 2 +1
1+ 2
1 + 2 +1
1+ 2+ 3
1+ 2+ 3
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
ng(a) = n((a ; :::; an ; a ; :::; an ; a ; :::; an ; :::)) = anm; n n ::: nm :
1
2
3
(1)
1
(1)
(1)
1
1
(2)
1
(1)
(2)
1
1
1
(2)
2
2
(3)
1
(2)
(3)
2
1
1
1
(3)
3
(3)
3
2
2
(
1
+1
+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)
(
+1)
2
Hemos obtenido una función continua e inyectiva del espacio métrico compacto f0; 1gn f0; 1gn f0; 1gn ::: en el espacio métrico f0; 1gf0; 1g
f0; 1g ::: . Por [Rudin, Teo. 4.17] ; g es un homeomorsmo.
Esto concluye la prueba del lema.
1
2
3
LEMA 3.19. El espacio métrico
f0; 1g f0; 1g f0; 1g ::: es homeo1
morfo al espacio métrico f0; 2g :
Demostración. Sea
h : f0; 1g f0; 1g f0; 1g ::: ;! f0; 2g1
denida 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 homeomorsmo.
Esto concluye la prueba del lema.
LEMA 3.20. El espacio métrico f0; 1gn f0; 1gn f0; 1gn ::: es
1
2
3
homeomorfo a C:
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 ::: .
1
2
3
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 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.
TEOREMA 3.21. Sea X un espacio métrico, no vacío, compacto, total-
mente disconexo y sin puntos aislados, entonces es homeomorfo al conjunto
de Cantor.
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
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
+1
+1
f : X ;! f0; 1gn f0; 1gn f0; 1gn :::
1
2
denida por la siguiente correspondencia
f (x) = ( ; ; ; :::)
1
2
3
3
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 denida.
( 1
)
1
2
3
Demostraremos que f es una función inyectiva. Sean
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
para toda m 2 N . Por tanto, d(p; q) = 0: Esto es equivalente a p = q: Así, f
es inyectiva.
1
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
1
3
2
3
A ;:::;m A ;:::;m para toda m 2 N .
( 1
+1 )
( 1
)
Es decir, tenemos una sucesión decreciente de conjuntos compactos, no
vacíos. Por [Rudin, Teo.2.36] ; se obtiene que
1
\
m=1
A ;:::;m 6= ;
( 1
)
Si tomamos un punto r en esta intersección, entonces
f (r) = ( ; ; ; :::)
1
2
3
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
jm ; mj =
2M +1
1
= M +1
2
2m
1
X
m=M +1
j m ; m j
2m
1
1
+ M +2 + M +3 + :::
2
2
1
1
1
1
1 + + 2 + ::: = M +1 (2) = M
2 2
2
2
< ":
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 homeomorsmo.
Por el Lema 3.20, se obtiene que X es homeomorfo a C:
Esto concluye la prueba del teorema.
( 1
)
1
3
2
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 Compactications. Marcel Dekker,
Inc. 23, 1976.
Fly UP