0,999...

OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO REDONDO

Pablo Emanuel Nvel Intermedirio

Quando um jovem estudante de matemtica comea a estudar os nmeros reais, difcil no sentir certo desconforto e estranhamento. De repente, algumas coisas que faziam sentido param de funcionar to bem assim. Com certeza, uma das mais estranhas pode ser resumida na igualdade 0,9999..... = 1,0000... Como assim? No mundo dos nmeros inteiros (com a exceo muito razovel de 0 = 0), qualquer nmero tem uma nica representao decimal (os zeros esquerda no so um problema srio, ou definimos que nunca podemos comear com 0 o que deixa o prprio zero em uma situao meio desconfortvel de ter uma representao decimal vazia ou definimos que sempre vamos completar com infinitos zeros esquerda), e esta se comporta bem i.e. qualquer nmero da forma 8xxxxxxx menor que qualquer nmero da forma 9yyyyyyy com o mesmo nmero de dgitos. Como pode haver um nmero comeado por 0,9 que no seja menor que um nmero comeado por 1,0 e, pior, que seja igual!? A resposta explica, mas no convence: se definirmos as seqncias: an = 0.999999...9 (n dgitos 9) e bn = 1.000000...0 (n dgitos 0) temos que an < 0.999... 1.000... < bn. No entanto, como bn an = 1/10n, que converge para 0, a diferena entre 1.000... e 0.999..., que menor que qualquer das diferenas bn an s pode ser 0, logo os nmeros so iguais. OK, entendido, mas ainda tem caroo neste angu. Por que a representao decimal, que se comporta to bem para nmeros inteiros tem este tipo de esquisitice para nmeros reais? A verdade que usar a representao decimal para nmeros reais enfiar um bloco quadrado em um buraco redondo. Em primeiro lugar, at agora estamos usando a representao decimal (base 10) apenas porque a representao com que estamos mais acostumados. Ser que o problema est com o nmero 10? Infelizmente no. Mesmo que usemos outras bases, o problema continua: 0,1111.... = 1,000.... em base 2 0,2222... = 1,000... em base 3 e o mesmo problema acontece em qualquer base que escolhamos (e a demonstrao exatamente a mesma, mutatis mutandis, que fizemos l em cima). Antes de entrarmos a fundo em por que a representao decimal (ou em qualquer base N) tem estes problemas, bom ver que outras opes ns temos para representar os nmeros reais. Em primeiro lugar, nossas notaes foram feitas para trabalhar com nmeros inteiros, que o que nos familiar (a ponto de Pitgoras afirmar que os nmeros inteiros so a fundao do universo). Dos nmeros inteiros conseguimos de forma natural derivar os nmeros racionais (os nmeros da forma a/b, onde a e b so inteiros). O pulo para os nmeros reais irracionais, no entanto, menos natural, e as nicas maneiras que temos para tentar nomear os nmeros irracionais so atravs das aproximaes por nmeros racionais. A prpria representao decimal a aproximao por nmeros racionais da

forma A/10n (ou A/Nn, em base N). Duas outras formas de representar os nmeros reais so as fraes contnuas e os cortes de Dedekind. A representao por fraes contnuas tem a forma N1 + 1 _________________ N2 + 1 ___________ N3 + ...

O algoritmo para construir a representao por fraes contnuas de um nmero x bastante simples. Em primeiro lugar, N1 a parte inteira de x (i.e. o maior nmero inteiro que menor ou igual a x). Se x N1 = 0, acabou, seno, x N1 maior que 0 e menor que 1, portanto y = 1/(x N1) um nmero maior que 1. Seja N2 ento a parte inteira deste nmero, o que equivale a dizer que 1/(N2 + 1) < x N1 1/N2. Agora repita o processo com y no lugar de x (i.e. N3 o nmero tal que 1/(N3 + 1) < y N2 1/N3), e assim por diante at chegar a um nmero inteiro ou continuando para sempre. A representao por fraes contnuas no tem o mesmo problema da representao decimal (cada nmero real tem uma e somente uma representao por fraes contnuas), mas tem outros inconvenientes. O primeiro, que no to srio assim, que os nmeros Ni, que seriam equivalentes aos dgitos, podem ser arbitrariamente grandes, ao contrrio dos dgitos decimais que s podem ser de 0 a 9. O segundo, muito mais srio, que terrivelmente difcil fazer contas com fraes contnuas. Este foi o principal motivo de a representao decimal ter substitudo a numerao romana na Europa no sculo XV era imensamente mais simples fazer contas com a representao decimal do que com a representao romana. (E este tambm o principal motivo de a representao binria ter tomado espao da representao decimal no sculo XX, ainda mais fcil fazer contas em binrio). Outra representao dos nmeros reais atravs dos cortes de Dedekind. A diferena do corte de Dedekind para a representao decimal ou de fraes contnuas que, enquanto as ltimas usam uma seqncia convergente de nmeros racionais, os cortes usam conjuntos sem uma seqncia definida. Um corte de Dedekind um conjunto de nmeros racionais limitado, que no possui um maior elemento e fechado inferiormente. Ou seja, um conjunto de racionais A tal que: 1) existe um racional X tal que X > a para todo a pertencente a A 2) para todo a pertencente a A, existe um b pertencente a A tal que b > a. 3) Se a pertence a A, e um racional c < a, ento c pertence a A. Em outras palavras, cada um destes conjuntos o conjunto de todos os nmeros racionais menores que um nmero real determinado. Esta representao til teoricamente para provar algumas propriedades dos nmeros reais, mas praticamente impossvel de ser utilizada na prtica para as tarefas corriqueiras do dia-a-dia. A concluso que, apesar dos seus defeitos, a representao de base N a representao mais prtica que temos para os nmeros reais. Ento vamos entend-la mais a fundo.

Em primeiro lugar, a parte antes da vrgula (ou ponto decimal, dependendo de em qual lugar do mundo voc vive) apenas a parte inteira do nmero, com a nossa velha e bem comportada representao decimal de nmeros inteiros. Vamos nos concentrar ento na parte direita da vrgula, os nmeros entre 0 e 1.
0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9

O primeiro dgito decimal diz em qual dos dez intervalos acima o nmero est. Para descobrir o segundo dgito, basta subdividir cada intervalo novamente em 10 pedaos, ou, equivalentemente, multiplicar o nmero por 10 e ver em qual dos intervalos a parte fracionria deste novo nmero (10x) cai, de acordo com o grfico abaixo:
0,9 0,8 0,7 0,6 0,5 0,4 0,3 0,2 0,1 0,0 0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9

Os pontos onde nasce o nosso problema so justamente estes pontos marcados na nossa linha (0; 0,1; 0,2; ...; 1). Repare que o grfico acima descontnuo nestes pontos por exemplo, as imagens dos pontos se aproximando de 0,2 pela esquerda tendem a 1, enquanto pela direita tendem a 0. Dito de outra forma, os nmeros se aproximando pela esquerda de 0,2 vo ter uma seqncia longa de 9s depois do 0,1 e pela direita uma seqncia longa de 0s depois do 0,2. Antes de prosseguir com a anlise, j vimos que no existe nada de especial no nmero 10, portanto, por pura preguia, a partir de agora vou mudar para base 2, mas deixo ao leitor desconfiado a tarefa de reescrever tudo o que se segue em base 10. Apenas para comear do ponto onde paramos, o grfico acima para base 2 fica assim:

0,1

0,0 0,0 0,1

Relembrando, o problema est no ponto da descontinuidade, neste caso o 0,1 (tambm conhecido como ). A origem do problema o fato de haver nmeros comeados por 0,0 arbitrariamente prximos de 0,1, quando, naturalmente, nmeros comeados por 0,0 deveriam ser distintamente menores do que 0,1. Vamos tentar corrigir este problema dando um pequeno espao entre os intervalos no nosso desenho.

0,1

0,0 0,0 0,1

Vamos passar agora para o segundo dgito.

0,1

0,0 0,00 0,01 0,10 0,11

O espao que demos entre os intervalos do primeiro dgito naturalmente se propaga para o segundo dgito (seno teramos o mesmo problema nos nmeros 0,01 - e 0,11 ). [Em base 10 seriam 9 buracos na primeira rodada e 90 na segunda, entenderam a minha preguia?] Neste ponto, j no difcil imaginar o processo para o terceiro dgito criar mais um buraco no meio de cada um dos 4 intervalos restantes, e assim por diante. O conjunto dos nmeros que sobram depois de fazermos este processo infinitas vezes um conjunto em que podemos usar a nossa representao de base 2 (ou base 10, se fizermos o processo no desenho original l de cima) sem medo cada nmero tem apenas uma representao, e elas respeitam a ordem e as distncias que esperaramos: por exemplo, se um nmero comea por 0,11010 ele estritamente menor que qualquer nmero que comece por 0,11011. O nico problema que o conjunto que temos no final deste processo to esfarelado que ele no contm nem um intervalinho que seja. Se escolhssemos um nmero entre 0 e 1 aleatoriamente, ele teria 0% de chance de estar no nosso conjunto repare que eu disse 0% no uma em um quaquilho elevado a um googleplex, no a chance de ganhar na megasena todas as semanas pelo resto da vida, mas zero! Este conjunto to importante que tem um nome conjunto de Cantor, em homenagem ao matemtico Georg Cantor que, entre outras coisas criou a teoria dos conjuntos (todos os conjuntos ento so um pouquinho conjuntos de Cantor) e provou que existiam mais nmeros irracionais do que nmeros racionais. Dado que acabamos de ver que o prprio sistema de representao decimal

que usamos todos os dias na verdade um conjunto de Cantor, de se admirar que apenas no final do sculo XIX tenhamos passado a conhec-lo. Pelo que acabamos de ver, o nosso sistema de numerao um mapeamento entre um conjunto de Cantor e o intervalo [0,1]. O cerne da nossa questo que esta funo no injetiva, ou seja, existem elementos distintos a e b no conjunto de Cantor que so mapeados para o mesmo nmero real (a diferente de b, f(a) = f(b)), por exemplo, 0,19999... e 0,2. [Parnteses: outra forma de ver isto afirmar que o intervalo [0,1] o espao quociente do conjunto de Cantor pela relao de equivalncia entre os nmeros terminados por 999... e os seus correspondentes terminados por 000..., ver o artigo Egalit] no endereo: http://www.impa.br/~gugu/pablo-egalite.doc Vamos tentar desenhar o grfico desta funo:

Os dois extremos do buraco do meio so os pontos 0,01111.... e 0,10000... que representam o mesmo nmero , portanto a funo constante igual a neste intervalo. Da mesma forma cada um dos buracos de geraes maiores corresponde a diferentes plats no grfico. O mais surpreendente que, depois de criarmos os infinitos plats, o grfico final um grfico contnuo, que chamado de funo de Cantor, ou de escada do diabo (porque sempre existem infinitos degraus entre quaisquer dois degraus da escada, voc nunca conseguiria sair do lugar assim como Aquiles correndo atrs da tartaruga). Infelizmente, o que se tem quando se tenta botar um bloco quadrado em um buraco redondo, ou neste caso, botar um intervalo dentro de um conjunto de Cantor.