Conjunto de

Cantor
no intervalo [0,1]


Fabiano Gonzaga Fumes RA 032549
Georg Cantor
Georg Cantor (1845-1918), matemtico, nascido na Rssia, mudou-se em 1856
para Alemanha onde se doutorou pela Universidade de Berlim em 1867. Ficou
conhecido por ter elaborado a moderna Teoria dos Conjuntos. Segundo Cantor dois
conjuntos so equivalentes, ou tm a mesma cardinalidade, quando possvel
estabelecer uma correspondncia biunvoca entre os elementos destes dois conjuntos,
isto , um relao que leve elementos distintos de um conjunto em elementos
distintos do outro conjunto, sendo todos os elementos objetos desta correspondncia.
Cantor denominou de enumervel os conjuntos que tem a mesma cardinalidade com o
conjunto dos nmeros naturais. Imaginava-se ento que dois conjuntos infinitos
possuam a mesma cardinalidade, at que em 1894, Cantor demonstra que o conjunto
dos nmeros reais tem cardinalidade diferente da dos nmeros naturais.
Conjunto de Cantor
Comeamos com o segmento que representa o intervalo fechado [0,1].
Dividimos este segmento em trs partes e jogamos fora o pedao do meio, ficando
com os outros dois teros extremos. Repetimos depois o mesmo procedimento com
cada um dos segmentos restantes, sempre jogando fora o tero mdio de cada diviso.
Os quatro segmentos restantes sofrero o mesmo processo de diviso e retirada do
tero mdio, dando origem a oito segmentos cada vez menores.
Este processo deve ser repetido eternamente ("ad infinitum"), sempre
dividindo cada segmento restante por trs e dispensando o tero mdio de cada
diviso. O que sobra no limite o Conjunto Ternrio de Cantor. Se examinarmos quais
os pontos que restam aps o processo infinito de construo do conjunto, observamos
que os pontos extremos dos diversos segmentos, obtidos em qualquer etapa da
construo do Conjunto de Cantor, estaro sempre presentes at o fim. Os pontos
{0,1,1/3,2/3,1/9,2/9,...etc.} pertencem, todos eles, ao conjunto final. Se numerarmos
cada etapa da construo do conjunto por j =1,2,3,4,5...., observamos que so criados
(para sempre) no conjunto 2
j
pontos na j-sima etapa. Isso, ao contrrio do que
poderamos pensar no incio faz com que o Conjunto de Cantor tenha muitos infinitos
de pontos. Observe, por um momento, a figura abaixo que descreve vrias etapas da
construo.



possvel mostrar que o " tamanho" do Conjunto da Cantor, ou seja, seu nmero
de pontos matemticos ou sua cardinalidade a mesma do segmento [0,1] ( e portanto
de toda a reta) , apesar do tanto que se tira do segmento durante a construo do
conjunto.
Para isso, vamos comear observando que todo nmero , em qualquer base, tem
uma ( na verdade, pelo menos uma ) escrita infinita. Por exemplo: o nmero 1 pode ser
escrito, na base dez, como 1,0000 ou 0,9999 que so duas maneiras de escrever a
mesma quantidade igual a 1, o nmero 37,8694657 pode ser escrito , na base dez, como
37,86946570000 ou como 37,869465699999 . As dzimas peridicas s tem uma
escrita infinita possvel, por exemplo 1/3=0,333, j ou os irracionais tem apenas uma
nica escrita numrica possvel, infinita, claro. Por exemplo, na base dez
temos, =3,141592. , e=2,7182818284590.. = 1.414213562373. etc.
Com isso em mente, vamos rotular os segmentos usados na construo do
conjunto de Cantor. Comeando pelo primeiro nvel da construo, o
intervalo [0,1] propriamente dito que ser chamado de " 0,". Nos nveis subseqentes,
chamaremos, sempre, aos intervalos de ordem mpar de " 0 " e, aos de ordem par, de
" 1 " , como mostra a figura abaixo. Desta maneira, estaremos associando a cada sub-
intervalo utilizado na construo do conjunto de Cantor, um nmero real entre zero e
um, escrito na base 2 ( j que s utilizamos os algarismos 0 e 1 para escrev-lo).
Se pensarmos agora no conjunto de Cantor pronto, j completamente construdo,
isto , o limite ao infinito do processo de diviso ternria, previamente elaborado,
podemos observar que:

1-Cada extremo de cada segmento construdo em qualquer nvel permanece fixo por
toda a construo, pertencendo, portanto, ao conjunto (final) de Cantor. L estaro por
exemplo o 0 , o 1/3 , o 2/3 , o 1 , o 2/9 , o 7 /27 etc. Na verdade, o conjunto de Cantor
composto de todos esses extremos remanescentes no processo infinito de sua construo
e, portanto, tem pelo menos um nmero infinito de elementos; mas isso ainda no tudo
o que queremos.
2 - A associao feita acima entre cada segmento da construo do conjunto de Cantor e
seu rtulo (ou 0 ou 1 ) cria uma infinidade de seqncias infinitas do tipo: 0, (ou 0 ou 1)
(ou 0 ou 1) onde o dgito 0 ou 1 depender da escolha entre esquerda ou direita,
feita na passagem dos nveis durante a construo do conjunto, como mostra a figura
abaixo. Essas seqncias apontam, precisamente, para os pontos remanescentes do
processo de diviso ternria, isto , para os elementos do prprio conjunto de Cantor.
3- Finalmente observamos, que as seqncias infinitas criadas so de fato as escritas
infinitas na base dois dos nmeros reais entre zero e um. Esta correspondncia
biunvoca, pois qualquer seqncia do tipo 0, (ou 0 ou 1) (ou 0 ou 1) . representa (
isto , escreve na base dois ) um nico real e , por outro lado, qualquer nmero real
entre zero e um representado ( isto , tem sua escrita infinita na base dois dada) por
uma seqncia do tipo 0, (ou 0 ou 1) (ou 0 ou 1 ) .


Por outro lado, podemos observar facilmente, que se somarmos o tanto que se
tira em cada etapa, ou seja, o comprimento do que jogamos fora temos:


que pode ser escrita como



que a soma infinita de uma progresso geomtrica de razo menor do que 1 e cuja
valor pode ser diretamente calculado e igual a 1. Se quisermos, porm, podemos
aproximar passo a passo esse resultado, calculando cada vez mais termos desta soma e
obtendo valores cada vez mais perto de 1. Veja os valores da soma para 1,2,3,10,20,50 e
100 termos respectivamente:

.333333333333333333333333333333
.555555555555555555555555555556
.703703703703703703703703703704
.982658470084167386407898524954
.999699271340178282505744180080
.999999998431671454516041377666
.999999999999999997540345573420

Finalmente, para surpresa nossa, no limite, depois da construo completa do
conjunto de Cantor, obtemos que o comprimento da soma do tudo que se retira ( o
verdadeiro tamanho que aqui chamamos de peso ) o tudo que existia no incio, ou seja
, igual a 1.

Referncias Bibliogrficas
http://www.fap.com.br/forum_2012/forum/pdf/Exatas/Comunicacao_Oral/ResExaCO
09.pdf
http://www.dmm.im.ufrj.br/projeto/diversos/tamanho.html