O Infinito

[O INFINITO] Introduo
Maio de 2008
TRABALHO
DE
PROJECTO
O INFINITO
Popularizao da Matemtica | Ncleo de estgio da EB 2,3 de Vila Verde
O infinito? Diz-lhe que entre. Faz bem ao infinito estar entre gente.
Alexandre Oneill
ndice
Introduo .......................................................................................................................... 1 1. O Infinito potencial e o Infinito actual .............................................................................. 3 2. Perspectiva histrica do conceito de Infinito .................................................................... 5 2.1. Na Grcia Antiga ................................................................................................................. 6 2.2. Na Idade Mdia .................................................................................................................. 8 2.3. No sculo XVII ..................................................................................................................... 9 2.4. No sculo XVIII .................................................................................................................. 11 2.5. No sculo XIX .................................................................................................................... 12 2.6. No sculo XX ..................................................................................................................... 21 3. Os primeiros paradoxos do Infinito .................................................................................23 3.1. Paradoxos de Zeno ......................................................................................................... 24 3.2. Paradoxos de Galileu ........................................................................................................ 28 4. O paraso que Cantor criou .............................................................................................34 5. Os Infinitsimos e a Anlise No-Standard ......................................................................45 6. A Biblioteca de Babel......................................................................................................50 7. Escher e o Infinito ..........................................................................................................56 7.1. Vida ................................................................................................................................... 56 7.2. Obra .................................................................................................................................. 60 7.3. Escher e a Matemtica ..................................................................................................... 63 7.4. Escher e a busca do Infinito .............................................................................................. 65 8. Estudo sobre as concepes do Infinito ...........................................................................72 Concluso ..........................................................................................................................79 Bibliografia ........................................................................................................................82 Anexos ..............................................................................................................................84
Introduo
Introduo
Na matemtica, infinito o nome dado a qualquer coisa que seja maior do que a nossa mente pode imaginar. Por esta razo, o conceito de infinito foi alvo de uma discusso ardente. Demcrito, Zeno, Aristteles, Arquimedes, Galileu, Bolzano, Dedekind, Cantor, Weierstrass, Poincar, Hilbert, Borel, Russel, Robinson so apenas alguns dos matemticos que se dedicaram a este assunto. Ao longo do tempo, sempre houve matemticos que se negaram a considerar o infinito como um conceito completo e definido. Em vez disso, preferem consider-lo como uma progresso interminvel de objectos bem definidos, que somos capazes de imaginar, tal como a sucesso dos nmeros naturais, 1, 2, 3, etc. A histria do infinito como entidade matemtica controversa e longa. Desde sempre que o infinito est associado a diversos paradoxos. Aos poucos, alguns dos paradoxos foram sendo eliminados, mas ainda assim, no se trata de um assunto sem controvrsia. Muito pelo contrrio, complexo, subjectivo e conflituoso. Actualmente o conceito de infinito engloba vrios conceitos afins que solicitam processos cognitivos muito diversificados. Assim, falamos, por exemplo, de infinito potencial e de infinito actual, de infinitamente grandes e infinitsimos, de nmeros transfinitos, de infinito geomtrico e de infinito algbrico. O conceito de infinito est presente no currculo de Matemtica e sofre uma progressiva evoluo com o avanar da escolaridade. O processo de aprendizagem do conceito matemtico de infinito reconhecidamente um tpico difcil. De facto, a noo de infinito em acto, e em particular, a viso cantoriana, parece contraditria com a intuio e as experincias do quotidiano. Consequentemente as concepes intuitivas revelam-se muito resistentes s tentativas de alterao. Por vezes, a prpria prtica escolar acaba por reforar concepes incoerentes e fragmentrias. O presente trabalho procurou fazer, atravs dum questionrio com itens sobre o assunto, um levantamento das concepes acerca do infinito, entre alunos de uma turma do 8. ano de escolaridade da Escola Bsica 2 e 3 de Vila Verde.
1
Introduo
Para alm desta breve introduo, duas partes integram este trabalho: a primeira de reviso de literatura e a segunda dedicada ao trabalho de campo. A primeira constituda pelos sete primeiros captulos e a segunda pelo ltimo. No primeiro captulo intitulado O Infinito potencial e o Infinito actual explicado cada um dos conceitos. No segundo captulo denominado Perspectiva histrica do conceito de Infinito, aborda-se a noo de infinito ao longo da histria da Matemtica, percorrendo a Grcia Antiga, Idade Mdia e seguidamente os sculos XVII, XVIII, XIX e XX. O terceiro captulo, Os primeiros paradoxos do Infinito, descreve os quatro principais paradoxos de Zeno de Elia, Dicotomia, Aquiles, Seta e o Estdio, e dois paradoxos de Galileu. No captulo quatro, denominado O paraso que Cantor criou, abordam-se os contributos de Cantor para a aceitao do infinito actual. O captulo cinco dedicado ao estudo dos Infinitsimos e faz uma breve introduo Anlise No-Standard. Os captulos seis e sete, designados A Biblioteca de Babel e Escher e o Infinito, respectivamente, so dedicados reviso da relao entre a Matemtica e a Arte, nomeadamente, no primeiro deles a relao do Infinito com a Literatura e no segundo com as artes plsticas. Para tal analisa-se no captulo seis a obra literria Fices, de Jorge Lus Borges, nomeadamente o conto A Biblioteca de Babel. J no captulo sete faz-se uma anlise da obra de Escher. Relativamente ao captulo oito, Estudo sobre as concepes de Infinito, apresentamse os resultados obtidos pelo questionrio aplicado aos alunos.
O Infinito potencial e o Infinito actual
Captulo 1
1. O Infinito potencial e o Infinito actual
Segue-se um excerto da autobiografia de Csar Zavattini, (Parliamo tanto di me, captulo XVI), onde se retrata o infinito potencial:
Meu pai e eu chegamos Academia quando o presidente Maust iniciava a chamada dos participantes na prova mundial de matemtica (). Um, dois, trs,. Na sala ouvia-se apenas a voz dos concorrentes. Por volta das dezassete, tinham ultrapassado o vigsimo milhar (). s vinte, os sobreviventes eram sete , 36747, 36748, 36749, 36750, . s vinte e uma, Pombo acendeu os candeeiros 40719, 40720, 40721,. s vinte e duas exactas, registou-se o primeiro golpe de teatro: o algebrista Pull concluiu: Um bilio. Um oh de assombro coroou a sada inesperada; ficaram com o alento suspenso. Um italiano Binacchi, acudiu com prontido: Um bilio de bilies de bilies. Explodiram aplausos na sala, imediatamente secundados pelo presidente. Meu pai olhou em volta com superioridade () e principiou: Um bilio de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies. A multido delirava: Viva, viva. de bilies de bilies de bilies de bilies de bilies de bilies. O presidente Maust, muito plido, murmurava a meu pai, puxando-o pelas abas do Gabo: Basta, vai fazer-lhe mal. Mas meu pai prosseguia febrilmente: de bilies de bilies de bilies de bilies! A sua voz atenuou-se a pouco e pouco e o ltimo sopro de bilies brotou-lhe dos lbios como um suspiro, aps o qual se deixou cair na cadeira, exausto. O prncipe Oto aproximou-se, e preparava-se para lhe colocar a medalha no peito, quando Gianni Binacchi bradou: Mais um!. A multido precipitou-se no hemiciclo e ergueu este ltimo em triunfo. Quando regressmos a casa, minha me aguardava-nos, ansiosa, entrada. Chovia. Meu pai, mal desceu a carruagem, lanou-se-lhe nos braos, soluando: Se tivesse dito mais dois, ganhava eu. (Citado em Radice, 1981)
O Infinito potencial e o Infinito actual
Captulo 1
Esta competio, como a descreve o escritor italiano, ganha por quem pronunciar o nmero mais elevado. Mesmo que o pai do excerto, tivesse dito mais dois, no ganharia a prova mundial de matemtica. Na verdade, ningum a venceria jamais e ningum poder jamais venc-la. No existe um nmero mais elevado, porque no h um nmero maior que todos os outros. Um nmero mesmo que vertiginosamente grande, nunca ser maior que os outros, porque ser sempre possvel proferir um nmero maior ainda, ser sempre possvel exclamar mais um. A sucesso dos nmeros naturais no tem fim, infinita, fixando um nmero natural sempre possvel fixar outro nmero natural maior que esse. E esta a definio de infinito potencial, a possibilidade de ir sempre mais longe, no h um elemento que seja o ltimo. Consideremos ento, a sucesso potencial infinita de nmeros naturais e a sucesso de pontos de uma recta. Em ambos os casos, a sucesso composta por nmero indeterminvel de elementos. No caso da sucesso dos nmeros naturais, pode prosseguir-se sempre, sem fim, pois pode acrescentar-se sempre mais um nmero. claro qual deve ser o prximo elemento, e tambm que entre dois elementos existe um intervalo, o vazio, por isso, dizemos que se trata de uma sucesso infinita discreta. J no caso da sucesso de pontos da recta, trata-se obviamente de uma sucesso infinita contnua. No faz sentido falar do ponto imediatamente a seguir a outro. Entre um ponto e o que o segue h uma infinidade de pontos que formam tambm um segmento contnuo, infinitamente divisvel em partes contnuas que, por sua vez, tambm so infinitamente divisveis e assim sucessivamente num processo que no tem fim. Para alm da possibilidade de seguir em frente at ao infinito, ou seja, um infinito potencial, temos tambm um infinito em acto. Pois ao passar de um ponto P para um ponto Q, seguinte a ele, parece que se passa atravs de pontos infinitos, que cada vez se esgota uma infinidade de elementos. Ou seja, temos uma infinidade realizvel e no apenas no completvel, um infinito actual.
Perspectiva histrica do conceito de Infinito
Captulo 2
2. Perspectiva histrica do conceito de Infinito
definir o infinito atravs daquilo que ele no ? Se a sucesso dos nmeros naturais inesgotvel, onde os posicionamos? Podemos demonstrar que a diviso em dois de um segmento de recta no tem fim? E o cu, onde acaba? O matemtico trabalha com o infinito mas o que nos ensina sobre ele? Eu acabei por compreender: na verdade, no nos ensina nada. Com uma espantosa humildade o matemtico de hoje renuncia a interrogar-se sobre o estatuto do infinito para continuar a matematiz-lo. aqui que reside a limitao, mas tambm a fora do discurso matemtico. (Levi, 1987)
Captulo 2
Para alguns autores a histria do infinito quase a histria da matemtica. O conceito do infinito, que tem motivado filsofos, telogos, poetas e matemticos, foi alvo de discusso e de reformulaes ao longo dos sculos. No uma questo de lgica mas sim de imaginao! Aristteles fez a distino entre infinito potencial e infinito actual e esta distino foi retomada, no sculo XIX, por Cantor com a teoria de conjuntos infinitos, que so por ele apresentados como infinitos actuais. Ao longo dos sculos, o infinito foi tema de vrios paradoxos, entre os mais conhecidos esto os de Zeno de Eleia. O infinito actual s foi aceite como objecto de estudo da Matemtica quando se conseguiu explicar racionalmente os paradoxos que o envolviam. Segundo Hilbert (1921), a clarificao definitiva da natureza do infinito tornou-se necessria, no apenas por interesse especial das diversas cincias particulares, mas antes para a honra do prprio conhecimento humano. E acrescenta que o infinito atormentou, desde sempre, a sensibilidade dos homens; mais do que qualquer outra ideia, a de infinito solicitou e fecundou a sua inteligncia; mais do que nenhum, o conceito de infinito tem que ser elucidado.
2.1. Na Grcia Antiga
Na Grcia antiga, surgiram as primeiras preocupaes em definir e interpretar o infinito. Demcrito no considerava apenas a matria, mas tambm o tempo e o espao conduzindo-se assim noo de quantidade infinitesimal: um nmero maior que zero, mas infinitamente pequeno, to pequeno que no importa quantas vezes adicionado a si prprio, permanecendo igual.
Captulo 2
No entanto, Zeno, no sculo IV a.C., com os seus argumentos, mostrou que no fazia sentido falar numa recta como uma sequncia de segmentos de comprimento infinitamente pequeno, nem no tempo como uma sucesso de instantes infinitesimais (os argumentos de Zeno sero explorados numa fase posterior deste trabalho). Assim, Aristteles (sc. IV a.C.) acaba por banir o infinitamente pequeno ou grande da geometria. Para ele no existia grandeza infinita em conceitos abstractos nem sequer em qualquer dimenso fsica. O que est para alm da compreenso, s pode existir potencialmente porque est para alm da realidade. Ele admitiu o infinito potencial e negou qualquer possibilidade de tratar racionalmente o infinito actual. O infinito s existiria em potncia e por deduo. A palavra infinito aparecia na Grcia antiga, essencialmente ligada mitologia, teologia e metafsica (como substantivo) ou para qualificar mentalmente aces que podiam ser continuadas indefinidamente (como advrbio). Para Aristteles, em matemtica, o infinito s existia como advrbio. Aristteles defendia que o infinito potencial, nunca actual:
Por conseguinte, o nmero infinito em potncia, mas no em acto (), este nosso discurso de modo algum pretende suprimir as investigaes dos matemticos pelo facto de excluir que o infinito por acrscimo seja de tal ordem que se possa percorrer em acto. Na realidade, eles prprios (os matemticos), no estado actual, no sentem a necessidade do infinito (e, na verdade, no o utilizam), mas apenas de uma quantidade to grande quanto quiserem, embora sempre finita ().
Igualmente a Aristteles, Arquimedes (sc. III a.C.) usou os infinitsimos na resoluo de problemas sobre parbolas, fornecendo sempre uma prova alternativa para os seus resultados baseada no mtodo da exausto (que assenta apenas em construes finitas). Este mtodo permite encontrar aproximaes sucessivas de uma rea por comparao com reas conhecidas e foi usado, por Arquimedes, para determinar um valor aproximado para a rea do crculo. No tempo de Arquimedes, no se consideravam somas infinitas de parcelas, mas apesar dos gregos no assumirem o
7
Captulo 2
infinito, este foi um dos mtodos que mais contribuiu para o desenvolvimento de conceitos como o de limite. Arquimedes no teve coragem de dar o salto filosfico que daria, ousadamente, quase dois mil anos mais tarde, Galileu. Numa carta-ensaio a Eratstenes, Arquimedes no pde negar o infinito actual no seu trabalho, quanto mais no seja para fazer uma ideia do resultado para o qual tende, e salienta:
Estou convencido de que proporcionar no pequena utilidade matemtica. Na verdade, confio que alguns dos matemticos actuais ou futuros, aos quais se apresente este mtodo, encontraro outros teoremas que ns ainda no descobrimos.
O que veio a acontecer, no sculo XVII, com o mtodo dos indivisveis de Cavalieri e Torricelli, baseado no mtodo mecnico de Arquimedes.
2.2. Na Idade Mdia
At ao sculo XII nada parecia haver a acrescentar, ou seja, o infinito actual continuava a ser negado e representava, para os cristos deste sculo, um desafio nica e absolutamente infinita natureza de Deus. Todavia, havia uma excepo: Santo Agostinho (sc. IV), que aceitava o infinito actual na mente divina:
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
8
Captulo 2
ser duplicada, mas tambm duplicada 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?
A obra de Santo Agostinho apresenta-se como o expoente mximo desta poca e ir influenciar a filosofia medieval desde o sculo IX at o sculo XII. Entre os sculos V e IX (chamados sculos em branco) no surgiram novas ideias nem discusses sobre o infinito. No sculo XIII, So Toms de Aquino descobre que as tradues de Aristteles no correspondiam s doutrinas originais e conseguiu mostrar que as verdadeiras teorias de Aristteles eram compatveis com as doutrinas crists e at as podiam sustentar do ponto de vista filosfico. Assim, a noo de infinito continuava meramente potencial, com excepo do infinito absoluto representado por Deus.
2.3. No sculo XVII
Foi j no sculo XVII, apesar de desconhecerem o mtodo de Arquimedes, que Cavalieri, Torricelli e Galileu fizeram renascer a ideia da possibilidade de diviso de um contnuo num conjunto infinito de partes indivisveis. Cavalieri fundou e Torricelli desenvolveu a geometria dos indivisveis, sobre a qual viria mais tarde a fundamentar o clculo infinitesimal. Galileu, por razes filosficas e fsicas, afirmou, de uma maneira mais clara e ousada que os seus discpulos Cavalieri e Torricelli, que era possvel reduzir um contnuo limitado em elementos primeiros infinitos indivisveis. Galileu foi o primeiro a perceber que este facto poria em evidncia certos paradoxos e por isso teve alguma prudncia em termos matemticos. Preocupou-se mesmo com a comparao de dimenses de conjuntos infinitos pelo processo que ainda hoje usamos: a definio de correspondncias.
9
Captulo 2
Nos Dilogos Relativos a Duas Novas Cincias considera que os infinitos transcendem o entendimento finito (este ser um assunto que abordaremos novamente mais frente). Fazendo a correspondncia, de um para um, entre todos os nmeros naturais e os quadrados perfeitos, deparou-se com a propriedade fundamental de um conjunto infinito: uma parte pode ser equipotente ao todo. Embora Galileu afirmasse que o nmero de quadrados perfeitos no menor que o dos nmeros naturais, no conseguiu concluir que so iguais, argumentando antes que os atributos igual a, maior que e menor que no deveriam ser utilizados para comparar quantidades infinitas. Assim, Galileu defendia que no se poderia dizer que um conjunto infinito era maior, menor ou igual a outro conjunto infinito. Como refere Boyer (1984), Galileu, semelhana de Moiss, chegou terra prometida mas no conseguiu l entrar. Cavalieri, professor na Universidade de Bolonha, desenvolveu as ideias de Kepler no livro Geometria indivisibilius continuorum, que permitiu um maior entusiasmo dos matemticos relativamente a problemas relacionados com os infinitesimais. Mais tarde, Jonh Wallis escreveu pela primeira vez , para representar
1 , utilizou expoentes 0
negativos, fraccionrios e imaginrios, introduziu sries infinitas. Este estudo de sries infinitas apoiou Isac Newton na teoria de fluxes, onde Newton denominou os infinitesimais de momentos de fluxes e introduziu a noo de limite embora de uma forma muito confusa. Assim como Newton, tambm Leibniz encontrou o novo clculo, mas este tinha uma abordagem mais geomtrica, ao contrrio da abordagem de Newton que era essencialmente cinemtica. Devemos a Leibniz a notao matemtica que usamos no clculo de hoje, bem como os nomes calculus differentialis e calculus integralis. Leibniz, numa das suas cartas a Foucher, 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 assim o infinito actual. 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.
10
Captulo 2
2.4. No sculo XVIII
Os trabalhos Newton e de Leibniz foram continuados e cultivados por Euler e Lagrange que desenvolveram o moderno clculo diferencial, contribuindo para o desembaraar das questes metafsicas dos infinitamente pequenos e do infinito em acto, passando formalizao do conceito de limite. Leonard Euler, considerado um dos mais produtivos matemticos de sempre, escreveu praticamente a notao e linguagem que hoje usamos, tendo sido responsvel, em grande parte, por exemplo, pela utilizao dos smbolos , e , i , bem como a notao
f ( x ) para representar funes de x . Assim, a notao matemtica,
comummente aceite, provm de Euler. Euler escreveu Introdutio in analysin infinitorium e o primeiro volume desta obra aborda essencialmente processos infinitos. Euler mantinha uma correspondncia frequente com o matemtico parisiense Jean Le Rond dAlembert. A ideia de dAlembert, de que o clculo deveria assentar fundamentalmente na ideia de limite, no foi aceite pelos seus contemporneos, tendo-se continuado a usar a linguagem de Euler e Leibniz. Por pensar em grandezas geomtricas, dAlembert nunca aceitou a existncia de um infinito actual, pensando sempre na sua forma potencial, opondo-se aos pontos de vista destes matemticos e afirmando que uma quantidade ou representa algo ou ento no nada. Joseph-Louis Lagrange viveu durante a Revoluo francesa, rejeitando
completamente a teoria dos limites de Newton e de dAlembert, dedicou-se fundamentao do clculo pela lgebra. A ele devemos a notao f ' ( x ) , f ' ' ( x ) , , f ( n ) ( x) , , para representar derivadas de vrias ordens. Lagrange pensava que podia eliminar a necessidade do uso dos limites ou infinitsimos, mas acabou por se deparar com algumas falhas nos seus argumentos.
11
Captulo 2
2.5. No sculo XIX
Neste sculo surgiu uma nova gerao de matemticos, com mentes mais abertas e com novas perspectivas que iriam revolucionar vrios campos da cincia, em parte, fruto de revoluo francesa. Assim, a matemtica passa a ser vista no apenas como uma cincia importante para a Mecnica e para a Astronomia, mas antes, como uma cincia autnoma. Deu-se uma separao dos matemticos puros dos aplicados. Era uma poca de reflexo sobre os fundamentos da Matemtica, j no bastava obter resultados, era necessrio reflectir sobre o seu significado, o que trouxe novamente a discusso do infinito actual. Atravs do clculo, Augustin Cauchy tentou dar resposta a uma srie de paradoxos existentes desde o tempo de Zeno e tornou fundamental o conceito de limite de dAlembert, de funo, de integral como limite de uma soma, Karl Weierstrass fornece fundamentos slidos para a Anlise, eliminando os defeitos remanescentes do Clculo. A importncia do seu trabalho baseia-se no desenvolvimento de raciocnios que assentam no conceito de limite em geral, na clarificao das noes de mnimo de uma funo, de convergncia uniforme. Os esforos de Cauchy, Bernhard Bolzano e Weierstrass em fundamentar rigorosamente os mtodos do clculo infinitesimal levaram a uma formalizao rigorosa com base na noo de limite, que permitiu um novo tratamento matemtico do infinito. Esta procura do rigor foi defendida por Leopold Kronecker. Para ele a Matemtica deveria basear-se no nmero e todo o nmero nos nmeros naturais, afirmando que Deus fez os nmeros inteiros e os homens fizeram o resto, rejeitando assim o infinito actual. Foi s no final do sculo XIX, que a questo levantada, no sculo XVII, por Galileu, renasceu com o livro Os paradoxos do Infinito de Bolzano, embora as anlises no tenham ido suficientemente longe. Bolzano sentiu necessidade de um novo conceito de infinito e justificou a existncia de tantos paradoxos relativos a esta ideia pela falta de preciso do termo. Para tal,
12
Captulo 2
adoptou uma concepo sinttica de conjunto, onde um conjunto concebido como um todo, sem ser necessrio pensar isoladamente em cada um dos seus elementos:
Posso pensar o conjunto, o agregado ou, se preferirem, a totalidade de habitantes de Praga ou de Pequim, sem formar uma representao, em separado, de cada um destes habitantes tomado singularmente, isto , uma representao que lhe diga exclusivamente respeito. (Citado em Meschkowski, 1990)
Assim, introduziu o conceito, cuja existncia at a era negada, de infinito actual. Ele entendia por multiplicidade infinita, uma multiplicidade que maior do que qualquer multiplicidade finita e provou que o conjunto das proposies e verdades em si tem multiplicidade infinita: se A for uma proposio verdadeira, a proposio B (A verdadeira) outra proposio que pertence tambm ao conjunto; desta proposio B pode-se obter, pelo mesmo processo, a proposio C (B verdadeira), diferente das anteriores, e assim por diante. Conclui ento:
O agregado de todas estas proposies, cada uma das quais est ligada que a precede () por ter como sujeito essa mesma proposio precedente e como contedo a afirmao de que tal proposio verdadeira, compreende um conjunto de elementos (proposies) que maior do que qualquer conjunto finito. () podemos sempre continuar a construo de novas proposies, ou, para melhor nos exprimirmos, () elas existem por si, quer ns as construamos quer no. Segue da que o agregado de todas estas proposies possui uma multiplicidade que maior do que qualquer nmero, e que portanto infinita. (Citado em Meschkowski, 1990)
Bolzano d outros exemplos de outros conjuntos infinitos para continuar a explicar as suas concepes:
13
Captulo 2
O conjunto dos nmeros inteiros, e por maioria de razo, o conjunto das
quantidades:
Se o conjunto dos nmeros (e precisamente dos chamados nmeros inteiros) infinito ento, por maioria de razo, o conjunto das quantidades () um conjunto infinito. () no s todos os nmeros so igualmente quantidades, mas existem tambm muito mais quantidades do que nmeros, porque tambm as fraces ainda as chamadas expresses irracionais (Citado em Meschkowski, 1990)
1 1 2 1 , , , , como 2 3 3 4
2 , 3 2 ,..., , e, indicam quantidades.
O conjunto dos pontos do tempo e do espao:
() tanto no tempo como no espao, o conjunto das partes elementares, ou pontos, das quais um e outro so constitudos, infinito. Na realidade, no s infinitamente grande o conjunto das partes elementares de que a totalidade do tempo e a totalidade do espao so constitudas, (), mas infinito tambm o conjunto daqueles pontos do tempo situados entre dois pontos temporais e to prximos um do outro quanto se queira, como ainda o conjunto daqueles pontos do espao situados entre dois pontos espaciais a e b to prximos um do outro quanto se queira. (Citado em Meschkowski, 1990)
A fim de comparar conjuntos infinitos, era necessrio saber quando que dois conjuntos infinitos eram iguais ou diferentes quanto sua multiplicidade. Para tal Bolzano tentou estabelecer um critrio.
14
Captulo 2
J dos exemplos at agora considerados no nos ter escapado que nem todos os conjuntos infinitos devem ser considerados iguais entre si no que respeita sua multiplicidade; mas que, pelo contrrio, algum deles pode ser maior (ou menor) do que um outro, quer dizer, pode incluir em si o outro como uma parte (ou, pelo contrrio, ser ele prprio uma mera parte do outro). Tambm esta afirmao parece paradoxal a muita gente. E sem dvida que todos os que definem o infinito como algo que no admite nenhum acrescentamento devem achar no s paradoxal mas at contraditrio que um infinito seja maior do que um outro. Mas () esta opinio assenta num conceito de infinito que no est de acordo com o uso lingustico da palavra. De acordo com a nossa definio, que conforme no s com o uso lingustico mas tambm com o objectivo da cincia, ningum poder encontrar algo contraditrio, nem mesmo surpreendente, na ideia de que um infinito seja maior do que um outro. Para quem poder no ser claro, por exemplo, que o comprimento da recta prolongada
b a
ilimitadamente no sentido aR infinito? Mas que a recta bR, percorrida no mesmo sentido a partir do ponto b, ainda deve ser dita maior do que aR, pela poro ba? E que a recta prolongada ilimitadamente em ambos os sentidos aR e aS deve ser dita maior, por uma grandeza que ela prpria ainda infinita? (Citado em Meschkowski, 1990)
Assim, o critrio que Bolzano usava, para comparar cardinais de conjuntos infinitos, era a incluso de conjuntos. Mas a existncia de correspondncias bijectivas entre conjuntos infinitos, que pelo critrio que usava eram de diferentes multiplicidades, no lhe passaram despercebidas, apercebendo-se tambm de, os conjuntos infinitos, poderem ser postos em correspondncia bijectiva com uma sua parte prpria. No livro Os paradoxos do infinito pode ler-se:
15
Captulo 2
Passemos agora considerao duma particularidade altamente notvel que pode ocorrer na relao entre dois conjuntos quando ambos so infinitos, e que na verdade ocorre sempre, mas que at agora tem sido descurada, com prejuzo do reconhecimento de algumas verdades importantes tanto na Metafsica como da Fsica e da Matemtica, e que certamente tambm agora, quando eu a proferir, ser em tal grau tida como paradoxal que seria bem necessrio demorar um pouco mais na sua considerao. que eu afirmo: dois conjuntos, que sejam ambos infinitos, podem estar em tal relao entre si que, por um lado possvel ligar num par cada uma das coisas pertencentes a um dos conjuntos com uma do outro, de tal modo que nenhuma das coisas em ambos os conjuntos fique sem ligao num par e tambm que nenhuma ocorra em dois ou mais pares; e por outro lado ao mesmo tempo possvel que um destes conjuntos contenha o outro como uma mera parte, de tal modo que as multiplicidades que [os conjuntos] representam, quando consideramos todas as suas coisas como iguais, isto , como unidades, tm entre si relaes mais variadas. (Citado em Meschkowski, 1990)
Seguidamente, para esclarecer as suas afirmaes, Bolzano exemplifica com o caso do conjunto das grandezas compreendidas entre 0 e 5 e o conjunto das grandezas compreendidas entre 0 e 12, explicando a existncia de uma bijeco entre eles, embora, com o seu critrio, o conjunto das grandezas entre 0 e 5 seja menor do que o outro conjunto.
Se tomarmos duas grandezas (abstractas) arbitrrias, por exemplo 5 e 12, claro que o conjunto das grandezas compreendidas entre 0 e 5 (ou que so menores do que 5), tal como o conjunto das grandezas que so menores do que 12, infinito; e igualmente certo que o ltimo destes conjuntos se deve dizer maior do que o primeiro, pois este incontestavelmente apenas uma parte daquele. () Mas no menos verdade do que tudo isto o que se segue: se x designar uma qualquer grandeza compreendida entre zero e 5 e determinarmos a relao entre x e y atravs da igualdade 5y=12x, ento tambm y ser uma grandeza situada entre zero e 12;e reciprocamente, sempre que y estiver compreendida entre zero e 12, x estar compreendida entre 0 e 5. Tambm decorre daquela igualdade que a cada valor de x apenas corresponde um valor de y e reciprocamente. Mas destes dois [factos] fica claro que, para cada uma = x no
16
Captulo 2
conjunto das grandezas compreendidas entre 0 e 5, h uma = y no conjunto das grandezas compreendidas entre 0 e 12 que se pode ligar quela num par, de tal modo que nenhuma das coisas que constituem estes dois conjuntos fica sem ligao num par e tambm que nenhuma ocorre em dois ou mais pares. (Citado em Meschkowski, 1990) Contudo, a existncia de tal bijeco no bastava para justificar que os cardinais eram iguais, para Bolzano seria necessrio acrescentar, por exemplo, que os dois conjuntos estivessem definidos de modo idntico.
Ora, meramente pela razo de que dois conjuntos A e B esto em tal relao entre si que ns, para cada parte a ocorrente num deles, A, procedendo de acordo com uma certa regra, possamos escolher uma parte b ocorrente em B, de tal modo que todos os pares (a + b) que assim construamos contenham cada coisa encontrvel em A ou em B e contenham cada uma apenas uma vez, - meramente por esta circunstncia ainda no como vemos de modo nenhum lcito concluir que estes dois conjuntos, se forem infinitos, so iguais entre si com respeito multiplicidade das suas partes (isto , quando se abstrai de todas as diferenas das mesmas); pelo contrrio, apesar daquela relao entre eles, e por si s certamente simtrica, podem ter uma relao de desigualdade na sua multiplicidade, de modo que um deles se possa evidenciar como um todo e o outro como uma parte dele. S se pode concluir uma igualdade destas multiplicidades quando alguma outra razo se acrescentar a isso, como que ambos os conjuntos sejam determinados de modo idntico, por exemplo mediante idntica lei de formao. (Citado em Meschkowski, 1990)
Ora, da em diante, os matemticos adoptaram uma concepo sobre o infinito muito prxima da de Bolzano. Embora Bolzano no tenha posto de parte fundamentaes em argumentos teolgicos e tenha usado um critrio de comparao de cardinais infinitos inadequado para muitas situaes, podemos considerar que Bolzano foi precursor de Cantor. Por seu lado, Cantor, elogiou os contributos de Bolzano para a matemtica e para a filosofia, embora o tenha criticado em alguns aspectos: pouca clareza na noo de infinito actual e falta de desenvolvimento da ideia de potncia de um conjunto infinito.
17
Captulo 2
Para Cantor estes eram dois conceitos essenciais, sem os quais seria impossvel estabelecer uma teoria completa sobre o infinito actual. Mesmo assim, inegvel a admirao que Cantor sentia por Bolzano, quer na sua tentativa de mostrar que os paradoxos podiam ser explicados, quer pela sua ousadia em defender a introduo do infinito actual em matemtica. Duas dezenas de anos mais tarde, Cantor e Dedekind introduziram novamente a questo do infinito em acto, mas desta vez sem ambiguidades, obscuridade, misticismo. Dedekind, foi professor na Techishe Hochschule de Brunswick, elaborou uma teoria rigorosa sobre irracionais, tendo como fonte de inspirao a teoria das propores de Eudoxo de Cnido. Dedekind criou os nmeros reais e estabeleceu uma correspondncia biunvoca entre pontos da recta e os nmeros reais. Como j foi referido, Galileu considerava paradoxal a existncia de uma bijeco entre um conjunto infinito e um subconjunto nele estritamente contido. Bolzano afirmou, embora vagamente, que esse caso ocorre sempre em conjuntos infinitos, mas no concluiu nada mais. Ora, Dedekind encontrou neste paradoxo a melhor maneira de definir um conjunto infinito e expe as suas ideias 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 prpria dele mesmo, caso contrrio S diz-se finito (citado em Boyer, 1998 [1968]), ou seja, um conjunto S infinito se e s se equipotente a uma parte prpria e esta a definio de conjunto infinito mais correntemente utilizada at hoje. Note-se que sempre se definiu uma quantidade infinita pela negativa, isto , considerando infinita aquela que no finita. Da que esta definio tenha sido, tambm neste sentido, uma novidade. Mas foi Cantor quem fez com que os conjuntos infinitos se convertessem definitivamente em objecto de estudo matemtico. Relembremos ento o paradoxo que tanto atormentou Galileu: uma parte no pode ser igual ao todo. Consideremos o conjunto dos nmeros naturais e o conjunto A,
constitudo pelos seus quadrados. Apesar de ser claro que nem todos os nmeros so quadrados, tambm no difcil compreender que se pode estabelecer uma bijeco
18
Captulo 2
entre os dois conjuntos. Da o paradoxo: os dois conjuntos so equicardinais, mas um contem o outro o todo igual a uma parte. Segundo Radice (1981), foi com grande simplicidade que Cantor clarificou que, no caso de um conjunto infinito, pode acontecer que o conjunto e a sua parte, embora no idnticos, sejam equipotentes, tenham a mesma potncia, o mesmo cardinal. E aqui est a grande diferena entre Cantor e Bolzano. De acordo com Waldegg (1991), a teoria de Cantor representa um ponto de viragem do infinito actual em matemtica. a partir deste momento que o infinito atinge uma posio permanente como objecto de estudo com operatividade prpria. Cantor desenvolveu uma teoria que explicava os diferentes conjuntos infinitos, a teoria dos nmeros cardinais transfinitos, baseada num tratamento matemtico ao infinito actual. Criou ento, um novo tipo de nmero: o transfinito; devido aos nmeros 1, 2, 3, 4 no permitirem a contagem dos elementos dos conjuntos infinitos, existindo depois do finito, um transfinito que pode ser definido de forma precisa. Ao conjunto numervel atribui o menor cardinal transfinito 0 e ao continuo 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 esses conjuntos, considerar sucesses dos mesmos. Tal como Cantor, Dedekind e Weirstrass sentiram essa necessidade, porm este foi mais longe. No sculo XIX, estava mais ou menos aceite que a existncia de uma bijeco entre dois conjuntos permitia concluir a igualdade da quantidade dos seus elementos. Mas ser que podemos estabelecer uma bijeco entre dois conjuntos infinitos? Em caso afirmativo, os conjuntos tm o mesmo cardinal, caso contrrio podemos concluir que existem infinitos de tamanhos diferentes. Cantor mostrou que, de facto, existem infinitos de tamanhos iguais e diferentes e foi mais alm que Dedekind, ao afirmar que os conjuntos infinitos no eram todos iguais em tamanho. Numa das cartas que escreveu a Dedekind, facto que era habitual, afirmou que os conjuntos dos nmeros naturais e dos nmeros reais no podiam ser postos em bijeco. Ficando ento provado que os subconjuntos infinitos de tm o mesmo
19
Captulo 2
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. Assim como, que o conjunto menor cardinal que o conjunto , pois uma parte de tem
e uma parte de qualquer
conjunto no pode exceder essa quantidade em elementos. Nesta fase, Cantor decidiu procurar os infinitos que estivessem entre que e e maiores
. Uma conjectura natural para encontrar infinitos maiores seria considerar
conjuntos contnuos a duas ou mais dimenses e assim, noutra carta a Dedekind, Cantor mostrou uma prova que contradizia a sua prpria intuio. Ele consegui estabelecer uma bijeco entre [0,1] e [0,1]n (para n ) mostrando assim que
n
tm a mesma
dimenso, quaisquer n, m . A prova de que existem conjuntos com maior cardinal que o do veio de uma proposio mais abrangente. O conjunto dos subconjuntos de
um conjunto tem sempre mais elementos que o prprio conjunto, donde se pde concluir existem infinitos maiores que . J a ideia de infinitos intermdios entre e ,
no foi demonstrada ou refutada por Cantor. Ele prprio nunca conseguiu demonstrar que no existe um infinito entre o numervel e o contnuo, isto , simbolicamente que 1 = 20 , esta sua ideia ficou conhecida pela Hiptese do contnuo. Cantor foi o principal responsvel pela criao da Deutshe MathematikerVereinigung (Unio Alem de Matemtica) e em 1891, no primeiro encontro da associao, em Halle, leu um artigo sobre o seu argumento diagonal em que procurava exactamente que, dado um conjunto, o conjunto das suas partes tem potncia maior que esse conjunto. As suas teorias para a Teoria de Conjuntos revolucionaram ento a Matemtica. O infinito actual finalmente tinha sido incorporado na Matemtica. Note-se 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. De acordo com Radice (1981), apesar das descobertas de Cantor destrurem ideias formuladas por clebres filsofos, como por exemplo Kant (para o qual infinito uma grandeza acima da qual no possvel nenhuma maior), deram, pela sua simplicidade, origem a novas antinomias e a novos paradoxos que no entanto, extravasam j o mbito deste trabalho. O prprio Cantor, em 1895, descobriu que no podia haver o conjunto de
20
Captulo 2
todos os conjuntos, mas vrios dos seus problemas foram posteriormente solucionados no sculo XX.
2.6. No sculo XX
No inicio deste sculo ocorreu, em Paris, o segundo Congresso Internacional de Matemtica, onde David Hilbert apresentou uma conferencia onde formulou uma lista com 23 problemas matemticos que precisavam de resposta. O primeiro dos problemas referia-se estrutura de continuidade dos nmeros reais e mais explicitamente Hiptese do contnuo. Hilbert questionou a existncia de um cardinal entre o contnuo e o numervel e se o contnuo pode ser bem ordenado. Do problema do contnuo de Cantor sobre a potncia ou cardinalidade do contnuo
, Hilbert questionou se ou no a primeira a seguir potncia numervel, 0 .

I 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 conjunto, 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])
Em 1908, Ernst Zermelo props a primeira axiomatizao da teoria de conjuntos evitando assim as contradies existentes. Para um matemtico, uma demonstrao s vlida se for verificvel e assim surge um novo problema, ou seja, a subjectividade inerente ao acto a verificar.
21
Captulo 2
Hilbert na conferncia de 4 de Junho de 1925, no congresso organizado pela Sociedade Matemtica de Westflia, em Mnster, afirmou que ningum nos expulsar do paraso que Cantor criou para ns. 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 de 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)
Atravs da verificao mecnica, tentou mostrar a consistncia de tal paraso, mas o trabalho Teoremas de incompletude de Gdel-Russel marcou um ponto de inflexo nos fundamentos da Matemtica. Note-se que um sistema axiomtico deve satisfazer trs condies: ser consistente, ser completo e cada postulado ser dependente dos outros. Em 1931, Krt Gdel demonstrou que o mtodo axiomtico apresenta limitaes, ou seja, mostrou que existem verdades matemticas impossveis de demonstrar por via lgica e qualquer outro sistema lgico no demonstra a sua consistncia lgica, surpreendendo assim os matemticos de ento. Tal descoberta 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) Os trabalhos de Gdel, em 1936, mostraram que a Hiptese do contnuo compatvel com a teoria de conjuntos de Zermelo-Fraenkel e em 1963 Cohen mostrou que a negao da Hiptese do contnuo tambm compatvel com os axiomas da teoria de Zermelo-Fraenkel. Assim, estes trabalhos mostraram que esta formulao no pode ser demonstrada ou refutada tendo em conta apenas os axiomas habituais da teoria de conjuntos.
22
Captulo 2
Foi necessrio esperar pela Anlise No-Standard em 1961, para os infinitsimos serem reconhecidos como entidades bem definidas e assim justificar os clculos fsicos que se faziam com eles, visto Cantor no reconhecer a existncia de infinitamente pequenos.
23
Os primeiros paradoxos do Infinito
Captulo 3
3. Os primeiros paradoxos do Infinito
Estas so dificuldades daquelas que derivam do discorrer que fazemos do nosso intelecto infinito em torno dos infinitos, denotando-os com os atributos que damos s coisas finitas e terminadas; o que penso inconveniente. Galileu Galilei
Pode parecer (que um facto, que se verifica para os conjuntos finitos) deva acontecer mesmo quando os conjuntos, em vez de finitos, so infinitos. Pode parecer, disse; mas um estudo mais aprofundado revela que essa necessidade no existe, porque a razo pela qual (aquele facto) acontece em todos os conjuntos finitos reside exactamente na sua limitao e, portanto, no tem lugar nos infinitos. Bernhard Bolzano
23
Captulo 3
3.1. Paradoxos de Zeno
Zeno de Elia (cerca de 450 a.C.) nasceu em Elia, hoje Vlia, Itlia. Filho de Teleutgoras, Zeno foi adoptado por Parmnides na Escola de Elia. Tornou-se um professor muito respeitado na sua cidade, e devido a isso, envolveu-se bastante com a poltica local. Juntamente com outros companheiros e conspiradores, Zeno tentou derrubar o tirano que governava a cidade. Foi preso e torturado at a morte. A partir da sua morte, tornou-se um heri, deixando uma marca na lembrana dos seus compatriotas contemporneos. Zeno defendeu de modo apaixonado a filosofia do seu mestre Parmnides, para isso usou um mtodo que consistia na elaborao de paradoxos. Deste modo, no pretendia refutar directamente as teses que combatia, mas sim mostrar os seus absurdos (e, portanto, a sua falsidade). Acredita-se que Zeno tenha criado cerca de quarenta paradoxos, todos contra a multiplicidade, a divisibilidade e o movimento (que nada mais so que iluses, segundo a escola eletica).
Os seus paradoxos entravam em conflito com algumas concepes antigas e intuitivas sobre o infinitamente pequeno e o infinitamente grande, pelo que trouxeram o horror ao infinito! Nessa altura, acreditava-se que a adio de uma infinidade de quantidades se podia tornar infinitamente grande tanto quanto se desejasse, mesmo que cada uma dessas quantidades fosse extremamente pequena, ou seja, simbolicamente obteramos > 0, = . Tambm se acreditava que a adio de um nmero finito ou infinito de quantidades de dimenso zero era zero, o que neste caso se traduziria simbolicamente por n 0 = 0, 0 = 0 . Zeno desafiou estas concepes e enunciou argumentos para tentar provar a inconsistncia dos conceitos de multiplicidade e divisibilidade, criando quatro paradoxos, relativos ao movimento e ao tempo, que foram retomados por Aristteles e que so conhecidos pelos nomes de Dicotomia, Aquiles, a Seta e o Estdio.
25
Captulo 3
Dicotomia: Um objecto que quer percorrer determinada distncia tem primeiro que percorrer metade dessa distncia, mas antes disso, tem de percorrer um quarto. Isto continua indefinidamente, at uma infinidade de subdivises. Segue-se, ento, que o movimento no pode chegar sequer a comear.
Aquiles: Aquiles e uma tartaruga movem-se na mesma direco ao longo de uma linha recta. Se Aquiles der algum adianto tartaruga, nunca conseguir alcana-la, j que quando ele atingir a posio inicial da tartaruga, ela j ter avanado e se encontrar noutro local adiante dele, e quando ele chegar a essa nova posio, j a tartaruga ter realizado novo avano; e assim sucessivamente.
A Seta: Uma seta lanada para o alvo est, na verdade, parada. Com efeito, em cada instante, a seta ocupa uma posio fixa, ou seja, em cada instante a seta est parada. Segue-se ento, que a seta jamais se move.
O Estdio: Sejam trs filas paralelas de atletas num estdio, uma imvel e as outras correndo em sentidos opostos. Se passado um nico instante de tempo, cada um dos atletas em corrida passar por um dos atletas em repouso, ento um corredor de uma fila ter de ter passado por dois corredores da outra fila em movimento. Ou seja, um corredor de uma fila passa por um corredor da outra fila em metade desse tempo. Portanto, o instante de tempo igual ao seu dobro.
Os dois primeiros paradoxos de Zeno mostravam que um segmento finito pode ser dividido num nmero infinito de pequenos segmentos, cada um deles com comprimento finito. Esta questo seria hoje descrita como a convergncia de uma srie real. Na Dicotomia, a trajectria do objecto pode ser representada pelo segmento de recta
[ AB ] , C o ponto mdio de [ AB ] , D o ponto mdio de [ AC ] , E o ponto mdio de [ AD ] , e assim por diante.
26

A E D C
Captulo 3
Pela perspectiva de Zeno, teramos
[ AB ] =
[ AB ] [ AB ] [ AB ] [ AB ] [ AB] + + + + ... + n + ... 2 4 8 16 2
Mais sucintamente,
[ AB ] =
[ AB ] n n =1 2
Em Aquiles, a ideia de subdiviso infinita a mesma, apenas com a diferena de ser agora progressiva em vez de regressiva. Se considerarmos X 0 a posio inicial de Aquiles, X n (com n natural) a posio onde se encontra a tartaruga no instante em que Aquiles se encontra na posio X n 1 , e
Y a posio em que Aquiles alcana a tartaruga.
X0
X1
X2
X3
O segundo argumento de Zeno chama a ateno para que
X 1Y = X 1 X 2 + X 2 X 3 + X 3 X 4 + ...
27
Captulo 3
Ou seja, X 1Y = X n X n +1
n =1
Segundo Boyer (1984), a Dicotomia e 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. Na verdade, a essncia do movimento tal que, quando vamos a querer fixar a posio de um objecto, em determinado instante, num ponto da sua trajectria, j ele a no se encontra entre dois instantes, por mais prximos que sejam um do outro, o objecto percorreu um segmento, com uma infinidade de pontos. Deste fenmeno se pode dizer, como Leonardo da Vinci disse da chama: olha para a chama e considera a sua beleza; fecha os olhos e torna a olhar: o que vs no estava l e o que l estava j no o encontras. O paradoxo da Seta reflecte a impossibilidade de movimento se o espao e o tempo forem compostos de partes indivisveis. No Estdio, Zeno mostra que o intervalo de tempo que se considera no pode ser mnimo. Segundo Boyer (1984), 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. Os problemas que conduziram aos seus paradoxos diziam respeito relao entre o infinito actual e o infinito potencial. A soluo destes paradoxos exige uma teoria, como a cantoriana, que combine a nossa noo intuitiva de pontos e acontecimentos individuais com uma teoria sistemtica de conjuntos infinitos.
28
Captulo 3
3.2. Paradoxos de Galileu
Galileu nasceu em Pisa em 1564. Filho de um compositor e msico, ingressou, aos dezassete anos, na Universidade de Pisa no curso de Medicina, onde aproveitou para aprofundar a observao dos fenmenos da natureza e estudar textos de grandes autores clssicos como Arquimedes. No segundo ano do curso, que acabou por no concluir devido ao gosto que tinha pela Cincia e pela Matemtica, descobriu que um pndulo oscila com uma frequncia constante (lei do isocronismo das pequenas oscilaes). Aos vinte e cinco anos de idade foi indicado professor de Matemtica da Universidade de Pisa, tendo realizado experincias pblicas sobre a queda dos corpos, enquanto exerceu essa funo, desenvolvendo as primeiras ideias sobre o princpio da inrcia. Em 1592 torna-se professor na Universidade de Pdua, por quase dezoito anos, onde continuou as suas experincias e aulas, ganhando um amplo prestgio. Galileu desenvolveu vrios instrumentos como a balana hidrosttica, um tipo de compasso geomtrico que permitia medir ngulos e reas, o termmetro de Galileu e o precursor do relgio de pndulo. No incio do sculo XVII surgiram os primeiros telescpios. Galileu desenvolveu o seu prprio telescpio e foi o primeiro a observar quatro satlites luminosos de Jpiter, confirmando de maneira notvel a teoria de Coprnico dos corpos pequenos girando em torno de outros maiores. Com o telescpio, Galileu observou as manchas do Sol, as montanhas da Lua, as fases de Vnus e os anis de Saturno. Mas tais descobertas provocaram uma oposio fantica por parte de muitos homens da Igreja, que aceitavam a autoridade de Aristteles; Aristteles garantia que o Sol no tem manchas e que a Terra, e, portanto o homem, o centro do Universo. Houve at quem acusasse Galileu de colocar os quatro satlites de Jpiter dentro do telescpio. Por fim, em 1633, um ano depois da publicao de um livro em que sustentava a teoria de Coprnico, Galileu foi citado a comparecer perante a Inquisio, quando j doente e envelhecido, foi forado, sob ameaa de tortura. O seu livro foi colocado no ndex, onde ficou por dois sculos e apenas lhe permitiram continuar um trabalho
29
Captulo 3
cientfico incuo, mas acabou por cegar e morrer em 1642, ainda sob a vigilncia da Inquisio. Um dos paradoxos mais famosos acerca do infinito o que apresentado por Galileu, o paradoxo dos naturais e dos quadrados, no livro Discorsi e dimostrazioni matematiche a due nuove scienze. Galileu encena uma conversa entre trs personagens, Salviati, Simplcio e Sagredo, que representam respectivamente, ele prprio, um sbio convencido da justeza das concepes de Aristteles e um homem honesto para quem a demonstrao e a experincia se sobrepem ao conhecimento livresco. Salviati leva Simplcio a concordar que os nmeros que so quadrados perfeitos so tantos quantos os prprios nmeros naturais, mostrando-lhe a correspondncia, a que hoje chamamos bijectiva, entre os dois conjuntos de nmeros, depois de o ter feito reconhecer que os inteiros so mais do que os quadrados perfeitos sozinhos:
Salviati. (). Por conscincia, 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 ?
Simplico. Certamente.
Salviati. Se eu perguntar agora quantos quadrados h, podemos responder, em nos enganarmos, que h tantos quantas 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 que uma raiz, nem uma raiz mais que um quadrado.
Simplico. 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; e no entanto dizamos de princpio que h mais nmeros do que quadrados, j que a maior parte dos nmeros so quadrados.
30
Captulo 3
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. (Citado em Radice, 1981)
Galileu chegou concluso que para contar os quadrados perfeitos, podia estabelecer uma bijeco entre o conjunto dos nmeros naturais e o conjunto dos quadrados perfeitos, concluindo assim que os quadrados perfeitos no eram menos do que os nmeros naturais. A ideia, proveniente da famosa noo de Euclides o todo maior que a parte de que os nmeros naturais eram mais do que os quadrados perfeitos, impediu-o de declarar a igualdade de cardinais. Outro paradoxo galileano o das rodas, que consiste em duas rodas concntricas, uma maior que a outra, que tocam com os seus pontos em dois segmentos de comprimentos iguais.
Salviati. Mas diz-me se em torno de um centro, () este ponto A, descrevermos dois crculos e dos pontos C e B dos seus semi-dimetros se traarem as tangentes CE, BF e deles, pelo centro A, a paralela AD, considerando que o crculo maior gira sobre a linha BF (igual da sua circunferncia, assim como as outras duas CE, AD) e admitindo que h uma revoluo, que ter feito o crculo menor e o centro? Este ter, sem dvida, percorrido a linha AD, e a circunferncia daquele ter, com os seus contactos, medido toda a CE (). Portanto, como pode, sem saltos o crculo menor percorrer uma linha to maior de que a sua circunferncia (). (Citado em Radice, 1981)
31
Captulo 3
A situao pode ser representada da seguinte forma:
A C B
D E F
Mais uma vez se trata de uma bijeco entre dois conjuntos, o segundo dos quais pode ser considerado uma parte do outro. A circunferncia mais pequena , como comprimento, metade da maior. Assim, possvel estabelecer uma correspondncia dos seus pontos com os de metade da circunferncia de raio [ AB ] . Mas tambm podemos estabelecer uma correspondncia entre os pontos da mais pequena na da maior, tendo portanto uma correspondncia biunvoca entre as circunferncias. O paradoxo reside na possibilidade de correspondncia biunvoca entre um segmento contnuo e uma sua parte prpria. Bernhard Bolzano falou deste assunto nos Paradoxos do Infinito.
Vejamos ento a soluo proposta por Galileu e de seguida a soluo proposta por Bolzano. A soluo que Galileu apresenta negativa: no possvel com a nossa compreenso finita apurar o infinito. Ou seja, quando falamos em infinitos e em indivisveis, os primeiros so incompreensveis pela sua dimenso e os segundos pela sua pequenez. Galileu enquanto matemtico nega a possibilidade de raciocinar com argumentos necessariamente convincentes sobre o infinito. Mas, pelo contrrio, enquanto filsofo, admite a possibilidade de fazer conjecturas, arbitrrias e no necessrias, sobre a natureza do infinito. Assim, como matemtico afirma:
32
Captulo 3
No vejo a que outra deciso possa chegar do que dizer que infinitos so todos os nmeros, infinitos os quadrados, infinitas as suas razes, nem que a multido dos quadrados menor que a de todos os nmeros, nem esta maior que aquela, e, como ltima concluso, os atributos de igual, maior e menor no terem lugar nos infinitos, mas apenas nas quantidades terminadas.
Totalmente diferente da opinio de Galileu a opinio de Bolzano perante o infinito e em particular do paradoxo do todo e da parte.
Bernahrd Bolzano, nascido em Praga, actual Repblica Checa, era filsofo, matemtico e telogo e deu importantes contributos tanto para a Matemtica como para a Teoria do Conhecimento. Ele tentou, no seu trabalho, libertar o Clculo da sua concepo infinitesimal. Para alm de problemas ligados Matemtica, estudou problemas ligados ao espao, fora e propagao das ondas. Filho de um comerciante de artes, frequentou a Universidade de Praga, onde estudou Teologia, Matemtica e Filosofia. Foi ordenado sacerdote da Igreja Catlica e foi designado para leccionar religio, na universidade onde estudou. Os estudos cientficos de Bolzano foram muito avanados para o seu tempo, nos fundamentos de vrios ramos da Matemtica, como a teoria das funes, a lgica e a noo de cardinal. Depois de demonstrar o teorema do valor intermdio, deu o primeiro exemplo de uma funo contnua no derivvel em nenhum ponto do conjunto dos nmeros reais. No campo da lgica, estudou a tabela de verdade de uma proposio e introduziu a primeira definio operativa de dedutibilidade.
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. Bolzano tentou estabelecer um critrio de comparao entre conjuntos infinitos. Analisou o paradoxo de Galileu relativo correspondncia, um a um, entre os nmeros naturais e os quadrados perfeitos e mostrou, embora vagamente, que as
33
Captulo 3
correspondncias entre um conjunto infinito e um seu subconjunto prprio so comuns a todos os conjuntos infinitos. No entanto, considerava que no era suficiente, para concluir que tais conjuntos tinham o mesmo cardinal, a existncia de uma bijeco entre os conjuntos, para que pudessem ter o mesmo cardinal, era necessrio estar, por exemplo, definidos de modo idntico:
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 por outro lado possvel que um conjunto possa conter o outro como uma parte de si. 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.
34
O paraso que Cantor criou
Captulo 4
4. O paraso que Cantor criou
George Ferdinand Ludwig Philip Cantor, cujos pais eram dinamarqueses, nasceu em 1845, em S. Petersburgo, Rssia, mas passou a maior parte da sua vida na Alemanha. O seu pai era judeu convertido ao protestantismo e a sua me catlica de nascimento. Cantor interessou-se fortemente pela teologia medieval sobre a continuidade e o infinito. Como consequncia, no seguiu uma carreira em engenharia como lhe sugeria o seu pai, a fim de se concentrar em Filosofia, Fsica e Matemtica. Estudou em Zurique, Gttingen e Berlim, onde ensinavam, alm de Kummer, Leopold Kronecker e Karl Weierstrass. Talvez por influncia de Kummer e Kronecker, Cantor interessou-se particularmente por teoria de nmeros, tendo sido este assunto tanto da sua tese de doutoramento como do trabalho que apresentou para ser admitido como docente na Universidade de Halle (uma universidade de provncia considerada pouco importante), onde leccionou entre 1869 e 1905. Faleceu em 1918 no hospital de doenas mentais de Halle.
As descobertas de Cantor sobre a teoria de conjuntos assentam sobre uma ideia muito simples. Como comparar conjuntos se no se conseguir contar os seus elementos? Qualquer criana, muito antes de aprender a contar, sabe que a mo direita tem tantos dedos quantos da mo esquerda. Ora, tantosquantos a maneira pela qual no s as crianas, mas tambm, em geral, as pessoas normais, exprimem o conceito de correspondncia biunvoca. Pois bem, basta colocar cada dedo de uma mo em frente ao correspondente dedo da outra mo para concluir que ambas tm o mesmo nmero de dedos. De uma forma intuitiva, a correspondncia, um a um, entre dois conjuntos A e B trata-se do emparelhamento dos elementos de um conjunto com os do outro, de tal modo que todos os elementos de cada conjunto tm exactamente um correspondente no outro conjunto.
34
Captulo 4
Se eu puder corresponder, elemento por elemento, dois conjuntos bem definidos M e N por uma operao unvoca (e, quando se pode faz-lo duma maneira, pode-se fazlo tambm de muitas outras) () digo que estes conjuntos tm a mesma potncia, ou ainda que eles so equivalentes. (Cantor, 1883 [1887])
Segundo esta definio, pode procurar-se a equivalncia de grandes conjuntos, como o dos lugares de um estdio e o dos espectadores que os ocupam para assistir a qualquer acontecimento: se houver espectadores sem lugar, ou se sobrarem lugares no ocupados, os dois conjuntos no so equivalentes; caso contrrio, so. A definio de Cantor no exige que contemos, ou mesmo que conheamos, as populaes dos dois conjuntos para determinar se so ou no equivalentes. Como diz Radice (1981), Cantor teve a ousadia intelectual, que duzentos e cinquenta anos antes faltou a Galileu Galilei, de aplicar a definio infantil de igualdade do nmero cardinal de dois conjuntos ao caso de conjuntos infinitos, afirmando que uma parte pode ser equivalente ao todo quando se trata de conjuntos infinitos. Na obra de Galileu Dilogos de Duas Novas Cincias, escrita dois sculos e meio antes de Cantor, o grande cientista italiano chamou a ateno para a correspondncia, de um para um, entre o conjunto dos nmeros naturais e os seus quadrados, embora intuitivamente parecesse haver muito menos quadrados do que nmeros naturais. A contradio que se deparou a Galileu resolve-se com facilidade, tendo apenas em ateno que o mesmo adjectivo, igual, pode ser empregue com dois significados diferentes. Um deles, com origem em Aristteles, baseia-se no facto de a parte no poder ser igual ao todo, na medida em que no todo existe pelo menos um elemento que no est na parte. O outro, cantoriano, considera que a parte pode ser igual em nmero ao todo. Assim, Cantor no s afirmou que a correspondncia, de um para um, entre o conjunto dos nmeros naturais e os seus quadrados deveria ser literalmente aceite, como tambm provou que o conjunto dos nmeros pares, dos mpares, dos nmeros
36
Captulo 4
triangulares, , podem estar em correspondncia, um a um, com o conjunto dos nmeros naturais, ou seja, tm todos a mesma potncia, o mesmo cardinal. Cantor mostrou ento que qualquer subconjunto infinito dos nmeros naturais equipotente a . Quando consideramos ao mesmo tempo conjuntos finitos e infinitos, a equipotncia de um conjunto com uma sua parte prpria torna-se uma caracterstica especfica dos conjuntos infinitos. Assim, em 1888, Richard Dedekind definiu um conjunto infinito como aquele em que se pode estabelecer uma bijeco com um seu subconjunto prprio. Com esta definio, Dedekind revolucionou uma maneira de pensar milenria. Agora j no se necessita de definir um conjunto infinito com a negao do que finito, podemos, pelo contrrio, definir o finito como negao do que infinito, ou seja, um conjunto finito se no estiver em bijeco com nenhuma parte prpria. O conjunto infinito mais pequeno o conjunto dos nmeros naturais, cujo cardinal denotado pelo smbolo 0 (lefe-zero), de acordo com a primeira letra do alfabeto hebraico. Este nmero o nmero infinito mais pequeno. Cantor ficou seduzido pela estranha aritmtica do alfe-zero: 0 + 1 = 0 e 0 + 0 = 0 Ou seja, quando somamos 1 ao infinito continuamos a ter infinito, assim como, quando duplicamos o infinito continuamos a ter infinito. Estas propriedades estavam no centro do paradoxo do Hotel de Hilbert, assim chamado em honra ao lendrio matemtico alemo David Hilbert. Hilbert descreveu um hotel com um nmero infinito de quartos, numerados 1, 2, 3,... Uma noite, quando todos os quartos estavam ocupados, um hspede solitrio chega procura de quarto. O recepcionista do hotel fez cada hspede avanar um quarto, de maneira que o ocupante do quarto 1 fosse transferido para o quarto 2, o ocupante do quarto 2 para o quarto 3, e assim sucessivamente. Assim, depois de todas as mudanas feitas, o quarto 1 fica ento livre para o novo hspede! Na noite seguinte chegou um autocarro, com um nmero infinito de novos hspedes, e nenhum dos antigos hspedes
37
Captulo 4
tinha sado. No h problema, anunciou o recepcionista. Desta vez, transferiu o ocupante do quarto 1 para o quarto 2, o do quarto 2 para o 4, o do 3 para o 6 e, em geral, o ocupante do quarto n para o quarto 2n. Isto deixou desocupado um nmero infinito de quartos mpares para os infinitamente muitos recm-chegados. Portanto, o passageiro nmero 1 do autocarro pode ir para o quarto 1, o nmero 2 para o quarto 3, o nmero 3 para o quarto 5, e em geral, o nmero n para o quarto 2n 1 . Mesmo que chegue uma infinidade de autocarros infinitos de turistas, toda a gente pode ser acomodada. O hotel de Hilbert mostra que certos tipos de argumentos esto disponveis no caso finito, mas no podem ser usados em qualquer outro caso: por exemplo, o princpio da gaiola de pombos, que afirma ser impossvel colocar n + 1 objectos em n caixas colocando no mximo um em cada uma, falso para qualquer n infinito, e em particular para n = 0 . Cantor chamou numervel ao conjunto dos nmeros naturais e considerou que qualquer conjunto que estivesse em correspondncia, um a um, com o conjunto dos nmeros naturais tambm era numervel. O prximo passo era responder questo: Tero todos os conjuntos infinitos o mesmo cardinal? Assim, surgiu a tentativa, bem sucedida, de estabelecer uma bijeco entre os nmeros inteiros e os nmeros naturais.
f :
se n > 0 2n na 2n + 1 se n 0
Cantor mostrou que, de facto, tambm o conjunto dos nmeros inteiros tem tamanho lefe-zero e perguntou-se ento se o conjunto dos nmeros racionais teria tambm o tamanho lefe-zero (o que primeira vista parece falso).
38
Captulo 4
Estamos habituados ideia de que h muito mais racionais do que naturais, porque os naturais tm grandes espaos entre si, enquanto os racionais esto densamente distribudos. Por exemplo, se olharmos para o bordo de uma rgua graduada vemos que, entre dois nmeros naturais quaisquer, h espao para uma infinidade de fraces, o que nos levaria a concluir que as fraces so infinitamente mais numerosas do que os naturais. Mas, no obstante a aparncias, Cantor provou que possvel emparceirar qualquer fraco com um nmero natural, apresentando uma demonstrao engenhosa que mostra que existem tambm 0 racionais. Cantor comeou a demonstrao por dispor todas as fraces do tipo q p , com p, q
e q 0 , numa matriz. A primeira linha contm, por ordem crescente, todas as
fraces de denominador 1, a segunda linha todas as fraces cujo denominador 2, e assim por diante. Assim, usando o seu engenhoso argumento diagonal, Cantor mostrou que se fizssemos um percurso diagonal era possvel pr em correspondncia, de um para um, os nmeros racionais e os nmeros naturais.
Cantor sabia, naturalmente, que algumas fraces se repetiriam e incitava que, quando se encontrassem representaes alternativas, essas deveriam ser ignoradas.
39
Captulo 4
O prprio Cantor ficou surpreendido com a sua demonstrao de que o conjunto dos nmeros racionais era numervel. Vejo que assim, diz ele, mas no acredito. (Citado por Radice, 1981) Depois de algumas coisas como estas, comeamos a pensar se no so numerveis todos os conjuntos infinitos. Talvez Salviati estivesse correcto e 0 seja apenas um smbolo rebuscado para . Cantor mostrou que isto no verdade. H uma infinidade maior do que a infinidade dos nmeros naturais: a infinidade dos nmeros reais. Cantor comeou por imaginar todos os nmeros reais numa lista simples, sem qualquer ordenao especial.
a1 , b10 b11b12 ...b1n ... a 2 , b20 b21b22 ...b2 n ...
M a n , bn 0 bn1bn 2 ...bnn ... M
Em seguida numerou as linhas dessa lista, ou seja, associou a cada nmero real um nmero natural.
1 2
a1 , b10 b11b12 ...b1n ... a 2 , b20 b21b22 ...b2 n ... a n , bn 0 bn1bn 2 ...bnn ...
M n M
Poderia parecer que existiriam nmeros naturais suficientes para associar a todo o nmero real. Cantor procurou ento determinar se as duas listas, de nmeros naturais e nmeros reais, se esgotariam igualmente. Em caso afirmativo, concluir-se-ia que os reais, como os naturais, eram 0 , em nmero. No entanto, Cantor mostrou que a
40
Captulo 4
resposta era negativa, descobrindo que pelo menos um nmero real ser sempre excludo dessa listagem, e portanto, no ser emparceirado com um nmero natural. Para encontrar esse nmero real, formemos um novo nmero cuja primeira casa decimal seja diferente da primeira casa decimal do primeiro nmero da lista; cuja segunda casa decimal seja diferente da segunda casa decimal do segundo nmero da lista; e em geral, cuja n-sima casa decimal difira da n-sima casa decimal do n-simo nmero da lista. A est!! Trata-se de um real que diferente de todos os que figuram na lista e esto emparceirados com os nmeros naturais, assim se provando que h mais nmeros reais do que naturais. Cantor, usando mais uma vez o seu argumento diagonal, tinha encontrado um infinito maior, ao qual chamou lefe-um ( 1 ). Tambm com isto se prova que, enquanto podemos, em princpio, contar, um a um, a infinidade dos nmeros naturais, nunca poderemos fazer o mesmo com os nmeros reais. Cantor, reconhecendo este facto como consequncia da sua demonstrao, passou a referir-se aos nmeros naturais como uma infinidade numervel e aos reais como uma infinidade contnua (ou no numervel). Alm de aplicar as noes de conjunto e equivalncia aos nmeros aritmticos, Cantor tambm as aplicou aos pontos geomtricos, com resultados que a ele prprio surpreenderam e que contradiziam a sua prpria intuio. Em 20 de Junho de 1877, Cantor mostra a Dedekind a prova de que possvel estabelecer uma bijeco entre [0,1] e [0,1] , provando assim que
n
tm a mesma
dimenso, quaisquer que sejam n, m , ou seja, que existe a mesma quantidade de pontos em todo e qualquer espao independentemente da sua dimenso.
Pode-se fazer corresponder de uma maneira completa e unvoca um conjunto contnuo a n dimenses a um conjunto contnuo de uma s dimenso; dois conjuntos, um de n e outro de m dimenses, sendo n > m , n < m ou n = m , tm a mesma potncia. (Cantor, 1883 [1887]).
41
Captulo 4
Atravs desta ideia de comparao de conjuntos infinitos pela correspondncia, um a um, entre os seus elementos, Cantor conseguiu distinguir vrios tipos de conjuntos: os de menor potncia como , e , denominados numerveis, e os com a potncia do contnuo, como o intervalo [0,1] ou . A demonstrao que permitiu Cantor concluir que a potncia do contnuo superior do numervel, pode ser generalizada originando aquilo que ficou conhecido como o teorema de Cantor: O cardinal de um conjunto X estritamente menor que o cardinal do conjunto P(X) das partes de X. Desta forma, atravs de conjuntos infinitos, Cantor conseguiu definir novos conjuntos infinitos.
Esta demonstrao parece digna de nota, no s em virtude da sua grande simplicidade, mas tambm, especificamente, porque o princpio nela seguido se torna igualmente extensivo ao teorema geral de que as potncias de conjuntos bem definidos no tm mximo algum, ou seja, o que vem a dar no mesmo, que para cada conjunto dado L pode ser colocado ao lado de outro conjunto M de potncia superior a L. (Cantor, 1883 [1887])
Pois bem, a existncia de um conjunto infinito implica a existncia de um conjunto infinito maior, que por sua vez, implica a existncia de outro ainda maior e assim sucessivamente. Donde decorre a existncia de uma infinidade de infinitos distintos. Encontrmos, pois, um mtodo para construir conjuntos transfinitos de potncia continuamente crescente, at ao infinito. Consiste em repetir a operao de passagem de um conjunto ao conjunto das suas partes. Partindo de um transfinito mnimo, que o numervel, potncia do conjunto dos naturais , podemos construir a escala:
, P( ), P(P( )), Representando por |L| a potncia, ou cardinalidade de um conjunto L, Cantor mostrou que se for k o cardinal de um conjunto X, ento |P(X)| = 2k, e que, em particular, | | = 2| |, o que lhe permitiu construir a seguinte extenso transfinita dos cardinais
42
Captulo 4
| |, |P( )|, |P(P( ))|,
que designou por 0 , 1 , 2 , Assim, segundo Guillen (1983), os nmeros transfinitos ( 0 , 1 , 2 , ) aparecem a Cantor e a outros como sendo to sem limites como o cosmos descrito por Emmanuel Kant:
natural olhar [as nebulosas de] estrelas como sendo [] sistemas de muitas estrelas. [Elas] so exactamente universos. Pode-se, alm disso, conjecturar que [todas juntas] [] constituem, por sua vez, um sistema ainda mais imenso [] o qual, talvez, e tal como o primeiro, nada mais do que um membro numa nova combinao de membros! Ns [na Terra] vemos [s] os primeiros membros de uma relao progressiva de mundos e sistemas, e a primeira parte desta infinita progresso habilitanos a reconhecer o que se deve conjecturar sobre o todo. No h qualquer fim
Cantor sups que lefe-um seria o cardinal de
, mas deixou a seguinte questo por
resolver: h alguma coisa entre | | e | |? Este problema tornou-se conhecido como a Hiptese do contnuo. Qualquer tentativa de a provar falhou tristemente; mas o mesmo aconteceu a todas as tentativas de construir um conjunto com mais elementos que os naturais, mas menos que os reais. S em 1963, Paul Cohen provou que a resposta depende da nossa verso de teoria de conjuntos: teorias de conjuntos cantorianas ou teoria de conjuntos no cantorianas. Assim, Cantor, como no conseguiu ento obter a resposta questo, manteve a designao para o cardinal do conjunto . Em 1874, Cantor publicou o seu trabalho, que o levara dos conjuntos finitos aos conjuntos infinitos e mais longe ainda. Cantor afirmava no alimento qualquer dvida em relao veracidade dos nmeros transfinitos, os quais identifiquei com a ajuda de Deus. (Citado por Hoffman, 1998)
43
Captulo 4
Segundo Guillen (1983), muitos matemticos chamaram Cantor pedra, desclassificando sumariamente os resultados da sua teoria, porque discordavam da ideia platnica de tratar o infinito como se ele fosse um substantivo. Outros entendiam que Cantor no prosseguira a argumentao at s suas concluses lgicas. Para eles, Cantor deveria tratar a sequncia de nmeros transfinitos como fizera com a dos nmeros naturais admitindo a existncia dum conjunto lefe-infinito. Este novo conjunto conduziria a uma sucesso inteiramente nova maior do que . Ou seja, iramos chegar a conjuntos transtransfinitos, que seriam representados pela segunda letra do alfabeto hebraico, ], originando a sucesso ]0 , ]1 , ] 2 ,... Mas esta nova sucesso implicaria a existncia do conjunto bete-infinito ( ] ), voltando-se a repetir todo o processo mais uma vez, e outra, e outra, Cantor nunca se deixou persuadir por estas crticas. Alguns matemticos falam dum infinito absoluto, representado pela ltima letra do alfabeto hebraico, , que consideram ser o maior infinito concebvel, um infinito que nunca poderemos visualizar. O dos matemticos qualquer coisa que nunca contemplaremos em pleno e, a esse respeito, no muito diferente do Deus descrito por So Gregrio:
Independentemente do progresso feito pela nossa mente na contemplao de Deus, ela no atinge o que Ele , mas sim o que lhe est abaixo. Leoplod Kronecker, um pilar da comunidade matemtica alem, foi talvez o maior opositor do trabalho de Cantor, atacando-o publicamente de forma feroz durante uma dcada. Kronecker rejeitou o transfinito, emitindo a sua frequentemente citada reprimenda: Deus criou os inteiros e tudo o resto obra do Homem. Para Kronecker, apenas os inteiros tinham existncia real, todos os outros tipos de nmeros eram apenas iluses das imaginaes hiperactivas dos matemticos. Segundo Edwards (1987), Cantor era, para Kronecker, simplesmente mais um jovem que tinha seguido Weirstrass pelo caminho errado e cujas formulaes de ideias matemticas eram desesperadamente mal guiadas.
44
Captulo 4
Henri Poincar, o grande gemetra francs, repetiu Kronecker e disse que as geraes futuras de matemticos viram o trabalho de Cantor como uma doena da qual conseguimos recuperar. Herman Weyl observou que a infinidade de infinitos de Cantor era nvoa no nevoeiro. Por outro lado, Adolf Hurwitz e Hadamard descobriram importantes aplicaes da teoria de conjuntos em Anlise e falaram sobre elas em prestigiadas conferncias internacionais. Tambm um dos maiores matemticos do comeo do sculo vinte, David Hilbert, elogiou Cantor, descrevendo a nova aritmtica transfinita como o produto mais extraordinrio do pensamento matemtico, uma das mais belas realizaes da actividade humana no domnio do puramente inteligvel. Segundo Boyer, onde almas tmidas tinham hesitado, Hilbert exclamava ningum nos expulsar do paraso que Cantor criou para ns. Analogamente, o matemtico-filfoso ingls B. Russell aplaudiu os talentos de Cantor como provavelmente os maiores de que a poca podia orgulhar-se. Enfim, como aconteceu com outras ideias incrivelmente originais, s aqueles que estavam preparados para fazer um esforo para as entender e usar no seu trabalho as apreciaram. Os crticos dos aspectos marginais, presunosamente negativos, deixaram o seu sentido de auto-importncia esmagar a sua imaginao e bom gosto. Hoje, os frutos dos esforos de Cantor formam a base de toda a Matemtica.
45
O Infinitsimos e a Anlise No-Standard
Captulo 5
5. Os Infinitsimos e a Anlise No-Standard
It is that objects to
1 as involving any contradiction, nor, since Cantor, are
infinitely great quantities objected to, but still the antique prejudice against infinitely small quantities remains. C. S. Peirce in The New Elements of Mathematics
O uso de nmeros infinitos e infinitesimais em Matemtica tem uma longa histria: a ideia de infinitsimo conhecida h pelo menos 23 sculos. Banidos pela tradio Aristotlica, estes nmeros acabaram por ser reintroduzidos no sc. XVII, nos primrdios da Anlise, e os raciocnios baseados neles foram sempre, at ao aparecimento da Anlise No-Standard, fonte de controvrsia e desconfiana. Este facto levou a que os infinitsimos tenham tido uma existncia quase sempre polmica, embora o seu uso nunca tenha deixado de constituir uma ferramenta utilizada na prtica, por exemplo, por fsicos e engenheiros. No incio do sc. XX foi encontrado o tratado O Mtodo, cuja existncia era desconhecida at ento, no qual Arquimedes afirmava que tambm usava os infinitsimos nos seus trabalhos, no para demonstrar resultados, mas sim para descobri-los. Este livro permite-nos compreender a forma como Arquimedes obtinha as suas ideias. Como a maior parte dos matemticos, ele comeava por obter resultados atravs de mtodos nada rigorosos e depois polia-os at encontrar uma demonstrao decente. Arquimedes cortava slidos numa infinidade de pedaos de espessura infinitesimal e pendurava-os numa balana abstracta, onde comparava a sua soma com um objecto conhecido. Descobriu, usando este mtodo, o volume da esfera. Outros matemticos fizeram um uso semelhante de argumentos infinitesimais, por exemplo, Nicolau de Cusa descobriu a rea do crculo cortando-o como uma tarte.
45
Captulo 5
Nicolau de Cusa argumentava que o infinito era a fonte, o meio e, ao mesmo tempo, o objectivo inalcanvel de todo o conhecimento (citado por Davis e Hersh, 1990). Tambm Demcrito encontrou o volume de um cone empilhando fatias circulares. Na literatura, frequentemente referido o facto das demonstraes de Arquimedes se basearem no chamado mtodo da exausto. Os infinitsimos atormentaram a Anlise dos sculos XVII e XVIII, embora os argumentos filosficos acerca deles no tenham impedido que muito bom trabalho tenha sido feito. Infelizmente, a histria do Clculo Infinitesimal ficou marcada por uma azeda disputa entre Newton e Leibniz acerca da prioridade da inveno. Acredita-se que foi Newton quem descobriu primeiro e Leibniz quem publicou os primeiros resultados de Clculo Infinitesimal, mas que, no entanto, qualquer um dos dois criou o seu Clculo sem conhecer o do outro. O Clculo Infinitesimal no foi aceite por todos. Vrios cientistas e filsofos levantaram objeces de peso aos procedimentos propostos por Newton e por Leibniz. O conceito de quantidade infinitamente pequena permanecia excessivamente vago e as regras operatrias a que essas quantidades eram sujeitas pareciam contraditrias. O crtico-mor do clculo, o bispo George Berkeley, publicou em 1734 O analista, ou um Discurso Destinado a Um Matemtico Infiel. Onde Se Examina Se o Objecto, Prncipios e Implicao da Anlise Moderna So mais Distintamente Concebidos, ou Claramente Deduzidos, do Que os Mistrios Religiosos e os Pontos da F. Primeiro Tira a Trave do Teu Prprio Olho; e depois vers claramente para Tirar o Argueiro do Olho do Teu Irmo.. Berkeley argumentou que no decurso de uma mesma demonstrao no se pode dividir uma expresso por uma quantidade infinitesimal e, alguns passos adiante, considerar nulos todos os termos que admitissem essa mesma quantidade infinitesimal como factor. Contudo, a utilizao de nmeros infinitos e infinitesimais persistiu durante todo o sculo XVIII e parte do seguinte.
47
Captulo 5
Euler, os Bernoulli, Lagrange, dAlembert, Bolzano e Cauchy, por exemplo, no s obtiveram excelentes resultados usando nmeros infinitos e infinitesimais, como ainda se empenharam, sem contudo o conseguir, na sua fundamentao lgica. Apesar dos sucessos obtidos, a noo de infinitsimo nunca foi devidamente clarificada e o seu uso imoderado conduziu o desenvolvimento do Clculo a srias inconsistncias e dificuldades que no puderam ento ser ultrapassadas. No sculo XIX, Karl Weierstrass conseguiu finalmente obter uma formulao completa e rigorosa para os fundamentos do Clculo, removendo qualquer referncia a quantidades no finitas, redefinindo os conceitos base em termos da noo de limite. o retorno a Aristteles. Davis e Hersh (1990) comparam o mtodo dos limites com o mtodo de exausto ambos processos de tornear a utilizao do infinito na argumentao matemtica. Desde ento, todos os elementos estranhos ao conjunto foram banidos da
generalidade dos textos de Anlise Matemtica, embora a referncia a infinitsimos tenha persistido at aos dias de hoje em textos de outras disciplinas cientficas que fazem largo apelo ao Clculo, como o caso da Fsica. J na segunda metade do sculo XX, por volta de 1961, o matemtico Abraham Robinson descobriu a Anlise No-Sandard (ANS), com origem na Lgica, que veio repor a possibilidade de tratamento formal dos infinitsimos. O seu aparecimento pode talvez situar-se, oficialmente, na data de publicao do artigo Nonstandard Analysis, Proc. Roy. Acad, Sci., Amesterdam (A), 64 (1961), pp437-440 onde A. Robinson, usou pela primeira vez um modelo No-Standard da recta numrica para elaborar um desenvolvimento do Clculo Infinitesimal, que segue muito de perto o estilo dos seus criadores no sculo XVII, particularmente o de Leibniz. Posteriormente, no livro Nonstandard Analysis, North Holand, 1966
48
Captulo 5
A. Robinson mostrou como se podem aplicar, com vantagem, os mtodos da Anlise No-Standard a muitas reas distintas da matemtica.
Quantas vezes foi, anteriormente, o sistema de nmeros estendido para adquirir uma propriedade desejada? Dos racionais para os reais para admitir os complexos para admitir admitir infinitsimos? Assim, na Anlise No-Standard existem nmeros naturais ordinrios
2 ; dos reais para
1 . Portanto, porque no dos reais para os hiper-reais para
={ 1,2,3,...},
mas existe tambm um sistema maior de nmeros no naturais, aquilo a que se chama de naturais No-Standard, *. Existem os inteiros, E ainda os reais Standard, , e os inteiros No Standard, *.
, mais os reais No-Standard,
*. E cada par no se
distingue em termos de propriedades de primeira ordem, pelo que possvel provar as propriedades de primeira ordem de trabalhando com *, se quisermos; mas *
contm agora um conjunto de novos nmeros como infinitsimos e infinitos, que podemos explorar de novas formas. Assim, num universo No-Standard, os reais coexistem com outros objectos, em particular com um nmero c que tem a propriedade de ser menor que qualquer nmero da forma
1 . Este nmero c de facto um infinitsimo. n
A anlise No-Standard no conduz, em princpio, a concluses acerca de diferentes das obtidas atravs da Anlise Standard. o mtodo e o campo em que actua que so No-Standard; mas os resultados so verdadeiros teoremas da nossa velha conhecida Anlise, e portanto, qualquer teorema demonstrado por mtodos NoStandard um teorema verdadeiro da Anlise Standard (logo, admite uma demonstrao Standard). Tambm Newton mostrou, no seu Principia, que tudo o que pode ser provado com o Clculo, tambm pode ser provado com a Geometria Clssica e de modo algum isto implica que o Clculo no tenha qualquer valor. Assim, a questo que se coloca agora se a Anlise No-Standard uma ferramenta mais poderosa ou no. Esta questo s pode ser resolvida atravs da experincia, e a
49
Captulo 5
experincia sugere que, maioritariamente, demonstraes usando Anlise No-Standard tendem a ser mais curtas e directas. No entanto, a Anlise No-Standard requer um background muito diferente do da Anlise Clssica, o que se torna numa clara dificuldade, pois neste novo universo tem que se investir muito esforo inicial antes de se comear a ter lucro.
Desta forma, o mtodo dos infinitsimos foi, pela primeira vez, dotado de uma fundamentao formal precisa. E o infinito actual voltou a emergir na Anlise, povoando agora um universo que maior do que o da Aritmtica Real, ao qual podemos recorrer para resolver os nossos problemas em .
50
A Biblioteca de Babel
Captulo 6
6. A Biblioteca de Babel
Nascido em Buenos Aires, no ano de 1899, Jorge Lus Borges teve uma educao de carcter anglfono. Aps uma estadia em Madrid, onde entrou em contacto com movimentos vanguardistas, regressou a Buenos Aires e fundou as revistas Prisma e Proa, onde comeou a publicar os seus poemas (que mais tarde foram reunidos em volumes como Fervor de Buenos Aires (1923) e Caderno de San Martn (1929). Da obra de Jorge Lus Borges destacamos obras como Fices (1944), Histria Universal da Infncia (1935), O Aleph (1949) e O Relatrio de Brodie (1970). De entre as suas melhores criaes esto Outras Inquiries (1952) e Histria da Eternidade (1936). Borges, eterno candidato ao Nobel, foi um autor inclassificvel que no se encaixou nos paradigmas estilsticos e ideolgicos marcados pelos escritores includos no chamado boom latino-americano. Morreu em Genebra em 1986. Fices foi unanimemente considerado como um dos monumentos literrios do sculo XX. Num dilogo constante entre a fico e a realidade, o leitor obrigado a tomar um papel activo, descobrindo que nessas fices, h algo alm da diverso retrica ou de um passatempo mental, comea a vislumbrar a trama complexa de uma metafsica inquietante. Fices composto por dois livros O Jardim dos Caminhos Que Se Bifurcam e Artifcios, que giram volta das mesmas imagens e dos mesmos temas: o infinito, os jogos de espelhos, a cabala, os enigmas de detectives, o destino, o tempo, o fascnio pela palavra Em todos os contos se respira um esprito atemporal, de universalidade, no qual se pode encontrar uma biblioteca com todos os livros possveis, um homem de memria infinita e outro capaz de dar a vida a uma personagem sonhada. De seguida analisar-se- o conto A Biblioteca de Babel, do livro O Jardim dos Caminhos Que Se Bifurcam.
50
Captulo 6
() que a Biblioteca total e que as suas estantes registam todas as possveis combinaes dos vinte e tal smbolos ortogrficos (nmero embora vastssimo, no infinito) ou seja, tudo o que nos dado exprimir: em todos os idiomas. Tudo: a histria minuciosa do futuro, as autobiografias dos arcanjos, o catlogo fiel da Biblioteca, milhares e milhares de catlogos falsos, a demonstrao da falcia desses catlogos, a demonstrao da falcia do catlogo verdadeiro, o evangelho gnstico de Basilides, o comentrio desse evangelho, o comentrio do comentrio desse evangelho, o relato verdico da tua morte, a verso de cada livro em todas as lnguas, as interpolaes de cada livro em todos os livros. (Borges, 1941)
A fico de Borges reside em o universo (a que outros chamam a Biblioteca) compe-se de um nmero indefinido, e talvez infinito, de galerias hexagonais(Borges, 1941), que contm em quatro das suas paredes um total de vinte estantes. A cada uma das suas paredes de cada hexgono correspondem cinco prateleiras; cada prateleira contm trinta e dois livros de formato uniforme; cada livro de quatrocentas e dez pginas; cada pgina, de quarenta linhas; cada linha de umas oitenta letras de cor negra. (Borges, 1941) Na Biblioteca de Babel nenhum livro igual a outro, alguns podem apenas diferir num ponto ou numa vrgula. Tudo o que foi dito, tudo o que se dir e tudo o que dito encontra-se escrito nos livros da Biblioteca de Babel e um deles contm a explicao de todos os outros. Na histria comea-se por afirmar que o universo (a que outros chamam de Biblioteca), ou seja, a Biblioteca de Babel proposta por Borges o prprio universo. O universo formado por galerias hexagonais idnticas, que se interligam por vestbulos e escadas, no havendo mais nada para alm disso. O universo est nas possibilidades infinitas, capazes inclusive de predizer o destino de qualquer pessoa. Uma das teorias, criadas aqui por Borges, traz tona a importncia de se saber o que se procura e onde, evitando tempo perdido. A eterna busca do catlogo dos catlogos sugerida atravs de um mtodo regressivo: para localizar o livro A, consultar previamente um livro B que indique o stio de A; para localizar o livro B, consultar
52
Captulo 6
previamente um livro C, e assim por diante at ao infinito e tambm por sua prpria vindicao, mostra a importncia dos bibliotecrios neste universo. Os livros da biblioteca esto ordenados por ordem de criao, e o catlogo dos catlogos, caso seja encontrado, revelar o exacto paradeiro de cada um. A partir do momento que existe um endereo para um hexgono, existir um endereo para todos os outros hexgonos e por consequncia tambm para cada livro. O arranjo dos livros nas prateleiras em pouco preocupa os bibliotecrios, pois todo o tipo de mudana de localizao que um livro possa sofrer j est prevista no catlogo dos catlogos.
Note-se que a razo de Borges para a escolha das formas hexagonais para preencherem o espao do universo se prende com o facto de os hexgonos serem formas necessrias de espao absoluto. Os hexgonos da Biblioteca de Babel, que devem ser regulares pois so idnticos uns aos outros e tal s possvel se forem regulares, constituem uma economia de tempo e espao (tal espao lembra inevitavelmente as colmeias das abelhas). Repare-se que, geometricamente falando, s alguns polgonos como o tringulo equiltero, o quadrado e o hexgono preenchem totalmente o plano, sem deixar lacunas ou espaos vazios entre eles. Como refere Cludio Salpeter, docente de Anlise Matemtica na Universidade de Buenos Aires, a soma dos ngulos internos de um hexgono 720, pelo que cada ngulo ter amplitude de 120. E pensando que em cada vrtice de um hexgono podemos contar trs hexgonos, temos trs ngulos de 120 que perfazem 360, o que no deixa espao para lacunas entre eles, ou seja o espao fica totalmente preenchido. Nas palavras de Borges, at agora referidas h um ponto que pode resultar em equvoco. Os livros, diferentes entre si, da Biblioteca de Babel so em nmero determinado e finito, ao contrrio de infinito e indefinido tal como Borges refere. Um livro da Biblioteca de Babel, escrito numa nica frase, uma frase com um nmero no infinito embora muito vasto de letras, nmero esse que se pode calcular se recordarmos que as pginas de um livro so 410, as linhas de uma pgina so 40, 80 so as letras de uma linha e o alfabeto so 25 letras. Note-se que Borges refere: o nmero de smbolos ortogrficos 25 e na nota do editor consta: o manuscrito original no contm algarismos nem maisculas. A pontuao foi limitada vrgula e
53
Captulo 6
ao ponto. Estes dois sinais, o espao e as vinte e duas letras do alfabeto so os vinte e cinco smbolos suficientes Por cada letra temos 25 possibilidades, pelo que as frases de n letras so 25n. Assim, uma pgina pode ser escrita como uma nica frase de 40 80 = 3200 letras, temos ento 253200 pginas possveis. E como um livro pode ser escrito com uma nica frase de 3200 410 = 1312000 letras, ento existem, ao todo, 251312000 livros diferentes. O narrador refere os Purificadores e acrescenta que a devastao causada por estes intil, uma vez que a biblioteca to grande que qualquer reduo de origem humana infinitesimal: Um: a Biblioteca to enorme que toda a reduo de origem humana se torna infinitsima. Outro: cada exemplar nico, insubstituvel, mas (como a Biblioteca total) h sempre vrias centenas de milhares de fac-smiles imperfeitos: de obras que s diferem por uma letra ou por uma vrgula. Contra a opinio geral, atrevome a supor que as consequncias das depredaes cometidas pelos purificadores foram exageradas pelo terror que esses fanticos provocaram. (Borges, 1941) O bibliotecrio de Babel procura o catlogo dos catlogos, mas tal livro no poder existir, um paradoxo da Matemtica. Suponhamos que o conjunto A o catlogo dos catlogos e A1, A2 e A3 os catlogos existentes na Biblioteca. Simbolicamente temos A = {A1, A2, A3}. Ento, deparamo-nos com um catlogo que no est catalogado o catlogo A. Devemos ento construir um catlogo B, que inclusse A. Mas agora o catlogo B que tambm no est catalogado e assim indefinidamente. O narrador suplica, desesperadamente, que este livro total exista. A histria termina com a soluo do narrador: Atrevo-me a insinuar esta soluo do antigo problema: A biblioteca ilimitada e peridica. Se um eterno viajante a atravessasse em qualquer direco, verificaria ao cabo dos sculos que os mesmos volumes se repetem na mesma desordem (que, repetida, seria uma ordem: a Ordem). A minha solido alegra-se com esta elegante esperana. (Borges, 1941) Portanto, o nmero de volumes finito e o da galeria hexagonal no, porque os prprios volumes se repetem na mesma ordem periodicamente. Esta perioricidade que o bibliotecrio de Babel caracteriza como ordem, indica uma lei a seguir, uma regra. Na Biblioteca de Babel, h uma limitao do nmero de pginas, das linhas por pgina e das letras por cada linha de cada livro. Questionemo-nos ento sobre quantos
54
Captulo 6
sero livros possveis, na hiptese de que um possa conter um nmero n de letras, to grande quanto se queira. Podemos concluir que o conjunto dos livros, de comprimento arbitrrio, numervel e ser naturalmente constitudo por livros sem qualquer sentido. Mas suponhamos que todos os livros possveis, isto , todas as palavras (ou frases, ou seja, os cordes de letras) possveis tm um sentido. Deduzimos que todos os significados possveis so infinitos, mas numerveis, ou seja, s possvel uma infinidade numervel de pensamentos com um sentido preciso. esta a premissa ao paradoxo de Richard, que passamos a expor nas palavras de Emile Borel, que parte da lngua francesa, mas pode elaborar-se o mesmo raciocnio para qualquer outro idioma:
O nmero das palavras da lngua francesa limitado, pelo que o nmero de frases de dez palavras tambm. Entre todas as frases possveis obtidas, combinando de todas as maneiras possveis dez palavras francesas, a maioria no tem qualquer sentido; entre as que o tm, apenas uma pequena parte define um nmero inteiro determinado. H, portanto, um nmero limitado de nmeros inteiros assim definidos, entre os quais existir decerto um mximo. (Citado em Radice, 1981)
Borges tem razo ao afirmar que as combinaes possveis de vinte e cinco smbolos ortogrficos so em nmero, embora muito vasto, no infinito. Mas no tem razo, quando afirma que essas combinaes oferem tudo o que dado exprimir, em todas as lnguas. Para que esta segunda afirmao se tornasse verdadeira, necessitaramos de uma Biblioteca bem maior que a Biblioteca de Babel, mesmo que admitssemos nela livros de extenso arbitrria. Esta nova Biblioteca conteria a Biblioteca de Babel numa sua parte infinitesimal. Chamemos s duas bibliotecas, Biblioteca de Babel e Biblioteca de Cantor. Na segunda, B = B0 constitui uma pequenssima seco. No ex-lbris de B0 aps-se o smbolo L0, porque os seus volumes so lidos atendendo rigorosamente aos significados que as palavras tm em L0, linguagem inicial para a qual suficiente o alfabeto inicial de 25 letras. Segue-se a seco B1, cujos volumes so interpretados na linguagem L1 e exibem na capa da estampilha L1. Vm depois as seces B2, B3, , Ba, transfinitamente. Se faltarem
55
Captulo 6
nos volumes as estampilhas indicativas da linguagem em que esto escritos, a bem ordenada Biblioteca de Cantor converte-se na catica e cclica Biblioteca de Babel. Na ltima pgina Borges refere, em nota de rodap, que Letizia lvarez de Toledo teria observado que esta Biblioteca seria intil. Bastaria um nico livro, de formato comum, impresso em corpo nove, ou em corpo dez, que tivesse um nmero infinito de folhas infinitamente finas. Acrescentando em parnteses que, no sculo XVII, Cavalieri disse que todo o corpo slido a sobreposio de um nmero infinito de planos. E ainda que o manejo de tal livro no seria cmodo: cada folha desdobrar-se-ia noutras anlogas e a inconcebvel folha central no teria reverso.
56
Escher e o Infinito
Captulo 7
7. Escher e o Infinito
7.1. A vida
Maurits Cornelius Escher nasceu a 17 de Junho de 1898, na cidade holandesa de Leeuwarden, sendo o filho mais novo do Engenheiro G. A. Escher. Aos 13 anos comeou a frequentar uma Escola Secundria em Arnheim, para onde os seus pais se haviam mudado. Ele no era, de todo, um aluno brilhante. Para ele, a escola era um pesadelo. Foi duas vezes reprovado e
Figura 7.1. Retrato de Maurits Escher (1963)
tambm no conseguiu obter o diploma final, pois nem sequer em Arte teve bons resultados. A obra que resta do seu tempo de escola mostra um grande talento, mas o trabalho prescrito para o exame: Pssaro numa gaiola no obteve aprovao do jri. Nessa altura j fazia lineo-gravuras juntamente com um amigo. Acabado o Ensino Secundrio, e por insistncia da famlia, foi para Haarlem estudar Arquitectura na Escola de Arquitectura e Artes Decorativas. Mais uma vez, os resultados acadmicos eram fracos, e portanto, decidiu mudar para o curso de Artes Decorativas, onde conheceu o professor Samuel Jesserun de Mesquita que ensinava tcnicas de gravura artstica. Este professor, judeu de origem portuguesa, tornou-se fundamental no desenvolvimento artstico de Escher. Para alm de lhe ensinar todos os pormenores na arte da gravura, incentivava-o a experimentar e a desenvolver todas as suas capacidades nessa arte. Trabalhos desta poca mostram que Escher depressa comeou a dominar a tcnica de xilogravura, mas mesmo neste curso no teve muito sucesso. Num relatrio oficial da
57
Escher e o Infinito
Captulo 7
escola, assinado pelo director lia-se: ele demasiado pertinaz, demasiado literatofilosfico; a este jovem falta fantasia e ideias espontneas, demasiado pouco artista. Assim, Escher acabou por no concluir este curso e foi para Itlia procura de novas fontes de inspirao. O prprio Mesquita o aconselhou a seguir o seu caminho, pois Escher tinha adquirido uma boa base em desenho e dominava a xilogravura. No entanto, mantiveram-se em contacto at 1944, altura em que o professor, juntamente com a sua mulher e o filho, foi preso e assassinado pelos alemes. Em 1922, Escher viajou durante duas semanas com dois amigos holandeses pela Itlia. O interesse que o pas lhe despertou foi tal que fixou l residncia. Neste pas muitos eram os elementos que o entusiasmavam, entre outros, apreciou as 17 torres em San Gimignamo e em Siena ficava impressionado com as paisagens. Foi em Siena que tiveram origem as primeiras xilogravuras de paisagens italianas. Ainda em 1922 viaja por Espanha, visitando pela primeira vez a cidade de Granada e o seu emblemtico palcio, o Alhambra. Escher ficou deliciado com a decorao interior deste palcio, de influncia persa e muulmana, e tornou-se fonte de inspirao para obras futuras, especialmente as que versam sobre o tema das pavimentaes do plano. Depois de uma curta estadia em Espanha, regressou a Itlia, instalando-se numa penso em Siena, onde conheceu Jetta Umiker, com quem casou em 1924. Ela passou a acompanhar o artista nas suas viagens e na elaborao dos registos dos pontos de interesse. Para suportar a despesa destas viagens, vendia alguns dos seus trabalhos. Foi nesta cidade que realizou a sua primeira exposio individual, em 1923. No ano seguinte realizou a sua primeira exposio em Holanda. O pai de Jetta era suo e at ecloso da revoluo russa foi director de uma fbrica, nas proximidades de Moscovo. Jetta, tal como a me, desenhava e pintava, embora nenhuma delas tivesse qualquer preparao para isso. Os pais de Jetta fixaram-se em Roma e o casal foi viver com eles. Em 1932 e 1933 foram publicados dois livros com ilustraes de Escher, respectivamente, XXIV Emblemata e De Vreeslijke avonturen van Scholastica.
58
Escher e o Infinito
Captulo 7
Em 1934, Escher concorre com a litografia Nonza numa exposio em Chicago e recebe o terceiro prmio. O casal viveu em Itlia at 1935 e durante esse perodo tiveram dois filhos, George e Arthur, mas nesse ano, devido s polticas fascistas, mudam-se para Chateaux-dOex na Sua. A estadia foi curta, pois a paisagem montona da Sua no o inspirava. E portanto, decidiu viajar durante trs meses com a sua esposa por Itlia, Frana e Espanha. Nesta viagem, visita pela segunda vez Alhambra e esta visita altera o seu trabalho profundamente. Ele copiava muitos motivos juntamente com a sua mulher. Aqui foi lanado o fundamento para a sua obra revolucionria no mbito da diviso regular da superfcie. Entretanto, em 1937, Escher e sua famlia mudam-se para a Blgica, instalando-se em Ukkel, perto de Bruxelas, onde nasceu o seu terceiro filho, Jan. Em 1939 faleceu o seu pai e no ano seguinte a sua me. Como a guerra estava prestes a rebentar na Blgica, Escher queria estar perto da sua ptria. Quando comeou, viver na Blgica tornou-se psicologicamente muito difcil para um holands, e portanto, em 1941, regressa ao seu pas natal, aps a invaso da Blgica pelos alemes e hospeda-se com a sua famlia em Baarn. Escolheram Baarn, porque a Escola Secundria local tinha um bom nome. Em 1954 realiza-se uma importante exposio no museu Stedelijk em Amesterdo e expe igualmente em Washington. Em 1958 publica um texto sobre a diviso regular do plano - Regelmatig Vlakverdeling. Em 1959 surge um outro, produto sobre a sua obra grfica, Gragick en Tekeningen M. C. Escher. Em 1962 adoeceu e foi submetido a uma grave operao. O seu trabalho ficou parado por um tempo, pois a sua recuperao foi demorada. Em 1964 foi submetido a outra cirurgia. Em 1968 realiza-se, para celebrar o seu septagsimo aniversrio, uma exposio retrospectiva da sua obra em The Hague.
59
Escher e o Infinito
Captulo 7
Em 1969, Escher realizou a sua ltima obra, Serpentes, que mostrava que a sua percia nada havia diminudo.
Figura 7.2. Serpentes (Escher, 1969)
Em 1970 mudou-se para a Casa-de-Rosa-Spier em Laren, no norte de Holanda uma casa onde os artistas idosos podiam ter os seus prprios estdios e serem cuidados. Faleceu a 27 de Maro de 1972 no hospital em Hilversun com 73 anos. Escher trabalhou sempre sozinho, sem colegas nem escolas. Porm, manteve amizades durante toda a sua vida, com quem trocava visitas e correspondncia regularmente. Ele, apesar de acreditar que alguns artistas no passavam de impostores, tinha muito prazer em cultivar a tertlia e a conversa. Escher no se considerava um artista plstico nem um matemtico, mas o interesse com que os matemticos e cientistas recebiam a sua obra davam-lhe uma grande satisfao. Ele sentia-se compreendido quando falava e sentia que as suas gravuras eram percebidas. Contudo, Escher no ter chegado a aperceber-se que muitos matemticos trabalhavam e combatiam com os mesmos conceitos que o preocupavam.
60
Escher e o Infinito
Captulo 7
7.2. A obra
De acordo com Ernst (1978), a obra de Escher pode ser dividida em quatro perodos diferentes, distinguidos por uma cronologia, que se podem conjugar em duas fases, antes e depois de 1937 (ano em que se fixou em Ukkel).De acordo com as palavras de Escher (1959):
A razo porque, a partir de 1938, me concentrei cada vez mais intensamente com a transmisso de ideias pessoais, foi o resultado, em primeira linha, da minha partida em Itlia. Na sua, na Blgica e na Holanda, onde sucessivamente me detive, o aspecto exterior da paisagem e da arquitectura sensibilizaram-me menos do que havia sido o caso, sobretudo no sul de Itlia. Forado pelas circunstncias, tive de me afastar duma reproduo mais ou menos directa e exacta do ambiente minha volta. Esta circunstncia estimulou, sem dvida, em grande medida, a criao de imagens interiores.
A primeira fase dominada pela representao da realidade visvel. A maioria das suas gravuras eram paisagens e cidades do sul de Itlia. Retratou ainda alguns animais, plantas, pessoas, Nesta fase evidencia-se um realismo agudo que bem visvel na importncia que dava a vrios detalhes, mas ao mesmo tempo uma viso muito prpria e detalhada para captar a realidade. Os seus trabalhos apresentam, muitas vezes, diferentes sensaes do espao, pois Escher tinha uma obsesso pela escolha de ngulos de viso.
Figura 7.3. Castrovalva (Escher, 1930)
Escher fez tambm, nesta altura, produtos da sua
prpria imaginao, por exemplo, Castelo no ar e Torre de Babel.
61
Escher e o Infinito
Captulo 7
A partir de 1937, o real deixa de ser o centro da sua obra para passar a ser um ornamento, fixando-se nas construes da sua imaginao. Pretendia dar vida aos padres que encontrava nos mosaicos islmicos e nas formaes cristalinas, substituindo formas abstractas por elementos reais (pessoas, animais, plantas). Escher combinava esses elementos de vrias formas, sugerindo processos que se poderiam repercutir at ao infinito. A animao destes padres, em que as estruturas adquirem individualidade e se transformam sucessivamente umas nas outras, leva srie Metamorfoses.
Figura 7.4. Dia e noite (Escher, 1938)
Em 1946, Escher interessa-se novamente por construes espaciais. Aqui no era tanto a prpria representao que interessava, mas, pelo contrrio, a particularidade da perspectiva. A este perodo Ernst (1991) designou por subordinao perspectiva. Neste perodo de experimentao leva-o a imagens bidimensionais que representavam figuras tridimensionais, mas que no se poderiam construir em tal dimenso, chamadas figuras impossveis.
Figura 7.5. Em cima e em baixo (Escher, 1947)
62
Escher e o Infinito
Captulo 7
O ltimo perodo, que se iniciou em 1956, foi designado por aproximao ao infinito. Neste perodo, Escher tinha uma grande obsesso em representar o infinito numa superfcie limitada. Esta preocupao esteve presente em toda a sua obra, mas depois de 1937 que essa preocupao se torna mais nitidamente objectivo de uma procura sistemtica.
Figura 7.6. Limite Circular III (Escher, 1959)
De seguida, apresentado um quadro sntese com a classificao da obra de Escher segundo Ernst:
Fase 1. fase
Data 1922-1937 1937-1945 Paisagens Metamorfoses
Perodo
Exemplo Castrovalva (1930) Dia e noite (1938) Em cima e em baixo (1947) Limite circular III (1959)
2. fase
1946-1956 1956-1970
Gravuras subordinadas perspectiva Aproximao ao infinito
Na sua obra est presente um conceito de realidade plural em movimento como o cubismo, o construtivismo ou o surrealismo. A linguagem visual de Escher era realista e acessvel a todos. Por outro lado, a obra de Escher pode ser classificada como estruturalista, pois a estrutura era tomada como modelo para o potencial de realizaes que sugere. As obras de Escher primeiramente eram apreciadas por matemticos, cristalgrafos e fsicos e s depois comeou a interessar o pblico em geral.
63
Escher e o Infinito
Captulo 7
Os seus objectivos eram muito diferentes dos seus contemporneos, e portanto, era difcil enquadrar a sua obra no panorama das artes plsticas contemporneas. Ele prprio ficava confuso quanto ao lugar que ocupavam nesse mundo, afirmando: Acho que aquilo que fao umas vezes muito bonito, outras vezes muito feio. (Citado por Ernst, 1991)
7.3. Escher e a Matemtica
Escher esteve em contacto prximo com matemticos (por exemplos R. Penrose e H. Coxeter) e cientistas (por exemplo, Loeb e C. MacGillavry) e este contacto teve grande importncia na sua obra. Desde a Antiguidade que a Matemtica e a Arte surgem associadas. O mundo da Matemtica e o mundo da Arte esto intrinsecamente relacionados e Escher descobriu essa relao:
Todas as reprodues foram produzidas com a inteno de esclarecer uma determinada linha de pensamento. As ideias que lhe esto por base testemunham, na maior parte, o meu espanto e admirao em face das leis da natureza que operam no mundo nossa volta. Aquele que se maravilha com alguma coisa tem ele mesmo a conscincia da maravilha. Olhando de olhos abertos os enigmas que nos rodeiam e ponderando e analisando as minhas observaes entro em contacto com o domnio da Matemtica. Embora no tenha qualquer formao e conhecimento das cincias exactas, sinto-me frequentemente mais ligado aos matemticos do que aos meus prprios colegas de profisso. (Escher, 1959)
Um dos principais elementos matemticos presentes na obra de Escher a representao do espao. Ele conseguia misturar vrios tipos de espao numa mesma imagem. Em algumas imagens pode-se verificar uma representao tridimensional se
64
Escher e o Infinito
Captulo 7
nos centrarmos em determinadas parcelas, mas por outro lado se nos centrarmos noutras evidencia-se uma figura bidimensional. Escher decidiu explorar em profundidade as leis da perspectiva. Ele representava a duas dimenses figuras tridimensionais que no eram possveis de construir a trs dimenses, so as chamadas figuras impossveis.
Figura 7.7. Estrelas (Escher, 1948)
Outro elemento matemtico presente na sua obra a representao de slidos platnicos (tetraedro, cubo, octaedro, dodecaedro e icosaedro). Escher fez em madeira e acrlico alguns destes slidos regulares.
Como foi demonstrado pela Matemtica, os tringulos equilteros, os quadrados e os hexgonos so as nicas formas usadas como padro, pois s com estes trs polgonos possvel realizar divises regulares no plano. Mas ao observar as imagens de Escher, aparentemente parece que ele no usava qualquer um destes polgonos. Se estudarmos as suas imagens reparamos que Escher pega num quadrado, num tringulo equiltero ou num hexgono e transforma-os em objectos com a mesma rea. Desta forma, consegue transformar as suas imagens mais apelativas do que se usasse simplesmente um dos trs polgonos.
Outra importante ligao, entre a obra de Escher e a Matemtica, surge nos estudos das pavimentaes bidimensionais, onde a sua obra representa uma antecipao de uma teoria matemtica complexa.
65
Escher e o Infinito
Captulo 7
Escher realizou pavimentaes com dois, trs e quatro pares distintos de figuras congruentes. No incio comeou por utilizar simetrias simples. Mais tarde, utiliza duas classes de figuras nas pavimentaes, em que todas as figuras de cada classe so mutuamente equivalentes por simetrias da pavimentao. Por fim, substitui o plano euclidiano pela esfera e pelo plano hiperblico, sendo estas pavimentaes o melhor exemplo da relao, na obra de Escher, entre a Arte e a Matemtica.
Figura 7.8. Trabalho de simetria n. 123 (Escher, 1964)
7.4. Escher e a busca do Infinito
Segundo Ernst, o ltimo perodo da obra de Escher pode ser caracterizado como uma aproximao ao infinito. Mas no descuremos que o infinito um tema recorrente na sua obra. Em 1959, Escher expressou o que o moveu a representar o infinito:
No podemos imaginar que algures por detrs da estrela mais longnqua do cu nocturno, o espao possa ter um fim, um limite para alm do qual nada mais existe. O conceito de vcuo diz-nos ainda alguma coisa, pois um espao pode estar vazio, de
66
Escher e o Infinito
Captulo 7
qualquer maneira na nossa fantasia, mas a nossa fora de imaginao incapaz de aprender o conceito de nada no sentido de ausncia de espao. Por isso nos agarramos a uma quimera, a um alm, a um purgatrio, a um cu e a um inferno, a uma ressurreio ou uma nirvana que de novo tm de ser eternos no tempo e infinitos no espao, e isto, desde que o homem na Terra se deita, senta ou levanta, desde que nela se arrasta e corre; navega, cavalga e voa (e da Terra para fora se projecta).
De acordo com Maor (1991), o trabalho realizado por Escher sobre o infinito pode ser dividido em trs tipos: ciclos sem fim, preenchimento de superfcies e limites.
Por um ciclo entende-se um fenmeno que, por deslocaes para cima ou para baixo atravs dos nveis de um sistema hierrquico qualquer, voltamos sempre ao ponto de partida. Pode-se ento verificar que implcito a este conceito de ciclo est a noo de infinito potencial, pois um ciclo representa um processo que no termina. As gravuras que melhor ilustram os ciclos sem fim so as que representam figuras impossveis. Como exemplos tpicos temos as gravuras: Queda de gua (1961) e Subindo e descendo (1960). Segundo Escher na gravura Queda de gua: a gua duma cascata pe em movimento a roda de um moinho e corre depois para baixo, numa calha inclinada entre duas torres, devagar, em ziguezague, at ao ponto em que a queda d gua de novo comea (Escher, 1959). Nesta gravura, a gua sobe ou desce sempre e sem perder a fora.
Figura 7.9. Queda de gua (Escher, 1961)
Na gravura Subindo e descendo, alguns monges esto sempre a descer enquanto outros continuam a subir. Se ao tentarmos percorrer estas figuras, sentimos a necessidade de continuar sem parar indefinidamente.
67
Escher e o Infinito
Captulo 7
Figura 7.10. Subindo e descendo (Escher, 1960)
Para alm das figuras impossveis, podemos encontrar outro tipo de ciclos que so os relacionados com estruturas de superfcie, ocorrendo um conflito entre duas e trs dimenses, por exemplo, as gravuras Mos desenhando-se (1948) e Rpteis (1943).
Na primeira gravura, o ciclo formado pelas mos, em que parte de cada mo est representada a trs dimenses e o resto faz parte de um desenho numa folha de papel, que, por sua vez, se encontra representado a trs dimenses com a ajuda de uma dobra num dos cantos.
Figura 7.11. Mos Desenhando-se (Escher, 1948)
Na gravura Rpteis, os rpteis, a certa altura, entram numa folha de um caderno, que, atravs de translaes e rotaes, a preenchem
completamente, voltando a sair e a recomear de novo todo o percurso.
Figura 7.12. Rpteis (Escher, 1943)
68
Escher e o Infinito
Captulo 7
O segundo tipo de representao do infinito o preenchimento de superfcies que pelo seu carcter sistemtico sugere um processo ilimitado. Esta representao do infinito surge nas suas experincias de diviso regular do plano. Para Escher a diviso regular da superfcie a fonte mais rica de inspirao, de onde eu alguma vez bebi. (Escher, 1959) Nos seus trabalhos referentes ao preenchimento de superfcies, ele baseava-se nas pavimentaes do plano, alargando-as ao espao. Algumas destas pavimentaes foram concretizadas fisicamente na forma de esferas, em materiais como a madeira ou o marfim, mostrando o ilimitado num espao finito (exemplo, Esfera com peixes, 1940). No entanto, a diviso regular do plano no preenchia completamente a sua aproximao ao infinito. De acordo com Escher, um plano, que podemos imaginar estendendo-se sem fronteiras em todas as direces, pode ser preenchido ou dividido at ao infinito, de acordo com um nmero limitado de sistemas, em figuras geomtricas similares, contguas, sem deixar qualquer espao livre. (Escher, 1958) Mais tarde, acaba por reconhecer que a diviso regular da superfcie apenas um pequeno fragmento do infinito, pois apenas somos capazes de imaginar uma superfcie plana que se estenda ao infinito, da no se tratar de um processo acabado, mas ao invs, que no termina, associado ao infinito potencial. Segundo Escher: o mesmo formato em todas as componentes no permite mais do que a representao dum fragmento duma diviso regular da superfcie. Quem quiser representar um nmero infinito, tem de reduzir gradualmente o tamanho das figuras at ao alcance, pelo menos teoricamente, o limite do infinitamente pequeno. (Escher, 1959)
Relativamente aos limites, Escher comea por considerar para alm das translaes isomtricas, as semelhanas, utilizando motivos idnticos, sucessivamente mais pequenos, para preencher o plano at ao limite permitido pela sua viso auxiliada por uma lupa. Para isso, Escher segue uma progresso geomtrica. Um bom exemplo da utilizao de uma progresso geomtrica a gravura Cada vez mais pequeno (1956). Esta gravura surgiu na tentativa de representar o infinito como uma totalidade, em que as figuras so reduzidas radialmente das margens para o centro,
69
Escher e o Infinito
Captulo 7
mas esta configurao ainda permanece fragmentria, porque pode ser expandida pela juno de figuras maiores.
Escher escreveu: Cada vez mais pequeno uma primeira tentativa nessa direco. As figuras com as quais esta gravura construda reduzem a rea da sua superfcie para metade constantemente e radialmente dos lados para o centro, onde o limite do infinitamente muito e do infinitamente pequeno obtido num nico ponto. Mas esta configurao tambm permanece fragmentria, porque a sua fronteira pode ser expandida to longe quanto se queira pela juno de figuras cada vez maiores. (Escher, 1959)
Figura 7.13. Cada vez mais pequeno (Escher, 1956)
Mais tarde, criou quatro xilogravuras e a essa srie chamou Limites Circulares. A primeira destas obras, Limite Circular I,
concretizada em 1958, no o satisfez plenamente. Para Escher a melhor realizao do seu objectivo foi a xilogravura Limite Circular III, realizada em 1959.
Recorrendo s palavras de Escher:

Figura 7.14. Limite Circular I (Escher, 1958)
A nica forma de () estabelecer em infinito na sua inteireza dentro de uma fronteira lgica usar a aproximao inversa adoptada em Cada vez mais pequeno.
70
Escher e o Infinito
Captulo 7
A primeira, ainda desajeitada, aplicao deste mtodo ilustrada em Limite Circular I (1958). As figuras de animais maiores esto colocadas no centro e o limite do infinitamente muito e infinitamente pequeno encontrado no limite circular. O esqueleto desta configurao, parte das trs linhas rectas que passam pelo centro, consiste inteiramente em arcos com raio cada vez mais pequeno medida que se aproximam da fronteira. Adicionalmente todos eles se intersectam em ngulos rectos.
A gravura Limite Circular I, tendo sido a primeira, exibe muitas deficincias. Quer a forma peixe, ainda muito prxima das abstraces lineares, quer o seu arranjo e atitude a respeito uns dos outros, deixam muito a desejar. Acentuadas pelas suas espinhas centrais, sries de peixes podem ser reconhecidas em pares alternados: brancas onde as cabeas se encontram, pretas onde se cruzam as caudas. No existe continuidade, direco nica, unidade de cor em cada fila.
Na gravura colorida Limite Circular III (1959) a maior parte destas deficincias foram eliminadas. Agora existem apenas sries de peixes que se movem na mesma direco: todos os peixes da mesma srie tm a mesma cr e rodam uns aps os outros, cabea com cauda, ao longo de um curso circular de fronteira a fronteira. Quanto mais se aproximam do centro maiores se tornam. Quatro cores foram necessrias de forma que cada srie completa contratasse com as que o rodeiam. (Escher, 1959)
Posteriormente, numa tentativa de aperfeioar o seu trabalho, realiza a xilogravura Limite Quadrado, em 1964, a propsito da qual escreveu:
Depois da satisfao relativa do meu anseio por um smbolo perfeito do infinito (no melhor realizado em Limite Circular III) tentei compor uma forma quadrada em vez de crculo () Um tanto orgulhoso pela minha descoberta enviei uma prova ao professor Coxeter. (Citado por Ernst, 1991)
Figura 7.15. Limite Quadrado (Escher, 1964)
71
Escher e o Infinito
Captulo 7
Mas, numa carta escrita a Coxeter apercebe-se que a complexidade de concepo de suas gravuras, sugerindo um infinito actual est nitidamente presente nas suas pavimentaes no euclidianas, isto , nos Limites Circulares e no num Limite Quadrado, j euclidiano.
72
Estudo sobre as concepes de Infinito
Captulo 8
8. Estudo sobre as concepes de Infinito
Neste estudo pretende-se analisar as concepes que os alunos possuem sobre o infinito. Para tal, elaborou-se um questionrio que foi aplicado a uma turma do 8 ano (com 25 alunos) da escola onde estamos a estagiar (Escola Bsica 2 e 3 de Vila Verde).
Questionrio
Com o intuito de analisar as concepes que os alunos possuem sobre o infinito procedeu-se elaborao de um questionrio sobre o tema, que se encontra em anexo. O questionrio composto por quatro questes abordando diversos temas relacionados com o infinito. A primeira questo de resposta aberta, exigindo a interpretao de um excerto do texto Parliamo tanto di me (Cap. XVI) de Csar Zavattini sobre uma competio Matemtica. A segunda pergunta pretende analisar as ideias que os alunos tm sobre o infinito e como tal uma questo aberta. J a terceira de carcter dicotmico, podendo ser atribudos os valores verdadeiro ou falso. Por fim, na ltima questo os alunos apenas tinham de responder quantos elementos possua cada conjunto, logo tambm fechada.
73
Captulo 8
Questo 1
Relativamente s duas primeiras perguntas da questo 1, a maioria dos alunos (64%) respondeu acertadamente, ou seja, conseguiu perceber que o pai no tinha razo, isto , para ganhar no bastaria ter dito mais dois.
Percentagem de respostas dadas primeira parte da questo 1
36% O pai no tem razo O pai tem razo 64%
Quanto outra parte da questo 1, sobre quem poderia ganhar o concurso, obteve 56% de respostas ningum e quem disser o nmero maior, apresentando a primeira uma percentagem superior (32%). Alguns alunos (24%) responderam que quem ganharia o concurso era o Gianni Binacchi e houve ainda alunos (8%) que responderam que ganharia o pai, isto , para ganhar o concurso bastaria ter dito mais dois, o que traduz uma ausncia de noo de infinito. de salientar tambm que um aluno respondeu que ganha o concurso quem disser um nmero infinito. Por fim, necessrio referir que 8% dos alunos no responderam a esta parte da questo 1. O grfico resume os dados obtidos nesta questo, categorizando as respostas em cinco hipteses: ningum, quem disser o nmero maior, Gianni Binacchi, o pai e quem disser infinito.
74
Captulo 8
Percentagem de respostas dadas segunda parte da questo 1
4% 8%
8% 32% Ningum Quem disser o nmero maior Gianni Binacchi O pai Quem disser um nmero infinito
24% 24%
No respondeu
Para quem respondeu acertadamente que ningum poderia ganhar o concurso, ocorreram vrios tipos de respostas, podendo ser categorizadas pela sua justificao:
Os nmeros so infinitos
No ganharia ningum, porque existe um nmero infinito de nmeros.
No, porque podia vir outra pessoa e dizia mais trs e assim sucessivamente e como os nmeros so infinitos nunca ningum iria ganhar.
O concurso infinito
Ningum poderia ganhar, porque este concurso no tem fim, infinito.
Para quem considerou que o concurso era vlido e que o ganharia quem dissesse o nmero maior (24%), h que salientar que, destes, cerca de 33% responderam que ganharia o ltimo a responder.
75
Captulo 8
Vejamos alguns exemplos destes dois tipos de resposta:
Ganha quem disser o nmero maior
Quem poder ganhar este concurso o que disser o nmero maior de todos.
Ganha o ltimo a pronunciar-se
Na minha opinio ganha o que respondesse em ltimo.
Questo 2
O leque de ideias que os alunos associam ao infinito muito variado, tendo sido contabilizadas nove designaes diferentes. A mais referida sem fim, representando 64% do total de respostas dadas. Pela anlise da lista de ideias associadas ao infinito, h algumas que iremos analisar com mais pormenor. Por exemplo, os alunos associam os nmeros ao infinito, o que facilmente compreensvel, j que no 8. ano de escolaridade, eles sabem que os conjuntos , , e so infinitos. Tambm o termo incontvel se associa a esta
ideia de contagem que no termina, podendo ser associada noo que os conjuntos numricos j mencionados so infinitos. Seguindo esta linha de pensamento, a expresso algo que no tem limites est associada a algo que no termina. O grfico resume os dados obtidos nesta questo:
76
Captulo 8
Percentagem de respostas dadas questo 2

4% 4% 4% Sem fim Algo que nunca acaba 36% Todos os nmeros que existem Algo incontvel Algo que no tem limites o maior nmero 12% 28% Nmero muito extenso No tem valor exacto Conjunto dos nmeros naturais
4%
4%
4%
Questo 3
Relativamente a esta questo, de um modo geral, os alunos responderam acertadamente. O grfico apresenta as percentagens de respostas dadas pelos alunos s questes 3.1, 3.2, 3.3, 3.4, 3.5 e 3.6.

100% 90% 80% 70% 60% 50% 40% 30% 20% 10% 0% 3.1 3.2 3.3 3.4 3.5 3.6
Respondeu correctamente Respondeu erradamente
Pela anlise do grfico, verifica-se que em todas as alneas desta questo a percentagem de respostas correctas superior a 50%.
77
Captulo 8
A nica questo em que a percentagem de respostas correctas foi muito prxima da percentagem de respostas erradas foi a 3.3, que se referia s dzimas infinitas peridicas. Todas as outras obtiveram valores consideravelmente altos.
Questo 4
A questo 4 constituda por trs alneas e refere-se ao nmero de elementos que um conjunto possui. A percentagem de respostas correctas a mesma (96%) nas duas primeiras questes que se referem a conjuntos finitos. Quanto ltima questo h um pequeno decrscimo, no entanto, a percentagem de respostas correctas contnua muito elevada (88%). O grfico apresenta as percentagens de respostas dadas pelos alunos s questes 4.1, 4.2 e 4.3.

100% 90% 80% 70% 60% 50% 40% 30% 20% 10% 0% 4.1 4.2 4.3
Respondeu correctamente Respondeu erradamente
78
Captulo 8
Questo 4.1
A primeira das trs alneas da questo 4. referia-se ao cardinal do conjunto vazio, tendo os alunos respondido zero elementos em 96% dos casos. de salientar que apenas um aluno respondeu erradamente a esta questo, tendo afirmado que o conjunto possua infinitos elementos.
Questo 4.2.
A esta alnea, 96% dos estudantes responderam que o conjunto
{ 1,2,5,8}
era
formado por quarto elementos e mais uma vez houve um aluno que considerou que o conjunto era infinito.
Questo 4.3.
Agora decidimos analisar o tipo de respostas que os alunos dariam quanto ao nmero de elementos de um conjunto infinito. Pois bem, obteve-se trs tipos de respostas: infinito, finito e cinco. Considerar que o conjunto com reticncias infinito foi o mais comum (88%). No entanto, de salientar que um aluno respondeu que o conjunto finito e dois alunos
1,2,3,4,5,...} cinco. afirmaram que o nmero de elementos do conjunto {
79
Concluso
Concluso
Historicamente, os filsofos distinguiram dois tipos de infinito: infinito potencial e infinito actual. A filosofia de Aristteles e a sua expresso nos Elementos de Euclides condicionaram as concepes de infinito at ao sculo XIX. A ideia de infinito actual arrastava consigo contradies para as quais, at meados do sculo, no se encontrava soluo; assim, o infinito s era aceite na sua forma potencial, sendo entendido como um modo de pensar e no como um objecto matemtico. A partir de 1869, os trabalhos de Georg Cantor, iriam provocar grandes mudanas no que diz respeito s concepes de infinito. J na actualidade, o infinito actual aceite pela maioria dos matemticos. A histria do infinito sempre foi controversa, gerando vrios conflitos ao longo dos sculos. Desde o tempo da Grcia Antiga que este tema gerou confuso com as nossas intuies. Com o intuito de entender mais profundamente as concepes de infinito dos alunos, realizou-se um questionrio sobre o assunto em alunos de uma turma do 8. ano de escolaridade. No entanto, reconhecemos que a amostra de alunos com que trabalhamos est longe de ser representativa da realidade. Tratou-se de uma amostra por convenincia, pois por incompatibilidade de horrio, testes e trabalhos dos alunos, foi esta a organizao possvel. Logo o tamanho reduzido e a natureza circunstancial da amostra no legitima generalizaes. No que diz respeito s concepes acerca do infinito, as concluses a que chegmos so essencialmente coincidentes com as da generalidade dos estudos que se debruaram sobre esta problemtica (em particular, Rock (1991), Tall (1981) e Tirosh (1994)). No se afastam, igualmente, das apresentadas em Rodrigues (1994) num estudo envolvendo alunos de cursos de formao de professores de Matemtica no ano terminal de curso.
80
Concluso
De um modo geral os alunos admitem a ideia de um infinito em potncia, mas no em acto, e, quando no rejeitam totalmente a sua possibilidade, tendem a transpor para esse territrio os mtodos de comparao e medida que lhes so familiares do caso finito. Enfim, intuitivamente, a palavra infinito tem um, ou vrios, significados para cada um de ns. Desde sempre essa noo preocupa os homens. A partir da observao das estrelas, o decorrer do tempo, as experincias religiosas (crena na vida eterna), o homem tem-se questionado sobre algo maior do que a sua mente pode conceber e que ultrapassa os horizontes temporal e espacialmente limitados da sua existncia. A noo do ilimitado, do eterno, do que no acaba, do que est sempre para alm do concebvel, em suma, do infinito, faz parte das nossas experincias mais profundas. Ao longo dos tempos, pintores, escultores e poetas tm procurado traduzi-la na expresso artstica. Na pintura encontramo-la, por exemplo, na representao do horizonte em perspectiva, a partir do Renascimento, nas construes do Surrealismo nos princpios do sculo XX e constitui, como vimos, uma preocupao constante na obra de M. C. Escher. Na literatura, os exemplos abundam. Fiquemos apenas com o final de um soneto de Vinicius de Moraes onde se joga com as palavras imortal e infinito:
Eu possa me dizer do amor (que tive): Que no seja imortal, posto que chama Mas que seja infinito enquanto dure.
81
Concluso
Ou de Alexandre Oneill,
O infinito? Diz-lhe que entre. Faz bem ao infinito entre gente.
De facto, tal como na literatura e na expresso plstica, a representao do infinito em Matemtica um tpico apaixonante e igualmente belo. Porque, mesmo quando no parece fcil apercebermo-nos disso, a Matemtica tambm trabalha com ideias.
82
Bibliografia
Bibliografia
Borges, Jorge Lus (1941). Fices. Porto: Coleco Mil Folhas. Boyer, Carl B. (1993). Histria da Matemtica. So Paulo: Editora Edgard Blcher Ltda.
Caraa, Bento J. (1978). Conceitos fundamentais da matemtica. Lisboa. Devlin, Keith (1994). Matemtica: A cincia dos padres. Porto: Porto Editora Estrada, M. F. e outros (2000). Histria da Matemtica. Universidade Aberta. Eves, Howard (1997). Introduo histria da Matemtica. 2 edio. Campinas: Editora da Unicamp.
Gdel, Kurt. (1979). O teorema de Gdel e a hiptese do contnuo. Lisboa: Fundao Calouste Gulbenkian.
Guillen, Michael. (1987). Pontes para o infinito. O lado humano das matemticas. Lisboa: Gradiva.
Martinho, Maria H. S. S. (1996). O infinito atravs da obra de M. C. Escher. Dissertao apresentada para obteno do grau de Mestre em Matemtica, rea de especializao em Ensino. Universidade do Minho.
Pinto, Jos J. M. S. (2000). Mtodos infinitesimais de anlise matemtica. Lisboa: Fundao Calouste Gulbenkian.
Rodrigues, Marina V. V. F. (1994). O conceito de infinito em futuros professores de Matemtica. Dissertao apresentada para obteno do grau de Mestre em Cincias de Educao, especialidade de Superviso. Universidade de Aveiro.
Sampaio, Patrcia A. S. R. (2006). Concepes de infinito dos alunos do ensino secundrio: contributo da webquest Escher e a procura do infinito. Tese de mestrado em Educao. Universidade do Minho.
Stewart, Ian (1996). Os problemas da matemtica. Liboa: Gradiva.

83
Bibliografia
Struik, Dirk J. (1997). Histria Concisa das Matemticas. Lisboa: Gradiva. Viegas, Maria T. V. M. (1996). Infinito e dimenso: uma revoluo no sculo XIX. Dissertao de mestrado em Ensino de Matemtica. Universidade do Porto.
Waldegg, G. (1991). The conceptual evolution of actual mathematical infinity, Educacional Studies in Mathematics, 22.
84
Anexos
Anexos
85
Escola B 2/3 de Vila Verde 345430
Questionrio sobre o conceito de Infinito
1. L com ateno o excerto do texto Parliamo tanto di me (cap.XVI) de Csar Zavattini sobre uma competio Matemtica, qual quem ganha quem pronunciar o nmero mais elevado.
Meu pai e eu chegamos Academia quando o presidente Maust iniciava a chamada dos participantes na prova mundial de matemtica. - Um, dois, trs, quatro, cinco, Na sala ouvia-se apenas a voz dos concorrentes. () s vinte e duas exactas, registou-se o primeiro golpe de teatro: o algebrista Pull concluiu: - Um bilio. () Explodiram aplausos na sala, imediatamente secundados pelo presidente. Meu pai olhou em volta com superioridade () e principiou: - Um bilio de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies de bilies A multido delirava: - Viva, viva - de bilies de bilies de bilies de bilies de bilies de bilies () A sua voz atenuou-se a pouco e pouco e o ltimo sopro de bilies brotou-lhe dos lbios como um suspiro, aps o que se deixou cair na cadeira, exausto. O prncipe Oto aproximou-se, e preparava-se para lhe colocar a medalha no peito, quando Gianni Binacchi bradou: - Mais um! A multido precipitou-se no hemiciclo e ergueu este ltimo em triunfo. Quando regressmos a casa, minha me aguardava-nos, ansiosa, entrada. Chovia. Meu pai, mal desceu a carruagem, lanou-se-lhe nos braos, soluando: - Se tivesse dito mais dois, ganhava eu.
Ser que este pai tem razo? Para ganhar bastaria ter dito mais dois? Quem poder ganhar este concurso?
2. Como poderias explicar a algum o que o infinito?
3. Indica o valor lgico das seguintes afirmaes, assinalando com um X a resposta correcta.
Verdadeira 1. 2. 3. 4. 5. 6. Todo o segmento de recta contm um conjunto infinito de pontos. Todo o plano contm um nmero infinito de pontos. 0,0(9) > 0,0999999999999 Entre quaisquer dois pontos de uma recta sempre possvel existir outro. Toda a recta contm um conjunto infinito de pontos. 0,(7) 0,777777 = 0
Falsa
4. Quantos elementos tm os seguintes conjuntos? 4.1. { }; 4.2. {-1, 2, 5, 8}; 4.3. {1, 2, 3, 4, 5, }.
Trabalho realizado por:

Cristina Freitas Elsa Gonalves Ema Silva

O Infinito

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

O Infinito

Enviado por

Direitos autorais:

Formatos disponíveis

[O INFINITO] Introduo

Popularizao da Matemtica | Ncleo de estgio da EB 2,3 de Vila Verde

O Infinito potencial e o Infinito actual

1. O Infinito potencial e o Infinito actual

O Infinito potencial e o Infinito actual

Perspectiva histrica do conceito de Infinito

2. Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

2.1. Na Grcia Antiga

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

2.2. Na Idade Mdia

Perspectiva histrica do conceito de Infinito

2.3. No sculo XVII

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

2.4. No sculo XVIII

Perspectiva histrica do conceito de Infinito

2.5. No sculo XIX

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

O conjunto dos nmeros inteiros, e por maioria de razo, o conjunto das

2 , 3 2 ,..., , e, indicam quantidades.

O conjunto dos pontos do tempo e do espao:

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

e uma parte de qualquer

. Uma conjectura natural para encontrar infinitos maiores seria considerar

Perspectiva histrica do conceito de Infinito

, Hilbert questionou se ou no a primeira a seguir potncia numervel, 0 .

Perspectiva histrica do conceito de Infinito

Perspectiva histrica do conceito de Infinito

Os primeiros paradoxos do Infinito

3. Os primeiros paradoxos do Infinito

Os primeiros paradoxos do Infinito

3.1. Paradoxos de Zeno

Os primeiros paradoxos do Infinito

Os primeiros paradoxos do Infinito

Pela perspectiva de Zeno, teramos

[ AB ] [ AB ] [ AB ] [ AB ] [ AB] + + + + ... + n + ... 2 4 8 16 2

O segundo argumento de Zeno chama a ateno para que

Os primeiros paradoxos do Infinito

Os primeiros paradoxos do Infinito

3.2. Paradoxos de Galileu

Os primeiros paradoxos do Infinito

Os primeiros paradoxos do Infinito

Sagredo. Ento, qual a concluso a tirar nestas condies?

Os primeiros paradoxos do Infinito

A situao pode ser representada da seguinte forma:

Os primeiros paradoxos do Infinito

Os primeiros paradoxos do Infinito

O paraso que Cantor criou

4. O paraso que Cantor criou

O paraso que Cantor criou

O paraso que Cantor criou

O paraso que Cantor criou

O paraso que Cantor criou

e q 0 , numa matriz. A primeira linha contm, por ordem crescente, todas as

O paraso que Cantor criou

a1 , b10 b11b12 ...b1n ... a 2 , b20 b21b22 ...b2 n ...