850.97:2

  % & $% #  %#

!,97J. , 0 ,3/7,/,$ ;,# -0 74$,25, 4

Resumo O infinito sempre foi um tema controverso que afectou a mente humana. A sua aceitao como objecto de estudo na Matemtica no foi pacfica, sendo ainda muito recente, apesar da longa histria que lhe est associada. Faz-se uma pequena descrio das ideias relacionadas a este conceito desde a Grcia antiga at Idade Mdia, distinguindo depois os sculos aps o Renascimento devido riqueza de descobertas que ocorreram. Salienta-se que s no sculo XIX que Cantor mostrou, relativamente ao tamanho dos conjuntos, que h infinitos iguais e diferentes. As suas teorias para a teoria de conjuntos revolucionaram ento a Matemtica. O infinito actual finalmente tinha sido incorporado nela. Apesar de toda esta revolucionria e fabulosa teoria, aos poucos foram-se descobrindo algumas contradies, mas vrios dos seus problemas foram posteriormente solucionados no sculo XX.

1. Introduo Para abordar a questo do infinito adoptou-se uma cronologia histrica. Comeou-se pela Grcia Antiga, que procurava a verdade e a razo, fruto do raciocnio lgico e, tambm, essencial no debate sobre o infinito. De seguida, abordou-se a perspectiva do pensamento na Idade Mdia, que escurece um pouco a ligao do infinito Matemtica. Depois referimo-nos, ainda, ao Renascimento, perodo repleto de novas ideias. Nasce, ento, o Clculo Infinitesimal, principal instrumento matemtico do tratamento do infinito. Seguidamente, so apresentados, de forma sucinta, alguns dos resultados obtidos pelos matemticos nos sculos XVII e XVIII. Finalmente, faz-se referncia ao trabalho inovador de Cantor, com a sua teoria de conjuntos, relativamente ao infinito, j no sculo XIX, e abordam-se alguns dos problemas encontrados no sculo XX. Termina-se com algumas questes do infinito matemtico na actualidade.

Professora do Ensino Secundrio.

 
850.97:2

Se do Infinito se trata, poetas, filsofos, matemticos, fsicos, telogos, todos se debruaram alguma vez sobre o assunto. Esquecido pelo tempo, este tema to controverso sempre suscitou dvidas e questes. No se trata de uma simples questo de lgica, necessita de imaginao e reflexo, ir para l do evidente. Que matemtico no se debruou j sobre a inconsistncia dos conceitos de multiplicidade e de divisibilidade atravs dos paradoxos, relativos ao movimento e ao tempo, de Zeno de Eleia? A incompreenso de tais temas originou um conjunto de problemas inexplicveis, contornveis pela doutrina grega, dissuadindo o infinito da Matemtica. Surge uma distino entre infinito potencial e infinito actual, que remonta a Aristteles e s foi ressuscitada no sculo XIX com a teoria dos conjuntos infinitos de Georg Cantor que so apresentados como infinitos actuais. Para Hilbert (1926, p. 236), a questo do infinito agitou sempre as emoes da humanidade mais profundamente do que qualquer outra. Era ento necessrio clarificar a natureza do infinito. O Infinito actual s foi aceite como objecto de estudo na Matemtica quando se conseguiu explicar racionalmente os paradoxos que o envolviam. J Bolzano tinha sentido a necessidade dum novo conceito de infinito, justificando a existncia de imensos paradoxos relativos a esta ideia pela falta de preciso do termo. A esta questo polmica Dedekind e Cantor tentaram responder. Estamos no ano de 1869, quando os trabalhos de Cantor provocaram grandes mudanas e controvrsias quanto concepo de Infinito. Alis ainda hoje os matemticos se dividem.

2. Tudo comeou na Grcia O ser humano toma conscincia que o mundo um problema que ter de ser resolvido em termos conceptuais, de uma forma racional e ponderada, e no em termos mtico-afectivos. Por volta do sculo VII A.C., a cultura grega comea a debruar-se sobre questes relacionadas com o lugar do Homem no Universo. Pois bem, nesta procura da verdade, da razo, da ordem sobre o caos, nasce o logos, o raciocnio lgico. Os filsofos procuravam encontrar princpios fundamentais que explicassem a verdade, designadamente, atravs da Matemtica. Tambm pela primeira vez, aparecem filsofos que abordam a Matemtica pelo conhecimento e no apenas pela sua utilidade. O sculo V A.C. constitui o perodo ureo da civilizao ateniense. Foi neste perodo que Atenas implementou a democracia. Num ambiente de lutas polticas e sociais, h um desenvolvimento das realizaes culturais e artsticas. Por volta de 450 A.C., o filsofo Zeno de Eleia, discpulo de Parmnides, trouxe, atravs dos seus paradoxos, o horror ao infinito. Ele enunciou argumentos para tentar provar a


850.97:2

inconsistncia dos conceitos de multiplicidade e de divisibilidade, criando quatro paradoxos relativos ao movimento e ao tempo que mais tarde foram estudados por Aristteles (384-322 A.C.) e que os intitulou por Aquiles, Seta, Dicotomia e Estdio, nomes pelos quais ficaram conhecidos. Atravs destes problemas, Zeno conseguiu mostrar que um segmento de recta finito, isto , de comprimento finito, pode ser dividido em infinitos segmentos de recta tambm de comprimentos finitos. Estes argumentos conduziram discusso ardente entre o infinito actual e o infinito potencial por vrios sculos. Surgem as primeiras preocupaes sobre como definir e interpretar o infinito. Apesar de Aristteles ter negado o infinito actual, alimentou as especulaes acerca do tema. Para ele o infinito potencial era apenas uma construo da mente humana, necessria para resolver problemas que envolvessem grandezas contnuas infinitamente pequenas ou nmeros infinitamente grandes, enquanto o infinito actual j admitia a existncia de entidades de dimenso no finita, susceptveis de formalizaes. Segundo Aristteles (1996 [350 A.C.], livro III, cap. 4-8, p. 71-88, que admitiu o infinito potencial e negou qualquer possibilidade de tratar racionalmente o infinito actual: Se impossvel que um lugar seja infinito e que todo o corpo ocupa um lugar, ento impossvel que esse corpo seja infinito. () Pois bem, se o infinito no se pode quantificar seno seria uma quantidade como de duas ou trs coisas, pois isto o que significa quantidade assim tambm o que est num lugar assim porque ocupa algum stio: e isto para cima ou para baixo, ocupando uma das seis direces, e cada uma destas apresenta um certo limite. Fica claro que na actualidade no existe um corpo infinito. () Tornando-se evidente que o infinito existe num sentido e noutro no. Pois bem, diz-se que , por um lado, em potncia e por outro em actualidade. () De maneira que existe um nmero infinito em potncia e no em actualidade. Os paradoxos de Aquiles e da Dicotomia ilustram a impossibilidade de dividir a matria at ao infinito. Na Dicotomia, Zeno afirma que um objecto que quer percorrer uma certa distncia tem primeiro de percorrer metade dessa distncia, mas antes tem de andar um quarto, e antes o primeiro oitavo e assim sucessivamente at uma infinidade de subdivises. Em Aquiles, a ideia de subdiviso infinita a mesma, apenas com a diferena de ser agora progressiva em vez de regressiva. Assim, Aquiles nunca conseguir alcanar a tartaruga, que partiu sua frente, j que quando ele chegar posio inicial da tartaruga, ela j ter percorrido uma distncia maior, e quando ele chegar a essa nova posio ela ter avanado um pouco mais e assim sucessivamente.


850.97:2

Segundo Boyer (1998 [1968], p. 52), a Dicotomia e o Aquiles argumentam que o movimento impossvel sob a hiptese de subdivisibilidade indefinida do espao e do tempo. Zeno mostrou que se os conceitos de contnuo e infinita diviso forem aplicados ao movimento de um corpo, ento este torna-se impossvel. O paradoxo da Seta reflecte a impossibilidade de movimento se o espao e o tempo forem compostos de partes indivisveis. Zeno mostra que o movimento da seta uma iluso, pois ela est sempre parada. No Estdio, ele mostra que o intervalo de tempo que se considera no pode ser mnimo. Segundo Boyer (1998 [1968], p. 52), a Flecha [Seta] e o Estdio, de outro lado, argumentam que tambm impossvel, sob a hiptese contrria de que a subdivisibilidade do tempo e do espao termina em indivisveis. Zeno apresentou paradoxos que mostravam as contradies existentes em considerar grandezas divisveis infinitamente e em considerar grandezas indivisveis. Para Struik (1997 [1948], p. 82), os argumentos de Zeno comearam a preocupar ainda mais os matemticos, depois de terem sido descobertos os irracionais. Nas ltimas dcadas do sculo V A.C., os pitagricos, discpulos de Pitgoras de Samos (580-500 A.C.), descobriram que no conseguiam estabelecer uma razo entre o lado e a diagonal de um quadrado atravs de nmeros racionais, os conhecidos at ento. Existem muitos outros exemplos de segmentos de recta ou curvas cujas medidas escapavam Matemtica grega. Tais medidas dos segmentos eram ento consideradas grandezas e no nmeros, sendo chamadas de incomensurveis. O mais antigo texto sobre a histria da Matemtica, que conseguiu resistir intacto at aos nossos dias, a obra De architectura de Marcus Vitruvius Pollio (90-20 A.C.), onde se afirma que Pitgoras descobriu os irracionais atravs de segmentos de recta incomensurveis. No entanto, muitos historiadores actuais consideram que no ter sido ele prprio, mas os pitagricos. Os Dilogos de Plato (429-348 A.C.) mostram como os matemticos da poca ficaram profundamente perturbados com esta descoberta. A escola platnica, para contornar os infinitesimais, usou um mtodo indirecto, muito rigoroso, nas demonstraes de clculos de reas e volumes, que envolvia somente o uso da lgica formal, o mtodo da exausto (assim intitulado por Grgoire de Saint-Vicent (1584-1667), em 1647). , no entanto, de salientar que, para se poder aplicar este mtodo, era necessrio conhecer o resultado previamente. O infinito ficou assim eliminado da Matemtica grega. A Matemtica de Demcrito de Abdera (460-370 A.C.) fundamentou-se na sua prpria doutrina fsica do atomismo. Os problemas matemticos que mais lhe interessavam eram os que exigiam um tratamento infinitesimal. J desde os egpcios que se sabia que o volume de uma pirmide se determina pelo produto de um tero do valor da rea da base pelo valor da sua altura, mas Arquimedes (287-212 A.C.) chegou a


850.97:2

escrever que esse resultado era de Demcrito, acrescentando, no entanto, que no tinha sido provado convenientemente por ele. Pois bem, se Demcrito acrescentou algo ao conhecimento egpcio s pode ter sido pela sua aplicao de tcnicas infinitesimais. O atomismo de Demcrito refere-se matria, ao tempo e ao espao, conduzindo directamente noo de quantidade infinitesimal, mas depois da descoberta dos incomensurveis e dos paradoxos de Zeno, a sua escola filosfica tornou-se muito impopular e estes argumentos j no eram aceites. Para poder desenvolver silogismos novos, Arquimedes de Siracusa, conselheiro do rei Hiero, adoptou outro mtodo, considerado pouco rigoroso, mas muito produtivo. O Mtodo (segundo Heath (1981 [1921]), cujo ttulo completo On mechanical theorems, Method), esteve perdido at ao vero de 1906, aquando da sua descoberta pelo dinamarqus Johan Heiberg (1854-1928) em Constantinopla. Esta grande obra foi escrita por volta de 250 A.C. e surge na forma de uma carta escrita por Arquimedes para Eratstenes. Nesta carta ele descreve como obteve muitos dos seus resultados. Explicou que muitas das suas ideias apareceram atravs de um mtodo mecnico e que posteriormente, teriam de ser demonstradas por uma prova geomtrica rigorosa, j que ele considerava este mtodo pouco rigoroso. Ele foi considerado um dos matemticos gregos que mais contribuiu para o clculo integral. Utilizou o mtodo da exausto para determinar um valor aproximado da rea de um crculo. O mtodo da exausto, inventado por Eudoxo de Cnido (408-355 A.C.), muito usado por Arquimedes, permite encontrar aproximaes sucessivas de uma rea por comparao com reas conhecidas. Trata-se de um processo fundamental no clculo. necessrio salientar, no entanto, que, no tempo de Arquimedes, no se consideravam somas infinitas de parcelas, mas apesar de os gregos no assumirem o infinito, este foi um dos mtodos que mais contribuiu para o desenvolvimento de conceitos como o de limite. Euclides de Alexandria, contemporneo do primeiro Ptolomeu (306-283 A.C.), cuja obra mais importante Elementos era constituda por treze livros, pretendera reunir numa s obra todas as grandes descobertas realizadas at ento pelos seus colegas matemticos. Assim, nos Elementos de Euclides podemos ver a teoria das propores de Eudoxo, a teoria dos irracionais de Teaetetus (417-369 A.C.) e a teoria dos cinco slidos regulares de Plato. A teoria das propores de Eudoxo permitiu resolver completamente o problema das grandezas incomensurveis. Esta teoria encontra-se exposta no livro V dos Elementos de Euclides. Eudoxo evitou desta forma o problema dos irracionais e do infinito. Ele definiu a igualdade entre duas quaisquer razes. Os gregos so os primeiros a tomar conscincia da questo do infinito e, apesar de o terem negado, deixaram vrias sementes que criaram fruto mais tarde.


850.97:2

3. A Europa na Idade Mdia A queda de Roma em 476 e a queda de Constantinopla em 1453 costumam marcar quer o incio quer o fim da Idade Mdia. Durante esta poca, a cincia esteve mais ou menos estagnada e o pensamento medieval viveu sombra das ideias de Plato e de Aristteles. Os filsofos escolsticos debruaram-se, tambm, sobre questes como o infinito. So Toms de Aquino (1225-1274), tal como Aristteles, no acreditava no infinito actual. Antes dele, alguns filsofos, poucos, se debruaram sobre o tema com outro ponto de vista, tal como Santo Agostinho (354-430), bispo de Hipona, que, na sua obra Civitas Dei (captulo XVIII do livro XII), aceita a sequncia dos nmeros inteiros como um infinito actual na mente divina. O infinito entendido como um atributo de Deus. Acrescenta-se o infinito absoluto. Dizer que nem a cincia de Deus capaz de compreender as coisas infinitas o que lhes falta ao atrevimento, para precipitar-se na voragem de profunda impiedade, que afirma no conhecer Deus todos os nmeros. E muito certo que so infinitos. Com efeito, seja qual for o nmero que pretendas formar, no apenas pode aumentar pela adio de uma unidade, mas tambm, por maior que seja e por mais prodigiosa que seja a quantidade que encerra em si a razo e cincia dos nmeros, no somente pode ser duplicada, mas tambm multiplicada ao infinito. () Tal infinidade conjunta de todos os nmeros que escapa cincia de Deus, que compreende certa quantidade de nmeros e ignora os demais? Quem o dir, por mais louco que esteja? (Santo Agostinho, 1993, p.83) Com a queda de Constantinopla, em 1453, alguns sbios gregos foram conduzidos para as terras do ocidente, transportando com eles toda a sabedoria grega, o que permitiu que se traduzissem bastantes textos gregos originais. Um dos grandes tradutores matemticos desta poca era Johannes Mller (1436-1476), o Regiomontano, assim conhecido pela sua ligao pequena cidade da Baviera, a sul do Meno, Knisberg. O horror sentido pelos gregos ao infinito no se fez sentir tanto nos filsofos escolsticos, que mencionavam tal conceito com alguma frequncia (mais para o fim da Idade Mdia). As especulaes escolsticas sobre o infinito reavivam o problema e permitem o desenvolvimento do clculo infinitesimal no sculo XVII. Notemos, no entanto, que todos os desenvolvimentos matemticos que ocorreram nesta poca no podem ser comparados com as inmeras e grandiosas descobertas ocorridas no tempo da Grcia antiga.


850.97:2

4. O sculo XVII Este um grande sculo para os matemticos, pois a poca em que a geometria analtica e o clculo so inventados, sendo denominado por muitos como o sculo do gnio. Em 1558, Federigo Comandino (1509-1575) traduz as obras de Arquimedes, permitindo, deste modo, o acesso dos latinos ao mtodo de integrao utilizado por Arquimedes, o que se traduziu no desenvolvimento do clculo infinitesimal. Em 1586, o flamengo Simon Stevin (1546-1620) utiliza este mtodo, na sua obra Esttica, para determinar os centros de gravidade de figuras planas e toma um nmero infinito de somas. Tambm Johann Kepler (1571-1630) considerou somas infinitas. Segundo Struik (1997 [1948], p. 160), nos trabalhos de Johann Kepler particularmente evidente a influncia estimulante da nova astronomia em problemas que envolviam longos clculos, bem como consideraes infinitesimais. Foi durante este perodo que nasceu o principal instrumento matemtico que trata o infinito, o Clculo Infinitesimal. O mtodo da exausto foi um grande catalisador dos mtodos infinitesimais desenvolvidos no Renascimento para resolver problemas de reas, de volumes, do movimento e da mecnica celeste. O italiano Galileo Galilei (1584-1642) estabeleceu correspondncias entre agregados infinitos. a ele que se deve a primeira formulao explcita da noo de coleco infinita. Na sua obra Dilogos relativos a duas novas cincias, de 1638, Galilei estabeleceu uma correspondncia de um para um, entre o conjunto dos nmeros inteiros e o conjunto dos quadrados perfeitos, mas no afirmou que tinham o mesmo cardinal. Ao invs, concluiu que os atributos igual a, maior que e menor que no devem ser utilizados para comparar quantidades infinitas. Esta obra consiste numa discusso sobre a dinmica e a resistncia dos materiais entre trs personagens: Salviati, um homem sbio, bem informado cientificamente, Sagredo, um leigo inteligente e Simplcius, um homem que acredita cegamente nas concepes de Aristteles. Galilei adopta o papel de Salviati e usa o infinitamente pequeno com um certo grau de fantasia, como quando Salviati diz a Simplcius que fcil decompor um segmento de recta num nmero infinito de partes, mas noutra altura tambm refere que o infinito e os indivisveis transcendem o nosso conhecimento. ainda nesta obra que Galilei (1989 [1638], p. 40-41) apresenta um paradoxo sobre a quantidade de nmeros inteiros e de quadrados perfeitos, concluindo que nem o nmero de quadrados menor do que o da totalidade dos nmeros, nem o ltimo maior do que o primeiro.


850.97:2

Salviati. () Se eu disser que os nmeros tomados na sua totalidade, incluindo os quadrados e os no quadrados, so mais numerosos do que os quadrados sozinhos, enunciarei uma proposio verdadeira, no ? Simplcio. Certamente Salviati. De seguida, se eu perguntar agora quantos quadrados h, podemos responder, sem nos enganarmos, que h tantos quantas as razes quadradas correspondentes, atendendo a que todo o quadrado tem a sua raiz e toda a raiz o seu quadrado, que um quadrado no tem mais do que uma raiz, nem uma raiz mais do que um quadrado. Simplcio. Exactamente. Salviati. Mas se eu perguntar quantas razes h, no se pode negar que h tantas quantos os nmeros, porque todo o nmero a raiz de algum quadrado. Assim sendo, ser portanto preciso dizer que h tantos nmeros quadrados como nmeros, uma vez que eles so tantos como as razes e que as razes representam o conjunto dos nmeros. No entanto dizamos de princpio que h mais nmeros do que quadrados, j que a maior parte dos nmeros no so quadrados. () Sagredo. Ento, qual a concluso a tirar nestas condies? Salviati. Aos meus olhos, a nica concluso possvel dizer que o conjunto dos nmeros, dos quadrados, das razes infinito; que o total dos nmeros quadrados no inferior ao conjunto dos nmeros, nem este superior quele. E finalmente, que os atributos igual, maior e menor no tm sentido para quantidades infinitas, mas somente para quantidades finitas. Em 1635, com Bonaventura Cavalieri (1597-1647), professor na Universidade de Bolonha e discpulo de Galilei, as ideias de Kepler foram sistematicamente desenvolvidas no livro Geometria indivisibilius continuorum. O livro de Cavalieri permitiu um maior entusiasmo dos matemticos relativamente a problemas relacionados com os infinitesimais, como o caso da procura de mtodos para tentar encontrar a tangente a uma curva num dado ponto. Em 1655, Jonh Wallis (1616-1703) escreve Arithmetica infinitorum, tentando ultrapassar Cavalieri. Apesar de os seus mtodos serem pouco rigorosos, salienta-se que Wallis escreveu, pela primeira vez, para representar 1/0, utilizou expoentes negativos, fraccionrios e imaginrios, introduziu sries infinitas, e este estudo de sries infinitas permitiu apoiar Isaac Newton (1642-1727) que, enquanto permanecia em Lincolnshire, a sua terra natal, para fugir peste que se propagava em Cambridge, escreveu a sua teoria das fluxes (1665-66), s publicada em 1742, com o


850.97:2

ttulo Methodus fluxionum et serium infinitorium. Nesta sua teoria, os infinitesimais eram denominados de momentos de fluxes. Newton introduz a noo de limite, embora expressa de uma forma extremamente confusa. A sua grande obra foi Principia Mathematica (1687). Paralelamente a Newton, Gottfried Leibniz (1646-1716) encontrou tambm um novo clculo, entre 1673 e 1676. A abordagem de Newton era essencialmente cinemtica, enquanto a de Leibniz era geomtrica. A notao matemtica que usamos no clculo de hoje, deve-se, essencialmente, a Leibniz, assim como os nomes calculus differentialis e calculus integralis. Por exemplo, ele fixou em dx e dy as diferenas menores possveis (diferenciais) em x e y. A sua primeira obra sobre o clculo diferencial s foi publicada em 1684 e chama-se Nova methodus pr maximis et minimis, itemque tangentibus qua nec irrationales quantitates moratur (Um novo mtodo para mximos e mnimos e tambm para tangentes, que no obstrudo por quantidades irracionais), nela mostrando que para determinar tangentes necessrio utilizar o clculo diferencial e para calcular quadraturas exigido o clculo integral. Numa das suas cartas a Foucher, em 1693, elogia Grgoire de Saint Vicent por ter determinado o local exacto onde Aquiles iria encontrar-se com a tartaruga, tendo resolvido este paradoxo de Zeno, aceitando desta forma o infinito actual. Grgoire de Saint Vicent refere explicitamente a soma de um nmero infinito de grandezas, consideraes importantssimas para o Clculo integral. Esta manipulao de somas infinitas tornou-se ento de uso corrente na Matemtica. No entanto, h que salientar que Leibniz s concebia o infinito/infinitesimal como facilitador do clculo e cujo resultado se exprimia sempre em funo de quantidades finitas. A Teoria das fluxes de Newton aproxima-se bastante do nosso clculo, mas a eficcia da notao diferencial de Leibniz produziu uma maior aceitao. Segundo Augusto de Oliveira (2002) no prefcio edio portuguesa do Mtodo das fluxes e das sries infinitas de Newton (2004 [1742], p. III), se reconhecemos Newton como criador pioneiro do Clculo infinitesimal moderno () no devemos deixar de reconhecer que esse ttulo deve ser partilhado com Gottfried Leibniz.

5. O sculo XVIII Chegamos poca de Leonhard Euler (1707-1783), natural de Basileia, autor de 560 trabalhos publicados em vida e de muitos outros aps a morte, considerado, por isso, um dos mais produtivos matemticos de sempre. Segundo Struik (1997 [1948], p. 196-197), o grande prestgio dos seus textos resolveu para sempre muitas questes


850.97:2

controversas sobre a notao na lgebra e no clculo infinitesimal. Euler utilizou a notao e a linguagem que ns ainda hoje usamos, tendo sido responsvel, em grande ,... A notao parte, por exemplo, pela utilizao que damos aos smbolos e, ,i f x para representar uma funo de x tambm da sua responsabilidade. Desta forma, a notao matemtica comummente aceite provm essencialmente de Euler. Em 1748, escreveu Introductio in analysin infinitorium e o primeiro volume desta obra trata essencialmente de processos infinitos. Segundo Boyer (1998 [1968], p. 306), pode ser dito com justia que Euler fez pela anlise de Newton e Leibniz o que Euclides fizera pela geometria de Eudoxo e Teaetetus, ou o que Vite fizera pela lgebra de al-Khowarizmi e Cardano. Sabe-se que Euler mantinha uma correspondncia frequente com o matemtico parisiense Jean Le Round dAlembert (1717-1783), cujo cognome dAlembert proveio da igreja de St. Jean Baptiste le Rond, em Paris. Entre 1751 e 1772 ele colaborou com Denis Diberot (1713-1784) na construo dos vinte e oito volumes da Encyclopdie (Dictionnaire raisonn des sciences, des arts et des mtiers). Para d Alembert, o clculo deveria fundamentar-se na ideia de limite, tendo substitudo a razo de duas quantidades infinitesimais pela concepo de limite. No entanto, a sua ideia no foi aceite pelos seus contemporneos, tendo-se continuado a usar a linguagem de Leibniz e de Euler. Como d Alembert pensava em grandezas geomtricas, nunca aceitou a existncia do infinito actual pensando sempre na sua forma potencial. Ops-se aos pontos de vista destes dois matemticos, afirmando que uma quantidade ou representa algo ou ento no nada. Segundo Struik (1997, p. 204), d Alembert chamou a uma quantidade limite de outra quando a segunda se aproxima da primeira mais que qualquer quantidade dada. Joseph-Louis Lagrange (1736-1813), foi um dos grandes matemticos que viveu durante a Revoluo francesa e rejeitou completamente a teoria de limites de Newton e de d' Alembert, dedicando-se fundamentao do clculo pela lgebra. Em 1797, escreveu a Theorie ds fonctions analytiques, utilizando a notao f' x ,f''x ,..., f(n ) x ,... para representar derivadas de vrias ordens. Pensou poder eliminar a necessidade do uso de limites ou infinitsimos, mas, mais tarde, foram reveladas algumas falhas nos seus argumentos.

()

() ()

()

6. O sculo XIX Surge uma nova gerao de matemticos, de mentes mais abertas, em parte, fruto da Revoluo Francesa, inspirados por novas perspectivas e que iro revolucionar vrios campos da cincia. Agora a Matemtica tida no apenas como uma cincia


850.97:2

importante para a Mecnica e para a Astronomia, mas, ao invs, como uma cincia autnoma. H uma separao dos matemticos puros e dos aplicados. Tinha chegado a poca de reflexo sobre os fundamentos da Matemtica, j no bastava obter resultados, era necessrio reflectir bem sobre o seu significado: o que uma funo de varivel real, qual a relao das funes de varivel complexa, o que relanou novamente a discusso sobre o infinito actual. Augustin Cauchy (1789-1857) tentou dar resposta, atravs do clculo, a uma srie de paradoxos que assombravam a Matemtica desde o tempo de Zeno. Foi ele que fundamentou o clculo que hoje utilizamos como podemos ver nos seus textos Cours d analyse de l Ecole Royale Polytechnique (1821), Rsum des leons sur le Calcul infinitsimal (vol. I, 1823) e Leons sur le Calcul diffrentiel (1829). Tornou fundamental o conceito de limite de d Alembert, de funo, de integral como limite de uma soma (ao invs de uma antiderivao), Na segunda metade do sculo XIX, surgiu, em Berlim, Karl Weierstrass (1815-1897), o qual, segundo Struik (1997 [1948], p. 256), era a conscincia matemtica por excelncia, metodologia e lgica. A importncia do seu trabalho baseia-se na clarificao das noes de mnimo de uma funo, de convergncia uniforme, bem como no desenvolvimento de raciocnios que se baseiam no conceito de limite em geral. Salienta-se, ainda, que, enquanto professor, insistiu no rigor com que se deveriam usar as sries infinitas. Foi ele quem forneceu fundamentos slidos para a Anlise, eliminando os defeitos remanescentes do Clculo. Os esforos de Cauchy, Bernhard Bolzano (1781-1845) e Weierstrass em fundamentar rigorosamente os mtodos do clculo infinitesimal conduziram a uma formalizao rigorosa com base na noo de limite. Este conceito permitiu um novo tratamento matemtico do infinito. Esta procura do rigor foi fortemente defendida por Leopold Kronecker (1823-1891), professor da Universidade de Berlim. Para ele, a Matemtica devia basear-se no nmero e todo o nmero nos nmeros naturais. Em 1886, num encontro que decorreu em Berlim, afirmou que Deus fez os nmeros inteiros e os homens fizeram o resto (Die Ranzen Zahlen hat der lIebe Gott Remacht. alies andere ist Menschenwerk). Deste modo, recusou o infinito actual, o que estava em contraste com as teorias de Richard Dedekind (1831-1916) e de Georg Cantor (1845-1918). O infinito ganha uma nova histria com Bolzano, ao defender o infinito actual em Paradoxos do infinito (Paradoxien des unendlichen, livro publicado apenas em 1851, j depois da sua morte). Para ele, bastava caracterizar um conjunto pelas suas propriedades, e no ter de enumerar todos os elementos desse conjunto, ou seja, um conjunto um todo. Aceitava o pressuposto de Arquimedes de que o todo maior que


850.97:2

as partes, embora se considerasse que, no caso dos conjuntos infinitos, as regras no eram to taxativas. Bolzano, nascido em Praga, tentou estabelecer um critrio de comparao entre conjuntos infinitos. Analisou o paradoxo de Galilei relativamente correspondncia um a um entre os nmeros inteiros e os quadrados perfeitos e mostrou, vagamente, que as correspondncias entre um conjunto infinito e um seu subconjunto prprio so comuns a todos os conjuntos infinitos. No entanto, considerou que a existncia de uma bijeco entre tais conjuntos no era suficiente para os considerar com o mesmo cardinal. Quando dois conjuntos so infinitos, pode haver uma relao tal que, por um lado possvel associar cada elemento do primeiro conjunto com algum elemento do segundo de tal forma que nenhum elemento dos dois conjuntos fique sem associao e tambm que nenhum dos elementos tenha mais que uma associao, e por outro lado possvel que um conjunto possa conter o outro como uma parte de si. (Bolzano, 1991 [1851], p. 64) insuficiente que se possam equiparar os elementos de dois conjuntos [infinitos] S se pode concluir uma igualdade destas multiplicidades se ambos os conjuntos forem determinados de modo idntico. (Bolzano, 1991 [1851], p. 67) Bolzano sentiu necessidade dum novo conceito de infinito e justificou a existncia de imensos paradoxos relativos a esta ideia pela falta de preciso do termo. Apesar dos seus esforos, no conseguiu solucionar o problema do infinito. Mas afinal o que o infinito? Questo polmica a que Dedekind e Cantor tentaram responder. Dedekind foi professor na Technishe Hochschule de Brunswick e construiu uma teoria rigorosa sobre os irracionais. A teoria das propores de Eudoxo de Cnido foi uma das suas fontes de inspirao. Dedekind eliminou os buracos existentes na recta, criando os nmeros reais. Os primeiros estudos sistemticos de conjuntos infinitos solhe devidos. Estabeleceu uma correspondncia biunvoca entre os pontos de uma recta e os nmeros reais. Logo, Dedekind estabeleceu uma bijeco entre dois conjuntos infinitos, passando do infinito potencial para o actual. Um conjunto finito passa a ser aquele que no est em bijeco com nenhuma das suas partes. Define um conjunto infinito, em 1872, na sua obra Stetigkeit und irrationale Zahlen (A continuidade e os nmeros irracionais) e expe mais amplamente as suas ideias, em 1888, no livro Was sind und was sollen die Zahlen? (O que so e para que servem os Nmeros?). Deste modo, diz-se que um sistema [conjunto] S infinito quando semelhante a uma parte


850.97:2

prpria dele mesmo; caso contrrio S diz-se finito (citado em Boyer, 1998 [1968], p. 392), ou seja, o conjunto S infinito se e s se for equipotente a uma sua parte prpria. Cantor, natural de S. Petersburgo, doutorado em Berlim, foi quem Kronecker mais criticou pela sua teoria de conjuntos (Mengenlehre) ou teoria das multiplicidades (Mannigfaltigkeitslehre). Ele aceitou o infinito actual e desenvolveu uma teoria que explicava os diferentes conjuntos infinitos, a teoria dos nmeros cardinais transfinitos baseada num tratamento matemtico do infinito actual. Como os nmeros 1, 2, 3, 4 no permitem a contagem dos elementos dos conjuntos infinitos, Cantor criou um novo tipo de nmero: o transfinito. Existe, depois do finito, um transfinito que pode ser definido de forma precisa. Ao conjunto numervel atribui o menor cardinal transfinito 0 e ao contnuo atribuiu um nmero transfinito maior. Para desenvolver os seus trabalhos em Anlise foi necessrio fazer uma construo rigorosa dos nmeros reais que assentasse apenas na Aritmtica. Para isso era necessrio utilizar certos conjuntos de pontos, efectuar operaes sobre estes conjuntos, considerar sucesses dos mesmos E, tal como Cantor, tambm Dedekind e Weirstrass sentiram essa necessidade, porm ele foi mais longe. Acrescentemos ainda que os trabalhos elaborados sobre sries trigonomtricas conduziram os matemticos da altura a estudarem certos conjuntos de pontos particulares ligados convergncia das sries. A partir destes problemas de anlise, Bolzano, Dedekind e Cantor encontraram os primeiros resultados da teoria de conjuntos. Ao longo dos tempos foram-se tentando encontrar critrios de comparao entre conjuntos infinitos e, no sculo XIX, estava mais ou menos aceite que a existncia de uma bijeco entre dois conjuntos permitia estabelecer a igualdade da quantidade dos seus elementos. Dado um conjunto infinito de referncia e um outro conjunto infinito, ser que podemos estabelecer uma correspondncia bijectiva entre esses conjuntos? Em caso afirmativo, os conjuntos tm o mesmo tamanho, caso contrrio podemos concluir que existem infinitos de tamanhos diferentes. Cantor mostrou, relativamente ao tamanho dos conjuntos, que h infinitos iguais e diferentes. Tal como Dedekind, ele tinha reconhecido a propriedade fundamental dos conjuntos infinitos, mas viu que os conjuntos infinitos no eram todos iguais. Em 8 de Dezembro de 1873, Cantor escreveu uma carta a Dedekind (o que era bastante frequente) em que afirmava que os conjuntos dos nmeros naturais e dos nmeros reais no podiam ser postos em correspondncia, e, no dia 23 desse mesmo ms, j tinha um artigo pronto com a prova de tal afirmao: ber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen (Sobre uma propriedade do conjunto de todos os nmeros algbricos reais), que s foi publicado no incio do ano seguinte. de referir que, a forma como foi redigido, conduz o leitor a uma alternativa do Teorema de Liouville em vez da existncia de conjuntos no numerveis.


850.97:2

Ficou ento provado que os subconjuntos infinitos de tm o mesmo cardinal, que o conjunto dos nmeros racionais numervel, que o conjunto dos nmeros reais no numervel e que o conjunto dos pontos de um quadrado equivalente ao conjunto dos pontos do seu lado. Como o conjunto uma parte de e uma parte de um qualquer conjunto no o pode exceder em quantidade de elementos, natural que o conjunto tenha menor cardinal que o conjunto . Nesta fase, Cantor decidiu procurar outros infinitos, isto , os infinitos que estivessem entre e e os maiores que . Uma conjectura natural para encontrar infinitos maiores seria considerar conjuntos contnuos a duas ou mais dimenses e, em 20 de Junho de 1877, Cantor mostrou a Dedekind uma prova que contradizia a sua prpria intuio. Surpreendentemente, para os matemticos da altura, conseguiu n estabelecer uma bijeco entre [0, 1] e [0,1] (qualquer n ), patente no seu artigo Ein Beitrag zur Mannigfaltigkeitslehre (Uma contribuio para a teoria dos conjuntos), concludo em 11 de Julho do mesmo ano, mostrando assim que n e m tm a mesma dimenso, quaisquer n , m . Pois bem, a prova de que existem conjuntos com um cardinal maior que o de veio de outra proposio muito mais abrangente. O conjunto dos subconjuntos de um conjunto tem sempre mais elementos que o prprio conjunto. Donde se pde concluir que existem infinitos maiores que . J a ideia da existncia de infinitos intermdios entre e , no foi demonstrada ou refutada por Cantor. Ele prprio nunca conseguiu demonstrar que no pode existir um infinito intermdio entre o numervel e o contnuo, isto , simbolicamente 1 = 2 . Esta sua ideia ficou conhecida pela Hiptese do contnuo (1878). Foi ainda o principal responsvel pela criao da Deutshe Mathematiker-Vereinigung (Unio Alem de Matemtica) e, em 1891, no primeiro encontro da associao, em Halle, leu um artigo sobre o seu argumento diagonal em que provava exactamente que, dado um conjunto, o conjunto das suas partes tem potncia maior que esse conjunto. As teorias de Cantor para a teoria de conjuntos revolucionaram ento a Matemtica. O infinito actual finalmente tinha sido incorporado na Matemtica. Notemos que um infinito actual aquele que pode ser concebido como uma entidade completa, ou seja, todos os seus elementos podem ser pensados num acto nico. Apesar de toda esta revolucionria e fabulosa teoria, aos poucos algumas contradies se foram descobrindo. O prprio Cantor, em 1895, descobriu que no podia haver o conjunto de todos os conjuntos, mas vrios dos seus problemas foram posteriormente solucionados no sculo XX.
0


850.97:2

7. J no sculo XX O incio deste sculo ficou marcado pelo segundo Congresso internacional de Matemtica, que decorreu em Paris (1900). David Hilbert (1862-1943), de Knigsberg, da Prssia, apresentou uma memorvel conferncia onde formulou uma lista de 23 Problemas Matemticos que precisavam de resposta. O primeiro referia-se estrutura de continuidade dos nmeros reais e, mais explicitamente, Hiptese do contnuo. Ele questionou se haveria algum cardinal entre o contnuo e o numervel e se o contnuo poderia ser considerado bem ordenado. Relativamente ao problema do contnuo de Cantor sobre a potncia ou cardinalidade do contnuo, , Hilbert questionou se ou no a primeira a seguir potncia do numervel, 0 . Problema do Senhor Cantor relativo potncia do contnuo. Todo o sistema infinito de nmeros reais, isto , todo o conjunto de nmeros (ou pontos), ou equivalente ao conjunto dos nmeros naturais 1, 2, 3, , ou ao conjunto de todos os nmeros reais, e por consequncia ao contnuo, isto , aos pontos de um segmento; de um ponto de vista equivalente, no h mais que dois conjuntos de nmeros: os numerveis e o contnuo. A partir deste teorema podemos concluir igualmente que o contnuo apresenta o nmero cardinal imediatamente a seguir ao do conjunto numervel. () O conjunto de todos os nmeros no poder ser ordenado de uma outra forma tal que todos os conjuntos parciais tenham um primeiro elemento? Dito de outra forma, ser que o contnuo poder ser considerado um conjunto bem ordenado? (Hilbert, 1990 [1902], p. 13-14). Relativamente segunda parte do problema, necessrio referir o Axioma da escolha, formulado pelo alemo Ernst Zermelo (1871-1956), tendo proposto, em 1908, no seu artigo Untersuchungen ber die Grundlagen der Mengenlehre (Investigaes sobre os fundamentos da teoria de conjuntos), a primeira axiomatizao da teoria de conjuntos, evitando as contradies existentes. Mas como poderemos ter a certeza de que no existem outros conjuntos paradoxais? Pois bem, para um matemtico, uma demonstrao s vlida se for verificvel. E, mais uma vez, surge um novo problema: a subjectividade inerente ao acto de verificar. Hilbert, na conferncia que deu a 4 de Junho de 1925, por ocasio do congresso organizado pela Sociedade Matemtica de Westflia, em Mnster, afirmou que ningum nos expulsar do paraso que Cantor criou para ns.


850.97:2

A Anlise matemtica constitui, por si mesma, uma sinfonia do infinito. () Mas a Anlise, por si s, no nos d ainda a viso mais aprofundada da natureza do infinito. Para obt-la servimo-nos de uma disciplina que se aproxima da especulao filosfica geral e que estava destinada a dar nova luz a todos os complexos problemas que se referem ao infinito. Esta disciplina a teoria dos conjuntos que foi criada por Georg Cantor. () Esta parece-me a mais maravilhosa florescncia do esprito matemtico e, sem dvida, uma das mais altas realizaes da actividade racional humana pura. (Hilbert, 1926, p. 239-240). Tentou, atravs da verificao mecnica, mostrar a consistncia do paraso que Cantor criou, mas, na dcada de 1930, o trabalho Teoremas de incompletude de Gdel-Russell marcou um ponto de inflexo nos fundamentos da Matemtica. Notemos que um sistema axiomtico deve satisfazer trs condies: ser consistente, ser completo e cada postulado ser independente dos demais. Em 1931, o austraco Krt Gdel (1906-1978) surpreendeu os matemticos de ento com uma demonstrao de que o mtodo axiomtico apresenta limitaes, ou seja, demonstrou que existem verdades matemticas impossveis de demonstrar por via lgica e qualquer sistema lgico no demonstra a sua consistncia lgica. A descoberta de Gdel implica que a consistncia de um sistema matemtico no pode ser demonstrada excepto utilizando mtodos mais poderosos do que os mtodos de demonstrao do prprio sistema (Cohen, 1966, p. 7). Em 1936, Gdel mostrou que a Hiptese do contnuo compatvel com a teoria de conjuntos de Zermelo-Fraenkel e, em 1963, Paul Cohen mostrou que a negao da Hiptese do contnuo tambm compatvel com os axiomas da teoria de Zermelo-Fraenkel. Os trabalhos de Gdel, em 1936, e de Cohen, em 1963, mostraram que esta formulao no pode ser demonstrada/refutada tendo em conta apenas os axiomas habituais da teoria de conjuntos. Acrescenta-se apenas que Cantor no reconhecia a existncia dos infinitamente pequenos e foi preciso esperar pela Anlise no standard, formulada por Abraham Robinson (1918-1974), em 1961, para os infinitesimais serem reconhecidos como entidades bem definidas e, assim, justificar os clculos que os fsicos faziam com eles.

8. Anlise no standard A utilizao de nmeros infinitesimais sempre foi muito controversa. S com a descoberta do Clculo, no sculo XVII, por Newton e Leibniz, que o uso destes


850.97:2

nmeros se tornou mais frequente. Estes dois grandes matemticos usaram mtodos infinitesimais no desenvolvimento do Clculo, mas foram incapazes de faz-lo de forma precisa. Mesmo assim Newton conduziu teoria dos limites, enquanto Leibniz baseou o seu raciocnio em termos de infinitsimos, conferindo-lhe um carcter mais algbrico. Leibniz e os seus seguidores basearam o desenvolvimento da diferenciao e da integrao em diferenas infinitamente pequenas de primeira ordem e ordens superiores, permitindo um rpido progresso do Clculo. No entanto, existiam certas contradies que necessitavam ser eliminadas. Cauchy tentou solucionar o problema atravs do desenvolvimento rigoroso da Anlise Matemtica. Baseou a sua teoria no conceito de limite e o seu mtodo foi formalmente reinterpretado por Weierstrass. Desta forma, a teoria de limites foi firmemente estabelecida, e o uso dos infinitesimais e infinitamente grandes foi praticamente banido da Anlise. Em 1934, Skolem representou nmeros naturais infinitamente grandes atravs de funes da teoria de conjuntos que tendem para o infinito, retomando as ideias de Cauchy. Estes trabalhos foram de grande importncia para a criao da Anlise no-standard. Em 1960, Robinson descobriu que a recta real pode no ser a melhor aproximao terica de uma recta do espao fsico, ao formular a sua teoria rigorosa sobre infinitesimais actuais. A Anlise no standard uma tcnica da Matemtica que fornece uma fundamentao lgica para a ideia de um infinitesimal, ou seja, um nmero que seja menor que e simultaneamente maior que 0. A Anlise no standard foi descoberta por Robinson em 1960 e surgiu, oficialmente, no seu artigo Nonstandard Analysis publicado em 1961. necessrio saber matematicamente quando que uma quantidade no nula suficientemente pequena para ser desprezada ou no. Para resolver este tipo de problema, era necessrio introduzir um novo nmero, , infinitesimal, ou seja, infinitamente pequeno, no nulo, simbolicamente, 0 : x , x < < x . Com o desenvolvimento de novos mtodos de construo de estruturas e com o progresso da Teoria de Modelos, foi possvel a construo do sistema de nmeros hiperreais, *, ou seja, construiu-se um corpo no arquimediano que estende propriamente com infinitamente grandes e pequenos. Uma das propriedades mais significativas deste novo conjunto que todo o hiperreal finito, da forma a + , com a e infinitesimal, est infinitamente prximo de um nico nmero real, denominado a sua parte standard. Em 1976, o americano Howard Keisler props uma axiomtica dos hiperreais no seu livro Elementary Calculus: an infinitesimal approach e, em 1977, um outro americano, Edward Nelson, tambm apresentou uma axiomtica para a Anlise no standard, pretendendo englobar todos os ramos da Matemtica.


850.97:2

Em 1994, por ocasio da comemorao do aniversrio da morte de Robinson, realizou-se em Portugal, na Universidade de Aveiro, o primeiro Colquio Internacional de Matemtica No Standard.

Referncias bibliogrficas ARISTTELES (1996 [350 a.C.]). Fsica. Madrid: Consejo superior de investigaciones cientficas. BOLZANO, Bernard (1991 [1851]). Las paradojas del infinito. Mxico: Mathema. BOYER, Carl (1998 [1968]). Histria da Matemtica. (2 edio). So Paulo: Editora Edgar Blcher Lda. COHEN, Paul (1966). A teoria de conjuntos e a hiptese do contnuo. In GDEL, Kurt (1979). O teorema de Gdel e a hiptese do contnuo. Lisboa: Fundao Calouste Gulbenkian. p. 1-182. GALILEI, Galileo (1989 [1638]). Two new sciences. Toronto: Wall & Thompson. GDEL, Kurt (1964). O que o problema do contnuo de Cantor? In GDEL, Kurt (1979). O teorema de Gdel e a hiptese do contnuo. Lisboa: Fundao Calouste Gulbenkian. p. 217-244. HEATH, Thomas (1998 [1949]). Mathematics in Aristotle. Bristol: Thoemmes press. HILBERT, David (1926). Sobre o infinito. Mathematische Annalen, vol. XCV. In HILBERT, David (2003 [1898-99]). Fundamentos da geometria. Lisboa: Gradiva. p. 234-255. HILBERT, David (1990 [1902]). Sur les problmes futurs des Mathmatiques. Sceaux : ditions Jacques Gabay. NEWTON, Isaac (2004 [1742]). O mtodo das fluxes e das sries infinitas. Associao de Professores de Matemtica e Editorial Prometeu. OLIVEIRA, Augusto (1994). Infinitsimos e infinitamente grandes: o mago da dificuldade. In CARAA, Bento (1998 [1948]). Conceitos fundamentais da Matemtica. (2 edio). Lisboa: Gradiva. SANTO AGOSTINGO (1999 [413-427]). A cidade de Deus (contra os pagos). (3 edio). Petrpolis: Editora Vozes. Parte II. STRUIK, Dirk (1997 [1948]). Histria concisa das Matemticas. (3 edio). Lisboa: Gradiva.