TEORIA DE CONJUNTOS

Por:

D IEGO A LEJANDRO M EJI A G UZM AN

U NIVERSIDAD
FACULTAD

DE

DE

A NTIOQUIA

C IENCIAS E XACTAS

D EPARTAMENTO

DE

NATURALES

M ATEM ATICAS

2010

I NDICE
1.. R ELACIONES

DE

E QUIVALENCIA

Y DE

GENERAL

O RDEN

. . . . . . . . . . . . . . . . . . . . .

1.1. R ELACIONES

DE

E QUIVALENCIA

. . . . . . . . . . . . . . . . . . . . . . . .

1.2. R ELACIONES

DE

O RDEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

. . . . . . . . . . . . . . . . . . . . . . . . .

26

RDENES PARCIALES . . . . . . . . . . . . . . . . . .
O

32

2.. L OS N UMEROS
NATURALES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

41

1.3. C ONJUNTOS

BIEN ORDENADOS

1.4. I SOMORFISMOS

ENTRE

2.1. C ONSTRUCCI ON

. . . . . . . . . . . . . . . . . . . . . . . .

41

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

45

R ECURSI ON
. . . . . . . . . . . . . . . . . . . . . . . . . .

51

2.4. O PERACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

62

2.5. OTROS C ONJUNTOS N UM E RICOS . . . . . . . . . . . . . . . . . . . . . . . .

69

2.2. B UEN O RDEN

2.3. T EOREMA

DE LA

3.. E QUIPOTENCIA

3.3. N UMEROS

4.1. A XIOMA

CONTABLES

E LECCI ON

DE

73

. . . . . . . . . . . . . . . . . . . . . . . . .

80

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

90

Y EQUIPOTENCIA

CARDINALES

3.4. C ONJUNTOS

P RINCIPIO

E LECCI ON

73

PALOMAR . . . . . . . . . . . . . .

FINITOS Y EL

3.2. O PERACIONES

DE

C ONJUNTO

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.1. C ONJUNTOS

4.. E L A XIOMA

DEL

DEL

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

4.2. A PLICACIONES I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

4.3. L EMA

DE

Z ORN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

4.4. A PLICACIONES II

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

4.5. E SPACIOS V ECTORIALES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

Captulo 1

Relaciones de Equivalencia y de Orden

En este Captulo presentamos, de forma muy general, el tipo de relaciones mas elementales que
se trabajan en matematicas. En la primera seccion introducimos la nocion de relacion de equivalencia asociada al concepto de particion. En la segunda seccion definimos que es un orden parcial
y un orden lineal, ademas que analizamos los elementos distinguidos que se les puede encontrar.
En la tercera seccion introducimos un tipo de orden parcial llamado buen orden, al cual se le puede
asociar la nocion de induccion. Por u ltimo, dedicamos la cuarta seccion al estudio de la relacion
entre o rdenes parciales mediante funciones crecientes e isomorfismos.

1.1. Relaciones de Equivalencia

Introducimos la siguiente notacion: xRy denota (x, y) R, lo cual se escribe por practicidad

para decir que x y y estan relacionados por R (cuando R es una relacion). Decimos que R es una
relacion en A si R A A (obviamente, R es relacion segun esto). Esto quiere decir que R solo
relaciona elementos de A.

En matematicas es muy comun definir relaciones en un conjunto a partir de una propiedad, sin
necesidad de mencionar que es la relacion como conjunto. Por ejemplo, definir una relacion R en R
como
xRy y x R+ ,

x, y R

significa que R = {(x, y) R R / y x R+ }. En realidad, R corresponde a la relacion menor

que en R, lo cual se denota por <. As, <= R y claramente es mas practico escribir x < y que
(x, y) <.

Otro ejemplo es la relacion de divisibilidad en Z, la cual esta definida por

m | n kZ (n = m k),

m, n Z.

Formalmente, |= {(m, n) Z Z / kZ (n = m k)}. Claramente, es mas practico dar a entender la relacion mediante su propiedad que desde su definicion formal, pues la primera forma es mas
legible y contiene toda la informacion que se necesita.
En general, dado un conjunto A y una propiedad1 (x, y), para definir una relacion R en A tal
que
xRy (x, y),

x, y A

basta indicar que R = {(x, y) A A / (x, y)}. En adelante, para definir una relacion en un
conjunto determinado, dejamos de indicar la manera formal y optamos solo por dar la propiedad

que la define.
Dado un conjunto A definimos la relacion de identidad en A como
xIA y x = y,

x, y A.

Esta relacion es tambien la funcion determinada por

IA : A A
x 7 IA (x) = x.
Como u ltimo ejemplo, la relacion en el conjunto A definida por
x y x = x,

x, y A

tiene la cualidad de que relaciona todos los elementos de A entre s. Mas aun, es facil ver que
= A A.
1.1 Definicion. Sea A un conjunto y R una relacion en A. Definimos:
(1) R es reflexiva en A si xA (xRx).
(2) R es simetrica en A si x,yA (xRy yRx).
(3) R es transitiva en A si x,y,zA(xRy yRz xRz).
1

Formula en el lenguaje de ZF.

(4) R es una relacion de equivalencia en A si R es una relacion en A que es reflexiva, simetrica y

transitiva en A.
1.2 Ejemplo. (1) Sea M el conjunto de personas en Medelln y sea la relacion definida por
x y x y y viven en el mismo barrio,

x, y M

Bajo la idonea suposicion de que una persona de Medelln no vive en barrios distintos, es una

relacion de equivalencia en M .

(2) La relacion < en R es transitiva, pero no es reflexiva ni simetrica. Por lo tanto, no es una relacion
de equivalencia en R.
(3) La relacion | (divisibilidad) en Z es reflexiva y transitiva, pero no es simetrica. Por lo tanto, no
es relacion de equivalencia en Z.

(4) Dado un conjunto A, la relacion IA es de equivalencia en A debido a que

xIA y x = y,

x, y A

y = cumple las propiedades de reflexividad, simetra y transitividad para todos los conjuntos.
(5) es relacion de equivalencia en A, pues relaciona todos los elementos de A.
(6) Definamos la relacion 4 en Z como
m 4 n 4 | (m n).
Veamos que 4 es una relacion de equivalencia. En efecto, dados m, n, p Z obtenemos:
Reflexividad Pues 4 | 0, es decir, 4 | (m m).
Simetra Si m 4 n entonces existe un k Z tal que m n = 4k. Luego, n m = 4(k),
es decir, 4 | (n m) y por lo tanto n 4 m.

Transitividad Si m 4 n y n 4 p entonces existen k, l Z tal que m n = 4k y n p =

4l. Luego, si sumamos las dos ecuaciones, obtenemos m p = 4(k + l), por lo cual

4 | (m p), es decir, m 4 p.

Una propiedad importante de esta relacion es que, dados m, n Z, m 4 n si y solo si m y n

dejan el mismo residuo al dividirse por 4. Esta afirmacion la tendremos en cuenta mas adelante
cuando discutamos el concepto de clase de equivalencia.
7

1.3 Definicion. Sea R una relacion en A. Definimos [a]R = {x A / xRa} para a A, la cual

llamamos la clase de equivalencia de a (modulo R). Denotamos por A/R = {[a]R / a A} al

conjunto de clases de equivalencia en A (modulo R). A/R tambien se suele llamar A partido R.
Para relaciones de equivalencia, [a]R denota el conjunto de objetos relacionados con a.
1.4 Lema. Sea R una relacion de equivalencia en el conjunto A. Entonces
(a) aA (a [a]R ). Por lo tanto, las clases de equivalencia en A son no vacas.
(b) a,bA (aRb [a]R = [b]R ). Esto indica que dos objetos en A estan relacionados si y solo si
sus clases de equivalencia son iguales.
(c) a,bA ([a]R 6= [b]R [a]R [b]R = ). Esto significa que las clases de equivalencia de A son
disjuntas dos a dos.
(d)

aA [a]R

= A.

Demostracion. (a) Dado a A, como aRa por la reflexividad de R, entonces a [a]R .

(b) Sean a, b A. Supongamos que aRb y veamos que [a]R = [b]R . Probemos [a]R [b]R . Si

x [a]R entonces x A y xRa. Luego, como aRb por la transitividad de R se sigue que xRb,

es decir, x [b]R . La contencion [b]R [a]R se sigue de modo similar.

Para el recproco, supongamos [a]R = [b]R y veamos que aRb. De (a) se tiene a [a]R , luego
a [b]R y se sigue que aRb.

(c) Sean a, b A tal que [a]R [b]R 6= , es decir, que existe un x [a]R [b]R . Veamos que
[a]R = [b]R . Tenemos que x A, xRa y xRb. Por simetra de R, aRx y, por transitividad,

aRb. Luego, de (b) conclumos [a]R = [b]R .

(d) Como aA ([a]R A), es decir, todas las clases de equivalencia de A son subconjuntos de
S
A, entonces el conjunto que resulta de unirlas esta contenido en A, es decir, aA [a]R A.
S
Veamos la otra contencion. Si x A entonces, por (a), x [x]R aA [a]R .
En la prueba de hay un detalle formal que esta implcito y que, por lo general, no se aclara en

matematicas. Ocasionalmente aclararemos estos detalles tecnicos. En este caso, aA ([a]R A)

equivale a yA/R (y A) al hacer el cambio de variable y = [a]R en el cuantificador. Como se

cambia el cuantificador, tambien se cambia el dominio del cuantificador, es decir, en el primer

8

cuantificador se tiene a A y, como se cambia por y = [a]R se tiene que y A/R, es decir, A/R

es el dominio del cuantificador para y. Volviendo al argumento, de yA/R (y A) se sigue que

S
S
S
(A/R) A y, claramente, (A/R) = aA [a]R .
El Lema anterior ilustra la forma en que una relacion de equivalencia divide a un conjunto en sus
clases de equivalencia. Si R es una relacion de equivalencia en A y a A, [a]R es el subconjunto de
A formado por los objetos que estan relacionados con a. Una forma ver a [a]R es como una especie

de sectorformado por a. Si relacionamos esta idea con el Lema anterior, se tiene que:
(a) Un elemento de A pertenece a su propio sector. Por lo tanto, todos los sectores son no vacos.
(b) Dos objetos forman el mismo sector si y solo si estan relacionados.
(c) Dos sectores distintos no tienen miembros en comun.
(d) La union de todos los sectores es el conjunto A. Por lo tanto, todo elemento de A esta en algun
sector.
Esta forma da las siguientes caractersticas a estos sectores, es decir, a las clases de equivalencia:
(1) En un sector, todos sus miembros estan relacionados entre s.
(2) Dos miembros de diferentes sectores no estan relacionados (esto se sigue de (b) y (c)).
De esta forma, una relacion de equivalencia divide al conjunto A en sectores (clases de equivalencia)
en donde los objetos del mismo sector se relacionan y objetos de diferentes sectores no. Este tipo
de particion basta para clasificar una relacion de equivalencia. Antes, consideremos los siguientes
ejemplos basados en las relaciones de equivalencia definidas en el Ejemplo 1.2.
1.5 Ejemplo. (1) Sea M y definidos como en 1.2(1). Si a M entonces [a] es el conjunto
formado por las personas de Medelln que viven en el mismo barrio de a y, por lo tanto, [a]

es, en realidad, el barrio donde vive a. El Lema 1.4 ilustra, para este ejemplo, que
(a) una persona vive en su propio barrio,
(b) dos personas viven en el mismo barrio (aRb) si y solo si sus barrios son el mismo,
(c) dos barrios distintos son disjuntos (esto bajo la hipotesis de que una persona no viva en dos
barrios distintos) y
(d) la union de todos los barrios es Medelln (M ).
9

Por lo tanto, la relacion de equivalencia divide a M en barrios, los cuales son las clases de

equivalencia. Ademas, M/ , segun lo anterior, es el conjunto de todos los barrios de Medelln.

(2) Dado un conjunto A, si consideramos IA (la relacion identidad en A) tenemos que, para todo
a A,
[a]IA = {x A / x = a} = {a}.
Por lo tanto, cada clase de equivalencia formada por IA se compone de un solo miembro,
y esta relacion divide al conjunto A en sectores donde solo hay un objeto. Luego, A/IA =
{{a} / a A}.
(3) Sea A un conjunto y = A A. Si a A,
[a] = {x A / (x, a) A A} = A.

Esto
indica que la relacion de equivalencia determina solo un sector, el cual es el conjunto

completo A. Esto se debe a que, como todos los elementos de A se relacionan entre s, no se

puede separar el conjunto en mas de un sector tal que no se relacionen los objetos que estan en
sectores diferentes. Solo puede haber un sector, todo el conjunto. Luego, A/ = {A}.
(4) Consideremos 4 definida en el Ejemplo 1.2(6). Dados m, n Z, n [m]4 si y solo si m
y n dejan el mismo residuo al dividir por 4. Por lo tanto, [0]4 es el conjunto de divisores de
4, [1]4 es el conjunto de numeros que dejan residuo 1 al dividir por 4, [2]4 es el conjunto
de numeros que dejan residuo 2 al dividir por 4 y [3]4 es el conjunto de numeros que dejan
residuo 3 al dividir por 4. Por lo tanto,
[0]4
[1]4
[2]4
[3]4

=
=
=
=

{n Z / kZ (n = 4k)}
{n Z / kZ (n = 4k + 1)}
{n Z / kZ (n = 4k + 2)}
{n Z / kZ (n = 4k + 3)}

Como cualquier numero entero es de alguna de las formas 4k, 4k + 1, 4k + 2 o 4k + 3, entonces

cualquier entero n pertenece a alguna de las cuatro clases de equivalencia listada anteriormente
y, por lo tanto, [n]4 = [r]4 donde r {0, 1, 2, 3} (de hecho, r es el residuo que deja n al
dividirse por 4). El efecto de la relacion de equivalencia 4 es, por lo tanto, dividir el conjunto

Z en los cuatro sectores [0]4 , [1]4 , [2]4 y [3]4 . Luego, Z/ 4 = {[0]4 , [1]4 , [2]4 , [3]4 }.
10

Z
[0]4
[1]4
[3]4
[2]4

En general, si R es una relacion de equivalencia de A, A/R es el conjunto de los sectores en los

que la relacion divide a A. En general, a cualquier division de un conjunto de sectores le llamaremos
particion, lo cual formalizamos a continuacion.
1.6 Definicion (Particion.). Sea A un conjunto. Decimos que es una particion de A si cumple
las siguientes condiciones.
(i) C (C A).
(ii) C (C 6= ).
(iii) C,D (C 6= D C D = ).
(iv)

= A.

Intuitivamente, una particion de un conjunto A es un conjunto de sectores no vacos en el cual

se puede dividir A. La definicion anterior da las propiedades que se cumple para dicha particion:
(a) Todo sector de la particion es subconjunto de A.
(b) Todo sector de la particion es no vaco.
(c) Los sectores de la particion son disjuntos entre s.
(d) La union de los sectores de la particion es A.
Notamos que, en el ejemplo anterior, se generaron particiones a partir de una relacion de equivalencia, las cuales cumplen las cuatro condiciones anteriores. Este es un hecho general sobre las
relaciones de equivalencia.
1.7 Teorema. Sea A un conjunto. Si R es una relacion de equivalencia en A entonces A/R es una
particion de A.
11

Demostracion. Veamos que A/R cumple las condiciones de la Definicion 1.6.

(i) yA/R (y A). Con cambio de variable y = [a]R , equivale a aA ([a]R A), lo cual es
cierto.

(ii) yA/R (y 6= ). Con cambio de variable y = [a]R , la afirmacion equivale a aA ([a]R 6= ),

lo cual es cierto por 1.4(a).

(iii) y1 ,y2 A/R (y1 6= y2 y1 y2 = ). Con el cambio de variable y1 = [a]R y y2 = [b]R , esta
afirmacion equivale a a,bA ([a]R 6= [b]R [a]R [b]R = ), lo cual es cierto por 1.4(c).

(iv)

(A/R) = A. Directo de 1.4(d), pues

(A/R) =

{[a]R / a A} =

aA [a]R

= A.

El Teorema anterior dice que una relacion de equivalencia induce una particion. La situacion
recproca tambien se cumple, toda particion induce una relacion de equivalencia, lo cual expondremos en lo que resta de esta seccion. El proceso de pasar de una relacion de equivalencia a una
particion es el proceso inverso de pasar de una particion a una relacion de equivalencia (ver Ejercicio 1.11). Por lo tanto, los conceptos de relacion de equivalencia y de particion son, en esencia,
equivalentes, pues tiene el mismo efecto sobre un conjunto.
1.8 Lema. Sea f : A B una funcion. Definimos la siguiente relacion en A:
x f y f (x) = f (y) x, y A.
Entonces:
(a) f es una relacion de equivalencia en A.
(b) Dado a A, [a]f = {x A / f (x) = f (a)}, es decir, [a]f = f 1 [{f (a)}].
Dada una particion de un conjunto A, como e sta representa una division del conjunto en sectores
disjuntos, todo elemento de A pertenece a un u nico sector de la particion. Este hecho se puede
describir mediante la funcion definida en el siguiente resultado.
1.9 Lema. Sea una particion del conjunto A. Entonces aA !C (a C). Este hecho permite

construir una funcion sobreyectiva f : A tal que f (a) es el u nico elemento de al cual a
le pertenece.

12

Demostracion. Sea a A. Como A =

(Definicion 1.6(4)), entonces existe un C tal que

a C. Con esto tenemos la existencia, veamos ahora unicidad. Supongamos C1 , C2 tal que

a C1 y a C2 . Luego, C1 C2 6= y, por Definicion 1.6(3) se sigue C1 = C2 .

De este resultado de existencia u nica se puede definir la funcion f : A tal que, dado a A,

f (a) es el u nico C tal que a C. Veamos que esta funcion f es sobreyectiva. En efecto, si

C entonces, por Definicion 1.6(2), C 6= , por lo cual existe un a C. Por 1.6(1), C A,

por lo cual a A y C = f (a) por definicion de f .

1.10 Teorema. Sea una particion del conjunto A y f la funcion definida en el Lema 1.9. Entonces R =f es una relacion de equivalencia en A tal que A/R = .
Demostracion. Del Lema 1.8 es claro que R es una relacion de equivalencia en A, as que falta
probar que A/R = .
Primero, veamos que [a]R = f (a) para todo a A. En efecto, del Lema 1.8 se sigue que [a]R =
{x A / f (x) = f (a)}. Si x [a]R entonces f (x) = f (a) y, como x f (x) (definicion de

f ), entonces x f (a); recprocamente, si x f (a), como f : A entonces f (a)

y, como f (x) es el u nico elemento de al cual le pertenece x, por unicidad se sigue que f (x) =
f (a), es decir, x [a]R .

Por lo tanto, A/R = {[a]R / a A} = {f (a) / a A} = (la u ltima igualdad se sigue de que

f es sobreyectiva por Lema 1.9).

1.1 Ejercicio. Sea A un conjunto. Indique a que conjunto es igual la relacion R definida por
xRy x 6= x

x, y A.

Ademas, indique como debe ser A para que R sea una relacion de equivalencia.
1.2 Ejercicio. Sea R una relacion en A. Probar que R es una relacion de equivalencia en A si y solo si
domR = A y R = R1 R.
T
1.3 Ejercicio. Sea A un conjunto y R 6=
tal que RR (R es rel. de eqv. en A). Entonces R es relacion
T
de equivalencia en A y aA ([a]T R = RR [a]R ).
1.4 Ejercicio. Probar el Lema 1.8. Ademas, pruebe:


(a) A/ f = f 1 [{b}] / b ranf .

(b) Sea : A A/ f tal que (a) = [a]f . Pruebe que es sobreyectiva y (a) = (b) f (a) = f (b)
para todo a, b A.

(c) Pruebe que la siguiente funcion esta bien definida: fb : A/ f B tal que fb(y) = f (a), donde a es
algun elemento de A tal que y = [a]f . Ademas, pruebe que fb es inyectiva.

(d) Pruebe que existe una u nica funcion inyectiva g : A/ f B tal que g = f . Sugerencia: Pruebe
que cualquier g que cumpla este enunciado es igual a fb.

13

1.5 Ejercicio. Sea R una relacion de equivalencia en A y : A A/R definida por (a) = [a]R . Pruebe
que = R.
1.6 Ejercicio. Sea f : A B y S una relacion de equivalencia en B. Defina la relacion R en A como
xRy f (x)Sf (y),

x, y A.

Pruebe que:
(a) R es una relacion de equivalencia en A.


(b) aA [a]R = f 1 [[f (a)]S ] .

(c) Si S = IB , pruebe que R =f (f definido en el Lema 1.8).

1.7 Ejercicio. Pruebe que la condicion (1) de la Definicion 1.6 es redundante (es decir, se prueba de (2), (3)
y (4)).
1.8 Ejercicio. Si P es particion de A y Q es particion en B, entonces:
(a) Si A B = entonces P Q es particion de A B.
(b) H = {C D / C P

D Q} es particion de A B.

1.9 Ejercicio. Sea una particion del conjunto A. Definamos la relacion en A como
a b C (a C

b C),

a, b A.

Pruebe que es igual a la relacion de equivalencia definida en el Teorema 1.10.

1.10 Ejercicio. Sea R una relacion de equivalencia en A y sea = A/R. Al definir f como en el Lema
1.9, probar que:
(a) aA (f (a) = [a]R ).
(b) = R, donde es la relacion definida en el Ejercicio anterior.
1.11 Ejercicio. Sea A un conjunto. Definamos
R = {R A A / R rel. de eqv. en A}
P = { / es particion de A} .
Pruebe que
(a) R y P son conjuntos.
(b) Definamos las funciones
F: R P
R 7 F(R) = A/R

G: P R
7 G() = .

Pruebe que G es inversa a izquierda y a derecha de F, por lo cual se puede concluir que F es biyectiva.

14

1.2. Relaciones de Orden

Es bien sabido que los numeros reales poseen una estructura que permite saber cuando un
numero es menor que otro. Este tipo de estructura se conoce como orden, puesto que permite ordenar los numeros de menor a mayor. En esta seccion definimos lo que significa un orden para
cualquier tipo de conjunto, ademas que introducimos los tipos de orden basicos.
2.1 Definicion (Orden parcial). Sea A un conjunto y R una relacion en A.
(1) R es antisimetrica en A si x,yA (xRy yRx x = y).
(2) R es un orden parcial en A si R es reflexiva, antisimetrica y transitiva en A. Este concepto
tambien se lee como hA, Ri es un C.P.O (conjunto parcialmente ordenado) o hA, Ri es un o.p.

(orden parcial).

2.2 Ejemplo. (1) La relacion es un orden parcial en R.

(2) La relacion de divisibilidad | no es un orden parcial en Z. Sabemos que es reflexiva y transitiva,
pero no es antisimetrica, pues 1 | 1, 1 | 1, pero 1 6= 1.

(3) La relacion de divisibilidad | es un orden parcial en Z+ {0}, pues la antisimetra se cumple

para los enteros no negativos.
(4) La relacion es una relacion de orden en cualquier conjunto A. En terminos estrictos, se define
x A y x y,

x, y A

y esta relacion A determina un orden parcial en A. Como dicha relacion tiene el mismo sig-

nificado de , solo que restringido al conjunto A, no es necesario senalar el subndice A para

hablar de la contencion como un orden parcial en A.

De los ejemplos anteriores se infiere que una relacion de orden parcial se comporta como un
menor o igual. El siguiente concepto se relaciona con el concepto de menor (estricto).
2.3 Definicion (Orden parcial estricto). Sea S una relacion en A.
(1) S es irreflexiva en A si xA (xSx).
(2) S es asimetrica en A si x,yA (xSy (ySx)).
15

(3) S es un orden parcial estricto en A si S es irreflexiva y transitiva en A. Este concepto tambien

se lee como hA, Si es un o.p.e. (orden parcial estricto).
Una propiedad importante sobre ordenes parciales estrictos es que tambien satisfacen asimetra. De
hecho, si S es transitiva en A, entonces S es irreflexiva si y solo si S es asimetrica.
2.4 Ejemplo. (1) La relacion < es un orden parcial estricto en R.
(2) Definamos la siguiente relacion en Z+ {0}:
mSn m | n m 6= n,

m, n Z+ {0}.

Esta
es una relacion de orden parcial estricto en Z+ {0} (lo cual es consecuencia directa del
Lema 2.5).
(3) La relacion ( es un orden parcial estricto en cualquier conjunto A. Como en el Ejemplo 2.4, se
define (A como la restriccion de ( al conjunto A, pero el subndice no es esencial para trabajar
dicha relacion.
Notese que los ordenes parciales estrictos del ejemplo anterior estan asociados a los ordenes
parciales del Ejemplo 2.2. As como, al razonar con desigualdades, se puede pasar del menor o
igual al menor y viceversa, para cualquier conjunto un orden parcial se puede asociar a un orden
parcial estricto y viceversa. Este hecho se justifica en el siguiente resultado.
2.5 Lema. Sea A un conjunto.
(a) Sea R un orden parcial en A y SR la siguiente relacion en A:
xSR y xRy x 6= y,

x, y A.

Entonces hA, SR i es un o.p.e..

(b) Sea S un orden parcial estricto en A y RS la siguiente relacion en A:
xRS y xSy x = y,

x, y A.

Entonces hA, RS i es un C.P.O..

Demostracion. (a) SR es irreflexiva. Dado x A, como x = x es cierto, entonces xRx x 6= x
es falso, es decir, (xSR x).

16

SR es transitiva. Sean x, y, z A tal que xSR y y ySR z, es decir, xRy, yRz, x 6= y y y 6= z.

Se sigue que xRz por la transitividad de R. Para probar xSR z falta ver que x 6= z.

Supongamos por el contrario que x = z de donde, como yRz entonces yRx y, como
xRy, por la antisimetra de R se sigue que x = y, lo cual es una contradiccion.
(b) RS es reflexiva. Dado x A, como x = x se sigue xRS x.
RS es antisimetrica. Dado x, y A tenemos
xRS y yRS x (xSy x = y) (ySx x = y) (xSy ySx) x = y x = y.
Para la u ltima equivalencia, xSy ySx es falso por la asimetra de S.

RS transitiva. Dado x, y, z A supongamos que xRS y yRS z. Esto

es
(xSy x = y) (ySz y = z)
que a su vez equivale a
(xSy ySz) (xSy y = z) (x = y ySz) (x = y y = z).
De los tres primeros casos se sigue xSz y del u ltimo caso x = z, lo cual permite concluir
que xRS z.

2.6 Observacion. El Lema anterior asegura el comportamiento de un orden parcial como un y

de un orden parcial estricto como un <, ademas que cada orden parcial se asocia a uno estricto y

viceversa, de la misma forma que una desigualdad. As, intuitivamente, un orden parcial, natural o
estricto, representa una desigualdad para un conjunto. Por lo tanto, adoptamos la siguiente notacion:
dado un conjunto A con un orden parcial, denotamos por A a dicho orden parcial, y por <A a su
orden parcial estricto correspondiente. Con esta notacion, el Lema anterior expresa que
x <A y x A y x 6= y
x A y x <A y x = y

x, y A.

Tmabien adoptamos la notacion tradicional de y A x por x A y y y >A x por x <A y. Cuando

no hay lugar a confusion, escribimos las desigualdades sin subndices. Para mas evidencia sobre
esta notacion, ver los Ejercicios 1.14, 1.15 y 1.16.
2.7 Definicion. Sea hA, i un C.P.O.
17

(1) Dos objetos x, y A son comparables si x y y x.

(2) Sea C A. Decimos que C es una cadena en A si todos los elementos de C son comparables
entre s, es decir, x,yC (x y y x).

En los siguientes ejemplos, ademas de ilustrar los conceptos de la Definicion anterior, introducimos la forma de dibujar el grafo de un orden parcial. Estos proveen, de manera mas didactica, la
informacion completa de un orden parcial sin necesidad de ir a su definicion.
2.8 Ejemplo (Grafo de un orden parcial). (1) Sea A = {, {0}, {1}, {0, 1}, {1, 2}, {3, 4}} orde-

nado por contencion. El grafo del orden parcial hA, i consiste en colocar los elementos de A
como nodos y unirlos mediante lneas de modo que los elementos que aparencen debajo son
menores que los que aparecen arriba conectados a ellos. En el siguiente diagrama ilustramos
este tipo de grafo para este ejemplo:
b

{0}
b

{1, 2}

{0, 1}

{3, 4}

{1}
b

Aca se nota que es menor que todos los demas elementos, {0} {0, 1}, {0} y {1} no

son comparables y {3, 4} no es comparable con los elementos de A salvo y e l mismo. Los

subconjuntos C1 = {, {0, 1}}, C2 = , C3 = {{0}, {0, 1}}, C4 = {, {0}, {0, 1}} y

C5 = {{3, 4}} son ejemplos de cadenas en A, mientras que C6 = {, {0}, {1}, {0, 1}}, C7 =

{{0}, {3, 4}} y A son ejemplos de subconjuntos de A que no son cadenas.

(2) Hay ciertos ordenes parciales los cuales son mas practico definirlos y analizarlos desde su grafica que desde su definicion. El siguiente grafo ilustra un orden parcial.
b

e
c

hA, i

b
b

18

h
b

Si llamamos A = {a, b, c, d, e, f, g, h} y R el orden parcial dado por el diagrama, podemos

inferir que aRc, dRg, eRf , hRh, mientras que (bRa), (hRg), (cRd). La definicion formal

de este orden parcial es

R = {(a, a), (a, b), (a, c), (a, d), (a, e), (a, f ), (a, g), (b, b), (b, c), (b, d), (b, e), (b, f ), (b, g),
(c, c), (c, e), (c, f ), (c, g), (d, d), (d, e), (d, f ), (d, g), (e, e), (e, f ), (e, g), (f, f ), (g, g), (h, h)}.
Esta forma es poco practica para definir el orden parcial del grafo, pues provee muy poca informacion acerca del mismo. El grafico basta para definir el orden parcial y determinar sus
propiedades. Por ejemplo, h no es comparable con ningun otro elemento de A y los objetos
no comparables con g son precisamente f y h. Los subconjuntos C1 = {a, c, f }, C2 = {h},

C3 = {a, b, c, e, g} y son cadenas en A, mientras que C4 = {c, d}, C5 = {a, b, c, e, f, g} y

A no son cadenas.

(3) En el orden parcial hR, i todos sus elementos son comparables entre s. Por lo tanto, R es una
cadena y todos los subconjuntos de R son cadenas. Esto se ilustra en el grafico de hR, i, el

cual es, como se conoce, una lnea recta.

b

El ejemplo anterior ilustra que significa, intuitivamente, ser una cadena: notese que los subconjuntos que son cadenas se pueden dibujar como una sola lnea (o curva), mientras que los subconjuntos que no son cadenas se tienden a ramificar en alguna parte y dejan de ser una sola lnea (o
curva). Por eso es que en (1) y (2) el grafo del orden parcial es ramificado, porque no son cadenas,
mientras que en (3) la grafica es una lnea recta porque se trata de la cadena R. Esta aclaracion
advierte sobre algunas propiedades especficas que no se cumplen en todos los o rdenes parciales,
como (x y) y < x. Esta afirmacion es cierta en R, pero no es cierta en los ordenes parciales

de (1) y (2), pues {0} * {1} y {1} (

6 {0}, y (h g) y (g < h). Esto
se debe a que dichos
ordenes paciales contienen elementos no comparables, los cuales hacen dicha implicacion falsa.
Dentro de los ordenes parciales se destacan aquellos en donde todos sus elementos son comparables, es decir, aquellos que se pueden graficar como una lnea recta.
2.9 Definicion (Orden total (lineal)). (a) hA, A i es un C.T.O. (conjunto totalmente ordenado) si
es un C.P.O. que es una cadena. Esto significa que todos sus elementos son comparables, es
decir, x,yA (x A

y A x). Esto tambien se lee como hA, A i es un orden lineal.

19

(b) Una relacion S en A cumple tricotoma si, para todo x, y A, se cumple solo una de las
siguientes condiciones: xSy, x = y o ySx.

(c) hA, <A i es un orden total (lineal) estricto si <A es transitiva y cumple tricotoma.
Es facil notar que todo orden lineal estricto es un o.p.e.. De la misma forma en que se relacionan
los conceptos de orden parcial y o.p.e., se relacionan los conceptos de orden total y orden total
estricto.
2.10 Lema. Sea A un conjunto.
(a) Si hA, A i es un C.T.O. entonces hA, <A i es un orden total estricto.
(b) Si hA, <A i es un orden total estricto, entonces hA, A i es un C.T.O..
Demostracion. (a) Si hA, A i es un C.T.O. del Lema 2.5 es claro que hA, <A i es un o.p.e., as que
solo falta ver que cumple tricotoma. Dados x, y A, como los elementos de A son compara-

bles, entonces x A y y A x, es decir, x <A y x = y y <A x. Es claro que solo se

puede dar una sola de estas tres condiciones, pues de darse dos simultaneamente se contradice
la irreflexividad y la asimetra.

(b) Si hA, <A i es un orden total estricto entonces es un o.p.e. y, por Lema 2.5, hA, A i es un C.P.O..
Veamos ahora que todos los elementos de A son comparables entre s. Dados x, y A se tiene,

por tricotoma, x <A y x = y y <A x, lo cual implica claramente que x A y y A x.

Luego de conocer las propiedades estructurales de un orden parcial (y lineal) en general, definamos algunos de los elementos destacados que pueden contener.
2.11 Definicion. Sea hA, i un C.P.O..
(1) m es un elemento maximal de A si m A y xA (m < x).
(2) n es un elemento minimal de A si n A y xA (x < n).
(3) M es un maximo de A si M A y xA (x M ).
(4) N es un mnimo de A si N A y xA (N x).
20

Hay una distincion fundamental entre lo que significa ser maximal y maximo. En el primer caso
se trata de un elemento de A que no es superado por nadie, mientras que en el segundo se trata de un
elemento de A que esta por encima de todos los elementos de A, lo cual no necesariamente cumple
un maximal. Se da una situacion similar al comparar el concepto de minimal con mnimo. Es claro
tambien que todo maximo es maximal y que todo mnimo es minimal, pero el caso recproco no
siempre es cierto, como se ilustra en los siguientes ejemplos.
2.12 Ejemplo. (1) Retomemos el orden parcial definido en el Ejemplo 2.8(1). Este no tiene elementos maximos, pero {0, 1}, {1, 2} y {3, 4} son sus elementos maximales. Su u nico mnimo,
a la vez minimal, es .

(2) El orden parcial del Ejemplo 2.8(2) no tiene maximos ni mnimos, sus minimales son a y h y
sus maximales son f , g y h.
(3) El conjunto de los numeros naturales2 no tiene maximos ni maximales, y su u nico minimal, el
cual es mnimo, es 0.
(4) R, con el orden usual, no tiene maximales, minimales, maximos ni mnimos.
Algunos textos definen maximal y minimal de otra forma, la cual es equivalente a la que presentamos en la Definicion anterior: m es maximal en A si y solo si m A y xA (m x m = x);

n es un elemento minimal de A si y solo si n A y xA (x n x = n). A lo largo del texto,

usaremos tambien esta definicion alternativa.

En los ejemplos anteriores se nota que el mnimo siempre es u nico, lo cual se garantiza en el
siguiente resultado.
2.13 Lema. Sea hA, i un C.P.O..
(a) Si A tiene un maximo (resp. mnimo), e ste es u nico. Por lo tanto, denotamos por m
ax A el
maximo de A y por mn A el mnimo de A.
(b) Si existe m
ax A (resp. mn A), entonces este es el u nico elemento maximal (resp. minimal) de
A.
Demostracion. La prueba para la situacion maximo-maximal es analoga para la situacion mnimominimal, por lo cual probaremos solo una situacion en cada caso.
2

En el captulo 2 vamos a definir el conjunto de los numeros naturales desde 0. En muchos textos, los numeros
naturales comienzan desde 1.

21

(a) Supongamos que M1 y M2 son maximos de A, es decir, M1 , M2 A, xA (x M1 ) y

xA (x M2 ). En la primera situacion se sigue M2 M1 y en la segunda M2 M1 , por lo
cual M1 = M2 .

(b) Supongamos que mn A existe. Es claro que mn A es minimal en A, pues si x A tal que

x mn(A), como mn A x por antisimetra se sigue x = mn A. Para la unicidad, si n

es minimal en A veamos que n = mn A. En efecto, n A y xA (x n x = n). Como

mn A n, de lo anterior se sigue que mn A = n.

2.14 Definicion (Cotas). Sea hA, i un C.P.O., B A.

(1) m es cota superior de B (respecto a A) sii m A xB (x m). Intuitivamente, una cota
superior de B es un elemento en A (no necesariamente en B) que esta por encima de todos los

elementos de B.
(2) n es cota inferior de B (respecto a A) sii n A xB (n x). Intuitivamente, una cota
inferior de B es un elemento en A (no necesariamente en B) que esta por debajo de todos los
elementos de B.
(3) El supremo de B (respecto a A) se define como sup B = mn {m A / m cota sup. de B} (en
caso de que dicho mnimo exista).
(4) El nfimo de B (respecto a A) se define como nf B = m
ax {m A / m cota inf. de B} (en
caso de que dicho maximo exista).
2.15 Ejemplo. (1) Consideremos R con su orden usual. Con B1 = [0, 1), una cota superior de B1
es cualquier elemento mayor o igual que 1, por lo cual [1, +) es el conjunto de cotas superiores de B1 . Su conjunto de cotas inferiores es (, 0]. Por lo tanto, sup B1 = mn[1, +) = 1
ynf B1 = m
ax(, 0] = 0. Ademas, B1 no tiene maximo, pero tiene mnimo el cual coincide
con nf B1 .

Con B2 =

1

/ n Z+ Z+ = {. . . , }, e ste conjunto no tiene cotas superiores y, por

lo tanto, no tiene supremo. Sus cotas inferiores forman el conjunto (, 0] y as, nf B2 =

m
ax(, 0] = 0. Note que B2 no tiene maximo ni mnimo.
22

|||||||||||||| | |

11 1
54 3

1
2

...

Consideremos B3 = q Q / q 2 < 2 . Para numeros reales sabemos que x2 < 2 si y solo si

2 < x < 2, por lo cual B3 = ( 2, 2) Q. Sus cotas superiores forman el conjunto

[ 2, +) y sus cotas inferiores forman el conjunto (, 2], por lo cual sup B3 = 2 y

nf B3 = 2. Note que B3 no tiene maximo ni mnimo.

(2) Consideremos el conjunto B3 del ejemplo anterior, pero respecto a Q con el orden usual. En este

caso, sus cotas superiores forman el conjunto [ 2, +) Q y el conjunto de cotas inferiores

es (, 2] Q. El primer conjunto no tiene mnimo en Q y el segundo no tiene maximo

en Q, por lo cual B3 , aunque es un conjunto con cotas inferiores y superiores, no tiene supremo
ni nfimo.
Una propiedad caracterstica de los numeros reales es su completez: todo subconjunto de R
que tenga cota superior tambien tiene supremo3 . Esta afirmacion es lo que hace que R tenga mas
estructura que Q, puesto que Q no cumple completez. El ejemplo anterior es una evidencia de la
completez de R y de la incompletez de Q, pues B3 , aunque tiene supremo (e nfimo) respecto a R, no
tiene supremo (ni nfimo) respecto a Q. Esta propiedad de completez es la que hace que R se pueda
ver como una lnea continua de puntos, por lo cual, en ocasiones, a R se le conoce como el continuo.
Las siguientes son propiedades para caracterizar las nociones de supremo e nfimo en un orden
parcial.
2.16 Lema. Sea hA, i un C.P.O., B A.
(a) s = sup B si y solo si
(i) s es cota superior de B.
(ii) mA (m cota superior de B s m).
(b) l = nf B si y solo si
(i) l es cota inferior de B.
(ii) nA (n cota inferior de B n l).
(c) Si existe m
ax B (resp. mn A) entonces B tiene supremo (resp. nfimo) y sup B = m
ax B (resp.
nf B = mn B).
3

Esto
equivale a que todo subconjunto de R que tenga cota inferior tambien tiene nfimo.

23

Demostracion. (a) Denotemos por (B) = {m A / m cota sup. de B}. s = sup B equivale

a s = mn((B)), lo cual equivale a s (B) m(B) (s m), que es precisamente la

conjuncion de (i) y (ii).

(b) Razonamiento analogo al anterior, pero con (B) = {m A / m cota inf. de B}.
(c) Supongamos que existe m
ax B, al cual llamaremos M . Veamos, segun (a), que M es el supremo
de B. De la definicion de maximo se sigue directamente que M es cota superior de B. Ahora,
si m A es cota superior de B, como M B (al ser el maximo de B) entonces M m.

La situacion para el mnimo-nfimo se prueba de forma similar.

1.12 Ejercicio. Sea S una relacion transitiva en A. Pruebe que S es irreflexiva si y solo si S es asimetrica.
1.13 Ejercicio. Sea A un conjunto. Pruebe que
(a) R es una relacion en A si y solo si R1 es una relacion en A.
(b) R es una relacion de equivalencia en A si y solo si R1 es una relacion de equivalencia en A. Ademas,
cuando R es una relacion de equivalencia en A, R1 = R.
(c) R es un orden parcial en A si y solo si R1 tambien lo es.
(d) S es un orden parcial estricto en A si y solo si S 1 tambien lo es.
(e) R es un orden total en A si y solo si R1 tambien lo es.
(f) S es un orden total estricto en A si y solo si S 1 tambien lo es.
(g) Si denotamos R =A , que representa R1 ? Responda la misma pregunta con R =<A .
1.14 Ejercicio. Sea hA, Ri un C.P.O.. Del Lema 2.5 se define el orden parcial estricto SR al aplicar (a).
Luego, si aplicamos (b) a la relacion SR obtenemos un orden parcial RSR . Pruebe que RSR = R.
1.15 Ejercicio. Sea hA, Si un o.p.e.. Del Lema 2.5 se define el orden parcial RS al aplicar (b). Luego, si
aplicamos (a) a la relacion RS obtenemos un orden parcial estricto SRS . Pruebe que SRS = S.
1.16 Ejercicio. Sea A un conjunto, R = {R A A / hA, Ri es o.p.} y E = {S A A / hA, Si es o.p.e.}.
Segun la notacion del Lema 2.5, defina las siguientes funciones
F: R E
R 7 F(R) = SR

G: E R
S 7 G(S) = RS .

Pruebe que G es inversa a izquierda y a derecha de F. Por lo tanto, F es biyectiva.

1.17 Ejercicio. Dado un orden parcial, pruebe que los subconjuntos de una cadena tambien son cadenas.
1.18 Ejercicio. Sea hA, i un C.P.O.. Pruebe que las siguientes afirmaciones son equivalentes para x, y A.
(i) x y y son comparables.
(ii) Se cumple solo una de las siguientes condiciones: x < y, x = y o y < x.
(iii) (x < y) y x.

24

(iv) (x y) y < x.
1.19 Ejercicio. Sea S una relacion en A. Pruebe que si S cumple tricotoma entonces es irreflexiva y asimetrica. Ademas, de un ejemplo de una relacion S que cumpla tricotoma y no sea transitiva.
1.20 Ejercicio. Sea hA, i un C.P.O.. Pruebe que:
(a) m es maximal en A si y solo si m A y xA (m x m = x).
(b) n es minimal de A si y solo si n A y xA (x n x = n).
(c) Si hA, i es un C.T.O., entonces las nociones de maximal y maximo son equivalentes, lo mismo con
minimal y mnimo.
1.21 Ejercicio. Sea R una relacion en A, B A. Defina R|B = R (B B). Pruebe:
(a) R|B es una relacion en B. Ademas, x,yB (xR|B y xRy).
(b) Si R es reflexiva en A, entonces R|B es reflexiva en B.
(c) Si R es ireflexiva en A, entonces R|B es ireflexiva en B.
(d) Si R es simetrica en A, entonces R|B es simetrica en B.
(e) Si R es asimetrica en A, entonces R|B es asimetrica en B.
(f) Si R es antisimetrica en A, entonces R|B es antisimetrica en B.
(g) Si R es transitiva en A, entonces R|B es transitiva en B.
(h) Si R es relacion de equivalencia en A, entonces R|B es relacion de equivalencia en B.
(i) Si hA, Ri es C.P.O., entonces hB, R|B i es C.P.O..
(j) Si hA, Ri es C.T.O., entonces hB, R|B i es C.T.O..
1.22 Ejercicio. Sea hA, i un C.P.O., B A. Pruebe que:
(a) Si m A es cota superior de B y m B, entonces m = max B = sup B.
(b) Si n A es cota inferior de B y n B, entonces n = mn B = nf B.
1.23 Ejercicio. Sea hA, i un C.P.O.. Pruebe que:
(a) No existen mn ni max .
(b) Cualquier elemento de A es cota inferior y superior de .
(c) Si existe mn A, entonces sup = mn A.
(d) Si existe max A, entonces nf = max A.
1.24 Ejercicio. Sea hA, Ri un C.P.O.. Para definir elementos comparables, cadena, maximal, minimal, maximo, mnimo, cota superior, cota inferior, supremo e infimo respecto a hA, Ri, basta reemplazar R por y
SR por < en las respectivas definiciones.
(a) Sean x, y A. Pruebe que x y y son comparables respecto a R si y solo si son comparables respecto a
R1 .
(b) Sea C A. Pruebe que C es cadena respecto a R si y solo si es cadena respecto a R1 .
(c) Sea a A. Probar que a es maximal (resp. minimal) bajo la relacion R si y solo si a es minimal (resp.
maximal) bajo la relacion R1 .

25

(d) Sea B A y m A. Probar que m es cota superior (resp. inferior) de B bajo la relacion R si y solo si
m es cota inferior (resp. superior) de B bajo la relacion R1 .
(e) Del ejercicio anterior, probar que m = sup B (resp. = nf B) bajo la relacion R si y solo si m = nf B
(resp. = sup B) bajo la relacion R1 .
1.25 Ejercicio. Denotemos N = Z+ {0}. Considere P(N) ordenado por contencion. Halle los elementos
maximales, minimales, cotas superiores, cotas inferiores, maximo, mnimo, supremo e nfimo (en caso de
que existan) de los siguientes subconjuntos de P (N).
(a) B1 = P(N).
(b) B2 = {X N / X es finito}.
(c) B3 = {X N / t(X) X}. Para X N, cuando X es finito, t(X) es el numero de elementos de X.
Cuando X es infinito, t(X) = 1.
1.26 Ejercicio. Sea hA, i un C.T.O. y B A. Denotemos por (B) = {s A / s cota sup. de B} y por
(B) = {m A / m cota inf. de B}. Probar:
(a) (B) = (((B)))
(b) Si B, C A probar que (B C) = (B) (C) y (B C) = (B) (C).
(c) Si B, C A y sup B = sup C entonces (B) = (C) (probar el resultado analogo con nfimos y ).
1.27 Ejercicio. Sea A ordenado por y B A. Probar:
S
S
(a) Si B A entonces sup B = B.
T
T
(b) Si B =
6 y B A entonces nf B = B.
S
S
(c) Si A A entonces nf = A.
(d) Si A entonces sup = .

1.3. Conjuntos bien ordenados

En esta seccion introducimos los conceptos de segmento inicial y seccion de un orden parcial. Tambien definimos un tipo especial de orden parcial llamado buen orden que cumple muchas
propiedades especficas, en particular, el principio de induccion de los numeros naturales.
3.1 Definicion. Sea hA, i un C.P.O.. Definimos
(1) Sa (A, ) = {x A / x < a} se llama segmento inicial de a (respecto a hA, i). Cuando

no hay lugar a ambiguedad, denotamos Sa := Sa (A, ). En general, un segmento inicial (en

hA, i) es un subconjunto de A del tipo Sa para algun a A.

(2) B es una seccion (en hA, i) sii B A y xA yB (x y x B).

26

Un segmento inicial Sa representa el conjunto de objetos que estan por debajo (estrictamente)
de a. Una seccion es un subconjunto de un orden parcial tal que todos los objetos menores que un
elemento del conjunto tambien estan en el conjunto (ver Ejercicio 1.30).
3.2 Ejemplo. (1) Consideremos R ordenado de la forma usual. Dado a R es claro que Sa =

(, a). Estos conjuntos tambien son secciones. Por otra parte, intervalos del tipo (, a] y

(, +) son secciones en R que no son segmentos iniciales. Se puede demostrar (a nivel de

topologa) que cualquier seccion en R es del tipo de los intervalos mencionados anteriormente,
junto con . El intervalo (3, 9) no es seccion, tampoco un segmento inicial, pues 4 (3, 9),

3<4y3
/ (3, 9).

(2) Consideremos Z+ {0} ordenado de la forma usual. S0 = , Sn = {0, . . . , n 1} que a su vez

tambien son secciones. La u nica seccion que no es un segmento inicial es el mismo Z+ {0}
(ver Teorema 3.6).

(3) Dado un orden parcial hA, i, A es una seccion que no es segmento inicial. tambien es
seccion, pero solo es segmento inicial cuando A tiene un elemento minimal (ver Ejercicio 1.28).

Segun el Ejercicio 1.28, todo segmento inicial es una seccion, pero el recproco no es cierto,
como se muestra en el ejemplo anterior.
A continuacion discutimos un tipo de orden parcial que es fundamental en la Teora de Conjuntos, el cual se llama buen orden. Aunque en este texto no profundizamos en los grandes alcances
que tiene este concepto, lo relacionamos directamente con el concepto de induccion.
3.3 Definicion (Buen Orden). hA, i es un C.B.O. (conjunto bien ordenado) si y solo si
(i) hA, i es un C.P.O.,
(ii) Propiedad del buen orden. Todo subconjunto no vaco de A tiene mnimo. Como formula
del lenguaje de ZF, esto se escribe como
BA [B 6= mB xB (m x)].
Tambien decimos que hA, i es un b.o. (buen orden) o que ordena bien a A.
3.4 Lema. Todo C.B.O. es C.T.O..
27

Demostracion. Sea hA, i un buen orden. Si x, y A entonces {x, y} es un subconjunto no vaco

de A. De la propiedad del buen orden se sigue que existe m = mn{x, y}. Por lo tanto, m = x
o m = y. De cada caso se sigue que x y o y x, respectivamente.

3.5 Ejemplo. (1) El conjunto Z+ {0}, con el orden usual, es un C.B.O.. En el captulo 2, cuan-

do construyamos el conjunto de los numeros naturales, demostraremos su propiedad del buen

orden. En general, cualquier subconjunto de Z que tenga mnimo esta bien ordenado.

(2) Z, con el orden usual, no es buen orden, pues el mismo conjunto es no vaco y no tiene mnimo.



no es un buen orden, pues aunque

(3) Consideremos el conjunto M = {0} n1 / n Z+ . Este
1

M tiene mnimo, el subconjunto n / n Z+ es no vaco y no tiene mnimo. Por extension,
M = {0, . . . , 41 , 31 , 12 , 1}.

|||| || | | ||| | | | | |

0
(4) El conjunto A =

 n1
n

1
5

1
4

1
3

1
2



+ , con el orden usual, est
/ n Z+ 2n1
a bien ordenado.
n /nZ

Los Ejercicios 1.37 y 1.49 sugieren una forma de demostrar este hecho. De forma extensiva,
o
n 1 2 3 4
3 5 7 9
A = 0, , , , , . . . , 1, , , , . . . .
2 3 4 5
2 3 4 5
|

1
2

2 34
3 45

| | | ||||||||||||||||

3
2

5 79
3 45

| | | |||||||||||||||

Una de las cualidades de un buen orden es que todas sus secciones, excepto el mismo conjunto,
son segmentos iniciales. La propiedad del buen orden es crucial en la prueba de este hecho.
3.6 Teorema. Sea hA, i un C.B.O.. Las secciones en A son precisamente los segmentos iniciales
en A y el mismo A. Es decir, para B A, B es seccion en A si y solo si B = A o aA (B = Sa ).

Demostracion. Sea B A una seccion tal que B 6= A. Veamos que B es un segmento inicial. La
intencion en esta demostracion es tomar el menor elemento que no esta en B (el cual existe por la

propiedad del buen orden y porque B 6= A), de modo que todos los elementos menores que e l esten

en B y, como B es seccion, es el segmento inicial de dicho mnimo. Como T = A r B es no vaco,

por la propiedad del buen orden se sigue que existe a = mn T . Veamos que B = Sa por doble
contencion. Si x B entonces (a x), pues si a x entonces, como B es seccion, se sigue que

a B, lo cual es imposible porque a = mn(A r B). Por lo tanto, x < a (pues todo C.B.O. es
28

C.T.O.), es decir, x Sa . Por otra parte, si x Sa , es decir, x < a, entonces x

/ T puesto que es
menor que mn T . Por lo tanto, x B.

El recproco del Teorema es directo de que A y los segmentos iniciales son secciones (Ejercicio
1.28).
En el Ejercicio 1.39 se propone un recproco para el resultado anterior.
Dos de las propiedades mas importantes que satisface el conjunto de los numeros naturales

son el principio del buen orden y el principio de induccion. Una de las multiples formas en que se
enuncia el principio de induccion en los naturales es: dada una formula (x), si para un n se supone
que todos los numeros menores que e l satisfacen (x) y se prueba (n), se concluye que todos los
naturales satisfacen (x). Lo anterior, como formula de ZF, se entiende como que la formula
n




k<n(k) (n)

implica n (n) (restringiendo todos los cuantificadores al conjunto de numeros naturales). Si lla-

mamos T al conjunto de naturales que satisface (x), lo anterior se traduce en que

n




k<n(k T ) n T

implica n (n T ). Nuevamente, esto se reescribe como

n (Sn T n T )
implica que T es igual al conjunto de los naturales. Con esta notacion, el principio de induccion se
puede enunciar en el lenguaje de o rdenes parciales y, precisamente, es una propiedad que cumplen
los conjuntos bien ordenados.
En realidad, el principio del buen orden y el de induccion son equivalentes para cualquier orden
lineal. En el siguiente Teorema probamos que todo buen orden cumple el principio de induccion, el
recproco se propone en el Ejercicio 1.35.
3.7 Teorema (Induccion generalizada en C.B.O.s). Sea hA, i un C.B.O., T A. Si
aA (Sa T a T )
entonces T = A.
29

Demostracion. Supongamos, por reduccion al absurdo, que T 6= A. Luego, B = A r T es no

vaco y, por la propiedad del buen orden, tiene mnimo, sea e ste a = mn B. Si x Sa , es decir,

x < a, entonces x
/ B, pues x es menor que mn B. Luego, x T . Por lo tanto, conclumos que

Sa T . Por la hipotesis de este Teorema se sigue a T , es decir, a

/ B, lo cual contradice que

a = mn B.

3.8 Corolario. Sea hA, i un C.B.O. y (x) una formula de ZF. Si

aA
entonces aA (a).




xA (x < a (x)) (a)

Demostracion. Directo de 3.7 aplicado a T = {x A / (x)}.

Cuando se usa el principio de induccion para buenos o rdenes, la hipotesis Sa T se llama

hipotesis inductiva (o xA (x < a (x)), segun el caso), pues desde e sta se busca probar a T
(o (a)) para, de este modo, conclur que T = A (o aT (a)).

El conjunto de numeros naturales tambien satisface una propiedad conocida como recursion
(ver captulo 2). Este principio puede adaptarse al lenguaje de o rdenes parciales y se puede probar
que equivale a los principios de buen orden y al de induccion para conjuntos linealmente ordenados.
Dicha tarea no se llevara a cabo en este texto.
1.28 Ejercicio. Sea hA, i un C.P.O.. Pruebe que
(a) Todo segmento incial en A es una seccion.
(b) Dado a A, Sa = {x A / x a} es seccion en A.
(c) A y son secciones en A.
(d) A no es segmento inicial en A.
(e) Dado a A, Sa = si y solo si a es minimal en A.
(f) es segmento inicial si y solo si existe un elemento minimal en A
1.29 Ejercicio. Sea hA, i un C.P.O., a, b A tal que a < b. Pruebe que Sa (Sb , ) = Sa , donde Sx se
entiende como Sx (A, ).
1.30 Ejercicio. Sea hA, i un C.P.O., B A. Pruebe que las siguientes afirmaciones son equivalentes:
(i) B es seccion en A.
(ii) xA yB (x < y x B).
(iii) bB (Sb B).

30

1.31 Ejercicio. Sea hA, i un C.P.O. Si B es un conjunto de secciones de A, entonces

u ltimo caso cuando B =
6 ) son secciones de A.

By

B (este

1.32 Ejercicio. Dado un C.B.O. hA, i, si B A entonces hB, i es un C.B.O. (con el orden que hereda
de A). En realidad, el orden para B es |B (ver Ejercicio 1.21) pero como x |B y equivale a x y para
x, y B, el orden se denota simplemente .
1.33 Ejercicio. Sea hA, i un C.T.O.
(a) Si A = {B A / B seccion de A} entonces hA, i es un C.T.O..
(b) Todo subconjunto de A tiene supremo e nfimo.
(c) Sea B A y m B. Entonces B tiene mnimo si y solo si Sm B es vaco o tiene mnimo.
(d) A es un C.B.O. si y solo si todo segmento inicial de A es un C.B.O. (con el orden que hereda de A, ver
Ejercicio 1.32).
1.34 Ejercicio. Dado un C.P.O. hA, i y a A, decimos que b A es sucesor inmediato de a si y solo si
a < b y cA (a < c < b) (tambien se tiene una definicion analoga para predecesor inmediato). Probar:
a. Si hA, i es un C.T.O. y a A tiene un sucesor (resp. predecesor) inmediato, e ste es u nico.
b. De un ejemplo de un C.T.O. cuyos elementos no tienen sucesor ni predecesor inmediatos.
c. Si hA, i es un C.B.O. y a A no es maximo, entonces a tiene un u nico sucesor inmediato. Sugerencia:
Tome b = mn {x A / a < x}.
d. De un ejemplo de un C.B.O. donde haya un elemento diferente del mnimo que no tenga predecesor
inmediato.
1.35 Ejercicio. Sea hA, i un C.T.O. que satisface el principio de induccion, es decir,
h
i

T A (aA (Sa T )) a T T = A .

Pruebe que hA, i es un C.B.O.. Sugerencia: Suponga que B A no tiene mnimo, tome T = A r B y
pruebe por induccion que T = A. Con e sto se prueba el recproco del principio del buen orden.
1.36 Ejercicio. Llenar los detalles de la prueba del Corolario 3.8.
1.37 Ejercicio. Sean hA, A i y hB, B i C.P.O.s tal que A B = . Defina la siguiente relacion de orden
para A B:


x y (x, y A x A y) (x, y B x B y) (x A y B) x, y A B.
(a) Inteprete el orden de A B para A = {1, 2, 3} y B = {10, 12, 13, 14} con el orden usual.

(b) Pruebe que hA B, i es un C.P.O..

(c) x < y (x, y A x <A y) (x, y B

x <B y) (x A y B) para x, y A B.

(d) Indique a que es igual Sc (A B, ) para c A B.

(e) Si ademas hA, A i y hB, B i son C.T.O., entonces tambien lo es hA B, i.

(f) Si ademas hA, A i y hB, B i son C.B.O., entonces tambien lo es hA B, i. Sugerencia: Para probar
la propiedad del buen orden, considere C A B no vaco. Si C A 6= pruebe que mnA (C A)
es el mnimo de C respecto a A B. De lo contario, se tiene C B y as mnB (C) es el mnimo de C
respecto a A B.

31

1.38 Ejercicio. Sean hA, A i y hB, B i C.P.O.s. Defina la siguiente relacion de orden para A B:


(a, b) (c, d) (a <A c) (a = c b B d) (a, b), (c, d) A B.

Dicho orden se conoce como el o rden lexicografico de A B.

(a) Interprete el o rden lexicografico de A B para A = B = {1, 2, 3} con el orden usual.

(b) Pruebe que hA B, i es un C.P.O..

(c) (a, b) < (c, d) (a <A c) (a = c b <B d) para (a, b), (c, d) A B.

(d) Indique a que es igual S(c,d) (A B, ) para (c, d) A B.

(e) Si ademas hA, A i y hB, B i son C.T.O., entonces tambien lo es hA B, i.

(f) Si ademas hA, A i y hB, B i son C.B.O., entonces tambien lo es hA B, i. Sugerencia: Para probar la propiedad del buen orden, considere S A B no vaco, tome a = mnA (domS), b =
mnB {y B / (a, y) S} y pruebe que (a, b) es el mnimo de S respecto a A B.
1.39 Ejercicio. Pruebe que si hA, A i es un C.T.O. tal que sus secciones son precisamente A y sus segmentos
iniciales (propiedad del Teorema 3.6), entonces hA, A i es un C.B.O.. Sugerencia: Pruebe que hA, A i
satisface induccion.
S En medio de la prueba, considere B como el conjunto
Sde secciones contenidas en T . Por
el Ejercicio 1.31, B es una seccion contenida en T . De la hipotesis, B es A o es un segmento inicial.
Basta ver que el u ltimo caso no es posible.

1.4. Isomorfismos entre Ordenes

Parciales
Las propiedades de un orden parcial no dependen de sus elementos especficamentes, sino de




+ , B = 1 / n Z+ y P denotado como el
su estructura. Por ejemplo, A = n1
n /nZ
n
conjunto de numeros pares positivos, ordenados de la forma usual, son conjuntos que tienen distintos
elementos y, sin embargo, sus o rdenes poseen la misma estructura de Z+ .

1
2

2
3

3
4

4
5

12

| | | | ||| || | | |||||

| | | | | | || | | | | |||

31 14 15

10

12

14

16

Estos o rdenes parciales se relacionan mediante las siguientes funciones

f : Z+ A
n 7 f (n) =

n1
n

g : Z+ B
n 7 g(n) = n1
32

h : Z+ P
n 7 h(n) = 2n

Notese que las tres funciones son biyectivas y, ademas, se cumple

m n f (m) f (n)

m n g(m) g(n)

m n h(m) h(n)

para cualquier m, n Z+ . Lo anterior significa que las funciones preservan el orden entre los con
juntos y, por lo tanto, A, B y P tiene la misma estructura de orden parcial de Z+ . Esto
hace que los
cuatro conjuntos cumplan las mismas propiedades de orden, por ejemplo, que tienen mnimo, que
estan bien ordenados y que no tienen maximo, entre otras. Las funciones biyectivas que preservan
el orden entre estos conjuntos se llaman isomorfismos y, en consecuencia, decimos que los cuatro
conjuntos son isomorfos, es decir, tienen la misma estructura de orden.
El objetivo de esta seccion es definir la nocion de isomorfismo y dar resultados (y ejercicios)
que den evidencia del hecho que dos o rdenes parciales isomorfos cumplen las mismas propiedades
de orden4 .
4.1 Definicion. Sean hA, i y hB, B i o rdenes parciales, f : A B.
(1) f es creciente sii x,yA (x A y f (x) B f (y)).
(2) f es estrictamente creciente sii x,yA (x <A y f (x) <B f (y)).
(3) f es un isomorfismo entre A y B sii
(i) f : A B es biyectiva y
(ii) x,yA (x A y f (x) A f (y)).
(4) hA, i
= hB, B i (se lee hA, i es isomorfo a hB, B i) sii existe un isomorfismo f : A B.
4.2 Lema. (a) Toda funcion estrictamente creciente es creciente.
(b) Toda funcion creciente e inyectiva es estrictamente creciente.
(c) Todo isomorfismo es estrictamente creciente.
Demostracion. Fijemos hA, i y hB, B i o rdenes parciales.
(a) Sea f : A B es estrictamente creciente. Si x, y A y x A y, es decir, x <A y o x = y, de
cada caso se sigue f (x) <B f (y) o f (x) = f (y) respectivamente. Luego, f (x) B f (y).

Lo cual se prueba en el Apendice I.

33

(b) Sea f : A B creciente e inyectiva. Si x, y A y x <A y, se sigue f (x) B f (y) por ser f
creciente y, como f es inyectiva, f (x) 6= f (y). Por lo tanto, f (x) <B f (y).

(c) Inmediato del inciso anterior.

Intuitivamente, dos o rdenes parciales son isomorfos cuando tienen la misma estructura de orden,
pues existe una funcion entre ellos que preserva el orden de los elementos.
4.3 Lema. Sean hA, A i, hB, B i y hC, C i o rdenes parciales.
(a) IA : A A es un isomorfismo.
(b) Si f : A B es un isomorfismo, entonces f 1 : B A es isomorfismo.
(c) Si f : A B y g : B C son isomorfismos, entonces g f : A C es un isomorfismo.
Demostracion. (a) Es claro que IA : A A es biyectiva y x A y IA (x) A IA (y) para todo
x, y A.

(b) Sea f : A B es un isomorfismo, es decir, f es biyectiva y x A y f (x) B f (y) para

todo x, y A. Luego, f 1 es biyectiva y, dados u, v B, claramente f 1 (u), f 1 (v) A de

donde, como f es isomorfismo, entonces

f 1 (u) A f 1 (v) f (f 1 (u)) B f (f 1 (v)) u B v

por lo cual u B v f 1 (u) A f 1 (v). Por lo tanto, f 1 es un isomorfismo.
(c) Sean f : A B y g : B C isomorfismos. Luego, g f : A C es biyectiva. Ahora, si
x, y A, entonces

x A y f (x) B f (y) g(f (x)) C g(f (y)) (g f )(x) C (g f )(y).

La primera equivalencia se sigue de que f es isomorfismo, la segunda de que g es isomorfismo.

Del resultado anterior se sigue directamente:

4.4 Corolario. Sean hA, A i, hB, B i y hC, C i o rdenes parciales.
(a) hA, A i
= hA, A i.
34

(b) hA, A i
= hB, B i hB, B i
= hA, A i.
(c) (hA, A i
= hB, B i hB, B i
= hC, C i) hA, A i
= hC, C i.
4.5 Ejemplo. (1) La funcion f : R Z tal que f (x) = |x| (funcion parte entera) es creciente y
sobreyectiva. Sin embargo, no es estrictamente creciente, pues 0 < 0,5 y f (0) = f (0,5) = 0.
Tampoco es inyectiva, de modo que no es un isomorfismo.
(2) f : R R+ tal que f (x) = ex es un isomorfismo. Por lo tanto, R y R+ son isomorfos.
(3) f : R+ R+ tal que f (x) =

x es un isomorfismo diferente a la identidad.

(4) Consideremos A = {a, b, c, d, e} y B = {1, 2, 3} ordenados como se indica en la grafica. Sea

f : A B tal que f (a) = 1, f (b) = f (c) = 2 y f (d) = f (e) = 3. f es estrictamente creciente

y sobreyectiva, pero no es inyectiva.

hA, A i f

hB, B i

d
b

e
b

b
b

c
b

2
b

El siguiente resultado ilustra un caso particular de cuando una funcion estrictamente tiene que
ser inyectiva.
4.6 Lema. Sea hA, A i un C.T.O. y hB, B i un C.P.O..
(a) Si f : A B es estrictamente creciente entonces es inyectiva. Ademas,
x,yA (x A y f (x) B f (y)).
(b) f : A B es isomorfismo si y solo si es sobreyectiva y estrictamente creciente.
(c) Si hA, A i
= hB, B i entonces hB, B i es un C.T.O..
(d) Si hA, A i
= hB, B i y hA, A i es un C.B.O., entonces hB, B i es un C.B.O..
35

Demostracion. (a) Sea f : A B estrictamente creciente. Si x, y A tal que x 6= y, por

tricotoma del orden total A se sigue que x <A y o y <A x. Se sigue f (x) <B f (y)

o f (y) <B f (x) de cada caso respectivamente, de modo que f (x) 6= f (y). Por lo tanto, f
es inyectiva.

Supongamos x, y A tal que f (x) B f (y) y veamos que x A y. Por reduccion al absurdo,

supongamos (x A y) lo cual, debido a que A es un orden lineal, significa y <A x. Luego,

f (y) <B f (x), lo cual contradice f (x) B f (y).

(b) Supongamos que f : A B es sobreyectiva y estrictamente creciente. Por (a) se sigue que f
es inyectiva y x,yA (x A y f (x) B f (y)), es decir, f es un isomorfismo.

(c) Sea f : A B un isomorfismo y veamos que todos los elementos de B son comparables. Sean
u, v B. La idea de la prueba, como factor comun para razonamientos con isomorfismos, es

transladar las propiedades de un orden al otro por medio del isomorfismo. En este caso, para ver

que u y v son comparables, los proyectamos a sus preimagenes que estan en un orden total, los
comparamos y, mediante el isomorfismo, sus imagenes (u y v) seran comparables (ver grafico
al final de la prueba). Como f es isomorfismo entonces f 1 : B A tambien lo es. Luego,

f 1 (u), f 1 (v) A y, como A es orden lineal, f 1 (u) A f 1 (v) o f 1 (v) A f 1 (u).

Como f 1 es un isomorfismo, entonces se sigue u B v o v B u respectivamente de cada

caso.

hA, A i
f 1 (v)
b

f 1 (u)
b

hB, B i
b

(d) Sea f : A B isomorfismo, A un buen orden para A y veamos que B cumple la propiedad

del buen orden. Sea C B no vaco. Para encontrar el mnimo de C proyectamos este conjunto

a A mediante la funcion. El resultado de esta proyeccion es f 1 [C] y, dado que A tiene buen
orden, existe el mnimo de f 1 [C], el cual podemos proyecta a C. En la grafica se ilustra el

seguimiento de la prueba. Es claro que f 1 [C] A. Tambien es no vaco, pues como C 6=

existe y0 C y luego f 1 (y0 ) f 1 [C]. Luego, por la propiedad del buen orden en A, existe

m = mn(f 1 [C]).

Veamos que f (m) = mn C. Como m f 1 [C] entonces m A y f (m) C, por lo cual

36

basta probar yC (f (m) B y). Dado y C, como f 1 es isomorfismo, se sigue

f (m) B y f 1 (f (m)) A f 1 (y) m A f 1 (y)
y como f 1 (y) f 1 [C] y m = mn(f 1 [C]), el lado derecho de las equivalencias es cierto.
Por lo tanto, f (m) B y.

hA, A i
f 1 [C]

hB, B i
C

f (m)

f 1 (y)
m

El anterior resultado es una muestra de que ordenes isomorfos satisfacen las mismas propiedades.
Vimos que si un orden es lineal, los ordenes isomorfos a e ste tambien lo son, ademas de que todo
orden isomorfo a un buen orden tambien es un buen orden. En los ejercicios de esta seccion se
proponen mas propiedades que se preservan mediante isomorfismos.
En el Ejemplo 4.5 tambien vimos un caso en que se muestra un isomorfismo de un orden parcial
en s mismo que no es la identidad, lo cual permite concluir, en general, que el isomorfismo entre
dos o rdenes parciales no necesariamente es u nico. Sin embargo, dicha unicidad s se cumple para los
conjuntos bien ordenados, lo cual proponemos probar en el Ejercicio 1.48 con el apoyo del siguiente
resultado.
4.7 Lema. Sea hA, i un buen orden, f : A A.
1. Si f es estrictamente creciente, entonces xA (x f (x)).
2. Si f es un isomorfismo, entonces f = IA .
Demostracion. (a) Sea f : A A estrictamente creciente y veamos el resultado por induccion

(Corolario 3.8) aplicado a (x) : x f (x). Sea a A tal que xA (x < a x f (x))

(hipotesis inductiva). Basta probar a f (a). Supongamos, por el contrario, que f (a) < a.
Al aplicar la hipotesis inductiva a x = f (a) se sigue que f (a) f (f (a)). Por otra parte,

como f (a) < a y f es estrictamente creciente, se sigue que f (f (a)) < f (a) lo cual es una
contradiccion.
37

(b) Al aplicar (a) a f 1 se sigue que xA (f (x) x), lo cual permite concluir que f = IA .

El problema de los isomorfismos entre buenos o rdenes se resuelve en el sentido de que se puede

decidir cuando un buen orden es mas extenso que otro. Esto

es lo que permite clasificar los buenos
o rdenes mediante los numeros ordinales en Teora de Conjuntos. En el presente texto no profundizamos en el tema de ordinales, pero si presentamos (sin prueba) el resultado que asegura que dos
buenos o rdenes se pueden comparar segun su extension.
4.8 Teorema. Dados dos buenos o rdenes hA, A i y hB, B i, se cumple una y solo una de las
siguientes afirmaciones:
(i) A
= B.
(ii) bB (A
= Sb (B, B )).
(iii) aA (Sa (A, A )
= B).
A

(i)

(ii)

B
A

B
b

(iii)

1.40 Ejercicio. Sean hA, A i y hB, B i C.P.O. y f : A B biyectiva. Pruebe que las siguientes afirmaciones son equivalentes
1. f es un isomorfismo.
2. x,yA (x <A y f (x) <B f (y)).
3. f y f 1 son crecientes.

1.41 Ejercicio. Sea hA, A i C.T.O., hB, B i un C.P.O. y f : A B. Entonces f es un isomorfismo si y

solo si es biyectiva y creciente.
1.42 Ejercicio. Sean hA, A i y hB, B i C.P.O.. Si f : A B es creciente, probar que:
(a) Si a A es maximo (resp. mnimo) en A, entonces f (a) es maximo (resp. mnimo) en f [A].
(b) Si C A y c A es cota superior (resp. inferior) de C, entonces f (c) es cota superior (resp. inferior)
de f [C].
(c) Si C A es cadena de A, entonces f [C] es cadena de B.
1.43 Ejercicio. Sean hA, A i y hB, B i C.P.O. y f : A B.
(a) Si f es estrctamente creciente, entonces f [Sx (A, A )] Sf (x) (B, B ).

38

(b) Si f es un isomorfismo, entonces f Sx (A, A ) es un isomorfismo entre Sx (A, A ) y Sf (x) (B, B ).

Por lo tanto, Sx (A, A )
= Sf (x) (B, B ).
1.44 Ejercicio. Sea R una relacion en A, S una relacion en B y f : A B una funcion biyectiva tal que
x,yA (xRy f (x)Sf (y)). Pruebe que
(a) hA, Ri es un C.P.O. sii hB, Si es un C.P.O..
(b) hA, Ri es un o.p.e. sii hB, Si es un o.p.e..
(c) hA, Ri es un C.T.O. sii hB, Si es un C.T.O..
(d) hA, Ri es un C.B.O. sii hB, Si es un C.B.O..
1.45 Ejercicio. Sea hB, i un C.P.O., A un conjunto y f : A B biyectiva. Defina la siguiente relacion en
A
xRy f (x) B f (y), x, y A.
Pruebe que
(a) hA, Ri es un C.P.O. y f : A B es un isomorfismo. Sugerencia: Utilize el ejercicio anterior.
(b) hA, Ri es un C.T.O. sii hB, B i es un C.T.O..
(c) hA, Ri es un C.B.O. sii hB, B i es un C.B.O..

(d) Si g : A Z+ {0} es biyectiva, pruebe que existe una relacion que ordena bien a A.
1.46 Ejercicio. Sean hA, A i y hB, B i C.P.O.s. Si f : A B es un isomorfismo, probar que:
(a) a A es maximal (resp. minimal) de A si y solo si f (a) es maximal (resp. minimal) de B.
(b) a A es maximo (resp. mnimo) de A si y solo si f (a) es maximo (resp. mnimo) de B.
(c) Sea C A. Entonces s A es cota superior (resp. inferior) de C si y solo si f (s) es cota superior (resp.
inferior) de f [C].
(d) Del ejercicio anterior, s es supremo (resp. nfimo) de C si y solo si f (s) es supremo (resp. nfimo) de
f [C].


1.47 Ejercicio. Sea hA, i un C.P.O. y A = S a / a A (ver Ejercicio 1.28). Probar que hA, i es
isomorfo a hA, i.
1.48 Ejercicio. Sean hA, A i y hB, B i buenos o rdenes.
(a) Llene los detalles de la prueba de (b) en el Lema 4.7.
(b) Si f : A B y g : B A son isomorfismos, entonces g = f 1 .

(c) Si hA, A i
= hB, B i entonces el isomorfismo entre ambos es u nico.
 2n1


+
y
/ n Z+ estan bien ordenados.
1.49 Ejercicio. (a) Pruebe que los conjuntos n1
n /n Z
n
Sugerencia: Pruebe que cada uno es isomorfo a Z+ .

 2n1

+
(b) Pruebe que n1

/ n Z+ , con el orden usual, es un buen orden. Sugerencia:

n /n Z
n
Ver el Ejercicio 1.37.

39

40

Captulo 2

Los Numeros
Naturales

En el tema precedente a este captulo hemos utilizado conjuntos numericos, como el de los
naturales, enteros, racionales y reales, para ilustrar hechos importantes sobre los conceptos que se
han definido. Sin embargo, su existencia y propiedades se han tomado como supuestos, no hemos
dado una definicion estricta en la teora ZF de estos conjuntos y, mucho menos, hemos probado sus
propiedades. Mas aun, el u nico conjunto que hemos definido formalmente, hasta el momento, es el
conjunto vaco, mas los que deriven de e ste bajo las operaciones clasicas del a lgebra de conjuntos
(como union, singulete, partes, etc.)1 .
Debido a la importancia de los conjuntos numericos en matematicas y al primer objetivo de la
teora de conjuntos en formalizar toda la matematica en una teora de primer orden, centramos este
captulo a la construccion de los numeros naturales y a la demostracion de sus propiedades. Veremos tambien la importancia del Axioma del Infinito (introducido en la primera seccion) para poder
definir dicho conjunto. Al final exponemos, sin demostraciones, las definiciones mas importantes
sobre Z, Q, R y C.

2.1. Construccion del Conjunto

En esta seccion vamos a construir un conjunto que llamaremos , el cual representara la coleccion de los numeros naturales2 . La idea es ver que satisface los axiomas de Peano, pues estos son los
principios sobre los cuales se fundamenta el comportamiento de los numeros naturales en la teora
de numeros. Por lo tanto, debemos definir un objeto 0 en y funciones s : , + :
y : que representen el cero, operacion sucesor, suma y producto, respectivamente.
1

Con todos los axiomas de ZF se puede demostrar que todos los conjuntos se construyen a partir de .
Clasicamente este conjunto se denota por N pero, debido a que en ZF su papel va mas alla de ser un espacio de
trabajo como en la teora de numeros, su notacion es diferente.
2

Como notacion, escribimos n+ = s(n), m + n = +(m, n) y m n = (m, n). Por consiguiente, los
axiomas de Peano toman esta forma:
(P1)
(P2)
(P3)
(P4)
(P5)
(P6)
(P7)
(P8)
(P9)

m,n,p (m = n (m = p n = p))
m,n (m = n m+ = n+ )
n (0 6= n+ )
m,n (m+ = n+ m = n)
n (n + 0 = n)
m,n (m + n+ = (m + n)+ )
n (n 0 = 0)
m,n (m n+ = m n + m)
[(0) n ((n) (n+ ))] n (n).

P9 representa el principio de induccion matematica donde (x) es una formula de ZF.

Entre las variadas formas de definir los numeros naturales, la mas popular es la definicion de
Von Newmann, que parte de la siguiente notacion.
1.1 Definicion. Para cualquier conjunto x, definimos x+ = x {x}. 0 = , 1 = 0+ , 2 = 1+ ,

3 = 2+ , etc.

De esta definicion, se sigue que

0
1
2
3
4

=
= 0+ = 0 {0} = {0}
= 1+ = 1 {1} = {0, 1}
= {0, 1, 2}
= {0, 1, 2, 3}

Intuitivamente, esto quiere decir que un numero natural n es el conjunto cuyos elementos son los
naturales menores que e l. Sin embargo, esto no es un elemento suficiente para definir una formula
de ZF que exprese la afirmacion x es un numero natural y que permita definir el conjunto .
Una propiedad sencilla que debe cumplir es que 0 y que, si x , entonces x+ .
Este hecho inspira la siguiente
1.2 Definicion (Conjunto inductivo). Un conjunto A es inductivo si 0 A y xA (x+ A).
42

Queda claro entonces que debe ser un conjunto inductivo, pero es posible que no sea el u nico
conjunto inductivo que exista3 . A pesar de eso, hay una propiedad que debe cumplir y que lo
hace u nico entre los conjuntos inductivos. Supongamos que hemos construdo , que satisface la
propiedad de induccion, y sea A un conjunto inductivo arbitrario. Es facil probar por induccion que
todos los naturales estan en A, pues 0 A y, si n es un natural tal que n A, entonces n+ A
porque A es inductivo. Se puede concluir entonces que A. Por lo tanto, la propiedad que hara

especial a es que sera el menor conjunto inductivo.

La idea para encontrar el menor conjunto inductivo proviene de que la interseccion de conjuntos
inductivos es inductivo (ver Ejercicio 2.1). Por lo tanto, el menor conjunto inductivo es la interseccion de todos los conjuntos inductivos, lo cual puede definirse como = {x / A inductivo (x A)},

pues esto garantiza que los elementos de estan en todos los conjuntos inductivos. Para concluir
esta construccion, debemos probar que es, efectivamente, un conjunto.
1.3 Lema. (a) Si A es inductivo, entonces A.
(b) Si existe un conjunto inductivo, entonces es conjunto.

Demostracion. (a) Sea A un conjunto inductivo. Si x entonces x pertenece a todos los conjuntos inductivos, en particular, x A.

(b) Si existe un conjunto D inductivo, por (a) se sigue que D y, como D es conjunto, se sigue
que es conjunto (por el axioma de Comprension).

En realidad, la existencia de equivale a que exista un conjunto inductivo y, con los axiomas
de ZF con los que contamos hasta el momento, no se puede demostrar ese hecho. La razon de esto
es que la existencia de un conjunto inductivo equivale a la existencia de un conjunto infinito y, con
las operaciones de conjuntos con las que contamos hasta el momento, es imposible construir un
conjunto de ese tipo. Por consiguiente, es necesario proponer el siguiente axioma en ZF.
Z6 (Axioma del Infinito) A (A inductivo).
1.4 Teorema. es el menor conjunto inductivo.
Demostracion. De Z6 y el Lema 1.3 se sigue que es un conjunto que esta contenido en todos los
conjuntos inductivos. Falta probar entonces que es inductivo.
3

Con los axiomas de Reemplazamiento e Infinito de ZF se pueden construir muchos conjuntos inductivos

43

(i) 0 . Como 0 pertenece a todos los conjuntos inductivos, entonces 0 .

(ii) x (x+ ). Supongamos que x , es decir, x pertenece a todos los conjuntos inductivos.

Si A es un conjunto inductivo, entonces x A y, luego, x+ A. Por lo tanto, x+ pertenece a

cualquier inductivo, es decir, x+ .

Cabe anotar que la definicion propuesta para pierde sentido sin el axioma del Infinito, en el
sentido de que si no existe un conjunto inductivo, entonces el definido sera el universo. Hay una
forma equivalente de definir con los numeros ordinales, sin necesidad del axioma del Infinito,
de modo que satisfaga los axiomas de Peano, solo que en ese caso no se podra probar que es
conjunto.
1.5 Teorema (Principio de Induccion). (a) Si T es inductivo y T entonces T = .
(b) Sea (x) una formula de ZF. Si
(i) (paso base) (0) y
(ii) (paso inductivo) (n) (n+ ) para todo n (al antecedente (n) se le conoce como
hipotesis inductiva)

entonces n (n).
Demostracion. (a) se sigue directamente del Lema 1.3. Para (b) consideremos T = {n / (n)}

y veamos que es inductivo. En efecto, 0 T por (i); si n T , es decir, n y (n), entonces por

(ii) (n+ ), es decir, n+ T . Por lo tanto, como T , al ser inductivo se sigue T = . Luego, si

n , es decir, n T , entonces (n).

1.6 Lema. (a) n (n+ 6= 0).
(b) n (n = 0 p (n = p+ )).

Demostracion. (a) Como x+ = x {x} entonces x x+ y, por lo tanto, x+ 6= 0 para cualquier

conjunto x.

(b) Probemos por induccion sobre n que todos los naturales cumplen (n) : n = 0 p (n =
p+ ). Es claro que 0 cumple esta afirmacion. Para el paso inductivo, supongamos n tal

que n = 0 p (n = p+ ). Como n+ = n+ entonces p (n+ = p+ ) y luego n+ =

0 p (n+ = p+ ) (en esta induccion no se necesito la hipotesis inductiva).

44

Entre los axiomas de Peano, es claro que satisface P1, P2, P3 y P9 (los dos primeros porque
ZF es una teora con igualdad). En la proxima seccion vamos a probar P4. P5-P8 se demostraran en
la seccion 2.4 cuando se defina la suma y el producto en .
2.1 Ejercicio. Sea D una coleccion de conjuntos inductivos. Pruebe que
2.2 Ejercicio. Considere el axioma de Regularidad:

D es inductivo.

X (X 6= zX (z X = )).
Pruebe que e ste implica
(a) x,y (x+ = y + x = y).
(b) z (x z z x+ ).
S
(c) x
/ x+ .

Sugerencia: pruebe primero que x (x

/ x) y x,y (x y y
/ x).

2.2. Buen Orden

En la seccion anterior, de forma intuitiva, formulamos que un numero natural es el conjunto de
todos los naturales menores que e l, lo cual no podemos probar en ZF hasta que definamos que significa la relacion menor que para los naturales. Notese que la misma formulacion responde la
pregunta, pues si un natural esta formado por los numeros menores que e l, entonces la relacion
de desigualdad estricta es el . Con esto, dedicamos esta seccion a probar, principalmente, que
esta bien ordenado por .

La siguiente es una de las nociones mas importantes de la teora de conjuntos, aunque en este
texto solo la citaremos para probar muchas propiedades de los naturales, en particular su buen orden
por .
2.1 Definicion (Conjunto transitivo). x es un conjunto transitivo si yx (y x).
2.2 Lema. Las siguientes afirmaciones son equivalentes.
S

(i) x es transitivo.

(iii)

(ii) x P(x).

(iv) y,z (z y y x z x).

45

x x.

La formulacion (iv) le da sentido a la palabra transitivo ya que actua como una relacion

transitiva cuando x (el conjunto transitivo) aparece arriba.

2.3 Lema. Si x es transitivo, entonces
(a) x+ es transitivo.
(b)

x+ = x.

Demostracion. Como x es transitivo,

[

x+ =

x x por 2.2. Luego

(x {x}) =

donde la u ltima igualdad se sigue de

[

[
[
x x=x
x {x} =

x x. Luego,

x+ = x x+ , de donde x+ es transitivo.

2.4 Teorema. (a) n es transitivo para todo n .

(b) es transitivo.
(c) m,n (m+ = n+ m = n).
Demostracion. (a) Por induccion, veamos que todos los naturales son transitivos.
Paso base. Como 0 P(0), del Lema 2.2 se sigue que 0 es transitivo.
Paso inductivo. Sea n transitivo. Del Lema 2.3 se sigue que n+ es transitivo.
(b) Veamos, por induccion sobre n, que n .
Paso base. Es claro 0 .
Paso inductivo. Sea n tal que n . Como n entonces {n} y, como n ,
entonces n+ = n {n} .

Por lo tanto, n (n ), lo cual significa que es transitivo.

(c) Dados m, n , e stos son transitivos. Si m+ = n+ entonces
2.3(b), se sigue m = n.

46

m+ =

n+ y, por el Lema

2.5 Definicion. Definimos la relacion < en como

m < n m n,

m, n .

Tambien definimos m n (m < n m = n) para todo m, n .

2.6 Lema. (a) n (n < n+ ).
(b) < es una relacion transitiva en .
(c) m < n n p m < p para todo m, n, p .
(d) m n n < p m < p para todo m, n, p .
(e) es una relacion transitiva en .
Demostracion. (a) Directo de que x x+ para cualquier conjunto x.
(b) Sean m, n, p tal que m < n y n < p, es decir, m n y n p. Como p es un natural,
entonces es transitivo y, por el Lema 2.2(iv), m p.

2.7 Lema. Dados m, n ,

(a) 0 n.
(b) m < n+ m n.
(c) m < n m+ n.
Demostracion. (a) Por induccion sobre n. Es claro que 0 0. Para el paso inductivo, sea n
tal que 0 n y veamos que 0 n+ . Como n < n+ , del Lema 2.6(d) se sigue directamente

0 < n+ , por lo cual 0 n+ .

(b) m < n+ (m n {n}) (m n m = n) (m < n m = n) m n.

(c) Para fijemos m y, por induccion sobre n, veamos m < n m+ n.
Paso base. m < 0 m+ 0 es cierto porque tiene antecedente falso.
47

Paso inductivo. Sea n tal que m < n m+ n. Veamos m < n+ m+ n+ .

Supongamos m < n+ , lo cual equivale a m n por (b). Por disyuncion de casos, si
m < n, de la hipotesis inductiva se sigue m+ n y, como n < n+ , del Lema 2.6(d)

se sigue m+ < n+ , de donde m+ n+ ; en el caso que m = n se sigue m+ = n+ y

directamente m+ n+ .

Para probar supongamos m+ n. Como m < m+ , del Lema 2.6(c) se sigue m < n.
2.8 Teorema. h, i es un orden total estricto.
Demostracion. Veamos primero que h, i es un orden parcial estricto. En el Lema 2.6 probamos

que < es transitivo, de modo que resta probar que es irreflexiva. Veamos por induccion sobre n que

n
/ n.
Paso base. Como 0 = , es claro 0
/ 0.
Paso inductivo. Dado n debemos probar n
/ n n+
/ n+ . Veamos su contrarrecproco

n+ n+ n n. Supongamos n+ n+ , es decir, n+ < n+ . Por el Lema 2.7, e sto

equivale a n+ n y, a su vez, equivale a n < n, es decir, n n.

Por lo tanto, h, i es un o.p.e, de donde h, i es un orden parcial. Por lo tanto, falta probar que

dos naturales son comparables. Fijemos m y veamos, por induccion sobre n, que m < n m =

n n < m.

Paso base. De Lema 2.7, 0 m, por lo cual m < 0 m = 0 0 < m.

Paso inductivo. Sea n tal que m < n m = n n < m. Veamos que n+ es comparable

con m. Por disyuncion de casos sobre la hipotesis inductiva: si m < n, como n < n+ se
sigue m < n+ ; si m = n, como n < n+ se sigue m < n+ ; finalmente, si n < m, entonces
n+ m por el Lema 2.7, de donde m = n+ n+ < m. Por lo tanto, de los casos conclumos
m < n+ m = n+ n+ < m.

Para concluir el objetivo de esta seccion, falta probar que cumple la propiedad del buen orden.
En el captulo 1 se establece la equivalencia entre esta propiedad y la induccion general para o rdenes
totales (ver Teorema 1.3.7 y Ejercicio 1.35). Optamos por probar entonces dicha induccion para .

48

En el Ejercicio 2.9 se propone que Sn (, ) = n, de modo que la induccion general queda

enunciada como sigue.
2.9 Teorema (Induccion general). (a) Sea T tal que cumple
n (n T n T ).
Entonces T = .
(b) Sea (x) una formula de ZF. Si

entonces n (n).

n (k<n (k)) (n) ,

Demostracion. (a) Consideremos la hipotesis n (n T n T ) y veamos, por induccion

sobre n, que n T .

Paso base. 0 T es claro.

Paso inductivo. Sea n tal que n T . De la hipotesis se sigue n T , por lo cual {n} T
y, luego, n+ = n {n} T .

Basta probar ahora que T . En efecto, si n entonces n T y, de la hipotesis, se tiene

n T.

(b) Al tomar T = {n / (n)}, de (a) se prueba T = , de donde la conclusion es directa.

2.10 Teorema. h, i es un buen orden (estricto).
Demostracion. Como h, i es un orden total (estricto), del Teorema 2.9 y el Ejercicio 1.35 se
sigue directamente que cumple la propiedad del buen orden. Sin embargo, exponemos la prueba

del Ejercicio para este caso particular. Sea B un conjunto que no tiene mnimo y veamos
que B = (este es el contrarrecproco de la propiedad del buen orden). Consideremos T = B

(complemento respecto a ) y veamos, por induccion general, que T = .

Supongamos n T tal que n T y veamos que n T . Como n T se tiene que k<n (k T ),
es decir k (k < n k T ), cuyo contrarrecproco equivale a k (k B n k), es decir,

kB (n k). Luego, si n B entonces n = mn B, lo cual es imposible porque B no tiene

mnimo. Por lo tanto, n

/ B, es decir, n T .

Hemos probado n T n T para todo n , de donde T = por Teorema 2.9. Por lo tanto,

B = .

49

2.3 Ejercicio. Pruebe el Lema 2.2.

2.4 Ejercicio. Demuestre la equivalencia entre las siguientes afirmaciones
(i) x es transitivo.
(ii) P(x) es transitivo.
S +
(iii)
x = x.

2.5 Ejercicio. Sea T una coleccion de conjuntos transitivos. Pruebe que

2.6 Ejercicio. Sea x un conjunto transitivo. Pruebe:
S
(a)
x es transitivo.

T y

T son transitivos.

(b) Si x 6= , el axioma de Regularidad (ver Ejercicio 2.2) implica que 0 x.

2.7 Ejercicio. Pruebe (c), (d), (e) del Lema 2.6.
2.8 Ejercicio. Demuestre:
S
1.
= .

S
2. Si A tal que A 6= y A = A, entonces A = . Sugerencia: Pruebe primero que A es
transitivo, luego, que es inductivo.

2.9 Ejercicio. Dado n , pruebe que n = {k / k < n}. Aqu se formaliza la intuicion inicial de que
un natural es el conjunto formado por los naturales menores que e l.
2.10 Ejercicio. Dado m, n , pruebe que
(a) m n m n.
(b) m < n m ( n.

(c) k (n < k < n+ ). Esto indica que n+ es el sucesor inmediato de n (ver Ejercicio 1.34).

(d) 0 < n+ .

(e) m < n m+ < n+ .

(f) La funcion f : r {0} tal que f (n) = n+ es un isomorfismo.

(g) Indique a que numeros naturales son iguales m n y m n (la tricotoma da la respuesta).
(h) Si n es no vaco entonces tiene maximo.
(i)
/ .
2.11 Ejercicio. Llene los detalles de la prueba del Teorema 2.9(b).
2.12 Ejercicio. Pruebe:
(a) Si x es transitivo y x ( , entonces x . Sugerencia: Tome el mnimo del complemento de x y pruebe
que es el mismo x.
(b) = {x ( / x transitivo}
(c) Si B es no vaco, entonces
(a).

B y mn B =

(d) Si A entonces

50

B. Sugerencia: para probar

B utilize

(a)

A si y solo si A tiene cota superior.

(b) Si
S A tiene cota superior, entonces tiene supremo y
A = max A.
S
(c)
A = si y solo si A no tiene cota superior.

A = sup A. Ademas, si A 6= , entonces

2.13 Ejercicio. Sea hA, A i un C.P.O y f : A. Entonces:

(a) Si n (f (n) A f (n+ )) entonces f es creciente.

(b) Si n (f (n) <A f (n+ )) entonces f es estrictamente creciente.

(c) Formule y demuestre resultados analogos a los anteriores, pero para el caso decreciente y estrictamente
decreciente.
2.14 Ejercicio. Considere el conjunto {An / n } tal que n (An An+ ). Pruebe:
(a) n (A0 An ).
S
(b) Si n An A0 entonces An = A0 para todo n .

2.15 Ejercicio. Sea hA, A i un C.P.O, n diferente de 0 y f : n A sobreyectiva. Pruebe:

(a) A tiene un elemento maximal y un minimal. Sugerencia: Pruebe por induccion sobre n que, para todo
A, todo orden parcial A de A y toda funcion f : n A sobre, si n 6= 0 entonces A tiene un maximal
y un minimal.
(b) Si A es C.T.O. entonces tiene maximo y mnimo.
2.16 Ejercicio. Construya una funcion inyectiva de en un subconjunto propio de s mismo.
2.17 Ejercicio. Dados A B , establezca las relaciones de desigualdad entre mn A con mn B y entre
max A con max B.
2.18 Ejercicio. Demuestre:
(a) Si hA, A i es un C.B.O, no existe una funcion f : A estrictamente decreciente.
(b) No existe una funcion f : estrictamente decreciente.

2.3. Teorema de la Recursion

En matematicas es muy comun construir sucesiones indizadas por numeros naturales, como por
ejemplo han in tal que an = n (sucesion identidad), hbn in definido por
b0 =
bn + =

1
2

1
1+ b1

y hcn in tal que

para n ,

c0 = 1
cn+ = cn n+ para n .

Los dos u ltimos ejemplos son sucesiones definidas por recursion, es decir, se define un primer termino y, los que siguen, se definen a partir de los anteriores. Aunque es claro, intuitivamente, que se
51

puede definir una sucesion por recursion, aun no tenemos un resultado en ZF que garantize este tipo
de construcciones.
El objetivo en esta seccion es entonces establecer las diferentes versiones del Teorema de la
Recursion que permitan formalizar el proceso de recursion. En esta seccion, con el fin de ilustrar
con ejemplos, vamos a asumir que contamos con la suma y producto en y sus propiedades, lo
mismo que con otros conjuntos numericos.
Como primer paso, debemos aclarar que es una sucesion. Intuitivamente, una sucesion, indizada
por naturales, es una secuencia ordenada de objetos. Tomando han in como en el ejemplo anterior,
vemos que e sta representa la secuencia ordenada
0, 1, 2, 3, 4, 5, 6, 7, ...
y, si definimos han in tal que
an

n + 1 si n es par,
n 1 si n es impar,

e sta sucesion representa la secuencia ordenada

1, 0, 3, 2, 5, 4, 7, 6, 9, 8, ...
Notese que ambas son sucesiones distintas y, sin embargo, {an / n } = {an / n }. Por
lo tanto, no podra pensarse en definir han in como el conjunto de los an , pues en ese contexto

se estara perdiendo la idea de que una sucesion es una secuencia ordenada. La forma clasica de

conservar el orden de una sucesion es asociarla con una funcion, a saber, si definimos f :

tal que f (n) = n para todo n y g : tal que


n + 1 si n es par,
g(n) =
n 1 si n es impar,

entonces f representa la sucesion han in y g representa a han in y respeta el orden de la sucesion

de los elementos. De la siguiente definicion queda claro que f = han in y g = han in .

3.1 Definicion (Sucesion). Sean I un conjunto. Una sucesion hai iiI se define como una funcion,

llamese f , tal que domf = I y f (i) = ai para todo i I. Con esta notacion, f = hai iiI . Si,
ademas, tenemos un conjunto A tal que iI (ai A) (o lo que es lo mismo, f : I A), decimos

que hai iiI es una sucesion en A.

52

Para este captulo y en gran parte del texto solo consideraremos sucesiones finitas y sucesiones
indizadas por . Para definir que es una sucesion finita basta observar que, intuitivamente, un
numero natural n tiene n elementos, pues sus elementos son los naturales menores que e l4 .
3.2 Definicion. Sea A un conjunto.
(1) Si n , decimos que hak ik<n es una sucesion de n elementos (caso particular de la definicion

anterior con I = n, recuerde que k < n es lo mismo que k n). Si denotamos h = hak ik<n ,

de la definicion anterior h es una funcion tal que domh = n y f (k) = ak para todo k < n.
Si, ademas, k<n(ak A) (o lo que es lo mismo, h : n A), decimos que hak ik<n es una
sucesion de n elementos en A.

(2) A una sucesion del tipo han in la llamaremos sucesion enumerable (caso particular de la

definicion anterior con I = ). Si denotamos h = han in , de la definicion anterior h es una

funcion tal que domh = y h(n) = an para todo n . Si, ademas, n (an A) (o lo que

es lo mismo, h : A), decimos que han in es una sucesion enumerable en A.

Todos los ejemplos anteriores son sucesiones enumerables. Del primer parrafo, h1 = hbn in

es una sucesion en el intervalo (0, 1), lo cual significa que h1 : (0, 1) tal que h1 (n) = bn para

todo n o, lo que es lo mismo,

h1 (0) =
h1 (n+ ) =

1
2

1
1+ h 1(n)
1

para n .

h2 = hcn in es una sucesion en , lo cual significa que h2 : tal que h2 (n) = cn para todo

n o, lo que es lo mismo,

h2 (0) = 1
h2 (n+ ) = h2 (n) n+ para n .
Mediante el ejemplo h1 = hbn in vamos a analizar como formular un teorema que permita definir
sucesiones por recursion. Vemos que esta sucesion consta de un termino inicial el cual es
un paso recursivo que es para definir h1

(n+ )

1
2

y de

a partir de una operacion aplicada a h1 (n). Dicha

operacion consiste en tomar h1 (n), sacar su inverso multiplicativo, sumar 1 y al total voler a tomar
inverso multiplicativo, lo cual se representa por una funcion F1 : (0, 1) (0, 1) tal que
F1 (x) =
4

1
,
1 + x1

x (0, 1).

Dicha intuicion sera util en el Captulo 3 para definir cuando un conjunto tiene n elementos.

53

F1 se conoce como la operacion de recursion. Por lo tanto, la funcion h1 esta definida por
(termino inicial)
h1 (0) = 12
h1 (n+ ) = F1 (h1 (n)) para n (operacion de
recursion aplicada al termino anterior).
Para definir una sucesion por recursion como la anterior solo se necesitan dos ingredientes: un

termino inicial y una operacion de recursion. Esto

nos da una idea para formular una version sencilla
del Teorema de la Recursion, la cual probamos mas adelante como consecuencia de otra version mas
general.
3.3 Teorema (de la Recursion (version simple)). Sea A un conjunto y consideremos
cA
(termino inicial)
F : A A (operacion de recursion).
Entonces existe una u nica funcion h : A tal que
h(0) = c
h(n+ ) = F (h(n)) para n .
Decimos que h es la sucesion generada por recursion a partir de c y F .
3.4 Ejemplo. (1) Utilicemos el Teorema 3.3 para definir la sucesion han in en tal que
a0 = 0
an+ = (an )+ para n .
Identifiquemos sobre que conjunto se quiere definir la sucesion, el termino inicial y la operacion
de recursion que, segun el Teorema 3.3, son A = , c = 0 y F : respectivamente, de
modo que F (x) = x+ para todo x (la operacion sucesor). Al aplicar el Teorema a estos

objetos, existe una u nica funcion h : tal que

h(0) = 0
h(n+ ) = F (h(n)) = (h(n))+ para n .
As, si llamamos an = h(n) para n , han in = h es la sucesion buscada. Notese ademas
que la funcion identidad I : satisface

I (0) = 0
I (n+ ) = n+ = F (n) = F (I (n)) para n .
Por lo tanto, como h e I satisfacen la misma recursion sobre 0 y F , por la unicidad de la
funcion de recursion en el Teorema de la Recursion, se sigue que h = I . Por lo tanto, an = n

para todo n . Esto

indica que la funcion identidad de los naturales puede definirse por

recursion.

54

(2) Al aplica el Teorema 3.3 con A = (0, 1), c =

F1 (x) =

1
2

y F1 : (0, 1) (0, 1) definida por

1
,
1 + x1

x (0, 1),

existe una u nica funcion h1 : (0, 1) tal que

h1 (0) = 12
h1 (n+ ) = F1 (h1 (n)) =

1
1+ h 1(n)
1

para n .

Si definimos bn = h1 (n) para n , hbn in = h1 es la sucesion construda en el primer

parrafo de esta seccion.
Analicemos como construir la sucesion hcn in tal que
c0 = 1
cn+ = cn n+ para n .
Notamos que es una sucesion en con termino inicial 1 y cuya operacion de recursion es tomar el
termino anterior y multiplicarlo por el sucesor de su ndice. Para construir esta sucesion no podemos
aplicar el Teorema 3.3 debido a que la operacion de recursion no tiene la forma F : , pues
no depende del termino anterior sino tambien del ndice. Por lo tanto, la operacion de recursion
debe ser F2 : tal que F2 (n, x) = x n+ para n (donde n representa el ndice

y x la variable que hace las veces del termino precedente en el paso recursivo), de modo que, si
h2 = hcn in , entonces h2 : tal que
h2 (0) = 1
(termino inicial)
+
h2 (n ) = F2 (n, h2 (n)) para n .
La u nica diferencia de esta recursion con la del Teorema 3.3 es que la operacion de recursion contiene un parametro adicional.
3.5 Teorema (de la Recursion (version con parametro)). Sea A un conjunto y consideremos
cA
(termino inicial)
F : A A (operacion de recursion con parametro).
Entonces existe una u nica funcion h : A tal que
h(0) = c
h(n+ ) = F (n, h(n)) para n .
Decimos que h es la sucesion generada por recursion a partir de c y F .
55

Demostracion. La idea intuitiva de la prueba es construir la sucesion h mediante sucesiones finitas,

es decir, dado n vamos a construir la sucesion tn que representa la secuencia ordenada
h(0), h(1), . . . , h(n 1).
De esta forma, tn = hh(k)ik<n . Al haber definido tn para cada n , podemos unir estas sucesiones entre s para obtener h.

Primero probemos, por induccion sobre n, la siguiente afirmacion que representa, segun la recursion
(en este caso, finita), que tn es hh(k)ik<n .
Existe una u nica funcion tn : n A tal que
(i)n 0 < n tn (0) = c
(ii)n k+ < n tn (k+ ) = F (k, tn (k)) para k .
Paso base. La u nica funcion que existe de 0 a cualquier conjunto es . Por lo tanto t0 = es la
u nica funcion que cumple la afirmacion para n = 0 (note que (i)0 y (ii)0 son ciertas porque
tienen antecedente falso).
Paso inductivo. Sea n tal que existe una u nica funcion tn : n A que cumple (i)n y (ii)n .
Veamos que existe una u nica funcion tn+ : n+ A que satisface (i)n+ y (ii)n+ , los cuales

son equivalentes a
(i)n+ tn+ (0) = c
(ii)n+ k < n tn+ (k+ ) = F (k, tn+ (k)) para k .
La primera es porque 0 < n+ siempre es cierto, entonces se puede eliminar dicho antecedente,
la segunda es porque k < n equivale a k+ < n+ (ver Ejercicio 2.10). Del Lema 1.6 podemos
hacer disyuncion de casos si n = 0 o si es el sucesor de algun natural.
Si n = 0 entonces definimos t1 : 1 A (recuerde que 1 = {0}) tal que t1 (0) = c y
claramente se satisfacen (i)1 y (ii)1 (el u ltimo por antecedente falso). Para probar la unicidad,
si t1 : 1 A es otra funcion que cumple (i)1 y (ii)1 , se tiene t1 (0) = c = t1 (0), por lo cual
k1 (t1 (k) = t1 (k)). As, t1 = t1 .

Si n = m+ para algun m entonces definimos tn+ : n+ A tal que5


tn (k)
si k < n,
tn+ (k) =
F (m, tn (m)) si k = n.

Como n = m+ entonces 0 < n por lo cual, de la definicion de tn+ y (i)n , se sigue tn+ (0) =
tn (0) = c, por lo cual se satisface (i)n+ . Para ver (ii)n+ supongamos k < n y veamos que
5

es lo mismo decir tn+ = tn {(n, F (m, t(m)))}.

56

tn+ (k+ ) = F (k, tn+ (k)). Como n = m+ entonces k m. Si k < m entonces k+ < n por
lo cual, de la definicion de tn+ y (ii)n se tiene

tn+ (k+ ) = tn (k+ ) = F (k, tn (k)) = F (k, tn+ (k)).

Ahora, si k = m, como m < n de la definicion de tn+ se sigue
tn+ (k+ ) = tn+ (n) = F (m, tn (m)) = F (m, tn+ (m)) = F (k, tn+ (k)).
Para la unicidad, sea tn+ : n+ A que satisface (i)n+ y (ii)n+ . Consideremos tn = tn+ n,

por lo cual tn : n A y satisface

(i)n Si 0 < n (lo cual es cierto), entonces tn (0) = tn+ (0) = c.

(ii)n Si k y k+ < n, entonces tn (k+ ) = tn+ (k+ ) = F (k, tn+ (k)) = F (k, tn (k)).
Por lo tanto, de la hipotesis inductiva (unicidad de tn ) se sigue tn = tn . Para probar tn+ = tn+
basta ver que k<n+ (tn+ (k) = tn+ (k)). Si k < n+ entonces k n. Si k < n entonces

tn+ (k) = tn (k) = tn (k) = tn+ (k); si k = n entonces

tn+ (n) = tn+ (m+ ) = F (m, tn+ (m)) = F (m, tn (m)) = F (m, tn (m)) = tn+ (n)
y con esto termina la induccion.
De la induccion se sigue que t0 = , t1 (0) = c y, para todo natural n 6= 0,
tn+ (k) =

tn (k)
si k < n,
F (m, tn (m)) si k = n.

Consideremos H = {tn / n }. Este

es un conjunto, pues H P( A). Dados m, n se

tienen las siguientes propiedades:

(a) tn tn+ . Es claro que t0 t1 y tn tn+ para n 6= 0.

(b) m < n tm tn. Definamos H : H tal que H(n) = tn . De (a) se sigue H(n)
H(n+ ) para todo n , de donde, por el Ejercicio 2.13, H es creciente (con H ordenado por
contencion).

(c) Todas las funciones en H son complatibles. Directo de (b).

57

Por (c) tenemos que h =

n tn

es una funcion. Luego,

domh =

domtn =

n=

(la u ltima igualdad por el Ejercicio 2.8) y, como rantn A para todo n , entonces
ranh =

rantn A.

As, h : A. Veamos que e sta es la funcion buscada. De la definicion de h es claro que

h(n) = tp (n) para todo n, p donde n < p. Luego, h(0) = t1 (0) = c y, dado n ,
h(n+ ) = t(n+ )+ (n+ ) = F (n, tn+ (n)) = F (n, h(n))

Demostracion de 3.3. Sea c A y F : A A. Defina Fb : A A tal que Fb(n, x) = F (x).

Por 3.5, existe una u nica funcion h : A tal que

h(0) = c
h(n+ ) = Fb(n, h(n)) = F (h(n)) para n .
3.6 Ejemplo. (1) Aplicamos 3.5 con A = , c = 1 y F2 : tal que F (n, x) = x n+
para obtener la funcion h2 : tal que

h(0) = c
h(n+ ) = h(n) n+ para n .
La naturaleza de esta recursion permite definir n! = h2 (n) para cada n , pues 0! = 1 y
(n+ )! = n! n.

(2) Sea han in una sucesion en R y definamos, para cada n, el termino

definir mediante la siguiente recursion
0
P

k=0
n+
P

k=0

n
P

ak . Este
se puede

k=0

ak = a0
ak =

P
n

k=0


ak + an+ para n .

Notamos que la sucesion se define en R, el termino inicial es a0 y la operacion de recursion

es sumar hasta n y luego sumar an+ . Notemos que la operacion depende de n tambien, por lo
58

cual la operacion de recursion es F3 : R R tal que F3 (n, x) = x + an+ . Luego, por el

Teorema 3.5 existe una u nica funcion h3 : R tal que

h3 (0) = a0
h3 (n+ ) = h3 (n) + an+ para n .
Por lo tanto, se define

n
P

k=0

ak = h(n) para cada n .

Como u ltimo ejemplo sobre tipos de recursion, consideremos la sucesion de Fibonacci definida
por
f0 = 0
f1 = 1
fn+2 = fn + fn+1 para n .
Notese que la sucesion tiene dos terminos iniciales y que la operacion de recursion depende de los
dos terminos anteriores, lo cual hace que la sucesion no pueda ser generada por los Teoremas anteriores. Por lo tanto, se debe formular un caso general de recursion donde la operacion de recursion
depende de todos los terminos anteriores.
Antes de formular la version general del Teorema de la Recursion, introducimos la siguiente
notacion.
3.7 Definicion. Sea A un conjunto.
(1) Dado un conjunto I, definimos6 I A = {f / f : I A}. Este conjunto representa la coleccion
de funciones de I en A. Tambien representa la coleccion de sucesiones en A indizadas por I
(ver Definicion 3.1).
(2) Dado n , segun (1), n A es el conjunto de sucesiones en A de longitud n.
(3)

es el conjunto de sucesiones enumerables en A.

(4) sq(A) =

3.8 Ejemplo. (1)

nA

0A

es el conjunto de sucesiones finitas en A.

= {}, pues la u nica funcion con dominio vaco es . Dicho de otro modo,

es la u nica sucesion de longitud 0.

(2)

1A

= {hai / a A}. Aqu hai representa la sucesion de longitud 1 conformada por el objeto

A, es decir, una funcion de 1 hasta A tal que la imagen de 0 es a.

6

Es subconjunto de P(I A), por lo cual es conjunto.

59

Volviendo al ejemplo de la sucesion de fibonacci, necesitamos una operacion de recursion que

se aplique a los terminos anteriores. Si denotamos por F dicha operacion, fn se debe obtener de
los terminos anteriores, los cuales podemos reunir en la sucesion hfk ik<n , de modo que fn =
F (hfk ik<n ). De e sto se infiere que F es una operacion que se aplica a sucesiones finitas, en este
caso, a elementos en sq(). Por lo tanto, definimos F : sq() tal que

si n = 0,
0
F (hak ik<n ) = 1
si n = 1,

an1 + an2 si n > 1.

En el caso n > 1 se entiende claramente de que el n-esimo termino se obtiene de sumar los dos
anteriores. Los casos n = 0 y n = 1 se toman solo para definir los terminos iniciales, pues estos
solo dependen de ser el 0-esimo y 1-er paso de la construccion. As, para definir una sucesion por
recursion general solo se necesita una operacion de recursion, como se menciona a continuacion.
3.9 Teorema (de la Recursion (version general)). Sea A un conjunto y F : sq(A) A. Entonces

existe una u nica funcion h : A tal que

h(n) = F (hh(k)ik<n ),

n .

Demostracion. Como 0 A = {} es claro sq(A). Consideremos Fb : sq(A) sq(A) tal que,

si t sq(A) y tiene la forma t = hak ik<n , entonces Fb(t) es la sucesion de longitud n+ que resulta

de adjuntar a la sucesion t el termino F (t), es decir, Fb(t) = t {(n, F (t))} o, dicho de otra forma,
Fb(t) = Fbt : n+ A tal que
Fbt (k) =

ak
si k < n,
F (hak ik<n ) si k = n.

Aplicamos el Teorema 3.3 a sq(A), (como termino inicial) y a Fb : sq(A) sq(A) para obtener
una u nica funcion H : sq(A) tal que, si denotamos Hn = H(n),
H0 =
Hn+ = Fb(Hn ) para n .

Como t Fb(t) para todo t sq(A), se obtiene Hn Hn+ para n , de donde se con-

cluye que H : sq(A) es una funcion creciente (donde sq(A) se ordena por ). Por lo tanto,
S
{Hn / n } es un conjunto de funciones compatibles, de donde h = n Hn es una funcion.
S
Es facil ver que domh = n domHn = y ranh A, por lo cual h : A y
h(n) = Hn+ (n) = (Fb(Hn ))(n) = FbHn (n) = F (hHn (k)ik<n ) = F (hh(k)ik<n ).
60

Para la unicidad, sea h : A tal que h (n) = F (hh (k)ik<n ) y veamos que h = h. Definamos

la funcion H : sq(A) tal que Hn = H (n) = hh (k)ik<n . Luego, H0 = porque tiene

dominio vaco y, dado n ,

Hn + (k)

h (k) = Hn (k)
si k < n,

F (hh (k)ik<n ) = F (hHn (k)ik<n ) si k = n,

es decir, Hn + = FbHn = Fb(Hn ). As, H y H satisfacen la misma recursion respecto y Fb de

donde, por unicidad, H = H . Por lo tanto, dado n , h(n) = Hn+ (n) = Hn + (n) = h (n), de

donde h = h .

3.10 Ejemplo. Apliquemos el Teorema anterior para A = y F : sq() tal que

si n = 0,
0
F (hak ik<n ) = 1
si n = 1,

an1 + an2 si n > 1.

Se sigue que existe una u nica funcion f : A tal que f (n) = F (hf (k)ik<n ) para n . Notese

que

f (0) = F (hf (k)ik<0 ) = 0

f (1) = F (hf (k)ik<1 ) = 1
f (n) = F (hf (k)ik<n ) = f (n 1) + f (n + 2) si n > 1.
As, con fn = f (n), se sigue que hfn in es la sucesion de Fibonacci.
2.19 Ejercicio. Justifique:
(a) Dado t : I A, entonces t = ht(i)iiI .
(b) Si t = hai iiI entonces iI (t(i) = ai ).
2.20 Ejercicio. Utilice el Teorema 3.3 para construir las siguientes sucesiones.
a0 = 1
Indique a que es igual an .
an+ = an 3 para n .

b0 = 2
(b)
bn+ = 2 + bn para n .
(a)

(c) Dado m ,

c0 = 0
cn+ = cn + m para n .

Indique a que es igual cn .

2.21 Ejercicio. Dado han in sucesion en R, utilice el Teorema 3.5 para definir
2.22 Ejercicio. Pruebe la unicidad de h en el Teorema 3.5.

61

n
Q

k=0

ak para n .

2.23 Ejercicio. Sea F : A A inyectiva tal que c A r ranF . Si h : A es la funcion generada por
recursion con c como termino inicial y la operacion F , pruebe que h es inyectiva. Sugerencia: Pruebe que
k<n (h(k) 6= h(n)) por induccion sobre n.
2.24 Ejercicio. Si B ( A y f : A B es inyectiva, entonces existe h : A inyectiva.
2.25 Ejercicio. Sea hA, A i un C.B.O. no vaco que no tiene maximo. Probar
(a) Existe una funcion f : A estrictamente creciente.
(b) es isomorfo a una seccion de A.
2.26 Ejercicio. Pruebe que sq(A) es un conjunto. Ademas, indique a que son iguales sq() y sq({x}).
2.27 Ejercicio. Pruebe que el Teorema 3.3 implica 3.5. Sugerencia: Defina Fb : A A tal que
Fb (n, x) = (n+ , F (n, x)) y aplique recursion simple a esta funcion con termino inicial (0, c).
2.28 Ejercicio. Enuncie la version general con parametro del Teorema de la Recursion.

2.4. Operaciones
Una consecuencia importante del Teorema de la Recursion es definir las operaciones suma y
producto, de modo que se satisfagan los axiomas de Peano P5-P8 (ver seccion 2.1). Por ejemplo,
para la operacion suma necesitamos una funcion + : , en donde denotamos m + n =
+(m, n), tal que se satisface

m+0 =m
para m ,
+
+
m + n = (m + n) para m, n .
Lo anterior indica que, fijando m , se puede definir m + n mediante recursion sobre m. Por
lo tanto, se esta haciendo una recursion por cada m , es decir, multiples recursiones. As, si

tomamos m como termino inicial y la operacion Fm : tal que Fm (x) = x+ , al aplicar 3.3
obtenemos una u nica funcion hm : tal que

hm (0) = m
hm (n+ ) = (hm (n))+ para n .
De este modo, si definimos +(m, n) = hm (n), obtenemos la suma. Una pregunta natural es si la
operacion + definida es la u nica que satisface la recursion que debe cumplir la suma. Para responder
e sto, se puede suponer que existe otra funcion + : tal que (al denotar m + n =
+ (m, n))

m + 0 = m
para m ,

+
m + n = (m + n) para m, n ,

y probar que + = +, lo cual necesita de la unicidad de hm . Este procedimiento se puede generalizar

en la medida de que se establece una u nica operacion de recursion para generar la recursion multiple.
62

Notese que, para cada m , se toma un termino inicial m y una operacion Fm . Como el termino

inicial depende de m, podemos definir una funcion g : tal que g(m) = m, de modo que
g genere los terminos iniciales para cada m . Por otra parte, para las operaciones, definimos

F : tal que F (m, x) = x+ (notese que, en este caso, la operacion no depende de m).

As, la operacion + : debe satisfacer

+(m, 0) = g(m)
para m ,
+(m, n+ ) = F (m, +(m, n)) para m, n .
Por lo tanto, para una recursion multiple como en el caso anterior, necesitamos una funcion de
terminos iniciales y una operacion de recursion multiple, lo cual se enuncia en el siguiente resultado.
4.1 Teorema (de la Recursion (multiple)). Sean A e I conjuntos (la intencion es hacer una recursion
por cada i I) y consideremos
g:IA
funcion de terminos iniciales
F : I A A operacion de recursion multiple.
Entonces existe una u nica funcion h : I A tal que
h(i, 0) = g(i)
para i I,
+
h(i, n ) = F (i, h(i, n)) para i I y n .
Demostracion. Fijemos i I y denotemos ci = g(i) y Fi : A A tal que Fi (x) = F (i, x). Al
aplicar el Teorema 3.3 a A, ci y Fi , existe una u nica funcion hi : A tal que
hi (0) = ci
hi (n+ ) = Fi (hi (n)) para n .
Definimos h : I tal que h(i, n) = hi (n) para i I y n . Luego, h(i, 0) = hi (0) =
ci = g(i) y

h(i, n+ ) = hi (n+ ) = Fi (hi (n)) = F (i, hi (n)) = F (i, h(i, n)).

Por lo tanto, h satisface la recursion multiple del enunciado.
Para la unicidad, supongamos que h : I A es una funcion que tambien satisface la recursion

multiple. Fijemos i I y definamos hi : A tal que hi (n) = h (i, n). Luego, hi (0) =
h (i, 0) = g(i) = ci y, para n ,

hi (n+ ) = h (i, n+ ) = F (i, h (i, n)) = Fi (h (i, n)) = Fi (hi (n)).

Por lo tanto, hi satisface la misma recursion que hi de donde, por la unicidad en el Teorema 3.3,
hi = hi para cada i I. Por lo tanto,
h (i, n) = hi (n) = hi (n) = h(i, n)
para todo i I y n , lo cual garantiza que h = h.
63

4.2 Teorema (Suma de naturales). Existe una u nica operacion + : , donde denotamos

m + n = +(m, n), tal que

m+0 =m
para m ,
m + n+ = (m + n)+ para m, n .
Demostracion. Tomemos como funcion de terminos iniciales g : tal que g(m) = m y

como operacion de recursion F : tal que F (m, x) = x+ . Al aplicar el Teorema 4.1 (con
A = I = ), existe una u nica funcion + : tal que

+(m, 0) = g(m) = m
para m ,
+(m, n+ ) = F (m, +(m, n)) = (+(m, n))+ para m, n .
Al denotar m + n = +(m, n) se sigue el enunciado.
4.3 Lema. Dado m ,
(a) m + 1 = m+ .
(b) 0 + m = m.
Demostracion. (a) m + 1 = m + 0+ = (m + 0)+ = m+ por la definicion de + y 1.
(b) Por induccion sobre m. Por definicion de suma, 0 + 0 = 0. Para el paso inductivo, sea m

tal que 0 + m = 0. Luego, 0 + m+ = (0 + m)+ = m+ , la primera igualdad por definicion de

+ y la segunda por hipotesis inductiva.

Se sigue entonces que 1 + 1 = 1+ = 2 es un teorema de ZF, lo mismo 5 + 3 = 8, pues

5 + 3 = (5 + 2)+ = ((5 + 1)+ )+ = ((5+ )+ )+ = (6+ )+ = 7+ = 8.
Intuitivamente, m + n representa aplicar la operacion sucesor n veces al numero m.
4.4 Lema. Dados m, n, p ,
(a) (Asociatividad de la suma) m + (n + p) = (m + n) + p.
(b) (Conmutatividad de la suma) m + n = n + m.
Demostracion. La asociatividad es directa de una induccion sobre p (propuesto en el Ejercicio
2.29), de modo que probamos la conmutatividad. Su prueba no consta de fijar una de las variables
y proceder por induccion en la otra, sino que es necesario hacer induccion en ambas variables, solo
que se hace una induccion a la vez. Procedamos por induccion sobre n y probemos m (m + n =

n + m) (es importante la presencia del cuantificador en esta induccion).

64

Paso base (n). Con n = 0, dado m del Lema 4.3 se sigue m + 0 = m = 0 + m.

Paso inductivo (n). Sea n tal que m (m + n = n + m) y veamos que m (m + n+ =
n+ +m). Como es una propiedad para todo m natural, podemos proceder por induccion sobre

m y probar m + n+ = n+ + m.
Paso base (m). Con m = 0 es claro 0 + n+ = n+ = n+ + 0 del Lema 4.3.
Paso inductivo (m). Sea m tal que m + n+ = n+ + m y veamos que m+ + n+ =
n+ + m+ . En efecto,

m+ + n+ = (m+ + n)+
= (n + m+ )+
= ((n + m)+ )+
= ((m + n)+ )+
= (m + n+ )+
= (n+ + m)+
= n + + m+

Def. +,
Hip ind. de n (conmuta con todos),
Def. +,
Hip ind. de n (conmuta con todos),
Def. +,
Hip. ind. de m
Def +.

4.5 Teorema (Producto de naturales). Existe una u nica funcion : , donde denotamos

m n = (m, n), tal que

m0 =0
para m ,
m n+ = m n + m para m, n .

Tambien escribimos mn = m n.

Demostracion. Analizando la recursion del enunciado, notamos que los pasos recursivos se dan
sobre n mientras que m permacene fijo. Lo anterior da la idea de una recursion multiple controlada
por m, donde la funcion de terminos iniciales es g : tal que g(m) = 0 y la operacion de

recursion es F : tal que F (m, x) = x + m. Luego, por el Teorema 4.1, existe una u nica

funcion : tal que

(m, 0) = g(m) = 0
para m ,
(m, n+ ) = F (m, (m, n)) = (m, n) + m para m, n .
Al denotar m n = (m, n) se sigue el enunciado.
4.6 Lema. Dado m ,
(a) m 1 = m.
(b) 0 m = 0.
65

Demostracion. (a) m 1 = m 0+ = m 0 + m = 0 + m = m por definicion de producto y el

Lema 4.3.
(b) Por induccion sobre m. Para el paso base, es claro que 0 0 = 0. Ahora sea m tal que
0 m = 0. Luego, 0 m+ = 0 m + 0 = 0 + 0 = 0.

Dado m , m 2 = m 1 + m = m + m y m 3 = m 2 + 1 = m + m + m (como la suma

asocia y conmuta, no nos preocupamos por los parentesis en estos casos). De lo anterior se infiere
que m n representa el numero que resulta de sumar m una cantidad n de veces.
4.7 Lema. Dados m, n, p ,
(a) (Distributividad) m (n + p) = m n + m p.
(b) (Asociatividad del producto) m (n p) = (m n) p.
(c) (Conmutatividad del producto) m n = n m.
Demostracion. (a) Fijemos m, n y procedamos por induccion sobre p.
Paso base. m (n + 0) = m n = m n + 0 = m n + m 0.
Paso inductivo. Sea p tal que m (n + p) = m n + m p. Luego,
m (n + p+ ) = m (n + p)+
= m (n + p) + m
= (m n + m p) + m
= m n + (m p + m)
= m n + m p+

Def. +
Def.
Hip. ind.
Asoc. +
Def. .

(b) Fijemos m, n y procedamos por induccion sobre p.

Paso base. m (n 0) = m 0 = 0 = (m n) 0.
Paso inductivo. Sea p tal que m (n p) = (m n) p. Luego,
m (n p+ ) = m (n p + n)
= m (n p) + m n
= (m n) p + m n
= (m n) p+

66

Def.
(a)
Hip. ind.
Def. .

Para finalizar la seccion, veamos algunas propiedades que relacionan las operaciones aritmeticas
con la desigualdad.
4.8 Lema. Dados m, n, p ,
(a) m < n m + n < m + p.
(b) Si p 6= 0 entonces m < n m p < n p
(c) m = n m + p = n + p.
(d) Si p 6= 0 entonces m = n m p = n p.
(e) (a) y (b) se cumplen con en vez de <.
Demostracion. (a) Probemos por induccion sobre p. El paso base es inmediato. Para el paso
inductivo, sea p tal que m < n m + p < n + p. Si m < n entonces
m + p+ = (m + p)+ < (n + p)+ = n + p+
donde la desigualdad se sigue por Ejercicio 2.10.
Para el recproco, supongamos m + p < n + p. Por tricotoma, n < m o m = n o m < n. Del
primer caso e se sigue n + p < m + p y del segundo caso se tiene m + p = n + p, los

cuales contradicen la hipotesis. Por lo tanto, m < n.

(c) es inmediato. Para el recproco, supongamos m + p = n + p. Por tricotoma, m < n

o m = n o n < m. Del primer caso y (a), m + p < n + p y, del segundo caso, n + p < m + p,

los cuales contradicen la hipotesis. Por lo tanto, m = n.

(e) Por (a) y (c) se sigue
m n m < n m = n m + p < n + p m + p = n + p = m + p n + p.
De forma similar se sigue el caso de (b) con .
2.29 Ejercicio. Demuestre:
(a) La asociatividad de la suma.
(b) La conmutatividad del producto.
(c) (m + n) p = m p + n p para m, n, p .

67

(d) Los incisos (b) y (d) del Lema 4.8.

2.30 Ejercicio. Pruebe que existe una u nica funcion e : , donde se denota mn = e(m, n), tal que
m0 = 1
para m ,
n+
n
m
= m m para m, n .
Ademas, para m , demuestre que
(a) m1 = m.
(b) Si m 6= 0 entonces 0m = 0.
(c) 1m = 1.
(d) m2 = m m.
2.31 Ejercicio. Segun el Ejercicio 2.30, demuestre los siguientes enunciados para m, n, p .
(a) mn+p = mn mp .
(b) (m n)p = mp np .
(c) (mn )p = mnp .
Sugerencia: Proceda por induccion sobre p.
2.32 Ejercicio. Pruebe la unicidad del Teorema 4.1 utilizando induccion, es decir, suponga que h : I A
y h : I A cumplen la recursion, fije i I y pruebe que h(i, n) = h (i, n) para todo n .
2.33 Ejercicio. Dado m, n , si m n existe un u nico tal que m + = n. A este u nico se le
define como n m. Sugerencia: Para la existencia utilice induccion sobre n.
2.34 Ejercicio. Dados m, n ,
(a) m n (m + = n).
(b) m < n ( 6= 0 m + = n).
2.35 Ejercicio. Con la definicion de resta en el Ejercicio 2.33, dados m, n, p pruebe que
(a) Si m n entonces m n = 0 m = n.
(b) Si p m < n entonces m p < n p.
2.36 Ejercicio. Dados m, n, p, q , demuestre que
(a) Si m + n = p + q entonces m < p q < n.
(b) Si n < m y q < p entonces mq + np < mp + nq
2.37 Ejercicio. Sean m, n con n 6= 0. Pruebe que existen u nicos q, r tal que m = nq + r y r < n.
Sugerencia: Induccion sobre m para probar existencia. Para la unicidad, utilice tricotoma para probar la
unicidad de q.
2.38 Ejercicio. Dado m pruebe que k (m = 2k) o k (m = 2k + 1), pero no se cumplen ambos a
la vez.

68

2.39 Ejercicio. Sea N un conjunto, 0N N , s : N N , +N : N N N y N : N N N

que satisfacen los axiomas de Peano (ver seccion 2.1, reemplace s(n) por n+ ). Dados x, y N definimos
x N y zN (x +N z = y). Pruebe que existe una u nica funcion biyectiva f : N tal que para todo
m, n ,
(a) f (0) = 0N .
(b) f (n+ ) = s(f (n)).
(c) f (m + n) = f (m) +N f (n).
(d) f (m n) = f (m) N f (n).
(e) m n f (m) N f (n).

2.5. Otros Conjuntos Numericos

El fin de esta seccion es solo informativo, por lo cual no proponemos pruebas ni ejercicios.
Al probar que satisface los axiomas de Peano, todos los resultados de teora de numeros, como
el Teorema Fundamental de la Aritmetica, se cumplen para . Luego, los numeros enteros representa
una extension de los naturales donde se anaden sus inversos aditivos. La forma de obtener inversos
aditivos es mediante restas y es claro que todo numero entero es la resta de dos naturales. La idea de
la construccion de Z es partir del conjunto en donde (m, n) reprenta la resta m n. Notese

que infinitos pares ordenados representan la misma resta, por ejemplo,

2 4 = 1 3 = 0 2 = 3 6 =

de modo que (2, 4), (1, 3), (0, 2) y (3, 6) representan la misma resta. Dicha idea se puede formalizar
con una relacion de equivalencia: al notar que 2 4 = 1 3 se tiene 2 + 3 = 1 + 4. Por lo tanto,
se define como relacion en tal que

(m, n) (r, s) m + s = n + r,

(m, n), (r, s) .

es una relacion de equivalencia en . Es facil observar que, dados m, n , la clase de

equivalencia [(m, n)] esta formada por pares ordenados cuyas restas de primera componente con
segunda componente son iguales. Por ejemplo, [(2, 4)] es la clase de pares ordenados cuya resta
de componentes es 2, [(3, 3)] es la clase de pares ordenados cuya resta de componentes es 0. Lo
anterior permite definir 2 = [(2, 4)] , 0 = [(3, 3)] , de modo que

Z = / = {[(m, n)] / m, n } .
69

Se define la suma y el producto como

[(m, n)] +Z [(r, s)] = [(m + r, n + s)] ,

[(m, n)] Z [(r, s)] = [(mr + ns, ms + nr)] .

Dichas operaciones estan bien definidas y satisfacen todas las propiedades conocidas de las operaciones de enteros. Especficamente, 0Z = [(0, 0)] , 1Z = [(1, 0)] y [(m, n)] = [(n, m)]Z . La

desigualdad se define como

[(m, n)] <Z [(r, s)] m + s < n + r.

El nivel de complejidad de la construccion de Z hace que * Z, mas aun, son disjuntos, por lo cual

el cero de es distinto que el cero de Z. Este

problema solo surge de la construccion, pero teoricamente se puede solucionar. Consideramos la funcion E : Z tal que E (n) = [(n, 0)] . La

funcion lo que dice es que E (n) es el objeto en Z que representa al numero n, de modo que ran(E )
es un subconjunto de Z que se comporta como los naturales, mas aun, ran(E ) = Z+ {0Z }.

La definicion de Q es mas familiar. Dados a, b Z con b 6= 0Z asociamos (a, b) al racional ab . Es

claro que infinitos pares ordenados representan al mismo racional, por ejemplo

1
2

2
4

3
6

= .

Analogo a la construccion de Z, formamos una relacion de equivalencia que relacione todos los
pares ordenados que representen un mismo racional. Notese que

1
2

2
4

si y solo si 1 Z 4 = 2 Z 2.

Definimos entonces
(a, b), (c, d) Z (Z r {0Z }).

(a, b) (c, d) a Z d = b Z c,

es una relacion de equivalencia en Z (Z r {0Z }, de modo que definimos Q = (Z (Z r

{0Z })/ . Dados a, b Z con b 6= 0, naturalmente se denota

c
ad +Z bc
a
+Q =
,
b
d
bd

a
b

= [(a, b)], de donde se define

a
c
ac
Q = .
b
d
bd

Dichas operaciones estan bien definidas y cumplen todas las propiedades conocidas sobre Q. Mas
aun, 0Q =

0Z
1Z , 1Q

1Z
a
1Z , b

a
c
<Q [bd >Z 0Z
b
d

a
b

y ( ab )1 = ab , la u ltima con a, b Zr{0Z }. Para la desigualdad,

ad <Z bc] [bd <Z 0Z

ad >Z bc],

a, b, c, d Z, b, d 6= 0Z .

Analogo a la situacion con Z, Z * Q, pero se tiene que la funcion EZ : Z Q, tal que EZ (a) = a1 ,
que representa los enteros en Q.

70

La construccion de R es un poco distinta, en vista de que se busca realizar la continuidad que

no se cumple en Q. En Analisis se prueba que todo numero real x es el supremo del conjunto
(, x) Q, el cual es una seccion en Q no trivial (es decir, no es ni Q) y acotada superiormente

que no tiene maximo. Recprocamente, para toda seccion X no trivial de Q, acotada superiormente

y sin maximo, existe un real x tal que X = (, x) Q.

5.1 Definicion. Una cortadura de Dedekind en Q es una seccion no trivial de Q que esta acotada
superiormente y que no tiene maximo.
Como todo numero real esta representado por una cortadura de Dedekind, se define
R = {X Q / X cortadura de Dedekind.} ,
de donde se siguen nociones naturales de +R , R y <R . Tambien sucede que Q * R y que se tiene

una funcion EQ : Q R, dada por EQ (q) = {r Q / r <Q q}, tal que ranEQ cumple todas las

propiedades de Q como subconjunto de R.

Finalmente definamos el conjunto de numeros complejos C. Dado que un complejo se compone en una parte real y una imaginaria, se define C = R R donde se denota a + bi = (a, b).

Aqu tambien R * C pero la funcion ER : R C tal que ER (a) = a+0i representa los reales en C.
Como en teora se trabaja con Z Q R C, se redefine R = ranER , Q = ran(ER EQ ),

Z = ran(ER EQ EZ ) y el clasico N = ran(ER EQ EZ E ), de modo que se cumplan

las contenciones. Los conjuntos N, Z, Q, R y C satisfacen todas las propiedades conocidas (y

por conocer) en matematicas, lo cual asumiremos de aqu en adelante a lo largo del texto. Por la
naturaleza de y su importancia en la Teora de Conjuntos, conservamos su definicion e identidad,
por lo cual 6= N (aunque ambos conjuntos satisfacen los axiomas de Peano y son isomorfos

mediante la funcion ER EQ EZ E ).

71

72

Captulo 3

Equipotencia

Una cualidad importante a la hora de trabajar con conjuntos es conocer su cantidad de elementos, lo cual define su tamano. Los conjuntos finitos se toman como aquellos cuyos elementos se
pueden contar con un numero natural, pero cuando se tratan conjuntos infinitos la nocion no es tan
natural como contar objetos. Por ejemplo, a pesar de que Q contiene estrictamente a Z, se tiene
que ambos tienen el mismo tamano de , pero R supera el tamano de estos conjuntos. De la misma
forma, as el conjunto de numeros naturales pares esta contenido estrictamente en , ambos tienen
el mismo tamano.
El estudio del tamano de los conjuntos recibe el nombre de equipotencia y aclara, con definiciones muy sencillas y faciles de interpretar, la relacion entre la cantidad de elementos de los conjuntos. De la misma forma, se logra hacer una clasificacion de los tamanos posibles de un conjunto
(tanto finitos como infinitos) mediante los numeros cardinales. A medida que se avanza en este estudio apareceran nociones intuitivas que solo pueden justificarse mediante el Axioma de Eleccion,
el cual introducimos en el captulo posterior a e ste.

3.1. Conjuntos finitos y el Principio del Palomar

Para determinar el tamano de un conjunto se debe buscar la manera de poder contar sus elementos. Cuando el conjunto tiene finitos elementos el problema se resuelve enumerando los elementos
hasta que estos se terminen. Este conteo no funciona cuando el conjunto es infinito, pues nunca
terminara el procedimiento.
Otra forma de contar elementos en un conjunto es mediante comparacion, es decir, determinar
su tamano en relacion con otro conjunto. Por ejemplo, si A1 = {a, b, c}, un conjunto con el que lo

podemos relacionar es con 3 = {0, 1, 2} debido a que se pueden asociar en parejas: 0 con a, 1 con

b y 2 con c. Al considerar P es conjunto de pares en , lo podemos relacionar con de modo que

0 se asocia a 0, 1 se asocia a 2, 2 con 4, 3 con 6, en general, n se asocia a 2n. Las anteriores

relaciones toman la forma de funciones, a saber, f1 : 3 A1 tal que f1 (0) = a, f1 (1) = b y

f1 (2) = c, y f2 : P tal que f2 (n) = 2n para cada n . f1 y f2 comparten una propiedad

especfica, ambas son biyectiva, lo cual permite emparejar todos los elementos entre los conjuntos

3 con A1 y con P , respectivamente, y concluir que 3 tiene el mismo tamano que A1 y tiene el
mismo tamano que P .
Lo anterior permite intuir un hecho general, que dos conjuntos tienen el mismo tamano cuando
pueden relacionarse mediante una funcion biyectiva. Una funcion biyectiva f : A B permite

emparejar todos los elementos de A con todos los elementos de B de modo que un elemento de
cada conjunto tiene una u nica pareja. Dicho emparejamiento indica entonces que A y B tienen la
misma cantidad de elementos.
1.1 Definicion (Equipotencia). A B denota f (f : A B biyectiva)), lo cual se lee A es
equipotente con B. A 6 B denota (A B).

Por lo tanto, A B representa que A y B tienen el mismo tamano. De los parrafos anteriores,

3 A1 y P , lo cual signica que A1 tiene el mismo tamano que 3 (tienen 3 elementos) y P

tiene el mismo tamano que , es decir, hay tantos naturales pares como numeros naturales.

El siguiente resultado ilustra propiedades de identidad natural que debe cumplir la relacion de
equipotencia.
1.2 Lema. Dados A, B y C conjuntos,
(a) A A.
(b) A B B A.
(c) A B B C A C.
Demostracion. (a) Claramente IA : A A es biyectiva. Por lo tanto, A A.
(b) Supongamos A B, es decir, existe f : A B biyectiva. Luego, f 1 : B A es biyectiva,
de donde B A. El recproco es similar.

74

(c) Supongamos A B y B C, es decir, existen f : A B y g : B C biyectivas. Luego,

g f : A C es biyectiva, de donde A C.

Dado n , vamos a definir que significa que un conjunto A tenga n elementos. Como n

esta formado por los naturales menores que e l (de 0 a n 1) podemos decir que tiene n elementos.

As, A tiene n elementos cuando tiene el mismo tamano que n, es decir, cuando A n.
1.3 Definicion (Conjunto finito). Sea A un conjunto.
(a) Dado n , A tiene n elementos significa A n.
(b) A es finito sii n (A n) (es decir, tiene n elementos para algun n ).
(c) A es infinito sii no es finito, es decir, n (A n).

Por ejemplo, A1 = {a, b, c} tiene 3 elementos. Si n entonces n tiene n elementos, pues

n n, por lo cual todos los naturales son finitos. Intuitivamente sabemos que es infinito pero,

para probarlo, se debe garantizar n ( 6 n). Esto

no se prueba directamente sino que es consecuencia del denominado principio del palomar. Antes de enunciar el principio, veamos el siguiente
preliminar.
implica que n 6 n + 1.
1.4 Lema. Dado n , f (f : n n + 1 sobre). Esto
Demostracion. Procedamos por induccion sobre n. Para n = 0, si f : 0 1 entonces f = y

ranf = 6= 1, por lo cual f no es sobre. Probemos el paso inductivo por contrarrecproco: sea

n tal que existe f : n + 1 n + 2 sobre y veamos que existe una funcion h : n n + 1

sobre. Consideremos los siguientes casos:

Caso f (n) = n + 1. Sea B = {k < n + 1 / f (k) = n + 1} y A = (n + 1) r B. Claramente A

y B son subconjuntos disjuntos de n + 1 y A B = n + 1. Ademas, como n B, entonces

n
/ A, lo cual permite concluir que A n. Por otra parte, B = f 1 [{n + 1}], por lo cual

A = (n+1)rf 1 [{n+1}] = f 1 [n+2]rf 1 [{n+1}] = f 1 [(n+2)r{n+1}] = f 1 [n+1].

Como f es sobreyectiva, entonces f [A] = f [f 1 [n + 1]] = n + 1.
Como A n definimos h : n n + 1 tal que

f (k) si k A,
h(k) =
0
si k n r A.
75

Luego
ranh = h[n] = h[A (n r A)] = h[A] h[n r A] = f [A] {0} = (n + 1) {0} = n + 1.
Por lo tanto, h : n n + 1 es sobre.
Caso f (n) 6= n + 1. Como n+1 n+2 = ranf entonces existe a < n+1 tal que f (a) = n+1.
Como f (n) 6= n + 1 entonces a 6= n, por lo cual a < n. Llamemos b = f (n). Como

f (n) < n + 2 y es diferente a n + 1, entonces b < n + 1.

Definamos f : n + 1 n + 2 tal que

n + 1 si k = n,
f (k) = b
si k = a,

f (k) si k (n + 1) r {a, n}.

Luego

ranf = f [n + 1] = f [{a, n} ((n + 1) r {a, n})] = f [{a, n}] f [(n + 1) r {a, n}]
= {b, n + 1} f [(n + 1) r {a, n}] = f [{a, n}] f [(n + 1) r {a, n}]
= f [{a, n} ((n + 1) r {a, n})] = f [n + 1] = ranf = n + 2.
Por lo tanto, f : n + 1 n + 2 es una funcion sobre y cumple f (n) = n + 1. Luego, al

aplicar el mismo procedimiento del caso anterior a f , se obtiene una funcion h : n n + 1

sobre.

La idea intuitiva del principio del palomar es la siguiente: si hay n palomas y m palomares, con
m < n, y cada paloma entra en uno de los palomares, entonces hay un palomar donde descansan
al menos dos palomas. Si n representa el conjunto de palomas y m el de palomares, entonces se
puede pensar en una funcion f : n m donde f (k) es el palomar donde entra la paloma k. Luego,

si m < n, el principio del palomar dice que f no es inyectiva (pues habran dos palomas k1 y k2 en
el mismo palomar, es decir, f (k1 ) = f (k2 )). Dejando de lado las palomas, el principio enuncia que,
si m, n son tal que m < n, entonces no existe f : n m inyectiva. Una forma mas general de

enunciarlo, segun el Ejercicio 3.3, es que si m < n entonces no existe f : m n sobreyectiva (lo
cual generaliza al Lema 1.4). Incluso este enunciado lo podemos presentar de forma mas general.

1.5 Teorema (Principio del Palomar). Sea n y A ( n. Entonces f (f : A n sobre). Esto

implica A 6 n.

76

Demostracion. Sea A ( n y supongamos que existe f : A n sobreyectiva. Sea B = n r A y

definamos h : n n + 1 tal que

h(k) =

f (k) si k A,
n
si k B.

Veamos que h es sobre. Si l < n + 1 entonces l n. Procediendo por casos, si l < n entonces,

como f es sobre, existe k < n tal que l = f (k) = h(k); si l = n, como A ( n entonces existe

p n tal que p
/ A, es decir, p B, por lo cual l = g(p).

Por lo tanto, existe una funcion h : n n + 1 sobre, lo cual contradice el Lema 1.4.
1.6 Corolario. Dados A y B conjuntos,
(a) A finito B(A (A 6 B).
(b) B(A (A B) A infinito.
(c) es infinito.
Demostracion. (a) Supongamos que A es finito, es decir, existe n tal que A n. Luego,

existe g : A n biyectiva. Supongamos B ( A. Como g es biyectiva, es claro que g[B] ( n

y que B g[B] (ver Ejercicio 3.1). Por el principio del palomar, n 6 g[B]. Ahora, si A B

entonces, como A n y B g[B], del Lema 1.2 se sigue n g[B], lo cual es un absurdo.
(b) Es el contrarrecproco de (a).

(c) Sea T = r {0} y s : T tal que s(n) = n + 1. Es facil ver que s es biyectiva, por lo cual
T , ademas que T ( . Luego, de (b) se sigue que es infinito.

Otra consecuencia del principio del palomar es que un conjunto finito solo tiene n elementos
para un u nico n , es decir,
1.7 Teorema. Si A es finito, entonces !n (A n).
Demostracion. Dado que A es finito, se tiene la existencia del n. Ahora supongamos m, n tal

que A m y A n. Luego, del Lema 1.2, m n. Por otra parte, m < n m = n n < m por

tricotoma. Si m < n entonces m ( n y, por el principio del palomar, m 6 n, lo cual es falso. De

la misma forma, n < m implica m 6 n. Por lo tanto, m = n.
77

1.8 Definicion (Cardinal finito). Si A es finito, |A| denota el u nico natural que es equipotente con

A. A |A| se le llama el cardinal de A.

Para un conjunto finito A, |A| denota su numero de elementos. Mas adelante damos una nocion

de |A| para el caso en que A sea infinito.

1.9 Lema. (a) n (n = |n|)
(b) m,n (m n m = n).

(c) Si A y B son finitos, entonces |A| = |B| A B.

Demostracion. (a) Si n entonces n n. Luego, por la definicion de cardinal finito, |n| = n.
(b) Si m n se sigue |m| = n por la definicion de cardinal finito. Luego, por (a), m = n. El
recproco es trivial.
(c) Sean A y B finitos, m = |A| y n = |B|. De la definicion de cardinal finito, A m y B n. Si
|A| = |B| entonces m = n y luego A m B. Para el recproco, si A B, entonces m n
por el Lema 1.2 y, de (b), se sigue m = n, es decir, |A| = |B|.

1.10 Lema. Si n y C ( n entonces m<n (C m).

Demostracion. Por induccion sobre n, veamos que C(n m<n (C m). En el caso n = 0 no hay
nada que probar, pues 0 no tiene subconjuntos propios. Ahora, supongamos que n cumple la
afirmacion y veamos que tambien la satisface n + 1. Sea D ( n + 1 y analicemos los siguientes

casos

Caso n
/ D. Esto
implica que D n. Si D = n entonces D n donde n < n + 1. Pero si
D 6= n, entonces D ( n y, por hipotesis inductiva, existe m < n < n + 1 tal que D m.

Caso n D. Sea D = D r {n}. Claramente D ( n, de donde, por hipotesis inductiva, existe

m < n tal que D m. Luego, existe una funcion f : D m biyectiva. Definamos

h : D m + 1 tal que

h(k) =

f (k) si k D ,
m si k = n.

Es facil ver que h es biyectiva, por lo cual D m + 1 donde m + 1 < n + 1.

78

1.11 Corolario. Sean A y B conjuntos.

(a) Si A B y B es finito, entonces A es finito y |A| |B|.
(b) Si A B y A es infinito, entonces B es infinito.
(c) N, Z, Q, R y C son conjuntos infinitos.
Demostracion. (a) Sea A B y B finito con n = |B|. Luego, B n, es decir, existe g : B n

biyectiva. Dado que A B, por el Ejercicio 3.1 se tiene A g[A] donde g[A] n. Si
g[A] = n entonces A n, de donde A es finito |A| = n = |B|. Por otra parte, si g[A] ( n
entonces, del Lema 1.10, existe m < n tal que g[A] m. Luego, A m de donde A es finito

y |A| = m < n = |B|.

(b) Supongamos A B con A infinito. Si B es finito, de (a) se sigue que A es finito, lo cual es
absurdo.

(c) En la seccion 2.5 hablamos que, a pesar de que y N no son el mismo conjunto, satisfacen los
axiomas de Peano y son isomorfos, por lo cual existe una biyeccion entre los dos. Por lo tanto,
N, de donde, como es infinito, se tiene que N es infinito (ver Ejercicio 3.4). Luego, como
N Z Q R C, por (b) todos estos conjuntos son infinitos.

(a) Si A ( B y B es finito, entonces A es finito y

|A| < |B|.

3.1 Ejercicio. Sea f : A B biyectiva. Entonces

(a) Si C A, entonces C f [C].

(b) Si A B, B es finito y A B, entonces

A = B.

(b) Si D B, entonces D f 1 [D].

3.2 Ejercicio. Si A B y C A, entonces existe
D B tal que C D.
3.3 Ejercicio. Pruebe que
(a) Si f (f : A B inyectiva) y A 6= , entonces
g (g : B A sobre).
(b) Si n y A ( n, entonces no existe f : n A
inyectiva.
(c) Si A ( B y B es finito, entonces no existe
f : A B sobre.

(c) Si A B y A es finito, entonces B es finito.

(d) Si A B y A es infinito, entonces B es infinito.
3.5 Ejercicio. Si f : A B es inyectiva, pruebe
(a) Si B es finito entonces A es finito y |A| |B|.
(b) Si A es infinito entonces B es infinito.
3.6 Ejercicio. Sea g : A B sobreyectiva. Pruebe:
(a) Si A tiene buen orden, entonces g tiene inversa a
derecha.

(d) Si A ( B y B es finito, entonces no existe

f : B A inyectiva.

(b) Si A es finito, entonces g tiene inversa a derecha.

3.4 Ejercicio. Pruebe los siguientes enunciados.

(d) Si B es infinito, entonces A es infinito.

(c) Si A es finito, entonces B es finito y |B| |A|.

79

(e) Si f es funcion y A es finito, entonces f [A] es

finito.

(a) Si A es finito, entonces A B es finito y

|A B| = |A| + |B| |A B|.

3.7 Ejercicio. Sean A y B finitos. Pruebe la equivalencia entre las siguientes afirmaciones.
(b) Si A es finito y A B = , entonces |A B| =
|A| + |B|.
(i) |A| |B|.
(c) Si A es finito, entonces A B es finito y

(ii) f (f : A B inyectiva).

|A B| = |A||B|.

(iii) g (g : B A sobre).
3.8 Ejercicio. Sea f : A A.
(a) Si A es finito, pruebe que f es inyectiva si y solo
si es sobre. Sugerencia: Para utilice el Ejercicio 3.4(b). Para el recproco use el Ejercicio
3.6.

(d) Si A es finito y xA (x finito), entonces

finito.

A es

3.12 Ejercicio. Pruebe:

(a) Todo C.P.O no vaco y finito tiene un elemento maximal y un minimal. Sugerencia: Induccion
del Ejercicio 3.10. Otra forma de proceder es con
el Ejercicio 2.15.

(b) De ejemplos de A y de funciones f : A A que

sean inyectivas y no sobre, y que sean sobre y no
inyectivas.
3.9 Ejercicio. Sean A y x conjuntos, n .

(b) Todo C.T.O. no vaco y finito tiene maximo y

mnimo.

(a) A si y solo si A = .

(c) Todo C.T.O. finito es C.B.O.

(b) Si A n, pruebe que A {x} es finito y halle

los posibles valores de |A {x}|.

(d) Si hA, A i es un C.T.O finito y n = |A|, entonces hA, A i

= hn, i. Sugerencia: Induccion sobre n.

(c) Si A n + 1 y x A, pruebe que A r {x} es

finito y |A r {x}| = n.
3.10 Ejercicio (Induccion sobre conjuntos finitos).
Sea (x) una formula de ZF. Si

(e) Si hA, A i y hB, B i son C.T.O. finitos, entonces A

= B A B.
(f) Dar un ejemplo de dos C.B.Os equipotentes y no
isomorfos.

(i) () y


3.13 Ejercicio. Sea A .
A
(ii) Afinito
bA
/ ((A) (A {b})),


(a) A es finito sii tiene cota superior.
A
entonces Afinito
(A). Sugerencia: Primero pruebe,
por induccion sobre n, que A (A n (A)).
(b) Si A es finito y no vaco entonces tiene maximo.

3.11 Ejercicio. Sea B un conjunto finito. Pruebe los 3.14 Ejercicio. Si A 6= , pruebe que {X / X A}
siguientes enunciados con base en la induccion del es clase propia. Sugerencia: Suponga que es conjunto
Ejercicio 3.10.
y pruebe que su union es el universo.

3.2. Operaciones y equipotencia

En esta seccion vamos a mostrar algunos resultados de como se comporta la equipotencia respecto a ciertas operaciones de conjuntos, tanto para conjuntos finitos como infinitos. Para comenzar, el siguiente resultado ilustra que la equipotencia se preserva bajo uniones disjuntas, productos,
conjuntos de funciones y partes.
80

2.1 Lema. Si A C y B D, entonces

(a) Si A B = C D = entonces A B C D.
(b) A B C D.
(c)

BA

D C.

(d) P(A) P(C).

Demostracion. Supongamos A C y B D, de donde existen f : A C y g : B D
biyectivas.
(a) Si AB = C D = entonces f g : AB C D es biyectiva, por lo cual AB C D.
(b) Defina h : AB C D tal que h(x, y) = (f (x), g(y)) para x A y y B. Para probar que
h es biyectiva basta encontrarle una inversa a izquierda y derecha. Para este efecto, definamos
b
h : C D A B tal que b
h(u, v) = (f 1 (u), g1 (v)) para u C y v D. Veamos

b
h(h(x, y)) =
h h = IAB : Como ambas funciones tienen el mismo dominio, basta ver que b
(x, y) para x A y y B. En efecto,

b
h(h(x, y)) = b
h(f (x), g(y)) = (f 1 (f (x)), g1 (g(y))) = (x, y).

h(u, v)) =
hb
h = ICD : Como ambas funciones tienen el mismo dominio, basta ver que h(b
(u, v) para u C y v D. En efecto,

h(b
h(u, v)) = h(f 1 (u), g1 (v)) = (f (f 1 (u)), g(g1 (v))) = (u, v).

Por lo tanto, b
h es inversa a iquierda y a derecha de h, de donde h es biyectiva y h1 = b
h. As,
A B C D.

(c) Sea H : A B

CD

tal que H(x) = g x f 1 para x A B.

A

x-

C
CD

b :
Definamos H

?
- D

H(x)

- D
6
g

- B

b
H(y)

b
A B tal que H(y)
= g1 y f para y

izquierda y a derecha de H.

81

C D,

veamos que es inversa a

b H = I A B : Si x A B entonces
H

b
b x f 1 ) = g1 g x f 1 f = IB x IA = x.
H(H(x))
= H(g

b = I C D : Si y
H H

CD

entonces

b
H(H(y))
= H(g1 y f ) = g g1 y f f 1 = ID y IC = y.

b Luego A B
Por lo tanto, H es biyectiva y H 1 = H.

2.2 Lema. (a) A 0.

(b) A {x} A.
(c) A (B C) (A B) C.
(d)

1.

(e)

1A

C D.

A.

(f) Si A B = , entonces
(g) Si n entonces

n+1 A

AB C

A C B C.

n A A.

Demostracion. (a) A = = 0.
(b) Sea f : A A {x} tal que f (a) = (a, x) para a A. Definamos fb : A {x} A tal que
fb(a, x) = a para todo a A. Veamos que fb es inversa a izquierda y a derecha de f .
fb f = IA : Dado a A, fb(f (a)) = fb(a, x) = a.

f fb = IA{x} : Dado a A, f (fb(a, x)) = f (a) = (a, x).

Por lo tanto, f es biyectiva y f 1 = fb. Luego, se sigue el resultado.

(c) Sea g : A (B C) (A B) C tal que g(a, (b, c)) = ((a, b), c). Es facil ver que
gb : (A B) C A (B C), definida por gb((a, b), c) = (a, (b, c)), es inversa a izquierda
y a derecha de g, por lo cual g es biyectiva y A (B C) (A B) C.

(d)

= {f / f : A} = {} = 1.

(e) Recordemos que 1 A representa el conjunto de sucesiones de longitud 1 formada por elementos
de A. Dado a A denotamos por hai la sucesion de longitud 1 formada por A. Sea h : A 1 A
tal que h(a) = hai. Veamos que la funcion b
h : 1 A A, definida por b
h(x) = x(0) para x 1 A,
es inversa a izquierda y a derecha de h.

82

b
h(h(a)) = b
h(hai) = a (recuerde que hai representa una funcion con
h h = IA : Dado a A, b
dominio 1 tal que la imagen de 0 es a).

hb
h = I 1 A : Dado x 1 A existe a A tal que x = hai. Luego,

h(b
h(x)) = h(x(0)) = h(a) = hai = x.

Por lo tanto, h es biyectiva y 1 A A.

(f) Supongamos A B = . Sea F :
x AB C. Definamos Fb : A C
v

B C,

AB C

AC

BC

tal que F (x) = (xA, xB) para

B C AB C tal que F
b (u, v) = u v para u A C y

la cual esta bien definida porque u v es funcion al tener sus dominios disjuntos.
Veamos que Fb es inversa a izquierda y a derecha de F .
Fb F = I AB C : Dado x

AB C,

Fb(F (x)) = Fb (xA, xB) = xA xB = x.

F Fb = I( A C B C) : Dado u A C y v

B C,

F (Fb (u, v)) = F (u v) = ((u v)A, (u v)B) = (u, v).

Por lo tanto, F es biyectiva y se sigue el resultado.

(g)
n+1 A

= n{n} A
n A {n} A (f)
n A 1 A Lema 2.1
nA A
(e) y Lema 2.1.

En la prueba anterior justificamos (g) mediante el Lema 2.1 que permite sustituir conjuntos
equipotentes bajo uniones disjuntas, productos cartesianos, conjuntos de funciones y partes. En los
siguientes resultados vamos a ver otros ejemplos de este tipo de sustitucion.
2.3 Teorema. Si A y B son finitos y disjuntos, entonces A B es finito y |A B| = |A| + |B|.
Demostracion. Un modo de prueba de este resultado se propone en el Ejercicio 3.11 mediante la
induccion sobre conjuntos finitos propuesta en el Ejercicio 3.10. Veamos una prueba directa (sin
induccion) del enunciado.
83

Sean A y B disjuntos y finitos tal que m = |A| y n = |B|, de donde A m y B n. Sea

N = {d / m d < m + n} y h : n tal que h(k) = m + k para k < n. Es claro que h es

inyectiva.

ranh = N : Si d ranh existe k < n tal que d = h(k) = m + k. Como k < n entonces
m m + k < m + n, lo cual indica que d N .

Recprocamente, sea d N , es decir, d y m d < m + n. Como m d, existe k

tal que d = m + k. Como m + k = d < m + n se sigue k < n, por lo cual d = h(k) ranh.

Por lo tanto, h : n N es biyectiva, de donde n N . Como A m y B n, entonces B N

y, como A B = m N = , del Lema 2.1 se sigue que A B m N . Pero

m N = {d / d < m m d < m + n} = {d / d < m + n} = m + n

por lo cual A B m + n y, as, A B es finito y |A B| = m + n = |A| + |B|.
2.4 Teorema. Si A y B son finitos, entonces A B es finito y |A B| = |A||B|.
Demostracion. Veamos primero que m n mn ( como producto cartesiano) para m, n .

Procedamos por induccion sobre n. Para n = 0, m 0 = = 0 = m0. Para el paso inductivo, sea

n tal que m n mn. Luego,

m (n + 1) = m (n {n}) = (m n) (m {n}).
Notese que la anterior union es disjunta y de conjuntos finitos, pues m n mn y m {n} m.

Por lo tanto, del Teorema 2.3 se sigue que (mn)(m{n}) mn+m, de donde m(n+1)
m(n + 1).

Ahora, sean A y B finitos tal que m = |A| y n = |B|. Luego, de Lema 2.1,
A B m n mn,
de donde A B es finito y |A B| = mn = |A||B|.
2.5 Teorema. Dados A y B finitos,

BA

es finito y | B A| = |A||B| .

Demostracion. Veamos primero que n m mn para m, n . Por induccion sobre n, si n = 0

entonces 0 m 1 y m0 = 1. Para el paso inductivo, sea n tal que n m mn . Luego, del Lema
2.2 y el Teorema 2.4,
n+1

m n m m mn m mn+1 .
84

Ahora, sean A y B finitos tal que m = |A| y n = |B|. Luego,

B

por lo cual

BA

A n m mn ,

es finito y | B A| = mn = |A||B| .

As como la prueba del Teorema 2.3, para 2.4 y 2.5 se pueden construir funciones biyectivas de
A B en mn y de

BA

en mn sin necesidad de apelar a la induccion. Para el modo de hacerlo, ver

el Ejercicio 3.28.

2.6 Teorema. Dado un conjunto A,

(a) P(A) A 2.
(b) Si A es finito, entonces P(A) es finito y |P(A)| = 2|A| .
Demostracion. (a) Dado B A definimos la funcion caracterstica de B (respecto a A) como
B : A 2
x 7 B (x) =

1 si x B,
0 si x A r B.

Claramente xA (B (x) = 1 x B), por lo cual 1

b [{1}] = B.

Definamos : P(A)

A2

tal que, para B P(A), (B) = B . Veamos que G :

P(A), definida por G(v) = v 1 [{1}], es inversa a izquierda y a derecha de .

A2

G = IP(A) : Dado B P(A), G((B)) = G(B ) = 1

B [{1}] = B.
G = I A 2 : Dado v

A2

sea B0 = G(v) = v 1 [{1}]. v = B0 , pues ambas funciones

tienen el mismo dominio (A) y, dado x A,

v(x) = 1 x B0 B0 (x) = 1,

por lo cual v(x) = 1 B0 (x) = 1 y, al negar a ambos lados, v(x) = 0 B0 (x) = 0,

de donde v(x) = B0 (x) (pues los posibles valores de ambas funciones son solo 0 y 1).
Luego, (G(v)) = (B0 ) = B0 = v.
Por lo tanto, es biyectiva y P(A) A 2.
(b) Si A es finito, A 2 es finito y, por (a), P(A) es finito y |P(A)| = | A 2| = 2|A| .

85

Analizamos a continuacion el tamano de algunos conjuntos infinitos respecto a .

2.7 Teorema. (a) .
(b) Z .
Demostracion. (a) Consideremos el siguiente resultado de teora de numeros:
(i) Dado a r {0} existen u nicos m, n tal que a = 2m (2n + 1).
Podemos definir entonces F : r {0} tal que F (a) = (m, n) donde m y n son los

u nicos naturales tal que a = 2m (2n + 1). Veamos que la funcion F : r {0}, tal
que F (m, n) = 2m (2n + 1), es inversa de F .

F F = Ir{0} : Dado a r {0}, existen u nicos m, n tal que a = 2m (2n + 1).

Claramente, F (a) = (m, n), de donde F (F (a)) = F (m, n) = a.

F F = I : Dado m, n , F (F (m, n)) = F (2m (2n + 1)) = (m, n), donde la u ltima
igualdad esta justificada por la unicidad en (i).

(b) Definamos f : Z N tal que

f (a) =

2a
si a 0,
2|a| 1 si a < 0.

Es facil ver que f es una biyeccion, por lo cual Z N .

En la seccion 3.3 probamos que Q . La respuesta a si R tiene el mismo tamano que marca,
para muchos, el comienzo del estudio de la teora de conjuntos.
2.8 Teorema (Cantor, 1873). R 6 . Mas aun, no existe una funcion f : R sobreyectiva.
Demostracion. Sea f : R una funcion arbitraria y veamos que no es sobre. Como ranf =

{f (n) / n } R y hay una forma en la que se pueden expresar los reales mediante una u nica
expansion decimal, para n podemos escribir

f (n) = xn0 , xn1 xn2 . . . xnj . . .

86

Al hacer una lista de los f (n), obtenemos una matriz infinita como se ilustra a continuacion

f (0) =  x00 , x01 x02 . . . x0j . . . x0n . . .
f (1) =  x10 , x11 x12 . . . x1j . . . x1n . . .
f (2) =  x20 , x21 x22 . . . x2j . . . x2n . . .


 ... ... ...



 ... ... ...



 ... ... ...


f (n) = xn0 , xn1 xn2 . . . xnj . . . xnn . . .

 ... ... ...


 ... ... ...


 ... ... ...

De esta matriz nos interesamos en tomar el numero formado por la diagonal y = x00 , x11 x22 . . . xnn . A
partir de este numero, formamos z = z0 , z1 z2 . . . zn . . . donde

7 si xnn 6= 7,
zn =
1 si xnn = 7.
De e sto se nota facilmente que n (zn 6= xnn ).

Para ver que f no es sobreyectiva, basta probar que z

/ ranf . Por reduccion al absurdo, supongamos

que z ranf , por lo cual existe n tal que z = f (n), es decir,

z0 , z1 z2 . . . zj . . . = xn0 , xn1 xn2 . . . xnj . . . ,

de donde j (zj = xnj ), en particular, zn = xnn , lo cual contradice n (zn 6= xnn ). Esta contradic-

cion se deriva de que, si z = f (n), el n-esimo decimal de z (que es zn ) intersecta a la diagonal de

la matriz en la n-esima componente (que es xnn ), de ah es donde resulta zn = xnn .

La tecnica de la prueba anterior se conoce como diagonalizacion, pues de la diagonal de la
matriz se obtiene un objeto por fuera de la lista. Dicha tecnica se extiende incluso a formas en las
que no es necesario dibujar una matriz, como se ilustra en la siguiente demostracion.
2.9 Teorema. A 6 P(A). Mas aun, no existe una funcion f : A P(A) sobreyectiva.
Demostracion. Sea f : A P(A) y Z = {x A / x
/ f (x)}. Veamos que Z
/ ranf . Supon-

gadmos por el contrario que Z ranf , es decir, que existe y A tal que Z = f (y). Luego,
y f (y) y Z y A y
/ f (y) y
/ f (y)
de donde y f (y) y
/ f (y), lo cual es una contradiccion.
87

En la seccion 3.3 probamos, de manera independiente al Teorema 2.8, que R P(). Por lo

tanto, del Teorema 2.9 se sigue que no existe f : R sobreyectiva.

Para terminar la seccion, veamos que R tiene tantos elementos como cualquier intervalo abierto
no vaco (esto aplica para cualquier tipo de intervalo no vaco, excepto los del tipo [a, a]).
2.10 Teorema. Dados a, b R tal que a < b,
(a) (a, b) (0, 1).
(b) R (0, 1).
(c) (a, b) R.
Demostracion. (a) Directo de que la funcion f : (0, 1) (a, b), definida por f (x) = (ba)x+a,
es biyectiva.

(b) La funcion arctan : ( 2 , 2 ) R es biyectiva, por lo cual R ( 2 , 2 ). De (a) se sigue

( 2 , 2 ) (0, 1), por lo cual R (0, 1).

(c) Directo de (a) y (b).

3.15 Ejercicio. Dado un conjunto A, pruebe que

(d) A B es finito y |A B| = |A| + |B| |A B|

Sugerencia: Escriba A B como una union disjunta.

1. A B B A.
2.

1.

3.18 Ejercicio. Si A es finito y B es infinito, pruebe

que B r A es infinito.

3. Si A 6= entonces A 0.
4.

1 1.

3.19 Ejercicio.
S Sea A finito tal que xA (x finito).
Es claro que A es finito por Ejercicio 3.11. Pruebe
que

3.16 Ejercicio. Demuestre

(a) Lema 2.1(d).

(a) SiS x,yAP

(x 6= y x y = ) entonces
|x|.
| A| =

(b) Existe una funcion f : A P(A) inyectiva.

xA

T 
(1)(|C|+1)  C .

(b) |

(a) B r A y A B son finitos.

Sugerencia: Induccion del Ejercicio 3.10.

S
3.20 Ejercicio. Pruebe que A es finito si y solo si
A es finito y xA (x finito).

(b) Si A B entonces |B r A| = |B| |A|.

A| =

3.17 Ejercicio. Sean A y B conjuntos finitos.

Pruebe:

CP(A)r{}

(c) |B r A| = |B| |A B| (sin necesidad que

3.21 Ejercicio. Pruebe los siguientes enunciados.
A B).

88

(d) Si k 6= 0 y x A, entonces

(a) Si A B es finito, entonces A y B son finitos.

(b) Si A B es finito y A 6= , entonces B es finito.

Pk (A) Pk (A r {x}) Pk1 (A r {x})

(c) Si A B es finito y A 6= , entonces B es finito.

donde la union es disjunta.

(e) Si n y k n entonces Pk (n) nk
Sugerencia: Induccion sobre n e inciso anterior.

(d) Si B es finito y x,yB (x 6= y), entonces A es

finito.

(f) Si A es finito entonces Pk (A) es finito y

 |A|

si k |A|.
k
|Pk (A)| =
0
si k > |A|.

(e) Si P(A) es finito entonces A es finito.

3.22 Ejercicio. Considere la funcion
T :
n 7 T (n) =
(Recordar que T (n) =

n(n+1)
).
2

n
P

3.25 Ejercicio. Sea

j

Biy(A, B) = {f / f : A B biyectiva}

j=1

y Biy(A) = Biy(A, A). Pruebe:

Probar que:

(a) Si A C y B D entonces Biy(A, B)

Biy(C, D).

(a) T es estrictamente creciente.

(b) Dado a existe un u nico n tal que (b) Si x A entonces

T (n) a < T (n + 1). A este u nico n lo de[
Biy(A, B)
Biy(A r {x}, B r {y})
notaremos por pa .
yB

(c) Probar que la funcion

donde la union es disjunta.

F :
(m, n) 7 F ((m, n)) = T (m + n) + m

(c) Dado n , Biy(n) n!. Sugerencia: Induccion sobre n e inciso anterior.

es biyectiva. Sugerencia: Construya una inversa

definida por
Fb (a) = (a T (pa ), pa (a T (pa ))).

(d) Dado A finito, Biy(A, B) es finito y


|A|! si A B,
|Biy(A, B)| =
0 si A 6 B.
3.26 Ejercicio. Sea

3.23 Ejercicio. Pruebe:

(a) Existe f : (0, 1) R tal que xQ (f (x) Q) y

xQ (f (x) Q ).

Iny(A, B) = {f / f : A B inyectiva}
y Iny(A) = Iny(A, A). Pruebe:

(b) (0, 1) [0, 1) (0, 1] [0, 1]. Sugerencia: (a) Si A C y B D entonces Iny(A, B)
Iny(C, D).
1
Considere la sucesion h n+1
inZ+ . Pruebe cada
S
Biy(A, C) donde la union es
equipotencia con [0, 1] como rango, mandando a (b) Iny(A, B) =
CB
1
1
1
a n1 segun el caso.
n+1 a n o
disjunta.
(c) Cualquier intervalo no vaco, excepto [a, a], es (c) Si B es finito, entonces Iny(A, B) es finito y
equipotente con R.
(
|A|!
si |A| |B|,
|Iny(A, B)| = (|B||A|)!
3.24 Ejercicio. Dado k sea Pk (A) =
0
en caso contrario.
{X A / |X| = k}. Pruebe que
Sugerencia: Use el inciso anterior y el Ejercicio
(a) A B Pk (A) Pk (B).
3.24.
(b) P0 (A) = {}.
(d) Use el inciso anterior para probar que Biy(A) =
Iny(A) cuando A es finito.

(c) P1 (A) = {{a} / a A}.

89

Sob(A, B) = {f / f : A B sobre}
(a) Si A C y B D entonces Sob(A, B)
Sob(C, D).

Sob(A, B)

m X
X

mk

(1)

k=0 j<m

C(A

n
k

(g) Si n > m entonces

y Sob(A) = Sob(A, A). Pruebe:

(b) Si y B entonces

n
k . Sugerencia: Use

P
nk
(f) n! =
k=0 n(1)
el Ejercicio 3.25.

3.27 Ejercicio. Defina

Sob(C, B r {y})

  
m n j
k = 0.
k
j

Sugerencia: Halle |Sob(n, m+1)| segun (c) y (d)

e iguale ambas ecuaciones resultantes.

donde la union es disjunta.

S
Sob(A, D) donde la
(c) Sob(A, B) = A B r
D(B

union es disjunta.

(d) Si n, m y n m, entonces Sob(n, m) es

finito y
 
m
X
m n
k .
|Sob(n, m)| =
(1)mk
k
k=0

3.28 Ejercicio. Sean A y B conjuntos, m, n ,

f : A m y g : B n funciones biyectivas.
Pruebe:
(a) Si n = 0, A B mn.
(b) Si n 6= 0, la funcion h : A B , definida por h(x, y) = f (x)n + g(y), es inyectiva y
ranh = mn.

Sugerencia: Induccion general sobre n. Use el

inciso anterior y el Ejercicio 3.24.

(e) Si A es finito entonces Sob(A, B) es finito y, si

n = |A|, entonces Sob(A, B)| =
m
P (1)mk m
k n si n = |B| |A|,
k
| k=0

0
en caso contrario.

(c) Si m 1,
(d) Si n = 0,

B
B

A mn .

A mn .

(e) Si m > 1 y n 6= 0,Pla funcion t : B A ,

f (x(g 1 (k)))mk , es indefinida por t(x) =
k<n

yectiva y rant = mn .

3.3. Numeros
cardinales
En esta seccion buscamos extender la nocion de |A| para cualquier conjunto A, independiente
de que sea finito o no.
3.1 Definicion (Cardinal). Para un conjunto A se introduce la notacion |A|, cardinal de A, tal que
satisface las siguientes propiedades:
(a) n (|n| = n).
(b) A B |A| = |B|.
Decimos que es un (numero) cardinal si A ( = |A|).
Intuitivamente, |A| denota el tamano de A, es decir, representa el numero de elementos de A.

Luego, un numero cardinal es un objeto que mide el tamano de los conjuntos. En matematicas
90

no es necesario dar una definicion precisa de |A|, pues solo bastan las propiedades (i) y (ii) para

determinar sus propiedades basicas. Ademas, como se necesitan muchos elementos1 de teora de

conjuntos para definir |A|, no ofrecemos su definicion. Mas aun, para los resultados de este texto (y
en matematicas en general) no es necesario definirlo, sino solo tomarlo como una referencia notacional para abreviar la escritura de la equipotencia, como se propone en (ii).
El siguiente resultado deja claro que la Definicion 3.1 realmente extiende la Definicion 1.8.
3.2 Lema. Dado n ,
(a) Si A es finito, las definiciones 1.8 y 3.1 para |A| coinciden.
(b) Todo n es un numero cardinal.
Demostracion. (a) Dado A finito, denotemos |A|1 segun la Definicion 1.8, es decir, si llamamos

n = |A|1 , es el u nico n tal que A n. Sea |A|2 segun la Definicion 3.1. Luego, como

A n, por Definicion 3.1 se sigue |A|2 = |n|2 = n = |A|1 .

(b) Como |n| = n entonces A (|A| = n), por lo cual n es un cardinal.

Como todo conjunto finito tiene como cardinal un numero natural, damos la siguiente clasificacion de los numeros cardinales.
3.3 Definicion. Dado un cardinal , decimos que es un cardinal finito si . De lo contrario,

decimos que es un cardinal infinito. Denotamos 0 = ||.

El siguiente lema aclara la importancia de la clasificacion anterior.

3.4 Lema. Dado A conjunto,
(a) |A| es cardinal.

(c) A es infinito sii |A| es cardinal infinito.

(b) A es finito sii |A| es cardinal finito.

(d) 0 es cardinal infinito.

Demostracion. (a) Directo de la Definicion 3.1.

(b) Si A es finito entonces |A| es un numero natural, por lo cual es un cardinal finito. Recproca-

mente, si |A| es cardinal finito, entonces |A| . Llamemos n = |A|. Luego, n , de donde

|n| = n = |A|. Por la Definicion 3.1 se sigue A n, lo cual garantiza que A es finito.
1

Con base en el axioma de Reemplazamiento, ademas de el axioma de Regularidad o el axioma de Eleccion

91

(c) Directo de (b).

(d) Como es infinito, entonces 0 = || es un cardinal infinito por (c).

0 , el numero que mide el tamano de los numeros naturales, juega un papel representativo para
medir el tamano de muchos conjuntos infinitos.
3.5 Ejemplo. (a) | | = |N| = |Z| = 0 . En el Corolario 3.17 probamos |Q| = 0 .
(b) |R| =
6 0 , pues R 6 .
(c) |P(A)| =
6 |A| por el Teorema 2.9.

(d) |R| = |(0, 1)| = |(a, b)| donde a, b R tal que a < b. Esto
es por el Teorema 2.10.
Como la nocion de cardinal extiende el concepto de numero natural, tambien podemos ex
tender la suma, producto y exponenciacion de naturales para numeros cardinales. Esto,
mas sus
propiedades, se convierte en una herramienta adecuada que permite probar equipotencias entre conjuntos sin necesidad de construir funciones.
3.6 Definicion. Sean y cardinales.
Suma cardinal. Definimos + = |K L|, donde K y L son conjuntos tal que |K| = , |L| =
y K L = .

Producto cardinal. Definimos = |K L|, donde K y L son conjuntos tal que |K| = y
|L| = . Se puede escribir tambien = .

Exponenciacion cardinal. Definimos = | L K|, donde K y L son conjuntos tal que |K| = y
|L| = .

El Lema 2.1 es fundamental para determinar que estas operaciones estan bien definidas, pues, sin
importar el K y L que se escojan, el resultado siempre sera el mismo cardinal. En efecto, si K y
L son otro par de conjuntos tal que = |K | y = |L |, entonces K K y L L , de donde,
por Lema 2.1,
(i) si K L = K L = , entonces K L K L , es decir, |K L| = |K L |.
(ii) K L K L , es decir, |K L| = |K L |.
92

(iii)

LK

L K ,

es decir, | L K| = | L K |.

A diferencia de los numeros naturales, no se puede definir una resta en general para los numeros
cardinales. Por ejemplo, es claro que | r ( r {0})| = |{0}| = 1 y, si P es el conjunto de pares

en , | r P | = 0 . Esto indica que no habra uniformidad para definir 0 0 .

3.7 Ejemplo. (1) De la Definicion 3.6 es claro que, si A B = , entonces |A B| = |A| + |B|.
Sin necesidad de que A y B sean disjuntos, se tiene |A B| = |A| |B| y | B A| = |A||B| .

(2) Dados m, n , la suma, producto y exponenciacion entre m y n como numeros naturales y

como cardinales es igual. Denotemos por m +1 n, m 1 n y exp1 (m, n) las operaciones correspondientes en , mientras que m +2 n, m 2 n y exp2 (m, n) denotan las mismas operaciones

pero como cardinales. Tomemos A y B disjuntos tal que m = |A| y n = |B| (por ejemp-

lo, A = {0} m y B = {1} n), Luego, de la Definicion 3.6, m +2 n = |A B| =

|A| +1 |B| = m +1 n por Teorema 2.3, m 2 n = |A B| = |A| 1 |B| = m 1 n por Teorema

2.4 y exp2 (m, n) = | B A| = exp1 (|A|, |B|) = exp1 (m, n). As, las operaciones definidas para

cardinales extienden las de los numeros naturales.

(3) 0 + 1 = 0 . Como | r {0}| = 0 , entonces 0 + 1 = |( r {0}) {0}| = || = 0 .

(4) 0 + 0 = 0 . Denotemos por P el conjunto de los pares en y por I el conjunto de impares

en . Es claro que ambos conjuntos son disjuntos y tienen tamano 0 , por lo cual 0 + 0 =
|P I| = || = 0 .

(5) 0 0 = 0 , puesto que 0 0 = | | = 0 .

(6) |P(A)| = 2|A| . Como P(A) A 2 por el Teorema 2.6, entonces |P(A)| = | A 2| = 2|A| .
(7) Dado cardinal, se tiene 2 6= . En efecto, si A es un conjunto tal que = |A|, entonces
|A| =
6 |P(A)|, es decir, 6= 2 .

Los numeros cumplen tambien las siguientes propiedades aritmeticas de los naturales.
3.8 Teorema. Dados , y cardinales,
(a) + = + .

(d) ( ) = ( ) .

(b) + ( + ) = ( + ) + .

(e) ( + ) = + .

(c) = .

(f) + = .
93

(g) ( ) = .

(l) 0 = 1.

(h) ( ) = .

(m) 6= 0 0 = 0.

(i) + 0 = .

(n) 1 = .

(j) 0 = 0.

(o) 1 = 1.

(k) 1 = .

(p) = 0 ( = 0 = 0).

Demostracion. Tomemos K, L y M conjuntos disjuntos entre s tal que = |K|, = |L| y

= |M |.

(a) + = |K L| = |L K| = + .
(b) + ( + ) = |K (L M )| = |(K L) M | = ( + ) + .
(d) Del Lema 2.2, K (L M ) (K L) M , de donde ( ) = ( ) al tomar
cardinalidad.

(f) Del Lema 2.2,

(g) Basta probar

LM K

M (K

LK

L)

MK

F :

M K.

Luego, al tomar cardinales, + = .

M L. Definamos

M (K

L) M K M L
v
7 F (v) = (1 v, 2 v)

donde 1 : K L K tal que 1 (x, y) = x y 2 : K L L tal que 2 (x, y) = y. Sea

Fb :

MK

M L M (K L)
(g1 , g2 ) 7 Fb((g1 , g2 )) = g1 g2

donde, si g1 : M K y g2 : M L, entonces g1 g2 : M K L tal que, para w M ,

(g1 g2 )(w) = (g1 (w), g2 (w)). Se tienen entonces las siguientes propiedades
(i) zKL (z = (1 (z), 2 (z))).
(ii) 1 2 = IKL .
(iii) 1 (g1 g2 ) = g1 y 2 (g1 g2 ) = g2 .
Veamos ahora que Fb es inversa a izquierda y a derecha de F .
94

Fb F = I M (KL) : Dado v

M (K

L), Fb(F (v)) = Fb(1 v, 2 v) = (1 v) (1 v).

El dominio de esta u ltima funcion es M y, dado x M ,

(1 v) (1 v)(x) = (1 (v(x)), 2 (v(x))) = v(x)

donde la u ltima igualdad se sigue de (i). Por lo tanto, Fb (F (v)) = (1 v) (1 v) = v.

F Fb = I M K M L : Dado g1

MK

y g2

M L,

F (Fb (g1 , g2 )) = F (g1 g2 ) = (1 (g1 g2 ), 2 (g1 g2 )) = (g1 , g2 )

donde la u ltima igualdad se sigue de (iii).

Por lo tanto, F es biyectiva.
(j) 0 = |K | = || = 0.
(k) Directo de que K {0} K por Lema 2.2.
(l) Directo de que K = {}.
(n) Directo de que 1 K K por Lema 2.2.

3.9 Ejemplo. En el Teorema 3.23 vamos a probar que |R| = 20 , resultado que usaremos en este
ejemplo.
(1) n (0 + n = 0 ). Procedamos por induccion sobre n. Es claro que 0 + 0 = 0 . Para el
paso inductivo, supongamos que 0 + n = 0 . Luego,

0 + (n + 1) = (0 + n) + 1 = 0 + 1 = 0 .
(2) (20 )0 = 20 , pues (20 )0 = 20 0 = 20 .
(3) 20 + 20 = 20 , pues 20 + 20 = 2 20 = 21+0 = 20 .
(4) 20 20 = 20 , pues 20 20 = 20 +0 = 20 .
(5) R R R, pues |R R| = 20 20 = 20 = |R|.
(6)

R, pues | R| = (20 )0 = 20 = |R|.

95

As como definimos A B para indicar que A y B tienen los mismos elementos, vamos a

definir A  B para indicar que A tiene menos o igual elementos que B. Para saber esto, basta

colocar en parejas los elementos de A con los elementos de B, de modo que se sabe que A tiene

menos o igual elementos que B si quedan al menos 0 objetos de B que no tengan pareja en A.
Materializando esta idea con funciones, presentamos la siguiente nocion.
3.10 Definicion. Definimos A  B como f (f : A B inyectiva), lo cual se lee A esta dominado

por B. Definimos A B como A  B A 6 B, lo cual se lee A esta dominado estrictamente por

B.

Intuitivamente, A B denota que A tiene menos elementos que B. Para precisar la idea de

A  B, ofrecemos el siguiente resultado.

3.11 Lema. A  B sii CB (A C).

Demostracion. Si A  B entonces existe f : A B inyectiva. Luego, f : A f [A] es biyectiva,

por lo cual f [A] B y A f [A].

Para el recproco, supongamos que existe C B tal que A C. Luego, existe f : A C

biyectiva. Como C B, podemos escribir f : A B, pero en este caso puede no ser sobre, solo
inyectiva. Por lo tanto, A  B.
3.12 Lema. (a) A  A.
(b) (A  B B  C) A  C.
Demostracion. (a) Pues IA : A A es inyectiva.
(b) Si A  B y B  C entonces existen f : A B y g : B C inyectivas. Luego, gf : A C
es inyectiva, por lo cual A  C.

El siguiente resultado sera relevante cuando definamos el orden entre cardinales.

3.13 Lema. Si K K y L L , entonces
(a) K  L K  L .
(b) K L K L
96

Demostracion. (a) Si K K y L L entonces existen f : K K y g : L L biyectivas.

Si K  L entonces existe h : K L inyectiva. Luego, g h f 1 : K L es inyectiva

(composicion de inyectivas), de donde K  L . El recproco se demuestra analogamente.

(b) K L es K  L K 6 L, lo cual es facil ver que equivale a K  L K 6 L (por (a)), lo

cual es K L .

3.14 Ejemplo. (a) Si A B entonces A  B, pues la funcion IA : A B es inyectiva.

(b) Dados m, n , m  n m n. En efecto, si m  n entonces del Lema 3.11 existe C n
tal que m C. Luego, C es finito y m = |C| n.

Para el recproco, si m n, entonces m n, de donde m  n por (1).

(c) Dados m, n , m n m < n. En efecto, m n es m  n m 6 n, lo cual equivale a
m n m 6= n, es decir, m < n.

(d) R. Es claro de que N R y N.

(e) A P(A). La funcion g : A P(A), tal que g(x) = {x}, es inyectiva. Por lo tanto,
A  P(A) y, como A 6 P(A), entonces A P(A).

(f) Si A  B y B es finito, entonces A es finito. En efecto, como A  B, por Lema 3.11 existe

C B tal que A C. Como B es finito entonces C es finito y, como A C, se sigue que A

es finito.
(g) Del anterior se sigue directamente que, si A  B y A es infinito, entonces B es infinito.
Una pregunta que surge del Lema 3.12 es si se cumple la antisimetra, es decir, si A  B y

B  A entonces A y B tienen el mismo tamano. Este resultado, aunque obvio, no tiene una prueba

trivial, por lo cual aun se da credito a quienes intervinieron en su propuesta y demostracion.

3.15 Lema. Si A B C y A C entonces A B C.

Demostracion. Como A C entonces existe f : C A biyectiva. Definamos las siguientes

sucesiones por recursion.

A0 = C
An+1 = f [An ]

B0 = B
Bn+1 = f [Bn ].

Luego se cumple
97

(i) A0 = C, B0 = B y A1 = A, pues A1 = f [A0 ] = f [C] = A.

(ii) A1 B0 A0 , porque A B C y (i).
(iii) n (An+1 Bn An ). Procedemos por induccion. El caso n = 0 es (ii). Ahora, si n

y An+1 Bn An , entonces f [An+1 ] f [Bn ] f [An ], lo cual es An+2 Bn+1 An+1 .

(iv) Las sucesiones hAn in y hBn in son decrecientes respecto a . Se sigue de (iii), pues
Bn+1 An+1 Bn An .

Por lo tanto, las sucesiones tienen la forma

A0 B0 A1 B1 . . . An Bn An+1 Bn+1 . . .
Cabe anotar que, como f es biyectiva, entonces An+1 An y Bn+1 Bn , lo cual indica que todos

los An tienen el mismo tamano entre s y todos los Bn tienen el mismo tamano entre s.
S
Dado n , consideremos Dn = An r Bn , D =
Dn y E = A0 r D. La siguiente figura
n

ilustra la situacion, donde cada Dn esta sombreado, D esta representado por el total de las a reas

sombreadas (la union de los Dn ) y E es la totalidad de a reas sin sombra.

A0

B0

D0

A1

B1

D1

A2

B2

D2

A3

B3

D3
D4

B4

98

A4

De las siguientes propiedades, (v) dice que la funcion f hace que los elementos de Dn saltendentro
de Dn+1 . Entonces, al aplicar f al a rea sombreada, desaparece D0 y, si el a rea sin sombra (E) se
deja intacta, queda B0 . De esta forma, se logra transformar A0 en B0 de forma biyectiva, lo cual
describimos detalladamente a continuacion.
(v) f [Dn ] = Dn+1 . En efecto, como f es biyectiva, f [Dn ] = f [An r Bn ] = f [An ] r f [Bn ] =
An+1 r Bn+1 = Dn+1 .
(vi) f [D] =

n=1

Dn . Usando (v), se sigue f [D] =

n=0

f [Dn ] =

n=0

Dn+1 =

n=1

Dn .

(vii) f [D] B0 . Si n 1 entonces Dn = An r Bn An A1 B0 . Por lo tanto, f [D] =

S
Dn B0
n=1

(viii) B0 = E f [D] y es union disjunta. De (vi) se tiene que f [D] D y, como E D = , se

S
tiene f [D] E = . Como D = D0
Dn = D0 f [D], entonces
n=1

E f [D] = (A0 r (D0 f [D])) f [D] = ((A0 r D0 ) (A0 r f [D])) f [D]

= (B0 (A0 r f [D])) f [D] = (B0 r f [D]) f [D] = B0 .
Luego, la funcion g = f D : D f [D] es biyectiva. Si llamamos h = IE : E E, la cual es
biyectiva, como D E = f [D] E = , entonces f = g h : D E f [D] E es biyectiva.

Por (viii), f : A0 B0 y, como es biyectiva, entonces A0 B0 , es decir, C B. Como A C,

se sigue el resultado.
3.16 Teorema (Schroder-Bernstein). Si A  B y B  A, entonces A B.
Demostracion. Supongamos A  B y B  A. Luego, del Lema 3.11, existe D B tal que

A D. Como B  A, del Lema 3.13 se sigue B  D, por lo cual existe E D tal que B E.

As, E D B y B E, de donde, por Lema 3.15, D B. Como A D, conclumos que

A B.

3.17 Corolario. |Q| = 0 .

Demostracion. Como N Q, es claro que N  Q. Es conocida la propiedad de que, dado q Q,

existen u nicos a Z y b Z+ primos relativos tal que q = ab . Definimos F : Q Z Z tal que

F (q) = (a, b) donde a y b son como se mencionaron anteriormente. Es facil ver que F es inyectiva,

de donde Q  Z Z. Como |Z Z| = |Z| |Z| = 0 0 = 0 = |N|, entonces Z Z N y,

99

por Lema 3.13, Q  N. Por lo tanto, del Teorema de Schroder-Bernstein (3.16), Q N, es decir,

|Q| = 0 .

Contamos entonces con los suficientes elementos para definir el orden entre cardinales.
3.18 Definicion. Dado y cardinales, decimos que si y solo si K,L( = |K| =
|L| K  L). Definimos < como 6= .

Mas importante que la definicion, es el siguiente resultado que establece un criterio practico
para interpretar la desigualdad entre cardinales.
3.19 Lema. (a) A  B |A| |B|.
(b) A B |A| < |B|.
Demostracion. Denotemos por = |A| y = |B|.
(a) Supongamos que A  B, de donde A,B ( = |A| = |B| A  B), lo cual es .

Para el recproco, supongamos , de donde existen K y L tal que = |K|, = |L| y

K  L. Luego, A K y B L, de donde se concluye A  B por el Lema 3.13.

(b) A B es A  B A 6 B, lo cual equivale, por (a), a |A| |B| |A| =

6 |B|, es decir,
|A| < |B|.

3.20 Corolario. es un orden parcial para los cardinales. Por lo tanto, < es su orden estricto
correspondiente2 .

Demostracion. Dados , y cardinales, tomemos K, L y M conjuntos tal que = |K|, = |L|

y = |M |.

Reflexividad: Como K  K, del Lema 3.19 se sigue |K| |K|, es decir, .

Antisimetra: Del Teorema de Scrhoder-Bernstein (3.16), (K  L L  K) K L, lo
cual equivale a (|K| |L| |L| |K|) |K| = |L| por el Lema 3.19. De e sto se sigue

directamente la antisimetra.
Transitividad: Directo de (K  L L  M ) K  M .
2

En general, no se puede probar en ZF que A  B B  A para cualquier par de conjuntos A y B, es decir, no se

puede garantizar que el orden de cardinales es lineal. Este

hecho es equivalente al Axioma de Eleccion.

100

3.21 Ejemplo. (1) n (n < 0 ). Como n entonces n  , ademas que n 6 porque es

infinito. Por lo tanto, n , de donde n < 0 por Lema 3.19.

(2) Las relaciones y < en coinciden con las desigualdades definidas como cardinales. Dado

m, n , denotamos m 1 n y m <1 n las desigualdades como numeros naturales, y m 2 n

y m <2 n las desigualdades como cardinales (Definicion 3.18). Luego, por el Lema 3.19 y el

Ejemplo 3.14,
m 1 n m  n |m| 2 |n| m 2 n,
m <1 n m n |m| <2 |n| m <2 n.
(3) Dado cardinal, < 2 . Tomemos K tal que = |K|. Como K P(K), entonces, por Lema
3.19, = |K| < |P(K)| = 2 .

(4) 0 < 20 , el cual se sigue de (3).

Las propiedades de las desigualdades respecto a las operaciones de cardinales ofrecen tecnicas
para probar equipotencias de conjuntos sin necesidad de construir funciones.
3.22 Teorema. Sean , y cardinales.
(a) 0.

(f) Si 6= 0 6= 0, .

(b) < + 1 .

(g) + .

(c) + + .

(h) 6= 0 .

(d) .

(i) 6= 0 .

(e) .

(j) > 1 < .

Demostracion. Por practicidad, consideremos K, L y M disjuntos entre s tal que = |K|, =

|L| y = |M |.

(a) Como K, entonces 0 = || |K| = .

(b) Si < , es decir, K L, entonces K  L y K 6 L, por lo cual existe f : K L inyectiva.

f no puede ser sobreyectiva, pues K 6 L, de modo que existe y0 L r ranf . Tomemos un

101

x0
/ L (el cual existe porque L no es el universo) y definamos
g : K {x0 } L
x

7 g(x) =

f (x) si x K,
y0 si x = x0 .

Es facil ver que g es inyectiva, por lo cual + 1 = |K {x0 }| |L| = .

(d) Supongamos , de donde K  L, es decir, existe f : K L inyectiva. La funcion

g : K M L M , definida por g(x, z) = (f (x), z), es inyectiva. Por lo tanto, K M 

L M , es decir, = |K M | |L M | = .

(f) Supongamos 6= 0 6= 0. En el caso que = 0, entonces 6= 0 de donde, por (a), > 0.

Si entonces > 0, por lo cual 6= 0. Luego, = 0 = 0 = 0 = .

Ahora supongamos que 6= 0, por lo cual M 6 , es decir, M 6= . Luego, existe un

z0 M . Supongamos , de donde K  L, es decir, existe f : K L inyectiva. Para ver

que , basta probar que

KM

 L M . Dado v : K M , definamos

Fv : L M
y 7 Fv (y) =
Luego, sea F :

KM

v(f 1 (y)) si y ranf ,

z0
si y L r ranf .

L M tal que F (v) = Fv para v

KM.

Para ver que F es inyectiva, hallemosle una inversa a izquierda. Sea G :

G(h) = h f para h

LM ,

veamos que G F = I K M . Dado v

KM,

LM

KM

tal que

G(F (v)) = G(Fv ) =

Fv f . Claramente, dom(Fv f ) = domv = K, de modo que para probar G(F (v)) = Fv f = v

basta verificar que xK (Fv (f (x)) = v(x)). En efecto, si x K, entonces f (x) ranf , de
donde Fv (f (x)) = v(f 1 (f (x))) = v(x).

(j) Como > 1, de (b) se sigue 2. Luego, < 2 (la u ltima desigualdad por (e)).

Cabe advertir que las propiedades (a)-(i) no se cumplen en general para < en vez de . Por

ejemplo, 2 < 3 y, sin embargo, 2 + 0 = 3 + 0 = 0 , 2 0 = 3 0 = 0 , 20 = 30 y

20 = 30 = 0 (ver Ejercicios 3.33 y 3.42). De manera clara, en los incisos (b)-(f) el antecedente se

puede cambiar por < , pero el consecuente sigue como .

3.23 Teorema. |R| = 20 .
102

Demostracion. Como R (0, 1), veamos que |(0, 1)| = 20 . Consideremos en la prueba la sigu-

iente propiedad: Dado x (0, 1), existe una u nica sucesion hcxn inZ+ de numeros entre 0 y 9 tal

que x = 0, cx1 cx2 . . . cxn . . . de modo que dicha expansion decimal no termina en 99999 . . ..
|(0, 1)| 20 : Definamos F : (0, 1)

Z+ 10

tal que, dado x (0, 1), F (x) = hcxn inZ+ como

en la propiedad mencionada. F es inyectiva, pues si x, y (0, 1) y F (x) = F (y), entonces

hcxn inZ+ = hcyn inZ+ , de donde nZ+ (cxn = cyn ). Luego, x = 0, cx1 cx2 . . . = 0, cy1 cy2 . . . = y.

Por lo tanto, (0, 1) 

Z+ 10,

de donde |(0, 1)| 100 . Pero, como 10 < 20 , del Teorema

3.22 se sigue 100 (20 )0 = 20 , de donde |(0, 1)| 20 .

20 |(0, 1)|: Definamos G :

Z+ 2

(0, 1) tal que, si hbn inZ+

Z+ 2,

entonces G(hbn inZ+ ) =

0, 1b1 b2 . . . bn . . . (dicha expansion solo contiene 0s y 1s). Si hbn inZ+ , hbn inZ+

Z+ 2

y G(hbn inZ+ ) = G(hbn inZ+ ), es decir, 0, 1b1 b2 . . . = 0, 1b1 b2 . . ., de la unicidad de la

expansion decimal (explicada en la propiedad del primer parrafo) se sigue nZ+ (bn = bn ),

por lo cual hbn inZ+ = hbn inZ+ .

Hemos probado que G es inyectiva, por lo cual 20 |(0, 1)|.

3.24 Ejemplo. (1) 20 + 1 = 20 . Como 0 < 1 < 20 , del Teorema 3.22 se sigue 20 + 0
20 + 1 20 + 20 = 20 . Por lo tanto, 20 + 0 20 + 1 20 , de donde 20 + 1 = 20 .

(2) Veamos otra prueba de 0 +0 = 0 . Del Teorema 3.22, 0 0 +0 = 20 0 0 = 0 .

(3) Veamos otra demostracion de n (0 + n = 0 ). Dado n , 0 n < 0 , de donde
0 = 0 + 0 0 + n 0 + 0 = 0 .

(4) 0 0 = 20 . Como 2 < 0 < 20 , entonces 20 0 0 (20 )0 = 20 .

(5)

R, pues | | = 0 0 = 20 = |R|.

3.25 Corolario. (a) R P().

(b) C R.
Demostracion. (a) |P()| = 2|| = 20 = |R|.
(b) Definamos F : R R C tal que F (a, b) = a + bi. Es sencillo probar que F es biyectiva, por
lo cual |C| = |R R| = |R|, pues R R R.

103

3.29 Ejercicio. Dado cardinal, pruebe que las siguientes afirmaciones son equivalentes.

3.38 Ejercicio. Pruebe (c), (e), (g), (h) e (i) del Teorema 3.22.

(a) es cardinal finito.

A
(b) finito
( = |A|).


A
(c) =|A|
(A es finito)

3.39 Ejercicio. Dados , , y cardinales, pruebe

(a) ( )
( 6= 0 6= 0 = 0).

3.30 Ejercicio. Dado cardinal, pruebe que las siguientes afirmaciones son equivalentes.

(b) ( + )+

(c) > 1 = < .

(a) es cardinal infinito.

A
(b) infinito
( = |A|).


A
(A es infinito)
(c) =|A|

3.40 Ejercicio. Pruebe los siguientes enunciados.

(a) 0 n = 0 .

(a) n (20 + n = 20 ).

(a) es cardinal infinito sii n (n < ).

(b) es cardinal infinito sii n (n ).

(c) A es infinito sii n (n A).

3.31 Ejercicio. Pruebe (c), (e), (h), (i), (m), (o) y (p)
(d) A es infinito sii n (n  A).
del Teorema 3.8
3.41 Ejercicio. Pruebe
3.32 Ejercicio. Pruebe |AB|+|AB| = |A|+|B|.
Sugerencia: Con ayuda de un diagrama de Venn, di- (a) |A B| |A| + |B|.
vida a A en dos conjuntos disjuntos, de modo que (b) Si A  B entonces P(A)  P(B).
pueda expresar |A| + |B| de otra forma.
3.42 Ejercicio. Demuestre los siguientes enuncia3.33 Ejercicio. Para n , n 6= 0, pruebe
dos.
(b) n0 = 0 .

(b) nr{0} (20 n = 20 ).

(c) 00 = 1.

(c) nr{0} ((20 )n = 20 ).

3.34 Ejercicio. Ofrezca un contraejemplo que veri- (d) 20 + 0 = 20 .

fique que la propiedad cancelativa no se cumple en
(e) 20 0 = 20
general para la suma, producto y exponenciacion de
(f) Si 2 20 entonces 0 = 20 .
cardinales.
0
0
3.35 Ejercicio. Dado y cardinales, pruebe que (g) nr{0,1} (n = 2 ).
las siguientes afirmaciones son equivalentes
(h) 2 .

(i) .

(ii)

K
=|K|

(i) Si es infinito, = y 2 2 , entonces

= 2 .

L
=|L| (K  L).

(j) Si es infinito y = entonces = 2 .

(iii) K,L ( = |K| = |L| K L).

(20 )

3.36 Ejercicio. Dado y cardinales, pruebe que

las siguientes afirmaciones son equivalentes
(i) < .
(ii)

K
=|K|

(K L).

L
=|L|

(k) 0

0
)

= 2(2
0
)

(l) (20 )(2

0
)

= 2(2

(m) |P(R)| = 2
(n)

(20 )

R P(R).

(o) R Q P(R).
3.37 Ejercicio. Dado cardinal, pruebe que |L|
si y solo si CL (|C| = ).
(p) P() P(R).

104

3.43 Ejercicio. Sea P el conjunto de pares en y

I = r P . Como |P | = |I| = 0 , es claro que existe h : P I biyectiva. Dado v : 2 definamos
Fv : tal que

si v(n) = 1,
n
Fv (n) = h(n) si n P y v(n) = 0,
1
h (n) si n I y v(n) = 0,
Pruebe que

(a) Fv es biyectiva.

(d) |Iny()| = 20 .

(e) |Sob()| = 20 .

3.44 Ejercicio. Dado f 2 A, sea Gf : A 2

A 2 tal que Gf (x, e) = (x, e ), donde e = e si
f (x) = 1, o e = 1 e (el otro valor) si f (x) = 0 (en
general, e = 1 (e f (x))2 ). Pruebe,
(a) Gf es biyectiva.
(b) La funcion G : A 2 Biy(A 2), definida por
G(f ) = Gf , es inyectiva.

(b) F : 2 Biy(), definida por F (v) = Fv , es

inyectiva.

(c) Si A A A, entonces |Biy(A)| = |Iny(A)| =

|Sob(A)| = 2|A| .

(c) |Biy()| = 20 .

(d) |Biy(R)| = |Iny(R)| = |Sob(R)| = 2(2

0
)

3.4. Conjuntos contables

El estudio de los conjuntos contables es importante en todas las a reas de la matematica, pues
representan los conjuntos que pueden contarse mediante numeros naturales. A lo largo de esta seccion materializamos este hecho.
4.1 Definicion. Sea A conjunto. A es contable si |A| 0 . A es enumerable si |A| = 0 .
4.2 Ejemplo. (1) Todo conjunto finito es contable, pero no enumerable.
(2) Todo conjunto enumerable es contable.
(3) , N, Z, Q y son enumerables (y contables).
(4) R, P() y R R son no contables, pues tienen tamano 20 > 0 .
(5) P(R) es no contable, pues |P(R)| > |R| > 0
4.3 Lema. Si B es infinito, entonces |B| = 0 .
Demostracion. Como B , es claro que |B| 0 . Ademas, al ser infinito, no tiene maximo.
Definamos s : B B tal que s(x) = mn {y B / y > x} (el cual existe porque B no tiene

maximo). Es claro que xB (x < s(x)). Como B 6= (al ser infinito), entonces mn B existe. Por

recursion, definamos h : B tal que

h(0) = mn B
h(n + 1) = s(h(n)) para n .
105

Dado n , se sigue h(n) < s(h(n)) = h(n + 1), de donde h es estrictamente creciente. Por lo
tanto, como es orden lineal, se sigue que h es inyectiva. Luego, 0 = || |B|

El Lema anterior da una respuesta definitiva sobre el tamano de los subconjuntos infinitos de los
naturales, por ejemplo, el conjunto de numeros primos tiene tamano 0 . Mas aun, indica que 0 es
minimal respecto a los cardinales infinitos3 .

4.4 Teorema. (a) es cardinal finito si y solo si < 0 .

(b) No existe cardinal infinito tal que < 0 (esto dice que 0 es minimal respecto a los cardinales infinitos).

Demostracion. (a) Sea K tal que = |K|. Si < 0 entonces K  , por lo cual existe B

tal que K B. Como |B| = |K| = < 0 , del Lema 4.3 se sigue que B es finito. Por lo

tanto, K es finito y = |K| es cardinal finito.

Para el recproco, si es cardinal finito, es decir, (Definicion 3.3), entonces < 0 .

(b) Directo de (a).

Los siguientes resultados ofrecen clasificaciones para los conjuntos contables.

4.5 Teorema. A es contable si y solo si A es finito o enumerable.
Demostracion. Si A es contable, es decir, |A| 0 , entonces |A| < 0 o |A| = 0 . Del primer

caso, |A| es cardinal finito (por Teorema 4.4), por lo cual A es finito; del segundo caso, es claro que

A es enumerable.

El recproco es directo del Ejemplo 4.2.

4.6 Teorema. (a) Si g (g : A sobre) entonces A es contable.
(b) Si A 6= es contable, entonces g (g : A sobre).
Demostracion, (a) Supongamos que existe g : A sobre. Del Ejercicio 3.6, como tiene

buen orden, existe f : A inversa a derecha de g, es decir, g f = IA . Luego, como f tiene

inversa a izquierda (g), entonces es inyectiva, por lo cual A  , es decir, A es contable.

Una forma de definir f es

f : A
x 7 f (x) = mn(g1 [{x}])

No se puede probar en ZF que 0 es el mnimo de los cardinales infinitos. Esto

puede probarse con el Axioma de
Eleccion.
3

106

(b) Si A 6= es contable, existe f : A inyectiva. Como A es no vaco, existe g : A

inversa a izquierda de f , es decir, g f = IA . Como g tiene inversa a derecha (f), entonces g es

sobre.

4.7 Corolario. Sea A 6= . Entonces A es contable si y solo si tiene la forma A = {an / n }.

Demostracion. Si A es contable, al ser no vaco existe g : A sobreyectiva. Luego, A =

rang = {g(n) / n }.

Para el recproco, si A = {an / n } entonces h : A, definida por h(n) = an , es sobreyectiva. Luego, por el Teorema 4.6, A es contable.

El resultado anterior es la esencia de la interpretacion del significado de conjunto contable,

ya que indica que sus elementos se pueden contar mediante los numeros naturales. Notese que en
la prueba de 2.8 se supone R = {f (n) / n } para llegar a un absurdo, es decir, que los numeros

reales se pudieran contar indizando con numeros naturales. El absurdo lo que permitio concluir es
que R no es contable.
4.8 Corolario. Sea f una funcion, A domf . Si A es contable entonces f [A] es contable.
Demostracion. Si A = claramente f [A] = es contable. Supongamos que A 6= y es

contable. Luego, del Teorema 4.6, existe g : A sobreyectiva. Es claro que fA : A f [A] es
sobre, por lo cual (fA) g : f [A] es sobre. Por lo tanto, f [A] es contable.

El siguiente resultado propone que la union y productos cartesianos finitos se preservan mediante uniones contables.
4.9 Lema. Sean A y B conjuntos contables. Entonces
(a) A B y A B son contables.
(b) Si A es finito y xA (x contable), entonces

A es contable.

Demostracion. (a) Del Ejercicio 3.41, |A B| |A| + |B| 0 + 0 = 0 . Por otra parte,
|A B| = |A| |B| 0 0 = 0 .

(b) Por induccion sobre A finito (ver Ejercicio 3.10). El caso A = es inmediato, pues
el cual es contable. Para el paso inductivo, sean A finito y b
/ A tal que
xA (x contable)
107

A contable.

A = ,

Supongamos xA{b} (x contable). Claramente, xA (x contable) y b es contable, de donde

S
A es contable por la hipotesis inductiva. Luego,
[

[
A b,
(A {b}) =

el cual es la union de dos contables. Por (a), conclumos que

La operacion

BA

(A {b}) es contable.

no preserva contables, pues 2 y son contables, pero 2 no es contable.

Del Lema 4.9 surge la pregunta de si (b) es valido cuando A es enumerable. En general, esto no

se puede probar en ZF, pero se puede dar una condicion4 que permite enunciarlo.
4.10 Teorema. Sea A contable tal que xA (x contable). Si se cumple la

Condicion de union contable (CUC). Existe una sucesion hFx ixA tal que, si x A y x 6= ,
entonces Fx : x es sobreyectiva.

entonces

A es contable.

Demostracion. Consideremos los siguientes casos.

xA (x 6= ). Usando (CUC) definamos G : A

A tal que G(x, n) = Fx (n). Basta probar

S
que G es sobreyectiva, pues, como A es contable por Lema 4.9, entonces G[A] = A
es contable por Corolario 4.8.
S
En efecto, si z A, entonces existe x A tal que z x. Como Fx : x es sobre,

entonces existe n tal que z = Fx (n). Por lo tanto, z = G(x, n).

xA (x = ). Sea A = A r {}. Claramente, A cumple las condiciones del Teorema, (CUC) y

S
cumple la hipotesis del caso anterior. Por lo tanto, A es contable. Luego,
de donde

A=

A es contable.

[

[
[
A =
(A {}) =
A ,

4.11 Corolario. Sea hAn in una sucesion de conjuntos contables. Si se cumple la

4

Esta
puede probarse por el Axioma de Eleccion.

108

Condicion de union contable (CUC). Existe una sucesion hFn in tal que, si n y An 6= ,
entonces Fn : An es sobreyectiva.

entonces

An es contable.

Demostracion. Sea A = {An / n }. Del Corolario 4.7, A es contable y, como los An son
S
S
contables, entonces xA (x contable). Como A = n An , basta ver que A cumple la (CUC)
S
para garantizar, por Teorema 4.10, que n An es contable.
Dado x A se tiene que n (x = An ). Tomemos nx = mn {n / x = An } y definamos

Fx = Fnx . Claramente, si x A y x 6= entonces, por la (CUC) de este resultado, Fnx : Anx

es sobre, es decir, Fx : x es sobre. Por lo tanto, la sucesion hFx ixA cumple la (CUC) del

Teorema 4.10.

Para ver ejemplos del uso de los resultados 4.10 y 4.11, recordemos la Definicion 2.3.7 que
S n
A, el cual representa el conjunto de sucesiones finitas con elementos en A.
indica sq(A) =
n

Si A es contable, entonces n A es contable para todo n . Luego, si probamos que la sucesion

h n Ain cumple la (CUC), por el Corolario 4.11 se sigue que sq(A) es contable. Para lo anterior,

basta ver el caso para A = . Para otro ejemplo, consideramos el siguiente concepto.

4.12 Definicion. P< (A) = {X A / X finito}, es decir, la coleccion de subconjuntos finitos de

A. Por el Teorema 4.4, podemos escribir P< (A) = {X A / |X| < 0 }.

4.13 Lema. (a) Si A  B entonces sq(A)  sq(B) y P< (A)  P< (B).
(b) Si A B entonces sq(A) sq(B) y P< (A) P< (B).
Demostracion. (a) Si A  B, existe f : A B inyectiva. Definamos F : sq(A) sq(B) tal

que F (s) = f s. Si s, q sq(A) tal que F (s) = F (q), es decir, f s = f q, entonces al

componer f 1 a la izquierda (es funcion porque f es inyectiva) se sigue s = q. Por lo tanto, F

es inyectiva.
Sea G : P< (A) P< (B) definida por G(X) = f [X] (ver Ejercicio 3.6 para garantizar que

G(X) P< (B)). Como f es inyectiva, es facil ver que G es uno-a-uno.

(b) Si A B entonces A  B y B  A. Luego, de (a), sq(A)  sq(B), P< (A)  P< (B),
sq(B)  sq(A) y P< (B)  P< (A), de donde se sigue el resultado.

4.14 Teorema. (a) sq() es enumerable.

109

(b) Si A es contable, entonces sq(A) es contable.

(c) Si A es contable, entonces P< (A) es contable.
Demostracion. (a) Es claro que la sucesion h n in es de conjuntos contables, pues


1 si n = 0,
n
| | =
0
0 si n 6= 0.
Basta probar que dicha sucesion cumple la (CUC) del Corolario 4.11 para garantizar que
S n
sq() =
es contable. En efecto, sea g : una biyeccion (la cual existe porque
n

). Definamos la sucesion hFn in por recursion como sigue: sea F0 :

definida por F0 (n) = , la cual claramente es sobreyectiva; sea F1 :

definida

por F1 (n) = hni (la sucesion con u nico termino n), la cual es claramente biyectiva. Para el

paso recursivo, supongamos que hemos definido Fn :

n+1

biyectiva para n 1. Sea

bn : n+1 tal
tal que Gn (k, l) = Fn (k)bhli. La funcion G

Gn :
bn (s) = (Fn1 (sn), s(n)) es inversa a izquierda y derecha de Gn , lo cual garantiza su
que G
biyectividad. En efecto,

bn Gn = I . Si k, l , entonces
G

bn (Gn (k, l)) = G
bn (Fn (k)bhli) = Fn1 ((Fn (k)bhli)n), (Fn (k)bhli)(l)
G

= (Fn1 (Fn (k)), l) = (k, l).

bn = I n+1 . Si s
Gn G

n+1 ,

entonces

bn (s)) = Gn (F 1 (sn), s(n)) = Fn (F 1 (sn))bhs(n)i = (sn)bhs(n)i = s.

Gn (G
n
n

Luego, definimos Fn+1 = Gn g :

n+1 ,

la cual es biyectiva al ser composicion de

biyecitvas. Por lo tanto, hFn in es la sucesion buscada que cumple (CUC).

Tenemos que sq() es contable, es decir, |sq()| 0 . Para concluir que es enumerable, basta

notar que 1 sq(), por lo cual 0 |sq()|.

Por lo general, cuando es muy clara la definicion y prueba de propiedades para una sucesion
definida por recursion, se omiten los detalles del uso del Teorema de la Recursion. Para el caso
de hFn in , se considera D = sq() y F : D D tal que F(f ) = Gf g para f D, donde

Gf : sq() tal que Gf (k, l) = f (k)bhli. Luego, por el Teorema de la Recursion, existe

H : D tal que

H0 = F1
(F1 como se definio anteriormente),
Hn+1 = F(Hn ) para n .
110

Luego, se define F0 como se explico y, para n > 0, Fn = Hn1 , por lo cual F1 es tal como
se definio y Fn+1 = Hn = F(Hn1 ) = F(Fn ) para n 1, donde F(Fn ) = Gn g con
Gn = GFn (que coinciden segun las notaciones). La prueba de que Fn : n es biyectiva

para n 1 se hace por induccion, la cual realizamos en los parrafos anteriores al explicar la

definicion de Fn+1 bajo la hipotesis que Fn es biyectiva.

(b) Como A es contable, entonces A  . Luego, por el Lema 4.13, |sq(A)| |sq()| = 0 .
(c) Definamos F : sq(A) P< (A) tal que F (s) = ran(s) para s sq(A). Si Y P< (A),
entonces Y A y existe n tal que n Y . Luego, existe s : n Y biyectiva. Claramente,
s : n A, por lo cual s sq(A) y F (s) = ran(s) = Y . Por lo tanto, F es sobreyectiva.

Ahora, si A es contable, por (b) sq(A) es contable y, por el Lema 4.8, P< (A) = F [sq(A)] es

contable.

4.15 Ejemplo. Sea W el conjunto de smbolos con los que escribe un ser humano (abecedario,

mayusculas, minusculas, con tildes, dieresis, coma, punto, dos puntos, etc.). Una manera de ver
sq(W) es como el conjunto de palabras formadas por smbolos de W (pues una palabra se puede

ver como una sucesion finita de dichos smbolos). Es claro que W es contable, mas aun finito.

Luego, del Teorema 4.14, sq(W) es contable (del Ejercicio 3.53, sq(W) es enumerable), es decir,

el ser humano solo cuenta con una cantidad contable de palabras. De esta forma, como R es no
contable, es imposible darle un nombre a cada numero real.
Para terminar, veamos como debe ser el complemento de un conjunto contable respecto a un
conjunto de tamano 20 .
4.16 Teorema. Sea |A| = 20 y B A contable. Entonces |A r B| = 20 .
Demostracion. Veamos el resultado para los siguientes casos.
A = R R: Sea C R R contable. La funcion 1 : C domC, definida por 1 (x, y) = x, es

sobreyectiva, por lo cual, del Lema 4.8, domC = 1 [C] es contable. Luego, como domC R

y R es no contable, entonces domC ( R, por lo cual existe x0 R r domC. Llamemos

C = (R R) r C y L = {x0 } R. Como x0
/ domC entonces yR ((x0 , y) C ), por
lo cual L C . La siguiente figura ilustra la situacion.
111

x0

Luego,
20 = |{x0 } R| = |L| |C | |R R| = 20
de donde |(R R) r C| = 20 .
|A| = 20 . Como A R R entonces existe f : A R R biyectiva. Si B A es contable,

entonces f [B] B, por lo cual f [B] es contable. Como f es biyectiva, del caso anterior se

sigue
|A r B| = |f [A r B]| = |f [A] r f [B]| = |(R R) r f [B]| = 20 .

4.17 Corolario. |Q | = 20 (Q es el conjunto de numeros irracionales).

Demostracion. Como Q = R r Q, |R| = 20 y Q es contable, del Teorema 4.16 se sigue que
|Q | = 20 .

3.45 Ejercicio. Si A  B, pruebe

(b) Si A es enumerable, existe B A enumerable

tal que A r B es enumerable.

(a) B contable A contable.

(b) A no contable B no contable.
3.46 Ejercicio. Pruebe que la funcion h : B
del Lema 4.3 es biyectiva. Luego, pruebe que es un
isomorfismo.
3.47 Ejercicio. Pruebe

(c) Si A es enumerable, pruebe que existe

P particion enumerable de A tal que
BP (B enumerable). Sugerencia: Note que
A A y observe que es facil hacer dicha
particion en A .
3.48 Ejercicio. Pruebe que todo conjunto contable
tiene un buen orden.

(a) Existe C enumerable tal que r C es enu3.49 Ejercicio. Si C es un conjunto de crculos dismerable.

112

juntos en el plano R R, entonces C es contable.

(e)

3.50 Ejercicio. Sea B contable. Las siguientes afirmaciones son equivalentes.

(f)

k<2

(i) A  B.

H k H 0 H1 .

k<n+1

Hk

 Q

k<n


Hk Hn .

(g) Si k<n (Hk contable), entonces

Hk es conk<n
(ii) g (g : B A sobre).
table. Sugerencia: Induccion sobre n.
S
3.51 Ejercicio. Si
A es contable, pruebe que
= {X / |X| = 0 }.
xA (x contable). Se puebe probar que A es con- 3.56 Ejercicio. Sea P ()
0
.
Pruebe
que
|P
()|
=
2

table? Justifique su respuesta.

3.52 Ejercicio. Sea R una relacion de equivalencia 3.57 Ejercicio. Sea
en A. Si A es contable, entonces A/R es contable.
S = {s Z / N nN (sn = 0)}
3.53 Ejercicio. Pruebe los siguientes enunciados.
donde sn = s(n). Sea P el conjunto de todos los poli(a) |sq()| = 1.
nomios con coeficientes en Z. Pruebe
(b) Si A 6= es contable, entonces sq(A) es enu- (a) S es enumerable. Sugerencia: Para probar |S|
merable.
, defina una funcion F : S sq(Z) que
0

(c) |A| |sq(A)| 0 |A|0 .

sea inyectiva.

(b) P es enumerable. Sugerencia: Pruebe que es

equipotente con S.

(d) Si |A| 2 entonces |sq(A)| |A|0 .

(e) |sq(R)| = 20 .

3.58 Ejercicio. Sea hAn in una coleccion de sub3.54 Ejercicio. Pruebe los siguientes enunciados
conjuntos finitos de R. Pruebe que dicha sucesion
(ver el Ejercicio 3.24 para la notacion).
cumple la (CUC) del Corolario 4.11. Sugerencia:
(a) Si f es una funcion, entonces f domf .
Utilice el Ejercicio 3.12(d) y el hecho que entre dos
buenos o rdenes isomorfos existe un u nico isomorfisn
(b) A Pn (n A) para n .
mo.
S
(c) P< (A) =
Pn (A).
n
3.59 Ejercicio. Consideremos P como en el Ejerci(d) Si A es contable y n , entonces Pn (A) es cio 3.57. a R se llama numero algebraico si es el
cero de algun polinomio con coeficientes enteros, es
contable.
decir, pP (p(a) = 0). De lo contrario, decimos que
(e) |P< ()| = 0 .
a es un numero trascendental. Pruebe
3.55 Ejercicio. Si n y hHk ik<n esQ
una suceHk =
sion, definimos (donde xk = x(k))
k<n

{x / x funcion dom(x) = n k<n (xk Hk )}.

Pruebe
Q
(a)
Hk es conjunto.
k<n

(b)

k<0

Hk = {0}.

(c) Si k<n (Hk = C), entonces

(d)

k<1

Hk H 0 .

k<n

Hk = n C.

(a) El conjunto de numeros algebraicos es enumerable. Sugerencia: Utilice los ejercicios 3.57 y
3.58.
(b) Todos los numeros racionales son algebraicos.
(c) Existen infinitos irracionales algebraicos.
(d) El conjunto de numero trascendentales tiene
tamano 20 .
3.60 Ejercicio. Sea A no contable tal que A A
A. Pruebe que, si B A es contable, entonces
|A r B| = |A|.

113

114

Captulo 4

El Axioma de Eleccion

Es bien sabido que las afirmaciones consideradas verdaderas en la matematica basica se justifican dentro de la teora de primer orden ZF. Sin embargo, segun los Teoremas de Incompletez de
Godel, hay afirmaciones del lenguaje de ZF que son indecidibles en la teora ZF, es decir, que no
se pueden probar ni refutar.
Entre dichas afirmaciones figuran aquellas que proceden de justificaciones que requieren de infinitas escogencias1 . Dichos razonamientos no son validos en ZF debido a que se formalizan en
demostraciones de infinitos pasos cuando, en realidad, una demostracion en una teora de primer
orden solo contiene finitos pasos.
Un ejemplo es la afirmacion
Si es un cardinal infinito, entonces 0
Una forma intuitiva de justificacion es la siguiente: sea A un conjunto tal que |A| = . Como es

infinito, existe a0 A. Luego, como A r {a0 } es infinito, existe a1 A r {a0 }. Ahora, como

A r {a0 , a1 } es infinito, existe a2 A r {a0 , a1 }. En general, si se han escogido ak con k < n,

como A r {ak / k < n} es infinito, existe an A r {ak / k < n}. Por lo tanto, al haber definido
la sucesion {an }n , la funcion h : A, definida por h(n) = an , es inyectiva. As, se concluye
que  A, es decir, 0 .

Notese que, en la justificacion anterior, se utiliza regla C para escoger cada an , es decir, se usa
infinitas veces regla C (tantas como los elementos de ). As, este argumento tiene infinitos pasos
y no es valido como demostracion en ZF. Mas aun, en ZF no se puede probar (ni refutar) dicha
1

En terminos de teoras de primer orden, que se usa regla C infinitas veces.

afirmacion.
En matematicas avanzadas, donde el analisis es muy abstracto y profundamente asociado con
el concepto de infinito, aparecen afirmaciones relevantes que solo se pueden justificar mediante
infinitas escogencias. Por esta razon, Ernst Zermelo propone en 1903 el denominado Axioma de
Eleccion, cuya aplicacion reduce una aplicacion regular de infinitas escogencias en una sola. Este
axioma genero controversia y division en la comunidad matematica.
No fue hasta mediados de siglo XX que el Axioma de Eleccion se adopto como un principio
fundamental para las matematicas. Ademas de su necesidad para abordar el conceptos importantes
asociados al infinito, es que no se puede probar ni refutar en ZF, as que este axioma (ni su negacion)
introducen contradicciones en ZF2 .
En adelante, denotamos por AC al Axioma de Eleccion y por ZFC a la teora de primer orden
que resulta de agregar AC a los axiomas de ZF.
En la actualidad, ZFC se considera, en la comunidad matematica, como el fundamento teorico
de toda la matematica (basica y avanzada), aunque, como consecuencia de los Teoremas de Incompletez de Godel, existen afirmaciones que ZFC no puede probar ni refutar. Por ejemplo, la siguiente
formula
(CH) Hipotesis del Continuo3 No existe un cardinal tal que 0 < < 20 .

Esto
equivale a que, dado X R infinito, |X| = 0 o |X| = 20 . Hasta el da de hoy, no hay ningu-

na razon intuitiva para aceptar CH, o su negacion, como una afirmacion con contenido matematico
aceptable.
En la primera seccion de este captulo enunciamos cuatro afirmaciones, equivalentes entre s,
que representan a AC. En la segunda seccion, probamos afirmaciones en ZFC que requieren de
infinitas escogencias. En la tercera seccion introducimos el Lema de Zorn y algunas afirmaciones
equivalentes a e ste, las cuales equivalen al Axioma de Eleccion. En la cuarta seccion probamos mas
resultados en ZFC, en su mayora consecuencias del Lema de Zorn. Finalmente, dedicamos la sec2
En 1938, Kurt Godel probo que el Axioma de Eleccion no introduce contradicciones en ZF. Mas adelante, Paul
J. Cohen propuso un metodo, hoy en da llamado forcing, con el cual probo que la negacion del Axioma no introduce
contradicciones en ZF. En 1963, Cohen fue acreedor de la medalla fields por su revolucionario metodo.

116

cion 4.5 para mostrar consecuencias del Axioma de Eleccion en espacios vectoriales, e sto con el fin
de dar un ejemplo de la importancia del axioma en las matematicas.
En cada seccion distinguimos las definiciones y resultados que requieren o no AC.

4.1. Axioma de Eleccion

El problema que motiva un enunciado para el Axioma de Eleccion es el siguiente: supongamos
que tenemos infinitos conjuntos que son no vacos y disjuntos entre s y se desea construir un conjunto C que tenga solo un elemento de cada uno de los infinitos conjuntos. Para esto, por regla C se
puede escoger un elemento de cada conjunto y, al final, se forma C con esos elementos escogidos.
Pero, al tener infinitos conjuntos, este procedimiento requiere infinitas escogencias y, por lo tanto,
no es valido como una prueba de ZF.
La propuesta de Zermelo para AC fue que dicho problema tiene solucion.
1.1 Definicion (ZF). A es una familia disjunta si sus elementos son no vacos y disjuntos entre s,
es decir, se satisface

(i) xA (x 6= ).
(ii) x,yA x 6= y x y = .
Si A es una familia disjunta, decimos que C es un conjunto de eleccion para A si C tiene un elemen-

to de cada objeto en A, es decir, xA u (x C = {u}). De forma equivalente, xA !uC (u x).

En el problema anterior, A es la coleccion de infinitos conjuntos y C el conjunto formado al

tomar un elemento de cada uno de los infinitos conjuntos (es decir, de los objetos en A. Una analoga

para este problema es tomar infinitas bolsas llenas de arena y formar una nueva bolsa de arena que
tenga solo un grano de cada una de las bolsas anteriores. Aqu, A representa el conjunto de las
infinitas bolsas y C la nueva bolsa de arena formada. De esta forma, el problema toma la siguiente

forma.
ACI Toda familia disjunta tiene un conjunto de eleccion.
El problema de dicho enunciado es que su aplicacion queda limitada a conjuntos disjuntos entre
s, lo cual no es necesario para formalizar la idea de las escogencias infinitas. Debido a esto, se propone otra propuesta de Axioma de Eleccion donde no se requiera que los conjuntos sean disjuntos,
117

solo que, en este caso, la naturaleza de la afirmacion cambia.

Sea A un conjunto infinito. Consideremos el problema de escoger un elemento de cada subconjunto no vaco de A. El hecho de que muchos subconjuntos de A no sean disjuntos hace que
la escogencia no se pueda materializar mediante un conjunto de eleccion. Se piensa entonces en
construir una funcion F tal que, para B A no vaco, F (B) es un elemento de B. De esta forma,

F se encarga de escoger un elemento de cada subconjunto de A.

1.2 Definicion (ZF). Sea A un conjunto. Una funcion de eleccion para subconjuntos de A es una
funcion F : P(A) r A tal que BA (B 6= F (B) B).
A
B
b

F (B)

El problema mencionado anteriormente representa otra forma de enunciar el Axioma de Eleccion.

ACII Todo conjunto tiene una funcion de eleccion para sus subconjuntos.

Otra forma de presentar el Axioma de Eleccion se toma del siguiente problema. Dada una
relacion R escoger, a cada elemento de domR, una de sus imagenes bajo R. Si domR es infinito, el
razonamiento intuitivo de este problema requiere infinitas escogencias, lo cual no puede justificarse
en ZF.
Para materializar este problema, para cada x domR llamemos h(x) la imagen escogida.

De este modo, h es una funcion tal que domh = domR y xdomR ((x, h(x)) R). La u ltima
afirmacion equivale a h R.
ACIII Dada una relacion R, existe una funcion h R tal que domh = domR.
118

domR

ranR
R[{x}]
x

b
b

h(x)

Para un cuarto enunciado del Axioma de Eleccion, consideremos el concepto de productos cartesianos generalizados. Si bien es cierto que se pueden realizar productos entre finitos conjuntos mediante la nocion de producto cartesiano, la misma idea no funciona para definir el producto entre
infinitos conjuntos, pues no es posible definir tuplas de longitud infinita. Por lo tanto, para ampliar el
concepto se debe pensar en una forma de ver tuplas infinitas, lo cual puede hacerse por sucesiones.
Q
Hi , el producto cartesiano entre los Hi con i I, sus elementos se ven como
Luego, para definir
iI

sucesiones del tipo hxi iiI tal que xi Hi para cada i I.

1.3 Definicion. Sea I un conjunto y hHi iiI una sucesion de conjuntos. Definimos el producto

cartesiano generalizado de hHi iiI como

Y
iI

Hi = {x funcion / domx = I

o, escrito de otra forma,

Y
iI

es un conjunto, pues
Este

iI

Hi

iI (x(i) Hi )}

Hi = {hxi iiI / iI (xi I)} .

I

S

iI


Hi .
119

Q
De la definicion anterior y el Ejercicio 3.55, es claro que
Hi = {}, pues es la u nica
i
Q
funcion (sucesion) con dominio . Por otra parte,
Hi = 1 H0 , el cual es equipotente con H0 .
i<1
Q
Tambien
Hi H0 H1 , lo cual muestra que dicho concepto abarca y generaliza la nocion de
i<2

producto cartesiano.

Es bien conocido que A B es no vaco si y solo si A y B son no vacos. Cabe preguntarse

Q
que, si I es un conjunto y hHi iiI es una sucesion de conjuntos, Hi 6= si y solo si todos los
Hi son no vacos? Una de las implicaciones es facil de probar.
1.4 Lema (ZF). Si

iI

iI

Hi 6= entonces iI (Hi 6= ).

Demostracion. Supongamos que

xi Hi , por lo cual Hi 6= .

iI

Hi 6= . Luego, existe una sucesion hxi iiI . As, dado i I,

Una forma de argumentar el recproco es que, para i I, Hi 6= , por lo cual existe un xi Hi .

Q
Hi 6= . El problema de esta justificacion es que, cuando I es infinito,
Luego, hxi iiI , de donde
iI

se realizan infinitas escogencias (una por cada elemento de I) y, as, no tiene validez en ZF. En

realidad, el recproco del Lema 1.4 es una afirmacion que equivale al Axioma de Eleccion.
ACIV Dado I y una sucesion hHi iiI ,

iI

Hi 6= .

Para finalizar esta seccion, veamos que las cuatro versiones del Axioma de Eleccion expuestas
son equivalentes entre si, de modo que una aplicacion de AC es el uso de cualquiera de estas
afirmaciones (o cualquier otra equivalente a e stas).
1.5 Teorema (ZF). ACI, ACII, ACIII y ACIV son equivalentes entre s.
Demostracion. ACI ACII Sea A un conjunto. Consideremos D = {B {B} / B P(A) r {}}
y veamos que es una familia disjunta.

(i) Dado B P(A) r {}, existe un x B, por lo cual (x, B) B {B}. As,
XD (X 6= ).

(ii) Supongamos que B, C P(A) r {} y B {B} C {C} =

6 . Luego, existe un

(x, Y ) en dicha interseccion, por lo cual B = Y = C. As, B {B} = C {C}. Por

lo tanto, X,Y D (X 6= Y X Y = ) (probado por contrarrecproco).
120

De (i), (ii) y ACI aplicado a D, existe C conjunto de eleccion para D, es decir, XD !zC (z

X). Por cambio de variable, BP(A)r{} !zC (z B {B}). Luego, definimos F :

P(A) r {} A tal que F (B) = 1 (z) donde z es el u nico z C tal que z B {B}.

Es claro entonces que, si B A es no vaco, entonces F (B) B. Conclumos entonces que

F es una funcion de eleccion para subconjuntos de A.

ACII ACIII Sea R una relacion. Por ACII, existe una funcion de eleccion para subconjuntos

de ranR, es decir, existe F : P(ranR) r {} ranR tal que BranR (B 6= F (B)

B). Dado x domR, es claro que R[{x}] es un subconjunto no vaco de ranR, por lo

cual F (R[{x}]) es un elemento de R[{x}]. Definamos entonces h : domR ranR tal

que h(x) = F (R[{x}]). Dado x domR, como F es una funcion de eleccion, entonces

h(x) R[{x}], es decir, (x, h(x)) R. Por lo tanto, h R, h es funcion y domh = domR.

ACIII ACIV Sea I un conjunto y hHi iiI una sucesion de conjuntos no vacos. Definamos
S
Hi ). Es claro que R es una
R = {(i, y) / i I y Hi } (es conjunto porque R I
iI

relacion y domR I. Mas aun, domR = I. En efecto, si i I, como Hi es no vaco, existe

y Hi , de donde (i, y) Hi y i domR.

Por ACIII existe una funcion h R tal que domh = domR = I. Luego, iI ((i, h(i))
Q
Hi .
R), es decir, dado i I, h(i) Hi . Luego, h = hh(i)iiI es un elemento de
iI

4.1 Ejercicio (ZF). Sea A una familia disjunta.

Pruebe la equivalencia entre las siguientes afirmaciones.
(i) C es conjunto de eleccion para A.

S
(a) Dado un conjunto A existe f : A r {} A
tal que xA (x 6= f (x) x) (aqu f se
llama funcion de eleccion de A)
(b) Toda funcion sobreyectiva tiene inversa a
derecha.

(ii) xA !uC (u x)
4.2 Ejercicio (ZF). Sea R una relacion y h una funcion tal que domh = domR. Pruebe que h R si y
solo si xdomR ((x, h(x)) R).
4.3 Ejercicio (ZF). Sea I un conjunto yQhHi iiI
Hi
una sucesion de conjuntos. Pruebe que
iI

S
I
Hi
iI

4.4 Ejercicio (ZF). Pruebe que ACIV ACI.

4.5 Ejercicio (ZF). Pruebe que las siguientes afirmaciones son equivalentes a AC (cualquiera de las
cuatro versiones de esta seccion).

(c) Dado E conjunto y G E E, existe una funcion h G tal que domh = domG.
(d) Si A es un conjunto, S
/ A y g : A A, entonces existe h : A A tal que xA (h(x)
g(x)).
(e) Dada una funcion f , existe una funcion h f
inyectiva tal que ranh = ranf .
(f) Dado f : A B sobre, existe C A tal que
C B.
(g) Si f : A C, g : B C y rang ranf ,
entonces existe h : B A tal que f h = g.

121

(h) Dada una sucesion hAi iiI , existe J I tal

que {Ai / i J} = {Ai / i I} y i,jI (i 6=
j Ai 6= Aj ).

(e) ACIII cuando domR es finito.

(a) ACI cuando A es finito.

S
(b) ACI cuando A es bien ordenado.

Sugerencia: Para los casos de conjuntos finitos, utilice la induccion del Ejercicio 3.10.

(f) ACIII cuando ranR es bien ordenado.

(g) ACIV cuando I es finito.

4.6 Ejercicio (ZF). Pruebe los siguientes enunciaS
Hi es bien ordenado.
(h) ACIV cuando
dos.
iI

(c) ACII cuando A es bien ordenado.

(d) ACII cuando A es finito.

4.7 Ejercicio. Pruebe que AC equivale

Sa que, dado
un conjunto A, existe una funcion f : A A tal
que zS A (z f (z)).

4.2. Aplicaciones I
4.8 Ejercicio (ZFC). Probar que CH equivale a que, dado X R infinito, |X| = 0 o |X| = 20

4.3. Lema de Zorn

4.4. Aplicaciones II
4.5. Espacios Vectoriales

122