Teoría Intuitiva de Conjuntos

CARMEN GMEZ LAVEAGA
INTRODUCCIN A LA TEORA
INTUITIVA DE CONJUNTOS
(CARDINALES Y ORDINALES)
FACULTAD DE CIENCIAS, UNAM

20
Gmez Laveaga, Carmen
Introduccin a la teora intuitiva de conjuntos : cardinales y
ordinales / Carmen Gmez Laveaga. -- 2a reimp. -- Mxico : UNAM,
Facultad de Ciencias, 2011.
x, 129 p. ; 22 cm. -- (Temas de matemticas) (Las prensas de cien-
cias)
Bibliografa: p. 125-126
Incluye ndice
ISBN 978-970-32-4705-9
1. Teora de los conjuntos. 2. Nmeros cardinales. 3. Nmeros

ordinales. I. Universidad Nacional Autnoma de Mxico. Facultad de
Ciencias. II. t. III. Ser. IV. Ser.
511.322-scdd21 Biblioteca Nacional de Mxico
Introduccin a la teora intuitiva de conjuntos (cardinales y ordinales)

1D edicin, 2007
D reimpresin, 15 de noviembre 2011
D.R. 2011. Universidad Nacional Autnoma de Mxico.

Facultad de Ciencias.
Ciudad Universitaria. Delegacin Coyoacn,
C. P. 04510, Mxico, Distrito Federal.
editoriales@ciencias.unam.mx
ISBN: 978-970-32-4705-9
Diseo de portada: Laura Uribe
Prohibida la reproduccin parcial o total de la obra por cualquier medio,

sin la autorizacin por escrito del titular de los derechos patrimoniales.
Impreso y hecho en Mxico.

A mis queridas Aurora y Sabina
Indice
Introduccion vii
Captulo 1. Nociones basicas 1

1.1 Conjuntos . . . . . . . . . . . . . . . 1
1.2 Relaciones . . . . . . . . . . . . . . . 7
1.3 Funciones . . . . . . . . . . . . . . . 9
1.4 Relaciones de equivalencia . . . . . . . . 13
1.5 Relaciones de orden . . . . . . . . . . . 16
1.6 Ejercicios . . . . . . . . . . . . . . . 21
Captulo 2. El Axioma de Eleccion y sus equivalencias 29

2.1 Introduccion . . . . . . . . . . . . . . 29
2.2 Equivalencias del Axioma de Eleccion . . . . 30
2.3 Ejercicios . . . . . . . . . . . . . . . 36
Captulo 3. Numeros cardinales 37

3.1 Cardinales . . . . . . . . . . . . . . . 37
3.2 Operaciones entre cardinales . . . . . . . 44
3.3 Conjuntos nitos . . . . . . . . . . . . 50
3.4 Conjuntos numerables y conjuntos innitos . . 58
3.5 Sistemas de Peano . . . . . . . . . . . . 66
3.6 Ejercicios . . . . . . . . . . . . . . . 80
Captulo 4. Numeros ordinales 85

4.1 Conjuntos bien ordenados . . . . . . . . . 85
4.2 Suma y producto de numeros ordinales . . . 99
4.3 Representantes para numeros ordinales
segun von Neumann . . . . . . . . . . . 114
4.5 Ejercicios . . . . . . . . . . . . . . . 123
Bibliografa 125
Indice alfabetico 127
Introduccion
Este libro es una introduccion a la teora de conjuntos haciendo enfasis
en la teora de cardinales y ordinales. Los conceptos basicos de la teora
de conjuntos se manejan intuitivamente, omitiendo la logica formal y la
axiomatica de la teora de conjuntos.
El unico axioma que se presenta es el Axioma de Eleccion junto con
algunas de sus equivalencias siendo una de estas el Lema de Zorn. Este
ultimo se usa repetidamente en muchas demostraciones, de tal manera que
el estudiante al terminar de leer el libro habra adquirido un buen manejo
de tan importante resultado. Los motivos por los cuales se presentan los
cardinales antes de los ordinales son principalmente dos. El primero es
que el desarrollo que se hace es bastante intuitivo (mas que la Teora de
von Neumann) y de alguna manera se presentan los conceptos de cardinal
y ordinal como independientes, algo que no sucede en el desarrollo de la
Teora de numeros ordinales y cardinales que hace von Nuemann, ya que
en esta los cardinales son ciertos numeros ordinales. El segundo motivo,
y que a mi juicio lo hace muy atractivo, es la gran cantidad de bellos
resultados que aparecen en esta presentacion y que de otra manera no
sucedera. Vease, por mencionar un ejemplo, la presentacion de Sistemas
de Peano para concluir con la denicion de los numeros naturales.
Si bien es cierto que las deniciones de numero cardinal y numero
ordinal presentan un problema en el sentido de que no se dice exactamente
que objetos de la Teora de Conjuntos son, en realidad lo que se usa es el
hecho de cuando dos conjuntos (conjuntos bien ordenados) tienen el mismo
cardinal (ordinal) y en ningun momento se necesita saber que conjunto es
el numero ordinal. A partir de esto podemos desarrollar la teora sin ningun
problema.
En la Seccion 4.4 del Captulo 4 se presenta la manera en que von Neu-
mann introdujo los representantes para numeros ordinales y de aqu para
los numeros cardinales, y se hace una muy breve introduccion para que el
lector tenga una idea de como se introducen los ordinales y los cardinales
vii
Introduccion
segun von Neumann, que es la manera en que, por lo general, actualmente

se maneja.
Podra mencionar un tercer motivo que es el siguiente: para un estu-
diante de matematicas es importante, dentro de su cultura general, tener
algun conocimiento sobre numeros cardinales y ordinales, y creo que es-
te libro los introduce rapidamente en el tema cubriendo una parte del
desarrollo de ellos.
En el Captulo 1 se introducen los conceptos basicos que se requie-
ren para el estudio de los temas posteriores. La mayora de los teoremas
ah presentados no se demuestran.
El Captulo 2 esta dedicado al Axioma de Eleccion, uno de los axiomas
de la Teora de Conjuntos. Ah se presentan varias equivalencias, entre las
cuales, como ya hemos dicho, se encuentra el Lema de Zorn.
Los Captulos 3 y 4 corresponden a la teora de cardinales y ordinales
respectivamente.
Cabe mencionar que los numeros naturales (Sistemas de Peano) se
presentan al nal del Captulo 3 y se puede observar que antes de este tema,
no hemos hecho uso de ellos en ningun momento, por lo que los ejercicios
propuestos hasta antes de la introduccion de los numeros naturales no los
involucran en ningun momento.
El lector interesado en un estudio axiomatico de la Teora de Conjuntos
puede referirse a [Ad], [Am], [En], [He], [Hr],[Th] [Fr 1], [Fr 2], [Ha],
[Ku] y [Zu].
Agradezco a los estudiantes Ernesto Mayorga Saucedo y Rolando Gomez
Macedo por el excelente trabajo que con paciencia realizaron al escribir
este libro en LATEX.
Por ultimo quiero manifestar tambien mi agradecimiento a los arbitros
que revisaron con todo cuidado este libro y que gracias a sus sugerencias
se ha mejorado.
viii
Captulo 1
Nociones basicas
1.1 Conjuntos
Intuitivamente un conjunto es una coleccion de objetos. A estos objetos

los llamaremos elementos del conjunto. El smbolo denota la pertenen-
cia, es decir, si A es un conjunto y x es un elemento de A, lo denotaremos
por x A.
Lo anterior tambien se puede leer: x es elemento de A o x esta en A.
De este modo, un conjunto esta determinado por sus elementos. As, dos
conjuntos A y B seran iguales si y solo si tienen los mismos elementos, es
decir, es verdadera
A = B x (x A x B) .
Para decir que un objeto x no pertenece a un conjunto A utilizaremos
la notacion x / A.
Los conjuntos A y B seran distintos, y lo denotamos A = B, si existe
al menos un objeto x que hace verdadera la siguiente proposicion
(x A x
/ B) (x B x
/ A).
Para describir un conjunto A generalmente se utiliza una propiedad
p (x) que solamente satisfacen los elementos de este conjunto, es decir,
si los elementos del conjunto A son los unicos que hacen verdadera la
proposicion p (x), entonces
A = {x | p (x) es verdadera}.
Ejemplo 1.1.1.
(a) = {x | x = x} es el conjunto vaco y no tiene elementos ya que la
proposicion p(x) : x = x es falsa para cualquier x.
(b) {a} = {x | x = a} es el unitario de a; conjunto con un unico elemento
y este elemento se puede describir mediante la proposicion p(x) : x = a.
1
2 Nociones basicas
(c) {a, b} = {x | x = a o x = b} es el conjunto cuyos unicos elementos son

a y b y la proposicion que determina estos elementos es p (x) : x = a o
x = b. A este conjunto se le llama el par no ordenado de a y b.
(d) En forma analoga se pueden denir tros, cuartetos, quintetos no or-
denados {a, b, c}, {a, b, c, d}, {a, b, c, d, e},... etc.
El orden en que escribamos los elementos de un conjunto no lo altera,
pues lo que determina a un conjunto son sus elementos sin importar el
orden en que estos se den. As, tenemos las siguientes igualdades
{a, b} = {b, a} ; {a, b, c} = {b, a, c} = {c, b, a} = ...etc.
Denicion 1. 1.1. Dados dos conjuntos A y B, diremos que A es un
subconjunto de B, y lo denotaremos por A B, si cada elemento de A
es tambien elemento de B. Esto es
A B x (x A x B) .
def
Si A es un subconjunto de B y A = B diremos que A es subconjunto
propio de B, lo que indicaremos por A B o por A B.
Teorema 1.1.1. Dos conjuntos A y B son iguales si y solo si cada uno
de ellos es subconjunto del otro, es decir
A = B A B B A.
Teorema 1.1.2. Sean A, B, C conjuntos arbitrarios. Entonces
(1) A.
(2) A A.
(3) Si A B y B C entonces A C.
Denicion 1.1.2. Sean A y B conjuntos arbitrarios. La union de A y
B, denotado por A B, es el conjunto
A B = {x | x A o x B} .
Proposicion 1.1.3. Sean A, B, C conjuntos. Entonces
(1) A = A, A A = A.
(2) A A B, B A B.
(3) A B = B A.
(4) (A B) C = A (B C).
(5) A B si y solo si A B = B.
Denicion 1. 1.3. Sean A y B conjuntos, la interseccion de A y B,
denotada A B, es el conjunto
A B = {x | x A y x B} .
1.1 Conjuntos 3
Proposicion 1.1.4. Sean A, B, C conjuntos. Entonces

(1) A = , A A = A.
(2) A B A, A B B.
(3) A B = B A.
(4) (A B) C = A (B C).
(5) A B si y solo si A B = A.
La union y la interseccion son operaciones sobre conjuntos que tienen
la propiedad de que cada una de ellas es distributiva respecto a la otra, es
decir,
Proposicion 1.1.5. Si A, B y C son conjuntos. Entonces
(1) A (B C) = (A B) (A C).
(2) A (B C) = (A B) (A C).
Nota 1. Existen varias formas de expresar la idea de conjunto como los
son, familia de objetos, coleccion de elementos, etc. y nosotros usaremos
con libertad este lenguaje.
As tambien cuando queremos hacer hincapie al referirnos a la natura-
leza de los elementos de un conjunto, usaremos frases como un conjunto
cuyos elementos son conjuntos o familia de conjuntos, ya que en es-
tos casos lo que queremos hacer es trabajar con estos conjuntos que son
elementos de un conjunto dado.
Denicion 1.1.4.
(i) Diremos que dos conjuntos A y B son ajenos si A B = .
(ii) Sea F un conjunto cuyos elementos son conjuntos. Diremos que los
conjuntos de F son ajenos dos a dos, si cualesquiera dos conjuntos que
pertenecen a F son ajenos.
Denicion 1.1.5. Dados dos conjuntos A y B su diferencia es el con-
junto
A B = {x | x A y x
/ B} .
La diferencia de conjuntos, vista como una operacion en los conjuntos,
en general no es ni asociativa ni conmutativa y tampoco distribuye ni a la
union ni a la interseccion. Sin embargo s se tiene que
Proposicion 1.1.6. (Leyes de Morgan) Si A y B son conjuntos, entonces
(1) A (B C) = (A B) (A C).
(2) A (B C) = (A B) (A C).
Los conceptos de union e interseccion de dos conjuntos pueden genera-
lizarse a familias arbitrarias de conjuntos de la siguiente manera.
4 Nociones basicas
Denicion 1.1.6. Sea F una familia de conjuntos. La union de todos los

conjuntos A que pertenecen a F es el conjunto

A = {x | Existe A F tal que x A} .
AF
Denicion 1.1.7. Sea F una familia no vaca de conjuntos. La intersec-

cion de todos los conjuntos A que pertenecen a F, es el conjunto

A = {x | para toda A F se tiene que x A} .
AF
Observacion 1.1. Para la union no es necesario pedir que la familia F

de
conjuntos sea no vaca ya que en este caso se tiene naturalmente que
A = . Sin embargo en el caso de la interseccion es indispensable que
A
F = , ya que
x A x A A F,
AF
y en el caso en que F = se cumplira trivialmente que, para todo conjunto
A y para toda x A
x A,
A
debido a que no existe ningun conjunto A que pertenezca a . Dicho de
otra manera, para demostrar que

x/ A,
A
deberamos exhibir un conjunto A tal

que x / A, lo que evidente-
mente no se puede hacer, y por lo tanto A sera igual a un conjunto
AF
universal en el sentido de que cualquier conjunto sera elemento de el;
pero como veremos despues de la Nota 2, no existe tal conjunto.
Nota 2. Aceptaremos como un hecho que dado un conjunto A y una
proposicion p(x), la coleccion de elementos de A que hacen verdadera a
p(x) es un conjunto (axioma de separacion), es decir, a partir de A y la
proposicion p(x), {x A | p(x) es verdadera} es un conjunto.
Por otra parte es importante mencionar que debemos tener cuidado
cuando construimos la coleccion de objetos que hacen verdadera una pro-
posicion, es decir, colecciones del tipo {x | p(x) es verdadera} deben ser
consideradas con cuidado, ya que pueden llevar a colecciones muy gran-
des de objetos que no necesariamente son conjuntos. Este tipo de colec-
ciones son llamadas clases propias y se puede trabajar con ellas correc-
tamente. Es mas, en el algebra, que es una parte muy importante de la
1.1 Conjuntos 5
Matematica, por poner un ejemplo, se trabaja con estas clases y son de

gran importancia. Existe una axiomatica que respalda el trabajo con estas
clases que incluye tanto clases como conjuntos y ademas cualquier teorema
acerca de conjuntos que pueda ser probado con la axiomatica de clases,
puede ser probado con la axiomatica de Zermelo-Fraenkel (incluyendo el
axioma de eleccion) e inversamente. Desde este punto de vista es mucho
mas enriquecedor para la matematica trabajar con esta axiomatica que
con la clasica (Zermelo-Fraenkel) y as teoras que tienen gran relevancia
en la matematica moderna, como, por ejemplo, la de categoras (de es-
tructuras algebraicas, espacios topologicos, etc.), se pueden estudiar sin
ningun problema.
Lo importante aqu es poder decidir si una coleccion de objetos es un
conjunto o no. Un buen ejemplo de clase propia es la coleccion de todos los
conjuntos. Si aceptaramos que esta clase es un conjunto esto nos llevara
a un conjunto universal U , lo que produce contradicciones en la Teora
de Conjuntos.
Teorema 1.1.7. U = {x | x es conjunto} no es un conjunto.
Demostracion. Supongamos que U es un conjunto y sea
C = {x U | x
/ x}.
C es un conjunto debido a lo dicho en el primer parrafo de la Nota 2, y

por lo tanto C U .
Una de las siguientes armaciones debe ser verdadera y solo una
CC oC
/ C.
Sin embargo ninguna de las dos lo es.

1o / Si C C, por denicion de C, se debe tener que C / C y por lo
tanto tendramos que C C y C / C lo que es una contradiccion.
2o / Si C
/ C, como C U , entonces C C. Por lo tanto se tiene que
CC yC / C, que es una contradiccion.
Concluimos entonces que U no es un conjunto.
El siguiente resultado, como puede verse, es un teorema equivalente al

Teorema 1.1.7.
Teorema 1.1.8. Dado un conjunto A, existe un conjunto B tal que B no

pertenece a A.
6 Nociones basicas
Denicion 1. 1.8. Dado un conjunto A, el conjunto potencia de A,

denotado por P(A) es el conjunto
P(A) = {C | C A}.
Denicion 1.1.9. El par ordenado de a, b, denotado por (a, b), es el

conjunto
(a, b) = {{a}, {a, b}}.
Teorema 1.1.9. (a, b) = (c, d) si y solo si a = c y b = d.
Demostracion. Supongamos que (a, b) = (c, d), es decir
{{a}, {a, b}} = {{c}, {c, d}}.
Caso 1: a = b. En este caso {{a}, {a, b}} = {{a}}, lo que signica, por
hipotesis, {{c}, {c, d}} = {{a}} y entonces a = b = c = d.
Caso 2: a = b. Como {a, b} es un elemento de {{c}, {c, d}} se debe tener
que {a, b} = {c} o {a, b} = {c, d}. El primer caso no puede suceder ya que
esto implicara que a = b, que no es el caso. Entonces se debe tener que
{a, b} = {c, d} y por lo tanto c = d. Por otro lado, como {a} {{c}, {c, d}}
y c = d entonces {a} = {c}, as a = c. Ahora, ya que {a, b} = {c, d}, a = b
y a = c, entonces b = d.
El inverso es obvio.
El concepto de par ordenado podra denirse de varias maneras (ver

Ejercicio 1.11) ya que el objetivo es que satisfaga el Teorema 1.1.9.
Denicion 1.1.10. El producto cartesiano de los conjuntos A y B es

el conjunto
A B = {(a, b) | a A y b B}.
Proposicion 1.1.10. Sean A, B y C conjuntos. Entonces

(1) Si A y B son conjuntos tales que A B = A B , entonces A = A
y B = B.
(2) A = .
(3) Si A = y B = , entonces A B = .
(4) A (B C) = (A B) (A C); (A B) C = (A C) (B C).
(5) A (B C) = (A B) (A C); (A B) C = (A C) (B C).
En el Captulo 2 deniremos, en general, el producto cartesiano de una

familia arbitraria de conjuntos.
1.2 Relaciones 7
1.2 Relaciones
Denicion 1.2.1.
(i) Una relacion de un conjunto X a un conjunto Y es una pareja orde-
nada R = (R, X Y ), donde R X Y .
(ii) El dominio de la relacion R, denotado por Dom(R), es el conjunto
Dom(R) = {x X | existe y Y tal que (x, y) R}.
(iii) La imagen de la relacion R, denotado por Im(R) o Ran(R), es el
conjunto
Im(R) = Ran(R) = {y Y | existe x X tal que (x, y) R} .
Nota 3. Usualmente, abusando del lenguaje, al referirnos a una relacion
R = (R, X Y ) usaremos unicamente al subconjunto R de X Y , en
lugar de la pareja ordenada R = (R, X Y ) y dejando en claro que
es una relacion de X a Y . Esto es, en vez de usar la pareja ordenada
R = (R, X Y ), diremos simplemente que R es una relacion de X a Y
y en este caso, el dominio Dom(R) y la imagen Im(R) de la relacion, se
denotaran Dom(R) y Im(R) respectivamente.
De acuerdo a la denicion de relacion y usando la nueva notacion,
queda claro que
Teorema 1.2.1. Las relaciones R de X a Y y R de X a Y son iguales
si y solo si X = X , Y = Y y R = R .
En el caso de que R sea una relacion de X a X, simplemente diremos
que R es una relacion en X.
Denicion 1.2.2. Sea R una relacion de X a Y . La relacion inversa
R1 de R es la relacion de Y a X, dada por
R1 = {(y, x) Y X | (x, y) R} .
El dominio y la imagen de la inversa de una relacion son la imagen y el
dominio de la relacion respectivamente.
Ejemplo 1.2.1.
(a) Para cualesquiera conjunto X y Y , es una relacion de X a Y y se
llama la relacion vaca.
(b) Sea X cualquier conjunto y sea X la siguiente relacion de X a X
X = {(x, x) | x X}
Entonces Dom(X ) = X, Im(X ) = X y (X )1 = X .
8 Nociones basicas
(c) Sean X cualquier conjunto y P(X) el conjunto potencia de X. Sea R

la relacion de X a P(X) denida por R = {(x, y) | x y}. Entonces
Dom (R) = X, Im (R) = {y P (X) | y = } ,
R1 = {(y, x) | (x, y) R} = {(y, x) | x y} .
Denicion 1.2.3. Sean R1 y R2 relaciones de A a B y de B a C respec-
tivamente. La composicion de R1 con R2 , denotada por R2 R1 , es la
relacion de A a C denida por
R2 R1 = {(x, z) | existe y B tal que (x, y) R1 y (y, z) R2 }.
Ejemplo 1.2.2. Sea X un conjunto, R1 la relacion de X a P (X) denida
por
(x, A) R1 X P (X) si y solo si x A,
y sea R2 la relacion de P (X) a P (P (X)) denida por
(A, B) R2 P (X) P (P (X)) si y solo si B = {A} .
La composicion R2 R1 es la relacion de X a P (P (X)) que esta dada
por (x, B) R2 R1 X P (P (X)) si y solo si existe A P (X) tal
que x A y B = {A}.
Teorema 1.2.2. Sea R1 una relacion de X a Y , R2 una relacion de Y a
Z y R3 una relacion de Z a W . Entonces
(1) R3 (R2 R1 ) = (R3 R2 ) R1 .
(2) (R2 R1 )1 = R11 R21 .
(3) R1 X = R1 y Y R1 = R1 .
Demostracion.
(1) Por denicion R3 (R2 R1 ) y (R3 R2 ) R1 son ambos sub-
conjuntos de X W (R2 R1 X Z y R3 R2 Y W ).
Solo falta demostrar que R3 (R2 R1 ) = (R3 R2 ) R1 . Con-
sideremos (x, w) R3 (R2 R1 ), entonces existe z Z tal que
(x, z) R2 R1 y (z, w) R3 . Ahora como (x, z) R2 R1 ,
existe y Y tal que (x, y) R1 y (y, z) R2 . Si (y, z) R2 y
(z, w) R3 , entonces (y, w) R3 R2 y ya que (x, y) R1 , se
tiene que (x, w) (R3 R2 ) R1 y por lo tanto
R3 (R2 R1 ) (R3 R2 ) R1 .
La otra inclusion se demuestra de manera analoga.
1.3 Funciones 9
(2) Como R11 Y X, R21 Z Y y R2 R1 X Z, entonces

R11 R21 Z X y (R2 R1 )1 Z X.
Sea (z, x) (R2 R1 )1 . Entonces (x, z) R2 R1 y por lo tanto
existe y Y tal que (x, y) R1 y (y, z) R2 . De aqu se tiene
que (y, x) R11 y (z, y) R21 y as (z, x) R11 R21 . Por lo
tanto (R2 R1 )1 R11 R21 .
La otra inclusion se demuestra de manera analoga.
(3) Se deja como ejercicio al lector.
Denicion 1.2.4. Sea R una relacion de X a Y , A X y B Y . La

imagen de A bajo la relacion R y la imagen inversa de B bajo la
relacion R son, respectivamente, los conjuntos
R [A] = {y Y | existe x A y (x, y) R} ,
1
R [B] = {x X | existe y B y (x, y) R} .
Ejemplo 1. 2.3. Sea X = {a, b, c, d} y Y = {x, y, z}. Consideramos la
relacion de X a Y , R = {(a, x), (c, x), (c, y), (d, y)}.
Si A = {a, b}, A = {b}, B = {x, y}, B = {z}, entonces f [A] = {x},
f [A ] = , f 1 [B] = {a, c, d} y f 1 [B ] = .
1.3 Funciones
En esta seccion estudiaremos ciertas relaciones entre conjuntos, lla-

madas funciones. Ellas son de gran importancia ya que nos permiten, de
alguna manera comparar dos conjuntos, y en muchas ocasiones podemos
obtener informacion de un conjunto a traves de otro dado.
Denicion 1.3.1. Sean X y Y conjuntos y f una relacion de X a Y . f
se llama funcion de X a Y si
(1) Dom (f ) = X,
(2) Si (x, y) , (x, y ) f entonces debe ser y = y .
Denicion 1. 3.2. Si f es una funcion de X a Y , el dominio de la
funcion es el dominio de la relacion (ver pagina 7, Denicion 1.2.1). La
imagen o rango de la funcion es la imagen o rango de la relacion (ver
pagina 7, Denicion. 1.2.1). Al conjunto Y se le llama el codominio o
contradominio de la funcion.
10 Nociones basicas
Ejemplo 1.3.1.
(a) Sean X = {a, b, c}, Y = {X, }.
f1 = {(a, X), (b, X), (c, )} es una funcion de X a Y .
f2 = {(a, X), (b, )} no es funcion de X a Y ya que Dom (f ) = {a, b} = X.
f3 = {(a, ), (b, X), (c, X), (a, X)} no es funcion de X a Y ya que
(a, ), (a, X) f y X = .
(b) Para cada conjunto X, existe una unica funcion f de en X, que es
f = , llamada la funcion vaca.
(c) Sea X un conjunto. f = {(x, A) X P(X) | x A} es funcion si y
solo si X = o X tiene un unico elemento.
(d) Para cada conjunto X, f = {(x, x) | x X} es una funcion de X a X,
llamada la funcion identidad de X y la denotaremos por 1X .
(e) Si X y Y son conjuntos y yo un elemento jo de Y , la funcion de X a
Y dada por f = {(x, yo ) | x X} se llama la funcion constante igual a
yo .
(f ) Si X y Y son conjuntos arbitrarios no vacos, la funcion 1 , de X Y
a X dada por 1 = {((x, y) , x) | (x, y) X Y } se llama la proyec-
cion de X Y sobre X y la funcion 2 de X Y a Y denida por
2 = {((x, y) , y) | (x, y) X Y } se llama la proyeccion de X Y
sobre Y .
Notacion 1.1. Para indicar que f es una funcion de X a Y generalmente

se utilizan los siguientes smbolos
f
f: X / Y o bien X /Y .
Si (x, y) f , al elemento y lo denotaremos por f (x). No hay posibilidad

de confusion ya que para cada x X , f (x) queda determinada de manera
unica por la denicion de funcion.
Ejemplo 1.3.2. Con esta nueva notacion en los incisos (a), (d), (e) y (f )
del Ejemplo 1.3.1 tenemos
(a) f1 : {a, b, c} {X, } dada por f1 (a) = X, f1 (b) = X y f1 (c) = .
(d) 1X : X X denida por 1X (x) = x para toda x X.
(e) f : X Y dada por f (x) = y0 , donde y0 es un elemento jo de Y.
(f ) 1 : X Y X dada por 1 (x, y) = x y 2 : X Y Y dada
por 2 (x, y) = y.
Teorema 1.3.1. Sean f : X Y y g : X Y funciones, f = g si y

solo si X = X , Y = Y y f (x) = g (x) para todo x X.
1.3 Funciones 11
Denicion 1.3.3. Sea f : X Y una funcion y X X. La funcion

g : X Y dada por g (x) = f (x) para cada x X se llama la res-
triccion de f a X y la denotaremos por f |X .
En particular 1X |X : X X se la llama la funcion inclusion de

X en X.
Denicion 1.3.4. Sean f : X Y una funcion, A X y B Y .
(i) f [A] = {f (x) | x A} se llama la imagen de A bajo la funcion f .
(ii) f 1 [B] = {x A | f (x) B} se llama la imagen inversa de B
bajo f .
Denicion 1.3.5. Sean f : X Y y g : Y Z funciones. La compo-
sicion de f con g es la funcion h : X Z con regla de correspondencia
h (x) = g (f (x)). A la funcion h se le denota por g f . En diagramas
f g
X /Y /Z
/
gf
Ejemplo 1.3.3.
(a) Si f : X Y , entonces f 1X = f y 1Y f = f
(b) Sean i1 : X X X e i2 : X X X denidas por
i1 (x) = (x, x0 ) e i2 (x) = (x0 , x) donde x0 es un elemento jo de X.
Entonces para cualesquiera x, y X,
(1 i1 ) (x) = x = (2 i2 ) (x) , (1 i2 ) (x) = x0 = (2 i1 ) (x) ,
(i1 1 ) (x, y) = (x, x0 ) , (i1 2 ) (x, y) = (y, x0 ) ,
(i2 1 ) (x, y) = (x0 , x) , (i2 2 ) (x, y) = (x0 , y) .
Denicion 1.3.6. Sea f : X Y una funcion
(i) f se llama inyectiva si para cualesquiera x1 , x2 X, f (x1 ) = f (x2 )
implica x1 = x2 .
(ii) f se llama suprayectiva o sobre si Im (f ) = Y .
(iii) f se llama biyectiva si es inyectiva y suprayectiva.
Teorema 1.3.2. Sean f : X Y y g : Y Z funciones
(1) Si f y g son inyectivas, entonces g f es inyectiva.
(2) Si f y g son suprayectivas, entonces g f es suprayectiva.
(3) Si f y g son biyectivas, entonces g f es biyectiva.
Teorema 1.3.3. Sean f : X Y y g : Y Z funciones
(1) Si g f es inyectiva, entonces f es inyectiva.
(2) Si g f es suprayectiva, entonces g es suprayectiva.
(3) Si g f es biyectiva, entonces f es inyectiva y g es suprayectiva.
12 Nociones basicas
Denicion 1.3.7. Sea f : X Y

(i) Una funcion g : Y X es un inverso izquierdo de f si g f = 1X .
(ii) Una funcion h : Y X es un inverso derecho de f si f h = 1Y .
Teorema 1.3.4. Sea f : X Y una funcion. Son equivalentes
(i) f es inyectiva,
(ii) f tiene un inverso izquierdo,
(iii) Para cualesquiera funciones g, h : Z X, f g = f h implica
g = h.
Teorema 1.3.5. Sea f : X Y una funcion. Son equivalentes
(i) f es suprayectiva.
(ii) f tiene un inverso derecho.
(iii) Para cualesquiera funciones g, h : Y Z, g f = h f implica
g = h.
Teorema 1.3.6. Una funcion f : X Y es biyectiva si y solo si existe
una unica funcion g : Y X tal que g f = 1X y f g = 1Y .
Nota 4. La funcion g del Teorema 1.3.6 se llama la funcion inversa de
f y se denota por f 1 . Es claro de los Teoremas 1.3.4 y 1.3.5 que si f es
una funcion biyectiva, entonces f 1 es una funcion biyectiva.
Con el concepto de funcion podemos dar una nueva descripcion de una
familia de conjuntos. En muchas ocasiones es muy comodo trabajar con
conjuntos, en particular cuando se trata de familias de conjuntos, distin-
guiendo a sus elementos por subndices, como por ejemplo {x , y , z }
o {i | i I} donde I = {x, y, z}.
Formalicemos este concepto un poco mejor. Sea C un conjunto a cuyos
elementos pretendemos indicar con los ndices i de un conjunto I y sea
: I C una funcion suprayectiva. Podemos describir a C como la
imagen de de tal manera que si denotamos (i) = i C, tendremos
que C se puede describir como C = {i | i I} o como C = {i }iI y
as diremos que C es un conjunto indicado, con I como el conjunto de
ndices. Es decir, si C = {i }iI entenderemos que esta dada una funcion
suprayectiva : I C, tal que (i) = i y en este caso C recibe el
nombre de familia indicada.
Ejemplo 1.3.4. Si I = {a, b, c, d} y F= {Ai }iI es una familia de subcon-
juntos de X, esto signica que F = {Aa , Ab , Ac , Ad } donde Ai X para
i = a, b, c, d. Entonces

A= Ai = {x | existe i I tal que x Ai } = Aa Ab Ac Ad .
AF iI
1.4 Relaciones de equivalencia 13
1.4 Relaciones de equivalencia
Denicion 1.4.1. Sea X un conjunto y R una relacion de X a X. Diremos

que R es una relacion de equivalencia en X, si satisface las siguientes
condiciones
(1) Para cada x X, (x, x) R , (Propiedad reexiva)
(2) Si (x, y) R, entonces (y, x) R, (Propiedad simetrica)
(3) Si (x, y) R y (y, z) R, entonces (x, z) R . (Propiedad transitiva)
Es inmediato de la denicion que, si R es una relacion de equivalencia

entonces Dom(R) = X, Ran(R) = X.
Nota 5. Si R es una relacion de equivalencia en un conjunto X y x, y X
son tales que (x, y) R, escribiremos x R y en lugar de (x, y) R, y
cuando no pueda haber confusion omitiremos la R de la siguiente manera
x y. En caso de que (x, y)
/ R lo denotaremos como x y.
Ejemplo 1.4.1.
(a) Sea X cualquier conjunto. Entonces X = {(x, x) | x X} y X X
son relaciones de equivalencia en X. Con la notacion dada en la Nota 5,
la relacion X queda denida por
x y si y solo si x = y
(b) Sean X = {a, b, c} y R = {(a, a), (b, b), (c, c), (a, b), (b, a)} es una rela-
cion de equivalencia en X. R = {(a, a), (b, b), (c, c), (a, c)} no es de equi-
valencia ya que no satisface (ii) de la Denicion 1.4.1, es decir, no es
simetrica, ya que (a, c) R y (c, a)
/ R .
(c) Sea X = {a}. La unica relacion de equivalencia en X es {(a, a)}.
Notacion 1.2. En lo que sigue en R omitiremos la R cuando no haya
posibilidad de confusion.
Denicion 1.4.2. Sea R una relacion de equivalencia en X y a X. La
clase de equivalencia de a respecto a R, (o la R-clase de equivalen-
cia de a) es el subconjunto de X denido por
[a]R = {x X | x a}
Nota 6. Debido a que a a para toda a X en una relacion de equi-
valencia R, entonces a [a], y por lo tanto, [a]R = para toda a X.
Cuando no es posible que haya confusion a la clase de [a]R la denotaremos
simplemente por [a].
14 Nociones basicas
Teorema 1.4.1. Sea R una relacion de equivalencia en X. Son equiva-

lentes
(1) [a] = [b].
(2) a b.
(3) [a] [b] = .
Demostracion.
(1) (2) Como a [a] = [b], entonces por denicion a b.
(2) (3) Supongamos que a b y sea x [a]. Entonces x a y, por
transitividad, x b. lo que signica que x [b] y as [a] [b] = .
(3) (1) Supongamos [a][b] = y sea x [a][b]. Entonces x a y x b

y por ser R transitiva y simetrica se tiene que a b. Si y [a]
entonces y a y por lo tanto, nuevamente por transitividad y b
y as y [b]. Analogamente se prueba que [b] [a].
Dada una relacion de equivalencia R, a cualquier x [a]R se le llama
un representante de la clase [a]R .
Corolario 1.4.2. Sea R una relacion de equivalencia en X. Si a, b X,
entonces [a] = [b] o [a] [b] = .
Veremos ahora que si R es una relacion de equivalencia, el conjunto
de clases de equivalencia, es decir, {[a] | a X} tiene ciertas propiedades
muy especiales. Para ello introducimos la siguiente
Denicion 1.4.3. Sea X un conjunto y {Xi }iI (ver pagina 12) una fami-
lia indicada de subconjuntos de X. Diremos que {Xi }iI es una particion
de X si satisface las condiciones siguientes
(1) Xi = para cada i I,
(2) Xi Xj = para cada i, j I con Xi = Xj ,
(3) Xi = X.
iI
Ejemplo 1.4.2.
(a) Para cualquier conjunto X = , {X} es una particion de X.
(b) Sean X = {a, b, c, d, e}, X1 = {a, b}, X2 = {c} y X3 = {d, e}.
{X1 , X2 , X3 } es una particion de X.
(c) Sea X = {a, b, c}. Sean X1 = {a, b} y X2 = {a, c}. {X1 , X2 } no es una
particion de X ya que X1 X2 = con X1 = X2 , es decir, no satisface la
condicion (ii) de la denicion.
1.4 Relaciones de equivalencia 15
Veremos ahora que cada relacion de equivalencia en un conjunto X

induce una particion en X, e inversamente, cada particion de X induce
una relacion de equivalencia en X. Para ello denimos
R = {relaciones de equivalencia en X} y P = {particiones de X},
para nes practicos, para cada relacion de equivalencia R (o R R),
denotemos por PR = {[a]R | a X}.
Lema 1.4.3. Sea X un conjunto y R una relacion de equivalencia en X,
entonces PR = {[a] | a X} es una particion de X.
Demostracion. De la Nota 6 y del Corolario 1.4.2 (pagina 13) se tiene
[a] = y [a] [b] = si [a] = [b]. Por ultimo, es inmediato que
que
[a] = X.
aX
Si X es un conjunto y P = {Xi }iI una particion de X, denimos

RP como la siguiente relacion en X, para a, b X decimos que a esta
relacionado con b (a RP b) si y solo si a y b pertenecen al mismo conjunto
Xi .
Lema 1.4.4. Sea X un conjunto y P = {Xi }iI una particion de X,
entonces RP es de equivalencia.
Demostracion. Claramente RP es reexiva y simetrica.
Si a RP b y b RP c, entonces existen i, j I tales que a, b Xi y
b, c Xj . Pero como cada elemento de X pertenece a uno y solo uno de
los Xi se tiene que i = j por lo que a RP c, y as RP es transitiva. Por
lo tanto RP es de equivalencia.
Denimos
: R P como (R) = PR
y
: P R como (P ) = RP .
Los Lemas 1.4.3 y 1.4.4 muestran que y estan bien denidas, as que
para terminar con el trabajo solo falta el siguiente
Teorema 1. 4.5. Si y son las funciones denidas arriba entonces
= 1P y = 1R.
Demostracion. En primer lugar mostraremos que = 1P. Sea P P,
con P = {Xi | i I}. Debemos mostrar que PRP = P , es decir,
PRP = ( )(P ) = (RP ) = P .
16 Nociones basicas
Sea [a]RP PRP . Por ser P una particion, a Xj para algun j I y

dado i I, si i = j, a
/ Xi . Entonces
[a]RP = {b X | a RP b}
= {b X | existe i I tal que a, b Xi } = Xj ,
esto es, [a]RP P . Por lo tanto PRP P .
Sea ahora Xj P . Dado a Xj tenemos que [a]RP = Xj , i.e.,
Xj PRP y por lo tanto P PRP .
Para nalizar la demostracion veremos que = 1R. Sea R una
relacion de equivalencia en X. Entonces
( ) (R) = (PR ) = ({[a]R | a X})
ahora demostraremos que a R b si y solo si a (PR ) b.
Tomemos a R b. Entonces, por el Teorema 1.4.1, a, b [a]R PR y
por lo tanto a (PR ) b.
Por otro lado si a (PR ) b, entonces existe Xi PR tal que a, b Xi .
Como Xi = [c]R para alguna c X, entonces a, b [c]R lo que implica
que a R b.
Por lo tanto (PR ) = R, y as = 1R .
Dada una relacion de equivalencia R en X, denotaremos por XR al
conjunto de clases de equivalencia respecto a R y lo llamaremos el con-
junto cociente de X respecto a R. Existe ademas una funcion natural
: X XR denida por (a) = [a] a la que llamaremos la funcion
canonica de X en su conjunto cociente XR. Esta funcion es suprayec-
tiva y ademas (x) = (y) si y solo si x y.
1.5 Relaciones de orden
En esta seccion estudiaremos un tipo de relacion de gran importancia

para nuestro estudio que es la relacion de orden en un conjunto.
Denicion 1.5.1. Una relacion R de X a X se llama orden parcial
sobre X si satisface
(1) (a, a)
/ R para toda a X,
(2) Si (a, b), (b, c) R, entonces (a, c) R.
Un orden parcial lo denotaremos por <, y si X es un conjunto con
un orden parcial <, en este caso diremos que (X, <) es un conjunto
parcialmente ordenado.
1.5 Relaciones de orden 17
Ademas si x, y X y x < y diremos que x es menor que y, y si no

sucede que x < y lo denotaremos por x y.
Proposicion 1.5.1. Sea < un orden parcial sobre X. Si a < b entonces
b a.
Demostracion. Es inmediato de la denicion de orden parcial.
Denicion 1. 5.2. Si < es un orden parcial sobre X, por a b (a es

menor o igual a b) entenderemos que se cumple, a < b o a = b.
Es claro, debido a que < es un orden parcial, que las dos posibilidades,
a < b y a = b, mencionadas en la denicion solo puede cumplirse una de
ellas y no ambas.
Proposicion 1.5.2. Sea < un orden parcial sobre X. Entonces
(1) a a para toda a X,
(2) Si a b y b a, entonces a = b,
(3) Si a b y b c, entonces a c.
Inversamente.
Proposicion 1.5.3. Sea una relacion sobre X que satisface
(1) a a para toda a X,
(2) Si a b y b a, entonces a = b,
(3) Si a b y b c, entonces a c.
Entonces la relacion sobre X denida por
a < b si y solo si a b y a = b,
es un orden parcial.
De las Proposiciones 1.5.2 y 1.5.3 tenemos entonces que los ordenes

parciales < y las relaciones que satisfacen las tres propiedades mencio-
nadas en la Proposicion 1.5.3 estan en correspondencia biyectiva y por lo
tanto trabajamos con < o indistintamente, esto es, si queremos demos-
trar que un conjunto (X, <) es parcialmente ordenado debemos vericar
que se cumplan las condiciones (a) y (b) de la Denicion 1.5.1, mientras
que si usamos debemos demostrar que (X ) satisface las condiciones
(1), (2) y (3) de la Proposicion 1.5.2.
Dado un orden parcial < sobre X, diremos que a y b con comparables
si a = b o a < b o b < a. En caso de que no se cumpla ninguna de las tres,
diremos que a y b son no comparables.
18 Nociones basicas
Ejemplo 1.5.1.
(a) Sea A un conjunto y X = P(A), el conjunto potencia de A. Denimos
para B, B P(A), B < B si B B .
< es un orden parcial sobre P(A). Ademas si A tiene mas de un elemento
entonces existen elementos en P(A) que no son comparables respecto a
esta relacion.
(b) Sea X = {a, b, c, d}. Denimos el siguiente orden en X, a < b, b < c,
c < d, a < c, a < d, b < d. Se puede ver facilmente que < es un orden
parcial en X. Ademas a diferencia del ejemplo anterior, en este caso todos
los elementos estan relacionados, es decir, para cualesquiera dos elementos
de X uno de ellos es menor que el otro.
Denicion 1.5.3. Sea (X, ) un conjunto parcialmente ordenado y a X
(i) a se llama maximo (mnimo) si para todo elemento a de X se tiene
que a a (a a ) .
(ii) a se llama maximal (minimal) si no existe a X tal que a < a
(a < a).
Un elemento maximo (mnimo) es comparable con cada elemento de
X, lo que no sucede en general con los maximales (minimales), es mas,
puede suceder que un maximal (minimal) no sea comparable con ningun
elemento de X, salvo con s mismo.
Si un elemento a es maximo (mnimo) entonces es maximal (minimal).
El recproco en general no es cierto. Mas adelante veremos que para ciertos
ordenes, maximal coincide con maximo y minimal con mnimo.
Proposicion 1.5.4. En un conjunto parcialmente ordenado (X, ) a lo
mas hay un maximo (mnimo).
Demostracion. Como un maximo (mnimo) es comparable con todos los
demas elementos de X, si hubiese dos maximos (mnimos) a y a entonces
tendramos que a a y a a; por la Proposicion 1.5.2 (2) se tiene que
a = a .
A diferencia de un maximo (mnimo) puede haber varios maxima-
les (minimales) en un conjunto parcialmente ordenado. Por ejemplo si
A = {a, b}, entonces (P(A) {A}, ) tiene dos maximales que son {a} y
{b}, sin embargo como tiene mnimo que es , solamente tiene un minimal
que por supuesto es .
1.5 Relaciones de orden 19
Denicion 1.5.4. Un orden parcial en un conjunto X se llama orden

total o lineal si cualesquiera dos elementos de X son comparables, es
decir, si a, a X entonces a < a o a < a o a = a . A un conjunto con
un orden total se le llama conjunto totalmente ordenado.
Dado que partimos de un orden parcial en la denicion de orden to-
tal, en realidad no es necesario pedir que se cumpla solo una de las tres
propiedades de a < b o b < a o a = b, ya que el hecho de ser < un orden
parcial no permite que se satisfaga mas de una (Proposicion 1.5.1).
Ejemplo 1.5.2.
(a) Dado un conjunto X, (P(X), ) es un conjunto totalmente ordenado
si y solo si X tiene a lo mas un elemento.
(b) Sea X = {a, b, c, d}. Denimos el siguiente orden en X : a < b, b < c,
c < d, a < c, a < d, y b < d, entonces (X, <) es un orden total.
Denicion 1. 5.5. Sea (X, ) un conjunto parcialmente ordenado y
Y X. Diremos que un elemento a X es una cota superior (co-
ta inferior) de Y en X, si para todo elemento x de Y se tiene que x a
(a x). Si el conjunto de cotas superiores (inferiores) de Y tiene mnimo
(maximo), a este se le llama supremo (nmo) de Y en X.
Ejemplo 1.5.3.
(a) Sea X un conjunto y (P(X), ), entonces si B P(X), C es el
CB
supremo de B en P(X) y C es el nmo de B en P(X).
CB
(b) Sea X un conjunto. Consideremos el conjunto parcialmente ordenado
(P(X),
), y sea = A X y B = P(A) {A} P(X), entonces
C es el nmo de B y C = A es el supremo de B. Notese que en
CB CB
este caso el supremo de B es A y no pertenece al conjunto B.
Denicion 1.5.6. Un subconjunto Y de un conjunto parcialmente orde-
nado (X, <) se llama una cadena en (X, <) si (Y, <) es un conjunto
totalmente ordenado.
Un caso particular de orden total es el de buen orden que denimos a
continuacion.
Denicion 1.5.7. Sea < un orden parcial en X. < se llama un buen
orden si cada subconjunto no vaco de X tiene mnimo, y en este caso
decimos que (X, <) es un conjunto bien ordenado.
20 Nociones basicas
Proposicion 1.5.5. Si < es un buen orden entonces es un orden total.

Demostracion. Dados a, b X, basta tomar {a, b} y aplicar el hecho de
que < es un buen orden.
1.6 Ejercicios 21
1.6 Ejercicios
1.1. Demuestre los Teoremas 1.1.1 y 1.1.2.

1.2. Demuestre las Proposiciones 1.1.3, 1.1.4 y 1.1.5.
1.3. Sean A, B y C conjuntos, demuestre que
(i) A (B C) = (A B) (C).
(ii) (A B) C = (A C) (B C).
(iii) A (B C) = (A B) C.
1.4. Si A, B y C conjuntos, demuestre que
A (B C) = (A B) (A C)
de lo anterior deducir que es posible denir la interseccion de conjuntos a
partir de la diferencia.
1.5. Sean A, B y C conjuntos, demostrar que
(i) A B = A si y solo si A B = .
(ii) A (B C) = (A B) C si y solo si A C = .
1.6. Demuestre las Proposiciones 1.1.6 y 1.1.10.
1.7. Sean A, B y C conjuntos. Pruebe que
(i) C = A B si y solo si A C, B C y para todo conjunto X, si
A X y B X, entonces C X.
(ii) C = A B si y solo si C A, C B y para todo conjunto X, si
X A y X B, entonces X C.
1.8. Demuestre el Teorema 1.1.8.
1.9. Para cualesquiera dos conjuntos A y B denimos
A + B = (A B) (B A)
llamada la diferencia simetrica de A y B, y A B = A B.
(i) Pruebe que para cualquier conjunto X, (P(X), +, ) es un anillo con-
mutativo con unidad, es decir, para cualesquiera A, B, C P(X) se tiene
que
(a) (A + B) + C = A + (B + C),
(b) A + B = B + A,
(c) Existe 0 P (X) tal que A + 0 = A,
(d) Para cada A P (X) existe B P (X) tal que A + B = 0;
(e) (A B) C = A (B C),
(f ) A B = B A,
22 Nociones basicas
(g) Existe I P (X) tal que A I = A,

(h) A (B + C) = (A + B) (A + C).
(ii) Demuestra que cada elemento de P (X) es idempotente, es decir
A A = A.
1.10. Si (R, +, ) es un anillo, un ideal I del anillo R es un subconjunto
de R que cumple
(a) I es un grupo abeliano con la suma restringida de R, es decir,
para toda a, b, c I se tiene
(i) (a + b) + c = a + (b + c)
(ii) a + b = b + a
(iii) Existe un elemento en I que denotaremos 0 tal que a + 0 = a
(iv) Para toda a I existe b I tal que a + b = 0
(b) r R y b I r b I.
Con respecto al ejercicio anterior. Muestra que si A X, entonces
P (A) es un ideal de P (X).
1.11. Sean X y Y conjuntos Denimos x, y = {{x, }, {y, {}}} donde
x X y y Y . Demostrar que x, y = x , y si y solo si x = x y y = y .
Esta es una denicion alternativa para la pareja ordenada (x, y).
1.12. Sea X un conjunto. Un subconjunto K de P (X) es una direccion
en X si satisface
(a) K = y
/ K,
(b) Para todo A, B K existe C K tal que C A B.
Probar que para todo a X, Na = {Y X | a Y } es una direccion
en X.
1.13. Sea X un conjunto. Un subconjunto F de P (X) es un ltro en X
si satisface
(a) F es una direccion,
(b) Para todo B X, si existe A F tal que A B, entonces
B F. Probar que el conjunto Na del ejercicio anterior es un ltro.
1.14. Sea F un ltro en un conjunto X y sea A X. Probar que
FA = {L A | L F} es un ltro en A si y solo si L A = para
todo L F.
1.15. Sean K1 y K2 direcciones en X1 y X2 respectivamente. Si
K = {A B| A K1 y B K2 }
entonces K es una direccion en X1 X2 .
1.6 Ejercicios 23
1.16. Demuestre el inciso (3) del Teorema 1.2.2.

1.17. Sea {Ri }iI una familia de relaciones de A a B y sea R una relacion
de B a C. Probar que

R Ri = (R Ri ).
iI iI
1.18. Probar los Teoremas 1.3.1, 1.3.2 y 1.3.3.
1.19. De un ejemplo de funciones f : A B y g : C tales que g f
sea inyectiva y g no lo sea.
1.20. Probar los Teoremas 1.3.4, 1. 3.5 y 1.3.6.
1.21. De un ejemplo de funciones f : A B y g : B C tales que
g f sea suprayectiva, pero f no lo sea.
1.22. Sean f : A B y g : B C funciones. Probar
(i) g f es inyectiva si y solo si f es inyectiva y g|Im(f ) : Im (f ) C es
inyectiva,
(ii) g f es suprayectiva si y solo si g|Im(f ) : Im (f ) C es suprayectiva.
1.23. Probar que si f : A B y g : B C son funciones biyectivas,
entonces g f es biyectiva y ademas (g f )1 = f 1 g 1 .
1.24. Sea f : A B una funcion. Probar
(i) Si S T A entonces f [S] f [T ],
(ii) Si U V B entonces f 1 [U ] f 1 [V ],
(iii) Sea F : P (A) P (B) denida por F (S) = f [S] y
G : P (B) P (A) denida por G (U ) = f 1 [U ]. Si f es suprayec-
tiva entonces F G = IP(B) y si f es inyectiva entonces G F = IP(A) .
1.25. Sea f : A B una funcion. Sean S, T A y U, V B. Probar
(i) f [S T ] = f [S] f [T ],
(ii) f 1 [U V ] = f 1 [U ] f 1 [V ],
(iii) f [S T ] f [S] f [T ] y f [S T ] = f [S] f [T ] si y solo si f es
inyectiva,
(iv) f 1 [U V ] = f 1 [U ] f 1 [V ].
1.26. Generaliza el ejercicio anterior para uniones e intersecciones arbi-
trarias.
1.27. Sea f : A B una funcion. Probar
(i) Para todo U B, f 1 [B U ] = A f 1 [U ],
(ii) Para todo S A, B f [S] f [A S] si y solo si f es suprayectiva,
(iii) Para todo S A, f [A S] B f [S] si y solo si f es inyectiva.
24 Nociones basicas
1.28. Sea m un elemento jo de un conjunto X y sea f : X X la

funcion constante igual a m. Probar
(i) f g = f para toda funcion g : X X.
(ii) Recprocamente, si f : X X es una funcion tal que f g = f para
toda funcion g : X X, entonces existe m X tal que f (x) = m para
todo x X.
1.29. Sea f : A A una funcion. Probar
(i) Si S, T A tal que f [S] = S y f [T ] = T entonces
f [S T ] = f [S] f [T ].
(ii) Generalice (i) para cualquier familia arbitraria de subconjuntos de A.
(iii) Existe un unico subconjunto S de A, maximo con respecto a la inclu-
sion de conjuntos con la propiedad de que f [S] = S.
(iv) Si S, T A son tales que f restringida a cada uno de ellos es inyectiva,
es necesariamente f inyectiva en S T ?
1.30. Sean A, B conjuntos y sean 1 y 2 las proyecciones de A B en
A y B respectivamente. Probar que para cualquier conjunto X y para
cualesquiera funciones f : X A, g : X B existe una unica funcion
h : X A B tal que 1 h = f y 2 h = g.
1.31. Sean A, B, C, D conjuntos y sean f : A C y g : B D
funciones. Denir una funcion natural h : A B C D tal que si f y
g son biyectivas, entonces h es biyectiva.
1.32. Sean A, B, C y D conjuntos y f : A C, g : B D funciones.
Denir una funcion natural k : F unc (C, B) F unc (A, D), donde
para conjuntos arbitrarios L y M , F unc (L, M ) denota el conjunto de
funciones de L en M .
1.33. Sean A, B y C conjuntos. Denir una funcion natural
f : F unc (A, F unc (B, C)) F unc (A B, C)
y probar que esta es una biyeccion.
1.34. Sean A, B y C conjuntos. Denir una funcion natural
f : F unc (C, A B) F unc (C, A) F unc (C, B)
y probar que esta es una biyeccion.
1.6 Ejercicios 25
1.35. Sea B un conjunto, {fi }iI una familia de funciones tal que para
cualesquiera i, j I, fi (x) = fj (x) para todo x Dom
(fi ) Dom (fj ).
Probar que existe una funcion f con dominio D = Dom (fi ) tal que
iI
para cada i I, f (x) = fi (x) para todo x Dom (fi ).
1.36. Sea B un conjunto, {Ai }iI una familia de conjuntos y sea, para
cada i I, fi : Ai B una funcion. Suponga que paracada i, j I,
fi |(Ai Aj ) = fj |(Ai Aj ) . Probar que existe una funcion f : Ai B tal
iI
que f |Ai = fi para todo i I.
1.37. Sea f : X Y una funcion. Probar
(i) Si F es un ltro en X(vease, Ejercicio 1.13), entonces f (F) es una di-
reccion en Y (vease, Ejercicio 1.12 ). Ademas, si f es suprayectiva entonces
f (F) es un ltro en Y ,
(ii) Si K es una direccion en Y , entonces f 1 (K) es una direccion en X
si y solo si G f (X) = para todo G K.
1.38. Demuestre el Corolario 1.4.2.
1.39. Sea R una relacion en un conjunto X. Probar que R R1 es la
relacion simetrica mas pequena que contiene a R y que R R1 es la mas
grande contenida en R.
1.40. Sea R una relacion reexiva y transitiva en un conjunto X. Probar
que R R = R.
1.41. Sea R una relacion en un conjunto X. Probar que R es de equivalen-
cia si y solo si X R y R R1 R = R, donde X = {(x, x) | x X}.
1.42. Sean R1 y R2 relaciones de equivalencia en un conjunto X. Probar
que R2 R1 es una relacion de equivalencia en X si y solo si
R2 R1 = R1 R2 . Probar ademas que cuando esta condicion se satisface
entonces R2 R1 es la interseccion del conjunto de todas las relaciones de
equivalencia en X que contienen a R1 y R2 .
1.43. Sea R una relacion de equivalencia en un conjunto X. Sea A R
tal que la imagen de la proyeccion 1 en A es X. Probar que R A = R y
que si S es cualquier relacion, entonces (R S) A = R (S A).
26 Nociones basicas
1.44. Sean A y B conjuntos y f una funcion de A a B. Sea

Rf = {(x, y) A A | f (x) = f (y)} .
Probar
(i) Rf es una relacion de equivalencia en A y la llamaremos la relacion
de equivalencia asociada a f .
(ii) Si F = {(a, f (a)) | a A} entonces Rf = F 1 F .
1.45. Sea R una relacion de equivalencia en un conjunto X y sea
: X X/R la funcion canonica (ver pagina 16) de X en X/R. Probar
que R es la relacion de equivalencia asociada a .
1.46. Sea R una relacion de equivalencia en un conjunto X, sea
: X X/R la funcion canonica de X en X/R y sea A un sub-
conjunto de X. Diremos que A es saturado respecto a R si para cada
a A, [a] A. Probar
(i) A es saturado respecto a R si y solo si A es union de clases de equiva-
lencia respecto a R.
(ii) A es saturado respecto a R si y solo si 1 ( (A)) = A.
1.47. Sea R una relacion de equivalencia en un conjunto X, sea la
funcion canonica de X en X/R y sea B un subconjunto de X. Probar
(i) 1 ( (B)) es el subconjunto saturado mas pequeno de X con respecto
a la inclusion que contiene a B. Llamaremos a este conjunto saturacion
de B respecto a R.
(ii) Sea f una funcion de X en un conjunto Y . Existe una funcion
h : X/R Y tal que f = h si y solo si para todo (x, y) R se
tiene que f (x) = f (y).
1.48. Sean f : X Y una funcion, R y S relaciones de equivalencia en X
y Y respectivamente, R y S las funciones canonicas de X en X/R y de Y
en Y /S respectivamente. Probar que existe una funcion h : X/R Y /S
tal que h R = S f si y solo si para todo (x, y) R se tiene que
(f (x) , f (y)) S.
1.49. Sean R y S relaciones de equivalencia en un conjunto X, tal que
S R. Dena una relacion de equivalencia natural R/S en X/S de tal
manera que exista una biyeccion de X/R en (X/S)/(R/S).
1.50. Sea f : X X una funcion. Un subconjunto A de X se llama
f -invariante si f (A) A. Un conjunto f -invariante se llama inescindi-
ble si no puede ser expresado como union ajena de conjuntos no vacos
f -invariantes. Probar que A se expresa de manera unica como union ajena
1.6 Ejercicios 27
de conjuntos inescindibles f -invariantes (Sugerencia: Dena una relacion

de equivalencia adecuada).
1.51. Demuestre las Proposiciones 1.5.1 y 1.5.2.
1.52. Sea X un conjunto tal que P (X) es una cadena respecto a la
inclusion. Que se puede decir de X?
1.53. Se dice que un conjunto parcialmente ordenado (X, <) es una
retcula si cada pareja de elementos {x, y} de X tiene supremo e n-
mo en X y en este caso los denotaremos x y y x y respectivamen-
te. La retcula X sera distributiva si para todo x, y, z X se tiene que
x (y z) = (x y) (x z).
Probar que cualquier cadena es una retcula distributiva.
1.54. Se dice que X es una retcula completa si cada subconjunto de X
tiene supremo e nmo en X. Sea X un conjunto. Probar que (P (X) , )
es una retcula completa.
1.55. Sea (X, <) un conjunto parcialmente ordenado con la propiedad de
que cualquier subconjunto de X tiene supremo. Suponga ademas que X
tiene mnimo. Probar que X es una retcula completa. (Sugerencia: Dado
un subconjunto Y de X, considere el conjunto de cotas inferiores de Y ).
1.56. Sea X una retcula en la que cualquier subconjunto acotado superior-
mente tiene supremo. Probar que cualquier subconjunto de X, acotado
inferiormente, tiene nmo.
1.57. Sea C una cadena y X un conjunto parcialmente ordenado. Sea
f : C X una funcion inyectiva tal que para todo a, b C, si a < b
entonces f (a) < f (b). Probar que si f (a) < f (b) entonces a < b.
1.58. Sea X una retcula completa (ver, Ejercicio 1.54) y sea f : X X
una funcion tal que para todo a, b X, si a < b entonces f (a) < f (b).
Probar que f deja jo a algun elemento de X , es decir, existe x X tal
que f (x) = x. (Sugerencia: Considere el conjunto {a X | a < f (a)}).
1.59. Sean (A, <) un conjunto bien ordenado y B A. Demostrar que
(B, <B ) es un conjunto bien ordenado, donde <B es el orden < de A
restringido a B.
Un subconjunto S de una cadena (C, <) se llama segmento inicial
(segmento nal), si para toda x C si x < a (a < x) para alguna a S,
entonces x S.
28 Nociones basicas
1.60. Diremos que un subconjunto S de una cadena (C, <) es convexo

si tiene la siguiente propiedad: Para todo x C, si existen a, b S tales
que a < x < b, entonces x S. Probar que un subconjunto convexo S de
una cadena (C, <) es la interseccion de un segmento inicial de C con un
segmento nal de C.
Captulo 2
El Axioma de Eleccion y sus

equivalencias
2.1 Introduccion
En este captulo presentamos el Axioma de Eleccion junto con algunas

de sus equivalencias entre las que se encuentran el Lema de Zorn, cuya
importancia se hace evidente en los siguientes captulos.
En el captulo 1 denimos el producto cartesiano de A B de una
pareja de conjuntos A y B. En esta seccion introduciremos la denicion
del producto cartesiano de una familia arbitraria de conjuntos.
Denicion 2.1.1. Dada una familia de conjuntos no vacos {Ai }iI , una
funcion de seleccion para esta familia es una funcion

f : {Ai }iI Ai
iI
tal que f (Ai ) Ai para toda i I.
Esto corresponde a la idea de que dada una familia no vaca de conjun-
tos no vacos, se puede elegir simultaneamente un elemento de cada uno
de los conjuntos de la familia.
Denicion 2.1.2. Dada una familia de conjuntos {Ai }iI , su producto
cartesiano es el conjunto
Ai = {f | f es una funcion de seleccion para la familia {Ai }iI }.
iI
En el Captulo 1 vimos, en la Proposicion 1.1.10 inciso (3), que si A

y B son conjuntos no vacos entonces A B es no vaco. Sin embar-
go para el producto cartesiano de una familia no vaca de conjuntos no
vacos no se puede demostrar que este resultado es verdadero, es decir que
29
30 El Axioma de Eleccion y sus equivalencias
Ai = . Debido a que no tenemos las herramientas necesarias en la

iI
Teora de Conjuntos para hacerlo. Es por esto, entre otras razones, que
debemos introducir como uno de los axiomas que sustentan a la Teora de
Conjuntos, al llamado Axioma de Eleccion que dice
Axioma de Eleccion Dada una familia no vaca de conjuntos no
vacos, existe una funcion de seleccion para esta familia.
Este axioma es evidentemente otra forma de decir que el producto
cartesiano de una familia no vaca de conjuntos no vacos es no vaco.
Notacion 2. 3. A los elementos (funciones de seleccion) f Ai , los
iI
denotaremos por f = (ai )iI para cada i I, donde f (Ai ) = ai para toda
i I.
As pues, con esta notacion tenemos que
Ai = {(ai )iI | ai Ai i I}.
iI
Cabe mencionar que en el caso en que I = {m, n}, Ai no coincide

iI
con el producto cartesiano Am An denido en el capitulo 1, sin embargo
se puede demostrar sin ninguna dicultad que existe una biyeccion entre
estos dos conjuntos.
2.2 Equivalencias del Axioma de Eleccion
Teorema 2.2.1. Son equivalentes

(1) Axioma de Eleccion. Para cada familia C no vaca de conjuntos no
vacos existe una funcion f : C C tal que f (C) C.
CC
(2) Principio maximal de Hausdor. Cada conjunto parcialmente
ordenado tiene una cadena maximal.1
(3) Lema de Zorn. En un conjunto parcialmente ordenado (X, <) si cada
cadena en X tiene cota superior en X, entonces (X, <) tiene al menos un
maximal.
(4) Teorema de Zermelo. Cada conjunto acepta un buen orden, es decir,
para cualquier conjunto X, existe una relacion binaria < sobre X tal que
(X, <) es bien ordenado.
1Una cadena C en un conjunto parcialmente ordenado X es maximal si para cual-
quier cadena C en X, si C C , entonces C = C .
2.2 Equivalencias del Axioma de Eleccion 31
Demostracion.
(1) = (2) Sea (X, <) un conjunto parcialmente ordenado y sea
Cad(X) = {C X | C es una cadena}.
Como es una cadena en (X, <), entonces Cad(X) y as Cad(X) = .
Consideremos el conjunto parcialmente ordenado (Cad(X), ). Para cada
C Cad(X), denimos
Comp(C) = {a X | para todo b C a b o b a}.
Por denicion de cadena (vease Denicion 1.5.6 pag. 19) C Comp(C)
y ademas Comp(C) C = si y solo si C no es una cadena maximal.
Sea
Cad0 (X) = {C Cad(X) | Comp(C) C = } Cad(X).
Si Cad0 (X) = entonces toda cadena C en X es maximal y el resul-
tado se tiene. Supongamos ahora que Cad0 (X) = , esto implica que la
familia {Comp(C) C}CCad0 (X) = y por construccion cada elemento
de dicha familia es no vaco; as tenemos una familia no vaca de conjuntos
no vacos. Por el Axioma de Eleccion, existe una funcion

: {Comp(C) C}CCad0 (X) / {Comp(C) C} ,
CCad (X)0
tal que (Comp(C) C) Comp(C) C. Sea la funcion de Cad0 (X)

a {Comp(C) C}CCad0 (X) dada por (C) = Comp(C) C. Finalmente
consideramos la funcion

f = : Cad0 (X) / {Comp(C) C}
CCad (X) 0
que satisface f (C) Comp(C) C.

Denimos
g : Cad(X) / Cad(X)

/ C {f (C)} si C no es maximal
C C si C es maximal
Mostraremos que g tiene un punto jo, es decir, existe C Cad(X) tal
que g(C) = C, lo que signica que efectivamente existe en Cad(X) una
cadena maximal. Para esto introducimos el concepto de torre
Denicion 2. 2.1. Sea Cad(X). Diremos que es una torre si

satisface las siguientes condiciones
(1) ,
(2) Si C entonces g(C) ,
Si {Ci }iI es una cadena (respecto a ) de cadenas en entonces
(3)
Ci .
iI
La interseccion de todas las torres es una torre:

Sea G = { Cad(X) | es una torre}, G = ya que Cad(X) G,
es decir, Cad(X) es una torre
(1) Ya hemos mencionado que Cad(X).
(2) Si C Cad(X), entonces, si C es maximal en Cad(X), g(C) = C
y as g(C) Cad(X) y en el caso en que C no es maximal,
g(C) = C {f (C)} y por ser C una cadena y f (C), por deni-
cion, es comparable con todos los elementos de C, se tiene que
C {f (C)} es una cadena en X.
Por lo tanto g(C) = C {f (C)} Cad(X).
(3) Si {Ci }iI es una cadena de cadenas en Cad(X), Ci Cad(X)
iI
porque si a, b Ci , entonces a Ci para alguna i I y b Cj
iI
para alguna j I. Pero como {Ci }ii es una cadena, Ci Cj o
Cj Ci y por lo tanto a, b Ci o a, b Cj y debido a que Ck es
una cadena en X, entonces a b o b a.

Armamos que o = es una torre:
G
(i) 0 ya que para todo G, .
(ii) Si C 0 entonces g(C) para todo G y por lo tanto g(C) 0 .
(iii) Si {Ci }iI es una cadena de cadenas en 0 entonces para
cada i I
y para cada G, Ci y por ser una torre entonces Ci para
iI
cada G. Por lo tanto Ci 0 .
iI
Por denicion 0 es la mnima torre. Ahora veremos que es una cadena
de cadenas, y para esto veremos que el conjunto de los elementos que son
comparables con 0 coincide con 0 .
Sea 1 = {C 0 | para todo C 0 , C C o C C}. 1 es una
torre
(i) Claramente 1 ya que para todo C 0 .
(ii) Sea {Ci }iI una cadena de cadenas en 1 . Como cada Ci 1 entonces
dado C 0 , C es comparable con cada uno de ellos, as que puede ocurrir

uno de dos casos
(a) Existe i I tal que C Ci ,
(b) Para todo i I, Ci C.
En el primer caso, como Ci Ci , entonces C Ci , y en el
iI iI
segundo caso Ci C. Por lo tanto Ci 1 .
iI iI
(iii) Sea C 1 probaremos que g(C) 1 .
0 = {D 0 | D C o g(C) D} 0
es una torre:
(a ) 0 .
(b ) Si {Di }iI es una cadena de cadenas en 0 , tenemos dos casos
Existe i I tal que g(C) Di , o para todo i I,
Di C.

En el primer caso g(C) Di y en el segundo Di C por lo que

iI iI
en ambos casos tenemos que Di 0 .
iI
(c ) Sea D 0 . Queremos probar que g(D) 0 .
Como D 0 entonces D C o g(C) D.
En el primer caso, si D = C, entonces g(C) = g(D) y g(D) 0 .
Supongamos entonces que D C.
Como D 0 y 0 es una torre, se tiene que g(D) 0 , y debido a
que C 1 , entonces g(D) C o C g(D). Si g(D) C, se tiene que
g(D) 0 y si C g(D) = D f (D), por el hecho de que
D C D f (D), debe ser que C = D f (D) = g(D) y por lo
tanto g(D) 0 .
En el segundo caso, es decir, g(C) D, se tiene que g(C) g(D) y
as g(D) 0 .
Por lo tanto 0 es una torre y por se 0 la mnima torre, entonces

0
= 0 .
Concluimos entonces que g(C) 1 .
Por otro lado por ser 1 una torre contenida en 0 , se debe tener 1 = 0
y por lo tanto 0 es una cadena de cadenas.

Armamos que D = C es una cadena maximal.
C0
Como D es una cadena D g(D). Por otro lado, como D 0 , entonces

g(D) 0 y as por la denicion de D, g(D) D, por lo que g(D) = D lo
que signica que D es maximal.
(2) = (3) Sea (X, ) un conjunto parcialmente ordenado y supongamos
que cada cadena en X tiene cota superior en X. Sea C una cadena maximal,
cuya existencia esta garantizada por hipotesis; y sea a X una cota
superior de C.
Armamos que a es maximal en X. Si no lo fuera, entonces existira
d X tal que a < d y por lo tanto d / C. Entonces C {d}, que contiene
propiamente a C sera cadena, lo que contradice el hecho de que C es una
cadena maximal en X.
(3) = (4) Sea X un conjunto y consideremos
A = {(B, B ) | B X y B es un buen orden}.
Denimos en A la siguiente relacion
(B, B ) A (D, D )
si B D, el orden de D restringido a B coincide con el de B y
si b (D B), entonces a <D b para todo a D.
No es difcil demostrar que A es un orden parcial y queda como ejerci-
cio. Demostraremos que toda cadena en A tiene cota superior para poder
aplicar el Lema de Zorn
Sea C una cadena en A y sea
F = {B | existe un buen orden B en B tal que (B, B ) C }.
F es una cadena respecto a, debido a la manera en que esta denido
A . As pues, dados a, b B, existe B F tal que a, b B.
BF
Veamos que C tiene una cota superior en A. Sea E = B y E
BF
denido en E por a E b si a B b para alguna B F y a, b B.
Dejamos como ejercicio demostrar que E esta bien denido, es decir,
no depende de B (esto es, se debe demostrar que si para cualquier otro
conjunto C F, en donde tambien a, b C, entonces a B b si y solo si
a C b) y que a E b es un orden parcial.
E es un buen orden
Sea T E y T = . Probaremos que T tiene un mnimo. Como T = ,
entonces existe B F tal que T B = y as tenemos que = T B B
y como B es un buen orden entonces T B tiene mnimo t0 . Veremos

que t0 es el mnimo de T .
Sea t T . Si t B entonces t0 B t y por lo tanto t0 E t. En el caso
en que t / B, como t D para alguna D F entonces debe ser D = B y
B D, y ya que t (D B), se tiene que t0 <D t y por lo tanto t0 <E t.
Entonces t0 es el mnimo de T .
Es claro entonces que (E, E ) A y ademas es una cota superior de
C. Por el Lema de Zorn, (A, A ) tiene un maximal (M, M ). Por ultimo
mostraremos que M = X.
Supongamos que M X y sea a (X M ). Sea C = M {a} y
C denido en C por C |M =M y b <C a para todo b M . Se puede
vericar facilmente que C es un buen orden sobre C, as que (C, C ) A.
Ademas como M C entonces (M, M ) < (C, C ), lo que es un absurdo.
Por lo tanto M = X y M es un buen orden sobre X.
(4) = (1) Sea C una familia no vaca de conjuntos no vacos, y sea E
la union de todos los conjuntos de C. Por hipotesis E acepta un buen
orden . Para cada C C, sea xC el elemento mnimo de C. Denimos
f :C / E por f (C) = xC . f satisface entonces que f (C) C.
2.3 Ejercicios
2.1. Sea {Ai }iI una familia

conjuntos. Para cada j I, denimos
de
pj : Ai Aj por pj (ai )iI = aj . Demostrar que pj es suprayectiva.
iI
2.2. Sea {Ai }iI una familia de conjuntos y B un conjunto arbitrario. Sea
para cada i I, fi : B Ai una funcion. Demostrar que existe una
unica funcion F : B Ai tal que pj F = fj , donde pj esta denida
iI
como en el Ejercicio 2.1.
2.3. Demostrar el inverso del Ejercicio 2.2. Sea {Ai }iI una familia de con-
juntos y X un conjunto junto con una familia de funciones
pi : X Ai que satisfacen que dado cualquier conjunto B y una fa-
milia de funciones fi : B Ai con i I, existe una unica funcion
F : B X tal que pj F = fi . Demostrar que existe una biyeccion entre
X y Ai
iI
2.4. Demuestra que son equivalentes

(1) Axioma de Eleccion. Para cada familia C no vaca de conjuntos no
vacos existe una funcion f : C C tal que f (C) C.
CC
(2) Dada una familia no vaca {Ai }iI de conjuntos no vacos y ajenos dos
a dos, existe un conjunto cuya interseccion con cada miembro de la familia
es un unitario.
2.5. Con la notacion de la pagina 31 demuestra que
Comp(C) C = si y solo si C no es una cadena maximal.
2.6. Sea X un conjunto y considera
A = {(B, B ) | B X y B es un buen orden}.
Demuestra que el orden denido para A en la pagina 34, es un orden
parcial.
2.7. Con la notacion del ejercicio anterior, sea C una cadena en A y sea
F = {B | existe un buen orden B en B tal que (B, B ) C}.

Toma E = B y E denido en E por a E b si a B b para alguna
BF
B F y a, b B. Demuestra que E esta bien denido (ver pagina 34).
Captulo 3
Numeros cardinales
3.1 Cardinales
En este captulo estableceremos una relacion binaria entre conjuntos,

llamada equipotencia, que intenta reejar cuando dos conjuntos tienen
la misma cantidad de elementos. Esta idea corresponde a lo siguiente:
dos conjuntos son equipotentes si se puede establecer una corresponden-
cia uno a uno entre los dos conjuntos. El concepto de equipotencia entre
dos conjuntos se dene rigurosamente y no debe ser confundida con la
idea intuitiva de tener la misma cantidad de elementos. Por ejemplo,
podramos decir que Z, el conjunto de los numeros enteros, tiene mas
elementos que N, el conjunto de los numeros naturales, ya que N es un
subconjunto propio de Z. Sin embargo sabemos que podemos establecer
una funcion biyectiva entre estos dos conjuntos y por lo tanto son equipo-
tentes. Por lo anterior nunca utilizaremos las frases tiene mas elementos
que . . .o tiene la misma cantidad de elementos que . . ., puesto que esto
puede conducir a malas interpretaciones desde el punto de vista intuitivo.
Denicion 3.1.1. Dos conjuntos A y B son equipotentes si existe una
funcion biyectiva de A en B.
Notacion 3.4. Si A y B son equipotentes, lo expresaremos como A B.
Proposicion 3.1.1. La relacion entre conjuntos denida arriba tiene
las siguientes propiedades
(1) A A para cualquier conjunto A,
(2) si A B entonces B A,
(3) si A B y B C entonces A C.
37
38 Numeros cardinales
Demostracion.
(1) 1A : A A, la funcion identidad es biyectiva.
(2) Si f : A B es biyectiva entonces f 1 : B A es biyectiva.
(3) Si f : A B y g : B C son biyectivas, entonces g f : A C
es biyectiva.
Nota 7. Aun cuando la clase de todos los conjuntos no es un conjunto, la

relacion de equipotencia, restringida a una familia (conjunto) de conjuntos,
es una relacion de equivalencia en dicha familia (Proposicion 3.1.1) y por lo
tanto, esta induce una particion en clases de equivalencia, donde cada clase
de equivalencia consta de los conjuntos de la familia que son equipotentes
entre s.
En realidad no deniremos el concepto de numero cardinal, sino cuando
dos conjuntos tienen la misma cardinalidad. En la Teora de Conjuntos
existe una manera formal de denir numero cardinal, que por el enfoque
que se le ha dado a este libro no lo discutiremos aqu, pero que s mencio-
namos en la seccion 4.4 del captulo 4 del libro. Sin embargo presentamos
a continuacion como A. Tarski introdujo los numeros cardinales mediante
dos axiomas
1. Cada conjunto esta asociado con un objeto, el cual es su numero
cardinal.
2. Dos conjuntos son equivalentes (equipotentes) si y solo si tienen
el mismo numero cardinal.
Si denotamos por |A|, al numero cardinal de A, de esta manera, dos
conjuntos son equipotentes si y solo si tienen el mismo numero car-
dinal o tienen la misma cardinalidad, es decir, A es equipotente a B
si y solo si |A| = |B|.
Existe un metodo para escoger un representante en cada clase de equi-
potencia y desde este punto de vista este sera el cardinal asociado a la
clase.
Ejemplo 3.1.1.
(a) || = |A| si y solo si A = . Denotamos || = 0
(b) |{x}| = |A| si y solo si A consta de un solo elemento. Denotaremos
1 = |{x}|.
(c) Si A y B constan ambos de un unico elemento y A B = entonces
|A B| = |{, {}}|. Denotaremos 2 = |{, {}}|
Deniremos ahora un orden sobre los cardinales.
3.1 Cardinales 39
Denicion 3.1.2. Sean A y B conjuntos. Diremos que |A| es menor o

igual que |B| (|A| |B|) si existe una funcion inyectiva de A en B.
Demostraremos no solo que es un orden parcial sino que es total. Para
esto empecemos demostrando que esta denicion es correcta, es decir, que
no depende de los representantes
Proposicion 3.1.2. Sean A1 , A2 , B1 , B2 conjuntos tales que |A1 | = |A2 |,
|B1 | = |B2 |. Entonces |A1 | |B1 | si y solo si |A2 | |B2 |.
Demostracion. Sean f : A1 A2 y g : B1 B2 funciones biyectivas
(las cuales existen por hipotesis) y supongamos que |A1 | |B1 |. Entonces
existe una funcion inyectiva h : A1 B1 . La funcion
g h f 1 : A2 B2
es inyectiva y por lo tanto |A2 | |B2 |. Analogamente se prueba la otra
implicacion.
Proposicion 3.1.3. La relacion satisface
(1) |A| |A| para cualquier conjunto A.
(2) Si |A| |B| y |B| |C| entonces |A| |C|.
Demostracion.
(1) La funcion identidad 1A : A A es inyectiva.
(2) Si f : A B y g : B C son funciones inyectivas, entonces
g f : A C es una funcion inyectiva.
Si la propiedad antisimetrica fuera valida para , es decir, |A| |B|
y |B| |A| implica |A| = |B|, tendramos denido un orden parcial sobre
los cardinales. En realidad es as, como lo muestra el siguiente teorema
Teorema 3.1.4. (Schroder-Bernstein) Si A y B son conjuntos tales
que |A| |B| y |B| |A|, entonces |A| = |B|.
Demostracion. Por hipotesis sabemos que existen funciones inyectivas
: A B y : B A. Si alguna de ellas es biyectiva terminamos
aqu. As que supongamos que ninguna de las dos es biyectiva.
Construiremos, a partir de y la funcion deseada.
Sea = {X A | (A (B (X))) X}. tiene las siguientes
propiedades:
(1) = ya que A
(2) Si X , entonces [A (B (X))] .
Como X entonces A (B (X)) X y aplicando obtenemos
que [A (B (X))] (X).
Tomando complementos respecto a B tenemos

B [A (B (X))] B (X).
Aplicando , (B [A(B (X))]) (B (X)). Y por ultimo,
tomando complementos respecto a A, obtenemos
A (B [A (B (X))]) A (B (X))
y por lo tanto [A (B (X))] .
Consideremos ahora la interseccion de todos los conjuntos que perte-
necen a , es decir, sea
X0 = X.
X
Tenemos que X0 , ya que para cada X
X0 X
(X0 ) (X)
B (X0 ) B (X)
(B (X0 )) (B (X))
A (B (X0 )) A (B (X)) X.
Hemos probado que para cada X , A (B (X0 )) X. Por lo
tanto A (B (X0 )) X0 y as X0 .
Por otro lado, como A (B (X0 )) , entonces
X0 A (B (X0 ))
y as
A (B (X0 )) X0 A (B (X0 )).
Por lo tanto A (B (X0 )) = X0 , es decir
(B (X0 )) = A X0 .
Denimos ahora una biyeccion de A en B de la siguiente manera

(a) si a X0
f (a) =
1
(a) si a A X0 ,
donde
1
A X0 / B (X0 )
y
|X0
X0 / (X0 ) .
3.1 Cardinales 41
Claramente f esta bien denida ya que X0 (A X0 ) = . Ademas

como A X0 Im(), para cada a A X0 existe una unica b B
(esto por ser inyectiva) tal que (b) = a.
Ademas f es inyectiva ya que y 1 lo son y no existen un a X0
y a A X0 tales que (a) = 1 (a ) pues se tiene que
1 (A X0 ) = B (X0 ) y [B (X0 )] (X0 ) = .
Por ultimo veamos que f es suprayectiva. Si b B, entonces b (X0 )
o b B (X0 ).
1 / Si b (X0 ), entonces b = (a) para alguna a X0 . Por la
denicion de f , f (a) = (a) y por lo tanto b = f (a).
2 / Si b B (X0 ), entonces (b) (B (X0 )) = A X0 y
nuevamente por la denicion de f , f ((b)) = 1 ((b)) = b.
Como en ambos casos b Im(f ), concluimos que f es suprayectiva, y
por lo tanto biyectiva, por lo que |A| = |B|.
Corolario 3.1.5. La relacion denida sobre los cardinales es un orden

parcial.
Demostracion. Es una consecuencia de la Proposicion 3.1.3 y el Teorema
3.1.4.
Teorema 3.1.6. El orden parcial denido sobre cardinales es un Buen

Orden.
Demostracion. (Honig [Ho])
Sea un conjunto no vaco de cardinales y para cada sea A
tal que |A | = . Sea A = A el producto cartesiano de los conjuntos

A .
Recordemos que cada elemento de A lo denotamos por (a ) donde
a A . Sea 0 la familia de todos los subconjuntos B de A que tiene la
propiedad de que dos elementos distintos de B tienen sus correspondientes
coordenadas distintas, es decir, es verdadera
(*) B 0
((x ) B (y ) B ((x ) = (y ) x = y )).
Consideremos ahora la familia 0 con el orden parcial de la inclusion.
Armamos que (0 , ) satisface la hipotesis del Lema de Zorn.
Si L 0 es una cadena en (0 , ), entonces B0 = {S | S L}
pertenece a 0 , ya que si (x ) = (y ) son elementos de B0 , entonces
existen B, B L tales que (x ) B y (y ) B , y como L es una

cadena se tiene B B o B B , as que (x ) y (y ) pertenecen
ambos al mismo conjunto de L y como este conjunto satisface (), entonces
para cada , x = y .
Por otro lado, para cada B L, B B0 por lo que B0 es cota superior
de L. Por lo tanto, por el Lema de Zorn, existe un maximal B en 0 y esto
signica que B A y si B C A, entonces C no tiene la propiedad
(). Consideremos ahora la proyeccion p : A A , p ((a ) ) = a .
Armamos que existe un cardinal tal que (p |B )(B) = A .
Si esta armacion no fuera verdadera, entonces tendramos que para toda
p (B) A y entonces A p (B) = . Por el Axioma de Eleccion,
podemos tomar, para cada , a A p (B). Entonces (a ) A
y este elemento tiene la propiedad de que para cada (x ) B, x = a
para todo .
Esto nos dice que B {(a ) )} satisface la condicion (), y ademas
contiene propiamente a B, lo que es imposible pues B es maximal con esta
propiedad. Por lo tanto para alguna se debe tener (p |B )(B) = A .
Armamos que esta es elemento mnimo de , es decir para todo
.
Veremos que para cada existe una funcion inyectivaf : A A .
Sea a A . Como (p |B )(B) = A , entonces existe (x ) B tal
que p ((x ) ) = a , es decir, la -esima coordenada de (x ) es a .
Ademas este elemento (x ) es unico ya que pertenece a B, por lo que si
coincide con otro elemento de B en la -esima coordenada entonces estos
elementos son iguales porque B satisface la condicion (). Esto signica
que (p |B )1 : A B es inyectiva.
Por otro lado, para cada , p |B : B A es inyectiva, pues si
(x ) = (y ) entonces, como pertenecen a B, se tiene que x = y
para toda y as (p |B )((x ) ) = (p |B )((y ) )
Por lo tanto la funcion f = (p |B ) (p |B )1 : A A es inyectiva
y as para cada .
Corolario 3.1.7. El orden parcial denido sobre los cardinales es total.

Nota 8. Sean A y B conjuntos. |A| < |B| si y solo si existe una funcion
inyectiva de A en B, pero no existe una funcion suprayectiva de A en
B. La primera armacion, la existencia de una funcion inyectiva, es por
la denicion de y la segunda es debido a que si existiera una funcion
suprayectiva de A en B, entonces cualquier inverso derecho de la funcion
3.1 Cardinales 43
sera una funcion inyectiva de B en A, lo que implicara que |B| |A|,

y por lo tanto por el Teorema de Schroder-Berstein, se debera tener
|A| = |B|, que no es el caso.
En el siguiente teorema, debido a Cantor, veremos que dado un cardinal

siempre existe uno mayor, es decir, no existe un cardinal maximo.
Teorema 3.1.8. (Teorema de Cantor)

Dado un conjunto A, se tiene que |A| < |P(A)|.
Demostracion. Evidentemente la funcion g : A P(A) denida por

g(a) = {a} es inyectiva. Ahora sea f : A P(A) cualquier funcion.
Veremos que f no puede ser suprayectiva.
Sea A0 = {x A | x / f (x)}. Armamos que A0 no pertenece al
rango de f . Supongamos lo contrario, es decir, que para alguna x A,
f (x) = A0 .
Existen dos posibilidades
1 / Si x A0 , por denicion de A0 , entonces x
/ f (x) = A0 . Por lo tanto
x A0 y x / A0 , absurdo!
2 / Si x / A0 , entonces x f (x) = A0 . Por lo tanto x A0 y x / A0 ,
absurdo!
En ambos casos llegamos a un absurdo y as, A0 no pertenece al rango
de f y por lo tanto f no es suprayectiva.

Sea {Ai }iI una familia de conjuntos. Se dice que la union Ai es
iI
ajena si para cualesquiera i, j I, Ai Aj = si Ai = Aj , y lo denotamos

por Ai .
iI
Proposicion 3.1.9. Dada una familia de conjuntos {Ai }iI , existe una
familia de conjuntos {Bi }iI tal que para cualesquiera i, j I, Bi Bj =
si i = j y |Bi | = |Ai | para toda i I.
Demostracion. Denimos Bi = Ai {i}.

Entonces para i, j I con i = j Bi Bj = y |Bi | = |Ai | para cada
i I, ya que la funcion fi : Ai Ai {i} = Bi dada por fi (a) = (a, i)
es biyectiva.
Nota 9. Al proceso de la Proposicion 3.1.9 lo llamamos hacer la union

de la familia {Ai }iI una union ajena, y como hemos dicho, la denotamos

por Ai . Por ejemplo, A A denota la union de dos conjuntos B y B
iI
donde B B = y |A| = |B| y |A | = |B |.

En general Ai denota la union de una familia de conjuntos (no im-
iI
porta quienes sean estos conjuntos) {Bi }iI donde Bi Bj = para i = j
con i, j I y |Ai | = |Bi |.
Como se vera mas adelante, para nuestro proposito no existe problema
alguno en la eleccion de la familia {Bi }iI pues lo que nos interesa no son
en s los conjuntos Bi , sino la propiedad que tienen de ser ajenos dos a
dos y de que |Bi | = |Ai | para todo i I.
Como justicacion de la nota anterior tenemos
Lema 3. 1.10. Sean {Ai }iI y {Bi }iI familias de conjuntos tales que
para i = j
en I, Ai Aj = = Bi Bj , y para cada i I, |Ai | = |Bi |.
Entonces | Ai | = | Bi |.
iI iI
Demostracion.
Para cada i I, sea fi : Ai Bi biyectiva. Denimos
f : Ai Bi como f (x) = fi (x) si x Ai . f esta bien denida ya

iI iI
que Ai es una union ajena. Ademas f es biyectiva pues cada fi lo es y
iI
Bi es una union ajena.
iI
3.2 Operaciones entre cardinales
Deniremos ahora la suma de numeros cardinales.

Denicion 3. 2.1. Sean y cardinales, A y B conjuntos tales que
= |A| y = |B|. La suma de los cardinales y es

+ = |A B|.
Como siempre, comprobaremos que la suma esta bien denida.
Proposicion 3.2.1. La suma de cardinales no depende del representante
tomando en cada una de las clases, es decir, si |A| = |A | y |B| = |B |

entonces |A B| = |A B |.
Demostracion. Es una consecuencia inmediata del Lema 3.1.10.
3.2 Operaciones entre cardinales 45
Proposicion 3.2.2. Sean , y cardinales. Entonces

(1) + = + .
(2) ( + ) + = + ( + ).
(3) + 0 = .
Demostracion. Sean A, B y C conjuntos tales que = |A|, = |B| y
= |C|. Los resultados de la proposicion se obtienen de lo siguiente

(1) A B = B A.

(2) (A B) C = A (B C).

(3) A = A.
Proposicion 3.2.3. Sean y cardinales. Si , entonces

(1) Existe un cardinal tal que = + .
(2) + + para cualquier cardinal .
Demostracion.
(1) Sean A y B conjuntos tales que = |A| y = |B|, y sea f : A B

una funcion inyectiva. Si A =Im(f ), entonces B = A (B A ) y por lo
tanto |B| = |A| + |B A |. As que = |B A | es el cardinal deseado.
(2) Sean A, B y C conjuntos, ajenos dos a dos, tales que = |A|,
= |B| y = |C|. Como entonces existe una funcion f : A B
que es inyectiva.

La funcion h : A C B C dada por

f (x) si x A
h(x) =

x si x C.
Es una funcion inyectiva (vericarlo) y por lo tanto, + + .
Hemos denido la suma de cardinales en forma binaria. Sin embargo
podemos denir la suma arbitraria de cardinales, generalizando la anterior
denicion.
Sea I un conjunto arbitrario (de ndices), una funcion que asocia a
cada i I un cardinal i = (i). Denotamos esta funcion como {i }iI y
la llamaremos una familia de cardinales.
Denicion 3. 2.2. Sea {Ai }iI una familia de conjuntos, y para cada

i I, sea i = |Ai |. Denimos i = | Ai |.
iI iI
Esta denicion esta bien justicada debido al Lema 3.1.10.

Nota 10. Cuando I = {i, k} la Denicion 3.2.2 coincide con la Denicion

3.2.1.
Proposicion 3.2.4. Sea {Ai }iI una familia de conjuntos.

(1) Si : I I es una funcion biyectiva, entonces |Ai | = |A(i) |,
iI iI
(2) Si {Ik }kK es una particion de I, entonces |Ai | = ( |Ai |),
iI kK iIk
(3) Sean {Bj }jJ una familia de conjuntos, J un conjunto ajeno a I J,
|J | = |J| y sea : J J una funcion biyectiva. Sea, para cada j J ,
Bj = B (j) . Entonces

Ak si k I
|Ai | + |Bj | = |Ck |, donde Ck =

iI jJ kIJ Bk si k J .
Demostracion. Los resultados se obtienen de

(1) Ai = A(i) .
iI iI

(2) Ai = ( Ai ).
iI kK iIk

(3) Si I J = , ( Ai ) ( Bj ) = Ck donde
iI jJ kIJ

Ak si k I
Ck =

Bk si k J.

Ejemplo 3.2.1. Si para cada i I Ai = {}, entonces |Ai | = |I|.
iI
Denamos ahora el producto de cardinales.
= |A| y = |B|. El producto de y es
= |A B|.
Proposicion 3.2.5. El producto de cardinales no depende de los conjuntos
escogidos A y B.
Demostracion. Sean A, A , B y B conjuntos tales que |A| = |A | y
|B| = |B |, es decir, existen funciones biyectivas f : A A y
g : B B . La funcion F : A B A B denida por
F ((x, y)) = (f (x), g(y)) es biyectiva y por lo tanto |A B| = |A B |.
Ejemplo 3. 2.2. Recordemos que 0 = ||, 1 = |{x}|, 2 = |{x, y}| con

x = y. Sea un cardinal cualquiera y A un conjunto tal que = |A|.
(a) 0 = 0 = 0, ya que A = A = .
(b) 1 = 1 = , ya que |A {x}| = |{x} A| = |A|.
(c) 2 = + . Si B = {b, b }con b = b , entonces
2 = |B| |A|
= |B A|

= |({b} A) ({b } A)|
= |{b} A| + |{b } A|
= |A| + |A|
= + .
Observe que como b = b , ({b} A) ({b } A) = .
El producto de cardinales tiene las siguiente propiedades.
(1) = .
(2) ( ) = ( ).
(3) 1 = .
(4) (+ ) = + .
(5) ( j ) = j .
jJ jJ
Demostracion. Estos resultados se obtienen de

(1) A B B A.
(2) (A B) C A (B C).
(3) A {b} A.

(4) A (B C) (A B) (A C).

(5) A ( Ai ) (A Ai ).
iI iI
Analogamente como se hizo para la suma, podemos denir el producto
arbitrario de cardinales.
Denicion 3.2.4. Sea (i )iI una familia de cardinales y {Ai }iI una
coleccion de conjuntos tales que para cada i I, i = |Ai |. El producto de
los cardinales i , denotado por i , es el cardinal del producto cartesiano
iI
de {Ai }iI , es decir,

i = | Ai |.
iI
iI
Proposicion 3.2.7. Si para cada i I, Ai y Ai son conjuntos tales que

|Ai | = |Ai |, entonces | Ai | = | Ai |, es decir, el producto de cardinales
iI iI
esta bien denido.
Demostracion. Para cada i I, sea fi : Ai Ai biyectiva. La funcion
F : | Ai | | Ai | dada por F ((ai )iI ) = (fi (ai ))iI es una funcion
iI iI
biyectiva.
Proposicion 3.2.8. Sean (i )iI y (j )jJ dos familias de cardinales y

sea un cardinal jo.
(1) Si : I I es una funcion biyectiva, entonces i = (i) ,
iI iI
(2) Si {Ik }kK es una particion de I, entonces i = ( i ),
iI kK iIk
(3) Si : I I y : J J son funciones biyectivas con I J = ,
entonces

(k) si k I
i j = k , donde k =

iI jJ
kI J (k) si k J ,

(4) j = ( j ).
jJ jJ
Demostracion. Sean, para cada i I y j J, i = |Ai | y j = |Bj | y

sea = |A|. En cada uno de los incisos la funcion dada es biyectiva.
(1) f : Ai A(i) , dada por f ((ai )iI ) = (a(i) )iI .
iI iI
(2) f : Ai ( Ai ), dada por f ((ai )iI ) = ((ai )iIk )kK .
iI kK iIk

A(k) si k I
(3) f : ( Ai ) ( Bj ) Ck , donde Ck =
iI jJ kI J B (k) si k J

(4) f : A ( Bj ) (A Bj ), f ((a, b)) = (a, b).
jJ jJ
Denicion 3.2.5. Sean A y B conjuntos. Denimos el conjunto AB como

AB = {f : B A | f es funcion}.
Ejemplo 3.2.3. Para cada conjunto A se tiene
(a) A {}.
(b) A{x} A.
(c) A{x,y} A A.
Deniremos ahora, para cada par de cardinales y , la potencia .

= |A| y = |B|. Denimos = |AB |.
Proposicion 3.2.9. Sea A, B, A y B conjuntos tales que |A| = |A |, y

|B| = |B |. Entonces |AB | = |(A )B |.
Demostracion. Sean f : A A y g : B B funciones biyectivas.

Entonces la funcion H : AB (A )B dada por H(h) = f h g 1 es
biyectiva ya que
1 / Si f h g 1 = f h g 1 entonces, por ser f y g biyectivas, h = h .

2 / Si q (A )B , entonces la funcion f 1 q g es tal que
H(f 1 q g) = f (f 1 q g) g 1 = 1A q 1B = q.

De 1 / y 2 / tenemos entonces que |AB | = |(A )B |.
Observacion 3.2. Con respecto al Ejemplo 3.2.3, tenemos que

(1) 0 = 1.
(2) 1 = .
(3) 2 = .
(1) ( ) = .
i i
(2) Si (i )iI es una familia de cardinales entonces = iI .
iI
(3) Si |I| = entonces = i , en donde i = para cada i I.
iI
Demostracion.
(1) Sean A, B y C conjuntos ajenos dos a dos tales que = |A|, = |B|
y = |C|. La funcion
F : {f : C AB } {f : B C A}
denida por F (f )(b, c) = (f (c))(b) es biyectiva (demuestrelo).
(2) Sean, para cada i I, i = |Bi | y = |A|, donde los conjuntos Bi

son ajenos dos a dos. La funcion

( Bi )
G : ABi A iI
iI
denida por G((fi )iI )(x) = fi (x), donde fi : Bi A y x Bi , es
biyectiva.
(3) Sea A un conjunto tal que |A| = . La funcion

H : AI Ai , donde Ai = A para cada i I,
iI
dada por H(f ) = (f (i))iI , es una biyeccion.
En el Teorema de Cantor vimos que para cualquier conjunto A,

|A| < |P(A)|. Sin embargo, no nos dice que tan grande es |P(A)| respecto
de |A|. El siguiente teorema nos permite conocer el cardinal de P(A) en
funcion del cardinal de A.
Teorema 3.2.11. |P(A)| = 2|A| .
Demostracion. Veremos que existe una biyeccion de P(A) en
{0, 1}A = {f : A {0, 1} | f es funcion}.
Denimos H : P(A) {0, 1}A como sigue
Si B A, H(B) : A {0, 1} es la funcion dada por

1 si x B
H(B)(x) =

0 si x A B
H es biyectiva.
1 / Si B = B , entonces B B = o B B = . Como en cualquiera
de los casos la demostracion es analoga, supondremos que B B = y
sea x B B . Entonces H(B)(x) = 1 y H(B )(x) = 0 por lo que
H(B) = H(B ) y as H es inyectiva.
2 / Si f {0, 1}A , sea B = {x A|f (x) = 1} A. Entonces H(B) = f
por lo que H es suprayectiva.
Por lo tanto |P(A)| = |{0, 1}A | = |{0, 1}||A| = 2 .
3.3 Conjuntos nitos
Deniremos ahora el concepto de conjunto nito y de aqu el de cardinal

nito.
Denicion 3.3.1. Sea A un conjunto y P(A) el conjunto potencia de A
con el orden parcial determinado por . Diremos que A es nito si cada
cadena no vaca de elementos de P(A) tiene maximo.
3.3 Conjuntos nitos 51
Esto es, si es una cadena no vaca contenida en P(A), existe C

tal que para cada C se tiene que C C.
Diremos que A es innito si A no es nito.
Proposicion 3.3.1. Si A y B son conjuntos tales que |A| = |B|. Entonces
A es nito si y solo si B es nito.
Demostracion. Sea f : A B una funcion biyectiva y supongamos
que A es nito. Demostraremos que B es nito.
Sea una cadena no vaca de elementos de P(B) y sea
= {f 1 [C]|C }.
es una cadena no vaca de elementos de P(A) ya que si f 1 [C] y
f 1 [C ]
pertenecen a entonces como C y C pertenecen a , se tiene que
C C o C C y de aqu f 1 [C] f 1 [C ] o f 1 [C ] f 1 [C].
Como A es nito entonces tiene un maximo D. Como D , enton-
ces D = f 1 [E] para alguna E y por ser f biyectiva f [D] = f [f 1 [E]].
Armamos que E es el maximo de . En efecto si C , entonces
f 1 [C] por lo que f 1 [C] D = f 1 [E] y por lo tanto
C = f [f 1 [C]] f [D] = f [f 1 [E]] = E.
Por lo tanto B es nito.
La demostracion es la misma si suponemos que B es nito, basta in-
tercambiar f por f 1 .
Ejemplo 3.3.1.
(a) es un conjunto nito. La unica cadena en (P(), ) es {}.
(b) {} es nito ya que las unicas cadenas en (P(), ) son {}, {{}}
y {, {}} y evidentemente todas tienen maximo.
A partir de conjuntos nitos dados, podemos construir otros conjuntos
nitos, como lo dice el siguiente teorema
Teorema 3.3.2. Sea A un conjunto nito. Entonces
(1) Si B A entonces B es nito,
(2) A {x} es nito,
(3) Si C es un conjunto nito entonces A C es nito. En particular
A {x} es nito.
Demostracion.
(1) Si es una cadena de subconjuntos de B, en particular es una
cadena de subconjuntos de A y como A es nito entonces tiene maximo.
(2) Como A A {x} y A es nito entonces, por la Proposicion 3.3.1,

A {x} es nito.
(3) Sea una cadena en (P(A B), ). Entonces es facil ver que
1 = {C A|C } y 2 = {C B|C } son cadenas en (P(A), ) y
(P(B), ) respectivamente y por lo tanto, por hipotesis, 1 tiene elemento
maximo D y 2 tiene maximo E.
Sean C1 , C2 tales que D = C1 A y E = C2 B. Como es cadena,
entonces C1 C2 o C2 C1 . No se pierde generalidad si suponemos que
C1 C2 .
Armamos que C2 es el maximo de .
Sea C . Entonces C A 1 , y C B 2 , por lo que C A
C1 C2 y C B C2 , as que C = C (A B) = (C A) (C B) C2 .
Por lo tanto A B es nito.
Denicion 3.3.2. Un orden parcial en X se llama doble buen orden

si es un buen orden y cada subconjunto no vaco de X tiene maximo.
Teorema 3. 3.3. Las siguientes armaciones son equivalentes para un
conjunto A
(1) A es nito,
(1 ) Cada cadena no vaca de conjuntos en (P(A), ) tiene mnimo,
(2) Cada familia no vaca de conjuntos en (P(A), ) tiene un maximal,
(2 ) Cada familia no vaca de conjuntos en (P(A), ) tiene un minimal
(Tarski),
(3) Si B A entonces A no es equipotente a B (Dedekind),
(4) A acepta un doble buen orden.
Demostracion. Si A = las equivalencias son triviales, por lo que su-
pondremos que A = .
Dejamos como ejercicio la demostracion de (1) si y solo si (1 ) y (2) si
y solo si (2 ).
(1) (2) Sea D una familia no vaca de conjuntos en (P(A), ). Como
cada cadena por hipotesis tiene maximo entonces esta acotada y por lo
tanto D tiene un maximal por el Lema de Zorn.
(2) (3) Supongamos que B A y que : A B es biyectiva.

Sea = {X B|X 1 (X)}. = ya que B 1 (B) = A.

Ademas, si X entonces 1 (X) pues 1 (X) 1 (1 (X)).
Por hipotesis tiene maximal X0 . Pero esto es un absurdo porque
X0 1 (X0 ) y 1 (X0 ) . Por lo tanto no puede ser biyectiva.
(3) (4) Por el Teorema de Zermelo, A acepta un buen orden . Proba-

remos que cada subconjunto no vaco de A tiene maximo.
Sea = S A y sea s0 el mnimo de S. Supongamos que A no tiene
maximo. Entonces para cada s S existe s S tal que s < s , es decir,
{t S|s < t} = y por ser un buen orden este ultimo conjunto tiene
mnimo.
Construiremos una funcion inyectiva, pero no suprayectiva, de A en A.
Denimos : A A por

x si x A S
(x) =

mn{t S|x < t} si x S.
Claramente es inyectiva (demuestrelo), y no es suprayectiva ya que
s0 , el mnimo de S, no pertenece al rango de la funcion y eso signica que
A es equipotente con un subconjunto propio de A, lo que contradice la
hipotesis. Por lo tanto S debe tener maximo y as A acepta un doble buen
orden.
(4) (1) Sea un doble buen orden en A, y sean x0 y x1 el mnimo y el

maximo de A respectivamente, es decir, x0 x x1 para todo x A.
Para cada x A sea Ax = {a A|a x} y sea S = {x A|Ax es nito}.
Como S es un subconjunto no vaco de A, ya que x0 S, entonces S tiene
maximo que denotamos por y. Demostraremos que y = x1 y as tendremos
que Ay = Ax1 = {a A|a x1 } = A es nito.
Supongamos que y < x1 y consideremos T = {a A|y < a}. Nueva-
mente T es un subconjunto no vaco de A, ya que x1 T , y por lo tanto
tiene mnimo y0 y as y < y0 .
Armamos que Ay0 = Ay {y0 }.
1 / Por ser y < y0 , se tiene que Ay Ay0 y como y0 Ay0 , entonces
Ay {y0 } Ay0 .
2 / Si x Ay0 , entonces x y0 . Si x = y0 evidentemente y0 Ay {y0 }.
Supongamos entonces que x < y0 . Si y < x, debido a que x T y que
y0 es el mnimo de T , debe ser y0 x que contradice la hipotesis de que
x < y0 . Por lo tanto x y y as x Ay . En ambos caso hemos probado
que x Ay {y0 }, por lo que Ay0 Ay {y0 }.
Como Ay0 = Ay {y0 } es nito, ya que Ay y {y0 } lo son (Teorema

3.3.2 (3)), as tendramos y0 S, pero esto es imposible ya que y < y0 y
y es el maximo de S. Por lo tanto y = x1 y as Ay = Ax1 = A es nito.
Corolario 3.3.4. Un conjunto A es nito si y solo si cada buen orden en

A es un doble buen orden.
Denicion 3.3.3. Un cardinal es un cardinal nito si existe un con-
junto nito A tal que |A| = . En caso contrario diremos que es un
cardinal innito.
Nota 11. Aceptaremos que existe un conjunto innito (Este es en realidad
uno de los axiomas de la Teora de Conjuntos formal).
Proposicion 3.3.5. Sean y cardinales con y B un conjunto
tal que |B| = . Entonces existe un subconjunto A de B tal que |A| = .
Demostracion. Sea A un conjunto tal que |A | = . Como existe
una funcion inyectiva f : A B. Entonces f : A f (A ) denida
por f (a) = f (a) es una funcion biyectiva, por lo que A y f (A ), que es
un subconjunto de B, tienen la misma cardinalidad .
El equivalente del Teorema 3.3.2 para cardinales nitos es
Teorema 3.3.6. Sean y cardinales.
(1) Si es nito y entonces es nito.
(2) Si y son nitos entonces + es nito.
Corolario 3.3.7. Sean y cardinales.
(1) Si es innito y entonces es innito.
(2) Si es innito entonces + es innito. En particualr + 1 es
innito.
Corolario 3.3.8. Si es nito y es innito entonces < .
Demostracion. No puede ser que ya que por el Corolario 3.3.7, se
tendra que es innito, que por hipotesis no lo es.
Teorema 3.3.9. Sea {Ai }iI una familia

de conjuntos nitos ajenos dos
a dos, en donde I es nito. Entonces Ai es nito.
iI

Demostracion. Mostraremos que Ai acepta un doble buen orden y
iI
por el Teorema 3.3.3 Ai debe ser nito.
iI
Como I y cada Ai con i I son nitos, cada uno de ellos acepta un

i (i I), respectivamente.
doble buen orden que denotaremos por <I , <
Denimos un doble buen orden < sobre Ai como sigue
iI

a <i b si a, b Ai para algun i I
a < b si y solo si

i <I j si a Ai , b Aj y j = i
Veriquemos que efectivamente, < es un doble buen orden

1 / < es un orden parcial.

(i) a a para toda a Ai es evidente.
iI
(ii) Supongamos que a < b y b < c. Basta considerar los siguiente tres
casos:
Caso 1 : a, b, c Ai para alguna i I. Entonces a <i b y b <i c y

como <i es un orden parcial entonces a < c.
Caso 2 : a, b Ai y c Aj con i = j. Como a, b Ai y b < c,
entonces i <I j y as a < c.
Caso 3 : a Ai , b Aj y c Ak con i = j, j = k, k = i. Entonces
i <I j, j <I k y por lo tanto i <I k, por lo que a < c.
2 / < es un doblebuen orden.

Sea = S Ai . Entonces S Ai = para alguna i I.
iI
Sean i0 = mn{i I|S Ai = } y j0 = max{i I|S Ai = }. Como
= S Ai0 Ai0 , = S Aj0 Aj0 e <i0 , <j0 son ambos doble buen
orden, podemos tomar su mnimo y su maximo a0 y a1 respectivamente,
es decir, a0 = mn(S Ai0 ) y a1 = max(S Aj0 ).
Armamos que a0 = mn S y a1 = max S.
Sea a S. Como a Ai para alguna i I se tiene que i0 I i I j0 .
Si i = i0 entonces a0 , a S Ai0 y como a0 es el mnimo en S Ai0
entonces a0 a.
Si i0 <I i entonces a0 < a por denicion del orden en Ai .
iI
Analogamente para i I j0
Si i = j0 entonces a1 , a S Aj0 y as a a1 .
Si i <I j0 entonces a < a1 por denicion de orden Ai .
iI
As que en cualquier caso a0 a a1 .

Por ultimo, como Ai posee un doble orden, por el Teorema 3.3.3,
iI
Ai es nito.
iI
Corolario 3.3.10. Si {Ai }iI es una familia de conjuntos en donde I es

nito y para cada i I, Ai es nito, entonces Ai es nito.
iI
Demostracion. Sean, para cada i I, Bi = Ai {i}. Cada Bi es nito

que Bi Ai . Por el Teorema 3.3.9, como Bi Bj = si i = j, entonces
ya
Bi es nito.
iI
Claramente la funcion f : Bi Ai dada por f ((a, i)) = a,
iI iI
donde(a, i) Bi = Ai {i} es suprayectiva. Por lo tanto, por el Ejercicio
3.12, Ai es nito.
iI
Corolario 3. 3.11. Si A y B son conjuntos nitos entonces A B es

nito.

Demostracion. A B = (A {b}) donde cada termino de la union
bB
es un conjunto nito ya que A {b} A es nito y como B tambien lo
es, por el Teorema 3.3.9, A B es nito.
Teorema 3.3.12. Si {Ai }iI es una familia no vaca de conjuntos nitos,

donde el conjunto de ndices I es nito, entonces Ai es nito.
iI
Demostracion. Como I es nito, podemos considerar un doble buen

orden en I (vease el Teorema 3.3.3). Sea
I = {i I| Aj es nito} I.
ji
Demostraremos que el maximo de I pertenece a I . I = ya que

i0 = mn I I . Probaremos que max I = max I. Sea j0 = max I
y supongamos que j0 < max I. Entonces {i I|j0 < i} = y sea
j1 = mn{i I|j0 < i}. Sabemos que Ai es nito y Aj1 es nito por
ij0
hipotesis, entonces por el Corolario 3.3.11 Ai ( Aj )Aj1 es nito,
ij1 jj0
lo que implica que j1 I , que es un absurdo, por lo tanto j0 = max I y
entonces Aj = Ai es nito.
jj0 iI
Corolario3.3.13. Sea I nito y {i }iI una familia de cardinales nitos.

Entonces i y i son nitos.
iI iI
Corolario 3.3.14. Si A y B son conjuntos nitos entonces P(A) y AB

son nitos.
Demostracion.
(i) Como AB = {f : B A|f es funcion} entonces AB Ax , donde
xB
Ax = A para toda x B (Proposicion 3.2.10 (3)), y como A y B son
nitos, tenemos que A es nito.
xB
(ii) Como P(A) {0, 1}A (Teorema 3.2.11), y por (i) {0, 1}A es nito,
entonces P(A) es nito.
Corolario 3.3.15. Si y son cardinales nitos entonces + , ,

son cardinales nitos. En particular 2 es nito.
Proposicion 3.3.16. Sean k, m y n cardinales nitos. Entonces
(1) m + n = k + n = m = k.
(2) m n = k n y n = 0 = m = k.
(3) n m n + 1 = m = n o m = n + 1.
Demostracion.
(1) Supongamos que k m y sean A, B y C conjuntos tales que B A,
C A = , |A| = m, |B| = k y |C| = n.
k + n = |B| + |C| = |B C|,
(recordamos que C B C A = ),
m + n = |A| + |C| = |A C|.
Tenemos que B C A C, y por hipotesis |B C| = |A C|. Por lo
tanto A C = B C, ya que si fueran distintos, entonces tendramos que
A C es equipotente a un subconjunto propio, B C, lo que contradice
el hecho de que A C es nito. Por ultimo, como A C = se tiene que
A = B y de aqu k = m.
(2) Supongamos que k m y sean A, B, C conjuntos como en (1).

Tenemos entonces que B C A C y, por hipotesis, |B C| = |A C|.
Pero por ser A C nito, debe ser A C = B C, y como C = , ya que
por hipotesis |C| = n = 0, podemos armar entonces que A = B y por lo
tanto k = m.
(3) Sean A, B conjuntos tales que A B, |A| = n, |B| = m.

Si A = B, es decir n < m, existe b B tal que b / A. Entonces
A {b} B y por lo tanto n + 1 = |A {b}| |B| = m. Pero por
hipotesis tenemos que m n + 1. Por lo tanto m = n + 1.
3.4 Conjuntos numerables y conjuntos innitos
Como es un buen orden en los cardinales, entonces cualquier conjunto

no vaco de cardinales tiene elemento mnimo. As pues, si es un cardinal
innito, el conjunto no vaco {| cardinal innito y } tiene mnimo.
Denotamos por 0 a este mnimo, es decir, 0 es el mnimo cardinal
innito.
Denicion 3.4.1. Un conjunto A se llama numerable si |A| = 0 .
Veamos ahora algunas propiedades de los conjuntos numerables.
Proposicion 3.4.1. Sean A y B conjuntos innitos tales que |A| = 0 y
B A. Entonces |B| = 0 .
Demostracion. Como B A entonces |B| |A|, y por ser B innito y
|A| = 0 el mnimo cardinal innito, entonces debe ser |B| = 0 .
Proposicion 3.4.2. Si N y F son conjuntos tales que N es numerable,

F es nito y F N , entonces N F es numerable.
Demostracion. Como N = F (N F ), si N F fuera nito entonces
N sera nito, que sabemos que no lo es por hipotesis, as que N F es
innito y por la Proposicion 3.4.1 |N F | = 0 .
Corolario 3.4.3. Para todo cardinal nito n se tiene 0 + n = 0 .

Corolario 3.4.4. Si es un cardinal innito y n es un cardinal nito
entonces + n = .
Demostracion. 0 ya que es innito, y por (i) de la Proposi-
cion 3.2.3, = 0 + para algun cardinal . Entonces, aplicando las
propiedades asociativa y conmutativa en la suma de cardinales,
+ n = (0 + ) + n = 0 + ( + n)
= 0 + (n + ) = (0 + n) +
= 0 + = .
3.4 Conjuntos numerables y conjuntos innitos 59
Nota 12. El hecho de que un conjunto N sea innito nos permite asegurar
la existencia de elementos a, b N tales que a = b. Esto es por la siguiente
razon; como es nito y N es innito, entonces N = , por lo que
podemos tomar un elemento a N . N {a} es innito ya que si fuera
nito, entonces por el Teorema 3.3.2 (N {a}) {a} = N sera nito,
que no lo es. Nuevamente, como N {a} = , entonces podemos tomar
b N {a} y as a, b N y a = b. En realidad se puede demostrar mas,
como lo muestra el Ejercicio 3.48.
Teorema 3.4.5. Dado un conjunto numerable N , existen subconjuntos
numerables A y B de N tales que A B = .
Demostracion. Sea
A = {(A, fA , B)|A, B N, A B = y fA : A B funcion biyectiva}
A = ya que, por ser N innito, podemos tomar a, b N tales que a = b
(Nota 12) y por lo tanto ({a}, f, {b}) A, donde f (a) = b.
Denimos un orden parcial sobre A como sigue
(A, fA , B) (A , fA , B ) si A A , B B y fA |A = fA
es un orden parcial
(a) Claramente (A, fA , B) (A, fA , B) para cada (A, fA , B) A.
(b) Si (A, fA , B) (A , fA , B ) y (A , fA , B ) (A, fA , B), entonces
A A , B B , fA |A = fA y A A, B B y fA |A = fA . Enton-
ces A = A , B = B y fA = fA y por lo tanto (A, fA , B) = (A , fA , B ).
(c) Si (A, fA , B) (A , fA , B ) y (A , fA , B ) (A , fA , B ) entonces
A A , B B , fA |A = fA , A A , B B , fA |A = fA . As que
A A , B B , fA |A = (fA |A )|A = fA |A = fA y de aqu
(A, fA , B) (A , fA , B ).
(A, ) tiene un maximal

Para esto probaremos que (A, ) satisface la hipotesis del Lema de
Zorn. Tomemos una cadena C en (A, ) y sean
C0 = {A N |existen B N y fA : A B tales que (A, fA , B) C}
C1 = {B N |existen A N y fA : A B tales que (A, fA , B) C}.

Sea X = A, Y = B y fX : X Y dada por fX (a) = fA (a) si
AC0 BC1
a A. fX esta bien denida ya que si a A A , como A y A forman
parte de (A, fA , B) y (A , fA , B ) respectivamente y pertenecen a C que
es una cadena, entonces uno de ellos esta contenido en el otro, digamos

A A , y as fA |A = fA , lo que signica que fA (a) = fA (a).
Es claro que (X, fX , Y ) A ya que X, Y N , X Y = y fX es

biyectiva (ejercicio 3.17). Dejamos tambien como ejercicio demostrar que
(X, fX , Y ) es una cota superior de C. Por el Lema de Zorn (A, ) tiene un
maximal que denotamos por (A0 , fA0 , B0 ).
Veremos ahora que A0 y B0 son los conjuntos buscados.

A0 es innito. Si A0 fuera nito, como fA0 es biyectiva, entonces B0
sera nito y por lo tanto tambien A0 B0 , y por la Proposicion 3.4.2,
N (A0 B0 ) es innito, por lo que podemos tomar una pareja de elementos
distintos x, y de N (A0 B0 ). Denimos fA0 {x} : A0 {x} B0 {y}
por

fA0 (a) si a A0
fA0 {x} (a) =

y si a = x
Se tiene que
(A0 {x}, fA0 {x} , B0 {y}) A
y
(A0 , fA0 , B0 ) < (A0 {x}, fA0 {x} , B0 {y}),
lo que contradice que (A0 , fA0 , B0 ) es maximal en A. Por lo tanto A0 es
innito. De lo anterior se tiene que B0 es innito. Ademas A0 B0 =
y como A0 , B0 N se tiene que, por la Proposicion 3.4.1,
|A0 | = |B0 | = |N | = 0 .
Corolario 3.4.6. 0 + 0 = 0 .
Demostracion. Sea N un conjunto tal que |N | = 0 . Por el Teore-
ma 3.4.5, existen subconjuntos A y B de N tales que A B = y
|A| = |B| = 0 . Entonces
0 + 0 = |A| + |B| = |A B| |N | = 0 .
Pero por otro lado 0 0 + 0 (Ejercicio 3.14) y de ambas desigual-
dades concluimos entonces que 0 = 0 + 0 .
En realidad el Teorema 3.4.5 es cierto para cualquier conjunto innito
Teorema 3.4.7. Se A un conjunto innito. Entonces existen conjuntos

C y C tales que
(1) C C = .
(2) |C| = |C | = |A|.
(3) |C C | = |A|.
Demostracion. Sea
A = {(B, fB )|B A y fB : B ({0}B)({1}B) es funcion biyectiva}.
A = ya que como A es innito 0 |A| y entonces, por la Proposicion
3.3.5, A contiene un subconjunto numerable N y, por el Teorema 3.4.5,
existe una funcion biyectiva f : N ({0} N ) ({1} N ). Denimos
un orden parcial en A como sigue
(B, fB ) (B , fB ) si y solo si B B y fB |B = fB .
Efectivamente es un orden parcial ya que
(1) (B, fB ) (B, fB ) para cada (B, fB ) A.
(2) Si (B, fB ) (B , fB ) y (B , fB ) (B, fB ) entonces B B B y
as B = B y fB = fB |B = fB |B = fB . Por lo tanto (B, fB ) = (B , fB ).
(3) Si (B, fB ) (B , fB ) y (B , fB ) (B , fB ) entonces B B B
y fB |B = fB , fB |B = fB implica que fB |B = fB , por lo que
(B, fB ) (B , fB ).
Como en ocasiones anteriores, la idea es encontrar un elemento maximal
(B0 , f0 ) en A y demostrar que |B0 | = |A|. Para esto probaremos que A
satisface la hipotesis del Lema de Zorn
Sea C una cadena en (A, ) y sea
C0 = {B A | existe fB : B ({0} B) ({1} B) con (B, fB ) C}.

Ahora, sea B = {B | B C0 } y fB : B ({0} B) ({1} B)
denida por fB (b) = fB (b) si b B; fB esta bien denida pues si B, B C
con B B y b BB entonces fB (b) = fB (b) ya que fB es la restriccion
de fB a B. Ademas fB es inyectiva, ya que para cualesquiera b, b B
si fB (b) = fB (b ) entonces existe un conjunto B de C0 donde b, b B y
as fB (b) = fB (b ) y por lo tanto b = b . Tambien es suprayectiva, pues
si (i, b ) ({0} B) ({1} B), entonces (i, b ) ({0} B) ({1} B)
para algun B C y como fB es biyectiva existe b B( B) tal que
fB (b) = (i, b ). Por lo anterior, (B, fB ) A. Ademas es una cota superior
de C y, por el Lema de Zorn, (A, ) tiene un maximal (B0 , f0 ).
Armamos que A B0 es nito, pues si no lo es entonces contiene un
subconjunto numerable N , y con este N podemos construir un elemento
(D, fD ) de A tal que (B0 , f0 ) < (D, fD ), esto es, si D = B0 N y

fD : D ({0} D) ({1} D)
denida por fD |B0 = f0 y fD |N es una funcion biyectiva de N en
({0} N ) ({1} N ), cuya existencia queda asegurada por el Teore-
ma 3.4.5. Entonces tendramos que (D, fD ) es un elemento de A que es
mayor que (B0 , f0 ) lo que es imposible ya que (B0 , f0 ) es maximal en A.
Por lo tanto A B0 debe ser nito. Ademas se tiene que
|A| = |B0 (A B0 )| = |B0 | + |A B0 | = |B0 |,
siendo la ultima igualdad justicada por el Corolario 3.4.3. Finalmente
|B0 | = |({0} B0 ) ({1} B0 )| = |({0} B0 )| + |({1} B0 )| = |B0 | + |B0 |.
As que C = {0} B y C = {1} B son los conjuntos deseados.
Corolario 3.4.8. Si es un cardinal innito entonces + = .

Proposicion 3. 4.9. Sean y cardinales con al menos uno de ellos
innito. Entonces
+ = max{, }.
Demostracion. Supongamos que . Por la Proposicion 3.2.3 (1),
existe un cardinal tal que = + . Como , por la Proposicion
3.2.3 inciso (2), + + . Entonces
= + + + = .
Por lo tanto + = .
Veamos ahora algunas propiedades mas del producto de cardinales.

Proposicion 3.4.10. Sea n un cardinal nito. Entonces 0 n = 0 .
F y N conjuntos tales que |F | = n y |N | = 0 .

Demostracion. Sean
Entonces N F = (N {x}). Como F es nito, por el Teorema 3.3.3
xF
F admite un doble buen orden . Sean x0 y x1 el mnimo y el maximo de
F respectivamente y consideremos el siguiente conjunto

A = {x F | (N {z}) es numerable}.
zx
A = ya que x0 A y por ser A nito (Teorema 3.3.2 (1)), tiene

maximo y0 . Demostraremos que y0 es igual a x1 y por lo tanto tendremos
que N F es numerable.

Si y0 < x1 entonces (N {z}) es numerable y F A = . Sea
zy0
y1 el mnimo de (F A). Tenemos que [ (N {z})] (N {y1 }) es
zy0
numerable (Corolario 3.4.6) por lo que y1 A. Pero esto es un absurdo ya
que y0 < y1 (recordamos
que y0 es el maximo de A). Por lo tanto y0 = x1
y entonces N F = (N {x}) es numerable.
xx1
Proposicion 3.4.11. Si n es un cardinal nito y un cardinal innito.

Entonces n = .
La demostracion se deja como ejercicio al lector.
Teorema 3. 4.12. Si N es un conjunto numerable entonces N N es
numerable.
Demostracion. Como queremos encontrar una funcion biyectiva de
N N en N , la idea es considerar los subconjuntos B de N tales que
existe una funcion inyectiva de B B en N y demostrar que existe uno
numerable. As que si tal conjunto existe debemos buscar entre los maxi-
males con esta propiedad.
Sea A = {(B, fB ) | B N y fB : B B N es inyectiva}. Denimos
en A un orden parcial como sigue
(A, fA ) (B, fB ) si y solo si A B y fB |A = fA .
No es difcil demostrar que es un orden parcial sobre A.
Para ver que (A, ) tiene un maximal demostraremos que satisface la
hipotesis del Lema de Zorn
Sea C una cadena en (A, ),
C0 = {B N | existe fB : B B N tal que (B, fB ) C}

yB= B.
BC0
Observemos que si (x, y) B B, podemos encontrar un conjunto
B C0 tal que x, y B pues C0 es una cadena respecto de . Ademas,
por la denicion de orden en A, si x, y son elementos de otro conjunto B
de C0 entonces fB (x, y) = fB (x, y).
Denimos ahora fB : B B N de la siguiente manera;
fB (x, y) = fB (x, y) si (x, y) B B.
La observacion hecha en el parrafo inmediato anterior a este asegura
que fB esta bien denida. Probaremos ahora que (B, fB ) es una cota
superior de C.
Evidentemente B N y fB es inyectiva ya que si fB (x, y) = fB (x , y ),

nuevamente por la observacion anterior existe B C0 tal que
x, y, x , y B. Entonces, por la denicion de fB , fB (x, y) = fB (x , y )
y por lo tanto (x, y) = (x , y ), ya que fB es inyectiva.
Si (B, fB ) C, entonces B B y por denicion de fB , fB |B = fB ,
por lo tanto (B, fB ) es una cota superior de la cadena C en (A, ).
Por el Lema de Zorn existe un elemento maximal (D, fD ) en (A, ).
Supongamos que D es nito. Entonces D D es nito y por lo tanto
N fD (D D) es innito. Por otro lado , si x N D y D = D {x},
tenemos que (D D ) (D D) es nito y, por la Proposicion 3.4.2, y
el Corolario 3.3.8 existe una funcion inyectiva
h : (D D ) (D D) N fD (D D).
Denimos fD : (D D ) N por

fD (x, y) si (x, y) (D D)
fD (x, y) =

h(x, y) si (x, y) (D D ) (D D).
Como fD y h son inyectivas y
(D D) [(D D ) (D D)] = = fD (D D) [N fD (D D)]
se tiene que fD es inyectiva. Ademas, por denicion, fD |D = fD , por lo
que (D , fD ) A y (D, fD ) < (D , fD ) lo que es imposible ya que (D, fD )
es maximal en A. Por lo tanto D es innito y como fD es inyectiva se
tiene que fD (D D) es innito y por ser fD (D D) un subconjunto de
N , entonces fD (D D) es numerable. De aqu concluimos que N N es
numerable.
Corolario 3.4.13. 0 0 = 0 .
Teorema 3.4.14. Sea A un conjunto innito. Entonces A A A.
Demostracion. La demostracion es similar a la del Teorema 3.4.12. Sea
A = {(B, fB ) | B A B innito y fB : B B B es biyectiva}. A =
ya que por ser A innito, contiene un subconjunto numerable N y por el
Teorema 3.4.12, N N N .
Denimos un orden parcial en A dado por
(B, fB ) (B , fB ) si y solo si B B y fB |B = fB .
Que es un orden parcial y que (A, ) tiene un maximal queda
como ejercicio. Sea (D, fD ) un maximal de (A, ). Demostraremos que
|D| = |A|. Lo primero que haremos sera demostrar que |A D| < |D|
Observemos primero que D es innito, ya que (D, fD ) pertenece (A, ).

Supongamos que |AD| |D|. Entonces AD es un conjunto innito
puesto que D lo es. Por la Proposicion 3.3.5, existe un subconjunto E de
A D tal que |E| = |D|. Entonces, debido a que E D = ,
|(D E) (E D) (E E)| = |D E| + |E D| + |E E|
= |D| |E| + |E| |D| + |E| |E|
= |D| |D| + |D| |D| + |D| |D|
= |D| + |D| + |D| = |D| = |E|.
Por lo tanto existe una funcion biyectiva
g : E (D E) (E D) (E E).
La funcion fDE : D E (D E) (D E) dada por

fD (x) si x D
fDE (x) =

g(x) si x E,
esta bien denida ya que D E = , y es biyectiva puesto que restringida
a cada uno de los conjuntos D y E lo es y ademas
[(D E) (E D) (E E)] (D D) = .
Por lo tanto (D E, fDE ) A. Ademas (D, fD ) < (D E, fDE ), lo que
es un absurdo ya que (D, fD ) es maximal en (A, ).
Por lo tanto se tiene |A D| < |D| y de aqu se obtiene que
|A| = |D (A D)| = |D| + |A D| = max{|D|, |A D|} = |D|,
y como fD : D D D es biyectiva, obtenemos el resultado deseado,
es decir, A A A.
Corolario 3.4.15. Si es un cardinal innito entonces = .

Corolario 3.4.16. Si y son cardinales y al menos uno de ellos es
innito, entonces = max{, }.
Demostracion. Ejercicio 3.19.
Como 0 es el primer cardinal innito, entonces para todo cardinal ,

es nito si y solo si < 0 . Esto nos dice que 0 no tiene antecesor
inmediato, o lo que es lo mismo, el conjunto de los cardinales nitos no
tiene maximo. Daremos un nombre especial a este tipo de cardinales
Denicion 3.4.2. Un cardinal se llama cardinal lmite si para todo
< se tiene que + 1 < .
Ejemplo 3.4.1. 0 y 0 son cardinales lmite.

Con el orden que hemos denido en cardinales, y escritos en forma
ascendente, la sucesion de ellos comenzara como sigue
0, 1, 2, . . . , 0 , 1 , 2 , . . . , , +1 , +2 , . . .
donde i+1 es el cardinal que inmediatamente le sigue a i , es decir, no
existe ningun cardinal entre i y i+1 . 0 es el primer cardinal lmite
innito y es el cardinal lmite que le sigue, etc.
Al cardinal i+1 , se llama sucesor de i y para un cardinal nito n
su sucesor es n + 1 (Proposicion 3.3.16). As pues, cada cardinal tiene
un sucesor, pero no todo cardinal es sucesor de otro, precisamente los
cardinales lmite son aquellos que no son sucesor de un cardinal.
Se sabe que el cardinal de los numeros reales es 20 y que 0 < 20
(Teorema 3.1.8). Como 1 es el mnimo cardinal mayor que 0 , y es
un orden total, entonces debe ser 1 20 . Sin embargo no se conoce un
subconjunto del conjunto de los numeros reales cuyo cardinal sea 1 .
Basados en la axiomatica de la Teora de Conjuntos (Zermelo-Fraenkel),
incluyendo el axioma de eleccion, Kurt Godel (1906-1978) demostro que,
suponiendo la consistencia de la Teora de Conjuntos, no se puede probar
que 1 < 20 y por otro lado, Cohen demostro (1964) que, suponiendo la
consistencia de la Teora de Conjuntos no se puede probar que 1 = 20 .
Por lo tanto, suponer lo que se conoce como Hipotesis del Continuo, que
es, 1 = 20 , o suponer su negacion, que es, 1 < 20 , es, en cualquiera de
los dos casos, consistente con la axiomatica de la Teora de Conjuntos.
De manera mas general, dado el cardinal innito i se tiene que
i+1 = 2i o i+1 < 2i .
Suponer que sucede alguna de las dos armaciones es independiente de
los axiomas de la Teora de Conjuntos. A la hipotesis de que i+1 = 2i pa-
ra todo cardinal innito i se le conoce como la Hipotesis Generalizada
del Continuo.
3.5 Sistemas de Peano
En esta seccion introduciremos los Sistemas de Peano para denir los

numeros naturales. Mas explcitamente, los numeros naturales seran los
elementos de un Sistema de Peano para lo cual, por supuesto, demostra-
remos que dos Sistemas de Peano son isomorfos. Ademas construiremos
3.5 Sistemas de Peano 67
un modelo para un Sistema de Peano basado en los cardinales nitos.

Existen otros modelos concretos de Sistemas de Peano, construidos en la
Teora de Conjuntos.
Denicion 3.5.1. Un Sistema de Peano es una terna (N,s,n0 ) donde
N es un conjunto llamado el conjunto soporte, n0 N y s : N N es
una funcion, tales que
(a) n0 / Im(s),
(b) s es inyectiva,
(c) Para cada T N, si n0 T y si para toda
n N(n T = s(n) T )
entonces T = N.
Nota 13. Al elemento n0 de la Denicion 3.5.1 lo llamaremos el elemen-
to distinguido del sistema de Peano.
Los pasos a seguir en el estudio de Sistemas de Peano son los siguientes
1. Demostrar la existencia de un Sistema de Peano y as toda la
teora que se deduzca de un Sistema de Peano es no contradicto-
ria.
2. Demostrar que cualesquiera dos Sistema de Peano son isomor-
fos (vea la Denicion 3.5.2), es decir, existe un unico Sistema de
Peano salvo isomorsmos, y entonces deniremos el conjunto de
los numeros naturales como cualquier Sistema de Peano.
3. Trabajar con un Sistema de Peano, introduciendo la suma, el
producto y una relacion de orden.
Proposicion 3.5.1. Si (N, s, n0 ) es un Sistema de Peano, entonces N es
innito.
Demostracion. s : N N es inyectiva, entonces s es biyectiva sobre su
imagen y como n0 / Im(s), por el Teorema 3.3.3 (1)(3), se tiene que N
es innito.
Construccion de un Sistema de Peano
Sea F = {n | n es cardinal nito}. Denimos la funcion s : F F de

la siguiente manera
s(n) = s(|An |) = |An {an }|
donde para cada n F, An es un conjunto tal que |An | = n y an
/ An .
El elemento distinguido sera 0 = ||.
Demostraremos que (F, s, 0) es un sistema de Peano

(1) 0
/ Im(s).
Supongamos que 0 = s(|A0 |) = |A0 {a0 }|. Entonces A0 {a0 },
lo que es un absurdo, ya que A0 {a0 } = .
(2) s es inyectiva.
Supongamos que s(n) = s(m), es decir, |An {an }| = |Am {am }|
donde, como sabemos, an / An y am / Am .
Queremos demostrar que n = m, es decir, que existe una biyeccion de
An en Am . Por hipotesis existe una funcion biyectiva
f : An {an } Am {am }.
Si f (an ) = am entonces f |An : An Am es biyectiva. Si f (an ) = am ,
denimos g : An Am como sigue

f (a) si f (a) = am
g(a) = .

f (an ) si f (a) = am
Es facil ver que g es biyectiva y se deja como ejercicio al lector.
(3) Sea T F tal que 0 T y tal que para cada
n T (n T s(n) T ).
Demostraremos que T = F.
Supongamos que T = F y sea A un conjunto nito tal que n = |A| / T.
El conjunto {X A | |X| / T } es no vaco puesto que A pertenece a este
conjunto. Como A es nito, por el Teorema 3.3.3, ({X A | |X| / T }, )
tiene un elemento minimal que denotamos por X0 . Entonces |X0 | / T

implica que X0 = ya que 0 = || T . Sean x X0 y X = X0 {x}.
X X0 y por ser X0 minimal en ({X A | |X| / T }, ), tenemos que
m = |X | T y por lo tanto, por hipotesis, s(m) = s(|Am |) = s(|X |) T .
Pero s(|X |) = |X {x}| = |X0 |. Entonces |X0 | T , lo que contradice la
hipotesis de que |X0 | / T , por lo tanto T = F.
Concluimos entonces que (F, s, 0) es un Sistema de Peano.
Corolario 3.5.2. El conjunto de todos los cardinales nitos es innito.
Demostracion. Consecuencia de la Proposicion 3.5.1 y del Sistema de
Peano construido anteriormente.
Veamos ahora que cualquier conjunto innito contiene un Sistema de
Peano.
Teorema 3.5.3. Sea A un conjunto innito. Entonces existe un subcon-

junto N de A, n0 N y una funcion s : N N tales que (N, s, n0 ) es
un Sistema de Peano, es decir, todo conjunto innito contiene un sistema
de Peano.
Demostracion. Como A es innito, entonces existe una funcion inyectiva
s : A A tal que s(A) A. Sea n0 A Im(s) y consideramos el
siguiente conjunto
U = {B A | n0 B y tal que x B s(x) B}.

U=
ya que A U. Sea N = B. Claramente N U.
BU
Armamos que (N, s, n0 ) es un Sistema de Peano, donde
s : N N
esta denida por s = s|N .
Como n0 / Im(s) y
s es inyectiva, solo tenemos que demostrar que se
satisface (c) de la denicion de Sistema de Peano.
Sea T N tal que n0 T y tal que cada vez que x T , s(x) T .
Debemos probar que T = N.
Por las propiedades de T , tenemos que T U, y como N = B,
BU
entonces N T . Por lo tanto N = T .
Teorema 3.5.4. Si (N, s, n0 ) es un Sistema de Peano, entonces n0 es el

unico elemento de N que no pertenece a Im(s).
Demostracion. Mostraremos que N = Im(s) {n0 }.
Como (N, s, n0 ) es un Sistema de Peano, para demostrar que
Im(s) {n0 } = N veremos que Im(s) {n0 } ( N) satisface las hipotesis
de la condicion (c) de la denicion de Sistema de Peano
n0 Im(s){n0 } y si x Im(s){n0 }, entonces s(x) Im(s){n0 }.
Por lo tanto Im(s) {n0 } = N.
Teorema 3.5.5. (Teorema de Recursion)

Sea (N, s, n0 ) un Sistema de Peano, y sean X un conjunto, x0 X y
: X X una funcion. Entonces existe una unica funcion F : N X
tal que F (n0 ) = x0 y F (s(n)) = (F (n)) para toda n N, es decir el
siguiente diagrama conmuta
n_0 N s / N
F F

x0 X /X
donde F (n0 ) = x0 .
Demostracion.
Existencia. Sea
U = {A N X | (n0 , x0 ) A y (n, x) A ((s(n), (x)) A)}.
U = ya queN X U.
Sea F = A.
AU
Demostraremos que F U, DomF = N y que F es la funcion deseada.
(I) F U
Es inmediato de la denicion de F.
(II) DomF = N.
Debemos demostrar que para cada n N, existe x X tal que
(n, x) F. Sea
B = {n N| existe x X tal que (n, x) F}.
Demostraremos que B = N aplicando (c) de la denicion de Sis-
tema de Peano
(i) n0 B ya que (n0 , x0 ) F.
(ii) Sea n B. Mostraremos que s(n) B. n B implica que
existe x Xtal que (n, x) F y como F U, entonces
(s(n), (x)) F. Luego s(n) B y por lo tanto B = N.
(III) F es funcion.
Sea C = {n N | existe una unica x X tal que (n, x) F}.
Probaremos que C = N, como hicimos en (II), usando el hecho
de que N es un Sistema de Peano.
(i) n0 C. Sabemos que (n0 , x0 ) F as que supongamos
que (n0 , x1 ) F donde x1 = x0 y consideramos el conjunto
A = F {(n0 , x1 )}. Demostraremos que A U lo que nos lleva
a un absurdo ya que en este caso se tendra A F A. Evi-
dentemente (n0 , x0 ) A. Si (n, x) A, por ser este elemento
de F se tiene que (s(n), (x)) F y como s(n) = n0 debido
a que n0 / Im(s) (Teorema 3.5.4), entonces (s(n), (x)) A.
Por lo tanto A U que es un absurdo. Concluimos entonces
que x1 = x0 y as n0 C.
(ii) Supongamos que n C. Veremos que existe un unico y X
tal que (s(n), y) F, es decir s(n) C. Sea x el unico elemen-
to de X tal que (n, x) F, supongamos que (s(n), y) F con
y = (x) y sea A = F {(s(n), y)}. Probaremos que A U.
1/ (n0 , x0 ) A puesto que n0 = s(m) para toda m N, y
esto implica que (n0 , x0 ) = (s(n0 ), y).

2/ Supongamos que (m, k) A.Veremos que (s(m), (k))A.
Si (s(m), (k)) = (s(n), y), entonces m = n dado que s es in-
yectiva y y = (k) donde k = x ya que y = (x). Por lo tanto
tendramos que (n, k), (n, x) A con k = x, lo que es imposi-
ble puesto que x es el unico elemento de X tal que (n, x) A.
Por lo tanto (s(m), (k)) = (s(n), y) y as (s(m), (k)) A.
Tenemos entonces que A U, lo que nuevamente no puede ser
debido a que esto implicara que A F A.
Por lo tanto s(n) C y entonces C = N.
Por ultimo, F es la funcion deseada, esto es, F satisface
(F(n)) = F(s(n)).
Unicidad. Supongamos que existe otra funcion : N X tal que
(n0 )
= x0 y (s(n)) = ( (n)). Demostraremos que = usando
(c) de la denicion de Sistema de Peano
1 / (n0 ) = x0 = (n0 )
2 / Supongamos que (n) = (n). Demostraremos que (s(n)) =
(s(n)).
(s(n)) = ( (n)) = ((n)) = (s(n)).
Cabe mencionar que existe otro tipo de demostracion para este teore-
ma, sin embargo es de mayor grado de dicultad, ya que utiliza el orden
usual de un Sistema de Peano (Numeros Naturales), por lo que tendramos
que introducir antes este orden. En lugar de eso lo que nosotros hace-
mos aqu es demostrar primero el Teorema de Recursion y a partir de el
denimos la suma de numeros naturales y nalmente usando la adicion
denimos el orden.
Denicion 3. 5.2. Dos Sistemas de Peano (N, s, n0 ) y (N , s , n0 ) son
isomorfos si existe una funcion biyectiva F : N N tal que
F (n0 ) = n0 y F (s(n)) = s (F (n)), es decir el siguiente diagrama
s /N
N
F F
s
N / N
conmuta.
Corolario 3.5.6. Cualesquiera dos Sistemas de Peano (N, s, n0 ) y

(N , s , n0 ) son isomorfos.
Demostracion. Como (N, s, n0 ) y (N , s , n0 ) son Sistemas de Peano, por

el Teorema de Recursion, sabemos que existe una unica funcion
F : N N tal que F (n0 ) = n0 y F (s(n)) = s (F (n)) y existe una
unica funcion F : N N tal que F (n0 ) = n0 y F (s (n)) = s(F (n)).
La composicion F F : N N es tal que (F F )(n0 ) = n0 y
(F F )(s(n)) = s((F F )(n)), y como la identidad 1N tambien satisface

que 1N (n0 ) = n0 y 1N (s(n)) = s(1N (n)), se tiene, por la unicidad dada

en el Teorema de Recursion, que F F = 1N .
Analogamente se demuestra que F F = 1N .
s /
N N
F F
s /
N N 1N
F F
s /
1N N N
F F
s /
N N
Por lo tanto F es biyectiva, F (n0 ) = n0 y F (s(n)) = s (F (n))
(Ademas es la unica con esta propiedad).
Como ya hemos demostrado que existe un unico Sistema de Peano,

salvo isomorsmos, de aqu en adelante denotaremos la funcion s : N N
de un Sistema de Peano por ( ) y la llamaremos funcion sucesor y
al elemento distinguido n0 N lo denotamos por 0. Mas adelante se
encontrara el sentido de la nomenclatura de s.
Usando el Teorema de Recursion deniremos la suma en un Sistema
de Peano, y el producto, como se vera en su momento, se denira a traves
de la suma y el mismo Teorema de Recursion.
Teorema 3. 5.7. Sea (N, ( ) , 0) un Sistema de Peano. Entonces existe

una unica funcion : N N N tal que para cada m N, (m, 0) = m
y (m, n ) = ((m, n)) .
Demostracion.
Existencia. Sea m N, jo y sean X = N, = ( ) y x0 = m. Por el
Teorema de Recursion, existe una unica funcion
m : N N tal que m (0) = m y m (n ) = (m (n)) .
Haciendo esto para cada m N, podemos denir : N N N por
(m, n) = m (n). Claramente satisface las condiciones del teorema, ya
que (m, 0) = m (0) = m y (m, n ) = m (n ) = (m (n)) = ((m, n)) .
Unicidad. Supongamos que 1 : N N N tambien satisface el

teorema. Probaremos que para cada m, n N (m, n) = 1 (m, n).
Sea m N jo y sea T = {n N | (m, n) = 1 (m, n)} N.
Probaremos que T = N.
1 / 0 T , ya que (m, 0) = m = 1 (m, 0).
2 / Supongamos que n T . Entonces (m, n) = 1 (m, n).
Ambas funciones satisfacen el teorema, as que (m, n ) = ((m, n)) y
1 (m, n ) = (1 (m, n)) y como (m, n) = 1 (m, n) entonces
((m, n)) = (1 (m, n)) . Por lo tanto (m, n ) = 1 (m, n ) y de aqu
n T .
Entonces T = N y as (m, n) = 1 (m, n) para toda n N y como m
es arbitrario, entonces = 1 .
Notacion 3.5. (m, n) = m + n y la llamaremos suma de m y n.

Con esta notacion el Teorema 3.5.7 nos dice que + : N N N es la
unica funcion tal que para toda m, n N, m + 0 = m y m + n = (m + n) .
En el Ejemplo 3.1.1, denotamos por 0 al cardinal de y por 1 al cardi-

nal de {}, y como ya hemos demostrado que el conjunto de los cardinales
nitos junto con 0 y la funcion s dada en la pagina 67 es un Sistema de
Peano, se tiene que s(0) = 1. Con la notacion recien introducida, tenemos
que 0 = 1. Como ya hemos visto que cualesquiera dos Sistemas de Peano
son isomorfos, tenemos entonces que los elementos distinguidos de ellos se
identican entre s mediante este isomorsmo, as que quedan identicados
entre s tambien los sucesores correspondientes. Es por esto que, abusan-
do un poco de la notacion, denotamos 1 como el sucesor del elemento
distinguido, en el siguiente
Corolario 3.5.8. Sea (N, ( ) , 0) un Sistema de Peano. Si 1 = 0 entonces

n = n + 1 para toda n N.
Demostracion. n + 1 = n + 0 = (n + 0) = n .
Teorema 3. 5.9. La suma + en N tiene las siguientes propiedades

(1) Para todas m, n, r N, (m + n) + r = m + (n + r). (propiedad asociativa)
(2) Para todas m, n N, m + n = n + m. (propiedad conmutativa)
(3) Para toda m N, m + 0 = m. (existencia de elemento neutro)
(4) Para todas m, n, r N, (n + m = r + m n = r). (ley de cancelacion)
Demostracion. Demostraremos (1) y (4) y dejamos como ejercicio la

demostracion de (2). Sobre (3), ya se menciono inmediatamente despues
de dar la Notacion 3.5.
(1) Recordemos del Teorema de Recursion que, para cada m N, la

funcion m : N N es la unica que satisface m (0) = m y
m (x ) = (m (x)) .
Como
(m n )(0) = m (n (0))
= m (n + 0)
= m (n) = m + n,
y
((m n )(x )) = m (n (x ))
= m ((n (x)) )
= (m (n (x)))
= ((m n )(x))
entonces, por la unicidad, m+n = m n .
Por lo tanto para toda r N, m+n (r) = (m n )(r), y as
(m + n) + r = m + (n + r).
(4) Sea T = {m N | n + m = r + m n = r} N. Demostraremos

que T = N usando (c) de la denicion de Sistema de Peano.
1 / 0 T ya que n + 0 = r + 0 n = r.
2 / Sea m T . Entonces n + m = r + m n = r.
Supongamos que n + m = r + m . Entonces (n + m) = (r + m) , y
como ( ) es inyectiva se tiene que n + m = r + m, que por hipotesis de
induccion, implica que n = r y as m T .
Por lo tanto T = N.
En la pagina 44 denimos una suma en el conjunto de cardinales. Si
restringimos esta suma a los cardinales nitos F, por el Corolario 3.3.15,
esta suma esta bien denida en F, la suma de cardinales nitos es un

cardinal nito. Por otro lado, como ya hemos visto, (F, s, 0) es un Sistema
de Peano y como tal se tiene denida una suma (Teorema 3. 5.7). Veremos
a continuacion que estas dos sumas en realidad son la misma.
Proposicion 3.5.10. La suma denida en el conjunto de cardinales nitos
F coincide con la suma denida para el Sistema de Peano (F, s, 0).
Demostracion. Por el Teorema 3.5.7 basta demostrar que la funcion
: F F dada por (|A|, |B|) = |A| + |B|, donde + denota la suma
denida para cardinales la cual satisface, (|A|, ||) = |A| y
(|A|, s(|B|)) = s((|A|, |B|)):
(a) (|A|, ||) = |A| + || = |A|
(b) Sea c
/ A B. (|A|, s(|B|)) = |A| + s(|B|)
= |A| + |B {c}|

= |A (B {c})|

= |(A B) {c}|
= s(|A| + |B|)
= s((|A|, |B|)).
Introduciremos ahora el producto en un Sistema de Peano
Teorema 3.5.11. Sea (N, ( ) , 0) un Sistema de Peano. Entonces existe
una unica funcion : NN N tal que para cada m, n N (m, 0) = 0
y (m, n ) = (m, n) + m.
Demostracion.
Existencia. Sea m N jo. Para X = N sea : N N dada por
(n) = n + m y sea x0 = 0. Por el Teorema de Recursion existe una unica
funcion m : N N tal que m (0) = 0 y (m (n)) = m (n ).
Sea : N N N denida por (m, n) = m (n). satisface las
condiciones del teorema pues (m, 0) = m (0) = 0 y
(m, n ) = m (n ) = (m (n)) = ((m, n)) = (m, n) + m.
Unicidad. Supongamos que 1 : N N N satisface tambien
que 1 (m, 0) = 0 y 1 (m, n ) = 1 (m, n) + m, para todo m, n N. Para
m jo, sea T = {n N|(m, n) = 1 (m, n)}. Probaremos que T = N.
1 / 0 T ya que (m, 0) = 0 = 1 (m, 0)
2 / Sea n T , es decir, (m, n) = 1 (m, n). Entonces
(m, n ) = (m, n)+m = 1 (m, n)+m = 1 (m, n ). Por lo tanto n T .
Entonces T = N y as (m, n) = 1 (m, n) para todo m, n N.
Notacion 3.6. (m, n) = m n y la llamaremos el producto de m y n.

Con esta notacion tenemos m 0 = 0 y m n = m n + m.
Teorema 3.5.12. Sea (N, ( ) , 0) un Sistema de Peano. El producto tiene
las siguientes propiedades
(1) Para m, n, r N, (m n) r = m (n r). (propiedad asociativa)
(2) Para m, n N, m n = n m. (propiedad conmutativa)
(3) Para m N, m 1 = m. (existencia de elemento neutro)
(distribucion del producto
(4) Para m, n, r N, r (m + n) = r m + r n. respecto a la suma)
(ley de cancelacion
(5) Para m, n, r N, (r m = r n y r = 0 m = n). para el producto)
Demostracion.
(3) m 1 = m 0 = m 0 + m = m.
(4) Sean m y r jos y sea T = {n N | r (m + n) = r m + r n} N.
Demostraremos que T = N usando (c) de la denicion de Sistema de
Peano.
1 / 0 T ya que r (m + 0) = r m = r m + 0 = r m + r 0.
2 / Supongamos que n T . Entonces
r (m + n ) = r (m + n) = r (m + n) + r = (r m + r n) + r =
r m + (r n + r) = r m + r n
Dejamos como ejercicio la demostracion de (1), (2) y (5).
Denimos ahora una relacion de orden en un Sistema de Peano.
Denicion 3.5.3. Sea (N, ( ) , 0) un Sistema de Peano. Dados m, n N,
diremos que n < m si existe r N {0} tal que n + r = m.
En el caso en que se use , tendremos que n m si y solo si existe
r N (ya no pedimos r = 0) tal que n + r = m.
Teorema 3.5.13. Sea (N, ( ) , 0) un Sistema de Peano. < es un orden
parcial en N.
Demostracion.
(1) a a, ya que si existiera r N tal que a + r = a, entonces
a + r = a + 0, lo que implica, por el Teorema 3.5.9, que r = 0.
(2) Si a < b y b < c entonces, por denicion existen r1 , r2 N{0} tales
que a+r1 = b y b+r2 = c, Entonces a+(r1 +r2 ) = (a+r1 )+r2 = b+r2 = c,
y como (r1 + r2 ) = 0 (ver Ejercicio 3.36), entonces a < c.
Proposicion 3. 5.14. Si (N, ( ) , 0) es un Sistema de Peano, entonces

n < n y 0 n para toda n N.
La demostracion se deja como ejercicio al lector.
Teorema 3.5.15. El orden < denido en un Sistema de Peano (N, ( ) , 0)
es total.
Demostracion. Sea T = {m N| n, n = m n < m o m < n)}.
Demostremos que T = N haciendo uso de (c) de la denicion de Sistema
de Peano.
1 / 0 T por la Proposicion 3.5.14.
2 / Supongamos que m T y sea n N tal que n = m .
Si n = m entonces, por la Proposicion 3.5.14, n < n = m .
Si n = m, como m T , entonces n < m o m < n. Analicemos estos dos
casos
(a) Si n < m, por ser m < m , entonces n < m .
(b) Si m < n, entonces existe r N {0} tal que m + r = n y por ser
r = 0 existe q N tal que q = r, esto es q + 1 = r. Entonces
n = m + r = m + (q + 1) = (m + 1) + q = m + q.
Como por hipotesis n = m , entonces q N {0} y por lo tanto m < n.
Hemos demostrado que si n = m , entonces n < m o m < n. Luego

m T y as T = N.
Recordemos que n = n + 1.
De aqu en adelante denotaremos por N a un Sistema de Peano y por
0 a su elemento distinguido.
Proposicion 3.5.16. Para todo x N, si n x n + 1 entonces x = n
o x = n + 1.
Demostracion. Supongamos que n < x. Probaremos que x = n + 1.
Como n < x, existe r N, r = 0 tal que n + r = x.
Sea r0 N tal que r = r0 + 1. Entonces x = n + (r0 + 1) = (n + 1) + r0 .
Por lo que, por denicion de orden, n + 1 x. Pero tambien tenemos, por
hipotesis, que x n + 1. Por lo tanto x = n + 1.
Teorema 3.5.17. El orden en N es un buen orden.

Demostracion. Sea A N, A = y supongamos que A no tiene mnimo.
Sea T = {x N | a A x < a}. T N A N.
Utilizando (c) de la denicion de Sistema de Peano, probaremos que

T = N, lo que sera un absurdo ya que T es un subconjunto propio de N.
1 / 0 T , ya que 0 n para toda n N (Proposicion 3.5.14), y 0 no
puede ser elemento de A pues, por hipotesis, A no tiene mnimo.
2 / Supongamos que n T . Entonces n < a a A y por lo tanto
n + 1 a a A.
Si n + 1 = a para alguna a A entonces n + 1 sera el mnimo de
A contradiciendo la hipotesis, as que n + 1 < a a A y por lo tanto
n + 1 T . Entonces T = N, y como ya hemos dicho, esto no puede ser.
Por lo tanto A debe tener mnimo.
Teorema 3.5.18. Para cada n N, el conjunto In = {x N | x < n} es

nito.
Demostracion. Sea T = {n N|In es nito}. T satisface
(a) 0 T ya que I0 = {x N|x < 0} = es nito.
(b) Supongamos que n T , es decir, In es nito. Si x < n = n + 1,
entonces x < n o x = n, ya que por la Proposicion 3.5.16 no existe m N
tal que n < m < n + 1. Entonces
In+1 = {x N|x < n + 1}
= {x N|x < n o x = n}
= {x N|x < n} {n} = In {n}.
Pero por hipotesis In es nito lo que, por (3) del Teorema 3.3.2, implica
que In+1 es nito. Por lo tanto n + 1 T . Entonces T = N.
Ya hemos demostrado que cualesquiera dos Sistemas de Peano son iso-
morfos, en particular cualquier Sistema de Peano es isomorfo a (F, ( ) , 0),
donde F es el conjunto de los cardinales nitos. En el teorema siguiente
damos explcitamente este isomorsmo.
Teorema 3.5.19. Sea (N, ( ) , 0) un Sistema de Peano, y F el conjunto
de cardinales nitos. Entonces la funcion f : N F dada por
f (n) = |{x N | x < n}|
es un isomorsmo de (N, ( ) , 0) sobre (F, ( ) , 0).
Demostracion. 1 / f es inyectiva
Si n = m, entonces n < m o m < n. Supongamos n < m. Entonces
In = {x N | x < n} {x N | x < m} = Im ya que claramente In Im
y ademas n Im y n
/ In . Por lo tanto por ser In e Im nitos
|{x N | x < n}| < |{x N | x < m}|,
lo que signica que f (n) = f (m).
2 / f es suprayectiva
Sea T = Im(f ). Probaremos que T = F.
(i) 0 T ya que f (0) = |{x N | x < 0}| = || = 0. (Recordemos que
0 n para toda n N)
(ii) Supongamos que c T . Probaremos que c + 1 T .
Como c T , existe n N tal que f (n) = c. Entonces
f (n ) = |{x N | x < n }|
= |{x N | x < n} {n}|
= |{x N | x < n}| + |{n}|
= c + 1.
Esto es, c + 1 T . Por lo tanto T = F y entonces f es suprayectiva.
Finalmente de (i) y (ii) observemos que f (0)=0 y f (n )=f (n) + 1=
f (n) . Por lo tanto f es un isomorsmo.
De este teorema se desprenden los siguientes corolarios. Las demostra-
ciones se dejan como ejercicios al lector.
Corolario 3.5.20. Si n F, entonces |{x F | x < n}| = n.
Corolario 3.5.21. Un conjunto A es nito si y solo si existe n F tal
que A {x F | x < n}.
Por ultimo, a cada elemento de un Sistema de Peano lo llamaremos un
numero natural, as que, el conjunto de los numeros naturales sera cual-
quier Sistema de Peano.
3.6 Ejercicios
3.1. Demostrar las siguientes armaciones

1. || |A|.
2. Si |A| ||, entonces A = .
3. Si A B, entonces |A| |B|.
4. |A| |P(A)|. Puede ser que |A| = |P(A)|, para algun conjunto
A?
5. |A| |A A| para cualquier conjunto A.
6. Si B = , entonces |A| |A B|. Que puede decir en el caso
B = ?
7. Sean A y B conjuntos. Entonces |A| |B| si y solo si existe una
funcion suprayectiva de B en A.
3.2. Demostrar que si |A| |B| entonces |P(A)| |P(B)|.
3.3. Complete la demostracion de la Proposicion 3.2.2, estableciendo las
biyecciones mencionadas.
3.4. Complete la demostracion de la Proposicion 3.2.4, mostrando las
igualdades de los conjuntos propuestos.
3.5. Complete la prueba de la Proposicion 3.2.6, estableciendo las biyec-
ciones necesarias en cada caso.
3.6. Compruebe que la funcion dada en la demostracion de la Proposicion
3.2.7 es biyectiva.
3.7. Demuestre la Proposicion 3.2.8.
3.8. Demuestre las equivalencias (1), (1 ) y (2), (2 ) del Teorema 3.3.3.
3.9. Demuestre que un conjunto A es nito si y solo si para todo subcon-
junto propio B de A no existe una funcion inyectiva de A en B.
3.11. Demuestre el Teorema 3.3.6.
3.12. Si A es nito y f : A B es suprayectiva entonces B es nito.
3.13. Demuestre los Corolarios 3.3.7, 3.3.13, 3.3.15, 3.4.3 y 3.4.8.
3.14. Complete la demostracion del Corolario 3.4.6 vericando que
0 0 + 0 .
3.6 Ejercicios 81
3.15. Demostrar que si n y m son cardinales donde al menos uno de ellos

es innito, entonces n + m = n m.
3.16. Sean , y cardinales tales que = + . Demostrar que .
3.17. Demuestre que la funcion fX dada en la demostracion del Teorema
3.4.5 es biyectiva y que (X, fX , Y ) es cota superior de la cadena C.
3.20. Demostrar que si a es un cardinal innito y b es un cardinal nito,
entonces ab = a.
3.21. Sean a, b y c cardinales. Demostrar que
1. Si a b, entonces ac bc , Cuando se da la igualdad?
2. Si b c, entonces ab ac
3.22. Sean {ai }iI y {bi }iI dos familias
de numeros
cardinales tales que
para cada i I, ai < bi . Demostrar que ai < bi .
iI iI
3.23. Sean y cardinales tales que es innito y 2 2 . Demostrar

que = 2
3.24. Sean , y cardinales tales que y son innitos, = 2
y 2 . Demostrar que = . (Sugerencia: Utilizar la formula del
producto para cardinales innitos.)
3.25. Si f : A B es una funcion, la graca de f es el subconjunto
{(a, f (a))|a A} de A B.
1. Probar que la funcion Gf : A A B, denida por
Gf (a) = (a, f (a)) es una biyeccion de A sobre la graca de f .
2. Sean A y B conjuntos de cardinalidad y respectivamente,
tal que es innito y . Demostrar que el cardinal del
conjunto de funciones inyectivas de A en B es . (Sugerencia:
Pruebe que usando la parte (1), la otra desigualdad es
trivial.)
3.26. Sea A un conjunto de cardinalidad innita . Pruebe que el numero
de funciones biyectivas de A en s mismo es 2 . (Sugerencia: Establezca
que es cota superior, use el Ejercicio 3.23 y exhiba 2 biyecciones,
expresando A como la union ajena de dos subconjuntos, ambos de cardi-
nalidad y observe que las funciones inyectivas, de uno de ellos en el otro
pueden ser extendidas a una funcion biyectiva de A en A y nalmente use

el Ejercicio 3.25 (2)).
3.27. Sea X una retcula (vease la denicion en el Ejercicio 1.53) en la
cual cada cadena tiene una cota superior. Probar que X tiene un unico
elemento maximal.
3.28. Sea X una retcula en la cual cada cadena tiene supremo e nmo
en X. Probar que X es completa (Para la denicion de retcula completa,
vease el Ejercicio 1.54).
3.29. Dados los cardinales y , estudie las soluciones de = .
3.30. Demostrar que si A es numerable, entonces {X A | X es nito}
es numerable.
3.31. Demostrar que si cada subconjunto numerable de un conjunto to-
talmente ordenado X es bien ordenado, entonces X es bien ordenado.
3.32. Sea |A| = . Cual es la cardinalidad de {f : A A|f es biyectiva}?
3.33. Sea |A| = . Cual es la cardinalidad de {X A | X es numerable}?
3.34. Demuestre que la funcion g : An Am denida en la 3.4 pagina
68 es biyectiva.
3.35. Demostrar que el producto que se denio para cardinales nitos es
el mismo que el que se denio para un Sistema de Peano.
3.36. Demostrar que si r1 , r2 N y r1 = 0 o r2 = 0, entonces r1 + r2 = 0.
3.37. Demostrar, usando el Teorema de Recursion, que el producto de
cardinales nitos es conmutativo.
3.38. Complete la demostracion del Corolario 3.5.2.
3.39. En cada uno de los siguientes casos demostrar que el conjunto A
dado es numerable.
1. Sea n N {0}. A = {A N| |A| = n},
2. A = {A N|A es nito}.
3.40. Demostrar que {A N|A es innito} no es numerable.
3.41. Sean A y B conjuntos nitos de cardinalidad n y m respectivamente.
1. Probar que P(A) es de cardinalidad 2n ,
2. Deduzcase del inciso anterior que no existe un conjunto cuyo
conjunto potencia es numerable,
3.6 Ejercicios 83
3. Probar que la cardinalidad del conjunto de funciones de A en B

es mn ,
4. Probar que si n m, entonces la cardinalidad del conjunto de
m!
funciones inyectivas de A en B es (nm)! .
3.42. Sea A un conjunto de cardinalidad n y r N {0} jo. Sean
k1 . . . , kr N {0} tales que k1 + + kr = n. Probar que la cardinali-
dad del conjunto de particiones de A en r subconjuntos Ak1 , . . . , Akr de
n!
cardinalidad k1 . . . , kr respectivamente es k1 !...kr!
.
3.43. Demuestre los incisos (2) y (3) del Teorema 3.5.9.
3.44. Demuestre los incisos (1), (2) y (5) del Teorema 3.5.12.
3.46. Demostrar que si n, m N y n < m, entonces n + 1 m
3.47. Demuestre los Corolarios 3.5.20 y 3.5.21.
3.48. Sea A un conjunto innito. Probar que para todo n N, A contiene
un subconjunto B tal que |B| = n.
Captulo 4
Numeros ordinales
4.1 Conjuntos bien ordenados
En este captulo estudiaremos los conjuntos bien ordenados.

Observacion 4.3. Si (A, <A ) es un conjunto bien ordenado y B A,
denotaremos por <A |B al orden de A restringido a B. Sin embargo, por
comodidad y cuando no haya confusion continuaremos usando <A en vez
de <A |B .
Denicion 4.1.1. Dado un conjunto bien ordenado (A, <A ) y a A, el
segmento inicial de A determinado por a es el conjunto
Aa = {x A | x <A a}.
Proposicion 4.1.1. (Aa , <A ) es un conjunto bien ordenado.
Ejemplo 4.1.1.
(1) Sean (A, <A ) un conjunto bien ordenado, consideremos a = mn<A A y
b = mn<A (A {a}). Entonces Aa = y Ab = {a}.
(2) Si N es el conjunto de los numeros naturales con el orden usual y
n N, entonces Nn = {0, 1, 2, ..., n}.
Proposicion 4.1.2. Sea (A, <A ) un conjunto bien ordenado.
(a) Si a A y b <A a entonces (Aa )b = Ab , es decir, el segmento inicial de
Aa , determinado por b coincide con le segmento inicial de A determinado
por b.
(b) Para cualesquiera elementos a, a A, a <A a si y solo si Aa Aa .
Demostracion.
(a) 1o / x (Aa )b implica que x Aa y x <A b , y como Aa A ya
que a
/ Aa , entonces x A y x <A b, por lo que x Ab .
85
86 Numeros ordinales
2o / x Ab implica que x A y x <A b. Como b <A a, por hipotesis,

entonces x <A a, por lo que x Aa y as x (Aa )b .
(b) Se deja como ejercicio al lector.
Teorema 4.1.3. Sea (A, <A ) un conjunto bien ordenado y B A. Son
equivalentes
(a) b B x A (x < b x B).
(b) B = A o a A (B = Aa ).
Demostracion.
(b) (a) Se deja como ejercicio al lector.
(a) (b) Supongamos que A B = y sea a = mn<A (A B). Demos-
traremos que B = Aa .
Es claro que Aa B, por ser a el mnimo de A B.
Inversamente, sea x B y supongase que a < x (a = x ya que a
/ B). Por
hipotesis, se debe tener a B, lo que es imposible ya que a / B, luego
x < a y por lo tanto x Aa .
Teorema 4. 1.4. Principio de Induccion Transnita. Sea (A, <A )
un conjunto bien ordenado y T A. Si para cada a A se tiene que es
verdadero que Aa T implica a T , entonces T = A.
Demostracion. Supongamos que T = A y sea z = mn<A (A T ).
Entonces, Az T , pero por hipotesis esto implica que z T, lo que es
una contradiccion ya que z (A T ). Por lo tanto A = T.
Teorema 4.1.5. Teorema de Recursion Transnita. Sea (A, <A ) un

conjunto bien ordenado, B un conjunto arbitrario y

G: B Aa B
aA
una funcion. Entonces existe una unica funcion f : A B que hace
conmutativo el siguiente diagrama
Aa G
B /B
aA
O z<
z
z
H z
z f
z
A

donde H : A B Aa es la funcion dada por H(a) = f |Aa ; es decir,
aA
para toda a A, f satisface que f (a) = G(f |Aa ), donde f |Aa es la funcion
f restringida a Aa .
4.1 Conjuntos bien ordenados 87
Demostracion.
Existencia. Sea T A el conjunto que consta de todos los elementos
x A tales que existe una unica funcion fx : {y A | y x} B que
satisface fx (y) = G(fx |Ay ) para todo y x.
Supongamos que Aa T . Demostraremos que a T y por el Princi-
pio de Induccion Transnita tendremos entonces que T = A, con lo que
quedara demostrada la existencia de f del teorema.
Para esto observemos que para x, z Aa ( T ), con x z, por la
unicidad de las funciones fx y fz se debe tener que fz |{yA|yx} = fx ,
as que si tal funcion unica fa existiese, entonces fa |{yA|yx} = fx para
todo x < a. Esto nos da la idea de que para denir la funcion fa es
suciente denirla en a, ya que para las x < a debe coincidir con fx . Para
denirla en a debemos tomar en cuenta que debe satisfacer la condicion
requerida. Denamos pues fa : {y A | y a} B como sigue

fx (x) si x < a
fa (x) =

G(fa |Aa ) si x = a
Evidentemente esta funcion satisface la condicion requerida para que
a T y por lo tanto T = A. Denimos entonces la funcion buscada,
f : A B como f = fx , donde
xA

f (a) = fx (a) = fa (a)
xA
y
f (a) = fa (a) = G(fa |Aa ) = G(f |Aa )para todaa A.
Unicidad. Supongamos que f y g son dos funciones de A en B que
satisfacen f (a) = G(f |Aa ) y g(a) = G(g|Aa ) para toda a A y sea
T = {x A | f (x) = g(x)}. Mostraremos que T = A aplicando Induccion
Transnita.
Supongamos que Aa T . Entonces f |Aa = g|Aa y esto implica que
G(f |Aa ) = G(g|Aa ), lo que signica f (a) = g(a) y por lo tanto a T .
Denicion 4. 1.2. Sean (A, <A ) y (B, <B ), conjuntos bien ordenados.
Una funcion f : A B preserva el orden si a <A a implica
f (a) <B f (a ).
Denicion 4. 1.3. Sean (A, <A ) y (B, <B ), conjuntos bien ordenados.
Diremos que (A, <A ) y (B, <B ) son isomorfos (o semejantes, o del
mismo tipo de orden), y lo denotaremos por (A, <A ) = (B, <B ), si
existe una funcion biyectiva f : A B que preserva el orden.
Proposicion 4.1.6. La relacion de isomorsmo entre conjuntos bien or-
denados es reexiva, simetrica y transitiva.
Proposicion 4.1.7. Si f : (A, <A ) (B, <B ) es un isomorsmo de

conjuntos bien ordenados entonces f 1 : (B, <B ) (A, <A ) es un iso-
morsmo de conjuntos bien ordenados.
Proposicion 4.1.8. Si f : (A, <A ) (B, <B ) es un isomorsmo de

conjuntos bien ordenados y a A, entonces (Aa , <A )
= (Bf (a) , <B ).
Demostracion. Sea a A Demostraremos que f |Aa es un isomorsmo
de conjuntos bien ordenados sobre Bf (a) .
Para cada x Aa , f (x) Bf (a) ya que, por hipotesis, f preserva el orden.
f es inyectiva, pues es la restriccion de una funcion inyectiva.
Como f es suprayectiva, para cada y Bf (a) existe x A tal que
f (x) = y. Solo tenemos que demostrar que x Aa . Si x a entonces
y = f (x) f (a), lo que no puede suceder, ya que y Bf (a) . Por lo tanto
x < a.
Teorema 4.1.9. Sea (A, <A ) un conjunto bien ordenado y f : A A

una funcion que preserva el orden. Entonces a f (a) para cada a A.
Demostracion. Sea S = {x A | x > f (x)} y supongamos que S = .
Por ser A un conjunto bien ordenado, S tiene un mnimo z. Entonces
z > f (z). Por otro lado como f preserva orden, f (z) > f (f (z)) lo cual
implica que f (z) S lo que es imposible pues z es el mnimo de S. Por lo
tanto S = y entonces x f (x) para toda x A.
Corolario 4. 1.10. Si f, g : (A, <A ) (B, <B ) son isomorsmos de

conjuntos bien ordenados entonces f = g. Esto es, si (A, <A )
= (B, <B )
entonces existe un unico isomorsmo de (A, <A ) en (B, <B ).
Demostracion. La funcion g 1 f : (A, <A ) (A, <A ) es un isomor-

smo de conjuntos bien ordenados (ejercicio 4.3) y por lo tanto respeta el
orden y por el Teorema 4.1.9, x g 1 f (x) para todo x A, y nueva-
mente como g preserva el orden, g(x) f (x). Analogamente se demuestra
la otra desigualdad considerando la funcion f 1 g.
Corolario 4.1.11. Sea (A, <A ) un conjunto bien ordenado. Para cual-
quier a A no puede existir un isomorsmo de conjuntos bien ordenados
de (A, <A ) en (Aa , <A ).
Demostracion. Supongamos que para alguna a A, la funcion
f : (A, <A ) (Aa , <A ) es un isomorsmo de conjuntos bien ordena-
dos. Entonces por el Teorema 4.1.9 a f (a), pero por otro lado, como
f (a) Aa entonces f (a) < a lo que es una contradiccion. Por lo tanto no
puede existir tal isomorsmo.
Corolario 4.1.12. Sea (A, <A ) un conjunto bien ordenado y a, a A.

Si existe un isomorsmo de conjuntos bien ordenados de (Aa , <A ) en
(Aa , <A ) entonces a = a .
Demostracion. Supongamos a < a . Entonces por (a) de la Proposi-
cion 4.1.2 tenemos que (Aa )a = Aa y por lo tanto tendramos que
((Aa )a , <A )
= (Aa , <A ) lo que es imposible debido al Corolario 4.1.11.
Proposicion 4.1.13. Si (A, <A ) es un conjunto bien ordenado, entonces

({Aa | a A}, ) es un conjunto bien ordenado y
(A, <A )
= ({Aa | a A}, ).
Demostracion. Que ({Aa | a A}, ) es un conjunto bien ordenado es
consecuencia inmediata de (b) de la Proposicion 4.1.2.
La funcion f : A ({Aa | a A}, ) dada por f (a) = Aa es claramente
un isomorsmo de conjuntos bien ordenados.
Teorema 4. 1.14. Sean (A, <A ) y (B, <B ) conjuntos bien ordenados.
Entonces se cumple una y solo una de las siguientes armaciones
(1) Existe un isomorsmo de conjuntos bien ordenados de (A, <A ) en
(B, <B ).
(2) Existe b B tal que existe un isomorsmo de conjuntos bien ordena-
dos de (A, <A ) en (Bb , <B ).
(3)Existe a A tal que existe un isomorsmo de conjuntos bien ordenados
de (Aa , <A ) en (B, <B ).
Demostracion. Sea A = {a A | b B (Aa , <A ) = (Bb , <B )}. Deni-

mos f : A B por f (a) = b donde (Aa , <A ) = (Bb , <B )
1o / f esta bien denida y es inyectiva, ya que por el Corolario 4.1.12,
(Bb , <B ) = (Bb , <B ) si y solo si b = b .
2 / f preserva el orden. Sean a < a en A , y h : (Aa , <A )
o
= (Bf (a) , <B )
y g : (Aa , <A ) = (Bf (a ) , <B ) isomorsmos de conjuntos bien ordenados.
Entonces Aa Aa y as g(a) < f (a ). Por otro lado, debido a la Pro-
posicion 4.1.8, g|Aa : Aa ((Bf (a ) )g(a) , <B ) es un isomorsmo, donde
(Bf (a ) )g(a) = Bg(a) por la Proposicion 4.1.2. Por lo tanto se tiene que
f 1 g|A
a
(Bf (a) , <B )
= (Aa , <A )
= (Bg(a) , <B )
lo cual implica, por el Corolario 4.1.12, que f (a) = g(a) y de aqu se tiene
entonces que f (a) < f (a ) y as f preserva el orden.
Demostraremos ahora que A = A o A = Aa para algun a A y
que f (A ) = B o f (A ) = Bb para algun b B. Para esto es suciente
demostrar, haciendo uso del Teorema 4.1.3, que
a A x A (x < a = x A ).
Sean a A y x A con x < a. Entonces por ser a elemento de A
existe un isomorsmo g : (Aa , <A ) (Bb , <b ) para algun b B. Como
x Aa , por la Proposicion 4.1.8
(Ax , <A )
= ((Bb )g(x) , <B ) = (Bg(x) , <B ),
este ultimo isomorsmo nos dice entonces que x A . Por lo tanto A = A
o A = Aa para alguna a A.
Analogamente, usando el mismo argumento se demuestra que
f (A ) = B o f (A ) = Bb para algun b B.
Debido a lo anterior, se pueden presentar 4 posibilidades, que son

(i) A = A y f (A ) = B,
(ii) A = A y f (A ) = Bb , para algun b B,
(iii) A = Aa y f (A ) = B, para algun a A,
(iv) A = Aa y f (A ) = Bb , para algun a A y para algun b B.
Pero la ultima posibilidad no puede suceder ya que en este caso se
tendra que (Aa , <A ) = (A , <A )
= (f (A ), <B ) = (Bb , <B ) y esto impli-

cara que a A = Aa lo cual es evidentemente un absurdo.
Por lo tanto solo puede darse una de las tres primeras y es claro que
solamente una de ellas se cumple.
Como hicimos para los numeros cardinales, introducimos los numeros

ordinales, a la manera de Tarski, mediante los siguientes axiomas
1. Cada conjunto bien ordenado esta asociado con un objeto, el cual
es su numero ordinal.
2. Dos conjuntos bien ordenados son isomorfos (del mismo tipo de
orden) si y solo si tienen el mismo numero ordinal.
Al ordinal de un conjunto bien ordenado (A, <A ) lo denotaremos por
ord(A, <A ).
Usando este concepto de numero ordinal, desarrollaremos la teora de
numeros ordinales.
De aqu en adelante, cuando escribamos = ord(A, <A ), se dara por
hecho que (A, <A ) es un conjunto bien ordenado. Como en cardinales,
denimos a continuacion un orden sobre ordinales.
Denicion 4.1.4. Sean = ord(A, <A ) y = ord(B, <B ). Diremos que
el ordinal es menor que el ordinal , y lo denotaremos por < ,
si existe b B tal que (A, <A )
= (Bb , <B ).
Como hemos denido el orden entre los numeros ordinales en funcion
de un representante, como en el caso de cardinales debemos demostrar que
no depende del representante elegido, esto es,
Proposicion 4.1.15. Si (A, <A ) = (A , <A ) y (B, <B )
= (B , <B ), en-

tonces (A, <A ) = (Bb , <B ) para algun b B si y solo si
(A , <A )
= (Bb , <B ) para algun b B .
Demostracion. Esto resulta del hecho de que si g : (B, <B ) (B , <B )
es un isomorsmo, entonces por la Proposicion 4.1.8, para toda b B se
tiene que (Bb , <B )
= (Bg(b) , <B ). Entonces
(A , <A )
= (A, <A )
= (Bb , <B )
= (Bg(b) , <B ).
Observacion 4.4. Como estamos trabajando con conjuntos bien ordena-

dos, y entre estos hemos denido un orden, para evitar confusiones cuando
trabajemos con el orden de un conjunto, lo denotaremos como lo hemos
venido haciendo, con el subndice del conjunto, de tal manera que cuan-
do aparezca < (sin subndice) nos estaremos reriendo al orden de los
ordinales que acabamos de denir.
Teorema 4.1.16. < es un orden total.

Demostracion.
1o / < es un orden.
(i) Por el Corolario 4.1.11, (A, <A ) no puede ser isomorfo a (Aa , <A ) para
toda a A, por lo que para cualquier ordinal , .
(ii) Sean = ord(A, <A ), = ord(B, <B ) y = ord(C, <C ) con < y
< .
Existen b B y c C tales que f : (A, <A ) (Bb , <B ) y
g : (B, <B ) (Cc , <C ) son isomorsmos de conjuntos bien orde-
nados. Entonces g f : (A, <A ) (Cg(b) , <C ) es un isomorsmo de
conjuntos bien ordenados y por lo tanto < .
2o / < es un orden total
Es una consecuencia inmediata del Teorema 4.1.14
Teorema 4.1.17. Sea (A, <A ) un conjunto bien ordenado, <B un orden
total en un conjunto B y f : A B una funcion biyectiva que preserva
el orden. Entonces <B es un buen orden en B.
Demostracion. Sea S B y S = . Mostraremos que S tiene elemento
mnimo.
Como S = y f es biyectiva, entonces = f 1 (S) A y por ser <A un
buen orden, f 1 (S) tiene elemento mnimo z.
Armamos que f (z) es el elemento mnimo de S.
Sea b S, por ser f supreyectiva b = f (a) para alguna a A. Entonces
a f 1 (S), por lo que z a, y como f preserva el orden, f (z) f (a) = b.
Por lo tanto f (z) es el mnimo de S.
Para cada ordinal = ord (A, <A ), denotaremos por W () al conjunto
W () = { | es un ordinal y < }
Nota 14. W () es un conjunto, ya que si = ord(B, <B ) < , enton-
ces (B, <B )
= (Aa , <A ) para alguna a A, lo que signica que B es
equipotente con un subconjunto de A.
Teorema 4.1.18. Sea = ord(A, <A ). Entonces (W (), <) es un con-
junto bien ordenado y ord(W (), <) = .
Demostracion. Sea F : (A, <A ) (W (), <) denida por

F (a) = ord(Aa , <A ).
1o / F preserva el orden (y por tanto es inyectiva)
Sean a, b A con a < b. Por (b) de la Proposicion 4.1.2, Aa Ab . Esto im-
plica, por el Corolario 4.1.12, que Aa Ab y como (Aa , <A ) = ((Ab )a , <A ),
entonces F (a) = ord(Aa , <A ) < ord(Ab , <A ) = F (b).
2o / F es suprayectiva
Sea W () y = ord(B, <B ). Como < , existe a A tal que
(B, <B )
= (Aa , <A )
Entonces F (a) = .
Por el Teorema 4.1.17, (W (), <) es bien ordenado y entonces
(A, <A )
= (W (), <).
Teorema 4. 1.19. Cada conjunto no vaco de ordinales tiene elemento
mnimo.
Demostracion. Sea C un conjunto no vaco de ordinales y sea C.
Si W () C = , entonces evidentemente es el mnimo de C.
Supongamos que W () C = . Como W () es un conjunto bien orde-
nado (Teorema 4.1.18), entonces W () C tiene elemento mnimo, el cual
claramente es tambien el mnimo de C.
Generalmente en un conjunto se pueden denir varios buenos ordenes
que no son isomorfos entre s, como se puede ver en la Nota 16 de la pagina
96. Sin embargo para el caso de un conjunto nito, solo existe un buen
orden, salvo isomorsmos, como lo muestra el siguiente
Teorema 4.1.20. Sea A un conjunto nito y <1 , <2 buenos ordenes de
A. Entonces (A, <1 )
= (A, <2 ).
Demostracion. Si no fueran isomorfos, entonces el ordinal de uno es me-
nor que el ordinal del otro. Supongamos que ord (A, <1 ) < ord (A, <2 ). En-
tonces (A, <1 )
= (Aa , <2 ) para alguna a A, y como Aa A, tendramos
que A es equipotente a un subconjunto propio de el, lo que es imposible
ya que A es nito.
Debido entonces a que existe un unico buen orden (salvo isomors-
mos) en un conjunto nito, para cada conjunto nito A de cardinalidad
n, denotaremos ord(A, <) = ord(n).
Teorema 4. 1.21. Sea (A, <A ) un conjunto bien ordenado y C A.
Entonces (C, <A ) es un conjunto bien ordenado y
ord(C, <A ) ord(A, <A ).
Demostracion. Claramente (C, <A ) es un conjunto bien ordenado,

puesto que cada subconjunto de C lo es tambien de A, por lo que ca-
da subconjunto no vaco de C tiene mnimo.
Como cualesquiera dos ordinales son comparables basta demostrar que
para todo x C, no puede existir un isomorsmo de conjuntos bien orde-
nados f : (A, <A ) (Cx , <A ).
Supongamos que s existe tal funcion f para alguna x C. Entonces
f (x) Cx , por lo que f (x) < x, lo que es imposible ya que, por el Teorema
4.1.9, x f (x). Por lo tanto ord(C, <A ) ord(A, <A ).
Consideremos ahora un conjunto bien ordenado (A, <A ) y sea
= ord(A, <A ). Sea x tal que x / A y A = A {x}. Denimos <A
por <A |A =<A y a <A x a A. Entonces (A , <A ) es un conjunto
bien ordenado. Denotamos por = ord(A , <A ).
Es claro que no depende del elemento x que le agregamos al conjunto
A.
Teorema 4.1.22. Para cada ordinal , < .
Demostracion. iA : (A, <A ) (Ax , <A ) dada por iA (a) = a es un
isomorsmo de conjuntos bien ordenados.
Teorema 4.1.23. Si y son ordinales tales que , entonces

= o = .
Demostracion. Sean
= ord(A, <A ), = ord(B, <B ) y = ord(A , <A ),
recordemos que A = A {x}, x / A, <A |A =<A y a < x a A y
supongamos que < . Entonces (A, <A ) = (By , <B ) para alguna y B.
Si < , tendramos que existe un isomorsmo de conjuntos bien or-
denados f : (B, <B ) (Aa , <A ) para alguna a A . Entonces, por
la Proposicion 4.1.8, (By , <B )
= ((Aa )f (y) , <A ) = (Af (y) , <A ), y por lo
tanto (A, <A )
= (Af (y) , <A ).
Por otro lado, si f (y) = x, por la denicion de A , f (y) A y por
ser f (y) < x se tiene que (Af (y) , <A ) = (Af (y) , <A ) y por lo tanto
(A, <A ) = (Af (y) , <A ), lo que es imposible (Corolario 4.1.11). Entonces
debe ser f (y) = x, pero f (y) Aa implica que x = f (y) < a y esto ultimo
contradice el hecho de que x es el maximo de A . Concluimos entonces que
= .
Denicion 4.1.5. Dado un ordinal , a lo llamamos el sucesor de .

Esta denicion esta justicada debido al Teorema 4.1.23, ya que es
el numero ordinal que le sigue inmediatamente a , es decir, no existe un
ordinal = y tal que < < .
Proposicion 4.1.24. Sea (A, <A ) un conjunto bien ordenado que tiene
maximo a y sea = ord(Aa , <A ). Entonces = ord(A, <A ).
Demostracion. Es inmediato, ya que A = Aa {a} y x < a x Aa .
Proposicion 4.1.25. Sea = ord(A, <A ). es sucesor de un ordinal si

y solo si A tiene maximo.
Demostracion.
) Supongamos que es sucesor de , es decir, = , y sea
= ord(B, <B ). Entonces < y por lo tanto se tiene que
(B, <B )
= (Aa , <A ) para alguna a A.
Como = , entonces A = Aa {a} donde x < a para toda x Aa . Por
lo tanto a es el maximo de A.
) Es la Proposicion 4.1.24.
El conjunto vaco con orden vaco es el mnimo ordinal, ya que es menor
o igual que cualquier ordinal, as que el conjunto vaco no es sucesor de
ningun ordinal. Existen otros numeros ordinales que tampoco son suceso-
res de ningun numero ordinal, por ejemplo el ordinal del conjunto de los
numeros naturales con el orden usual. A este tipo de ordinales les daremos
un nombre especial
Denicion 4.1.6. Un ordinal = 0 se llama ordinal lmite si no es
sucesor de ningun ordinal.
Teorema 4.1.26. Cada conjunto X de numeros ordinales tiene supremo.
Es decir, existe un numero ordinal tal que x para todo x X y es
el mnimo con esta propiedad.

Demostracion. W () es un conjunto de numeros ordinales, as que
X
por el Teorema 4.1.19, ( W () , <) es bien ordenado con el orden usual
X
de ordinales. Sea = ord( W (), <). Mostraremos que es cota supe-
X
rior de X. Esto es porque para cualquier X, W () W () y por
X
lo tanto, por el Teorema 4. 1.18 y 4. 1.21,

= ord(W (), <) ord( W () , <) = ,
X
por lo que es cota superior de X. Ahora, el conjunto

{ | es ordinal y para toda X}
es no vaco (ya que pertenece a el) y por el Teorema 4.1.19, tiene mnimo
que es precisamente el supremo de X.
Nota 15. En el ejercicio 4.4 se pide demostrar que el supremo de X del

Teorema 4.1.26 es justamente el ordinal dado en la demostracion.
Teorema 4.1.27. Sea = 0 un ordinal. Son equivalentes
(1) es ordinal lmite,
(2) Para todo ordinal , < = < ,
(3) es el supremo de W ().
Demostracion.
(1) (2) Sea < y supongamos que Entonces <
Por el Teorema 4.1.23, como = , entonces = . Pero esto ultimo
es imposible ya que, por hipotesis, es un ordinal lmite. Por lo tanto
< .
(2) (3) 1o / es cota superior de W (), ya que, para toda W ()

< .
2o / Supongamos que el ordinal es una cota superior de W (). Proba-
remos que . Si < , entonces, por hipotesis, < , por lo que,
por la denicion de W (), W () y esto implica que por ser cota
superior de W (), , lo que, evidentemente, es un absurdo, as que
y por lo tanto es el supremo de W ().
(3) (1) No puede ser que sea sucesor de algun ordinal , ya que en
este caso W () tendra como elemento maximo a , y por lo tanto sera
el supremo de W (), por lo que debera ser = , lo que es imposible, ya
que = . Entonces debe ser ordinal lmite.
Nota 16. A cada ordinal = ord(A, <A ) le podemos asociar el cardinal

c() = |A| (cardinal de A). Claramente, si ord(A, <A ) = ord(B, <B ) en-
tonces |A| = |B|. Sin embargo, si dos conjuntos A y B tienen el mismo
cardinal y (A, <A ), (B, <B ) son conjuntos bien ordenados, no necesaria-
mente se tiene que ord(A, <A ) = ord(B, <B ). Por ejemplo, si consideramos
el conjunto N, de los numeros naturales, con el orden usual <N , es decir,
el de un Sistema de Peano, y consideramos ahora el orden <N , denido
como sigue:
Para n = 0 y m = 0 n <N m si n <N m y n <N 0 para toda n = 0.
<N es un buen orden y (N, <N ) no es isomorfo a (N, <N ), ya que (N, <N )
tiene maximo y (N, <N ) no lo tiene.
Como cada conjunto no vaco de ordinales tiene primer elemento, denota-
remos por al primer ordinal innito, es decir, si es un ordinal
innito,
= mn{ | es un ordinal inf inito y }.
Teorema 4.1.28.
(1) El ordinal de un conjunto nito de n elementos es n.
(2) ord(N, <N ) = .
Demostracion.
(1) Ya hemos demostrado que dos buenos ordenes sobre un conjunto
nito son isomorfos (Teorema 4.1.20), as que para un conjunto nito F ,
con n elementos, y <F un buen orden sobre F , entonces
(F, <F )
= (W (n), <) = n.
(2) Como es el primer ordinal innito, y todo ordinal nito es menor
que entonces
(W (), <) = ({ | es un ordinal y < }, <)
= ({ | es un ordinal f inito}, <)
= ({ | es un cardinal f inito}, <)

= (N, <N ).
Finalmente, como = ord(W (), <), entonces = ord(N, <N ).
Este ultimo teorema nos dice que podemos identicar los cardinales
nitos con los ordinales nitos, es decir, ord(n) = c(n) = n. Entonces la
sucesion de numeros ordinales comenzara de la siguiente manera
0, 1, 2, 3, . . . , , , ( ) , . . . , 1 , 1 , (1 ) , . . . , 2 , 2 , (2 ) , . . .
donde , 1 , 2 , ... son los primeros ordinales lmites y (i ) es el sucesor
de i .
Sea (A, <A ) un conjunto bien ordenado y = ord(A, <A ). Sabemos,

por el Teorema 4.1.18, que = ord(W (), <). Entonces debe existir un
isomorsmo de conjuntos bien ordenados f : (W (), <) (A, <A ). Po-
demos entonces presentar a los elementos de A con subndices ordinales
(todos ellos menores que ), respetando el orden de A, como sigue
Sea elemento de W (). Denotamos por a al elemento de A tal que
f () = a . Con esta notacion tenemos que para , < y a , a A,
a <A a si y solo si < . En particular podemos enumerar los
numeros cardinales innitos con su buen orden, quedando esta sucesion
de la siguiente manera
(*) 0 , 1 , 2 , . . . , , , ( ) , . . . , 1 , 1 , (1 ) , . . . , 2 , 2 , (2 ) , . . .
Dado un numero ordinal , denotamos por c() a la cardinalidad de
un representante para el ordinal , es decir, si = ord(A, <A ), entonces
c() = |A|.
Hemos visto que dados dos ordinales, no necesariamente iguales, sus

conjuntos representantes pueden tener el mismo cardinal (vease Nota 16
pagina 96), sin embargo lo que s es cierto es que dados dos ordinales y
, < implica c() c(), ya que un representante de es W (), que
a su vez es subconjunto de W () que es un representante de . As que
tiene sentido estudiar todos los ordinales cuyos conjuntos representantes
tienen el mismo cardinal. Por ejemplo para , el mnimo ordinal innito,
se tiene que
c() = c( ) = c(( ) ) = . . . = 0 .
Usando la notacion dada en () , para cada cardinal (donde es
un ordinal), denimos Z( ) y como sigue
Z( ) = { | es ordinal y c() = } y = mn Z( )
Teorema 4.1.29. Sea un numero ordinal innito. Entonces
(1) c(Z( )) = .
(2) ord(Z( ), <) = .
Demostracion.
(1) W ( ) = {| es ordinal y < }
= {| es ordinal y c() < }
= {| es ordinal y c() }
= {| es ordinal y c() < o c() = }
= {| es ordinal y c() < } {| es ordinal y c() = }
= {| es ordinal y < } {| es ordinal y c() = }
= W ( ) Z( ).
4.2 Suma y producto de numeros ordinales 99
Teniendo en cuenta que la ultima union es ajena y tomando el cardinal

de estos conjuntos en cada lado, obtenemos
|W ( )| = |W ( )| + |Z( )|
c( ) = c( ) + |Z( )|
= + |Z( )|
Por lo tanto, por la Proposicion 3.4.9
= max{ , |Z( )|}
y como < , entonces = |Z( )|.
(2) Debido a que Z( ) W ( ), se tiene que

ord(Z( ), <) ord(W ( ), <) = .
Si ord(Z( ), <) < tendramos, por la denicion de , que
c(Z( )) < ,
lo que es un absurdo ya que, por el inciso (1), c(Z( )) = . Por lo tanto
ord(Z( ), <) = .
4.2 Suma y producto de numeros ordinales
Introduciremos ahora la suma y producto de numeros ordinales. Es

importante notar que esta suma y producto no tienen las mismas propie-
dades de las suma y producto de los numeros cardinales. Es mas, veremos
por ejemplo, que en general la suma no es conmutativa. Sin embargo en el
caso concreto de los ordinales nitos ya hemos visto que podemos identi-
carlos con los numeros cardinales nitos y veremos que esta identicacion
se extiende a la suma, de tal manera que coinciden ambas sumas.
Denicion 4. 2.1. Sea (I, <I ) un conjunto bien ordenado (conjunto de
ndices) y sea {i }iI una familia de numeros ordinales. La suma de los
ordinales

i = ord Ai , <
i(I,<I ) iI
i = ord(Ai , <i ) para cada i I, Ai Aj = si i = j y el orden

donde
< en Ai esta denido como sigue
iI
a < b si y solo si a <i b para a, b Ai o a Ai , b Aj con i <I j.
En lo que sigue < indicara el orden para la union de conjuntos de la

denicion anterior.
Nota 17. Es importante hacer ver que la denicion de suma depende
del orden en el conjunto ordenado I de ndices. As que debemos tener
mucho cuidado con este conjunto puesto que si damos otro orden < en
I, entonces sera muy posible, como lo veremos mas adelante, que las su-
mas correspondientes no sean iguales, es decir, la suma, en general, no es
conmutativa.
Justiquemos ahora la denicion de suma, es decir,
Proposicion 4.2.1.
(1) Para cada familia de numeros ordinales {i }iI existen representantes
de cada uno de ellos que son ajenos dos a dos.
(2) El orden < denido para la suma es un buen orden en Ai .
iI
(3) Si (Bi , <)
= (Ai , <i ) donde Bi Bj = si i = j, entonces

ord( Ai , <) = ord( Bi , < ).
iI iI
Demostracion.
(1) Basta tomar Bi = Ai {i} con el orden inducido por el de Ai , es
decir (a, i) < (a , i) si y solo si a <A a .
(2) No es difcil demostrar que

< es un orden. Probemos entonces que
es un buen orden. Sea = C Ai . Sea m = mn{i I | C Ai = }.
iI
Es facil ver que el mnimo de C Am es el mnimo de C.
(3) Queda como ejercicio.

En el caso particular de I = {1, 2} con el orden usual 1 < 2, escribire-
mos simplemente 1 + 2 . En general Si I = {1, 2, 3, . . . , n}, escribiremos
1 + 2 + . . . + n
y para I = N, con el orden usual, escribiremos

i = 0 + 1 + 2 + 3 + . . .
i(N,)
Nota 18. Hemos visto (Teorema 4.1.20) que cada conjunto nito A admite
un unico buen orden (salvo isomorsmo), as que si = ord(A, <A ) es un
ordinal nito con |A| = n, ya hemos visto que ord(A, <) = ord(n) = n y
as tenemos entonces que ord(n) + ord(m) = ord(n + m). Por lo anterior
podemos ver que la suma de dos ordinales nitos coincide con la suma de
numeros naturales, es decir, ord(n) + ord(m) = c(n) + c(m) = n + m. Por
lo tanto si nos restringimos a la suma nita de ordinales nitos, esta suma
es conmutativa. Sin embargo, en el caso en que alguno de los ordinales
sea innito, aun cuando se trate de una suma nita, esta propiedad no se
cumple. Por ejemplo 1 + = y + 1 = .
Teorema 4.2.2. Sean , y numeros ordinales. Entonces
(1) ( + ) + = + ( + )
(2) < existe = 0 tal que + =
(3) < + < +
(4) < = + +
Demostracion. Sean = ord (A, <A ), = ord (B, <B ) y = ord (C, <C )
donde A, B y C son ajenos dos a dos.
(1) Es inmediato. Note que en la denicion de suma no se usaron paren-
tesis.
f
(2) Supongamos < y sea b B tal que (A, <A ) = (Bb , <B ).
Sea <A(BBb ) denido en A (B Bb ) como sigue: <A(BBb ) |A =<A ,
<A(BBb ) |BBb =<B |BBb y a < c para todo a A y para todo
c B Bb . <A(BBb ) es un buen orden en A (B Bb ) (fjese que
es el buen orden denido para la suma de + ord(B Bb , <BBb )).
La funcion F : (A (B Bb ), <A(BBb ) ) (B = Bb (B Bb ), <B )
denida por
f (x) si x A
F (x) =

x si x B B0
es un isomorsmo. Por lo tanto si = ord(B Bb , <B ) se tiene que
+ = , donde = 0 ya que B Bb = .
Inversamente, si para algun ordinal = ord(C, <C ) = 0, + = ,
donde = ord(AC, <AC ), la funcion iA : (A, <A ) ((AC)c , <AC )
donde <AC es el buen orden dado para la suma + dada por iA (x) = x
x A y donde c es el mnimo de C, es un isomorsmo. Por lo tanto
< .
(3) Supongamos < y sea f como en (2). Recordemos que el orden
en C B esta denido como sigue

x <c y si x, y C
x < y x <B y si x, y B

xC yyB
Entonces para b B, (C B)b = C Bb , por lo que la funcion

F : (C A, <CA ) (C Bb , <CB ) dada por

x si x C
F (x) =

f (x) si x A
f
es un isomorsmo y por lo tanto + < + donde (A, <A ) = (Bb , <B ).
Inversamente si + < + entonces por el inciso (2) ya demostrado,
existe un ordinal = 0 tal que + + = + .
No puede ser ya que si as fuera, entonces necesariamente por
(2) existira un ordinal 0 tal que + = por lo tendramos que
+ + + = + + = + , donde + = 0 (Ejercicio 4.8), pero
esto implicara por (2), que + < + lo que evidentemente es un
absurdo. Por lo tanto debe ser < .
(4) Supongamos < y sea f como en (2). Entonces la
funcion F : (A C, <AC ) (Bb C, <BC ) denida por

f (x) si x A
F (x) =

x si x C
es un isomorsmo, donde ord(Bb C, <BC ) ord(B C, <BC ) debido

al Teorema 4.1.21. Entonces + + .
El siguiente ejemplo muestra que en (4) la igualdad se puede dar 0 < 1

y sin embargo 0 + = 1 + = .
Deniremos ahora el producto de dos ordinales y esto lo hacemos a
traves de la suma de ordinales.
Denicion 4.2.2. El producto de dos ordinales y es

= b
b(B,<B )
donde ord(B, <B ) = y b = b B.
Volviendo a la denicion aqu presentada, la idea es tomar la union

(ajena) de A tantas veces como elementos tiene B, con el orden denido
para la suma. Es evidente que el producto no depende de la eleccion de
los representantes.
Para cualesquiera ordinales y , se cumple que c( ) = c() c()

por lo siguiente

c( ) = c b = c(b ) = c() = c() c().
b(B,<B ) b(B,<B ) b(B,<B )
En el caso particular de numeros naturales n y m se tiene que

c(ord(n) ord(m)) = c(ord(n)) c(ord(m))
= c(n) c(m)
= c(n m)
= c(ord(n m)).
Por el Teorema 4.1.20, existe un unico conjunto bien ordenado nito
(salvo isomorsmos) y al que hemos denotado por n si su cardinalidad
es n. Entonces para cualesquiera m, n N, si c(ord(n)) = c(ord(m)), se
puede armar que ord(n) = ord(m). Pero hemos visto que
c(ord(n) ord(m)) = c(ord(n m)).
Por lo tanto se debe tener que ord(n) ord(m) = ord(n m). Por lo tanto
tambien en el caso del producto podemos utilizar sin lugar a confusion la
notacion n m.
En el ejercicio 4.11 se presenta otra manera de denir el producto de
dos ordinales, usando el producto cartesiano de los representantes de cada
uno de los ordinales y el orden antilexicograco.
Evidentemente podemos generalizar, sin ningun problema, el producto

de dos ordinales al producto de un numero nito de ordinales. Sin embargo
para un conjunto bien ordenado innito de ordinales surgen complicaciones
y por tal motivo no trataremos ese caso.
(1) ( ) = ( ),
(2) ( + ) = + ,
(3) < y = 0 = < ,
(4) < = ,
(5) = y = 0 = = .
Demostracion. Sean = ord (A, <A ), = ord (B, <B ) y = ord (C, <C )
(1) Por el ejercicio 4.11, = ord(B C, <BC ), donde <BC es el
orden antilexicograco en B C. Entonces

( ) = i ,
i(BC,<BC )
donde i = para toda i B C. Para cada c C aparece el conjunto

B {c} que es isomorfo a B, as que B aparece tantas veces como indica
C con su orden. Entonces

( ) = i (con i = para toda i B C )
i(BC,<
BC )

= b
c(C,<C ) b(B,<B ) c

(con b = para toda b B y b = b para cualesquiera c, c C.)
b(B,<B ) b(B,<B )
c c

= ( )c (donde ( )c = para toda c C )
c(C,<C )
= ( )
(2) Consideramos B C =

( + ) =
i(BC,<BC )
donde, recordamos <BC esta dado como en la denicion 4.2.1.

Por la asociatividad de la suma

= +
i(BC,<BC ) i(B,<B ) i(C,<C )
= + .
(3) Sea < y = 0. Entonces por (2) del Teorema 4.2.2, existe = 0
tal que + = , luego ( + ) = , que es, por el inciso anterior,
+ = y como = 0 (Ejercicio 4.9), entonces < .
(4) Sea < . Entonces esta representado por un subconjun-

to ordenado de un representante de , luego por el Teorema 4.1.21,
.
(5) Es consecuencia inmediata de (3).

Nota 19.
(i) En general
el producto no es conmutativo
2 = 2 = 2 + 2 + 2 + 2 + . . . = y 2 = + = .
i(N,)
(ii) En general no vale la ley distributiva por la derecha
( + 1) 2 = ( + 1) + ( + 1)
= + (1 + ) + 1
=++1
=2+1
= 2 + 2
= 2 + 1 2.
(iii) Un ejemplo del caso del inciso (4) del teorema anterior donde se
da la igualdad sera
1 < 2 y sin embargo 1 = 2 ya que 1 = 1 + 1 + 1 + . . . = y
tambien 2 = .
Lema 4. 2.4. Para cada conjunto A = de numeros ordinales y cada
numero ordinal se tiene que + supA = sup{ + | A}.
Demostracion. Para cualquier A se tiene que supA y por lo
tanto por (3) del Teorema 4.2.2 + + supA para toda A, por
lo que + supA es cota superior de { + | A}.
Veamos ahora que es la mnima
Sea < + supA. Si < , entonces < + para cualquier A,
por lo que en este caso no puede ser cota superior de { + | A}.
Si , entonces por (2) del Teorema 4.2.2, existe un ordinal tal que
+ = . Entonces + < + supA, y por (3) del Teorema 4.2.2 resulta
que < supA, lo que implica que existe A tal que < y por lo tanto
= + < + + supA, por lo que no puede ser cota superior de
{ + | A}. Por lo tanto + supA = sup{ + | A}.
Teorema 4.2.5. Sean , y numeros ordinales tales que < .

Entonces existen numeros ordinales y unicos tales que
= + donde < y < .
Demostracion.
Sean = ord(A, <A ) y = ord(B, <B ). Entonces
= . Sea = ord(C, <C ); un representante de es
b(B,<B )

( Ab , < ) donde Ab Ab = si b = b , (Ab , <Ab )
= (A, <A ) y
b(B,<B )
< es el orden dado en la denicion 4.2.1. Como < , entonces

un representante de esta dado por un segmento inicial de Ab .
b(B,<B )

Esto es (C, <C )
= (( Ab )ab0 , < ), donde ab0 Ab0 (el b0 esimo
b(B,<B )
ejemplar de A en la suma). Por la manera en que esta denido el orden

en Ab se tiene que
b(B,<B )

C
=( Ab ) (Ab0 )ab0 .
b(Bb0 ,<B )

Si denimos = ord( Ab , < ) y = ord((Ab0 )ab0 , <A ), enton-
b(Bb0 ,<B )
ces = + , donde claramente < y < .
Corolario 4.2.6. Cada numero ordinal se puede expresar de la forma

=+n
para algun ordinal nito n.
Demostracion. Aplicando el Teorema 4.2.5, basta exhibir un numero
ordinal tal que < . Sea = + 1. Multiplicando por a la
derecha en la desigualdad 1 < tenemos, por (4) del Teorema 4.2.3
< + = ( + 1) = .
Nota 20. es ordinal lmite o cero. Entonces el Teorema 4.2.5 nos

dice que todo numero ordinal innito es la suma de un ordinal lmite y de
un ordinal nito.
Deniremos ahora la potencia de un numero ordinal.
Lo mas natural sera denir, para dos numeros ordinales y , la
potencia como el producto de , veces. Sin embargo debido a
que no hemos denido el producto de ordinales con un numero innito
de factores, nos vemos en la necesidad de introducir la denicion de otra
manera. Para esto utilizaremos el Teorema de Recursion Transnita.
Consideremos un numero ordinal = 0 jo.
Sea A el conjunto de todos los numeros ordinales menores que un nume-

ro ordinal muy grande(lo que signica que se tomara tan grande como
sea necesario en cada aplicacion concreta). Sea O la clase de los numeros

ordinales y sea G la funcion que a cada aplicacion f del segmento W () de
A en los ordinales le hace corresponder un numero ordinal de la siguiente
manera1
1 si = 0
G(f ) = f () si = + 1

sup{f () | < } si es un ordinal lmite.
Por el Teorema de Recursion Transnita, existe una unica funcion
F : A O tal que a cada numero ordinal le hace corresponder un
numero ordinal F () tal que para todo , F () = G(F |W () ).
Denicion 4.2.3. Sean y numeros ordinales y F la funcion construi-
da en el parrafo inmediato anterior a esta denicion. Denimos

F () si = 0
=

0 si = 0.
Nota 21. Para = 0, no se puede denir como F () ya que entonces
se tendra

1 si = 0 o es un ordinal lmite,
0 = F0 () =

0 si es un sucesor.
que no es lo que uno esperara.
Para = 0, tenemos
0 = 1,
= +1 = para un ordinal sucesor de ,
= sup{ | < } para un ordinal lmite .
Analicemos algunos casos particulares
Si = ord(n) es un numero natural, como es de esperarse para = 0,
es el producto de con s mismo n veces, es decir,
= ord(n) =
. . . .
nveces
1Aun cuando el codominio de una funcion debe ser un conjunto en esta ocasion
hemos tomado la clase de los numeros ordinales para facilitar la escritura de la demos-
tracion, pues la imagen dependera del dominio considerado. Ademas en la Teora de
Conjunto formal se puede demostrar que la imagen de G es un conjunto y entonces el
Teorema de Recursion Transnita es aplicable a A y G.
Tomando cardinalidades tenemos que

c(n ) = c(

. . . ) = c() c() c() . . . c() = c()n .

nveces nveces
Por lo anterior si ademas = ord(m), entonces
c(ord(m)ord(n) ) = c(mn )
y por el hecho de que hay un unico orden, salvo isomorsmos, denido
en un conjunto nito, se tiene que ord(m)ord(n) = ord(mn ). Por lo tanto
para el caso en que y son nitos, la potencia coincide con la
denida para numeros cardinales, de manera que, como lo hemos hecho
hasta ahora, directamente lo denotaremos por mn.
Por otro lado, por ejemplo, para = 2 y = , se tiene
2
= (ord(2))
= sup{2n | n N} = ,
as que c(2
) = c() = 0 .
Sin embargo c(2)c(
) = 20 . En este caso entonces
c(2
) = 0 < 20 = c(2)c(
)
por lo que la igualdad c() = c()c() no es verdadera en el caso en que
el exponente es innito. Por lo anterior en el caso en que es innito
debemos tener cuidado en nuestra notacion ya que por ejemplo no es lo
mismo 2
que 20 puesto que en el primer caso estamos tratando con
numeros ordinales y en el segundo con numeros cardinales. Esto es, en
general para = ord(A, <A ) y = ord(B, <B ), la notacion no tiene
nada que ver con AB que es el conjunto de funciones de B en A.
Teorema 4.2.7. Sean , y numeros ordinales. Si = 0, 1 y < ,
entonces < . Para = 1, se tiene que = 1.
Demostracion. Lo demostraremos por induccion transnita sobre , con-
siderando jo.
Hipotesis de induccion. Supongamos que vale para todo < , es decir,
< implica < . Debemos demostrar que < .
Sea < . Se presentan tres casos
(1) = 0. En este caso no hay nada que demostrar.
(2) = + 1. Como < , entonces y usando la hipotesis de
induccion, tenemos, que < = +1 = .
(3) es un ordinal lmite. En este caso < implica ( + 1) < , luego
por la denicion de en este caso
= sup{ | < } +1 = > .
Por ultimo, es claro que para = 1, = 1.
Lema 4. 2.8. Para cada numero ordinal = 0 y cada conjunto X no

vaco de numeros ordinales se tiene
sup X = sup{ | X},
donde sup X denota el supremo de X.
Demostracion. Para todo X es cierto que sup X, y por el Teore-
ma 4.2.7, sup X , por lo que sup X es cota superior de
{ | X}.
Veamos ahora que es la mnima cota superior
Sea < sup X . Demostraremos que en cualquiera de los tres casos que
se pueden presentar, para sup X, que sea 0, un sucesor o un numero limite,
no es cota superior de { | X}.
(1) sup X = 0. Entonces debe ser X = {0}. Como 0 = 1, entonces
la unica posibilidad para que < sup X = 0 = 1 es que = 0
que evidentemente no es cota superior de { | X} = {1}.
(2) sup X = + 1. En este caso, evidentemente sup X X y por
lo tanto sup X { | X}, lo cual implica que no es cota
superior de { | X}.
(3) sup X es un ordinal lmite. Entonces, por denicion,
sup X = sup{ | < sup X}
as que < sup X = sup{ | < sup X} implica que existe un
ordinal < sup X tal que < . Pero si < sup X, entonces
existe X tal que < por lo que, (la igualdad se
da en el caso = 1). Finalmente, se tiene entonces que <
para alguna X, por lo que no puede ser cota superior de
{ | X}.
En los tres casos hemos demostrado que no puede ser cota supe-
rior de { | X}. Por lo tanto, sup X es la mnima cota superior de
{ | X}, es decir, sup X = sup{ | X}.
Lema 4.2.9. Para cada conjunto X de numeros ordinales y para cualquier

ordinal ,
sup X = sup{ | X}.
Demostracion. sup X es cota superior de { | X} ya que

sup X implica que sup X por (3) del Teorema 4.2.3.
Veamos ahora que es la mnima cota superior.
Sea < sup X. Por el Teorema 4.2.5, existen ordinales y tales
que = + , donde < sup X y < . Como < sup X, existe
X tal que < , luego + 1 , y por (3) del Teorema 4.2.3,
( + 1) . Entonces = + < + = ( + 1) .
Como X, esto implica que no es cota superior de { | X}.
Por lo tanto, sup X es la mnima cota superior de { | X}, es
decir, sup X = sup{ | X}.
Lema 4.2.10. Si es un ordinal y = 0, entonces para todo ordinal ,

= 0.

(1) = +
(2) ( ) =
Demostracion. Los dos resultados son claros para = 0, as que supon-
gamos = 0, y en este caso tendremos, por el Lema 4.2.10, que = 0
para todo ordinal .
(1) Por induccion sobre . Supongamos que para < se tiene que
= + . Consideramos los tres casos posibles para .

(i) = 0. Entonces 0 = 1 = = +0
(ii) = + 1 y por lo tanto < . Entonces
= +1 = = + = (+)+1 = +(+1) = + .
(iii) ordinal lmite. Entonces
= sup{ | < }
= sup{ | < } (Lema 4.2.9)
= sup{ + | < } (hipotesis de induccion)
= sup{+|<} (Lema 4.2.8)
= +sup{|<} (Lema 4.2.4)
= + .
(2) Nuevamente por induccion sobre . Supongamos que para < se
tiene que ( ) = . Veamos cada uno de los tres posibles casos para
.
(i) = 0. Entonces ( )0 = 1 = 0 = 0 .
(ii) = + 1, por lo que < . Entonces
( ) = ( )+1
= ( ) (inciso (1))
= (hipotesis de induccion)
= + (inciso (1))
= (+1) (Teorema 4.2.3 inciso (2))
= .
(iii) un ordinal lmite. Entonces
( ) = sup{( ) | < }
= sup{ | < } (hipotesis de induccion)
= sup{|<} (Lema 4.2.8)
= sup{|<} (Lema 4.2.9)
=
.

En general no es cierto que = ( ) . Por ejemplo 2

2
=
(2 2)
puesto que (2 2)
= 4
= y 2
2
= = 2 = .
Teorema 4.2.12. Sea > 1 un ordinal jo. Entonces cada numero ordinal
> 0 se expresa de manera unica como = 0 0 + 1 1 + . . . + r r ,
donde r es nito, 0 > 1 > . . . > r 0 y 0 < 0 , 1 , . . . , r < .
Demostracion. Para demostrar este teorema probaremos primero las si-
guientes armaciones.
Dado un numero ordinal
(A) Existe un numero ordinal 0 tal que < 0 el cual es mnimo con
esta propiedad.
Basta demostrar que existe por lo menos un ordinal tal que < ,
ya que del conjunto de los con esta propiedad podemos tomar el mnimo.
Demostraremos que < +1 por induccion transnita sobre .
Supongamos que para todo < , es cierto que < +1
(1) Si = 0, entonces evidentemente 0 < 0+1 = .
(2) Si = + 1, entonces, por hipotesis de induccion, como < , se tiene
que < +1 = , lo que implica + 1 +1 . Entonces
= + 1 +1 < +1 = +2 = +1 .
(3) Si es ordinal lmite, entonces, por hipotesis de induccion, para cual-
quier ordinal < se tiene que < +1 . Entonces para cualquier <
se tiene
< +1 sup{ +1 | < } = sup{+1|<} = sup{|<} =
donde la penultima igualdad se da porque es ordinal lmite. Por lo tanto
es cota superior de { | < } cuyo supremo es . Entonces
< +1 .
(B) El ordinal 0 de (A), que es el mnimo con la propiedad < 0 ,

debe ser sucesor de algun ordinal 0 , es decir, 0 = 0 + 1.
0 = 0 ya que 0 = 1 . Tampoco puede ser ordinal lmite, ya que si lo
fuera, por la minimalidad de 0 se tendra que para todo < 0 y
por lo tanto 0 , lo que es una contradiccion.
Probemos ahora el teorema.

Como < 0 = 0 , por el Teorema 4.2.5, existen ordinales unicos
0 y 1 tales que = 0 0 + 1 donde 0 < y 1 < 0 . Ademas
0 > 0, pues si 0 = 0, se tendra = 1 < 0 , donde la segunda
desigualdad es debido a que 0 es el mnimo tal que < 0 y 0 < 0 .
As llegaramos a que < que es un absurdo.
Si 1 = 0 aqu terminamos y en este caso r = 0 y 0 < 0 < .
Si 1 > 0, repetimos el proceso anterior, es decir, tomamos el mnimo
ordinal 1 tal que 1 < 1 y como antes, se tiene que 1=1+1 para algun
ordinal 1 . Claramente 0 > 1 y 1 1 < 1 +1 = 1 . Volviendo a
aplicar el Teorema 4.2.5, existen 1 y 2 tales que 1 = 1 1 + 2 donde
0 < 1 < y 2 < 1 . Entonces = 0 0 + 1 1 + 2 , donde 0 > 1
y 0 < 0 , 1 < .
Mientras tengamos i = 0, repetimos este proceso. As pues tenemos una
representacion de
= 0 0 + 1 1 + . . . + i i + i+1 ,
donde 0 > 1 > . . . > i 0 y para j = 0, ..., i, 0 < j < .
Armamos que para alguna j nita, j+1 = 0.
Facilmente se ve que = 0 > 1 > 2 > . . . , as que considerando
el conjunto de las i que son distintas de cero llegamos a la conclusion
de que este conjunto debe ser nito (la prueba de ello se deja al lector y
corresponde al ejercicio 4.10). Por lo tanto si el mnimo distinto de cero
es r , donde r es nito, entonces r+1 = 0 y
= 0 0 + 1 1 + . . . + r r
donde 0 > 1 > ... > r 0 y 0 < i < para i = 0, . . . , r.
Unicidad. Supongamos que tambien se tiene que

= 0 0 + 1 1 + . . . + m m donde m es nito,
0 > 1 > . . . > m 0
y 0 < i < para i = 0, ..., m.
Primero demostraremos por induccion nita sobre m que < 0 +1
1) Si m = 0, entonces = 0 0 < 0 = 0 +1 .
2) Supongamos cierto el resultado para m 1. Entonces
= 0 0 + ( 1 1 + . . . + m m )
< 0 0 + 1 +1 0 0 + 0
= 0 (0 + 1)
0 = 0 +1 .
Por lo tanto < 0 +1 .
Usando el hecho de que
0 +1 > 0 0 0
y por la manera en que se eligio 0 , es decir, mnimo con la propiedad
0 +1 > , debe ser 0 = 0 , as que
= 0 0 + 1 = 0 0 + 2
donde 1 = 1 1 + + r r , 2 = 1 1 + + m m y ademas
1 < 1 +1 0 , 2 < 1 +1 0 = 0 y 0 , 0 < .
Aplicando la unicidad de la representacion en el Teorema 4.2.5, obte-
nemos 1 = 2 y 0 = 0 . Repitiendo el proceso se obtiene el resultado, es
decir, r = m, i = i y i = i para i = 0, . . . , m.
Corolario 4.2.13. Cada numero ordinal > 0 admite una representacion

= 20 + 21 + + 2r ,
donde 0 > 1 > . . . > r 0.
Demostracion. En el Teorema 4.2.12 tomamos = 2 y por lo tanto
i = 1 para i = 0, . . . , r.
Corolario 4.2.14. Cada numero ordinal > 0 admite una representacion

= 0 0 + 1 1 + . . . + r r
donde r es nito, 0 > 1 > . . . > r 0 y i N para i = 1, . . . , r.
Ademas 0 , 1 , . . . , r son nitos si y solo si <
.
Demostracion. Si 0 es nito, entonces < 0 +1 <

. Inversamente,
si <
, entonces para el mnimo ordinal (= 0 + 1) tal que < se
tiene que . Pero como ya hemos visto que no puede ser un ordinal
lmite, entonces debe ser nito y por lo tanto 0 , 1 , . . . , r tambien lo
son.
Nota 22. En la representacion del Teorema 4.2.12, 0 no tiene que ser

necesariamente estrictamente menor que , por ejemplo = 2
. Sin
embargo s podemos armar que 0 no puede ser mayor que pues como
< + 1 y 0 + 1 es el mnimo con esta propiedad, entonces 0 .
4.3 Representantes para numeros ordinales segun von

Neumann
Cuando se trabaja con clases, siempre es conveniente encontrar repre-

sentantes para estas clases que sean lo mas simple posible. von Neumann
concibio el numero ordinal como el conjunto de todos los ordinales meno-
res que . El caso aqu es que ya conocemos los numeros ordinales, as que
para cada numero ordinal , daremos un conjunto denotado por rep()
que represente a . Deniremos por recursion transnita esta funcion
rep( ), es decir, construiremos una funcion
rep( ): clase de todos los ordinales clase de todos los conjuntos
Antes de denir esta funcion rep( ), construiremos una corresponden-
cia entre numeros ordinales y conjuntos que, aunque no sea una funcion
formalmente hablando pues ni el dominio ni el codominio son conjuntos,
su comportamiento es como el de funcion y se puede decir esto mismo
sobre la correspondencia que existe cuando se aplica el Teorema de Recur-
sion Transnita. Si denotamos por O la clase de todos los ordinales y por
C la clase de todos los conjuntos, sea G la funcion que a cada aplicacion
f : W () C , le hace corresponder el conjunto
G(f ) = {f () | W ()} (= Im(f )).
Por el Teorema de Recursion Transnita, existe una funcion unica
: O C tal que () = G(|W ()). Esto es
() = rep() = {rep() | < }.
Ejemplo 4.3.1.
(1) rep(0) = .
4.3 Representantes para numeros ordinales segun von Neumann 115
(2) rep(1) = {}
(3) rep(2) = {, {}}.
(4) rep(3) = {, {}, {, {}}}.
Veamos que esta representacion es efectivamente biyectiva y ademas ve-
remos como podemos recuperar el numero ordinal a partir del conjunto
rep(). Antes de ver esto, demostremos el siguiente lema
Lema 4.3.1. Para todo numero ordinal , rep()
/ rep().
Demostracion. Por induccion transnita sobre .
Hipotesis de induccion: Para cada < , rep()
/ rep().
Si se tuviera que rep() rep() = {rep() | < } existira <
tal que rep() = rep() y como rep() rep(), entonces rep() rep()
lo que contradice la hipotesis de induccion.
Teorema 4.3.2.
(1) < si y solo si rep() rep() (y por lo tanto rep( ) es inyectiva),
(2) < si y solo si rep() rep(),
(3) (rep(), ) es un conjunto bien ordenado y ord(rep(), ) = .
Demostracion.
(1) Si < , entonces
rep() = {rep() | < } {rep()| < } = rep().
Claramente no se puede dar la igualdad porque rep() rep() y si
este ultimo fuera igual a rep(), entonces se tendra que rep() rep()
que por el Lema 4.3.1, no puede ser. Entonces rep() rep().
Ahora supongamos que rep () rep (). Si se tuviera que
tendramos entonces, por lo que acabamos de demostrar, que
rep () rep () rep (), es decir, rep() rep() que es imposible.
Entonces debe ser < .
(2) Si < , es inmediato que rep() rep(). Inversamente, su-

pongamos que rep() rep() = {rep() | < }. Entonces existe un
ordinal < tal que rep() = rep(), lo que implica por (1) que = ,
y as < .
(3) Hemos demostrado en (1) que la funcion rep( ) es inyectiva, y por

(2), se tiene entonces que (rep(), ) es isomorfo a ({ | < }, <) =
(W (), <). Pero el conjunto bien ordenado (W (), <) es representante de
(Teorema 4.1.18). Por lo tanto ord(rep(), ) = ord(W (), <) = .
Corolario 4.3.3. (rep(), ) es un conjunto bien ordenado.

Veamos ahora, como se simplican muchos conceptos sobre numeros
ordinales, usando la representacion de von Neumann
Teorema 4.3.4.
(1) rep( + 1) = rep() {rep()},
(2) es ordinal lmite o cero si y solo si rep() = rep(),
<
(3) es nito si y solo si (rep(), ) es doblemente bien ordenado.
Demostracion.
(1) rep( + 1)={rep() | < + 1}
={rep()| }
={rep()| < } {rep()}
=rep() {rep()}.
(2) Para cualquier numero ordinal , siempre es verdadera

rep() rep(),
<
sea ordinal lmite o no.

Sin embargo, en el caso en que es ordinal lmite,
se tiene que <
implica + 1 < . Entonces rep() rep( + 1) rep(). As que
<
rep() rep() implica rep() rep(). Por lo tanto
<

rep() rep() rep()
<
y de aqu se tiene la igualdad.

Inversamente, si rep() = rep(), no puede ser sucesor, ya que si
<
= +1 para algun ordinal , teniendo en cuenta que rep() rep()
<

rep() = rep()

<=+1
= rep()

= rep() rep()
<
= rep() = rep(),

donde la ultima igualdad se da porque rep() rep(). Esto es, si
<
es sucesor, la union de los representantes anteriores es el representante de
1. Por lo tanto debe ser ordinal lmite o cero.
(3) es nito si y solo si W () es nito y W () es nito si y solo si

(W (), <) es doblemente bien ordenado, pero como
(W () , <) = (rep () , ) ,
visto en la demostracion del inciso (3) del Teorema 4.3.2, entonces
(rep(), ) es doblemente bien ordenado.
Lo que hemos hecho hasta ahora es que, a cada numero ordinal , le
hemos asociado un conjunto que denotamos rep(). Si para estos con-
juntos no hubieramos usado el concepto de ordinal, ellos serviran para
desarrollar una teora de los numeros ordinales. Sin embargo, daremos
una caracterizacion de estos conjuntos donde no intervenga el concepto de
numero ordinal y entonces estos conjuntos podran servir para denir a
los numeros ordinales. Esta caracterizacion es la siguiente:
Teorema 4. 3.5. Un conjunto C es un conjunto representante para un
numero ordinal si y solo si satisface
(1) C es un conjunto transitivo, esto es, si x y y y C , entonces x C .
(2) (C , ) es un conjunto bien ordenado.
Demostracion.
) Sea C un conjunto tal que C = rep() para algun numero ordinal .
Debemos demostrar que C satisface las propiedades (1) y (2).
(1) Si rep() rep() y rep() C = rep(), entonces, por (2)
del Teorema 4.3.2, se tiene que < < . Por lo tanto < y as
rep() rep() = C .
(2) Es el Corolario 4.3.3.
)Inversamente, sea C un conjunto que satisface (1) y (2). Por (2),

(C , ) es un conjunto bien ordenado. Sea = ord(C , ), demostraremos
por induccion transnita que C = rep().
Hipotesis de induccion: Supongamos que la armacion es verdadera

para todos los conjuntos D con las propiedades (1) y (2) tales que si
ord(D, ) = < , entonces D = rep(). Por demostrar que C = rep(),
donde = ord(C , ).
Armamos que cada c C es un conjunto que satisface tambien las

condiciones (1) y (2) con ord(c, ) < .
Veamos que c es transitivo
Supongamos que c1 c2 y que c2 c. Como c C y C es transitivo,
entonces c1 , c2 C , y como es un orden, entonces c1 c. Por lo tanto
c es transitivo. Para ver que (c, ) es bien ordenado basta demostrar que
c = Cc , es decir, c es el segmento inicial de C determinado por c,
Cc = {d C | d < c} = {d | d c} = c.
Entonces (c, ) = (Cc , ) es bien ordenado por ser un subconjunto
del conjunto bien ordenado (C , ) y por ser segmento inicial, se tiene
= ord(c, ) = ord(Cc , ) < ord(C , ) = y como c = Cc satisface
(1) y (2), por hipotesis de induccion Cc = rep(). Esto nos indica que
C {rep() | < }. Por otro lado cada < determina un segmento
Cc en (C , ) con ord(Cc , ) = , es decir, ord(c, ) = y esto es c = rep(),
por lo que rep() C . Entonces C = {rep() | < } = rep().
Con esta caracterizacion de los conjuntos representantes se puede desa-
rrollar una teora de numeros ordinales en funcion de estos representantes.
En esta teora un numero ordinal en el sentido de von Neumann (s.v.N.)
se dene como un conjunto que satisface las propiedades (1) y (2) del
Teorema 4.3.5 y a partir de aqu se desarrolla la teora de ordinales en la
que se demuestra que cada conjunto bien ordenado es isomorfo a un unico
numero ordinal en el sentido de von Neumann.
En particular, cada conjunto (que sabemos que puede bien ordenarse
por el axioma de Eleccion) es equipotente a un numero ordinal s.v.N.,
luego por el buen orden de los numeros ordinales, para cada conjunto A,
existe un mnimo numero ordinal s.v.N equipotente a A. A este numero se
le llama la cardinalidad de A , s.v.N. Si denotamos por cardv.N A a esta
cardinalidad, entonces
A1 es equipotente a A2 si y solo si cardv.N. A1 = cardv.N. A2 .
Sin embargo debemos tener cuidado al identicar cardinales con ciertos
numeros ordinales y numeros ordinales con ciertos conjuntos con respecto
a las operaciones aritmeticas debido a que la suma ordinal de numeros or-
dinales iniciales, en general no es un numero ordinal inicial y en particular
no es el numero ordinal de la suma cardinal correspondiente.
Por ejemplo 1 + = 1 y card1 + card = 1 + 0 = 1 ,
ord(card1 + card) = ord(1 ) = 1 .
Analogamente la potencia ordinaria de dos numeros ordinales no tiene

como representante, en el sentido de von Neumann la potencia conjuntista
de los respectivos representantes (s.v.N.). Por ejemplo
rep(1)1 = rep(1) = {},
mientras que
rep(1)rep(1) ={f | f : rep(1) rep(1)}
={f | f : {} {}}
={{(, )}} P({} {})
En cuanto a la aritmetica de los numeros naturales, puede desarrollarse
en esta teora deniendo un numero ordinal s.v.N. C tal que (C , ) es
doblemente bien ordenado.
Para desarrollar esta teora, particularmente para la aritmetica de los
numeros naturales, la condicion (2) del Teorema 4.3.5, puede expresarse de
otra manera, evitando as el concepto de buen orden, teniendo en cuenta
el siguiente lema
Lema 4.3.6. Sea C un conjunto. Son equivalentes
(1) (C , ) es un conjunto bien ordenado.
(2) (C , ) satisface
a) Para cada c1 , c2 C , c1 = c2 si y solo si c1 c2 o c2 c1 ,
b)Para cada D C , D = implica que existe d0 D tal que
d0 D = .
Demostracion.
(1) (2) Sea (C , ) bien ordenado. Entonces (a) se satisface obviamente.
Para demostrar (b), sea D C y D = .
Sea d0 el mnimo de D respecto al orden . Evidentemente ningun
elemento de D puede ser elemento de d0 , esto es, d0 D = .
(2) (1) Primero veremos que es un orden total.

1 / Por (a) cualesquiera dos elementos distintos son comparables.
2 / c
/ c c C.
Supongamos que c c y sea D = {c}. Como D = , por (b) existe
d0 D tal que d0 D = . Pero d0 = c y como por hipotesis c C ,
entonces c c {c} = d0 D = lo que es un absurdo. Entonces c /c
c C.
3 / es transitiva sobre C .
Sean c1 , c2 , c3 C tales que c1 c2 y c2 c3 . Debemos demostrar que
c1 c3 . Sea D = {c1 , c2 , c3 }. Por (b) existe d0 D tal que d0 D = .
Como c1 c2 D y c2 c3 D, entonces la unica posibilidad para d0

es que d0 = c1 . c1 = c3 (ya que si c1 = c3 se tendra que c2 c3 D =
c1 D = d0 D = que es un absurdo) y c3 / c1 (ya que si c3 c1 ,
entonces se tendra que c3 c1 D = d0 D = que es un absurdo). Por
lo tanto, por (a), c1 c3 .
Por ultimo veamos que es un buen orden.
Sea D C y D = . Por (b) sea d0 D tal que d0 D = . Esto
signica que para todo d D con d = d0 se tiene, por la comparabilidad,
que d0 d. Como esto es para todo d D con d = d0 , entonces d0 debe
ser el mnimo de D, lo que muestra que es un buen orden.
Para nalizar, presentamos a continuacion un muy breve desarrollo de
la teora de numeros ordinales utilizando el concepto de numero ordinal
en el sentido de von Neumann.
La demostracion de los siguientes dos lemas se puede ver en la demos-
tracion del Teorema 4.3.5.
Lema 4.3.7. Cada elemento de un numero ordinal, s.v.N., es un numero
ordinal s.v.N..
Lema 4.3.8. Para un numero ordinal s.v.N. C , cada c C es igual a un
segmento inicial de (C , ).
Demostracion. Vease que Cc = {x C | x c} = c.
Lema 4.3.9. Para dos numeros ordinales s.v.N. C y C , si (C , ) es iso-

morfo a (C , ), entonces C = C .
Demostracion. Sea : (C , ) (C , ) un isomorsmo. Demostrare-
mos que (c) = c para todo c C y entonces se tendra que C = C .
Supongamos que U = {c C | (c) = c} = y sea c0 C el mnimo
de U . Entonces para todo d Cc0 (el segmento inicial determinado por
c0 ) se tiene que (d) = d, por lo que Cc0 = (Cc0 ) = C(c . Por el Lema
0)

4.3.8, Cc0 = c0 y C(c0 ) = (c0 ). Por lo tanto (c0 ) = c0 , lo que contradice
la eleccion de c0 . Por lo tanto U = y as (c) = c para todo c C , lo
que signica que C = (C ) = C .
Teorema 4.3.10. La relacion C1 < C2 si y solo si C1 C2 para numeros

ordinales s.v.N es una relacion de orden total.
Demostracion.
(i) Para un numero ordinal s.v.N. C no se puede dar C C ya que
si as fuera, un elemento de C (que es C mismo) estara relacionado (con
respecto a ) consigo mismo lo que no puede ser ya que es un orden
total. Por lo tanto C / C.
(ii) Si C1 , C2 y C3 son numeros ordinales tales que C1 C2 y C2 C3 ,

entonces debido a que C3 es transitivo, se tiene que C1 C3 .
(iii) Sean C1 y C2 numeros ordinales s.v.N tales que C1 = C2 y conside-

ramos los conjuntos bien ordenados (C1 , ) y (C2 , ). (C1 , ) y (C2 , ) no
pueden ser isomorfos ya que si lo fueran por el Lema 4.3.9, se tendra que
C1 = C2 que por hipotesis no es as. Por el Teorema 4.1.14 se tiene que
(C1 , ) es isomorfo un segmento inicial de (C2 , ) o al reves. Supongamos
que (C1 , ) es isomorfo a un segmento inicial de (C2 , ), esto es, es un
elemento d C2 (Lema 4.3.8). Pero por el Lema 4.3.7, d es un numero
ordinal s.v.N., por lo que C1 = d y as C1 C2 .
Corolario 4.3.11. Para cada numero ordinal s.v.N. C se tiene que

C = {c | c es un numero ordinal s.v.N. < C }
Demostracion.
C = {c | c C }
= {c | c es un numero ordinal s.v.N y c C }
= {c | c es un numero ordinal s.v.N. y c < C }.
La segunda igualdad es por el Lema 4.3.7 y la tercera por el Teorema
4.3.10.
La demostracion del siguiente teorema es un ejercicio mas que se deja
al lector.
Teorema 4.3.12. Cada conjunto de numeros ordinales s.v.N es bien or-
denado respecto al orden <.
Teorema 4. 3.13. Para cada conjunto bien ordenado (, <) existe un
unico numero ordinal s.v.N. C tal que (, <) es isomorfo a (C , ).
Demostracion. Sea (, <) un conjunto bien ordenado y consideremos el
conjunto bien ordenado (, <) que resulta de al agregar un elemento a
tal que a < a a .
Denimos sobre , por induccion transnita, una funcion que a cada

a le hace corresponder un conjunto (a) tal que
(a) = {(x) | x , x < a}.
Armamos que (a) es un numero ordinal s.v.N. y que
: (a) = {(a) | a }
es un isomorsmo de (, <) en ((a), ).
1 / (a) es un numero ordinal s.v.N
(a) es transitivo ya que si x y (a), entonces x = (a1 ), y
y = (a2 ) y a1 < a2 < a, por lo que x = (a1 ) (a).
2 / Basta ahora vericar que : (a) es un isomorsmo de
(, <) en ((a), ).
Se tiene que (x) / (x) para toda x . Su demostracion la dejamos
como ejercicio.
preserva orden; si a1 < a2 en , entonces (a1 ) (a2 ). En parti-
cular se tiene que (a1 ) = (a2 ) ya que (a1 ) / (a1 ) y por lo tanto es
inyectiva. Ademas, si a1 a2 , entonces a2 a1 , y as (a2 ) (a1 ), lo
que signica que (a1 ) / (a2 ) ya que si as lo fuera, por la transitividad
resultara que (a1 ) (a1 ) que ya hemos visto no puede suceder. Por
ultimo es claramente suprayectiva y por lo tanto es un isomorsmo,
por lo que ((a), ) es bien ordenado y as entonces ((a), ) es un numero
ordinal s.v.N. isomorfo a (, <).
4.5 Ejercicios 123
4.5 Ejercicios
4.1. Demuestra que la relacion de isomorsmo entre conjuntos bien orde-

nados es reexiva, simetrica y transitiva.
4.2. Demuestra que si f : (A, <A ) (B, <B ) es un isomorsmo de
conjuntos bien ordenados, entonces f 1 : (B, <B ) (A, <A ) es un iso-
morsmo de conjuntos bien ordenados.
4.3. Demuestra que si f, g : (A, <A ) (B, <B ) son isomorsmos de
conjuntos bien ordenados, entonces g 1 f : (B, <B ) (A, <A ) es un
isomorsmo de conjuntos bien ordenados.
4.4. Demostrar
que el supremo del conjunto X del Teorema 4.1.26 es
=( W () , <).
X
4.5. Sea C una cadena en la cual cada subconjunto numerable esta bien
ordenado. Probar que C esta bien ordenado.
4.6. Sea (X, ) una cadena y sean A y B subconjuntos de X tales que
X = A B y (A, ), (B, ) son bien ordenados. Probar que (X, ) es
bien ordenado.
4.7. Probar que cualquier cadena tiene un subconjunto conal (Un sub-
conjunto A de un conjunto parcialmente ordenado X se llama conal en
X si para todo x X existe a A tal que x a) y bien ordenado.
4.8. Demostrar que si y son ordinales tales que 0 y > 0,
entonces + > 0.
4.9. Demostrar que si y son ordinales tales que = 0 y = 0,
entonces = 0.
4.10. Demostrar que no puede existir una sucesion monotona decreciente
innita de numeros ordinales.
4.11. Sean (A, <A ) y (B, <B ) conjuntos bien ordenados y consideremos
= ord(A, <A ), = ord(B, <B ). Denimos el producto de y como
= ord(A B, <AB )
donde <AB , llamado el orden antilexicograco , se dene como
(a, b) <AB (a , b ) si b <B b o (b = b y a <A a )
(i) Demostrar que <AB es un buen orden en A B.

(ii) Demostrar que no depende de los representantes A y B.
4.12. Demostrar que si = 0, entonces = 0, para cualquier ordinal .
4.13. Demostrar que < si y solo si rep () rep ().
4.14. Demuestre el Lema 4.3.7. Sugerencia: Vease la demostracion del
Teorema 4.3.5.
4.15. Demuestre el Lema 4.3.8. Sugerencia: Vease la demostracion del
Teorema 4.3.5.
4.16. Demuestre el Teorema 4.3.12. Sugerencia: Vease la demostracion
del Teorema 4.3.2; y note que W () = .
Bibliografa
[Ad] Adamson, I, A set theory workbook, Birkhauser, Boston, 1998.
[Am] Amor, J.A, Teora de Conjuntos para estudiantes de ciencias, Fa-

cultad de Ciencias, UNAM, Segunda edicion 2005.
[Ba] Bartle, R, The elements of integration, John Wiley and Sons Inc.,
New York, 1966.
[En] Enderton, H.B, Elements of Set Theory, Academic Press, New York,
1977.
[Fr 1] Fraenkel, A, Abstract set theory, North-Holland, Amsterdam, 1953.
[Fr 2] Fraenkel, A, Foundations of set theory, North-Holland, Amsterdam,

1973.
[Ga] Garca-Maynez, A, Topologa General, Porrua, Mexico, 1988.
[Ha] Halmos, P, Naive set theory, Springer, New York, 1974.
[Ho] C. S. Honig, Proof of the well-ordering of cardinal numbers, Procee-

dings of American Mathematical Society. 5, No 2 (1954), 312.
[He] Hernandez, F, Teora de Conjuntos, una introduccion, Aportaciones

Matematicas, Sociedad Matematica Mexicana, Segunda edicion 2003.
[Hr] K. Hrbacek y T. Jech, Introduction to Set Theory, Marcel Dekker

Inc., 1984.
[Je] Jech, T, The axiom of choice, North-Holland, Amsterdam, 1973.
[Ka] Kaplansky, I, Set theory and metric spaces, Chelsea, New York, 1977
125
126 Bibliografa
[Ku] Kuratowski, K, Set theory, North-Holland, Amsterdam ; New York,

1976.
[Th] Thomas, T, Sets Theory, Springer Verlag, Berlin, 2003.
[Zu] Zuckerman, M, Sets and transnite numbers, Macmillan, New York,

1974.
Indice alfabetico
buen orden, 19 universal (no existencia), 5

vaco, 1
cadena, 19 conjuntos
cardinal ajenos, 3
nito, 54 ajenos dos a dos, 3
innito, 54 del mismo tipo de orden, 88
lmite, 65 equipotentes, 37
numero, 38 semejantes, 88
clase contradominio de una funcion, 9
de equivalencia, 13 cota
representante de una, 14 inferior, 19
codominio de una funcion, 9 superior, 19
conal, 123
comparables (elementos), 17 diferencia
composicion de conjuntos, 3
de funciones, 11 simetrica, 21
de relaciones, 8 direccion, 22
conjunto doble buen orden, 52
f -invariante, 26 dominio
cardinalidad de un, 118 de una funcion, 9
bien ordenado, 19 de una relacion, 7
cociente, 16
convexo, 28 elemento distinguido, 67
nito, 50
indicado, 12 familia
inescindible, 26 de conjuntos, 3
innito, 51 indicada, 12
numerable, 58 ltro, 22
parcialmente ordenado, 16 funcion, 9
potencia, 6 de seleccion, 29
saturado, 26 biyectiva, 11
totalmente canonica, 16
ordenado, 19 constante, 10
127
128 Indice alfabetico
identidad, 10 minimal, 18
inclusion, 11
inyectiva, 11 numero
proyeccion, 10 cardinal, 38
que preserva el orden, 87 ordinal, 91
restriccion de una, 11 no pertenencia, 1
sucesor, 72
orden
suprayectiva, 11
antilexicograco, 123
vaca, 10
parcial, 16
Hipotesis total, 19
Generalizada del Continuo, 66 ordinal
limite, 95
imagen sucesor, 95
de un subconjunto bajo una funcion,
11 par no ordenado, 2
de un subconjunto bajo una par ordenado, 6
relacion, 9 particion, 14
de una funcion, 9 pertenencia, 1
de una relacion, 7 potencia
directa de numeros cardinales, 49
de una funcion, 11 de numeros ordinales, 107
de una relacion, 9 primer ordinal innito, 97
inversa Principio de Induccion Transnita, 86
de una funcion, 11 producto
de una relacion, 9 cartesiano, 6, 29
inmo, 19 de cardinales, 46
interseccion, 2 de ordinales, 102
de una familia de conjuntos, 4
inversa rango
de una relacion, 7 de una funcion, 9
inverso relacion, 7
derecho de una funcion, 12 de orden
izquierdo de una funcion, 12 lineal, 19
isomorsmo parcial, 16
de conjuntos bien ordenados, 88 sobre cardinales, 38
de Sistemas de Peano, 71 sobre ordinales, 91
total, 19
leyes de equivalencia, 13
de Morgan, 3 asociada a f , 26
distributivas de conjuntos, 3 inversa, 7
retcula, 27
maximo, 18 completa, 27
mnimo, 18
cardinal innito, 58 saturacion de un conjunto, 26
maximal, 18 segmento inicial, 27
menor o igual, 17 Sistema de Peano, 67
Indice alfabetico 129
subconjunto, 2
propio, 2
sucesor, 66
suma
de cardinales, 44
de ordinales, 99
supremo, 19
Teorema
de Cantor, 43
de Recursion Transnita, 86
de Schroder-Bernstein, 39
torre, 32
union, 2
ajena, 43
unitario, 1
Introduccin a la teora intuitiva de conjuntos (cardinales y ordinales)
editado por la Facultad de Ciencias de la
Universidad Nacional Autnoma de Mxico,
se termin de imprimir el 17 de diciembre de 2011
en los talleres de Navegantes de la Comunicacin Grfica, S.A. de C.V.
Pascual Ortiz Rubio No. 40, San Simn Ticumac,
Delegacin Benito Jurez, C.P. 03660. Mxico, D.F.
El tiraje fue de 500 ejemplares.
Est impreso en papel cultural de 90 grs.

En su composicin se utiliz tipografa Modern computer
de 12:14, 18:20 puntos de pica.
Tipo de impresin: offset.
El cuidado de la edicin estuvo a cargo de

Mercedes Perell Valls.

Teoría Intuitiva de Conjuntos

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Teoría Intuitiva de Conjuntos

Încărcat de

Drepturi de autor:

Formate disponibile

CARMEN GMEZ LAVEAGA

FACULTAD DE CIENCIAS, UNAM

1. Teora de los conjuntos. 2. Nmeros cardinales. 3. Nmeros

511.322-scdd21 Biblioteca Nacional de Mxico

Introduccin a la teora intuitiva de conjuntos (cardinales y ordinales)

D.R. 2011. Universidad Nacional Autnoma de Mxico.

Diseo de portada: Laura Uribe

Prohibida la reproduccin parcial o total de la obra por cualquier medio,

Impreso y hecho en Mxico.

Captulo 1. Nociones basicas 1

Captulo 2. El Axioma de Eleccion y sus equivalencias 29

Captulo 3. Numeros cardinales 37

Captulo 4. Numeros ordinales 85

segun von Neumann, que es la manera en que, por lo general, actualmente

Intuitivamente un conjunto es una coleccion de objetos. A estos objetos

(c) {a, b} = {x | x = a o x = b} es el conjunto cuyos unicos elementos son

Proposicion 1.1.4. Sean A, B, C conjuntos. Entonces

Denicion 1.1.6. Sea F una familia de conjuntos. La union de todos los

Denicion 1.1.7. Sea F una familia no vaca de conjuntos. La intersec-

Observacion 1.1. Para la union no es necesario pedir que la familia F

deberamos exhibir un conjunto A tal

Matematica, por poner un ejemplo, se trabaja con estas clases y son de

Teorema 1.1.7. U = {x | x es conjunto} no es un conjunto.

Demostracion. Supongamos que U es un conjunto y sea

C es un conjunto debido a lo dicho en el primer parrafo de la Nota 2, y

Sin embargo ninguna de las dos lo es.

El siguiente resultado, como puede verse, es un teorema equivalente al

Teorema 1.1.8. Dado un conjunto A, existe un conjunto B tal que B no

Denicion 1. 1.8. Dado un conjunto A, el conjunto potencia de A,

Denicion 1.1.9. El par ordenado de a, b, denotado por (a, b), es el

Teorema 1.1.9. (a, b) = (c, d) si y solo si a = c y b = d.

Demostracion. Supongamos que (a, b) = (c, d), es decir

{{a}, {a, b}} = {{c}, {c, d}}.

El concepto de par ordenado podra denirse de varias maneras (ver

Denicion 1.1.10. El producto cartesiano de los conjuntos A y B es

Proposicion 1.1.10. Sean A, B y C conjuntos. Entonces

En el Captulo 2 deniremos, en general, el producto cartesiano de una

(c) Sean X cualquier conjunto y P(X) el conjunto potencia de X. Sea R

(2) Como R11 Y X, R21 Z Y y R2 R1 X Z, entonces

Denicion 1.2.4. Sea R una relacion de X a Y , A X y B Y . La

En esta seccion estudiaremos ciertas relaciones entre conjuntos, lla-

Notacion 1.1. Para indicar que f es una funcion de X a Y generalmente

Si (x, y) f , al elemento y lo denotaremos por f (x). No hay posibilidad

Teorema 1.3.1. Sean f : X Y y g : X Y funciones, f = g si y

Denicion 1.3.3. Sea f : X Y una funcion y X X. La funcion

Denicion 1.3.7. Sea f : X Y

1.4 Relaciones de equivalencia

Denicion 1.4.1. Sea X un conjunto y R una relacion de X a X. Diremos

Es inmediato de la denicion que, si R es una relacion de equivalencia

Teorema 1.4.1. Sea R una relacion de equivalencia en X. Son equiva-

(3) (1) Supongamos [a][b] = y sea x [a][b]. Entonces x a y x b

Veremos ahora que cada relacion de equivalencia en un conjunto X

Si X es un conjunto y P = {Xi }iI una particion de X, denimos

Sea [a]RP PRP . Por ser P una particion, a Xj para algun j I y

1.5 Relaciones de orden

En esta seccion estudiaremos un tipo de relacion de gran importancia

Ademas si x, y X y x < y diremos que x es menor que y, y si no

Denicion 1. 5.2. Si < es un orden parcial sobre X, por a b (a es

De las Proposiciones 1.5.2 y 1.5.3 tenemos entonces que los ordenes

Denicion 1.5.4. Un orden parcial en un conjunto X se llama orden

Proposicion 1.5.5. Si < es un buen orden entonces es un orden total.

1.1. Demuestre los Teoremas 1.1.1 y 1.1.2.

(g) Existe I P (X) tal que A I = A,

(3) (1) Supongamos [a][b] = y sea x [a][b]. Entonces x a y x b

Ai = . Debido a que no tenemos las herramientas necesarias en la

Sea = {X B|X 1 (X)}. = ya que B 1 (B) = A.