Escolar Documentos
Profissional Documentos
Cultura Documentos
Em particular, se A = N ento #}(N ) = 2@0 . 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
Demonstrao. Se A = , ento y ( f ) e y ( g) so diferentes. Logo, y : {0, 1}N ! R inje-
#}( A) = #{0} = 1 = 20 = 2#A , tiva, e portanto, c 6 2@0 .
e o resultado verifica-se. Suponha ento que A 6= , e as- Desta forma, c 6 2@0 e 2@0 6 c, e assim 2@0 = c.
socia-se a cada subconjunto D A a funo caracterstica
c D : A ! {0, 1} definida por
1 se x 2 D, 6. A HIPTESE DO CONTNUO, O PROBLEMA
cD =
0 se x 2 A \ D. QUE LEVOU CANTOR LOUCURA
Observe agora que a funo de } ( A) em B A que leva D em George Cantor j era consagrado, tudo corria bem na sua
c D uma bijeo, facto que segue diretamente da defini- vida, e ele acreditava que isso era devido ao facto de ser
o de c D. Portanto, os conjuntos } ( A) e B A tm a mesma guiado por Deus, mas foi ento que ele fez a questo que
cardinalidade, ou seja, #}( A) = 2#A . fez, para desenvolver parte substancial da matemtica do
sculo XX, mas que tambm fez com que a sua vida decli-
Por fim, do Primeiro Teorema de Cantor tem-se nasse: J se sabe que o infinito dos nmeros naturais menor
@0 < #}(N ) e do Teorema (5.2) tem-se #}(N ) = 2@0 . Des- que o infinito dos nmeros reais o contnuo a questo : ser
ta forma, pode-se exibir uma cadeia hierrquica infinita de que existe um infinito que seja maior do que o infinito dos nme-
infinitos, ou, noutras palavras, uma sequncia infinita orde- ros naturais e menor do que o infinito dos nmeros reais? Can-
nada de nmeros (cardinais) transfinitos3, comeando do me- tor, a princpio, sups que a resposta a esta questo seria
nor entre eles: negativa, e chamou a esta suposio hiptese do contnuo,
@0 2@0
@
22 0 22
2@0 isto , ele sups que no existia nenhum cardinal x tal que
@0 < 2@0 < 22 < 22 < 22 < 22 < @ 0 < x < 2@0 .
O segundo grande teorema de Cantor veio responder O problema parecia ser simples e Cantor comeou a traba-
questo: Quo maior do que o conjunto dos nmeros naturais, lhar na soluo, mas eis que a hiptese do contnuo mos-
na grandeza de infinitos, o contnuo - o conjunto dos nmeros trou no ser nada simples. Aps mais de dois anos a traba-
reais? A importncia fundamental deste teorema que ele lhar com afinco neste problema, em 1884, e com os ataques
fez por relacionar, numa equao, o cardinal @0 dos nme- pessoais e profissionais que vinha a sofrer, devido s suas
ros naturais e o cardinal c dos nmeros reais. ideias revolucionrias, e que eram cada vez mais intensos,
Cantor pensou no ser mais capaz de suportar tudo aquilo,
(5.3) Segundo Teorema de Cantor. A cardinalidade do e no suportou! Em maio daquele ano ele sofreu uma enor-
conjunto das partes do conjunto dos nmeros naturais me crise nervosa, a sua filha descreveu como a sua per-
igual cardinalidade do conjunto dos nmeros reais. sonalidade se transformou, as falas sem sentido seguidas
Em smbolos: de silncio absoluto e incomunicao total. Foi nessa poca
2@0 = c.
que ele foi internado pela primeira vez no Sanatrio Uni-
Demonstrao. Considere a funo f : R ! } (Q ) defi- versitrio de Halle. Tudo em Cantor mudou aps aquela
nido por
f ( a) = { a 2 Q | x < a} ,
3
A nomenclatura nmero transfinito foi dada por Cantor quantidade
para cada a 2 R. Esta funo injetiva, pois se a e b so que representa a cardinalidade dos conjuntos infinitos. O nome deriva do
nmeros reais tais que a < b, ento, do facto de Q ser facto de estas quantidades transcenderem at mesmo o infinito.
[1] Dauben, J. W. Georg Cantor - His Mathematics and Philosophy Thiago Augusto S. Dourado formado em Matemtica Pura
of the Infinite. Princeton University Press, Princeton, 1990. 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.
[2] Halmos, P. R. Teoria Ingnua dos Conjuntos. Traduo As suas principais reas de interesse so a lgebra e a teoria dos n-
meros, devido influncia de seu preceptor e amigo, o mundialmente
de Lzaro Coutinho. Editora Cincia Moderna, Coleo
conhecido Paulo Ribenboim, mas tem um enorme apreo pela filosofia
Clssicos da Matemtica, Rio de Janeiro, 2001. e pela histria da matemtica, como fica claro no presente artigo.
[3] Lin, S-Y. T.; Lin, Y-F. Set Theory: An Intuitive Approach.
Houghton, Mifflin Co., Boston, 1974.