(IN)FINITO (IN)ESPERADO

Luciane de Paiva Moura Doutoranda do HCTE/UFRJ lucianepmoura@gmail.com Ricardo Silva Kubrusly Professor do HCTE/UFRJ riskuby@gmail.com A discusso em torno do tema infinito nunca foi fcil. Nem mesmo para os matemticos que se diferenciam dos demais por possurem o aval para dialogar com o infinito, foram poucos os que se aventuraram no assunto. Talvez porque no ntimo de cada um de ns, matemticos, j soubssemos quo inesperado ele se apresentaria. O infinito a que me refiro no o adjetivo que significa o que no tem fim. Mas sim, o substantivo infinito. O infinito, substantivo, que passa a ser entidade, passa a ser conceito, passa a ser reconhecido como objeto matemtico nos apresenta um mundo repleto de resultados que despertam nossa ateno sobre que mundo matemtico esse no qual estamos manipulando. Os resultados envolvendo esse infinito contribuem com o belo e com a reflexo filosfica ao mesmo tempo em que convive com resultados que possuem como meta a prtica e uma discreta elegncia. Esse objeto traz inmeras questes que devem ser sempre postas e repostas em discusso. A existncia de infinitos de tamanhos diferentes uma delas. A matemtica e sua relao com o infinito, permitem desconstruir a viso cristalizada de o todo ser maior que suas partes. Essa audaciosa desconstruo feita, como podemos observar, por exemplo, na possibilidade de enumerao do conjunto dos nmeros racionais, ou seja, pelo fato de o conjunto dos nmeros racionais poder ser posto em correspondncia biunvuca com o conjunto dos nmeros naturais, sendo assim, mostramos um mtodo no qual possvel mostrar a ousadia da parte ser do mesmo tamanho do todo. E no s nesse caso que essa impensvel relao ocorre, h inmeros outros exemplos onde essa construo possvel. Ao continuarmos na mesma teoria dos conjuntos, o infinito absoluto de George Cantor colapsa o sistema. O paradoxo de Cantor, modo como ficou conhecido este resultado, gerado pela possibilidade de existncia de um conjunto de todos os conjuntos. Esse paradoxo ocorre pelo fato do conjunto de todos os nmeros ordinais gerar uma inconsistncia que pode ser descrita da seguinte maneira: Sabe-se que toda a boa ordenao corresponde a um nico nmero ordinal. Tambm se sabe que nmeros ordinais formam uma boa ordenao. Considere, ento, a coleo de todos os nmeros ordinais. Esta coleo por sua vez tambm uma boa ordenao e, portanto, corresponde a um ordinal A. Logo, A excede todos os ordinais e tambm excede a si prprio, o que uma contradio, uma vez que se sups que havia sido feita uma coleo de todos os ordinais. Parece que esse objeto matemtico faz mesmo questo de no corresponder ao esperado no s na teoria dos conjuntos, mas em diversos mbitos. A atualizao da potencialidade da dzima peridica 0,999... no nem menos, nem to prximo, mas sim o prprio 1. Existem vrias maneiras de mostrar esse clculo. Talvez a mais simples seja a descrita abaixo:

Considere a equao (1), em que nomeamos a dzima 0,999... por a: (1) 0,9999... = a Ao multiplicarmos a equao (1) por 10, obtemos o seguinte resultado: 10 x 0,9999... = 10a Efetuando os clculos, temos a equao (2): (2) 9,999... = 10a Em seguida, ao subtrairmos (2) de (1), temos: 9,999... = 10a - 0,999... = a 9 = 9a Ento, como 9a = 9, temos que: a = 1 Assim, se a, por definio, igual a 0, 9999... e tambm igual a 1. Logo, podemos concluir que 0,999... = 1. Entretanto, esse mesmo infinito que surpreende acaba sendo salvador. Pois graas ao mesmo infinito, que a diviso por zero salva do paradoxo. Vamos entender como o paradoxo se constri na diviso por zero. Suponha que seja possvel dividir um nmero p e um nmero q por zero, sendo p diferente de q. Dessa forma, seja a equao vlida p. 0 = q. 0, ao dividirmos esta equao por zero, obteramos como resultado p = q, o que geraria um absurdo, uma vez que consideramos que p diferente de p. Contudo, esse paradoxo fica amenizado, ao considerarmos a funo f(x) = a/x, onde a um nmero real, constante e diferente de zero. Ao considerarmos essa funo, quando x tende a zero, ou seja, quando a diviso por zero vai se configurando, o limite dessa funo vai para infinito, salvando assim, a diviso por zero do absurdo e a levando ao infinito. Outro aspecto interessante que o infinito nos traz o teorema de BanachTarski, tambm conhecido como paradoxo de Banach-Tarski, no por ser contraditrio, mas por ser um resultado totalmente contra-intuitivo. Nele, fica estabelecido teoricamente, com a utilizao do axioma da escolha, que possvel dividir uma esfera slida tridimensional em um nmero finito de pedaos e com estes pedaos construir duas esferas, do mesmo tamanho da original. A demonstrao prova a existncia terica de uma forma de repartir a esfera com estas caractersticas, usando o axioma da escolha. No h uma prova construtiva que descreva a maneira pela qual a esfera deve ser repartida. Banach e Tarski propuseram este paradoxo com a inteno de evidenciar um resultado para que o axioma da escolha fosse rejeitado, mas os matemticos em geral continuam a utilizar este axioma arcando com suas consequncias contra-intuitivas. Ao pensamos o infinito, o considerando como conceito e objeto matemtico, por ser a matemtica, um constructo abstrato humano, no espervamos nos surpreender tanto com ela nem to pouco com seus objetos, uma vez que, de certo modo sempre esperamos estar com nossas criaes, sob domnio, sob nosso controle. Mesmo a matemtica sendo esse mundo densamente surpreendente, o desenvolvimento racional matemtico nunca teve seus objetos como preocupao central. A preocupao sempre foi sinttica, simblica e no de contedo, de semntica. Contudo, preciso um esforo em entender os objetos matemticos, no com a inteno de descrev-los mas sim, com a inteno de dialogar com seus mistrios. Uma vez que, no podemos nos contentar com um conhecimento que alm de no refletir sobre seus objetos, no reflita sobre seus sujeitos e no reflita sobre seu prprio futuro. preciso valorizar os limites do conhecimento formal e quantitativo. E entender que uma teoria matemtica no pura e simplesmente um reflexo das realidades objetivas,

mas sim um trabalho em conjunto das estruturas do esprito humano e das condies sociais e culturais do conhecimento. necessrio que haja uma iniciao lucidez no sentido de Morin uma iniciao onipresena do problema do erro. necessrio entender que conhecer e pensar no chegar a uma verdade absolutamente certa, mas dialogar com a incerteza. Uma vez que, enquanto a pouca preocupao com a racionalidade leva ignorncia do significado de um fato ou de um acontecimento, o excesso ou at mesmo a exclusiva preocupao com a racionalidade leva a leituras muito distorcidas de significao. necessrio reconhecer nosso esforo para decifrar o aparentemente inalcanvel desafio que o real nos prope. Precisamos harmonizar de uma vez por todas nosso convvio com nossas ideias e com nossas limitaes, mantendo nossos modelos como mediadores e jamais tendo a pretenso de identific-los com o real. Devemos nos conscientizar de uma vez por todas que o maior ganho do ltimo sculo foi a constatao em diversos ramos do conhecimento da eterna incerteza do conhecer. dessa crise, na derrota do progresso garantido, como diz Morin, que temos o ambiente prspero para refletir sobre nossos futuros caminhos enquanto humanidade, atravs do questionamento da cincia, da tcnica e da razo. A matemtica enquanto saber no pode ignorar a realidade da complexidade humana, no h mais como naturalizar um conhecimento que tem como objetivo a eliminao do sujeito e da subjetividade. Por mais que a tcnica continue dando certo temos que ter a conscincia da necessidade de reinsero do sujeito na teoria. H que se mudar o paradigma da tentativa insana de um sujeito invisvel, cuja existncia negada, assim como no exaltar um sujeito transcendental, que escapa a experincia, que puro intelecto e no pode ser concebido em suas incertezas. Deve-se resgatar o sujeito das humanidades para que ele possa refletir sobre a matemtica que produz. No podemos continuar a produzir um conhecimento inconsciente. REFERNCIAS BIBLIOGRFICAS BOYER, Carl B. Histria da Matemtica. So Paulo: Editora Edgard Blcher, 1996. BUNCH, Bryan. Mathematical Fallacies and Paradoxes. New York: Dover Publication, INC, 1982. COURANT, Richard; JONH, Fritz. Introduction to Calculus and Analysis I. New York: Springer, 1982. COURANT, Richard; ROBBINS, Herbert. What is Mathematics? New York: Oxford University Press, 1996. CURRY, Haskell B. Outlines of a Formalist Philosophy of Mathematics. Amsterdam: North Holland Publishing Company, 1951. EVES, Howards. Foundations and Fundamental Concepts of Mathematics. New York: Dover Publication, INC. JECH, Thomas J.. The axiom of choice. Amsterdam: North Holland Publishing Company, 1973. KASNER, Edward; NEWMAN, James. Matemtica e Imaginao: O fabuloso mundo da matemtica ao alcance de todos. Rio de Janeiro: Zahar Editores, 1976. LAVIGNE, Shaughan. Understanding the Infinity. Harvard University Press, 1994. MORIN, Edgard. A Cabea Bem-Feita. Rio de Janeiro: Bertrand Brasil, 2009. MORIN, Edgard. Cincia com Conscincia. Rio de Janeiro: Bertrand Brasil, 2000. MOSCHOVAKIS, Yiannis N. Notes on Set Theory. Springer, 1994.