Professional Documents
Culture Documents
0
*
0
=
0
(CANTOR, 1915, p. 106).
Em suma, a expresso formal-axiomtica das grandezas transfinitas evidencia que elas
possuem naturezas completamente diferentes das finitas. O que Cantor prope nas entrelinhas
de sua apresentao , na verdade, uma ampliao do conceito tradicional de nmero. As
grandezas transfinitas, que obedecem a princpios to diferentes dos princpios dos nmeros
finitos, so tambm concebidas enquanto nmeros e, por isso, uma concepo mais ampla de
nmero precisa ser formulada, a fim de abarcar suficientemente esses dois tipos de nmeros
agora trazidos baila, os finitos e os transfinitos.
A ideia de cardinais transfinitos , assim, totalmente nova. E se os cardinais finitos so
introduzidos na teoria dos conjuntos com o intuito de possibilitar a concepo de conjuntos
finitos enquanto totalidades mensurveis, essa pretenso tambm existe e se realiza sob a pena
de Cantor para os cardinais transfinitos. Assim, como sugerem os teoremas acima, os
subconjuntos de um conjunto transfinito tambm so necessariamente transfinitos e, portanto,
tambm representados por
0
. Em estrita observncia teoria, preciso atribuir a mesma
grandeza, por exemplo, aos naturais, aos nmeros pares, aos mltiplos de 20 e aos mltiplos
de 200, pois, apesar de todos os mltiplos de 200 serem tambm de 20, e os de 20 de 2, todos
eles so exemplos de partes do conjunto dos nmeros naturais que so to grandes quanto ele
prprio.
Apesar de
0
representar grandezas transfinitas, Cantor o apresenta como sendo apenas
o primeiro nmero transfinito de uma srie, srie essa que, por sua vez, tambm pode ser
concebida ad infinitum.
8
Considerar tal hiptese, entretanto, obriga-nos a tomar as grandezas
8
After we have introduced the least transfinite cardinal number
0
and derived its proprieties that lie in the
most readily to hand, the question arises as to the higher cardinal numbers and how they proceed from
0
. We
shall show that the transfinite cardinal numbers can be arranged according to their magnitude, and, in this
order, form, like the finite numbers, a well-ordered aggregate in an extended sense of the words. Out of
0
proceeds, by a definite law, the next great cardinal number
1
, out of this by the same law the next greater
2
,
and so on. But even the unlimited sequence of cardinal numbers
0,
1
,
2, ...,
v, ...
does not exhaust the conception of transfinite cardinal number. We will prove the existence of a cardinal number
which we denote by
and which shows itself to be the next greater to all the numbers
v
; out of it proceeds in
the same way as
1
, out of
a next greater
+1
, and so on, without end.
[Aps havermos introduzido o menor nmero cardinal transfinito
0
e derivado suas propriedades que se
configuram como as de um emprego mais imediato, surge o problema relativo aos nmeros cardinais maiores
que
0
e como esses nmeros derivam de
0
. Ns devemos mostrar que os nmeros cardinais transfinitos podem
ser organizados de acordo com sua magnitude e, desse modo, formam, assim como os nmeros finitos, um
agregado bem ordenado, em sentido amplo do termo. Para alm de
0
, por uma regra definida, obtido o
Captulo 1 A Crise nos Fundamentos da Matemtica: Origens e Perspectivas
20
dessa natureza como se tratando de elementos de um determinado conjunto, o conjunto dos
nmeros transfinitos. O conceito de cardinalidade no suficiente para dirigir nossa
investigao a partir desse momento, porque surge uma nova necessidade de considerar
elementos que fazem parte de um conjunto, e no apenas o conjunto em si. Da a introduo
da noo de nmero ordinal.
Segundo Cantor, a ideia de ordinal nada mais do que a extenso natural do conceito
de nmero (CANTOR, 1915, p. 117) e de sua ordenao atravs de uma regra dada. Os
nmeros ordinais, entretanto, no so apenas atribuveis a um elemento dentro de uma srie.
H uma distino introduzida por Cantor entre o ordinal do elemento na srie e o nmero
ordinal da srie, que tem a funo de representar aquilo que o autor denomina tipo ordinal.
De modo semelhante ao que ocorre na definio dos cardinais, os tipos ordinais tm a funo
de representar um conjunto de elementos abstratamente, mantendo apenas a ordem de
precedncia dos elementos na srie, respeitando a peculiaridade das sries finitas ou
transfinitas.
9
O estudo das propriedades dos ordinais transfinitos inicia-se com a considerao
do valor , que representa a ordem do agregado R, conjunto que inclui os nmeros racionais
maiores que 0 e menores que 1. Dada a possibilidade de estabelecer uma correspondncia
biunvoca entre o agregado R e a srie dos naturais, apesar de conceitualmente diferentes, o
ordinal transfinito igual ao cardinal transfinito
0
. A primeira dificuldade que surge
quando da considerao desse agregado acerca da possibilidade de efetuar aquilo que Cantor
denomina uma boa ordenao. Encontramos a definio de agregado bem ordenado no
prximo nmero cardinal
1
; para alm dele, pela mesma regra, obtido o prximo cardinal
2
e assim por
diante. Mas mesmo a sequncia ilimitada de nmeros cardinais
0,
1
,
2, ...,
v, ...
no esgota a concepo de nmero cardinal transfinito. Provaremos a existncia de um nmero cardinal que
denotamos por