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 2j 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