Captulo 8: Conexidad

Leccion 3 : El Conjunto de Cantor

El siguiente espacio totalmente desconectado, es uno de los espacios mas
patol
ogicos e interesantes que ha acompa
nado a la topologa desde su inicio. Fue introducido independientemente por G. Cantor y por H. J. Smith
en 1875; Cantor lo construy
o para resolver de manera armativa un problema que se haba planteado en el marco de la naciente topologa, a saber,
si exista o no un subconjunto compacto no vaco de R que fuera totalmente
desconectado y denso en s mismo. Posteriormente fue demostrado que todos los conjuntos con estas caractersticas son topologicamente equivalentes
homeomorfos. Hoy es conocido como el conjunto de Cantor C.
C es un subconjunto no contable del intervalo [0, 1]; exactamente consiste de
todos los n
umeros reales x que pueden ser representados de la forma

x=

n 3n ,

i=1

donde n {0, 2} para cada n N . Aunque hablamos del conjunto de

Cantor, el lleva intrnsicamente la topologa de subespacio de (R, usual). La
denici
on anterior hace que algunas veces se le llame el conjunto tri
adico o
ternario de Cantor .
En otras palabras, C es el conjunto de todos los n
umeros x [0, 1] cuya
expansi
on x = 0.x1 x2 . . . xn . . . en la base 3 no utiliza el dgito 1, esto es xi = 1
para todo i con lo que xi {0, 2}. Debido a esta descripcion un punto x C es
en la pr
actica un elemento x {0, 2}N , x : N {0, 2} lo cual nos hace pensar
en un producto cartesiano.
Geometricamente puede ser descrito formando los siguientes subconjuntos
An cerrados en [0, 1],

A0 =[0, 1]
A1 =[0, 1/3] [2/3, 1]
A2 =[0, 1/9] [2/9, 1/3] [2/3, 7/9] [8/9, 1]
A3 =[0, 1/27] [2/27, 1/9] [2/9, 7/27] [8/27, 1/3] [2/3, 19/27]
[20/27, 7/9] [8/9, 25/27] [26/27, 1]
...
1

etc.; en general Ai+1 es obtenido de Ai removiendo la tercera parte en el

medio de cada una de las componentes de Ai con lo que
C=

Ai .

iN

Notese que cada punto en los extremos de las componentes de los Ai pertenecen a C.

Tenemos as dos deniciones para C, una en terminos de sucesiones y otra

de manera constructiva; no es difcil ver la relacion entre estas dos deniciones
si notamos que al construir A1 , cuando retiramos al intervalo (1/3, 2/3) lo que
hacemos precisamente es eliminar todos los n
umeros reales en [0, 1] que requieren
x1 = 1 en su desarrollo en base tres. Como segundo paso, en A2 retiramos los
intervalos intermedios de [0, 1/3], [2/3, 1] eliminando as todos los n
umeros reales
adico y as sucesivamente.
en [0, 1] que requieren x2 = 1 en su desarrollo tri
Las anteriores presentaciones motivan la siguiente proposici
on.

8.19. Proposici
El conjunto C de Cantor es homeomorfo al espacio
 on.
producto X = Xi , (i N ), donde Xi = {0, 2} esta dotado de la topologa
discreta para cada i. Este espacio se llama discontinuo de Cantor.
Sea x X, con x = (x1 , x2 , . . .) donde xn {0, 2}.

Demostraci
on.
Denimos

f:

Xi C

f (x) :=

i=1

iN

xn 3n

con lo cual f es una funci

on biyectiva. Para vericar la continuidad de f
tomemos un x X y por cada n N consideremos a
Vx (n) := {q X : qi = xi para i n}
coinciden con x en las primeras n-componentes. Dado  > 0, existe
N N tal que la serie
 n

2
< 
3

n=N +1

y por tanto si q Vx (N ) entonces



 n


x q 


2

i
i

| f (x) f (q) |= 
< 

n


3
3
n=N +1

n=N +1

esto es, f es continua. Como X es compacto y C es de Hausdor, entonces

f 1 tambien es continua.

Por construccion C es cerrado y es compacto, pues es la interseccion de

subconjuntos cerrados del espacio compacto [0, 1]. Luego es un espacio
metrico completo y por tanto satisface todos los axiomas Ti de separacion.

Si es la funcion de medida longitud en R, entonces C tiene medida

0 pues la medida de su complemento con respecto a [0, 1] es la medida de
la uni
on de las terceras partes medias, esto es

(C c ) = 1/3 + 2/9 + 4/27 + 8/81 + =

2i1
i=1

3i

1
2i
= 1.
2 i=1 3i

Pero como [0, 1] tiene tambien medida 1, entonces C tiene medida cero.
As que el todo no es mayor que cada una de sus partes.

 C no tiene puntos aislados, es decir C C a , todo punto es de acumulaci

on
de C mismo. Dado x C, x es un punto de acumulaci
on de C {x} pues
dado p C cualquier abierto Up C contiene puntos de C distintos de p;
por tanto, C es denso en s mismo X es denso en Y si Y X.
Pero de otra parte C es denso en ninguna parte con respecto a [0, 1] pues
dados x, y C con x < y, existe un intervalo J = (a, b) C c tal que
x < a < b < y mire la expansi
on binaria de los puntos x, y esto es
(C) = C =.
C es tambien totalmente desconectado dados x, y X existe una separacion A, B de X tal que x A, y B pues las componentes conexas
de cada punto se reducen al propio punto.
[0, 1] es una imagen continua de C. La funci
on f : C [0, 1] denida por

f (x) =




1
i=1

xn 2n para x =
xn 3n
i=1

es continua y sobreyectiva. Esto muestra que C no es contable.

En general cualquier espacio metrico que sea compacto, totalmente desconectado, denso en s mismo todo punto sea de acumulacion es
homeomorfo al conjunto de Cantor. As que las anteriores propiedades
topol
ogicas son una carta de presentaci
on para C, excepto por la forma
disfrazada conque se presente el espacio homeomorfo. Pero en topologa
el color no nos concierne.
Como un u
ltimo comentario, si al lector le inc
omoda la base 3, dena el
conjunto de Cantor como los puntos de [0, 1] que tienen en su expansi
on decimal
tan solo 0 o 9. Como sera su representacion gr
aca?. Intentelo!
En una frase nal, C tiene una infinidad no enumerable de puntos pero ning
un
intervalo cabe en el, es denso en s mismo pero tambien denso en ninguna parte
y contiene muchos m
as puntos que los extremos de los intervalos en el proceso
de construcci
on.

Curso de Topolologa General.

http://www.virtual.unal.edu.co