Escolar Documentos
Profissional Documentos
Cultura Documentos
Cardinais Transfinitos
Cardinais Transfinitos
Cardinais Transfinitos
Cardinais Transfinitos
do Sol, maior do que o nmero de metros que nos separam da Lua, e mesmo
assim um nmero bem pequeno. Se quisssemos saber aquela distncia em
angstrons medida usada para medir tomos teramos 50 decilhes de
angstrons ou 5 com 34 zeros depois. O nmero de tomos do Universo foi calculado em 1 com 72 zeros depois. E observemos que cada zero acrescentado
multiplica o nmero por dez. Existe um nmero chamado googol, que 1 com
100 zeros depois. maior do que o nmero de tomos do Universo. O googolplex 1 com 1 googol de zeros depois. Porm, ainda um nmero finito e pode haver teoricamente conjuntos finitos que possuam esse nmero para
cardinal.
Da podemos inferir que o infinito, idealizado pela razo humana,
de tal maneira grande que inconcebvel por essa mesma razo. Disse de tal
maneira grande, mas esta expresso no pode ser aplicada ao infinito, pois ele
maior do que qualquer coisa ou nmero imaginvel. Contudo, o homem ousou
contar os elementos de um conjunto infinito; props um nmero cardinal para
os nmeros naturais.
Foi o matemtico alemo Georg Cantor (1845-1918), nascido na
Rssia, que, em fins do sculo XIX, idealizou uma classe de nmeros para serem cardinais dos conjuntos infinitos. Como os nmeros cardinais que conhecemos so finitos, so nmeros naturais, outro nome deve ser dado ao nmero
de elementos dos conjuntos infinitos. Eles so chamados nmeros cardinais
transfinitos e representam a possana ou potncia dos conjuntos infinitos,
que equivalente ao nmero de elementos dos conjuntos finitos. Sendo o conjunto infinito, no posso dizer quantos elementos ele tem, mas posso dizer qual
a possana que ele possui. Como definimos nmero cardinal como a abstrao feita da propriedade comum de todos os conjuntos finitos que esto em
correspondncia bi-unvoca, assim definimos possana propriedade comum
de todos os conjuntos infinitos que sejam equivalentes.
Ora, dir o leitor, assim como o vazio nico, tambm o infinito,
qualquer que seja, o mesmo. No se pode dizer que certo conjunto infinito
tem mais elementos que o outro: os dois possuem infinitos elementos! Com o
desenvolver deste trabalho poderemos comprovar a falsidade desta afirmao.
Cantor designou os nmeros cardinais transfinitos pela letra
alef, primeira letra do alfabeto hebraico. A sucesso dos alefs indicada
por ndices naturais 0, 1, 2, 3, de tal modo que o conjunto dos nmeros
transfinitos possa ser colocado em correspondncia com os nmeros naturais.
O primeiro conjunto infinito que se nos apresenta o conjunto dos
nmeros naturais. A ele e a todos os conjuntos que lhe so equivalentes atribu5
Cardinais Transfinitos
brando que 0 um nmero infinito e portanto sem possibilidade de comparao com qualquer nmero natural. Outro conjunto de possana 0 o conjunto
dos nmeros pares ou mpares positivos. 0,2,4,6,8,10,12 ... a sucesso dos
nmeros pares. 0,1,2,3,4,5,6,7,... a sucesso dos nmeros naturais. Aparentemente, o nmero cardinal dos pares metade do nmero cardinal dos naturais,
isto , 2 . Provaremos que o prprio 0. Sabemos que dois conjuntos possuem a mesma possana se os seus elementos podem ser postos em correspondncia bi-unvoca. Como a cada natural corresponde um par que o seu dobro
e a cada par corresponde um natural que a sua metade, temos a correspondncia:
0 1 3 4 5 6 7 8 9 10 ...
0 2 4 6 8 10 12 14 16 18 20 ...
Logo, os dois conjuntos possuem a mesma possana, isto : 0.
Chamamos de nmeros inteiros relativos, sem muito rigor muito
matemtico, aos nmeros naturais reunidos com um conjunto que chamaremos
de inteiros negativos, que correspondem aos nmeros naturais afetados de uma
sinal menos. Isto :
... -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, ...
fcil verificar a correspondncia bi-unvoca entre este conjunto e
os nmeros naturais, basta que escrevamos a sucesso iniciada por zero, assim:
0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5 ...
Outro conjunto numrico que possui a mesma possana dos nmeros naturais o conjunto dos nmeros racionais. Nmeros racionais so os np
meros de forma q onde q e q so nmeros inteiros. Consideremos os racionais
positivos onde p e q so nmeros naturais e q no seja zero. Este conjunto um
conjunto denso, pois entre dois nmeros racionais quaisquer existe pelo menos
um outro que a mdia dos dois. Sendo assim, pareceria impossvel estabelecer uma correspondncia bi-unvoca com os nmeros naturais, que um conjunto discreto. De fato esta equivalncia impossvel se tomarmos os nmeros
racionais em ordem crescente. Porm, possvel arranj-los segundo um esquema atribudo a Cantor, dispondo-os em uma tabela retangular em que os
nmeros p numeradores esto ordenados crescentemente da esquerda para a
direita e os nmeros q denominadores esto ordenados em ordem crescente
de cima para baixo.
6
Cardinais Transfinitos
1
1
2
1
3
1
1
2
...
3
4
5
3
2
4
5
4
...
6
3
...
6
4
...
...
4
4
6
1
/
6
2
4
3
3
3
1
4
5
2
2
3
4
2
3
2
5
1
2
2
1
3
4
1
...
...
...
...
...
Podemos proceder a uma contagem desses nmeros, seguindo as setas indicadas no diagrama, percorrendo deste modo todos os nmeros racionais.
Observemos que em cada diagonal a soma dos termos p e q constante. A sucesso dos nmeros racionais pode ento ser considerada do ponto de vista da
soma dos termos p e q. Dentro de uma mesma classe, a ordenao seria dada
pelo numerador, por exemplo. Temos ento:
1
, 1 , 2, 1, 2, 3, 1 , 2, 3, 4 ,
1
1
5
2
2
4
1
3
3
3
4
2
2
5
1
1
1
6
4
2
5
3
3
4
2
4
3
1
5
2
6
1
...
Eliminando todas as fraes que possam ser reduzidas a casos anteriores isto , numerais diferentes que representam o mesmo nmero racional, a equivalncia com os nmeros naturais fica ento perfeitamente determinada, significando que a possana dos nmeros racionais 0.
A ttulo de ilustrao podemos citar alguns exemplos de conjuntos
equivalentes a N: os conjuntos dos mltiplos dos nmeros naturais, o conjunto
dos nmeros primos, o conjunto dos nmeros algbricos, isto , nmeros que
podem ser solues reais de equaes polinomiais de coeficientes racionais.
interessante notar que o conjunto de todos os grupamentos que
podemos fazer com os nmeros naturais, cada grupamento sendo um elemento,
ou seja, o conjunto dos subconjuntos dos nmeros naturais, chamado conjunto
potncia de N, resistiu a todas as peripcias a fim de se estabelecer uma correspondncia bi-unvoca com os nmeros naturais. Se, por exemplo, partssemos
do princpio de agrupar os elementos em conjuntos ordenados segundo a soma
dos elementos no teramos como incluir os subconjuntos infinitos dos nmeros naturais. Este fato levou Cantor a propor para o conjunto potncia de N a
possana de 1.
7
Cardinais Transfinitos
Cardinais Transfinitos
J
F
G
Cardinais Transfinitos
0
1
2
3
0,00000000000000...
0,12345980399...
0,135790038214...
0,54329987712019...
etc, etc
Vamos construir um nmero que no esteja nesta srie. Em primeiro lugar, ele diferente de zero. Tomemos a primeira casa decimal desse nmero diferente da primeira casa decimal do nmero associado a um e tambm
diferente de zero e nove. Temos assim sete possibilidades para este algarismo
dos dez algarismos, exclui-se o zero, o nove e o um. Tomemos a segunda casa
decimal do nmero diferente da segunda casa decimal do nmero associado a
dois e diferente do zero e do nove, e assim por diante. O nmero formado ser
ento diferente de todos os nmeros contidos naquela sucesso, porque uma
casa decimal qualquer de ordem n, por exemplo, ser diferente da casa respectiva no nmero que estiver associado ao nmero natural n. E note-se que, em
cada casa decimal h sete possibilidades para o algarismo respectivo.
Concluso: os nmeros reais do intervalo (0,1) no podem ser equivalentes aos nmeros naturais, e consequentemente o conjunto R dos nmeros
reais no equivalente a N, no possuindo a possana 0.
Surge a uma hiptese que possui as mesmas caractersticas do
quinto postulado de Euclides sobre a existncia e a unicidade de uma paralela a
uma reta dada por um ponto fora dela, isto , uma hiptese inteiramente independente da teoria construda sobre os nmeros cardinais transfinitos. a chamada Hiptese do Contnuo, atribuda a Cantor, qual seja, a possana dos
nmeros reais a possana 1. Os nmeros reais tm a mesma cardinalidade
do conjunto potncia de N.
Passemos a analisar os conjuntos que possuem a mesma potncia ou
possana que R. Em primeiro lugar, por extenso do caso do segmento, qualquer linha contnua possui a possana de R. Por meio de projees fica fcil
provar isto. Uma coisa que no to aceitvel que o plano e mesmo o espao
possuem o mesmo nmero de pontos que a reta. Provaremos em primeiro lugar
que um quadrado possui tantos pontos quanto um de seus lados. Faamos o
quadrado com lado igual a um e estabeleamos em seus lados um sistema de
coordenadas reais de zero a um.
10
Cardinais Transfinitos
1
1
0,387
0
0,623
0
1
Cada ponto do quadrado pode ser projetado sobre seus lados, sendo
assim localizado por um par de coordenadas reais. O ponto P do desenho possui, a propsito, coordenadas (0,623, 0,387) onde 0,623 a coordenada referente ao lado horizontal e 0,387 a coordenada referente ao lado vertical. Podemos intercalar as casas decimais dos dois nmeros, fazendo assim um nico
nmero real 0,632837. Vice-versa, dado um nmero real 0,432879, podemos
decomp-lo em 0,427 e 0,389 que correspondem a um ponto nico do quadrado. Assim podemos corresponder bi-univocamente os pontos de um quadrado
(dados por um par de coordenadas) com um nico ponto associado no lado do
quadrado (com uma nica coordenada). De maneira semelhante qualquer ponto
do plano corresponde a uma nica coordenada real e portanto sua possana
11
Cardinais Transfinitos
c
x
n + a = n
n + n = n
n a = n
n n = n
na = n
12
Cardinais Transfinitos
m n = m
No entanto,
an = n+1
nn = n+1
As leis continuaro vlidas se substituirmos o nmero natural a por
um nmero real x.
E assim podemos trabalhar com o infinito familiarmente, como se
fosse um nmero qualquer. Essa uma das grandes glrias de Cantor, que lhe
valeu ferrenha perseguio pelos matemticos chamados realistas. A considerao de outros tpicos a respeito dos nmeros cardinais transfinitos, qual seja
o estabelecimento de uma estrutura operacional para eles, pode ser feito, mas
isso alongaria demasiado este trabalho, cujo objetivo, que creio ter alcanado,
era apenas colocar ao alcance de um leigo a fascinante questo do infinito matemtico.
Referncia Bibliogrficas
LIPSCHUTZ, SEYMOUR. Teoria dos Conjuntos. Rio de Janeiro,
Ao Livro Tcnico, 1967
COURANT, RICHARD & ROBBINS, HERBERT. O que a Matemtica. Rio de Janeiro, Cincia Moderna, 2000 (referncia
atualizada)
MALBA TAHAN, Grandes Maravilhas da Matemtica.
13