Escolar Documentos
Profissional Documentos
Cultura Documentos
Cantor
Cantor
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
igual ao cardinal de R.
2. l(C
) = 1 .
3. C
compacto.
4. 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
.
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
) =
k=1
2
k1
3
k
=
pelo que l(C
) = 1 .
O conjunto C
compacto.
Armar que 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
) < 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 . . .