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.
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:
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.
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.
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:
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).
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!
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]).
50
Caderno D-Liena
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.
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.
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 .
53
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.