Contribución A Los Fundamentos de La Teoría de Conjutos Transfinitos.

Mathesis III 22 (2007) 387-462.
Impreso en Mxico. Derechos reservados 2007 por UNAM (ISSN 0185-6200)
Contribucin a los fundamentos de la

teora de conjuntos transfinitos.
[Beitrge zur Begrndung der
transfiniten Mengenlehre.
Mathematische Annalen
46 (1895) 481-512; 49 (1897) 207-246].
Georg Cantor
Traduccin del alemn por Luis Miguel Villegas Silva.
Revisin tcnica de Clara H. Snchez B. y Gonzalo Serrano.
Corregido por Carlos Lingan Prez.
Hypotheses non fingo. [Newton]

Neque enim leges intellectui aut rebus damus
ad arbitrium nostrum, sed tanquam scribae fideles
ab ipsius naturae voce latas et prolatas excipimus
et describimus.
Veniet tempus, quo ista quae nunc latent, in
lucem dies extrahat et longioris aevi diligentia.
[481]
1.
La nocin de cardinalidad o nmero cardinal.
Por conjunto entendemos cualquier coleccin M de objetos determi-
nados m distinguibles entre s por nuestra experiencia o nuestro pensamien-
to (que llamaremos los elementos de M) que conforman un todo.
En smbolos expresamos esto mediante:
(1) M = {m}.
La unin de varios conjuntos M, N, P, . . . , que no tengan elementos
en comn, para conformar uno slo la denotamos como
(2) (M, N, P, . . . ).
388 Georg Cantor
Los elementos de este conjunto son entonces los elementos de M, de

N, de P, etctera.
Llamamos parte o subconjunto de un conjunto M a cualquier
otro conjunto M1, cuyos elementos son a la vez elementos de M.
Si M2 es una parte de M1, y M1 una parte de M, entonces M2 es tam-
bin una parte de M.
Cada conjunto M tiene una potencia o cardinalidad que llamaremos
nmero cardinal.
La cardinalidad o el nmero cardinal de M es la nocin general,
que con ayuda de nuestro intelecto surge del conjunto M, y que es in-
dependiente de la naturaleza de sus distintos elementos m y del orden
en que se encuentran.
[482] El resultado de este doble proceso de abstraccin, la cardinalidad
o el nmero cardinal de M, lo denotamos con
(3) M.
Puesto que cada elemento m, sin considerar su ndole, forma una
unidad, el nmero cardinal mismo M es un conjunto formado exclu-
sivamente por unidades, que existe en nuestro espritu como una ima-
gen virtual o una proyeccin del conjunto dado M.
Llamaremos equivalentes a dos conjuntos M y N, lo que denota-
mos como
(4) M N o N M,
cuando es posible relacionarlos de tal forma que cada elemento de uno

de ellos corresponde a uno y slo un elemento del otro.
A cada parte M1 de M corresponde entonces una determinada parte
equivalente N1 de N y viceversa.
Si se tiene tal correspondencia entre dos conjuntos equivalentes,
sta se puede modificar en varias formas (excepto en el caso en que
cada uno de los conjuntos consista en un slo elemento). A saber,
siempre se puede tomar la prescripcin de que un elemento particular
m0 de M corresponde a un cierto elemento n0 de N. Porque si de acuer-
do a la correspondencia original, el elemento m0 no est asociado a n0,
sino que m0 est asociado al elemento n1 de N y el elemento n0 al ele-
mento m1 de M, entonces se considera la correspondencia modificada,
en la que m0 est relacionado con n0 as como n1con m1 y para el resto
de los elementos se preserva la correspondencia original. Con esto se
alcanza la meta original.
Cada conjunto es equivalente a s mismo:
(5) M M.
Mathesis
Contribucin a los fundamentos 389
Si dos conjuntos son equivalentes a un tercero, entonces tambin son

equivalentes entre s:
(6) de M P y NP se deduce M N.
Es de gran importancia que dos conjuntos M y N tengan el mismo
nmero cardinal cuando y slo cuando son equivalentes:
(7) de M N se deduce M = N
y
(8) de M = N se deduce M N.
As que la equivalencia de conjuntos proporciona el criterio nece-
sario y suficiente para la igualdad de sus nmeros cardinales.
[483] De hecho, de acuerdo con la definicin anterior de cardinalidad el
nmero cardinal M permanece invariable cuando se sustituye un ele-
mento o varios o incluso todos los elementos m de M por otro objeto.
Ahora, si M N, entonces existe una correspondencia a travs de la
cual M y N se relacionan entre s; en tal situacin a cada elemento m de M
corresponde un elemento n de N. En consecuencia, podemos pensar que
cada elemento m de M se sustituye por el elemento n de N, con lo que se
transforma M en N sin cambio del nmero cardinal; por consiguiente,
(8) M = N.
El recproco del teorema se obtiene al observar que entre los ele-
mentos de M y las distintas unidades de su nmero cardinal M existe
una correspondencia mutua unvoca. Porque, como se observa, M
surge de M, de tal forma que de cada elemento m de M se obtiene una
unidad particular de M . Por ello podemos decir que
(9) M M .
De la misma forma N N . Por lo que si M = N , se sigue de (6)
que M N.
Tambin podemos derivar directamente de la nocin de equivalen-
cia el siguiente teorema:
Si M, N, P, . . . , son conjuntos que no tienen elementos en comn,
M, N, P, . . . son conjuntos de tal caracterstica y se cumple
M M, N N, P P, . . . ,
entonces siempre se cumple que
(M, N, P, . . . ) (M, N, P, . . . ).
III 22 (2007)
390 Georg Cantor
2.
Menor y mayor entre nmeros cardinales.
Si se satisfacen las dos condiciones siguientes para dos conjuntos M y
N con nmero cardinal a = M y b = N y si:
1) no existe ninguna parte de M equivalente a N,

2) existe una parte N1 de N, tal que N1 M,
entonces, primero es claro que lo mismo sigue siendo vlido cuando se
sustituyen M y N por conjuntos equivalentes M y N; por consiguiente
esas condiciones expresan una cierta relacin entre los nmeros cardi-
nales a y b.
[484] Adems, est excluida la equivalencia de M y N, es decir, la
igualdad de a y b; en caso contrario se tendra M N, de donde se
deducira, ya que N1 M, que N1 N por lo que debera existir una
parte M1 de M, puesto que M N, tal que M1 M, y tambin M1 N,
lo que contradice la condicin 1).
Tercero, la relacin de a con b es tal que la misma relacin de b con
a es imposible; pues si en 1) y 2) intercambiamos los papeles de M y N,
se originan dos relaciones contradictorias entre s.
Expresamos de la siguiente forma la relacin de a con b caracteri-
zada por las condiciones 1) y 2): a es menor que b, o tambin: b es
mayor que a, en smbolos
(1) a < b o b > a.
Se prueba fcilmente que
(2) si a < b, b < c, entonces siempre se cumple a < c.
Tambin se sigue sin dificultad de la definicin, que si P1 es una
parte del conjunto P, de a < P1 siempre se deduce que a < P y de P <
b siempre se sigue que tambin P1 < b.
Hemos visto que en las tres relaciones
a = b, a < b, b < a
cada una excluye a las otras dos.
Por el contrario, de ninguna manera se sobreentiende, y difcilmen-
te puede ser demostrado en este momento de nuestra disertacin, que
entre cualesquiera dos nmeros cardinales a y b se deba cumplir algu-
na de esas relaciones.
Slo despus que hayamos analizado la sucesin creciente de los
nmeros cardinales transfinitos y tengamos conocimientos sobre las
relaciones entre ellos, se obtendr la veracidad del teorema:
Mathesis
A. Si a y b son dos nmeros cardinales arbitrarios, entonces se

cumple a = b o a < b o a > b.
Fcilmente se derivan de este teorema los siguientes, de los que por
el momento no podemos hacer uso:
B. Si dos conjuntos M y N se conforman de tal manera que M es
equivalente a una parte N1 de N y N es equivalente a una parte M1 de
M, entonces tambin M y N son equivalentes.
C. Si M1 es una parte del conjunto M, M2 una parte del conjunto
M1, y los conjuntos M2 y M son equivalentes, entonces M1 tambin es
equivalente a M y M2.
D. Si para dos conjuntos M y N se satisface la condicin de que N
no es equivalente a M ni a una parte de M, entonces existe una parte N1
de N, que es equivalente a M.
E. Cuando dos conjuntos M y N no son equivalentes, y existe una
parte N1 de N, equivalente con M, entonces ninguna parte de M es
equivalente con N.
[485]
3.
La adicin y multiplicacin de cardinales.
La unin de dos conjuntos M y N, que no tienen elementos en comn,
se denot en 1, (2) con (M, N). La llamamos el conjunto unin de M y
N.
Si M y N son otros dos conjuntos sin elementos en comn, y se
cumple M M, N N, entonces se observa que tambin se cumple
(M, N) (M, N).
De lo anterior se sigue que el nmero cardinal de (M, N) slo de-
pende de los nmeros cardinales M = a y N = b.
Esto conduce a la definicin de la suma de a y b, si hacemos
(1) a + b = (M , N ) .
Ya que la nocin de cardinalidad es independiente del orden de los
elementos, se sigue sin dificultad que
(2) a+b=b+a
y para cualesquiera tres nmeros cardinales a, b, c
(3) a + (b + c) = (a + b) + c.
Ahora atendemos la multiplicacin.
III 22 (2007)
392 Georg Cantor
Cada elemento m de un conjunto M se puede enlazar con cada elemento

n de otro conjunto N para formar un nuevo elemento (m, n); para el
conjunto de todos estos enlaces (m, n) introducimos la notacin (M . N).
Llamamos a este conjunto el conjunto de enlaces de M y N. Se tiene
entonces
(4) (M . N) = {(m, n)}.
Se verifica tambin que la cardinalidad de (M . N) slo depende de las
cardinalidades M = a, N = b; porque, si se sustituyen los conjuntos M
y N por conjuntos equivalentes a ellos
M = {m} y N = {n}
y se consideran m, m as como n, n como elementos asociados, el
conjunto
M N = {(m, n)}
se puede poner en correspondencia mutua unvoca con (M . N), si se
consideran asociados los elementos (m, n) y (m, n); as, se cumple que
(5) (M . N) (M . N).
Ahora definimos el producto a b mediante la ecuacin:
(6) a . b = (M . N ) .
[486] Un conjunto con nmero cardinal ab se puede generar a partir de
dos conjuntos M y N con nmeros cardinales a y b mediante la siguien-
te prescripcin: se parte del conjunto N y se sustituye en l cada ele-
mento n por un conjunto Mn M; si se colectan los elementos de todos
estos conjuntos Mn en un todo S, entonces se verifica fcilmente que
(7) S (M . N),
en consecuencia,
S = a.b.
Pues dada una correspondencia entre los conjuntos equivalentes M y
Mn, denotamos con m al elemento de M correspondiente a mn, as que
(8) S = {mn},
por lo que se pueden poner en correspondencia recproca unvoca los con-
juntos S y (M . N), relacionando el elemento mn con el elemento (m, n).
De nuestras definiciones se siguen fcilmente los teoremas:
(9) a . b = b . a,
(10) a . (b . c) = (a . b) . c
Mathesis
(11) a(b + c) = ab + ac,

porque
(M . N) (N . M),
(M . (N . P)) ((M . N) . P),
(M . (N ,P)) ((M . N), (M . P)).
La adicin y multiplicacin de cardinales estn sujetas a las leyes ge-
nerales de conmutatividad, asociatividad y distributividad.
4.
Exponenciacin de cardinales.
Por una valuacin del conjunto N con elementos del conjunto M o
expresado en forma ms simple, por una valuacin de N en M enten-
deremos una ley, mediante la cual cada elemento n de N est asociado a
un determinado elemento m de M, donde un mismo elemento de M
puede utilizarse repetidamente. El elemento de M asociado a n es en
cierto sentido una funcin unvoca de n y se puede denotar, digamos
con f(n); ella se llama funcin valuacin de n; la valuacin correspon-
diente de N se denota f(N).
[487] Dos valuaciones f1(N) y f2(N) se dicen iguales cuando y slo
cuando para cada elemento n de N se satisface la ecuacin
(1) f1(n) = f2(n),
de tal suerte, que si para algn elemento n = n0 no se cumple esta ecua-
cin, f1(N) y f2(N) se consideran valuaciones de N distintas.
Por ejemplo, si m0 es un elemento particular de M, se puede impo-
ner que para toda n
f (n) = m0;
esta ley constituye una valuacin particular de N en M.
Otro tipo de valuacin se obtiene cuando m0 y m1 son dos elementos
distintos de M, n0 un elemento de N y se prescribe
f (n0) = m0,
f (n) = m1
para toda n que sea distinta de n0.
La totalidad de las valuaciones de N en M conforman un conjunto
con elementos f(N); llamamos a este conjunto el conjunto de valuacio-
nes de N en M y lo denotamos por (N |M). Se tiene que
(2) (N | M) = { f (N)}.
Si M M y N N, se deduce fcilmente que
III 22 (2007)
394 Georg Cantor
(3) (N | M) (N | M).
El nmero cardinal de (N | M) depende slo de los nmeros cardina-
les M = a y N = b; l nos sirve para definir el exponente ab:
(4) ab = (N | M ) .
Para tres conjuntos arbitrarios M, N y P se demuestran con facilidad
los teoremas:
(5) ((N | M) . (P | M)) ((N, P) | M),
(6) ((P | M) . (P | N)) ((P | (M . N)),
(7) (P | (N | M)) ((P . N) | M),
de los que, si se establece P = c, por (4) y teniendo en cuenta 3 obtene-

mos los teoremas siguientes para nmeros cardinales arbitrarios a, b y c:
(8) ab . ac = ab+c
(9) ac . bc = (a . b)c
(10) (ab)c = abc.
[488] Qu tan valiosas y trascendentes son estas frmulas sobre cardi-
nalidades, se reconoce en los siguientes ejemplos:
Denotemos con o la cardinalidad del continuo lineal X (es decir, la
totalidad X de los nmeros reales x, 0 y 1), se deduce sin dificultad
que este se puede representar entre otras formas, mediante la ecuacin
0
(11) o= 2
donde el significado de 0 se aclara en 6.

De hecho, segn (4), 2 0 no es otra cosa que la cardinalidad de
todas las representaciones
f (1) f (2) f (v )
(12) x= + 2 + ... + v + ... (donde f () = 0 1)
2 2 2
de los nmeros x en sistema binario. Notemos que cada nmero x slo
tiene una representacin con excepcin de los nmeros
2v + 1
x = <1
2
que se representa en dos formas, entonces tenemos, si denotamos con
{s} la totalidad numerable de estos, primero
20 = ({sv }, X ) .
Si de X quitamos algn conjunto numerable {t} y denotamos el resto
con X1, se cumple que
Mathesis
X = ({t}, X1) = ({t21}, {t2}, X1),

({s}, X) = ({s}, {t}, X1),
{t2+1} {s}, {t2} {t}, X1 ~ X1,
con lo que
X ({s}, X),
as que (1)
20 = X = o.
De (11) se sigue al elevar al cuadrado que (6, (6))
0 0 0 +0 0
o o= 2 2 = 2 = 2 =o
y despus de multiplicar repetidamente por o
(13) o = o,
donde es un nmero cardinal finito.
Si se eleva ambos lados de (11) a la potencia 0, se obtiene
00 = (20 )0 = 20 0 .
Pero segn 6, (8) 0 0 = 0, por lo que
(14) 00 = 0.
Las frmulas (13) y (14) no tienen otro significado que: Tanto el con-
tinuo n-dimensional como el 0-dimensional tienen la cardinalidad del
continuo unidimensional. As que todo el contenido del trabajo en el
volumen 84 del Crelles Journal, pg. 242 se deriva de las frmulas
elementales del clculo de cardinalidades en forma puramente alge-
braica.
[489]
5.
Los nmeros cardinales finitos
Primero se debe mostrar como los principios expuestos, sobre los cua-
les se basar despus la teora de los nmeros cardinales infinitos o
transfinitos, tambin proporcionan la fundamentacin ms corta, natural
y formal de la teora de nmeros finitos.
Un nico objeto e0, cuando lo consideramos como un conjunto E0 =
{e0}, corresponde al nmero cardinal que llamamos uno y denotamos
con 1; tenemos
(1) 1 = E0 .
III 22 (2007)
396 Georg Cantor
Ahora se une con E0 otro objeto e1, el conjunto unin se llama E1,
de tal suerte que
(2) E1 = (E0, e1) = (e0, e1).
El nmero cardinal de E1 se llama dos y se denota con 2:
(3) 2 = E1 .
Mediante la adicin de nuevos elementos obtenemos la sucesin no
acotada de conjuntos
E2 = (E1, e2), E3 = (E2, e3), . . . ,
que nos proporciona los restantes, denotados 3, 4, 5, . . . as llamados
nmeros cardinales finitos. El uso de los mismos nmeros como ndices
se justifica porque un nmero se usa con este significado una vez que se ha
introducido como nmero cardinal. Tenemos, si por 1 se entiende el
nmero que antecede inmediatamente a en la sucesin que,
(4) = Ev 1 ,
(5) E = (E1, e) = (e0, e1, . . . , e).
De la definicin de suma en 3 se sigue que
(6) Ev = Ev 1 + 1,
es decir, cada nmero cardinal finito (excepto 1) es la adicin del inme-
diato previo y el 1.
De nuestra disertacin resaltan los siguientes tres teoremas:
A. Los miembros de la sucesin no acotada de nmeros cardinales
finitos
1, 2, 3, . . . , . . .
son distintos entre s (es decir, la condicin de equivalencia planteada
en 1 no se satisface entre los conjuntos correspondientes).
[490] B. Cada uno de estos nmeros es mayor que sus predecesores
y menor que sus sucesores (2).
C. No existe un nmero cardinal que est, por su magnitud, entre
dos consecutivos y + 1 (2).
La demostracin de estos teoremas se basa en los siguientes teoremas D
y E, que primero se deben justificar.
D. Si M es un conjunto con la propiedad de que ninguno de sus
subconjuntos tenga la misma cardinalidad que l, entonces tambin el
conjunto (M, e), que se obtiene de M mediante la adicin de un nico
elemento nuevo e, tiene la propiedad de que ninguno de sus subconjun-
tos tiene la misma cardinalidad que l.
Mathesis
E. Si N es un conjunto con cardinalidad finita , N1 un subconjun-

to de N, entonces el nmero cardinal de N1 es igual a alguno de los
nmeros previos 1, 2, 3, . . . 1.
Demostracin de D. Supongamos que existe un conjunto (M, e), uno
de cuyos subconjuntos, llammosle N, tiene la misma cardinalidad que
l, entonces se distinguen dos casos, y ambos conducen a una contra-
diccin:
1) El conjunto N contiene e como elemento; sea N = (M1, e); enton-
ces M1 es un subconjunto de M, porque N es un subconjunto de (M, e).
Como vimos en 1, la correspondencia supuesta entre los conjuntos (M,
e) y (M1, e) se puede modificar de tal forma que el elemento e de uno
corresponde al mismo elemento e del otro; en consecuencia, M y M1 se
pueden hacer corresponder en forma unvoca. Pero esto contradice la
hiptesis de que M y su subconjunto M1 no pueden tener la misma car-
dinalidad.
2) El subconjunto N de (M, e) no contiene a e como elemento, en-
tonces N es M o un subconjunto de M. Respecto a la correspondencia
entre (M, e) y N, supongamos que el elemento e del primero correspon-
de al elemento f del ltimo. Sea N = (M1, f ); entonces M estar en mu-
tua correspondencia unvoca con M1; pero M1 es, como subconjunto de
N, un subconjunto de M. Tendramos entonces tambin aqu un subcon-
junto equivalente con M, contrario a la hiptesis.
Demostracin de E. Se supone la validez del teorema hasta un cierto
y se deducir, como a continuacin, la validez para el sucesor + 1.
Como conjunto con nmero cardinal + 1 se coloca el conjunto E =
(e0, e1, . . . e); si el teorema es correcto para ste, entonces sin ms de
(1) se deduce su validez para cualquier otro conjunto con el mismo
nmero cardinal + 1. Sea E un subconjunto de E: distinguimos los
siguientes casos:
[491]
1) E no contiene a e como elemento, entonces E es E1 o una
parte de E1, por lo que tiene como nmero cardinal o alguno de los
nmeros 1, 2, 3, . . . 1, porque hemos supuesto correcto nuestro
teorema para el conjunto E1 con nmero cardinal .
2) E consiste en nicamente el elemento e, entonces E ' = 1.
3) E consiste en e y un conjunto E, de tal forma que E = (E, e).
E es una parte de E1, por lo que tiene, segn hiptesis, como nmero
cardinal alguno de los nmeros 1, 2, 3, . . . 1.
Ahora, se cumple E ' = E '' + 1, por lo que E tiene como nmero
cardinal alguno de los nmeros 2, 3, . . . .
III 22 (2007)
398 Georg Cantor
Demostracin de A. Cada uno de los conjuntos que denotamos E

tiene la propiedad de que no es equivalente a ninguno de sus subcon-
juntos. Pues si se supone que que esto se cumple para un cierto , se
deduce del Teorema D que tambin se cumple para el sucesor + 1.
Para = 1 se reconoce de inmediato que el conjunto E1 = (e0, e1) no
es equivalente a ninguno de sus subconjuntos que en este caso son (e0)
y (e1).
Consideremos ahora dos nmeros y arbitrarios de la sucesin 1, 2,
3, . . . donde aparece primero, es posterior, entonces E1 es un sub-
conjunto de E1; por lo tanto E1 y E1 no son equivalentes; los nme-
ros cardinales asociados = E 1 y = Ev 1 no son entonces iguales.
Demostracin de B. Si de los nmeros cardinales finitos y el
primero antecede al ltimo, entonces < . Pues si consideramos los
conjuntos M = E1 y N = E1, entonces se satisfacen para ellos las dos
condiciones en 2 para que se satisfaga M < N . La condicin 1) se
cumple porque, segn el Teorema E, un subconjunto de M = E1 tiene
como nmero cardinal uno slo de los nmeros 1, 2, 3, . . . 1, por lo
que no puede ser equivalente al conjunto N = E1, segn el Teorema A.
La condicin 2) se satisface pues aqu M mismo es un subconjunto de
de N.
Demostracin de C. Sea a un nmero cardinal menor que + 1. Por
la condicin 2) de 2 existe un subconjunto de E con nmero cardinal
a. Segn el Teorema E, para un subconjunto de E aparece slo uno de
los nmeros 1, 2, 3, . . . como nmero cardinal.
As que a es igual a uno de los nmeros 1, 2, 3, . . . .
De acuerdo con el Teorema B ninguno de estos es mayor que .
Por consiguiente, no existe nmero cardinal a que sea menor que
+ 1 y mayor que .
Posteriormente ser importante el siguiente Teorema:
F. Si K es un conjunto de distintos nmeros cardinales finitos,
entonces entre ellos existe uno 1 que es menor que el resto, es decir, es
el menor de todos ellos.
[492]
Demostracin. El conjunto K contiene al nmero 1, entonces este es el
menor, 1 = 1; o no lo contiene. En el ltimo caso sea J el conjunto de
todos aquellos nmeros cardinales de la sucesin 1, 2, 3, . . . que son
menores a los que aparecen en K. Si un nmero pertenece a J, enton-
ces tambin pertenece a J todos los nmeros < .
Entonces J debe tener un elemento 1 tal que 1 + 1 y, por consiguiente
todos los mayores que l, no pertenecen a J, pues en caso contrario J
contendra la totalidad de todos los nmeros finitos, mientras que los
Mathesis
pertenecientes a K no estn en J. El conjunto J no es otra cosa que el

segmento (1, 2, 3, . . . 1). El nmero 1 + 1 = 1 es necesariamente un
elemento de K menor que el resto.
De F se deduce que:
G. Cada conjunto K = {} de nmeros cardinales finitos distintos
se puede representar en forma de sucesin:
K = (1, 2, 3, . . . )
con
1 < 2 < 3 <
6.
El menor nmero cardinal transfinito lef cero
Los conjuntos con nmero cardinal finito se llaman conjuntos finitos,
todos los dems los llamaremos conjuntos transfinitos y los nmeros
cardinales asociados a ellos nmeros cardinales transfinitos.
La totalidad de los nmeros cardinales finitos nos proporciona el
ejemplo ms cercano de un conjunto transfinito; al nmero cardinal asocia-
do a l lo llamamos (1) lef cero, en smbolos 0, as que establecemos
(1) 0 = {v} .
Que 0 es un nmero transfinito, es decir, que no es igual a ningn

nmero finito , se sigue del hecho simple, de que si se aade un nuevo
elemento e0 al conjunto {}, el conjunto unin ({}, e0) es equivalente
al que lo origin {}. Porque se puede pensar una relacin recproca
unvoca entre ambos, donde el elemento e0 se asocia al elemento 1 del
segundo y el elemento del primero al elemento + 1 del segundo.
Segn 3 tenemos entonces
(2) 0 + 1 = 0.
En 5 se demostr que (para finito) + 1 siempre es distinto de ,
por lo que 0 no es igual a ningn nmero finito .
El nmero 0 es mayor que cualquier nmero finito :
(3) 0 > .
[493] Esto se sigue, considerando 3, de que = (1, 2, 3, . . ., ) , nin-

gn subconjunto de (1, 2, 3, . . . ) es equivalente al conjunto {} y (1,
2, 3, . . ., ) es l mismo un subconjunto de {}.
Por otro lado 0 es el menor nmero cardinal transfinito.
Si a es un nmero cardinal transfinito distinto de 0, entonces se
cumple
III 22 (2007)
400 Georg Cantor
(4) 0 < a.
Esto se basa en el siguiente teorema:
A. Todo conjunto transfinito T tiene un subconjunto con nmero car-
dinal 0.
Demostracin. Si se ha eliminado, mediante algna regla, una canti-
dad finita de elementos t1, t2, . . . t1 de T, siempre queda la posibilidad
de eliminar otro elemento t. El conjunto {t}, donde representa un
nmero cardinal finito arbitrario, es un subconjunto de T con nmero
cardinal 0, pues {t} {} (1).
B. Si S es un conjunto transfinito con nmero cardinal 0, S1 es un
subconjunto transfinito de S, entonces tambin se cumple S1 = 0.
Demostracin. Supongamos que S {}; denotemos con s al ele-
mento de S que corresponde al elemento del conjunto {} respecto a
la correspondencia biunvoca entre ambos conjuntos, as que
S = {s}.
El subconjunto S1 de S consiste en ciertos elementos s de S, y la
totalidad de los nmeros conforma un subconjunto transfinito K del
conjunto {}. Segn el Teorema G, 5 el conjunto K se puede represen-
tar como la sucesin
K = { v},
donde
v < v + 1,
por lo que tambin tenemos
S1 = {s } .
V
De lo anterior se deduce que S1 S, por lo que S1 = 0.

De A y B se obtiene la frmula (4) en vista de 2.
De (2) concluimos, mediante la adicin de 1 en ambos lados, que
0 + 2 = 0 + 1 = 0,
y si repetimos esta observacin,
(5) 0 + = 0.
Pero tambin tenemos
(6) 0 + 0 = 0.
[494]
Pues segn (1) de 3, 0 + 0 es el nmero cardinal de ({av },{bv }) ,
porque
Mathesis
{av } = {bv } = 0.
Ahora, es evidente que se cumple

{} = ({2 1}, {2}),
({2 1}, {2}) ({a}, {b}),
por lo que
({av },{bv }) = {v} = 0.
La Ecuacin (6) se puede escribir tambin como:

0 2 = 0,
y si aadimos repetidamente 0 de ambos lados se encuentra que
(7) 0 = 0 = 0.
Pero tambin tenemos
(8) 0 0 = 0.
Demostracin. Segn (6) de 3, 0 0 es el nmero cardinal del
conjunto enlace
{(, )}
donde y son nmeros cardinales finitos independientes entre s. Si
tambin representa un nmero cardinal finito arbitrario (de tal forma
que {}, {} y {} son representaciones distintas de la misma totalidad
de los nmeros cardinales finitos), entonces debemos mostrar que
{(, )} {}.
Denotemos + con , entonces toma la totalidad de valores num-
ricos 2, 3, 4, . . . , y existen en total 1 elementos (, ), para los cua-
les + = , a saber,
(1, 1), (2, 2), . . ., ( 1, 1).
En esta sucesin se piensa primero que se pone un elemento (1, 1) para

el cual = 2, entonces ambos elementos para los cuales = 3, despus
los tres elementos para los que = 4, etctera, as se obtiene la totalidad
de elementos (, ) en forma de una sucesin simple:
(1, 1); (1, 2), (2, 1); (1, 3), (2, 2), (3, 1); (1, 4), (2, 3), . . . ,
y de hecho, aparece en la posicin , como se verifica fcilmente, el
elemento (, ), donde
III 22 (2007)
402 Georg Cantor
( + v 1)( + v 2)
(9) =+
2
toma cada valor numrico 1, 2, 3, . . . una vez; segn (9) se origina
una relacin unvoca recproca entre los conjuntos {} y {(, )}. Si se
multiplica ambos lados de la ecuacin (8) por 0, se obtiene
[495]
30 = 02 = 0
y mediante multiplicacin repetida por 0 logramos la ecuacin, vlida
para cada nmero cardinal finito :
(10) v0 = 0
Los Teoremas E y A de 5 conducen a los teoremas sobre conjuntos
finitos:
C. Todo conjunto finito E tiene la propiedad de que no es equiva-
lente a ninguno de sus subconjuntos.
Este teorema se contrapone fuertemente al siguiente para conjuntos
transfinitos:
D. Todo conjunto transfinito T tiene la propiedad de que contiene
un subconjunto T1 equivalente a l.
Demostracin. Segn el Teorema A de este pargrafo existe un
subconjunto S = {t} de T con nmero cardinal 0. Sea T = (S, U), de
tal suerte que U consiste en los elementos de T distintos de los t. Hace-
mos S1 = {t+1}, T1 = (S1, U), entonces T1 es un subconjunto de T, de
hecho se obtiene eliminando el elemento t1 de T. Puesto que S S1
(teorema B de este pargrafo) y U U, entonces tambin (1) T T1.
En estos Teoremas C y D aparece la diferencia esencial entre conjuntos
finitos e infinitos en la forma ms ntida, que ya fue mencionada en el
ao 1877 en el Volumen 84 del Crelles Journal pg. 242.
Una vez que hemos introducido el menor de los nmeros cardinales
transfinitos 0 y que hemos deducido sus propiedades ms inmediatas,
surge la pregunta sobre los nmeros cardinales mayores y su generacin
a partir de 0.
Se debe mostrar que los nmeros cardinales transfinitos se pueden
ordenar de acuerdo a su magnitud y que con este orden, como en el
caso de los finitos, conforman un conjunto bien ordenado en sentido
amplio.
Despus de 0 aparece, de acuerdo a una regla determinada, el
siguiente nmero cardinal 1, despus de ste aparece, segn la misma
regla, el siguiente ms grande 2, y as sucesivamente.
Pero incluso la sucesin no acotada de nmeros cardinales
Mathesis
0, 1, 2, . . . , v, . . .
no abarca a todos los nmeros cardinales transfinitos. Se demostrar la
existencia de un nmero cardinal, que denotaremos con , que se
identifica como el ms inmediato mayor a todos los ; de l conti-
nuamos, como en el paso de 0 a 1, a uno mayor inmediato +1, y
as se contina sin fin.
[496] Para cada nmero cardinal transfinito a existe un inmediato
mayor, de acuerdo a una nica regla; pero tambin para cada conjunto
creciente no acotado y bien ordenado {a} de nmeros cardinales trans-
finitos a existe un nmero cardinal inmediato mayor determinado en
forma uniforme.
Para formalizar este resultado encontrado en el ao 1882 y publica-
do en el escrito Fundamentos de una teora general de variedades, as
como en el Volumen 21 de Math. Annalen nos serviremos de los as
llamados tipos ordinales cuya teora debemos desarrollar en los si-
guientes pargrafos.
7.
El tipo ordinal de los conjuntos simplemente ordenados
Llamamos a un conjunto M simplemente ordenado, si se establece
entre sus elementos m una cierta jerarqua, respecto a la cual, para
cualesquiera dos elementos m1 y m2, uno tiene menor y el otro tiene
mayor jerarqua y de tal forma que para cualesquiera tres elementos
m1, m2 y m3, si digamos m1 tiene menor jerarqua que m2 y ste menor
que m3, entonces siempre se cumple que m1 tiene menor jerarqua que
m 3.
La relacin entre dos elementos m1 y m2, respecto a la cual m1 tiene
la menor, m2 la mayor jerarqua, se expresa mediante la frmula
(1) m1 m2, m2 m1.
As por ejemplo, en una recta infinita cada conjunto definido de puntos
P es un conjunto simplemente ordenado, si a cada dos puntos arbitra-
rios p1 y p2 se le otorga menor jerarqua a aquel, cuya coordenada
(fijando un origen y una direccin positiva) sea la menor.
Es evidente que un conjunto se puede ordenar simplemente en muy
distintas maneras. Consideremos como ejemplo el conjunto R de todos
p
los nmeros racionales positivos q (donde p y q son primos relativos),
mayores que cero pero menores que 1, entonces se tiene una jerarqua
natural de acuerdo a su magnitud. Pero tambin se pueden ordenar (y
con este nuevo orden denotaremos al conjunto con R0) de tal forma que
dos nmeros
III 22 (2007)
404 Georg Cantor
p1 p
y 2
q1 q2
para los cuales las sumas p1 + q1 y p2 + q2 toman valores diferentes, el
nmero que obtiene el menor rango jerrquico es aquel para el cual la
suma respectiva es la menor, y que cuando p1 + q1 = p2 + q2, entonces el
menor es, el menor de ambos racionales.
[497] Puesto que un valor de p + q corresponde a solamente una canti-
dad finita de nmeros racionales distintos qp , en esta jerarqua nuestro
conjunto tiene claramente la forma:
1 1 1 2 1 1 2 3
R0 = (r1 , r2 ,..., rv ,...) = , , , , , , , ,... ,
2 3 4 3 5 6 5 4
donde
r < r+1.
Siempre que hablemos de un conjunto M ordenado simplemente, pensa-
remos que subsiste una jerarqua bien determinada en el sentido recin
definido entre sus elementos.
Existen conjuntos 2-, 3-, , a-ordenados, pero de stos prescindire-
mos por el momento en nuestra investigacin. Por ello utilizamos la
abreviacin conjunto ordenado, pensando en realidad en un conjunto
simplemente ordenado.
A cada conjunto ordenado M se le asocia un tipo ordinal determi-
nado o, en forma abreviada, un determinado tipo, que denotamos
como
(2) M;
sta es la nocin general, que se obtiene de M, prescindiendo de la
naturaleza de los elementos m, pero considerando la jerarqua entre
ellos.
Mas an, el tipo ordinal M es l mismo un conjunto ordenado,
cuyos elementos son unidades, que adquieren la misma jerarqua que
sus correspondientes elementos en M, de los cuales se obtuvieron me-
diante abstraccin.
Llamamos a dos conjuntos ordenados M y N similares, cuando se
pueden poner en correspondencia recproca unvoca y dados dos ele-
mentos m1, m2 de M y sus correspondientes elementos n1, n2 en N, la
relacin jerrquica entre m1 y m2 en M es la misma que entre n1 y n2 en
N. A tal correspondencia entre conjuntos similares la llamamos un
aplicacin entre ellos. As corresponde cada subconjunto M1 de M
(que es claramente tambin un conjunto ordenado) a un subconjunto
similar N1 de N.
Mathesis
La similitud de dos conjuntos ordenados M y N la expresamos

mediante la frmula:
(3) M N.
Cada conjunto ordenado es similar a s mismo.
Si dos conjuntos ordenados son similares a un tercero, son simila-
res entre s.
[498] Mediante una sencilla reflexin concluimos que dos conjuntos
ordenados tienen el mismo tipo ordinal cuando y slo cuando son simi-
lares, de tal forma que las frmulas
(4) M = N, M N
son consecuencia una de la otra.
Si se abstrae en un tipo ordinal M tambin de la jerarqua entre sus
elementos, entonces se concluye que (1) el nmero cardinal M del
conjunto ordenado M es igual al nmero cardinal del tipo ordinal M .
De M = N siempre se deduce que M = N , es decir, los conjun-
tos ordenados del mismo tipo siempre tienen la misma cardinalidad; la
similitud entre conjuntos ordenados siempre da lugar a su equivalencia.
Por el contrario, dos conjuntos ordenados pueden ser equivalentes, sin
ser similares.
Para denotar los tipos ordinales recurrimos a las letras minsculas
del alfabeto griego.
Si es un tipo ordinal, entonces entenderemos por
(5)
el nmero cardinal asociado.
Los tipos ordinales de conjuntos finitos simplemente ordenados no
ofrecen ningn inters especial. Pues es fcil comprobar, que para un
nmero cardinal finito todos los conjuntos simplemente ordenados de
esa cardinalidad son similares entre s, as que tienen el mismo tipo. Los
tipos ordinales finitos simples se generan por las mismas reglas que los
nmeros cardinales finitos, y se permite usar los mismos smbolos 1, 2,
3, . . . , , . . . , aunque la nocin sea distinta a la de nmero cardinal.
Muy distinto es el comportamiento de los tipos ordinales transfinitos;
pues para un mismo nmero cardinal transfinito existe una cantidad inu-
merable de tipos distintos de conjuntos simplemente ordenados de esa
cardinalidad, que al reunirlos constituyen una clase de tipos particular.
Cada una de estas clases de tipos est determinada entonces por un
nmero cardinal transfinito a, que es comn a cada uno de los tipos per-
tenecientes a la clase; por ello abreviamos y le llamamos clase tipo [a].
III 22 (2007)
406 Georg Cantor
La primera de ellas, que se nos presenta en forma natural y cuyo

anlisis completo ser la siguiente meta de la teora de conjuntos trans-
finitos, es la clase tipo [0], que comprende todos los tipos con el me-
nor nmero cardinal transfinito 0.
[499] Debemos distinguir entre el nmero cardinal a, que determina a la
clases tipo [a] y el nmero cardinal a, que est determinado a su vez
por la clase tipo [a]; l es el nmero cardinal que (1) surge de la clase
tipo [a], en tanto que sta represente un conjunto bien definido, cuyos
elementos son los tipos con nmero cardinal a. Despus veremos que
a es distinta de a y de hecho, siempre es mayor que a.
Si invertimos la jerarqua entre los elementos de un conjunto orde-
nado M, de tal forma que en todas partes remplazamos un menor por
un mayor y cada mayor por un menor, obtenemos otra vez un
conjunto ordenado que denotamos con:
(6) *M
y lo llamamos el inverso de M.
El tipo ordinal de *M lo denotamos, cuando = M , como
(7) *
Puede ocurrir que * = , como por ejemplo en los tipos ordinales fini-
tos o con el tipo del conjunto R de todos los nmeros racionales, que
son mayores que 0 y menores que 1, con su jerarqua natural, que con la
notacin investigaremos.
Notamos adems que dos conjuntos ordenados similares se pueden
aplicar entre s ya sea en una sola forma o en varias formas; en el pri-
mer caso el tipo asociado es similar a s mismo en una sola forma, en el
otro caso en varias formas.
Entonces no slo los tipos finitos, sino tambin los tipos de conjun-
tos bien ordenados transfinitos, que nos ocuparn despus y que llama-
remos nmeros ordinales transfinitos, son del tipo que permiten una
sola aplicacin sobre s mismos. Por el contrario, el tipo es similar a s
mismo en una cantidad inumerable de formas.
Queremos aclarar esta diferencia con dos ejemplos sencillos.
Por entendemos el tipo de un conjunto bien ordenado
(e1, e2, . . . , e, . . . ),
en el que
e e+1
y donde recorre todos los nmeros cardinales finitos.
Otro conjunto bien ordenado
( f1, f2, . . . , f, . . . )
Mathesis
con la condicin
f f+1
con tipo puede ser aplicado con el primero slo cuando e y f se
corresponden. Pues para respetar jerarquas el primer elemento e1 debe
corresponder a f1 respecto a la aplicacin, el segundo e2 que jerrqui-
camente sigue a e1 debe corresponder a f2 que es el sucesor de f1, etc-
tera.
[500] Cualquier otra correspondencia unvoca recproca entre ambos
conjuntos equivalentes {e} y {f} no es una aplicacin, en el sentido
que hemos definido antes para la teora de tipos.
Tomemos, por otro lado, un conjunto ordenado de la forma
{e},
donde recorre todos los nmeros enteros positivos y negativos
con excepcin del cero y donde se cumple
e e+1
Este conjunto no tiene, jerrquicamente, menor ni mayor elemento.
Su tipo es, segn la definicin de suma dada en 8,
* + .
l es similar a s mismo en una cantidad inumerable de formas.
Pues consideremos un conjunto del mismo tipo
{f},
donde
f f+1,
entonces se pueden corresponder ambos conjuntos de tal forma que, si
v0, es uno de los nmeros , al elemento e del primer conjunto le corres-
ponde el elemento fv , + v , del segundo. De la arbitrariedad de v , se sigue que
0
0
existen una cantidad infinita de tales aplicaciones.

La nocin recin desarrollada de tipo ordinal comprende, cuando
se traslada en forma similar a conjuntos ordenados de orden superior,
junto con la nocin introducida en 1 de nmero cardinal o cardinali-
dad, todo lo enumerable que sea imaginable y, en este sentido, no
permite mayores generalizaciones. No contiene nada arbitrario, sino
que es la generalizacin natural de la nocin de contar. Es importante
resaltar que el criterio de igualdad (4) se sigue necesariamente de la
nocin de tipo ordinal, por lo que no permite ninguna enmienda. El
menosprecio de esta situacin es la causa principal de graves errores,
III 22 (2007)
408 Georg Cantor
que se encuentran en la obra del Sr. Veronese Grundzge der Geome-

trie (traducida al alemn por A. Schepp, Leipzig 1894).
[501] En la pg. 30 se define la cantidad o nmero de un grupo orde-
nado totalmente en coincidencia con lo que nosotros hemos llamado el
tipo ordinal de un conjunto simplemente ordenado. (Zur Lehre von
Transfiniten, Halle 1890, pgs. 68-75, Reproduccin del Zeitschrifft f.
Philos. u. philos. Kritik, del ao 1887).
Al criterio de igualdad el Sr. V. considera que debe aadirle un
suplemento. El dice en la pg. 31: Nmeros, cuyas unidades se corres-
ponden unvocamente y en el mismo orden y ninguno de los cuales es
igual a una parte del otro, son iguales.1
Esta definicin de igualdad da lugar a un crculo vicioso, por lo que
conduce a un absurdo.
Qu quiere decir en el suplemento no ser igual a una parte del
otro?
Para responder a esta pregunta, se debe saber de antemano cundo
dos nmeros son o no iguales. As que su definicin de igualdad (sin
tener en cuenta su arbitrariedad) presupone una definicin de igualdad
que a su vez presupone una definicin de igualdad, para la cual se
debe saber de antemano que es igual y distinto, etctera, hasta el infini-
to.
Una vez que el Sr. V. ha dado libremente en tal forma el nada su-
perfluo fundamento para la comparacin de nmeros, no debe sorpren-
der la falta de formalidad en la que l a continuacin opera con sus
nmeros pseudotransfinitos y les atribuye a estos ltimos propiedades
que por razones simples no pueden poseer, porque ellos, no pueden
existir (exceptuando en el papel), en la forma que l pretende. Tambin
con esto se explica la similitud que tiene su construccin de los nme-
ros con el trabajo realmente absurdo unendendliche Zahlen de Fonte-
nelle que se presenta en su Gometrie de LInfini, Paris, 1727.
Hace poco el Sr. W. Killing ha expresado, por suerte, sus objeciones
contra los fundamentos del Libro de Veronese en el Index lectionum de
la Academia en Mnster, (1895-1896).2
1. La edicin original en italiano (pg. 27) dice literalmente: Numeri le unit dei quali si
corrispondono univocamente e nel medesimo ordine, e di cui luno non parte o uguale ad
una parte dell altro, sono uguali.
2. Veronese contest a esto en el Math Ann, vol XLVII, 1897, pp. 423-432. Cf. Killing,
ibid, vol. XLVIII, 1897, pp. 425-432.
Mathesis
8.
Suma y multiplicacin de tipos ordinales
El conjunto unin (M, N) de dos conjuntos M y N se puede ver como un
conjunto ordenado cuando ambos son ordenados, dejando la jerarqua
entre elementos de M igual, lo mismo que la jerarqua entre los elemen-
tos de N, y estableciendo que los elementos de M tienen menor jerarqua
que los de N. Si M y N son otros dos conjuntos ordenados, M M,
[502]
N N, entonces tambin se cumple (M, N) (M, N); el tipo ordinal
de (M, N) depende entonces tan slo de los tipos ordinales M = , N =
; as, definimos
(1) + = ( M , N ).
En la suma + , se llama el Augendus, mientras que el Ad-
dendus.
Para tres tipos de ordinales arbitrarios se demuestra fcilmente la ley
asociativa
(2) + ( + ) = ( + ) + .
Por el contrario, la ley conmutativa no se cumple en general respec-
to a la adicin de tipos. Esto se observa en el siguiente ejemplo senci-
llo:
Si es el tipo, ya mencionado en 7, del conjunto bien ordenado
E = (e1, e2, . . . , e, . . . ), e e+1,
entonces 1 + no es igual a + 1.
Pues si f es un elemento nuevo, se tiene segn (1)
1+= ( f , E ),
+1= ( E, f ) .
El conjunto
(f , E) = (f, e1, e2, . . . , e, . . . )
es similar al conjunto E, por consiguiente
1 + = .
Por el contrario, los conjuntos E y (E, f ) no son similares, pues el
primero no tiene mayor elemento, respecto a su jerarqua, mientras que
el ltimo conjunto tiene al elemento f como el mayor. Por lo tanto, +
1 es distinto de = 1 + .
A partir de dos conjuntos ordenados M y N con tipos y se puede
formar un conjunto ordenado S de haciendo que en N cada elemento n
III 22 (2007)
410 Georg Cantor
sea sustituido por un conjunto ordenado Mn con el mismo tipo que M,

por lo que
(3) M n = ,
y la jerarqua en
(4) S = {Mn}
se determina de acuerdo a:
1) dos elementos de S, que pertenezcan al mismo conjunto Mn, con-
servan en S la jerarqua que tenian en Mn,
2) dos elementos de S que pertenezcan a dos conjuntos M n y M n 1 2
distintos, obtienen en S la jerarqua que tenian n1 y n2 en N.

El tipo ordinal de S depende, como se verifica fcilmente, slo de los
tipos y ; definimos:
(5) = S.
[503] En este producto, se llama el multiplicandus y el multipli-
cator
Despus de fijar alguna aplicacin de M sobre Mn sea mn el elemen-
to de Mn correspondiente al elemento m de M.
Podemos entonces escribir tambin
(6) S = {mn}.
Consideremos un tercer conjunto ordenado P = {p} con tipo ordinal
P = , entonces segn (5)
= {mn } , = {n p } , ( ) = {(mn ) p } ,
( ) = {m( n p ) } .
Ambos conjuntos ordenados {(mn ) p } y {m( n p ) } son similares y se
aplican uno en el otro, si asociamos sus elementos {(mn ) p } y m( n p ) .
Se cumple entonces la ley asociativa para tres tipos , ,
(7) ( ) = ( ).
De (1) y (5) se sigue tambin fcilmente la ley distributiva

(8) ( + ) = + ,
pero slo en esta forma, donde el factor con dos elementos desempea
el papel del multiplicador.
Por el contrario, entre tipos la ley conmutativa tiene tan poca vali-
dez en la multiplicacin como en la adicin.
Por ejemplo, 2 y . 2 son tipos distintos; pues por (5)
2 . = (e1 , f1 ; e2 , f 2 ;... ev , f v ;...) = ;
Mathesis
mientras que
. 2 = (e1 , e1 ,..., ev ...; f1 , f 2 ,..., f v ,...)
es claramente distinto de .
Si se comparan las definiciones dadas en 3 para las operaciones
elementales entre nmeros cardinales con las aqu presentadas para
tipos ordinales, se reconoce fcilmente, que el nmero cardinal de la
suma de dos tipos ordinales es igual a la suma de los nmeros cardina-
les de cada tipo y que el nmero cardinal del producto de dos tipos es
igual al producto de los nmeros cardinales de cada tipo.
Cada ecuacin entre tipos ordinales que involucre operaciones ele-
mentales sigue siendo vlida, si se sustituyen todos los tipos por sus
nmeros cardinales.
[504]
9.
El tipo ordinal del conjunto R de los nmeros racionales
mayores que cero y menores que 1 con su orden natural. p
Por R entendemos, como en 7, el sistema de los nmeros racionales q (su-
poniendo p y q sin factores en comn), > 0 y < 1, con su orden natural,
donde la magnitud del nmero determina su jerarqua. El tipo ordinal
de R lo denotamos con :
(1) = R.
All consideramos el mismo conjunto con otro orden, el que llama-
mos R0 y en primer lugar se toma en cuenta la magnitud de p + q, en
segundo lugar, para nmeros racionales, para los cuales p + q tiene el
mismo valor, la jerarqua la determina la magnitud de qp . R0 tiene la
forma de un conjunto bien ordenado de tipo :
(2) R0 = (r1, r2, . . . , r, . . . ), donde r r+1,
(3) R 0 = .
R y R0 tienen el mismo nmero cardinal, pues slo se distinguen por la
jerarqua entre sus elementos, y como es evidente que R0 = 0, enton-
ces tambin se cumple
(4) R = = 0.
Por lo tanto, el tipo pertenece a la clase de tipos [0].

Seguidamente hacemos notar que en R no existen, relativos a su
orden, un mayor o un menor elemento.
III 22 (2007)
412 Georg Cantor
En tercer lugar, R tiene la propiedad de que entre cualesquiera dos

de sus elementos segn su orden, se encuentra otro; esta caracterstica
la expresamos con las siguientes palabras: R es denso en todas partes.
Ahora se debe mostrar que estas tres propiedades caracterizan al
tipo de R, por lo que se cumple el siguiente teorema:
Si se tiene un conjunto simplemente ordenado M que satisface las
tres condiciones:
1) M = 0,
2) M no tiene, de acuerdo a su orden, un menor o un mayor elemento,
3) M es denso en todas partes, entonces el tipo ordinal de M es igual a :
M = .
Demostracin. Por la condicin 1) se puede hacer de M un conjunto
bien ordenado con tipo ; una vez que se ha hecho esto,
denotemos M con M0 y hacemos
(5) M0 = (m1, m2, . . . ,m, . . . )
Ahora debemos mostrar que
(6) M R.
Es decir, se debe demostrar que se puede aplicar M sobre R de tal for-
ma que la jerarqua entre dos elementos en M es la misma que entre los
correspondientes elementos en R.
Supongamos que el elemento r1 en R corresponde al elemento m1 en M.
r2 guarda una determinada jerarqua respecto a r1 en R; por la condi-
cin 2) existen una cantidad infinita de elementos m de M, que guardan
la misma jerarqua respecto a m1 en M que r2 respecto a r1 en R; de
entre ellos escogemos aquel que en en M0 tenga el ndice menor, diga-
mos ml , y asocimoslo con r2.
2
r3 tiene en R una determinada relacin de orden con r1 y r2; segn

las condiciones 2) y 3) existe una cantidad infinita de elementos m en
M que guardan la misma relacin de orden con m1 y ml que la que
2
guardan r3 con r1 y r2 en R; escogemos aquel que tenga el menor ndice

en M0, digamos ml 3 , y lo asociamos con r3.
Continuamos este proceso segn estas prescripciones; si a los
elementos de R
r1, r 2, r 3, . . . , r
se les ha asociado los elementos
m1 , ml 2 , ml 3 ,..., ml v
Mathesis
de M, que en M guardan la misma relacin de orden entre s que sus

correspondientes en R, entonces el elemento r+1 de R se asocia con el
elemento con el menor ndice m+1 de M, que tenga la misma relacin
jerrquica respecto a
m1 , ml 2 , ml 3 ,..., ml v
en M que la que tiene r+1 con r1, r 2, . . . , r en R.
En esta forma hemos asociado todos los elementos r de R con ele-
mentos mlv de M, y los elementos mlv tienen en M la misma relacin de
orden que sus correspondientes elementos r en R.
An se debe mostrar que los elementos mlv comprenden a todos los
elementos m de M o, lo que es lo mismo, que la sucesin
1, 2, 3, . . . , , . . .
[506] es simplemente una permutacin de la sucesin
1, 2, 3, . . . , , . . .
La demostracin se efectua mediante induccin completa, mostran-
do que si los elementos m1, m 2, . . . , m aparecen en la permutacin,
tambin aparece el elemento siguiente m+1.
Sea suficientemente grande para que entre los elementos
m1 , ml 2 , ml 3 ,..., ml
aparezcan los elementos
m1, m2, . . . , m.
(que por hiptesis aparecen en la permutacin). Puede ocurrir que entre
ellos se encuentre m+1; entonces aparece m+1 en la aplicacin.
Si en cambio, no aparece m+1 entre los elementos
m1 , ml 2 , ml 3 ,..., ml ,
entonces m+1 guarda una determinada relacin jerrquica en M respec-
to estos elementos; la misma relacin se presenta entre una cantidad
infinita de elementos en R con r1, r2, . . . , r, y entre ellos
sea r+ el que tiene el menor ndice en R0.
Entonces, como se verifica fcilmente, m+1 tiene la misma jerarqua
respecto a
m1 , ml 2 , ml 3 ,..., ml + 1
en M que r+ respecto a
r1, r 2, . . . , r+1
en R. Puesto que los m1, m2, . . . ,m ya pertenecen a la transformacin,
m+1 es el elemento con el menor ndice en M0 que tiene
III 22 (2007)
414 Georg Cantor
esa relacin de jerrquica respecto a

m1 , ml 2 , ml 3 ,..., ml + 1 .
Por consiguiente, segn la forma en que establecimos la correspondencia
ml + = mv +1 .
Tambin en este caso aparece el elemento m+1 en la aplicacin, y de
hecho es r+ el elemento que se le asocia en R.
As hemos visto que nuestra aplicacin transforma todo el conjunto
M en todo el conjunto R; M y R son conjuntos similares,
l.q.q.d.

Del Teorema recin demostrado se obtiene, por ejemplo, lo siguiente:
[507] es el tipo ordinal del conjunto de los nmeros racionales posi-
tivos y negativos excluyendo al cero en su orden natural.
es el tipo ordinal del conjunto de los nmeros racionales mayores
que a y menores que b con su orden natural, donde a y b son cuales-
quiera nmeros reales con a < b.
es el tipo ordinal del conjunto de los nmeros reales algebraicos
con su orden natural.
es el tipo ordinal del conjunto de los nmeros reales algebraicos
mayores que a y menores que b con su orden natural, donde a y b son
cualesquiera nmeros reales con a < b.
Ya que todos estos conjuntos ordenados satisfacen las tres condi-
ciones para M de nuestro teorema (comprese con pg. 258, Crelles
Journal Vol. 77).
Si consideremos adems las definiciones dadas en 8 de los conjun-
tos con tipos + , , (1 + ), ( + 1), (1 + + 1), encontramos
que ellos satisfacen las tres condiciones. Con ello tenemos los teore-
mas:
(7) + = ,
(8) = ,
(9) (1 + ) = ,
(10) ( + 1) = ,
(11) (1 + + 1) = .
Repetidas aplicaciones de (7) y (8) propician para cada nmero
finito
(12) = ,
Mathesis
y
(13) = .
Por el contrario, como se verifica sin dificultad, para > 1, los tipos 1 +
, + 1, , 1 + + 1 son distintos entre s y distintos de . Por otro
lado,
(14) + 1 + = ,
mientras que + + es distinto de , para > 1.
Finalmente, vale la pena mencionar que
(15) * = .
[508]
10.
Las sucesiones fundamentales contenidas en un conjunto
transfinito ordenado.
Fijemos un conjunto simplemente ordenado M arbitrario. Cada subcon-
junto de M es en s mismo un conjunto ordenado. Para el estudio del
tipo M resultan ser muy importantes los subconjuntos de M que tienen
tipo o *; los llamamos sucesiones fundamentales de primer orden
contenidas en M, mas an, a los primeras (las de tipo ) las llamamos
crecientes, y a los otros (las de tipo *), decrecientes.
Puesto que nos restringiremos a las sucesiones fundamentales de
primer orden (en trabajos futuros consideraremos tambin sucesiones
de orden superior), las llamaremos simplemente sucesiones funda-
mentales.
Una sucesin fundamental creciente tiene la forma
(1) {a}, donde, a a+1,
una sucesin fundamental decreciente tiene la forma
(2) {b}, donde, b b+1.
tiene siempre el significado, en nuestras consideraciones (lo mismo
que , , ), de un nmero cardinal finito arbitrario o tambin de un tipo
finito, respectivamente un nmero ordinal finito.
,
Dos sucesiones fundamentales crecientes {a} y {av } contenidas en
M se dicen correspondientes, en smbolos
,
(3) {a} {av } ,
,
cuando para cada elemento a existe un elemento a tal que
,
a a ,
,
y para cada elemento av existe un elemento a tal que
III 22 (2007)
416 Georg Cantor
av, a.
,
Dos sucesiones fundamentales decrecientes {b} y {bv } en M se
dicen correspondientes, en smbolos
(4) {b} {bv, } ,
,
cuando para cada elemento b existe un elemento b tal que
b b, ,
'
y para cada elemento bv existe un elemento b tal que
bv, b.
Una sucesin fundamental creciente {a} y una decreciente {b} se
llaman correspondientes, en smbolos
[509]
(5) {a} {b},
si 1) para cualesquiera y
a b
y 2) existe en M a lo sumo un elemento m0 (es decir, solamente uno o
ninguno) tal que para toda
a m0 b.
Se cumplen entonces los tres teoremas:
A. Si dos sucesiones fundamentales son correspondientes a una
tercera, entonces ellas son correspondientes entre s.
B. Dos sucesiones fundamentales ambas crecientes o ambas de-
crecientes, una de las cuales es un subconjunto de la otra, son corres-
pondientes.
Si existe en M un elemento m0 que tiene una posicin, respecto a la
sucesin fundamental creciente, tal que
1) para cada
a m0,
2) para cada elemento m de M que sea m0, existe un cierto nme-
ro 0 tal que
a m, para > 0,
llamaremos a m0 un elemento lmite de {a} en M o tambin un ele-

mento principal de M.
Mathesis
Igualmente, llamaremos a un elemento m0 un elemento principal de

M o tambin un elemento lmite de {b} en M si se satisfacen las
condiciones:
1) para cada
b m0,
2) para cada elemento m m0 de M existe un cierto nmero 0 tal
que
b m, para > 0.
Una sucesin fundamental nunca puede tener ms de un elemento
lmite en M; M tiene en general muchos elementos principales.
Se verifica la validez de los siguientes Teoremas:
C. Si una sucesin fundamental tiene un elemento lmite en M,
entonces todas las sucesiones correspondientes con ella tienen el mis-
mo elemento lmite en M.
D. Si dos sucesiones fundamentales (ambas crecientes o decrecien-
tes o ninguna) tienen el mismo elemento lmite en M, entonces son
correspondientes.
Si M y M son dos conjuntos ordenados similares, es decir,
(6) M =M'
y se fija algna aplicacin entre ellos, entonces se cumplen, como se ve
con facilidad, los siguientes teoremas:
[510] E. A cada sucesin fundamental en M le corresponde como
imagen una sucesin fundamental en M y viceversa; cada sucesin
creciente, cada decreciente y sucesiones fundamentales correspondien-
tes, tienen como imagen una sucesin creciente, decreciente o sucesiones
fundamentales correspondientes en M, respectivamente, y viceversa.
F. Si un elemento lmite en M pertenece a una sucesin fundamen-
tal, entonces pertenece a la sucesin fundamental imagen en M un
elemento lmite y viceversa; y estos elementos lmite son imagen uno
del otro respecto de la aplicacin.
G. A los elementos principales de M corresponden como imgenes
elementos principales en M y viceversa.
Si un conjunto M consiste en elementos principales, es decir, cada
uno de sus elementos es un elemento principal, lo llamamos un con-
junto denso en s mismo.
Si para cada sucesin fundamental en M existe un elemento lmite
en M, entonces a M lo llamamos un conjunto cerrado.
Un conjunto que es denso en s mismo y cerrado se conoce como
conjunto perfecto.
III 22 (2007)
418 Georg Cantor
Si un conjunto posee alguna de estas tres propiedades, tambin la

tiene cada conjunto similar a l; por lo cual se puede transferir estas
propiedades a tipos ordinales, por lo que existen tipos densos en s
mismos, tipos cerrados, tipos perfectos y tipos densos en todas
partes (9).
Por ejemplo, es un tipo denso en s mismo; como en 9 se mos-
tr, es denso en todas partes, pero no cerrado.
y * no tienen elementos principales (unidades principales); por
el contrario, + y + * tienen un elemento principal y son tipos
cerrados.
El tipo 3 tiene dos elementos principales, pero no es cerrado; el tipo
3 + tiene tres elementos principales y es cerrado.
11.
El tipo ordinal del continuo lineal X.
Tornamos a investigar el tipo ordinal del conjunto X = {x} de los nme-
ros reales x, 0 y 1, con su orden natural, tal que para cualesquiera
dos elementos arbitrarios x y x ocurre
(1) x x, cuando x < x.
La notacin para este tipo es
(1) X = .
[511] De la teora de los nmeros racionales e irracionales se sabe que
cada sucesin fundamental {x} en X tiene un elemento lmite x0 en X y
recprocamente, cada elemento x de X es un elemento lmite de sucesio-
nes fundamentales correspondientes en X. Por ello X es un conjunto
perfecto, y un tipo perfecto.
Con lo anterior no queda totalmente caracterizado, debemos con-
siderar tambin la siguiente propiedad de X:
X contiene al conjunto R estudiado en 9 de tipo ordinal como
subconjunto, y de hecho, de tal forma que entre cualesquiera dos ele-
mentos arbitrarios x0 y x1 de X, de acuerdo al orden, est un elemento
de R.
Ahora se debe mostrar que en conjunto estas caractersticas deter-
minan por completo al tipo ordinal del continuo lineal X, de tal forma
que se cumple el teorema:
Si un conjunto ordenado M cumple con 1) es perfecto, 2) contie-
ne un conjunto S de cardinalidad S = 0 que guarda una relacin con
M de tal suerte que entre cualesquiera dos elementos arbitrarios m0 y
Mathesis
m1 de M existe un elemento de S entre ellos, segn su orden, entonces

M = .
Demostracin. Si S tiene un menor o un mayor elemento, entonces
por 2) ste debe comportarse igual en M; por lo tanto, podemos elimi-
nar este elemento de S sin que este conjunto pierda su relacin con M
expresada por 2).
Suponemos en consecuencia que S no tiene menor o mayor elemen-
to; por consiguiente, segn 9, S tiene tipo ordinal .
Pues si S es un subconjunto de M, entonces por 2) entre cualesquie-
ra dos elementos s0 y s1 de S debe estar otro elemento de S respecto a su
orden. Adems, por 2) tenemos que S = 0.
Ambos conjuntos son por consiguiente similares entre s,
(2) S R.
Fijemos una aplicacin entre R y S y afirmamos que este genera
una cierta aplicacin entre X y M, y de hecho de la siguiente forma:
Todos los elementos de X, que simultneamente pertenecen a R, son
imgenes de elementos correspondientes en M, que son simultneamen-
te elementos de S y corresponden a esos elementos de R respecto a la
aplicacin de R sobre S.
Si x0 es un elemento de X que no pertenece a R, se puede ver como
el lmite de una sucesin fundamental {x} contenida en X que se puede
reemplazar por una sucesin fundamental correspondiente {r v } conte
[512]
nida en R. A esta ltima corresponde como imagen una sucesin fun-
damental {s v } en S y M, que por 1) est acotada por un elemento m0
en M que no pertenece a S (F, 10). Este elemento m0 en M (que sigue
siendo el mismo, si en lugar de las sucesiones fundamentales {x} y
{r v } se utilizan otras que tengan como elemento lmite al mismo ele-
mento x0 (E, C, D, en 10) funge como la imagen de x0 en X. Recpro-
camente, a cada elemento m0 de M, que no aparece en S, le corresponde
un elemento determinado x0 de X que no pertenece a R y que es la ima-
gen de m0.
De esta forma se establece una correspondencia recproca unvoca
entre X y M, para la que se debe mostrar, que da origen a una aplica-
cin entre estos conjuntos.
Esto se cumple desde el principio para aquellos elementos de X y M
que simultneamente pertenecen a R respectivamente S.
Comparemos un elemento r de R con un x0 de X que no pertenezca a
R; sean s y m0 los elementos correspondientes de M.
III 22 (2007)
420 Georg Cantor
Si r < x0, existe una sucesin fundamental creciente {r v } acotada

por x0, y a partir de un cierto 0 se cumple que
r < r v para > 0.
La imagen de {r v } en M es una sucesin fundamental creciente {s v } aco-
tada por m0 en M, y se tiene (10), primero, que s v m0 para toda y por
otro lado, que s s v para 0, por lo que (7) s m0.
Si r > x0, se deduce en forma similar que s m0.
Consideremos finalmente dos elementos x0 y x0, que no pertenezcan
a R y sus correspondientes elementos m0 y m0, en M, entonces se de-
muestra en forma anloga que de x0 < x0, , se sigue m0 m0, .
Con ello se ha demostrado la similitud de X y M, por lo que se cumple
M = .
12.
Los conjuntos bien ordenados.
Entre los conjuntos simplemente ordenados los conjuntos bien ordena-
dos merecen una posicin destacada; sus tipos ordinales, que llamamos
nmeros ordinales, constituyen la materia natural para una definicin
de los nmeros cardinales transfinitos o cardinalidades transfinitas
superiores, una definicin de conformidad con la que dimos para el
menor nmero cardinal transfinito lef cero mediante el sistema de
todos los nmeros finitos (6).
Bien ordenado llamamos a un conjunto simplemente ordenado F
(7), cuando sus elementos f crecen en una sucesin determinada a
partir de un menor elemento f1, de tal forma que se satisfacen las dos
condiciones siguientes:
I. Existe en F un elemento jerrquicamente menor f1.
II. Si F es un subconjunto de F y F tiene uno o ms elementos de
mayor jerarqua que todos los elementos de F, entonces existe un ele-
mento f en F, que es el menor que sucede a todos los elementos de F,
de tal suerte que no existe un elemento en F tal que, segn el orden,
est entre3 F y f .
En particular, a cada elemento f de F le sucede, cuando no es el
mayor elemento, un elemento distinto determinado f , segn el orden,
como el sucesor ms inmediato; esto se deduce de la condicin II, si
3. Esta definicin de conjunto bien ordenado coincide, no textualmente, con la introdu-

cida en Math. Annalen 21, 548 (Grundlagen e. allg. Mannigfaltigkeitslehre, pg. 4).
Mathesis
para F se ocupa el elemento f. Si adems, por ejemplo, en F est conte-

nida una sucesin de elementos consecutivos
e e e e() e(+1)
[208]
tal que en F existe un elemento que tiene mayor jerarqua que cada
elemento e(), por la condicin II, si se sustituye en ella F por la totali-
dad {e()}, debe existir un elemento f tal que no slo ocurre
f e()
para todo valor de , sino no que para ningn elemento g en F se satis-
facen las condiciones:
g f ,
g e()
para todo valor de .
Por ejemplo, los tres conjuntos
(a1, a2, . . . a, . . . ),
(a1, a2, . . . a, . . . b1, b2, . . . b, . . . ),
(a1, a2, . . . a, . . . b 1, b2, . . . b, . . . c1, c 2, c 3)
donde
a a+1 b b+1 c1 c2 c 3
estn bien ordenados. Los dos primeros no tienen mayor elemento, el
tercero tiene como mayor elemento a c3; en el segundo y tercero suce-
den a los a primero b1, en el tercero a todos los a y b los sucede in-
mediatamente c1.
En lo sucesivo queremos extender el uso de los smbolos y ,
definidos en 7, para la relacin jerrquica entre dos elementos, a gru-
pos de elementos, de tal suerte que las frmulas
M N,
M N
expresen, que en el orden dado todos los elementos del conjunto M son
menores, o mayores, respectivamente que los elementos del conjunto N.
-
A. Todo subconjunto F1 de un conjunto bien ordenado F tiene un
menor elemento.
Demostracin. Si el menor elemento f1 de F pertenece a F1, ste es
el menor elemento de F1.
III 22 (2007)
422 Georg Cantor
En caso contrario sea F la totalidad de elementos de F menores que

todos los elementos de F1, por lo que no hay un elemento de F entre F
y F1.
Si f sucede a F (segn II), entonces pertenece necesariamente a F1
y tiene en l la misma jerarqua.
B. Si un conjunto simplemente ordenado F se construye de tal
forma que tanto F como cada uno de sus subconjuntos tengan un me-
nor elemento, entonces F es un conjunto bien ordenado.
[209] Demostracin. Puesto que F tiene un menor elemento, se satisfa-
ce la condicin I. Sea F un subconjunto de F tal que en F hay uno o
ms elementos F; sea F1 la totalidad de esos elementos y f el menor
elemento de F1, entonces es claro que f es el sucesor inmediato en F
de F. Con ello se satisface tambin la condicin II, por lo que F es un
conjunto bien ordenado.
C. Cada subconjunto F de un conjunto bien ordenado F es tam-
bin un conjunto bien ordenado.
Demostracin. Segn el Teorema A tanto F como cada subconjunto F
de F (pues son a su vez subconjuntos de F) tienen un menor elemento; por
lo que de acuerdo al Teorema B, F es un conjunto bien ordenado.
D. Cada conjunto G similar a un conjunto bien ordenado F es un
Demostracin. Si M es un conjunto que posee un menor elemento,
entonces cada conjunto similar a l tiene, como se sigue directamente
de la nocin de similitud (7), un menor elemento.
Puesto que G F se cumple y F tiene un menor elemento, lo mis-
mo ocurre con G.
Igualmente cada subconjunto G de G tiene un menor elemento;
pues por la aplicacin de G a F, el conjunto G corresponde como ima-
gen a un subconjunto F de F, de tal forma que
G F.
Pero por el Teorema A, F tiene un menor elemento, por lo que
tambin lo tiene G. Por lo tanto, tanto G como cada subconjunto G de
G tienen un menor elemento; por el Teorema B se deduce que G es un
E. Si en un conjunto bien ordenado G se sustituyen sus elementos g
por conjuntos bien ordenados en el sentido de que si los conjuntos bien
ordenados Fg y Fg se sustituyen en lugar de los elementos g y g y g <
g, entonces tambin Fg < Fg , entonces el conjunto H, que se genera
en esta forma, por la sustitucin de elementos por conjuntos bien orde-
nados Fg, es un conjunto bien ordenado.
Mathesis
Demostracin. Tanto H como cada subconjunto H1 de H tienen un

menor elemento, lo que caracteriza a H, segn el Teorema B, como un
conjunto bien ordenado. En efecto, si g1 es el menor elemento de G,
entonces el menor elemento de Fg1 es tambin el menor elemento de H.
Si ahora se considera un subconjunto H1 de H, sus elemento pertenecen
a ciertos conjuntos Fg, al formar un conjunto con estos conjuntos Fg, se
conforma un subconjunto del conjunto formado por los Fg, el conjunto bien
ordenado {Fg} similar G; si, digamos, Fg0 es el menor elemento de este
subconjunto, entonces el menor elemento del subconjunto de H1 contenido
en Fg0 es a la vez el menor elemento de H1.
[210]
13.
Las secciones de los conjuntos bien ordenados.
Si f es un elemento distinto del primer elemento f1 del conjunto bien
ordenado F, llamamos al conjunto A de todos los elementos de F, que
son f , una seccin de F, a saber, la seccin determinada por el
elemento f . En cambio, el conjunto R de todos los elementos restantes
de F exceptuando f se llama el resto de F, a saber, el resto de F de-
terminado por el elemento f . Los conjuntos A y R estn, segn el Teo-
rema C, 12, bien ordenados y por 8 y 12 podemos escribir:
(1) F = (A, R),
(2) R = (f , R),
(3) A R.
R es la parte siguiente, en R, al elemento inicial f y se reduce a 0, cuan-
do R no tiene otros elementos aparte de f .
Tomemos como ejemplo el conjunto bien ordenado
F = (a1, a2, . . . ,av, . . . b1, b2, . . . b, . . . c1, c2, c3),
en ste el elemento a3 determina la seccin
(a1, a2)
y el correspondiente resto
(a3, a4, . . . ,av+2 , . . . b1, b2, . . . b, . . . c1, c2, c3);
el elemento b1 determina la seccin
(a1, a2, . . . ,av, . . . )
y el correspondiente resto
(b1, b2, . . . b, . . . c1, c2, c3),
III 22 (2007)
424 Georg Cantor
mediante el elemento c2 se determina la seccin

(a1, a2, . . . ,av, . . . b1, b2, . . . b, . . . c1)
y el resto
(c2, c3).
Si A y A son dos secciones de F, f y f los elementos que las deter-
minan y se cumple
(4) f f,
entonces A es a su vez una seccin de A.
Llamamos a A la seccin menor, A la mayor de F:
(5) A < A.
En forma correspondiente podemos decir de cada seccin A de F
que es menor a F mismo:
(6) A < F.
[211] A. Si dos conjuntos bien ordenados F y G se aplican uno en el
otro, entonces a cada seccin A de F corresponde una seccin B de G
similar y a cada seccin B de G corresponde una seccin similar A de
F, y los elementos f y g de F y G, que determinan las secciones corres-
pondientes A y B, se asocian uno al otro mediante la aplicacin..
Demostracin. Si se tienen dos conjuntos similares simplemente
ordenados M y N que se aplican uno sobre el otro, si m y n son dos
elementos asociados, si M es el conjunto de elementos de M que son
m, N el conjunto de elementos de N que son n, entonces la aplica-
cin hace corresponder M y N. Pues a cada elemento m m de M,
debe corresponder (7) un elemento n n de N, y viceversa.
Si aplicamos este teorema a los conjuntos bien ordenados M y G,
obtenemos lo que se que se deba demostrar.
B. Un conjunto bien ordenado F no es similar a ninguna de sus
secciones A.
Demostracin. Supongamos que F A, por lo que tenemos una aplicacin
de F sobre A. Por el Teorema A corresponde a la seccin A de F una seccin A
de de A como imagen, de tal forma que A A. Se tendra entonces tambin A
F y se cumple A < A. De A se obtendra en la misma forma una seccin
menor A de F, tal que A F y A < A, etctera.
Con este proceder obtendramos una sucesin necesariamente infi-
nita
A > A > A . . .A() > A(+1), . . .
de secciones de F cada vez menores, similares al conjunto F.
Denotemos con f , f , f , . . . f (), . . . los elementos que determinan
en F estas secciones; entonces tendramos
Mathesis
f f f f () f (+1),
tendramos entonces un subconjunto de F infinito
(f , f , f , . . . f (), . . . )
en el que ningn elemento tiene la menor jerarqua.
Pero por el Teorema A, 12 no es posible la existencia de tales
subconjuntos. La suposicin de una aplicacin de F sobre una de sus
secciones conduce a una contradiccin, por lo que el conjunto no es
similar a ninguna de sus secciones.
Si bien, segn el Teorema B, un conjunto bien ordenado F no es
similar a ninguna de sus secciones, siempre existen, cuando F es infini-
to, otros subconjuntos de F similares a F. Por ejemplo, el conjunto
[212]
F = (a1, a2, . . . av, . . . )
es similar a cada uno de sus restos
(a +1, a+2, . . . a+v, . . . ).
Es por ello importante que aadamos el siguiente resultado al Teorema
B.
C. Un subconjunto F no es similar a ningn subconjunto de alguna de
sus secciones.
Demostracin. Supongamos que F es un subconjunto de una seccin A
de F y que F F. Fijemos una aplicacin de F sobre F; por el Teore-
ma A a la seccin A de F le corresponde como imagen una seccin F
del conjunto bien ordenado F; digamos que esta seccin est determi-
nada por el elemento f de F. Como f tambin es un elemento de A,
determina una seccin A de A, de la cual F es un subconjunto.
Por hiptesis F es un subconjunto de la seccin A de F con F F,
lo que nos conduce a un subconjunto F de una seccin A de A con F
A.
El mismo razonamiento propicia un subconjunto F de una seccin
A de A tal que F A . Si continuamos as, obtenemos, como en la
demostracin del Teorema B, una sucesin necesariamente infinita de
secciones de F cada vez menores
A > A > A . . . A () > A (+1) . . .
y con ello, una sucesin infinita de los elementos que determinan esas
secciones
f f f . . . f () f (+1) . . . ,
III 22 (2007)
426 Georg Cantor
en la que no aparecera un menor elemento, lo que es imposible segn

el teorema A, 12. Por lo tanto, no existe un subconjunto F de una
seccin A de F tal que F F.
D. Dos secciones distintas A y A de un conjunto bien ordenado F
no son similares entre s.
Demostracin. Si A < A, entonces A es una seccin del conjunto
bien ordenado A, por lo que no puede ser similar a A, segn el
Teorema B.
E. Dos conjuntos bien ordenados similares F y G se pueden aplicar
uno sobre el otro en forma nica.
Demostracin. Fijemos dos aplicaciones distintas de F sobre G y
sea f un elemento de F, para el cual correspondieran dos imgenes dis-
tintas g, g en G de acuerdo a las dos aplicaciones distintas. Sea A la
seccin de F determinada por f , B y B las secciones de G determinadas
[213]
por g y g . Por el Teorema A se cumple tanto A B, como A B , de
donde se deducira B B , lo que contradice el Teorema D.
F. Si F y G son dos conjuntos bien ordenados, entonces una sec-
cin A de F puede ser similar a lo sumo a una seccin B de G.
Demostracin. Si la seccin A de F fuese similar a dos secciones
B y B de G, sera tambin similares entre s las secciones B y B , lo
que es imposible de acuerdo al Teorema D.
G. Si A y B son secciones similares de dos conjuntos bien ordena-
dos F y G, entonces para cada seccin menor A < A de F existe una
seccin similar B < B de G y para cada seccin menor B < B de G
existe una seccin similar A < A de F.
Demostracin. Se sigue del Teorema A, cuando se aplica ste a los
conjuntos similares A y B.
H. Si A y A son dos secciones de un conjunto bien ordenado F, B y
B son secciones similares a ellas en un conjunto bien ordenado G, y si
A < A, entonces B < B.
Demostracin. Se sigue de los Teoremas F y G.
J. Si una seccin B de un conjunto bien ordenado G no es similar a
ninguna seccin de un conjunto bien ordenado F, entonces tampoco las
secciones B > B de G ni G mismo son similares a secciones de F o a F
mismo.
Demostracin. Se sigue del Teorema G.
K. Si para cada seccin A de un conjunto bien ordenado F existe
una seccin similar a ella B de otro conjunto bien ordenado G, y rec-
procamente, para cada seccin B de G existe una seccin A de F simi-
lar a ella, entonces F G.
Mathesis
Demostracin. Podemos aplicar F sobre G de acuerdo a la siguiente

prescripcin:
El menor elemento f1 de F corresponde al menor elemento g1 de G.
Si f f1 es algn otro elemento de F, l determina una seccin A de F;
a ella es similar, segn la hiptesis, una seccin B de G; el elemento g
que determina esta seccin lo hacemos la imagen de f . Si g es algn
elemento de G, g1, entonces determina una seccin B de G y por
hiptesis existe una seccin A de F similar a ella; sea f el elemento que
determina A en F y lo hacemos la imagen de g.
El que esta correspondencia biunvoca entre F y G es una aplica-
cin en el sentido de 7 se verifica fcilmente.
[214] A saber, sean f y f dos elementos arbitrarios de F, g y g los
elementos correspondientes de G, A y A las secciones determinadas
por f y f , B y B las determinadas por g y g y si, digamos,
f f,
entonces
A < A;
por lo que del Teorema H se sigue que
B < B
por consiguiente,
g g.
L. Si para cada seccin A de un conjunto bien ordenado F existe
una seccin B similar a ella de otro conjunto bien ordenado G, y si por
el contrario, existe al menos una seccin de G que no sea similar a nin-
guna seccin de F, entonces existe una seccin B1 de G tal que B1 F.
Demostracin. Consideramos todas las secciones de G, para las que
no hay ninguna seccin similar en F; entre ellas debe existir la ms pe-
quea, que llamamos B1. Esto se sigue de que, por el Teorema A, 12, el
conjunto de todos los elementos que determinan esas secciones tiene un
menor elemento; la seccin B1 de G determinada por ste es la menor de
aquella coleccin. Segn el Teorema J, cada seccin de G, que sea > B1
no es similar a ninguna seccin de F; por lo que todas las secciones de G
que sean similares a alguna de F deben ser < B1, y de hecho a cada sec-
cin B < B1 corresponde una seccin similar A de F, pues B1 es la menor
seccin de G para la cual no existe una seccin en F similar a ella.
Por lo anterior existe para cada seccin A de F una seccin similar B
de B1 y para cada seccin B de B1 una seccin similar A de F; por el
Teorema K se cumple entonces que
F B1.
III 22 (2007)
428 Georg Cantor
M. Si el conjunto bien ordenado G tiene al menos una seccin

para la que no existe una seccin similar a ella en el conjunto bien
ordenado F, entonces cada seccin A de F debe ser similar a alguna
seccin B de G.
Demostracin. Sea B1 la menor seccin de G para la que no existe
una seccin en F similar a ella. (Comprese con la demostracin de L.)
Si hubiese secciones en F para las que no existieran secciones de G
similares a ellas, habra tambin entre ellas una menor, digamos A1.
Cada seccin de A1 sera entonces similar a alguna seccin de B1 y cada
seccin de B1 sera similar a alguna seccin de A1. Se seguira que, por
el Teorema K,
B1 A1.
[215] Pero esto contradice el que B1 no es similar a ninguna seccin de
F. Por lo tanto, no puede haber una seccin en F que no sea similar a
alguna seccin en G.
N. Si F y G son dos conjuntos bien ordenados, entonces ya sea que
1) F y G son similares, o 2) existe una seccin B1 de G a la cual F es
similar, o 3) existe una seccin A1 de F a la cual G es similar; y cada
uno de estos casos excluye la posibilidad de los otros dos.
Demostracin. El comportamiento de F con G tiene tres posibilida-
des:
1) Cada seccin A de F es similar a alguna seccin B de G y rec-
procamente, cada seccin B de G es similar a alguna seccin A de F.
2) Cada seccin A de F es similar a alguna seccin B de G, pero
existe al menos una seccin B de G que no es similar a ninguna seccin
de F.
3) Cada seccin B de G es similar a alguna seccin A de F, pero
existe al menos una seccin A de F que no es similar a ninguna seccin
de G.
El caso en el que exista una seccin de F que no es similar a ningu-
na de G y que existe una seccin de G que no es similar a ninguna sec-
cin de F no es posible; se excluye por el Teorema M.
Por el Teorema K en el primer caso se cumple que
F G.
Por el Teorema L en el segundo caso existe una seccin B1 de B tal
que
B1 F,
y en el tercer caso existe una seccin A1 de F tal que
A1 G.
Mathesis
Pero no puede ocurrir simultneamente F GyF B1, pues en tal

caso tendramos tambin G B1, en oposicin al Teorema B, y por la
misma razn no pueden ocurrir simultneamente F G y G A1.
Pero tambin es imposible la validez simultnea de F B1 y G
A1; porque por el Teorema A de F B1 se deducira la existencia de
una seccin B1' de B1 tal que A1 B1. Pero se tendra entonces G B1'
en oposicin al Teorema B.
O. Si un subconjunto F de un conjunto bien ordenado F no es
similar a ninguna seccin de F, entonces es similar a F mismo.
Demostracin. Por el Teorema C, 12 F es un conjunto bien orde-
nado. Si F no fuera similar a ninguna seccin de F ni a F mismo, exis-
tira por el Teorema N una seccin F1' de F, que sera similar a F. Pero
[216]
F1' es un subconjunto de la seccin A de F, que est determinada por el
mismo elemento que el que determina la seccin F1' de F. Por lo tanto,
el conjunto F sera similar a un subconjunto de una de sus secciones, lo
que contradice el Teorema C.
14.
Los nmeros ordinales de conjuntos bien ordenados.
Segn el 7 cada conjunto simplemente ordenado M tiene asociado un
determinado tipo ordinal M ; sta es la nocin general que se obtiene
de M a partir de la jerarqua entre sus elementos sin considerar la natu-
raleza de estos, de tal suerte que de ellos se obtienen unidades que estn
sujetas a una determinada jerarqua. Para todos los conjuntos similares
entre s y slo para ellos est asociado un mismo tipo ordinal.
El tipo ordinal de un conjunto bien ordenado F lo llamamos nme-
ro ordinal
Si y son dos nmeros ordinales arbitrarios, entonces tienen tres
posibles relaciones entre s. A saber, si F y G son dos conjuntos bien
ordenados tales que
F = , G = ,
entonces por el Teorema N, 13 existen tres casos posibles mutuamente
excluyentes:
1)
F G.
2) Existe una seccin B1 de G, tal que
F B1.
3) Existe una seccin A1 de F tal que
III 22 (2007)
430 Georg Cantor
G A1.
Como se observa fcilmente, cualquiera de estos casos sigue cum-
plindose, si F y G se sustituyen por conjuntos similares a ellos F y G;
segn eso, tenemos que tratar con tres posibles relaciones mutuamente
excluyentes entre los tipos y .
En el primer caso se tiene = ; en el segundo decimos que < ,
en el tercero que > .
Tenemos entonces el teorema:
A. Si y son dos nmeros ordinales arbitrarios, entonces se
cumple = o < o > .
De la definicin de mayor y menor se sigue fcilmente:
B. Si se tienen tres nmeros ordinales , , y se cumple < ,
< , entonces se cumple tambin < .
As que los nmeros ordinales conforman segn su orden un con-
junto simplemente ordenado; despus se mostrar que de hecho forman
un conjunto bien ordenado.
[217] Las operaciones definidas en 8 de adicin y multiplicacin de
tipos ordinales de conjuntos simplemente ordenados arbitrarios se utili-
zan, naturalmente, tambin en los nmeros ordinales.
Si = F, = G, donde F y G son dos conjuntos bien ordenados,
entonces
(1) + = (F , G) .
El conjunto unin (F, G) es claramente un conjunto bien ordenado;
tenemos entonces el teorema:
C. La suma de dos nmeros ordinales es tambin un nmero ordi-
nal.
En la suma + , se llama el augendus, el adendus.
Puesto que F es una seccin de (F, G), siempre se cumple que:
(2) < + .
Por el contrario, G no es una seccin, sino el resto de (F, G), por lo que
puede ser similar, como vimos en 13, al conjunto (F, G); si esto no se
cumple, entonces G es, por el Teorema O, 13, similar a una seccin de
(F, G). Por lo que
(3) + .
As que tenemos:
D. La suma de dos nmeros ordinales siempre es mayor que el
augendus, en cambio es mayor o igual que el addendus. Si se tiene
+ = + , siempre se deduce que = .
Mathesis
En general + y + no son iguales. En cambio se tiene, cuando

es un tercer nmero ordinal, que
(4) ( + ) + = + ( + ).
As que:
E. La ley asociativa se cumple en la adicin de nmeros ordina-
les.
Si se substituye en el conjunto G con tipo cada elemento g por un
conjunto Fg de tipo , entonces se obtiene del Teorema E, 12, un
conjunto bien ordenado H, cuyo tipo est totalmente determinado por
los tipos y y se llama el producto :
(5) Fg = ,
(6) = H .
F. El producto de dos nmeros ordinales es tambin un nmero
ordinal.
En el producto , se conoce como el multiplicandus, y como
el multiplicator.
En general, los nmeros y no son iguales. Pero se tiene
(8)
(7) ( ) = ( ).
Es decir,
[218] G. La ley asociativa se cumple en la multiplicacin de nmeros
ordinales.
La ley distributiva se cumple en general (8) slo en la siguiente
forma:
(8) ( + ) = + .
En relacin a la magnitud del producto se cumple el siguiente teo-
rema, que se verifica fcilmente:
H. Si el multiplicator es mayor que 1, el producto de dos nmeros
ordinales siempre es mayor que el multiplicandus, y es mayor o igual
que el multiplicator. Si se tiene = , siempre se deduce que = .
Por otro lado, es claro que
(9) 1 = 1 = .
Tambin tenemos la operacin de substraccin. Si y son dos
nmeros ordinales y < , entonces siempre existe un determinado
nmero ordinal, que llamaremos , que satisface la ecuacin
(10) + ( ) = .
III 22 (2007)
432 Georg Cantor
Pues si G = , entonces G tiene una seccin B, tal que B = ; el resto

correspondiente lo llamamos S y tenemos
G = (B, S) y
= + S,
as que
(11) = S .
La determinacin de se obtiene de que la seccin B de G est
totalmente determinada, por lo que S tambin est dado en forma nica.
Resaltamos las siguiente frmulas, producto de (4), (8) y (10):
(12) ( + ) ( + ) = ,
(13) ( ) = .
De gran significado es que siempre se pueden sumar una cantidad
infinita de nmeros ordinales, y su suma es un nmero ordinal bien
determinado slo dependiente de la sucesin de sus sumandos.
Si, digamos,
1, 2, . . . v, . . .
es una sucesin arbitraria, simple e infinita de nmeros ordinales
y se tiene
(14) v = Gv ,
[219] entonces tambin
(15) G = (G1, G2, . . .Gv, . . . )
es un conjunto bien ordenado, cuyo nmero ordinal representa la
suma de los . As que
(16) 1 + 2 + + v + = G = ,
y se tiene, como se desprende fcilmente de la definicin de producto,
que
(17) (1 + 2 + + v + ) =
1 + 2 + + v +
Si hacemos
(18) v = 1 + 2 + + v,
entonces
(19) = (G1 , G2 ,..., Gv ) .
Se cumple
(20) +1 > ,
Mathesis
y segn (10) podemos expresar los nmeros mediante los nmeros

como sigue:
(21) 1 = 1; +1 = +1 .
La sucesin
1, 2, . . . v, . . .
representa entonces una sucesin infinita arbitraria de nmeros ordina-
les que satisfacen la condicin (20); la llamamos una sucesin funda-
mental de nmeros ordinales (10); entre ellos y se origina una rela-
cin que podemos expresar del siguiente modo:
1) es > para cada , pues el conjunto (G1, G2, . . .Gv), cuyo n-
mero ordinal es , es una seccin del conjunto G que tiene nmero
ordinal .
2) Si es algn nmero ordinal < , entonces a partir de un cierto
se cumple siempre
> .
Porque, dado que < , existe una seccin B del conjunto G de tipo .
El elemento de G que determina esta seccin debe pertenecer a alguno
de los subconjuntos G, que llamamos Gv0 .
Pero entonces B es tambin una seccin de (G1, G2, . . . Gv0 ) y por
consiguiente < v0 , por lo que
>
para 0.
Por lo anterior resulta el ordinal ms pequeo sucesor de todos-
los ; por ello lo llamaremos el lmite de los para creciente y lo
denotamos con Lm , de tal suerte que por (16) y (21)
(22) Lim v = 1 + ( 2 1) + + ( v+1 v) +

v
[220] Podemos expresar lo anterior en el siguiente Teorema:

I. A cada sucesin fundamental {} de nmeros ordinales perte-
nece un nmero ordinal Lm ,, que sucede inmediatamente, segn su
magnitud, a todos los ; se representa mediante la Frmula (22).
Si es un nmero ordinal fijo, se demuestra con facilidad con ayuda
de las frmulas (12), (13), (17) los teoremas contenidos en las siguien-
tes frmulas:
(23) Lim ( + ) = + Lim v ,

v v
(24) Lim + v = Lim v .

v v
III 22 (2007)
434 Georg Cantor
Ya hemos mencionado en 7 que todos los conjuntos simplemente

ordenados con nmero cardinal finito dado tienen el mismo tipo ordi-
nal. Esto se puede demostrar como a continuacin. Cada conjunto sim-
plemente ordenado con nmero cardinal finito es un conjunto bien
ordenado; porque tanto l como cada uno de sus subconjuntos deben
tener un menor elemento, lo que lo caracteriza segn el Teorema B, 12
como un conjunto bien ordenado.
Los tipos de los conjuntos simplemente ordenados finitos no son,
por tanto, otra cosa que nmeros ordinales finitos. Dos nmeros ordina-
les distintos y no pueden asociarse al mismo nmero cardinal finito
. En efecto, si < y G = , existe, como ya sabemos, una seccin B
de G con B = .
Entonces el conjunto G y su subconjunto B se serviran del mismo
nmero cardinal . Pero esto es imposible segn el Teorema C, 6.
Los nmeros ordinales finitos coinciden en sus propiedades con los
nmeros cardinales finitos.
Muy distinto se comportan los nmeros ordinales transfinitos; para
un nmero cardinal transfinito a existe una cantidad infinita de nmeros
ordinales, que conforman un sistema intrinsecamente relacionado, que
llamaremos la clase de nmeros Z(a). Ella es una subclase de la clase
tipo [a] (7).
El siguiente asunto a considerar lo conforma la clase de nmeros
Z(0), que llamaremos la segunda clase de nmeros.
En este contexto entendemos por primera clase de nmeros la tota-
lidad {} de los nmeros ordinales finitos.
[221]
15.
Los nmeros de la segunda clase de nmeros Z(0).
La segunda clase de nmeros Z(0) es la totalidad {} de los tipos
ordinales de conjuntos bien ordenados con nmero cardinal 0 (6).
A. La segunda clase de nmeros tiene un menor nmero = Limv v .
Demostracin. Por entendemos el tipo del conjunto bien ordenado
(1) F0 = (f1, f2, . . . fv, . . . ),
donde recorre los nmeros ordinales finitos y
(2) fv fv+1 .
As que (7)
(3) = F0
y (6)
(4) = 0.
Mathesis
Por lo tanto, es un nmero de la segunda clase, y de hecho, el menor.

Pues si es un nmero ordinal < , debe ser el tipo (14) de una sec-
cin de F0. Pero F0 slo tiene secciones de la forma
A = (f1, f2, . . . fv)
con un nmero ordinal finito. Por consiguiente = .
As que no existen nmeros ordinales transfinitos menores que ,
que por ello es el menor de todos. Por la definicin de Limv v dada en
14 se cumple claramente que = Limv v .
B. Si es un nmero de la segunda clase, su sucesor inmediato en
la misma clase de nmeros es el nmero + 1.
Demostracin. Sea F un conjunto bien ordenado de tipo y con
nmero cardinal 0, es decir
(5) F = ,
(6) = 0.
Si g es un nuevo elemento, tenemos que
(7) + 1 = (F , g ) .
Puesto que F es una seccin de (F,g), tenemos
(8) + 1 > .
Se cumple que
+ 1 = + 1 = 0 + 1 = 0 (6).
El nmero +1 pertenece entonces a la segunda clase de nmeros.
[222] Entre y + 1 no hay nmeros ordinales; pues cada nmero
que sea < +1 corresponde al tipo de una seccin de (F, g); tal seccin
slo puede ser F0 una seccin de F. As que es = < .
C. Si 1, 2, . . v, . . . es una sucesin fundamental de nmeros de
la primera o segunda clase de nmeros, entonces el nmero Lmv
(14) sucesor inmediato de todos los pertenece a la segunda clase de
nmeros.
Demostracin. Por 14 se obtiene de la sucesin fundamental { }
el nmero Lim v , si producimos otra sucesin 1, 2, . . . v, . . . tal
v
que
1 = 1, 2 = 2 1, . . . v+1 = v+1 v, . . .
Si G1, G2, . . . Gv, . . . son conjuntos bien ordenados tales que
Gv = ,
entonces tambin
G = (G1, G2, . . . Gv, . . . )
III 22 (2007)
436 Georg Cantor
es un conjunto bien ordenado y

Lim v = G .
v
Se trata ahora slo de probar que

G = 0.
Pero puesto que los nmeros 1, 2, . . . v, . . . pertenecen a la primera o
segunda clase, entonces
Gv 0
y por ello
G 0 0 = 0.
Pero como G es un conjunto transfinito, se excluye el caso G < 0.

Dos sucesiones fundamentales {} y { v, } de nmeros de la pri-
mera o segunda clase de nmeros las llamamos correspondientes, en
smbolos
(9) {} || { v, },
si para cada existen nmeros finitos 0, 0 tales que
(10) , > , 0,
y
(11) > v, , 0.

[223] D. Los nmeros lmite Lm y Lm v, correspondientes a lassuce-
siones fundamentales {}, { v, } son iguales si y slo si {} || { v, }.
Demostracin. Por simplicidad hacemos Lm = , Lm v, = .
Primero supongamos que {} || { v, }, y afirmamos que = . En
efecto, si no fuera igual a , alguno de estos dos nmeros debera ser
el menor, digamos < . A partir de un cierto tendramos v, > , por
lo que segn (11) a partir de un cierto > . Pero esto es imposible,
porque = Lmv as que para toda < .
Si recprocamente, se supone que = , puesto que < , se debe
cumplir que v, > a partir de un cierto y dado que v, < a partir
de un cierto , debemos tener > v, ; es decir, {} || { v, }.
E. Si es un nmero de la segunda clase de nmeros, 0 un nme-
ro ordinal finito arbitrario, entonces 0 + = , por lo que tambin
0 = .
Demostracin. Primero nos convencemos de la validez del teorema
cuando = . Se tiene
= ( f1 , f 2 ,... f v ,...),
Mathesis
0 = ( g1 , g 2 ,...g v0 ,...),
as que
0 + = ( g1 , g 2 ,...g v0 , f1 , f 2 ,... f v ...), = .
Pero si > , tenemos que
= + ( ),
0 + = (0 + ) + ( ) = + ( ) = .
F. Si 0 es un nmero ordinal finito, entonces 0 = .
Demostracin. Para obtener un conjunto de tipo 0 , se deben susti-
tuir los elementos fv del conjunto (f1, f2, . . . fv, . . . ) por conjuntos (g,1,g
,2, . . . g v , v0 ) de tipo 0. Se obtiene el conjunto
(g1,1, g1,2, . . . g1,v0 , g2,1, . . . g 2,v0 , . . .g,1, g,2, . . . g v , v0 , . . . ),

que es claramente similar al conjunto {f}; en consecuencia
0 = .
En forma ms breve se obtiene lo mismo como sigue: segn (24) 14 y
puesto que = Lim v , se tiene
v
0 = Lim vo v.
v
Por otro lado,

{0 } || {},
por lo que
lim vo v. = lim v = .
v v
as que
0 = .
[224]
G. Siempre se cumple
( + 0) = ,
para un nmero de la segunda clase y 0 un nmero de la primera
clase.
Demostracin. Tenemos
lim v = .
v
Segn (24) 14 se deduce que

( + 0) = lim( + v0 )v.
v
Pero entonces
1 2 v
( + 0) = (suuuuuuuu
+ v0 t) + (suuuuuuuu
+ v0 t) + + (suuuuuuuu
+ v0 t)
III 22 (2007)
438 Georg Cantor
1 2 ( v 1)
= + (suuuuuuuu
v0 + t) + (suuuuuuuu
v0 + t) + + (suuuuuuuu
v0 + t) + v0
1 2 v
st +
= st + +
st + v
0
= + v0.
Ahora se tiene, como se verifica fcilmente
{ + v0} || {}
y por consiguiente
Lim( + v0 )v = Lim( v + v0 ) = Lim v = .
v v v
H. Si es un nmero de la segunda clase de nmeros, entonces la

totalidad {} de los nmeros de la primera y segunda clase de n-
meros menores que conforman un conjunto bien ordenado, de acuer-
do a su magnitud, con tipo .
Demostracin. Sea F un conjunto bien ordenado tal que F = ; sea
f1 el menor elemento de F. Si es un nmero ordinal arbitrario < ,
entonces existe (14) una seccin A de F tal que
A ' = ,
y recprocamente, cada seccin A determina por su tipo A ' = un

nmero < de la primera o segunda clase de nmeros, porque, en
vista de que F = 0, A ' slo puede ser un nmero cardinal finito o
0.
La seccin A est determinada por un elemento f f1 de F, y
recprocamente, cada elemento f f1 de F determina una seccin A de
F. Si f y f son dos elementos f1 de F, A y A son las secciones
que determinan en F, y sus tipos ordinales, y si, digamos, f f ,
entonces (13) A < A, por lo que < .
[225] Por ello hagamos F = (f1, F ), y logramos una aplicacin entre
estos conjuntos, si asociamos al elemento de {} el elemento f de F
. Con ello se tiene
{ '} = F ' .
Pero se cumple F ' = 1 y (segn el Teorema E) 1 = , por lo
que
{ '} = .
Ya que = 0, entonces tambin { '} = 0; en consecuencia, se

cumple:
Mathesis
J. El conjunto {} de los nmeros de la primera y segunda

clase menores que un nmero de la segunda clase de nmeros, tiene
cardinalidad 0.
K. Cada nmero de la segunda clase de nmeros se obtiene de
un predecesor inmediato 1 mediante la adicin de 1:
= 1 + 1,
o se puede dar una sucesin fundamental {} de nmeros de la prime-
ra o segunda clase de nmeros tal que
= lim v .
v
Demostracin. Sea = F . Si F tiene un mayor elemento g, enton-

ces F = (A, g), donde A es la seccin determinada por g en F. Entonces
tenemos el primer caso, a saber,
= A + 1 = 1 + 1.
En consecuencia, existe un predecesor inmediato que tambin se llama
1.
Si F no posee un mayor elemento, entonces consideramos el con-
junto {} de los nmeros de la primera y segunda clase de nmeros
que sean menores que . Por el Teorema H el conjunto {} es similar
en su orden al conjunto F; por ello entre los nmeros no hay ninguno
que sea el mayor. Segn el Teorema J, el conjunto {} se puede poner
en la forma de una sucesin simple { v, } infinita. Si empezamos con
1, , entonces los sucesores segn este orden, que difiere del orden se-
gn la magnitud, 2, , 3, ... sern menores que 1, ; en cualquier caso en
lo sucesivo aparecen miembros > 1, ; porque 1, no puede ser mayor
que el resto de los miembros, ya que entre los nmeros { v, } no hay uno
mayor. Entre los v, mayores que 1, sea , 2 el de menor ndice. De
igual manera, sea , 3 el nmero de la sucesin { v, } mayor que , 2
con el menor ndice. Si continuamos as, obtenemos una sucesin infi-
nita creciente de nmeros, una sucesin fundamental
1, , , , , ,... , ,...
2 3 v
[226]
Se cumple que
1 < 2 < 3 < < v < v+1, . . .
1, < , < , < ... < , < , ...,
2 3 v v +1
III 22 (2007)
440 Georg Cantor
, < , , cuando < ,

v
y ya que claramente , siempre tenemos
v, , .
v
Se deduce que cada nmero v, , y por ello tambin cada nmero <
ser superado por un nmero , v para un valor de suficientemente
grande.
Pero es el sucesor inmediato de todos los nmeros , por ello es
tambin el sucesor inmediato de los , v . Por lo anterior, hacemos 1, =
1, , v+1 = +1, as que
= Lim v .
v
De los Teoremas B, C, . . . , K se desprende que los nmeros de la

segunda clase de nmeros se obtienen en dos formas a partir de nme-
ros menores. A los de la primera, los llamamos nmeros del primer
tipo, se obtienen de un predecesor inmediato 1 mediante la adiccin de
1, segn la frmula
= 1 + 1;
los otros, los llamamos nmeros del segundo tipo, son aquellos para los
cuales no existe un predecesor inmediato 1; estos aparecen como n-
meros lmite de sucesiones fundamentales {} segn la frmula:
= lim v .
v
Aqu es el sucesor inmediato, segn el orden, de todos los nme-

ros .
Estas dos formas de reducir nmeros mayores a menores la llama-
mos el primero y segundo principio de construccin de los nmeros de
la segunda clase de nmeros.
16.
La cardinalidad de la segunda clase de nmeros es igual al
segundo menor nmero cardinal transfinito lef uno.
Antes de que nos dediquemos en los siguientes prrafos a los nmeros
de la segunda clase de nmeros y su cardinalidad dominante, queremos
responder la pregunta sobre el nmero cardinal asociado al conjunto de
todos estos nmeros, Z(0) = {}.
[227] A. La totalidad {} de los nmeros de la segunda clase de
nmeros conforma un conjunto bien ordenado segn la magnitud.
Mathesis
Demostracin. Por A entendemos la totalidad de los nmeros de la

segunda clase de nmeros, menores que el nmero dado , en su orden
de acuerdo a la magnitud, as que A es un conjunto bien ordenado de
tipo . Esto se deduce del Teorema H, 15. El conjunto, que all se
denot con {}, de todos los nmeros de la primera y segunda clase
de nmeros se obtiene de la unin de {} y A, de tal suerte que
{} = ({}, A).
Por ello
{ '} = {v} + A
y puesto que
{ '} = , {v} = ,
se cumple que
A = .
Sea J un subconjunto de {} tal que existen nmeros en {} mayo-
res que todos los nmeros en J. Sea 0 uno de esos nmeros. Entonces J
tambin es un subconjunto de A 0 +1 , y de hecho, tal que al menos el
nmero 0 de A 0 +1 es mayor que todos los nmeros en J. Puesto que
A0 +1 es un conjunto bien ordenado, debe existir (12) un nmero de
A0 +1 , y que por ello pertenece a {}, que sea el sucesor inmediato de
todos los nmeros en J. Con ello se satisfacen las condiciones II, 12
respecto a {}; la condicin I, 12 tambin se satisface, pues {} con-
tiene al menor nmero .
Si aplicamos los teoremas A y C al conjunto {}, se obtienen los
siguientes teoremas:
B. Cada conjunto de nmeros distintos de la primera y segunda
clase de nmeros tiene un menor elemento, un mnimo.
C. Cada conjunto de nmeros distintos de la primera y segunda
clase de nmeros considerados con el orden respecto a la magnitud es
un conjunto bien ordenado.
Primero se muestra que la cardinalidad de la segunda clase de n-
meros es distinta de la de los de la primera clase, que es 0.
D. La cardinalidad de la totalidad {} de los nmeros de la
segunda clase de nmeros no es igual a 0.
Demostracin. Si tuviesemos { } = 0, podramos representar a la
totalidad de {} en la forma de una sucesin simple e infinita
1, 2, . . .v, . . .
[228]
III 22 (2007)
442 Georg Cantor
de tal forma que {v}, la totalidad de los nmeros de la segunda clase de

nmeros, se podra representar en un orden distinto al dado por la mag-
nitud y {v} no contendra un mayor elemento, mucho menos {}.
Partiendo de 1, sea 2 el miembro con menor ndice de esa suce-
sin > 1, 3 el miembro con menor ndice > 2 , etctera.
Obtenemos una sucesin infinita creciente de nmeros
1 , 2 ,...v ,...,
tal que
1 < 2 < 2 2 < v+1, . . . ,
1 < 2 < 3 ...v < v+1 ,
v v .
Segn el Teorema C, 15 existira un determinado nmero de la se-
gunda clase de nmeros, a saber,
= Lim v .
v
que sera mayor que todos los ; por consiguiente se tendra

>
para cada .
Si {} contiene a todos los nmeros de la segunda clase de nme-
ros, tiene tambin al nmero ; as que para un cierto 0 se cumplira
= v0 ,
ecuacin que es incompatible con la relacin > v0 . La suposicin
{ } = 0 conduce entonces a una contradiccin.
E. Un conjunto arbitrario {} de nmeros de la segunda clase de
nmeros tiene, cuando es infinito, el nmero cardinal 0 o el nmero
cardinal { } de la segunda clase de nmeros.
Demostracin. El conjunto {} en el orden de magnitud es, como
subconjunto del conjunto bien ordenado {} segn el Teorema O, 13,
similar a una seccin A0 del ltimo (es decir, al conjunto de todos los
nmeros de la segunda clase de nmeros < 0, en el orden dado por su
magnitud) o es similar a {}. Como se prob en la demostracin del
Teorema A, se tiene A0 = 0 .
Tenemos entonces { } = 0 o { } = { } , por lo que tambin { }
es = 0 o = { } . Pero 0 es un nmero cardinal finito o = 0
Mathesis
(teorema J, 15). El primer caso se excluye aqu pues {} se supuso un

conjunto infinito. Por lo tanto, el nmero cardinal { } es = 0 o = { } .
F. La cardinalidad de la segunda clase de nmeros {} es el se-
gundo menor cardinal transfinito lef uno.
[229] Demostracin. No existe ningn nmero cardinal a que sea > 0
y < { } . En caso contrario, por 2 existira un subconjunto infinito {}
de {} tal que { } = a.
Como consecuencia del Teorema E recin demostrado el conjunto
{} tiene el nmero cardinal 0 o el nmero cardinal { } . En conse-
cuencia, el nmero cardinal { } es necesariamente el sucesor inmedia-
to, segn magnitud, de 0 que llamamos 1.
Por consiguiente, en la segunda clase de nmeros Z(0) tenemos el
representante natural para el segundo menor nmero cardinal lef uno.
17.
Los nmeros de la forma 0 + -11 + + .
Es conveniente acostumbrarnos a trabajar con aquellos nmeros de
Z(0) que son funciones enteras (racionales) de grado finito en . Cada
uno de tales nmeros se puede escribir en forma nica como
(1) = 0 + -11 + + ,
donde , 0 son finitos y distintos de cero, 1, 2, . . . pueden ser cero.
Esto se debe a que
,
(2) v ' + v = v,
cuando < y > 0.
Porque segn (8), 14 se cumple
, , ,
v ' + v = (v '+ v),
y por el Teorema E, 15
v ' + v ' v = ' v.
En consecuencia, en algunas expresiones de la forma
,
...+ v ' + v + ...
se puede prescindir de los miembros que, movindose hacia la derecha,
suceden a miembros de grado en superior. Este procedimiento se
puede continuar hasta que se obtiene la frmula en
III 22 (2007)
444 Georg Cantor
(1). Debemos remarcar que

(3) + v ' = (v + v ').
Comparemos ahora el nmero con un nmero del mismos tipo
(4) = 0 + 11 + + .
Si y son distintos, digamos < , entonces por (2)
+ = ,
por lo que
< .
[230] Si = , 0 y 0 son distintos y, digamos 0 < 0, entonces por (2)
+ ((0 0) +11 + + ) = ,
por lo que tambin
< .
Finalmente, si
= , 0 = 0, 1 = 1, . . . 1 = 1, ,
mientras que y son distintos, digamos < , entonces por (2)
+ (( ) + 1+1 + + ) = ,
y otra vez
< .
As, hemos visto que slo para identidad completa de las expresio-
nes y pueden ser iguales los nmeros por ellas representados.
La adicin de y conduce al siguiente resultado:
1) si < , entonces, como se observ antes,
+ = .
2) Si = , se tiene
+ = (0 + 0) + 11 + + .
3) Si > , se tiene
+ = 0 + 11 + ++11 + ( + 0)
11 + + .
Para efectuar la multiplicacin de y , observemos que, si es un
nmero finito distinto de cero, la frmula es
(5) = 0 + 11 + + .
Mathesis
Ella se obtiene fcilmente mediante la realizacin de la suma + +

+ que consiste en sumandos.
Mediante repetidas aplicaciones del teorema G, 15, se obtiene
adems, tomado en cuenta F, 15
(6) = +1,
por lo que tambin
(7) = +.
Por la ley distributiva, se tiene
= 0 + 11 + + 1 + .
Las frmulas (4), (5) y (7) propician entonces el siguiente resultado:
1) Si = 0, se cumple
= +0 + +11 + + +11 = .
2) Si es distinto de cero, entonces
= +0 + +11 + + +11 +
+0 +11 + + .
[231] De la siguiente forma logramos una notable descomposicin de
los nmeros : sea
(8) = 0 + 1 1 + ... + 1 ,
donde
> 1 > 2 > > 0
y los nmeros 1, 2, . . . , son distintos de cero y finitos. Entonces
tenemos
= (11 + 2 2 + ... + ) (-10 + 1) .
Mediante repetidas aplicaciones de esta frmula obtenemos
= (-1 + 1) 1 (-2 1 + 1) 2 ...(1 + 1)0
Pero tenemos
+ 1 = ( + 1) ,
cuando es un nmero finito distinto de cero, por lo que
= (-1 + 1) 1 (-2 1 + 1) 2 ...(1 + 1)0
Los factores + 1 que aparecen aqu son todos indivisibles, y se puede
representar un nmero como este producto en forma nica. Si = 0,
es del primer tipo, en cualquier otro caso, del segundo tipo.
La aparente desviacin de las frmulas en este pargrafo de aquellas
dadas en (III 4, Nr. 5, 14, pgs. 203 y siguientes), resulta slo de la
III 22 (2007)
446 Georg Cantor
forma de escribir el producto de dos nmeros, pues en esta ocasin

pusimos el multiplikandus a la izquierda, el multiplicador a la derecha,
mientras que antes seguimos la regla contraria.
18.
La potencia en el dominio de la segunda clase de nmeros.
Sea una variable, cuyo dominio consiste en los nmeros de la primera
y segunda clase con excepcin de 0. Sean y dos constantes pertene-
cientes al mismo dominio, a saber,
> 0, > 1.
Podemos sustentar el siguiente teorema:
A. Existe una nica funcin totalmente determinada f() de la
variable que satisface las siguientes condiciones:
1) f (0) = .
2) Si y son dos valores arbitrarios de , y
< ,
entonces
f () < f ().
[232] 3) Para cada valor de se cumple
f ( + 1) = f ().
4) Si {} es una sucesin fundamental arbitraria, tambin lo es
{ f ()}, y se cumple
= Lim v ,
v
entonces
f () = Lim f ( v ).
v
Demostracin. De 1) y 3) tenemos
f (1) = , f (2) = , f (3) = , . . .

y puesto que > 0, > 1, se cumple
f (1) < f (2) < f (3) < < f () < f ( + 1), . . .
Con ello queda totalmente determinada la funcin f () para el dominio
< .
Ahora supongamos que el teorema se cumple para todos los valores de
< , donde es un nmero de la segunda clase, entonces tambin se
cumple para . Porque si es del primer tipo, se sigue de 3) que
f () = f (1) > f (1);
Mathesis
as que se satisfacen tambin las condiciones 2), 3), 4) para . Pero

si es de la segunda clase y {} es una sucesin fundamental tal que
Lm = , se sigue de 2) que tambin {f()} es una sucesin funda-
mental y de 4) que f() = Lm f(). Si tomamos otra sucesin funda-
mental {v, } tal que Lm v, = , entonces por 2) ambas sucesiones
fundamentales {f ()} y { f (v, ) } son correspondientes; as que f () =
Lm f (). El valor f() est tambin en este caso unvocamente de-
terminado.
Si es un nmero < , se verifica fcilmente que f () < f ().
As que las condiciones 2), 3), 4) se satisfacen tambin para < . De
lo anterior se sigue la validez del teorema para todos los valores de .
Pues si hubiese una excepcin , para la cual no se satisficiera el teore-
ma, por el Teorema B, 16 habra un menor de tales nmeros, que llama-
mos . Entonces el Teorema sera cierto para < , pero no para , lo
que estara en contradiccin con lo recin demostrado.
Por lo tanto, existe una funcin y slo una en todo el dominio de
que satisface las condiciones 1) a 4).
[233] Si otorgamos a la constante el valor 1, y se denota la funcin f
() como
,
podemos formular el siguiente teorema:
B. Si es una constante > 1 arbitraria de la primera o segunda
clase de nmeros, entonces existe una funcin totalmente determinada
de , tal que
1) 0 = 1.
2) Si < , entonces < .
3) Para cada valor de se cumple +1 = .
4) Si {} una sucesin fundamental, tambin lo es {v } y se tiene,
cuando = Lm , tambin
= lm v .
v
Podemos reformular el teorema:

C. Si f () es la funcin de caracterizada en el Teorema A, entonces
f () = .
Demostracin. Teniendo en cuenta (24), 14 es fcil cerciorarse de
que la funcin no slo satisface las condiciones 1), 2), 3) del Teo-
rema A, sino tambin la condicin 4) del mismo. Por la unicidad de la
funcin f () debe ser idntica con .
D. Si y son dos nmeros arbitrarios de la primera o segunda
clase de nmeros con excepcin del 0, entonces
III 22 (2007)
448 Georg Cantor
+ = .
Demostracin. Considere la funcin () = +. Tomando en cuenta
que segn la frmula (23), 14
Lim( + v ) = + Lim v ,
v v
reconocemos que () satisface las siguientes cuatro condiciones:

1) (0) = .
2) Si < , entonces () < ().
3) Para cada valor de se cumple ( + 1) = ().
4) Si {} es una sucesin fundamental tal que Lm = , entonces
() = Lim ( v ).
v
Segn el Teorema C se sigue, si ponemos = , que

() = .
Si sustituimos aqu = , se deduce que
+ = .
E. Si y son dos nmeros arbitrarios de la primera o segunda
clase de nmeros exceptuando al 0, entonces
= ().
[234]
Demostracin. Consideremos la funcin () = y observemos que,
segn (24), 14, siempre ocurre que Lm = Lm , as que basn-
donos en el Teorema D podemos afirmar que:
1) (0) = 1.
2) Si < , entonces () < ().
3) Para cada valor de , ( + 1) = ().
4) Si {} es una sucesin fundamental, tambin lo es {()} y se
cumple, cuando = Lm , tambin () = Lm ().
Del Teorema C se deduce, si se sustituye en l = 1 y por , que
() = ().
Sobre la magnitud de respecto a podemos establecer el siguiente
teorema:
F. Si > 1, para cada valor de se cumple
.
Demostracin. En los casos = 0 y = 1 el teorema es inmediato.
Ahora mostramos que, cuando se cumple para todos los valores de
menores que un nmero dado > 1, tambin se cumple para = .
Mathesis
Si es del primer tipo, entonces por hiptesis
1 1 ,
tambin
1 1 = ,
por ello
1 + 1 ( 1) = 1.
Puesto que tanto 1 como 1 son al menos = 1 y 1 + 1 = ,
se deduce
.
Si por el contrario es del segundo tipo, a saber,
= Lim v
v
entonces, ya que < , de la hiptesis
v ,
por lo que tambin se cumple
Lim v Lim v
v v
es decir,
.
Si hubiesen valores de para los cuales
> ,
entre ellos existira uno menor (segn el teorema B, 16); si denotamos
ese con , tendramos para <
[235] ,
mientras que
> ,
lo que contradice lo recin demostrado. Con ello hemos mostrado que
para todo valor de
.
19.
La forma normal de los nmeros de la segunda clase.
Sea algn nmero de la segunda clase. La potencia ser mayor que
para valores suficientemente grandes de . Este siempre es el caso, de
III 22 (2007)
450 Georg Cantor
acuerdo con el Teorema F, 18, para > , pero en general tambin se

considerarn valores menores de .
Por el Teorema B, 16 entre los valores de para los cuales
> ,
debe existir uno menor; lo llamamos y nos convencemos fcilmente
que l no puede ser un nmero de la segunda clase. En efecto, si lo
fuera
= Lim v ,
v
tendramos, puesto que < ,

v < ,
por lo que tambin
Lm v <
v
As que
< ,
mientras que se debe cumplir
> .
En consecuencia, es del primer tipo. Denotamos 1 con 0, de tal
suerte que = 0 + 1 y podemos afirmar que existe un nmero total-
mente determinado 0 de la primera o segunda clase que satisface las
condiciones:
(1) 0 , 0 > .
De la segunda condicin deducimos que no para todo valor finito
de se cumple
v ,
0
pues en caso contrario se cumplira tambin Lmv v =

0 0
El menor nmero finito para el cual

v > ,
0
lo denotamos con 0 + 1. De (1) se sigue que 0 > 0.

[236] Por consiguiente, existe tambin un nmero totalmente determi-
nado 0 de la primera clase de nmeros, tal que
(2) 0 , ( 0 + 1) > , .
0 0
Si hacemos 0 = ', entonces

0
(3) = 0 + '
0
Mathesis
(4) 0 < , 0 < 0 < .

0
Adems, se puede representar como en (3) en forma nica con la

condicin (4). Porque de (3) y (4) se deducen, inversamente las condi-
ciones (2), y de ellas las condiciones (1).
Las condiciones (1) se satisfacen slo por el nmero 0 = 1, y
mediante las condiciones (2) queda completamente determinado el
nmero finito 0. De (1) y (4) se sigue, considerando el teorema F, 18,
que
< , 0 .
Por lo que podemos afirmar la validez del siguiente teorema:
A. Cada nmero de la segunda clase se puede representar en
forma nica como
= 0 + '
0
con
0 < , 0 < 0 < ;
0
siempre es menor que , mientras que 0 es menor o igual que .

Si es un nmero de la segunda clase, podemos utilizar el Teorema
A y obtener
(5) = 1 + ,
1
0 < , 0 < 1 < ,

1
por lo que
1 < 0, < .
En general, obtenemos la siguiente sucesin de ecuaciones
(6) = 2 + ,
2
(7) = 3 + IV .
3

Esta sucesin no puede ser infinita, debe interrumpirse.
Porque los nmeros , , , . . . son decrecientes segn su magnitud,
es decir,
> > > >
Si una sucesin decreciente de nmeros transfinitos fuese infinita,
entonces ninguno de ellos sera el menor; esto es imposible segn el
teorema B, 16. Por lo tanto, se debe cumplir
(+1) = 0
para un cierto valor finito de . Si relacionamos las ecuaciones (3), (5),
(6), (7), obtenemos el teorema:
III 22 (2007)
452 Georg Cantor
[237] B. Cada nmero de la segunda clase se puede representar en

forma nica como
= 0 + 1 + ... + ,
0 1
donde 0, 1, . . . son nmeros de la primera o segunda clase que

satisfacen las condiciones
0 > 1 > 2 > > 0,
mientras que 0, 1, , + 1 son nmeros, distintos de cero, de la pri-
mera clase.
La forma que hemos presentado para los nmeros de la segunda
clase la llamamos forma normal; 0 es el grado, el exponente de
; para = 0 el grado y el exponente son iguales entre s.
Dependiendo de si el exponente es igual o mayor que 0, es un
nmero del primer o segundo tipo.
Consideremos otro nmero en forma normal
(8) = 0 + 1 + ... + .
0 1
Tanto para comparar con como para sumarlos o restarlos sirven la

frmulas
(9) + = ( + ),
(10) + = para < .
aqu , , son nmeros finitos.
Estas son generalizaciones de las frmulas (3) y (2), 17.
Para la formacin del producto son importantes las siguientes
frmulas:
(11) = 0 0 + 1 1 + ... + , 0 < < ,
(12) = 0 +1 ,
(13) = 0 +' , > 0.
La exponenciacin se efectua con facilidad mediante la siguiente
frmula:
(14) = 0 0 + ..., 0 < < .
Los miembros a la derecha tiene grado menor que el primero. De esto
se sigue fcilmente que las sucesiones fundamentales {} y {0 }
son correspondientes, de tal forma que
(15) = 0 , 0 > 0.
Por lo que, como consecuencia del teorema E, 18:
Mathesis
' '
(16) = , 0 > 0, > 0.
0
Con ayuda de estas frmulas se pueden demostrar los siguientes teoremas:

[238]
C. Si los primeros miembros 0 0 , 0 0 de las formas normales de
los nmeros y no son iguales, entonces es mayor o menor que ,
dependiendo de si 0 0 es menor o mayor que 0 0 . Pero si se tiene
0 = 0 , 1 = 1 ,

0 0 1 1
=
y si +1 +1 es menor o mayor que +1 +1 , entonces tambin es

menor o mayor que , respectivamente.

D. Si el grado 0 de es menor que el grado 0 de , entonces
+ = .
Si 0 = 0, entonces
+ = 0 ( 0 + 0) + 1 1 + + .
Pero si
0 > 0, 1 > 0, . . . 0, +1 < 0,
entonces

+ = 0 0 + + + 0 0 + 1 1 + + .
E. Si es del segundo tipo ( > 0), entonces
= 0 + 0 0 + 0 + 1 1 + ... + 0 + = 0 ,
pero si es del primer tipo ( = 0), entonces
= 0 + 0 0 + 0 + 1 1 + ... + 0 + 1 1 + 0 0
+ 1 1 + ... + .
F. Si es del segundo tipo ( > 0), entonces
= 0 ;
pero si es del primer tipo ( = 0), a saber, = + , donde es del
segundo tipo, entonces se cumple
= 0 ' .
G. Cada nmero de la segunda clase se puede representar en
forma nica como el producto:
= 0 ( 1 + 1) -1 (2 + 1) -2 ( + 1) 0,
y se cumple
III 22 (2007)
454 Georg Cantor
0 = , 1 = 1 , 2 = 2 1, . . . = 0 1,
mientras que 0, 1, . . . tienen el mismo significado que en la forma
normal. Los factores + 1 son irreducibles.
H. Cada nmero del segundo tipo perteneciente a la segunda
clase de nmeros se puede representar en forma nica en la forma:
= 0 ' ,
donde 0 > 0 y es un nmero del primer tipo perteneciente a la pri-
mera o segunda clase.
[239]
J. Para que dos nmeros y de la segunda clase satisfagan la rela-
cin
+=+
es necesario y suficiente que tengan la forma
= , = ,
donde y son nmeros de la primera clase de nmeros.
K. Para que dos nmeros y de la segunda clase, ambos del
primer tipo, satisfagan la relacin
=
es necesario y suficiente que sean de la forma
= , = ,
donde y son nmeros de la primera clase.
Para ejemplificar la trascendencia de la forma normal y de la direc-
tamente relacionada forma producto de los nmeros de la segunda clase
de nmeros, se derivarn las demostraciones de los Teoremas J y K.
De la suposicin
+=+
deducimos primero que el grado 0 de debe ser igual al grado 0 de .
Si tuviesemos 0 < 0, se cumplira (segn el Teorema D) que
+ = ,
de donde se sigue que
+ = ,
lo que no es posible, pues por (2) 14
+ > .
Por ello podemos hacer
Mathesis
= 0 + , = 0 + ,
donde los grados de los nmeros y son menores que 0, y son
nmeros finitos distintos de 0.
Por el Teorema D se cumple
+ = 0 ( + ) + , + = 0 ( + ) + ,
as que
( + ) + = ( + ) + .
0 0
Segn el Teorema D, 14 se tiene

= .
Con ello logramos
= 0 + , = 0 + ,
[240] y si se hace
0 + = ,
por (11)
= , = .
Por otro lado supongamos que dos nmeros de la segunda clase de
nmeros del primer tipo y satisfacen la condicin
=
y que
> .
Representamos ambos nmeros, segn el Teorema G, en su forma
producto y sean
= , = ,
donde y no tienen factores izquierdos extremos en comn (excepto 1).
Entonces se cumple
>
y
= .
Todos los nmeros involucrados y los que aparezcan en lo sucesivo son
del primer tipo, pues esto se supuso de y .
La ltima ecuacin (teniendo en cuenta el teorema G) permite reco-
nocer que y no pueden ser ambos transfinitos, pues en tal caso
tendran un factor izquierdo extremo comn. Pero tampoco pueden ser
ambos finitos; porque en tal caso, sera transfinito y si es el factor
izquierdo finito extremos de , entonces
= ,
III 22 (2007)
456 Georg Cantor
y tambin
= .
La nica posibilidad que queda es que
> , < .
Pero el nmero finto debe ser 1:
= 1,
pues de lo contrario estara contenido como factor en el factor extremo
izquierdo finito de .
Llegamos al resultado = , por consiguiente
= ,
donde es un nmero del primer tipo perteneciente a la segunda
clase de nmeros que debe ser menor que :
< .
Entre y se cumple la relacin
= .
[241] Por lo tanto, si > , se deducen la misma forma la existencia de
un nmero transfinito del primer tipo < , tal que
= , = .
Si tambin ocurre > , existe uno de tales nmeros < , tal que
= , = ,
y as sucesivamente.
La sucesin decreciente de nmeros , , , , . . . debe inte-
rrumpirse, segn el teorema B, 16. En consecuencia, se debe cumplir,
para un cierto ndice finito 0,
(0 ) .
Si
(0 ) = ,
entonces
= 0 +1 , = ;
quedara demostrado el teorema K y se cumplira
= , = 0 + 1, = 1.
Pero si
( ) < ,
0
Mathesis
hacemos
( ) = 1
0
y tenemos
= 0 1, 1 = 1, 1 < .
Por lo tanto existe un nmero finito 1 tal que
= 11 2, 12 = 21, 2 < 1.
En general, se obtiene en forma anloga
1 = 22 3, 23 = 32, 3 < 2
y as sucesivamente.
Tambin la sucesin decreciente de nmeros 1, 2, 3, . . . debe
interrumpirse, segn el teorema B, 16.
En consecuencia, existe un nmero finito tal que
1 = .
Si hacemos
= ,
entonces
= , = ,
donde y son el numerador y denominador de la cadena fraccionaria
1
= 0 +
v 1
1 + ... +

[242]
20.
Los -nmeros de la segunda clase.
El grado 0 de un nmero nunca es, como se desprende de la forma
normal
(1) = 0 0 + 1 1 + , 0 > 1 > , < <
teniendo en cuenta el Teorema F, 18, mayor que ; la pregunta es si
existen nmeros para los cuales 0 = .
En tal caso se debe reducir la forma normal de al primer miembro
y ste debe ser = , es decir, debe ser raz de la ecuacin
(2) =
Por otro lado cada raz de esta ecuacin debe tener forma normal ; su
grado sera igual a l mismo.
III 22 (2007)
458 Georg Cantor
Los nmeros de la segunda clase que son iguales a su grado coinci-

den con las races de la ecuacin (2). Nuestra tarea es determinar todas
esas races. Para distinguirlas de los nmeros restantes, las llamamos
-nmeros de la segunda clase de nmeros.
Que realmente existen tales nmeros, se deduce del siguiente
Teorema:
A. Si es un nmero de la primera o segunda clase que no satisfa-
ce la ecuacin (2), entonces l determina una sucesin fundamental
{} mediante las ecuaciones
1 = , 2 = 1 , . . . = v-1 , . . .
El lmite Lm = E() de esta sucesin fundamental siempre es un -
nmero.
Demostracin. Puesto que no es un -nmero, entonces > , es decir, 1
> . De acuerdo con el teorema B, 18 se cumple tambin 1 > , es
decir, 2 > 1 y en la misma forma se deduce que 3 > 2, etctera. La
sucesin {} es por consiguiente una sucesin fundamental. Su lmite,
que es una funcin de , lo llamamos E() y se cumple
E() = Lm v = Lm v +1 = E().
v v
Por ello E() es un -nmero.

B. El nmero 0 = E(1) = Lm , donde
1 = , 2 = 1 , 3 = 2 , . . . = v-1 , . . .
es el menor de todos los -nmeros.
[243] Demostracin. Sea un -nmero, tal que
= .
Ya que > , entonces > , es decir, > 2. De aqu se sigue
igualmente que > 2 , es decir, > 3, etctera.
En general tenemos
>
por lo que
Lm v ,
v
es decir,
0.
As que 0 = E(1) es el menor de todos los -nmeros.
C. Si es un -nmero, el siguiente -nmero y cualquier
nmero entre ellos
< < ,
Mathesis
entonces E() = .
Demostracin. De
< <
se sigue que
< < ,
es decir,
< 1 <
y as sucesivamente.
De esto se deduce igualmente
< 2 < ,
etctera. En general tenemos
< < ,
por lo que
< E() .
Segn el Teorema A, E() es un -nmero. Ya que es el sucesor de
entre los -nmeros, no puede ocurrir que E() < , por lo que se debe
cumplir
E() = .
Dado que + 1 por definicin no puede ser un -nmero, pues
todos los -nmeros, como se sigue de la ecuacin que los define =
, son del segundo tipo, + 1 es con seguridad menor que , con lo
que tenemos el teorema:
D. Si es un -nmero, entonces E( + 1) es el siguiente -
nmero.
Al menor -nmero 0 le sigue el que llamaremos 1,
1 = E(0 + 1),
[244] y a ste el siguiente
2 = E(1 + 1)
etctera.
En general, tenemos la frmula recursiva para el ( + 1)-simo -
nmero respecto a la magnitud:
(3) = E(1 + 1).
Pero ya que claramente la sucesin infinita
0, 1, . . . , . . .
de ninguna manera abarca a todos los -nmeros, se desprende el si-
guiente teorema:
III 22 (2007)
460 Georg Cantor
E. Si , , , . . . es una sucesin infinita de -nmeros tal que

< < () < (+1) ,
entonces tambin Lm () es un -nmero, a saber, el -nmero sucesor
inmediato a todos los ().
Demostracin.
Lim (v ) (v)
v
= Lm = Lm ( v ) .
v v
Que Lm ( v ) es el -nmero sucesor inmediato de todos los () se de-

v
duce de que Lm () es el nmero sucesor inmediato de la segunda
clase de todos los ().
F. La totalidad de los -nmeros de la segunda clase ordenados
segn su magnitud conforman un conjunto bien ordenado de tipo de
la segunda clase de nmeros ordenados segn la magnitud por lo que
tiene la cardinalidad lef uno.
Demostracin. La totalidad de los -nmeros de la segunda clase de
nmeros conforma, segn el Teorema C, 16 ordenados segn su mag-
nitud, un conjunto bien ordenado
(4) 0, 1, . . . v, . . . , +1, . . . , . . .
cuya forma de construirse se expresa en los Teorema D y E.
Si el ndice no recorriese todos los nmeros de la segunda clase
de nmeros, debera existir un menor nmero que no alcanzar. Esto
se opondra al teorema D, cuando fuera del primer tipo, y al teorema
E, cuando fuera del segundo tipo. Por lo tanto, toma como valores
todos los nmeros de la segunda clase de nmeros.
Si denotamos con el tipo de la segunda clase de nmeros, enton-
ces el tipo de (4) es
+ = + 2 + ( 2);
[245] pero como + 2 = 2, se sigue que
+ = .
Por consiguiente, tambin
+ = = 1.
G. Si es un -nmero y un nmero arbitrario de la primera o
segunda clase de nmeros menor que :
< ,
entonces satisface las tres ecuaciones
Mathesis
+ = , = , = .
Demostracin. Si 0 es el grado de , entonces 0 , y como <
tambin se cumple 0 < . El grado de = es ; as que tiene un
grado menor que , por lo que segn el Teorema D, 19
+ = ,
de donde se sigue tambin
0 + = ,
Por otro lado, por las frmulas (13), 19 tenemos
= = 0 + = = ,
de donde se sigue tambin
0 = .
Finalmente, de la frmula (16), 19 tenemos

= = 0 = 0 = = .
H. Si es un nmero de la segunda clase de nmeros, la ecuacin
= ,
no tienen ms races que los -nmeros mayores que .
Demostracin. Sea una raz de la ecuacin
= ,
as
= ,
por lo que se sigue de esta frmula que
> .
Por otro lado, debe ser del segundo tipo, de lo contrario tendra-
mos
> .
En consecuencia, tenemos, por el teorema F, 19
= 0 ,
por ello
= .
0
[246] Segn el Teorema F, 18

0,
0
as que
III 22 (2007)
462 Georg Cantor
0.
Pero no puede ocurrir que > 0; en consecuencia
0 = ,
y por ello
= .
Por lo tanto, es aun -nmero mayor que .
Mathesis

Contribución A Los Fundamentos de La Teoría de Conjutos Transfinitos.

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Contribución A Los Fundamentos de La Teoría de Conjutos Transfinitos.

Transféré par

Droits d'auteur :

Formats disponibles

Mathesis III 22 (2007) 387-462.

Impreso en Mxico. Derechos reservados 2007 por UNAM (ISSN 0185-6200)

Contribucin a los fundamentos de la

Hypotheses non fingo. [Newton]

Los elementos de este conjunto son entonces los elementos de M, de

cuando es posible relacionarlos de tal forma que cada elemento de uno

Si dos conjuntos son equivalentes a un tercero, entonces tambin son

1) no existe ninguna parte de M equivalente a N,

A. Si a y b son dos nmeros cardinales arbitrarios, entonces se

Cada elemento m de un conjunto M se puede enlazar con cada elemento

(11) a(b + c) = ab + ac,

de los que, si se establece P = c, por (4) y teniendo en cuenta 3 obtene-

X = ({t}, X1) = ({t21}, {t2}, X1),

E. Si N es un conjunto con cardinalidad finita , N1 un subconjun-

Demostracin de A. Cada uno de los conjuntos que denotamos E

pertenecientes a K no estn en J. El conjunto J no es otra cosa que el

Que 0 es un nmero transfinito, es decir, que no es igual a ningn

[493] Esto se sigue, considerando 3, de que = (1, 2, 3, . . ., ) , nin-

De lo anterior se deduce que S1 S, por lo que S1 = 0.

Ahora, es evidente que se cumple

La Ecuacin (6) se puede escribir tambin como:

En esta sucesin se piensa primero que se pone un elemento (1, 1) para

La similitud de dos conjuntos ordenados M y N la expresamos

La primera de ellas, que se nos presenta en forma natural y cuyo

existen una cantidad infinita de tales aplicaciones.

que se encuentran en la obra del Sr. Veronese Grundzge der Geome-

sea sustituido por un conjunto ordenado Mn con el mismo tipo que M,

distintos, obtienen en S la jerarqua que tenian n1 y n2 en N.

De (1) y (5) se sigue tambin fcilmente la ley distributiva

Por lo tanto, el tipo pertenece a la clase de tipos [0].

En tercer lugar, R tiene la propiedad de que entre cualesquiera dos

r3 tiene en R una determinada relacin de orden con r1 y r2; segn

guardan r3 con r1 y r2 en R; escogemos aquel que tenga el menor ndice

de M, que en M guardan la misma relacin de orden entre s que sus

esa relacin de jerrquica respecto a

llamaremos a m0 un elemento lmite de {a} en M o tambin un ele-

Igualmente, llamaremos a un elemento m0 un elemento principal de

Si un conjunto posee alguna de estas tres propiedades, tambin la

m1 de M existe un elemento de S entre ellos, segn su orden, entonces

Si r < x0, existe una sucesin fundamental creciente {r v } acotada

3. Esta definicin de conjunto bien ordenado coincide, no textualmente, con la introdu-

para F se ocupa el elemento f. Si adems, por ejemplo, en F est conte-

En caso contrario sea F la totalidad de elementos de F menores que

Demostracin. Tanto H como cada subconjunto H1 de H tienen un

mediante el elemento c2 se determina la seccin

en la que no aparecera un menor elemento, lo que es imposible segn

Demostracin. Podemos aplicar F sobre G de acuerdo a la siguiente

M. Si el conjunto bien ordenado G tiene al menos una seccin

Pero no puede ocurrir simultneamente F GyF B1, pues en tal

En general + y + no son iguales. En cambio se tiene, cuando

Pues si G = , entonces G tiene una seccin B, tal que B = ; el resto

y segn (10) podemos expresar los nmeros mediante los nmeros

(22) Lim v = 1 + ( 2 1) + + ( v+1 v) +

[220] Podemos expresar lo anterior en el siguiente Teorema:

(23) Lim ( + ) = + Lim v ,

(24) Lim + v = Lim v .

Ya hemos mencionado en 7 que todos los conjuntos simplemente

Por lo tanto, es un nmero de la segunda clase, y de hecho, el menor.

es un conjunto bien ordenado y

Se trata ahora slo de probar que

Pero como G es un conjunto transfinito, se excluye el caso G < 0.

(g1,1, g1,2, . . . g1,v0 , g2,1, . . . g 2,v0 , . . .g,1, g,2, . . . g v , v0 , . . . ),

Por otro lado,