SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

Antonio Leon Sanchez I.E.S Francisco Salinas, Salamanca, Spain http://www.interciencia.es aleon@interciencia.es
1. Aritmtica transfinita

La ltima y ms elaborada publicacin de Georg Cantor sobre el innito recibi el ttulo de Beitrge zur Begrndung der transniten Mengelehre, un trabajo de 70 pginas y 20 epgrafes publicado en dos partes en los aos 1895 y 1897 ([4], [5]) y posteriormente traducido al ingls1 como Contributions to the Founding of the Theory of Transnite Numbers [6], traduccin realizada por el matemtico Philip E. B. Jourdain en el ao 1915. La edicin que circula en nuestros das es la de 1955 y an conserva un cierto nmero de errores tipogrcos (y no tipogrcos), de todo lo cual uno saca la conclusin de que no es una obra muy leda (por lo poco revisada). Suele ocurrir con los clsicos de la ciencia. Y es una lstima porque en muchos casos se trata de obras muy interesantes en las que casi siempre se acaba encontrando algn detalle que sus comentaristas modernos han pasado por alto. Es el caso de los Beitrge, una obra por otra parte muy asequible (las matemticas necesarias para su lectura no van mucho ms all de las que se adquieren en los primeros cursos universitarios). El objetivo principal de Cantor en los Beitrge fue establecer los fundamentos de una teora de los nmeros transnitos, cardinales y ordinales (sobre todo de los ltimos). El anlisis de esa fundamentacin ser el objetivo de este artculo. A pesar de su aparente complejidad, su lectura no requiere una preparacin matemtica especial.
2. El concepto de nmero. Nmeros ordinales y cardinales

Cuando no podemos denir un objeto, lo que con frecuencia ocurre con los objetos ms bsicos de las matemticas, su denicin se sustituye por un conjunto de axiomas que establecen el modo de usar ese objeto en las discusiones formales. En este sentido podemos armar que no tenemos una denicin explcita de nmero. Los
1La

mayor parte del trabajo de Cantor permanece en su idioma original, el alemn.

1

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

axiomas de Peano establecen las reglas de juego con los nmeros naturales y a partir de estos se construyen los dems tipos bsicos de nmeros: enteros, racionales, algebraicos, trascendentes, reales, complejos e hiperreales. Una estrategia alternativa, que ha sido muy productiva en las ciencias experimentales, consiste en relativizar las deniciones. Asumir nuestra incapacidad de dar deniciones absolutas y aceptar en su lugar las ms modestas deniciones relativas. As, podemos armar que un determinado nmero es la propiedad comn que maniestan todos los conjuntos cuyos elementos pueden emparejarse totalmente (mediante biyecciones o correspondencias uno a uno), por ejemplo el nmero 3 sera la propiedad comn de todos los conjuntos cuyos elementos pueden emparejarse totalmente con los del conjunto {a, b, c}. De todos esos conjuntos decimos que tienen la misma cardinalidad. Renunciamos a explicar en qu consiste esa propiedad, simplemente asumimos su existencia, la identicamos y la manipulamos de acuerdo con ciertas convenciones. Naturalmente las deniciones relativas no son platnicas, son funcionales y estn inevitablemente ligadas a las peculiaridades y limitaciones de nuestra propia capacidad intelectual, de nuestra forma humana de describir y explicar el mundo. En el lenguaje comn suele decirse que los nmeros cardinales son los nmeros de contar: 1, 2, 3, etc. Los ordinales, en el mismo uso coloquial, reejan el orden o posicin que un elemento ocupa en una lista: primero, segundo, tercero, etc. Lamentablemente en la teora de conjuntos las cosas son bien distintas. Sobre todo por la existencia de conjuntos innitos que complican enormemente el panorama numrico. En una primera aproximacin podramos admitir que el cardinal de un conjunto es una medida de la numerosidad del conjunto, de la cantidad de elementos que contiene (y con eso se conforman la mayor parte de las deniciones informales de cardinalidad). Para evitar el uso de la palabra nmero se suele hablar, desde los tiempos de Cantor, de potencia. As hablamos de la cardinalidad o potencia de un conjunto para referirnos a esa cualidad abstracta del conjunto que identica a todos los conjuntos que se pueden poner en correspondencia uno a uno con l. Pero no se puede ir mucho ms lejos. Decir que el cardinal, o potencia de un conjunto, es el nmero de elementos del conjunto, aunque sirve para entendernos, no es decir gran cosa a menos que especiquemos el signicado de la palabra nmero. La denicin de Cantor (vase ms abajo) es un ejemplo de las dicultades formales inherentes a las deniciones platnicas y absolutas. Confa el autor de los Beitrge en nuestra habilidad de contactar con el ms all trascendente mediante la habilidad mental de abstraer. Aunque, ni Cantor ni nadie ha logrado explicar de forma adecuada y

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

convincente y sin usar la nocin imprecisa de nmero, qu diablos es ese concepto general doblemente abstrado al que se reere la denicin cantoriana. Mas que la denicin de cardinal, Cantor nos propone la forma de evaluarlos [13]. Los nmeros ordinales representan, en sentido coloquial, la posicin dentro de una lista ordenada: primero, segundo, tercero, etc. Puede pensarse del ordinal de un conjunto que corresponde a la posicin que ese conjunto ocupara en una lista cuya primera posicin estara ocupada por todos los conjuntos de un elemento, la segunda por los de dos, la tercera por los de tres etc. Como puede verse en los conjuntos nitos solo hay un tipo de ordinalidad: todos los conjuntos con el mismo cardinal tienen el mismo ordinal, que adems coincide con el cardinal. As el conjunto {a, b, c, d, e} tiene por cardinal y ordinal el mismo nmero, el 5. En el caso de los conjuntos innitos el cardinal y el ordinal ya no coinciden. Adems existe una innidad de ordinales distintos para un mismo cardinal (vase ms abajo). Es un rasgo distintivo de los conjuntos innitos tanto la falta de coincidencia como la multiplicidad innita de ordinales con el mismo cardinal. Cantor prob que esa innidad es mayor que la innidad contable: el cardinal del conjunto de todos los ordinales correspondientes a los conjuntos numerables es 1 , el siguiente alef mayor que 0 . El conjunto de todos los ordinales es un conjunto bien ordenado al que le corresponde su propio ordinal, el primer ordinal de la 3a clase (vase ms abajo). Tendremos ocasin de comprobar que, en efecto, el panorama numrico se complica extraordinariamente como consecuencia de los conjuntos innitos actuales. Adems, y como tambin veremos, los cardinales y ordinales transnitos exhiben una aritmtica radicalmente distinta a la de los nmeros nitos. Cantor debi de sentirse muy orgulloso de su sistema numrico de cardinales y ordinales. La presentacin que hace de ellos en sus Beitrge es la de un sistema que pretende ser denitivo y completo ([6], p. 117):

El concepto de tipo ordinal desarrollado aqu... en unin del concepto de cardinal o potencia introducido en el epgrafe 1 incluyen cualquier cosa imaginable que pueda ser numerada, y en este sentido no puede haber generalizaciones posteriores. No se trata de algo arbitrario, sino que es la extensin natural del concepto de nmero.

Queda clara la opinin que Cantor tiene de su propia teora de los nmeros.

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

3.

Cardinales. Aritmtica de cardinales

En el epgrafe 1 de los Beitrge Cantor dene la nocin de cardinal o potencia de un conjunto de la siguiente forma (Cantor [6], p. 86): Todo conjunto M tiene una potencia denida, a la cual tambin llamaremos su nmero cardinal. Llamaremos potencia o nmero cardinal de M al concepto general que, por medio de nuestra capacidad de abstraer, surge del conjunto M cuando hacemos abstraccin de la naturaleza de sus diversos elementos m y del orden en el cual estos elementos vienen dados. Cuando de un conjunto abstraemos la naturaleza y el orden de sus elementos solo nos queda el nmero de los mismos. Cantor nos dice que la potencia o nmero cardinal M de un conjunto M es el nmero de sus elementos, aunque sin usar la palabra nmero en la denicin (deniens). Contina Cantor diciendo que si abstraemos la naturaleza de un elemento nos queda una unidad. El cardinal de un conjunto es, visto por Cantor, como un agregado compuesto de unidades. Una vez denidos los cardinales, Cantor dene la equivalencia de conjuntos: dos conjuntos M y N son equivalentes, simblicamente M N si es posible establecer una correspondencia uno a uno entre ellos. A continuacin prueba un resultado importante que establece que dos conjuntos tienen el mismo cardinal si, y solo si, son equivalentes. Dene entonces la relaciones de mayor y menor entre cardinales y las operaciones de adicin y multiplicacin de cardinales: si M y N son dos conjuntos disjuntos tales que M = a y N = b, entonces (utilizando smbolos modernos):

a+b=M N ab=M N

(1) (2)

donde M N es el conjunto producto de M por N (el conjunto de todas las parejas de elementos cuyo primer componente pertenece a M y cuyo segundo pertenece a N ). Denidas la suma y multiplicacin, Cantor dene la exponenciacin de cardinales, una operacin particularmente importante en su aritmtica de cardinales. Primero dene lo que l llama recubrimiento de un conjunto con los elementos de otro ([6], pg. 94): Por recubrimiento de un conjunto N con elementos de otro conjunto M , o simplemente, por recubrimiento de N con M , entendemos una ley por la cual cada elemento n de N se asocia con un elemento

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

denido de M , de forma que el mismo elemento de M puede ser repetidamente asociado [a otros elementos de N ]. El elemento de M que se asocia con n es una funcin de n, y puede ser representado por f (n); se le llama funcin de recubrimiento de n. El recubrimiento de N ser denotado por f (N ). Por ejemplo, un recubrimiento del conjunto N = {x, y, z} por el conjunto M = {0, 1} es 110; otro sera 111, otro 001, etc. Cada elemento del primer conjunto, en nuestro caso x, y , y z , puede ser reemplazado por uno de los elementos del otro conjunto: x puede ser reemplazado (recubierto) por 0 o por 1, y lo mismo ocurre con y y con z . El conjunto de todos los recubrimientos de N con M se escribe (N |M ). N es el conjunto recubierto y M el conjunto recubriente. Por ejemplo, el conjunto de todos los recubrimientos de {a, b, c} por {0, 1} es:

({a, b, c}|{1, 0}) = {000, 001, 010, 100, 011, 101, 110, 111}

(3)

Prueba entonces Cantor que si M y M son equivalentes y tambin lo son N y N entonces los conjuntos (N |M ) y (N |M ) son tambin equivalentes. En consecuencia el cardinal del conjunto (N |M ) solo depende de los cardinales M = a y N = b. Esa independencia le permite denir la exponenciacin de cardinales: si a es el cardinal del conjunto M y b el del conjunto N entonces:

ab = (N |M )

(4)

El exponente b es el cardinal del conjunto recubierto N mientras que la base a es el cardinal del conjunto recubriente M . Adems de denir las operaciones de suma, multiplicacin y exponenciacin de cardinales, Cantor prueba las propiedades de cada una de esas operaciones aritmticas: la suma es asociativa y conmutativa; la multiplicacin asociativa, conmutativa y distributiva con respecto a la suma. La exponenciacin verica:

ab ac = ab+c ac bc = (a b)c (ab )c = abc

(5) (6) (7)

donde a, b y c son tres cardinales. Una vez denidas y analizadas las operaciones bsicas con cardinales, Cantor prosigue su trabajo de fundamentacin, aunque lo hace siguiendo un orden diferente al que, por razones de claridad, seguiremos aqu. En el epgrafe 5 de sus Beitrge Cantor expone una fundamentacin rigurosa de la teora de los nmeros nitos basada en la nocin de cardinal, fundamentacin

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

muy parecida a la que suele darse en muchos textos contemporneos: a un conjunto formado por un solo elemento, E0 = {e0 }, le hacemos corresponder un nmero cardinal que llamamos uno y que expresamos con el numeral 1:

1 = E0
Si aadimos a E0 un nuevo elemento e1 obtenemos un nuevo conjunto E1 :

(8)

E1 = {E0 , e1 } = {e0 , e1 }
a cuyo cardinal llamamos dos y representamos por el numeral 2:

(9)

2 = E1 = {e0 , e1 }

(10)

Sucesivas adiciones de elementos e2 , e3 , . . . denen una sucesin indenida de conjuntos cuyos cardinales constituyen la sucesin indenida de los cardinales nitos:

E0 = {e0 }; {e0 } = 1 E1 = {E0 , e1 } = {e0 , e1 }; {e0 , e1 } = 2 E2 = {E1 , , e2 } = {e0 , e1 , e2 }; {e0 , e1 , e2 } = 3 ...

(11) (12) (13) (14)

Cada uno de estos cardinales, excepto el 1, resulta de sumar 1 al cardinal inmediatamente anterior en el orden de precedencia. Cantor prueba nalmente la mayor parte de las propiedades de estos cardinales nitos. En el epgrafe 6, Cantor da por sentada la existencia del conjunto de todos los cardinales nitos como una totalidad completa (lo que equivale a asumir la existencia terminada de una lista interminable), al que asigna un nmero cardinal transnito ([6], pgs. 103-104): El primer ejemplo de un conjunto transnito nos viene dado por la totalidad de los nmeros cardinales nitos ; llamamos a su nmero cardinal Alef-cero y lo representamos por el smbolo 0 ; as denimos

0 = {}

(15)

(donde {} es el conjunto {1, 2, 3, . . . }) Ahora prueba que 0 es diferente a todos los cardinales nitos, pues para cada uno de estos se verica:

=+1

(16)

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

mientras que para 0 :

0 = 0 + 1

(17)

Como es casi inevitable en estos casos, la prueba est basada en una biyeccin f entre el conjunto {1, 2, 3, . . . } y el conjunto {1, 2, 3, . . . } {a} denida por:

f (1) = a f (i + 1) = i, i N

(18) (19)

Una vez asumida la existencia del conjunto de todos los cardinales nitos como una totalidad completa, conjunto al que se le asigna el primer cardinal transnito 0 , Cantor encuentra el camino hacia una sucesin innita de cardinales transnitos. Consideremos el conjunto (N|M ) de todos los recubrimientos del conjunto N = {1, 2, 3, . . . } de todos los cardinales nitos por el conjunto M = {1, 0}. Sus elementos sern cadenas innitas de 1s y 0s con tantos trminos como cardinales nitos. Es decir, si cada elemento del conjunto {1, 2, 3, . . . } es reemplazado por un 1 o un 0 tendremos una cadena binaria innita, por ejemplo:

10101010 . . . ; 111000111000 . . . ; 0001111111 . . .

(20)

El conjunto formado por todas las sustituciones posibles de los elementos de {1, 2, 3, . . . } por los de {1, 0} es el conjunto innito B de todas las cadenas binarias innitas posibles:

11111111111 . . . 01011101101 . . . 11100000011 . . . 10000000000 . . . 11100011100 . . . ...

(21) (22) (23) (24) (25) (26)

De acuerdo con la denicin de exponenciacin de cardinales (vase (4) ms arriba) tendremos:

(N |M ) = B = 20

(27)

puesto que el conjunto recubierto (el de los cardinales nitos) tienen 0 elementos mientras el conjunto recubriente tiene dos (el 0 y el 1). El mtodo de la diagonal de Cantor [3] -cambiar el i-simo elemento de cada i-sima columna de forma que si era 1 resulte 0 y viceversa- prueba que ese conjunto tiene ms elementos que el conjunto

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

de todos los cardinales nitos cuyo cardinal es 0 . As pues podemos escribir la ecuacin fundamental: 0 < 20 (28) Cada elemento C de (N|M ) es una cadena innita de 1s y 0s, que se puede interpretar de dos formas distintas: 1. C es la expresin binaria de un nmero real r tal que 0 r 1. Es decir, la cadena de todos los decimales de un nmero real entre 0 y 1 expresados en el sistema binario de numeracin. 2. C es un subconjunto S del conjunto de todos los cardinales nitos denido de la siguiente manera: para todo cardinal nito i: sea ai el i-simo termino de la cadena C , entonces i S si ai =1; i S si ai = 0. Por ejemplo, si C / es la cadena 0100000 . . . (un 0, un 1, y el resto ceros) entonces C representa al subconjunto S = {2} del conjunto de todos los cardinales nitos. De la primera interpretacin deducimos que el cardinal del conjunto (N|M ) es el mismo que el del conjunto X de todos los nmeros reales en el intervalo [0, 1] expresados en el sistema binario. Aunque antes hay que resolver un pequeo problema: existe una innidad numerable de elementos de X con dos expresiones binarias distintas, por ejemplo:

0, 1000000 . . . = 0, 0111111 . . . 0, 0100000 . . . = 0, 0011111 . . . 0, 1100000 . . . = 0, 1011111 . . .

Tienen dos expresiones binarias todos los nmeros reales x del tipo:

(29) (30) (31)

2 + 1 (32) 2 Cantor llam {s } al conjunto numerable de los nmeros reales que tienen una doble expresin binaria. En realidad hay una pequea confusin en el texto de Cantor con respecto al conjunto {s } [19]. No se trata del conjunto de todos los nmeros reales de X que tienen una doble expresin binaria. El conjunto {s } es el conjunto de las cadenas binarias que corresponden a las segundas expresiones binarias de los nmeros reales del tipo (32), suponiendo que X se usen solo las primeras de esas expresiones. Para no crear confusiones innecesarias sea B el conjunto de todas las cadenas binarias innitas de 0s y 1s ( el recubrimiento de Npor {0, 1}]). Por denicin tenemos B = 20 (33) x=

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

El conjunto B se puede dividir en dos conjuntos disjuntos: el conjunto BX y el conjunto BS . El conjunto BX es el conjunto de todas las cadena binarias que representan a todos los nmero reales del conjunto X = [0, 1] excepto las cadenas de las segundas expresiones binarias de todos aquellos elementos de X que tienen dos representaciones binarias (la primera terminada en una cadena innita de 0s y la segunda en una cadena innita de 1s). El conjunto BS es precisamente el conjunto numerable de todas esas segundas cadenas binarias. Evidentemente tendremos:

B = B X BS
y:

(34) (35)

BX X R

siendo BX , X y R conjuntos no numerables. A partir de este punto podemos seguir a Cantor. Sea T un subconjunto numerable cualquiera de BX y sea BX el complemento de T con respecto a BX , i.e. BX = BX T , podemos escribir:

BX = T BX

(36)

siendo T BX = . Puesto que T es numerable sus elementos pueden ser indexados por la totalidad de los nmeros naturales. Consecuentemente podemos considera dos subconjuntos numerables y disjuntos TP y TI , cuyos elementos estn indexados respectivamente por los nmeros pares y por los impares. La ecuacin (36) se puede ahora escribir como: BX = T P T I BX (37) donde TP TI = T ; TP TI = . De (36) tambin obtenemos:

BS BX = BS T BX
y siendo:

(38)

T E BS TO T BX BX
tenemos:

(TE y BS son numerables) (TO and T son numerables) (Todo conjunto es equivalente a s mismo)

(39) (40) (41) (42)

T E T O BX BS T BX
y entonces, de acuerdo con (37) y con (38):

(43) (44)

BX BS BX

10

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

y teniendo en cuenta que BS BX = B , obtenemos:

BX B
y entonces

(45) (46)

B X = B = 20
Finalmente, siendo BX X R, podremos escribir

X = R = 20

(47)

lo que prueba que la potencia del continuo es el cardinal transnito 20 . Es decir:

c = 20 > 0

(48)

De acuerdo con la segunda interpretacin dada ms arriba al conjunto de todas las cadenas binarias de 1s y 0s, ese conjunto es el de todos los subconjuntos del conjunto Nde los nmeros naturales, de modo que cada una de esas cadenas binaria representa a uno de tales subconjuntos. Se deduce entonces que el conjunto P (N) de todos los subconjuntos de Ntiene una cardinalidad mayor que la de N, que es 0 . Simblicamente:

P (N) = 20 > 0

(49)

La segunda interpretacin de las cadenas de 1s y 0s abre la autopista de los Alefs hacia Omega, hacia Dios. Slo necesitamos probar que todo conjunto tiene ms subconjuntos que elementos. Veamos que as es. Sea A un conjunto cualquiera y P (A) el conjunto de todos sus subconjuntos, incluyendo el conjunto vaco. Supongamos que A y P (A) tienen los mismos elementos. Entonces existe una biyeccin f entre ambos conjuntos, de modo que para todo x A, existe un B P (A) tal que

f (x) = B
y viceversa: para todo subconjunto C de A existe un elemento y en A tal que:

(50)

f 1 (C) = y
Ahora denimos un subconjunto S de A de la siguiente forma:

(51)

x A : x S f (x) Sx /

(52)

donde Sx es el subconjunto que la biyeccin f asocia al elemento x. Es decir, S es el conjunto de todos los elementos de A que no pertenece a su propia f -imagen, donde f es la supuesta biyeccin entre A y P (A). El conjunto S es sin duda un subconjunto

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

11

de A, aunque sea el conjunto vaco. Por tanto f 1 (S) ha de tener su propia imagen en A. Sea esta imagen el elemento y . Tendremos:

f 1 (S) = y
y por tanto:

(53)

f (y) = S

(54)

De acuerdo con la notacin anterior que denota como Sx al conjunto que f hace corresponder a un elemento cualquiera x, podremos escribir:

S = Sy

(55)

Es fcil ver ahora que y pertenece y no pertenece a S . Si no pertenece a S entonces no pertenece a su f -imagen que es precisamente S (55), pero si no pertenece a su f -imagen entonces, segn la denicin de S (conjunto de todos los elementos de A que no pertenecen a su f -imagen), ha de pertenecer a S , que es su f -imagen. Esto prueba que si y no pertenece a S entonces ha de pertenecer a S . Anlogamente se prueba que si pertenece a S entonces no puede pertenecer a S . La contradiccin es clara, y su consecuencia formal no puede ser otra que la falsedad de la hiptesis inicial acerca de que A y P (A) tienen los mismos elementos. Queda entonces probado que para todo conjunto A se verica:

A < P (A)

(56)

Y como P (A) es a su vez un conjunto tendr subconjuntos, y existe el conjunto de todos sus subconjuntos P (P (A)). Y lo mismo ocurre con P (P (A)) y con P (P (P (A))) etc. Podemos pues escribir:

A < P (A) < P (P (A)) < P (P (P (A))) < . . .

Para el caso del conjunto Nde todos los cardinales nitos tendremos:

(57)

N < P (N) < P (P (N)) < P (P (P (N))) < . . .

(58)

12

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

Por otra parte los recubrimientos de N, P (N), P (P (N)), P (P (P (N))), . . . por {0, 1} interpretados de acuerdo con la segunda alternativa, nos permiten escribir:

N = 0 P (N) = 20 P (P (N)) = 22
0 20

(59) (60) (61) (62) (63)

P (P (P (N))) = 22 ...
Y de acuerdo con (58):

0 < 20 < 22

< 22

20

< ...

(64)

que representa una sucesin estrictamente creciente de innitos. En su estudio de los ordinales, Cantor encontr otro cardinal innito mayor que 0 : el cardinal 1 del conjunto de todos los ordinales correspondientes a un conjunto numerable (vase ms abajo). Cantor prob que un conjunto de 0 elementos puede ordenarse de 1 formas distintas, siendo

0 < 1

(65)

En sus Beitrge Cantor promete probar la existencia de una sucesin innita de Alefs:

0 < 1 < 2 < . . . < < +1 < . . .

(66)

son los sagrados Alefs que conducen a , el innito absoluto, la madre de todos los innitos ([18], in [22] pg. 119): [...] estas cardinalidades, los alefs, eran para Cantor algo sagrado, por as decir, los escalones que conducen al trono de la innitud, al trono de Dios. Pero en realidad Cantor no termin de construir su prometida autopista hacia Dios. Asumi la (hipottica) existencia de la innitud actual del conjunto de los ordinales nitos -a los que llam ordinales de la primera clase- y sobre esa innitud construy la innitud superior del conjunto de todos los ordinales de la segunda clase (ordinales transnitos propios de los conjuntos numerables). El cardinal del conjunto de todos los ordinales de la primera clase es 0 y el del conjunto de todos los de la segunda 1 . Nombr el primer ordinal de la tercera clase, pero no construyo nada ms all (vase ms abajo).

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

13

Figura 1. La autopista de los Alefs hacia Omega, la madre de todos

los innitos. La aritmtica de los nmeros cardinales nitos incluye las operaciones elementales de suma, resta, multiplicacin, divisin y exponenciacin, que se practican de la forma habitual. La aritmtica de los cardinales transnitos es bien distinta. Se rige por las dos siguientes reglas: 1. Si a y b son cardinales, uno de ellos al menos innito, tales que b a, entonces:

a+b=b+a=ab=ba=b
2. Si a es un cardinal entonces a < 2a . La aritmtica de cardinales transnitos es algo montona en sus resultados:

(67)

0 + 0 = 0 1000 0 = 0 0 0 = 0 8000000 = 0 0
etc.

(68) (69) (70) (71)

Adems, esa aritmtica no incluye operaciones como la resta o la divisin. Sin embargo s deni Cantor la resta de ordinales transnitos. Al parecer el enigma de la resta de cardinales transnitos ha sido usado por algunos para probar la existencia de Dios (!) lo que provoc una cierta polmica al respecto ([23]). El innito da realmente mucho juego. Para terminar esta rpida incursin en el mundo de los cardinales transnitos diremos que ya en el siglo XX los sucesores de Cantor incrementaron la familia de

14

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

los cardinales con nmeros que progresivamente se fueron haciendo casi inaccesibles, completamente inaccesibles y nalmente divinos (vase por ejemplo [20]). Estos son los habitantes cardinales del paraso innitista. Aunque, como veremos en el epgrafe siguiente, la existencia de dos sucesiones de cardinales transnitos plantear un grave problema a Cantor y sucesores, an no resuelto. Cardinal Ejemplos N, Naturales 0 Z, Enteros Q, Racionales Algebraicos ... 1 1 , Ordinales contables R, Nmeros reales 0 c=2 C, Nmeros complejos R3 , Espacio eucldeo P(N), Subconjuntos de N ... P(R), Subconjuntos de R 20 2 RR , funciones de Ren R ... Cuadro 1. Algunos cardinales transnitos.

4.

La hiptesis del continuo

En la seccin anterior hemos visto como Cantor lleg a establecer dos sucesiones distintas de nmeros cardinales innitos, ambas estrictamente crecientes. Si bien el primer trmino de ambas sucesiones es idntico, 0 , la posibilidad de que tambin fueran idnticos sus respectivos segundos miembros plante un problema que Cantor ya no pudo resolver. Es el famoso problema del continuo. Lo de continuo viene porque R, el conjunto de los nmeros reales cuyo cardinal es 20 , es un continuo topolgico, densamente ordenado, sin huecos y de modo que entre cada dos nmeros reales existe una innidad no contable de nmeros reales distintos (innidades innitamente encajadas unas dentro de otras). Siendo c = R (el cardinal de R), la hiptesis del continuo puede expresarse de las siguientes maneras:

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

15

1. c = 1 2. 20 = 1 3. No existe ningn cardinal entre 0 y c. Cantor dedic la ltima parte de su vida a intentar resolver la hiptesis del continuo. Ni l ni ninguno de sus sucesores lo ha conseguido, de modo que sigue siendo el problema nmero uno de la famosa lista de 23 problemas de Hilbert. En el ao 1908 F. Hausdor ([21]) propuso la siguiente generalizacin de la hiptesis del continuo: las sucesiones (64) y (66) son idnticas trmino a trmino.

k : k = P (P . k .P (N ). k .) . .
O en otros trminos:

(72) (73)

k : 2k = k+1

En el ao 1904 se celebr en Heidelberg el Tercer Congreso Internacional de Matemticas. Por esa poca Cantor era ya uno de los matemticos ms reconocidos del mundo. En ese congreso un mdico y matemtico de la Universidad de Budapest, Julius Knig (1849-1913), ley un artculo en el que probaba que la potencia del continuo -el cardinal de los nmeros reales- no era un alef y que el continuo no podra ser nunca un conjunto bien ordenado2. Knig logr probar que la suma s de una sucesin creciente de cardinales transnitos verica:

s0 > s
Una de esas sumas es, por ejemplo:

(74)

+ +1 + +2 + = +
donde es un ordinal de la segunda clase. Se verica entonces:

(75)

0 > + +
Por otra parte Bernstein haba probado:

(76)

= 2

(77)

por lo que si la potencia del continuo c = 20 fuese un alef, por ejemplo , podramos sustituir en (77) por + y por 0 , y obtendramos:

0 = + 20 = + = + +
2[16], [17].

(78)

16

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

lo que va en contra de (76). Naturalmente el artculo de Knig despert un gran inters, se aplazaron las dems actividades del congreso para que todo el mundo pudiera asistir a su lectura. Hay versiones contradictorias sobre la reaccin de Cantor, que segn unos tom la palabra para agradecer a Dios el haberle permitido conocer de esta forma sus errores, y segn otros no tom la palabra y se mostr seguro de que Dios nunca habra permitido revelar sus errores de esta forma. Inmediatamente despus Ernst Zermelo (1871-1953) demostr que Knig usaba el teorema de Bernstein en un caso en el que ste no era vlido (al ao siguiente Bernstein corrigi su teorema). Pero an as, el ataque tuvo sus efectos y Cantor comprendi la necesidad de probar de una vez por todas que el cardinal de la potencia del continuo era uno de sus alefs. Nadie lo ha conseguido hasta ahora. Poco despus del Congreso de Heidelberg, Zermelo crey haber probado una de las convicciones de Cantor: que todos los conjuntos pueden ser bien-ordenados, convertidos en conjuntos bien ordenados. Este resultado era necesario para demostrar otra de las convicciones de Cantor, que todo cardinal transnito es un miembro de la lista de sus alefs. Pero, como es bien sabido, en su demostracin Zermelo hacia uso de una nueva hiptesis: el discutido axioma de eleccin. En el ao 1938 Gdel logr probar que sera imposible deducir de los axiomas ZF (Zermelo Fraenkel) de la teora de conjuntos la falsedad de la hiptesis del continuo [14], [15]. En 1936 Cohen prob el resultado complementario ([7], [8]): que la hiptesis del continuo no se puede deducir de los axiomas de la teora de conjuntos. En consecuencia, la veracidad de la famosa hiptesis no tiene efectos formales sobre la teora de conjuntos, es formalmente inocua. As que no es posible esperar contradicciones en el seno de esa teora por el hecho de incluir o no la hiptesis del continuo como nuevo axioma. Podra aadirse como un nuevo axioma, pero se piensa que es mejor no hacerlo porque no es autoevidente (!).

5.

La paradoja de Cantor

En el ao 1897 Cesare Burali-Forti (1861-1931), profesor de geometra en la Academia Militar de Turn, public la primera inconsistencia encontrada en el seno de la nueva teora de conjuntos [2] (vase ms adelante en este mismo apndice). Pero seguramente fue el propio Cantor el primero en descubrir una inconsistencia conjuntista. Hay un cierto desacuerdo entre los historiadores de las matemticas acerca de la cronologa, el signicado y la importancia que para el propio Cantor pudieron

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

17

tener esos descubrimientos3. Como acabamos de ver, y el propio Cantor prob, el conjunto de todos los subconjuntos de un conjunto dado tiene ms elementos que el conjunto en cuestin. Si M es un conjunto cualquiera se verica:

M < P (M )

(79)

Consideremos ahora el conjunto universal U , el conjunto de todos los conjuntos (que en tiempos de Cantor an no haba sido proscrito). Puesto que P (U ) es un conjunto, ha de ser un elemento de U , luego se ha de vericar tambin:

P (U ) U

(80)

lo que contradice (79). Esa es la paradoja de Cantor, probablemente encontrada en el ao 1883 (otros sitan el hallazgo en 1895, incluso en 1896) [13]. Como es bien sabido, el conjunto U fue expulsado del paraso innitista-conjuntista poco tiempo despus de Cantor.
6. Ordinales. Aritmtica de ordinales

De los 20 epgrafes de los Beitrge, los 6 primeros estn dedicados a los cardinales y los 14 restantes a los tipos de orden y a los ordinales. Es un buen reejo del estudio mucho ms detallado y riguroso que Cantor dedic a los ordinales. El concepto fundamental ahora es el de conjunto bien ordenado que, a su vez deriva de la nocin de conjunto simplemente ordenado ([6], p. 110): Llamamos a un conjunto M simplemente ordenado si existe una regla que establece el orden de precedencia de sus elementos de forma que de dos cualesquiera de sus elementos, m1 y m2 , uno de ellos toma el valor menor y otro el mayor, y de modo tambin que si de 3 elementos m1 , m2 y m3 , fuese m1 de menor que m2 , y m2 de menor que m3 , entonces m1 es menor que m3 . Con esa base dene Cantor el buen orden ([6], p. 137): Llamamos bien ordenado a un conjunto F simplemente ordenado si sus elementos ascienden en una sucesin denida desde un valor mnimo f1 de modo que: 1. Existe en F un elemento mnimo f1 . 2. Si F es una parte cualquiera de F y si F tiene uno o ms elementos mayores que todos los elementos de F , entonces existe
3Vase por ejemplo [1], [13], [12].

18

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

un elemento f de F que sigue inmediatamente a todos los de F sin que existan en F elementos entre f y los elementos de F . Y nalmente la nocin de nmero ordinal ([6], p. 151-152): ... todo conjunto simplemente ordenado M tiene un tipo denido de orden M ; este tipo es el concepto general que resulta de M si abstraemos la naturaleza de sus elementos reteniendo su orden de precedencia ... Todos los conjuntos que son similares entre s4, y solo ellos, tienen el mismo tipo de orden. Llamamos nmero ordinal al tipo de orden de un conjunto bien ordenado. La nocin de -orden haba sido ya anticipada por Cantor ([6], p. 115): Por entendemos el tipo de orden de un conjunto bien ordenado

(e1 , e2 , . . . , e , . . . )
en el que

(81)

e+1

(82)

y donde representa, a su vez, a todos los cardinales nitos. Despus de denir la nocin de nmero ordinal, Cantor dene las operaciones de suma, sustraccin y multiplicacin de ordinales. La suma de ordinales es asociativa:

( + ) + = + ( + )

(83)

Aunque, en general, no es conmutativa (salvo que ambos ordinales sean nitos):

+ =+

(84)

La multiplicacin de ordinales tampoco es, en general, conmutativa aunque si asociativa y distributiva respecto de la suma:

= ( ) = ( ) ( + ) = +
4existe una biyeccin entre ellos que conserva el orden.

(85) (86) (87)

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

19

Otra propiedades aritmticas tiles son (siendo y innitos y nito):

1=1= = + = += = + ( ) = ( + ) =

(88) (89) (90) (91) (92) (93) (94)

En el epgrafe 14, Cantor dene lo que l llama una sucesin fundamental de ordinales, esto es, una sucesin estrictamente creciente e innita de ordinales ([6], p. 156): Es importante hacer notar que es posible sumar un nmero innito de ordinales de modo que su suma es un ordinal denido que depende de la sucesin de sumandos. Si

1 , 2 , . . . , , . . .
es una sucesin simple e innita de ordinales, y tenemos

(95)

= G ,
entonces por el teorema E de 125

(96)

G = (G1 , G2 , . . . , G , . . . )
es tambin un conjunto bien ordenado6 cuyo nmero ordinal es la suma de los nmeros . Tenemos, entonces

(97)

1 + 2 + + + = G =
[. . . ] Si ponemos

(98) (99) (100)

= 1 + 2 + +
entonces

= (G1 , G2 , . . . G )

5Si en un conjunto G se sustituyen sus elementos g por conjuntos bien ordenados de modo que

si Fg y Fg son los conjuntos bien ordenados que ocupan los sitios de g y g y g g y tambin Fg Fg , entonces el conjunto H resultante es tambin bien ordenado 6En la notacin de Cantor G = (G , G , . . . , G , . . . ) representa la unin de los conjuntos 1 2 disjuntos G1 G2 . . . G . . .

20

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

Tenemos

+1 >
[. . . ] La sucesin

(101)

1 , 2 , . . . , , . . .
representa as cualquier sucesin innita de nmeros ordinales que satisfacen la condicin (101); la llamaremos sucesin fundamental de nmeros ordinales.

(102)

Cantor consigue probar que esa sucesin fundamental (102) tiene un lmite preciso: teorema 14 I ([6], p. 158): I. A toda sucesin fundamental de ordinales { } pertenece un ordinal l que sigue en orden de magnitud a todos los . m El lmite de la sucesin es una nocin fundamental en la construccin de los ordinales. Cantor ha probado ya que todos los conjuntos simplemente ordenados con un cardinal nito dado tienen el mismo ordinal nito. A los ordinales nitos los llama Cantor de la primera clase. Ahora prueba la existencia de ordinales innitos, a los que llama de la segunda clase. En el epgrafe 15, y con la ayuda del lmite de una sucesin de ordinales, se prueban 10 teoremas, el ltimo de los cuales es un teorema fundamental en la construccin de los ordinales transnitos, el teorema K: K. Todo ordinal de la segunda clase, o bien se forma a partir del ordinal anterior 1 por la adicin de 1

= 1 + 1
o bien existe una sucesin fundamental de ordinales { } de la primera o de la segunda clase tal que:

(103)

= l m

(104)

Al nal de la demostracin de este teorema Cantor escribe: A estas dos formas en virtud de las cuales los ordinales mayores proceden de los ms pequeos las llamaremos primer y segundo principio de generacin de los nmeros ordinales de la segunda clase.

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

21

La aplicacin sistemtica del teorema K de Cantor da lugar a la inmensa familia de los ordinales de la segunda clase, el primero de los cuales es :

1, 2, 3, . . . , , + 1, + 2, + 3, . . . , 2, 2 + 1, 2 + 2, . . . 3, 3 + 1, 3 + 2, . . . 4, 5, . . . , 2 , 2 + 1, 2 + 2 . . . 3, 4, 5, . . . , , . . . , . . . , , . . .
En el epgrafe 16 Cantor prueba otros dos teoremas importantes. El primero es el teorema D que establece que el cardinal del conjunto de todos los ordinales de la segunda clase no es igual a 0 . El segundo el teorema F en el que se establece que el cardinal 1 del conjunto de todos los ordinales de la segunda clase es el siguiente cardinal innito mayor que 0 . Prueba tambin Cantor que todo ordinal de la segunda clase se puede expresar de forma nica como:

= 0 0 + 1 1 + +

(105)

donde 0 , 1 , . . . son ordinales de la primera o de la segunda clase tales que:

0 < 1 < . . . <

(106)

mientras que 0 , 1 , . . . son ordinales de la primera clase -nitos- distintos de cero. La expresin (105) constituye la forma normal de los ordinales de la segunda clase. El grado 0 de un ordinal de la segunda clase nunca es mayor que (teorema 18 F). Pero pude ser 0 = . En ese caso la expresin normal se reduce a un solo trmino:

=
Todos los ordinales de la segunda clase que satisfacen la ecuacin:

(107)

(108)

forman una clase especial llamada por Cantor -ordinales de la segunda clase. Estos ordinales no pueden ser alcanzados por ninguna combinacin de operaciones aritmticas con ordinales menores. El menor de ellos, 0 viene dado por:
0

= 0 = l (, , , . . . ) m

(109)

A lo largo del siglo XX se aadieron nuevos ordinales a la ya inmensa clase construida por Cantor7
7[9], [10], [24].

22

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

7.

La paradoja de Burali-Forti

Los nmeros ordinales dieron lugar a una conocida paradoja, la paradoja de BuraliForti sobre el conjunto de todos los ordinales8. Se trata de una consecuencia inevitable de los tres siguientes enunciados: 1. Todo conjunto bien ordenado tiene un nmero ordinal nico. 2. Todo conjunto ordenado que contenga a todos los predecesores de cada uno de sus elementos tiene un ordinal que es mayor que el ordinal de cualquier elemento del conjunto. 3. El conjunto O de todos los ordinales es un conjunto bien ordenado y contiene a todos los predecesores de cada uno de sus elementos. De acuerdo con (3) y (1), el conjunto O tiene un ordinal, , y por tanto ha de pertenecer al conjunto de todos los ordinales O. Pero de acuerdo con (2) el ordinal de O ha de ser mayor que el ordinal de cada uno de sus elementos, entre los que se encuentra el propio . De este modo es ms grande que . Lo cual es una contradiccin. Pero en estos primeros tiempos de la teora de conjuntos (la llamada teora ingenua de conjuntos), Cantor parece que no estaba muy preocupado por este tipo de problemas. Simplemente declar al conjunto O como una totalidad inconsistente (Carta a Dedekind de 1899 citada en [22], pg. 129): Una multiplicidad puede ser de tal naturaleza, que la suposicin de que todos sus elementos estn conjuntados conduce a una contradiccin, de modo que es imposible concebir dicha multiplicidad como una unidad, como una cosa terminada. A tales multiplicidades las llamo multiplicidades absolutamente innitas o inconsistentes. [...] Cuando, por el contrario, la totalidad de los elementos de una multiplicidad pueden ser pensados como conjuntados sin contradiccin, de tal modo que pueden ser pensados como reunidos en una cosa, la llamo multiplicidad consistente o conjunto. Sin embargo, unos pocos aos despus fue necesario introducir ad hoc la nocin de clase propia para evitar este tipo de paradojas.

8[2], [11], [13].

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

23

Referencias
1. R. Bunn, Los desarrollos en la fundamentacin de la matemtica desde 1870 a 1910, Del clculo a la teora de conjuntos, 1630-1910. Una introduccin histrica (I. Grattan-Guinness, ed.), Alianza, Madrid, 1984, pp. 283327. 2. Cesare Burali-Forti, Una questiones sui numeri transniti, Rendiconti del Circolo Matematico di Palermo 11 (1897), 154164. 3. Georg Cantor, ber Eine elementare frage der mannigfaltigkeitslehre, Jahresberich der Deutschen Mathematiker Vereiningung, vol. 1, 1891. 4. , Beitrge zur Begrndung der transniten Mengenlehre, Mathematische Annalen XLVI (1895), 481  512. 5. , Beitrge zur Begrndung der transniten Mengenlehre, Mathematishe Annalen XLIX (1897), 207  246. 6. , Contributions to the founding of the theory of transnite numbers, Dover, New York, 1955. 7. Paul J. Cohen, The independence of the Continuum Hypothesis, Proceedings of the National Academy of Sciences 50 (1963), 1143  1148. 8. , The independence of the Continuum Hypothesis, Proceedings of the National Academy of Sciences 51 (1964), 105  110. 9. J. H. Conway, On Numbers and Games, Academic Press, London, 1976. 10. J. H. Conway and R. K. Guy, The Book of Numbers, Springer-Verlag, New York, 1996. 11. I. M. Copi, The Burali Forti Paradox, Philosophy of Science 25 (1958), 281  286. 12. Josep W. Dauben, Georg Cantor. His mathematics and Philosophy of the Innite, Princeton University Press, Princeton, N. J., 1990. 13. Alejandro R. Garciadiego Dantan, Bertrand Rusell y los orgenes de las paradojas de la teora de conjuntos, Alianza, Madrid, 1992. 14. Kurt Gdel, The consistency of the Axiom of Choice and the Generalized Continuum Hypothesis, Proceedings of the National Academy of Sciences 24 (1938), 556  557. 15. , The consistency of the Continuum Hypothesis, Princeton University Press, Princeton NJ, 1940. 16. Julius Knig, Zum Kontinuum Problem, Verhandlungen des dritten internationalen Mathematiker-Kongresse in Heidelberg (Leipzig), A. Krazer, 1904, pp. 144147. 17. Julius Konig, Zum Kontinuum Problem, Matematishe Annalen 60 (1905), 177180. 18. G. Kowalewski, Bestand und wandel. zugleich ein beitrag zur neuren geschichte der mathematik, Verl. R. Oldenbourg, Munchen, 1950. 19. Antonio Len, Correcting a minor error in Cantor's calculation of the power of the continuum, http://arxiv.org/abs/math/0609589, September 2006. 20. Nancy McGough, Cardinal Numbers, Innite Ink (http://www.ii.com), 1997. 21. , The Continuum Hypothesis, Innite Ink (http://www.ii.com), 1998. 22. Jess Mostern, Los lgicos, Espasa Calpe, Madrid, 2000. 23. Graham Oppy, Inverse Operations with Transnite Numbers and the Kalam Cosmological Argument, International Philosophical Quarterly 35, 2 (1995), 219  221.

24

SOBRE LA ARITMTICA TRANSFINITA DE CANTOR

24. Rudy Rucker, Innity and the Mind, Princeton University Press, Princeton, 1995.