TEORIA DE CONJUNTOS

Por:

D IEGO A LEJANDRO M EJA G UZM AN I

U NIVERSIDAD FACULTAD
DE

DE

A NTIOQUIA
Y

C IENCIAS E XACTAS
DE

NATURALES

D EPARTAMENTO

M ATEM ATICAS

2010

 NDICE I
1.. R ELACIONES
DE

GENERAL

E QUIVALENCIA
DE DE

Y DE

O RDEN

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

5 5 15 26 32 41 41 45 51 62 69 73 73 80 90

1.1. R ELACIONES 1.2. R ELACIONES 1.3. C ONJUNTOS

E QUIVALENCIA

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

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

BIEN ORDENADOS ENTRE

1.4. I SOMORFISMOS

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

2.. L OS N UMEROS NATURALES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1. C ONSTRUCCI ON 2.2. B UEN O RDEN 2.3. T EOREMA
DEL

C ONJUNTO

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

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

DE LA

2.4. O PERACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5. OTROS C ONJUNTOS N UM E RICOS . . . . . . . . . . . . . . . . . . . . . . . . 3.. E QUIPOTENCIA 3.1. C ONJUNTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
FINITOS Y EL

P RINCIPIO

DEL

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

3.2. O PERACIONES 3.3. N UMEROS

Y EQUIPOTENCIA

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

CARDINALES CONTABLES

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

3.4. C ONJUNTOS 4.. E L A XIOMA

DE

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

E LECCI ON E LECCI ON

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

4.1. A XIOMA

DE

4.2. A PLICACIONES I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 4.3. L EMA

DE

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

4.4. A PLICACIONES II

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 m s elementales que a se trabajan en matem ticas. En la primera secci n introducimos la noci n de relaci n de equivaa o o o lencia asociada al concepto de partici n. En la segunda secci n denimos qu es un orden parcial o o e y un orden lineal, adem s que analizamos los elementos distinguidos que se les puede encontrar. a En la tercera secci n introducimos un tipo de orden parcial llamado buen orden, al cual se le puede o asociar la noci n de inducci n. Por ultimo, dedicamos la cuarta secci n al estudio de la relaci n o o o o entre ordenes parciales mediante funciones crecientes e isomorsmos.

1.1. Relaciones de Equivalencia

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

para decir que x y y est n relacionados por R (cuando R es una relaci n). Decimos que R es una a o relaci n en A si R A A (obviamente, R es relaci n seg n esto). Esto quiere decir que R s lo o o u o relaciona elementos de A.

En matem ticas es muy com n denir relaciones en un conjunto a partir de una propiedad, sin a u necesidad de mencionar qu es la relaci n como conjunto. Por ejemplo, denir una relaci n R en R e o o como xRy y x R+ , x, y R

que en R, lo cual se denota por <. As, <= R y claramente es m s pr ctico escribir x < y que a a (x, y) <.

signica que R = {(x, y) R R / y x R+ }. En realidad, R corresponde a la relaci n menor o

Otro ejemplo es la relaci n de divisibilidad en Z, la cual est denida por o a m | n kZ (n = m k), m, n Z.

Formalmente, |= {(m, n) Z Z / kZ (n = m k)}. Claramente, es m s pr ctico dar a entena a der la relaci n mediante su propiedad que desde su denici n formal, pues la primera forma es m s o o a legible y contiene toda la informaci n que se necesita. o En general, dado un conjunto A y una propiedad1 (x, y), para denir una relaci n R en A tal o que xRy (x, y), x, y A

basta indicar que R = {(x, y) A A / (x, y)}. En adelante, para denir una relaci n en un o conjunto determinado, dejamos de indicar la manera formal y optamos solo por dar la propiedad que la dene. Dado un conjunto A denimos la relaci n de identidad en A como o xIA y x = y, Esta relaci n es tambi n la funci n determinada por o e o IA : A A x IA (x) = x. Como ultimo ejemplo, la relaci n en el conjunto A denida por o x y x = x, x, y A x, y A.

tiene la cualidad de que relaciona todos los elementos de A entre s. M s a n, es f cil ver que a u a = A A. 1.1 Denici n. Sea A un conjunto y R una relaci n en A. Denimos: o o (1) R es reexiva en A si xA (xRx). (2) R es sim trica en A si x,yA (xRy yRx). e (3) R es transitiva en A si x,y,zA(xRy yRz xRz).
1

F rmula en el lenguaje de ZF. o

(4) R es una relaci n de equivalencia en A si R es una relaci n en A que es reexiva, sim trica y o o e transitiva en A. 1.2 Ejemplo. (1) Sea M el conjunto de personas en Medelln y sea la relaci n denida por o x y x y y viven en el mismo barrio, relaci n de equivalencia en M . o x, y M

Bajo la id nea suposici n de que una persona de Medelln no vive en barrios distintos, es una o o

(2) La relaci n < en R es transitiva, pero no es reexiva ni sim trica. Por lo tanto, no es una relaci n o e o de equivalencia en R. (3) La relaci n | (divisibilidad) en Z es reexiva y transitiva, pero no es sim trica. Por lo tanto, no o e es relaci n de equivalencia en Z. o (4) Dado un conjunto A, la relaci n IA es de equivalencia en A debido a que o xIA y x = y, x, y A

y = cumple las propiedades de reexividad, simetra y transitividad para todos los conjuntos. (5) es relaci n de equivalencia en A, pues relaciona todos los elementos de A. o (6) Denamos la relaci n 4 en Z como o m 4 n 4 | (m n). Veamos que 4 es una relaci n de equivalencia. En efecto, dados m, n, p Z obtenemos: o Reexividad 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 = 4 | (m p), es decir, m 4 p. 4l. Luego, si sumamos las dos ecuaciones, obtenemos m p = 4(k + l), por lo cual

Una propiedad importante de esta relaci n es que, dados m, n Z, m 4 n si y solo si m y n o dejan el mismo residuo al dividirse por 4. Esta armaci n la tendremos en cuenta m s adelante o a cuando discutamos el concepto de clase de equivalencia. 7

1.3 Denici n. Sea R una relaci n en A. Denimos [a]R = {x A / xRa} para a A, la cual o o conjunto de clases de equivalencia en A (m dulo R). A/R tambi n se suele llamar A partido R. o e Para relaciones de equivalencia, [a]R denota el conjunto de objetos relacionados con a. 1.4 Lema. Sea R una relaci n de equivalencia en el conjunto A. Entonces o (a) aA (a [a]R ). Por lo tanto, las clases de equivalencia en A son no vacas.

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

(b) a,bA (aRb [a]R = [b]R ). Esto indica que dos objetos en A est n relacionados si y solo si a sus clases de equivalencia son iguales. (c) a,bA ([a]R = [b]R [a]R [b]R = ). Esto signica que las clases de equivalencia de A son disjuntas dos a dos. (d)
aA [a]R

= A.

Demostraci n. (a) Dado a A, como aRa por la reexividad de R, entonces a [a]R . o (b) Sean a, b A. Supongamos que aRb y veamos que [a]R = [b]R . Probemos [a]R [b]R . Si es decir, x [b]R . La contenci n [b]R [a]R se sigue de modo similar. o a [b]R y se sigue que aRb. x [a]R entonces x A y xRa. Luego, como aRb por la transitividad de R se sigue que xRb,

Para el recproco, supongamos [a]R = [b]R y veamos que aRb. De (a) se tiene a [a]R , luego (c) Sean a, b A tal que [a]R [b]R = , es decir, que existe un x [a]R [b]R . Veamos que aRb. Luego, de (b) conclumos [a]R = [b]R . [a]R = [b]R . Tenemos que x A, xRa y xRb. Por simetra de R, aRx y, por transitividad,

(d) Como aA ([a]R A), es decir, todas las clases de equivalencia de A son subconjuntos de A, entonces el conjunto que resulta de unirlas est contenido en A, es decir, a Veamos la otra contenci n. Si x A entonces, por (a), x [x]R o
aA [a]R aA [a]R .

A.

cambia el cuanticador, tambi n se cambia el dominio del cuanticador, es decir, en el primer e 8

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

matem ticas. Ocasionalmente aclararemos estos detalles t cnicos. En este caso, aA ([a]R A) a e

En la prueba de hay un detalle formal que est implcito y que, por lo general, no se aclara en a

es el dominio del cuanticador para y. Volviendo al argumento, de yA/R (y A) se sigue que (A/R) A y, claramente, (A/R) =
aA [a]R .

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

El Lema anterior ilustra la forma en que una relaci n de equivalencia divide a un conjunto en sus o clases de equivalencia. Si R es una relaci n de equivalencia en A y a A, [a]R es el subconjunto de o A formado por los objetos que est n relacionados con a. Una forma ver a [a]R es como una especie a 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 est n relacionados. a (c) Dos sectores distintos no tienen miembros en com n. u (d) La uni n de todos los sectores es el conjunto A. Por lo tanto, todo elemento de A est en alg n o a u sector. Esta forma da las siguientes caractersticas a estos sectores, es decir, a las clases de equivalencia: (1) En un sector, todos sus miembros est n relacionados entre s. a (2) Dos miembros de diferentes sectores no est n relacionados (esto se sigue de (b) y (c)). a De esta forma, una relaci n de equivalencia divide al conjunto A en sectores (clases de equivalencia) o en donde los objetos del mismo sector se relacionan y objetos de diferentes sectores no. Este tipo de partici n basta para clasicar una relaci n de equivalencia. Antes, consideremos los siguientes o o ejemplos basados en las relaciones de equivalencia denidas en el Ejemplo 1.2. 1.5 Ejemplo. (1) Sea M y denidos 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 hip tesis de que una persona no viva en dos o barrios distintos) y (d) la uni n de todos los barrios es Medelln (M ). o 9

equivalencia. Adem s, M/ , seg n lo anterior, es el conjunto de todos los barrios de Medelln. a u

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

(2) Dado un conjunto A, si consideramos IA (la relaci n identidad en A) tenemos que, para todo o 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 relaci n divide al conjunto A en sectores donde solo hay un objeto. Luego, A/IA = o {{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 relaci n de equivalencia determina solo un sector, el cual es el conjunto o

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

puede separar el conjunto en m s de un sector tal que no se relacionen los objetos que est n en a a sectores diferentes. Solo puede haber un sector, todo el conjunto. Luego, A/ = {A}. (4) Consideremos 4 denida 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 n meros que dejan residuo 1 al dividir por 4, [2]4 es el conjunto u de n meros que dejan residuo 2 al dividir por 4 y [3]4 es el conjunto de n meros que dejan u u 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 n mero entero es de alguna de las formas 4k, 4k + 1, 4k + 2 o 4k + 3, entonces u 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 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 dividirse por 4). El efecto de la relaci n de equivalencia 4 es, por lo tanto, dividir el conjunto o

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

En general, si R es una relaci n de equivalencia de A, A/R es el conjunto de los sectores en los o que la relaci n divide a A. En general, a cualquier divisi n de un conjunto de sectores le llamaremos o o partici n, lo cual formalizamos a continuaci n. o o 1.6 Denici n (Partici n.). Sea A un conjunto. Decimos que es una partici n de A si cumple o o o las siguientes condiciones. (i) C (C A). (ii) C (C = ). (iii) C,D (C = D C D = ). (iv) = A.

Intuitivamente, una partici n de un conjunto A es un conjunto de sectores no vacos en el cual o se puede dividir A. La denici n anterior da las propiedades que se cumple para dicha partici n: o o (a) Todo sector de la partici n es subconjunto de A. o (b) Todo sector de la partici n es no vaco. o (c) Los sectores de la partici n son disjuntos entre s. o (d) La uni n de los sectores de la partici n es A. o o Notamos que, en el ejemplo anterior, se generaron particiones a partir de una relaci n de equivo alencia, 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 relaci n de equivalencia en A entonces A/R es una o partici n de A. o 11

Demostraci n. Veamos que A/R cumple las condiciones de la Denici n 1.6. o o (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 = ). Con cambio de variable y = [a]R , la armaci n equivale a aA ([a]R = ), o lo cual es cierto por 1.4(a). (iii) y1 ,y2 A/R (y1 = y2 y1 y2 = ). Con el cambio de variable y1 = [a]R y y2 = [b]R , esta armaci n equivale a a,bA ([a]R = [b]R [a]R [b]R = ), lo cual es cierto por 1.4(c). o (A/R) = A. Directo de 1.4(d), pues (A/R) = {[a]R / a A} =
aA [a]R

(iv)

= A.

El Teorema anterior dice que una relaci n de equivalencia induce una partici n. La situaci n o o o recproca tambi n se cumple, toda partici n induce una relaci n de equivalencia, lo cual expon e o o dremos en lo que resta de esta secci n. El proceso de pasar de una relaci n de equivalencia a una o o partici n es el proceso inverso de pasar de una partici n a una relaci n de equivalencia (ver Ejero o o cicio 1.11). Por lo tanto, los conceptos de relaci n de equivalencia y de partici n son, en esencia, o o equivalentes, pues tiene el mismo efecto sobre un conjunto. 1.8 Lema. Sea f : A B una funci n. Denimos la siguiente relaci n en A: o o x f y f (x) = f (y) x, y A. Entonces: (a) f es una relaci n de equivalencia en A. o (b) Dado a A, [a]f = {x A / f (x) = f (a)}, es decir, [a]f = f 1 [{f (a)}]. Dada una partici n de un conjunto A, como esta representa una divisi n del conjunto en sectores o o disjuntos, todo elemento de A pertenece a un unico sector de la partici n. Este hecho se puede o describir mediante la funci n denida en el siguiente resultado. o 1.9 Lema. Sea una partici n del conjunto A. Entonces aA !C (a C). Este hecho permite o

construir una funci n sobreyectiva f : A tal que f (a) es el unico elemento de al cual a o le pertenece.

12

a C1 y a C2 . Luego, C1 C2 = y, por Denici n 1.6(3) se sigue C1 = C2 . o

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

Demostraci n. Sea a A. Como A = o

(Denici n 1.6(4)), entonces existe un C tal que o

f (a) es el unico C tal que a C. Veamos que esta funci n f es sobreyectiva. En efecto, si o por lo cual a A y C = f (a) por denici n de f . o

De este resultado de existencia unica se puede denir la funci n f : A tal que, dado a A, o

C entonces, por Denici n 1.6(2), C = , por lo cual existe un a C. Por 1.6(1), C A, o 1.10 Teorema. Sea una partici n del conjunto A y f la funci n denida en el Lema 1.9. Eno o tonces R =f es una relaci n de equivalencia en A tal que A/R = . o Demostraci n. Del Lema 1.8 es claro que R es una relaci n de equivalencia en A, as que falta o o 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 = f ), entonces x f (a); recprocamente, si x f (a), como f : A entonces f (a) {x A / f (x) = f (a)}. Si x [a]R entonces f (x) = f (a) y, como x f (x) (denici n de o

y, como f (x) es el unico elemento de al cual le pertenece x, por unicidad se sigue que f (x) = Por lo tanto, A/R = {[a]R / a A} = {f (a) / a A} = (la ultima igualdad se sigue de que
1.1 Ejercicio. Sea A un conjunto. Indique a qu conjunto es igual la relaci n R denida por e o xRy x = x x, y A.

f (a), es decir, x [a]R .

f es sobreyectiva por Lema 1.9).

Adem s, indique c mo debe ser A para que R sea una relaci n de equivalencia. a o o 1.2 Ejercicio. Sea R una relaci n en A. Probar que R es una relaci n de equivalencia en A si y solo si o o domR = A y R = R1 R. 1.3 Ejercicio. Sea A un conjunto y R = tal que RR (R es rel. de eqv. en A). Entonces de equivalencia en A y aA ([a] R = RR [a]R ). 1.4 Ejercicio. Probar el Lema 1.8. Adem s, pruebe: a (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 funci n est bien denida: f : A/ f B tal que f (y) = f (a), donde a es o a alg n elemento de A tal que y = [a]f . Adem s, pruebe que f es inyectiva. u a o (d) Pruebe que existe una unica funci n inyectiva g : A/ f B tal que g = f . Sugerencia: Pruebe que cualquier g que cumpla este enunciado es igual a f . R es relaci n o

13

1.5 Ejercicio. Sea R una relaci n de equivalencia en A y : A A/R denida por (a) = [a]R . Pruebe o que = R. 1.6 Ejercicio. Sea f : A B y S una relaci n de equivalencia en B. Dena la relaci n R en A como o o xRy f (x)Sf (y), Pruebe que: (a) R es una relaci n de equivalencia en A. o (b) aA [a]R = f 1 [[f (a)]S ] . (c) Si S = IB , pruebe que R =f (f denido en el Lema 1.8). 1.7 Ejercicio. Pruebe que la condici n (1) de la Denici n 1.6 es redundante (es decir, se prueba de (2), (3) o o y (4)). 1.8 Ejercicio. Si P es partici n de A y Q es partici n en B, entonces: o o (a) Si A B = entonces P Q es partici n de A B. o (b) H = {C D / C P

x, y A.

D Q} es partici n de A B. o

1.9 Ejercicio. Sea una partici n del conjunto A. Denamos la relaci n en A como o o a b C (a C

b C),

a, b A.

Pruebe que es igual a la relaci n de equivalencia denida en el Teorema 1.10. o 1.10 Ejercicio. Sea R una relaci n de equivalencia en A y sea = A/R. Al denir f como en el Lema o 1.9, probar que: (a) aA (f (a) = [a]R ). (b) = R, donde es la relaci n denida en el Ejercicio anterior. o 1.11 Ejercicio. Sea A un conjunto. Denamos R = {R A A / R rel. de eqv. en A} P = { / es partici n de A} . o Pruebe que (a) R y P son conjuntos. (b) Denamos las funciones F: R P R F(R) = A/R G: P R 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 n meros reales poseen una estructura que permite saber cu ndo un u a n mero es menor que otro. Este tipo de estructura se conoce como orden, puesto que permite oru denar los n meros de menor a mayor. En esta secci n denimos lo que signica un orden para u o cualquier tipo de conjunto, adem s que introducimos los tipos de orden b sicos. a a 2.1 Denici n (Orden parcial). Sea A un conjunto y R una relaci n en A. o o (1) R es antisim trica en A si x,yA (xRy yRx x = y). e (2) R es un orden parcial en A si R es reexiva, antisim trica y transitiva en A. Este concepto e tambi n se lee como A, R es un C.P.O (conjunto parcialmente ordenado) o A, R es un o.p. e (orden parcial). 2.2 Ejemplo. (1) La relaci n es un orden parcial en R. o (2) La relaci n de divisibilidad | no es un orden parcial en Z. Sabemos que es reexiva y transitiva, o pero no es antisim trica, pues 1 | 1, 1 | 1, pero 1 = 1. e (3) La relaci n de divisibilidad | es un orden parcial en Z+ {0}, pues la antisimetra se cumple o para los enteros no negativos. (4) La relaci n es una relaci n de orden en cualquier conjunto A. En t rminos estrictos, se dene o o e x A y x y, x, y A

y esta relaci n A determina un orden parcial en A. Como dicha relaci n tiene el mismo sigo o hablar de la contenci n como un orden parcial en A. o

nicado de , s lo que restringido al conjunto A, no es necesario se alar el subndice A para o n

De los ejemplos anteriores se inere que una relaci n de orden parcial se comporta como un o menor o igual. El siguiente concepto se relaciona con el concepto de menor (estricto). 2.3 Denici n (Orden parcial estricto). Sea S una relaci n en A. o o (1) S es irreexiva en A si xA (xSx). (2) S es asim trica en A si x,yA (xSy (ySx)). e 15

(3) S es un orden parcial estricto en A si S es irreexiva y transitiva en A. Este concepto tambi n e se lee como A, S es un o.p.e. (orden parcial estricto). Una propiedad importante sobre ordenes parciales estrictos es que tambi n satisfacen asimetra. De e hecho, si S es transitiva en A, entonces S es irreexiva si y solo si S es asim trica. e 2.4 Ejemplo. (1) La relaci n < es un orden parcial estricto en R. o (2) Denamos la siguiente relaci n en Z+ {0}: o mSn m | n m = n, m, n Z+ {0}.

Esta es una relaci n de orden parcial estricto en Z+ {0} (lo cual es consecuencia directa del o Lema 2.5). (3) La relaci n o dene
A

es un orden parcial estricto en cualquier conjunto A. Como en el Ejemplo 2.4, se al conjunto A, pero el subndice no es esencial para trabajar

como la restricci n de o

dicha relaci n. o N tese que los ordenes parciales estrictos del ejemplo anterior est n asociados a los ordenes o a 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 justica en el siguiente resultado. 2.5 Lema. Sea A un conjunto. (a) Sea R un orden parcial en A y SR la siguiente relaci n en A: o xSR y xRy x = y, Entonces A, SR es un o.p.e.. (b) Sea S un orden parcial estricto en A y RS la siguiente relaci n en A: o xRS y xSy x = y, Entonces A, RS es un C.P.O.. Demostraci n. (a) SR es irreexiva. Dado x A, como x = x es cierto, entonces xRx x = x o es falso, es decir, (xSR x). x, y A. x, y A.

16

SR es transitiva. Sean x, y, z A tal que xSR y y ySR z, es decir, xRy, yRz, x = y y y = z. Se sigue que xRz por la transitividad de R. Para probar xSR z falta ver que x = 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 contradicci n. o (b) RS es reexiva. Dado x A, como x = x se sigue xRS x. RS es antisim trica. Dado x, y A tenemos e xRS y yRS x (xSy x = y) (ySx x = y) (xSy ySx) x = y x = y. Para la ultima 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 ultimo caso x = z, lo cual permite concluir que xRS z.

2.6 Observaci n. El Lema anterior asegura el comportamiento de un orden parcial como un y o de un orden parcial estricto como un <, adem s que cada orden parcial se asocia a uno estricto y a 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 notaci n: o 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 notaci n, el Lema anterior expresa que o x <A y x A y x = y x A y x <A y x = y

x, y A.

Tmabi n adoptamos la notaci n tradicional de y A x por x A y y y >A x por x <A y. Cuando e o no hay lugar a confusi n, escribimos las desigualdades sin subndices. Para m s evidencia sobre o a esta notaci n, ver los Ejercicios 1.14, 1.15 y 1.16. o 2.7 Denici n. Sea A, un C.P.O. 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, adem s de ilustrar los conceptos de la Denici n anterior, introducia o mos la forma de dibujar el grafo de un orden parcial. Estos proveen, de manera m s did ctica, la a a informaci n completa de un orden parcial sin necesidad de ir a su denici n. o o 2.8 Ejemplo (Grafo de un orden parcial). (1) Sea A = {, {0}, {1}, {0, 1}, {1, 2}, {3, 4}} orde-

nado por contenci n. El grafo del orden parcial A, consiste en colocar los elementos de A o 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:
{0, 1} {0} {1} {1, 2} {3, 4}

Ac se nota que es menor que todos los dem s elementos, {0} {0, 1}, {0} y {1} no a a

subconjuntos C1 = {, {0, 1}}, C2 = , C3 = {{0}, {0, 1}}, C4 = {, {0}, {0, 1}} y {{0}, {3, 4}} y A son ejemplos de subconjuntos de A que no son cadenas. C5 = {{3, 4}} son ejemplos de cadenas en A, mientras que C6 = {, {0}, {1}, {0, 1}}, C7 =

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

(2) Hay ciertos ordenes parciales los cuales son m s practico denirlos y analizarlos desde su gr a a ca que desde su denici n. El siguiente grafo ilustra un orden parcial. o
f

A,
e

d b a h

18

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

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

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 pr ctica para denir el orden parcial del grafo, pues provee muy poca ina formaci n acerca del mismo. El gr co basta para denir el orden parcial y determinar sus o a propiedades. Por ejemplo, h no es comparable con ning n otro elemento de A y los objetos u 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 R, 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 gr co de R, , el a R cual es, como se conoce, una lnea recta.
0

no comparables con g son precisamente f y h. Los subconjuntos C1 = {a, c, f }, C2 = {h},

El ejemplo anterior ilustra qu signica, intuitivamente, ser una cadena: n tese que los subcone o juntos que son cadenas se pueden dibujar como una sola lnea (o curva), mientras que los subcon juntos que no son cadenas se tienden a ramicar en alguna parte y dejan de ser una sola lnea (o curva). Por eso es que en (1) y (2) el gr fo del orden parcial es ramicado, porque no son cadenas, a mientras que en (3) la gr ca es una lnea recta porque se trata de la cadena R. Esta aclaraci n a o advierte sobre algunas propiedades especcas que no se cumplen en todos los ordenes parciales, como (x y) y < x. Esta armaci n es cierta en R, pero no es cierta en los ordenes parciales o de (1) y (2), pues {0} {1} y {1} {0}, y (h g) y (g < h). Esto se debe a que dichos ordenes paciales contienen elementos no comparables, los cuales hacen dicha implicaci n falsa. o Dentro de los ordenes parciales se destacan aquellos en donde todos sus elementos son comparables, es decir, aquellos que se pueden gracar como una lnea recta. 2.9 Denici n (Orden total (lineal)). (a) A, A es un C.T.O. (conjunto totalmente ordenado) si o es un C.P.O. que es una cadena. Esto signica que todos sus elementos son comparables, es decir, x,yA (x A

y A x). Esto tambi n se lee como A, A es un orden lineal. e 19

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

(c) A, <A es un orden total (lineal) estricto si <A es transitiva y cumple tricotoma. Es f cil notar que todo orden lineal estricto es un o.p.e.. De la misma forma en que se relacionan a 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 A, A es un C.T.O. entonces A, <A es un orden total estricto. (b) Si A, <A es un orden total estricto, entonces A, A es un C.T.O.. Demostraci n. (a) Si A, A es un C.T.O. del Lema 2.5 es claro que A, <A es un o.p.e., as que o solo falta ver que cumple tricotoma. Dados x, y A, como los elementos de A son compara puede dar una sola de estas tres condiciones, pues de darse dos simultaneamente se contradice la irreexividad y la asimetra. (b) Si A, <A es un orden total estricto entonces es un o.p.e. y, por Lema 2.5, A, A es un C.P.O.. por tricotoma, x <A y x = y y <A x, lo cual implica claramente que x A y y A x. Veamos ahora que todos los elementos de A son comparables entre s. Dados x, y A se tiene, bles, entonces x A y y A x, es decir, x <A y x = y y <A x. Es claro que solo se

Luego de conocer las propiedades estructurales de un orden parcial (y lineal) en general, denamos algunos de los elementos destacados que pueden contener. 2.11 Denici n. Sea A, un C.P.O.. 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 m ximo de A si M A y xA (x M ). a (4) N es un mnimo de A si N A y xA (N x). 20

Hay una distinci n fundamental entre lo que signica ser maximal y m ximo. En el primer caso o a 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 est por encima de todos los elementos de A, lo cual no necesariamente cumple a un maximal. Se d una situaci n similar al comparar el concepto de minimal con mnimo. Es claro a o tambi n que todo m ximo es maximal y que todo mnimo es minimal, pero el caso recproco no e a siempre es cierto, como se ilustra en los siguientes ejemplos. 2.12 Ejemplo. (1) Retomemos el orden parcial denido en el Ejemplo 2.8(1). Este no tiene elementos m ximos, pero {0, 1}, {1, 2} y {3, 4} son sus elementos maximales. Su unico mnimo, a a la vez minimal, es . (2) El orden parcial del Ejemplo 2.8(2) no tiene m ximos ni mnimos, sus minimales son a y h y a sus maximales son f , g y h. (3) El conjunto de los n meros naturales2 no tiene m ximos ni maximales, y su unico minimal, el u a cual es mnimo, es 0. (4) R, con el orden usual, no tiene maximales, minimales, m ximos ni mnimos. a Algunos textos denen maximal y minimal de otra forma, la cual es equivalente a la que presenn es un elemento minimal de A si y solo si n A y xA (x n x = n). A lo largo del texto, usaremos tambi n esta denici n alternativa. e o En los ejemplos anteriores se nota que el mnimo siempre es unico, lo cual se garantiza en el siguiente resultado. 2.13 Lema. Sea A, un C.P.O.. (a) Si A tiene un m ximo (resp. mnimo), este es unico. Por lo tanto, denotamos por mx A el a a m ximo de A y por m A el mnimo de A. a n (b) Si existe mx A (resp. m A), entonces este es el unico elemento maximal (resp. minimal) de a n A. Demostraci n. La prueba para la situaci n maximo-maximal es an loga para la situaci n mnimoo o a o minimal, por lo cual probaremos solo una situaci n en cada caso. o
En el captulo 2 vamos a denir el conjunto de los n meros naturales desde 0. En muchos textos, los n meros u u naturales comienzan desde 1.
2

tamos en la Denici n anterior: m es maximal en A si y solo si m A y xA (m x m = x); o

21

(a) Supongamos que M1 y M2 son m ximos de A, es decir, M1 , M2 A, xA (x M1 ) y a xA (x M2 ). En la primera situaci n se sigue M2 M1 y en la segunda M2 M1 , por lo o cual M1 = M2 .

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

x m n(A), como m A x por antisimetra se sigue x = m A. Para la unicidad, si n n n m A n, de lo anterior se sigue que m A = n. n n

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

2.14 Denici n (Cotas). Sea A, un C.P.O., B A. o (1) m es cota superior de B (respecto a A) sii m A xB (x m). Intuitivamente, una cota a superior de B es un elemento en A (no necesariamente en B) que est 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 a inferior de B es un elemento en A (no necesariamente en B) que est por debajo de todos los elementos de B. (3) El supremo de B (respecto a A) se dene como sup B = m {m A / m cota sup. de B} (en n caso de que dicho mnimo exista). (4) El nmo de B (respecto a A) se dene como B = mx {m A / m cota inf. de B} (en nf a caso de que dicho m ximo exista). a 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 = m n[1, +) = 1 y B1 = mx(, 0] = 0. Adem s, B1 no tiene m ximo, pero tiene mnimo el cual coincide nf a a a con B1 . nf R

0 Con B2 =
1 n

lo tanto, no tiene supremo. Sus cotas inferiores forman el conjunto (, 0] y as, B2 = nf mx(, 0] = 0. Note que B2 no tiene m ximo ni mnimo. a a 22

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

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

...

Consideremos B3 = q Q / q 2 < 2 . Para n meros reales sabemos que x2 < 2 si y solo si u 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 B3 = 2. Note que B3 no tiene m ximo ni mnimo. nf a (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 m ximo a en Q, por lo cual B3 , aunque es un conjunto con cotas inferiores y superiores, no tiene supremo ni nmo. Una propiedad caracterstica de los n meros reales es su completez: todo subconjunto de R u que tenga cota superior tambi n tiene supremo3 . Esta armaci n es lo que hace que R tenga m s e o a 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 nmo) respecto a R, no tiene supremo (ni nmo) 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 nmo en un orden parcial. 2.16 Lema. Sea A, 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 = B si y solo si nf (i) l es cota inferior de B. (ii) nA (n cota inferior de B n l). (c) Si existe mx B (resp. m A) entonces B tiene supremo (resp. nmo) y sup B = mx B (resp. a n a B = m B). nf n
3

11 1 54 3

1 2

Esto equivale a que todo subconjunto de R que tenga cota inferior tambi n tiene nmo. e

23

Demostraci n. (a) Denotemos por (B) = {m A / m cota sup. de B}. s = sup B equivale o conjunci n de (i) y (ii). o

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

(b) Razonamiento an logo al anterior, pero con (B) = {m A / m cota inf. de B}. a (c) Supongamos que existe mx B, al cual llamaremos M . Veamos, seg n (a), que M es el supremo a u de B. De la denici n de m ximo se sigue directamente que M es cota superior de B. Ahora, o a La situaci n para el mnimo-nmo se prueba de forma similar. o si m A es cota superior de B, como M B (al ser el m ximo de B) entonces M m. a

1.12 Ejercicio. Sea S una relaci n transitiva en A. Pruebe que S es irreexiva si y solo si S es asim trica. o e 1.13 Ejercicio. Sea A un conjunto. Pruebe que (a) R es una relaci n en A si y solo si R1 es una relaci n en A. o o (b) R es una relaci n de equivalencia en A si y solo si R1 es una relaci n de equivalencia en A. Adem s, o o a cuando R es una relaci n de equivalencia en A, R1 = R. o (c) R es un orden parcial en A si y solo si R1 tambi n lo es. e (d) S es un orden parcial estricto en A si y solo si S 1 tambi n lo es. e (e) R es un orden total en A si y solo si R1 tambi n lo es. e (f) S es un orden total estricto en A si y solo si S 1 tambi n lo es. e (g) Si denotamos R =A , qu representa R1 ? Responda la misma pregunta con R =<A . e 1.14 Ejercicio. Sea A, R un C.P.O.. Del Lema 2.5 se dene el orden parcial estricto SR al aplicar (a). Luego, si aplicamos (b) a la relaci n SR obtenemos un orden parcial RSR . Pruebe que RSR = R. o 1.15 Ejercicio. Sea A, S un o.p.e.. Del Lema 2.5 se dene el orden parcial RS al aplicar (b). Luego, si aplicamos (a) a la relaci n RS obtenemos un orden parcial estricto SRS . Pruebe que SRS = S. o 1.16 Ejercicio. Sea A un conjunto, R = {R A A / A, R es o.p.} y E = {S A A / A, S es o.p.e.}. Seg n la notaci n del Lema 2.5, dena las siguientes funciones u o F: R E R F(R) = SR G: E R S 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 tambi n son cadenas. e 1.18 Ejercicio. Sea A, un C.P.O.. Pruebe que las siguientes armaciones son equivalentes para x, y A. (i) x y y son comparables. (ii) Se cumple s lo una de las siguientes condiciones: x < y, x = y o y < x. o (iii) (x < y) y x.

24

(iv) (x y) y < x. 1.19 Ejercicio. Sea S una relaci n en A. Pruebe que si S cumple tricotoma entonces es irreexiva y asim trio e ca. Adem s, de un ejemplo de una relaci n S que cumpla tricotoma y no sea transitiva. a o 1.20 Ejercicio. Sea A, 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 A, es un C.T.O., entonces las nociones de maximal y m ximo son equivalentes, lo mismo con a minimal y mnimo. 1.21 Ejercicio. Sea R una relaci n en A, B A. Dena R|B = R (B B). Pruebe: o (a) R|B es una relaci n en B. Adem s, x,yB (xR|B y xRy). o a (b) Si R es reexiva en A, entonces R|B es reexiva en B. (c) Si R es ireexiva en A, entonces R|B es ireexiva en B. (d) Si R es sim trica en A, entonces R|B es sim trica en B. e e (e) Si R es asim trica en A, entonces R|B es asim trica en B. e e (f) Si R es antisim trica en A, entonces R|B es antisim trica en B. e e (g) Si R es transitiva en A, entonces R|B es transitiva en B. (h) Si R es relaci n de equivalencia en A, entonces R|B es relaci n de equivalencia en B. o o (i) Si A, R es C.P.O., entonces B, R|B es C.P.O.. (j) Si A, R es C.T.O., entonces B, R|B es C.T.O.. 1.22 Ejercicio. Sea A, un C.P.O., B A. Pruebe que: (a) Si m A es cota superior de B y m B, entonces m = mx B = sup B. a (b) Si n A es cota inferior de B y n B, entonces n = m B = nf B. n 1.23 Ejercicio. Sea A, un C.P.O.. Pruebe que: (a) No existen m ni mx . n a (b) Cualquier elemento de A es cota inferior y superior de . (c) Si existe m A, entonces sup = m A. n n (d) Si existe mx A, entonces nf = mx A. a a 1.24 Ejercicio. Sea A, R un C.P.O.. Para denir elementos comparables, cadena, maximal, minimal, m xia mo, mnimo, cota superior, cota inferior, supremo e inmo respecto a A, R , basta reemplazar R por y SR por < en las respectivas deniciones. (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 m ximal (resp. minimal) bajo la relaci n R si y solo si a es minimal (resp. a o maximal) bajo la relaci n R1 . o

25

(d) Sea B A y m A. Probar que m es cota superior (resp. inferior) de B bajo la relaci n R si y solo si o m es cota inferior (resp. superior) de B bajo la relaci n R1 . o (e) Del ejercicio anterior, probar que m = sup B (resp. = B) bajo la relaci n R si y solo si m = B nf o nf (resp. = sup B) bajo la relaci n R1 . o 1.25 Ejercicio. Denotemos N = Z+ {0}. Considere P(N) ordenado por contenci n. Halle los elementos o maximales, minimales, cotas superiores, cotas inferiores, m ximo, mnimo, supremo e nmo (en caso de a que existan) de los siguientes subconjuntos de P (N). (a) B1 = P(N). (b) B2 = {X N / X es nito}. (c) B3 = {X N / t(X) X}. Para X N, cuando X es nito, t(X) es el n mero de elementos de X. u Cuando X es innito, t(X) = 1. 1.26 Ejercicio. Sea A, 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 an logo con nmos y ). a 1.27 Ejercicio. Sea A ordenado por y B A. Probar: (a) Si B A entonces sup B = A A entonces nf = B. B. A. (b) Si B = y (c) Si B A entonces B = nf

(d) Si A entonces sup = .

1.3. Conjuntos bien ordenados

En esta secci n introducimos los conceptos de segmento inicial y secci n de un orden paro o cial. Tambi n denimos un tipo especial de orden parcial llamado buen orden que cumple muchas e propiedades especcas, en particular, el principio de inducci n de los n meros naturales. o u 3.1 Denici n. Sea A, un C.P.O.. Denimos o (1) Sa (A, ) = {x A / x < a} se llama segmento inicial de a (respecto a A, ). Cuando A, ) es un subconjunto de A del tipo Sa para alg n a A. u

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

(2) B es una secci n (en A, ) sii B A y xA yB (x y x B). o 26

Un segmento inicial Sa representa el conjunto de objetos que est n por debajo (estrictamente) a de a. Una secci n es un subconjunto de un orden parcial tal que todos los objetos menores que un o elemento del conjunto tambi n est n en el conjunto (ver Ejercicio 1.30). e a 3.2 Ejemplo. (1) Consideremos R ordenado de la forma usual. Dado a R es claro que Sa = (, +) son secciones en R que no son segmentos iniciales. Se puede demostrar (a nivel de topologa) que cualquier secci n en R es del tipo de los intervalos mencionados anteriormente, o 3 < 4 y 3 (3, 9). / o junto con . El intervalo (3, 9) no es secci n, tampoco un segmento inicial, pues 4 (3, 9),

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

(2) Consideremos Z+ {0} ordenado de la forma usual. S0 = , Sn = {0, . . . , n 1} que a su vez (ver Teorema 3.6). e (3) Dado un orden parcial A, , A es una secci n que no es segmento inicial. tambi n es o secci n, pero s lo es segmento inicial cuando A tiene un elemento minimal (ver Ejercicio 1.28). o o

tambi n son secciones. La unica secci n que no es un segmento inicial es el mismo Z+ {0} e o

Seg n el Ejercicio 1.28, todo segmento inicial es una secci n, pero el recproco no es cierto, u o como se muestra en el ejemplo anterior. A continuaci n discutimos un tipo de orden parcial que es fundamental en la Teora de Conjuno tos, 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 inducci n. o 3.3 Denici n (Buen Orden). A, es un C.B.O. (conjunto bien ordenado) si y solo si o (i) A, es un C.P.O., (ii) Propiedad del buen orden. Todo subconjunto no vaco de A tiene mnimo. Como f rmula o del lenguaje de ZF, esto se escribe como BA [B = mB xB (m x)]. Tambi n decimos que A, es un b.o. (buen orden) o que ordena bien a A. e 3.4 Lema. Todo C.B.O. es C.T.O.. 27

Demostraci n. Sea A, un buen orden. Si x, y A entonces {x, y} es un subconjunto no vaco o 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 orden. En general, cualquier subconjunto de Z que tenga mnimo est bien ordenado. a

de A. De la propiedad del buen orden se sigue que existe m = m n{x, y}. Por lo tanto, m = x

do construyamos el conjunto de los n meros naturales, demostraremos su propiedad del buen u

(2) Z, con el orden usual, no es buen orden, pues el mismo conjunto es no vaco y no tiene mnimo. (3) Consideremos el conjunto M = {0} M tiene mnimo, el subconjunto
1 n 1 1 M = {0, . . . , 4 , 3 , 1 , 1}. 2
||| || | | ||| | | | | | | | | |

1 n

/ n Z+ es no vaco y no tiene mnimo. Por extensi n, o

/ n Z+ . Este no es un buen orden, pues aunque

0 (4) El conjunto A =
n1 n

1 5

1 4

1 3 2n1 n

1 2

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

/ n Z+

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

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 A, 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 secci n en A si y solo si B = A o aA (B = Sa ). o Demostraci n. Sea B A una secci n tal que B = A. Veamos que B es un segmento inicial. La o o intenci n en esta demostraci n es tomar el menor elemento que no est en B (el cual existe por la o o a B es no vaco, propiedad del buen orden y porque B = A), de modo que todos los elementos menores que el est n e en B y, como B es secci n, es el segmento inicial de dicho mnimo. Como T = A o por la propiedad del buen orden se sigue que existe a = m T . Veamos que B = Sa por doble n contenci n. Si x B entonces (a x), pues si a x entonces, como B es secci n, se sigue que o o a B, lo cual es imposible porque a = m n(A 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 m T . Por lo tanto, x B. n 1.28). En el Ejercicio 1.39 se propone un recproco para el resultado anterior. Dos de las propiedades m s importantes que satisface el conjunto de los n meros naturales a u son el principio del buen orden y el principio de inducci n. Una de las m ltiples formas en que se o u enuncia el principio de inducci n en los naturales es: dada una f rmula (x), si para un n se supone o o que todos los n meros menores que el satisfacen (x) y se prueba (n), se concluye que todos los u naturales satisfacen (x). Lo anterior, como f rmula de ZF, se entiende como que la f rmula o o n k<n(k) (n) El recproco del Teorema es directo de que A y los segmentos iniciales son secciones (Ejercicio

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) (restringiendo todos los cuanticadores al conjunto de n meros naturales). Si llau

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 notaci n, el principio de inducci n se o o puede enunciar en el lenguaje de ordenes parciales y, precisamente, es una propiedad que cumplen los conjuntos bien ordenados. En realidad, el principio del buen orden y el de inducci n son equivalentes para cualquier orden o lineal. En el siguiente Teorema probamos que todo buen orden cumple el principio de inducci n, el o recproco se propone en el Ejercicio 1.35. 3.7 Teorema (Inducci n generalizada en C.B.O.s). Sea A, un C.B.O., T A. Si o aA (Sa T a T ) entonces T = A. 29

Demostraci n. Supongamos, por reducci n al absurdo, que T = A. Luego, B = A o o

T es no

a = m B. n

Sa T . Por la hip tesis de este Teorema se sigue a T , es decir, a B, lo cual contradice que o / 3.8 Corolario. Sea A, un C.B.O. y (x) una f rmula de ZF. Si o aA entonces aA (a). Demostraci n. Directo de 3.7 aplicado a T = {x A / (x)}. o hip tesis inductiva ( xA (x < a (x)), seg n el caso), pues desde esta se busca probar a T o o u ( (a)) para, de este modo, conclur que T = A ( aT (a)). o o Cuando se usa el principio de inducci n para buenos ordenes, la hip tesis Sa T se llama o o xA (x < a (x)) (a)

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

vaco y, por la propiedad del buen orden, tiene mnimo, sea este a = m B. Si x Sa , es decir, n

El conjunto de n meros naturales tambi n satisface una propiedad conocida como recursi n u e o (ver captulo 2). Este principio puede adaptarse al lenguaje de ordenes parciales y se puede probar que equivale a los principios de buen orden y al de inducci n para conjuntos linealmente ordenados. o Dicha tarea no se llevar a cabo en este texto. a
1.28 Ejercicio. Sea A, un C.P.O.. Pruebe que (a) Todo segmento incial en A es una secci n. o (b) Dado a A, Sa = {x A / x a} es secci n en A. o (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 A, 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 A, un C.P.O., B A. Pruebe que las siguientes armaciones son equivalentes: (i) B es secci n en A. o (ii) xA yB (x < y x B). (iii) bB (Sb B).

30

1.31 Ejercicio. Sea A, un C.P.O. Si B es un conjunto de secciones de A, entonces ultimo caso cuando B = ) son secciones de A.

By

B (este

1.32 Ejercicio. Dado un C.B.O. A, , si B A entonces B, 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 A, un C.T.O. (a) Si A = {B A / B seccion de A} entonces A, es un C.T.O.. (b) Todo subconjunto de A tiene supremo e nmo. (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. A, y a A, decimos que b A es sucesor inmediato de a si y solo si a < b y cA (a < c < b) (tambi n se tiene una denici n an loga para predecesor inmediato). Probar: e o a a. Si A, es un C.T.O. y a A tiene un sucesor (resp. predecesor) inmediato, este es unico. b. De un ejemplo de un C.T.O. cuyos elementos no tienen sucesor ni predecesor inmediatos. c. Si A, es un C.B.O. y a A no es m ximo, entonces a tiene un unico sucesor inmediato. Sugerencia: a Tome b = m {x A / a < x}. n d. D un ejemplo de un C.B.O. donde haya un elemento diferente del mnimo que no tenga predecesor e inmediato. 1.35 Ejercicio. Sea A, un C.T.O. que satisface el principio de inducci n, es decir, o T A (aA (Sa T )) a T T = A . Pruebe que A, es un C.B.O.. Sugerencia: Suponga que B A no tiene mnimo, tome T = A pruebe por inducci n que T = A. Con esto se prueba el recproco del principio del buen orden. o 1.36 Ejercicio. Llenar los detalles de la prueba del Corolario 3.8. 1.37 Ejercicio. Sean A, A y B, B C.P.O.s tal que A B = . Dena la siguiente relaci n de orden o para A B: x y (x, y A x A y) (x, y B (b) Pruebe que A B, es un C.P.O.. (c) x < y (x, y A x <A y) (x, y B

By

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. x <B y) (x A y B) para x, y A B.

(d) Indique a qu es igual Sc (A B, ) para c A B. e (e) Si adem s A, A y B, B son C.T.O., entonces tambi n lo es A B, . a e (f) Si adem s A, A y B, B son C.B.O., entonces tambi n lo es A B, . Sugerencia: Para probar a e la propiedad del buen orden, considere C A B no vaco. Si C A = pruebe que m A (C A) n es el mnimo de C respecto a A B. De lo contario, se tiene C B y as m B (C) es el mnimo de C n respecto a A B.

31

1.38 Ejercicio. Sean A, A y B, B C.P.O.s. Dena la siguiente relaci n de orden para A B: o (a, b) (c, d) (a <A c) (a = c b B d) Dicho orden se conoce como el orden lexicogr co de A B. a (a) Interprete el orden lexicogr co de A B para A = B = {1, 2, 3} con el orden usual. a (b) Pruebe que A B, 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 qu es igual S(c,d) (A B, ) para (c, d) A B. e (e) Si adem s A, A y B, B son C.T.O., entonces tambi n lo es A B, . a e (f) Si adem s A, A y B, B son C.B.O., entonces tambi n lo es A B, . Sugerencia: Para proa e bar la propiedad del buen orden, considere S A B no vaco, tome a = m A (domS), b = n m B {y B / (a, y) S} y pruebe que (a, b) es el mnimo de S respecto a A B. n 1.39 Ejercicio. Pruebe que si A, A es un C.T.O. tal que sus secciones son precisamente A y sus segmentos iniciales (propiedad del Teorema 3.6), entonces A, A es un C.B.O.. Sugerencia: Pruebe que A, A satisface inducci n. En medio de la prueba, considere B como el conjunto de secciones contenidas en T . Por o el Ejercicio 1.31, B es una secci n contenida en T . De la hip tesis, B es A o es un segmento inicial. o o Basta ver que el ultimo caso no es posible. (a, b), (c, d) A B.

1.4. Isomorsmos entre Ordenes Parciales

Las propiedades de un orden parcial no dependen de sus elementos especcamentes, sino de su estructura. Por ejemplo, A =
n1 n 1 / n Z+ , B = n / n Z+ y P denotado como el

conjunto de n meros pares positivos, ordenados de la forma usual, son conjuntos que tienen distintos u elementos y, sin embargo, sus ordenes poseen la misma estructura de Z+ .

1
|

6
|

7
|

8
| | | | | | | ||| || | | |||| |

0
|

1 2

2 3

3 4

4 5

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

1
| | | | |

1 2
| |

1 3 1 1 4 5
| | |

10

12

14

16

Estos ordenes parciales se relacionan mediante las siguientes funciones f : Z+ A n f (n) =

n1 n

g : Z+ B 1 n g(n) = n 32

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

N tese que las tres funciones son biyectivas y, adem s, se cumple o a 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 signica 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 est n bien ordenados y que no tienen m ximo, entre otras. Las funciones biyectivas que preservan a a el orden entre estos conjuntos se llaman isomorsmos y, en consecuencia, decimos que los cuatro conjuntos son isomorfos, es decir, tienen la misma estructura de orden. El objetivo de esta secci n es denir la noci n de isomorsmo y dar resultados (y ejercicios) o o que den evidencia del hecho que dos ordenes parciales isomorfos cumplen las mismas propiedades de orden4 . 4.1 Denici n. Sean A, y B, B ordenes parciales, f : A B. o (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 isomorsmo entre A y B sii (i) f : A B es biyectiva y (ii) x,yA (x A y f (x) A f (y)). (4) A, B, B (se lee A, es isomorfo a B, B ) sii existe un isomorsmo f : A B. = 4.2 Lema. (a) Toda funci n estrictamente creciente es creciente. o (b) Toda funci n creciente e inyectiva es estrictamente creciente. o (c) Todo isomorsmo es estrictamente creciente. Demostraci n. Fijemos A, y B, B ordenes parciales. o (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).
4

Lo cual se prueba en el Ap ndice I. e

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) = f (y). Por lo tanto, f (x) <B f (y). (c) Inmediato del inciso anterior.

Intuitivamente, dos ordenes parciales son isomorfos cuando tienen la misma estructura de orden, pues existe una funci n entre ellos que preserva el orden de los elementos. o 4.3 Lema. Sean A, A , B, B y C, C ordenes parciales. (a) IA : A A es un isomorsmo. (b) Si f : A B es un isomorsmo, entonces f 1 : B A es isomorsmo. (c) Si f : A B y g : B C son isomorsmos, entonces g f : A C es un isomorsmo. Demostraci n. (a) Es claro que IA : A A es biyectiva y x A y IA (x) A IA (y) para todo o x, y A. (b) Sea f : A B es un isomorsmo, es decir, f es biyectiva y x A y f (x) B f (y) para donde, como f es isomorsmo, entonces

todo x, y A. Luego, f 1 es biyectiva y, dados u, v B, claramente f 1 (u), f 1 (v) A de 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 isomorsmo.

(c) Sean f : A B y g : B C isomorsmos. 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 isomorsmo, la segunda de que g es isomorsmo.

Del resultado anterior se sigue directamente: 4.4 Corolario. Sean A, A , B, B y C, C ordenes parciales. (a) A, A A, A . = 34

(b) A, A B, B B, B A, A . = = (c) ( A, A B, B =

B, B C, C ) A, A C, C . = =

4.5 Ejemplo. (1) La funci n f : R Z tal que f (x) = (funci n parte entera) es creciente y o |x| o 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 isomorsmo. (2) f : R R+ tal que f (x) = ex es un isomorsmo. Por lo tanto, R y R+ son isomorfos. (3) f : R+ R+ tal que f (x) = x es un isomorsmo diferente a la identidad.

(4) Consideremos A = {a, b, c, d, e} y B = {1, 2, 3} ordenados como se indica en la gr ca. Sea a 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.

A, A d b a e c

B, B 3 2 1

El siguiente resultado ilustra un caso particular de cuando una funci n estrictamente tiene que o ser inyectiva. 4.6 Lema. Sea A, A un C.T.O. y B, B un C.P.O.. (a) Si f : A B es estrictamente creciente entonces es inyectiva. Adem s, a x,yA (x A y f (x) B f (y)). (b) f : A B es isomorsmo si y solo si es sobreyectiva y estrictamente creciente. (c) Si A, A B, B entonces B, B es un C.T.O.. = (d) Si A, A B, B y A, A es un C.B.O., entonces B, B es un C.B.O.. = 35

Demostraci n. (a) Sea f : A B estrictamente creciente. Si x, y A tal que x = y, por o o f (y) <B f (x) de cada caso respectivamente, de modo que f (x) = 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 reducci n al absurdo, o f (y) <B f (x), lo cual contradice f (x) B f (y). supongamos (x A y) lo cual, debido a que A es un orden lineal, signica y <A x. Luego,

tricotoma del orden total A se sigue que x <A y o y <A x. Se sigue 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 isomorsmo. (c) Sea f : A B un isomorsmo y veamos que todos los elementos de B son comparables. Sean transladar las propiedades de un orden al otro por medio del isomorsmo. En este caso, para ver u, v B. La idea de la prueba, como factor com n para razonamientos con isomorsmos, es u

que u y v son comparables, los proyectamos a sus preim genes que est n en un orden total, los a a comparamos y, mediante el isomorsmo, sus im genes (u y v) ser n comparables (ver gr co a a a al nal de la prueba). Como f es isomorsmo entonces f 1 : B A tambi n lo es. Luego, e Como f 1 es un isomorsmo, entonces se sigue u B v o v B u respectivamente de cada 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).

caso.

A, A f 1 (v) f 1 (u)

B, B

(d) Sea f : A B isomorsmo, 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 funci n. El resultado de esta proyecci n es f 1 [C] y, dado que A tiene buen o o orden, existe el mnimo de f 1 [C], el cual podemos proyecta a C. En la gr ca se ilustra el a

seguimiento de la prueba. Es claro que f 1 [C] A. Tambi n es no vaco, pues como C = e m = m 1 [C]). n(f existe y0 C y luego f 1 (y0 ) f 1 [C]. Luego, por la propiedad del buen orden en A, existe

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

basta probar yC (f (m) B y). Dado y C, como f 1 es isomorsmo, 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 = m 1 [C]), el lado derecho de las equivalencias es cierto. n(f Por lo tanto, f (m) B y. A, A f 1 [C]
f 1 (y) m

B, B C
y f (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 este tambi n lo son, adem s de que todo e a orden isomorfo a un buen orden tambi n es un buen orden. En los ejercicios de esta secci n se e o proponen m s propiedades que se preservan mediante isomorsmos. a En el Ejemplo 4.5 tambi n vimos un caso en que se muestra un isomorsmo de un orden parcial e en s mismo que no es la identidad, lo cual permite concluir, en general, que el isomorsmo entre dos ordenes parciales no necesariamente es unico. 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 A, un buen orden, f : A A. 1. Si f es estrictamente creciente, entonces xA (x f (x)). 2. Si f es un isomorsmo, entonces f = IA . Demostraci n. (a) Sea f : A A estrictamente creciente y veamos el resultado por inducci n o o

(hip tesis inductiva). Basta probar a f (a). Supongamos, por el contrario, que f (a) < a. o Al aplicar la hip tesis inductiva a x = f (a) se sigue que f (a) f (f (a)). Por otra parte, o contradicci n. o 37 como f (a) < a y f es estrictamente creciente, se sigue que f (f (a)) < f (a) lo cual es una

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

(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 isomorsmos entre buenos ordenes se resuelve en el sentido de que se puede decidir cu ndo un buen orden es m s extenso que otro. Esto es lo que permite clasicar los buenos a a ordenes mediante los n meros ordinales en Teora de Conjuntos. En el presente texto no profun u dizamos en el tema de ordinales, pero si presentamos (sin prueba) el resultado que asegura que dos buenos ordenes se pueden comparar seg n su extensi n. u o 4.8 Teorema. Dados dos buenos ordenes A, A y B, B , se cumple una y solo una de las siguientes armaciones: (i) A B. = (ii) bB (A Sb (B, B )). = (iii) aA (Sa (A, A ) B). = A (i) (ii) A (iii) B

B
b a

1.40 Ejercicio. Sean A, A y B, B C.P.O. y f : A B biyectiva. Pruebe que las siguientes armaciones son equivalentes 1. f es un isomorsmo. 2. x,yA (x <A y f (x) <B f (y)). 3. f y f 1 son crecientes. 1.41 Ejercicio. Sea A, A C.T.O., B, B un C.P.O. y f : A B. Entonces f es un isomorsmo si y solo si es biyectiva y creciente. 1.42 Ejercicio. Sean A, A y B, B C.P.O.. Si f : A B es creciente, probar que: (a) Si a A es m ximo (resp. mnimo) en A, entonces f (a) es m ximo (resp. mnimo) en f [A]. a 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 A, A y B, B 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 isomorsmo, entonces f Sx (A, A ) es un isomorsmo 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 relaci n en A, S una relaci n en B y f : A B una funci n biyectiva tal que o o o x,yA (xRy f (x)Sf (y)). Pruebe que (a) A, R es un C.P.O. sii B, S es un C.P.O.. (b) A, R es un o.p.e. sii B, S es un o.p.e.. (c) A, R es un C.T.O. sii B, S es un C.T.O.. (d) A, R es un C.B.O. sii B, S es un C.B.O.. 1.45 Ejercicio. Sea B, un C.P.O., A un conjunto y f : A B biyectiva. Dena la siguiente relaci n en o A xRy f (x) B f (y), x, y A. Pruebe que (a) A, R es un C.P.O. y f : A B es un isomorsmo. Sugerencia: Utilize el ejercicio anterior. (b) A, R es un C.T.O. sii B, B es un C.T.O.. (d) Si g : A Z+ {0} es biyectiva, pruebe que existe una relaci n que ordena bien a A. o 1.46 Ejercicio. Sean A, A y B, B C.P.O.s. Si f : A B es un isomorsmo, 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 m ximo (resp. mnimo) de A si y solo si f (a) es m ximo (resp. mnimo) de B. a a (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. nmo) de C si y solo si f (s) es supremo (resp. nmo) de f [C]. 1.47 Ejercicio. Sea A, un C.P.O. y A = isomorfo a A, . S a / a A (ver Ejercicio 1.28). Probar que A, es (c) A, R es un C.B.O. sii B, B es un C.B.O..

1.48 Ejercicio. Sean A, A y B, B buenos ordenes. (a) Llene los detalles de la prueba de (b) en el Lema 4.7. (b) Si f : A B y g : B A son isomorsmos, entonces g = f 1 . 1.49 Ejercicio. (a) Pruebe que los conjuntos n1 / n Z+ y n Sugerencia: Pruebe que cada uno es isomorfo a Z+ . (b) Pruebe que n1 / n Z+ n Ver el Ejercicio 1.37.
2n1 n

(c) Si A, A B, B entonces el isomorsmo entre ambos es unico. =

2n1 n

/ n Z+ est n bien ordenados. a

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

39

40

Captulo 2

Los Numeros Naturales

En el tema precedente a este captulo hemos utilizado conjuntos num ricos, como el de los e naturales, enteros, racionales y reales, para ilustrar hechos importantes sobre los conceptos que se han denido. Sin embargo, su existencia y propiedades se han tomado como supuestos, no hemos dado una denici n estricta en la teora ZF de estos conjuntos y, mucho menos, hemos probado sus o propiedades. M s a n, el unico conjunto que hemos denido formalmente, hasta el momento, es el a u conjunto vaco, m s los que deriven de este bajo las operaciones cl sicas del algebra de conjuntos a a (como uni n, singulete, partes, etc.)1 . o Debido a la importancia de los conjuntos num ricos en matem ticas y al primer objetivo de la e a teora de conjuntos en formalizar toda la matem tica en una teora de primer orden, centramos este a captulo a la construcci n de los n meros naturales y a la demostraci n de sus propiedades. Vere o u o mos tambi n la importancia del Axioma del Innito (introducido en la primera secci n) para poder e o denir dicho conjunto. Al nal exponemos, sin demostraciones, las deniciones m s importantes a sobre Z, Q, R y C.

2.1. Construcci n del Conjunto o

En esta secci n vamos a construir un conjunto que llamaremos , el cual representar la coleco a ci n de los n meros naturales2 . La idea es ver que satisface los axiomas de Peano, pues estos son los o u principios sobre los cuales se fundamenta el comportamiento de los n meros naturales en la teora u de n meros. Por lo tanto, debemos denir un objeto 0 en y funciones s : , + : u y : que representen el cero, operaci n sucesor, suma y producto, respectivamente. o
1 2

Con todos los axiomas de ZF se puede demostrar que todos los conjuntos se construyen a partir de . Cl sicamente este conjunto se denota por N pero, debido a que en ZF su papel va m s all de ser un espacio de a a a trabajo como en la teora de n meros, su notaci n es diferente. u o

Como notaci n, escribimos n+ = s(n), m + n = +(m, n) y m n = (m, n). Por consiguiente, los o 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 = 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 inducci n matem tica donde (x) es una f rmula de ZF. o a o Entre las variadas formas de denir los n meros naturales, la m s popular es la denici n de u a o Von Newmann, que parte de la siguiente notaci n. o 1.1 Denici n. Para cualquier conjunto x, denimos x+ = x {x}. 0 = , 1 = 0+ , 2 = 1+ , o

3 = 2+ , etc.

De esta denici n, se sigue que o 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 n mero natural n es el conjunto cuyos elementos son los u naturales menores que el. Sin embargo, esto no es un elemento suciente para denir una f rmula o de ZF que exprese la armaci n x es un n mero natural y que permita denir el conjunto . o u Una propiedad sencilla que debe cumplir es que 0 y que, si x , entonces x+ . Este hecho inspira la siguiente 1.2 Denici n (Conjunto inductivo). Un conjunto A es inductivo si 0 A y xA (x+ A). o 42

Queda claro entonces que debe ser un conjunto inductivo, pero es posible que no sea el unico conjunto inductivo que exista3 . A pesar de eso, hay una propiedad que debe cumplir y que lo hace unico entre los conjuntos inductivos. Supongamos que hemos construdo , que satisface la propiedad de inducci n, y sea A un conjunto inductivo arbitrario. Es f cil probar por inducci n que o a o todos los naturales est n en A, pues 0 A y, si n es un natural tal que n A, entonces n+ A a especial a es que sera el menor conjunto inductivo. porque A es inductivo. Se puede concluir entonces que A. Por lo tanto, la propiedad que hara

La idea para encontrar el menor conjunto inductivo proviene de que la intersecci n de conjuntos o inductivos es inductivo (ver Ejercicio 2.1). Por lo tanto, el menor conjunto inductivo es la intersecpues esto garantiza que los elementos de est n en todos los conjuntos inductivos. Para concluir a esta construcci n, debemos probar que es, efectivamente, un conjunto. o 1.3 Lema. (a) Si A es inductivo, entonces A. (b) Si existe un conjunto inductivo, entonces es conjunto. Demostraci n. (a) Sea A un conjunto inductivo. Si x entonces x pertenece a todos los cono juntos 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 Comprensi n). o ci n de todos los conjuntos inductivos, lo cual puede denirse como = {x / A inductivo (x A)}, o

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 raz n de esto o es que la existencia de un conjunto inductivo equivale a la existencia de un conjunto innito 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 Innito) A (A inductivo). 1.4 Teorema. es el menor conjunto inductivo. Demostraci n. De Z6 y el Lema 1.3 se sigue que es un conjunto que est contenido en todos los o a conjuntos inductivos. Falta probar entonces que es inductivo.
3

Con los axiomas de Reemplazamiento e Innito 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. cualquier inductivo, es decir, x+ . Si A es un conjunto inductivo, entonces x A y, luego, x+ A. Por lo tanto, x+ pertenece a

Cabe anotar que la denici n propuesta para pierde sentido sin el axioma del Innito, en el o sentido de que si no existe un conjunto inductivo, entonces el denido sera el universo. Hay una forma equivalente de denir con los n meros ordinales, sin necesidad del axioma del Innito, u 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 Inducci n). (a) Si T es inductivo y T entonces T = . o (b) Sea (x) una f rmula de ZF. Si o (i) (paso base) (0) y (ii) (paso inductivo) (n) (n+ ) para todo n (al antecedente (n) se le conoce como hip tesis inductiva) o entonces n (n). y veamos que es inductivo. En efecto, 0 T por (i); si n T , es decir, n y (n), entonces por Demostraci n. (a) se sigue directamente del Lema 1.3. Para (b) consideremos T = {n / (n)} o

n , es decir, n T , entonces (n). 1.6 Lema. (a) n (n+ = 0). (b) n (n = 0 p (n = p+ )).

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

Demostraci n. (a) Como x+ = x {x} entonces x x+ y, por lo tanto, x+ = 0 para cualquier o conjunto x. (b) Probemos por inducci n sobre n que todos los naturales cumplen (n) : n = 0 p (n = o p+ ). Es claro que 0 cumple esta armaci n. Para el paso inductivo, supongamos n tal o que n = 0 p (n = p+ ). Como n+ = n+ entonces p (n+ = p+ ) y luego n+ =

0 p (n+ = p+ ) (en esta inducci n no se necesit la hip tesis inductiva). o o o 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 pr xima secci n vamos a probar P4. P5-P8 se demostrar n en o o a la secci n 2.4 cuando se dena la suma y el producto en . o
2.1 Ejercicio. Sea D una colecci n de conjuntos inductivos. Pruebe que o 2.2 Ejercicio. Considere el axioma de Regularidad: X (X = zX (z X = )). Pruebe que este implica (a) x,y (x+ = y + x = y). (b) z (x z z x+ ). (c) x / x+ . Sugerencia: pruebe primero que x (x x) y x,y (x y y x). / / D es inductivo.

2.2. Buen Orden

En la secci n anterior, de forma intuitiva, formulamos que un n mero natural es el conjunto de o u todos los naturales menores que el, lo cu l no podemos probar en ZF hasta que denamos qu sig a e nica la relaci n menor qu para los naturales. N tese que la misma formulaci n responde la o e o o pregunta, pues si un natural est formado por los n meros menores que el, entonces la relaci n a u o de desigualdad estricta es el . Con esto, dedicamos esta secci n a probar, principalmente, que o est bien ordenado por . a

La siguiente es una de las nociones m s importantes de la teora de conjuntos, aunque en este a texto s lo la citaremos para probar muchas propiedades de los naturales, en particular su buen orden o por . 2.1 Denici n (Conjunto transitivo). x es un conjunto transitivo si yx (y x). o 2.2 Lema. Las siguientes armaciones son equivalentes. (i) x es transitivo. (ii) x P(x). (iii) x x.

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

transitiva cuando x (el conjunto transitivo) aparece arriba. 2.3 Lema. Si x es transitivo, entonces (a) x+ es transitivo. (b) x+ = x.

La formulaci n (iv) le da sentido a la palabra transitivo ya que act a como una relaci n o u o

Demostraci n. Como x es transitivo, o x+ =

x x por 2.2. Luego x {x} = x x=x

(x {x}) =

donde la ultima igualdad se sigue de

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). Demostraci n. (a) Por inducci n, veamos que todos los naturales son transitivos. o o 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 inducci n sobre n, que n . o 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 signica que es transitivo. (c) Dados m, n , estos son transitivos. Si m+ = n+ entonces 2.3(b), se sigue m = n. m+ = n+ y, por el Lema

46

2.5 Denici n. Denimos la relaci n < en como o o m < n m n, m, n .

Tambi n denimos m n (m < n m = n) para todo m, n . e 2.6 Lema. (a) n (n < n+ ). (b) < es una relaci n transitiva en . o (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 relaci n transitiva en . o Demostraci n. (a) Directo de que x x+ para cualquier conjunto x. o (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. Demostraci n. (a) Por inducci n sobre n. Es claro que 0 0. Para el paso inductivo, sea n o o 0 < n+ , por lo cual 0 n+ . tal que 0 n y veamos que 0 n+ . Como n < n+ , del Lema 2.6(d) se sigue directamente

(b) m < n+ (m n {n}) (m n m = n) (m < n m = n) m n. (c) Para jemos m y, por inducci n sobre n, veamos m < n m+ n. o 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 disyunci n de casos, si o m < n, de la hip tesis inductiva se sigue m+ n y, como n < n+ , del Lema 2.6(d) o directamente m+ n+ .

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

Para probar supongamos m+ n. Como m < m+ , del Lema 2.6(c) se sigue m < n. 2.8 Teorema. , es un orden total estricto. Demostraci n. Veamos primero que , es un orden parcial estricto. En el Lema 2.6 probamos o n n. / Paso base. Como 0 = , es claro 0 0. / Paso inductivo. Dado n debemos probar n n n+ n+ . Veamos su contrarrecproco / / equivale a n+ n y, a su vez, equivale a n < n, es decir, n n. n+ n+ n n. Supongamos n+ n+ , es decir, n+ < n+ . Por el Lema 2.7, esto que < es transitivo, de modo que resta probar que es irreexiva. Veamos por inducci n sobre n que o

Por lo tanto, , es un o.p.e, de donde , es un orden parcial. Por lo tanto, falta probar que n n < m.

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

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 disyunci n de casos sobre la hip tesis inductiva: si m < n, como n < n+ se o o sigue m < n+ ; si m = n, como n < n+ se sigue m < n+ ; nalmente, 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 secci n, falta probar que cumple la propiedad del buen orden. o En el captulo 1 se establece la equivalencia entre esta propiedad y la inducci n general para ordenes o totales (ver Teorema 1.3.7 y Ejercicio 1.35). Optamos por probar entonces dicha inducci n para . o

48

En el Ejercicio 2.9 se propone que Sn (, ) = n, de modo que la inducci n general queda o enunciada como sigue. 2.9 Teorema (Inducci n general). (a) Sea T tal que cumple o n (n T n T ). Entonces T = . (b) Sea (x) una f rmula de ZF. Si o n (k<n (k)) (n) , entonces n (n). Demostraci n. (a) Consideremos la hip tesis n (n T n T ) y veamos, por inducci n o o o sobre n, que n T . Paso base. 0 T es claro. Paso inductivo. Sea n tal que n T . De la hip tesis se sigue n T , por lo cual {n} T o y, luego, n+ = n {n} T . Basta probar ahora que T . En efecto, si n entonces n T y, de la hip tesis, se tiene o n T. (b) Al tomar T = {n / (n)}, de (a) se prueba T = , de donde la conclusi n es directa. o 2.10 Teorema. , es un buen orden (estricto). Demostraci n. Como , es un orden total (estricto), del Teorema 2.9 y el Ejercicio 1.35 se o sigue directamente que cumple la propiedad del buen orden. Sin embargo, exponemos la prueba que B = ( ste es el contrarrecproco de la propiedad del buen orden). Consideremos T = B e del Ejercicio para este caso particular. Sea B un conjunto que no tiene mnimo y veamos (complemento respecto a ) y veamos, por inducci n general, que T = . o Supongamos n T tal que n T y veamos que n T . Como n T se tiene que k<n (k T ), kB (n k). Luego, si n B entonces n = m B, lo cual es imposible porque B no tiene n es decir k (k < n k T ), cuyo contrarrecproco equivale a k (k B n k), es decir,

mnimo. Por lo tanto, n B, es decir, n T . / B = .

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

49

2.3 Ejercicio. Pruebe el Lema 2.2. 2.4 Ejercicio. Demuestre la equivalencia entre las siguientes armaciones (i) x es transitivo. (ii) P(x) es transitivo. (iii) x+ = x. 2.5 Ejercicio. Sea T una colecci n de conjuntos transitivos. Pruebe que o 2.6 Ejercicio. Sea x un conjunto transitivo. Pruebe: (a) x es transitivo. (b) Si x = , 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: 1. = . T y T son transitivos.

2. Si A tal que A = 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 intuici n inicial de que o un natural es el conjunto formado por los naturales menores que el. 2.10 Ejercicio. Dado m, n , pruebe que (a) m n m n. (b) m < n m (d) 0 < n+ . n. (c) k (n < k < n+ ). Esto indica que n+ es el sucesor inmediato de n (ver Ejercicio 1.34). (e) m < n m+ < n+ . (f) La funci n f : o

{0} tal que f (n) = n+ es un isomorsmo.

(g) Indique a qu n meros naturales son iguales m n y m n (la tricotoma da la respuesta). e u (h) Si n es no vaco entonces tiene m ximo. a (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 que es el mismo x. (b) = {x , entonces x . Sugerencia: Tome el mnimo del complemento de x y pruebe

/ x transitivo} B y m B = n B. Sugerencia: para probar B utilize

(c) Si B es no vaco, entonces (a). (d) Si A entonces

50

(a)

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

A si y solo si A tiene cota superior.

A = sup A. Adem s, si A = , entonces a

2.13 Ejercicio. Sea A, A un C.P.O y f : A. Entonces: (b) Si n (f (n) <A f (n+ )) entonces f es estrictamente creciente. (c) Formule y demuestre resultados an logos a los anteriores, pero para el caso decreciente y estrictamente a decreciente. 2.14 Ejercicio. Considere el conjunto {An / n } tal que n (An An+ ). Pruebe: (a) n (A0 An ). (b) Si
n

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

An A0 entonces An = A0 para todo n .

2.15 Ejercicio. Sea A, A 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 inducci n sobre n que, para todo o A, todo orden parcial A de A y toda funci n f : n A sobre, si n = 0 entonces A tiene un maximal o y un minimal. (b) Si A es C.T.O. entonces tiene m ximo y mnimo. a 2.16 Ejercicio. Construya una funci n inyectiva de en un subconjunto propio de s mismo. o 2.17 Ejercicio. Dados A B , establezca las relaciones de desigualdad entre m A con m B y entre n n mx A con mx B. a a 2.18 Ejercicio. Demuestre: (a) Si A, A es un C.B.O, no existe una funci n f : A estrictamente decreciente. o (b) No existe una funci n f : estrictamente decreciente. o

2.3. Teorema de la Recursi n o

En matem ticas es muy com n construir sucesiones indizadas por n meros naturales, como por a u u ejemplo an
n

tal que an = n (sucesi n identidad), bn o b0 = bn + =

1 2 1 1+ b1

denido por

para n ,

y cn

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

Los dos ultimos ejemplos son sucesiones denidas por recursi n, es decir, se dene un primer t rmi o e no y, los que siguen, se denen a partir de los anteriores. Aunque es claro, intuitivamente, que se 51

puede denir una sucesi n por recursi n, a n no tenemos un resultado en ZF que garantize este tipo o o u de construcciones. El objetivo en esta secci n es entonces establecer las diferentes versiones del Teorema de la o Recursi n que permitan formalizar el proceso de recursi n. En esta secci n, con el n de ilustrar o o o con ejemplos, vamos a asumir que contamos con la suma y producto en y sus propiedades, lo mismo que con otros conjuntos num ricos. e Como primer paso, debemos aclarar qu es una sucesi n. Intuitivamente, una sucesi n, indizada e o o por naturales, es una secuencia ordenada de objetos. Tomando an vemos que esta representa la secuencia ordenada 0, 1, 2, 3, 4, 5, 6, 7, ... y, si denimos a n
n n

como en el ejemplo anterior,

tal que a = n n + 1 si n es par, n 1 si n es impar,

esta sucesi n representa la secuencia ordenada o 1, 0, 3, 2, 5, 4, 7, 6, 9, 8, ... N tese que ambas son sucesiones distintas y, sin embargo, {an / n } = {a / n }. Por o n lo tanto, no podra pensarse en denir an
n

como el conjunto de los an , pues en ese contexto

a se estara perdiendo la idea de que una sucesi n es una secuencia ordenada. La forma cl sica de o tal que f (n) = n para todo n y g : tal que g(n) = entonces f representa la sucesi n an o
n

conservar el orden de una sucesi n es asociarla con una funci n, a saber, si denimos f : o o n + 1 si n es par, n 1 si n es impar, y g representa a a n
n

y respeta el orden de la sucesi n o

n

de los elementos. De la siguiente denici n queda claro que f = an o 3.1 Denici n (Sucesi n). Sean I un conjunto. Una sucesi n ai o o o
iI

y g = a n

n .

se dene como una funci n, o

iI .

ll mese f , tal que domf = I y f (i) = ai para todo i I. Con esta notaci n, f = ai a o que ai
iI

Si,

adem s, tenemos un conjunto A tal que iI (ai A) (o lo que es lo mismo, f : I A), decimos a es una sucesi n en A. o

52

Para este captulo y en gran parte del texto solo consideraremos sucesiones nitas y sucesiones indizadas por . Para denir qu es una sucesi n nita basta observar que, intuitivamente, un e o n mero natural n tiene n elementos, pues sus elementos son los naturales menores que el4 . u 3.2 Denici n. Sea A un conjunto. o (1) Si n , decimos que ak
k<n

es una sucesi n de n elementos (caso particular de la denici n o o

k<n ,

de la denici n anterior h es una funci n tal que domh = n y f (k) = ak para todo k < n. o o Si, adem s, k<n(ak A) (o lo que es lo mismo, h : n A), decimos que ak a sucesi n de n elementos en A. o (2) A una sucesi n del tipo an o
k<n

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

es una

la llamaremos sucesi n enumerable (caso particular de la o

n ,

denici n anterior con I = ). Si denotamos h = an o es lo mismo, h : A), decimos que an

de la denici n anterior h es una o

funci n tal que domh = y h(n) = an para todo n . Si, adem s, n (an A) (o lo que o a
n

es una sucesi n enumerable en A. o

Todos los ejemplos anteriores son sucesiones enumerables. Del primer p rrafo, h1 = bn a todo n o, lo que es lo mismo,

es una sucesi n en el intervalo (0, 1), lo cual signica que h1 : (0, 1) tal que h1 (n) = bn para o h1 (0) = h1 (n+ ) =
1 2

1 1+ h 1 (n)
1

para n .

h2 = cn

n o, lo que es lo mismo,

es una sucesi n en , lo cual signica que h2 : tal que h2 (n) = cn para todo o h2 (0) = 1 h2 (n+ ) = h2 (n) n+ para n .

Mediante el ejemplo h1 = bn

vamos a analizar c mo formular un teorema que permita denir o

1 2

sucesiones por recursi n. Vemos que esta sucesi n consta de un t rmino inicial el cual es o o e un paso recursivo que es para denir h1 (n+ )

y de

a partir de una operaci n aplicada a h1 (n). Dicha o

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

1 1, 1+ x

x (0, 1).

Dicha intuici n ser util en el Captulo 3 para denir cu ndo un conjunto tiene n elementos. o a a

53

F1 se conoce como la operaci n de recursi n. Por lo tanto, la funci n h1 est denida por o o o a (t rmino inicial) e h1 (0) = 1 2 h1 (n+ ) = F1 (h1 (n)) para n (operaci n de o recursi n aplicada al t rmino anterior). o e Para denir una sucesi n por recursi n como la anterior s lo se necesitan dos ingredientes: un o o o t rmino inicial y una operaci n de recursi n. Esto nos d una idea para formular una versi n sencilla e o o a o del Teorema de la Recursi n, la cual probamos m s adelante como consecuencia de otra versi n m s o a o a general. 3.3 Teorema (de la Recursi n (versi n simple)). Sea A un conjunto y consideremos o o cA (t rmino inicial) e F : A A (operaci n de recursi n). o o Entonces existe una unica funci n h : A tal que o h(0) = c h(n+ ) = F (h(n)) para n . Decimos que h es la sucesi n generada por recursi n a partir de c y F . o o 3.4 Ejemplo. (1) Utilicemos el Teorema 3.3 para denir la sucesi n an o a0 = 0 an+ = (an )+ para n . Identiquemos sobre qu conjunto se quiere denir la sucesi n, el t rmino inicial y la operaci n e o e o de recursi n que, seg n el Teorema 3.3, son A = , c = 0 y F : respectivamente, de o u o objetos, existe una unica funci n h : tal que modo que F (x) = x+ para todo x (la operaci n sucesor). Al aplicar el Teorema a estos o h(0) = 0 h(n+ ) = F (h(n)) = (h(n))+ para n . As, si llamamos an = h(n) para n , an
n n

en tal que

= h es la sucesi n buscada. N tese adem s o o a

que la funci n identidad I : satisface o I (0) = 0 I (n+ ) = n+ = F (n) = F (I (n)) para n .

Por lo tanto, como h e I satisfacen la misma recursi n sobre 0 y F , por la unicidad de la o funci n de recursi n en el Teorema de la Recursi n, se sigue que h = I . Por lo tanto, an = n o o o para todo n . Esto indica que la funci n identidad de los naturales puede denirse por o

recursi n. o

54

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

1 2

y F1 : (0, 1) (0, 1) denida por x (0, 1),

1 1, 1+ x

existe una unica funci n h1 : (0, 1) tal que o h1 (0) = 1 2 h1 (n+ ) = F1 (h1 (n)) = Si denimos bn = h1 (n) para n , bn p rrafo de esta secci n. a o Analicemos c mo construir la sucesi n cn o o
n n 1 1+ h 1 (n)
1

para n .

= h1 es la sucesi n construda en el primer o

tal que

c0 = 1 cn+ = cn n+ para n . Notamos que es una sucesi n en con t rmino inicial 1 y cuya operaci n de recursi n es tomar el o e o o t rmino anterior y multiplicarlo por el sucesor de su ndice. Para construir esta sucesi n no podemos e o aplicar el Teorema 3.3 debido a que la operaci n de recursi n no tiene la forma F : , pues o o no depende del t rmino anterior sino tambi n del ndice. Por lo tanto, la operaci n de recursi n e e o o y x la variable que hace las veces del t rmino precedente en el paso recursivo), de modo que, si e h2 = cn
n ,

debe ser F2 : tal que F2 (n, x) = x n+ para n (donde n representa el ndice entonces h2 : tal que h2 (0) = 1 (t rmino inicial) e + ) = F (n, h (n)) para n . h2 (n 2 2 La unica diferencia de esta recursi n con la del Teorema 3.3 es que la operaci n de recursi n con o o o tiene un par metro adicional. a 3.5 Teorema (de la Recursi n (versi n con par metro)). Sea A un conjunto y consideremos o o a cA (t rmino inicial) e F : A A (operaci n de recursi n con par metro). o o a

Entonces existe una unica funci n h : A tal que o h(0) = c h(n+ ) = F (n, h(n)) para n . Decimos que h es la sucesi n generada por recursi n a partir de c y F . o o 55

Demostraci n. La idea intuitiva de la prueba es construir la sucesi n h mediante sucesiones nitas, o o es decir, dado n vamos a construir la sucesi n tn que representa la secuencia ordenada o h(0), h(1), . . . , h(n 1). De esta forma, tn = h(k)
k<n .

siones entre s para obtener h.

Al haber denido tn para cada n , podemos unir estas suce-

Primero probemos, por inducci n sobre n, la siguiente armaci n que representa, seg n la recursi n o o u o (en este caso, nita), que tn es h(k)
k<n .

Existe una unica funci n tn : n A tal que o (i)n 0 < n tn (0) = c (ii)n k+ < n tn (k+ ) = F (k, tn (k)) para k . Paso base. La unica funci n que existe de 0 a cualquier conjunto es . Por lo tanto t0 = es la o unica funci n que cumple la armaci n para n = 0 (note que (i)0 y (ii)0 son ciertas porque o o tienen antecedente falso). Paso inductivo. Sea n tal que existe una unica funci n tn : n A que cumple (i)n y (ii)n . o Veamos que existe una unica funci n tn+ : n+ A que satisface (i)n+ y (ii)n+ , los cuales o (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 disyunci n de casos si n = 0 o si es el sucesor de alg n natural. o u Si n = 0 entonces denimos t1 : 1 A (recuerde que 1 = {0}) tal que t1 (0) = c y claramente se satisfacen (i)1 y (ii)1 (el ultimo por antecedente falso). Para probar la unicidad, si t : 1 A es otra funci n que cumple (i)1 y (ii)1 , se tiene t (0) = c = t1 (0), por lo cual o 1 1 k1 (t1 (k) = t (k)). As, t1 = t . 1 1 Si n = m+ para alg n m entonces denimos tn+ : n+ A tal que5 u tn+ (k) = tn (k) si k < n, F (m, tn (m)) si k = n. son equivalentes a

Como n = m+ entonces 0 < n por lo cual, de la denici n de tn+ y (i)n , se sigue tn+ (0) = o 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 denici n de tn+ y (ii)n se tiene o

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

por lo cual t : n A y satisface n

(i)n Si 0 < n (lo cual es cierto), entonces t (0) = t + (0) = c. n n (ii)n Si k y k+ < n, entonces t (k+ ) = t + (k+ ) = F (k, t + (k)) = F (k, t (k)). n n n n Por lo tanto, de la hip tesis inductiva (unicidad de tn ) se sigue t = tn . Para probar t + = tn+ o n n t + (k) = t (k) = tn (k) = tn+ (k); si k = n entonces n n basta ver que k<n+ (t + (k) = tn+ (k)). Si k < n+ entonces k n. Si k < n entonces n

t + (n) = t + (m+ ) = F (m, t + (m)) = F (m, t (m)) = F (m, tn (m)) = tn+ (n) n n n n y con esto termina la inducci n. o De la inducci n se sigue que t0 = , t1 (0) = c y, para todo natural n = 0, o tn+ (k) = tn (k) si k < n, F (m, tn (m)) si k = n.

tienen las siguientes propiedades:

Consideremos H = {tn / n }. Este es un conjunto, pues H P( A). Dados m, n se

(a) tn tn+ . Es claro que t0 t1 y tn tn+ para n = 0. (b) m < n tm tn. Denamos 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 contenci n). o

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

Por (c) tenemos que h =

n tn

es una funci n. Luego, o domtn =

n n

domh =

n=

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

rantn A.

As, h : A. Veamos que esta es la funci n buscada. De la denici n de h es claro que o o 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))

Por 3.5, existe una unica funci n h : A tal que o

Demostraci n de 3.3. Sea c A y F : A A. Dena F : A A tal que F (n, x) = F (x). o h(0) = c h(n+ ) = F (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 funci n h2 : tal que o h(0) = c h(n+ ) = h(n) n+ para n . La naturaleza de esta recursi n permite denir n! = h2 (n) para cada n , pues 0! = 1 y o (n+ )! = n! n.
n

(2) Sea an

una sucesi n en R y denamos, para cada n, el t rmino o e

n k=0

ak . Este se puede

denir mediante la siguiente recursi n o

0

ak = a0
k=0 n+ n

ak =
k=0 k=0

ak + an+ para n .

Notamos que la sucesi n se dene en R, el t rmino inicial es a0 y la operaci n de recursi n o e o o o e es sumar hasta n y luego sumar an+ . Notemos que la operaci n depende de n tambi n, por lo 58

cual la operaci n de recursi n es F3 : R R tal que F3 (n, x) = x + an+ . Luego, por el o o Teorema 3.5 existe una unica funci n h3 : R tal que o h3 (0) = a0 h3 (n+ ) = h3 (n) + an+ para n .
n

Por lo tanto, se dene

k=0

ak = h(n) para cada n .

Como ultimo ejemplo sobre tipos de recursi n, consideremos la sucesi n de Fibonacci denida o o por f0 = 0 f1 = 1 fn+2 = fn + fn+1 para n . N tese que la sucesi n tiene dos t rminos iniciales y que la operaci n de recursi n depende de los o o e o o d s t rminos anteriores, lo cual hace que la sucesi n no pueda ser generada por los Teoremas anteo e o riores. Por lo tanto, se debe formular un caso general de recursi n donde la operaci n de recursi n o o o e depende de todos los t rminos anteriores. Antes de formular la versi n general del Teorema de la Recursi n, introducimos la siguiente o o notaci n. o 3.7 Denici n. Sea A un conjunto. o (1) Dado un conjunto I, denimos6 I A = {f / f : I A}. Este conjunto representa la colecci n o de funciones de I en A. Tambi n representa la colecci n de sucesiones en A indizadas por I e o (ver Denici n 3.1). o (2) Dado n , seg n (1), n A es el conjunto de sucesiones en A de longitud n. u (3)
A

es el conjunto de sucesiones enumerables en A.

n nA

(4) sq(A) =

es el conjunto de sucesiones nitas en A.

3.8 Ejemplo. (1)

0A

es la unica sucesi n de longitud 0. o (2)

1A

= {}, pues la unica funci n con dominio vaco es . Dicho de otro modo, o

A, es decir, una funci n de 1 hasta A tal que la imagen de 0 es a. o

6

= { a / a A}. Aqu a representa la sucesi n de longitud 1 conformada por el objeto o

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

59

Volviendo al ejemplo de la sucesi n de bonacci, necesitamos una operaci n de recursi n que o o o se aplique a los t rminos anteriores. Si denotamos por F dicha operaci n, fn se debe obtener de e o los t rminos anteriores, los cuales podemos reunir en la sucesi n fk e o F ( fk
k<n ). k<n ,

de modo que fn =

De esto se inere que F es una operaci n que se aplica a sucesiones nitas, en este o

En el caso n > 1 se entiende claramente de que el n- simo t rmino se obtiene de sumar los dos e e anteriores. Los casos n = 0 y n = 1 se toman s lo para denir los t rminos iniciales, pues estos o e s lo dependen de ser el 0- simo y 1-er paso de la construcci n. As, para denir una sucesi n por o e o o recursion general s lo se necesita una operaci n de recursi n, como se menciona a continuaci n. o o o o 3.9 Teorema (de la Recursi n (versi n general)). Sea A un conjunto y F : sq(A) A. Entonces o o

caso, a elementos en sq(). Por lo tanto, denimos F : sq() tal que si n = 0, 0 F ( ak k<n ) = 1 si n = 1, an1 + an2 si n > 1.

existe una unica funci n h : A tal que o

h(n) = F ( h(k)

k<n ),

n .

Demostraci n. Como 0 A = {} es claro sq(A). Consideremos F : sq(A) sq(A) tal que, o de adjuntar a la sucesi n t el t rmino F (t), es decir, F (t) = t {(n, F (t))} o, dicho de otra forma, o e ak F ( ak si k < n, ) si k = n. k<n si t sq(A) y tiene la forma t = ak
k<n ,

entonces F (t) es la sucesi n de longitud n+ que resulta o

F (t) = Ft : n+ A tal que

Ft (k) =

Aplicamos el Teorema 3.3 a sq(A), (como t rmino inicial) y a F : sq(A) sq(A) para obtener e una unica funci n H : sq(A) tal que, si denotamos Hn = H(n), o H0 = Hn+ = F (Hn ) para n . cluye que H : sq(A) es una funci n creciente (donde sq(A) se ordena por ). Por lo tanto, o
n

Como t F (t) para todo t sq(A), se obtiene Hn Hn+ para n , de donde se conHn es una funci n. o

{Hn / n } es un conjunto de funciones compatibles, de donde h = Es f cil ver que domh = a

n

domHn = y ranh A, por lo cual h : A y

k<n )

h(n) = Hn+ (n) = (F (Hn ))(n) = FHn (n) = F ( Hn (k) 60

= F ( h(k)

k<n ).

dominio vaco y, dado n ,

la funci n H : sq(A) tal que Hn = H (n) = h (k) o

Para la unicidad, sea h : A tal que h (n) = F ( h (k)

k<n )

y veamos que h = h. Denamos

Luego, H0 = porque tiene

k<n .

Hn+ (k) =

h (k) = Hn (k) F ( h (k) k<n ) = F ( Hn (k)

si k < n, k<n ) si k = n,

o es decir, Hn+ = FHn = F (Hn ). As, H y H satisfacen la misma recursi n respecto y F de donde, por unicidad, H = H . Por lo tanto, dado n , h(n) = Hn+ (n) = Hn+ (n) = h (n), de

donde h = h .

que

Se sigue que existe una unica funci n f : A tal que f (n) = F ( f (k) o f (0) = F ( f (k) f (1) = F ( f (k) f (n) = F ( f (k)
k<0 )

3.10 Ejemplo. Apliquemos el Teorema anterior para A = y F : sq() tal que si n = 0, 0 F ( ak k<n ) = 1 si n = 1, an1 + an2 si n > 1.
k<n )

para n . N tese o

=0 )=1 k<1 k<n ) = f (n 1) + f (n + 2) si n > 1. es la sucesi n de Fibonacci. o

As, con fn = f (n), se sigue que fn

2.19 Ejercicio. Justique: (a) Dado t : I A, entonces t = t(i) (b) Si t = ai
iI

iI .

entonces iI (t(i) = ai ).

2.20 Ejercicio. Utilice el Teorema 3.3 para construir las siguientes sucesiones. a0 = 1 Indique a qu es igual an . e an+ = an 3 para n . b0 = 2 (b) bn+ = 2 + bn para n . (a) (c) Dado m , c0 = 0 cn+ = cn + m para n .
n k=0

Indique a qu es igual cn . e 2.21 Ejercicio. Dado an

n

sucesi n en R, utilice el Teorema 3.5 para denir o

ak para n .

2.22 Ejercicio. Pruebe la unicidad de h en el Teorema 3.5.

61

2.23 Ejercicio. Sea F : A A inyectiva tal que c A ranF . Si h : A es la funci n generada por o recursi n con c como t rmino inicial y la operaci n F , pruebe que h es inyectiva. Sugerencia: Pruebe que o e o k<n (h(k) = h(n)) por inducci n sobre n. o 2.24 Ejercicio. Si B A y f : A B es inyectiva, entonces existe h : A inyectiva. 2.25 Ejercicio. Sea A, A un C.B.O. no vaco que no tiene m ximo. Probar a (a) Existe una funci n f : A estrictamente creciente. o (b) es isomorfo a una secci n de A. o 2.26 Ejercicio. Pruebe que sq(A) es un conjunto. Adem s, indique a qu son iguales sq() y sq({x}). a e 2.27 Ejercicio. Pruebe que el Teorema 3.3 implica 3.5. Sugerencia: Dena F : A A tal que F (n, x) = (n+ , F (n, x)) y aplique recursi n simple a esta funci n con t rmino inicial (0, c). o o e 2.28 Ejercicio. Enuncie la versi n general con par metro del Teorema de la Recursi n. o a o

2.4. Operaciones
Una consecuencia importante del Teorema de la Recursi n es denir las operaciones suma y o producto, de modo que se satisfagan los axiomas de Peano P5-P8 (ver secci n 2.1). Por ejemplo, o para la operaci n suma necesitamos una funci n + : , en donde denotamos m + n = o o +(m, n), tal que se satisface m+0 =m para m , + = (m + n)+ para m, n . m+n Lo anterior indica que, jando m , se puede denir m + n mediante recursi n sobre m. Por o tomamos m como t rmino inicial y la operaci n Fm : tal que Fm (x) = x+ , al aplicar 3.3 e o obtenemos una unica funci n hm : tal que o hm (0) = m hm (n+ ) = (hm (n))+ para n . De este modo, si denimos +(m, n) = hm (n), obtenemos la suma. Una pregunta natural es si la operaci n + denida es la unica que satisface la recursi n que debe cumplir la suma. Para responder o o esto, se puede suponer que existe otra funci n + : tal que (al denotar m + n = o + (m, n)) m + 0 = m para m , n+ = (m + n)+ para m, n , m+ lo tanto, se est haciendo una recursi n por cada m , es decir, m ltiples recursiones. As, si a o u

y probar que + = +, lo cual necesita de la unicidad de hm . Este procedimiento se puede generalizar o o o u en la medida de que se establece una unica operaci n de recursi n para generar la recursi n m ltiple. 62

N tese que, para cada m , se toma un t rmino inicial m y una operaci n Fm . Como el t rmino o e o e g genere los t rminos iniciales para cada m . Por otra parte, para las operaciones, denimos e

inicial depende de m, podemos denir una funci n g : tal que g(m) = m, de modo que o F : tal que F (m, x) = x+ (notese que, en este caso, la operaci n no depende de m). o +(m, 0) = g(m) para m , +(m, n+ ) = F (m, +(m, n)) para m, n .

As, la operaci n + : debe satisfacer o

Por lo tanto, para una recursi n m ltiple como en el caso anterior, necesitamos una funci n de o u o t rminos iniciales y una operaci n de recursi n m ltiple, lo cual se enuncia en el siguiente resultado. e o o u 4.1 Teorema (de la Recursi n (m ltiple)). Sean A e I conjuntos (la intenci n es hacer una recursi n o u o o por cada i I) y consideremos g:IA funci n de t rminos iniciales o e F : I A A operaci n de recursi n m ltiple. o o u Entonces existe una unica funci n h : I A tal que o h(i, 0) = g(i) para i I, + ) = F (i, h(i, n)) para i I y n . h(i, n Demostraci n. Fijemos i I y denotemos ci = g(i) y Fi : A A tal que Fi (x) = F (i, x). Al o aplicar el Teorema 3.3 a A, ci y Fi , existe una unica funci n hi : A tal que o hi (0) = ci hi (n+ ) = Fi (hi (n)) para n . Denimos 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 recursi n m ltiple del enunciado. o u Para la unicidad, supongamos que h : I A es una funci n que tambi n satisface la recursi n o e o h (i, 0) = g(i) = ci y, para n , m ltiple. Fijemos i I y denamos h : A tal que h (n) = h (i, n). Luego, h (0) = u i i i h (n+ ) = h (i, n+ ) = F (i, h (i, n)) = Fi (h (i, n)) = Fi (h (n)). i i Por lo tanto, h satisface la misma recursi n que hi de donde, por la unicidad en el Teorema 3.3, o i hi = h para cada i I. Por lo tanto, i h (i, n) = h (n) = hi (n) = h(i, n) i para todo i I y n , lo cual garantiza que h = h. 63

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

4.2 Teorema (Suma de naturales). Existe una unica operaci n + : , donde denotamos o m+0 =m para m , m + n+ = (m + n)+ para m, n .

como operaci n de recursi n F : tal que F (m, x) = x+ . Al aplicar el Teorema 4.1 (con o o A = I = ), existe una unica funci n + : tal que o +(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. Demostraci n. (a) m + 1 = m + 0+ = (m + 0)+ = m+ por la denici n de + y 1. o o (b) Por inducci n sobre m. Por denici n de suma, 0 + 0 = 0. Para el paso inductivo, sea m o o + y la segunda por hip tesis inductiva. o

Demostraci n. Tomemos como funci n de t rminos iniciales g : tal que g(m) = m y o o e

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

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 operaci n sucesor n veces al n mero m. o u 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. Demostraci n. La asociatividad es directa de una inducci n sobre p (propuesto en el Ejercicio o o 2.29), de modo que probamos la conmutatividad. Su prueba no consta de jar una de las variables y proceder por inducci n en la otra, sino que es necesario hacer inducci n en ambas variables, solo o o n + m) (es importante la presencia del cuanticador en esta inducci n). o 64 que se hace una inducci n a la vez. Procedamos por inducci n sobre n y probemos m (m + n = o o

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 inducci n sobre o 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 +.

m n = (m, n), tal que

4.5 Teorema (Producto de naturales). Existe una unica funci n : , donde denotamos o m0 =0 para m , m n+ = m n + m para m, n .

Tambi n escribimos mn = m n. e

Demostraci n. Analizando la recursi n del enunciado, notamos que los pasos recursivos se dan o o sobre n mientras que m permacene jo. Lo anterior da la idea de una recursi n m ltiple controlada o u recursi n es F : tal que F (m, x) = x + m. Luego, por el Teorema 4.1, existe una unica o (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 por m, donde la funci n de t rminos iniciales es g : tal que g(m) = 0 y la operaci n de o e o

funci n : tal que o

Demostraci n. (a) m 1 = m 0+ = m 0 + m = 0 + m = m por denici n de producto y el o o Lema 4.3. (b) Por inducci n sobre m. Para el paso base, es claro que 0 0 = 0. Ahora sea m tal que o 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 par ntesis en estos casos). De lo anterior se inere e que m n representa el n mero que resulta de sumar m una cantidad n de veces. u 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. Demostraci n. (a) Fijemos m, n y procedamos por inducci n sobre p. o o 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+ (b) Fijemos m, n y procedamos por inducci n sobre p. o 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+ Def. (a) Hip. ind. Def. . Def. + Def. Hip. ind. Asoc. + Def. .

66

Para nalizar la secci n, veamos algunas propiedades que relacionan las operaciones aritm ticas o e con la desigualdad. 4.8 Lema. Dados m, n, p , (a) m < n m + n < m + p. (b) Si p = 0 entonces m < n m p < n p (c) m = n m + p = n + p. (d) Si p = 0 entonces m = n m p = n p. (e) (a) y (b) se cumplen con en vez de <. Demostraci n. (a) Probemos por inducci n sobre p. El paso base es inmediato. Para el paso o o 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 cuales contradicen la hip tesis. Por lo tanto, m < n. o primer caso e se sigue n + p < m + p y del segundo caso se tiene m + p = n + p, los

(c) es inmediato. Para el recproco, supongamos m + p = n + p. Por tricotoma, m < n los cuales contradicen la hip tesis. Por lo tanto, m = n. o (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 .

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

67

(d) Los incisos (b) y (d) del Lema 4.8. 2.30 Ejercicio. Pruebe que existe una unica funci n e : , donde se denota mn = e(m, n), tal que o m0 = 1 para m , n+ n m = m m para m, n . Adem s, para m , demuestre que a (a) m1 = m. (b) Si m = 0 entonces 0m = 0. (c) 1m = 1. (d) m2 = m m. 2.31 Ejercicio. Seg n el Ejercicio 2.30, demuestre los siguientes enunciados para m, n, p . u (a) mn+p = mn mp . (b) (m n)p = mp np . (c) (mn )p = mnp . Sugerencia: Proceda por inducci n sobre p. o 2.32 Ejercicio. Pruebe la unicidad del Teorema 4.1 utilizando inducci n, es decir, suponga que h : I A o y h : I A cumplen la recursi n, je i I y pruebe que h(i, n) = h (i, n) para todo n . o 2.33 Ejercicio. Dado m, n , si m n existe un unico tal que m + = n. A este unico se le o dene como n m. Sugerencia: Para la existencia utilice inducci n sobre n. 2.34 Ejercicio. Dados m, n , (a) m n (m + = n). (b) m < n ( = 0 m + = n). 2.35 Ejercicio. Con la denici n de resta en el Ejercicio 2.33, dados m, n, p pruebe que o (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 = 0. Pruebe que existen unicos q, r tal que m = nq + r y r < n. Sugerencia: Inducci n sobre m para probar existencia. Para la unicidad, utilice tricotoma para probar la o 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 secci n 2.1, reemplace s(n) por n+ ). Dados x, y N denimos o x N y zN (x +N z = y). Pruebe que existe una unica funci n biyectiva f : N tal que para todo o 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 Num ricos e

El n de esta secci n es s lo informativo, por lo cual no proponemos pruebas ni ejercicios. o o Al probar que satisface los axiomas de Peano, todos los resultados de teora de n meros, como u el Teorema Fundamental de la Aritm tica, se cumplen para . Luego, los n meros enteros representa e u una extensi n de los naturales donde se a aden sus inversos aditivos. La forma de obtener inversos o n aditivos es mediante restas y es claro que todo n mero entero es la resta de dos naturales. La idea de u que innitos 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 relaci n de equivalencia: al notar que 2 4 = 1 3 se tiene 2 + 3 = 1 + 4. Por lo tanto, o se dene como relaci n en tal que o la construcci n de Z es partir del conjunto en donde (m, n) reprenta la resta m n. N tese o o

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

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

equivalencia [(m, n)] est formada por pares ordenados cuyas restas de primera componente con a 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 denir 2 = [(2, 4)] , 0 = [(3, 3)] , de modo que

es una relaci n de equivalencia en . Es f cil observar que, dados m, n , la clase de o a

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

Se dene 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 est n bien denidas y satisfacen todas las propiedades conocidas de las operaa desigualdad se dene como ciones de enteros. Especcamente, 0Z = [(0, 0)] , 1Z = [(1, 0)] y [(m, n)] = [(n, m)]Z . La

[(m, n)] <Z [(r, s)] m + s < n + r. El nivel de complejidad de la construcci n de Z hace que Z, m s a n, son disjuntos, por lo cual o a u el cero de es distinto que el cero de Z. Este problema solo surge de la construcci n, pero te ricao o funci n lo que dice es que E (n) es el objeto en Z que representa al n mero n, de modo que ran(E ) o u es un subconjunto de Z que se comporta como los naturales, m s a n, ran(E ) = Z+ {0Z }. a u La denici n de Q es m s familiar. Dados a, b Z con b = 0Z asociamos (a, b) al racional a . Es o a b
1 2

mente se puede solucionar. Consideramos la funci n E : Z tal que E (n) = [(n, 0)] . La o

claro que innitos pares ordenados representan al mismo racional, por ejemplo pares ordenados que representen un mismo racional. N tese que o Denimos entonces (a, b) (c, d) a Z d = b Z c, es una relaci n de equivalencia en Z (Z o (a, b), (c, d) Z (Z
a b 1 2

2 4

3 6

An logo a la construcci n de Z, formamos una relaci n de equivalencia que relacione todos los a o o =
2 4

= .

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

{0Z }).

{0Z })/ . Dados a, b Z con b = 0, naturalmente se denota c ad +Z bc a +Q = , b d bd

0Z 1Z , 1Q 1Z a 1Z , b a b

{0Z }, de modo que denimos Q = (Z (Z = [(a, b)], de donde se dene a c ac Q = . b d bd

Dichas operaciones est n bien denidas y cumplen todas las propiedades conocidas sobre Q. M s a a a n, 0Q = u = =
b y ( a )1 = a , la ultima con a, b Z {0Z }. Para la desigualdad, b

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

ad <Z bc] [bd <Z 0Z

ad >Z bc],

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

An logo a la situaci n con Z, Z a o que representa los enteros en Q.

Q, pero se tiene que la funci n EZ : Z Q, tal que EZ (a) = a , o 1

70

La construcci n de R es un poco distinta, en vista de que se busca realizar la continuidad que o no se cumple en Q. En An lisis se prueba que todo n mero real x es el supremo del conjunto a u (, x) Q, el cual es una secci n en Q no trivial (es decir, no es ni Q) y acotada superiormente o y sin m ximo, existe un real x tal que X = (, x) Q. a o a 5.1 Denici n. Una cortadura de Dedekind en Q es una secci n no trivial de Q que est acotada o superiormente y que no tiene m ximo. a Como todo n mero real est representado por una cortadura de Dedekind, se dene u a R = {X Q / X cortadura de Dedekind.} , de donde se siguen nociones naturales de +R , R y <R . Tambi n sucede que Q e R y que se tiene que no tiene m ximo. Recprocamente, para toda secci n X no trivial de Q, acotada superiormente a o

propiedades de Q como subconjunto de R.

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

Finalmente denamos el conjunto de n meros complejos C. Dado que un complejo se comu Aqu tambi n R e pone en una parte real y una imaginaria, se dene C = R R donde se denota a + bi = (a, b). C pero la funci n ER : R C tal que ER (a) = a+0i representa los reales en C. o

las contenciones. Los conjuntos N, Z, Q, R y C satisfacen todas las propiedades conocidas (y por conocer) en matem ticas, lo cual asumiremos de aqu en adelante a lo largo del texto. Por la a naturaleza de y su importancia en la Teora de Conjuntos, conservamos su denici n e identidad, o por lo cual = N (aunque ambos conjuntos satisfacen los axiomas de Peano y son isomorfos mediante la funci n ER EQ EZ E ). o

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

Como en teora se trabaja con Z Q R C, se redene R = ranER , Q = ran(ER EQ ),

71

72

Captulo 3

Equipotencia

Una cualidad importante a la hora de trabajar con conjuntos es conocer su cantidad de elementos, lo cual dene su tama o. Los conjuntos nitos se toman como aquellos cuyos elementos se n pueden contar con un n mero natural, pero cuando se tratan conjuntos innitos la noci n no es tan u o natural como contar objetos. Por ejemplo, a pesar de que Q contiene estrictamente a Z, se tiene que ambos tienen el mismo tama o de , pero R supera el tama o de estos conjuntos. De la misma n n forma, as el conjunto de n meros naturales pares est contenido estrictamente en , ambos tienen u a el mismo tama o. n El estudio del tama o de los conjuntos recibe el nombre de equipotencia y aclara, con denin ciones muy sencillas y f ciles de interpretar, la relaci n entre la cantidad de elementos de los cona o juntos. De la misma forma, se logra hacer una clasicaci n de los tama os posibles de un conjunto o n (tanto nitos como innitos) mediante los n meros cardinales. A medida que se avanza en este esu tudio aparecer n nociones intuitivas que solo pueden justicarse mediante el Axioma de Elecci n, a o el cual introducimos en el captulo posterior a este.

3.1. Conjuntos nitos y el Principio del Palomar

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

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

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

f1 (2) = c, y f2 : P tal que f2 (n) = 2n para cada n . f1 y f2 comparten una propiedad especca, ambas son biyectiva, lo cual permite emparejar todos los elementos entre los conjuntos

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

3 con A1 y con P , respectivamente, y concluir que 3 tiene el mismo tama o que A1 y tiene el n mismo tama o que P . n Lo anterior permite intuir un hecho general, que dos conjuntos tienen el mismo tama o cuando n pueden relacionarse mediante una funci n biyectiva. Una funci n biyectiva f : A B permite o o emparejar todos los elementos de A con todos los elementos de B de modo que un elemento de cada conjunto tiene una unica pareja. Dicho emparejamiento indica entonces que A y B tienen la misma cantidad de elementos. 1.1 Denici n (Equipotencia). A B denota f (f : A B biyectiva)), lo cual se lee A es o equipotente con B. A B denota (A B).

3 A1 y P , lo cual signica que A1 tiene el mismo tama o que 3 (tienen 3 elementos) y P n tiene el mismo tama o que , es decir, hay tantos naturales pares como n meros naturales. n u

Por lo tanto, A B representa que A y B tienen el mismo tama o. De los p rrafos anteriores, n a

El siguiente resultado ilustra propiedades de identidad natural que debe cumplir la relaci n de o 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. Demostraci n. (a) Claramente IA : A A es biyectiva. Por lo tanto, A A. o (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.

As, A tiene n elementos cuando tiene el mismo tama o que n, es decir, cuando A n. n 1.3 Denici n (Conjunto nito). Sea A un conjunto. o (a) Dado n , A tiene n elementos signica A n. (b) A es nito sii n (A n) (es decir, tiene n elementos para alg n n ). u (c) A es innito sii no es nito, es decir, n (A n).

est formado por los naturales menores que el (de 0 a n 1) podemos decir que tiene n elementos. a

Dado n , vamos a denir qu signica que un conjunto A tenga n elementos. Como n e

n n, por lo cual todos los naturales son nitos. Intuitivamente sabemos que es innito pero, para probarlo, se debe garantizar n ( n). Esto no se prueba directamente sino que es consecuencia del denominado principio del palomar. Antes de enunciar el principio, veamos el siguiente preliminar. 1.4 Lema. Dado n , f (f : n n + 1 sobre). Esto implica que n n + 1. ranf = = 1, por lo cual f no es sobre. Probemos el paso inductivo por contrarrecproco: sea sobre. Consideremos los siguientes casos: Demostraci n. Procedamos por inducci n sobre n. Para n = 0, si f : 0 1 entonces f = y o o

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

n tal que existe f : n + 1 n + 2 sobre y veamos que existe una funci n h : n n + 1 o B. Claramente A

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

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

y B son subconjuntos disjuntos de n + 1 y A B = n + 1. Adem s, como n B, entonces a

A = (n+1) f 1 [{n+1}] = f 1 [n+2] f 1 [{n+1}] = f 1 [(n+2) {n+1}] = f 1 [n+1]. Como f es sobreyectiva, entonces f [A] = f [f 1 [n + 1]] = n + 1. Como A n denimos h : n n + 1 tal que h(k) = f (k) si k A, 0 si k n A. 75

Luego ranh = h[n] = h[A (n A)] = h[A] h[n A] = f [A] {0} = (n + 1) {0} = n + 1.

Por lo tanto, h : n n + 1 es sobre. Caso f (n) = n + 1. Como n+1 n+2 = ranf entonces existe a < n+1 tal que f (a) = n+1. Como f (n) = n + 1 entonces a = 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. Denamos f : n + 1 n + 2 tal que n + 1 si k = n, f (k) = b si k = a, f (k) si k (n + 1) Luego ranf = f [n + 1] = f [{a, n} ((n + 1) = {b, n + 1} f [(n + 1)

{a, n}.

{a, n})] = f [{a, n}] f [(n + 1) {a, n}]

{a, n}]

{a, n}] = f [{a, n}] f [(n + 1)

= f [{a, n} ((n + 1)

{a, n})] = f [n + 1] = ranf = n + 2.

Por lo tanto, f : n + 1 n + 2 es una funci n sobre y cumple f (n) = n + 1. Luego, al o sobre.

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

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 funci n f : n m donde f (k) es el palomar donde entra la paloma k. Luego, o si m < n, el principio del palomar dice que f no es inyectiva (pues habr n dos palomas k1 y k2 en a el mismo palomar, es decir, f (k1 ) = f (k2 )). Dejando de lado las palomas, el principio enuncia que, enunciarlo, seg n el Ejercicio 3.3, es que si m < n entonces no existe f : m n sobreyectiva (lo u cual generaliza al Lema 1.4). Incluso este enunciado lo podemos presentar de forma m s general. a 1.5 Teorema (Principio del Palomar). Sea n y A n. Entonces f (f : A n sobre). Esto si m, n son tal que m < n, entonces no existe f : n m inyectiva. Una forma m s general de a

implica A n.

76

Demostraci n. Sea A o

denamos h : n n + 1 tal que

n y supongamos que existe f : A n sobreyectiva. Sea B = n f (k) si k A, n si k B.

Ay

h(k) =

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 p n tal que p A, es decir, p B, por lo cual l = g(p). /

n entonces existe

Por lo tanto, existe una funci n h : n n + 1 sobre, lo cual contradice el Lema 1.4. o 1.6 Corolario. Dados A y B conjuntos, (a) A nito B (b) B
A (A A (A

B).

B) A innito.

(c) es innito. Demostraci n. (a) Supongamos que A es nito, es decir, existe n tal que A n. Luego, o y que B g[B] (ver Ejercicio 3.1). Por el principio del palomar, n g[B]. Ahora, si A B existe g : A n biyectiva. Supongamos B A. Como g es biyectiva, es claro que g[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 =

T , adem s que T a

{0} y s : T tal que s(n) = n + 1. Es f cil ver que s es biyectiva, por lo cual a . Luego, de (b) se sigue que es innito.

Otra consecuencia del principio del palomar es que un conjunto nito solo tiene n elementos para un unico n , es decir, 1.7 Teorema. Si A es nito, entonces !n (A n). Demostraci n. Dado que A es nito, se tiene la existencia del n. Ahora supongamos m, n tal o tricotoma. Si m < n entonces m

que A m y A n. Luego, del Lema 1.2, m n. Por otra parte, m < n m = n n < m por la misma forma, n < m implica m n. Por lo tanto, m = n. 77

n y, por el principio del palomar, m n, lo cual es falso. De

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

1.8 Denici n (Cardinal nito). Si A es nito, |A| denota el unico natural que es equipotente con o Para un conjunto nito A, |A| denota su n mero de elementos. M s adelante damos una noci n u a o

de |A| para el caso en que A sea innito. 1.9 Lema. (a) n (n = |n|) (b) m,n (m n m = n).

(c) Si A y B son nitos, entonces |A| = |B| A B. Demostraci n. (a) Si n entonces n n. Luego, por la denici n de cardinal nito, |n| = n. o o (b) Si m n se sigue |m| = n por la denici n de cardinal nito. Luego, por (a), m = n. El o recproco es trivial. (c) Sean A y B nitos, m = |A| y n = |B|. De la denici n de cardinal nito, A m y B n. Si o |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|. n entonces m<n (C m).
n m<n (C

1.10 Lema. Si n y C

Demostraci n. Por inducci n sobre n, veamos que C o o

nada que probar, pues 0 no tiene subconjuntos propios. Ahora, supongamos que n cumple la armaci n y veamos que tambi n la satisface n + 1. Sea D o e 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 = n, entonces D n y, por hip tesis inductiva, existe m < n < n + 1 tal que D m. o {n}. Claramente D

m). En el caso n = 0 no hay

Caso n D. Sea D = D m < n tal que D h : D m + 1 tal que

n, de donde, por hip tesis inductiva, existe o

m. Luego, existe una funci n f : D m biyectiva. Denamos o h(k) = f (k) si k D , m si k = n.

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

78

1.11 Corolario. Sean A y B conjuntos. (a) Si A B y B es nito, entonces A es nito y |A| |B|. (b) Si A B y A es innito, entonces B es innito. (c) N, Z, Q, R y C son conjuntos innitos. Demostraci n. (a) Sea A B y B nito con n = |B|. Luego, B n, es decir, existe g : B n o g[A] = n entonces A n, de donde A es nito |A| = n = |B|. Por otra parte, si g[A]

biyectiva. Dado que A B, por el Ejercicio 3.1 se tiene A g[A] donde g[A] n. Si n entonces, del Lema 1.10, existe m < n tal que g[A] m. Luego, A m de donde A es nito

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

(b) Supongamos A B con A innito. Si B es nito, de (a) se sigue que A es nito, lo cual es (c) En la secci n 2.5 hablamos que, a pesar de que y N no son el mismo conjunto, satisfacen los o axiomas de Peano y son isomorfos, por lo cual existe una biyecci n entre los dos. Por lo tanto, o N, de donde, como es innito, se tiene que N es innito (ver Ejercicio 3.4). Luego, como N Z Q R C, por (b) todos estos conjuntos son innitos.

3.1 Ejercicio. Sea f : A B biyectiva. Entonces (a) Si C A, entonces C f [C]. (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 = , entonces g (g : B A sobre). (b) Si n y A inyectiva. n, entonces no existe f : n A

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

(c) Si A B y B es nito, entonces no existe f : A B sobre. (d) Si A B y B es nito, entonces no existe f : B A inyectiva. 3.4 Ejercicio. Pruebe los siguientes enunciados.

79

(e) Si f es funci n y A es nito, entonces f [A] es o nito.

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

|A B| = |A| + |B| |A B|. 3.7 Ejercicio. Sean A y B nitos. Pruebe la equivalencia entre las siguientes armaciones. (b) Si A es nito y A B = , entonces |A B| = |A| + |B|. (i) |A| |B|. (ii) f (f : A B inyectiva). (iii) g (g : B A sobre). 3.8 Ejercicio. Sea f : A A. (a) Si A es nito, 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. (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 . (a) A si y solo si A = . (b) Si A n, pruebe que A {x} es nito y halle los posibles valores de |A {x}|. (c) Si A n + 1 y x A, pruebe que A nito y |A {x}| = n. {x} es (c) Si A es nito, entonces A B es nito y |A B| = |A||B|. (d) Si A es nito y xA (x nito), entonces nito. 3.12 Ejercicio. Pruebe: (a) Todo C.P.O no vaco y nito tiene un elemen o to maximal y un minimal. Sugerencia: Inducci n del Ejercicio 3.10. Otra forma de proceder es con el Ejercicio 2.15. (b) Todo C.T.O. no vaco y nito tiene m ximo y a mnimo. (c) Todo C.T.O. nito es C.B.O. (d) Si A, A es un C.T.O nito y n = |A|, entonces A, A n, . Sugerencia: Induc= ci n sobre n. o (e) Si A, A y B, B son C.T.O. nitos, entonces A B A B. = (f) Dar un ejemplo de dos C.B.Os equipotentes y no isomorfos. 3.13 Ejercicio. Sea A . A es

3.10 Ejercicio (Inducci n sobre conjuntos nitos). o Sea (x) una f rmula de ZF. Si o (i) () y (ii)
A A nito

(a) A es nito sii tiene cota superior. entonces AA (A). Sugerencia: Primero pruebe, nito por inducci n sobre n, que A (A n (A)). o (b) Si A es nito y no vaco entonces tiene m ximo. a 3.11 Ejercicio. Sea B un conjunto nito. Pruebe los 3.14 Ejercicio. Si A = , pruebe que {X / X A} siguientes enunciados con base en la inducci n del es clase propia. Sugerencia: Suponga que es conjunto o Ejercicio 3.10. y pruebe que su uni n es el universo. o

bA ((A) (A {b})), /

3.2. Operaciones y equipotencia

En esta secci n vamos a mostrar algunos resultados de c mo se comporta la equipotencia reo o specto a ciertas operaciones de conjuntos, tanto para conjuntos nitos como innitos. 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). Demostraci n. Supongamos A C y B D, de donde existen f : A C y g : B D o biyectivas. (a) Si AB = C D = entonces f g : AB C D es biyectiva, por lo cual AB C D. (b) Dena 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, denamos h : C D A B tal que h(u, v) = (f 1 (u), g1 (v)) para u C y v D. Veamos h h = IAB : Como ambas funciones tienen el mismo dominio, basta ver que h(h(x, y)) = (x, y) para x A y y B. En efecto, h(h(x, y)) = h(f (x), g(y)) = (f 1 (f (x)), g1 (g(y))) = (x, y). h h = ICD : Como ambas funciones tienen el mismo dominio, basta ver que h(h(u, v)) = (u, v) para u C y v D. En efecto, h(h(u, v)) = h(f 1 (u), g1 (v)) = (f (f 1 (u)), g(g1 (v))) = (u, v). Por lo tanto, h es inversa a iquierda y a derecha de h, de donde h es biyectiva y h1 = 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

f x-

B
g

C
f

- D 6
g

C Denamos H :
CD

H(x)

? - D

H(y)

- B
C D,

izquierda y a derecha de H.

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

veamos que es inversa a

81

H H = I A B : Si x A B entonces H(H(x)) = H(g x f 1 ) = g1 g x f 1 f = IB x IA = x. H H = I C D : Si y

CD

entonces

H(H(y)) = H(g1 y f ) = g g1 y f f 1 = ID y IC = y. Por lo tanto, H es biyectiva y H 1 = H. Luego A B

C D.

2.2 Lema. (a) A 0. (b) A {x} A. (c) A (B C) (A B) C. (d)

A

(e)

1A

A.
AB C

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

n+1 A

A C B C.

1.

n A A.

Demostraci n. (a) A = = 0. o (b) Sea f : A A {x} tal que f (a) = (a, x) para a A. Denamos f : A {x} A tal que f (a, x) = a para todo a A. Veamos que f es inversa a izquierda y a derecha de f . f f = IA : Dado a A, f (f (a)) = f (a, x) = a. f f = IA{x} : Dado a A, f (f (a, x)) = f (a) = (a, x). Por lo tanto, f es biyectiva y f 1 = f . Luego, se sigue el resultado. (c) Sea g : A (B C) (A B) C tal que g(a, (b, c)) = ((a, b), c). Es f cil ver que a g : (A B) C A (B C), denida por g((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.
A

(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 a la sucesi n de longitud 1 formada por A. Sea h : A 1 A o tal que h(a) = a . Veamos que la funci n h : 1 A A, denida por h(x) = x(0) para x 1 A, o es inversa a izquierda y a derecha de h.

82

o h h = IA : Dado a A, h(h(a)) = h( a ) = a (recuerde que a representa una funci n con dominio 1 tal que la imagen de 0 es a). h h = I 1 A : Dado x 1 A existe a A tal que x = a . Luego, h(h(x)) = h(x(0)) = h(a) = a = x. Por lo tanto, h es biyectiva y 1 A A. (f) Supongamos A B = . Sea F : x v
AB C. B C, AB C BC

Denamos F :

AC

Veamos que F es inversa a izquierda y a derecha de F . F F = I AB C : Dado x

AB C,

la cual est bien denida porque u v es funci n al tener sus dominios disjuntos. a o

AC

AB C

tal que F (u, v) = u v para u

BC

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

AC

F (F (x)) = F (xA, xB) = xA xB = x. F F = I( A C B C) : Dado u A C y v

B C,

F (F (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 justicamos (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 sustituci n. o 2.3 Teorema. Si A y B son nitos y disjuntos, entonces A B es nito y |A B| = |A| + |B|. Demostraci n. Un modo de prueba de este resultado se propone en el Ejercicio 3.11 mediante la o inducci n sobre conjuntos nitos propuesta en el Ejercicio 3.10. Veamos una prueba directa (sin o inducci n) del enunciado. o 83

inyectiva.

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

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

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 nito y |A B| = m + n = |A| + |B|. 2.4 Teorema. Si A y B son nitos, entonces A B es nito y |A B| = |A||B|. Procedamos por inducci n sobre n. Para n = 0, m 0 = = 0 = m0. Para el paso inductivo, sea o Demostraci n. Veamos primero que m n mn ( como producto cartesiano) para m, n . o

n tal que m n mn. Luego,

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

Por lo tanto, del Teorema 2.3 se sigue que (mn)(m{n}) mn+m, de donde m(n+1) Ahora, sean A y B nitos tal que m = |A| y n = |B|. Luego, de Lema 2.1, A B m n mn, de donde A B es nito y |A B| = mn = |A||B|. 2.5 Teorema. Dados A y B nitos,
BA

es nito y | B A| = |A||B| .

Demostraci n. Veamos primero que n m mn para m, n . Por inducci n sobre n, si n = 0 o o 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 nitos tal que m = |A| y n = |B|. Luego,

B

A n m mn ,

por lo cual

BA

es nito y | B A| = mn = |A||B| .
BA

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 el Ejercicio 3.28. en mn sin necesidad de apelar a la inducci n. Para el modo de hacerlo, ver o

2.6 Teorema. Dado un conjunto A, (a) P(A) A 2. (b) Si A es nito, entonces P(A) es nito y |P(A)| = 2|A| . Demostraci n. (a) Dado B A denimos la funci n caracterstica de B (respecto a A) como o o B : A 2 x B (x) = 1 si x B, 0 si x A B.
A2

Denamos : P(A)

Claramente xA (B (x) = 1 x B), por lo cual 1 [{1}] = B. b

A2

P(A), denida por G(v) = v 1 [{1}], es inversa a izquierda y a derecha de . G = IP(A) : Dado B P(A), G((B)) = G(B ) = 1 [{1}] = B. B

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

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,

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 nito, A 2 es nito y, por (a), P(A) es nito y |P(A)| = | A 2| = 2|A| .

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

85

Analizamos a continuaci n el tama o de algunos conjuntos innitos respecto a . o n 2.7 Teorema. (a) . (b) Z . Demostraci n. (a) Consideremos el siguiente resultado de teora de n meros: o u (i) Dado a {0} existen unicos m, n tal que a = 2m (2n + 1). {0} tal que F (a) = (m, n) donde m y n son los {0}, tal

Podemos denir entonces F : que F (m, n) = 2m (2n

unicos naturales tal que a = 2m (2n + 1). Veamos que la funci n F : o + 1), es inversa de F .

F F = I

{0} :

Claramente, F (a) = (m, n), de donde F (F (a)) = F (m, n) = a.

Dado a

{0}, existen unicos m, n tal que a = 2m (2n + 1).

F F = I : Dado m, n , F (F (m, n)) = F (2m (2n + 1)) = (m, n), donde la ultima igualdad est justicada por la unicidad en (i). a

(b) Denamos f : Z N tal que f (a) = 2a si a 0, 2|a| 1 si a < 0.

Es f cil ver que f es una biyecci n, por lo cual Z N . a o

En la secci n 3.3 probamos que Q . La respuesta a si R tiene el mismo tama o que marca, o n para muchos, el comienzo del estudio de la teora de conjuntos. o 2.8 Teorema (Cantor, 1873). R . M s a n, no existe una funci n f : R sobreyectiva. a u Demostraci n. Sea f : R una funci n arbitraria y veamos que no es sobre. Como ranf = o o

{f (n) / n } R y hay una forma en la que se pueden expresar los reales mediante una unica expansi n decimal, para n podemos escribir o

f (n) = xn , xn xn . . . xn . . . 0 1 2 j 86

Al hacer una lista de los f (n), obtenemos una matriz innita como se ilustra a continuaci n o f (0) = f (1) = f (2) = f (n) = x0 , 0 x1 , 0 x2 , 0 xn , 0 x0 1 x1 1 x2 1 xn 1 x0 2 x1 2 x2 2 xn 2 ... ... ... ... ... ... ... ... ... ... x0 j x1 j x2 j xn j ... ... ... ... ... ... ... ... ... ... x0 n x1 n x2 n xn n ... ... ... ... ... ... ... ... ... ...

De esta matriz nos interesamos en tomar el n mero formado por la diagonal y = x0 , x1 x2 . . . xn . A u n 0 1 2 partir de este n mero, formamos z = z0 , z1 z2 . . . zn . . . donde u zn = 7 si xn = 7, n 1 si xn = 7. n

que z ranf , por lo cual existe n tal que z = f (n), es decir,

Para ver que f no es sobreyectiva, basta probar que z ranf . Por reducci n al absurdo, supongamos / o z0 , z1 z2 . . . zj . . . = xn , xn xn . . . xn . . . , 0 1 2 j

De esto se nota facilmente que n (zn = xn ). n

de donde j (zj = xn ), en particular, zn = xn , lo cual contradice n (zn = xn ). Esta contradicn n j la matriz en la n- sima componente (que es xn ), de ah es donde resulta zn = xn . e n n

ci n se deriva de que, si z = f (n), el n- simo decimal de z (que es zn ) intersecta a la diagonal de o e

La t cnica de la prueba anterior se conoce como diagonalizaci n, pues de la diagonal de la e o matriz se obtiene un objeto por fuera de la lista. Dicha t cnica se extiende incluso a formas en las e que no es necesario dibujar una matriz, como se ilustra en la siguiente demostraci n. o 2.9 Teorema. A P(A). M s a n, no existe una funci n f : A P(A) sobreyectiva. a u o 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 contradicci n. / o 87 Demostraci n. Sea f : A P(A) y Z = {x A / x f (x)}. Veamos que Z ranf . Supono / /

tanto, del Teorema 2.9 se sigue que no existe f : R sobreyectiva.

En la secci n 3.3 probamos, de manera independiente al Teorema 2.8, que R P(). Por lo o

Para terminar la secci n, veamos que R tiene tantos elementos como cualquier intervalo abierto o 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. Demostraci n. (a) Directo de que la funci n f : (0, 1) (a, b), denida por f (x) = (ba)x+a, o o es biyectiva. (b) La funci n arctan : ( , ) R es biyectiva, por lo cual R ( , ). De (a) se sigue o 2 2 2 2 ( , ) (0, 1), por lo cual R (0, 1). 2 2 (c) Directo de (a) y (b).

3.15 Ejercicio. Dado un conjunto A, pruebe que 1. A B B A. 2.

(d) A B es nito y |A B| = |A| + |B| |A B| o Sugerencia: Escriba A B como una uni n disjunta. 3.18 Ejercicio. Si A es nito y B es innito, pruebe que B A es innito. 3.19 Ejercicio. Sea A nito tal que xA (x nito). Es claro que A es nito por Ejercicio 3.11. Pruebe que (a) Si x,yA (x = y x y = ) entonces |x|. | A| =
xA

1. 1 1.

3. Si A = entonces A 0. 4.
A

3.16 Ejercicio. Demuestre (a) Lema 2.1(d). (b) Existe una funci n f : A P(A) inyectiva. o 3.17 Ejercicio. Sean A y B conjuntos nitos. Pruebe: (a) B A y A B son nitos. A| = |B| |A|.

(b) |

A| =

(1)(|C|+1)
CP(A) {}

C .

Sugerencia: Inducci n del Ejercicio 3.10. o 3.20 Ejercicio. Pruebe que A es nito si y solo si A es nito y xA (x nito).

(b) Si A B entonces |B

(c) |B A| = |B| |A B| (sin necesidad que 3.21 Ejercicio. Pruebe los siguientes enunciados. A B).

88

(a) Si A B es nito, entonces A y B son nitos. (b) Si A B es nito y A = , entonces B es nito. (c) Si A B es nito y A = , entonces B es nito. (d) Si B es nito y x,yB (x = y), entonces A es nito. (e) Si P(A) es nito entonces A es nito. 3.22 Ejercicio. Considere la funci n o T : n T (n) = (Recordar que T (n) =
n(n+1) ). 2 n A

(d) Si k = 0 y x A, entonces Pk (A) Pk (A {x}) Pk1 (A {x}) donde la uni n es disjunta. o (e) Si n y k n entonces Pk (n) n k Sugerencia: Inducci n sobre n e inciso anterior. o (f) Si A es nito entonces Pk (A) es nito y |Pk (A)| = 3.25 Ejercicio. Sea 0
|A| k

si k |A|. si k > |A|.

j
j=1

Biy(A, B) = {f / f : A B biyectiva} y Biy(A) = Biy(A, A). Pruebe: (a) Si A C y B D entonces Biy(A, B) Biy(C, D).

Probar que:

(a) T es estrictamente creciente.

(b) Dado a existe un unico n tal que (b) Si x A entonces T (n) a < T (n + 1). A este unico n lo de Biy(A, B) notaremos por pa . (c) Probar que la funci n o F : (m, n) F ((m, n)) = T (m + n) + m es biyectiva. Sugerencia: Construya una inversa denida por F (a) = (a T (pa ), pa (a T (pa ))). 3.23 Ejercicio. Pruebe: (a) Existe f : (0, 1) R tal que xQ (f (x) Q) y xQ (f (x) Q ).

Biy(A

yB

{x}, B

{y})

donde la uni n es disjunta. o (c) Dado n , Biy(n) n!. Sugerencia: Inducci n sobre n e inciso anterior. o (d) Dado A nito, Biy(A, B) es nito y |Biy(A, B)| = 3.26 Ejercicio. Sea Iny(A, B) = {f / f : A B inyectiva} y Iny(A) = Iny(A, A). Pruebe: |A|! si A B, 0 si A B.

(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 sucesi n n+1 nZ+ . Pruebe cada o Biy(A, C) donde la uni n es o equipotencia con [0, 1] como rango, mandando a (b) Iny(A, B) = CB 1 1 1 e u n+1 a n o a n1 s g n el caso. disjunta. (c) Cualquier intervalo no vaco, excepto [a, a], es (c) Si B es nito, entonces Iny(A, B) es nito 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) = (c) P1 (A) = {{a} / a A}. Iny(A) cuando A es nito.

89

3.27 Ejercicio. Dena Sob(A, B) = {f / f : A B sobre} y Sob(A) = Sob(A, A). Pruebe: (a) Si A C y B D entonces Sob(A, B) Sob(C, D). (b) Si y B entonces Sob(A, B) Sob(C, B
C A

nk (f) n! = k=0 n(1) el Ejercicio 3.25.

n k

k n . Sugerencia: Use

(g) Si n > m entonces

m

(1)mk
k=0 j<m

m k

n j k = 0. j

{y})

u Sugerencia: Halle |Sob(n, m+1)| seg n (c) y (d) e iguale ambas ecuaciones resultantes. 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 = 0, la funci n h : A B , denio da por h(x, y) = f (x)n + g(y), es inyectiva y ranh = mn. (c) Si m 1, (d) Si n = 0,
B B

donde la uni n es disjunta. o (c) Sob(A, B) =

A

B
D B

Sob(A, D) donde la

uni n es disjunta. o (d) Si n, m y n m, entonces Sob(n, m) es nito y

m

|Sob(n, m)| =

(1)mk
k=0

m n k . k

o Sugerencia: Inducci n general sobre n. Use el inciso anterior y el Ejercicio 3.24. (e) Si A es nito entonces Sob(A, B) es nito y, si n = |A|, entonces Sob(A, B)| = m (1)mk m k n si n = |B| |A|, k | k=0 0 en caso contrario.

A mn .

A mn .

(e) Si m > 1 y n = 0, la funci n t : B A , o f (x(g 1 (k)))mk , es indenida por t(x) = yectiva y rant = mn .
k<n

3.3. Numeros cardinales

En esta secci n buscamos extender la noci n de |A| para cualquier conjunto A, independiente o o de que sea nito o no. 3.1 Denici n (Cardinal). Para un conjunto A se introduce la notaci n |A|, cardinal de A, tal que o o satisface las siguientes propiedades: (a) n (|n| = n). (b) A B |A| = |B|. Decimos que es un (n mero) cardinal si A ( = |A|). u Luego, un n mero cardinal es un objeto que mide el tama o de los conjuntos. En matem ticas u n a 90 Intuitivamente, |A| denota el tama o de A, es decir, representa el n mero de elementos de A. n u

determinar sus propiedades b sicas. Adem s, como se necesitan muchos elementos1 de teora de a a en matem ticas en general) no es necesario denirlo, sino solo tomarlo como una referencia notaa cional para abreviar la escritura de la equipotencia, como se propone en (ii). El siguiente resultado deja claro que la Denici n 3.1 realmente extiende la Denici n 1.8. o o 3.2 Lema. Dado n , (a) Si A es nito, las deniciones 1.8 y 3.1 para |A| coinciden. (b) Todo n es un n mero cardinal. u Demostraci n. (a) Dado A nito, denotemos |A|1 seg n la Denici n 1.8, es decir, si llamamos o u o A n, por Denici n 3.1 se sigue |A|2 = |n|2 = n = |A|1 . o

no es necesario dar una denici n precisa de |A|, pues s lo bastan las propiedades (i) y (ii) para o o

conjuntos para denir |A|, no ofrecemos su denici n. M s a n, para los resultados de este texto (y o a u

n = |A|1 , es el unico n tal que A n. Sea |A|2 seg n la Denici n 3.1. Luego, como u o

(b) Como |n| = n entonces A (|A| = n), por lo cual n es un cardinal. Como todo conjunto nito tiene como cardinal un n mero natural, damos la siguiente clasiu caci n de los n meros cardinales. o u 3.3 Denici n. Dado un cardinal , decimos que es un cardinal nito si . De lo contrario, o El siguiente lema aclara la importancia de la clasicaci n anterior. o 3.4 Lema. Dado A conjunto, (a) |A| es cardinal. (b) A es nito sii |A| es cardinal nito. Demostraci n. (a) Directo de la Denici n 3.1. o o (b) Si A es nito entonces |A| es un n mero natural, por lo cual es un cardinal nito. Recprocau |n| = n = |A|. Por la Denici n 3.1 se sigue A n, lo cual garantiza que A es nito. o
1

decimos que es un cardinal innito. Denotamos 0 = ||.

(c) A es innito sii |A| es cardinal innito. (d) 0 es cardinal innito.

mente, si |A| es cardinal nito, entonces |A| . Llamemos n = |A|. Luego, n , de donde

Con base en el axioma de Reemplazamiento, adem s de el axioma de Regularidad o el axioma de Elecci n a o

91

(c) Directo de (b). (d) Como es innito, entonces 0 = || es un cardinal innito por (c).

0 , el n mero que mide el tama o de los numeros naturales, juega un papel representativo para u n medir el tama o de muchos conjuntos innitos. n 3.5 Ejemplo. (a) | | = |N| = |Z| = 0 . En el Corolario 3.17 probamos |Q| = 0 . (b) |R| = 0 , pues R . (c) |P(A)| = |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 noci n de cardinal extiende el concepto de n mero natural, tambi n podemos exo u e tender la suma, producto y exponenciaci n de naturales para n meros cardinales. Esto, m s sus o u a propiedades, se convierte en una herramienta adecuada que permite probar equipotencias entre conjuntos sin necesidad de construir funciones. 3.6 Denici n. Sean y cardinales. o Suma cardinal. Denimos + = |K L|, donde K y L son conjuntos tal que |K| = , |L| = y K L = . Producto cardinal. Denimos = |K L|, donde K y L son conjuntos tal que |K| = y |L| = . Se puede escribir tambi n = . e Exponenciaci n cardinal. Denimos = | L K|, donde K y L son conjuntos tal que |K| = y o |L| = .

El Lema 2.1 es fundamental para determinar que estas operaciones est n bien denidas, pues, sin a importar el K y L que se escojan, el resultado siempre ser el mismo cardinal. En efecto, si K y a 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 |. ( {0})| = |{0}| = 1 y, si P es el conjunto de pares

A diferencia de los n meros naturales, no se puede denir una resta en general para los n meros u u en , | cardinales. Por ejemplo, es claro que | P | = 0 . Esto indica que no habra uniformidad para denir 0 0 .

3.7 Ejemplo. (1) De la Denici n 3.6 es claro que, si A B = , entonces |A B| = |A| + |B|. o 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 exponenciaci n entre m y n como numeros naturales y o 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

cardinales extienden las de los n meros naturales. u (3) 0 + 1 = 0 . Como |

2.4 y exp2 (m, n) = | B A| = exp1 (|A|, |B|) = exp1 (m, n). As, las operaciones denidas para {0}| = 0 , entonces 0 + 1 = |( {0}) {0}| = || = 0 .

|A| +1 |B| = m +1 n por Teorema 2.3, m 2 n = |A B| = |A| 1 |B| = m 1 n por Teorema

lo, A = {0} m y B = {1} n), Luego, de la Denici n 3.6, m +2 n = |A B| = o

pero como cardinales. Tomemos A y B disjuntos tal que m = |A| y n = |B| (por ejemp-

(4) 0 + 0 = 0 . Denotemos por P el conjunto de los pares en y por I el conjunto de impares |P I| = || = 0 .

en . Es claro que ambos conjuntos son disjuntos y tienen tama o 0 , por lo cual 0 + 0 = n

(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 = . En efecto, si A es un conjunto tal que = |A|, entonces |A| = |P(A)|, es decir, = 2 . Los n meros cumplen tambi n las siguientes propiedades aritm ticas de los naturales. u e e 3.8 Teorema. Dados , y cardinales, (a) + = + . (b) + ( + ) = ( + ) + . (c) = . 93 (d) ( ) = ( ) . (e) ( + ) = + . (f) + = .

(g) ( ) = . (h) ( ) = . (i) + 0 = . (j) 0 = 0. (k) 1 = .

(l) 0 = 1. (m) = 0 0 = 0. (n) 1 = . (o) 1 = 1. (p) = 0 ( = 0 = 0).

Demostraci n. Tomemos K, L y M conjuntos disjuntos entre s tal que = |K|, = |L| y o = |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.
LM K

(f) Del Lema 2.2, (g) Basta probar

LK
MK

M K.

Luego, al tomar cardinales, + = .

M (K

L) F :

M L. Denamos L) M K M L v F (v) = (1 v, 2 v)

M (K

donde 1 : K L K tal que 1 (x, y) = x y 2 : K L L tal que 2 (x, y) = y. Sea F :

MK

M L M (K L) (g1 , g2 ) F ((g1 , g2 )) = g1 g2

(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 F es inversa a izquierda y a derecha de F . 94

donde, si g1 : M K y g2 : M L, entonces g1 g2 : M K L tal que, para w M ,

F F = I M (KL) : Dado v

M (K

El dominio de esta ultima funci n es M y, dado x M , o

L), F (F (v)) = F (1 v, 2 v) = (1 v) (1 v).

(1 v) (1 v)(x) = (1 (v(x)), 2 (v(x))) = v(x) donde la ultima igualdad se sigue de (i). Por lo tanto, F (F (v)) = (1 v) (1 v) = v. F F = I M K M L : Dado g1
MK

y g2

M L,

F (F (g1 , g2 )) = F (g1 g2 ) = (1 (g1 g2 ), 2 (g1 g2 )) = (g1 , g2 ) donde la ultima 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 inducci n sobre n. Es claro que 0 + 0 = 0 . Para el o 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

R, pues | R| = (20 )0 = 20 = |R|. 95

denir A

As como denimos A B para indicar que A y B tienen los mismos elementos, vamos 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 noci n. o 3.10 Denici n. Denimos A o B. B como f (f : A B inyectiva), lo cual se lee A est dominado a

por B. Denimos A B como A

B A B, lo cual se lee A est dominado estrictamente por a

Intuitivamente, A B denota que A tiene menos elementos que B. Para precisar la idea de B, ofrecemos el siguiente resultado. B sii CB (A C). B entonces existe f : A B inyectiva. Luego, f : A f [A] es biyectiva,

3.11 Lema. A

Demostraci n. Si A o

Para el recproco, supongamos que existe C B tal que A C. Luego, existe f : A C inyectiva. Por lo tanto, A 3.12 Lema. (a) A (b) (A BB A. C) A C. B.

por lo cual f [A] B y A f [A].

biyectiva. Como C B, podemos escribir f : A B, pero en este caso puede no ser sobre, solo

Demostraci n. (a) Pues IA : A A es inyectiva. o (b) Si A ByB C entonces existen f : A B y g : B C inyectivas. Luego, gf : A C C.

es inyectiva, por lo cual A

El siguiente resultado ser relevante cuando denamos el orden entre cardinales. a 3.13 Lema. Si K K y L L , entonces (a) K L K L .

(b) K L K L 96

Demostraci n. (a) Si K K y L L entonces existen f : K K y g : L L biyectivas. o Si K (composici n de inyectivas), de donde K o (b) K L es K L . El recproco se demuestra analogamente.

L entonces existe h : K L inyectiva. Luego, g h f 1 : K L es inyectiva L K L, lo cual es f cil ver que equivale a K a L K L (por (a)), lo

cual es K L .

3.14 Ejemplo. (a) Si A B entonces A (b) Dados m, n , m

B, pues la funci n IA : A B es inyectiva. o n entonces del Lema 3.11 existe C n n por (1). n m n, lo cual equivale a

Para el recproco, si m n, entonces m n, de donde m (c) Dados m, n , m n m < n. En efecto, m n es m m n m = n, es decir, m < n. (d) R. Es claro de que N R y N.

tal que m C. Luego, C es nito y m = |C| n.

n m n. En efecto, si m

(e) A P(A). La funci n g : A P(A), tal que g(x) = {x}, es inyectiva. Por lo tanto, o A P(A) y, como A P(A), entonces A P(A). (f) Si A B y B es nito, entonces A es nito. En efecto, como A B, por Lema 3.11 existe

C B tal que A C. Como B es nito entonces C es nito y, como A C, se sigue que A es nito. (g) Del anterior se sigue directamente que, si A B y A es innito, entonces B es innito. By

Una pregunta que surge del Lema 3.12 es si se cumple la antisimetra, es decir, si A B trivial, por lo cual a n se da cr dito a quienes intervinieron en su propuesta y demostraci n. u e o 3.15 Lema. Si A B C y A C entonces A B C.

A entonces A y B tienen el mismo tama o. Este resultado, aunque obvio, no tiene una prueba n

Demostraci n. Como A C entonces existe f : C A biyectiva. Denamos las siguientes o sucesiones por recursi n. o A0 = C An+1 = f [An ] Luego se cumple 97 B0 = B Bn+1 = f [Bn ].

(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 inducci n. El caso n = 0 es (ii). Ahora, si n o

y An+1 Bn An , entonces f [An+1 ] f [Bn ] f [An ], lo cual es An+2 Bn+1 An+1 .

n y

(iv) Las sucesiones An

Bn

Bn+1 An+1 Bn An . Por lo tanto, las sucesiones tienen la forma

son decrecientes respecto a . Se sigue de (iii), pues

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 tama o entre s y todos los Bn tienen el mismo tama o entre s. n n Dado n , consideremos Dn = An Bn , D =
n

Dn y E = A0

D. La siguiente gura

ilustra la situaci n, donde cada Dn est sombreado, D est representado por el total de las areas o a a sombreadas (la uni n de los Dn ) y E es la totalidad de areas sin sombra. o D0 B0 A0

D1 D2
D3
D4

B1 B2 B3
B4 A4

A1 A2 A3

98

De las siguientes propiedades, (v) dice que la funci n f hace que los elementos de Dn saltendentro o de Dn+1 . Entonces, al aplicar f al area sombreada, desaparece D0 y, si el area 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 continuaci n. o (v) f [Dn ] = Dn+1 . En efecto, como f es biyectiva, f [Dn ] = f [An An+1 (vi) f [D] =
n=1

Bn ] = f [An ]

f [Bn ] =

Bn+1 = Dn+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

n=1

Dn B0

Bn An A1 B0 . Por lo tanto, f [D] =

(viii) B0 = E f [D] y es uni n disjunta. De (vi) se tiene que f [D] D y, como E D = , se o tiene f [D] E = . Como D = D0 E f [D] = (A0
n=1

Dn = D0 f [D], entonces D0 ) (A0

(D0 f [D])) f [D] = ((A0 = (B0 (A0

f [D])) f [D] f [D]) f [D] = B0 .

f [D])) f [D] = (B0

Luego, la funci n g = f D : D f [D] es biyectiva. Si llamamos h = IE : E E, la cual es o 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, ByB A, entonces A B. D, por lo cual existe E D tal que B E.

se sigue el resultado. 3.16 Teorema (Schr der-Bernstein). Si A o Demostraci n. Supongamos A o A D. Como B B yB

A, del Lema 3.13 se sigue B

A. Luego, del Lema 3.11, existe D B tal que

A B.

As, E D B y B E, de donde, por Lema 3.15, D B. Como A D, conclumos que 3.17 Corolario. |Q| = 0 . existen unicos a Z y b de donde Q Demostraci n. Como N Q, es claro que N o Z+

F (q) = (a, b) donde a y b son como se mencionaron anteriormente. Es f cil ver que F es inyectiva, a

primos relativos tal que q = a . Denimos F : Q Z Z tal que b

Q. Es conocida la propiedad de que, dado q Q,

Z Z. Como |Z Z| = |Z| |Z| = 0 0 = 0 = |N|, entonces Z Z N y, 99

por Lema 3.13, Q |Q| = 0 .

N. Por lo tanto, del Teorema de Schr der-Bernstein (3.16), Q N, es decir, o

Contamos entonces con los sucientes elementos para denir el orden entre cardinales. 3.18 Denici n. Dado y cardinales, decimos que si y solo si K,L( = |K| = o |L| K L). Denimos < como = . M s importante que la denici n, es el siguiente resultado que establece un criterio pr ctico a o a para interpretar la desigualdad entre cardinales. 3.19 Lema. (a) A B |A| |B|.

(b) A B |A| < |B|. Demostraci n. Denotemos por = |A| y = |B|. o (a) Supongamos que A K Para el recproco, supongamos , de donde existen K y L tal que = |K|, = |L| y L. Luego, A K y B L, de donde se concluye A B por el Lema 3.13. (b) A B es A |A| < |B|. B A B, lo cual equivale, por (a), a |A| |B| |A| = |B|, es decir, B, de donde A,B ( = |A| = |B| A B), lo cual es .

3.20 Corolario. es un orden parcial para los cardinales. Por lo tanto, < es su orden estricto correspondiente2 . Demostraci n. Dados , y cardinales, tomemos K, L y M conjuntos tal que = |K|, = |L| o y = |M |. Reexividad: Como K K, del Lema 3.19 se sigue |K| |K|, es decir, . LL K) K L, lo

Antisimetra: Del Teorema de Scrh der-Bernstein (3.16), (K o directamente la antisim tra. e Transitividad: Directo de (K
2

cual equivale a (|K| |L| |L| |K|) |K| = |L| por el Lema 3.19. De esto se sigue LL M) K M.

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 Elecci n. o

100

3.21 Ejemplo. (1) n (n < 0 ). Como n entonces n

innito. Por lo tanto, n , de donde n < 0 por Lema 3.19.

, adem s que n porque es a

(2) Las relaciones y < en coinciden con las desigualdades denidas como cardinales. Dado y m <2 n las desigualdades como cardinales (Denici n 3.18). Luego, por el Lema 3.19 y el o m 1 n m n |m| 2 |n| m 2 n,

m, n , denotamos m 1 n y m <1 n las desigualdades como n meros naturales, y m 2 n u

Ejemplo 3.14,

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 t cnicas e para probar equipotencias de conjuntos sin necesidad de construir funciones. 3.22 Teorema. Sean , y cardinales. (a) 0. (b) < + 1 . (c) + + . (d) . (e) . (f) Si = 0 = 0, . (g) + . (h) = 0 . (i) = 0 . (j) > 1 < .

Demostraci n. Por practicidad, consideremos K, L y M disjuntos entre s tal que = |K|, = o |L| y = |M |. (a) Como K, entonces 0 = || |K| = . (b) Si < , es decir, K L, entonces K f no puede ser sobreyectiva, pues K L, de modo que existe y0 L 101 L y K L, por lo cual existe f : K L inyectiva.

ranf . Tomemos un

x0 L (el cual existe porque L no es el universo) y denamos / g : K {x0 } L x g(x) = f (x) si x K, y0 si x = x0 .

Es f cil ver que g es inyectiva, por lo cual + 1 = |K {x0 }| |L| = . a (d) Supongamos , de donde K L, es decir, existe f : K L inyectiva. La funci n o

L M , es decir, = |K M | |L M | = .

g : K M L M , denida por g(x, z) = (f (x), z), es inyectiva. Por lo tanto, K M

(f) Supongamos = 0 = 0. En el caso que = 0, entonces = 0 de donde, por (a), > 0. Si entonces > 0, por lo cual = 0. Luego, = 0 = 0 = 0 = . z0 M . Supongamos , de donde K
KM

Ahora supongamos que = 0, por lo cual M , es decir, M = . Luego, existe un

LM .

que , basta probar que

Dado v : K M , denamos v(f 1 (y)) si y ranf , z0 si y L ranf .

KM.

L, es decir, existe f : K L inyectiva. Para ver

Fv : L M y Fv (y) = Luego, sea F :

KM

Para ver que F es inyectiva, hall mosle una inversa a izquierda. Sea G : e G(h) = h f para h
LM ,

L M tal que F (v) = Fv para v

LM

basta vericar 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 ultima desigualdad por (e)).

Fv f . Claramente, dom(Fv f ) = domv = K, de modo que para probar G(F (v)) = Fv f = v

veamos que G F = I K M . Dado v

KM,

G(F (v)) = G(Fv ) =

KM

tal que

ejemplo, 2 < 3 y, sin embargo, 2 + 0 = 3 + 0 = 0 , 2 0 = 3 0 = 0 , 20 = 30 y puede cambiar por < , pero el consecuente sigue como . 3.23 Teorema. |R| = 20 . 102 2 = 3 = 0 (ver Ejercicios 3.33 y 3.42). De manera clara, en los incisos (b)-(f) el antecedente se 0 0

Cabe advertir que las propiedades (a)-(i) no se cumplen en general para < en vez de . Por

Demostraci n. Como R (0, 1), veamos que |(0, 1)| = 20 . Consideremos en la prueba la siguo que x = iente propiedad: Dado x (0, 1), existe una unica sucesi n cx o n 0, cx cx 1 2 . . . cx . . . n |(0, 1)| 20 : Denamos F : (0, 1) cx n
nZ+ Z+ 10 nZ+

de n meros entre 0 y 9 tal u

de modo que dicha expansi n decimal no termina en 99999 . . .. o tal que, dado x (0, 1), F (x) = cx n
nZ+

como

en la propiedad mencionada. F es inyectiva, pues si x, y (0, 1) y F (x) = F (y), entonces = cy n

nZ+ ,

Por lo tanto, (0, 1)

Z+ 10,

de donde nZ+ (cx = cy ). Luego, x = 0, cx cx . . . = 0, cy cy . . . = y. n n 1 2 1 2

3.22 se sigue 100 (20 )0 = 20 , de donde |(0, 1)| 20 . 20 |(0, 1)|: Denamos G : y G( bn
nZ+ ) Z+ 2

de donde |(0, 1)| 100 . Pero, como 10 < 20 , del Teorema (0, 1) tal que, si bn
Z+ 2,

nZ+

entonces G( bn
nZ+ ,

0, 1b1 b2 . . . bn . . . (dicha expansi n solo contiene 0s y 1s). Si bn o = G( b n

nZ+ nZ+ ),

es decir, 0, 1b1 b2 . . . = 0, 1b b . . ., de la unicidad de la 1 2

nZ+ ) = + bn nZ+ Z 2

por lo cual bn

expansi n decimal (explicada en la propiedad del primer p rrafo) se sigue nZ+ (bn = b ), o a n = b n
nZ+ .

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 demostraci n de n (0 + n = 0 ). Dado n , 0 n < 0 , de donde o 0 = 0 + 0 0 + n 0 + 0 = 0 . (4) 0 = 20 . Como 2 < 0 < 20 , entonces 20 0 (20 )0 = 20 . 0 0 (5)

R, pues | | = 0 = 20 = |R|. 0

3.25 Corolario. (a) R P(). (b) C R. Demostraci n. (a) |P()| = 2|| = 20 = |R|. o (b) Denamos 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 armaciones son equivalentes. (a) es cardinal nito. (b) (c)
A nito

3.38 Ejercicio. Pruebe (c), (e), (g), (h) e (i) del Teorema 3.22. 3.39 Ejercicio. Dados , , y cardinales, pruebe (a) ( ) ( = 0 = 0 = 0). (b) ( + )+ (c) > 1 = < . (a) es cardinal innito sii n (n < ). (b) es cardinal innito sii n (n ).

( = |A|). (A es nito)

A =|A|

3.30 Ejercicio. Dado cardinal, pruebe que las siguientes armaciones son equivalentes. (a) es cardinal innito. (b) (c)
A innito A =|A|

3.40 Ejercicio. Pruebe los siguientes enunciados.

( = |A|). (A es innito)

(c) A es innito sii n (n A). 3.31 Ejercicio. Pruebe (c), (e), (h), (i), (m), (o) y (p) (d) A es innito 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 = 0, pruebe dos. (b) n = 0 . 0 (c) 00 = 1. (a) 0 n = 0 . (a) n (20 + n = 20 ). (b) n (c) n
{0} (2 0 {0} ((2 0 n

n = 20 ). ) = 20 ).

3.34 Ejercicio. Ofrezca un contraejemplo que veri- (d) 20 + 0 = 20 . que que la propiedad cancelativa no se cumple en (e) 20 0 = 20 general para la suma, producto y exponenciaci n de o (f) Si 2 20 entonces 0 = 20 . cardinales.
0 0 3.35 Ejercicio. Dado y cardinales, pruebe que (g) n {0,1} (n = 2 ). las siguientes armaciones son equivalentes (h) 2 .

(i) .
K =|K|

(ii)

L =|L|

(K

L).

(i) Si es innito, = y 2 2 , entonces = 2 .

(20 )

(iii) K,L ( = |K| = |L| K L). 3.36 Ejercicio. Dado y cardinales, pruebe que las siguientes armaciones son equivalentes (i) < . (ii)
K =|K| L =|L|

(j) Si es innito y = entonces = 2 . (k) 0 = 2(2

0 ) 0 )

.
0 )

(l) (20 )(2

= 2(2
(20 )

(m) |P(R)| = 2 (K L). (n)

R

(o) R Q P(R). 3.37 Ejercicio. Dado cardinal, pruebe que |L| si y solo si CL (|C| = ). (p) P() P(R).

R P(R).

104

3.43 Ejercicio. Sea P el conjunto de pares en y I = P . Como |P | = |I| = 0 , es claro que existe h : P I biyectiva. Dado v : 2 denamos 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. (b) F : 2 Biy(), denida por F (v) = Fv , es inyectiva. (c) |Biy()| = 20 .

(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 funci n G : A 2 Biy(A 2), denida por o G(f ) = Gf , es inyectiva. (c) Si A A A, entonces |Biy(A)| = |Iny(A)| = |Sob(A)| = 2|A| . (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 areas de la matem tica, pues a representan los conjuntos que pueden contarse mediante n meros naturales. A lo largo de esta secu ci n materializamos este hecho. o 4.1 Denici n. Sea A conjunto. A es contable si |A| 0 . A es enumerable si |A| = 0 . o 4.2 Ejemplo. (1) Todo conjunto nito 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 tama o 20 > 0 . n (5) P(R) es no contable, pues |P(R)| > |R| > 0 4.3 Lema. Si B es innito, entonces |B| = 0 . Demostraci n. Como B , es claro que |B| 0 . Adem s, al ser innito, no tiene m ximo. o a a m ximo). Es claro que xB (x < s(x)). Como B = (al ser innito), entonces m B existe. Por a n h(0) = m B n h(n + 1) = s(h(n)) para n . 105 Denamos s : B B tal que s(x) = m {y B / y > x} (el cual existe porque B no tiene n

recursi n, denamos h : B tal que o

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 denitiva sobre el tama o de los subconjuntos innitos de los n naturales, por ejemplo, el conjunto de n meros primos tiene tama o 0 . M s a n, indica que 0 es u n a u minimal respecto a los cardinales innitos3 . 4.4 Teorema. (a) es cardinal nito si y solo si < 0 . (b) No existe cardinal innito tal que < 0 (esto dice que 0 es minimal respecto a los cardinales innitos). Demostraci n. (a) Sea K tal que = |K|. Si < 0 entonces K o tanto, K es nito y = |K| es cardinal nito. (b) Directo de (a). , por lo cual existe B

tal que K B. Como |B| = |K| = < 0 , del Lema 4.3 se sigue que B es nito. Por lo Para el recproco, si es cardinal nito, es decir, (Denici n 3.3), entonces < 0 . o

Los siguientes resultados ofrecen clasicaciones para los conjuntos contables. 4.5 Teorema. A es contable si y solo si A es nito o enumerable. Demostraci n. Si A es contable, es decir, |A| 0 , entonces |A| < 0 o |A| = 0 . Del primer o A es enumerable.

caso, |A| es cardinal nito (por Teorema 4.4), por lo cual A es nito; del segundo caso, es claro que

El recproco es directo del Ejemplo 4.2. 4.6 Teorema. (a) Si g (g : A sobre) entonces A es contable. (b) Si A = es contable, entonces g (g : A sobre). Demostraci n, (a) Supongamos que existe g : A sobre. Del Ejercicio 3.6, como tiene o inversa a izquierda (g), entonces es inyectiva, por lo cual A , es decir, A es contable. buen orden, existe f : A inversa a derecha de g, es decir, g f = IA . Luego, como f tiene

Una forma de denir f es f : A x f (x) = m 1 [{x}]) n(g

No se puede probar en ZF que 0 es el mnimo de los cardinales innitos. Esto puede probarse con el Axioma de Elecci n. o
3

106

(b) Si A = es contable, existe f : A inyectiva. Como A es no vaco, existe g : A sobre. inversa a izquierda de f , es decir, g f = IA . Como g tiene inversa a derecha (f), entonces g es

4.7 Corolario. Sea A = . Entonces A es contable si y solo si tiene la forma A = {an / n }. rang = {g(n) / n }. Demostraci n. Si A es contable, al ser no vaco existe g : A sobreyectiva. Luego, A = o

Para el recproco, si A = {an / n } entonces h : A, denida por h(n) = an , es sobreyec tiva. Luego, por el Teorema 4.6, A es contable. El resultado anterior es la esencia de la interpretaci n del signicado de conjunto contable, o ya que indica que sus elementos se pueden contar mediante los n meros naturales. N tese que en u o reales se pudieran contar indizando con n meros naturales. El absurdo lo que permiti concluir es u o que R no es contable. 4.8 Corolario. Sea f una funci n, A domf . Si A es contable entonces f [A] es contable. o Demostraci n. Si A = claramente f [A] = es contable. Supongamos que A = y es o 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. ante uniones contables. 4.9 Lema. Sean A y B conjuntos contables. Entonces (a) A B y A B son contables. (b) Si A es nito y xA (x contable), entonces |A B| = |A| |B| 0 0 = 0 . A es contable. El siguiente resultado propone que la uni n y productos cartesianos nitos se preservan medio la prueba de 2.8 se supone R = {f (n) / n } para llegar a un absurdo, es decir, que los n meros u

Demostraci n. (a) Del Ejercicio 3.41, |A B| |A| + |B| 0 + 0 = 0 . Por otra parte, o (b) Por inducci n sobre A nito (ver Ejercicio 3.10). El caso A = es inmediato, pues o el cual es contable. Para el paso inductivo, sean A nito 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 A es contable por la hip tesis inductiva. Luego, o (A {b}) =

A b, (A {b}) es contable.

el cual es la uni n de dos contables. Por (a), conclumos que o

La operaci n o

BA

no preserva contables, pues 2 y son contables, pero 2 no es contable.

se puede probar en ZF, pero se puede dar una condici n4 que permite enunciarlo. o 4.10 Teorema. Sea A contable tal que xA (x contable). Si se cumple la Condici n de uni n contable (CUC). Existe una sucesi n Fx o o o entonces Fx : x es sobreyectiva. entonces A es contable.
xA

Del Lema 4.9 surge la pregunta de si (b) es v lido cuando A es enumerable. En general, esto no a

tal que, si x A y x = ,

Demostraci n. Consideremos los siguientes casos. o xA (x = ). Usando (CUC) denamos G : A es contable por Corolario 4.8. En efecto, si z A tal que G(x, n) = Fx (n). Basta probar

que G es sobreyectiva, pues, como A es contable por Lema 4.9, entonces G[A] =

entonces existe n tal que z = Fx (n). Por lo tanto, z = G(x, n). xA (x = ). Sea A = A

A, entonces existe x A tal que z x. Como Fx : x es sobre, {}. Claramente, A cumple las condiciones del Teorema, (CUC) y A es contable. Luego, A , (A {}) = A =

cumple la hip tesis del caso anterior. Por lo tanto, o A=

de donde

A es contable.

4.11 Corolario. Sea An

4

una sucesi n de conjuntos contables. Si se cumple la o

Esta puede probarse por el Axioma de Elecci n. o

108

Condici n de uni n contable (CUC). Existe una sucesi n Fn o o o entonces Fn : An es sobreyectiva. entonces
n

tal que, si n y An = ,

An es contable.

contables, entonces xA (x contable). Como para garantizar, por Teorema 4.10, que
n

Demostraci n. Sea A = {An / n }. Del Corolario 4.7, A es contable y, como los An son o An es contable. A=
n

An , basta ver que A cumple la (CUC)

Teorema 4.10.

es sobre, es decir, Fx : x es sobre. Por lo tanto, la sucesi n Fx o

Fx = Fnx . Claramente, si x A y x = entonces, por la (CUC) de este resultado, Fnx : Anx

xA

Dado x A se tiene que n (x = An ). Tomemos nx = m {n / x = An } y denamos n cumple la (CUC) del

indica sq(A) =
nA

Para ver ejemplos del uso de los resultados 4.10 y 4.11, recordemos la Denici n 2.3.7 que o
n A, n

el cual representa el conjunto de sucesiones nitas con elementos en A.

Si A es contable, entonces n A es contable para todo n . Luego, si probamos que la sucesi n o

n

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 Denici n. P< (A) = {X A / X nito}, es decir, la colecci n de subconjuntos nitos de o o A. Por el Teorema 4.4, podemos escribir P< (A) = {X A / |X| < 0 }. B entonces sq(A) sq(B) y P< (A) 4.13 Lema. (a) Si A P< (B).

(b) Si A B entonces sq(A) sq(B) y P< (A) P< (B). Demostraci n. (a) Si A o 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 funci n porque f es inyectiva) se sigue s = q. Por lo tanto, F o es inyectiva. G(X) P< (B)). Como f es inyectiva, es f cil ver que G es uno-a-uno. a (b) Si A B entonces A sq(B) ByB A. Luego, de (a), sq(A) sq(A) y P< (B) P< (A), de donde se sigue el resultado. Sea G : P< (A) P< (B) denida por G(X) = f [X] (ver Ejercicio 3.6 para garantizar que sq(B), P< (A) P< (B), B, existe f : A B inyectiva. Denamos F : sq(A) sq(B) tal

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. Demostraci n. (a) Es claro que la sucesi n o o | n | = sq() =
n n n n

es de conjuntos contables, pues 0

1 si n = 0, 0 si n = 0.

Basta probar que dicha sucesi n cumple la (CUC) del Corolario 4.11 para garantizar que o es contable. En efecto, sea g : una biyecci n (la cual existe porque o
n 0

). Denamos la sucesi n Fn o

por F1 (n) = n (la sucesi n con unico t rmino n), la cual es claramente biyectiva. Para el o e Gn : paso recursivo, supongamos que hemos denido Fn :
n+1 n

denida por F0 (n) = , la cual claramente es sobreyectiva; sea F1 :

por recursi n como sigue: sea F0 : o

1

denida

tal que Gn (k, l) = Fn (k) l . La funci n Gn : o

biyectiva para n 1. Sea

n+1

1 que Gn (s) = (Fn (sn), s(n)) es inversa a izquierda y derecha de Gn , lo cual garantiza su

tal

biyectividad. En efecto, Gn Gn = I . Si k, l , entonces

1 Gn (Gn (k, l)) = Gn (Fn (k) l ) = Fn ((Fn (k) l )n), (Fn (k) l )(l) 1 = (Fn (Fn (k)), l) = (k, l).

Gn Gn = I n+1 . Si s

n+1 ,

entonces

1 1 Gn (Gn (s)) = Gn (Fn (sn), s(n)) = Fn (Fn (sn)) s(n) = (sn) s(n) = s.

biyecitvas. Por lo tanto, Fn

Luego, denimos Fn+1 = Gn g :

n

n+1 ,

la cual es biyectiva al ser composici n de o

es la sucesi n buscada que cumple (CUC). o

Por lo general, cuando es muy clara la denici n y prueba de propiedades para una sucesi n o o denida por recursi n, se omiten los detalles del uso del Teorema de la Recursi n. Para el caso o o de Fn
n , se considera

notar que 1 sq(), por lo cual 0 |sq()|.

Tenemos que sq() es contable, es decir, |sq()| 0 . Para concluir que es enumerable, basta

H : D tal que

Gf : sq() tal que Gf (k, l) = f (k) l . Luego, por el Teorema de la Recursi n, existe o H0 = F1 (F1 como se deni anteriormente), o Hn+1 = F(Hn ) para n . 110

D = sq() y F : D D tal que F(f ) = Gf g para f D, donde

Luego, se dene F0 como se explico y, para n > 0, Fn = Hn1 , por lo cual F1 es tal como se deni y Fn+1 = Hn = F(Hn1 ) = F(Fn ) para n 1, donde F(Fn ) = Gn g con o Gn = GFn (que coinciden seg n las notaciones). La prueba de que Fn : n es biyectiva u denici n de Fn+1 bajo la hip tesis que Fn es biyectiva. o o (b) Como A es contable, entonces A para n 1 se hace por inducci n, la cual realizamos en los p rrafos anteriores al explicar la o a

. Luego, por el Lema 4.13, |sq(A)| |sq()| = 0 .

(c) Denamos 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.

contable.

Ahora, si A es contable, por (b) sq(A) es contable y, por el Lema 4.8, P< (A) = F [sq(A)] es

4.15 Ejemplo. Sea W el conjunto de smbolos con los que escribe un ser humano (abecedario,

may sculas, min sculas, con tildes, di resis, coma, punto, dos puntos, etc.). Una manera de ver u u e sq(W) es como el conjunto de palabras formadas por smbolos de W (pues una palabra se puede

Luego, del Teorema 4.14, sq(W) es contable (del Ejercicio 3.53, sq(W) es enumerable), es decir, contable, es imposible darle un nombre a cada n mero real. u

ver como una sucesi n nita de dichos smbolos). Es claro que W es contable, m s a n nito. o a u

el ser humano solo cuenta con una cantidad contable de palabras. De esta forma, como R es no

Para terminar, veamos c mo debe ser el complemento de un conjunto contable respecto a un o conjunto de tama o 20 . n 4.16 Teorema. Sea |A| = 20 y B A contable. Entonces |A Demostraci n. Veamos el resultado para los siguientes casos. o A = R R: Sea C R R contable. La funci n 1 : C domC, denida por 1 (x, y) = x, es o y R es no contable, entonces domC C = (R R) R, por lo cual existe x0 R domC. Llamemos B| = 20 .

sobreyectiva, por lo cual, del Lema 4.8, domC = 1 [C] es contable. Luego, como domC R C y L = {x0 } R. Como x0 domC entonces yR ((x0 , y) C ), por /

lo cual L C . La siguiente gura ilustra la situaci n. o 111

x0

Luego, 20 = |{x0 } R| = |L| |C | |R R| = 20 de donde |(R R) C| = 20 .

|A| = 20 . Como A R R entonces existe f : A R R biyectiva. Si B A es contable, sigue |A B| = |f [A B]| = |f [A] f [B]| = |(R R) f [B]| = 20 .

entonces f [B] B, por lo cual f [B] es contable. Como f es biyectiva, del caso anterior se

4.17 Corolario. |Q | = 20 (Q es el conjunto de n meros irracionales). u Demostraci n. Como Q = R o |Q | = 20 .

3.45 Ejercicio. Si A B, pruebe (a) B contable A contable. (b) A no contable B no contable. 3.46 Ejercicio. Pruebe que la funci n h : B o del Lema 4.3 es biyectiva. Luego, pruebe que es un isomorsmo. 3.47 Ejercicio. Pruebe (a) Existe C enumerable tal que merable. C es enu-

Q, |R| = 20 y Q es contable, del Teorema 4.16 se sigue que

(b) Si A es enumerable, existe B A enumerable tal que A B es enumerable. (c) Si A es enumerable, pruebe que existe P partici n enumerable de A tal que o BP (B enumerable). Sugerencia: Note que A A y observe que es f cil hacer dicha a partici n en A . o 3.48 Ejercicio. Pruebe que todo conjunto contable tiene un buen orden. 3.49 Ejercicio. Si C es un conjunto de crculos dis

112

juntos en el plano R R, entonces C es contable. 3.50 Ejercicio. Sea B contable. Las siguientes armaciones son equivalentes. (i) A B.

(e)
k<2

H k H 0 H1 . Hk
k<n

(f)
k<n+1

Hk Hn . Hk es conk<n

table. Sugerencia: Inducci n sobre n. o 3.51 Ejercicio. Si A es contable, pruebe que xA (x contable). Se puebe probar que A es con- 3.56 Ejercicio. Sea P () = {X / |X| = 0 }. Pruebe que |P ()| = 20 . table? Justique su respuesta. 3.52 Ejercicio. Sea R una relaci n de equivalencia 3.57 Ejercicio. Sea o 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 coecientes en Z. Pruebe (b) Si A = es contable, entonces sq(A) es enu- (a) S es enumerable. Sugerencia: Para probar |S| merable. , dena una funci n F : S sq(Z) que o
0

(ii) g (g : B A sobre).

(g) Si k<n (Hk contable), entonces

(d) Si |A| 2 entonces |sq(A)| |A|0 . (e) |sq(R)| = 20 .

(c) |A| |sq(A)| 0 |A|0 .

sea inyectiva.

(b) P es enumerable. Sugerencia: Pruebe que es equipotente con S.

3.58 Ejercicio. Sea An n una colecci n de subo 3.54 Ejercicio. Pruebe los siguientes enunciados conjuntos nitos de R. Pruebe que dicha sucesi n o (ver el Ejercicio 3.24 para la notaci n). o cumple la (CUC) del Corolario 4.11. Sugerencia: (a) Si f es una funci n, entonces f domf . o Utilice el Ejercicio 3.12(d) y el hecho que entre dos buenos ordenes isomorfos existe un unico isomors n (b) A Pn (n A) para n . mo. (c) P< (A) = Pn (A). n 3.59 Ejercicio. Consideremos P como en el Ejerciu a (d) Si A es contable y n , entonces Pn (A) es cio 3.57. a R se llama n mero algebr ico si es el cero de alg n polinomio con coecientes enteros, es u contable. decir, pP (p(a) = 0). De lo contrario, decimos que (e) |P< ()| = 0 . a es un n mero trascendental. Pruebe u 3.55 Ejercicio. Si n y Hk k<n es una suceHk = si n, denimos (donde xk = x(k)) o
k<n

{x / x funci n dom(x) = n k<n (xk Hk )}. o Pruebe (a)

k<n

(a) El conjunto de n meros algebr icos es enumeru a able. Sugerencia: Utilice los ejercicios 3.57 y 3.58. (b) Todos los n meros racionales son algebr icos. u a (c) Existen innitos irracionales algebr icos. a (d) El conjunto de n mero trascendentales tiene u tama o 20 . n

Hk es conjunto. Hk = {0}. Hk = n C.
k<n

(b)
k<0

(c) Si k<n (Hk = C), entonces (d)

k<1

Hk H 0 .

3.60 Ejercicio. Sea A no contable tal que A A A. Pruebe que, si B A es contable, entonces |A B| = |A|.

113

114

Captulo 4

El Axioma de Elecci n o

Es bien sabido que las armaciones consideradas verdaderas en la matem tica b sica se justifa a ican dentro de la teora de primer orden ZF. Sin embargo, seg n los Teoremas de Incompletez de u G del, hay armaciones del lenguaje de ZF que son indecidibles en la teora ZF, es decir, que no o se pueden probar ni refutar. Entre dichas armaciones guran aquellas que proceden de justicaciones que requieren de innitas escogencias1 . Dichos razonamientos no son v lidos en ZF debido a que se formalizan en a demostraciones de innitos pasos cuando, en realidad, una demostraci n en una teora de primer o orden solo contiene nitos pasos. Un ejemplo es la armaci n o Si es un cardinal innito, entonces 0 Una forma intuitiva de justicaci n es la siguiente: sea A un conjunto tal que |A| = . Como es o A innito, existe a0 A. Luego, como A como A que {a0 , a1 } es innito, existe a2 A {a0 } es innito, existe a1 A {a0 }. Ahora, como

la sucesi n {an }n , la funci n h : A, denida por h(n) = an , es inyectiva. As, se concluye o o A, es decir, 0 .

{ak / k < n} es innito, existe an A

{a0 , a1 }. En general, si se han escogido ak con k < n, {ak / k < n}. Por lo tanto, al haber denido

N tese que, en la justicaci n anterior, se utiliza regla C para escoger cada an , es decir, se usa o o innitas veces regla C (tantas como los elementos de ). As, este argumento tiene innitos pasos y no es v lido como demostraci n en ZF. M s a n, en ZF no se puede probar (ni refutar) dicha a o a u
1

En t rminos de teoras de primer orden, que se usa regla C innitas veces. e

armaci n. o En matem ticas avanzadas, donde el an lisis es muy abstracto y profundamente asociado con a a el concepto de innito, aparecen armaciones relevantes que s lo se pueden justicar mediante o innitas escogencias. Por esta raz n, Ernst Zermelo propone en 1903 el denominado Axioma de o Elecci n, cuya aplicaci n reduce una aplicaci n regular de innitas escogencias en una sola. Este o o o axioma gener controversia y divisi n en la comunidad matem tica. o o a No fue hasta mediados de siglo XX que el Axioma de Elecci n se adopt como un principio o o fundamental para las matem ticas. Adem s de su necesidad para abordar el conceptos importantes a a asociados al innito, es que no se puede probar ni refutar en ZF, as que este axioma (ni su negaci n) o introducen contradicciones en ZF2 . En adelante, denotamos por AC al Axioma de Elecci n y por ZFC a la teora de primer orden o que resulta de agregar AC a los axiomas de ZF. En la actualidad, ZFC se considera, en la comunidad matem tica, como el fundamento te rico a o de toda la matem tica (b sica y avanzada), aunque, como consecuencia de los Teoremas de Incoma a pletez de G del, existen armaciones que ZFC no puede probar ni refutar. Por ejemplo, la siguiente o f rmula o (CH) Hip tesis del Continuo3 No existe un cardinal tal que 0 < < 20 . o na raz n intuitiva para aceptar CH, o su negaci n, como una armaci n con contenido matem tico o o o a aceptable. En la primera secci n de este captulo enunciamos cuatro armaciones, equivalentes entre s, o que representan a AC. En la segunda secci n, probamos armaciones en ZFC que requieren de o innitas escogencias. En la tercera secci n introducimos el Lema de Zorn y algunas armaciones o equivalentes a este, las cuales equivalen al Axioma de Elecci n. En la cuarta secci n probamos m s o o a resultados en ZFC, en su mayora consecuencias del Lema de Zorn. Finalmente, dedicamos la sec
2 En 1938, Kurt G del prob que el Axioma de Elecci n no introduce contradicciones en ZF. M s adelante, Paul o o o a J. Cohen propuso un m todo, hoy en da llamado forcing, con el cual prob que la negaci n del Axioma no introduce e o o contradicciones en ZF. En 1963, Cohen fue acreedor de la medalla elds por su revolucionario m todo. e

Esto equivale a que, dado X R innito, |X| = 0 o |X| = 20 . Hasta el da de hoy, no hay ningu

116

ci n 4.5 para mostrar consecuencias del Axioma de Elecci n en espacios vectoriales, esto con el n o o de dar un ejemplo de la importancia del axioma en las matem ticas. a En cada secci n distinguimos las deniciones y resultados que requieren o no AC. o

4.1. Axioma de Elecci n o

El problema que motiva un enunciado para el Axioma de Elecci n es el siguiente: supongamos o que tenemos innitos conjuntos que son no vacos y disjuntos entre s y se desea construir un con junto C que tenga s lo un elemento de cada uno de los innitos conjuntos. Para esto, por regla C se o puede escoger un elemento de cada conjunto y, al nal, se forma C con esos elementos escogidos. Pero, al tener innitos conjuntos, este procedimiento requiere innitas escogencias y, por lo tanto, no es v lido como una prueba de ZF. a La propuesta de Zermelo para AC fue que dicho problema tiene soluci n. o 1.1 Denici n (ZF). A es una familia disjunta si sus elementos son no vacos y disjuntos entre s, o es decir, se satisface (i) xA (x = ). (ii) x,yA x = y x y = . to de cada objeto en A, es decir, xA u (x C = {u}). De forma equivalente, xA !uC (u x). tomar un elemento de cada uno de los innitos conjuntos (es decir, de los objetos en A. Una analoga En el problema anterior, A es la colecci n de innitos conjuntos y C el conjunto formado al o Si A es una familia disjunta, decimos que C es un conjunto de elecci n para A si C tiene un elemeno

para este problema es tomar innitas bolsas llenas de arena y formar una nueva bolsa de arena que tenga s lo un grano de cada una de las bolsas anteriores. Aqu, A representa el conjunto de las o innitas 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 elecci n. o El problema de dicho enunciado es que su aplicaci n queda limitada a conjuntos disjuntos entre o s, lo cual no es necesario para formalizar la idea de las escogencias innitas. Debido a esto, se pro pone otra propuesta de Axioma de Elecci n donde no se requiera que los conjuntos sean disjuntos, o 117

s lo que, en este caso, la naturaleza de la armaci n cambia. o o Sea A un conjunto innito. 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 elecci n. Se piensa entonces en o F se encarga de escoger un elemento de cada subconjunto de A. construir una funci n F tal que, para B A no vaco, F (B) es un elemento de B. De esta forma, o

1.2 Denici n (ZF). Sea A un conjunto. Una funci n de elecci n para subconjuntos de A es una o o o funci n F : P(A) o A tal que BA (B = F (B) B). A
B F (B)

El problema mencionado anteriormente representa otra forma de enunciar el Axioma de Elecci n. o

ACII Todo conjunto tiene una funci n de elecci n para sus subconjuntos. o o

Otra forma de presentar el Axioma de Elecci n se toma del siguiente problema. Dada una o relaci n R escoger, a cada elemento de domR, una de sus im genes bajo R. Si domR es innito, el o a razonamiento intuitivo de este problema requiere innitas escogencias, lo cual no puede justicarse en ZF. Para materializar este problema, para cada x domR llamemos h(x) la imagen escogida.

De este modo, h es una funci n tal que domh = domR y xdomR ((x, h(x)) R). La ultima o armaci n equivale a h R. o ACIII Dada una relaci n R, existe una funci n h R tal que domh = domR. o o 118

domR R[{x}] x

ranR

h(x)

Para un cuarto enunciado del Axioma de Elecci n, consideremos el concepto de productos carteo sianos generalizados. Si bien es cierto que se pueden realizar productos entre nitos conjuntos mediante la noci n de producto cartesiano, la misma idea no funciona para denir el producto entre o innitos conjuntos, pues no es posible denir tuplas de longitud innita. Por lo tanto, para ampliar el concepto se debe pensar en una forma de ver tuplas innitas, lo cual puede hacerse por sucesiones. Luego, para denir
iI

Hi , el producto cartesiano entre los Hi con i I, sus elementos se ven como

iI

sucesiones del tipo xi

tal que xi Hi para cada i I.

iI

1.3 Denici n. Sea I un conjunto y Hi o cartesiano generalizado de Hi

iI

una sucesi n de conjuntos. Denimos el producto o

como

iI

Hi = {x funci n / domx = I o

iI (x(i) Hi )}

o, escrito de otra forma,

iI

H i = { xi
I iI

iI

/ iI (xi I)} .

Este es un conjunto, pues

iI

Hi

Hi . 119

De la denici n anterior y el Ejercicio 3.55, es claro que o funci n (sucesi n) con dominio . Por otra parte, o o
i<1

Hi =

i 1H , 0

Hi = {}, pues es la unica el cual es equipotente con H0 .

Tambi n e
i<2

Hi H0 H1 , lo cual muestra que dicho concepto abarca y generaliza la noci n de o

producto cartesiano. Es bien conocido que A B es no vaco si y solo si A y B son no vacos. Cabe preguntarse
iI

que, si I es un conjunto y Hi

es una sucesi n de conjuntos, o

iI

Hi = si y solo si todos los

Hi son no vacos? Una de las implicaciones es f cil de probar. a 1.4 Lema (ZF). Si
iI

Hi = entonces iI (Hi = ). Hi = . Luego, existe una sucesi n xi o

iI iI .

Demostraci n. Supongamos que o xi Hi , por lo cual Hi = .

As, dado i I,

Luego, xi

Una forma de argumentar el recproco es que, para i I, Hi = , por lo cual existe un xi Hi .

iI ,

de donde
iI

Hi = . El problema de esta justicaci n es que, cuando I es innito, o

se realizan innitas escogencias (una por cada elemento de I) y, as, no tiene validez en ZF. En realidad, el recproco del Lema 1.4 es una armaci n que equivale al Axioma de Elecci n. o o ACIV Dado I y una sucesi n Hi o
iI , iI

Hi = .

Para nalizar esta secci n, veamos que las cuatro versiones del Axioma de Elecci n expuestas o o son equivalentes entre si, de modo que una aplicaci n de AC es el uso de cualquiera de estas o armaciones (o cualquier otra equivalente a estas). 1.5 Teorema (ZF). ACI, ACII, ACIII y ACIV son equivalentes entre s. Demostraci n. ACI ACII Sea A un conjunto. Consideremos D = {B {B} / B P(A) o y veamos que es una familia disjunta. (i) Dado B P(A) XD (X = ). {}}

{}, existe un x B, por lo cual (x, B) B {B}. As, {} y B {B} C {C} = . Luego, existe un

(ii) Supongamos que B, C P(A)

(x, Y ) en dicha intersecci n, por lo cual B = Y = C. As, B {B} = C {C}. Por o lo tanto, X,Y D (X = Y X Y = ) (probado por contrarrecproco). 120

Es claro entonces que, si B A es no vaco, entonces F (B) B. Conclumos entonces que F es una funci n de elecci n para subconjuntos de A. o o ACII ACIII Sea R una relaci n. Por ACII, existe una funci n de elecci n para subconjuntos o o o de ranR, es decir, existe F : P(ranR)

P(A)

X). Por cambio de variable, BP(A)

De (i), (ii) y ACI aplicado a D, existe C conjunto de elecci n para D, es decir, XD !zC (z o {} A tal que F (B) = 1 (z) donde z es el unico z C tal que z B {B}.
{} !zC (z

B {B}). Luego, denimos F :

que h(x) = F (R[{x}]). Dado x domR, como F es una funci n de elecci n, entonces o o ACIII ACIV Sea I un conjunto y Hi R = {(i, y) / i I

cual F (R[{x}]) es un elemento de R[{x}]. Denamos entonces h : domR ranR tal h(x) R[{x}], es decir, (x, h(x)) R. Por lo tanto, h R, h es funci n y domh = domR. o
iI

B). Dado x domR, es claro que R[{x}] es un subconjunto no vaco de ranR, por lo

{} ranR tal que BranR (B = F (B)

una sucesi n de conjuntos no vacos. Denamos o Hi ). Es claro que R es una

iI

y Hi } (es conjunto porque R I

relaci n y domR I. M s a n, domR = I. En efecto, si i I, como Hi es no vaco, existe o a u Por ACIII existe una funci n h R tal que domh = domR = I. Luego, iI ((i, h(i)) o
iI

y Hi , de donde (i, y) Hi y i domR.

R), es decir, dado i I, h(i) Hi . Luego, h = h(i)

4.1 Ejercicio (ZF). Sea A una familia disjunta. Pruebe la equivalencia entre las siguientes armaciones. (i) C es conjunto de elecci n para A. o (ii) xA !uC (u x) 4.2 Ejercicio (ZF). Sea R una relaci n y h una funo ci n tal que domh = domR. Pruebe que h R si y o solo si xdomR ((x, h(x)) R). 4.3 Ejercicio (ZF). Sea I un conjunto y Hi iI Hi una sucesi n de conjuntos. Pruebe que o
iI I iI

es un elemento de
iI

Hi .

(a) Dado un conjunto A existe f : A {} A tal que xA (x = f (x) x) (aqu f se llama funci n de elecci n de A) o o (b) Toda funci n sobreyectiva tiene inversa a o derecha. (c) Dado E conjunto y G E E, existe una funci n h G tal que domh = domG. o (d) Si A es un conjunto, A y g : A A, en/ tonces existe h : A A tal que xA (h(x) g(x)). (e) Dada una funci n f , existe una funci n h f o o 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.

Hi

4.4 Ejercicio (ZF). Pruebe que ACIV ACI. 4.5 Ejercicio (ZF). Pruebe que las siguientes armaciones son equivalentes a AC (cualquiera de las cuatro versiones de esta secci n). o

121

(g) ACIV cuando I es nito. 4.6 Ejercicio (ZF). Pruebe los siguientes enunciaHi es bien ordenado. (h) ACIV cuando dos. iI (a) ACI cuando A es nito. (b) ACI cuando A es bien ordenado. (c) ACII cuando A es bien ordenado. (d) ACII cuando A es nito. Sugerencia: Para los casos de conjuntos nitos, utilice la inducci n del Ejercicio 3.10. o 4.7 Ejercicio. Pruebe que AC equivale a que, dado un conjunto A, existe una funci n f : A A tal o que z A (z f (z)).

(h) Dada una sucesi n Ai iI , existe J I tal o que {Ai / i J} = {Ai / i I} y i,jI (i = j Ai = Aj ).

(e) ACIII cuando domR es nito. (f) ACIII cuando ranR es bien ordenado.

4.2. Aplicaciones I
4.8 Ejercicio (ZFC). Probar que CH equivale a que, dado X R innito, |X| = 0 o |X| = 20

4.3. Lema de Zorn 4.4. Aplicaciones II 4.5. Espacios Vectoriales

122