O conjunto de Cantor

Para cada ]0, 1], defino o conjunto C do seguinte modo:

1. Seja I0 o intervalo [0, 1].

2. Subtraio a I0 o intervalo aberto central de comprimento /3; seja I1 o

conjunto restante. Por outras palavras, I1 = I0 \]1/2 /6, 1/2 + /6[=
[0, 1/2 /6] [1/2 + /6, 1].

3. O conjunto I1 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 I2 o conjunto restante.

4. Construo assim sucessivamente uma famlia decrescente (In )nZ+ de sub-

-conjuntos de [0, 1]. Cada In uma reunio disjunta de 2n intervalos fe-
chados de [0, 1] e In+1 obtm-se retirando a cada um destes intervalos o
intervalo aberto central de comprimento /3n+1 .

5. Defino: \
C = In .
nZ+

H uma passagem nesta definio cuja legitimidade exige uma demonstrao.

Para que o quarto ponto faa sentido necessrio demonstrar que o comprimento
de cada um dos 2n intervalos fechados cuja reunio disjunta forma In maior de
que /3n+1 ; caso contrrio, no faz sentido falar no intervalo aberto central de
comprimento /3n+1 . Para justificar a passagem, repare-se que o conjunto I1
obtido retirando-se de [0, 1] um segmento de comprimento /3; logo, l(I1 ) =
1 /3. Em seguida, obtm-se I2 retirando de I1 dois segmentos de comprimento
/9, pelo que l(I2 ) = 1 /3 2/9. V-se ento que se tem:
n
2k1 2n
X !
(n Z+ ) : l(In ) = 1 k
=1 1 n
k=1 3 3

e ento o que se quer mostrar que:

2n
!!
1
(n Z+ ) : n 1 1 n > n+1

2 3 3
Verifica-se facilmente que esta expresso equivale a:
1 2
(n Z+ ) : n > n+1
2 3
O conjunto de Cantor 2

e esta ltima proposio obviamente verdadeira.1

Usualmente, a expresso conjunto de Cantor refere-se ao conjunto C1 . 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 In reunio disjunta de 2n intervalos fechados; sejam
I(n, 0), I(n, 1), . . . , I(n, 2n 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, 2n 1) so dois a dois disjuntos, o
comprimento de cada um deles no excede 2n . 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-
T
-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
T
intervalos converge para zero.
Seja 2N o conjunto das funes de N em {0, 1}. Vou construir uma bijeco
B entre 2N e C . Seja (an )n 2N . Defino ento B ((an )n ) como sendo o nico
elemento do conjunto: n
\ X
ak 2 .
nk

I n,

nN k=1

Para justificar que esta definio 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 definio de C que esse ponto
est necessariamente em C .
Para ver que a funo B injectiva, tomo dois elementos distintos (an )n e
 PNnatural tal que aN , bN . Ento B ((an )n )
(bn )n de 2N . Seja N o menor nmero
PN
I N, k=1 ak 2Nk e B((bn )n ) I N, k=1 bk 2Nk . Estes dois conjuntos so disjun-
tos, de onde se tira que B((an )n ) , B((bn )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)),
T
k(n + 1) = 2k(n) ou k(n + 1) = 2k(n) + 1. V-se ento que x = B((an )n ), sendo an
tal que k(n) = 2k(n 1) + an .2 Visto que o cardinal de R igual ao cardinal de 2N ,
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:

X 2k1
l([0, 1]\C ) = =
k=1 3k

pelo que l(C ) = 1 .

O conjunto C foi definido como sendo a interseco de uma famlia de com-
pactos. Logo, C compacto.
Afirmar que C totalmente desconexo o mesmo que afirmar que no con-
tm nenhum intervalo ]a, b[. Para justificar isso, tomo um n N. Ento tem-se:
n 1
2[
C I(n, j).
j=0

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

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

\
{x} = I(n, k(n)).
nZ+

2
De facto, se se introduzir em 2N a distncia d((an )n , (bn )n ) = 2n |an bn |, B um homeo-
P
n
morfismo. Isto mostra que os C so homeomorfos dois a dois.
O conjunto de Cantor 4

Considero ento as sucesses:

mn = min I(n, k(n))

Mn = max 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+ ) : mn x Mn

2. (n Z+ ) : 0 < Mn mn 2n

pelo que ambas as sucesses (mn )n e (Mn )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, verifica-se facilmente que In (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 . . .