UMA BREVSSIMA HISTRIA

DOS INFINITOS INFINITOS

Thiago Augusto S. Dourado

Universidade Federal de Juiz de Fora - UFJF
doranykov@yandex.com

40 GAZETA DE MATEMTICA 177

 Todas as coisas so de tal
natureza que, quanto mais
abundante a dose de loucura
que encerram, tanto maior
o bem que proporcionam
aos mortais.
Erasmo de Rotterdam
INTRODUO
A histria aqui contada comea, no cronologicamente,
em Halle, uma cidade provinciana do leste alemo, onde
foi desencadeada na segunda metade do sculo XIX uma
revoluo protagonizada por um matemtico da univer-
sidade municipal local. George Cantor (1845-1918) deu
o primeiro tiro nesta tal revoluo quando colocou a
simples questo: Quo grande o infinito?
O que da decorreu acabou por abalar as fundaes da
matemtica e de toda a cincia em geral.
vlido salientar que muitos antes de Cantor, pelo
menos desde os gregos, com tanto prestgio como ele ou
maior, confrontaram a questo do infinito. Mas foi este
matemtico russo, advindo da sofisticada So Peters-
burgo, quem fez a travessia transcendental que ningum
mais conseguira e encontrou a resposta, mas por isso pa-
gou um alto preo. Cantor viria a morrer a 6 de janeiro
de 1918, louco, internado num manicmio da Universida-
de de Halle, e as suas nicas companhias eram os solda-
dos desfigurados oriundos da Primeira Guerra Mundial.
A questo : O que que poderia ele, um dos maiores matem-
ticos de todos os tempos, ter visto que o levou loucura?
UMA BREVSSIMA HISTRIA DOS INFINITOS INFINITOS Thiago Augusto S. Dourado
1. O INFINITO POTENCIAL E O INFINITO EM ATO
Todo o mundo moderno baseado em curvas, trajetrias
e foras, e no mago destas coisas est o infinito. Ao se
olhar microscopicamente para uma trajetria suave e
lisa, ver-se- que na realidade ela no lisa, , na verdade,
composta por um nmero infinito de segmentos de retas
infinitamente pequenos e cada segmento um instante
em que no h movimentos, como quadros de um fil-
me que, apresentados em sequncia, do a impresso de
movimento.
Desta forma, toda a coisa se baseia ento no conceito
de infinito, e ele funciona, e o facto de ele funcionar era o
que bastava para os pensadores da poca. Entretanto Can-
tor veio e protagonizou o pensamento de que se tudo se
baseia no infinito, tem-se de o entender, saber que funcio-
na no deveria ser o suficiente.
Dizer que o infinito funciona significa dizer que o
manuseio das relaes matemticas que envolvem este
conceito praticvel sem que seja necessrio um seu en-
tendimento completo, tal como se deu com o conceito de
nmero durante um longo perodo da Histria.
Para que se compreenda as ideias de Cantor impor-
tante observar e clarificar que existem dois tipos de infini-
tos a considerar: o infinito potencial e o infinito em ato.
O conceito de infinito potencial est diretamente ligado
ideia de sucesso infinita, isto , na sua dinmica ope-
racional nunca se encontra o fim, ou seja, o processo de
operar nunca finalizado.
Em suma, o infinito potencial usado para processos
que podem, em princpio, continuar por um tempo maior
do que qualquer outro tempo, ou para objetos que podem,
em princpio, crescer mais do que qualquer outro objeto.
Entre a comunidade filosfica e a comunidade mate-
mtica, o conceito de infinito potencial sempre foi de fcil
aceitao e no apresentava controvrsias, o desconforto
que vieram a sofrer estas comunidades deu-se quando se
almejou considerar a concretizao do infinito potencial como
um todo completo, um infinito em ato, ou seja, uma quan-
tidade que coloca um fim completo no processo de atua-
o do infinito potencial. Neste caso, o infinito no mais
visto como um processo, mas sim como uma quantidade
infinita esttica. Para se ter uma ideia da complexidade
deste conceito, Aristteles (384 a.C.-322 a.C.) considerava
o infinito potencial e afirmava no fazer sentido pensar na
sua concretizao como um todo completo, ou seja, um
infinito em ato. Perante estes factos, tem-se a questo: ser
possvel uma entidade completa e existente de tamanho infinito?
41
 2. A DEFINIO DE INFINITO
George Cantor foi um matemtico de primeira grandeza,
os seus trabalhos estendem-se a diversos ramos da mate-
mtica, inclusive rainha Teoria dos Nmeros. No en-
tanto, a sua grande obra foi a polmica e revolucionria
teoria do infinito, pela qual ele foi venerado e execrado.
Como j referido, o infinito em ato a concretizao
do infinito potencial como um todo completo, desta for-
ma no se trata de um objeto em si, mas de vrios objetos
cuja totalidade resulta numa quantidade chamada de
infinito, ou seja, conjuntos cuja totalidade dos seus ele-
mentos, a sua cardinalidade, como denominada, in-
finita. Por exemplo, ao se dizer que a cardinalidade do
conjunto N dos nmeros naturais infinita, no se est a
fazer referncia a um nmero em especial, mas sim to-
talidade destes nmeros. Escrever-se- #A para denotar
a cardinalidade do conjunto A.
Dir-se- que os conjuntos A e B tm a mesma cardina-
lidade, #A = #B, se, e somente se, existir uma correspon-
dncia um-a-um (bijetiva) entre os elementos de A e os
elementos de B. Neste caso, diz-se tambm que os conjun-
tos A e B so do mesmo tamanho.
Nos seus Elementos, Euclides ( 300 a.C.) coloca como
facto fundamental a seguinte noo comum (axioma): o
todo maior do que as suas partes. Richard Dedekind (1831-
1916), entretanto, um grande amigo de Cantor e outro
gigante da matemtica, fundador da Teoria Algbrica
dos Nmeros, admitiu uma propriedade vislumbrada por
Bernard Bolzano (1781-1848), que contrariava o axioma de
Euclides, e, em 1888, num artigo intitulado Was sind und
was sollen die Zahlen? (O que so e para que servem os
nmeros?), ele utilizou-a para apresentar uma definio
de conjunto infinito (e conjunto finito): Um conjunto A
infinito se, e somente se, existir um subconjunto prprio1 B de
A e uma correspondncia um-a-um entre A e B; e o conjunto A
ser finito se no for infinito.
Desta forma, enquanto o conjunto vazio, simboliza-
do por , finito, pois no possui nenhum subconjunto
prprio, o conjunto N = {0, 1, 2, 3, . . .}, dos nmeros na-
turais, por outro lado, um conjunto infinito, pois existe
uma correspondncia um-a-um, dada pelo dobro, entre o
conjunto dos nmeros naturais e o conjunto P dos nme-
ros naturais pares:
NmerosNaturais
Numeros naturais: : 0 1 2 3 4 5
l l l l l l
Nmeros
Numeros naturais
Naturaispares
Pares :: 2 4 6 8 10 12
E assim, o conjunto N de todos os nmeros naturais
42 GAZETA DE MATEMTICA 177
e o conjunto P dos nmeros naturais pares tm a mesma
quantidade de elementos, ou seja, existe a mesma quantida-
de de nmeros naturais e nmeros naturais pares.
Neste exemplo tem-se um caso real que fere a intui-
o latente, se existe uma mesma quantidade de nmeros
naturais e nmeros naturais pares, aonde esto os n-
meros naturais mpares? O interessante que o conjun-
to N \ P dos nmeros naturais mpares, e o conjunto N
tambm so do mesmo tamanho, pois, como no caso atrs
mencionado, existe uma correspondncia um-a-um, dada
pelo dobro acrescido da unidade, entre os nmeros natu-
rais e os nmeros naturais mpares. Assim, o conjunto dos
nmeros naturais pares, o conjunto de todos os nmeros
naturais e o conjunto dos nmeros naturais mpares so
do mesmo tamanho, possuem a mesma cardinalidade.
Seguindo esta linha pode ver-se facilmente que se
for retirada uma quantidade finita qualquer de nmeros
naturais do conjunto dos nmeros naturais, o conjunto
que resulta continuar a ser infinito. A ttulo de exem-
plificao, suponha que sejam retirados os nmeros 3 e
5 do conjunto dos nmeros naturais. Ver-se-, ento, que
o conjunto que resulta continua a ser infinito, tendo visto
que se pode construir uma correspondncia um-a-um da
seguinte forma:
0 1 2 3 4 5 6 7 8
l l l l l l l l l
0 1 2 4 6 7 8 9 10
Esta propriedade pode ser formalizada de uma maneira
mais geral, como no seguinte teorema: Se A um con-
junto infinito e a1 , . . . , an 2 A, ento A \ { a1 , . . . , an } um
conjunto infinito.2
Cantor obteve ento, com o uso deste teorema, o seu
primeiro avano na questo do tamanho do infinito:
No existe nenhum conjunto que seja infinito e que tenha cardi-
nalidade menor do que a cardinalidade do conjunto dos nme-
ros naturais, ou seja, no existe infinito menor do que o infinito
dos nmeros naturais. Assim, ele utilizou o smbolo @0 para
denotar a cardinalidade dos nmeros naturais (o mesmo
ser seguido aqui).
3.CONJUNTOS ENUMERVEIS
George Cantor havia conseguido vislumbrar um resulta-
do fantstico, que dizia que todo o conjunto infinito tem
cardinalidade igual ou maior do que a cardinalidade dos
nmeros naturais. Por outro lado, se todos os conjuntos
infinitos tivessem cardinalidade no superior cardina-
lidade de N, ento a questo do tamanho do infinito
estaria resolvida, a saber, ter-se-ia que o infinito do tama-
nho do conjunto que contempla a totalidade dos nmeros Todas as fraes aparecem ento em algum lugar bem es-
naturais. Ele comeoiu ento a investigar esta questo, e tabelecido desta grade infinita, por exemplo, a frao 4/5
em 1882, num trabalho intitulado Grundlagen einer allge- encontrada na quarta coluna da quinta fileira. Para ob-
meinen Mannigfaltigkeitslehre. Ein mathematisch-philosophis- ter uma bijeo entre os nmeros naturais e os nmeros
cher Versuch in der Lehre des Unendlichen (Fundamentos de racionais, traa-se uma linha poligonal entre 0 e 1, e que
uma teoria geral das multiplicidades. Uma investigao continua indo e voltando diagonalmente sem saltos pe-
matemtico-filosfica da teoria do infinito), introduziu o las fraes. Acompanhando a ordenao obtida por meio
conceito de enumerabilidade de conjuntos: Um conjunto desta linha poligonal, obtm-se uma bijeo que pode ser
enumervel se, e somente se, for um conjunto finito ou estiver ilustrada segundo o esquema abaixo:
em correspondncia um-a-um com o conjunto N dos nmeros
naturais. Desta forma, a questo do tamanho do infinito
traduz-se, em princpio, em analisar a enumerabilidade
dos conjuntos.
Um facto intuitivamente claro aquele que diz que
entre dois nmeros naturais consecutivos no existe ne-
nhum nmero natural. Entretanto, sabe-se que existe uma
infinidade de fraes. E ainda, indo um pouco mais alm,
entre duas fraes quaisquer existe ainda uma infinidade
de fraes. Vendo esta propriedade, de se esperar que
o conjunto Q dos nmeros racionais, de todas as fraes,
tenha cardinalidade maior do que a cardinalidade dos n-
meros naturais, ou seja, que seja no-enumervel, tendo
visto que entre duas fraes quaisquer existe [por si s]
uma infinidade de fraes. Entretanto, ao analisar a enu-
merabilidade do conjunto dos nmeros racionais, Cantor
obteve a surpreendente constatao de que este conjunto
do mesmo tamanho que o conjunto dos nmeros natu-
rais, ambos possuem a mesma cardinalidade. Por outras Ou seja, tem-se uma enumerao do conjunto do nmeros
palavras: O conjunto Q dos nmeros racionais um conjunto racionais, que pode ser representada mais explicitamente
enumervel. pelo seguinte:
Para demonstrar este resultado surpreendente, ele
construiu uma correspondncia um-a-um entre os racio-
nais e os naturais usando um mtodo totalmente novo,
chamado mtodo da grade infinita. Considera-se, inicial-
mente, uma grade infinita onde esto alocadas todas as
fraes: na primeira linha so alocadas as fraes com 1 no
denominador e, adicionalmente, o zero (os nmeros natu-
rais); na segunda linha so alocadas as fraes (no-nulas)
com 2 no denominador; na terceira linha, as fraes (no-
-nulas) com 3 no denominador, e assim por diante. 4. TAMANHO DO INFINITO - QUESTO
0 1 2 3 4 5 6
ENCERRADA?
1 1 1 1 1 1
1 2 3 4 5 6 Com as descobertas de Cantor, a questo do tamanho
2 2 2 2 2 2
1 2 3 4 5 6
do infinito parecia estar resolvida, tudo fazia crer que o

3 3 3 3 3 3 infinito do mesmo tamanho da totalidade dos nmeros
1 2 3 4 5 6
4 4 4 4 4 4
1 2 3 4 5 6
5 5 5 5 5 5 1
Por subconjunto prprio de A entende-se qualquer subconjunto de A
1 2 3 4 5 6 que seja diferente de A.
6 6 6 6 6 6
.. .. .. .. .. .. .. 2
A notao A\B indica os elementos de A que no so elementos de B.
. . . . . . .

UMA BREVSSIMA HISTRIA DOS INFINITOS INFINITOS Thiago Augusto S. Dourado 43

 naturais. Foi ento que ele se props a encontrar uma ma-
neira de mostrar que o conjunto R , dos nmeros reais, era
enumervel, mas no obteve xito.
Ao considerar o conjunto de todos os nmeros reais,
Cantor constatou que este conjunto no era enumervel,
mas era infinito, pois f : (1, 1) ! R , definida por
tan(px )
f (x) =
2
uma bijeo e o intervalo ( 1, 1) uma parte prpria
de R . Logo, a cardinalidade dos nmeros reais, tambm
chamada de contnuo, e por isso com o smbolo c, maior
do que a cardinalidade do conjunto dos nmeros naturais.
Em smbolos:
@0 < c.
Isto porque ambas as cardinalidades so infinitas, e distin-
tas entre si, e pelo facto de no existir cardinalidade infini-
ta que seja menor do que @0 = # N.
Para provar que o conjunto R dos nmeros reais no-
-enumervel, suficiente mostrar que o intervalo (0, 1) no
enumervel. Suponha, entretanto, o contrrio, que (0, 1)
enumervel. Neste caso, existir uma correspondncia
um-a-um entre N e o intervalo (0, 1), de modo a se poder
listar todos os elementos do intervalo da seguinte forma:
1 ! 0, a11 a12 a13 . . .
2 ! 0, a21 a22 a23 . . .
..
.
` ! 0, a`1 a`2 a`3 . . .
..
.
em que cada a jk 2 {0, 1, 2, . . . , 9}. Considere agora o n-
mero D entre 0 e 1 definido por D = 0, d1 d2 d3 . . ., onde
d1 = a11 + 1, d2 = a22 + 1, d3 = a33 + 1 e assim por diante,
observando que se aii = 9 , ento di = 1. bastante claro
que D est entre 0 e 1, entretanto D no pode estar na lis-
ta acima, pois d1 = a11 + 1 6= a11, d2 6= a22, d3 6= a33, e as-
sim sucessivamente, mostrando que o nmero D no est
na lista. Portanto, no se pode criar uma correspondn-
cia um-a-um entre o conjunto dos nmeros naturais e o
intervalo (0, 1).
5. A HIERARQUIA INFINITA DE INFINITOS
Sabendo que o infinito dos nmeros reais maior do que
o infinito dos nmeros naturais, surgem as questes: Ser
que existem infinitos maiores do que o infinito dos nme-
ros reais? Se houver, como os obter? Nesta seco encon-
tram-se as respostas a estas questes e a apresentao dos
dois maiores teoremas de Cantor.
44 GAZETA DE MATEMTICA 177
O conjunto formado por todos os subconjuntos de um
dado conjunto A chamado conjunto das partes de A, e
denotado por } ( A).
(5.1) Primeiro Teorema de Cantor. Se A um conjunto, fi-
nito ou infinito, ento a cardinalidade de A (estritamen-
te) menor do que a cardinalidade do conjunto das partes
de A. Em smbolos:
#A < #}( A).
Demonstrao. Se A = , ento #A = 0 < 1 = #}( A).
Suponha que A 6= . Neste caso, a funo g : A ! } ( A),
dada por g ( x ) = { x } 2 } ( A), para todo x 2 A, injeti-
va. Desta forma, o conjunto A tem a mesma cardinalida-
de do conjunto { { x } | x 2 A} de } ( A) ou, equivalente,
#A #}( A).
Para que a demonstrao fique completa s resta
mostrar que a cardinalidade de A no igual cardina-
lidade do conjunto das partes de A. Para isso suponha o
contrrio, que existe uma bijeo f : A ! } ( A). Consi-
dere o conjunto S = { x 2 A | x 2 / f ( x ) }, que consiste
naqueles elementos de A que no esto nas suas imagens
sob f. Como S 2 } ( A) e f : A ! } ( A) uma bijeo,
existe um elemento e 2 A tal que f (e) = S. Neste caso,
ou e 2 S ou e 2 / S. Se e 2 S, segue, da definio de S, que
e2 / f (e), o que impossvel, pois f (e) = S e e 2 / S. Se, por
outro lado, e 2 / S, como f (e) = S, tem-se e 2 / f (e), conse-
quentemente, da definio de S, e 2 S e, portanto, e 2 f (e),
o que novamente impossvel. Assim uma contradio foi
gerada e o Primeiro Teorema de Cantor est demonstrado.
Um esclio para o Primeiro Teorema de Cantor o se-
guinte: Para um conjunto qualquer, finito ou infinito, tem-se que
a totalidade dos seus elementos sempre menor do que a totalida-
de dos elementos do conjunto das partes deste mesmo conjunto.
Por outras palavras, se um conjunto infinito, existe um outro
conjunto, diferente deste, que maior na grandeza de infinito, que
, a saber, o conjunto das partes deste mesmo conjunto. Ou seja,
sempre existe um infinito maior do que o infinito de qualquer con-
junto infinito, que o infinito do conjunto das partes deste mesmo
conjunto.
Desta forma, existe um conjunto maior na grandeza de
infinito do que o conjunto R , dos nmeros reais, que , a
saber, }(R ), e, que por sua vez, menor, na grandeza de
infinito, do que o conjunto }(}(R )), que menor do que o
conjunto } (} (} (R ))), e assim sucessivamente. Portanto,
esto respondidas explicitamente as questes colocadas no
incio desta seco.
 O prximo teorema relaciona a cardinalidade das par-
tes e as potncias de cardinais.
(5.2) Teorema.Se A um conjunto qualquer, finito ou infi-
nito, ento a cardinalidade das partes de A igual cardi-
nalidade do conjunto de todas as funes com domnio em
A e contradomnio em {0, 1}, ou seja,
#}( A) = 2#A .
Em particular, se A = N ento #}(N ) = 2@0 .
Demonstrao. Se A = , ento
#}( A) = #{0} = 1 = 20 = 2#A ,
e o resultado verifica-se. Suponha ento que A 6= , e as-
socia-se a cada subconjunto D A a funo caracterstica
c D : A ! {0, 1} definida por
1 se x 2 D,
cD =
0 se x 2 A \ D.
Observe agora que a funo de } ( A) em B A que leva D em
c D uma bijeo, facto que segue diretamente da defini-
o de c D. Portanto, os conjuntos } ( A) e B A tm a mesma
cardinalidade, ou seja, #}( A) = 2#A .
Por fim, do Primeiro Teorema de Cantor tem-se
@0 < #}(N ) e do Teorema (5.2) tem-se #}(N ) = 2@0 . Des-
ta forma, pode-se exibir uma cadeia hierrquica infinita de
infinitos, ou, noutras palavras, uma sequncia infinita orde-
nada de nmeros (cardinais) transfinitos3, comeando do me-
nor entre eles:
@0 2@0
@
22 0 22
2@0
@0 < 2@0 < 22 < 22 < 22 < 22
O segundo grande teorema de Cantor veio responder
questo: Quo maior do que o conjunto dos nmeros naturais,
na grandeza de infinitos, o contnuo - o conjunto dos nmeros
reais? A importncia fundamental deste teorema que ele
fez por relacionar, numa equao, o cardinal @0 dos nme-
ros naturais e o cardinal c dos nmeros reais.
(5.3) Segundo Teorema de Cantor. A cardinalidade do
conjunto das partes do conjunto dos nmeros naturais
igual cardinalidade do conjunto dos nmeros reais.
Em smbolos:
2@0 = c.
Demonstrao. Considere a funo f : R ! } (Q ) defi-
nido por
f ( a) = { a 2 Q | x < a} ,
para cada a 2 R. Esta funo injetiva, pois se a e b so
nmeros reais tais que a < b, ento, do facto de Q ser
UMA BREVSSIMA HISTRIA DOS INFINITOS INFINITOS Thiago Augusto S. Dourado
denso em R , segue-se que existe um nmero racional r
tal que a < r < b, logo, r 2 f (b), mas r 2 / f ( a), ou seja,
se a e b so reais distintos ento f ( a) 6= f (b). Portanto,
c # } ( Q ) = # } ( N ) = 2@0 .
Para provar a desigualdade reversa, toma-se
y : {0, 1}N ! R a funo definida por
y ( f ) = 0, f (1) f (2) f (3) . . .
em que f 2 {0, 1} . Note que y ( f ) um nmero deci-
N
mal consistindo em 0s e 1s. Se f , g 2 {0, 1}N so tais que
f 6= g, ento y ( f ) = y ( g), pois os decimais que definem
y ( f ) e y ( g) so diferentes. Logo, y : {0, 1}N ! R inje-
tiva, e portanto, c 6 2@0 .
Desta forma, c 6 2@0 e 2@0 6 c, e assim 2@0 = c.
6. A HIPTESE DO CONTNUO, O PROBLEMA
QUE LEVOU CANTOR LOUCURA
George Cantor j era consagrado, tudo corria bem na sua
vida, e ele acreditava que isso era devido ao facto de ser
guiado por Deus, mas foi ento que ele fez a questo que
fez, para desenvolver parte substancial da matemtica do
sculo XX, mas que tambm fez com que a sua vida decli-
nasse: J se sabe que o infinito dos nmeros naturais menor
que o infinito dos nmeros reais o contnuo a questo : ser
que existe um infinito que seja maior do que o infinito dos nme-
ros naturais e menor do que o infinito dos nmeros reais? Can-
tor, a princpio, sups que a resposta a esta questo seria
negativa, e chamou a esta suposio hiptese do contnuo,
isto , ele sups que no existia nenhum cardinal x tal que
< @ 0 < x < 2@0 .
O problema parecia ser simples e Cantor comeou a traba-
lhar na soluo, mas eis que a hiptese do contnuo mos-
trou no ser nada simples. Aps mais de dois anos a traba-
lhar com afinco neste problema, em 1884, e com os ataques
pessoais e profissionais que vinha a sofrer, devido s suas
ideias revolucionrias, e que eram cada vez mais intensos,
Cantor pensou no ser mais capaz de suportar tudo aquilo,
e no suportou! Em maio daquele ano ele sofreu uma enor-
me crise nervosa, a sua filha descreveu como a sua per-
sonalidade se transformou, as falas sem sentido seguidas
de silncio absoluto e incomunicao total. Foi nessa poca
que ele foi internado pela primeira vez no Sanatrio Uni-
versitrio de Halle. Tudo em Cantor mudou aps aquela
3
A nomenclatura nmero transfinito foi dada por Cantor quantidade
que representa a cardinalidade dos conjuntos infinitos. O nome deriva do
facto de estas quantidades transcenderem at mesmo o infinito.
45
 crise, ele disse aos amigos no saber se ia conseguir fazer
(ou ensinar) matemtica novamente, pediu universidade
na qual era professor, autorizao para ministrar cursos de
filosofia em lugar dos cursos de matemtica, pedido que
foi aceite sem maiores problemas. Mas, apesar de ele afir-
mar no ser mais capaz de fazer matemtica, jamais parou
de trabalhar na hiptese do contnuo.
Mittag-Lefler (1846-1927), um matemtico sueco, fun-
dador da Acta Matehmatica, que era um grande amigo
de Cantor, a certa altura recebeu uma carta eufrica deste
dizendo que havia demonstrado a hiptese do contnuo
e que a enviaria em algumas semanas. Mas, ao invs dis-
so, trs meses mais tarde, uma segunda carta apareceu,
e nessa pode perceber-se o constrangimento de Cantor,
nela ele dizia que sentia muito, que jamais deveria ter
dito que havia provado a hiptese do contnuo. Poste-
riormente, trs semanas aps essa segunda carta, Cantor
enviou uma outra, em que dizia: Eu provei que a hip-
tese do contnuo falsa. E o ciclo continua, ele prova
que verdadeira, depois prova que falsa, para a frente
e para trs. Na verdade, o que Cantor estava a fazer, era a
levar-se loucura aos poucos. Por mais que tentasse obter
xito, de alguma forma as suas tentativas eram frustradas
e ele no conseguia resolver a hiptese do contnuo, des-
creve ento o infinito como um abismo, um vcuo talvez,
entre o que ele havia achado e o que ele sabia existir mas
no podia alcanar.
Aps este perodo, a hiptese do contnuo permane-
ceria inerte durante anos, at que, em 1938, Kurt Gdel
(1906-1978), num trabalho intitulado The Consistency of the
Axiom of Choice and of the Generalized Continuum-Hypothe-
sis with the Axioms of Set Theory (A Consistncia do Axio-
ma de Escolha e da Hiptese Generalizada do Continuum
com os Axiomas da Teoria dos Conjuntos), veio e tirou-a
desta inrcia com um importante avano. Tinham entre-
tanto surgido alguns paradoxos na teoria dos conjuntos,
exigindo assim que esta teoria fosse mais bem formali-
zada. A axiomtica dada por Ernest Zermelo (1871-1953)
e Abraham Fraenkel (1891-1965), acrescida do axioma
de escolha, considerada a mais eficiente formalizao
da teoria dos conjuntos. O que Gdel fez, em relao
hiptese do contnuo, foi fortalecer e ajudar a fixar esta
axiomtica teoria dos conjuntos, pois provou que esta
hiptese e esta axiomtica eram consistentes: A negao da
hiptese do contnuo no pode ser provada a partir dos axiomas
de Zermelo-Fraenkel mais o axioma de escolha, ou seja, eles
so consistentes. Isto , no h contradies entre a hiptese do
46 GAZETA DE MATEMTICA 177
contnuo e estes axiomas. Pode ento construir-se toda a teoria
dos conjuntos, baseada no axioma de escolha e nos axiomas de
Zermelo-Fraenkel, e assumir que a hiptese do continuum
verdadeira.
Em 1963, no entanto, usando uma tcnica totalmente
nova, chamada forcing, um jovem matemtico dos Esta-
dos Unidos, chamado Paul Cohen (1934-2007), demons-
trou um importante resultado envolvendo os axiomas de
Zermelo-Fraenkel, o axioma de escolha e a hiptese do
contnuo: A hiptese do contnuo no pode ser provada a par-
tir dos mesmos axiomas de Zermelo-Fraenkel mais o axioma de
escolha, eles so independentes.
Em suma, a hiptese do contnuo no contradiz a
teoria dos conjuntos baseada nos axiomas de Zermelo-
-Fraenkel mais o axioma de escolha, mas somente com
base nestes axiomas ela no pode ser provada, eles so
insuficientes, ou independentes.
Desde a sua primeira crise, Cantor passou perodos
de idas e vindas ao sanatrio de Halle, com internamen-
tos cada vez mais duradouros, at sua morte, em 1918,
sozinho e tomado pela loucura.
Justo no seria este texto se deixasse de mencionar
que houve tambm matemticos de primeira grandeza
que entraram em defesa de Cantor. O j citado Mittag-
-Lefler foi um deles, mas, sobretudo, David Hilbert (1862-
1943), um dos mais importantes matemticos de todos os
tempos, que tambm entrou abertamente em defesa das
ideias de Cantor. Para se ter uma ideia da importncia
de Hilbert, foi ele quem deu uma nova fundamentao
matemtica no sculo XX, tendo trabalhado de forma
significativa em quase todas as reas da matemtica: h
a Teoria dos Nmeros de Hilbert, as Equaes Dife-
renciais e as Equaes Integrais de Hilbert, os Espa-
os de Hilbert, a Geometria de Hilbert e etc., alm de
ter resolvido, antes de Einstein, as equaes da Teoria da
Relatividade Geral. Foi ele tambm quem praticamen-
te pautou a pesquisa matemtica do sculo passado,
quando, em 1900, no Congresso Mundial de Matemtica,
em Paris, apresentou uma conferncia que continha os fa-
mosos 23 problemas, cuja solues foram objeto de desejo
da maioria esmagadora dos matemticos espalhados pelo
mundo. O primeiro problema desta lista foi justamente a
hiptese do contnuo. Para ilustrar a importncia do que
Cantor tinha feito, Hilbert disse a clebre e memorvel
frase: Ningum poder tirar-nos do paraso em que Can-
tor nos colocou.
REFERNCIAS
[1] Dauben, J. W. Georg Cantor - His Mathematics and Philosophy
of the Infinite. Princeton University Press, Princeton, 1990.
[2] Halmos, P. R. Teoria Ingnua dos Conjuntos. Traduo
de Lzaro Coutinho. Editora Cincia Moderna, Coleo
Clssicos da Matemtica, Rio de Janeiro, 2001.
[3] Lin, S-Y. T.; Lin, Y-F. Set Theory: An Intuitive Approach.
Houghton, Mifflin Co., Boston, 1974.
UMA BREVSSIMA HISTRIA DOS INFINITOS INFINITOS Thiago Augusto S. Dourado
sobre o autor
Thiago Augusto S. Dourado formado em Matemtica Pura
pela Universidade Federal de Mato Grosso do Sul UFMS, um esta-
do do centro brasileiro onde se localiza o Pantanal. Atualmente integra
o corpo acadmico da Universidade Federal de Juiz de Fora UFJF.
As suas principais reas de interesse so a lgebra e a teoria dos n-
meros, devido influncia de seu preceptor e amigo, o mundialmente
conhecido Paulo Ribenboim, mas tem um enorme apreo pela filosofia
e pela histria da matemtica, como fica claro no presente artigo.
47