Sets PDF

TEORIA AXIOMATICA DE
CONJUNTOS
Versi
on Preliminar
Renato A. Lewin
Author address:
lica de Chile, Facultad de
Pontificia Universidad Cato
ticas, Casilla 306 - Correo 22, Santiago CHILE.
Matema
e-mail: rlewin@mat.puc.cl
Indice
CAPITULO 1. Introduccion. Los Axiomas de Zermelo Fraenkel
1. El Lenguaje Formalizado L
2. Los Axiomas de la Teora ZF. Conceptos Fundamentales
CAPITULO 2. Teora Elemental
1. Operaciones
2. Relaciones
3. Funciones
4. Relaciones de Equivalencia
5. Relaciones de Orden
5
7
9
17
17
23
30
40
44
CAPITULO 3. Ordinales
1. N
umeros Naturales
2. Ordinales
3. Induccion Transfinita
4. Recursion
5. Funciones Normales
6. Ordinales y Buenos Ordenes
7. Aritmetica Ordinal
8. La Jerarqua Acumulativa de Conjuntos
57
57
64
70
72
75
78
80
101
CAPITULO 4. El Axioma de Eleccion

1. Equivalencias del Axioma de Eleccion
2. Aplicaciones
105
105
111
CAPITULO 5. Cardinales
1. Definiciones y Resultados Basicos
2. Conjuntos Finitos y Conjuntos Infinitos
3. Aritmetica Cardinal
4. Cardinales Regulares y Singulares
5. La Hipotesis del Continuo
117
117
125
129
144
146
Bibliografa
151
Glosario
153
CAPITULO 1
Introducci
on. Los Axiomas de Zermelo Fraenkel
Este libro trata sobre los conjuntos. Intuitivamente un conjunto es
una coleccion (clase, agregado, conglomerado, etc.) de objetos, los que
pertenecen a (forman parte de, son los elementos de, etc.) el conjunto.
En toda teora axiomatica debemos partir de terminos que no podemos
definir para no correr el riesgo de caer en un crculo vicioso. Tal es el
caso de los conceptos de conjunto y pertenencia dentro de la Teora de
Conjuntos. Todas nuestras intuiciones descansan sobre la idea intuitiva
que tengamos sobre estos conceptos primitivos, sin embargo, para el
desarrollo de la teora no es necesario contar con estas intuiciones.
Una teora axiomatica es un modelo formal de una realidad que
queremos estudiar. Esta compuesta por axiomas, o sea, oraciones a
partir de las cuales, usando solo reglas logicas, podamos obtener todas
las propiedades de aquello que queremos modelar. Los axiomas tratan
de establecer las caractersticas y propiedades esenciales de los objetos
que estamos tratando de describir en nuestro modelo. El ideal sera en
primer lugar que los axiomas modelaran las intuiciones que tenemos de
la realidad y en segundo lugar que la lista fuera completa, es decir, que
todas y solo aquellas propiedades de los objetos a describir se puedan
obtener a partir de nuestra lista.
Diversas teoras axiomaticas de conjuntos han logrado en mayor
o menor grado el segundo de estos objetivos. El primero en cambio,
obtener todas las propiedades de los conjuntos a partir de un sistema
de axiomas, no se ha logrado. El motivo de esto es muy sencillo: no
se puede. En efecto, los resultados obtenidos por el logico Kurt Godel
alrededor de 1930, demuestran que es imposible dar una axiomatizacion
completa de la Teora de Conjuntos. Lo mismo es cierto de otras teoras
matematicas como la teora de n
umeros.
Lo anterior parece condenar nuestro proyecto al fracaso, sin embargo esto no es as, solo nos advierte que el ideal es imposible. De hecho numerosos matematicos han logrado establecer teoras axiomaticas
que, si bien no completas, son suficientes para construir en ellas casi
toda la matematica. Estudiaremos una de ellas en estas paginas, a
saber, la teora de ZermeloFraenckel, ZF, desarrollada a partir del
5
trabajo de E. Zermelo el primero en proponer una teora en los primeros

a
nos de este siglo.
Un conjunto esta definido por los objetos que contiene. Nuestra
intuicion nos dice que a cada conjunto corresponde una propiedad, es
decir, aquello que caracteriza a sus elementos, por ejemplo al conjunto
formado por los n
umeros 1, 2, . . . , 99, le corresponde la propiedad ser
n
umero entero mayor que cero y menor que cien. A la inversa, a toda
propiedad le debe corresponder un conjunto, la coleccion de todos los
objetos que verifican dicha propiedad.
Temprano en el desarrollo de la teora de conjuntos se descubrio
que esta intuicion conduca a contradicciones y que deba descartarse.
A fines del siglo pasado, el matematico ingles Bertrand Russell dio
con la siguiente paradoja. Consideremos el conjunto R definido por la
propiedad un objeto pertenece al conjunto R si y solo si no pertenece
a si mismo. En smbolos1
R = {x : x 6 x}.
La pregunta entonces es pertenece R a R?, o en smbolos, R R?.
Si la respuesta es afirmativa, entonces R verifica la propiedad que define
a R, o sea, R 6 R. Si la respuesta es negativa, entonces, por definicion,
R R. En cualquier caso obtenemos la contradiccion
R R R 6 R .
La paradoja de Russell (y otras) nos dice que el concepto de propiedades mas delicado de lo que suponemos y que definitivamente no
debe corresponder a lo que llamamos un conjunto. Debemos tomar
medidas para evitar que esta paradoja y ninguna otra se produzca en
nuestra teora.
Sin embargo, la nocion de que a cada propiedad debera corresponder la coleccion de objetos que la verifican o extensionde la propiedad,
tiene fuerte arraigo en nuestra intuicion. Algunos matematicos no han
querido deshacerse de ella y han elaborado teoras bastante complejas,
que incluyen dos tipos de objetos, conjuntos y clases propias. Deciamos antes que lo que caracteriza a los conjuntos es sus elementos y
por ende para poder afirmar que algo es un conjunto, es preciso ser capaz de determinar exactamente cuales son los elementos de dicho conjunto. Las clases son las extensiones de propiedades. Si esta pertenece
a otra clase, entonces decimos que es un conjunto, si no, hablamos de
1
Supondremos que el lector esta familiarizado con la terminologa y simbologa

conjuntista pero lo prevenimos de que estos tendran un sentido muy preciso en
nuestra teora y el que, a veces, difiere del popularizado en la ense
nanza basica y
media.
6
una clase propia. Es decir, las clases propias son las extensiones de
una propiedad que de alguna manera son demasiado grandes, no las
podemos aprehender. Ejemplos de estas u
ltimas son la clase R definida
anteriormente o la clase V formada por todos los conjuntos (o clase
universal).
En nuestra teora, ZF, no existen las clases propias, solo conjuntos.
Esto implica que, por ejemplo, no podemos hablar de la clase R. Sin
embargo, la situacion no es tan mala como parece. Si bien no podemos
hablar de R, nada nos impide hablar de la propiedad x 6 x. As,
aunque no podemos afirmar a R00 (porque R no existe dentro de la
teora), podemos perfectamente decir a 6 a que significa lo mismo. En
otras palabras, si queremos hablar de una clase propia, en ZFdebemos
hacerlo mediante la propiedad que la define.
La nocion de propiedad no la hemos definido pero de lo anterior
se desprende que es central en nuestro estudio. Vamos a continuacion
a definir este concepto.
Como dijimos, una teora axiomatica se desarrolla a partir de ciertos enunciados o axiomas mediante la aplicacion de reglas logicas. Por
ello, es fundamental que el lenguaje usado sea lo mas preciso posible.
Esto se logra mediante la formalizacion del lenguaje. Solo aquellas
expresiones escritas en este seran aceptables en nuestra teora y representaran propiedades.
No es el proposito de este texto introducir al lector a la Logica
Matematica. Tampoco suponemos que este sepa logica mas alla de los
conocimientos que se aprende en un curso universitario de Introduccion
al Algebra o similar. Cierta madurez matematica es desde luego necesaria para mantener la fluidez de las demostraciones. Usaremos por lo
tanto un estilo semi formal el que, por un lado, es habitual en el tema
y por el otro, no apabulla al lector con un rigor tedioso y excesivo.
1. El Lenguaje Formalizado L
Un lenguaje formalizado esta constituido por un conjunto de smbolos
basicos y por reglas que nos permiten formar expresiones mas complicadas a partir de esos smbolos originales.
Los smbolos de L seran:
1. Variables: x, y, z, X, Y, Z, x1 , x2 , . . . , en general, las u
ltimas letras del alfabeto latino, min
usculas o may
usculas, con o sin
subndices. Su significado es el habitual en matematicas y su
rango son los conjuntos.
2. Constantes: a, b, c, A, B, C, . . . , en general, las primeras letras
del alfabeto latino. Sirven para referirnos a conjuntos especficos.
7
3. Smbolo de pertenencia:
4. Smbolo de igualdad: =
5. Conectivos logicos: , , , , , es decir, los smbolos habituales para la negacion, disyuncion, conjuncion, implicacion y
equivalencia.
6. Cuantificadores: , , con su significado habitual.
7. Parentesis: ( , ). Usados como signos de puntuacion.
Cualquier cadena finita formada por estos smbolos es una expresi
on
del lenguaje, pero no toda expresion es aceptable o significativa. Solo
aceptaremos aquellas a las que llamaremos formulas de L.
Una formula de L es una expresion de L construida como sigue:
1. X Y, X = Y son formulas de L para cualquiera dos variables
o constantes X e Y no necesariamente distintas.
La primera se lee X pertenece a Y o bien Y contiene a
X y la segunda X es igual a Y . Su significado intuitivo es el
obvio. Estas se llamaran f
ormulas atomicas.
2. Si y son formulas de L , entonces tambien lo son (
), ( ), ( ), ( ).
Estas formulas corresponden respectivamente a la disyuncion,
conjuncion, implicacion y equivalencia de y .
3. Si es una formula de L , entonces tambien es una formula
de L .
La formula corresponde a la negacion de . Tambien
usaremos los smbolos auxiliares X
/ Y y X 6= Y para escribir
(X Y ) y (X = Y ), respectivamente.
4. Si es una formula de L y x es una variable, x, x son
formulas de L .
Estas se leen cualquier conjunto x verifica y existe (por
lo menos) un conjunto x que verifica , respectivamente. Su
significado es tambien evidente.
Solamente aquellas expresiones obtenidas por la aplicacion de (un

n
umero finito de) estas reglas es una formula de L .
Si es una formula de L y x una variable que aparece en ,
decimos que x aparece ligada en si su aparicion se produce bajo
la influencia de un cuantificador x o x. En caso contrario decimos
que x aparece libre en . Por ejemplo, en x x 6 y, la variable x
aparece ligada pero y aparece libre y en x(x y z x z), las
variables x y z aparecen ligadas e y aparece libre.
Una formula que no contiene variables libres se llama una oraci
on.
Una oracion de L es siempre verdadera o falsa (pero puede ser que no
8
seamos capaces de determinar cual de las dos se cumple!). Una oracion

hace una afirmacion acerca de los conjuntos a los que se refiere, una
formula que contiene variables libres no hace ninguna afirmacion, pero
si asignamos interpretaciones a sus variables libres, entonces s estaremos afirmando algo. A menudo escribiremos (x1 , x2 , . . . , xn ) para
dejar en claro que las variables libres de estan entre x1 , x2 , . . . , xn .
Como hemos dicho, solo aceptaremos formulas de L para hablar de
objetos y hacer afirmaciones en ZF. Sin embargo, la expresion en L de
conceptos bastante sencillos puede resultar increiblemente complicada.
As, aceptaremos abreviaciones que faciliten la lectura. Por ejemplo el
concepto de subconjunto se denota x y se puede expresar en terminos
de los smbolos basicos de L mediante:
xy
ssi z(z x z y).
Entonces, como ya sabemos que x y puede escribirse en el lenguaje L,

permitiremos el smbolo en nuestras formulas. Lo mismo sucedera
con otros smbolos. Mas a
un, en general usaremos expresiones del
castellano y no su formalizacion en L para trabajar con el concepto
intuitivo y no con la a menudo ilegible formula de L . Lo importante
es que dicha traduccion sea posible para que, llegado el caso, podamos
hacer una demostracion rigurosa de nuestras afirmaciones.
2. Los Axiomas de la Teora ZF. Conceptos Fundamentales
A1. Axioma de Extensionalidad:
Si todo elemento de X es un elemento de Y y todo elemento de
Y es un elemento de X , entonces X es igual a Y .
Dicho de otro modo, si dos conjuntos tienen los mismos elementos,
entonces son iguales. Este axioma nos dice que lo que caracteriza a un
conjunto son sus elementos.
En L , este axioma se escribe
XY (z(z X z Y ) X = Y ).
n 1.1. Decimos que X es subconjunto de Y , en smbolos,
Definicio
X Y , si y solo si todo elemento de X es un elemento de Y . O sea,
X Y x(x X x Y ).
Con esta definicion A1 puede escribirse mas abreviadamente
XY (X Y Y X X = Y ).
A2. Axioma del conjunto vaco:
Existe un conjunto que no contiene ning
un elemento.
9
En L escribimos
Xx x 6 X.
Observemos que, en particular, este axioma garantiza que existe al
menos un conjunto.
Lema 1.1. Existe un u
nico conjunto que no contiene ning
un elemento.
n. Supongamos que existen dos conjuntos distintos
Demostracio
a y b ambos sin elementos.
Por A1 x((x a x 6 b) (x b x 6 a)), una contradiccion.
Luego hay un u
nico conjunto vaco.
n 1.2. El (
Definicio
unico) conjunto que no tiene elementos se
llama el conjunto vaco y se le denota .
Observese que el smbolo no es la letra griega .
A3. Axioma de Separaci
on:
Si (x) es una formula de L y X es un conjunto, entonces
existe un conjunto Y cuyos elementos son aquellos elementos de X
que verifican (x).
En L escribimos XY z(z Y (z X (x)).
Este axioma nos dice que para cualquier propiedad (expresada por
(x)) y cualquier conjunto A existe el subconjunto de A formado por
los elementos que verifican esa propiedad. Obviamente este conjunto
es u
nico.
n 1.3. Si (x) es una formula de L y A un conjunto,
Definicio
el conjunto cuya existencia esta garantizada por A3 se denotara con el
smbolo
{x A : (x)}
y se lee el conjunto de los elementos de A tales que (x).
Recordemos que la paradoja de Russell se produce al tratar de construir el conjunto de todos los conjuntos que verifican una propiedad
cualquiera (x). Este axioma limita nuestra capacidad de formar
conjuntos de objetos que verifican una cierta propiedad, solo podemos
referirnos a aquellos elementos que perteneciendo a un cierto conjunto
dado, verifican la propiedad en cuestion. Veamos que esta restriccion
evita que se produzca la paradoja.
Para ello tratemos de formar la clase de Russell. Dado un conjunto
A , el axioma de extensionalidad nos permite formar el conjunto
R = {x A : x 6 x}.
10
En este caso tenemos que si R R, entonces

RA
R 6 R,
lo cual es una contradiccion, luego R

/ R, lo que, a diferencia de antes,
no es contradictorio, solo implica que R
/ A.
Teorema 1.2. No existe el conjunto de todos los conjuntos.
n. Supongamos que si existe y llamemoslo V . EnDemostracio
tonces en virtud de A3 podemos construir el conjunto de Russell
R = {x V : x 6 x}, contradiccion.
Por u
ltimo, cabe destacar que este no es propiamente un axioma
sino mas bien un esquema. En efecto, para cada formula (x) de
L tenemos un axioma distinto, o sea, hay una cantidad ilimitada de
instancias de este axioma.
A4. Axioma de Pares:
Dados dos conjuntos X e Y , existe un conjunto cuyos u
nicos
elementos son X e Y .
Su expresion en L es
XY Z x(x Z (x = X x = Y )).
Resulta claro por A1 que este conjunto es u
nico. Lo denotamos
{X, Y }.
y lo llamamos el par noordenado X, Y .
El axioma A1 tambien garantiza la existencia del conjunto cuyo
u
nico elemento es el conjunto X
{X, X} = {X},
el que a menudo recibe el nombre de singleton X .
A5. Axioma de Uniones:
Si X es un conjunto, entonces existe un conjunto cuyos elementos
son los elementos de los elementos de X .
En L escribimos
X Y z(z Y u(z u u X)).
Nuevamente por
nico, se llama la uni
on de
S A1, este conjunto es u
X y se le denota
X.
11
Un caso particular que merece una notacionSespecial es el siguiente.

Si X e Y son conjuntos, entonces existe
{X, Y }. (Por que ?)
Entonces
[
x {X, Y } (x X x Y ).
S
{X, Y } se llama la union de X e Y y se le denota X Y .
Corresponde al conjunto de todos los conjuntos que pertenecen ya sea
a X o a Y (o a ambos).
Mas generalmente, dados los conjuntos X1 , X2 , . . . , Xn de manera
analoga al caso de la union de dos conjuntos, definimos
[
X1 X2 Xn = {X1 , X2 , . . . , Xn }.
de tal manera que
x X1 X2 Xn x X1 x X2 x Xn .
El lector seguramente esta familiarizado con el concepto de union

de dos o de una cantidad finita de conjuntos, el axioma A5 generaliza
este concepto a la union de una familia arbitraria, incluso infinita, de
conjuntos. Observemos que para definir la union de dos conjuntos son
necesarios el Axioma de Pares, el Axioma de Uniones y el Axioma de
Extensionalidad (para garantizar unicidad).
Usando la definicion de union de dos conjuntos, podemos tambien
definir triples noordenados
{x, y, z} = {x, y} {z}
y, en general, iterando el proceso, podemos definir ntuplas noordenadas

{x1 , x2 , . . . , xn }.
Otra generalizacion de un concepto familiar
es el de intersecci
on de
T
un conjunto novaco X , en smbolos,
X, definida por
\
[
X = {x
X : y(y X x y)}.
T
Observemos que en virtud de A5 y de A3,
X es efectivamente un
conjunto. Por que debemos exijir que X sea novaco?
La interseccion de dos conjuntos X e Y , X Y , se define por
\
X Y = {X, Y }
y en general
X1 X2 Xn =
{X1 , . . . , Xn }.
En rigor, para definir x y no necesitamos A5. Como podramos

hacerlo?
Diremos tambien que dos conjuntos X e Y son disjuntos si
X Y = .
12
A6. Axioma del Conjunto Potencia:

Si X es un conjunto, entonces existe el conjunto de todos los
subconjuntos de X .
Esto es
X Y z(z Y z X))
(En rigor deberiamos excribir
X Y z(z Y u(u z u X))

sin embargo, como la lectura de la formula se complica bastante y
ya sabemos como definir usando solo y los smbolos logicos,
preferimos la escritura abreviada).
Creemos que este axioma se explica por s mismo.
El (
unico) conjunto cuya existencia garantiza este axioma se designa
por PX y se llama el conjunto potencia de X .
A7 Axioma de Regularidad:
Todo conjunto no vaco contiene un elemento con el que no comparte ning
un elemento.
En L escribimos
x(x 6= y(y x y x = )).
A pesar de que no resulta evidente a partir de su formulacion, este
axioma impide la existencia de un conjunto a tal que a a o incluso
a b a , o a c b a , etc. Como veremos en su oportunidad,
intuitivamente este axioma dice que , considerada como una relacion
entre conjuntos,verifica una condicion analoga a la del orden de los
n
umeros naturales, esta es, que todo conjunto no vaco tiene un menor
elemento.
Teorema 1.3.
i) x x 6 x.
ii) x y(x 6 y y 6 x).
iii) En general, no existen a1 , a2 , . . . , an tales que a1 a2
an a1 .
iv) No existen conjuntos a1 , a2 , a3 , . . . , an , . . . tales que
an a2 a1 .
n.
Demostracio
i) Supongamos que existe a tal que a a ,
entonces A = {a} contradice a A7.
ii) Idem i) con A = {x, y}
iii) Idem i) con A = {a1 , a2 , . . . , an }.
iv) Supongamos que existe el conjunto cuyos elementos son precisamente a1 , a2 , a3 , . . . . Llamemoslo A . Entonces A contradice a
13
A7 ya que para cualquier y A, digamos y = am para alg

un
m , am+1 am y am+1 X, o sea y X 6= .
El problema entonces se reduce a verificar que existe tal conjunto
A. Sin embargo para poder hacerlo no bastan los axiomas que tenemos
hasta ahora, necesitamos dos axiomas mas. La demostracion debera
posponerse hasta entonces. (Ver ejercicio 7.)
Aunque la mayor parte de las matematicas puede desarrollarse sin
el axioma de regularidad es mas comodo contar con el.
A8. Axioma del Conjunto Infinito: Existe un conjunto que
tiene infinitos elementos.
Para escribirlo en el lenguaje L debemos usar una expresion que
no es muy transparente.
X( X y(y X y {y} X).
Es claro que el conjunto as formado es intuitivamente infinito, basta
verificar que contiene a los siguientes conjuntos
, {}, {, {}}, {, {}, {, {}}}, . . .
por supuesto que habra que demostrar ademas que todos estos conjuntos son distintos.
Para introducir el u
ltimo axioma de ZF, debemos estudiar antes
un cierto tipo de formula de L . Una formula (x, y) de L con dos
variables libres x e y se dira funci
on proposicional si para todo conjunto
a existe un u
nico conjunto b tal que (a, b) se verifica. Ejemplos de
estas son las formulas (x, y) siguientes:
y
y
y
y
=
=
=
=
x,
Px,
x {x},
x a,
donde a es un conjunto fijo, etc.

A9. Axioma de Reemplazo:
Si (x, y) es una funcion proposicional y A es un conjunto,
entonces existe el conjunto de los elementos b que verifican (a, b)
para alg
un a A.
Expresado en L , tenemos
XY y(y Y x(x X (x, y))).
14
De hecho, este axioma parece mas complicado de lo que es. La

idea intuitiva es que si tenemos un conjunto A y una funcion f cuyo
dominio es A , f [A] = {f (x) : x A}, es tambien un conjunto. El
problema se suscita cuando vemos que en nuestra teora la funcion
x 7 Px
no es, como veremos formalmente mas adelante, un objeto de nuestra
teora, es decir, no es un conjunto, sino que corresponde a lo que llamamos una clase propia. Como ya hemos dicho antes, nuestro lenguaje
nos permite referirnos a dichos objetos mediante la formula que los define, lo que para los efectos practicos es casi lo mismo. As, (x, y) no
es una funcion dentro de nuestra teora sino mas bien una regla que nos
permite asociar a cada elemento de un conjunto A un u
nico elemento.
Algunos matematicos llaman a la formula que define una funcion, su
grafico. Siguiendo con esta nomenclatura, el problema aqu es que el
dominio de esta funcion es la clase de todos los conjuntos que, como
ya vimos, no es un conjunto. Sin embargo, cuando restringimos dicho
dominio a un conjunto A , A9 garantiza que existe el recorrido de la
funcion.
Esta lista de axiomas conforman ZF. Junto con el Axioma de
Eleccion, que estudiaremos en el captulo 3, son suficientes para desarrollar casi toda la matematica. Inmediatamente se nos ocurren varias
preguntas son estos axiomas independientes entre s ? Es decir, no
pueden obtenerse unos de otros? La respuesta es no, el axioma de pares
puede obtenerse a partir de los axiomas de reemplazo y del conjunto
potencia. Por su parte el axioma del conjunto vaco puede obtenerse a
partir del axioma de especificacion y del axioma del conjunto infinito
(habra que darle otra formulacion a este u
ltimo).
El problema de la independencia del axioma de eleccion del resto
de los axiomas es mucho mas complicado. Fue resuelto positivamente
por K. Godel (1940).
Mas importante a
un es el problema de la consistencia, es decir,
es posible deducir una contradiccion a partir de estos axiomas? Este
problema no se ha resuelto y no parece probable que vaya a resolverse
debido a los resultados de Godel en 1930. Por supuesto no se ha descubierto ninguna contradiccion (de no ser as, no tendra sentido el
estudio de esta teora) y se estima que s son consistentes.
El otro problema que surge naturalmente es el de la completud de
este sistema de axiomas. Es decir, son suficientes estos para deducir
todos los teoremas posibles sobre conjuntos? La respuesta es tambien
no. Mas a
un, sabemos (nuevamente en virtud de los trabajos de K.
15
Godel en 1930) que no puede completarse, es decir, aunque agreguemos

una lista de infinitos axiomas a ZF, seguira siendo incompleto, es decir,
siempre existira una formula tal que ni ni puede demostrarse
a partir de esa lista.
Todos estos problemas requieren de conocimientos de Logica Matematica y estan fuera del alcance de esta obra. Nos parece interesante
eso s mencionarlos para que el lector investigue por su cuenta.
Ejercicios.
1. Demuestre que el axioma de pares puede ser reemplazado por el
axioma mas debil:
Dados dos conjuntos X e Y , existe un conjunto los contiene
a ambos.
2. Demuestre que el axioma de uniones puede ser reemplazado por
el axioma mas debil:
Si X es un conjunto, entonces existe un conjunto que contiene a todos los elementos de los elementos de X .
3. Demuestre que el axioma del conjunto potencia puede ser reemplazado por el axioma mas debil:
Si X es un conjunto, entonces existe un conjunto que contiene a todos los subconjuntos de X .
4. Demuestre que el Axioma de Pares puede obtenerse a partir de
los axiomas de Reemplazo y del Conjunto Potencia.
5. Demuestre el Axioma del Conjunto Vaco a partir de de los otros
axiomas y el nuevo axioma Existe un conjunto infinito.
6. Indique como definir x y sin usar el axioma A5.
7. Use el axioma de reemplazo y el de conjunto infinito para demostrar que el conjunto A definido en la demostracion del teorema 1.3 existe.
16
CAPITULO 2
Teora Elemental
En este captulo formalizaremos y profundizaremos las nociones de
la teora intuitiva de conjuntos que el lector probablemente ha estudiado en cursos de Algebra, Geometra u otros. Por tratarse de material
familiar, la mayora de las demostraciones se dejaran como ejercicio.
Debemos cuidarnos eso s de no dar a las intuiciones el caracter de
teoremas y demostrar cuidadosamente todas nuestras afirmaciones a
partir de los axiomas.
Una de las dificultades que enfrenta el principiante en Teora Axiomatica de Conjuntos es precisamente ese conocimiento intuitivo del
tema. En nuestra teora todo es un conjunto, as los elementos de un
conjunto son a su vez, conjuntos que contienen elementos que a su vez
son conjuntos. Es decir, la familiar distincion entre elemento y conjunto
no existe y si se dice por ejemplo a es elemento de b es solo para
enfatizar que a y b satisfacen a b, pero no para separar a a y b en
dos categoras distintas. As, un mismo conjunto puede jugar ambos
papeles en distintas situaciones, por ejemplo:
{}
{} {, {}}.
Lo mismo puede decirse de pares ordenados, relaciones, funciones
etc, etc, todo ente del cual hablemos sera un conjunto.
1. Operaciones
En el captulo anterior hemos definido las operaciones x y y
x y. Definiremos ahora una tercera operacion
n 2.1. Dados dos conjuntos a y b definimos el compleDefinicio
mento relativo de b con respecto a a , o su diferencia como sigue
a b = {x a : x
/ b}.
Notese que en virtud de A3, a b es un conjunto.
Como lo demuestra la siguiente proposicion, la nocion de complemento de un conjunto a , es decir, el conjunto de aquellos conjuntos
que no pertenecen a a , no puede definirse en ZF.
17
Teorema 2.1. No existe el complemento, de ning

un conjunto.
n. Sea a un conjunto. Si existiera su complemento
Demostracio
0
llamemoslo a , entonces en virtud de A5, a a0 sera un conjunto,
pero a a0 = V , la clase de todos los conjuntos que, como vimos, no
es un conjunto.
El siguiente teorema nos da las propiedades de estas tres operaciones.
Teorema 2.2. (Algebra de Conjuntos).
Para todo conjunto a, b, c :
i) Asociatividad
a (b c) = (a b) c ,
a (b c) = (a b) c .
ii) Conmutatividad
ab=ba ,
ab=ba.
iii) Idempotencia
aa=a ,
aa=a.
iv) Absorcion
a (a b) = a ,
a (a b) = a .
v) Neutro
a=a ,
a=.
vi) Distributividad
a (b c) = (a b) (a c) ,
a (b c) = (a b) (a c) .
vii) Leyes de De Morgan
a (b c) = (a b) (a c) ,
a (b c) = (a b) (a c) .
viii) a a =
ix) a = (a b) (a b)
n. Ejercicio
Demostracio
La relacion a b se relaciona con las otras operaciones como sigue.
Teorema 2.3. Para todo conjunto a, b, c, d.
i) a b a y a b b.
ii) Si c a y c b, entonces c a b.
iii) a b si y solo si a b = a.
18
iv)
v)
vi)
vii)
viii)
Si a c y b d, entonces a b c d.
a a b y b a b.
Si a c y b c, entonces a b c.
a b si y solo si a b = b.
Si a c y b d, entonces a b c d.
n. Ejercicio.
Demostracio
Algunas propiedades del conjunto potencia de un conjunto son interesantes.
Teorema 2.4. Para todo conjunto a, b:
i) Pa y a Pa.
ii) P = {}.
iii) Si a b, entonces Pa Pb.
iv) Pa Pb P(a b).
v) Pa Pb = P(a b).
vi) P(a b) (Pa P(b)) {}.
n. A modo de ejemplo demostraremos vi). El resto
Demostracio
queda como ejercicio.
Sea x P(a b), es decir, x a b.
Si x = , entonces x (Pa Pb) {}.
Si x 6= , entonces para todo z x, z a y z
/ b, o sea, x a
y x 6 b, luego x Pa Pb.
Ejercicios.
1. Determine si a pertenecea , es subconjunto, o ni pertenece ni es
subconjunto de alguno de los siguientes conjuntos.
(a) {{a}, a} ,
(b) a ,
(c) a ,
(d) {a} {{a}} ,
(e) {a} a ,
(f) {a} {} .
2. Sea a un conjunto. Si para todo conjunto b se tiene a b = b,
probar que a = .
19
3. Demostrar
S que :
(a) T{{a, b, c}, {a, d, e}, {a, f }} = {a, b, c, d, e, f } .
(b) S{{a, b, c}, {a,
T d, e}, {a, f }} = {a} .
(c) T{a} = T
a = {a}
T , para todo conjunto a .
(d) ( a) ( b) 6= (a b) .
4. Probar que:
(a) Si a c = , entonces a (b c) = a b .
(b) Si a b = , entonces a b = a .
(c) Si a b = y a b = c , entonces a = c b.
(d) a (b c) = (a b) c .
(e) (a b) c = (a c) (b c) .
(f) Si a b = , entonces a = y b = .
5. Definamos 0 = , 1 = 0 {0} , 2 = 1 {1} , 3 = 2 {2} ,
4 = 3 {3}. Entonces:
(a) Probar que 0 , 1 , 2 , 3 y 4 son conjuntos.
(b) Expresar 0 , 1 , 2 , 3 y 4 usando solo los smbolos { ,
}, y,.
(c) Decidir si son ciertas o falsas las afirmaciones siguientes:
(i) 1 2
(ii) 1 2 = 0 (iii) (0
S 2) 1
(iv) 1T
2
(v) 1 2 = 2 (vi) 3 3
(vii) 4 4
(d) Expresar los siguientes conjuntos usando los conjuntos 0,

1, 2, 3 yS4. Simplifique.
SS
SSS
, P ,
, PP , T S , PPP.
(e) Si a = {{2,T3},
( a 4) .
S 4, {4}} , encontrar
(f) Construir
(P2 2) .
(g) Si a = {{1,
2},
{2,
S
T 0},
S {1,
S 3}}
T,Tconstruir:
ST
TS
a, a,
a,
a,
a,
a.
6. Dar contraejemplo de P(a b) = Pa Pb .
7. ProbarSque:
(a)
Pa S
=a.
(b) a P a .
(c) No es cierto que si a b, entonces
Pa Pb .
S
(d) Si
S a b, entonces PaS PP a .
(e)
{Px : x a} P a.
(f) {, {}} PPPa , para todo conjunto a .
(g) Si Pa = Pb, entonces a = b .
8. Se define a + b = (a b) (b a) , para a y b conjuntos. Probar
que si a, b , c son conjuntos, entonces:
(a) a + = a
(b) a + a =
20
(c)
(d)
(e)
(f)
(g)
(h)
(i)
9. Sean
a + (b + c) = (a + b) + c
a (b + c) = (a b) + (a c)
aba+b
a = b si y solo si a + b =
Si a + c = b + c , entonces a = b
a c = b c si y solo si a + b c
(a c) + (b c) = (a + b) c
a = {x Z : x es divisible por 4}
b = {x Z : x es divisible por 9}
c = {x Z : x es divisible por 10}
(a) Describir a b c .
(b) Sean n , m Z. Si
d = {x Z : x es divisible por n}
e = {x Z : x es divisible por m},
describa d e . Que pasa si m y n son n
umeros primos?
Que pasa si m = n ?
10. Probar que si a, b , c son conjuntos, entonces
(a b) c = a (b c) si y solo si c a.
11. Para las siguientes oraciones, dar una demostracion o un contraejemplo:
(a) (a b) c = a (b c) .
(b) Si a b = a c , entonces b = c .
(c) Si a b = a c y a b = a c , entonces b = c .
(d) a b = (a b) b = a (a b) .
(e) a b = a (a b) .
(f) a (b c) = (a b) (a c) .
(g) a b = b a .
(h) a (a b) = (a b) .
(i) (a b) b = a b .
(j) (a b) b = .
(k) (a b) b = .
12. Probar que la inclusion de conjuntos cumple:
(a) a a ( reflexividad );
(b) Si a b y b a , entonces a = b ( antisimetra );
(c) Si a b y b c , entonces a c ( transitividad ).
13. Si a b y b c y c a, probar que
a = b = c.
21
14. Si b a y c a , probar que

b c si y solo si (a c) (a b).
15. Sean b, c, d subconjuntos del conjunto a. Abreviaremos ax
por x 0 . Probar o dar contraejemplo de:
(a) b c si y solo si b c 0 =
(b) b c si y solo si b 0 c =
(c) b c si y solo si b 0 c = a
(d) b c si y solo si b c 0 b 0
(e) b c si y solo si b c 0 c
(f) b c si y solo si b c 0 d d 0
16. Probar o dar contraejemplo de:
(a) a b c si y solo si a b y a c
(b) b c a si y solo si b a y c a
(c) Si a b c , entonces a b o a c
(d) Si b c a , entonces b a o c a
17. Probar:
(a) Si
S paraStodo c a existe d b tal que c d, entonces
Ta b
T
(b) {c : c = {x}b y x a} = ( {c : c = {x} y x a})b
(c)
[
[
x=
a
xa
(d)
x=
b) =
[
(a c)
xa
(e)
a(
cb
(f) Si d 6= , entonces
\
\
a b = (a c).
cb
18. Demuestre todas las afirmaciones que no se demostraron en el

teorema 2.2.
teorema 2.3.
teorema 2.4.
22
2. Relaciones
Vamos ahora a introducir algunos conceptos matematicos familiares, como par ordenado, relacion, funcion, etc. Debemos tener especial cuidado de que estos sean conjuntos en virtud de alg
un axioma de
ZF. Por otra parte, tambien queremos que estos conjuntos se comporten como los objetos con que trabaja el matematico a quien no
preocupan los problemas de fundamento.
n 2.2. Dados dos conjuntos a y b llamamos par ordenado
Definicio
a, b al siguiente conjunto.
ha, bi = {{a}, {a, b}}.
a y b se llaman la primera y segunda coordenada de ha, bi , respectivamente.

Notemos que ha, bi es efectivamente un conjunto. Para justificarlo,
basta usar dos veces el axioma de pares.
En el par no ordenado {a, b} no podemos distinguir ambos elementos ya que {a, b} = {b, a} (por que?). En cambio, los elementos
del par ordenado ha, bi si y solo si son distinguibles, es decir, si y solo
si sabemos cual es el primero y cual es el segundo. Este es el contenido
del proximo teorema.
Teorema 2.5. Si ha, bi = hc, di , entonces a = c y b = d.
n. Supongamos que ha, bi = hc, di , esto es,
Demostracio
{{a}, {a, b}} = {{c}, {c, d}}.
Si a = b, tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} =

{c, d}, o sea a = b = c = d. (Que axiomas hemos usado?).
Si a 6= b, {a} = {c} o {a} = {c, d}.
En el primer caso, tenemos a = c y como {a, b} {{c}, {c, d}} y
a 6= b, {a, b} = {c, d} luego a = c y b = d.
En el segundo caso, a = c = d , luego {a, b} {{a}}, o sea b = a ,
contradiccion, o sea, este segundo caso no se puede dar. Por lo tanto,
si ha, bi = hc, di, entonces
a = c y b = d.
Podemos ahora definir triples ordenados y, en general, n-tuplas ordenadas.

ha, b, ci = hha, bi, ci
ha, b, c, di = hha, b, c, i, di
ha1 , a2 , . . . , an i = hha1 , . . . , an1 i, an i.
23
Lema 2.6. Si a A y b A, ha, bi PPA.

n. Ejercicio.
Demostracio
n 2.3. Llamaremos producto cartesiano de los conjuntos
Definicio
a y b al conjunto
a b = {z PP(a b) : xy(x a y b z = hx, yi)}.
Notemos que por el axioma de especificacion de clases y el axioma
del conjunto potencia, a b es un conjunto.
Usaremos en general una notacion informal aunque mas intuitiva
a b = {hx, yi : x a x b}.
Podemos tambien introducir productos cartesianos triples y cuadruples etc., de la manera obvia, por ejemplo
a b c = {hx, y, zi : x a y b z c}
Algunas propiedades de los productos cartesianos estan resumidas
en el siguiente teorema.
Teorema 2.7. Para conjunto a, b , c , d ,
i) a = a = .
ii) Si a 6= y b 6= , entonces a b 6= .
iii) Si a c y b d, entonces a b c d.
iv) a (b c) = a b a c.
v) a (b c) = a b a c.
vi) a (b c) = a b a c
n. Ejercicio.
Demostracio
n 2.4. Un conjunto R es una relaci
Definicio
on si todos sus elementos son pares ordenados.
Definimos tambien el dominio de R
[[
Dom R = {x
R : yhx, yi R},
el recorrido de R
Rec R = {y
y el campo de R ,
[[
R : xhx, yi R}
Cam R = Dom R Rec R.

Si Dom R A y Rec R B, decimos que R es una relaci
on
entre A y B o una relacion de A en B .
24
Es claro que tanto Dom R como Rec R son conjuntos (que axiomas usamos?). Lo que no es tan claro es que estos conjuntos correspondan a la idea informal que tenemos del dominio, es decir, el conjunto
de las primeras coordenadas de los pares que estan en la relacion, y
recorrido, el conjunto de las segundas coordenadas de los pares que
estan en la relacion. Basta para ello comprobar que, efectivamente,
ambas
coordenadas de los pares que pertenecen a una relacion R estan
SS
en
R. Esto es facil ya que para ha, bi R; a, b {a, b}
ha, bi R, lo que implica por definicion de union que
{a, b}
o sea,
o sea,
R ,
a, b {a, b}
a, b
[[
R,
R.
n 2.5. La composici
Definicio
on de dos relaciones R y S es la
relacion
S R = {u Dom RRec S : u = hx, yiz(hx, zi Rhz, yi S)}
y la relacion inversa de R
R1 = {u Rec R Dom S : u = hx, yi hy, xi R}.
En general escribimos mas informalmente
S R = {hx, yi : z(hx, zi R hz, yi S)}
y
R1 = {hy, xi : hx, yi R}.
Es claro que S R y R1 son conjuntos.
Teorema 2.8. Si R , S y T son relaciones, entonces

i) (T S) R = T (S R).
ii) (S T ) R = (S R T R), y T (S R) = (T S T R).
iii) (S T ) R (S R S T ), y T (S R) (T S T R).
iv) Si R S, entonces T R T S y R T S T.
v) (R1 )1 = R.
vi) (S R)1 = R1 S 1 .
n. iii) Sea hx, yi (S T ) R, entonces existe
Demostracio
z tal que hx, zi S T y hz, yi R.
25
Esto implica que existe z tal que hx, zi S y hz, yi S,

vale decir, hx, yi S R, pero ademas, hx, zi T y hz, yi R,
o sea, hx, yi T R, o sea,
(S T ) R (S R) (T R).
Para ver que la inclusion anterior no es una identidad basta
dar un ejemplo en el que la inclusion inversa es falsa. Considerese
R = {ha, bi, ha, a, i}, S = {hb, ai}, T = {ha, ai},
donde a 6= b. Entonces S T = , luego (S T ) R = .
Sin embargo, como ha, bi R y hb, ai S, ha, ai S R
y como ha, ai R y ha, ai T, ha, ai T R, o sea,
ha, ai S R T R, luego S R T R 6= .
vi) Sea hx, yi (S R)1 . Entonces hy, xi S R, o sea, existe
z tal que hy, zi R y hz, xi S, es decir, existe z tal que
hx, zi S 1 y hz, yi R1 , o sea, hx, yi R1 S 1 , luego
(S R)1 R1 S 1
La inclusion inversa se demuestra en forma analoga y se deja

como ejercicio.
El proximo teorema nos da las principales propiedades del dominio
y del recorrido de una relacion.
Teorema 2.9. Sean R , S relaciones.
i) Dom (R S) = Dom R DomS.
ii) Rec (R S) = Rec R Rec S.
iii) Dom (R S) Dom R DomS.
iv) Rec (R S) Rec R Rec S.
v) DomR DomS Dom(R S).
vi) Rec R Rec S Rec(R S).
vii) Si R S, entonces Dom R Dom S y Rec R Rec S.
viii) Dom R1 = Rec R y Rec R1 = Dom R.
ix) Dom S R Dom R y Rec S R Rec S.
vii) Cam R = Cam R1 .
viii) Cam (S R) Dom R Rec S.
n. Ejercicio.
Demostracio
La siguiente operacion sera muy importante especialmente cuando
tratemos con funciones.
26
n 2.6. Si R es una relacion y a un conjunto la imagen

Definicio
de a por R es el conjunto.
R a = {y Rec R : x(x a hx, yi R)}.
Las principales propiedades de
teorema.
estan resumidas en el siguiente
Teorema 2.10. Sean R , S relaciones y a y b conjuntos.

i)
ii)
iii)
iv)
v)
vi)
vii)
viii)
ix)
a = .
R = .
R (a b) = R a R b.
R (a b) R a R b.
R a R b R (a b).
Si a b, entonces R a R b.
(S R) a = S (R a).
Dom(S R) = R1 (DomS) y Rec(S R) = S (Rec R).
R a Rec R.
n.
Demostracio
x R (a b)
iv)
y(y a b hy, xi R)
y(y a hy, xi R) y(y b (y, x) R)
x R a x R b
x R a R b
Es decir R (a b) R a R b.
Para ver que la inclusion contraria no es valida basta el siguiente contraejemplo. Sean
a = {} ,
viii)
b = {{}} y R = {h, i, h{}, i}.
Entonces a b = , luego R (a b) = . Pero R a = {}

y R b = {} luego R a R b = {} =
6 .
x Dom (S R)
y hx, yi S R
y z(hx, zi R hz, yi S)
z(hz, xi R1 z Dom S)
x R1 (Dom S).
Esto demuestra que Dom(SR) R1 (Dom S), la otra inclusion

y el resto del teorema se deja como ejercicio.
27
Ejercicios.
1. Probar que si definimos
ha, bi0 = {{a, 0}, {b, 1}},
entonces se satisface:
ha, bi0 = hc, di0 si y solo si a = c y b = d .
2. Sean a, b, c conjuntos. Definimos el conjunto
ha, b, ci0 = {{a}, {a, b}, {a, b, c}} .
3.
4.
5.
6.
7.
8.
9.
Probar que ha, b, ci0 = hd, e, f i0 no implica que a = d y

b=e y c=f .
ProbarTque:
(a) T ha,
T bi = {a} . S T
(b) T S ha, bi = a =
ha, bi .
(c) T Sha, bi = S
a bS. S
ST
(d) (
ha, bi) (
ha, bi
ha, bi) = b.
Mostrar que no siempre el conjunto ha, bi tiene dos elementos
distintos.
Probar que no existe el conjunto de todos los pares ordenados.
Probar que no es cierto que hha, bi, ci es igual a ha, hb, cii .
(a) Probar que a b = b a si y solo si a = o b = o
a=b .
(b) Probar que si a 6= y a b a c , entonces b c .
(c) Probar que no es cierto : a (b c) = (a b) c .
(d) Encontrar conjuntos a, b, c tales que
a (b c) = (a b) (a c).
(e) Probar que a b c d = a d c d .
(f) Probar que a a b c = a b a c .
(g) Probar que a b c c = (a c) b a (b c) .
(h) Probar que a a b c = (a b) a a (a c) .
(i) Probar que no es cierto que a b = c d ocurra si y solo
si a = b y c = d .
Si a, b son conjuntos, probar que existe un conjunto c tal que
y c si y solo si existe un conjunto d que satisfaga que d a
e y = {d} b .
S
Concluir que a b = c .
(a) Encontrar todas las relaciones cuyo dominio esta contenido
en {a, b, c} y cuyo recorrido esta contenido en {s} .
(b) Encontrar todas las relaciones en 2 y en 3 (ver definicion
de 2 y de 3 en ejercicios de la seccion anterior).
28
(c) Cuantas relaciones se pueden formar en un conjunto de n

elementos?
10. Probar que existe una relacion I que act
ua como neutro para
la composicion de relaciones sobre un conjunto a , es decir, para
cualquier relacion R sobre a
R I = I R = R.
11. Probar que si R, S, T son relaciones y a, b, c conjuntos, entonces:

(a) S T y S T son relaciones .
(b) (S T )1 = S 1 T 1 .
(c) (S T )1 = S 1 T 1 .
(d) (R S)1 = R1 S 1 .
(e) (R S) (R T ) R (S T ) .
(f) R S si y solo si S 1 R1 .
(g) (a b)1 = b a .
(h) Si a y b no son disjuntos, entonces (ab)(ab) (ab).
(i) Si a y b son disjuntos, entonces (a b) (a b) = .
(j) Si b no es vaco, entonces (b c) (a b) = a c .
(k) Si R a b y S b c , entonces S R a c .
12. Probar que es relacion y que para todo conjunto a se tiene
que a = a = .
13. Se define la suma de dos relaciones R y S por:
R + S = (R S) (Cam R) (Cam S) .
(a) Si R = {h1, 2i, h1, 3i} y S = {h3, 3i}, calcular R + S y

S+R .
(b) Encontrar Cam (R + S).
(c) Determinar cuales de las siguientes leyes distributivas son
validas para la suma de relaciones:
R + (S T )
R + (S T )
R (S + T )
R (S + T )
=
=
=
=
(R + S) (R + T )
(R + S) (R + T )
(R S) + (R T )
(R S) + (R T )
14. Encontrar contraejemplos para las siguientes afirmaciones:

(a) Dom (R S) = Dom R Dom S .
(b) Rec (R S) = Rec R Rec S .
(c) Dom R Dom S = Dom (R S) .
(d) Rec R Rec S = Rec (R S) .
(e) Cam (S R) = Dom R Rec S .
(f) R (a b) = R a R b .
(g) R a R b = R (a b) .
29
15.
16.
17.
18.
19.
20.
(h) R a = Rec R .
(i) ( R1 ) ( R a ) = a .
(j) R ( ( R1 ) b ) = b .
Probar las siguientes afirmaciones:
(a) ( R1 ) (a b) ( R1 ) a ( R1 ) b .
(b) ( R1 ) (a b) ( R1 ) a ( R1 ) b .
(c) ( R1 ) a ( R1 ) b ( R1 ) (a b) .
(d) a ( R1 ) ( R a ) .
(e) b R ( ( R1 ) b ) .
(f) Si R a b , entonces
R a = Rec R y ( R1 ) b = Dom R .
(a) Probar que R a = si y solo si Dom R a = .
(b) Probar que Dom R a ( R1 ) ( R a ).
(c) Probar que ( R a ) b R (a ( R1 ) b ) .
(d) Bajo que condiciones se tiene que Cam (a b) = a b?
(e) Probar que si x Dom R , entonces hx, xi R1 R .
Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.7.
teorema 2.8.
teorema 2.9.
teorema 2.10.
3. Funciones
El concepto de funcion es uno de los mas importantes en matematicas. Intuitivamente, una funcion es una regla que asigna a cada elemento de un conjunto un u
nico elemento de otro conjunto (no necesariamente distinto).
n 2.7. Una relacion F es una funci
Definicio
on si y solo si
xyz((hx, yi F hx, zi F ) y = z)
Observese que una funcion es, en particular, una relacion, as es que
los conceptos de dominio, recorrido, campo, composicion de funciones,
funcion inversa, imagen, etc. se aplican a ellas tal y como se aplican a
otras relaciones.
Habitualmente se usa la siguiente notacion.
n 2.8. Sea F una funcion, x Dom F ,
Definicio
[
F (x) = {z
Rec F : y(hx, yi F z y)}.
30
En otras palabras, F (x) es aquel u

nico conjunto con el que x
esta relacionado seg
un la funcion F . Observemos que el axioma de
extensionalidad aplicado a funciones F y G nos dice que
F =G
si y solo si
Dom F = Dom G y x F (x) = G(x).
Observemos tambien que de acuerdo con esta notacion,

G F (x) = G(F (x)).
n 2.9.
Definicio
i) Si F es una funcion, Dom F = a y Rec F b decimos que
F es una funcion de a en b y escribimos
F : a b
x 7 F (x).
ii)
a
b = {F P(a b) : F : a b}.
iii) F es una funcion inyectiva o uno a uno si
xy(F (x) = F (y) x = y),

es decir, a conjuntos distintos F asigna conjuntos distintos.
iv) Un funcion F de a en b se dice sobreyectiva si
y(y b x(x a y = F (x))),
es decir, todo elemento de b es asignado a alg
un elemento del
dominio de F .
El siguiente teorema nos da algunas propiedades de las funciones.
Teorema 2.11. Sean F , G , H funciones, a , b , c conjuntos.
i) F es una funcion de Dom F en Rec F .
ii) F a si y solo si F = .
iii) Si F a , entonces F = a = .
iv) Si b 6= , entonces a b 6= .
v) Si F a b y b c, entonces F a c.
vi) Si F a b y G b c, entonces G F a c.
vii) F a b es inyectiva si y solo si para todo c y todo
G c a, H c a, si F G = F H, entonces G = H.
viii) F a b es sobreyectiva si y solo si para todo c y todo
G b c, H b c, si G F = H F , entonces G = H.
n. Demostraremos vii). El resto queda como ejerciDemostracio
cio.
31
() Supongamos que F es inyectiva y sean c un conjunto cualesquiera

y G, H c a. Supongamos que para todo x c
F G(x) = F H(x)
F (G(x)) = F (H(x)) ,
G(x) = H(x) .
o bien
y como F es inyectiva,
Como ademas Dom G = Dom H = c, G = H.

()) Supongamos que se verifica la afirmacion de la derecha y que sin
embargo F no es inyectiva. Entonces existen d, e a , d 6= e
y F (d) = F (e).
Consideremos el caso particular en que c = a y definamos
G : a a
x 7 d
tonces para todo x ,
H : a a
x 7 e.
En-
F G(x) = F (G(x)) = F (d) = F (e) = F (H(x)) = F H(x),

es decir F G = F H, ya que tienen el mismo dominio. Pero
entonces, por hipotesis, G = H, una contradiccion. Luego F
es inyectiva.
Teorema 2.12. Sean F , G funciones.

i)
ii)
iii)
iv)
x F 1 a si y solo si F (x) a.
Dom (F G) = G1 (Dom F ) Dom G.
Rec (F G) = F (Rec G) Rec F.
F es inyectiva si y solo si F 1 es funci
on.
n.
Demostracio
i)
x F 1 a si y solo si y(y a hy, xi F 1 )
si y solo si y(y a hx, yi F )
si y solo si y(y a y = F (x))
si y solo si F (x) a.
ii) y iii), por teorema 2.10, viii).
iv) Ejercicio.
Teorema 2.13. Sean F , G funciones.

i) F 1 (a b) = F 1 a F 1 b
ii) F 1 (a b) = F 1 a F 1 b
32
n.
Demostracio
i) Por el teorema 2.10, iv), basta demostrar
1
1
que F a F b F 1 (a b).
Sea x F 1 a F 1 b. Entonces por teorema 2.12, i),
F (x) a y F (x) b, o sea, F (x) ab, luego x F 1 (ab).
ii) Ejercicio.
n 2.10.
Definicio
i) Si a es un conjunto, la funcion
Ia : a a
x 7 x
se llama la funcion identidad en a .

ii) Si F es una funcion y a un conjunto. La restricci
on de F a
a , F a, es la funcion
F a : a Dom F F a
x 7 F a(x) = F (x).
El siguiente teorema nos permite pegar funciones que coinciden
en la parte com
un de sus dominios.
Teorema 2.14. Sean F , G funciones tales que F a = G a,
donde a = Dom F Dom G. Entonces F G es una funcion.
n. Recordemos que Dom (F G) = Dom F
Demostracio
Dom G.
Si x Dom F Dom G o x Dom G Dom F , entonces es
claro que existe un u
nico y tal que hx, yi F G.
Como F y G son funciones, para x Dom F Dom G, existe
un u
nico y y un u
nico z tal que hx, yi F y hx, zi G. Pero por
hipotesis y = z , luego en este caso tambien hay un u
nico y tal que
hx, yi F G.
Observemos en el teorema anterior que si Dom F Dom G =
, F G es siempre una funcion.
El proximo teorema es muy u
til para probar que ciertas funciones
son inyectivas o sobreyectivas.
Teorema 2.15. Sea F : a b.
i) Si existe una funcion G : b a tal que F G = Ib , entonces
F es sobreyectiva.
ii) F es inyectiva si y solo si a = o a =
6 y existe una funcion
G : b a tal que G F = Ia .
33
iii) F es biyectiva si y solo si existe una funcion G : b a tal

que F G = Ib y G F = Ia . En este caso G = F 1 .
n.
Demostracio
i) Sea G : b a tal que F G = Ib .
Entonces para todo y b, G(y) a y
F (G(y)) = F G(y) = Ib (y) = y,
es decir F es sobreyectiva.
ii) ()
Supongamos F es inyectiva y a 6= .
Sea c a y definamos
G = F 1 {hx, ci : x b F a}
(Observese que G es efectivamente un conjunto. Como verificamos esto?)

Es facil ver que G es una funcion tal que Dom G = b. Para
todo x a,
G F (x) = G(F (x)) = F 1 (F (x)) = x,
ya que F (x) F a. Y como Dom G F = Dom F = a,

G F = Ia .
()
Si a = , entonces F = y por lo tanto F es inyectiva.
Si a 6= y existe G : b a tal que G F = Ia .
Supongamos que F (x) = F (y). Entonces G(F (x)) = G(F (y)),
o sea, x = G F (x) = G F (y) = y, luego F es inyectiva.
iii) Ejercicio
Notemos que en el teorema anterior parte i) no tenemos una equivalencia como en ii) y iii). Para demostrar el recproco de i), es decir,
si F es sobreyectiva, entonces existe G : b a tal que F G = Ib ,
necesitamos el u
ltimo axioma de nuestra teora, el Axioma de Eleccion.
Debido a la importancia de este, le dedicaremos un captulo completo,
el cuarto. Solo entonces podremos analizar este problema.
Ejercicios.
34
1. Considerando los conjuntos N, Z, Q y R, de ejemplos de funciones F tales que:

(a) F : N N , F no es inyectiva ni sobreyectiva.
(b) F : N N , F es inyectiva pero no sobreyectiva.
(c) F : N Z , F no es inyectiva ni sobreyectiva.
(d) F : Z N , F no es inyectiva ni sobreyectiva.
(e) F : Q R , F no es inyectiva ni sobreyectiva.
(f) F : R Q , F es sobreyectiva pero no inyectiva.
(g) F : R Z , F sobreyectiva tal que F (x) 6= x para
todo x en R .
2. Probar que no toda inyeccion de un conjunto en s mismo es
sobreyectiva.
3. Dar ejemplos de funciones tales que:
(a) F : 1 1 .
(b) F : 0 1 .
(c) F : 2 3 6 , F biyeccion.
4. Supongamos que existe una funcion de a en b que no es inyectiva.
Probar que a 6= y b 6= .
5. Supongamos que existe una funcion de a en b que no es sobreyectiva. Probar que b 6= .
6. Sean F : a b y G : a b funciones. Probar que si
F G , entonces F = G .
7. Sean F : a b y G : c d funciones. Se define el
producto entre F y G por
(F G)(x, y) = hF (x), G(y)i
8.
9.
10.
11.
para hx, yi a c. Probar que:

(a) F G es una funcion de a c en b d .
(b) Si F y G son sobreyectivas, entonces F G es sobreyectiva.
(c) Si F y G son inyectivas, entonces F G es inyectiva .
(d) Rec (F G) = (Rec F ) (Rec G) .
Sean F : a b y G : b a funciones. Supongamos que
y = F (x) si y solo si x = G(y). Probar que F 1 es funcion y
que F 1 = G .
Sean G : b c y H : b c funciones. Supongamos que
G F = H F para toda funcion F : a b, donde a 6= .
Probar que G = H .
Sean G : a b y H : a b funciones. Sea c un conjunto
con mas de un elemento y supongamos que F G = F H para
toda funcion F : b c . Probar que G = H .
Sean F : a c y G : a b funciones. Probar que
existe una funcion H : b c tal que F = H G si y solo
35
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
si para todos x, y a se tiene que G(x) = G(y) implica

F (x) = F (y). Probar que H es u
nica.
Sean F : c a y G : b a funciones, con G inyectiva.
Probar que existe una funcion H : c b tal que F = G H
si y solo si Rec F Rec G. Probar que H es u
nica .
Probar que si F y G son funciones, entonces F G si y
solo si Dom F Dom G y para todo x Dom F se tiene
F (x) = G(x) .
Probar que no existe el conjunto de todas las funciones.
Sea F : a b funcion. Se define G por G(y) = F 1 {y} .
Probar que G es funcion y que si F es sobreyectiva, entonces
G es inyectiva . Probar tambien que el recproco es falso.
Determinar cuales de las siguientes relaciones son funciones:
(a) R es relacion de R en R tal que ha, bi R si y solo si
a2 + b2 = 1.
(b) R es relacion de R en R tal que ha, bi R si y solo si
a
0 a < 1 y b = 1a
.
(c) R es relacion entre (R)2 y R tal que hha, bi, ci R si y
.
solo si c = a+b
2
Si F y G son funciones inyectivas, entonces G F es inyectiva
y (G F )1 = F 1 G1 .
Construr los conjuntos 3 2, 0 2, 0 0 .
Probar que a b = si y solo si b = y a 6= .
Probar que :
(a) a b =b a implica que a = b .
(b) a b implica que c a c b .
(c) Si existe una biyeccion entre a y b , entonces existe una
biyeccion entre c a y c b .
Sea F : a a una funcion. Sea m un entero positivo. Se
define recursivamente F m por
F 1 = F;
22.
23.
24.
25.
F m+1 = F F m .
Supongamos que existe un entero positivo n tal que F n = Ia .
Probar que F es biyeccion.
Sean a, b, c conjuntos tales que b c = . Probar que existe
una biyeccion entre bc a y b a c a.
Existe una biyeccion entre c (b a) y bc a?
Probar que existe una biyeccion entre c (a b) y c a c b .
Sean F : a b y G : a b funciones.
(a) Sea c el conjunto de los x a tales que F (x) = G(x) .
Probar que F Ia c = G Ia c .
36
26.
27.
28.
29.
30.
31.
32.
33.
34.
(b) Sea d a tal que F Ia d = G Ia d . Probar que

dc.
Sea a un conjunto y sea F = {hx, hx, xii : x a} . Probar que
F es funcion biyectiva entre a y Ia .
Sea F : b c a funcion. Probar que F = F b F c.
Sean F : a b y G : c d funciones biyectivas, donde
a c = y b d = . Sea H = F G. Probar que H es
biyeccion entre a c y b d .
Sea F : a b funcion. Probar que existe una funcion
biyectiva entre F y a .
Sea F : a b funcion. Sean c a y d b .
(a) Si F es inyectiva, probar que c = F 1 (F c) .
(b) Si F es sobre, probar que d = F ( (F )1 d) .
Sea F : a b funcion. Probar que:
(a) Si c a y d a y F inyectiva, entonces F c = F d
implica que c = d .
(b) Si c b y d b y F sobreyectiva, entonces F 1 c =
F 1 d implica que c = d .
Sea F : a b funcion y sean c a y d a .
(a) Probar que F ( F 1 (F c) ) = F c .
(b) Probar que F c F d = F (c d) si y solo si F es
inyectiva.
T
Probar que F a = F (a Rec F ) .
Sea F : Pa Pa funcion tal que si b c y c a , entonces
F (b) F (c). Sean
\
d=
{b Pa : F (b) b}
e=
{b Pa : b F (b)}.
(a) Probar que F (d) = d y F (e) = e .

(b) Probar que si F (b) = b , entonces d b e .
35. Dar un ejemplo de una funcion F y un conjunto a tales que
F (a a) 6= F a .
36. Si F y G son funciones inyectivas, probar o dar contraejemplo
de:
(a) F G es inyectiva.
(b) F G es inyectiva.
(c) F S
G es inyectiva.
(d) F F 1 es inyectiva.
(e) a b = implica que F a G b es inyectiva.
(f) a b = implica que F a G b = .
37
37. Determinar
hai : i Ii,
ai ,
iI
ai ,
iI
ai si:
iI
(a) I = 3 y a0 = 1, a1 = 2, a2 = 3 .
(b) I = 3 y ai = i , para todo i en 3 .
38. Probar que existe una biyeccion entre a0 a1 a2 y
Y
ai
i3
39. Existe una biyeccion entre

Y
Y
a
(
bi ) y
( a bi ) ?
iI
iI
Q [i,i+1)
40. Probar que existe una biyeccion entre
R y R R.
iI
41. Sea hbi : i Ii una familia de subconjuntos de a . Probar que
Y
bi I a.
iI
42. Sean hai : i Ii y hbi : i Ii dos familias de conjuntos con

el mismo conjunto de ndices I.
(a) Probar que ai bi , para todo i en I , si y solo si
Y
Y
ai
bi .
iI
iI
(b) Probar que

Y
Y
Y
(
ai ) (
bi ) =
(ai bi ).
iI
iI
iI
43. Sean hai : i Ii y hbj : j Ji dos familias de conjuntos.

Probar que:
(a)
Y
Y
Y
(
ai ) (
bj ) =
(ai bj ) .
iI
jJ
hi,jiIJ
(b)
(
ai ) (
bj ) =
ai ) (
bj ) =
iI
jJ
(ai bj ) .
(ai bj ) .
hi,jiIJ
(c)
(
iI
jJ
hi,jiIJ
38
(d)
(
\
iI
ai ) (
bj ) =
jJ
hi,jiIJ
(ai bj ) .
44. Sean hai : i Ii una familia de conjuntos y R una relacion.

Probar que
[
[
R (
ai ) =
R ai .
iI
iI
45. Sea hai : i Ii una familia de conjuntos tal que I =

Probar que:
(a)
[
[ [
ai ).
(
ai =
iI
(b)
jJ
ai =
iI
J .
ij
\ \
(
ai ).
jJ
ij
46. Sean hai : i Ii una familia de conjuntos y F una funcion

con dominio adecuado. Probar que:
(a)
[
[
F (
ai ) =
F ai .
iI
(b)
F 1 (
iI
ai ) =
ai )
ai ) =
iI
(c)
F (
iI
F 1 ai .
F ai
F 1 ai .
iI
iI
y que si F es inyectiva se tiene la igualdad.

(d)
F 1 (
iI
47. Demuestre todas

teorema 2.11.
48. Demuestre todas
teorema 2.12.
49. Demuestre todas
teorema 2.13.
50. Demuestre todas
teorema 2.15.
iI
las afirmaciones que no se demostraron en el

39
4. Relaciones de Equivalencia
En matematica es frecuente que nos interesen solo ciertas propiedades de los elementos de un conjunto y que queramos por consiguiente
identificar a todos los que comparten dichas propiedades. Por ejemplo,
al estudiar las rectas del plano podemos identificar a todas las rectas
que son paralelas entre s. Si definimos la relacion R como todos los
pares de elementos que queremos identificar, R es lo que llamamos
una relacion de equivalencia. Esta seccion estudiara este concepto.
n 2.11. Sea R una relacion binaria.
Definicio
i) R es reflexiva sobre a si
x(x a hx, xi R),
R es reflexiva si R es reflexiva sobre Dom R.

ii) R es simetrica si
xy(hx, yi R hy, xi R).
iii) R es transitiva si
xyz((hx, yi R hy, zi R) hx, zi R).
iv) Una relacion R es una relaci

on de equivalencia si y solo si R
es reflexiva, simetrica y transitiva.
Es facil demostrar que la reflexividad (sobre su propio campo) es
consecuencia de la simetra y transitividad de la relacion (ver ejercicios). Sin embargo, la incluimos en la definicion porque tradicionalmente se le define as y para hacer hincapie en que una relacion de
equivalencia verifica esta propiedad.
Teorema 2.16. Sea R una relaci
on.
i) R es transitiva si y solo si R R R.
ii) R es simetrica si y solo si R1 R.
iii) R es reflexiva sobre a si y solo si Ia R.
iv) R es de equivalencia si y solo si R1 R = R.
n.
Demostracio
i) Supongamos que hx, yi R y hy, zi R.
Entonces hx, zi R R = R, luego R es transitiva.
ii) y iii), ejercicio.
iv) ()
Supongamos que R es de equivalencia.
Sea hx, yi R1 R, es decir, existe z tal que hx, zi R1
y hz, yi R. Entonces hz, xi R y por lo tanto, como R
es simetrica, hx, zi R y tambien hz, yi R, y como R es
transitiva, hx, yi R. Luego R1 R R.
40
Sea hx, yi R. Por simetra hy, xi R, luego hx, yi R1

y por reflexividad, hy, yi R. Luego hx, yi R1 R, o sea,
R R1 R y por lo tanto, R = R1 R.
()
Supongamos que R = R1 R.
Sea hx, yi R. Como R = R1 R, existe z tal que
hx, zi R1 y hz, yi R. Entonces hy, zi R y hz, xi R1 ,
luego hy, xi R1 R = R. Esto prueba que R es simetrica.
Por otra parte, como
R1 = (R1 R)1 = R1 (R1 )1 = R1 R = R,
tenemos que
R R = R1 R = R,
luego, por i), R es transitiva.
Como se menciono antes la reflexividad es consecuencia de la
simetra y transitividad. Ver ejercicios.
n 2.12. Sea R una relacion de equivalencia.
Definicio
i) Sea x Dom R. La clase de equivalencia de x se define por
[x]R = {y Cam R : hx, yi R}.
La clase de equivalencia de x es el conjunto formado por todos

los conjuntos relacionados con x .
ii)
P [R ] = {x P(Cam R) : y(y Cam R x = [y]R )}.
o mas informalmente
P [R ] = {[y]R : hx, yi R}.
P [R ] es el conjunto de todas las clases de equivalencia de R .

Teorema 2.17. Sea R una relaci
on de equivalencia y sean x, y
Cam R.
i) Dom R = Rec R = Cam R.
ii) x [x]R .
iii) hx, yi R si y solo si [x]R = [y]R .
iv) Si [x]R [y]R 6= , entonces [x]R = [y]R .
v) Si x [y]R , entonces [x]R = [y]R .
vi) Si x, y [z]R , entonces [x]R = [y]R .
n. Demostraremos solo [iii)], el resto del teorema se
Demostracio
deja como ejercicio.
Supongamos que hx, yi R.
41
Sea z [x]R . Entonces hx, zi R, luego hz, xi R por simetra

y hz, yi R por transitividad, o sea, z [y]R . Luego [x]R [y]R .
Analogamente, [y]R [x]R , luego [x]R = [y]R .
Supongamos que [x]R = [y]R .
Como hy, yi R, y [y]R , luego y [x]R , es decir, hx, yi
R.
El teorema anterior nos da las principales propiedades de las clases
de equivalencia. ii) nos dice que todo elemento del campo esta en
alguna clase y que toda clase es no vaca. iv) nos dice que dos clases
distintas son disjuntas. Estas tres propiedades definen otro importante
concepto matematico, el de particion de un conjunto.
n 2.13. Un conjunto P es una particion de a si
Definicio
S
i) a = P.
ii) x(x P x 6= ).
iii) xy((x P y P x 6= y) x y = ).
Veremos en el proximo teorema la estrecha relacion entre los conceptos de relacion de equivalencia y de particion, a saber, toda relacion
de equivalencia sobre un conjunto da origen a una u
nica particion de ese
conjunto. A la inversa, toda particion da origen a una u
nica relacion
de equivalencia.
Teorema 2.18.
i) Sea R una relaci
on de equivalencia con
campo a . Entonces P [R ] es una partici
on de a .
Llamaremos a P [R ] la particion asociada a R .
ii) Sea P una partici
on de un conjunto a . Entonces la relaci
on
R[P ] = {hx, yi a a : z(z P {x, y} z})
es una relacion de equivalencia en a . Llamaremos a R[P ] la

relacion de equivalencia asociada a la particion P .
iii) Dada una particion Q de a , P [R[Q ]] = Q.
Dada una relaci
on de equivalencia S , R[P [S ]] = S.
n.
Demostracio
i) Como lo hicimos notar, el teorema 2.17 ii)
y iii) demuestra nuestra afirmacion.
ii) Sea P una particion de a . S
Para x a, como a = P , existe z P tal que x z, o
sea, {x} z, luego hx, xi R[P ] y R[P ] es reflexiva.
Si para alg
un z , {x, y} z P , entonces {y, x} z P ,
luego R[P ] es simetrica.
Si existen u1 , u2 P tales que {x, y} u1 y {y, z} u2 ,
entonces u1 u2 6= luego u1 = u2 , por lo tanto, {x, z} u1 , o
sea, R[P ] es transitiva.
42
iii) Ejercicio.
iv) Ejercicio.
Ejercicios.
1. Construr todas las clases de equivalencia que pueden existir sobre el conjunto 3 .
2. Demuestre que una relacion simetrica y transitiva es tambien
reflexiva (sobre su propio campo).
3. Existe una relacion de equivalencia sobre el conjunto ?
4. Sea a un conjunto. Demostrar que la igualdad de conjuntos es
relacion de equivalencia sobre Pa .
5. Sea A un conjunto no vaco de relaciones de equivalencia sobre
un conjunto a . T
(a) Probar que
ASes relacion de equivalencia sobre a .
(b) Lo es siempre
A?
S
(c) Encuentre condiciones para que
A sea relacion de equivalencia.
6. Sea R una relacion sobre a . Probar que si R es transitiva y
refleja, entonces R R = R . Es cierto el recproco ?
7. Sean R y S relaciones de equivalencia sobrea a y b respectivamente. Definimos la relacion T sobre a b por: hhc, di, he, f ii
T si y solo si c a , e a , d b y f b , y hc, ei R y
hd, f i S . Probar que T es de equivalencia.
8. Sean R y S relaciones de equivalencia sobre a . Probar que:
(a) R S es relacion de equivalencia sobre a si y solo si
R S = S R.
(b) R S es relacion de equivalencia sobre a si y solo si
R S R S y S R R S.
(c) Si T y H son relaciones arbitrarias sobre a , entonces si
R T y R H, entonces R T H.
9. Sea F : a b una funcion y sea R una relacion de equivalencia
sobre b. Sea c el conjunto {hd, ei a a : hF (d), F (e)i R}.
Probar que c es relacion de equivalencia sobre a .
10. Sean para cada entero n , los conjuntos bn = {m Z : q(m =
n + 5q)}. Probar que P = {bn : n Z} es una particion de Z.
Determinar una formula para R[P ] .
43
11. Probar que las siguientes relaciones sobre R R son de equivalencia; determinar la particion que determina cada una de ellas,
y describir geometricamente los elementos de cada particion:
(a) R = {hha, bi, hc, dii : a2 + b2 = c2 + d2 } .
(b) S = {hha, bi, hc, dii : b a = c d} .
(c) T = {hha, bi, hc, dii : a + b = c + d} .
12. Sea a un conjunto. Probar que Ia y a a son relaciones de
equivalencia sobre a, y describir las particiones correspondientes.
13. Sean P = {ai : i I} y Q = {bj : j J} particiones de a y
b respectivamente. Probar que {ai bj : hi, ji I J} es una
particion de a b.
14. Sea F : a b una funcion, y sean {ai : i I} y {bj : j J}
particiones de a y b respectivamente. Probar que:
(a) Si F es sobre, entonces {F 1 bj : j J} es una particion
de a .
(b) Si F es inyectiva, entonces F ai : i I} es una particion
de Rec F .
15. Sean R y S relaciones de equivalencia sobre a . Probar que:
(a) [x]RS = [x]R [x]S , para todo x en a .
(b) Si R S es de equivalencia, entonces [x]RS = [x]R [x]S ,
para todo x en a .
16. Si F : a b es una funcion, definamos la relacion R =
{hc, di : F (c) = F (d)}.
(a) Probar que R es de equivalencia sobre a . R se dice la
relacion de equivalencia determinada por F y se denota
por R [F ].
(b) Probar que R [F ] = F 1 F .
(c) Si F : a b y G : b c son funciones, determinar
R [G F ] usando R [G] y F .
teorema 2.16.
teorema 2.17.
teorema 2.18.
5. Relaciones de Orden
n 2.14. Sea R una relacion binaria.
Definicio
i) R es antisimetrica si
xy((xRy yRx) x = y).
44
ii) R es conexa si
xy(xRy yRx x = y).
iii) R es un orden parcial si R es reflexiva, antisimetrica y transitiva.

iv) R es un orden total si R es un orden parcial conexo.
v) Si Dom R = a decimos que R es un orden (parcial, total) sobre
a . Decimos tambien que a esta parcial o totalmente ordenado
por R .
vi) Si R es un orden, en lugar de escribir hx, yi R, escribiremos
x R y. Habitualmente los ordenes se designan con los smbolos
o 4.
Ejemplo.
i) Los n
umeros reales con su orden usual constituyen un conjunto
totalmente ordenado.
ii) Los n
umeros naturales se pueden ordenar parcialmente de la siguiente manera, dados dos n
umeros naturales n y m definimos.
n4m
si y solo si
n|m.
A menudo representamos ordenes mediante diagramas que consisten de

nodos unidos por lneas. Los nodos representan conjuntos pertenecientes campo de la relacion R y las lneas al orden mismo, as, si ha, bi R,
habra dos nodos unidos por una lnea (ver figura). Mientras mas arriba
aparezca un conjunto en el diagrama, mas grande es.
Los diagramas de la figura representan a los ordenes
R = {ha, ai, hb, bi, ha, bi}

S = {ha, ai, hb, bi, hc, ci, hd, di, he, ei, ha, bi, ha, ci, ha, di, ha, ei,
hb, di, hc, di, hc, ei},
45
n 2.15.
Definicio
i) Una relacion R es asimetrica sobre a si y solo si
xy((x a y a xRy) yRx).
ii) Una relacion es un orden estricto si es transitiva y asimetrica
sobre su campo.
Teorema 2.19.
i) Si es un orden (parcial), entonces la
relacion definida por
x<y
si y solo si x y x 6= y
es un orden estricto cuyo campo es el mismo que el de .

ii) Si R es un orden estricto, entonces la relaci
on definida por
xSy
si y solo si
xRy x = y,
es un orden parcial cuyo campo es el mismo que el de R .

n.
Demostracio
i) Ejercicio.
ii) S es obviamente reflexiva.
Supongamos que xSy, ySx pero x 6= y. Entonces xRy y
yRx, una contradiccion ya que R es asimetrica. Por lo tanto si
xSy y ySx, x = y, o sea, S es antisimetrica.
S es transitiva ya que R lo es.
El mas tpico ejemplo de orden parcial es la relacion de inclusion

definida sobre el conjunto potencia de alg
un conjunto. Para ver hasta
que punto este es el ejemplo tpico de orden necesitamos primero una
definicion.
n 2.16. Sean R y S dos relaciones. Una funcion F :
Definicio
Cam R Cam S es un isomorfismo entre R y S si y solo si F
es biyectiva y para todo a, b Cam R
aRb
si y solo si
F (a) S F (b).
Si tal F existe, decimos que R y S son relaciones isomorfas.

Si R y S son ordenes decimos tambien que F es un isomorfismo de
orden.
Teorema 2.20. Sea una relaci
on de orden. Entonces existe un
conjunto a tal que es isomorfo con S = {hx, yi a a : x y}.
46
n. Sea b = Cam . Para cualquier conjunto x

Demostracio
definimos yx = {z b : z x}.
Notemos que esta es una formula funcional. Luego por el axioma
de reemplazo y dado que b es un conjunto
a = {{z b : z x} : x b},
tambien es un conjunto.
Consideremos la relacion S = {hx, yi a a : x y}. Entonces
campo S = a. Definimos
F : b a
x 7 {z b : z x}.
Observemos que por reflexividad de , para todo x b, x
F (x).
Supongamos que x 6= y. Entonces por antisimetra de , o bien
x 6 y o bien y 6 x, es decir, x
/ F (y) o y
/ F (x), lo que unido a la
observacion anterior demuestra que F (x) 6= F (y), es decir, F es 11.
Por otra parte, por definicion, F es sobreyectiva, luego F es una
biyeccion.
Si x, y b y x y, entonces por transitividad de , F (x)
F (y), es decir, F (x) S F (y).
Si F (x) F (y), entonces como x F (x), x F (y), o sea x y,
por lo tanto
xRy si y solo si F (x) S F (y),
o lo que es lo mismo, F es un isomorfismo.
A menudo nos encontramos con relaciones reflexivas y transitivas
pero no antisimetricas (tal tipo de relacion se llama un preorden). Podemos obtener una relacion de equivalencia a partir de un preorden y ordenar las clases de una manera coherente con el preorden de la manera
indicada en el siguiente teorema. Esta construccion es bastante com
un
en matematica.
Teorema 2.21. Sea 4 una relaci
on transitiva y reflexiva con
campo a .
Sea S = {hx, yi a a : x 4 y y 4 x}. Entonces S es una
relacion de equivalencia.
Mas a
un, si definimos
[x]S [y]S si y solo si x 4 y,
entonces es un orden parcial sobre P [S ].
47
n. S es obviamente reflexiva y simetrica.

Demostracio
Supongamos que xSy y ySz. Entonces x 4 y, y 4 x, y 4 z y
z 4 y, y como 4 es transitiva, x 4 z y z 4 x, o sea, xSz, lo que
demuestra que S es transitiva.
Para demostrar que es un orden parcial, sean [x]S [y]S y
[y]S [z]S . Entonces x 4 y y y 4 z y como 4 es transitiva x 4 z,
luego [x]S [z]S .
Supongamos [x]S [y]S y [y]S [x]S . Entonces x 4 y y y 4 x,
es decir xSy. Luego [x]S = [y]S , o sea, es antisimetrica.
Por u
ltimo es facil ver que es reflexiva ya que 4 lo es.
n 2.17. Sea un orden parcial con campo A. SupongaDefinicio
mos que X A y a A.
i) a es una cota superior de X si x(x X x a).
ii) a es una cota inferior de X si x(x X a x).
iii) a es el supremo de X si a es la menor cota superior de X .
iv) a es el nfimo de X si a es la mayor cota inferior.
v) a es un elemento minimal de X si a X x(x X x a).
vi) a es un elemento maximal de X si a X x(x X a x).
Los conceptos de cota superior, cota inferior, supremo e nfimo son
probablemente familiares para el lector. Notese que si un conjunto tiene
supremo o nfimo, estos son u
nicos. Tambien es interesante recalcar que
los elementos minimales no tienen por que ser el menor elemento del
conjunto de hecho, este ni siquiera tiene que existir. En el ejemplo de
la figura a y b son minimales
El siguiente teorema de punto fijo tiene muchas aplicaciones. El

argumento usado en su demostracion se usa frecuentemente.
Teorema 2.22. Sea un orden parcial con campo A y supon gamos
que todo subconjunto de A tiene supremo. Sea F : A A tal que
x y F (x) F (y). Entonces para alg
un x A, F (x) = x.
48
n. Observemos primero que A tiene que tener un

Demostracio
menor elemento. En efecto, es obvio que todos los elementos de A
son cota superior de , pues si a A no lo fuera, existira x tal
que x 6 a lo que es imposible. Como A, por hipotesis tiene un
supremo s , este es la menor de las cotas superiores, luego tiene que
ser el menor elemento de A .
Sea B = {x A : x F (x)}.
Entonces B A y B tiene supremo. Llamemos a al supremo
de B . Observese que B 6= , ya que s F s, donde s es el menor
elemento de A .
Entonces para todo x B, x a y x F (x) F (a), luego
F (a) es cota superior de B y tenemos a F (a).
Por otra parte si a F (a), F (a) F F (a) y por lo tanto F (a)
B, luego F (a) a, es decir, a = F (a).
El concepto definido a continuacion es el origen de toda la teora de
los n
umeros ordinales que estudiaremos en el proximo captulo. Como
veremos es una abstraccion de la conocida propiedad del orden de los
n
umeros naturales: todo subconjunto no vaco de n
umeros naturales
tiene un menor elemento.
n 2.18. Sea R una relacion.
Definicio
i) R es bien fundada si para todo 6= A Cam R, existe a A
tal que A {x Cam R : xRa} = .
ii) es un buen orden si < es un orden total bien fundado.
Notese la similitud de la definicion de relacion bien fundada con la

formulacion del axioma de regularidad. De hecho el axioma de regularidad dice que la relacion {hx, yi a : x y} para cualquier conjunto
a es bien fundada.
Teorema 2.23. Para un orden parcial las siguientes condiciones son equivalentes.
i) es un buen orden.
ii) es un orden total y todo subconjunto no vaco del campo de
tiene un menor elemento.
iii) Todo subconjunto no vaco del campo de tiene un menor
elemento.
n.i)ii) Sea A Cam . Escojemos a A tal
Demostracio
que
A {x Cam : x < a} = ,
es decir para todo x A, x 6 a y como el orden es total,
a x, es decir a es el menor elemento de A .
49
ii)iii) Obvio.
iii)i) Dados dos elementos x, y Cam , consideramos {x, y}, este
tiene un menor elemento luego x y o y x, o sea, es
orden total.
Sea A Cam y sea a su menor elemento. Entonces es
claro que
A {x Cam : x < a} = ,
es decir es bien fundado.
Ejercicios.
1. Sean a , b , c y d cuatro conjuntos distintos. Cuantos ordenes parciales existen sobre {a, b}? Sobre {a, b, c}? Sobre
{a, b, c, d}? Haga los diagramas correspondientes.
2. Diga cuales de los ordenes del ejercicio anterior son isomorfos.
3. Sea a un conjunto con n elementos. Probar que un orden total
sobre a contiene 12 n(n 1) pares ordenados.
4. Probar que una relacion R sobre a es antisimetrica si y solo si
R R1 Ia .
5. Considere las siguientes relaciones sobre el conjunto
8 = {0, 1, 2, 3, 4, 5, 6, 7}:
(a) x R1 y si y solo si y x 8.
(b) x R2 y si y solo si y x 8 y y x 6= 0.
(c) x R3 y si y solo si y x = 0.
(d) x R4 y si y solo si y x es un entero par.
(e) x R6 y si y solo si y x = 1.
Determinar cuales de estas relaciones son antisimetricas, asimetricas, transitivas, conexas, reflejas, de equivalencia o de orden.
6. Si R y S son relaciones y a un conjunto, probar que:
(a) Si R es asimetrica, entonces R es antisimetrica.
(b) Ia es simetrica y antisimetrica.
(c) Si R , es simetrica y antisimetrica, entonces existe un conjunto b tal que R = Ib .
(d) Si R es asimetrica, entonces R1 , R S y R S son
asimetricas.
50
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
(e) Si R es antisimetrica, entonces R1 , R S y R S son

antisimetricas.
(f) Si R es transitiva, entonces R1 es transitiva.
(g) Si R es conexa, entonces R1 es conexa.
(h) Si R es asimetrica, entonces R ICam R es antisimetrica.
(i) Si R es antisimetrica, entonces R ICam R es asimetrica.
(j) Si R es transitiva y antisimetrica, entonces R ICam R es
transitiva.
Dar contraejemplos para las siguientes afirmaciones:
(a) Si R y S son asimetricas, entonces S R y R S son
asimetricas.
(b) Si R y S son antisimetricas, entonces R S es antisimetrica.
(c) Si R y S son transitivas, entonces R S y R S y
S R son transitivas.
(d) Si R y S son conexas, entonces R S y R S y S R
son conexas.
Es un orden ?
Si a es un conjunto
no vaco de ordenes sobre un conjunto b ,
T
probar que
a es un orden sobre b.
Si R es un orden sobre a y b a, probar que R (b b)
es un orden sobre b y que si R es total, entonces R (b b)
tambien lo es.
Probar que R1 es un orden sobre a si y solo si R es un orden
sobre a .
Si R es un orden sobre a, probar que R Ia es un orden estricto
S
sobre a y si R es un orden estricto sobre a , probar que R Ia
es un orden (parcial) sobre a .
Es un orden estricto ?
Sean P1 y P2 particiones de a . Se dice que P1 es mas fina que
P2 si y solo si u P1 implica u v para alg
un v en P2 . Probar
que la relacion es mas fina que es un orden sobre el conjunto
de todas las particiones de a .
Dar un ejemplo de un
S conjunto a y un conjunto S de ordenes
sobre a , tales que
S no es un orden sobre a .
Determinar cuales de las siguientes relaciones sobre Z son ordenes
y si lo es, de que tipo de orden se trata:
(a) R = {hx, yi : x + y < 3}.
(b) R = {hx, yi : x divide a y}.
(c) R = {hx, yi : x + y es par }.
(d) R = {hx, yi : x + y es par y x es un m
ultiplo de y }.
(e) R = {hx, yi : y = x + 1}.
51
17. Sea R una relacion sobre a . Probar que R es de orden si y

solo si R R1 = Ia y R R = R.
18. Sea < un orden estricto sobre a y sea b
/ a . Definimos <1
sobre c = a {b} por:
x <1 y si y solo si (x, y a x y) (y = b x a).
19.
20.
21.
22.
23.
24.
25.
26.
27.
Mostrar que <1 es un orden estricto sobre c y que la interseccion

entre el orden <1 y a a es el orden <.
Dar un contraejemplo de: Si R ICam R es un orden parcial
estricto, entonces R es un orden parcial.
Probar que si Ro es el conjunto de todos los ordenes sobre a y
Re es el conjunto de todos los ordenes estrictos sobre a, entonces
existe una biyeccion entre Ro y Re .
Sean x = {a, b, c, d, e} y S = {ha, ci, hb, ci, hd, ei}. Probar que
S es un orden estricto para x , no es total y que x tiene tres
elementos minimales y dos maximales.
Sea a un conjunto ordenado tal que todo subconjunto no vaco
de a con alguna cota superior en a tiene supremo en a . Probar
que todo subconjunto no vaco de a con alguna cota inferior en
a tiene nfimo en a .
Sea hi : i Ii una familia de ordenes
sobre a totalmente
S
ordenada por inclusion. Probar que iI i es un orden sobre
a.
Sea R un orden sobre a y sea b un subconjunto de a. Probar que
c es el menor elemento de b si y solo si R ( R ({c} b)) = B.
Consideremos i orden sobre ai , con i {1, 2, 3}. Probar que:
(a) Si F : a1 a2 es isomorfismo, F 1 : a2 a1
tambien es isomorfismo.
(b) Si F : a1 a2 y G : a2 a3 son isomorfismos,
entonces G F : a1 a3 es isomorfismo.
Sea un orden sobre a . Definamos Sb = {x a : a a},
para cada b en a . Probar que si hSb : b ai esta ordenado
por inclusion, entonces hSb : b ai es isomorfo a a .
Sean 1 y 2 ordenes sobre a1 y a2 respectivamente. Sea
F : a1 a2 un isomorfismo entre 1 y 2 . Probar que:
(a) a es un elemento maximal (resp. minimal) en a1 si y solo
si F (a) es maximal (resp. minimal) en a2 .
(b) Si b a1 , entonces c es una cota superior (resp. inferior)
de b en a si y solo si F (c) es una cota superior (resp.
inferior) de F b en a2 .
52
(c) Si b a1 , entonces c es el supremo (resp. nfimo) de b en

a si y solo si F (c) es el supremo (resp. nfimo) de F b
en a2 .
28. Sea a un conjunto ordenado. Probar que:
(a) Si todo subconjunto de a tiene nfimo, entonces a tiene
un mayor elemento.
(b) Todo subconjunto de a tiene supremo si y solo si todo
subconjunto de a tiene nfimo.
29. Sea 4 relacion sobre N N dada por:
hm, ni 4 hp, qi si y solo si m < n o m = p y n q,
donde es el orden usual sobre N.
(a) Probar que 4 es un orden sobre N N.
(b) Encontrar todos los elementos minimales de NN . Tiene
N N un menor elemento ?
(c) Sea a = {1, 2} {1, 2}. Encontrar todas las cotas de a .
Tiene a supremo o nfimo ? Encontrar todos los elementos
minimales y maximales de a .
30. Sea 4 relacion sobre N N dada por:
hm, ni 4 hp, qi si y solo si m p y n q,
donde es el orden usual sobre N.
(a) Probar que 4 es un orden sobre N N.
(b) Si a es un subconjunto no vaco de N N que tiene alguna
cota superior, entonces a tiene supremo.
(c) Si a es un subconjunto no vaco de N N, entonces a
tiene nfimo.
(d) Dar un ejemplo de un subconjunto no vaco de N N que
tenga cotas superiores e inferiores pero que no tenga menor
elemento ni mayor elemento.
31. Sea R un orden sobre a . Definimos una relacion S sobre Pa
por:
uS v
si y solo si
u = v o bien existe w v tal que u = {c : c v c R w}.
Probar que:
(a) S es un orden sobre Pa .
S
(b) Si S
d b tal que S es un orden sobre d, entonces
db
y
d es cota superior de d .
32. Sea R un orden sobre a y sea b a. Probar que:
53
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
(a) c es el menor elemento de b respecto de R si y solo si es

el mayor elemento de b respecto de R1 .
(b) Analogo para elementos minimales y maximales, para cotas
superiores e inferiores y para supremos e nfimos.
Dar ejemplos de ordenes sobre conjuntos finitos a y subconjuntos
b de a tales que:
(a) b tiene un mayor elemento pero no menor elemento.
(b) b tiene un menor elemento pero no tiene mayor elemento.
Sea Pb , con b 6= ordenado por inclusion y sea c Pb.
Probar
Sque:
(a) T c es el supremo de c.
(b) c es el nfimo de c, si c 6= .
(c) El nfimo de es Pb.
Probar que todo subconjunto de un conjunto bien ordenado esta
bien ordenado.
Sea un orden para a . Definimos el segmento inicial de b :
Sb = {x a : x < b}. Dado b a , a bien ordenado, probar
que todo segmento inicial de Sb es a su vez segmento inicial de
a , y que todo segmento incial de a contiene a Sb o es segmento
inicial de Sb .
Sea a un conjunto totalmente ordenado. Probar que el orden
de a es un buen orden si y solo si todo segmento inicial de a
esta un bien ordenado por (la restriccion de) el orden de a .
Si es buen orden sobre a y F es un isomorfismo entre a y
un subconjunto de a , entonces x F (x) para todo x a.
Probar que ning
un conjunto con un buen orden es isomorfo a un
segmento inicial de s mismo.
Probar que entre dos buenos ordenes hay, a lo mas, un isomorfismo.
Sean 1 y 2 buenos ordenes sobre a1 y a2 respectivamente.
Probar que si a1 con 1 es isomorfo a un subconjunto de a2 con
2 , y a2 con 2 es isomorfo a un subconjunto de a1 con 1 ,
entonces 1 y 2 son isomorfos sobre a1 y a2 .
Sea A un orden total sobre A y B un orden total sobre B .
Definimos
ha1 , b1 i 4 ha2 , b2 i si y solo si a1 A a2 a1 = a2 b1 B b2 .

Demuestre que la relacion as definida es un orden total sobre
A B. Este orden se llama orden lexicogr
afico.
Demuestre que si A y B son buenos ordenes, el orden
lexicografico tambien es un buen orden.
54
43. Demuestre que la relacion definida sobre los n

umeros naturales
en 5 es efectivamente un orden.
teorema 2.16.
teorema 2.17.
46. Demuestre que la relacion definida en el teorema 2.21 es
efectivamente un conjunto.
47. Demuestre que el supremo y el nfimo, con respecto a cualquier
orden, de un conjunto A , si existen, son u
nicos.
55
56
CAPITULO 3
Ordinales
En este captulo estudiaremos un tema un poco mas avanzado de
teora de conjuntos. El lector esta seguramente familiarizado con los
n
umeros naturales. Los n
umeros naturales nos sirven para contar y
para ordenar los conjuntos finitos. Es esta segunda propiedad la que
trataremos de generalizar para conjuntos infinitos, empezaremos por
construir dentro de nuestra teora el conjunto de los n
umeros naturales.
1. N
umeros Naturales
Formalizaremos ahora el concepto intuitivo de n
umero natural dentro de la teora ZF.
n 3.1. El sucesor de un conjunto x es el conjunto
Definicio
Sx = x {x}.
Observese que si x es un conjunto, Sx tambien lo es (Por que?).
n 3.2.
Definicio
0
1
2
3
=
=
=
=
..
.
S0 = {}
S1 = {, {}}
S2 = {, {}, {, {}}}
Cada uno de estos conjuntos es un n

umero natural.
La definicion anterior introduce todos los n
umeros naturales en
forma bastante sencilla. Debemos destacar algunas caractersticas de
esta. En primer lugar 0 es un n
umero natural. En segundo lugar, si n
es un n
umero natural, su sucesor tambien lo es. En tercer lugar todo
n
umero natural corresponde a una de esas dos posibilidades, o es 0 o
es el sucesor de alg
un otro n
umero.
Una segunda observacion en el plano intuitivo (y que formalizaremos en el captulo 5), es que el n
umero natural n contiene n elementos
57
i.e. 0 no tiene elementos, 1 tienen un elemento, 2 tiene dos elementos,

etc.
Mas a
un, notese que
1 = {0}
2 = {0, 1}
3 = {0, 1, 2}
..
.
En general,
Sn = {0, 1, . . . , n} ,
todo n
umero natural esta formado por los naturales que lo preceden,
salvo el 0 uqe no contiene ning
un elemento.
Hasta ahora hemos construido cada uno de los n
umeros naturales.
Existe un conjunto que contenga a todos y solamente a los n
umeros
naturales? La respuesta es s pero dista de ser obvia, de hecho se
necesita el Axioma de Infinito para poder construir el conjunto de los
n
umeros naturales.
n 3.3. Decimos que X es inductivo si
Definicio
i) 0 X.
ii) Si x X, entonces Sx X.
El axioma de infinito nos dice precisamente que existe al menos un
conjunto inductivo. Llamemoslo I.
n 3.4. El conjunto de los n
Definicio
umeros naturales se define
como sigue:
= {x PI : x es inductivo}
Observese es inductivo y que si X es inductivo, X, es decir,
es el mas peque
no de los conjuntos inductivos.
Por la manera en que definimos los n
umeros naturales, es claro
que todo conjunto inductivo, en particular , contiene a todos los
n
umeros naturales. Por otra parte, ning
un conjunto que no sea un
n
umero natural pertenece a . Esto quedara mas claro si demostramos
primero el siguiente teorema, del que derivan las propiedades que mas
nos interesan de los n
umeros naturales, conocido como Principio de
Induccion. En adelante nos referiremos a el simplemente como P.I.
Teorema 3.1. (Principio de Inducci
on)
Sea (x) una formula con una variable libre x . Supongamos que
i) (0) se verifica.
58
ii) Para todo n si

(n) se verifica, entonces (Sn)
tambien se verifica.
Entonces (n) se verifica para todo n .
El P.I. puede ser enunciado en terminos de la relacion de pertenencia. En este caso, resulta mas evidente que P.I. simplemente afirma
que es el menor conjunto inductivo. Las dos maneras de enunciar
el principio son equivalentes, (ver ejercicios.)
on)
Sea B un conjunto tal que
i) 0 B.
ii) Para todo n , si n B , entonces Sn B.
Entonces B.
Ejemplo
Si x , entonces x = 0 o bien x es el sucesor de un n
umero
natural.
n. Sea
Demostracio
B = {x : x = 0 o x es el sucesor de un n
umero natural}.
Es claro que B es inductivo, luego B .
Resulta interesante notar que
0 1 2 3 y tambien o 1 2 3
Esta observacion nos da la intuicion de que la relacion de pertenencia
entre naturales define una nocion de orden apropiada. En estricto rigor,
la verdad es todo lo contrario, los n
umeros naturales se definen as para
que la relacion de pertenencia sea un orden con buenas propiedades.
n 3.5. La relacion se define en por:
Definicio
mn
ssi m n o bien m = n.
Diremos que m es menor o igual que n . Tambien usaremos el smbolo

< para denotar
m<n
Observese que m < n
ssi m n y m 6= n.
ssi m n.
Debemos demostrar que esta relacion es un orden lineal, mas a

un,
que es un buen orden.
Lema 3.3. Para todo n, m ,
59
i)
ii)
iii)
iv)
0 n.
Si x n, entonces x .
m < Sn ssi m n.
Si n < m, entonces Sn m.
n.
Demostracio
i) Por induccion con (x) = 0 x.
(0) se verifica.
Supongamos ahora que (n) se verifica.
Es decir, 0 n, o sea 0 n o 0 = n. En cualquier caso
0 n {n} = Sn, o sea (Sn) se verifica. Luego, en
virtud de P.I., para todo n , 0 n.
ii) Por induccion sobre n . Sea
(x) = y(y < x y )
(0) se verifica trivialmente.

Supongamos (m) y sea y Sm. Entonces y m o
y = m.
Si y m, por hipotesis de induccion, y .
Si y = m, entonces y . En cualquier caso y .
Luego por P.I., todo n verifica (x)
iii) m < Sn ssi
m Sn = n {n} sii
m n.
iv) Por induccion sobre m . Consideramos
(x) = y(y < x Sy x).
(0) se verifica trivialmente.

Supongamos (m), o sea, y(y < m Sy m).
Supongamos pues que y < Sm y recordemos que esto
ocurre si y solo si y m o y = m.
Si y m, por hipotesis de induccion, Sy m y luego
Sy Sm.
Si y = m, entonces Sy = Sm. En cualquier caso, si
y < Sm, entonces Sy Sm, es decir, (Sm) se verifica.
Luego por P.I., para todo m , (m) se verifica.
Teorema 3.4. es un orden total sobre .
n.
Demostracio
i) es obviamente reflexiva.
ii) es antisimetrica. En efecto, supongamos que m n y
n m, pero m 6= n. Entonces m n y n m lo que
contradice el teorema 1.3.
iii) es transitiva. Supongamos que k m y m n. Demostraremos que k n por induccion sobre n . Para ello sea
(x) = yz((z y y x) z x).
60
(0) se verifica ya que si k m y m 0, m = 0 luego

k 0.
Si (n) se verifica, consideremos k m y m Sn.
Entonces m < Sn o m = Sn.
Si m < Sn, entonces por el lema 3.3 iii), m n y por
hipotesis de induccion k n. Es decir k n o k = n. En
cualquier caso k Sn, o sea, k Sn.
Si m = Sn, como k m o k = m tenemos k Sn o
k = Sn, es decir, k Sn.
Esto completa la induccion, luego todo n
umero natural n
verifica (n), o sea, es transitiva.
iv) es un orden total. Sean m y n dos n
umeros naturales.
Demostraremos por induccion sobre n que m < n o m = n o
n < m. Para ello sea
(x) = y(y < x y = x x < y)
(0) se verifica por el lema 3.3 i).
Supongamos (n) se verifica. Entonces para todo m, m <
n o m = n o n < m.
Si m < n o m = n, entonces m Sn, luego m < Sn.
Si n < m, entonces Sn m por el lema 3.3 iv).
Luego por P.I., es un orden total sobre .
Para verificar que es un buen orden, resulta mas facil demostrar
primero otra version del Principio de Induccion. Para distinguirlo
de P.I., lo llamaremos Principio de Induccion Completa. Debemos
recordar siempre que este nuevo principio es equivalente con P.I. Demostraremos a continuacion una de las implicaciones, la otra se deja
como ejercicio.
on Completa).
Sea (x) una formula con una variable libre x . Supongamos que
( ) si (k) se verifica para todo k < n, entonces (n) tambien
se verifica.
Entonces para todo n , se verifica (n).
n. Demostramos primero por induccion que para
Demostracio
todo n se cumple (n) donde
(x) = y(y < x (y))
i) (0) se cumple trivialmente ya que no existe m < 0.
61
ii) Supongamos (n) se verifica. Entonces por (), (n) tambien,

pero por el lema 3.3 iii), para todo n
y < Sn (y < n y = n),
luego y(y < Sn (y)), es decir (Sn) es cierta.

Esto completa nuestra induccion, o sea para todo n , se verifica,
en particular, (Sn), y como n < Sn, esto garantiza que se verifica
(n).
El principio de Induccion Completa tambien puede plantearse en
terminos de la relacion de pertenencia.
Teorema 3.6. Sea B tal que
( ) si {k : k < n} B, entonces n B.
Entonces B = .
Teorema 3.7. es un buen orden.
n. Hemos visto que es un orden total. Debemos
Demostracio
demostrar que es bien fundado, es decir, que si X , X 6= ,
entonces X tiene un menor elemento.
Para ello suponemos que X no tiene menor elemento y aplicamos
el Principio de Induccion Completa 3.6 a X X)
Dado n , si para todo k < n , k X , entonces n X
porque, si no, n es el menor elemento de X, luego X = , es decir,
X = , lo que es una contradiccion. Por lo tanto todo subconjunto no
vaco de tiene un menor elemento y es un buen orden.
Volveremos sobre estas propiedades en un contexto mas general en
las proximas secciones.
Teorema 3.8. Si un subconjunto de tiene una cota superior,
entonces tiene un maximo elemento.
n. Sea X , X 6= , definimos
Demostracio
Y = {x : x es cota superior de X}.
Por hipotesis Y 6= . Sea m el menor elemento de Y . Por definicion

m es el supremo de X. Debemos demostrar que m X.
Si m = 0, entonces para todo x X, x 0, o sea X = o bien
X = {0}. El primer caso no ocurre por hipotesis y en el segundo, 0 es
el maximo de X.
Si m 6= 0, entonces m = Sn para alg
un n. Pero entonces si
m
/ X, n es cota superior de X y n < m, una contradiccion. Luego
m X y es el mayor elemento de X.
62
Ejercicios.
1. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Induccion dadas en el texto, es decir los teoremas 3.1 y
3.2.
2. Demuestre el Principio de Induccion Completa a partir del teorema 3.7
3. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Induccion Completa dados en el texto, es decir los teoremas 3.5 y 3.6.
4. Sea hai : i i una familia de conjuntos tal que para todo
i , ai aSi . Probar que a0 an para todo n 1.
5. Sea hai : i i una
S familia de conjuntos tal que para todo
i , ai aSi y i ai a0 . Probar que ai = a0 para todo
i en .
S
S
6. Probar que si n ,
Sn = nS y que
= .
7. Probar que si a , a 6= y
a = a , entonces a = .
8. Probar que si
m y n estan en y m 6= n , entonces:
m si n m,
(a) m n =
n si m n.

n si n m,
(b) m n =
m si m n.
9. Probar que si n m y n 6= 0 , entonces existe un mayor
elemento en n .
10. Si a b son no vacos, n es el menor elemento de a y
m es el menor elemento de b , cual es la relacion entre n y
m ? Justificar y responder para los mayores elementos de a y
de b si estos existen.
11. Probar que si n , entonces no existe k tal que n < k <
Sn.
12. Probar que si n y m estan en y n < m , entonces Sn < Sm.
13. Probar que no existe una funcion F : tal que para
todo n , F (Sn) < F (n).
14. Probar que si (x) es una formula con variable libre x y existe
un k , tal que
(a) (k) se verifica y
(b) para todo n tal que k n, si se verifica (n) entonces
se verifica (Sn).
Entonces (n) se verifica para todo n k.
15. Probar que si (x) es una formula con variable libre x y existe
un k tal que
(a) (k) se verifica y
63
(b) para todo n tal que n > k, si se verifica (n) entonces

se verifica (Sn).
Entonces (n) se verifica para todo n k.
2. Ordinales
Los ordinales son conjuntos asociados con buenos ordenes, de hecho,
son los ejemplos tpicos de estos u
ltimos en el sentido que todo buen
orden es isomorfo a alg
un ordinal. La definicion de ordinal no hace
sino extender las propiedades de los n
umeros naturales estudiadas en
la seccion anterior sin embargo, esto no se podra apreciar sino hasta
que el captulo este bastante avanzado.
n 3.6.
Definicio
i) a es transitivo si
xy((x y y a) x a).
ii) a es un ordinal si a es transitivo y todo elemento de a es
transitivo. Si x es un ordinal escribiremos Ord (x). Observese
que Ord (x) es una formula de nuestro lenguaje en la que x
aparece libre.
Notaci
on: Usaremos letras griegas min
usculas para denotar ordinales.
Nada en la definicion indica que haya ordinales, ni siquiera que existan conjuntos transitivos. Tambien podra suceder que todo conjunto es un ordinal. A continuacion dilucidaremos estos problemas. De
hecho, el siguiente teorema demuestra que todos los n
umeros naturales
son ordinales.
Teorema 3.9.
i) 0 es un ordinal.
ii) Ord (x) Ord (Sx).
iii) x(x Ord (x)).
iv) Ord ().
n.
Demostracio
i) Ord (0) trivialmente ya que 0 = .
ii) Supongamos que x es ordinal. Entonces x es transitivo y
todo elemento de x es transitivo. Como Sx = x {x}, todo
elemento de Sx es transitivo.
Para ver que Sx es transitivo consideremos z , y tales
que z y Sx.
Si y x, entonces z x, ya que x es transitivo.
Si y = x, entonces tambien z x, es decir, en cualquier
caso, z x Sx, o sea, Sx es transitivo.
64
iii) Consideramos la formula (x) = Ord (x). Por i) y ii) y P.I.,

todo n
umero natural es un ordinal.
iv) El lema 3.3, ii) demuestra que es transitivo.
Si n , iii) demuestra que n es transitivo. Luego
Ord ().
Ver que no todo conjunto es un ordinal es facil. De hecho, {{0}}
no es ni siquiera transitivo. Tambien es facil ver que ning
un par
ordenado ha, bi es un ordinal.
S
Teorema 3.10. Si C es un conjunto de ordinales, entonces
C
es un ordinal.
S
n. Para demostrar que C es transitivo, supongDemostraci
So
amos x y C. Entonces existe C talque y . Como
x Sy y esteSu
ltimo es transitivo, x y por lo tanto,
x C, es decir,
C es transitivo.
S
Sea x C. Entonces existe C tal que x , entonces, x
tambien es transitivo.
S
Por lo tanto C es un ordinal.
El siguiente teorema demuestra que todo ordinal esta compuesto
por ordinales.
Teorema 3.11. Si es un ordinal, entonces todos sus elementos
son ordinales.
n. Supongamos que x . Entonces x es
Demostracio
transitivo. Si y x, como es transitivo, y , luego y es
transitivo, luego x es ordinal.
Los ordinales nos proporcionan un nuevo ejemplo de clase propia.
Teorema 3.12. No existe el conjunto de todos los ordinales.
n. Supongamos por el contrario que O es el conjunto
Demostracio
de todos los ordinales. Entonces es claro que O es transitivo y que
todos sus elementos son transitivos, es decir, O es un ordinal, luego
O O, contradiccion.
Teorema 3.13. Para todo par de ordinales , ,
Mas a
un, solo una de estas posibilidades se verifica.
65
n. Supongamos por el contrario que existen ordiDemostracio

nales y tales que 6 , 6= y 6 .
Sea
A = {x S S : y(y S S x 6 y x 6= y y 6 x)}.
Nuestra suposicion implica que , A. Luego A 6= .

Por el axioma de regularidad, existe a A tal que A a = .
Definimos entonces el conjunto
B = {x S S : a 6 x a 6= x x 6 a}
B 6= ya que a A.
Por el axioma de regularidad nuevamente sea b B tal que
B b = . Como a 6 B, a 6= b.
La contradiccion se obtiene probando que a = b.
Sea x a, como a es ordinal, x tambien lo es. Como a A =
, x 6 A. Por u
ltimo como x a S S, x S S, ya que
este u
ltimo, al ser union de dos ordinales, es tambien un ordinal y, por
lo tanto, es transitivo.
Entonces
y(y S S (x y x = y y x))
en particular como b S S,
x b x = b b x.
Si x = b, b a, luego b 6 B.
Si b x, como a es ordinal b a, luego b 6 B. En ambos casos
tenemos una contradiccion.
Por lo tanto la u
nica posibilidad es x b, es decir, hemos demostrado que a b.
Supongamos ahora que x b. Como antes x S S y x 6 B
ya que B b = . Luego
ax a=x xa.
Si a x o a = x, entonces a b ya que b es ordinal. Luego x a.

Hemos demostrado que b a.
Por lo tanto a = b lo que contradice nuestra suposicion, luego
= .
El teorema 1.3 garantiza que solo una de las tres posibilidades anteriores se verifica.
Teorema
3.14. Si A es un T
conjunto no vaco de ordinales, enT
tonces
A esordinal. M
as a
un, A A.
66
T
n. Si x A, entonces para todo A, x ,
Demostracio
luego x es ordinal, por loTtanto es transitivo.
Supongamos x y A. Entonces para todo A, x y
T
A, pero T
es ordinal, luego para todo A, x
TA, o sea,
x A y
A es transitivo. Hemos demostrado que
A es un
ordinal.
T
T
T
Por 3.13, para todo A,
A o
A = o A,
pero esta u
ltima posibilidad implica que,T en particular, . Las
dos primeras posibilidades implican que A A.
Teorema 3.15. Para cualquier y
i) ssi . S
S
ii) Si C S
, entonces
C=
o
C .
iii) = S.
iv) Si S, entoncesSS
o S = .
v) = S o = .
n.
Demostracio
i) Por transitividad de , si x ,
entonces x , o sea, . Como , 6= .
Si , entonces 6= y 6 . Luego por el
teorema
3.13, .
S
ii) C es un ordinal por el teorema
3.10.
S
Supongamos que C, entonces x para alg
un
x C y como hemos supuesto que C , x . SO sea
xS , lo que contradice el teorema 1.3. Luego
C
o
CS= .
iii) Si x S, x y para alg
un y S. Entonces y
o y = ; en cualquier caso x . S
Entonces x S, luego x S.
iv) Supongamos que S, o sea, o = . Como por
hipotesis , tendriamos que , lo que contradice el
teorema 1.3. Luego
S por 3.13, S o S
S = .
v) S
Sabemos que
es ordinal.
Si 6=S , entonces por ii),
S
.
Luego
por
iv),
S
S
S
S o S = . Si suponemos
S
que
S
,
como
S
,
concluiriamos
que
S
S
,
lo
que
contradice
el
teorema
1.3.
Luego
S
=
S
.
Observemos que iv) es una generalizacion del lema 3.3, iii). Tambien
es importante notar que todo ordinal es o bien sucesor de alg
un otro
ordinal o bien la union de s mismo.
67
n 3.7. Sea un ordinal. Definimos la relacion en

Definicio
como sigue. Para x, y
xy
si y solo si
xy x=y.
Notese que, en rigor, para distintos ordinales el orden recien

definido no es el mismo ya que su campo vara. Sin embargo usaremos
el mismo smbolo ya que es claro dos de estos ordenes coinciden en la
interseccion de sus campos.
Tambien debemos notar que este coincide con el orden que definimos
para los n
umeros naturales.
El siguiente teorema resume las principales propiedades de este orden.
Teorema 3.16. Sea un ordinal.
i)
ii)
iii)
iv)
v)
vi)
vii)
viii)
ix)
x)
xi)
es un buen orden en . T
Si A y A 6= , entonces
A es el menor elemento de A.
0 es el menor elemento de .
< S si y solo si .
= { : < }.
No existe un ordinal tal que < < S.
si y solo si S
.
Si A , entonces
A es el supremo de A .
< si y solo si S .
S = S si y solo si = .
S < S si y solo si < .
n.
Demostracio
i) es obviamente reflexiva. Es antisimetrica
por el teorema 1.3. Es transitiva por la transitividad de .
Es decir, es un orden. En virtud del teorema 3.13, es un
orden total.
Para ver que es un buen orden, consideremos
T un subconjunto no vaco A T
. Por el teorema 3.14,
A A.
Supongamos x A ( A). Entonces para todo T
A x ,
en particular, x x, una contradiccion. Luego A ( A) = ,
o sea, es un buen orden.
ii) Quedo demostrado en (i), A es el menor elemento de A
iii) iv) y v) son obvios.
vi) Supongamos existe tal que S< < S, o lo que es lo
mismo, S, es decir S = , por 3.15 iii), una
contradiccion.
vii) Es consecuencia inmediata de la parte i) del teorema anterior.
68
S
viii) Supongamos A S
, entonces A es un ordinal
y para x S
A
S
es claro que x A, o sea, por vii), x A, es decir,
A
es cota superior.
S
Sea otra cota superior de A. Entonces para todo x A,
como x A y S
es cota superior de A , x , es
decir, x , o sea,
A , por lo tanto A es la menor de
las cotas superiores de A .
ix) Si , entonces por transitividad S , o sea, S .
Si S , como < S, < , por transitividad de < .
x) Supongamos S = S y 6= . Entonces como S =
S, S. Pero entonces . Analogamente lo que
es imposible, luego, = . Es claro que si = , S = S.
xi) < si y solo si S si y solo si S < S por ix) y
iv) respectivamente.
Observaci
on.
En viii) hay un peque
no abuso producido por el hecho de denotar
S
con el mismo smbolo ordenes distintos. En efecto, si tenemos A =
, entonces A no esta en el campo de , luego no puede ser una
cota superior. Podemos sin embargo entender dicha proposicion como
expresada en un orden cuyo campo contiene a , por ejemplo S o
cualquier ordinal mas grande. En este caso la proposicion es totalmente
correcta.
Ejercicios.
1. Probar que:
(a) es un ordinal si y solo si es un buen orden sobre
y implica que .
(b) Si es totalmente ordenado por y implica que
, entonces es un ordinal.
2. Todo ordinal es segmento inicial de alg
un otro ordinal.
3. Probar que
bien = 0 , o
S si y solo si es ordinal y, o S
bien 6= y para todo , = 0 , o 6= .
4. Probar que si ySsolo si es ordinal y para todo
tal que 6= 0 se tiene .
5. Probar que es ordinal si y solo si es transitivo y es
buen orden sobre .
6. Probar que si y solo si todo subconjunto no vaco de
tiene mayor elemento.
69
7. Sea B un conjunto de ordinales . Probar

S que si es un ordinal
y para todo B, , entonces
. Probar tambien
que lo anterior no es necesariamente cierto si no se requiere que
sea ordinal.
8. Probar que si y es el mayor elemento de , entonces
= S. Es esto cierto si es ordinal arbitrario?
3. Inducci
on Transfinita
En esta seccion generalizaremos el teorema de induccion de los
n
umeros naturales a los ordinales. De hecho, el primero es un caso
particular del segundo.
on Transfinita)
Si (x) es una formula con una variable libre y para todo ordinal
,
()
si para todo < , () , entonces ().
Entonces para todo ordinal , ().
n. Observemos primero que como no existe ning
Demostracio
un
< 0, por ( ), (0) se verifica trivialmente.
Supongamos que el teorema es falso para alg
un ordinal . Entonces
el conjunto C = { S : ()} es no vaco, luego tiene un menor
elemento . La observacion al comienzo de esta demostracion implica
que 6= 0. Ademas, como es el menor elemento de C, para todo
< , 6 C, es decir, para todo < , (), pero entonces por la
hipotesis ( ), (), pero como C, se llega a una contradiccion.
Luego para todo ordinal ().
Notese que esta formulacion del teorema de induccion transfinita
es similar a la del teorema de induccion completa de los n
umeros naturales, A veces es u
til usar una forma mas parecida al principio de
induccion por casos. Para ello recordemos que todo ordinal es o
bien el sucesor de alg
un otro o es la union de s mismo. La proxima
definicion y el teorema que le sigue formaliza estas ideas.
n 3.8. Un ordinal es un sucesor si existe : tal que
Definicio
= S. Si 6= 0 y no es un ordinal sucesor, entonces es un
ordinal lmite lmite.
Notemos que hay tres clases de ordinales, 0, sucesores y lmites.
Teorema 3.18. Sea un ordinal.
S
i) es sucesor si y solo S < .
ii) es lmite si y solo
= 6= 0.
70
iii) es lmite si y solo 6= 0 ( < ( < < )).

n.
Demostraci
o
i) Si = S, entonces por el teorema 3.15
S
S
iii),
= S = <S,
S
Reciprocamente,
si
< , S . Si suponemos que
S
S < ,
[
[
S ,
S
S
S
oSsea,
, una contradiccion. Luego = S y como
es un ordinal, es sucesor.
S
ii) Sabemos
por
el
teorema
3.15
ii),
que
. Entonces
S
S por i),
= si y solo si no es sucesor, luego 6= 0 y
=
si y solo si es lmite.
S
iii) Por ii), es lmite si y solo si 6= 0, = y esta u
ltima
es equivalente a que para todo , existe tal que
.
Teorema 3.19. Sea (x) una formula con una variable libre tal
que
i) (0),
ii) para todo ordinal , si () , entonces (S) y
iii) para todo ordinal lmite , si () para todo < , entonces
().
Entonces para todo ordinal , ().
n. Para demostrar este teorema, demostraremos las
Demostracio
hipotesis del teorema 3.17 a partir de i), ii) y iii).
Sea entonces un ordinal y supongamos que () para todo
< . Debemos demostrar que ().
Hay tres casos.
Si = 0, entonces () por hipotesis i).
Si es un sucesor, entonces = S luego < y por lo tanto
(). Pero entonces por ii), (S) o sea, ().
Si es un lmite, como (), para todo < , por iii) ().
En cualquier caso (). Por lo tanto en virtud del teorema 3.17,
para todo ordinal , ().
Este teorema puede demostrarse sin recurrir al teorema 3.17 pero
estimamos que la demostracion tiene cierto interes en s misma. Ver
ejercicios problema 2.
Ejercicios.
71
1. Demuestre que el Principio de Induccion dado en el teorema 3.19

implica al Principio de Induccion del teorema 3.17.
2. Demuestre el Principio de Induccion 3.19 sin usar el teorema
3.17.
3. Demuestre el siguiente Principio de Induccion.
Sean un ordinal no nulo A tales que
(a) 0 A,
(b) si A
S y S < , entonces S A,
(c) si = < y para todo < , A.
Entonces A = .
4. Recursi
on
En esta seccion estudiaremos un proceso, ntimamente ligado a la
induccion transfinita, que nos permite definir operaciones entre ordinales, este es el principio de recursion.
En algebra elemental frecuentemente nos encontramos con sucesiones del tipo siguiente
a0 = 1
an+1 = 2an + 1
Es claro que esta sucesion esta bien definida ya que para cualquier
n , con alg
un trabajo, podemos obtener el valor de an . Por otra parte,
es claro que esta definicion difiere esencialmente de la de la sucesion
bn = n2 + 1 .
La diferencia reside en que para conocer el valor de an debemos
primero determinar el valor de an1 , y para conocer este, debemos
determinar el valor de an1 y as sucesivamente. No es este el caso de
bn . Decimos que {an }n esta definida recursivamente. A continuacion
formalizaremos estos conceptos.
Recordemos que una formula (x, y) tal que para todo a existe un
u
nico b tal que (a, b) define una operacion unaria y habitualmente
escribimos
b = F (a) si y solo si (a, b) .
Observese que por el axioma de reemplazo, si a es un conjunto
F (a) y {F (x) : x a} tambien lo son.
El siguiente teorema nos permite definir una operacion unaria sobre
un conjunto cualquiera conociendo todos los valores de la operacion
sobre sus elementos. Una forma alternativa es definir la operacion por
casos, para el 0, para ordinales sucesores, para ordinales lmites y para
72
conjuntos cualquira. Este u

ltimo caso es necesario ya que la operacion
debe estar definida para todos los conjuntos y no solo para los ordinales.
Teorema 3.20.
i) Sea y = G(x) una operaci
on unaria. Entonces existe una u
nica operaci
on unaria y = F (x) tal que
(Ord () F () = G({F () : })x(Ord (x) F (x) = x)
ii) Sean y = G(x), y = H(x) dos operaciones unarias, entonces
existe una u
nica operaci
on unaria y = F (x) tal que para todo
ordinal
F (S) = G(F ()) ( =
y si x no es ordinal,
F () = H{F () : })
F (x) = x).
n.
Demostracio
i) Demostraremos por induccion que para todo
ordinal existe una u
nica funcion f tal que
a) Domf = S,
b) f () = G(f ), para todo S y
c) si , entonces f f .
Sea entonces un ordinal y supongamos que para todo
< existe f con las propiedades a), b) y c). Entonces
definimos
f () =
f ()
G(f ())
, si ,
, si = .
Entonces f es una funcion, Dom f = S y f verifica

b) y c).
Observemos tambien que f0 (0) = G(0).
Para probar la unicidad de f supongamos que para alg
un
existen dos funciones f y g con las caractersticas anteriores.
Sea 0 el menor tal ordinal. Entonces para < 0 existe una
u
nica funcion f como arriba. Pero entonces para todo < 0
f0 () = f () = g0 (),
y por lo tanto
73
f0 0 =
=
=
=
{f0 () : 0 }
{f () : 0 }
{g0 () : 0 }
g 0 0 ,
luego
f0 (0 ) = G(f0 0 ) = G(g 0 0 ) = g0 (0 ),
Es decir f0 = g0 lo que contradice nuestra suposicion.
Por lo tanto, por el teorema 3.17, para todo ordinal existe
una u
nica funcion f que verifica a) y b).
Podemos ahora definir nuestra operacion unaria y = F (x).

fx (x) si x es ordinal,
F (x) =
x
si x no es ordinal.
Por construccion, y = F (x) verifica la tesis del teorema.

ii) Demostraremos por induccion que para todo existe una u
nica
funcion f tal que
a) Dom f = S,
b) Si S SS, entonces f (S) = G(f ()),
c) Si = S, entonces f () = H(f ).
d) Si , entonces f fS.
Si = 0 , entonces = luego definimos f0 con
dominio 1 como sigue:
f0 (0) = H(f0 (0)) = H(0)
Si = S, suponemos que existe f con Dom f = S

y que satisface a), b), c) y d). Definimos entonces f de la
siguiente manera

f ()
si = S,
f () =
G(f ()) si = .
Es claro que f verifica a), b), c) y d).

Si = , suponemos por hipotesis de induccion que para
todo existe f que verifica a), b), c) y d).
Definimos f como sigue

f ()
si = S,
f () =
H(f ()) si = .
74
f tambien verifica a), b), c) y d). Luego por induccion, para

todo ordinal , existe una funcion f con las caractersticas
indicadas.
La unicidad de f es obvia y se deja como ejercicio.
Podemos definir la operacion unaria F como en i).
Ejercicios.
1. Definimos la clausura transitiva de a, que denotamos T (a), como
el menor conjunto transitivo que contiene a a . Demuestre
que existe la clausura transitiva de cualquier conjunto.
Indicacion: Definir recursivamente una funcion F sobre
de tal manera que
F (0) = a
[
F (n + 1) =
F (n)
S
y luego probar que T (a) = n F (n). Intuitivamente
[
[[
[[[
T (a) = a a
a
a ,
es decir contiene los elementos de a , los elementos de los elementos de a , etc.

5. Funciones Normales
En esta seccion estudiaremos algunas propiedades de las funciones

normales que nos seran u
tiles en las secciones siguientes.
n 3.9. Sean A y B ordinales y : A B una funcion.
Definicio
i) es no-decreciente si
( < () ()).
ii) es estrictamente creciente si
( < () < ()).
iii) es continua si
(( 6= 0
= A) () =
()).
iv) es normal si es continua y estrictamente creciente.

Ejemplo.
75
1. La funcion S es estrictamente
creciente pero no continua, por
S
ejemplo SS
6= = S.
2. La funcion
es continua
S peroSno estrictamente creciente, por
ejemplo, < S, pero
= S.
3. Sea un ordinal lmite. Definimos para

S , si es sucesor,
f () =
, si no.
Facilmente podemos ver que f es normal.
Teorema 3.21. Sean A, B ordinales : A B una funci
on.
Si es estrictamente creciente, entonces para todo A,
().
n. Por induccion.
Demostracio
Teorema 3.22. Sean A, B ordinales : A B una funcion
continua tal que si S A, () < (S). Entonces es normal.
n. Tenemos que demostrar que es estrictamente
Demostracio
creciente. Lo haremos por induccion usando la siguiente formula
(x) = (( < x x A) () < (x))
i) (0) se verifica trivialmente.
ii) Si = S, supongamos que () se verifica y que S A.
Entonces para < , () () por hipotesis de induccion . Si = , () < (S), por hipotesis, es decir
luego
(( < = S S A) () < (beta)),
es decir, ().
iii) Si es lmite, entonces por la continuidad de , ().
Esto que completa muestra induccion. Luego es estrictamente creciente y por lo tanto normal.
Teorema 3.23. Si es una funcion normal y Dom es un
ordinal lmite, entonces () tambien es lmite.
n. Sea (). Como
Demostracio
[
() =
() ,
<
existe < tal que (), o sea,

76
< () < (),

ya que como es estrictamente creciente, () < (). Luego por
teorema 3.18 iii), () es lmite.
Teorema 3.24. Si es un ordinal, < y es no decreciente,
entonces
[
[
() =
().
<
<
n. Si < , () (), luego

Demostracio
y por lo tanto
[
() =
<
<
()
() =
<
<
() ()
().
<
Teorema 3.25. Sean , funciones normales tales que Rec

Dom . Entonces es una funcion normal.
n. es estrictamente creciente ya que si <
Demostracio
, () < (), luego
(()) < (()),
o sea, () < ().
Para ver que es continua, sea 6= 0, = . Por teorema
3.23,
[
() es tambien un ordinal lmite. Luego como es
() =
<
continua
() = (()) =
Pero si < () =
().
<()
(), entonces existe < tal que <
<
() < () luego
() < (()) <
(()).
<
Por lo tanto
()
<
(()) (()) = ()
77
o sea
() =
<
(),
es decir es continua y por lo tanto es normal.

Teorema 3.26. Sea un ordinal, una funcion normal con
dominio . Supongamos que para alg
un existen ,
tal que () < (). Entonces existe un u
nico tal que
() < (S).
n. Sea el menor tal que < (). Este debe
Demostracio
existir por hipotesis.
Supongamos = 0, entonces como , () () < (),
una contradiccion, luego 6= 0.
[
Supongamos 6= 0, = . Entonces < () =
() luego
<
existe < tal que < () contradiciendo la minimalidad de .

Por lo tanto es un sucesor, digamos = S. Entonces ()
< (S).
Para probar la unicidad de , sea 6= un ordinal. Entonces
<
< .
Si < , S , luego < (S) (); si < , S ,

luego (S) () < . En cualquier caso, no verifica que
() < (S), luego es u
nico.
Ejercicios.
1. Demuestre que la funcion definida en los ejemplos 5 es normal.
2. Demuestre el teorema 3.21.
3. Considere la topologa generado sobre el ordinal por todos los
intervalos
(), ) = { : < < },
donde < .
Demuestre que : es continua seg
un la definicion
3.9 si y solo si, es continua en esta topologa.
6. Ordinales y Buenos Ordenes
Esta breve seccion la dedicaremos a demostrar un resultado importante, a saber, que todo buen orden es isomorfo al orden de alg
un
ordinal. De esta manera, los ordinales sirven para representar a todos
78
los posibles buenos ordenes. Volveremos sobre este tema en el proximo

captulo.
Teorema 3.27. Todo buen orden es isomorfo con (el orden de) un
ordinal.
n. Sea R un buen orden cuyo campo es A . DefiDemostracio
namos la operacion unaria

R menor elemento de A F si este es no vaco,
F () =
A
si no.
(Para ser rigurosos, la operacion F debe estar definida para todo
conjunto y no solo para los ordinales, sin embargo, siempre podemos
definir F en forma arbitraria para un conjunto x que no es ordinal.
Por ejemplo, podemos definir F (x) = A).
Por el axioma de reemplazo,
= { : F () A}
es un conjunto de ordinales y por lo tanto existe alg
un ordinal tal
que F ()
/ A. Sea
\
= { : F ()
/ A}.
Observemos que si F ()
/ A, entonces F () = A y A F = ,
luego si > , F ()
/ A. Esto demuestra que = .
Si < < , entonces F F , luego A F A F ,
y por lo tanto
R menor elemento A F R menor elemento A F ,
es decir, F () F ().
Por otra parte, si < , F () F , luego F ()
/ A F y
por lo tanto F () 6= F ().
Esto demuestra que si definimos
f : A
7 F (),
f es una biyeccion y
si y solo si f ()Rf (),
o sea, R y son isomorfos.
79
7. Aritm
etica Ordinal
A continuacion definiremos la suma, el producto y la exponenciacion de ordinales.
Las dos primeras operaciones tienen una interpretacion bastante
intuitiva en terminos de buenos ordenes. Como sabemos todo ordinal
esta bien ordenado por , es mas, como vimos en la seccion anterior, todo buen orden esta codificado o representado por alg
un ordinal.
Ahora bien, la suma de dos ordinales y representa al (buen)
orden que resulta de ordenar poniendo todos los elementos de
despues de los de , graficamente
}
| {z
| {z }
Por su parte representa al (buen) orden lexicografico sobre

(ver ejercicios).
La exponenciacion no tiene una interpretacion intuitiva.
7.1. Suma de Ordinales.
n 3.10. Definimos la suma de ordinales como sigue. Si
Definicio
es un ordinal cualquiera
i) + 0 =
ii) + S = S( + )
iii) + = { + : }, si 0 6= =
Observese que tal operacion esta bien definida en virtud del teorema
3.20, ii), donde
G(x) = Sx y H(x) = x.
Ademas para todo , , + es un ordinal.
Teorema 3.28. Para todo par de ordinales y , la funcion

+ : +
7 + ,
es una funcion normal.
n. + es continua por definicion.
Demostracio
Supongamos que y S , entonces
+ () = + < S( + ) = + S = + (S),
luego por el teorema 3.22, + es normal.
80
Formalizaremos ahora las ideas intuitivas sobre la suma de ordinales

que dimos en la introduccion de esta seccion.
Teorema 3.29. Dados y ordinales, definimos el orden R
cuyo campo es {0} {1} como sigue:
hx0 , y0 i R hx1 , y1 i
si y solamente si se verifica una de las siguientes condiciones
1. x0 = x1 = 0 y y0 y1 < ,
2. x0 = 0 , x1 = 1,
3. x0 = x1 = 1 y y0 y1 < .
Entonces R es un buen orden isomorfo a + .
n. Es facil demostrar que R es un buen orden (ver
Demostracio
ejercicios).
Definimos:

si x = 0 y < ,
F (x, ) =
+ si x = 1 y < .
Entonces
Dom F = {i0, h: } {i1, h: }

= Cam R .
Tambien es claro que Rec F + . Para ver que Rec F =
+ , sea + , 6 . Luego < + . Como +
es normal, por teorema 3.26, existe un u
nico tal que + () <
+ (), o bien
+ < + S = S( + ).
Por teorema 3.16, vi) , + = . Luego, como tiene que ser menor
que ,
= + = F (1, ) ,
o sea, Rec F y por lo tanto + = Rec F .
Por u
ltimo como + es normal, es facil verificar que
xRy
y que F es inyectiva.
ssi F (x) F (y)
Algunas de las propiedades mas importantes de la suma de ordinales

estan resumidas en el siguiente teorema.
Teorema 3.30. Sean , , ordinales. Entonces
i) ( + ) + = + ( + ).
ii) + .
81
iii)
iv)
v)
vi)
vii)
< si y solo si existe > 0 tal que + = .

Si < , entonces + + .
S = + 1.
0 + = .
Si < , entonces + < + .
n.
Demostracio
Si = 0
i) Por induccion sobre .
( + ) + 0 = + = + ( + 0).
Supongamos que ( + ) + = + ( + ). Entonces
( + ) + S =
=
=
=
S(( + ) + )
S( + ( + ))
+ S( + )
+ ( + S).
Si 0 6= = y para todo , + ( + ) =
( + ) + . Entonces como + (x) = + x es normal y
es lmite, por 3.23,
+ = { + : < }
es lmite, y por 3.24
{ + : < } = { : < + }.
Similarmente, + (x) = + x es normal, luego
+ ( + ) =
=
=
=
=
=
=
+ { + : < }
+ { : < + }
{ + : < + }
{ + : < + }
{ + ( + ) : < }
{( + ) + : < }
( + ) + .
Esto completa la induccion y demuestra por lo tanto la asociatividad de + .

ii) Por induccion sobre .
Si = 0 , obviamente 0 + 0.
Supongamos + . Entonces
S S( + ) = + S.
82
Si 0 6= = y para todo + . Entonces

= { : } { + : } = + .
iii) Supongamos < . Como + ,
A = { S : + },
es no vaco, luego A tiene un menor elemento tal que
+ .
Supongamos que < + .

Es claro que 6= 0 ya que < .
Si es un sucesor, digamos = S,
< + S = S( + ),
luego + , lo que contradice la minimalidad de .
Si = , < + = { + : }, luego +
para alg
un < , lo que contradice la minimalidad de .
Es decir no es 0 ni sucesor ni lmite lo que no es posible,
luego = + .
Recprocamente, si = + , como + x es estrictamente
creciente y 0 <
= + 0 < + = .
iv) Por induccion sobre .
Si = 0,
+ 0 = < = + 0.
Supongamos que + < + . Entonces
+ S = S( + ) < S( + ) = + S.
Si 0 6= = y para < ,
Entonces
+ < + .
+ = { + : }
{ + : }
= + .
La desigualdad estricta no se puede lograr ya que, por ejemplo,
1 + = 2 + .
v) Obvio
vi) 0 + = se demuestra por induccion sobre .
Si = 0, entonces 0 + = 0 = .
83
0 + S = S(0 + ) = S.
Si 0 6= = y para todo , 0 + = ,
0 + = {0 + : } = { : } = ,
lo que completa la induccion.
vii) Ya lo demostramos en el teorema 3.28.
La suma de ordinales restringida a nos da la suma usual de los
n
umeros naturales, por ejemplo, 2 + 2 = 4. En efecto
2 + 2 = 2 + S1 = S(2 + 1) = S(2 + S0) = SS2 = S3 = 4.
En el proximo teorema se demuestran algunas propiedades de la
suma de los n
umeros naturales.
Teorema 3.31. Sean m y n n
umeros naturales. Entonces
i) m + n es natural.
ii) n + 1 = 1 + n.
iii) m + n = n + m.
n.
Demostracio
i) Por induccion sobre n .
m + 0 = m es natural.
Si m + n es natural, su sucesor tambien lo es. Pero
S(m + n) = m + Sn, luego m + Sn tambien es natural.
Por el principio de induccion, 3.1, para todo natural n, m+
n es natural.
ii) Por induccion sobre n .
1 + 0 = 1 = 0 + 1, por 3.30, vi).
Supongamos que 1 + n = n + 1. Entonces
1 + Sn = S(1 + n) = S(n + 1) = SSn = Sn + 1,
iii) Por induccion sobre n .
m + 0 = 0 + m por 3.30, vi).
Supongamos que m + n = n + m. Entonces
m + Sn =
=
=
=
m + (n + 1) = (m + n) + 1
(n + m) + 1 = n + (m + 1)
n + (1 + m)
, por ii),
(n + 1) + m = Sn + m ,

84
Notemos que la suma de ordinales no es general conmutativa, en

efecto,
1 + = {1 + n : n } =
[
{Sn : n } = 6= + 1 .
De hecho esta propiedad caracteriza a los ordinales que no son

n
umeros naturales.
Teorema 3.32. si y solo si 1 + = .
n. Ya vimos que 1 + = .
Demostracio
Si , existe tal que = + . Entonces
1 + = 1 + ( + ) = (1 + ) + = + = .
Si < , entonces por 3.31 ii), 1 + = + 1 6= .
7.2. Multiplicaci
on de Ordinales.
n 3.11. Definimos por recursion el producto por como
Definicio
sigue
i) 0 = 0.
ii) S = + .
iii) = { : }, si 0 6= = .
Como en el caso de la suma, hemos definido la multiplicacion por
recursion usando el teorema 3.20, donde
G(x) = x +
H(x) = x.
Teorema 3.33. Para todo par de ordinales y ,

funcion
:
7
,
6= 0 la
n. es continua por definicion.

Demostracio
Para ver que normal, por teorema 3.22, basta verificar que para
todo () < (S).
() =
<
=
=
+ ,
S
(S).
por teorema 3.30, iii),
85
Teorema 3.34. Dados y ordinales, definimos el orden R

cuyo campo es como sigue:
hx0 , y0 i R hx1 , y1 i
si y solamente si se verifica una de las siguientes condiciones
1. y0 y1 < ,
2. y0 = y1 y x0 x1 < .
Entonces R es un buen orden isomorfo a }.

n. Podemos suponer que y son distintos de 0.
Demostracio
Es facil demostrar que R es un buen orden (ver ejercicios).
Para , , definimos
F (h, i) = + .
Entonces Dom F = = Cam R. F es una funcion y para cada
h, i ,
F (h, i) =
<
=
+
+ ,
por teorema 3.30, vii),
S
, ya que es creciente.
O sea, hemos demostrado que Rec F . Para demostrar que

F es sobreyectiva, sea .
Entonces
0 = 0 < .
Como es normal, por el teorema 3.26, existe un u
nico tal que
< S = + .
Es claro que < y que si , < .
Ahora bien, como , por 3.30, iii) existe un u
nico tal que
+ = . Evidentemente < pues si no,
< S = + + = .
Por lo tanto, dado , existe un u
nico h, i tal
que F (h, i) = , o sea, F es sobreyectiva.
Para probar que F es estrictamente creciente, supongamos que
h, iRh, i, entonces o bien < , en cuyo caso
86
F (h, i) = +
< +
= S
alpha + = F (h, i),
o bien = y < , entonces
F (h, i) = +
= +
< + = F (h, i),
o sea F es estrictamente creciente, luego es inyectiva y por lo tanto
es un isomorfismo.
Observaci
on.
El orden R recien introducido se llama orden antilexicografico,
corresponde a sustituir cada elemento de por una copia de .
Las propiedades basicas de la multiplicacion ordinal estan resumidas en el siguiente teorema.
Teorema 3.35.
i) ( + ) = + .
ii) ( ) = ( ) .
iii) 0 = 0 = 0.
iv) 1 = 1 = .
v) 2 = + .
vi) Si 6= 0, entonces .
vii) Si 6= 0 y < , entonces < .
viii) Si 6= 0 y 1 < , entonces < .
ix) Si < , entonces .
x) Si 1 < , 1 < , entonces + .
xi) Si , 6= 0, entonces 6= 0.
n.
Demostracio
i) Por induccion sobre .
Si = 0, ( + 0) = = + 0 = + 0
Si ( + ) = + ,
87
( + S) =
=
=
=
=
S( + )
( + ) +
( + ) +
+ ( + )
+ S.
Si = 6= 0 y para todo , ( + ) = +
y
[
( + ) = { + : }.
S
Como + es normal, { + : } es un ordinal lmite
luego
[
[
{ + : } =
{ ( + ) : }
[
=
{ + : }
= + { : },
ii)
iii)
v)
vii)
ya que es normal. Esto completa la induccion, por lo

tanto
( + ) = + .
Por induccion sobre usando i).

y iv) se demuestran por una sencilla induccion.
Por definicion.
Por induccion sobre . Sea 1 .
Si = 0, 0 0 = 0.
Si , entonces
S
=
S( )
+1
+
S.
Si = 6= 0 y para todo < ,
= { : } { : } = ,
ix) Por induccion sobre .
x) Por induccion sobre .
88
Si = 2, entonces como 2 ,
+ =+2+=2=
Si 1 < y + ,
+ S =
S( + )
S( )
+1
+
S.
Si = 6= 0 y para todo , 1 < , entonces

+ , entonces
[
[
+ = { + : } { : } = .
xi) Si no, existen , 6= 0 tales que = 0 pero por vi), como

6= 0, = 0, luego = 0 , contradiccion.
El siguiente teorema demuestra que la multiplicacion de ordinales
restringida a verifica las propiedades que esperamos que esta verifique, a saber, que sea conmutativa y que distribuya por la derecha
sobre la suma. Cabe destacar que la multiplicacion ordinal en general
no verifica estas propiedades. Por ejemplo,
2 = 6= + = 2
y por ende
= (1 + 1) 6= +
Teorema 3.36. Sean m , n y l n
i) m n es natural.
ii) m n = n m.
iii (m + n) l = m l + n l.
n.
Demostracio
i) Por induccion sobre n .
ii) Por induccion sobre n .
Si n = 0, entonces m n = n m = 0
Si m k = k m, demostraremos por induccion sobre m
que para todo m, m Sk = Sk m.
Si m = 0, m Sk = Sk m = 0
89
Si l Sk = Sk l, entonces
Sl Sk =
=
=
=
=
=
=
=
=
=
Sl k + Sl
k Sl + Sl,
(k l + k) + Sl
(l k + k) + Sl,
(l k + Sl) + k,
(l k + (l + 1)) + k
(l k + l) + (k + 1)
l Sk + Sk
Sk l + Sk,
Sk Sl.
por hipotesis de induccion sobre m,

por hipotesis de induccion sobre, n
por 3.30, i) y 3.31 iii),
por hipotesis de induccion sobre, m
Esto completa ambas inducciones.

Notese que en la demostracion anterior se hizo una doble induccion,
es decir, el paso de induccion se demostro, a su vez, por induccion.
Teorema 3.37. (Algoritmo de la division).
Si y son ordinales y =
6 0, entonces existe un u
nico y
un u
nico tales que
=+
y < .
n. Como es normal, en virtud de 3.26, existe un

Demostracio
u
nico tal que
< S = + .
Por 3.30, iii) existe un u
nico tal que
+ =.
Por 3.35, vi), es claro que . Ademas, < , pues si ,
< + + = .
Teorema 3.38. Las siguientes afirmaciones son equivalentes.
i) es lmite.
ii) = , para alg
un 6= 0.
iii) Para todo m {0}, m = y 6= 0.
n.
Demostracio
i) ii) Por el algoritmo de division, existen
y tales que , < y
= + .
90
Si 6= 0 , = Sm, para alg

un m , entonces =
+ Sm = S( + m), o sea no es lmite. Por lo tanto
=0y
= .
Obviamente 6= 0 pues si no, = 0.
ii) iii) Primero verifiquemos que para todo m {0} m = .
En efecto, por 3.35, vi),
m = {m n : n } ,
luego m = .
Entonces si m 6= 0 y = , para alg
un 6= 0,
m = m ( ) = (m ) = =
iii) i) Supongamos m = , 6= 0 y = S para alg

un .
Entonces
= 2 = 2 S = 2 + 2 + 2 > + 1 = ,
una contradiccion, luego es lmite.

7.3. Exponenciaci
on de Ordinales.
n 3.12. Sean y ordinales. Definimos por recursion

Definicio
la exponenciacion de ordinales como sigue.
i) 0 = 1.
ii) S = .
S
iii) = { : }, si = 6= 0.
Como en el caso de la suma y la multiplicacion, hemos definido la

exponenciacion por recursion usando el teorema 3.20, donde
[
G(x) = x
y
H(x) = 1 x.
Teorema 3.39. Para todo par de ordinales > 1 y , la funcion
exp :
7 ,
n. Como exp es continua por definicion, basta

Demostracio
demostrar que es estrictamente creciente. Para ello usamos el teorema
3.22.
Por induccion podemos demostrar que 6= 0 para todo ordinal
. Luego,
exp () = = 1 < = S = exp (S).
91
Las propiedades de la exponenciacion de ordinales se resumen en el

siguiente teorema.
Teorema 3.40.
i)
0 =
ii)
iii)
iv)
v)
vi)
vii)
viii)
ix)
x)
0
1
, si es sucesor,
, si es lmite o = 0.
1 = 1.
0 = 1, 1 = y 2 = .
Si , > 1, entonces < .
Si > 1, entonces .
Si > 1 y < , entonces < .
Si 6= 0, entonces + = .
Si 6= 0, entonces ( ) = .
Si > 1 y 6= 0, entonces 1 < .
Si , > 1, entonces .
n.
Demostracio
i) y ii) se demuestran por induccion.
iii) es obvio.
iv) se verifica porque exp es estrictamente creciente y 1 = .
v) se puede demostrar por induccion sobre o por 3.21 porque
exp es normal para > 1.
vi) simplemente expresa que exp es creciente para > 1.
vii) Por induccion sobre .
Si = 0, entonces + = = 1 = 0 = .
Si + = , entonces
+S = S(+)
= +
= ( )
= ( )
= S .
92
Si = 6= 0 y para todo , + = ,
entonces como + es lmite y usando el teorema 3.24
+ =
=
=
{ : < + }
{+ : }
[
[
{ : < }
{ : }
[
=
{ : }
=
= ,

viii) Por induccion sobre
Si = 0 , entonces ( ) = ( )0 = 1 = 0 = 0 = .
Si ( ) = , entonces
( )S = ( )
= , y por vii),
= +
= S .
Si = 6= 0 y para todo ,
entonces
( ) =
=
=
{( ) : }
{ : }
( ) = ,
{ : }.
ya que es lmite. Para demostrar el paso anterior,

debe usarse un argumento similar al empleado en la demostracion de vii). Esto completa la induccion.
ix) Si 1 < y 0 < , entonces por vi), 1 = 0 < .
x) Por induccion sobre .
Si = 2, entonces = 2 = + = 2 =
93
Si , entonces
S =
+
+

S .
Si = 6= 0 y para todo , , entonces

[
=
{ : < }
[
{ : < }
= .
Esto completa la induccion.

El u
ltimo teorema de esta seccion nos dice que la exponenciacion
de ordinales restringida a los n
umeros naturales tiene las propiedades
que esperamos que esta tenga.
Teorema 3.41. Sean l , m y n n
n
i) m es un n
umero natural.
ii) (l m)n = ln mn
n. Ambas se demuestran por induccion sobre n.
Demostracio
Ejercicios.
1. Demuestre que los ordenes definidos en 3.34 y 3.29 son buenos
ordenes.
2. Demuestre la asociatividad de la multiplicacion, 3.35, ii).
3. Demuestre tambien 3.35, iii), iv), v) y ix).
4. Demuestre el teorema 3.41.
5. Encontrar ordinales , , tales que + = + y 6= .
6. Probar que:
(a) Si , entonces + + .
(b) Si + < + , entonces < .
(c) Si + < + , entonces < .
(d) Si < , entonces para todo n se tiene +n < +n.
(e) Si + = , entonces = 0.
(f) Si + = + , entonces = .
(g) Probar que si + = , entonces y = .
(h) Si + = + , entonces = .
94
7. Probar que si 6= 0, entonces + es ordinal lmite si y solo

si es ordinal lmite.
8. Probar que + = { + : }. S
9. S
Probar que si es ordinal lmite, entonces
{ + ; } =
{ : + }.
10. Sea F una operacion tal que si Pes ordinal, entonces F ()
es ordinal.
F sobre los ordinales por:
P Definimos la operacion
F (0) = 0 ;
P
P
si es ordinal, entonces
= F () +
() ;
F (S)P
S FP
{ F () :
si es ordinal lmite, entonces
F () =
} ;
P
si no es ordinal, entonces
F () = 0.
ProbarPque:
a bien definida sobre
(a)
F est
P los ordinales.
(b) Si es ordinal,
entonces
P
P F () es ordinal.
(c) Definimos
() = F ().
F
P
(i) Probar que
n n = .
(ii) Para cada n definimos fn por:
(A) Dom (fn ) = + 1 ;
(B) si m y m 6= n , entonces fn (m) = m ;
(C) fn (n) = ;
(D) fn () =Pn.
Probar que
+1 fn () = + + n.
P
(iii) Probar que si < , entonces
F ()
P
F ().
(iv) Sea un ordinal. Probar que si G es una operacion
que lleva ordinales en ordinales, entonces si para todo
que F () G() , entonces

P < implica
P
F ()
G().
Probar que se puede reemplazar por < si
se agrega la condicion de que si , entonces
F () 6= 0 .
(v) Si F es tal que P
para todo < se tiene F () = 1
, entonces = F ().
(vi) Probar que si es ordinal lmite
P y para todo <
se tiene F () 6= 0 , entonces
en
F () es tambi
ordinal lmite.
11. Probar que para todo ordinal existe un ordinal lmite y un
n tales que = + n.
12. Probar que no existe un ordinal tal que para cualquier par de
ordinales y tales que < se tenga + < < + .
95
13. Probar que si 6= 0 , entonces + < + .

14. Diremos que es un residuo de si 6= 0 y existe tal que
+ = . Probar que si > y y son residuos de ,
entonces es residuo de .
15. Probar que:
(a) Si + = , entonces = .
(b) Si < , entonces < .
(c) Si 6= 0 y = , entonces = .
(d) Si < , entonces < .
(e) Si = y 6= 0 no es ordinal lmite, entonces
= .
16. Bajo division por 2 un ordinal tiene por resto a 0 o a 1 , y se dira
que tal ordinal es par o impar en los respectivos casos. Clasificar
los siguientes ordinales en pares o impares:
(a) ;
(b) + 1 ;
(c) ( + 1)2 ;
(d) ( + 1) 2.
17. Por vecindad de un ordinal entendemos un intervalo abierto
(, ) = { : es ordinal y < < } al que pertenece el
ordinal. Una operacion F sobre el ordinal que lleva ordinales
en ordinales puede ser representada por (i )i , donde i = F (i)
, para todo i . En tal caso hablamos de una sucesion de ordinales (es claro que si F es operacion arbitraria que lleva ordinales
en ordinales, restringiendola a un ordinal cualquiera la consideramos como sucesion de ordinales). Diremos que una sucesion de
ordinales tiene lmite = limi ai si y solo si dada una vecindad
(, ) de , existe un ordinal tal que si i < se tiene
i (, ).
(a) Probar que limi i es el supremo de {i : i } , si
(i )i es una sucesion de ordinales estrictamente creciente.
(b) Dar un ejemplo de dos sucesiones de ordinales estrictamente crecientes (i )i y (i )i , tales que limi i +
limi i 6= limi (i + i ).
(c) Probar que es lmite de cualquier sucesion de ordinales tal
que (i )i S , pero no existe una sucesion de ordinales
(i )i que simultaneamente este contenida en S {} y
que tengta a como lmite.
(d) Sea (i )i una sucesion estrictamente creciente de ordinales con como lmite. Probar que i 6= para todo
i . Ademas, probar que es ordinal lmite.
96
18.
19.
20.
21.
22.
(e) Sea (i )i una sucesion de ordinales no necesariamente

creciente. Probar que si es ordinal sucesor entonces existe
limi i , pero si es ordinal lmite no necesariamente
existe tal lmite.
(f) Si (i )i es un a sucesion estrictamente creciente de
ordinales, probar que para todo ordinal se tiene +
limi i = limi ( + i ) , pero no necesariamente se
tiene limi i + = limi (i + ). Probar tambien que
(limi i ) = limi ( i ) , pero no necesarimente
(limi i ) = limi (i ).
Sea (i )i una sucesi
P on de ordinales tal que i = para todo
i . Probar que
i i = .
(a) Probar que n = si n .
(b) Probar que es ordinal lmite si y solo si n = para
todo n .
Probar que si 6= 0 es ordinal sucesor, entonces para todo 6= 0
se tiene ( + 1) > .
S
Probar que
si
es
ordinal
l
mite
y
=
6
0
,
entonces
{ :
S
} = { : }.
Sea
Q F una operacion que lleva ordinales en ordinales. Definimos
F ()
Qpor:
;
QF (0) = 1 Q
F (S) = F () F () ;
Si es ordinal
lmite y existe tal que F () = 0 ,
Q
entonces
F () = 0 ;
Si es ordinal
Q lmiteSy para todo se tiene F () 6= 0
{F () Q
: } ;
, entonces
F () =
Si no es ordinal, entonces
F () = 0.
Probar
Qque:
(a) QF esta bien definida.
(b) QF () es un ordinal si lo es.
(c) F () = 0Qsi y solo si existe
Q tal que F () = 0.
(d) Definimos F () := F ().
Para cada n definimos fn por:
(i) Dom (f n) = + 1 ;
(ii) si m y m 6= n , entonces fn (m) = m + 1 ;
(iii) fn (n) = ;
(iv) fn ()Q
= n + 1.
Entonces
+1 fn () = (n + 1).
(e) Si para toda
tiene F () 6= 0 , entonces si <
Q se Q
se tiene F () F ().
97
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
(f) Si G es una operacion que lleva ordinales en ordinales,

entonces si para
Q todo Q se tiene F () G() , ello
implica que F () G().
Simplificar + y ( + 1) .
Probar que si > 1 es aditivamente indescomponible y > 0 ,
entonces es aditivamente indescomponible.
Sean y ordinales. Probar que si F es una operacion
sobre
los ordinales tal que F () = para todo , entonces
Q
F
() = .
Encontrar la suma y el producto de la sucesion de ordinales

(i )i tal que i = i , para todo i .
Sea (i )i la sucesion de ordinales
tal que 0 = y S =
S
( ) para . Sea 0 = {i : i }. Probar que 0 = 0 .
(a) Probar que si < 0 , entonces:
(i) + 0 = 0 .
(ii) 0 = 0 .
(iii) 0 = 0 .

(b) Probar que 0 = 0 para todo ordinal
Probar que si es ordinal lmite y 6= 0 , entonces es
ordinal lmite.
Probar que si n , entonces n = .
Probar que si es ordinal lmite y p y q son naturales, entonces
( p)q = q p.
Sean y ordinales tales que 6= 0 y > 1. Probar que
existen u
nicos ordinales , y tales que = + y
0 6= y .
Probar que si 6= 0 y 6= 0 , entonces = S .
Probar que si < y < , entonces + < .
Probar que si < y < , entonces < .

Calcular:
P
(a) P 2 .
(b) P2 2 .
(c) Pn n.
(d) Q n n .
(e) Q2 ( + 1).
(f) Qn n .
(g) n ( + n).
(h) 1 + 2 + 3 + . . . + 1 + 2 + 3 + . . .
(i) 2 3 . . . 1 2 3 . . .
(j) 2 3 . . . n1 n+1 . . . 2 3 . . .
98
36. Expresar en la forma n an + n1 an1 + . . . + 1 a1 + a0 ,

donde 1 < 2 < . . . < n1 < n son ordinales , n , y
ai 1 para i Sn :
(a) 3
(b) ( + 1)2
(c) 2 ( + 1)
(d) ( + 1) 2
(e) ( 2 2 + 4 + 3) 5
(f) 2 + 2 + 2
(g) ( 2 3 + 2) ( 3 2 + 4 + 2)
37. Diremos que > 1 es ordinal primo si no existen y tales
que 1 < < y 1 < < y = .
(a) Probar que si n , esta definicion coincide con la
definicion clasica de ser primo.
(b) Probar que los siguientes ordinales son primos : , + 1,
2 + 1, 3 + 1, .
(c) Probar que si > 1 , entonces existe n tal que para
todo m < n existe un ordinal primo m , con los que se
tiene :
Y
=
m .
mn
Es u
nica esta representacion ? ( ver 2 ).
(d) Probar que si es ordinal lmite , entonces es primo si
y solo si existe un ordinal tal que = .

(e) Probar que si > es ordinal sucesor, entonces es
primo si y solo si existe > 0 tal que = + 1.
38. Probar las siguientes factorizaciones en primos:
(a) 2 + + 1 = ( + 1)2
(b) 2 3 + 1 = ( 2 + 1) 3
(c) 2 + 2 = 2 ( 2 + 1)
(d) 3 7 + 2 5 + 3 = 3 ( 2 + 1) 5 ( + 1) 7
(e) + + 1 = ( + 1) ( + 1)
(f) +1 + + 4 + 2 = ( 2 + 1) ( + 1) ( + 1)
39. Expresar como producto de primos:
(a) 4 + 24
(b) 2 + 1
(c) 2 + 2 + 1
(d) 3 3 + 2 7 + 6
(e) + 3 + 2
(f) +1 2 + 3 + 2
(g) 6 2 + 5 5 + 3 + 2 7
2
(h) 6 + +5 3 + +1 2 + 4
99
40. Calcular los siguientes lmites:

(a) limn (2n + n)
(b) limn n
(c) limn n
(d) lim2
(e) lim2 2
(f) lim2 2
41. Diremos que el ordinal es un n
umero epsilon si = .
+1
+1
(a) Definimos E() := ( + 1) + +1 +
+
+ ...
Probar que E() es un n
umero epsilon, que < E() ,
que no existe un n
umero epsilon tal que < < E().
Probar tambien que si < y no existe un n
umero epsilon
tal que < , entonces E() = E().
(b) Probar que si definimos por:
0 = E(0);
S = E( );
si es ordinal lmite, entonces = lim ,
entonces para todo ordinal se tiene que es un n
umero
epsilon y que si es un n
umero epsilon, entonces existe
un ordinal tal que = .
(c) Probar que si es un n
umero epsilon, entonces dado un
ordinal , se tiene que si 2 < , entonces + =
y = y = .
(d) Probar que si existe un ordinal tal que = ,
entonces es un n
umero epsilon.
(e) Probar que si = , entonces = .
(f) Probar que si = , entonces + = .
(g) Probar que si es un n

umero epsilon, entonces =
( ) , para todo ordinal .
(h) Probar que si es ordinal lmite y es un n
umero epsilon
tales que < , entonces = ( ) .
42. Encontrar un conjunto de racionales tales que bajo su orden usual
sea isomorfo a:
(a) + 1
(b) 2
(c) 3
(d)
( Por ejemplo, { n+1
: n, m N {0}} es isomorfo a 2 ).
m
P
Q
43. Si = , entonces = .
44. Probar que:
P
3
(a) Si para se tiene = 2 , entonces
= .
100
Q
(b) Si para + se tiene = , entonces
+ =
+
.
Q
(c) Si para se tiene = , entonces

=
45. Probar que para todo , es aditivamente indescomponible.
8. La Jerarqua Acumulativa de Conjuntos
En esta seccion construiremos recursivamente una clase de conjuntos que es de gran importancia en el estudio mas avanzado de los fundamentos de la teora de conjuntos. Si bien estos temas caen fuera
del alcance de este libro, esta construccion, llamada la jerarqua acumulativa de conjuntos, ayuda a entender la complejidad relativa de los
conjuntos y el rol que juega el axioma de regularidad en la estructura
de los mismos.
n 3.13. Para cada ordinal definimos
Definicio
V0 =
V+1 = PV
[
V , si es lmite.
V =
La coleccion de los V se llama la jerarqua acumulativa de conjuntos. Es usual definir tambien el universo de von Neumann a la clase
propia
[
V = {V : Ord()}.
Observemos que los V estan bien definidos en virtud del teorema

3.20, ii). Las operaciones empleadas son
G(x) = Px
H(x) =
x.
Debe tambien tenerse presente que V no es un objeto de nuestra

teora y debe entenderse solo como una manera de abreviar un concepto
correspondiente a la formula
(x) = (Ord() x V ).
Como veremos, el axioma de regularidad es equivalente a decir que
todo conjunto verifica varphi(x).
Teorema 3.42.
1. Si , entonces V V .
2. Si , entonces V V .
3. Para todo , V es transitivo.
101
El proximo lema es necesario para demostrar el principal teorema

de esta seccion.
Lema. Sea a un conjunto, entonces (a) si y solo si para todo x a,
(x).
Mas informalmente, un conjunto pertenece a V si y solo si todos
sus elementos tertenecen a V.
n. Si a pertenece a V , entonces a V para alg
Demostracio
un
ordinal . Pero como V es transitivo, todos los elementos de a
pertenecen a V .
Supongamos que todos los elementos de a pertenecen a V. Para
cada x a, sea (x) el menor ordinal tal que x V . Definamos
[
= {(x) : x a},
el que esta bien definido en virtud del axioma de reemplazo.
Entonces a V y por lo tanto a PV = V+1 , lo que termina
nuestra demostracion.
Resulta sencillo verificar que la clase V es cerrada bajo uniones,

pares, potencias productos cartesianos y demas construcciones que
hemos estudiado en los captulos precedentes. Esto implica que todos
los conjuntos que aparecen en la practica, pertenecen a V. Existira
alg
un conjunto que no esta en V? El siguiente teorema, atraves de una
aplicacion del axioma de regularidad, demuestra que este no es el caso.
Teorema 3.43. Todo conjunto pertenece a alg
un V .
(Mas informalmente, para todo conjunto x , x V.)
n. Recordemos que la clausura transitiva de a , que
Demostracio
denotamos T (a), es el menor conjunto transitivo que contiene a a ,
ver ejercicio 1 y que intuitivamente
[
[[
[[[
T (a) = a a
a
a .
Supongamos que existe un conjunto a tal que a

/ V, o mas
formalmente, supongamos (a), donde varphi(x) es la formula de
L1 que lo expresa. (Ver mas arriba.)
Entonces por el lema 8
b = {x T (a) : (x)} 6= .
Tomemos cualquier elemento c b. Entonces por el mismo lema,
existe x c talque (x), y como ademas x T (a), x b, es decir
x c b, lo que contradice el axioma de regularidad.
102
Ejercicios.
1.
2.
3.
4.
Demuestre
Demuestre
Demuestre
Demuestre
S
que para todo , V = {PV : < }.
el teorema 3.42.
es el mayor ordinal que pertenece a V .
el axioma de regularidad a partir del teorema 3.43.
103
104
CAPITULO 4
El Axioma de Elecci
on
El u
ltimo axioma de la teora de conjuntos en cierta medida pertenece
a una categora aparte debido a las importantes consecuencias que de
el se desprenden. Estudiaremos varias formulaciones diferentes de este
y enseguida algunas de sus aplicaciones.
1. Equivalencias del Axioma de Elecci
on
Axioma de Elecci
on (AC):
Si A es un conjunto de conjuntos no vacos, entonces existe una
funcion F cuyo dominio es A y tal que para todo x A, F x x .
Tal funcion se llama una funci
on de elecci
on para A .
Observemos que
[
F : A
A
x 7 F x x
La existencia de una funcion de eleccion implica elegir simultaneamente un elemento de cada conjunto que pertenece a A . Esto no
representa ning
un problema si A es finito, sin embargo si A es infinito,
no es en absoluto intuitivo que se pueda hacer. Notese tambien que el
axioma no da ninguna idea de como construir tal funcion.
La siguiente es una lista de los principios mas importantes que son
equivalentes al axioma de eleccion.
1. Principio Multiplicativo:
Si A es una funcion y Dom A = I y si Ai = A(i) 6= ,
entonces iI Ai 6= .
2. Principio de Zermelo:
Si P es una particion de un conjunto A , entonces existe
B A tal que para todo M P , B M tiene un solo
elemento.
Recordemos que toda particion sobre A induce una relacion
de equivalencia cuyo campo es A y cuyas clases de equivalencia
son los elementos de P . El principio de Zermelo nos dice que
podemos escoger un elemento de cada clase de equivalencia, es
decir un sistema de representantes de las clases de equivalencia.
105
3. Principio de Enumeraci
on:
Para todo conjunto A existe un ordinal y una funcion
biyectiva entre ellos.
4. Principio de Buen Orden:
Todo conjunto puede bien ordenarse.
5. Lema de Zorn:
Si A es un conjunto parcialmente ordenado por R y todo
subconjunto de A totalmente ordenado por R tiene una cota
superior en A , entonces A tiene un elemento maximal.
Un subconjunto de A totalmente ordenado por R se llama
una R-cadena.
Notese que la hipotesis del lema de Zorn implica que A 6=
ya que es una R-cadena luego tiene una cota superior en A .
6. Principio de Kuratowski:
Si R es un orden parcial y S R es un orden total, entonces
hay un orden -maximal T tal que S T R.
Dicho de otro modo, todo suborden total de un orden parcial
puede extenderse a un orden total maximal.
7. Principio de Tricotoma:
Dados dos conjuntos A y B , existe una funcion inyectiva
de A en B o existe una funcion inyectiva de B en A .
8. Principio de la Imagen Inversa:
Dados dos conjuntos no vacos A y B , existe una funcion
sobreyectiva de A en B o existe una funcion sobreyectiva de
B en A .
Como veremos en el Captulo 5 estos dos u
ltimos principios son
muy importantes en la teora de cardinalidad.
Teorema 4.1. Todos los principios anteriores son equivalentes al
axioma de eleccion.
n. Primero demostraremos AC 1) 2) AC.
Demostracio
AC 1).
Sea A una funcion con Dom A = I tal que para todo i I,
Ai 6= , . Entonces, por el axioma de reemplazo, A = {Ai : i I} es
un conjunto de conjuntos no vacos.
Por AC, existe F, Dom F = A y para todo i I, F (Ai ) Ai .
G : I
Ai
iI
i 7 F (Ai )
106
G iI Ai ,
o sea,
iI Ai 6= .
1) 2).
Sea P una particion de A . Entonces P PA, luego P es un
conjunto. Consideremos IP , la funcion identidad sobre P . Por 1)
M P IP (M ) = M P M 6= ,
luego existe una funcion G , tal que Dom G = P y para todo M
P, G(M ) M . Como M A para todo M P, Rec G A.
Ademas, como los elementos de P son disjuntos, para cada M P ,
M Rec G = {G(M )}.
2) AC.
Sea A un conjunto no vaco de conjuntos no vacos.
Definamos K = {hx, yi : y x A} y P = {{hx, yi : y x} :
x A}. Es claro que K es un conjunto (por que?) y que P es una
particion de K .
Escojamos B K tal que para cada M P, B M tiene
exactamente un elemento. Entonces B es una funcion de eleccion para
A . En efecto, para cada x A,
B {hx, yi : y x} = {yx },
para alg
un yx x. Luego B es funcion, Dom B = A y para cada
x A, B(x) x.
La equivalencia de los otros principios la demostramos dando un
gran crculo de implicaciones que comienza y termina en AC.
AC 3.
Sea A un conjunto. Vamos a encontrar un ordinal y una funcion
biyectiva de en A .
Podemos suponer que A 6= .
Consideremos PA{}. Este es un conjunto no vaco de conjuntos
no vacos, luego existe una funcion de eleccion F para el. Notemos
que esta asigna a cada subconjunto no vaco de A un elemento de si
mismo.
Definimos por recursion una operacion unaria H como sigue

F (A H ) , si A H 6= ,
H() =
A
, si A H = .
Si < , entonces
H H
A H A H ,
107
luego, si A H = , entonces tambien A H = . Por lo tanto,

si < ; y H() = A, entonces H = A.
Si < y H() 6= A, entonces como H() H y por ser F
funcion de eleccion, H() A H ,
H() 6= H().
Demostraremos ahora que existe un ordinal tal que H() = A.

(i.e. A H = ). Supongamos por el contrario que no existe.
Entonces como H es una operacion unaria (definimos Hx = x si x
no es ordinal) y como para todo par de ordinales 6= , H 6= H,
por el axioma de reemplazo,
B = { : H PA {}}
es un conjunto. Pero por la suposicion anterior, B contiene a todos los
ordinales, luego no es un conjunto, contradiccion. Por lo tanto existe
tal que H() = A.
Sea
\
= { S : H( = A)},
es decir es el menor ordinal tal que H() = A, luego si
< , H 6= A. Definimos
G : A
7 H().
Entonces G es una funcion biyectiva.

3) 4).
Sea A un conjunto y sean y G como en 3).
Entonces R = {hx, yi A A : G1 x G1 y} es un buen orden.
4) 5).
Sea un orden parcial con campo A , tal que toda cadena tiene
una cota superior.
Sea S un buen orden cuyo campo es A . Definimos la siguiente
operacion unaria.
S menor elemento de {a A : x(x F x < a}

si este es no vaco,
F () =
A si no.
Intuitivamente, F (0) elije el S-menor elemento de A . F (1) elije

el S-menor elemento de {a A : F (0) < a}, etc. En general F ( es
el S-menor elemento de aquellos elementos de A que son -mayores
que aquellos elementos de A que ya han sido elejidos por F en una
etapa anterior a .
108
Si < y F () 6= A, entonces como F () F ,
F () < S menor{a A : x(x F x < a)} = F ().
Como en la demostracion anterior, existe tal que F () = A,

pues si no, por el axioma de reemplazo,
{ : F () A}
es un conjunto de ordinales que contiene a todos los ordinales, lo que

es una contradiccion.
Sea el menor ordinal tal que F () = A, es decir,
{a A : x(x F x < a)} = .
Vimos antes que para < , F () < F (), es decir, F es

una <-cadena. Como F A, por el Lema de Zorn, existe c A
que es <-cota superior de F , es decir
x(x F () x c).
Es claro que c es maximal pues si no, existe b A tal que b > c,

pero entonces
x(x F x < b)
o sea
b {a A : x(x F x < a)} = ,

lo que es una contradiccion, luego c es maximal.
5) 6).
Sea R un orden parcial y S R un suborden total. Sea
A = {T : S T R y T es un orden total.
Consideramos A ordenado por inclusion.

Entonces toda cadena B
S
tiene una cota superior, a saber,
B. Por el lema de Zorn, A tiene
un elemento maximal el que obviamente verifica la tesis de 6).
6) 7).
Sean A , B conjuntos. Definimos
R = {hf, gi : Dom f Dom g A Rec f Rec g B
f g f es inyectiva g es inyectiva}
Es claro que R es un orden parcial. Por el principio de Kuratowski

con S = , existe
S un orden total maximal T R.
Sea F =
Cam T , F es una funcion inyectiva, Dom F A y
Rec F B.
Supongamos que Dom F 6= A y Rec F 6= B, entonces existe
a A Dom F y b B Rec F .
Definimos
G = F {(a, b)},
0
T = T {hf, Gi : f T } {hG, Gi}.
109
Entonces, como G es inyectiva, Dom G A y Rec G B,

T T 0 R, o sea, T no es maximal, una contradiccion. Por lo tanto
Dom F = A o bien Rec F = B. En el primer caso F es inyectiva
de A en B , en el segundo caso, F 1 es inyectiva de B en A .
7) 8).
Sean A y B conjuntos no vacos. Supongamos sin perdida de
generalidad que existe una funcion inyectiva, f : A B. Sea a A
y definamos
g(x) =
g : B A
f 1 (x) , si x f A,
a
, si x B f A.
Entonces g es sobreyectiva.
8) AC.
Para demostrar esta implicacion debemos demostrar un lema previo.
Lema 4.2. Sea B un conjunto. Entonces
= { : existe funci
on inyectiva f : B}
tambien es un conjunto.
n. Sea M = {R : R es un buen orden y campo
Demostracio
R B}. M P(PB PB), por lo tanto M es un conjunto. Como
sabemos, por el teorema 3.27, para todo buen orden R existe un u
nico
ordinal tal que R y {h, i : < }, es decir, el orden de ,
son isomorfos. Entonces
= { : existe R M es isomorfo con R}.
En efecto, si existe una funcion inyectiva f : B,
entonces
R = {hf (), f ()i : < } M,
R y son isomorfos y el isomorfismo es precisamente f .
Supongamos ahora que es isomorfo a un buen orden R M y
sea g : R tal isomorfismo. Entonces por ser isomorfismo, g es
inyectiva y g : Cam R B, es decir .
Como M es conjunto, por el axioma de reemplazo, es un
conjunto.
Demostremos ahora el teorema. Sea A un conjunto no vaco de
conjuntos no vacos. Queremos encontrar una funcion de eleccion para
110
A . Como A es conjunto, P
demostrado,
A tambien lo es,luego or el lema recien
= { : existe funcion inyectivaf : P
es un conjunto de ordinales. Sea S= + 1. Es claro que no

existe una funcion inyectiva de en P A ya que 6 .
Por otro lado, tampoco existe una funcion sobreyectiva
S
f : A , pues si existiera, podriamos definir
[
g : P
A
7 f 1 {} ,
S
o sea, existira una funcion inyectiva de en P A, contradiciendo
la u
ltima afirmacion.
S
Entonces por 8), existe una funcion sobreyectiva g : A.
Definamos
F : A
a 7 g(
A
\
g 1 a) .
FS es una funcion de eleccion. En efecto, si x A, entonces

1
x A y como g es sobreyectiva
T g1 x 6= es un conjunto de
ordinales
g x. Es claro entonces que
T 1 cuyo menor elemento es
g( g x) x.
2. Aplicaciones
En todas las ramas de las matematicas hay importantes aplicaciones
del axioma de eleccion. A continuacion daremos una breve lista con
algunas de estas.
1. Todo espacio vectorial tiene una base.
2. La union enumerable de conjuntos enumerables es enumerable.
3. Existe un conjunto de n
umeros reales que no es Lebesgue-medible.
4. El producto de espacios compactos es compacto.
5. Todo anillo con unidad tiene un ideal maximal.
6. Todo orden parcial puede extenderse a un orden total.
7. El teorema de Hahn-Banach.
8. El teorema de completud para la logica de primer orden.
9. Toda algebra de Boole es isomorfa a un campo de conjuntos.
111
Demostraremos algunas de estas. Supondremos que el lector maneja

los conceptos involucrados en cada caso.
Teorema 4.3. Todo espacio vectorial tiene una base.
n. Sea V un espacio vectorial y sea A = {B V :
Demostracio
B es linealmente independiente}. Consideremos a A parcialmente
ordenado por inclusion.
Sea entonces
C = {BiS: i I} una cadena de elementos de A .
S
Entonces
C V y
C contiene a todos los miembros de la
cadena.
S
Veremos ahora que
CSes linealmente independiente.
Sean v0 , v1 , . . . , vn1 C, luego existe B0 , . . . , Bn1 C tales
que vi Bi , i < n. Pero C es una cadena, luego Bi Bn1 , i < n,
por lo tanto
S v0 , . . . , vn1 Bn1 y como este es linealmente independiente,
C es un
S conjunto linealmente independiente.
Por lo tanto
C pertenece a A , luego toda cadena de A tiene
una cota superior y por el lema de Zorn A tiene un elemento maximal.
Probar que un conjunto linealmente independiente maximal es una
base es un ejercicio elemental de algebra lineal.
Teorema 4.4. La union enumerable de conjuntos enumerables es
enumerable.
n. Recordemos que un conjunto A se dice enumerDemostracio
able si existe una biyeccion entre A y .
Sea C un conjunto enumerable de conjuntos enumerables. Por simplicidad podemos suponer que los elementos de C son todos disjuntos.
Si C = {Ai : i }, sea
fi : Ai
una biyeccion. Definimos
F :
S
Ai
hn, mi 7 fn (m)
g : Ai como sigue
g(n, m) = fn (m).
g es inyectiva ya que si g(n, m) = g(p, q) entonces
fn (m) = fp (q) An Ap ,
y como los Aj son disjuntos se tiene que n = p. Entonces como las
fi son inyectivas, m = q, o sea, g es inyectiva.
112
S
g es sobreyectiva ya que si a Ai existe n tal que a An y
como fn es sobreyectiva, existe m tal que
a = fn (m) = g(n, m).
S
Es decir, existe una biyeccion g de en
C.
Por otra parte es bien sabido que existen biyecciones entre y
(ver el captulo 5). Si tomamos cualesquiera de ellas, digamos,
h : ,
S
entonces f = g h es una biyeccion entre y C , luego este u
ltimo
es enumerable.
Observemos que en la demostracion anterior aparentemente no hemos usado el axioma de eleccion. Sin embargo este se uso cuando
escogimos las funciones biyectivas fi , especificamente,
si Bi = {f : Ai , f biyectiva }
A = {Bi : i } es un conjunto no vaco de conjuntos no vacos
(esto u
ltimo por hipotesis) luego por el axioma de eleccion existe para
cada i un elemento
fi Bi .
Este teorema es el ejemplo clasico de uso encubierto del axioma de
eleccion. Durante a
nos los matematicos hicieron uso de argumentos
como el anterior sin darse cuenta de que estaban usando un principio
especial.
Teorema 4.5. Existe un conjunto de n
umeros reales que no es
Lebesgue-medible.
n. Definimos sobre [0, 1) la siguiente relacion de eDemostracio
quivalencia.
x y ssi x y Q
Entonces induce una particion de [0, 1). Por el principio
de Zermelo, existe un subconjunto B [0, 1) tal que B contiene
exactamente un representante de cada clase de equivalencia.
Sea {ri }i una enumeracion de los racionales entre 0 y 1 (ver
captulo 5) y sea Bi = B + ri = {x + ri : x B}, donde la suma es
modulo 1 i.e.

x+y
si x + y < 1
x+y =
x + y 1 si x + y 1
Es bien sabido que si A es un conjunto Lebesgue-medible, entonces
A + a tambien lo es; mas a
un, m(A) = m(A + a).
113
Notemos que todo x [0, 1) pertenece a alg

un Bi puesto que
induce una particion de [0, 1). Por lo tanto
[
[0, 1) =
bi .
i
Ademas la union es disjunta ya que Bi Bj = si i 6= j. En efecto,

si x, y B y
x + ri = y + rj
entonces x y = rj ri Q , o sea, x y y como B contiene
un solo representante de cada clase de equivalencia, x = y, entonces
ri = rj , o sea, i = j, contradiccion, luego
i 6= j Bi Bj = .
Por lo tanto
m([0, 1) = m(
Bi ) =
m(Bi ).
Si B fuera medible, por la observacion hecha anteriormente,

para
S
todo i , m(BiS
) = m(B), entonces si m(B) = 0, m( Bi ) = 0 y
si m(B) 6= 0, m( Bi ) = , pero m([0, 1)) = 1, por lo tanto B no
puede ser medible.
Teorema 4.6. Todo orden parcial puede extenderse a un orden total sobre el mismo campo.
n. Sea un orden parcial, B = Cam .
Demostracio
Consideremos el conjunto de todos los ordenes totales que extienden
a
A = {R B B : R es un orden total y x, y(x y x Ry),
A esta ordenado por inclusion.
S Sea {Ri }, i I, una cadena de elementos de AS. Es claro que
S Ri es un orden total y que si x y, entonces x Ri y, es decir
Ri es una cota superior de la cadena que pertenece a A , luego, por
el lema de Zorn, A tiene un elemento maximal. Llamemoslo M .
Para demostrar nuestro teorema es suficiente probar que campo
M = B. Supongamos que no es as, entonces existe a B Cam M .
Definimos el nuevo orden R como sigue
R = M {hx, ai : x Cam M, a x} {ha, xi : x Cam M, x a}.
114
Es facil verificar que R es un orden total que extiende a M ,

contradiccion.
Ejercicios.
1. Demuestre sin usar el axioma de eleccion que todo conjunto tiene
una funcion de eleccion. (Indicacion: Use induccion sobre el
n
umero de elementos del conjunto).
2. Demuestre que el conjunto K definido el el teorema 4.1, 2)
AC es efectivamente un conjunto y que el conjunto P es una
particion de K .
3. Complete los detalles de la demostracion de 4.1, 5) 6).
4. Demuestre que la relacion R definida en la demostracion del
teorema 4.1, 6) 7), es efectivamente un orden parcial.
5. Demuestre que toda relacion binaria contiene una funcio con el
mismo domino.
115
116
CAPITULO 5
Cardinales
En este captulo investigaremos uno de los topicos mas importantes
de la teora de conjuntos, a saber, la teora de la cardinalidad o n
umero
de elementos que tiene un conjunto. Hasta el momento sabemos como
contar los elementos de los conjuntos finitos. En este captulo formalizaremos estos conceptos intuitivos y los generalizaremos a conjuntos infinitos. La mayor parte de los teoremas de este captulo dependen
del axioma de eleccion. Indicaremos estos mediante el smbolo .
1. Definiciones y Resultados B
asicos
n 5.1.
Definicio
i) Dos conjuntos A y B son equinumerosos
ssi existe una biyeccion entre A y B . En tal caso escribimos
A B.
ii) Un ordinal es un cardinal ssi no es equinumeroso con
ninguno de sus elementos.
Si es un cardinal escribimos Car (). En general usaremos
letras goticas min
usculas m, n, p para designar cardinales.
Ejemplo.
1. Dos intervalos de n
umeros reales son siempre equinumerosos.
Para demostrar esto basta ver que
f : [a, b] [c, d]
dc
cb ad
x 7
x+
ba
ba
es una biyeccion.
2. Todo intervalo abierto es equinumeroso con el conjunto de los
n
umeros reales.
Considerese la funcion

tan : ( , ) R
2 2
Sabemos que tan x es una biyeccion. Una funcion similar a la
del ejemplo anterior demuestra que cualquier intervalo abierto es
equinumeroso con ( 2 , 2 ).
117
3. y son equinumerosos.
Considerese la funcion
f :
hm, ni 7 2m (2n + 1) 1 .
f es una biyeccion.
Resulta claro que la relacion ser equinumeroso es reflexiva, simetrica y transitiva, pero no es una relacion dentro de nuestra teora
ya que su campo es la clase de todos los conjuntos. Naturalmente,
si nos restringimos a un conjunto particular, esta es una relacion de
equivalencia.
En el caso finito, la cantidad de elementos de un conjunto nos sirve
como una nocion de tama
no. Para ello se identifica todos aquellos
conjuntos que tienen el mismo n
umero de elementos, en otras palabras,
todos aquellos que son equivalentes bajo la relacionanterior. Una
posible idea es definir la cardinalidad de un conjunto como su clase
de equivalencia bajo la relacion de equinumerosidad, sin embargo, es
claro que la clase de equivalencia de cualquier conjunto no vaco es una
clase propia, por lo tanto no existen dentro de nuestra teora,luego no
podemos usarlas como cardinales.
Para conjuntos finitos, es facil ver que en cada clase de equivalencia habra un u
nico n
umero natural, este se conoce habitualmente
como la cardinalidad o n
umero de elementos del conjunto, vale decir,
aquel u
nico natural con el que es equinumeroso. Podemos tratar de
generalizar la idea anterior a conjuntos infinitos, sin embargo, hay dos
dificultades, la primera es que dado un conjunto infinito cualquiera, no
podemos garantizar que exista alg
un ordinal que es equinumeroso con
el. De hecho tal afirmacion es ni mas ni menos, el principio del buen
orden, es decir, equivalente con el axioma de eleccion. En segundo lugar, es facil ver que si existe un ordinal equinumeroso con un conjunto
infinito dado, este no sera nunca u
nico, como lo demuestra por ejemplo
la funcion que aparece en la demostracion del teorema 5.3, la que nos
dice que y + 1 son siempre equinumerosos.
Por estos motivos, la manera de extender la nocion de cardinalidad
de los conjuntos finitos a los infinitos es suponer el Axioma de Eleccion
y escoger un representante de cada una de las clases de equivalencia,
a saber, el menor ordinal que pertenece a ella. Necesitamos antes un
par de resultados.
Teorema 5.1. Si m 6= n, entonces m y n no son equinumerosos.
n. Como m y n son ordinales distintos m n o
Demostracio
n m, luego m y n no son equinumerosos por definicion de cardinal.
118
Teorema 5.2. Para todo conjunto A existe un u

nico cardinal n
tal que A y n son equinumerosos.
n. Por el principio de enumeracion existe un ordinal
Demostracio
tal que A es equinumeroso con . Sea
\
m = { S : A },
o sea, m es el menor elemento del conjunto no vaco { S : A },

es claro entonces que A m.
Por u
ltimo, si existiera m tal que m, tendramos que
A, luego m no es el menor elemento del conjunto anterior, contradiccion.
Por lo tanto m es un cardinal.
Resulta claro que m no depende del ordinal usado en la definicion.
n 5.2. La cardinalidad |A| de un conjunto A es el u
Definicio
nico
cardinal m tal que A m. Decimos tambien que m es el cardinal de
A.
Teorema 5.3. Si A , B son conjuntos y es un ordinal,
i) A B ssi
|A| = |B|.
ii) A |A|.
iii) || .
iv) Si A, entonces |A| .
v) es un cardinal ssi || = .
vi) Si , entonces | + 1| = .
n.
Demostracio
vi) Si , entonces = + . Definimos
f : + 1 como sique
si x = ,
0
x + 1 si x ,
f (x) =
x
si x 6 , x 6= .
Es claro que f es una biyeccion.
El proximo teorema es probablemente el resultado mas importante

sobre cardinalidad que puede demostrarse sin usar el axioma de eleccion.
Teorema 5.4. Cantor - Schroeder - Bernstein
Si A y B son dos conjuntos tales que existen funciones inyectivas
f : A B y g : B A, entonces |A| = |B|.
119
n. Notemos primero que si

Demostracio
A1 = g f A
entonces
A1 A
ya que g f : A A1 es claramente inyectiva y sobreyectiva.

Por otra parte, si D = g B, entonces D B.
Sea h = g f y definamos
An+1
A0 = A , D0 = D
= h An , Dn+1 = h Dn
..
.
En el diagrama los An son los cuadrados y los Dn son los crculos.

Ahora podemos demostrar por induccion que para todo n ,
An+1 Dn An .
Definimos F : A D

S
h(x) , si x (An Dn )
F (x) =
x
, si no
S
Observe que (An Dn ) es la zona sombreada en el dibujo.
F es
S inyectiva ya que paraSx, y A, tenemos tres
S posibilidades
x, y S
(An Dn ), x, y 6 (An Dn ) o x (An Dn ) y
y 6 (An Dn ). En los dos primeros casos es claro que si F (x) = F (y),
entonces x = y. Nos queda la tercera posibilidad pero en este caso
F (x) = h(x) y x An Dn para alg
un n , luego h(x) An+1 . Si
suponemos que h(x) Dn+1 , entonces h(x) = h(z) para alg
un z Dn
(ya que Dn+1 = h Dn ) pero como h es inyectiva, z = x, es decir
x DnSpero x An Dn , contradiccion luego h(x) 6 An+1 , o sea,
h(x) (An Dn ) y por lo tanto
120
F (x) = h(x) 6= y = F (y).

Para ver que F es sobreyectiva recordemos primero que para todo
n 6= 0, An D A. Sea x D y n el menor natural tal que
x 6 An , entonces x An1 . Si x 6 Dn1 , n 1 6= 0 y entonces x
An1 Dn1 y por lo que vimos anteriormente,
x h (An2 Dn2 ),
S
luego x = h(y) = F (y) para
un y (An Dn ).
S alg
Si x Dn1 , x 6 (An Dn ) pues x 6 An para m n y
x Dm para m < n. Por lo tanto, x = F (x). En cualquier caso
x F A luego F es sobreyectiva.
Hemos demostrado que
A D B, luego |A| = |B|.
Teorema 5.5. Si A B, entonces |A| |B|.
n. Supongamos por el contrario que |B| < |A| y
Demostracio
sean f, g biyecciones
f
|A|
|B|
donde i y j son la funcion identidad. Entonces j : A B es

inyectiva, f 1 i g : B A es inyectiva, luego por el teorema 5.4,
|A| = |B|, contradiccion luego |A| |B|.
Teorema 5.6. Las siguientes tres condiciones son equivalentes.
i) |A| |B|.
ii) Hay una funcion inyectiva f : A B.
iii) A = o hay una funcion sobreyectiva g : B A.
n. i) ii)
Demostracio
Sean f : A |A|, g : |B| B biyecciones, entonces g f :
A B es inyectiva.
ii) iii)
Sea A 6= , a A
y
f : A B inyectiva. Definimos
g : B A como sigue.
1
f (x) , si x f A ,
g(x) =
a
, si no ,
entonces g es sobreyectiva.
121
iii) i)
Supongamos A 6= 0 y sea g : B A sobreyectiva. Entonces
g 1 A induce una particion de B , a saber, {g 1 {a} : a A}. Por el
axioma de eleccion, escogemos un sistema de representantes para esta
particion. Definimos f : A B asignando a x A el representante
de g 1 {x} anteriormente elegido. Es claro que f es inyectiva, luego,
|A| |f A| y f A B, luego por 5.5, |A| = |f A| |B|.
Observemos que el axioma de eleccion se usa solamente en la demostracion de iii) i). Todas las otras implicaciones se pueden demostrar sin ese axioma. Todava no hemos dado ning
un ejemplo de
cardinal. Los siguientes dos teoremas remedian esta situacion.
Teorema 5.7. Si n , entonces n es un cardinal.
n. Por induccion.
Demostracio
Es claro que 0 es un cardinal.
Supongamos que n es un cardinal y n + 1 no lo es. Entonces
existe m < n + 1 tal que m n + 1, es claro que m 6= 0. Sea
f : n + 1 m una biyeccion. Podemos suponer que f (n) = m 1,
porque si no, mediante una permutacion apropiada lo podemos lograr.
Entonces f n : n m 1 es una biyeccion, luego, por hipotesis
de induccion, m 1 = n, o sea, m = n + 1, una contradiccion. Por lo
tanto n + 1 es cardinal, lo que completa nuestra induccion.
Teorema 5.8. es cardinal.
n. Sabemos por 5.3, iii), que || . Si || <
Demostracio
, || = m para alg
un n
umero natural m.
Pero m m + 1 , luego
|| = m = |m| |m + 1| = m + 1 ||
luego m = m + 1, contradiccion.
Luego || = .
Teorema 5.9. Cantor
Para todo A, |A| < |PA|.
n. Es claro que |A| |PA| ya que la asignacion

Demostracio
a 7 {a} define una funcion inyectiva de A en PA.
Supongamos que existe una funcion sobreyectiva f : A PA y
sea
122
B = {x A : x 6 f (x)}.
Como B A y f es sobreyectiva, existe a A tal que B = f (a).
Entonces si a B, por definicion a 6 f (a), luego a 6 B. Si
a 6 B, entonces a 6 f (a), o sea, a B, es decir,
a B si y solo si a 6 B,
contradiccion, luego tal funcion sobreyectiva no puede existir y |A| =
6
|PA|.
Corolario 5.10. Dado un ordinal , existe un cardinal m > .
n. Basta considerar
Demostracio
m = |P|.
Corolario 5.11. No existe el conjunto de todos los cardinales.

n. Si existiera el conjunto C de todos los cardinales,
Demostracio
por el teorema recien demostrado, el conjunto
[
{ n : < n}
nC
contendra a todos los ordinales y por lo tanto estos constituiran

tambien un conjunto.
S
Teorema 5.12. Si es un conjunto de cardinales, entonces
es un cardinal.
S
Demostraci
o
n.
Supongamos
S
S
S no es un cardinal, entonces,
| | < (recordemos que
es un ordinal). Luego, existe
n
[
| | n ,
S
pero n y
[
[
| | < n = |n| | | .
n 5.3. Para todo ordinal , + es el menor cardinal
Definicio
mayor que .
Definimos la operacion (aleph) recursivamente para todo ordinal.
123
0 =
+1 = ( )+
[
=
, si es lmite.
<
Ejercicios.
1. Demuestre que la relacion ser equinumeroso es refleja simetrica
y transitiva.
2. Probar que:
(a) PPP0 4.
(b) Si A B, entonces C A C B.
(c) Si B C = , entonces BC A B A C A.
(d) C (B A) BC A.
(e) C (A B) C A C B.
(f) Si R1 es el conjunto de todos los ordenes estrictos sobre X
y R2 es el conjunto de todos los ordenes sobre X, entonces
R1 R2 .
(g) Probar que si E es el conjunto de todas las clases de equivalencia sobre A y P es el conjunto de todas las particiones
de A , entonces E P .
3. Sea A un conjunto. Probar que PA A 2.
4. Sea {Ij : j J} una particion de I. Probar que
Y
Y Y
Ai
(
Ai ).
iI
jJ iIj
5. Si A1 A2 y B1 B2 y A1 B1 = A2 B2 = , probar que
A1 B1 A2 B2 .
6. Probar que si A C y B D, entonces A B C D.
7. Probar que si A B, entonces PA PB.
8. Probar que si (A B) (B A), entonces A B.
9. Probar que si A B y a A y b B, entonces (A {a})
(B {b}).
10. Probar que si A B y C D y C A y D B, entonces
(A C) (B D).
11. Sean (Ai )iI y (Bi )iI dos familias, cada una de conjuntos
disjuntos
dos
S
S a dos. Si Ai Bi para todo i I, probar que
A
i
iI
iI Bi .
12. Sean (Ai )iI y (Bi )iI dos familias
tales que Ai
Q de conjuntos
Q
Bi para todo i I. Probar que iI Ai iI Bi .
124
13. Demuestre las partes del teorema 5.3 que no fueron demostradas
en el texto.
14. Haga la induccion mencionada en la demostracion del teorema
5.4.
15. Demuestre directamente, sin usar el axioma de eleccion, la equivalencia de las dos primeras afirmaciones del teorema 5.6.
16. Demuestre directamente, sin usar el axioma de eleccion, la implicacion i) iii) del teorema 5.6.
17. Probar que para intervalos de n
umeros reales se tiene (a, b)
[a, b].
18. Probar que y | 2| son cardinales distintos.
19. Probar que |Q| = |Q[x]| = , donde Q[x] es el conjunto de
polinomios en x con coeficientes en Q.
20. Sea R el conjunto de todas las races reales de polinomios de
Q[x]. Probar que |R| = .
21. Si B A y |B| < |A|, cual es la cardinalidad de A B ?.
22. Probar que es un cardinal tal que < si y solo si es
ordinal lmite.
23. Para y ordinales, probar o dar contraejemplo de:
(a) Si y son cardinales, entonces + es cardinal.
(b) Si y son cardinales, entonces es cardinal.
(c) | + | = || + ||.
(d) | | = || ||.
(e) Si < , entonces || < ||.
24. Sean A , B y C conjuntos. Probar que:
(a) Si B 6= , entonces |A| | B A|.
(b) SI B C, entonces | B A| | C A|.
(c) Si |B| 2, entonces |A| | A B|.
25. Probar que para todo , es un cardinal.
26. Probar que:
(a) = si y solo si = .
(b) < si y solo si < .
27. Probar que para todo cardinal existe un ordinal tal que
< .
2. Conjuntos Finitos y Conjuntos Infinitos
En esta seccion daremos un marco formal a la nociones intuitivas
de finitud e infinitud yveremos algunas diferencias entre estos dos tipos
de conjuntos.
n 5.4.
Definicio
i) Un conjunto A es finito si |A| < 0 .
ii) A es infinito si |A| 0 .
125
iii) A es enumerable si |A| = 0 .

Una consecuencia inmediata de esta definicion es que los n
umeros
naturales son finitos, es mas, la cardinalidad de un conjunto finito es
siempre un n
umero natural. As por ejemplo
|{x}| = 1 ,
|{x, y}| = 2 , si x 6= y, etc.
Teorema 5.13. Si A B o existe una funcion sobreyectiva f :
B A, entonces:
i) Si A es infinito, B es infinito,
ii) Si B es finito, A es finito.
n. Si A B, use el teorema 5.5.
Demostracio
Si existe una funcion sobreyectiva f : B A, entonces como
existe una biyeccion g : |A| A, tenemos que
g f : |A| B
es una funcion sobreyectiva, luego por el teorema 5.6, |A| |B|. (Aqu
es donde hemos usado el axioma de eleccion.)
La conclusion del teorema se sigue de esta afirmacion.
Teorema 5.14. Si A es finito y B A, entonces |B| < |A|.
n. Sea b A B y f : A m una biyeccion.
Demostracio
Podemos suponer que f (b) = m 1 pues si f (b) 6= m 1 podemos
permutar dos valores de f y la funcion resultante sigue siendo biyectiva.
Entonces
f B : B m 1
es inyectiva y por el teorema 5.6,
|B| m 1 < m = |A|.
Recuerdese que esta parte del teorema 5.6 no requiere del axioma de
eleccion.
El teorema anterior caracteriza a los conjuntos finitos, de hecho, se
puede definir conjunto infinito como un conjunto que es equinumeroso
con uno de sus subconjuntos propios. Un conjunto que satisface esta
propiedad se dice Dedekindinfinito. Se necesita el axioma de eleccion
para demostrar que ser infinito y ser Dedekindinfinito es equivalente.
Teorema 5.15. Un conjunto A es infinito si y solo si A es
equinumeroso con uno de sus subconjuntos propios.
126
n. ) Por el teorema anterior.

Demostracio
) Como A es infinito, |A| 0 = , luego existe una funcion

inyectiva f : A. Definamos
h : A A {f (0)} como sigue

f (f 1 (x) + 1) si x f ,
h(x) =
x
si x 6 f .
es claro que h es biyectiva.
Teorema 5.16. Si A y B son finitos, |A| = |B| y f : A B,
entonces f es inyectiva si y solo si f es sobreyectiva.
n. ) Supongamos f es inyectiva. Si f no es
Demostracio
sobreyectiva, entonces como f A B, por 5.14
|A| = |f A| < |B|,
contradiccion.
) Supongamos que f es sobreyectiva. Entonces f induce la siguiente particion sobre A :
{f 1 {b} : b B}
Podemos seleccionar un representante de cada elemento de la particion y definir

g : B A
b 7 el representante de f 1 {b} seleccionado.
Observese que como B es finito, la particion indicada es finita y por lo
tanto para seleccionar un representante de cada elemento de la particion
no es necesario el axioma de eleccion.
Es claro que f (g(b)) = b y que g es inyectiva. Aplicando la primera
parte de esta demostracion a g, esta es sobreyectiva, es decir, g es
biyectiva. Por u
ltimo f = g 1 , luego f es inyectiva.
Ejercicios.
1. Demuestre que un conjunto A es Dedekindinfinito si existe una
funcion inyectiva de A en A , que no es sobreyectiva.
2. Sea F una funcion de A sobre B , con A enumerable. Probar
que |B| 0 .
127
3. Probar que, si A y B son finitos, entonces A B, A B y

A
B son finitos. Si A o B son enumerables es alguno de los
conjuntos mencionados infinito no numerable?.
4. Probar que A es infinito si y solo si existe un subconjunto enumerable de A .
5. Probar que si A es infinito y B no es vaco, entonces A B es
infinito.
6. Probar que si A es infinito y B A es finito, entonces A B
es infinito.
7. Probar que A es infinito si y solo si para todo n existe
B A con B n.
8. Sean A infinito y B enumerable. Probar que A (A B).
9. Probar que si A es enumerable y x A, entonces A {x} es
enumerable.
Probar que A es infinito si y solo si A (A {x}).
10. Probar que si PA es infinito, entonces A es infinito.
11. Probar que todo subconjunto de un conjunto enumerable es finito
o enumerable.
12. Probar que si A y B son enumerables, entonces A B es
enumerable. Probar lo mismo si B es finito no vaco.
13. Sea
S (Ai )i una familia de conjuntos enumerables. Probar que
i Ai es enumerable.
14. Probar que si A es enumerable, entonces existe B A enumerable tal que A B es enumerable.
15. Probar que si n , entonces n es enumerable (exponenciacion ordinal).
S
16. Probar que si I = , entonces iI i es enumerable.
17. Probar que el conjunto de todos los subconjuntos finitos de un
conjunto enumerable es enumerable.
18. Probar que si A es infinito, entonces A es enumerable si y solo
si A B para todo B A infinito.
19. Probar que si A es el conjunto de los subconjuntos infinitos de
, entonces |A| = | 2|.
20. Sea a = (an )n una familia de naturales. Entonces:
(a) Diremos que a es eventualmente constante si existen n0
y s tales que an = s para todo n n0 . Probar
que el conjunto de las familias eventualmente constantes
de n
umeros naturales es enumerable.
(b) Diremos que a es eventualmente peri
odica si existen n0
y p 1 tales que an+p = an para todo n
n0 . Probar que el conjunto de las familias eventualmente
periodicas de n
umeros naturales es enumerable.
128
21.
22.
23.
24.
25.
26.
(c) Diremos que a es progresi

on aritmetica si existe d tal
que an+1 = an + d, para todo n . Probar que el conjunto de las progresiones aritmeticas de n
umeros naturales
es enumerable.
Probar que una particion de un conjunto enumerable tiene un
conjunto de representantes, sin usar el Axioma de Eleccion o
alguno de sus equivalentes.
Sea una formula con variable libre x . Probar que si A es
finito y se verifica () y para todo x A y todo B A
si se verifica (B), tambien se verifica (B {x}), entonces se
verifica (A).
Probar que A es finito si y solo si A pertenece a todo conjunto
K tal que K y para todo x A y todo B A tal que
B K, se tenga B {x} K.
Probar que A es finito si y solo si A pertenece a todo conjunto
K tal que K, y x A implica {x} K y, si B K y
C K, entonces B C K.
Probar que A es finito si y solo si PA es el u
nico conjunto K
tal que K PA, K, x A implica {x} K, y si B K
y C K, entonces B C K.
Probar que, si A es enumerable, entonces existe una familia B
de conjuntos tal que:
(a) B es enumerable,
(b) si C B, entonces C es enumerable,
(c) Si
S C y D estan en B , y C 6= D, entonces C D = , y
(d) B = A.
Probar el recproco usando el Axioma de Eleccion.
3. Aritm
etica Cardinal
En esta seccion definiremos suma, producto y exponenciacion de

cardinales y algunas de sus propiedades. Tambien veremos que estas
operaciones tienen una interpretacion intuitiva.
3.1. Suma de Cardinales.
n 5.5. Sea hmi : i Ii una familia de cardinales. La
Definicio
X
suma cardinal de los mi denotada por
mi es el cardinal del conjunto
iI
[
iI
{hi, i : mi }
129
Si I = 2, escribimos
mi = m0 +c m1
i2
Mas generalmente si i = n, escribimos

X
mi = m0 +c +c mn1 .
in
La idea de la definicion es que la suma de cardinales representa la

cardinalidad de la union de conjuntos disjuntos que tienen las cardinalidades indicadas, as por ejemplo,
[
m0 +c m1 = |{(0, ) : m0 } {(1, ) : m1 }|
como
|{(0, ) : m0 }| = m0 y |{(1, ) : m1 }| = m1 ,
la finalidad de tomar estos conjuntos de pares ordenados es simplemente
disjuntar los conjuntos (obviamente m0 y m1 no son disjuntos).
El siguiente teorema nos dice que no importa que conjuntos usemos
para calcular la suma siempre que estos sean disjuntos y tengan las
cardinalidades adecuadas.
Teorema 5.17.
Si hAi : i Ii y hBi : i Ii son familias de conjuntos disjuntos
dos a dos tales que para todo i I Ai Bi , entonces
[
[
X
Ai
Bi
|Ai |
iI
iI
iI
n. Para i I, sea fi : Ai Bi una biyeccion.

Demostracio
Definimos
f:
[
iI
Ai
Bi
a 7 fi (a) ,
si a Ai .
f esta bien definida ya que los Ai son disjuntos a pares, luego a no

puede pertenecer a dos de ellos al mismo
tiempo. Es claro tambien que
S
f es biyectiva. Observese que f = iI fi .
Teorema 5.18.
|
[
iI
Ai |
130
iI
|Ai |.
En particular
[
iI
mi
mi .
iI
n. Si |Ai | = mi para cada i I, sea fi : mi A

Demostracio
biyectiva y definamos:
g:
[
[
{hi, i : mi }
Ai
iI
hi, i 7 fi (a).
P Es facil ver que g es sobreyectiva luego por 5.6, |

iI |Ai |.
iI
Ai |
Algunas propiedades elementales de la suma de cardinales estan

resumidas en el proximo teorema.
X
Teorema 5.19.
i)
0 = 0.
iI
X
ii)
mi = 0.
i0
X
X
iii) Si I J, entonces
mi
mi .
iI
iJ X
X
iv) Si mi ni , para i I, entonces
mi
ni .
iI
iI
X
1 = m.
v)
<m
n. i) y ii) son obvias a partir de la definicion.

Demostracio
iii) Basta notar que
[
[
{hi, i : mi } {hi, i : mi },
iI
iJ
luego aplicar 5.5.

iv) Idem iii) ya que
[
[
{hi, i : mi } {hi, i : ni }
iI
iI
v) Observese que
f : m
{h, i : 1}
7 h, 0i
131
es una biyeccion.
Teorema 5.20. (Conmutatividad Generalizada)

Si hmi : i Ii es una familia de cardinales y es una permutaci
on
de I (i.e. : I I es una biyecci
on), entonces
X
X
mi =
m(i)
iI
iI
n. Considerese
Demostracio
f:
[
[
{hi, i : mi }
{hi, i : m(i) }
iI
iI
1
hi, i 7 h (i), i.
Es claro que f es biyectiva,

por ejemplo, para verificar que f es
S
sobreyectiva, sea hk, i iI {hi, i : m(i) } es decir k I y
m(k) .
Sea j = (k), entonces
con hj, i
f (hj, i) = h 1 (j), i = hk, i,
iI {hi, i
: mi }, luego f es sobreyectiva.
Teorema 5.21. (Asociatividad generalizada)

Sea {hmij : hi, ji I Ji} una familia de cardinales. Entonces
XX
X
mij =
(
mij ).
hi,jiIJ
iI
jJ
n. Para cada hi, ji I J definimos

Demostracio
Aij = {hhi, ji, i : mij }.
Entonces los Aij sondisjuntos a pares y |Aij | = mij , para todo
hi, ji I J. Por el teorema 5.17,
X
[
mij = |
Aij |.
hi,jiIJ
Ademas, para cada i I,

|
jJ
hi,jiIJ
Aij | =
132
X
jJ
mij .
S
Pero h jJ Aij : i Ii es tambien una familia de conjuntos disjuntos a pares luego
X [
[ [
|
Aij | = | ( Aij )|.
iI
jJ
iI jJ
Para terminar basta con notar que

[[
[
Aij ,
Aij =
iI jJ
hi,jiIJ
por asociatividad de la union. Juntando los cuatro resultados anteriores,

X
X X
mij =
(
mij .
hi,jiIJ
iI
jJ
Para completar estos resultados sobre la suma cardinal veremos

algunos teoremas sobre cardinales finitos.
Teorema 5.22. Para todo par de n
umeros naturales m, n,
m +c n = m + n
n. Por induccion sobre n .
Demostracio
Si n = 0, es facil comprobar que m +c 0 = m y lo dejamos como
ejercicio. Luego
m +c 0 = m = m + 0
Antes de demostrar el paso inductivo demostraremos que m +c 1 =
m + 1. En efecto,
f : {h0, `i : ` m} {h1, 0i} m + 1
h0, `i 7 `
h1, 0i 7 m
es una biyeccion, luego m +c 1 = m + 1.
Supongamos ahora que m +c n = m + n entonces
m +c Sn = m +c (n + 1)
= m +c (n +c 1) , por lema,
= (m +c n) +c 1 , por 5.21,
= (m + n) + 1 , por hipotesis y lema,
= m + (n + 1)
=
m + Sn
Esto completa la induccion.
133
Corolario 5.23. Si A y B son finitos, entonces A

lo es.
B tambien
n. Por 5.17, |AB| |A|+c |B| = |A|+|B| < .

Demostracio
3.2. Producto de Cardinales.
n 5.6. Sea hmi : i Ii una familia de cardinales.
Definicio
El producto cardinal de los mi es
Y
XiI mi = |
mi |
iI
Si I = 2, XiI mi se escribe m0 c m1 .
En general si I = n, XiI mi = m0 c m1 c c mn1 .
Como en el caso de la suma, el producto de cardinales no depende de

los conjuntos que empleemos para calcularlo, solo de las cardinalidades
de esos conjuntos.
Teorema 5.24.
Si |Ai | = |Bi | para todo i I, entonces

Y
Y
|
Ai | = |
Bi |.
iI
iI
n. Sea fi : Ai Bi una biyeccion. Consideremos

Demostracio
Y
Y
f:
Ai
Bi
iI
iI
definida por
f (a)(i) = fi (a(i)),
Para todo a iI Ai .
Veamos que f es inyectiva.
Si f (a) = f (b), entonces para todo i I
decir
f (a)(i) = f (b)(i), es
fi (a(i)) = fi (b(i)),
pero como para todo i I, las funciones fi son inyectivas, a(i) = b(i),
es decir, a = b.
Q
Para verificar que f es sobreyectiva. Sea b iI Bi y sea
a(i) = fi1 (b(i)). Tal a(i) existe por ser fi biyectiva. Es claro que
f (a) = b.
Q
Q
Por lo tanto f es biyeccion y
iI Ai
iI Bi .
Q
Corolario 5.25. | iI Ai | = XiI |Ai | y en particular |A B| =
|A| c |B|.
134
El proximo teorema resume algunas propiedades elementales de el

producto cardinal.
Teorema 5.26.
i) Si
XiI mi = 0.
ii) Xi mi = 1.
iii) X
iI 1 = 1.
X
iv)
m = |I| m.
mi = 0 para alg
un i I, entonces
iI
v) Si mi ni , para todo i I, entonces XiI mi XiI ni .

Q
Demostraci
o
n.
i)
En
este
caso
iI mi = .
Q
ii) Qi mi = {0}
iii) iI 1 = {f }, donde f (i) = 0, para todo i I.
iv) Notese que
[
I m = {hi, i : m},
iI
luego por definicion,

X
[
m = | {hi, i : m}|
iI
v) En este caso
iI
= |I c m|
= |I| c m.
Y
iI
mi
ni .
iI
Teorema 5.27. (Conmutatividad Generalizada)

Si es una permutaci
on de I , entonces
XiI mi = XiI m(i) .
n. Considerese la biyeccion
Demostracio
Y
Y
f :
mi
m(i) ,
iI
iI
definida por
f (a)(i) = a((i)).
Teorema 5.28. (Asociatividad Generalizada)
Xhi,jiIJ mij = XiI (XjJ mij ).
135
n. Por el teorema 5.24

Demostracio
YY
XiI (XjJ mij ) = | ( mij )|
iI jJ
Xhi,jiIJ mij = |
Definimos F :
hi,jiIJ mij
hi,jiIJ
mij |
Q
(
jJ mij )
iJ
F (f )(i)(j) = f (hi, ji).
Es claro que F es biyeccion.

Teorema 5.29. (Distributividad)
Si para todo i I ni es un cardinal,
X
X
n c
ni =
m c ni .
iI
iI
n. Notemos primero que

Demostracio
X
[
m c ni = | {hi, , i : m, ni }|,
iI
iI
ya que para todo i I,
n c ni {hi, , i : m, ni }.
Por otra parte
n c
Por u
ltimo
F : m c
[
iI
X
iI
ni = |m c
[
{hi, i : ni }|.
iI
{hi, i : ni }
[
{hi, , i : m, ni }
iI
h, hi, ii 7 hi, , i
es obviamente biyectiva.
El siguiente teorema tiene por consecuencia el que las operaciones
de suma y producto cardinal para el caso infinito son en alg
un sentido
triviales.
Teorema 5.30. Sea m un cardinal infinito. Entonces
m c m = m
136
n. Supongamos que esto es falso. Sea m el menor

Demostracio
cardinal tal que m c m 6= m. Definiremos un orden sobre el producto
cartesiano m c m y demostraremos que este es un buen orden.
Para , , , m definimos
h, i 4 h, i
si y solo si
1. =
y
= o
2. < o
3. =
y
< o
4. =
y
=
y
.
No demostraremos que 4 es un orden lineal sobre m c m pues
su demostracion es rutinaria. Para ver que 4 es un buen orden, sea
m c m no vaco.
Sea
\
= { : h, i },
es claro que existe pues es el menor elemento de un conjunto no
vaco de ordinales.
Sea
\
= { : h, i } para alg
un y = }.
Finalmente sea
\
{ : h, i }
Es facil ver que h, i es el menor elemento de .

Luego, 4 es un buen orden con campo m c m y por lo tanto es
isomorfo a alg
un ordinal .
Sea f : m c m el isomorfismo (i.e. si < , entonces
f () 4 f ()). Notese que en particular, m c m.
Supongamos que m. Entonces
m c m = |m c m| = || m = m c 1 m c mc
donde para el u
ltimo paso hemos usado 5.26, v) , o sea, m c m = m,
una contradiccion.
Por lo tanto > m, es decir m Dom f . Sean
f (m) = h, i m m
= ( ) + 1.
Como m es lmite, m y < = por lo tanto
(, 4 (, ).
De hecho para todo < m
137
Por lo tanto
f () 4 f (m) 4 h, i y f () 6= .
es inyectiva, luego,
f m : m
m | | = || c ||.
Como < m, o bien, es finito, o bien || c || = ||.
En el primer caso m es finito. En el segundo m || y < m lo
que contradice el que m sea cardinal. Esto concluye la demostracion.
Corolario 5.31. Si m 0
o n 0 , entonces m +c n = m n.
Si ademas m 6= 0 y n 6= 0, m c n = m n.
Si , son ordinales, entonces
+ = = c .
n. Supongamos sin perdida de generalidad que m
Demostracio
0 y m n. Entonces
Luego
m +c n
=
m +c m
m c 2 por 5.26 iv),
m c m
m
m +c n
m +c n = m = m n.
Si ademas suponemos n > 0,
Luego
m c n
=
=
m c m
m
m c 1
m c n
m c n = m = m n.
La observacion respecto de los ahora es obvia.
Corolario 5.32. Sea mS un cardinal infinito, |Ai | m para todo
i I y |I| m. Entonces | iI Ai | m.
138
n.
Demostracio
|
[
iI
Ai |
X
iI
|Ai |
m
iI
= |I| c m
m c m
= m.
Corolario 5.33. La union enumerable de conjuntos enumerables

es enumerable.
Teorema 5.34. (Desigualdad de Zermelo)
Si para todo i I mi < ni ,
X
mi < XiI ni .
iI
n. Como ni mi 6= , existe f
Demostracio
Definimos ahora
[
Y
F : {hi, i : mi }
ni
ii
iI (ni
mi ).
iI
f (j) si i 6= j,
si i = j.
F es inyectiva. En efecto, supongamos que
F (hi, i)(j) =
F (hi, i) = F (hj, i),

es decir, para todo k I,
F (hi, i)(k) = F (hj, i)(k).
Entonces, si i 6= j,
f (j) = F (hi, i)(j) = F (hj, i)(j) =
pero f (j) 6 mj y mj , contradiccion. Luego, i = j. Pero entonces

= y F es inyectiva. Por lo tanto,
X
mi XiI ni .
iI
Supongamos que son iguales. Entonces existe una biyeccion

[
Y
h : {hi, i : mi }
ni .
iI
iI
139
Para cada i I definimos

hi : {hi, i : mi } ni
hi, i 7 h(hi, i)(i) .
Es claro que hi es inyectiva porque h lo es. Entonces
|hi {hi, i : mi }| |{hi, i : mi }| = mi < ni
Podemos usar nuevamente el principio multiplicativo y encontrar
Y
`
(ni ki {hi, i : mi }).
Como `
iI
iI
ni y h es sobreyectiva, existe i I, mi tal que
` = h(hi, i, pero entonces

`(i) = h(hi, i)(i) = hi (hi, i) ki {hi, i : mi },
contradiciendo la definicion de `.
Por u
ltimo verificamos que el producto de cardinales finitos se comporta como lo deseamos.
Teorema 5.35. Si m, n son naturales
m c n = m n
n. Por induccion
Demostracio
- m c 0 = 0 = m 0
- Supongamos m c n = m n. Entonces
m c Sn = |m (n {n})|
= |m n m {n}|
y como la union es disjunta y m {n} m,
m c Sn = m c n +c m
= mn+m
= m Sn .
Corolario 5.36. El producto finito de cardinales finitos es finito.
140
3.3. Exponenciaci
on de Cardinales. Para terminar con esta
seccion definiremos la operacion de exponenciacion de cardinales. Debemos tener presente que al igual que en el caso de las sumas y los productos, la exponenciacion cardinal difiere radicalmente de la exponenciacion ordinal. Sin embargo, diferencia de las otras dos operaciones,
no existe una buena manera de distinguir notacionalmente ambas exponenciaciones. Para no recargar a
un mas una notacion de suyo algo
engorrosa, hemos optado por usar la misma notacion para las dos dejando al contexto como indicador de cual de las dos exponenciaciones
se esta usando. En general, como las letras goticas designan cardinales,
no hay demasiada poibilidad de confusion.
n 5.7. Si m y n son cardinales,
Definicio
mn = |n m|
Es decir la exponenciacion de m por n es la cardinalidad del conjunto
de todas las funciones de m en n . Por simplicidad notacional, cuando
el exponente sea un no lo subrayaremos.
Teorema 5.37. Dados dos conjuntos A y B ,
|A B| = |B||A|
n. Basta probar que A B |A| |B|. Consideremos las
Demostracio
biyecciones f y g como en el diagrama.
A
B
g
F (x)
|A| |B|
Definimos
F :
B |A| |B|
x 7 g x f
F es una biyeccion porque f y g lo son.

Teorema 5.38.
i) m0 = 1.
ii) Si m 6= 0, entonces 0m = 0.
iii) 1m = 1.
iv) m1 = m.
v) XiI m = m|I| .
141
n. i)Q- iv) Son obvias.

Demostracio
v) Basta notar que iI m = I m.
P
Teorema 5.39.
i) m
ii) (XiI mi )n = XiI mni .
ni
= XiI mni .
i) Sea
n.
Demostracio
F :
iI
iI {hi,i:mi }
Y
(ni m)
iI
f 7 F f
donde F (f )(i) es la funcion de ni en m definida por

F (f )(i)() = f (hi, i).
ii) Sea
n
F :
Y
iI
mi
Y
(n mi )
iI
donde F (f )(i) es la funcion de n en mi definida por

F (f )(i)() = f ()(i)
Tanto en i) como en ii) F es biyectiva.
Teorema 5.40.
(mn )p = mnc p .
n. La funcion
Demostracio
F : p (n m)
nc p
definida por
F (f )(h, i) = f ()()
es la biyeccion requerida.
El siguiente teorema es bastante u
til.
Teorema 5.41. Para cualquier conjunto A ,
|P(A)| = 2|A|
142
n. Asociamos a cada conjunto de A su funcion carDemostracio

acterstica:
donde
: P(A) A 2
B 7 B ,
B (x) =
Es claro que es biyectiva.
1 si x B,
0 si x 6 B .
Teorema 5.42. Sean 1 < m n dos cardinales y n > 0 , entonces mn = 2n .

n.
Demostracio
mn
=
=
(2m )n
2mc n
2n
mn ,
en donde hemos usado el hecho de que la exponenciacion es creciente

(ver ejercicios) y dos teoremas anteriores. Luego mn = 2n .
Ejercicios.
1.
2.
3.
4.
5.
Donde usamos el axioma de eleccion en el teorema 5.17?

Probar que si m n, entonces m +c p n +c p.
Probar que si m +c 1 = m, entonces m es infinito.
Probar que si m es infinito, entonces 0 +c m = m.
Sea hmi : i Ii una familia de cardinales que no contiene
a su mayor
elemento. Probar que para todo j I se tiene
P
mj < iI mi .
6. Asumiendo que cada suma es de 0 terminos, probar que:
(a) 1 +c 2 +c 3 +c = 0 .
(b) n +c n +c n +c = 0 .
(c) 0 +c 0 +c 0 +c . . . = 0 .
7. Probar que m n si y solo si existe p tal que m +c p = n.
8. Probar
Pque:
(a) = .
P
(b) Si es ordinal lmite, entonces
.
=
S
(c) Si (i )iI es una
familia
de
ordinales,
con
iI i ,
P
S
entonces = iI i si y solo si = iI i .
143
9. Probar que si m n, entonces m c p n c p.

10. (a) Probar que si m n, entonces mp np .
(b) Sea p 6= 0. Probar que si m < n, entonces pm pn .
Probar tambien que si pm < pn , entonces m < n.
(c) Mas generalmente, demuestre que si m n con m 6= 0
y p q, entonces mp nq .
11. Probar que si n y c = 20 , entonces:
(a) (n+c 2)0 = 0 0 = n+c c = nc c = cn = 0 +c c = 0 c c =
c0 = c +c c = c c c = c2 = c.
(b) (n +c 2)c = c0 = cc = 2c .
(c) 0 6= c 6= 2c .
Q
12. Probar que si I = 1, entonces
iI i = c.
13. Probar que {m : m0 = m} es infinito.
14. Probar que si m +c n = p, entonces (r +c s)p rm c sn .
15. Si m 0 y m n c p, probar que m n o m p.
16. Un cardinal infinito m se dice dominante si n < m y p < m
implica np < m. Probar que m es dominante si y solo si p < m
implica 2p < m.
17. Probar
que si m
P
Qi n paran todo i I, con |I| n, entonces
iI mi n y
iI mi 2 .
18. Probar que 0 20 .
19. Probar que m2 = n2 implica m =
Qn.
20. Probar que si mi = c, entonces
i mi = c.
Q
||
mite, entonces
21. Probar que
= , y si es ordinal l
Q
||
= .
22. Si y son ordinales tales que || y || ,
entonces | + | y | | .
23. Si a es un subconjunto propio de , entonces | a| = .
24. Probar que +1

= c +1 .
25. Probar que si 2 , entonces = 2 .
26. Probar que Q

si n , entonces n = n c 2 .
27. Probar que n n = 0 .
28. Probar que 1 = 0 c 21 .
4. Cardinales Regulares y Singulares
n 5.8. Decimos que el ordinal es cofinal con el ordinal
Definicio
si existe una funcion estrictamente creciente f : que no es
acotada en .
La cofinalidad de es el menor ordinal cofinal con y se le denota
cof ().
144
Observese que si = + 1 es un sucesor, la funcion f : 1

tal que f (0) = no es acotada en , lo que prueba que la cofinalidad
de un sucesor es siempre 1, por lo que este concepto tiene interes solo
para ordinales lmite. El siguiente lema es consecuencia inmediata de
la definicion y puede ser usado como definicion alternativa.
Lema. Si es cofinal con , entonces existe una funcion f :
tal que
f () = .
<
n 5.9. Un cardinal infinito se dice regular si es igual a

Definicio
su cofinalidad. En caso contrario diremos que el cardinal es singular.
Ejemplos
1. es regular.
2. es singular ya que cof ( ) = 0 .
3. Mas generalmente, es singular si y solo si es lmite. Esto
lo demostraremos mas adelante.
Teorema 5.43. Un cardinal
S m es regular si y solo si para todo
X m, si |X| < m, entonces
X < m.
n. Supongamos
Demostracio
que m regular y sea X m tal que
S
|X| < m. Veremos que X 6= m. Para ello sea h : |X| X una
biyeccion y definamos recursivamente f : |X| m como sigue
\
f () = { X : f and h() },
es decir, f asigna a el menor elemento de X que sea mayor o igual
que h() y que todos los valores asignados previamente por f .
Es facil ver por induccion que f es creciente y como para todo
< |X|, h() < f (),
[
[
[
X
h()
f ().
<|X|
Pero por hipotesis y lemma
<|X|
f () < m,
<|X|
que es lo que queriamos demostrar.

Si m no es regular entonces cof (m) m, |cof (m)| = cof (m) < m
S
y
cof (m) = m, es decir, X = cof (m) es un contraejemplo para la
condicion del teorema.
145
Teorema 5.44.
Todo cardinal sucesor infinito es regular.
n. Consideremos el cardinal +1 y sea f :

Demostracio
+1 una funcion creciente donde < +1 .
Para cada < , f () , luego
|
<
X
<
|f ()|
X
<
= || c c = .
Luego f es acotada en +1 y por lo tanto ning

un menor que
+1 puede ser cofinal con el. Por lo tanto cof (+1 ) = +1 y este es
regular.
Ejercicios.
Cual es la cofinalidad de + , , ?
Demuestre que cof () es un cardinal.
Demuestre que cof (cof
S ()) = cof ().
Si m es un cardinal, cof (m) = m.
Demuestre que la funcion f definida en el teorema 5.43 es efectivamente creciente.
6. Demuestre que cof (m) es el menor cardinal n tal que existe
una particion de m en n conjuntos cada uno de los cuales tiene
cardinalidad estrictamente menor que m.
1.
2.
3.
4.
5.
5. La Hip
otesis del Continuo
Por el teorema de Cantor 5.9 sabemos que 0 < 20 , es decir, el
conjunto de todos los subconjuntos de tiene mayor cardinalidad que
. Sin embargo no sabemos si existe alg
un otro cardinal entre 0
y 20 . La afirmacion de que este no es el caso recibe el nombre de
Hipotesis del Continuo (HC), es decir
20 = 1 .
Tal nombre se debe a que, como sabemos, el conjunto R de los

n
umeros reales, o continuo, es equinumeroso con el conjunto potencia
de . En otras palabras, HC dice que el segundo cardinal infinito
es la cardinalidad de los n
umeros reales. Como corolario se obtiene
que todo subconjunto no enumerable de n
umeros reales tiene la misma
cardinalidad.
146
En la decada del 30, K. Godel demostro que HC es compatible con

ZFC, es decir, que si existe un modelo de ZFC, entonces existe un
modelo en el cual HC tambien es valido. En otras palabras, es imposible
demostrar a partir de ZFCque HC es falsa. En la decada del 60, P.
Cohen demostro que HC tampoco es demostrable a partir de ZFC.
Estos dos resultados conjuntamente implican que HC es independiente
de ZFCy que tanto ella como su negacion pueden ser agregadas como
nuevo axioma de la teora obteniendose resultados muy distintos.
La Hipotesis Generalizada del Continuo (HGC) es la afirmacion
2 = +1 .
Los resultados de Godel y Cohen tambien se aplican a HGC.

Es interesante tambien notar que con posterioridad a los trabajos de Cohen, se ha demostrado que es consistente con ZFCque 20 =
1 , 2 , . . . , pero como veremos a continuacion, no puede tomar cualquier
valor.
Lema.
< 0 .
n. Como sabemos, =
Demostracio
dad de Zermelo 5.34, como m < ,
<
m . Por la desigual-
= 0 .
Corolario 5.45.
20 6= .
n. Si 20 = , entonces
Demostracio
una contradiccion.
20 < (20 )0 = 20 c 0 = 0 ,
Suponiendo HGC resulta bastante facil calcular las exponenciales

de cardinales.
Teorema 5.46. Si n es un cardinal infinito, entonces ncof (n) > n.
147
n. Sea F : cof (n) n be such that

S Demostracio
<cof (n) F () = n. Entonces
n=
<cof (n)
F ()
<cof (n)
Teorema 5.47. Sean m

que HGC es valida. Entonces
m
n
m+
m =
n+
|F ()| <
n = ncof (n) .
<cof (n)
y n dos cardinales infinitos y suponga
si
si
si
n < cof (m),

cof (m) n m,
m<n.
n. (i) Supongamos que n < cof (m). Sea f n m

Demostracio
entonces f es acotada en n , luego f n , para alg
un m. luego
m = |n m|
n
[
|
|
<m
<m
||n
(|| n)||n
<m
(|| n)+ ,
por 5.42 y HGC,
<m
<m
m = m c m = m
(ii) Si cof (m) n m,
m < mcof (m) mn = m+ ,
por lo tanto mcof (m) = m+ .

(iii) Es consecuencia directa de 5.42 y HGC.
Ejercicios.
1. Demuestre que HGC es equivalente con mcof (m) = m+ , para
todo m infinito.
148
2. (Hausdorff) Demuestre que
+1
= c +1 .
3. Demuestre que dados dos cardinales m y n, m > 2 y n > 0 ,

se tiene cof (mn ) > n.
Concluya que 20 6= .
149
150
Bibliografa
[1] Chuaqui, R. B. Aximatic Set Theory. Impredicative Theories of Classes. North
Holland, 1981.
[2] Di Prisco, C. A. Una Introduccion a la Teora de Conjuntos y los Fundamentos
de las Matematicas. IVIC., Venezuela, 1996. Notas de Clase.
[3] Enderton, H. B. Introduction to Set Theory. Academic Press, 1977.
[4] Hrbacek, K. y Jech, T. Introduction to Set Theoru. Marcel Dekker, 1984.
[5] Kunen, K. Set Theory, an Introduction to independence proofs. North-Holland,
1980.
[6] Kuratowski, K. y Mostowski, A. Set Theory, with an introduction to descriptive set theory. NorthHolland, 1976.
[7] Monk, J. D. Introduction to Set Theory, Mac Graw-Hill, New York, 1969.
[8] Moore, G. H. Zermelos Axiom of Choice. Its origins, Development, and influence. SpringerVerlag, 1982.
151
152
Glosario
funci
on inversa 30
imagen de un conjunto por una funcion
30
funci
on de a en b 31
funci
on inyectiva 31
funci
on uno a uno 31
funci
on sobreyectiva 31
funci
on identidad 33
restricci
on de una funcion 33
relaci
on reflexiva 40
relaci
on simetrica 40
relaci
on transitiva 40
relaci
on de equivalencia 40
clase de equivalencia 41
partici
on 42
partici
on asociada a una relacion de
equivalencia 42
relaci
on asociada a una particion 42
relaci
on antisimetrica 44
relaci
on conexa 45
orden parcial 45
orden total 45
relaci
on asimetrica 46
orden estricto 46
relaciones isomorfas 46
isomorfismo de orden 46
preorden 47
cota superior 48
cota inferior 48
supremo 48
nfimo 48
elemento minimal 48
elemento maximal 48
relaci
on bien fundada 49
buen orden 49
sucesor 57
conjunto Inductivo 58
n
umeros naturales 58
Principio de Induccion 58
clase propia 6
pertenencia 8
Axioma de Extensionalidad 9
subconjunto 9
Axioma del Conjunto Vaco 9
conjunto vaco 10
10
Axioma de Separacion 10
Axioma de Pares 11
par no-ordenado 11
singleton 11
Axioma de Uniones 11
union 11
interseccion 12
conjuntos disjuntos 12
Axioma del Conjunto Potencia 13
conjunto potencia 13
Axioma de Regularidad 13
Axioma del Conjunto Infinito 14
funcion proposicional 14
Axioma de Reemplazo 14
complemento relativo 17
diferencia de conjuntos 17
complemento 18
par ordenado 23
producto cartesiano 24
relacion 24
dominio de una relacion 24
recorrido de una relacion 24
campo de una relacion 25
composicion de relaciones 25
inversa de una relacion 25
imagen de un conjunto por una relacion
27
funcion 30
dominio de una funcion 30
recorrido de una funcion 30
campo de una funcion 30
composicion de funciones 30
153
Principio de Induccion Completa 61

transitivo 64
ordinal 64
Principio de Induccion Transfinita 70
ordinal sucesor 70
ordinal 70
clausura transitiva 75
funcion nodecreciente 75
funcion estrictamente creciente 75
funcion continua 75
funcion normal 75
jerarqua acumulativa 101
universo de von Neumann 101
funcion de eleccion 105
equinumerosos 117
cardinal 117
cardinalidad 119
cardinal de un conjunto 119
Teorema de Cantor, Schroeder y Bernstein 119
Teorema de Cantor 122
123
conjunto finito 125
conjunto infinito 126
conjunto enumerable 126
suma cardinal 129
Teorema de Zermelo 139
cofinal 144
cofinalidad 144
Hipotesis del Continuo 146
Hipotesis Generalizada del Continuo
147
154

Sets PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sets PDF

Cargado por

Copyright:

Formatos disponibles

TEORIA AXIOMATICA DE

CAPITULO 4. El Axioma de Eleccion

trabajo de E. Zermelo el primero en proponer una teora en los primeros

Supondremos que el lector esta familiarizado con la terminologa y simbologa

Solamente aquellas expresiones obtenidas por la aplicacion de (un

seamos capaces de determinar cual de las dos se cumple!). Una oracion

ssi z(z x z y).

Entonces, como ya sabemos que x y puede escribirse en el lenguaje L,

En este caso tenemos que si R R, entonces

lo cual es una contradiccion, luego R

Un caso particular que merece una notacionSespecial es el siguiente.

El lector seguramente esta familiarizado con el concepto de union

y, en general, iterando el proceso, podemos definir ntuplas noordenadas

En rigor, para definir x y no necesitamos A5. Como podramos

A6. Axioma del Conjunto Potencia:

X Y z(z Y u(u z u X))

A7 ya que para cualquier y A, digamos y = am para alg

donde a es un conjunto fijo, etc.

De hecho, este axioma parece mas complicado de lo que es. La

Godel en 1930) que no puede completarse, es decir, aunque agreguemos

Teorema 2.1. No existe el complemento, de ning

(d) Expresar los siguientes conjuntos usando los conjuntos 0,

14. Si b a y c a , probar que

18. Demuestre todas las afirmaciones que no se demostraron en el

a y b se llaman la primera y segunda coordenada de ha, bi , respectivamente.

Si a = b, tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} =

Podemos ahora definir triples ordenados y, en general, n-tuplas ordenadas.

Lema 2.6. Si a A y b A, ha, bi PPA.

Cam R = Dom R Rec R.

Es claro que S R y R1 son conjuntos.

Teorema 2.8. Si R , S y T son relaciones, entonces

Esto implica que existe z tal que hx, zi S y hz, yi S,

La inclusion inversa se demuestra en forma analoga y se deja

n 2.6. Si R es una relacion y a un conjunto la imagen

estan resumidas en el siguiente

Teorema 2.10. Sean R , S relaciones y a y b conjuntos.

b = {{}} y R = {h, i, h{}, i}.

Entonces a b = , luego R (a b) = . Pero R a = {}

Esto demuestra que Dom(SR) R1 (Dom S), la otra inclusion

Probar que ha, b, ci0 = hd, e, f i0 no implica que a = d y

(c) Cuantas relaciones se pueden formar en un conjunto de n

11. Probar que si R, S, T son relaciones y a, b, c conjuntos, entonces:

(a) Si R = {h1, 2i, h1, 3i} y S = {h3, 3i}, calcular R + S y

14. Encontrar contraejemplos para las siguientes afirmaciones:

En otras palabras, F (x) es aquel u

Dom F = Dom G y x F (x) = G(x).

Observemos tambien que de acuerdo con esta notacion,

iii) F es una funcion inyectiva o uno a uno si

xy(F (x) = F (y) x = y),

() Supongamos que F es inyectiva y sean c un conjunto cualesquiera

Como ademas Dom G = Dom H = c, G = H.

F G(x) = F (G(x)) = F (d) = F (e) = F (H(x)) = F H(x),

Teorema 2.12. Sean F , G funciones.

Teorema 2.13. Sean F , G funciones.

se llama la funcion identidad en a .

iii) F es biyectiva si y solo si existe una funcion G : b a tal

(Observese que G es efectivamente un conjunto. Como verificamos esto?)

ya que F (x) F a. Y como Dom G F = Dom F = a,

1. Considerando los conjuntos N, Z, Q y R, de ejemplos de funciones F tales que:

para hx, yi a c. Probar que:

si para todos x, y a se tiene que G(x) = G(y) implica

(b) Sea d a tal que F Ia  d = G Ia  d . Probar que

(a) Probar que F (d) = d y F (e) = e .

(b) Sea d a tal que F Ia d = G Ia d . Probar que