O conjunto de Cantor

Para cada ]0, 1], deno o conjunto C

do seguinte modo:
1. Seja I
0
o intervalo [0, 1].
2. Subtraio a I
0
o intervalo aberto central de comprimento /3; seja I
1
o
conjunto restante. Por outras palavras, I
1
= I
0
\]1/2 /6, 1/2 + /6[=
[0, 1/2 /6] [1/2 + /6, 1].
3. O conjunto I
1
formado pela reunio disjunta de dois intervalos fechados
de [0, 1]. A cada um destes intervalos subtraio o intervalo aberto central de
comprimento /9. Seja I
2
o conjunto restante.
4. Construo assim sucessivamente uma famlia decrescente (I
n
)
nZ
+
de sub-
-conjuntos de [0, 1]. Cada I
n
uma reunio disjunta de 2
n
intervalos fe-
chados de [0, 1] e I
n+1
obtm-se retirando a cada um destes intervalos o
intervalo aberto central de comprimento /3
n+1
.
5. Deno:
C

=
_
nZ
+
I
n
.
H uma passagem nesta denio cuja legitimidade exige uma demonstrao.
Para que o quarto ponto faa sentido necessrio demonstrar que o comprimento
de cada um dos 2
n
intervalos fechados cuja reunio disjunta forma I
n
maior de
que /3
n+1
; caso contrrio, no faz sentido falar no intervalo aberto central de
comprimento /3
n+1
. Para justicar a passagem, repare-se que o conjunto I
1
obtido retirando-se de [0, 1] um segmento de comprimento /3; logo, l(I
1
) =
1 /3. Em seguida, obtm-se I
2
retirando de I
1
dois segmentos de comprimento
/9, pelo que l(I
2
) = 1 /3 2/9. V-se ento que se tem:
(n Z
+
) : l(I
n
) = 1
n

k=1
2
k1

3
k
= 1
_
1
2
n
3
n
_
e ento o que se quer mostrar que:
(n Z
+
) :
1
2
n
_
1
_
1
2
n
3
n
__
>

3
n+1

Verica-se facilmente que esta expresso equivale a:

(n Z
+
) :
1
2
n
>
2
3
n+1
O conjunto de Cantor 2
e esta ltima proposio obviamente verdadeira.
1
Usualmente, a expresso conjunto de Cantor refere-se ao conjunto C
1
. Por
isso, para designar este conjunto em particular vai ser usada a letra C, sem qual-
quer ndice.
Teorema: Para cada ]0, 1] tem-se:
1. O cardinal de C

igual ao cardinal de R.
2. l(C

) = 1 .
3. C

compacto.
4. C

perfeito (i. e. no tem pontos isolados).

5. C

totalmente desconexo (i. e. os nicos sub-conjuntos conexos so os

que so formados por um nico ponto).
Alm disso, o conjunto C formado pelos nmeros de [0, 1] que podem ser escri-
tos na base 3 usando unicamente os algarismos 0 e 2.
Demonstrao: Cada I
n
reunio disjunta de 2
n
intervalos fechados; sejam
I(n, 0), I(n, 1), . . . , I(n, 2
n
1) esses conjuntos, numerados de modo que se k < l,
ento qualquer elemento de I(n, k) seja menor do que qualquer elemento de I(n, l).
V-se ento que:
I(n, k) I(n + 1, l) sse l = 2k ou l = 2k + 1. (1)
Visto que os intervalos I(n, 0), I(n, 1), . . . , I(n, 2
n
1) so dois a dois disjuntos, o
comprimento de cada um deles no excede 2
n
. Alm disso, os extremos de cada
I(n, k) so elementos de C

, pois I(n, k)\C

um aberto e como tal est contido no

interior de I(n, k), enquanto que os extremos de I(n, k) esto na fronteira. Repare-
-se que se x C

, ento x
_
nZ
+
I(n, k(n)), sendo os k(n) tais que I(n, k(n))
I(n + 1, k(n + 1)). De facto {x} =
_
nZ
+
I(n, k(n)), visto que o comprimento dos
intervalos converge para zero.
Seja 2
N
o conjunto das funes de N em {0, 1}. Vou construir uma bijeco
B entre 2
N
e C

. Seja (a
n
)
n
2
N
. Deno ento B((a
n
)
n
) como sendo o nico
elemento do conjunto:
_
nN
I
_

_
n,
n

k=1
a
k
2
nk
_

_
.
Para justicar que esta denio faz sentido, veja-se que (1) implica que a famlia
de intervalos de que estamos a calcular a interseco decrescente. Como todos
1
Tambm se deduz desta expresso que no pode ser maior do que 1.
O conjunto de Cantor 3
estes intervalos so fechados, o princpio do encaixe dos intervalos diz que a in-
terseco no vazia. Finalmente, como o comprimento dos intervalos tende para
0, a interseco reduz-se a um ponto. V-se pela denio de C

que esse ponto

est necessariamente em C

.
Para ver que a funo B injectiva, tomo dois elementos distintos (a
n
)
n
e
(b
n
)
n
de 2
N
. Seja N o menor nmero natural tal que a
N
b
N
. Ento B((a
n
)
n
)
I
_
N,
_
N
k=1
a
k
2
Nk
_
e B((b
n
)
n
) I
_
N,
_
N
k=1
b
k
2
Nk
_
. Estes dois conjuntos so disjun-
tos, de onde se tira que B((a
n
)
n
) B((b
n
)
n
). Quanto sobrejectividade, se x C

ento {x} =
_
nZ
+
I(n, k(n)). Visto que cada I(n, k(n)) contm I(n + 1, k(n + 1)),
k(n + 1) = 2k(n) ou k(n + 1) = 2k(n) + 1. V-se ento que x = B((a
n
)
n
), sendo a
n
tal que k(n) = 2k(n 1) +a
n
.
2
Visto que o cardinal de R igual ao cardinal de 2
N
,
deduz-se que tambm igual ao cardinal de C

.
O conjunto C

est contido em [0, 1] e [0, 1]\C

a reunio disjunta de um in-

tervalo de comprimento /3 com dois intervalos de comprimento /9 com quatro
intervalos de comprimento /27, etc. Logo, tem-se:
l([0, 1]\C

) =

k=1
2
k1

3
k
=
pelo que l(C

) = 1 .
O conjunto C

foi denido como sendo a interseco de uma famlia de com-

pactos. Logo, C

compacto.
Armar que C

totalmente desconexo o mesmo que armar que no con-

tm nenhum intervalo ]a, b[. Para justicar isso, tomo um n N. Ento tem-se:
C

2
n
1
_
j=0
I(n, j).
Esta reunio disjunta. Se escolher n tal que 2
n
< b a, ento cada I(n, j) tem
comprimento inferior a b a; logo:
]a, b[
2
n
1
_
j=0
I(n, j).
Seja x C

. Vou mostrar que x no um ponto isolado. Sei que:

{x} =
_
nZ
+
I(n, k(n)).
2
De facto, se se introduzir em 2
N
a distncia d((a
n
)
n
, (b
n
)
n
) =
_
n
2
n
|a
n
b
n
|, B um homeo-
morsmo. Isto mostra que os C

so homeomorfos dois a dois.

O conjunto de Cantor 4
Considero ento as sucesses:
m
n
= min I(n, k(n))
M
n
= m ax I(n, k(n))
Os extremos de cada intervalo I(n, j) pertencem a C

, pelo que as duas sucesses

so sucesses de elementos de C

. V-se facilmente que se tem:

1. (n Z
+
) : m
n
x M
n
2. (n Z
+
) : 0 < M
n
m
n
2
n
pelo que ambas as sucesses (m
n
)
n
e (M
n
)
n
convergem para x e pelo menos uma
delas no constante a partir de uma certa ordem. Logo, x no um ponto isolado.
Finalmente, no caso do conjunto C, verica-se facilmente que I
n
(n 1)
formado pelos nmeros do intervalo [0, 1] que se podem escrever na base 3 usando
unicamente os algarismos 0 e 2 nas n primeiras casas decimais.
3
Q. E. D.
Exerccio: Mostre que se U um aberto de R e ]0, 1], ento l(U C

) < l(U).
Nota: Entre as propriedades mais interessantes do conjunto de Cantor destacam-
-se as seguintes:
1. Qualquer espao mtrico compacto, perfeito e totalmente desconexo ho-
meomorfo a C.
2. Se M um espao mtrico compacto, ento existe uma aplicao contnua
sobrejectiva de C em M.
Para a demonstrao destes resultados, veja-se o livro General Topology de S.
Willard.
3
Repare-se que 1 C uma vez que, na base 3, o nmero 1 pode-se escrever sob a forma
0,222222222222 . . .