Tra Ducci On

CONTRIBUCIONES A LOS FUNDAMENTOS DE LA TEORA DE CONJUNTOS
TRANSFINITOS
GEORG CANTOR
Ttulo original: Beitrge zur Begrndung der transniten Mengenlehre
1
Mathematische Annalen 46(1895), 481-512; 49(1897), 207-246.
Hypotheses non ngo. [Newton]
Neque enim leges intellectui aut rebus damus
ad arbitrium nostrum, sed tanquam scribae deles
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.
1.
La nocin de cardinalidad o de nmero cardinal.
Por un conjunto entendemos cada coleccin M de objetos determinados m distinguibles
entre s por nuestra experiencia o nuestro pensamiento (que llamaremos los elementos de M)
que conforman un todo.
En smbolos expresamos esto mediante:
M = {m}. (1)
La unin de varios conjuntos M, N, P, . . . , que no tengan elementos en comn, para confor-
mar uno slo la denotamos como
(M, N, P, . . . ). (2)
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 M
1
, cuyos
elementos son a la vez elementos de M.
Si M
2
es una parte de M
1
, y M
1
una parte de M, entonces M
2
es tambin una parte de M.
A cada conjunto M est asociada una cierta cardinalidad, que llamaremos tambin su
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 independiente de la ndole de sus distintos
elementos m y de su orden.
1
Traduccinde Luis Miguel Villegas Silva, Departamentode Matemticas, UniversidadAutnoma Metropolitana
Iztapalapa, Iztapalapa, D. F., Mxico, CP 09340, e-mail: lmvs@xanum.uam.mx
1
Dr. Luis Miguel Villegas Silva
Depto. Matematicas
Universidad Autonoma Metropolitana Iztapalapa
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
2 GEORG CANTOR
El resultado de este doble proceso de abstraccin, la cardinalidad o el nmero cardinal de M,
lo denotamos con
2
| M | . (3)
Puesto que de cada elemento m, sin considerar su ndole, se forma una unidad, el nmero
cardinal mismo |M| es un conjunto formado exclusivamente por unidades reunidas, que existe
en nuestro espiritu como una imagen virtual o una proyeccin del conjunto dado M.
Llamaremos equivalentes a dos conjuntos M y N, lo que denotamos como
M N o N M, (4)
cuando es posible relacionarlos de tal forma que cada elemento de uno de ellos corresponde a
un y slo un elemento del otro.
A cada parte M
1
de M corresponde entonces una determinada parte equivalente N
1
de N y
viceversa.
Si se tiene tal correspondencia entre dos conjuntos equivalentes, sta se puede modicar
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 m
0
de M corresponde a un cierto elemento n
0
de N. Porque si de acuerdo a la correspondencia
original, el elemento m
0
no est asociado a n
0
, sino que m
0
est asociado al elemento n
1
de N y
el elemento n
0
al elemento m
1
de M, entonces se considera la correspondencia modicada, en la
que m
0
est relacionado con n
0
as como n
1
con m
1
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:
M M. (5)
Si dos conjuntos son equivalentes a un tercero, entonces tambin son equivalentes entre s:
de M P y N P se deduce M N. (6)
Es de gran importancia que dos conjuntos M y N tienen el mismo nmero cardinal cuando y
slo cuando son equivalentes:
de M N se deduce | M |=| N | (7)
y
de | M |=| N | se deduce M N. (8)
As que la equivalencia de conjuntos proporciona el criterio necesario y suciente para la
igualdad de sus nmeros cardinales.
De hecho, de acuerdo a la denicin anterior de cardinalidad el nmero cardinal |M| per-
manece invariable cuando se sustituye un elemento o varios o incluso todos los elementos m de
M por otro objeto.
Ahora, si M N, entonces est presente una correpondencia a travs de la cual M y N se
cubren 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,
| M |=| N | . (8)
2
Nota del traductor: en el texto original Cantor denota la cardinalidad de un conjunto M con M. Hemos
considerado adecuado usar, en cambio, la notacin mas usual actualmente:
| M | .
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
TEORA DE CONJUNTOS TRANSFINITOS 3
El recproco del teorema se obtiene al observar que entre los elementos de M y las distintas
unidades de su nmero cardinal |M| est presente una correspondencia recprocamente 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
M |M|. (9)
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 equivalencia el siguiente teorema:
Si M, N, P, . . . son conjuntos que no tienen elementos en comn, M
, N
, P
, . . . son con-
juntos de tal caracterstica y se cumple
M M
, N N
, P P
, . . . ,
entonces siempre se cumple que
(M, N, P, . . . ) (M
, N
, P
, . . . ).
2.
Menor y mayor entre cardinalidades.
Si se satisfacen las dos condiciones siguientes para dos conjuntos M y N con nmero cardinal
a =| M | y b =| N |:
1) no existe ninguna parte de M equivalente a N,
2) existe una parte N
1
de N, tal que N
1
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 cardinales a y b.
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 N
1
M, que N
1
N por lo que
debera existir una parte M
1
de M, puesto que M N, tal que M
1
M, y tambin M
1
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 caracterizada por las condiciones
1) y 2): a es menor que b, o tambin : b es mayor que a, en smbolos
a < b o b > a. (1)
Se prueba fcilmente que
si a < b, b < c, entonces siempre se cumple a < c. (2)
Tambin se sigue sin dicultad de la denicin, que si P
1
es una parte del conjunto P, de
a <| P
1
| siempre se deduce que a <| P | y de | P |< b siempre se sigue que tambin | P
1
|< 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 sobrentiende, y dicilmente puede ser demostrado en
este momento de nuestra disertacin, que entre cualesquiera dos nmeros cardinales a y b se
deba cumplir alguna de esas relaciones.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
4 GEORG CANTOR
Despus, hasta que hallamos analizado la sucesin creciente de los nmeros cardinales trans-
nitos y tengamos conocimientos sobre las relaciones entre ellos, se obtendr la veracidad del
teorema:
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
N
1
de N y N es equivalente a una parte M
1
de M, entonces tambin M y N son equivalentes.
C. Si M
1
es una parte del conjunto M, M
2
una parte del conjunto M
1
, y los conjuntos M
2
y
M son equivalentes, entonces M
1
tambin es equivalente a M y a M
2
.
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 N
1
de N, que es equivalente a M.
E. Cuando dos conjuntos M y N no son equivalentes, y existe una parte N
1
de N, equivalente
con M, entonces ninguna parte de M es equivalente con N.
3.
La adicin y multiplicacin de cardinalidades.
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 depende de los nmeros
cardinales | M |= a y | N |= b.
Esto conduce a la denicin de la suma de a y b, si hacemos
a +b =| (M, N) | . (1)
Ya que la nocin de cardinalidad es independiente del orden de los elementos, se sigue sin
dicultad que
a +b = b +a (2)
y para cualesquiera tres nmeros cardinales a, b, c
a +(b +c) = (a +b) +c. (3)
Ahora atendemos la multiplicacin.
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) intro-
ducimos la notacin (M N). Llamamos a este conjunto el conjunto enlace de M y N. Se
tiene entonces
(M N) = {(m, n)}. (4)
Se verica tambin que la cardinalidad de (MN) 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
= {(m
, n
)}
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
se puede poner en correspondencia recprocamente unvoca con (M N), si se consideran aso-
ciados los elementos (m, n) y (m
, n
); as, se cumple que

(M
) (M N). (5)
Ahora denimos el producto a b mediante la ecuacin:
a b =| (M N) | . (6)
Un conjunto con nmero cardinal a b se puede generar a partir de dos conjuntos M y N
con nmeros cardinales a y b mediante la siguiente prescripcin: se parte del conjunto N y se
sustituye en l cada elemento n por un conjunto M
n
M; si se colectan los elementos de todos
estos conjuntos M
n
en un todo S, entonces se verifca fcilmente que
S (M N), (7)
en consecuencia,
| S |= a b.
Pues dada una correspondencia entre los conjuntos equivalentes M y M
n
, denotamos con m
n
al elemento de M
n
correspondiente a m, as que
S = {m
n
}, (8)
por lo que se pueden poner en correspondencia recproca unvoca los conjuntos S y (M N),
relacionando el elemento m
n
con el elemento (m, n).
De nuestras deniciones se siguen fcilmente los teoremas:
a b = b a, (9)
a b c = (a b) c (10)
a(b +c) = ab +ac, (11)
porque
(M N) (N M),
(M (N P)) ((M N) P),
(M (N, P)) ((M N), (M P)).
La adicin y multiplicacin de cardinalidades estn sujetas a las leyes generales de conmu-
tatividad, asociatividad y distributividad.
4.
Exponenciacin de cardinalidades.
Por una valuacin del conjunto N con elementos del conjunto M o expresado en forma ms
simple, por una valuacin de N en M entenderemos 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 correspondiente de N se detota f (N).
Dos valuaciones f
1
(N) y f
2
(N) se dicen iguales cuando y slo cuando para cada elemento
n de N se satisface la ecuacin
f
1
(n) = f
2
(n), (1)
de tal suerte, que si para algn elemento n = n
0
no se cumple esta ecuacin, f
1
(N) y f
2
(N) se
consideran valuaciones de N distintas.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
6 GEORG CANTOR
Por ejemplo, si m
0
es un elemento particular de M, se puede imponer que para toda n
f (n) = m
0
;
esta ley constituye una valuacin particular de N en M.
Otro tipo de valuacin se obtiene cuando m
0
y m
1
son dos elementos distintos de M, n
0
un
elemento de N y se prescribe
f (n
0
) = m
0
,
f (n) = m
1
para toda n que sea distinta de n
0
.
La totalidad de las valuaciones de N en M conforman un conjunto con elementos f (N);
llamamos a este conjunto el conjunto de valuaciones de N en M y lo denotamos por (N | M).
Se tiene que
(N | M) = {f (N)}. (2)
Si M M
y N N
, se deduce fcilmente que

(N | M) (N
| M
). (3)
El nmero cardinal de (N | M) depende slo de los nmeros cardinales | M |= a y | N |= b;
l nos sirve para denir el exponente a
b
:
a
b
=| (N | M) | . (4)
Para tres conjuntos arbitrarios M, N y P se demuestran con facilidad los teoremas:
((N | M) (P | M)) ((N, P) | M), (5)
((P | M) (P | N)) ((P | (M N)), (6)
(P | (N | M)) ((P N) | M), (7)
de los que, si se establece | P |= c, por (4) y teniendo en cuenta 3 obtenemos los teoremas
siguientes para nmeros cardinales arbitrarios a, b y c:
a
b
a
c
= a
b +c
, (8)
a
c
b
c
= (a b)
c
, (9)
(a
b
)
c
= a
b c
. (10)
Qu tan valiosas y trascendentes son estas frmulas sobre cardinalidades, 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 dicultad que este se puede representar entre otras formas,
mediante la ecuacin
o = 2
0
, (11)
donde el signicado de
0
se aclara en 6.
De hecho, segn (4), 2
0
no es otra cosa que la cardinalidad de todas las representaciones
x =
f (1)
2
+
f (2)
2
2
+ +
f ()
2
+ (donde f () = 0 o 1) (12)
de los nmeros x en sistema binario. Notemos que cada nmero x slo tiene una representacin
con excepcin de los nmeros x =
2+1
2
< 1, que se representa en dos formas, entonces tenemos,

si denotamos con {s
} la totalidad numerable de estos, primero

2
0
=| ({s
}, X) | .
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Si de X quitamos algn conjunto numerable {t
} y denotamos el resto con X

1
, se cumple
que
X = ({t
}, X
1
) = ({t
21
}, {t
2
}, X
1
),
({s
}, X) = ({s
}, {t
}, X
1
),
{t
2+1
} {s
}, {t
2
} {t
}, X
1
X
1
,
con lo que
X ({s
}, X),
as que (1)
2
0
=| X |= o.
De (11) se sigue al elevar al cuadrado que (6, (6))
o o = 2
0
2
0
= 2
0
+
0
= 2
0
= o
y despus de multiplicar repetidamente por o
o
= o, (13)
donde es un nmero cardinal nito.
Si se eleva ambos lados de (11) a la potencia
0
, se obtiene
o
0
= (2
0
)
0
= 2
0
.
Pero segn 6, (8)
0

0
=
0
, por lo que
o
0
= o. (14)
Las frmulas (13) y (14) no tienen otro signicado que: Tanto el continuo n-dimensional
como el
0
-dimensional tienen la cardinalidad del continuo monodimensional. 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 algebraica.
5.
Los nmeros cardinales nitos
Primero se debe mostrar como los principios expuestos, sobre los cuales se basar despus la
teora de los nmeros cardinales innitos o transnitos, tambin proporcionan la fundamentacin
ms breve, natural y formal de la teora de nmeros nitos.
Un nico objeto e
0
, cuando lo consideramos como un conjunto E
0
= {e
0
}, corresponde al
nmero cardinal que llamamos uno y denotamos con 1; tenemos
1 =| E
0
| . (1)
Ahora se une con E
0
otro objeto e
1
, el conjunto unin se llama E
1
, de tal suerte que
E
1
= (E
0
, e
1
) = (e
0
, e
1
). (2)
El nmero cardinal de E
1
se llama dos y se denota con 2:
2 =| E
1
| . (3)
Mediante la adicin de nuevos elementos obtenemos la sucesin no acotada de conjuntos
E
2
= (E
1
, e
2
), E
3
= (E
2
, e
3
), . . . ,
que nos proporciona los restantes, denotados 3, 4, 5, . . . llamados nmeros cardinales nitos.
El uso de los mismos nmeros como ndices se justica porque un nmero se usa con este
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
8 GEORG CANTOR
signicado una vez que se ha introducido como nmero cardinal. Tenemos, si por 1 se
entiende el nmero que antecede inmediatamente a en la sucesin,
=| E
1
|, (4)
E
= (E
1
, e
) = (e
0
, e
1
, . . . , e
). (5)
De la denicin de suma en 3 se sigue que
| E
|=| E
1
| +1, (6)
es decir, cada nmero cardinal nito (excepto 1) es la unin del inmediato previo y el 1.
De nuestra disertacin resaltan los siguientes tres teoremas:
A. Los miembros de la sucesin no acotada de nmeros cardinales nitos
1, 2, 3, . . . , . . .
son distintos entre s (es decir, la condicin de equivalencia planteada en 1 no se satisface entre
los conjuntos correspondientes).
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 vecinos y +1 (2).
La demostracin de estos teoremas se sostiene en los siguientes teoremas D y E, que primero
se deben justicar.
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 subconjuntos
tiene la misma cardinalidad que l.
E. Si N es un conjunto con cardinalidad nita , N
1
un subconjunto de N, entonces el
nmero cardinal de N
1
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 contradiccin: 1) El conjunto N contiene e como elemento; sea N = (M
1
, e);
entonces M
1
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 (M
1
, e) se puede modicar de tal
forma que el elemento e de uno corresponde al mismo elemento e del otro; en consecuencia, M
y M
1
se pueden hacer corresponder en forma unvoca. Pero esto contradice la hiptesis de que
M y su subconjunto M
1
no pueden tener la misma cardinalidad.
2) El subconjunto N de (M, e) no contiene a e como elemento, entonces N es M o un
subconjunto de M. Respecto a la correspondecia entre (M, e) y N, supongamos que el elemento
e del primero corresponde al elemento f del ltimo. Sea N = (M
1
, f ); entonces M estar en
correspondencia recprocamente unvoca con M
1
; pero M
1
es, como subconjunto de N, un
subconjunto de M. Tendramos entonces tambin aqu un subconjunto 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 E
= (e
0
, e
1
, . . . e
); si el teorema es
correcto para ste, entonces sin ms (1) se deduce su validez para cualquier otro conjunto con
el mismo nmero cardinal +1. Sea E
una parte de E
: distinguimos los siguientes casos:

1) E
no contiene a e
como elemento, entonces E
es E
1
o una parte de E
1
, 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 E
1
con nmero cardinal .
2) E
consiste en nicamente el elemento e
, entonces | E
|= 1.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
3) E
consiste en e
y un conjunto E
, de tal forma que E
= (E
, e
). E
es una parte de E
1
,
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, . . . .
Demostracin de A. Cada uno de los conjuntos que denotamos E
tiene la propiedad de que

no es equivalente a ninguno de sus subconjuntos. 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 E
1
= (e
0
, e
1
) no es equivalente a
ninguno de sus subconjuntos que en este caso son (e
0
) y (e
1
).
Consideremos ahora dos nmeros y arbitrarios de la sucesin 1, 2, 3, . . . donde aparece
primero, es posterior, entonces E
1
es un subconjunto de E
1
; por lo tanto E
1
y E
1
no
son equivalentes; los nmeros cardinales asociados =| E
1
| y =| E
1
| no son entonces
iguales.
Demostracin de B. Si de los nmeros cardinales nitos y el primero antecede al ltimo,
entonces < . Pues si consideramos los conjuntos M = E
1
y N = E
1
, entonces se
satisfacen para ellos las dos condiciones en 2 para que se cumpla | M |<| N |. La condicin
1) se cumple porque, segn el teorema E, un subconjunto de M = E
1
tiene como nmero
cardinal uno slo de los nmeros 1, 2, 3, . . . 1, por lo que no puede ser equivalente al
conjunto N = E
1
, segn el teorema A. La condicin 2) se satisface pues aqu M mismo es un
subconjunto 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 nitos, entonces entre ellos existe un
1
que es menor que el resto, es decir, es el menor de todos ellos.
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, entonces 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 nitos, mientras que los 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 nitos distintos se puede representar en
forma de sucesin:
K = (
1
,
2
,
3
, . . . )
con
1
<
2
<
3
<
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
10 GEORG CANTOR
6.
El menor nmero cardinal transnito lef cero
Los conjuntos con nmero cardinal nito se llaman conjuntos nitos, todos los dems
los llamaremos conjuntos transnitos y los nmeros cardinales asociados a ellos nmeros
cardinales transnitos.
La totalidad de los nmeros cardinales nitos nos proporciona el ejemplo ms cercano de un
conjunto transnito; al nmero cardinal asociado a l lo llamamos (1) lef cero, en smbolos
0
, as que establecemos
0
=| {} | . (1)
Que
0
sea un nmero transnito, es decir, que no es igual a ningn nmero nito , se sigue
del hecho simple, de que si se aade un nuevo elemento e
0
al conjunto {}, el conjunto unin
({}, e
0
) es equivalente al que lo origin {}. Porque se puede pensar una relacin recproca
unvoca entre ambos, donde el elemento e
0
se asocia al elemento 1 del segundo y el elemento
del primero al elemento +1 del segundo. Segn 3 tenemos entonces
0
+1 =
0
. (2)
En 5 se demostr que (para nito) + 1 siempre es distinto de , por lo que
0
no es
igual a ningn nmero nito .
El nmero
0
es mayor que cualquier nmero nito :
0
> . (3)
Esto se sigue, considerando 3, de que =| (1, 2, 3, . . . ) |, ningn 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 transnito.
Si a es un nmero cardinal transnito distinto de
0
, entonces se cumple
0
< a. (4)
Esto se basa en el siguiente teorema:
A. Todo conjunto transnito T tiene un subconjunto con nmero cardinal
0
.
Demostracin. Si se ha eliminado, mediante algna regla, una cantidad nita de elementos
t
1
, t
2
, . . . t
1
de T , siempre queda la posibilidad de eliminar otro elemento t
. El conjunto {t
},
donde representa un nmero cardinal nito arbitrario, es un subconjunto de T con nmero
cardinal
0
, pues {t
} {} (1).
B. Si S es un conjunto transnito con nmero cardinal
0
, S
1
es un subconjunto transnito
de S, entonces tambin se cumple | S
1
|=
0
.
Demostracin. Supongamos que S {}; denotemos con s
al elemento de S que corresponde

al elemento del conjunto {} respecto a la correspondencia recprocamente unvoca entre ambos
conjuntos, as que
S = {s
}.
El subconjunto S
1
de S consiste en ciertos elementos s
de S, y la totalidad de los nmeros

conforma un subconjunto transnito K del conjunto {}.
Segn el teorema G, 5 el conjunto K se puede representar como la sucesin
K = {
},
donde
<
+1
,
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
por lo que tambin tenemos
S
1
= {s
}.
De lo anterior se deduce que S
1
S, por lo que | S
1
|=
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,
0
+ =
0
. (5)
Pero tambin tenemos
0
+
0
=
0
. (6)
Pues segn (1) 3,
0
+
0
es el nmero cardinal de | ({a
}, {b
}) |, porque
| {a
} |=| {b
} |=
0
.
Ahora, es evidente que se cumple
{} = ({2 1}, {2}),
({2 1}, {2}) ({a
}, {b
}),
por lo que
| ({a
}, {b
}) |=| {} |=
0
.
La ecuacin (6) se puede escribir tambin como:
0
2 =
0
,
y si sumamos
0
repetidamente de ambos lados se encuentra que
0
=
0
=
0
. (7)
Pero tambin tenemos
0

0
=
0
. (8)
Demostracin. Segn (6) de 3,
0

0
es el nmero cardinal del conjunto enlace
{(, )}
donde y son nmeros cardinales nitos independientes entre s. Si tambin representa un
nmero cardinal nito arbitrario (de tal forma que {}, {} y {} son representaciones distintas
de la misma totalidad de los nmeros cardinales nitos), entonces debemos mostrar que
{(, )} {}.
Denotemos + con , entonces toma la totalidad de valores numricos 2, 3, 4, . . . , y
existen en total 1 elementos (, ), para los cuales + = , 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 verica fcilmente, el elemento (, ), donde
= +
( + 1)( + 2)
2
. (9)
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
12 GEORG CANTOR
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
3
0
=
2
0
=
0
y mediante
multiplicacin repetida por
0
logramos la ecuacin, vlida para cada nmero cardinal nito :
0
=
0
. (10)
Los teoremas E y A de 5 conducen a los teoremas sobre conjuntos nitos:
C. Todo conjunto nito E tiene la propiedad de que no es equivalente a ninguno de sus
subconjuntos.
Este teorema se contrapone fuertemente al siguiente para conjuntos transnitos:
D. Toda conjunto transnito T tiene la propiedad de que contiene un subconjunto T
1
equi-
valente 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
. Hacemos S
1
= {t
+1
}, T
1
= (S
1
, U), entonces T
1
es un subconjunto de T ,
de hecho se obtiene eliminando el elemento t
1
de T . Puesto que S S
1
(teorema B de este
pargrafo) y U U, entonces tambin (1) T T
1
.
En estos teoremas C y D aparece la diferencia esencial entre conjuntos nitos e innitos en la
forma ms nitida, que ya fue mencionada en el ao 1877 en el Volumen 84 del Journal Crelles
pg. 242.
Una vez que hemos introducido el menor de los nmeros cardinales transnitos
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 transnitos se pueden ordenar de acuerdo a su
magnitud y que con este orden, como en el caso de los nitos, 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
0
,
1
,
2
, . . . ,
, . . .
no abarca a todos los nmeros cardinales transnitos. Se demostrar la existencia de un nmero
cardinal, que denotaremos con
que se identica como el ms inmediato mayor a todos los
;
de l continuamos, como en el paso de
0
a
1
, a uno mayor inmediato
+1
, y as se continua
sin n.
Para cada nmero cardinal transnito a existe un inmediato mayor, uniformemente de acuerdo
a una regla; pero tambin para cada conjunto creciente no acotado y bien ordenado {a} de
nmeros cardinales transnitos a existe un nmero cardinal inmediato mayor determinado en
forma uniforme.
Para formalizar este resultado encontrado en el ao 1882 y publicado en el escrito Funda-
mentos de una teora general de variedades, as como en el Volumen 21 de Mathematische
Annalen nos serviremos de los as llamados tipos ordinales cuya teora debemos detallar en
los siguientes 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 m
1
y m
2
, uno tiene
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
menor y el otro tiene mayor jerarqua y de tal forma que para cualesquiera tres elementos
m
1
, m
2
y m
3
, si digamos m
1
tiene menor jerarqua que m
2
y ste menor que m
3
, entonces siempre
se cumple que m
1
tiene menor jerarqua que m
3
.
La relacin entre dos elementos m
1
y m
2
, respecto a la cual m
1
tiene la menor, m
2
la mayor
jerarqua, se expresa mediante las frmulas
m
1
m
2
, m
2
m
1
. (1)
As por ejemplo, en una recta innita cada conjunto denido de puntos P es un conjunto
simplemente ordenado, si a cada dos puntos arbitrarios p
1
y p
2
se le otorga menor jerarqua a
aquel, cuya coordenada (jando 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 los nmeros racionales positivos
p
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 R
0
) de tal forma que dos nmeros
p
1
q
1
y
p
2
q
2
, para los cuales las sumas
p
1
+q
1
y p
2
+q
2
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 p
1
+q
1
= p
2
+q
2
, entonces el
menor es, el menor de ambos racionales.
Puesto un valor de p +q corresponde a solamente una cantidad nita de nmeros racionales
distintos
p
q
, en esta jerarqua nuestro conjunto tiene claramente la forma:
R
0
= (r
1
, r
2
, . . . , r
, . . . ) =
1
2
,
1
3
,
1
4
,
2
3
,
1
5
,
1
6
,
2
5
,
3
4
, . . .
,
donde
r
< r
+1
.
Siempre que hablemos de un conjunto M ordenado simplemente, pensaremos que subsiste
una jerarqua bien determinada en el sentido recin denido entre sus elementos.
Existen conjuntos 2-, 3-, , a-ordenados, pero de stos prescindiremos por el momento en
nuestra investigacin. Por ello utilizamos la abreviacin conjunto ordenado, pensando en
realidad en un conjunto simplemente ordenado.
Acada conjunto ordenado M se le asocia un tipo ordinaldeterminado o, en forma abreviada,
un determinado tipo, que denotamos como
M; (2)
sta es la nocin general, que se obtiene de M, prescindiendo de la naturaleza de los elementos
m, pero considerando la jerarqua entre ellos.
Ms 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 mediante abstraccin.
Dos conjuntos ordenados M y N son similares, cuando se pueden poner en correspondencia
recproca unvoca y dados dos elementos m
1
, m
2
de M y sus correspondientes elementos n
1
, n
2
en N, la relacin jerrquica entre m
1
y m
2
en M es la misma que entre n
1
y n
2
en N. A
tal correspondencia entre conjuntos similares la llamamos un aplicacin entre ellos. As
corresponde cada subconjunto M
1
de M (que es claramente tambin un conjunto ordenado) a
un subconjunto similar N
1
de N.
La similitud de dos conjuntos ordenados M y N la expresamos mediante la frmula:
M N. (3)
Cada conjunto ordenado es similar a s mismo.
Si dos conjuntos ordenados son similares a un tercero, son similares entre s.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
14 GEORG CANTOR
Mediante una sencilla reexin concluimos que dos conjuntos ordenados tienen el mismo tipo
ordinal cuando y slo cuando son similares, de tal forma que las frmulas
M = N, M N (4)
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 conjuntos 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 nitos simplemente ordenados no ofrecen ningn inters
especial. Pues es fcil comprobar, que para un nmero cardinal nito todos los conjuntos
simplemente ordenados de esa cardinalidad son similares entre s, as que tienen el mismo tipo.
Los tipos ordinales nitos simples se generan por las mismas reglas que los nmeros cardinales
nitos, 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 transnitos; pues para un mismo
nmero cardinal transnito existe una cantidad innita de tipos distintos de conjuntos simple-
mente ordenados de esa cardinalidad, que al reunirlos constituyen una clase de tiposparticular.
Cada una de estas clases de tipos est determinada entonces por un nmero cardinal transnito
a, que es comn a cada uno de los tipos pertenecientes a la clase; por ello abreviamos y la
llamamos clase tipo [a].
La primera de ellas, que se nos presenta en forma natural y cuyo anlisis completo ser la
siguiente meta de la teora de conjuntos transnitos, es la clase tipo [
0
], que comprende todos
los tipos con el menor nmero cardinal transnito
0
.
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 denido, 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 ordenado 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:
M (6)
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 nitos 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, y que estudiaremos con la notacin .
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Notamos adems que dos conjuntos ordenados similares se pueden aplicar entre s ya sea en
una sola forma o en varias formas; en el primer 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 nitos, sino tambin los tipos de conjuntos bien ordenados
transnitos, que nos ocuparn despus y que llamaremos nmeros ordinales transnitos, 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
(e
1
, e
2
, . . . , e
, . . . ),
en el que
e
e
+1
y donde recorre todos los nmeros cardinales nitos.
Otro conjunto bien ordenado
(f
1
, f
2
, . . . , f
, . . . )
con la condicin
f
f
+1
con tipo puede ser aplicado sobre el primero slo cuando e
y f
se corresponden. Pues
para respetar jerarquas el primer elemento e
1
debe corresponder a f
1
respecto a la aplicacin,
el segundo e
2
que jerrquicamente sigue a e
1
debe corresponder a f
2
que es el sucesor de f
1
,
etctera.
Cualquier otra correspondencia unvoca recproca entre ambos conjuntos equivalentes {e
} y
{f
} no es una aplicacin, en el sentido que hemos denido 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
+1
.
Este conjunto no tiene, jerrquicamente, menor ni mayor elemento. Su tipo es, segn la
denicin de suma dada en 8,
+.
l es similar a s mismo en una cantidad innita de formas.
Pues consideremos un conjunto del mismo tipo
{f
},
donde
f
+1
,
entonces se pueden corresponder ambos conjuntos de tal forma que, si
0
es uno de los nmeros
, al elemento e
del primer conjunto le corresponde el elemento f
0
+
del segundo. De la
arbitrariedad de
0
se sigue que existen una cantidad innita de tales transformaciones.
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 cardinalidad, todo lo enumerable que sea imaginable y, en este sentido,
no permite mayores generalizaciones. No es arbitraria, 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, que se encuentran en la obra del Sr. Veronese
Grundzge der Geometrie (traducida al alemn por A. Schepp, Leipzig 1894).
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
16 GEORG CANTOR
En la pg. 30 se dene la cantidad o nmero de un grupo ordenado totalmente en coinciden-
cia con lo que nosotros hemos llamado el tipo ordinal de un conjunto simplemente ordenado.
(Zur Lehre von Transniten, 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 corresponden unvocamente y en el mismo orden y ninguno
de los cuales es igual a una parte del otro, son iguales
3
.
Esta denicin 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 denicin de igualdad (sin tener en cuenta su arbitrariedad) presupone una
denicin de igualdad que a su vez presupone una denicin de igualdad, para la cual se debe
saber de antemano que es igual y distinto, etctera, etctera hasta el innito.
Una vez que el Sr. V. ha dado libremente en tal forma el nada superuo fundamento para la
comparacin de nmeros, no debe sorprender la falta de formalidad en la que l a continuacin
opera con sus nmeros seudotransnitos 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 nmeros con el trabajo realmente absurdoundendliche Zahlen de Fontenelle que se
presenta en su Gometrie de LInni, 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).
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 elementos 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
, 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, denimos
+ = [(M, N)]. (1)
En la suma +, se llama el augendus, mientras que el addendus.
Para tres tipos ordinarios arbitrarios se demuestra fcilmente la ley asociativa
+( + ) = ( +) +. (2)
Por el contrario, la ley conmutativa no se cumple en general respecto a la adicin de tipos.
Esto se observa en el siguiente ejemplo sencillo:
Si es el tipo, ya mencionado en 7, del conjunto bien ordenado
E = (e
1
, e
2
, . . . , e
, . . . ), e
e
+1
,
entonces 1 + no es igual a +1.
3
La edicin original en italiano (pg. 27) dice literalmente:Numeri le unit dei quali si corrispondono univo-
camente e nel medesimo ordine, e di cui luno non parte o uguale ad una parte dell altro, sono uguali.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Pues si f es un elemento nuevo, se tiene segn (1)
1 + = (f, E),
+1 = (E, f ).
El conjunto
(f, E) = (f, e
1
, e
2
, . . . , 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 haciendo que en N cada elemento n sea sustituido por un conjunto ordenado M
n
con el mismo tipo que M, por lo que
M
n
= , (3)
y la jerarqua en
S = {M
n
} (4)
se determina de acuerdo a:
1) dos elementos de S, que pertenezcan al mismo conjunto M
n
, conservan en S la jerarqua
que tenian en M
n
,
2) dos elementos de S que pertenezcan a dos conjuntos M
n
1
y M
n
2
distintos, obtienen en S la
jerarqua que n
1
y n
2
tenian en N.
El tipo ordinal de S depende, como se verica fcilmente, slo de los tipos y ; denimos:
= S. (5)
En este producto, se llama el multiplicandus y el multiplicator
Despus de jar alguna aplicacin de M sobre M
n
sea m
n
el elemento de M
n
correspondiente
al elemento m de M.
Podemos entonces escribir tambin
S = {m
n
}. (6)
Consideremos un tercer conjunto ordenado P = {p} con tipo ordinal P = , entonces segn
(5)
= {m
n
}, = {n
p
}, ( ) = {(m
n
)
p
},
( ) = {m
(n
p
)
}.
Ambos conjuntos ordenados {(m
n
)
p
} y {m
(n
p
)
} son similares y se aplican uno en el otro, si
asociamos sus elementos (m
n
)
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 multiplicator.
Por el contrario, entre tipos la ley conmutativa tiene tan poca validez en la multiplicain que
como en la adicin.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
18 GEORG CANTOR
Por ejemplo, 2 y 2 son tipos distintos; pues por (5)
2 = (e
1
, f
1
; e
2
, f
2
; . . . ; e
, f
; . . .) = ;
mientras que
2 = (e
1
, e
2
, . . . , e
, . . . ; f
1
, f
2
, . . . , f
, . . .),
que es claraemnte distinto de .
Si se comparan las deniciones 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 cardinales 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 elementales sigue siendo vlida,
si se sustituyen todos los tipos por sus nmeros cardinales.
9.
El tipo ordinal del conjunto R de los nmeros racionales mayores que cero y menores
que 1 con su orden natural.
Por R entendemos, como en 7, el sistema de los nmeros racionales
p
q
(suponiendo 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 :
= R. (1)
All consideramos el mismo conjunto con otro orden, en el que lo llamamos R
0
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
p
q
. R
0
tiene la
forma de un conjunto bien ordenado de tipo :
R
0
= (r
1
, r
2
, . . . , r
, . . . ), donde r
< r
+1
, (2)
R
0
= . (3)
R y R
0
tienen el mismo nmero cardinal, pues slo se distinguen por la jerarqua entre sus
elementos, y como es evidente que | R
0
|=
0
, entonces tambin se cumple
| R |= =
0
. (4)
Por lo tanto, el tipo pertenece a la clase de tipo [
0
].
Seguidamente hacemos notar que en R no existen, relativos a su orden, un mayor o un menor
elemento.
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,
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
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 M
0
y hacemos
M
0
= (m
1
, m
2
, . . . , m
, . . . ) (5)
Ahora debemos mostrar que
M R. (6)
Es decir, se debe demostrar que se puede aplicar M sobre R de tal forma que la jerarqua entre
dos elementos en M es la misma que entre los correspondientes elementos en R.
Supongamos que el elemento r
1
en R corresponde al elemento m
1
en M.
r
2
guarda una determinada jerarqua respecto a r
1
en R; por la condicin 2) existen una
cantidad innita de elementos m
de M que guardan la misma jerarqua respecto a m

1
en M
que r
2
respecto a r
1
en R; de entre ellos escogemos aquel que en en M
0
tenga el ndice menor,
digamos m
2
, y asocimoslo con r
2
.
r
3
tiene en R una determinada relacin de orden con r
1
y r
2
; segn las condiciones 2) y 3)
existe una cantidad innita de elementos m
en M que guardan la misma relacin de orden con

m
1
y m
2
que la que guardan r
3
con r
1
y r
2
en R; escogemos aquel que tenga el menor ndice en
M
0
, digamos m
3
, y lo asociamos con r
3
.
Continuamos este proceso segn estas prescripciones; si a los elementos de R
r
1
, r
2
, r
3
, . . . , r
se les ha asociado los elementos

m
1
, m
2
, m
3
, . . . , m
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
m
1
, m
2
, m
3
, . . . , m
en M que la que tiene r

+1
con r
1
, r
2
, . . . , r
en R.
En esta forma hemos asociado todos los elementos r
de R con elementos m
de M, y los
elementos m
tienen en M la misma relacin de orden que sus correspondientes elementos r
en R.
An se debe mostrar que los elementos m
comprenden a todos los elementos m
de M o, lo
que es lo mismo, que la sucesin
1,
2
,
3
, . . . ,
, . . .
es simplemente una permutacin de la sucesin
1, 2, 3, . . . , , . . .
La demostracin se efectua mediante induccin completa, mostrando que si los elementos
m
1
, m
2
, . . . , m
aparecen en la permutacin, tambin aparece el elemento siguiente m

+1
.
Sea sucientemente grande para que entre los elementos
m
1
, m
2
, m
3
, . . . , m
aparezcan los elementos

m
1
, m
2
, . . . , m
.
(que por hiptesis aparecen en la permutacin). Puede ocurrir que entre ellos se encuentre m
+1
;
entonces aparece m
+1
en la aplicacin.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
20 GEORG CANTOR
Si en cambio, no aparece m
+1
entre los elementos
m
1
, m
2
, m
3
, . . . , m
,
entonces m
+1
guarda una determinada relacin jerrquica en M respecto estos elementos; la
misma relacin se presenta entre una cantidad innita de elementos en R con r
1
, r
2
, . . . , r
, y
entre ellos sea r
+
el que tiene el menor ndice en R
0
.
Entonces, como se verica fcilmente, m
+1
tiene la misma jerarqua respecto a
m
1
, m
2
, m
3
, . . . , m
+1
en M que r
+
respecto a
r
1
, r
2
, . . . , r
+1
en R. Puesto que los m
1
, m
2
, . . . , m
ya pertenecen a la transformacin, m
+1
es el elemento
con el menor ndice en M
0
que tiene esa relacin jerrquica respecto a
m
1
, m
2
, . . . , m
+1
.
Por consiguiente, segn la forma en que establecimos la correspondencia
m
+
= m
+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:

es el tipo ordinal del conjunto de los nmeros racionales positivos 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 cualesquiera 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 condiciones para M de nuestro
teorema (comprese con pg. 258, Crelle Journal Vol. 77).
Si consideremos adems las deniciones dadas en 8 de los conjuntos con tipos + , ,
(1 + ), ( + 1), (1 + + 1), encontramos que ellos satisfacen las tres condiciones. Con
ello tenemos los teoremas:
+ = , (7)
= , (8)
(1 +) = , (9)
( +1) = , (10)
(1 + +1) = . (11)
Repetidas aplicaciones de (7) y (8) propician para cada nmero nito
= , (12)
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
y
= . (13)
Por el contrario, como se verica sin dicultad, para > 1, los tipos 1+, +1, , 1++1
son distintos entre s y distintos de . Por otro lado,
+1 + = , (14)
mientras que + + es distinto de , para > 1.
Finalmente, vale la pena mencionar que
= . (15)
10.
Las sucesiones fundamentales contenidas en un conjunto bien ordenado.
Fijemos un conjunto simplemente ordenado M arbitrario. Cada subconjunto 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, ms an, a los primeras (las de tipo ) las llamamos crecientes, y
a las otras (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 fundamentales.
Una sucesin fundamental creciente tiene la forma
{a
}, donde, a
a
+1
, (1)
una sucesin fundamental decreciente tiene la forma
{b
}, donde, b
b
+1
. (2)
tiene siempre el signicado, en nuestras consideraciones (lo mismo que , , ), de un
nmero cardinal nito arbitrario o tambin de un tipo nito respectivamente un nmero ordinal
nito.
Dos sucesiones fundamentales crecientes {a
} y {a
} contenidas en M se dicen correspon-

dientes, en smbolos
{a
} {a
}, (3)
cuando para cada elemento a
existe un elemento a
tal que
a
,
y para cada elemento a
existe un elemento a
tal que
a
.
Dos sucesiones fundamentales decrecientes {b
} y {b
} en M se dicen correspondientes,
en smbolos
{b
} {b
}, (4)
cuando para cada elemento b
existe un elemento b
tal que
b
,
y para cada elemento b
existe un elemento b
tal que
b
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
22 GEORG CANTOR
Una sucesinfundamental creciente {a
} yuna decreciente {b
} se llamancorrespondientes,
en smbolos
{a
} {b
}, (5)
si 1) para cualesquiera y
a
y 2) existe en M a lo sumo un elemento m

0
(es decir, solamente uno o ninguno) tal que para toda
m
0
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 decrecientes, una de las cuales
es un subconjunto de la otra, son correspondientes.
Si existe en M un elemento m
0
que tiene una posicin, respecto a la sucesin fundamental
creciente, tal que
1) para cada
a
m
0
,
2) para cada elemento m de M que sea m
0
, existe un cierto nmero
0
tal que
a
m, para
0
,
llamaremos a m
0
un elemento lmite de {a
} en M o tambin un elemento principal de M.

Igualmente, llamaremos a un elemento m
0
un elemento principal de M o tambin un
elemento lmite de {b
} en M si se satisfacen las condiciones:

1) para cada
b
m
0
,
2) para cada elemento m m
0
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 verica 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 mismo elemento lmite en M.
D. Si dos sucesiones fundamentales (ambas crecientes o decrecientes o ninguna) tienen el
mismo elemento lmite en M, entonces son correspondientes.
Si M y M
son dos conjuntos ordenados similares, es decir,

M = M
(6)
y se ja algna aplicacin entre ellos, entonces se cumplen, como se ve con facilidad, los
siguientes teoremas:
E. A cada sucesin fundamental en M le corresponde como imagen una sucesin fundamen-
tal en M
y viceversa; a cada sucesin creciente, a cada decreciente y a sucesiones fundamen-

tales correspondientes, 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 fundamental, entonces pertenece a
la sucesin fundamental imagen en M
un elemento lmite y viceversa; estos elementos lmite

son imagen uno del otro respecto a la aplicacin.
G. A los elementos principales de M corresponden como imgenes elementos principales
en M
y viceversa.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Si un conjunto M consiste en elementos principales, es decir, cada uno de sus elementos es
un elemento principal, lo llamamos un conjunto 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.
Si un conjunto posee alguna de estas tres propiedades, tambin la tiene cada conjunto similar
a l; por lo cual se pueden 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 mostr, 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 nmeros reales x, 0 y
1, con su orden natural, tal que para cualesquiera dos elementos arbitrarios x y x
ocurre
x x
, cuando x < x
. (1)
La notacin para este tipo es
X = . (1)
De la teora de los nmeros racionales e irracionales se sabe que cada sucesin fundamental
{x
} en X tiene un elemento lmite x

0
en X y recprocamente, cada elemento x de X es un
elemento lmite de sucesiones fundamentales correspondientes en X. Por ello Xes un conjunto
perfecto, y un tipo perfecto.
Con lo anterior no queda totalmente caracterizado, debemos considerar 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 elementos arbitrarios x
0
y x
1
de X, de acuerdo al orden,
est un elemento de R.
Ahora se debe mostrar que estas caractersticas juntas determinan por completo al tipo ordinal
del continuo lineal X, de tal forma que se cumpla el teorema:
Si un conjunto ordenado M cumple con: 1) es perfecto, 2) contiene un conjunto S de
cardinalidad | S |=
0
que guarda una relacin con M tal que entre cualesquiera dos elementos
arbitrarios m
0
y m
1
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 compor-
tarse igual en M; por lo tanto, podemos eliminar este elemento de S sin que este conjunto pierda
su relacin expresada por 2) con M.
Suponemos en consecuencia que S no tiene menor o mayor elemento; por consiguiente, segn
9, S tiene tipo ordinal .
Pues si S es un subconjunto de M, entonces por 2) entre cualesquiera dos elementos s
0
y s
1
de S debe estar otro elemento de S respecto a su orden. Adems, por 2) tenemos que | S |=
0
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
24 GEORG CANTOR
Ambos conjuntos son por consiguiente similares entre s,
S R. (2)
Fijemos una aplicacin entre R y S y armamos que sta 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 elemen-
tos correspondientes en M, que son simultneamente elementos de S y corresponden a esos
elementos de R respecto a la aplicacin de R sobre S.
Si x
0
es un elemento de X que no pertenece a R, se puede ver como el lmite de una suce-
sin fundamental {x
} contenida en X que se puede remplazar por una sucesin fundamental

correspondiente {r
} contenida en R. A esta ltima corresponde como imagen una sucesin

fundamental {s
} en S y M, que por 1) est acotada por un elemento m

0
en M que no pertenece
a S (F, 10). Este elemento m
0
en M (que sigue siendo el mismo, si en lugar de las sucesiones
fundamentales {x
} y {r
} se utilizan otras que tengan como elemento lmite al mismo elemento

x
0
(E, C, D, en 10), es la imagen de x
0
en X. Recprocamente, a cada elemento m
0
de M, que
no aparece en S, le corresponde un elemento determinado x
0
de X que no pertenece a R y que
es la imagen de m
0
.
De esta forma se establece una correspondencia recproca unvoca entre X y M, para la que
se debe mostrar que da origen a una aplicacin entre estos conjuntos.
Esto se cumple desde el principio para aquellos elementos de X y M que simultneamente
pertenecen a R, respectivamente a S.
Comparemos un elemento r de R con un x
0
de X que no pertenezca a R; sean s y m los
elementos correspondientes de M.
Si r < x
0
, existe una sucesin fundamental creciente {r
} acotada por x
0
, y a partir de un
cierto
0
se cumple que
r < r
para
0
.
La imagen de {r
} en M es una sucesin fundamental creciente {s
} acotada por m
0
en M,
y se tiene (10), primero, que s
m
0
para toda y por otro lado, que s s
para
0
,
por lo que (7) s m
0
.
Si r > x
0
, se deduce en forma similar que s m
0
.
Consideremos nalmente dos elementos x
0
y x
0
que no pertenezcan a R y sus correpondientes
elementos m
0
y m
0
en M, entonces se demuestra en forma anloga que de x
0
< x
0
, se sigue
m
0
m
0
.
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 ordenados detentan una posi-
cin destacada; sus tipos ordinales, que llamamos nmeros ordinales, constituyen la materia
natural para una denicin de los nmeros cardinales o cardinalidades transnitas superiores, una
denicin de conformidad con la denicin que dimos para el menor nmero cardinal transnito
lef cero mediante el sistema de todos los nmeros nitos (6).
Bien ordenadollamamos a un conjunto simplemente ordenado F(7), cuando sus elementos
f crecen en una sucesin determinada a partir de un menor elemento f
1
, de tal forma que se
satisfacen la dos siguientes condiciones:
I. Existe en F un elemento jerrquicamente menor f
1
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
II. Si F
es un subconjunto de F y y F tiene uno o ms elementos de mayor jerarqua que

todos los elementos de F
, entonces existe un elemento 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 entre
4
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 por F
se ocupa el elemento f . Si adems, por ejemplo, en F est contenida una

sucesin de elementos consecutivos
e
e
()
e
(+1)

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 totalidad {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 satisfacen las condiciones:
g f
,
g e
()
para todo valor de .
Por ejemplo, los tres conjuntos
(a
1
, a
2
, . . . a
, . . . ),
(a
1
, a
2
, . . . a
, . . . b
1
, b
2
, . . . b
, . . . ),
(a
1
, a
2
, . . . a
, . . . b
1
, b
2
, . . . b
, . . . c
1
, c
2
, c
3
)
donde
a
a
+1
b
b
+1
c
1
c
2
c
3
estn bien ordenados. Los dos primeros no tienen mayor elemento, el tercero tiene como mayor
elemento a c
3
; en el segundo y tercero sucede inmediatamente b
1
a los a
, en el tercero a todos
los a
y b
los sucede inmediatamente c

1
.
En lo sucesivo queremos extender el uso de los smbolos y denidos en 7 para la relacin
jerrquica entre dos elementos, a grupos 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, respectivamente
mayores, que los elementos del conjunto N.
-
A. Todo subconjunto F
1
de un conjunto bien ordenado F tiene un menor elemento.
Demostracin. Si el menor elemento f
1
de F pertenece a F
1
, ste es el menor elemento de
F
1
.
En otro caso sea F
la totalidad de elementos de F menores que todos los elementos de F

1
,
por lo que no hay un elemento de F entre F
y F
1
.
Se sigue entonces (por II) que f
sucede inmediatamente a F
, por lo que necesariamente

pertenece a F
1
y tiene en l la menor jerarqua.
B. Si un conjunto simplemente ordenado F se construye de tal forma que tanto F como cada
uno de sus subconjuntos tengan un menor elemento, entonces F es un conjunto bien ordenado.
4
Esta denicin de conjunto bien ordenado coincide, no textualmente, con la introducida en Math. Annalen
21, 548 (Grundlagen e. allg. Mannigfaltigkeitslehre, pg. 4).
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
26 GEORG CANTOR
Demostracin. Puesto que F tiene un menor elemento, se satisface la condicin I. Sea F
un subconjunto de F tal que en F hay uno o ms elementos F
; sea F
1
la totalidad de esos
elementos y f
el menor elemento de F
1
, 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 tambin 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 conjunto bien ordenado
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 mismo 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 imagen a un subconjunto F
de F, de tal forma que

G
.
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 conjunto bien ordenado.
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 F
g
y F
g
se sustituyen en lugar
de los elementos g y g
y g g
, entonces tambin F
g
F
g
, entonces el conjunto H, que se
genera en esta forma, por la sustitucin de elementos por conjuntos bien ordenados F
g
, es un
conjunto bien ordenado.
Demostracin. Tanto H como cada subconjunto H
1
de H tienen un menor elemento, lo que
caracteriza a H, segn el teorema B, como un conjunto bien ordenado. En efecto, si g
1
es el
menor elemento de G, entonces el menor elemento de F
g
1
es tambin el menor elemento de H.
Si ahora se considera un subconjunto H
1
de H, sus elemento pertenecen a ciertos conjuntos F
g
,
al formar un conjunto con estos conjuntos F
g
, se conforma un subconjunto del conjunto formado
por los F
g
, el conjunto bien ordenado {F
g
} similar a G; si, digamos, F
g
0
es el menor elemento
de este subconjunto, entonces el menor elemento del subconjunto de H
1
contenido en F
g
0
es a
la vez el menor elemento de H
1
.
13.
Las secciones de los conjuntos bien ordenados.
Si f es un elemento distinto del primer elemento f
1
del conjunto bien ordenado F, llamamos
al conjunto A de todos los elementos de F, que son f , unseccin 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 determinado por el elemento f .
Los conjuntos A y R estn, segn el Teorema C, 12, bien ordenados y por 8 y 12 podemos
escribir:
F = (A, R), (1)
R = (f, R
), (2)
A R. (3)
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
R
es la parte siguiente, en R, al elemento inicial f y se reduce a 0, cuando R no tiene otros

elementos aparte de f .
Tomemos como ejemplo el conjunto bien ordenado
F = (a
1
, a
2
, . . . , a
, . . . b
1
, b
2
, . . . b
, . . . c
1
, c
2
, c
3
),
en ste el elemento a
3
determina la seccin
(a
1
, a
2
)
y el correspondiente resto
(a
3
, a
4
, . . . a
+2
, . . . b
1
, b
2
, . . . b
, . . . c
1
, c
2
, c
3
);
el elemento b
1
determina la seccin
(a
1
, a
2
, . . . a
, . . . )
y el correspondiente resto
(b
1
, b
2
, . . . b
, . . . c
1
, c
2
, c
3
),
mediante el elemento c
2
se determina la seccin
(a
1
, a
2
, . . . a
, . . . b
1
, b
2
, . . . b
, . . . c
1
)
y el resto
(c
2
, c
3
).
Si A y A
son dos secciones de F, f y f
los elementos que las determinan y se cumple

f
f, (4)
entonces A
es a su vez una seccin de A.

Llamamos a A
la seccin menor, A la mayor de F:

A
< A. (5)
En forma correspondiente podemos decir de cada seccin A de F que es menor a F mismo:
A < F. (6)
A. Si dos conjuntos bien ordenados F y Gse aplican uno en el otro, entonces a cada seccin A
de F corresponde una seccin B de Gsimilar y a cada seccin B de Gcorresponde una seccin
similar A de F, y los elementos f y g de F y G, que determinan las secciones correspondientes
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 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

aplicacin 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 innita
A > A
> A
. . . A
()
> A
(+1)
, . . .
de secciones de F cada vez menores, similares al conjunto F.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
28 GEORG CANTOR
Denotemos con f, f
, f
, . . . f
()
, . . . los elementos que determinan en F estas secciones;
entonces tendramos
f f
f
()
f
(+1)
,
obtendramos entonces un subconjunto de F innito
(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 apliacin 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 innito, otros subconjuntos de F similares a F. Por
ejemplo, el conjunto
F = (a
1
, a
2
, . . . a
, . . . )
es similar a cada uno de sus restos
(a
+1
, a
+2
, . . . a
+
, . . . ).
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 teorema A a la seccin A de F le corresponde

como imagen una seccin F
del conjunto bien ordenado F
; digamos que esta seccin est

determinada 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.
La suposicin de que F
es un subconjunto de la seccin A de F con F
F, 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
. Si continuamos as, obtenemos, como en la demostracin del teorema B, una sucesin

necesariamente innita de secciones de F cada vez menores
A > A
> A
. . . A
()
> A
(+1)
. . .
y con ello, una sucesin innita de los elementos que determinan esas secciones
f f
. . . f
()
f
(+1)
. . . ,
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.
Demostarcin. Fijemos dos aplicaciones distintas de F sobre G y sea f un elemento de F,
para el cual correspondieran dos imgenes distintas g, g
en G de acuerdo a las dos aplicaciones

distintas. Sea Ala seccin de F determinada por f , B y B
las secciones de Gdeterminadas 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 seccin A de F puede ser
similar a lo sumo a una seccin B de G.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Demostracin. Si la seccin A de F fuese similar a dos secciones B y B
de G, sera tambien
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 ordenados 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 Ay 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 recprocamente, para cada seccin B de G existe una
seccin A de F similar a ella, entonces F G.
Demostracin. Podemos aplicar F sobre G de acuerdo a la siguiente prescripcin:
El menor elemento f
1
de F corresponde al menor elemento g
1
de G. Si f > f
1
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, g
1
, l determina una seccin B de G y por suposicin 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 recprocamente unvoca entre F y G es una aplicacin en el
sentido de 7 se verica fcilmente.
Asaber, sean f y f
son dos elementos arbitrarios de F, g y g
los elementos correspondientes

de G, A y A
las secciones detrminadas 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 ninguna seccin de F, entonces existe una seccin B
1
de G tal que
B
1
F.
Demostracin. Consideramos todas las secciones de G, para las que no hay ninguna seccin
similar en F; entre ellas debe existir la ms pequea, que llamamos B
1
. 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 B
1
de G determinada por ste es la menor de aquella coleccin.
Segn el teorema J, cada seccin de G, que sea > B
1
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 < B
1
, y de hecho a
cada seccin B < B
1
corresponde una seccin similar A de F, pues B
1
es la menor seccin de
G para la cual no existe una seccin en F similar a ella.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
30 GEORG CANTOR
Por lo anterior existe para cada seccin A de F una seccin similar B de B
1
y para cada
seccin B de B
1
una seccin similar A de F; por el teorema K se cumple entonces que
F B
1
.
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 B
1
la menor seccin de Gpara 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 tambien entre ellas una menor, digamos A
1
. Cada
seccin de A
1
sera entonces similar a alguna seccin de B
1
y cada seccin de B
1
sera similar
a alguna seccin de A
1
. Se sigue, por el teorema K, que
B
1
A
1
.
Pero esto contradice el que B
1
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 B
1
de G a la cual F es similar, o 3)existe una seccin A
1
de F a la cual
G es similar; cada uno de estos casos excluye la posibilidad de los otros dos.
Demostracin. El comportamiento de F con G tiene tres posibilidades:
1) Cada seccin A de F es similar a alguna seccin B de G y recprocamente, 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 ninguna de G y que existe una
seccin de G que no es similar a ninguna seccin 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 B
1
de B tal que
B
1
F,
y en el tercer caso existe una seccin A
1
de F tal que
A
1
G.
Pero no puede ocurrir simultneamente F Gy F B
1
, pues en tal caso tendramos tambin
G B
1
, en oposicin al teorema B, y por la misma razn no pueden ocurrir simultneamente
F G y G A
1
.
Pero tambin es imposible la validez simultnea de F B
1
y G A
1
; porque por el teorema
A de F B
1
se deducira la existencia de una seccin B
1
de B
1
tal que A
1
B
1
. Pero se
tendra entonces G B
1
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 ordenado. Si F
no fuera similar
a ninguna seccin de F ni a F mismo, existira por el teorema N una seccin F
1
de F
, que sera
similar a F. Pero F
1
es un subconjunto de la seccin Ade F, que est determinada por el mismo
elemento que el que determina la seccin F
1
de F
. Por lo tanto, el conjunto F sera similar a

un subconjunto de una de sus secciones, lo que contradice el teorema C.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
14.
Los nmeros ordinales de conjuntos bien ordenados.
Segn 7 cada conjunto simplemente ordendo 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 naturaleza 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 nmero 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 B
1
de G, tal que
F B
1
.
3) Existe una seccin A
1
de F tal que
G A
1
.
Como se observa fcilmente, cualquiera de estos casos sigue cumplindose, 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 denicin 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 conjunto smplemente ordenado;
despus se mostrar que de hecho forman un conjunto bien ordenado.
Las operaciones denidas en 8 de adicin y multiplicacin de tipos ordinales de conjuntos
simplemente ordenados arbitrarios se utilizan, naturalmente, tambin en los nmeros ordinales.
Si = F, = G, donde F y G son dos conjuntos bien ordenados, entonces
+ = (F, G). (1)
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 ordinal.
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,
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
32 GEORG CANTOR
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 = .
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 ordinales.
Si se substituye en el conjunto G con tipo cada elemento g por un conjunto F
g
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 :
F
g
= , (5)
= H. (6)
F. El producto de dos nmeros ordinales es tambin un nmero ordinal.
En el producto , se conoce como el multiplikandus, y como el multiplicator.
En general, los nmeros y no son iguales. Pero se tiene (8)
( ) = ( ). (7)
Es decir,
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 teorema, que se verica fcil-
mente:
H. Si el multiplicator es mayor que 1, el producto de dos nmeros ordinales siempre es mayor
que el multiplikandus, y es mayor o igual que el multiplicador. Si se tiene = , siempre se
deduce que = .
Por otro lado, es claro que
1 = 1 = . (9)
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)
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
= S. (11)
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
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 signicado es que siempre se puede sumar una cantidad innita de nmeros ordi-
nales, y su suma es un nmero ordinal bien determinado slo dependiente de la sucesin de sus
sumandos.
Si, digamos,
1
,
2
, . . .
, . . .
es una sucesin arbitraria, simple e innita de nmeros ordinales y se tiene
= G
, (14)
entonces tambin
G = (G
1
, G
2
, . . . G
, . . . ) (15)
es un conjunto bien ordenado, cuyo nmero ordinal representa la suma de los
. As que
1
+
2
+ +
+ = G = , (16)
y se tiene, como se desprende fcilmente de la denicin de producto, que
(
1
+
2
+ +
+ ) =
1
+
2
+ +
+ (17)
Si hacemos
=
1
+
2
+ +
, (18)
entonces
= (G
1
, G
2
, . . . G
). (19)
Se cumple
+1
>
, (20)
y segn (10) podemos expresar los nmeros
mediante los nmeros
como sigue:
1
=
1
;
+1
=
+1

. (21)
La sucesin
1
,
2
, . . .
, . . .
representa entonces una sucesin innita arbitraria de nmeros ordinales que satisfacen la
condicin (20); la llamamos una sucesin fundamental de nmeros ordinales (10); entre
ellos y se origina una relacin que podemos expresar del siguiente modo:
1) es >
para cada , pues el conjunto (G

1
, G
2
, . . . , G
), cuyo nmero 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
G
0
. Pero entonces B
es tambin una seccin de (G

1
, G
2
, . . . G
0
) y por consiguiente
<
0
,
por lo que
>
para
0
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
34 GEORG CANTOR
Por loanterior resulta el ordinal ms pequeosucesor de todos los
; por ellolollamaremos
el lmite de los
para creciente y lo denotamos con Lm
, de tal suerte que por (16) y (21)

Lm
=
1
+(
2

1
) + +(
+1

) + (22)
Podemos expresar lo anterior en el siguiente teorema:
I. A cada sucesin fundamental {
} de nmeros ordinales pertenece un nmero ordinal

Lm
, que sucede inmediatamente, segn su magnitud, a todos los
; se representa mediante
la frmula (22).
Si es un nmero ordinal jo, se demuestra con facilidad con ayuda de las frmulas (12),
(13), (17) los teoremas contenidos en las siguientes frmulas:
Lm
( +
) = +Lm
, (23)
Lm
= Lm
. (24)
Ya hemos mencionado en 7 que todos los conjuntos simplemente ordenados con nmero
cardinal nito dado tienen el mismo tipo ordinal. Esto se puede demostrar como a continuacin.
Cada conjunto simplemente ordenado con nmero cardinal nito 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 nitos no son, por tanto, otra cosa que
nmeros ordinales nitos. Dos nmeros ordinales distintos y no pueden asociarse al mismo
nmero cardinal nito . 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 nitos coinciden en sus propiedades con los nmeros cardinales nitos.
Muy distinto se comportan los nmeros ordinales transnitos; para un nmero cardinal trans-
nito a existe una cantidad innita de nmeros ordinales, los cuales 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 constituye la clase de nmeros Z(
0
), que llamremos la
segunda clase de nmeros.
En este contexto entendemos por primera clase de nmeros la totalidad {} de los nmeros
ordinales nitos.
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 = Lm
.
Demostracin. Por entendemos el tipo del conjunto bien ordenado
F
0
= (f
1
, f
2
, . . . f
, . . . ), (1)
donde recorre los nmeros ordinales nitos y
f
f
+1
. (2)
As que (7)
= F
0
(3)
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
y (6)
=
0
. (4)
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 seccin de F
0
. Pero F
0
slo tiene secciones de la
forma
A = (f
1
, f
2
, . . . f
)
con un nmero ordinal nito. Por consiguiente = .
As que no existen nmeros ordinales transnitos menores que , que por ello es el menor de
todos. Por la denicin de Lm
dada en 14 se cumple claramente que = Lm
.
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
F = , (5)
=
0
. (6)
Si g es un nuevo elemento, tenemos que
+1 = (F, g). (7)
Puesto que F es una seccin de (F, g), tenemos
+1 > . (8)
Se cumple que
+1 = +1 =
0
+1 =
0
(6).
El nmero +1 pertenece entonces a la segunda clase de nmeros. 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 F o una seccin de F. As que es = o < .
C. Si
1
,
2
, . . .
, . . . es una sucesin fundamental de nmeros de la primera o segunda

clase de nmeros, entonces el nmero Lm
(14) sucesor inmediato de todos los
pertenece
a la segunda clase de nmeros.
Demostracin. Por 14 se obtiene de la sucesin fundamental {
} el nmero Lm
, si
producimos otra sucesin
1
,
2
, . . .
, . . . tal que
1
=
1
,
2
=
2

1
, . . .
+1
=
+1

, . . .
Si G
1
, G
2
, . . . G
, . . . son conjuntos bien ordenados tales que

G
,
entonces tambin
G = (G
1
, G
2
, . . . G
, . . . )
es un conjunto bien ordenado y
Lm
= G.
Se trata ahora slo de probar que
| G |=
0
.
Pero puesto que los nmeros
1
,
2
, . . .
, . . . pertenecen a la primera o segunda clase,

entonces
| G
|
0
,
y por ello
| G |
0

0
=
0
.
Pero como G es un conjunto transnito, se excluye el caso | G |<
0
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
36 GEORG CANTOR
Dos sucesiones fundamentales {
} y {
} de nmeros de la primera o segunda clase de

nmeros las llamamos correspondientes, en smbolos
{
}{
}, (9)
si para cada existen nmeros nitos
0
,
0
tales que
>
,
0
, (10)
y
>
,
0
. (11)
D. Los nmeros lmite Lm
y Lm
correspondientes a las sucesiones fundamentales

{
}, {
} son iguales si y slo si {
}{
}.
Demostracin. Por simplicidad hacemos Lm
= , Lm
= .
Primero supongamos que {
}{
}, y armamos que = . En efecto, si no fuera igual

a , alguno de estos dos nmeros debera ser el menor, digamos < . A partir de un cierto
tendramos
> , por lo que segn (11) a partir de un cierto ,
> . Pero esto es

imposible, porque = Lm
as que para toda
< .
Si recprocamente, se supone que = , puesto que
< , se debe cumplir que
>
a partir de un cierto y dado que
< a partir de un cierto , debemos tener
>
; es
decir, {
}{
}.
E. Si es un nmero de la segunda clase de nmeros,
0
un nmero ordinal nito arbitrario,
entonces
0
+ = , por lo que tambin
0
= .
Demostracin. Primero nos convencemos de la validez del teorema cuando = . Se tiene
= (f
1
, f
2
, . . . f
, . . . ),
0
= (g
1
, g
2
, . . . g
0
),
as que
0
+ = (g
1
, g
2
, . . . g
0
, f
1
, f
2
, . . . f
. . . ) = .
Pero si > , tenemos que
= +( ),
0
+ = (
0
+) +( ) = +( ) = .
F. Si
0
es un nmero ordinal nito, entonces
0
= .
Demostracin. Para obtener un conjunto de tipo
0
, se deben sustituir los elementos f
del conjunto (f
1
, f
2
, . . . f
, . . . ) por conjuntos (g
,1
, g
,2
, . . . g
,
0
) de tipo
0
. Se obtiene el
conjunto
(g
1,1
, g
1,2
, . . . g
1,
0
, g
2,1
, . . . g
2,
0
, . . . g
,1
, g
,2
, . . . g
,
0
, . . . ),
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 = Lm
,
se tiene
0
= Lm
0
.
Por otro lado,
{
0
}{},
por lo que
Lm
0
= Lm
= ,
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
as que
0
= .
G. Siempre se cumple
( +
0
) = ,
para un nmero de la segunda clase y
0
un nmero de la primera clase.
Demostracin. Tenemos
Lm
= .
Segn (24) 14 se deduce que
( +
0
) = Lm
( +
0
).
Pero entonces
( +
0
) =
1

( +
0
) +
2

( +
0
) + +

( +
0
)
= +
1

(
0
+) +
2

(
0
+)
(1)

(
0
+) +
0
=
1
+
2
+ +
+
0
= +
0
.
Ahora se tiene, como se verica fcilmente
{ +
0
}{}
y por consiguiente
Lm
( +
0
) = Lm
( +
0
) = Lm
= .
H. Si es un nmero de la segunda clase de nmeros, entonces la totalidad {
} de los
nmeros
de la primera y segunda clase de nmeros menores que conforman un conjunto

bien ordenado, de acuerdo a su magnitud, con tipo .
Demostracin. Sea F un conjunto bien ordenado tal que F = ; sea f
1
el menor elemento de
F. Si
es un nmero ordinal arbitrario < , entonces existe (14) una seccin A
de F al 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 nito o
0
.
La seccin A
est determinada por un elemento f
f
1
de F, y recprocamente, cada
elemento f
f
1
de F determina una seccin A
de F. Si f
y f
son dos elementos f

1
de
F, A
y A
son las secciones que determinan en F,
sus tipos ordinales, y si, digamos,

f
, entonces (13) A
< A
, por lo que
<
. Por ello hagamos F = (f

1
, F
), y
logramos una aplicacin entre esto 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:
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
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
38 GEORG CANTOR
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 primera o segunda clase de

nmeros tal que
= Lm
.
Demostracin. Sea = F. Si F tiene un mayor elemento g, entonces 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 conjunto {
} 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 {
} innita. Si empezamos con
1
, entonces los sucesores segn este orden, que diere
del orden segn 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 {
} no hay uno mayor. Entre los
mayores que
1
sea
2
el de menor
ndice. De igual manera, sea
3
el nmero de la sucesin {
} mayor que
2
con el menor
ndice. Si continuamos as, obtenemos una sucesin innita creciente de nmeros, una sucesin
fundamental
1
,
2
,
3
, . . .
, . . .
Se cumple que
1 <
2
<
3
< <
<
+1
, . . .
1
<
2
<
3
< <
<
+1
. . . ,
<
, cuando <
,
y ya que claramente
, siempre tenemos
.
Se deduce que cada nmero
, y por ello tambin cada nmero
< ser superado por un

nmero
para un valor de sucientemente grande.

Pero es el sucesor inmediatode todos los nmeros
, por elloes tambinel sucesor inmediato

de los
. Por lo anterior, hacemos
1
=
1
,
+1
=
+1
, as que
= Lm
.
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 nmeros menores. A los de la primera, los llamamos
nmeros del primer tipo, se obtienen de un predecesor inmediato
1
mediante la adicin 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 nmeros lmite de sucesiones fundamentales
{
} segn la frmula:
= Lm
.
Aqu es el sucesor inmediato, segn el orden, de todos los nmeros
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Estas dos formas de producir nmeros mayores a partir de menores las llamamos 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 transnito lef uno.
Antes de que nos dediquemos en los siguientes prrafos a la consideracin de los nmeros de
la segunda clase y su cardinalidad dominante, queremos responder la pregunta sobre el nmero
cardinal, asociado al conjunto de todos estos nmeros, Z(
0
) = {}.
A. La totalidad {} de los nmeros de lasegundaclase conformaunconjuntobienordenado
segn la magnitud.
Demostracin. Por A
entendemos la totalidad de los nmeros de la segunda, 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 se obtiene de la unin de {} y A
, de tal
suerte que
{
} = ({}, A
).
Por ello
{
} = {} +A
y puesto que
{
} = , {} = ,
se cumple que
A
= .
Sea J un subconjunto de {} tal que existen nmeros en {} mayores 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
A
0
+1
es un conjunto bien ordenado, debe existir (12) un nmero
de A
0
+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 {} contiene
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 tiene un menor ele-
mento, un mnimo.
C. Cada conjunto de nmeros distintos de la primera y segunda clase considerados con el
orden respecto a la magnitud es un conjunto bien ordenado.
Primero se muestra que la cardinalidad de la segunda clase de nmeros es distinta a 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 innita
1
,
2
, . . . .
, . . .
de tal forma que {
}, la totalidad de los nmeros de la segunda clase de nmeros, se podra

representar en un orden distinto al dado por la magnitud y {
} no contendra un mayor elemento,

mucho menos {}.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
40 GEORG CANTOR
Partiendo de
1
, sea
2
el miembro con menor ndice de esa sucesin >
1
,
3
el miembro
con menor ndice >
2
, etctera. Obtenemos una sucesin innita creciente de nmeros
1
,
2
, . . .
, . . . ,
tal que
1 <
2
<
3

<
+1
, . . . ,
1
<
2
<
<
+1
,
.
Segn el teorema C, 15 existira un determinado nmero de la segunda clase de nmeros,
a saber,
= Lm
,
que sera mayor que todos los
; por consiguiente se tendra

>
para cada .
Si {
} contiene a todos los nmeros de la segunda clase de nmeros, tiene tambin al nmero
; as que para un cierto
0
se cumplira
=
0
,
ecuacin que es incompatible con la relacin >
0
. La suposicin | {} |=
0
conduce
entonces a una contradiccin.
E. Un conjunto arbitrario {} de nmeros de la segunda clase de nmeros tiene, cuando l
es innito, el nmero cardinal
0
o el nmero cardinal | {} | de la segunda clase de nmeros.
Demostracin. El conjunto {} en el orden de acuerdo a la magnitud es, como subconjunto
del conjunto bien ordenado {} segn el teorema O, 13, similar a una seccin A
0
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 A
0
=
0
.
Tenemos entonces {} =
0
o {} = {}, por lo que tambin | {} | es =
0
o
=| {} |. Pero
0
es un nmero cardinal nito o =
0
(teorema I, 15). El primer caso se
excluye aqu pues {} se supuso un conjunto innito. Por lo tanto, el nmero cardinal | {} | es
=
0
o =| {} |.
F. La cardinalidad de la segunda clase de nmeros {} es el segundo menor cardinal trans-
nito lef uno.
Demostracin. No exite ningn nmero cardinal a que sea >
0
y <| {} |. En caso contrario,
por 2 existira un subconjunto innito {} de {} tal que | {} |= a.
Como consecuencia del teorema E recin demostrado el conjunto {} tiene el nmero cardinal
0
o el nmero cardinal | {} |. En consecuencia, el nmero cardinal | {} | es necesariamente
el sucesor inmediato, segn la 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
+
1
1
+ +
.
Es conveniente acostumbrarnos a trabajar con aquellos nmeros de Z(
0
) que son funciones
enteras (racionales) de grado nito en . Cada uno de tales nmeros se puede escribir en forma
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
nica como
=
0
+
1
1
+ +
, (1)
donde ,
0
son nitos y distintos de cero,
1
,
2
, . . .
pueden ser cero. Esto se debe a que
, (2)
cuando
< y > 0.
Porque segn (8), 14 se cumple
),
y por el teorema E, 15
.
En consecuencia, en algunas expresiones de la forma
+
+
se puede prescindir de los miembros que, movindose hacia la derecha, suceden a miembros de
grado superior en . Este procedimiento se puede continuar hasta que se obtiene la frmula en
(1). Debemos remarcar que
( +
). (3)
Comparemos ahora el nmero con un nmero del mismos tipo
=
0
+
1
1
+ +
. (4)
Si y son distintos, digamos < , entonces por (2)
+ = ,
por lo que
< .
Si = ,
0
y
0
distintos y, digamos
0
<
0
, entonces por (2)
+(
(
0

0
) +
1
1
+ +
) = ,
por lo que tambin
< .
Finalmente, si
= ,
0
=
0
,
1
=
1
, . . .
1
=
1
, ,
mientras que
son distintos, digamos
<
, entonces por (2)

+(
) +
1
+1
+ +
) = ,
y otra vez
< .
As, hemos visto que slo para identidad completa de las expresiones y pueden ser iguales
los nmeros por ellas representados.
La adicin de y conduce al siguiente resultado:
1) si < , entonces, como se observo antes,
+ = .
2) Si = , se tiene
+ =
(
0
+
0
) +
1
1
+ +
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
42 GEORG CANTOR
3) Si > , se tiene
+ =
0
+
1
1
+ +
+1
1
+
+
0
)
+
1
1
+ +
.
Para efectuar la multiplicacin de y , observemos que, si es un nmero nito distinto
de cero, la frmula es
=
0
+
1
1
+ +
. (5)
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
=
+1
, (6)
por lo que tambin
=
+
. (7)
Por la ley distributiva, se tiene
=
0
+
1
1
+ +
1
+
.
Las frmulas (4), (5) y (7) propician entonces el siguiente resultado:
1) Si
= 0, se cumple
=
+
0
+
+1
1
+ +
+1
1
=
.
2) Si
no es = 0, entonces
=
+
0
+
+1
1
+ +
+1
1
+
+
+
1
1
+ +
.
De la siguiente forma logramos una notable descomposicin de los nmeros : sea
=
0
+
1
+ +
, (8)
donde
>
1
>
2
> >
0
y los nmeros
0
,
2
, . . . ,
son distintos de cero y nitos. Entonces tenemos

= (
1
+
2
+ +
)(
0
+1).
Mediante repetidas aplicaciones de esta frmula obtenemos
=
1
+1)(
2
+1) (
0
+1).
Pero tenemos
+1 = (
+1),
cuando es un nmero nito distinto de cero, por lo que
=
+1)
1
(
1
+1)
2
(9)
(
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 forma de escribir el producto de dos nmeros,
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
pues en esta ocasin pusimos el multiplikandus a la izquierda, el multiplicator 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 pertenecinetes al mismo dominio, a saber,
> 0, > 1.
Podemos fundamentar el siguiente teorema:
A. Existe una nica funcin totalmente determinada f () de la variable que satisface las
siguientes condiciones:
1) f (0) = .
2) Si
son dos valores arbitrarios de , y
<
,
entonces
f (
) < f (
).
3) Para cada valor de se cumple
f ( +1) = f ().
4) Si {
} es una sucesin fundamental arbitraria, tambin lo es {f (
)}, y se cumple
= Lm
,
entonces
f () = Lm
f (
).
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)
f () = f (
1
) > f (
1
);
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 fundamental y de 4) que f () = Lm
f (
). Si tomamos otra suce-

sin fundamental {
} tal que Lm
= , entonces por 2) ambas sucesiones fundamentales

{f (
)} y {f (
)} son correspondientes; as que f () = Lm
f (
). El valor f () est
tambin en este caso unvocamente determinado.
Si
es un nmero < , se verica 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 .
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
44 GEORG CANTOR
Pues si hubiese una excepcin , para la cual no se satisfaciera el teorema, por el teorema B,
16 habra un menor de tales nmeros, que llamamos . 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).
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 {
} y se tiene , cuando = Lm
,
tambin
= Lm
.
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 teorema 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
+
=
.
Demostracin. Considere la funcin () =
+
. Tomando en cuenta que segn la frmula
(23), 14
Lm
( +
) = +Lm
,
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
() = Lm
).
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 excep-
tuando al 0, entonces
= (
.
Demostracin. Consideremos la funcin () =
y observemos que, segn (24), 14,

siempre ocurre Lm
= Lm
, as que basndonos en el teorema D podemos armar

que:
1) (0) = 1.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
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 l se cumple para todos los valores de menores que un nmero dado > 1, tambin
se cumple para = .
Si es del primer tipo, entonces por hiptesis
1
,
tambin
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,
= Lm
,
entonces, ya que
< , y de la hiptesis se obtiene
,
por lo que tambin
Lm
Lm
,
es decir,

.
Si hubiesen valores de para los cuales
>
,
entre ellos existira uno menor (segn el teorema B, 16); si lo denotamos con , tendramos
para <

,
mientras que
>
,
lo que contradice lo antes demostrado. Con ello hemos mostrado que para todo valor de
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
46 GEORG CANTOR
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

sucientemente grandes de . Este siempre es el caso, de 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 no puede ser un
nmero de la segunda clase. En efecto, si lo fuera
= Lm
,
tendramos, puesto que
< ,
,
por lo que tambin
Lm
.
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 armar que existe un nmero totalmente determinado
0
de la primera o segunda
clase que satisface las condiciones:
0
,
0
> . (1)
De la segunda condicin deducimos que no para todo valor nito de se cumple
0
,
pues en caso contrario se cumplira tambin Lm
0
=
0
.
El menor nmero nito para el cual
0
> ,
lo denotamos con
0
+1. De (1) se sigue que
0
> 0.
Por consiguiente, existe tambin un nmero totalmente determinado
0
de la primera clase
de nmeros, tal que
0
,
0
(
0
+1) > . (2)
Si hacemos
0
=
, entonces
=
0
+
(3)
y
0
<
0
, 0 <
0
< . (4)
Adems, se puede representar como en (3) en forma nica con la condicin (4). Porque de
(3) y (4) se deducen, hacia atras, primero las condiciones (2), y de ellas las condiciones (1).
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
La condicin (1) se satisface slo por el nmero
0
=
1
, y mediante las condiciones (2)
queda completamente determinado el nmero nito
0
. De (1) y (4) se sigue, considerando el
teorema F, 18, que
< ,
0
.
Por lo que podemos armar la validez del siguiente teorema:
A. Cada nmero de la segunda clase se puede representar en forma nica como
=
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
1
+
, (5)
0
<
1
, 0 <
1
< ,
por lo que
1
<
0
,
<
.
En general, obtenemos la siguiente sucesin de ecuaciones
2
+
, (6)
3
+
IV
. (7)

Esta sucesin no puede ser innita, debe interrumpirse. Porque los nmeros ,
, . . .
son decrecientes segn su magnitud, es decir,
>
>
>
>
Si una sucesin decreciente de nmeros transnitos fuese innita, 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 nito de . Si relacionamos las ecuaciones (3), (5), (6), (7), obtenemos el
teorema:
B. Cada nmero de la segunda clase se puede representar en forma nica como
=
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 primea 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
=
0
+
1
+ +
. (8)
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
48 GEORG CANTOR
Tanto para comparar con como para sumarlos o restarlos sirven la frmulas
+), (9)
para <
. (10)
aqu ,
son nmeros nitos.

Estas son generalizaciones de las frmulas (3) y (2), 17.
Para la formacin del producto son importantes las siguientes frmulas:
=
0
+
1
+ +
, 0 < < , (11)

=
0
+1
, (12)
0
+
> 0. (13)
La exponenciacin
se efectua con facilidad mediante la siguiente frmula:
0
+ , 0 < < . (14)
Los miembros a la derecha tiene grado menor que el primero. De esto se sigue fcilmente
que las sucesiones fundamentales {
} y {
} son correspondientes, de tal forma que
,
0
> 0. (15)
Por lo que, como consecuencia del teorema E, 18:
,
0
> 0,
> 0. (16)
Con ayuda de estas frmulas se pueden demostrar los siguientes teoremas:
C. Si los primeros miembros
0
,
0
de las formas normales de los nmeros y no
son iguales, entonces es mayor o menor que , dependiendo de si
0
es menor o mayor
que
0
. Pero si se tiene
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
+ +
.
Pero si
0
>
0
,
1
>
0
, . . .

0
,
+1
<
0
,
entonces
+ =
0
+ +
0
+
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
+
1
+ +
.
F. Si es del segundo tipo (
> 0), entonces
;
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
pero si es del primer tipo (
= 0), a saber, =
, donde
es del segundo tipo,

entonces se cumple
.
G. Cada nmero de la segunda clase se puede representar en forma nica como el producto:
=
1
+1)
1
(
2
+1)
2
(
+1)
0
,
y se cumple
0
=
,
1
=
1

,
2
=
2

1
, . . .
=
0

1
,
mientras que
0
,
1
, . . .
tienen el mismo signicado 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:
=
,
donde
0
> 0 y
es un nmero del primer tipo perteneciente a la primera o segunda clase.

J. Para que dos nmeros y de la segunda clase satisfagan la relacin
+ = +
es necesario y suciente 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 suciente que sean de la forma
=
, =
,
donde y son nmeros de la primera clase.
Para ejemplicar la trascendencia de la forma normal y de la directamente 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
=
0
+
, =
0
+
,
donde el grado de los nmeros
son menores que

0
, y son nmeros nitos distintos
de 0.
Por el teorema D se cumple
+ =
0
( +) +
, + =
0
( +) +
,
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
50 GEORG CANTOR
as que
0
( +) +
0
( +) +
.
Segn el teorema D, 14 se tiene
.
Con ello logramos
=
0
+
, =
0
+
,
y si se hace
0
+
= ,
por (11)
= , = .
Por otra 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
no tienen factores izquierdos extremos en comn (excepto 1).

Entonces se cumple
>
.
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 reconocer que
no
pueden ser ambos transnitos, pues en tal caso tendran un factor izquierdo extremo comm.
Pero tampoco pueden ser ambos nitos; porque en tal caso, si es transnito y si es el factor
izquierdo nito extremo de , entonces
,
y tambin
.
La nica posibilidad que queda es que
> ,
< .
Pero el nmero nto
debe ser 1:
= 1,
pues de lo contrario estara contenido como factor en el factor extremo izquierdo nito 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
.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Si por lo tanto,
> , se deducen de la misma forma la existencia de un nmero transnito

del primer tipo
<
, tal que
.
Si tambin
> , existe uno de tales nmeros
<
, tal que
,
etctera.
La sucesin decreciente de nmeros ,
, . . . debe interrumpirse, segn el teorema

B, 16. En consecuencia, se debe cumplir, para un cierto ndice nito
0
,
(
0
)
.
Si
(
0
)
= ,
entonces
=
0
+1
, = ;
quedara demostrado el teorema K y se cumplira
= , =
0
+1, = 1.
Pero si
(
0
)
< ,
hacemos
(
0
)
=
1
y tenemos
=
1
,
1
=
1
,
1
< .
Por lo tanto, existe un nmero nito
1
tal que
=
1
1

2
,
1
2
=
2
1
,
2
<
1
.
En general, se obtiene en forma anloga
1
=
2
2

3
,
2
3
=
3
2
,
3
<
2
,
etctera.
Tambin la sucesin decreciente de nmeros
1
,
2
,
3
, . . . debe interrumpirse, segn el
teorema B, 16.
En consecuencia, existe un nmero nito tal que
1
=
.
Si hacemos
= ,
entonces
=
, =
,
donde y son el numerador y denominador de la cadena fraccionaria
=
0
+
1
1
+
.
.
.
+
1
k
.
20.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
52 GEORG CANTOR
Los -nmeros de la segunda clase.
El grado
0
de un nmero nunca es mayor que , como se desprende de la forma normal
=
0
+
1
+ ,
0
>
1
> , o <
< (1)
teniendo en cuenta el teorema F; 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 la raz de la ecuacin
= . (2)
Por otro lado cada raz de esta ecuacin debe tener forma normal
; su grado sera igual a

ella misma.
Los nmeros de la segunda clase que son iguales a su grado coinciden 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.
Que realmente existen tales nmeros, se deduce del siguiente Teorema:
A. Si es un nmero de la primera o segunda clase que no satisface la ecuacin (2), entonces
determina una sucesin fundamental {
} mediante las ecuaciones
1
=
,
2
=
1
, . . .
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
>
, esto es,
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
= Lm
+1
= E( ).
Por ello E( ) es un -nmero.
B. El nmero
0
= E(1) = Lm
, donde
1
= ,
2
=
1
,
3
=
2
, . . .
1
, . . .
es el menor de todos los -nmeros.
Demostracin. Sea
un -nmero, tal que
.
Ya que
> , etonces
>
, es decir,
>
2
. De aqu se sigue igualmente que
>
2
, es decir,
>
3
, etctera.
En general tenemos
>
,
por lo que
Lm
,
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
< <
,
entonces E( ) =
.
Demostracin. De
< <

Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
se sigue que
<
<
,
es decir,
<
1
<
etctera. 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 denicin no puede ser un -nmero, pues todos los -nmeros, como se
sigue de la ecuacin que los dene =
, 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),
y a ste el siguiente
2
= E(
1
+1),
etctera.
En general, tenemos la frmula recursiva para el ( +1)-simo -nmero respecto a la mag-
nitud:
= E(
1
+1). (3)
Pero ya que claramente la sucesin innita
0
,
1
, . . .
, . . .
de ninguna manera abarca a todos los -nmeros, se desprende el siguiente teorema:
E. Si ,
, . . . es una sucesin innita de -nmeros tal que

<
<

()
<
(+1)
,
entonces tambin Lm

()
es un -nmero, a saber, el -nmero sucesor inmediato a todos los
()
.
Demostracin.
Lm

()
= Lm
()
= Lm
()
.
Que Lm

()
es el -nmero sucesor inmediato de todos los
()
se deduce 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 conforma
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 conforma, segn el teorema
C, 16 ordenados segn su magnitud, un conjunto bien ordenado
0
,
1
, . . .
, . . .
,
+1
, . . .
, . . . (4)
cuya forma de construirse se expresa en los teorema D y E.
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
54 GEORG CANTOR
Si el ndice
no recorriese todos los nmeros de la segunda clase de nmeros, debera existir

un menor nmero que no alcanzara. 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, entonces el tipo de (4) es
+ = +
2
+(
2
);
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
+ = , = ,
= .
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
= .
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 tendramos
> .
En consecuencia, tenemos, por el teorema F, 19
,
por ello
= .
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
Segn el teorema F, 18

0
,
as que

0
.
Pero no puede ocurrir que >
0
; en consecuencia
0
= ,
y por ello
= .
Por lo tanto, es aun -nmero mayor que .
Depto. Matematicas
Mexico
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o
D
r
.

L
u
i
s

M
i
g
u
e
l

V
i
l
l
e
g
a
s

S
i
l
v
a
D
e
p
t
o
.

M
a
t
e
m
a
t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

A
u
t
o
n
o
m
a

M
e
t
r
o
p
o
l
i
t
a
n
a

I
z
t
a
p
a
l
a
p
a
M
e
x
i
c
o

Tra Ducci On

Transféré par

Informations du document

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

Tra Ducci On

Transféré par

Droits d'auteur :

Formats disponibles

CONTRIBUCIONES A LOS FUNDAMENTOS DE LA TEORA DE CONJUNTOS

; por consiguiente esas condiciones expresan una cierta relacin

son otros dos conjuntos sin elementos en comn, y se cumple M M

como elementos asociados, el conjunto

); as, se cumple que

, se deduce fcilmente que

< 1, que se representa en dos formas, entonces tenemos,

} la totalidad numerable de estos, primero

} y denotamos el resto con X

: distinguimos los siguientes casos:

como elemento, entonces E

consiste en nicamente el elemento e

, de tal forma que E

| +1, por lo que E

tiene como nmero cardinal alguno de los

tiene la propiedad de que

con nmero cardinal a. Segn el teorema E, para un subconjunto

aparece slo uno de los nmeros 1, 2, 3, . . . como nmero cardinal.

al elemento de S que corresponde

de S, y la totalidad de los nmeros

que se identica como el ms inmediato mayor a todos los

del primer conjunto le corresponde el elemento f

son otros dos conjuntos ordenados, M M

); el tipo ordinal de (M, N) depende entonces

de M que guardan la misma jerarqua respecto a m

en M que guardan la misma relacin de orden con

se les ha asociado los elementos

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

en M que la que tiene r

tienen en M la misma relacin de orden que sus correspondientes elementos r

comprenden a todos los elementos m

aparecen en la permutacin, tambin aparece el elemento siguiente m

aparezcan los elementos

Del Teorema recin demostrado se obtiene, por ejemplo, lo siguiente:

} contenidas en M se dicen correspon-

y 2) existe en M a lo sumo un elemento m

} en M o tambin un elemento principal de M.

} en M si se satisfacen las condiciones:

son dos conjuntos ordenados similares, es decir,

y viceversa; a cada sucesin creciente, a cada decreciente y a sucesiones fundamen-

un elemento lmite y viceversa; estos elementos lmite

no tienen elementos principales (unidades principales); por el contrario, + y +

tienen un elemento principal y son tipos cerrados.

} en X tiene un elemento lmite x

} contenida en X que se puede remplazar por una sucesin fundamental

} contenida en R. A esta ltima corresponde como imagen una sucesin

} en S y M, que por 1) est acotada por un elemento m

} se utilizan otras que tengan como elemento lmite al mismo elemento

} en M es una sucesin fundamental creciente {s

es un subconjunto de F y y F tiene uno o ms elementos de mayor jerarqua que

, entonces existe un elemento f

en F, que es el menor que sucede a

, de tal suerte que no existe un elemento en F tal que, segn el orden,

, segn el orden, como el sucesor ms inmediato; esto se deduce de la

se ocupa el elemento f . Si adems, por ejemplo, en F est contenida una

tal que no slo

los sucede inmediatamente c

la totalidad de elementos de F menores que todos los elementos de F

, por lo que necesariamente

un subconjunto de F tal que en F hay uno o ms elementos F

de un conjunto bien ordenado F es tambin un conjunto bien

como cada subconjunto F

de G tiene un menor elemento; pues por la aplicacin de G

corresponde como imagen a un subconjunto F