SOBRE AS ESTRANHAS PROPRIEDADES DO CONJUNTO CANTOR

Rmulo Rios Rosa

SOBRE AS ESTRANHAS PROPRIEDADES DO CONJUNTO DE CANTOR

Resumo: Neste trabalho define-se o conjunto de Cantor (K) dos teros mdios com a clssica construo de retirada de teros mdios abertos iniciada no intervalo fechado [0,1]; demonstram-se suas propriedades topolgicas elementares; demonstra-se (nas referncias apenas menciona-se) a equivalncia com o conjunto dos nmeros que possuem representao em base 3 apenas com dgitos 0 e 2. O fato de que K mostrado usando um mtodo diferente do que comumente visto na literatura. Comenta-se exemplos no - bvios de elementos que esto no conjunto, e a pesquisa atual a respeito do assunto. Por ltimo apresentada uma aplicao biologia.

1 Preliminares
Visando clareza, listarei os fatos (bsicos de anlise na reta) que usarei na demonstrao das surpreendentes propriedades do nosso objeto de estudo: o conjunto de Cantor dos teros mdios. Definio: Um conjunto dito enumervel quando infinito e todos os seus elementos podem ser relacionados um a um com nmeros naturais distintos; as relaes (funes) assim construdas so chamadas bijees. Teorema: Qualquer subconjunto de um conjunto enumervel finito ou enumervel. Teorema: Q enumervel. Teorema (Dedekind): Existe um conjunto R que goza das propriedades de corpo ordenado e do "axioma do supremo"; R dito corpo ordenado completo. Teorema (Axioma do supremo): Todo subconjunto de R limitado superiormente possui supremo. Definio: Uma sequncia uma lista ordenada de nmeros reais; os elementos da sequncia so indexados por nmeros naturais. Definio: Se dado um nmero real positivo qualquer , existir um ndice da sequncia (xn) a partir do qual, a distncia entre quaisquer 2 termos da (xn) menor que , (xn) dita uma sequncia de Cauchy Definio (limite de uma sequncia): sejam L um nmero real e (xn) uma sequncia. Se para cada vizinhana de L existir um ndice da sequncia (xn) a partir do qual, todos os termos da (xn) esto contidos na vizinhana dada , o nmero L chamado de limite da sequncia . Dizemos que (xn) converge para L, xn L Teorema: Para que uma sequncia (xn) em R seja convergente condio necessria e suficiente que (xn) seja uma sequncia de Cauchy

44

Caderno D-Liena

Observao: este fato uma forma equivalente de dizer que R um corpo ordenado completo; Cantor utilizou-se deste fato para (assim como fez Dedekind) tambm exibir uma construo de R. Teorema: |a| < 1 an 0 Teorema (aritmtica de limites): Sejam (xn) e (yn) sequncias em R, com xn

Le yn M; ento verdade que xn + yn L +M e tambm xn.yn L.M Definio: Seja (an) uma sequncia de nmeros reais. A partir dela formamos uma nova sequncia (sn) cujos elementos so as somas s1 = a1; s2 = a1 + a2; sn = a1 + a2 + ... + an; que chamaremos as reduzidas da srie Se existir S tal que sn S dizemos que Teorema:

Definio: Um subconjunto A de R dito aberto se qualquer um de seus pontos pertence a um intervalo aberto contido no conjunto. Definio: Um conjunto F dito fechado se dada qualquer sequncia em F, o limite dela (quando existe) tambm um elemento de F. Definio: p dito ponto de acumulao de um conjunto B quando existe sequncia em B, convergindo para p, sendo todos os termos da sequncia diferentes de p. Teorema: A unio qualquer de conjuntos abertos um conjunto aberto. Teorema: Para que um conjunto seja fechado condio necessria e suficiente que o seu complementar seja aberto. Definio: Sejam A e B subconjuntos de R. A dito denso em B se para qualquer elemento b B, existe sequncia (an) de elementos de A tal que an b.

2 Mirade 2.1 Definio do conjunto de Cantor(K)

Seja F0 o intervalo [0,1]. Retiremos dele o seu tero mdio aberto, o intervalo aberto Chamemos de F1 a unio dos intervalos restantes: Retiremos de F1 o tero mdio de cada um de seus intervalos; ou seja, vamos retirar os intervalos abertos

Dezembro 2004 Nmero 5 Ano 6

45

Chamemos de F2 a unio dos intervalos restantes: Retiremos de F2 o tero mdio de cada um de seus intervalos; ou seja, vamos retirar os intervalos abertos Chamemos de F3 a unio dos intervalos restantes:

Continuando desta forma, obtemos uma sequncia de conjuntos Fn, onde:

(ii)Fn a unio de 2n intervalos, cada um de comprimento O conjunto

chamado o conjunto de Cantor.

Figura 1: 6 primeiras etapas da construo do conjunto de Cantor dos teros mdios

46

Caderno D-Liena

2.2 K fechado
[0,1] um intervalo fechado; logo seu complementar (em R) aberto. Na construo de K tudo o que retiramos so intervalos abertos; conclumos da que o complementar de K uma reunio de conjuntos abertos; como a unio qualquer de abertos um aberto, o complementar de K (em R) aberto. Concluso: K um conjunto fechado.

2.3 K totalmente desconexo (no contm intervalos)

Dado um intervalo (a,b) seu comprimento dado por b a ; um nico ponto no tem comprimento (ou tem comprimento zero) ; o [0; 1] tem comprimento 1. Na primeira etapa (F1) da construo de K retiramos um intervalo de comprimento Na segunda etapa (F2) da construo de K retiramos 2 intervalos de comprimento Na terceira etapa (F3), 4 intervalos de comprimento Somando o comprimento do que retirado de K em todas as etapas:

Esta a srie geomtrica onde

donde a soma :

O clculo acima mostra que do conjunto inicial [0,1], retiramos um subconjunto de comprimento 1. Assim o conjunto remanescente (K) tem comprimento 1-1=0. Da segue que K no contm intervalos, pois um intervalo, por menor que seja, tem comprimento positivo, maior que zero.

2.4 No sobra nada?

Na construo de K, em cada etapa Fn restam 2n intervalos. Note que cada extremo de intervalo restante em Fn pertence a todos os Fk subsequentes; logo pertencem interseco. Portanto, K no vazio. Mais que isso: para cada etapa n existem 2n+1 extremos; como so infinitas as etapas, o conjunto dos extremos possui uma quantidade infinita de elementos, e est contido em K ; ou seja: K infinito. Observe ainda que todo extremo um nmero racional; e como o conjunto Q enumervel, segue-se que o conjunto E (dos extremos) um infinito enumervel.

2.5 Representao em base 3

Qualquer elemento de K que seja extremo inferior (Ei) de intervalo restante na etapa Fn pode ser obtido assim: partindo do zero vamos somando (ou no) o dobro do comprimento (de intervalo) de cada etapa at a atual.

Dezembro 2004 Nmero 5 Ano 6

47

Exemplos:

Lembrando que: 0,125 = 0,1 + 0,02 + 0,005 = e que esta representao chamada de decimal, ou em base 10, analogamente utilizaremos a representao em base 3. Assim:

Ou seja: 0,125(10) o nmero 0,22(3) o nmero

escrito em base 10.

escrito em base 3.

Associando este raciocnio nossa descrio dos extremos inferiores conclumos que: a representao em base 3 dos extremos inferiores possui apenas dgitos 0 e 2. Para ilustrar vamos escrever nossos exemplos anteriores em base 3 :

Exceto o 1 observe que qualquer outro extremo superior (Es) de intervalo restante em Fn pode ser escrito como um extremo inferior que "surgiu"(apareceu como extremo pela primeira vez) em Fn de onde subtrai-se um comprimento de intervalo. Assim em base 3: Es = 0, a1a2...2 - 0,00...1 = 0, a1a2...1 Conclumos ento que: a representao dos extremos inferiores em base 3 possui apenas dgitos 0 e 2 at o penltimo; somente o ltimo dgito no nulo pode ser 1; todos alm dele devem ser iguais a zero.

2.6 K enumervel?
Consideremos o conjunto C: conjunto dos reais tal que sua representao em base 3 s possui dgitos 0 e 2, ou se possuir dgito 1 este nico e o ltimo no-nulo.

48

Caderno D-Liena

Seja f: N C qualquer.

Seja c = 0,c1c2c3c4 ... C tal que ci aii c f(1) pois c1 a11 c f(2) pois c2 a22 c f(n) pois cn ann qualquer que seja o n natural Traduzindo: c C e no imagem pela f de nenhum n N; logo f no sobrejetora. Concluso: C infinito e no existe uma bijeo entre N e C. Da C noenumervel. Mostremos que K = C: da definio, temos que p o menor natural tal que x FP Es < x < Ei onde Ei e Es surgem em FP 0,a1a2...1(3) < x < 0, a1a2...2(3) x da forma 0, a1a2...1 ap + 1ap + 2...(3) com a1...ap - 1 = 0 ou 2 e algum dos ap+k no nulo x C Lido no sentido direto, o argumento apresentado mostra que C K. Com poucas modificaes podemos l-lo da ltima para a primeira linha, e assim mostra-se que C K. Ou seja: K = C, de onde conclumos que K no-enumervel. Observao: Em nenhuma das referncias o fato K = C demonstrado ( apenas mencionado). 2.6.1 Algumas concluses: 1) Da representao em base 3 dos nmeros reais e lembrando que 1 = 0; 222...(3) conclumos que x K (1 - x) e 3x K desde que sejam menores que 1. 2) como K R;R no-enumervel; 3) como R = Q (R - Q)(irracionais) o conjunto dos irracionais no-enumervel; 4) da existem irracionais em K (uma quantidade no-enumervel). Ento, em certo sentido os irracionais so maioria em K. 2.6.2 Observaes: 1) Apesar de pesquisar e consultar especialistas, o autor ainda incapaz de exibir sequer um nico nmero irracional pertencente a K que possa ser expresso em termos de outros irracionais 'famosos' como razes, ou e. 2) Entretanto, o nmero 0; 022020020000200000002...(3) (onde os algarismos 2 ocupam posies dadas pelos nmeros de fibonacci excluindo os dois primeiros) um nmero irracional e pertence ao conjunto de Cantor. Uma aproximao para ele 0,3048328352 (at a dcima casa decimal).

Dezembro 2004 Nmero 5 Ano 6

49

Bem, chamei-o nmero de Cantor-Fibonacci (), = 0,022020020000200000002...(3). Batizei seu complemento (1- ) de o nmero de Rosa ().

= 0,022020020000200000002...(3) 0,6951671648
Obs.: 1,1,2,3,5,8,13,21,... chamada a sequncia de fibonacci. Tem belssimas propriedades!

2.7 E denso em K e K perfeito

x K em cada etapa da construo Fn; um intervalo onde x est contido. Assim seja x1 um dos extremos ( x) do intervalo de F1 que contm x. Seja x2 um dos extremos do intervalo ( x) de F2 que contm x. Definamos indutivamente xn como um dos extremos do intervalo ( x) de Fn que contm x. Consequncia: |x - xn| < Sabe-se que R goza da propriedade arquimediana: dados a,b R , existe um natural n0 tal que n0.a > b. Uma consequncia: dado qualquer > 0 , existe um natural n0 tal que se n n0 vale 0 < < . Como 3n > n, temos Assim dado qualquer > 0 , existe um natural n0 tal que se n n0 vale 0 < < .

Assim temos que xn x. Como (xn) sequncia em E, o argumento acima mostra que o conjunto dos extremos de intervalos denso em K. Mais ainda: dado qualquer x K; (xn) sequncia em K, (xn) x e xn x. Ou seja: todo elemento de K ponto de acumulao do conjunto. Um conjunto onde todo ponto de acumulao dito conjunto perfeito (ver[Ru]).

3.1 Aproximando 1/4 por elementos de K - construindo uma sequncia de extremos em K

50

Caderno D-Liena

Observe no desenho os seguintes pontos:

3.2 Os termos de (En) esto cada vez mais prximos - (En) sequncia de Cauchy
Da construo acima observamos o seguinte:

dado qualquer > 0, n0, tal que n n0 | Em - En| < . Isto caracteriza (En) como uma sequncia de Cauchy.

3.3 R completo - (En) converge

Como estabelecido por Dedekind, R um corpo ordenado e satisfaz o "axioma do Supremo"; uma forma equivalente desta propriedade : "uma sequncia convergente em R se, e somente se sequncia de Cauchy". Com isto conclumos que (En) uma sequncia convergente. Escrito desta forma e auxiliados pela observao da seo 3.1 notamos que o limite de (En) a soma dos termos da P.G. de razo , e onde o primeiro termo Sabemos ento que

Sabemos que K um conjunto fechado; toda sequncia de elementos dele converge para elementos do conjunto.

so P.G. cujas somas definem (da mesma forma vista na seo 3.1) sequncias de extremos em K.

Dezembro 2004 Nmero 5 Ano 6 Da seo 2.6.1, x K (1 - x) e 3x K desde que sejam menores que 1. Com isto,

51

Um artigo de pesquisa publicado em 1990 por Charles R. Wall na revista The Fibonnacci Quarterly demonstra que estes 14 nmeros so os nicos em todo o conjunto K que possuem expanso decimal terminada! Em 2001 Barak Weiss publicou um artigo no jornal Proceedings of the London Mathematical Society onde demonstra essencialmente que a "quantidade" elementos de K que podem ser bem aproximados por racionais, "irrisria". Em outras palavras, o conjunto formado por tais elementos de K tem medida nula no prprio conjunto.

3.4 Uma concluso: a intuio geomtrica no suficiente

O fato de K, um conjunto de to simples construo, possa ter comprimento zero, sem possuir pontos isolados e ser no enumervel, alm de possuir elementos como os 14 acima (quem primeira vista esperaria por isto?), soa como um alerta: a intuio geomtrica to presente e til como guia, pode enganar ou no revelar toda a riqueza de detalhes sobre um objeto de estudo. Para garantirmos o completo entendimento, mais que resolver exerccios o estudante deve procurar entender os conceitos mais profundamente e sempre tentar demonstrar aquilo que lhe parece intuitivamente correto.

4. Uma aplicao Biologia

Bilogos tm interesse no comportamento a longo prazo de populaes de certas espcies, ou de um conjunto de espcies. Dados certos parmetros observados ou determinados experimentalmente (nmero de predadores, aridez do clima, quantidade de alimento disponvel, entre outros) o bilogo determina um modelo matemtico para descrever as flutuaes na populao. O modelo pode ser descrito por equaes diferenciais ou equaes de diferenas dependendo respectivamente se a populao assumida variando continuamente ou discretamente, neste ltimo caso quando a populao medida a cada ano ou a cada gerao. Em qualquer caso o bilogo est interessado no que acontece a uma populao com uma quantidade inicial P0 de indivduos. Ser que a populao tende a zero, levando extino das espcies? Ser que a populao cresce arbitrariamente levando superpopulao e tornando o ecossistema instvel? Ou a populao mostrar com o tempo flutuaes peridicas, ou mesmo aleatrias? Este problema encarado pelos bilogos uma questo tpica de sistemas dinmicos: dado P0, pode-se prever o comportamento da populao a longo prazo? O modelo de Lotka-Volterra determina o que acontece populao estudada estudando o comportamento assinttico da funo f(x) = kx(1 x) onde x representa a frao da populao total que dada espcie representa.

52

Caderno D-Liena

A funo acima, conhecida como funo logstica, e sua dinmica, tm sido objeto atual (1986) de pesquisa matemtica, pois muitas complicaes e patologias emergem deste simples sistema (a funo apenas quadrtica!). Um conjunto dito um conjunto de Cantor quando fechado, totalmente desconexo, e todos os seus pontos so de acumulao - lista de propriedades do nosso objeto inicial de estudo, o conjunto de Cantor dos teros mdios. Quando na funo acima o fator k > (2 + 51/2) pode-se claramente identificar na figura uma regio intermediria do domnio (intervalo [0,1]) que na primeira iterao, ou seja, no clculo de f(x), leva superpopulao; sabemos isso levando horizontalmente o valor calculado na reta y = x, e notando que este ltimo (que deveria representar uma frao da populao ) maior que 1. Assim o conjunto de valores iniciais para os quais a populao com o decorrer do tempo tende ao equilbrio, no pode conter esta regio intermediria (figura 3 abaixo). Uma iterao seguinte obtida da anterior levando verticalmente o ponto da reta y = x novamente na funo , e depois disso, levar o valor calculado na reta y = x de novo. Mas o problema no acaba; nas regies adjacentes que restam, existem pontos para os quais no a primeira, mas a segunda iterao conduz ao problema acima. Estes pontos "problemticos" formam novamente uma regio intermediria (de cada restante), que deve ser retirada (ver figura 4, pg. seguinte). O problema persiste indefinidamente; aps n retiradas, temos 2n regies restantes contendo pontos (formando uma regio intermediria) que levam ao problema de superpopulao aps n + 1 iteraes .

Figura 2: Funo soluo para k = 4,5.

Figura 3: A regio do meio leva ao desequilbrio.

Dezembro 2004 Nmero 5 Ano 6

53

Figura 4: Regies intermedirias das restantes tambm levam ao desequilbrio.

Figura 5: Regies intermedirias das restantes tambm levam ao desequilbrio.

Observando as figuras em sequncia nos damos conta de que o processo de identificao do conjunto de valores da populao inicial, para os quais o ecossistema pode alcanar o equilbrio, leva a um conjunto de Cantor. Obs.: A demonstrao deste fato (pp.38, Teo 5.6) e uma formidvel introduo ao estudo dos sistemas dinmicos - rea da matemtica onde o Brasil atingiu excelncia, com nomes como Maurcio Peixoto, Jacob Palis Jr., entre outros - pode ser encontrada em [De], citado nas referncias.

Referncia Bibliogrfica
Grande parte do que foi apresentado aqui pode ser encontrado em: [Ba] BARTLE, Robert G. - The Elements of Real Analysis. J .Wiley, Nova York,1964. [De] DEVANEY,Robert L. - An intorduction to Chaotic Dynamical Systems. Benjamin / Cummings, Califrnia, 1986. [Li] LIMA, Elon L. - Curso de Anlise, vol.1,10.ed. IMPA, Rio de Janeiro, 2002. [Ru] Rudin, Walter - Princpios de Anlise Matemtica. Ao livro tcnico, Rio de Janeiro, 1971.