TEORIA AXIOMATICA DE CONJUNTOS Versi´n Preliminar o Renato A.

Lewin
Author address: ´ Pontificia Universidad Catolica de Chile, Facultad de ´ Matematicas, Casilla 306 - Correo 22, Santiago CHILE. e-mail: rlewin@mat.puc.cl

Indice
CAPITULO 1. Introducci´n. Los Axiomas de Zermelo Fraenkel o 1. El Lenguaje Formalizado L 2. Los Axiomas de la Teor´ ZF. Conceptos Fundamentales ıa CAPITULO 2. Teor´ Elemental ıa 1. Operaciones 2. Relaciones 3. Funciones 4. Relaciones de Equivalencia 5. Relaciones de Orden CAPITULO 3. Ordinales 1. N´meros Naturales u 2. Ordinales 3. Inducci´n Transfinita o 4. Recursi´n o 5. Funciones Normales 6. Ordinales y Buenos Ordenes 7. Aritm´tica Ordinal e 8. La Jerarqu´ Acumulativa de Conjuntos ıa CAPITULO 4. El Axioma de Elecci´n o 1. Equivalencias del Axioma de Elecci´n o 2. Aplicaciones CAPITULO 5. Cardinales 1. Definiciones y Resultados B´sicos a 2. Conjuntos Finitos y Conjuntos Infinitos 3. Aritm´tica Cardinal e 4. Cardinales Regulares y Singulares 5. La Hip´tesis del Continuo o Bibliograf´ ıa Glosario 5 7 9 17 17 23 30 40 44 57 57 64 70 72 75 78 80 101 105 105 111 117 117 125 129 144 146 151 153

3

4

CAPITULO 1

Introducci´n. Los Axiomas de Zermelo Fraenkel o
Este libro trata sobre los conjuntos. Intuitivamente un conjunto es una colecci´n (clase, agregado, conglomerado, etc.) de objetos, los que o pertenecen a (forman parte de, son los elementos de, etc.) el conjunto. En toda teor´ axiom´tica debemos partir de t´rminos que no podemos ıa a e definir para no correr el riesgo de caer en un c´ ırculo vicioso. Tal es el caso de los conceptos de conjunto y pertenencia dentro de la Teor´ de ıa Conjuntos. Todas nuestras intuiciones descansan sobre la idea intuitiva que tengamos sobre estos conceptos primitivos, sin embargo, para el desarrollo de la teor´ no es necesario contar con estas intuiciones. ıa Una teor´ axiom´tica es un modelo formal de una realidad que ıa a queremos estudiar. Est´ compuesta por axiomas, o sea, oraciones a a partir de las cuales, usando s´lo reglas l´gicas, podamos obtener todas o o las propiedades de aquello que queremos modelar. Los axiomas tratan de establecer las caracter´ ısticas y propiedades esenciales de los objetos que estamos tratando de describir en nuestro modelo. El ideal ser´ en ıa primer lugar que los axiomas modelaran las intuiciones que tenemos de la realidad y en segundo lugar que la lista fuera completa, es decir, que todas y s´lo aquellas propiedades de los objetos a describir se puedan o obtener a partir de nuestra lista. Diversas teor´ axiom´ticas de conjuntos han logrado en mayor ıas a o menor grado el segundo de estos objetivos. El primero en cambio, obtener todas las propiedades de los conjuntos a partir de un sistema de axiomas, no se ha logrado. El motivo de ´sto es muy sencillo: no e se puede. En efecto, los resultados obtenidos por el l´gico Kurt G¨del o o alrededor de 1930, demuestran que es imposible dar una axiomatizaci´n o completa de la Teor´ de Conjuntos. Lo mismo es cierto de otras teor´ ıa ıas matem´ticas como la teor´ de n´meros. a ıa u Lo anterior parece condenar nuestro proyecto al fracaso, sin embargo ´sto no es as´ s´lo nos advierte que el ideal es imposible. De hee ı, o cho numerosos matem´ticos han logrado establecer teor´ axiom´ticas a ıas a que, si bien no completas, son suficientes para construir en ellas casi toda la matem´tica. Estudiaremos una de ellas en estas p´ginas, a a a saber, la teor´ de Zermelo–Fraenckel, ZF, desarrollada a partir del ıa
5

trabajo de E. Zermelo el primero en proponer una teor´ en los primeros ıa a˜os de este siglo. n Un conjunto est´ definido por los objetos que contiene. Nuestra a intuici´n nos dice que a cada conjunto corresponde una propiedad, es o decir, aquello que caracteriza a sus elementos, por ejemplo al conjunto formado por los n´meros 1, 2, . . . , 99, le corresponde la propiedad “ser u n´mero entero mayor que cero y menor que cien”. A la inversa, a toda u propiedad le debe corresponder un conjunto, la colecci´n de todos los o objetos que verifican dicha propiedad. Temprano en el desarrollo de la teor´ de conjuntos se descubri´ ıa o que esta intuici´n conduc´ a contradicciones y que deb´ descartarse. o ıa ıa A fines del siglo pasado, el matem´tico ingl´s Bertrand Russell di´ a e o con la siguiente paradoja. Consideremos el conjunto R definido por la propiedad “un objeto pertenece al conjunto R si y s´lo si no pertenece o a si mismo”. En s´ ımbolos1 R = {x : x ∈ x}. La pregunta entonces es ¿pertenece R a R?, o en s´ ımbolos, ¿R ∈ R?. Si la respuesta es afirmativa, entonces R verifica la propiedad que define a R, o sea, R ∈ R. Si la respuesta es negativa, entonces, por definici´n, o R ∈ R. En cualquier caso obtenemos la contradicci´n o R∈R↔R∈R. La paradoja de Russell (y otras) nos dice que el concepto de “propiedad”es m´s delicado de lo que suponemos y que definitivamente no a debe corresponder a lo que llamamos un conjunto. Debemos tomar medidas para evitar que esta paradoja y ninguna otra se produzca en nuestra teor´ ıa. Sin embargo, la noci´n de que a cada propiedad deber´ correspono ıa der la colecci´n de objetos que la verifican o “extensi´n”de la propiedad, o o tiene fuerte arraigo en nuestra intuici´n. Algunos matem´ticos no han o a querido deshacerse de ella y han elaborado teor´ bastante complejas, ıas que incluyen dos tipos de objetos, conjuntos y clases propias. Deciamos antes que lo que caracteriza a los conjuntos es sus elementos y por ende para poder afirmar que algo es un conjunto, es preciso ser capaz de determinar exactamente cuales son los elementos de dicho conjunto. Las clases son las extensiones de propiedades. Si ´sta pertenece e a otra clase, entonces decimos que es un conjunto, si no, hablamos de
Supondremos que el lector est´ familiarizado con la terminolog´ y simbolog´ a ıa ıa conjuntista pero lo prevenimos de que estos tendr´n un sentido muy preciso en a nuestra teor´ y el que, a veces, difiere del popularizado en la ense˜anza b´sica y ıa n a media.
6
1

una clase propia. Es decir, las clases propias son las extensiones de una propiedad que de alguna manera son “demasiado grandes”, no las podemos aprehender. Ejemplos de estas ultimas son la clase R definida ´ anteriormente o la clase V formada por todos los conjuntos (o clase universal). En nuestra teor´ ZF, no existen las clases propias, s´lo conjuntos. ıa, o Esto implica que, por ejemplo, no podemos hablar de la clase R. Sin embargo, la situaci´n no es tan mala como parece. Si bien no podemos o hablar de R, nada nos impide hablar de la propiedad x ∈ x. As´ ı, aunque no podemos afirmar “a ∈ R (porque R no existe dentro de la teor´ podemos perfectamente decir a ∈ a que significa lo mismo. En ıa), otras palabras, si queremos hablar de una clase propia, en ZFdebemos hacerlo mediante la propiedad que la define. La noci´n de “propiedad” no la hemos definido pero de lo anterior o se desprende que es central en nuestro estudio. Vamos a continuaci´n o a definir este concepto. Como dijimos, una teor´ axiom´tica se desarrolla a partir de cierıa a tos enunciados o axiomas mediante la aplicaci´n de reglas l´gicas. Por o o ello, es fundamental que el lenguaje usado sea lo m´s preciso posible. a Esto se logra mediante la formalizaci´n del lenguaje. S´lo aquellas o o expresiones escritas en ´ste ser´n aceptables en nuestra teor´ y repree a ıa sentaran propiedades. No es el prop´sito de este texto introducir al lector a la L´gica o o Matem´tica. Tampoco suponemos que ´ste sepa l´gica m´s all´ de los a e o a a conocimientos que se aprende en un curso universitario de Introducci´n o al Algebra o similar. Cierta madurez matem´tica es desde luego necea saria para mantener la fluidez de las demostraciones. Usaremos por lo tanto un estilo semi formal el que, por un lado, es habitual en el tema y por el otro, no apabulla al lector con un rigor tedioso y excesivo. 1. El Lenguaje Formalizado L Un lenguaje formalizado est´ constituido por un conjunto de s´ a ımbolos b´sicos y por reglas que nos permiten formar expresiones m´s complia a cadas a partir de esos s´ ımbolos originales. Los s´ ımbolos de L ser´n: a 1. Variables: x, y, z, X, Y, Z, x1 , x2 , . . . , en general, las ultimas le´ tras del alfabeto latino, min´sculas o may´sculas, con o sin u u sub´ ındices. Su significado es el habitual en matem´ticas y su a rango son los conjuntos. 2. Constantes: a, b, c, A, B, C, . . . , en general, las primeras letras del alfabeto latino. Sirven para referirnos a conjuntos espec´ ıficos.
7

3. S´ ımbolo de pertenencia: ∈ 4. S´ ımbolo de igualdad: = 5. Conectivos l´gicos: ¬, ∨, ∧, →, ↔, es decir, los s´ o ımbolos habituales para la negaci´n, disyunci´n, conjunci´n, implicaci´n y o o o o equivalencia. 6. Cuantificadores: ∀, ∃, con su significado habitual. 7. Par´ntesis: ( , ). Usados como signos de puntuaci´n. e o Cualquier cadena finita formada por estos s´ ımbolos es una expresi´n o del lenguaje, pero no toda expresi´n es aceptable o significativa. S´lo o o aceptaremos aquellas a las que llamaremos f´rmulas de L. o Una f´rmula de L es una expresi´n de L construida como sigue: o o 1. X ∈ Y, X = Y son f´rmulas de L para cualquiera dos variables o o constantes X e Y no necesariamente distintas. La primera se lee X pertenece a Y o bien Y contiene a X y la segunda X es igual a Y . Su significado intuitivo es el obvio. Estas se llamar´n f´rmulas at´micas. a o o 2. Si ϕ y ψ son f´rmulas de L , entonces tambi´n lo son (ϕ ∨ o e ψ), (ϕ ∧ ψ), (ϕ → ψ), (ϕ ↔ ψ). Estas f´rmulas corresponden respectivamente a la disyunci´n, o o conjunci´n, implicaci´n y equivalencia de ϕ y ψ. o o 3. Si ϕ es una f´rmula de L , entonces ¬ϕ tambi´n es una f´rmula o e o de L . La f´rmula ¬ϕ corresponde a la negaci´n de ϕ . Tambi´n o o e usaremos los s´ ımbolos auxiliares X ∈ Y y X = Y para escribir / ¬(X ∈ Y ) y ¬(X = Y ), respectivamente. 4. Si ϕ es una f´rmula de L y x es una variable, ∀xϕ, ∃xϕ son o f´rmulas de L . o Estas se leen cualquier conjunto x verifica ϕ y existe (por lo menos) un conjunto x que verifica ϕ , respectivamente. Su significado es tambi´n evidente. e

Solamente aquellas expresiones obtenidas por la aplicaci´n de (un o n´mero finito de) estas reglas es una f´rmula de L . u o Si ϕ es una f´rmula de L y x una variable que aparece en ϕ , o decimos que x aparece ligada en ϕ si su aparici´n se produce bajo o la influencia de un cuantificador ∀x o ∃x. En caso contrario decimos que x aparece libre en ϕ . Por ejemplo, en ∀x x ∈ y, la variable x aparece ligada pero y aparece libre y en ∃x(x ∈ y ∨ ∀z x ∈ z), las variables x y z aparecen ligadas e y aparece libre. Una f´rmula que no contiene variables libres se llama una oraci´n. o o Una oraci´n de L es siempre verdadera o falsa (¡pero puede ser que no o
8

seamos capaces de determinar cu´l de las dos se cumple!). Una oraci´n a o hace una afirmaci´n acerca de los conjuntos a los que se refiere, una o f´rmula que contiene variables libres no hace ninguna afirmaci´n, pero o o si asignamos interpretaciones a sus variables libres, entonces s´ estareı mos afirmando algo. A menudo escribiremos ϕ(x1 , x2 , . . . , xn ) para dejar en claro que las variables libres de ϕ est´n entre x1 , x2 , . . . , xn . a Como hemos dicho, s´lo aceptaremos f´rmulas de L para hablar de o o objetos y hacer afirmaciones en ZF. Sin embargo, la expresi´n en L de o conceptos bastante sencillos puede resultar increiblemente complicada. As´ aceptaremos abreviaciones que faciliten la lectura. Por ejemplo el ı, concepto de subconjunto se denota x ⊆ y se puede expresar en terminos de los s´ ımbolos b´sicos de L mediante: a x⊆y ssi ∀z(z ∈ x → z ∈ y). Entonces, como ya sabemos que x ⊆ y puede escribirse en el lenguaje L, permitiremos el s´ ımbolo ⊆ en nuestras f´rmulas. Lo mismo suceder´ o a con otros s´ ımbolos. M´s a´n, en general usaremos expresiones del a u castellano y no su formalizaci´n en L para trabajar con el concepto o intuitivo y no con la a menudo ilegible f´rmula de L . Lo importante o es que dicha traducci´n sea posible para que, llegado el caso, podamos o hacer una demostraci´n rigurosa de nuestras afirmaciones. o 2. Los Axiomas de la Teor´ ZF. Conceptos Fundamentales ıa A1. Axioma de Extensionalidad: “Si todo elemento de X es un elemento de Y y todo elemento de Y es un elemento de X , entonces X es igual a Y ”. Dicho de otro modo, si dos conjuntos tienen los mismos elementos, entonces son iguales. Este axioma nos dice que lo que caracteriza a un conjunto son sus elementos. En L , este axioma se escribe ∀X∀Y (∀z(z ∈ X ↔ z ∈ Y ) → X = Y ). ´ Definicion 1.1. Decimos que X es subconjunto de Y , en s´ ımbolos, X ⊆ Y , si y s´lo si todo elemento de X es un elemento de Y . O sea, o X ⊆ Y ↔ ∀x(x ∈ X → x ∈ Y ). Con esta definici´n A1 puede escribirse m´s abreviadamente o a ∀X∀Y (X ⊆ Y ∧ Y ⊆ X → X = Y ). A2. Axioma del conjunto vac´ ıo: “Existe un conjunto que no contiene ning´n elemento”. u
9

∃X∀x x ∈ X. Observemos que, en particular, este axioma garantiza que existe al menos un conjunto. Lema 1.1. Existe un unico conjunto que no contiene ning´n ele´ u mento. ´ Demostracion. Supongamos que existen dos conjuntos distintos a y b ambos sin elementos. Por A1 ∃x((x ∈ a ∧ x ∈ b) ∨ (x ∈ b ∧ x ∈ a)), una contradicci´n. o Luego hay un unico conjunto vac´ ´ ıo. ´ Definicion 1.2. El (´nico) conjunto que no tiene elementos se u llama el conjunto vac´o y se le denota ∅ . ı Obs´rvese que el s´ e ımbolo ∅ no es la letra griega ϕ . A3. Axioma de Separaci´n: o “Si ϕ(x) es una f´rmula de L y X es un conjunto, entonces o existe un conjunto Y cuyos elementos son aquellos elementos de X que verifican ϕ(x)”. En L escribimos ∀X∃Y ∀z(z ∈ Y ↔ (z ∈ X ∧ ϕ(x)). Este axioma nos dice que para cualquier propiedad (expresada por ϕ(x)) y cualquier conjunto A existe el subconjunto de A formado por los elementos que verifican esa propiedad. Obviamente este conjunto es unico. ´ ´ Definicion 1.3. Si ϕ(x) es una f´rmula de L y A un conjunto, o el conjunto cuya existencia est´ garantizada por A3 se denotar´ con el a a s´ ımbolo {x ∈ A : ϕ(x)} y se lee “el conjunto de los elementos de A tales que ϕ(x)”. Recordemos que la paradoja de Russell se produce al tratar de construir el conjunto de todos los conjuntos que verifican una propiedad cualquiera ϕ(x). Este axioma limita nuestra capacidad de formar conjuntos de objetos que verifican una cierta propiedad, s´lo podemos o referirnos a aquellos elementos que perteneciendo a un cierto conjunto dado, verifican la propiedad en cuesti´n. Veamos que esta restricci´n o o evita que se produzca la paradoja. Para ello tratemos de formar la clase de Russell. Dado un conjunto A , el axioma de extensionalidad nos permite formar el conjunto R = {x ∈ A : x ∈ x}.
10

En L escribimos

En este caso tenemos que si R ∈ R, entonces R∈A y R ∈ R, lo cual es una contradicci´n, luego R ∈ R, lo que, a diferencia de antes, o / no es contradictorio, s´lo implica que R ∈ A. o / Teorema 1.2. No existe el conjunto de todos los conjuntos. ´ Demostracion. Supongamos que si existe y llamemoslo V . Entonces en virtud de A3 podemos construir el conjunto de Russell R = {x ∈ V : x ∈ x}, contradicci´n. o Por ultimo, cabe destacar que este no es propiamente un axioma ´ sino m´s bien un esquema. En efecto, para cada f´rmula ϕ(x) de a o L tenemos un axioma distinto, o sea, hay una cantidad ilimitada de instancias de este axioma. A4. Axioma de Pares: “Dados dos conjuntos X e Y , existe un conjunto cuyos unicos ´ elementos son X e Y ”. Su expresi´n en L es o ∀X∀Y ∃Z ∀x(x ∈ Z ↔ (x = X ∨ x = Y )). Resulta claro por A1 que este conjunto es unico. Lo denotamos ´ {X, Y }. y lo llamamos el par no–ordenado X, Y . El axioma A1 tambi´n garantiza la existencia del conjunto cuyo e unico elemento es el conjunto X ´ {X, X} = {X}, el que a menudo recibe el nombre de singleton X . A5. Axioma de Uniones: “Si X es un conjunto, entonces existe un conjunto cuyos elementos son los elementos de los elementos de X ”. En L escribimos ∀X ∃Y ∀z(z ∈ Y ↔ ∃u(z ∈ u ∧ u ∈ X)). Nuevamente por A1, este conjunto es unico, se llama la uni´n de ´ o X y se le denota X.
11

Un caso particular que merece una notaci´n especial es el siguiente. o Si X e Y son conjuntos, entonces existe {X, Y }. (¿Por qu´ ?) e Entonces x ∈ {X, Y } ↔ (x ∈ X ∨ x ∈ Y ). {X, Y } se llama la uni´n de X e Y y se le denota X ∪ Y . o Corresponde al conjunto de todos los conjuntos que pertenecen ya sea a X o a Y (o a ambos). M´s generalmente, dados los conjuntos X1 , X2 , . . . , Xn de manera a an´loga al caso de la uni´n de dos conjuntos, definimos a o X1 ∪ X2 ∪ · · · ∪ Xn = de tal manera que El lector seguramente est´ familiarizado con el concepto de uni´n a o de dos o de una cantidad finita de conjuntos, el axioma A5 generaliza este concepto a la uni´n de una familia arbitraria, incluso infinita, de o conjuntos. Observemos que para definir la uni´n de dos conjuntos son o necesarios el Axioma de Pares, el Axioma de Uniones y el Axioma de Extensionalidad (para garantizar unicidad). Usando la definici´n de uni´n de dos conjuntos, podemos tambi´n o o e definir triples no–ordenados y, en general, iterando el proceso, podemos definir n–tuplas no–ordenadas {x1 , x2 , . . . , xn }. Otra generalizaci´n de un concepto familiar es el de intersecci´n de o o un conjunto no–vac´ X , en s´ ıo ımbolos, X, definida por X = {x ∈ X : ∀y(y ∈ X → x ∈ y)}. {x, y, z} = {x, y} ∪ {z} x ∈ X1 ∪ X2 ∪ · · · ∪ Xn ↔ x ∈ X1 ∨ x ∈ X2 ∨ · · · ∨ x ∈ Xn . {X1 , X2 , . . . , Xn }.

Observemos que en virtud de A5 y de A3, X es efectivamente un conjunto. ¿Por qu´ debemos exijir que X sea no–vac´ e ıo? La intersecci´n de dos conjuntos X e Y , X ∩ Y , se define por o X ∩Y = y en general X1 ∩ X2 ∩ · · · ∩ Xn = {X1 , . . . , Xn }. {X, Y }

En rigor, para definir x ∩ y no necesitamos A5. ¿C´mo podr´ o ıamos hacerlo? Diremos tambi´n que dos conjuntos X e Y son disjuntos si e X ∩ Y = ∅.
12

A6. Axioma del Conjunto Potencia: “Si X es un conjunto, entonces existe el conjunto de todos los subconjuntos de X ”. Esto es ∀X ∃Y ∀z(z ∈ Y ↔ z ⊆ X)) (En rigor deberiamos excribir ∀X ∃Y ∀z(z ∈ Y ↔ ∀u(u ∈ z → u ∈ X)) sin embargo, como la lectura de la f´rmula se complica bastante y o ya sabemos c´mo definir ⊆ usando s´lo ∈ y los s´ o o ımbolos l´gicos, o preferimos la escritura abreviada). Creemos que este axioma se explica por s´ mismo. ı El (´nico) conjunto cuya existencia garantiza este axioma se designa u por PX y se llama el conjunto potencia de X . A7 Axioma de Regularidad: “Todo conjunto no vac´ contiene un elemento con el que no comıo parte ning´n elemento.” u En L escribimos ∀x(x = ∅ → ∃y(y ∈ x ∧ y ∩ x = ∅)). A pesar de que no resulta evidente a partir de su formulaci´n, este o axioma impide la existencia de un conjunto a tal que a ∈ a o incluso a ∈ b ∈ a , o a ∈ c ∈ b ∈ a , etc. Como veremos en su oportunidad, intuitivamente este axioma dice que ∈ , considerada como una relaci´n o entre conjuntos,verifica una condici´n an´loga a la del orden de los o a n´meros naturales, ´sta es, que todo conjunto no vac´ tiene un menor u e ıo elemento. Teorema 1.3. i) ∀x x ∈ x. ii) ∀x ∀y(x ∈ y ∨ y ∈ x). iii) En general, no existen a1 , a2 , . . . , an tales que a1 ∈ a2 ∈ · · · ∈ an ∈ a1 . iv) No existen conjuntos a1 , a2 , a3 , . . . , an , . . . tales que · · · ∈ an ∈ · · · ∈ a2 ∈ a1 . ´ Demostracion. i) Supongamos que existe a tal que a ∈ a , entonces A = {a} contradice a A7. ii) Idem i) con A = {x, y} iii) Idem i) con A = {a1 , a2 , . . . , an }. iv) Supongamos que existe el conjunto cuyos elementos son precisamente a1 , a2 , a3 , . . . . Llamemoslo A . Entonces A contradice a
13

A7 ya que para cualquier y ∈ A, digamos y = am para alg´n u m , am+1 ∈ am y am+1 ∈ X, o sea y ∩ X = ∅. El problema entonces se reduce a verificar que existe tal conjunto A. Sin embargo para poder hacerlo no bastan los axiomas que tenemos hasta ahora, necesitamos dos axiomas m´s. La demostraci´n deber´ a o a posponerse hasta entonces. (Ver ejercicio 7.) Aunque la mayor parte de las matem´ticas puede desarrollarse sin a el axioma de regularidad es m´s c´modo contar con ´l. a o e A8. Axioma del Conjunto Infinito: “Existe un conjunto que tiene infinitos elementos”. Para escribirlo en el lenguaje L debemos usar una expresi´n que o no es muy transparente. ∃X(∅ ∈ X ∧ ∀y(y ∈ X → y ∪ {y} ∈ X). Es claro que el conjunto as´ formado es intuitivamente infinito, basta ı verificar que contiene a los siguientes conjuntos ∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}}, . . . por supuesto que habr´ que demostrar adem´s que todos estos conıa a juntos son distintos. Para introducir el ultimo axioma de ZF, debemos estudiar antes ´ un cierto tipo de f´rmula de L . Una f´rmula ϕ(x, y) de L con dos o o variables libres x e y se dir´ funci´n proposicional si para todo conjunto a o a existe un unico conjunto b tal que ϕ(a, b) se verifica. Ejemplos de ´ ´stas son las f´rmulas ϕ(x, y) siguientes: e o y y y y = = = = ∪x, Px, x ∪ {x}, x ∩ a,

donde a es un conjunto fijo, etc. A9. Axioma de Reemplazo: “Si ϕ(x, y) es una funci´n proposicional y A es un conjunto, o entonces existe el conjunto de los elementos b que verifican ϕ(a, b) para alg´n a ∈ A”. u Expresado en L , tenemos ∀X∃Y ∀y(y ∈ Y ↔ ∃x(x ∈ X ∧ ϕ(x, y))).
14

De hecho, este axioma parece m´s complicado de lo que es. La a idea intuitiva es que si tenemos un conjunto A y una funci´n f cuyo o dominio es A , f [A] = {f (x) : x ∈ A}, es tambi´n un conjunto. El e problema se suscita cuando vemos que en nuestra teor´ la “funci´n” ıa o x −→ Px no es, como veremos formalmente m´s adelante, un objeto de nuestra a teor´ es decir, no es un conjunto, sino que corresponde a lo que llaıa, mamos una clase propia. Como ya hemos dicho antes, nuestro lenguaje nos permite referirnos a dichos objetos mediante la f´rmula que los deo fine, lo que para los efectos pr´cticos es casi lo mismo. As´ ϕ(x, y) no a ı, es una funci´n dentro de nuestra teor´ sino m´s bien una regla que nos o ıa a permite asociar a cada elemento de un conjunto A un unico elemento. ´ Algunos matem´ticos llaman a la f´rmula que define una funci´n, su a o o gr´fico. Siguiendo con esta nomenclatura, el problema aqu´ es que el a ı dominio de esta funci´n es la clase de todos los conjuntos que, como o ya vimos, no es un conjunto. Sin embargo, cuando restringimos dicho “dominio” a un conjunto A , A9 garantiza que existe el recorrido de la funci´n. o Esta lista de axiomas conforman ZF. Junto con el Axioma de Elecci´n, que estudiaremos en el cap´ o ıtulo 3, son suficientes para desarrollar casi toda la matem´tica. Inmediatamente se nos ocurren varias a preguntas ¿son estos axiomas independientes entre s´ ? Es decir, ¿no ı pueden obtenerse unos de otros? La respuesta es no, el axioma de pares puede obtenerse a partir de los axiomas de reemplazo y del conjunto potencia. Por su parte el axioma del conjunto vac´ puede obtenerse a ıo partir del axioma de especificaci´n y del axioma del conjunto infinito o (habr´ que darle otra formulaci´n a este ultimo). ıa o ´ El problema de la independencia del axioma de elecci´n del resto o de los axiomas es mucho m´s complicado. Fue resuelto positivamente a por K. G¨del (1940). o M´s importante a´n es el problema de la consistencia, es decir, a u ¿es posible deducir una contradicci´n a partir de estos axiomas? Este o problema no se ha resuelto y no parece probable que vaya a resolverse debido a los resultados de G¨del en 1930. Por supuesto no se ha deo scubierto ninguna contradicci´n (de no ser as´ no tendr´ sentido el o ı, ıa estudio de esta teor´ y se estima que s´ son consistentes. ıa) ı El otro problema que surge naturalmente es el de la completud de este sistema de axiomas. Es decir, ¿son suficientes estos para deducir todos los teoremas posibles sobre conjuntos? La respuesta es tambi´n e no. Mas a´n, sabemos (nuevamente en virtud de los trabajos de K. u
15

G¨del en 1930) que no puede completarse, es decir, aunque agreguemos o una lista de infinitos axiomas a ZF, seguir´ siendo incompleto, es decir, a siempre existir´ una f´rmula ϕ tal que ni ϕ ni ¬ϕ puede demostrarse a o a partir de esa lista. Todos estos problemas requieren de conocimientos de L´gica Mateo m´tica y est´n fuera del alcance de esta obra. Nos parece interesante a a eso s´ mencionarlos para que el lector investigue por su cuenta. ı Ejercicios. 1. Demuestre que el axioma de pares puede ser reemplazado por el axioma m´s d´bil: a e “Dados dos conjuntos X e Y , existe un conjunto los contiene a ambos”. 2. Demuestre que el axioma de uniones puede ser reemplazado por el axioma m´s d´bil: a e “Si X es un conjunto, entonces existe un conjunto que contiene a todos los elementos de los elementos de X ”. 3. Demuestre que el axioma del conjunto potencia puede ser reemplazado por el axioma m´s d´bil: a e “Si X es un conjunto, entonces existe un conjunto que contiene a todos los subconjuntos de X ”. 4. Demuestre que el Axioma de Pares puede obtenerse a partir de los axiomas de Reemplazo y del Conjunto Potencia. 5. Demuestre el Axioma del Conjunto Vac´ a partir de de los otros ıo axiomas y el nuevo axioma “Existe un conjunto infinito”. 6. Indique c´mo definir x ∩ y sin usar el axioma A5. o 7. Use el axioma de reemplazo y el de conjunto infinito para demostrar que el conjunto A definido en la demostraci´n del teoo rema 1.3 existe.

16

CAPITULO 2

Teor´ Elemental ıa
En este cap´ ıtulo formalizaremos y profundizaremos las nociones de la teor´ intuitiva de conjuntos que el lector probablemente ha estudiıa ado en cursos de Algebra, Geometr´ u otros. Por tratarse de material ıa familiar, la mayor´ de las demostraciones se dejar´n como ejercicio. ıa a Debemos cuidarnos eso s´ de no dar a las intuiciones el car´cter de ı a teoremas y demostrar cuidadosamente todas nuestras afirmaciones a partir de los axiomas. Una de las dificultades que enfrenta el principiante en Teor´ Aıa xiom´tica de Conjuntos es precisamente ese conocimiento intuitivo del a tema. En nuestra teor´ todo es un conjunto, as´ los elementos de un ıa ı conjunto son a su vez, conjuntos que contienen elementos que a su vez son conjuntos. Es decir, la familiar distinci´n entre elemento y conjunto o no existe y si se dice por ejemplo “ a es elemento de b ” es s´lo para o enfatizar que a y b satisfacen a ∈ b, pero no para separar a a y b en dos categor´ distintas. As´ un mismo conjunto puede jugar ambos ıas ı, papeles en distintas situaciones, por ejemplo: ∅ ∈ {∅} {∅} ∈ {∅, {∅}}. Lo mismo puede decirse de pares ordenados, relaciones, funciones etc, etc, todo ente del cual hablemos ser´ un conjunto. a 1. Operaciones En el cap´ ıtulo anterior hemos definido las operaciones x ∪ y y x ∩ y. Definiremos ahora una tercera operaci´n o ´ Definicion 2.1. Dados dos conjuntos a y b definimos el complemento relativo de b con respecto a a , o su diferencia como sigue a − b = {x ∈ a : x ∈ b}. / Notese que en virtud de A3, a − b es un conjunto. Como lo demuestra la siguiente proposici´n, la noci´n de compleo o mento de un conjunto a , es decir, el conjunto de aquellos conjuntos que no pertenecen a a , no puede definirse en ZF.
17

Teorema 2.1. No existe el “complemento”, de ning´n conjunto. u ´ Demostracion. Sea a un conjunto. Si existiera su complemento llam´moslo a , entonces en virtud de A5, a ∪ a ser´ un conjunto, e ıa pero a ∪ a = V , la clase de todos los conjuntos que, como vimos, no es un conjunto. El siguiente teorema nos da las propiedades de estas tres operaciones. Teorema 2.2. (Algebra de Conjuntos). Para todo conjunto a, b, c : i) Asociatividad a ∪ (b ∪ c) = (a ∪ b) ∪ c , a ∩ (b ∩ c) = (a ∩ b) ∩ c . ii) Conmutatividad a∪b=b∪a , a∩b=b∩a. iii) Idempotencia a∪a=a , a∩a=a. iv) Absorci´n o a ∪ (a ∩ b) = a , a ∩ (a ∪ b) = a . v) Neutro a∪∅=a , a∩∅=∅. vi) Distributividad a ∪ (b ∩ c) = (a ∪ b) ∩ (a ∩ c) , a ∩ (b ∪ c) = (a ∩ b) ∪ (a ∩ c) . vii) Leyes de De Morgan a − (b ∪ c) = (a − b) ∩ (a − c) , a − (b ∩ c) = (a − b) ∪ (a − c) . viii) a − a = ∅ ix) a = (a ∩ b) ∪ (a − b) ´ Demostracion. Ejercicio La relaci´n a ⊆ b se relaciona con las otras operaciones como sigue. o Teorema 2.3. Para todo conjunto a, b, c, d. i) a ∩ b ⊆ a y a ∩ b ⊆ b. ii) Si c ⊆ a y c ⊆ b, entonces c ⊆ a ∩ b. iii) a ⊆ b si y s´lo si a ∩ b = a. o
18

iv) v) vi) vii) viii)

Si a ⊆ c y b ⊆ d, entonces a ∩ b ⊆ c ∩ d. a ⊆ a ∪ b y b ⊆ a ∪ b. Si a ⊆ c y b ⊆ c, entonces a ∪ b ⊆ c. a ⊆ b si y s´lo si a ∪ b = b. o Si a ⊆ c y b ⊆ d, entonces a ∪ b ⊆ c ∪ d.

´ Demostracion. Ejercicio. Algunas propiedades del conjunto potencia de un conjunto son interesantes. Teorema 2.4. Para todo conjunto a, b: i) ∅ ∈ Pa y a ∈ Pa. ii) P∅ = {∅}. iii) Si a ⊆ b, entonces Pa ⊆ Pb. iv) Pa ∪ Pb ⊆ P(a ∪ b). v) Pa ∩ Pb = P(a ∩ b). vi) P(a − b) ⊆ (Pa − P(b)) ∪ {∅}. ´ Demostracion. A modo de ejemplo demostraremos vi). El resto queda como ejercicio. Sea x ∈ P(a − b), es decir, x ⊆ a − b. Si x = ∅, entonces x ∈ (Pa − Pb) ∪ {∅}. Si x = ∅, entonces para todo z ∈ x, z ∈ a y z ∈ b, o sea, x ⊆ a / y x ⊆ b, luego x ∈ Pa − Pb.

Ejercicios. 1. Determine si a pertenecea , es subconjunto, o ni pertenece ni es subconjunto de alguno de los siguientes conjuntos. (a) {{a}, a} , (b) a , (c) ∅ ∩ a , (d) {a} − {{a}} , (e) {a} ∪ a , (f) {a} ∪ {∅} . 2. Sea a un conjunto. Si para todo conjunto b se tiene a ∪ b = b, probar que a = ∅ .
19

3. Demostrar que : (a) {{a, b, c}, {a, d, e}, {a, f }} = {a, b, c, d, e, f } . (b) {{a, b, c}, {a, d, e}, {a, f }} = {a} . (c) {a} = a = {a} , para todo conjunto a . (d) ( a) ∩ ( b) = (a ∩ b) . 4. Probar que: (a) Si a ∩ c = ∅ , entonces a ∩ (b ∪ c) = a ∩ b . (b) Si a ∩ b = ∅ , entonces a − b = a . (c) Si a ∩ b = ∅ y a ∪ b = c , entonces a = c − b. (d) a ∩ (b − c) = (a ∩ b) − c . (e) (a ∪ b) − c = (a − c) ∪ (b − c) . (f) Si a ∪ b = ∅ , entonces a = ∅ y b = ∅ . 5. Definamos 0 = ∅ , 1 = 0 ∪ {0} , 2 = 1 ∪ {1} , 3 = 2 ∪ {2} , 4 = 3 ∪ {3}. Entonces: (a) Probar que 0 , 1 , 2 , 3 y 4 son conjuntos. (b) Expresar 0 , 1 , 2 , 3 y 4 usando s´lo los s´ o ımbolos “ { ” , “}”,“ ∅ ”y“,”. (c) Decidir si son ciertas o falsas las afirmaciones siguientes: (i) 1 ∈ 2 (ii) 1 ∩ 2 = 0 (iii) (0 ∩ 2) ∈ 1 (iv) 1 ⊆ 2 (v) 1 ∪ 2 = 2 (vi) 3 ⊆ 3 (vii) 4 ∈ 4 (d) Expresar los siguientes conjuntos usando los conjuntos 0, 1, 2, 3 y 4. Simplifique. ∅ , P∅ , ∅ , PP∅ , ∅ , PPP∅. (e) Si a = {{2, 3}, 4, {4}} , encontrar ( a − 4) . (f) Construir (P2 − 2) . (g) Si a = {{1, 2}, {2, 0}, {1, 3}} , construir: a, a, a, a, a, a. 6. Dar contraejemplo de P(a ∪ b) = Pa ∪ Pb . 7. Probar que: (a) Pa = a . (b) a ⊆ P a . (c) No es cierto que si a ∈ b, entonces Pa ∈ Pb . (d) Si a ∈ b, entonces Pa ∈ PP a . (e) {Px : x ∈ a} ⊆ P a. (f) {∅, {∅}} ∈ PPPa , para todo conjunto a . (g) Si Pa = Pb, entonces a = b . 8. Se define a + b = (a − b) ∪ (b − a) , para a y b conjuntos. Probar que si a, b , c son conjuntos, entonces: (a) a + ∅ = a (b) a + a = ∅
20

(c) (d) (e) (f) (g) (h) (i) 9. Sean

a + (b + c) = (a + b) + c a ∩ (b + c) = (a ∩ b) + (a ∩ c) a−b⊆a+b a = b si y s´lo si a + b = ∅ o Si a + c = b + c , entonces a = b a ∪ c = b ∪ c si y s´lo si a + b ⊆ c o (a ∪ c) + (b ∪ c) = (a + b) − c a = {x ∈ Z : x es divisible por 4} b = {x ∈ Z : x es divisible por 9} c = {x ∈ Z : x es divisible por 10}

(a) Describir a ∩ b ∩ c . (b) Sean n , m ∈ Z. Si d = {x ∈ Z : x es divisible por n} e = {x ∈ Z : x es divisible por m}, describa d ∩ e . ¿ Qu´ pasa si m y n son n´meros primos? e u ¿ Qu´ pasa si m = −n ? e 10. Probar que si a, b , c son conjuntos, entonces (a ∩ b) ∪ c = a ∩ (b ∪ c) si y s´lo si c ⊆ a. o 11. Para las siguientes oraciones, dar una demostraci´n o un cono traejemplo: (a) (a − b) − c = a − (b − c) . (b) Si a ∩ b = a ∩ c , entonces b = c . (c) Si a ∪ b = a ∪ c y a ∩ b = a ∩ c , entonces b = c . (d) a − b = (a ∪ b) − b = a − (a ∩ b) . (e) a ∩ b = a − (a − b) . (f) a − (b − c) = (a − b) ∪ (a ∩ c) . (g) a − b = b − a . (h) a ∩ (a − b) = (a − b) . (i) (a − b) ∪ b = a ∪ b . (j) (a ∩ b) − b = ∅ . (k) (a − b) ∩ b = ∅ . 12. Probar que la inclusi´n ⊆ de conjuntos cumple: o (a) a ⊆ a ( reflexividad ); (b) Si a ⊆ b y b ⊆ a , entonces a = b ( antisimetr´ ); ıa (c) Si a ⊆ b y b ⊆ c , entonces a ⊆ c ( transitividad ). 13. Si a ⊆ b y b ⊆ c y c ⊆ a, probar que a = b = c.
21

14. Si b ⊆ a y c ⊆ a , probar que b ⊆ c si y s´lo si (a − c) ⊆ (a − b). o 15. Sean b, c, d subconjuntos del conjunto a. Abreviaremos “a−x” por “ x ” . Probar o dar contraejemplo de: (a) b ⊆ c si y s´lo si b ∩ c = ∅ o (b) b ⊆ c si y s´lo si b ∩ c = ∅ o (c) b ⊆ c si y s´lo si b ∪ c = a o (d) b ⊆ c si y s´lo si b ∩ c ⊆ b o (e) b ⊆ c si y s´lo si b ∩ c ⊆ c o (f) b ⊆ c si y s´lo si b ∩ c ⊆ d ∩ d o 16. Probar o dar contraejemplo de: (a) a ⊆ b ∩ c si y s´lo si a ⊆ b y a ⊆ c o (b) b ∪ c ⊆ a si y s´lo si b ⊆ a y c ⊆ a o (c) Si a ⊆ b ∪ c , entonces a ⊆ b ´ a ⊆ c o (d) Si b ∩ c ⊆ a , entonces b ⊆ a ´ c ⊆ a o 17. Probar: (a) Si para todo c ∈ a existe d ∈ b tal que c ⊆ d, entonces a⊆ b (b) {c : c = {x}−b y x ∈ a} = ( {c : c = {x} y x ∈ a})−b (c) x=
x∈a

a

(d) x=
x∈a

a

(e) a∩( (f) Si d = ∅, entonces a∪ b=
c∈b

b) =
c∈b

(a ∩ c)

(a ∪ c).

18. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.2. 19. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.3. 20. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.4.
22

2. Relaciones Vamos ahora a introducir algunos conceptos matem´ticos famila iares, como par ordenado, relaci´n, funci´n, etc. Debemos tener espeo o cial cuidado de que estos sean conjuntos en virtud de alg´n axioma de u ZF. Por otra parte, tambi´n queremos que estos conjuntos se come porten como los objetos con que trabaja el matem´tico a quien no a preocupan los problemas de fundamento. ´ Definicion 2.2. Dados dos conjuntos a y b llamamos par ordenado a, b al siguiente conjunto. a y b se llaman la primera y segunda coordenada de tivamente. a, b = {{a}, {a, b}}. a, b , respec-

Notemos que a, b es efectivamente un conjunto. Para justificarlo, basta usar dos veces el axioma de pares. En el par no ordenado {a, b} no podemos distinguir ambos elementos ya que {a, b} = {b, a} (¿por qu´?). En cambio, los elementos e del par ordenado a, b si y s´lo si son distinguibles, es decir, si y s´lo o o si sabemos cu´l es el primero y cu´l es el segundo. Este es el contenido a a del pr´ximo teorema. o Teorema 2.5. Si a, b = c, d , entonces a = c y b = d.

´ Demostracion. Supongamos que a, b = c, d , ´sto es, e Si a = b, tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} = {c, d}, o sea a = b = c = d. (¿Qu´ axiomas hemos usado?). e Si a = b, {a} = {c} o {a} = {c, d}. En el primer caso, tenemos a = c y como {a, b} ∈ {{c}, {c, d}} y a = b, {a, b} = {c, d} luego a = c y b = d. En el segundo caso, a = c = d , luego {a, b} ∈ {{a}}, o sea b = a , contradicci´n, o sea, este segundo caso no se puede dar. Por lo tanto, o si a, b = c, d , entonces a = c y b = d. Podemos ahora definir triples ordenados y, en general, n-tuplas ordenadas. a, b, c = a, b , c a, b, c, d = a, b, c, , d a1 , a2 , . . . , an = a1 , . . . , an−1 , an .
23

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

Lema 2.6. Si a ∈ A y b ∈ A, ´ Demostracion. Ejercicio.

a, b ∈ PPA.

´ Definicion 2.3. Llamaremos producto cartesiano de los conjuntos a y b al conjunto a × b = {z ∈ PP(a ∪ b) : ∃x∃y(x ∈ a ∧ y ∈ b ∧ z = x, y )}. Notemos que por el axioma de especificaci´n de clases y el axioma o del conjunto potencia, a × b es un conjunto. Usaremos en general una notaci´n informal aunque m´s intuitiva o a a × b = { x, y : x ∈ a ∧ x ∈ b}. Podemos tambi´n introducir productos cartesianos triples y cuadrue ples etc., de la manera obvia, por ejemplo a × b × c = { x, y, z : x ∈ a ∧ y ∈ b ∧ z ∈ c} Algunas propiedades de los productos cartesianos est´n resumidas a en el siguiente teorema. Teorema 2.7. Para conjunto a, b , c , d , i) a × ∅ = ∅ × a = ∅. ii) Si a = ∅ y b = ∅, entonces a × b = ∅. iii) Si a ⊆ c y b ⊆ d, entonces a × b ⊆ c × d. iv) a × (b ∪ c) = a × b ∪ a × c. v) a × (b ∩ c) = a × b ∩ a × c. vi) a × (b − c) = a × b − a × c ´ Demostracion. Ejercicio. ´ Definicion 2.4. Un conjunto R es una relaci´n si todos sus eleo mentos son pares ordenados. Definimos tambi´n el dominio de R e Dom R = {x ∈ el recorrido de R Rec R = {y ∈ y el campo de R , Cam R = Dom R ∪ Rec R. Si Dom R ⊆ A y Rec R ⊆ B, decimos que R es una relaci´n o entre A y B o una relaci´n de A en B . o
24

R : ∃y x, y ∈ R}, R : ∃x x, y ∈ R}

Es claro que tanto Dom R como Rec R son conjuntos (¿qu´ ae xiomas usamos?). Lo que no es tan claro es que estos conjuntos correspondan a la idea informal que tenemos del dominio, es decir, el conjunto de las primeras coordenadas de los pares que est´n en la relaci´n, y a o recorrido, el conjunto de las segundas coordenadas de los pares que est´n en la relaci´n. Basta para ello comprobar que, efectivamente, a o ambas coordenadas de los pares que pertenecen a una relaci´n R est´n o a en R. Esto es f´cil ya que para a, b ∈ R; a, b ∈ {a, b} ∈ a a, b ∈ R, lo que implica por definici´n de uni´n que o o o sea, o sea, {a, b} ∈ R , R, R.

a, b ∈ {a, b} ∈ a, b ∈

´ Definicion 2.5. La composici´n de dos relaciones R y S es la o relaci´n o S ◦R = {u ∈ Dom R×Rec S : u = x, y ∧∃z( x, z ∈ R∧ z, y ∈ S)} y la relaci´n inversa de R o R−1 = {u ∈ Rec R × Dom S : u = x, y ∧ y, x ∈ R}. En general escribimos m´s informalmente a S ◦ R = { x, y : ∃z( x, z ∈ R ∧ z, y ∈ S)} y Es claro que S ◦ R y R−1 son conjuntos. R−1 = { y, x : x, y ∈ R}.

Teorema 2.8. Si R , S y T son relaciones, entonces i) (T ◦ S) ◦ R = T ◦ (S ◦ R). ii) (S ∪ T ) ◦ R = (S ◦ R ∪ T ◦ R), y T ◦ (S ∪ R) = (T ◦ S ∪ T ◦ R). iii) (S ∩ T ) ◦ R ⊆ (S ◦ R ∩ S ◦ T ), y T ◦ (S ∩ R) ⊆ (T ◦ S ∩ T ◦ R). iv) Si R ⊆ S, entonces T ◦ R ⊆ T ◦ S y R ◦ T ⊆ S ◦ T. v) (R−1 )−1 = R. vi) (S ◦ R)−1 = R−1 ◦ S −1 . ´ Demostracion. iii) Sea x, y ∈ (S ∩ T ) ◦ R, entonces existe z tal que x, z ∈ S ∩ T y z, y ∈ R.
25

Esto implica que existe z tal que x, z ∈ S y z, y ∈ S, vale decir, x, y ∈ S ◦R, pero adem´s, x, z ∈ T y z, y ∈ R, a o sea, x, y ∈ T ◦ R, o sea, (S ∩ T ) ◦ R ⊆ (S ◦ R) ∩ (T ◦ R). Para ver que la inclusi´n anterior no es una identidad basta o dar un ejemplo en el que la inclusi´n inversa es falsa. Consid´rese o e R = { a, b , a, a, }, S = { b, a }, T = { a, a }, donde a = b. Entonces S ∩ T = ∅, luego (S ∩ T ) ◦ R = ∅. Sin embargo, como a, b ∈ R y b, a ∈ S, a, a ∈ S ◦ R y como a, a ∈ R y a, a ∈ T, a, a ∈ T ◦ R, o sea, a, a ∈ S ◦ R ∩ T ◦ R, luego S ◦ R ∩ T ◦ R = ∅. vi) Sea x, y ∈ (S ◦ R)−1 . Entonces y, x ∈ S ◦ R, o sea, existe z tal que y, z ∈ R y z, x ∈ S, es decir, existe z tal que x, z ∈ S −1 y z, y ∈ R−1 , o sea, x, y ∈ R−1 ◦ S −1 , luego (S ◦ R)−1 ⊆ R−1 ◦ S −1 La inclusi´n inversa se demuestra en forma an´loga y se deja o a como ejercicio. El pr´ximo teorema nos da las principales propiedades del dominio o y del recorrido de una relaci´n. o Teorema 2.9. Sean R , S relaciones. i) Dom (R ∪ S) = Dom R ∪ DomS. ii) Rec (R ∪ S) = Rec R ∪ Rec S. iii) Dom (R ∩ S) ⊆ Dom R ∩ DomS. iv) Rec (R ∩ S) ⊆ Rec R ∩ Rec S. v) DomR − DomS ⊆ Dom(R − S). vi) Rec R − Rec S ⊆ Rec(R − S). vii) Si R ⊆ S, entonces Dom R ⊆ Dom S y Rec R ⊆ Rec S. viii) Dom R−1 = Rec R y Rec R−1 = Dom R. ix) Dom S ◦ R ⊆ Dom R y Rec S ◦ R ⊆ Rec S. vii) Cam R = Cam R−1 . viii) Cam (S ◦ R) ⊆ Dom R ∪ Rec S. ´ Demostracion. Ejercicio. La siguiente operaci´n ser´ muy importante especialmente cuando o a tratemos con funciones.
26

´ Definicion 2.6. Si R es una relaci´n y a un conjunto la imagen o de a por R es el conjunto. R∗ a = {y ∈ Rec R : ∃x(x ∈ a ∧ x, y ∈ R)}. Las principales propiedades de teorema.

est´n resumidas en el siguiente a

Teorema 2.10. Sean R , S relaciones y a y b conjuntos. i) ii) iii) iv) v) vi) vii) viii) ix) ∅∗ a = ∅. R∗ ∅ = ∅. R∗ (a ∪ b) = R∗ a ∪ R∗ b. R∗ (a ∩ b) ⊆ R∗ a ∩ R∗ b. R∗ a − R∗ b ⊆ R∗ (a − b). Si a ⊆ b, entonces R∗ a ⊆ R∗ b. (S ◦ R)∗ a = S ∗ (R∗ a). Dom(S ◦ R) = R−1∗ (DomS) y Rec(S ◦ R) = S ∗ (Rec R). R∗ a ⊆ Rec R. iv) ∃y(y ∈ a ∩ b ∧ y, x ∈ R) ∃y(y ∈ a ∧ y, x ∈ R) ∧ ∃y(y ∈ b ∧ (y, x) ∈ R) x ∈ R∗ a ∧ x ∈ R∗ b x ∈ R∗ a ∩ R∗ b

´ Demostracion. x ∈ R∗ (a ∩ b) ⇔ ⇒ ⇔ ⇔

Es decir R∗ (a ∩ b) ⊆ R∗ a ∩ R∗ b. Para ver que la inclusi´n contraria no es v´lida basta el sio a guiente contraejemplo. Sean a = {∅} , b = {{∅}} y R = { ∅, ∅ , {∅}, ∅ }.

viii)

Entonces a ∩ b = ∅, luego R∗ (a ∩ b) = ∅. Pero R∗ a = {∅} y R∗ b = {∅} luego R∗ a ∩ R∗ b = {∅} = ∅. x ∈ Dom (S ◦ R) ⇔ ⇔ ⇒ ⇔ ∃y x, y ∈ S ◦ R ∃y ∃z( x, z ∈ R ∧ z, y ∈ S) ∃z( z, x ∈ R−1 ∧ z ∈ Dom S) x ∈ R−1∗ (Dom S).

Esto demuestra que Dom(S◦R) ⊆ R−1∗ (Dom S), la otra inclusi´n o y el resto del teorema se deja como ejercicio.
27

Ejercicios. 1. Probar que si definimos a, b = {{a, 0}, {b, 1}}, entonces se satisface: a, b = c, d si y s´lo si a = c y b = d . o

2. Sean a, b, c conjuntos. Definimos el conjunto a, b, c = {{a}, {a, b}, {a, b, c}} . 3. Probar que a, b, c = d, e, f no implica que a = d y b=e y c=f . Probar que: (a) a, b = {a} . (b) a, b = a = a, b . (c) a, b = a ∩ b . (d) ( a, b ) ( a, b − a, b ) = b. Mostrar que no siempre el conjunto a, b tiene dos elementos distintos. Probar que no existe el conjunto de todos los pares ordenados. Probar que no es cierto que a, b , c es igual a a, b, c . (a) Probar que a × b = b × a si y s´lo si a = ∅ o b = ∅ o o a=b . (b) Probar que si a = ∅ y a × b ⊆ a × c , entonces b ⊆ c . (c) Probar que no es cierto : a × (b × c) = (a × b) × c . (d) Encontrar conjuntos a, b, c tales que a ∪ (b × c) = (a ∪ b) × (a ∪ c). (e) Probar que a × b ∩ c × d = a × d ∩ c × d . (f) Probar que a × a ∩ b × c = a ∩ b × a × c . (g) Probar que a × b − c × c = (a − c) × b ∪ a × (b − c) . (h) Probar que a × a − b × c = (a − b) × a ∪ a × (a − c) . (i) Probar que no es cierto que a × b = c × d ocurra si y s´lo o si a = b y c = d . Si a, b son conjuntos, probar que existe un conjunto c tal que y ∈ c si y s´lo si existe un conjunto d que satisfaga que d ∈ a o e y = {d} × b . Concluir que a × b = c . (a) Encontrar todas las relaciones cuyo dominio est´ contenido a en {a, b, c} y cuyo recorrido esta contenido en {s} . (b) Encontrar todas las relaciones en 2 y en 3 (ver definici´n o de 2 y de 3 en ejercicios de la secci´n anterior). o
28

4. 5. 6. 7.

8.

9.

(c) ¿Cu´ntas relaciones se pueden formar en un conjunto de n a elementos? 10. Probar que existe una relaci´n I que act´a como neutro para o u la composici´n de relaciones sobre un conjunto a , es decir, para o cualquier relaci´n R sobre a o 11. Probar que si R, S, T son relaciones y a, b, c conjuntos, entonces: (a) S ∩ T y S ∪ T son relaciones . (b) (S ∩ T )−1 = S −1 ∩ T −1 . (c) (S ∪ T )−1 = S −1 ∪ T −1 . (d) (R − S)−1 = R−1 − S −1 . (e) (R ◦ S) − (R ◦ T ) ⊆ R ◦ (S − T ) . (f) R ⊆ S si y s´lo si S −1 ⊆ R−1 . o (g) (a × b)−1 = b × a . (h) Si a y b no son disjuntos, entonces (a×b)◦(a×b) ⊆ (a×b). (i) Si a y b son disjuntos, entonces (a × b) ◦ (a × b) = ∅ . (j) Si b no es vac´ entonces (b × c) ◦ (a × b) = a × c . ıo, (k) Si R ⊆ a × b y S ⊆ b × c , entonces S ◦ R ⊆ a × c . 12. Probar que ∅ es relaci´n y que para todo conjunto a se tiene o que a ◦ ∅ = ∅ ◦ a = ∅ . 13. Se define la suma de dos relaciones R y S por: (a) Si R = { 1, 2 , 1, 3 } y S = { 3, 3 }, calcular R + S y S+R . (b) Encontrar Cam (R + S). (c) Determinar cu´les de las siguientes leyes distributivas son a v´lidas para la suma de relaciones: a R + (S ∪ T ) R + (S ∩ T ) R ∪ (S + T ) R ∩ (S + T ) = = = = (R + S) ∪ (R + T ) (R + S) ∩ (R + T ) (R ∪ S) + (R ∪ T ) (R ∩ S) + (R ∩ T ) R + S = (R ∪ S) ∩ (Cam R) × (Cam S) . R ◦ I = I ◦ R = R.

14. Encontrar contraejemplos para las siguientes afirmaciones: (a) Dom (R ∩ S) = Dom R ∩ Dom S . (b) Rec (R ∩ S) = Rec R ∩ Rec S . (c) Dom R − Dom S = Dom (R − S) . (d) Rec R − Rec S = Rec (R − S) . (e) Cam (S ◦ R) = Dom R ∪ Rec S . (f) R∗ (a ∩ b) = R∗ a ∩ R∗ b . (g) R∗ a − R∗ b = R∗ (a − b) .
29

15.

16.

17. 18. 19. 20.

(h) R∗ a = Rec R . (i) ( R−1 )∗ ( R∗ a ) = a . (j) R∗ ( ( R−1 )∗ b ) = b . Probar las siguientes afirmaciones: (a) ( R−1 )∗ (a ∪ b) ⊆ ( R−1 )∗ a ∪ ( R−1 )∗ b . (b) ( R−1 )∗ (a ∩ b) ⊆ ( R−1 )∗ a ∩ ( R−1 )∗ b . (c) ( R−1 )∗ a − ( R−1 )∗ b ⊆ ( R−1 )∗ (a − b) . (d) a ⊆ ( R−1 )∗ ( R∗ a ) . (e) b ⊆ R∗ ( ( R−1 )∗ b ) . (f) Si R ⊆ a × b , entonces R∗ a = Rec R y ( R−1 )∗ b = Dom R . (a) Probar que R∗ a = ∅ si y s´lo si Dom R ∩ a = ∅ . o (b) Probar que Dom R ∩ a ⊆ ( R−1 )∗ ( R∗ a ). (c) Probar que ( R∗ a ) ∩ b ⊆ R∗ (a ∩ ( R−1 )∗ b ) . (d) ¿ Bajo qu´ condiciones se tiene que Cam (a × b) = a ∪ b? e (e) Probar que si x ∈ Dom R , entonces x, x ∈ R−1 ◦ R . Demuestre todas las afirmaciones que no se demostraron en el teorema 2.7. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.8. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.9. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.10. 3. Funciones

El concepto de funci´n es uno de los m´s importantes en matem´o a a ticas. Intuitivamente, una funci´n es una regla que asigna a cada elo emento de un conjunto un unico elemento de otro conjunto (no nece´ sariamente distinto). ´ Definicion 2.7. Una relaci´n F es una funci´n si y s´lo si o o o ∀x∀y∀z(( x, y ∈ F ∧ x, z ∈ F ) → y = z) Obs´rvese que una funci´n es, en particular, una relaci´n, as´ es que e o o ı los conceptos de dominio, recorrido, campo, composici´n de funciones, o funci´n inversa, imagen, etc. se aplican a ellas tal y como se aplican a o otras relaciones. Habitualmente se usa la siguiente notaci´n. o ´ Definicion 2.8. Sea F una funci´n, x ∈ Dom F , o F (x) = {z ∈ Rec F : ∀y( x, y ∈ F → z ∈ y)}.
30

En otras palabras, F (x) es aquel unico conjunto con el que x ´ est´ relacionado seg´n la funci´n F . Observemos que el axioma de a u o extensionalidad aplicado a funciones F y G nos dice que F =G si y s´lo si o Dom F = Dom G y ∀x F (x) = G(x). G ◦ F (x) = G(F (x)). ´ Definicion 2.9. i) Si F es una funci´n, Dom F = a y Rec F ⊆ b decimos que o F es una funci´n de a en b y escribimos o F : a −→ b x −→ F (x). ii)
a

Observemos tambi´n que de acuerdo con esta notaci´n, e o

iii) F es una funci´n inyectiva o uno a uno si o

b = {F ∈ P(a × b) : F : a −→ b}. ∀x∀y(F (x) = F (y) → x = y),

es decir, a conjuntos distintos F asigna conjuntos distintos. iv) Un funci´n F de a en b se dice sobreyectiva si o ∀y(y ∈ b → ∃x(x ∈ a ∧ y = F (x))), es decir, todo elemento de b es asignado a alg´n elemento del u dominio de F . El siguiente teorema nos da algunas propiedades de las funciones. Teorema 2.11. Sean F , G , H funciones, a , b , c conjuntos. i) F es una funci´n de Dom F en Rec F . o ∅ ii) F ∈ a si y s´lo si F = ∅. o a iii) Si F ∈ ∅, entonces F = a = ∅. iv) Si b = ∅, entonces a b = ∅. v) Si F ∈ a b y b ⊆ c, entonces F ∈ a c. vi) Si F ∈ a b y G ∈ b c, entonces G ◦ F ∈ a c. vii) F ∈ a b es inyectiva si y s´lo si para todo c y todo o c c G ∈ a, H ∈ a, si F ◦ G = F ◦ H, entonces G = H. viii) F ∈ a b es sobreyectiva si y s´lo si para todo c y todo o b b G ∈ c, H ∈ c, si G ◦ F = H ◦ F , entonces G = H. ´ Demostracion. Demostraremos vii). El resto queda como ejercicio.
31

(⇒) Supongamos que F es inyectiva y sean c un conjunto cualesquiera y G, H ∈ c a. Supongamos que para todo x ∈ c F ◦ G(x) = F ◦ H(x) F (G(x)) = F (H(x)) , G(x) = H(x) . o bien y como F es inyectiva,

Como adem´s Dom G = Dom H = c, G = H. a (⇐)) Supongamos que se verifica la afirmaci´n de la derecha y que sin o embargo F no es inyectiva. Entonces existen d, e ∈ a , d = e y F (d) = F (e). Consideremos el caso particular en que c = a y definamos G : a −→ a x −→ d tonces para todo x , H : a −→ a x −→ e. En-

F ◦ G(x) = F (G(x)) = F (d) = F (e) = F (H(x)) = F ◦ H(x), es decir F ◦ G = F ◦ H, ya que tienen el mismo dominio. Pero entonces, por hip´tesis, G = H, una contradicci´n. Luego F o o es inyectiva.

Teorema 2.12. Sean F , G funciones. i) ii) iii) iv) x ∈ F −1∗ a si y s´lo si F (x) ∈ a. o Dom (F ◦ G) = G−1∗ (Dom F ) ⊆ Dom G. Rec (F ◦ G) = F ∗ (Rec G) ⊆ Rec F. F es inyectiva si y s´lo si F −1 es funci´n. o o

´ Demostracion. i) x ∈ F −1∗ a si y s´lo si ∃y(y ∈ a ∧ y, x ∈ F −1 ) o si y s´lo si ∃y(y ∈ a ∧ x, y ∈ F ) o si y s´lo si ∃y(y ∈ a ∧ y = F (x)) o si y s´lo si F (x) ∈ a. o ii) y iii), por teorema 2.10, viii). iv) Ejercicio.

Teorema 2.13. Sean F , G funciones. i) F −1∗ (a ∩ b) = F −1∗ a ∩ F −1∗ b ii) F −1∗ (a − b) = F −1∗ a − F −1∗ b
32

´ Demostracion. i) Por el teorema 2.10, iv), basta demostrar −1∗ −1∗ que F a ∩ F b ⊆ F −1∗ (a ∩ b). Sea x ∈ F −1∗ a ∩ F −1∗ b. Entonces por teorema 2.12, i), F (x) ∈ a y F (x) ∈ b, o sea, F (x) ∈ a∩b, luego x ∈ F −1∗ (a∩b). ii) Ejercicio. ´ Definicion 2.10. i) Si a es un conjunto, la funci´n o Ia : a −→ a x −→ x

se llama la funci´n identidad en a . o ii) Si F es una funci´n y a un conjunto. La restricci´n de F a o o a , F a, es la funci´n o F a : a ∩ Dom F −→ F ∗ a x −→ F a(x) = F (x).

El siguiente teorema nos permite “pegar” funciones que coinciden en la parte com´n de sus dominios. u Teorema 2.14. Sean F , G funciones tales que F a = G donde a = Dom F ∩ Dom G. Entonces F ∪ G es una funci´n. o a,

´ Demostracion. Recordemos que Dom (F ∪ G) = Dom F ∪ Dom G. Si x ∈ Dom F − Dom G o x ∈ Dom G − Dom F , entonces es claro que existe un unico y tal que x, y ∈ F ∪ G. ´ Como F y G son funciones, para x ∈ Dom F ∩ Dom G, existe un unico y y un unico z tal que x, y ∈ F y x, z ∈ G. Pero por ´ ´ hip´tesis y = z , luego en este caso tambi´n hay un unico y tal que o e ´ x, y ∈ F ∪ G. Observemos en el teorema anterior que si Dom F ∩ Dom G = ∅, F ∪ G es siempre una funci´n. o El pr´ximo teorema es muy util para probar que ciertas funciones o ´ son inyectivas o sobreyectivas. Teorema 2.15. Sea F : a −→ b. i) Si existe una funci´n G : b −→ a tal que F ◦ G = Ib , entonces o F es sobreyectiva. ii) F es inyectiva si y s´lo si a = ∅ o a = ∅ y existe una funci´n o o G : b −→ a tal que G ◦ F = Ia .
33

iii) F es biyectiva si y s´lo si existe una funci´n G : b −→ a tal o o que F ◦ G = Ib y G ◦ F = Ia . En este caso G = F −1 . ´ Demostracion. i) Sea G : b −→ a tal que F ◦ G = Ib . Entonces para todo y ∈ b, G(y) ∈ a y F (G(y)) = F ◦ G(y) = Ib (y) = y, es decir F es sobreyectiva. ii) (⇒) Supongamos F es inyectiva y a = ∅. Sea c ∈ a y definamos

G = F −1 ∪ { x, c : x ∈ b − F ∗ a}

(Obs´rvese que G es efectivamente un conjunto. ¿C´mo verifie o camos ´sto?) e Es f´cil ver que G es una funci´n tal que Dom G = b. Para a o todo x ∈ a, G ◦ F (x) = G(F (x)) = F −1 (F (x)) = x, G ◦ F = Ia . (⇐) Si a = ∅, entonces F = ∅ y por lo tanto F es inyectiva. Si a = ∅ y existe G : b −→ a tal que G ◦ F = Ia . Supongamos que F (x) = F (y). Entonces G(F (x)) = G(F (y)), o sea, x = G ◦ F (x) = G ◦ F (y) = y, luego F es inyectiva. iii) Ejercicio Notemos que en el teorema anterior parte i) no tenemos una equivalencia como en ii) y iii). Para demostrar el rec´ ıproco de i), es decir, si F es sobreyectiva, entonces existe G : b → a tal que F ◦ G = Ib , necesitamos el ultimo axioma de nuestra teor´ el Axioma de Elecci´n. ´ ıa, o Debido a la importancia de ´ste, le dedicaremos un cap´ e ıtulo completo, el cuarto. S´lo entonces podremos analizar este problema. o ya que F (x) ∈ F ∗ a. Y como Dom G ◦ F = Dom F = a,

Ejercicios.
34

1. Considerando los conjuntos N, Z, Q y R, d´ ejemplos de fune ciones F tales que: (a) F : N −→ N , F no es inyectiva ni sobreyectiva. (b) F : N −→ N , F es inyectiva pero no sobreyectiva. (c) F : N −→ Z , F no es inyectiva ni sobreyectiva. (d) F : Z −→ N , F no es inyectiva ni sobreyectiva. (e) F : Q −→ R , F no es inyectiva ni sobreyectiva. (f) F : R −→ Q , F es sobreyectiva pero no inyectiva. (g) F : R −→ Z , F sobreyectiva tal que F (x) = x para todo x en R . 2. Probar que no toda inyecci´n de un conjunto en s´ mismo es o ı sobreyectiva. 3. Dar ejemplos de funciones tales que: (a) F : 1 −→ 1 . (b) F : 0 −→ 1 . (c) F : 2 × 3 −→ 6 , F biyecci´n. o 4. Supongamos que existe una funci´n de a en b que no es inyectiva. o Probar que a = ∅ y b = ∅ . 5. Supongamos que existe una funci´n de a en b que no es soo breyectiva. Probar que b = ∅ . 6. Sean F : a −→ b y G : a −→ b funciones. Probar que si F ⊆ G , entonces F = G . 7. Sean F : a −→ b y G : c −→ d funciones. Se define el producto entre F y G por (F ∗ G)(x, y) = F (x), G(y) para x, y ∈ a × c. Probar que: (a) F ∗ G es una funci´n de a × c en b × d . o (b) Si F y G son sobreyectivas, entonces F ∗G es sobreyectiva. (c) Si F y G son inyectivas, entonces F ∗ G es inyectiva . (d) Rec (F ∗ G) = (Rec F ) × (Rec G) . Sean F : a −→ b y G : b −→ a funciones. Supongamos que y = F (x) si y s´lo si x = G(y). Probar que F −1 es funci´n y o o que F −1 = G . Sean G : b −→ c y H : b −→ c funciones. Supongamos que G ◦ F = H ◦ F para toda funci´n F : a −→ b, donde a = ∅. o Probar que G = H . Sean G : a −→ b y H : a −→ b funciones. Sea c un conjunto con m´s de un elemento y supongamos que F ◦ G = F ◦ H para a toda funci´n F : b −→ c . Probar que G = H . o Sean F : a −→ c y G : a −→ b funciones. Probar que existe una funci´n H : b −→ c tal que F = H ◦ G si y s´lo o o
35

8.

9.

10.

11.

12.

13.

14. 15.

16.

17. 18. 19. 20.

21.

si para todos x, y ∈ a se tiene que G(x) = G(y) implica F (x) = F (y). Probar que H es unica. ´ Sean F : c −→ a y G : b −→ a funciones, con G inyectiva. Probar que existe una funci´n H : c −→ b tal que F = G ◦ H o si y s´lo si Rec F ⊆ Rec G. Probar que H es unica . o ´ Probar que si F y G son funciones, entonces F ⊆ G si y s´lo si Dom F ⊆ Dom G y para todo x ∈ Dom F se tiene o F (x) = G(x) . Probar que no existe el conjunto de todas las funciones. Sea F : a −→ b funci´n. Se define G por G(y) = F −1∗ {y} . o Probar que G es funci´n y que si F es sobreyectiva, entonces o G es inyectiva . Probar tambi´n que el rec´ e ıproco es falso. Determinar cuales de las siguientes relaciones son funciones: (a) R es relaci´n de R en R tal que a, b ∈ R si y s´lo si o o a2 + b2 = 1. (b) R es relaci´n de R en R tal que a, b ∈ R si y s´lo si o o a 0 ≤ a < 1 y b = 1−a . (c) R es relaci´n entre (R)2 y R tal que a, b , c ∈ R si y o s´lo si c = a+b . o 2 Si F y G son funciones inyectivas, entonces G ◦ F es inyectiva y (G ◦ F )−1 = F −1 ◦ G−1 . Constru´ los conjuntos 3 2, 0 2, 0 0 . ır Probar que a b = ∅ si y s´lo si b = ∅ y a = ∅ . o Probar que : (a) a b =b a implica que a = b . (b) a ⊆ b implica que c a ⊆c b . (c) Si existe una biyecci´n entre a y b , entonces existe una o c biyecci´n entre a y c b . o Sea F : a −→ a una funci´n. Sea m un entero positivo. Se o m define recursivamente F por F 1 = F; F m+1 = F ◦ F m . Supongamos que existe un entero positivo n tal que F n = Ia . Probar que F es biyecci´n. o Sean a, b, c conjuntos tales que b ∩ c = ∅ . Probar que existe una biyecci´n entre b∪c a y b a ×c a. o ¿Existe una biyecci´n entre c (b a) y b×c a? o Probar que existe una biyecci´n entre c (a × b) y c a ×c b . o Sean F : a −→ b y G : a −→ b funciones. (a) Sea c el conjunto de los x ∈ a tales que F (x) = G(x) . Probar que F ◦ Ia c = G ◦ Ia c .
36

22. 23. 24. 25.

26. 27. 28.

29. 30.

31.

32.

33. 34.

(b) Sea d ⊆ a tal que F ◦ Ia d = G ◦ Ia d . Probar que d⊆c. Sea a un conjunto y sea F = { x, x, x : x ∈ a} . Probar que F es funci´n biyectiva entre a y Ia . o Sea F : b ∪ c −→ a funci´n. Probar que F = F b ∪ F c. o Sean F : a −→ b y G : c −→ d funciones biyectivas, donde a ∩ c = ∅ y b ∩ d = ∅ . Sea H = F ∪ G. Probar que H es biyecci´n entre a ∪ c y b ∪ d . o Sea F : a −→ b funci´n. Probar que existe una funci´n o o biyectiva entre F y a . Sea F : a −→ b funci´n. Sean c ⊆ a y d ⊆ b . o (a) Si F es inyectiva, probar que c = F −1∗ (F ∗ c) . (b) Si F es sobre, probar que d = F ∗ ( (F ∗ )−1 d) . Sea F : a −→ b funci´n. Probar que: o (a) Si c ⊆ a y d ⊆ a y F inyectiva, entonces F ∗ c = F ∗ d implica que c = d . (b) Si c ⊆ b y d ⊆ b y F sobreyectiva, entonces F −1∗ c = F −1∗ d implica que c = d . Sea F : a −→ b funci´n y sean c ⊆ a y d ⊆ a . o ∗ (a) Probar que F ( F −1∗ (F ∗ c) ) = F ∗ c . (b) Probar que F ∗ c − F ∗ d = F ∗ (c − d) si y s´lo si F es o inyectiva. Probar que F a = F (a × Rec F ) . Sea F : Pa −→ Pa funci´n tal que si b ⊆ c y c ⊆ a , entonces o F (b) ⊆ F (c). Sean d= e= {b ∈ Pa : F (b) ⊆ b} {b ∈ Pa : b ⊆ F (b)}.

(a) Probar que F (d) = d y F (e) = e . (b) Probar que si F (b) = b , entonces d ⊆ b ⊆ e . 35. Dar un ejemplo de una funci´n F y un conjunto a tales que o F ∩ (a × a) = F a . 36. Si F y G son funciones inyectivas, probar o dar contraejemplo de: (a) F ∪ G es inyectiva. (b) F − G es inyectiva. (c) F ◦ G es inyectiva. (d) F F −1 es inyectiva. (e) a ∩ b = ∅ implica que F a ∪ G b es inyectiva. (f) a ∩ b = ∅ implica que F ∗ a ∩ G∗ b = ∅ .
37

37. Determinar ai : i ∈ I , ai ,
i∈I i∈I

ai ,
i∈I

ai si:

(a) I = 3 y a0 = 1, a1 = 2, a2 = 3 . (b) I = 3 y ai = i , para todo i en 3 . 38. Probar que existe una biyecci´n entre a0 × a1 × a2 y o ai
i∈3

39. ¿Existe una biyecci´n entre o
a

(
i∈I

bi ) y
i∈I

( a bi ) ?

[i,i+1) 40. Probar que existe una biyecci´n entre o R y R R. i∈I 41. Sea bi : i ∈ I una familia de subconjuntos de a . Probar que i∈I

bi ⊆ I a.

42. Sean ai : i ∈ I y bi : i ∈ I dos familias de conjuntos con el mismo conjunto de ´ ındices I. (a) Probar que ai ⊆ bi , para todo i en I , si y s´lo si o
i∈I

ai ⊆

bi .
i∈I

(b) Probar que (
i∈I

ai ) ∩ ( y

bi ) =
i∈I i∈I

(ai ∩ bi ). dos familias de conjuntos.

43. Sean ai : i ∈ I Probar que: (a) (
i∈I

bj : j ∈ J

ai ) ∩ (

bj ) =
j∈J i,j ∈I×J

(ai ∩ bj ) .

(b) (
i∈I

ai ) ∪ (

bj ) =
j∈J i,j ∈I×J

(ai ∪ bj ) .

(c) (
i∈I

ai ) ∩ (

bj ) =
j∈J i,j ∈I×J

(ai ∩ bj ) .

38

(d) (
i∈I

ai ) ∪ (

bj ) =
j∈J i,j ∈I×J

(ai ∪ bj ) .

44. Sean ai : i ∈ I Probar que

una familia de conjuntos y R una relaci´n. o R∗ (
i∈I

ai ) =
i∈I

R∗ ai . J .

45. Sea ai : i ∈ I Probar que: (a)

una familia de conjuntos tal que I =

ai =
i∈I j∈J

(
i∈j

ai ).

(b) ai =
i∈I j∈J

(
i∈j

ai ).

46. Sean ai : i ∈ I una familia de conjuntos y F una funci´n o con dominio adecuado. Probar que: (a) F∗ (
i∈I

ai ) =
i∈I

F ∗ ai .

(b) F −1∗ (
i∈I

ai ) =
i∈I

F −1∗ ai .

(c) F∗ (
i∈I

ai ) ⊆

F ∗ ai
i∈I

y que si F es inyectiva se tiene la igualdad. (d) F −1∗ (
i∈I

ai ) =
i∈I

F −1∗ ai .

47. Demuestre todas teorema 2.11. 48. Demuestre todas teorema 2.12. 49. Demuestre todas teorema 2.13. 50. Demuestre todas teorema 2.15.

las afirmaciones que no se demostraron en el las afirmaciones que no se demostraron en el las afirmaciones que no se demostraron en el las afirmaciones que no se demostraron en el
39

4. Relaciones de Equivalencia En matem´tica es frecuente que nos interesen s´lo ciertas propiedaa o des de los elementos de un conjunto y que queramos por consiguiente identificar a todos los que comparten dichas propiedades. Por ejemplo, al estudiar las rectas del plano podemos identificar a todas las rectas que son paralelas entre s´ Si definimos la relaci´n R como todos los ı. o pares de elementos que queremos identificar, R es lo que llamamos una relaci´n de equivalencia. Esta secci´n estudiar´ este concepto. o o a ´ Definicion 2.11. Sea R una relaci´n binaria. o i) R es reflexiva sobre a si R es reflexiva si R es reflexiva sobre Dom R. ii) R es sim´trica si e iii) R es transitiva si ∀x∀y( x, y ∈ R → y, x ∈ R). ∀x(x ∈ a → x, x ∈ R),

iv) Una relaci´n R es una relaci´n de equivalencia si y s´lo si R o o o es reflexiva, sim´trica y transitiva. e Es f´cil demostrar que la reflexividad (sobre su propio campo) es a consecuencia de la simetr´ y transitividad de la relaci´n (ver ejerciıa o cios). Sin embargo, la incluimos en la definici´n porque tradicionalo mente se le define as´ y para hacer hincapi´ en que una relaci´n de ı e o equivalencia verifica esta propiedad. Teorema 2.16. Sea R una relaci´n. o i) R es transitiva si y s´lo si R ◦ R ⊆ R. o ii) R es sim´trica si y s´lo si R−1 ⊆ R. e o iii) R es reflexiva sobre a si y s´lo si Ia ⊆ R. o iv) R es de equivalencia si y s´lo si R−1 ◦ R = R. o ´ Demostracion. i) Supongamos que x, y ∈ R y y, z ∈ R. Entonces x, z ∈ R ◦ R = R, luego R es transitiva. ii) y iii), ejercicio. iv) (⇒) Supongamos que R es de equivalencia. Sea x, y ∈ R−1 ◦ R, es decir, existe z tal que x, z ∈ R−1 y z, y ∈ R. Entonces z, x ∈ R y por lo tanto, como R es sim´trica, x, z ∈ R y tambi´n z, y ∈ R, y como R es e e −1 transitiva, x, y ∈ R. Luego R ◦ R ⊆ R.
40

∀x∀y∀z(( x, y ∈ R ∧ y, z ∈ R) → x, z ∈ R).

Sea x, y ∈ R. Por simetr´ y, x ∈ R, luego x, y ∈ R−1 ıa y por reflexividad, y, y ∈ R. Luego x, y ∈ R−1 ◦ R, o sea, R ⊆ R−1 ◦ R y por lo tanto, R = R−1 ◦ R. (⇐) Supongamos que R = R−1 ◦ R. Sea x, y ∈ R. Como R = R−1 ◦ R, existe z tal que x, z ∈ R−1 y z, y ∈ R. Entonces y, z ∈ R y z, x ∈ R−1 , luego y, x ∈ R−1 ◦ R = R. Esto prueba que R es sim´trica. e Por otra parte, como tenemos que R−1 = (R−1 ◦ R)−1 = R−1 ◦ (R−1 )−1 = R−1 ◦ R = R,

R ◦ R = R−1 ◦ R = R, luego, por i), R es transitiva. Como se mencion´ antes la reflexividad es consecuencia de la o simetr´ y transitividad. Ver ejercicios. ıa ´ Definicion 2.12. Sea R una relaci´n de equivalencia. o i) Sea x ∈ Dom R. La clase de equivalencia de x se define por La clase de equivalencia de x es el conjunto formado por todos los conjuntos relacionados con x . ii) o m´s informalmente a P [R ] = {x ∈ P(Cam R) : ∃y(y ∈ Cam R ∧ x = [y]R )}. P [R ] = {[y]R : x, y ∈ R}. [x]R = {y ∈ Cam R : x, y ∈ R}.

P [R ] es el conjunto de todas las clases de equivalencia de R . Teorema 2.17. Sea R una relaci´n de equivalencia y sean x, y ∈ o Cam R. i) Dom R = Rec R = Cam R. ii) x ∈ [x]R . iii) x, y ∈ R si y s´lo si [x]R = [y]R . o iv) Si [x]R ∩ [y]R = ∅, entonces [x]R = [y]R . v) Si x ∈ [y]R , entonces [x]R = [y]R . vi) Si x, y ∈ [z]R , entonces [x]R = [y]R . ´ Demostracion. Demostraremos s´lo [iii)], el resto del teorema se o deja como ejercicio. Supongamos que x, y ∈ R.
41

Sea z ∈ [x]R . Entonces x, z ∈ R, luego z, x ∈ R por simetr´ ıa y z, y ∈ R por transitividad, o sea, z ∈ [y]R . Luego [x]R ⊆ [y]R . Analogamente, [y]R ⊆ [x]R , luego [x]R = [y]R . Supongamos que [x]R = [y]R . Como y, y ∈ R, y ∈ [y]R , luego y ∈ [x]R , es decir, x, y ∈ R. El teorema anterior nos da las principales propiedades de las clases de equivalencia. ii) nos dice que todo elemento del campo est´ en a alguna clase y que toda clase es no vac´ iv) nos dice que dos clases ıa. distintas son disjuntas. Estas tres propiedades definen otro importante concepto matem´tico, el de partici´n de un conjunto. a o ´ Definicion 2.13. Un conjunto P es una partici´n de a si o i) a = P. ii) ∀x(x ∈ P → x = ∅). iii) ∀x∀y((x ∈ P ∧ y ∈ P ∧ x = y) → x ∩ y = ∅). Veremos en el pr´ximo teorema la estrecha relaci´n entre los cono o ceptos de relaci´n de equivalencia y de partici´n, a saber, toda relaci´n o o o de equivalencia sobre un conjunto da origen a una unica partici´n de ese ´ o conjunto. A la inversa, toda partici´n da origen a una unica relaci´n o ´ o de equivalencia. Teorema 2.18. i) Sea R una relaci´n de equivalencia con o campo a . Entonces P [R ] es una partici´n de a . o Llamaremos a P [R ] la partici´n asociada a R . o ii) Sea P una partici´n de un conjunto a . Entonces la relaci´n o o es una relaci´n de equivalencia en a . Llamaremos a R[P ] la o relaci´n de equivalencia asociada a la partici´n P . o o iii) Dada una partici´n Q de a , P [R[Q ]] = Q. o Dada una relaci´n de equivalencia S , R[P [S ]] = S. o ´ Demostracion. i) Como lo hicimos notar, el teorema 2.17 ii) y iii) demuestra nuestra afirmaci´n. o ii) Sea P una partici´n de a . o Para x ∈ a, como a = P , existe z ∈ P tal que x ∈ z, o sea, {x} ⊆ z, luego x, x ∈ R[P ] y R[P ] es reflexiva. Si para alg´n z , {x, y} ⊆ z ∈ P , entonces {y, x} ⊆ z ∈ P , u luego R[P ] es sim´trica. e Si existen u1 , u2 ∈ P tales que {x, y} ⊆ u1 y {y, z} ⊆ u2 , entonces u1 ∩ u2 = ∅ luego u1 = u2 , por lo tanto, {x, z} ⊆ u1 , o sea, R[P ] es transitiva.
42

R[P ] = { x, y ∈ a × a : ∃z(z ∈ P ∧ {x, y} ⊆ z})

iii) Ejercicio. iv) Ejercicio.

Ejercicios. 1. Constru´ todas las clases de equivalencia que pueden existir soır bre el conjunto 3 . 2. Demuestre que una relaci´n sim´trica y transitiva es tambi´n o e e reflexiva (sobre su propio campo). 3. ¿Existe una relaci´n de equivalencia sobre el conjunto ∅ ? o 4. Sea a un conjunto. Demostrar que la igualdad de conjuntos es relaci´n de equivalencia sobre Pa . o 5. Sea A un conjunto no vac´ de relaciones de equivalencia sobre ıo un conjunto a . (a) Probar que A es relaci´n de equivalencia sobre a . o (b) ¿Lo es siempre A? (c) Encuentre condiciones para que A sea relaci´n de equivo alencia. 6. Sea R una relaci´n sobre a . Probar que si R es transitiva y o refleja, entonces R ◦ R = R . ¿ Es cierto el rec´ ıproco ? 7. Sean R y S relaciones de equivalencia sobrea a y b respectivamente. Definimos la relaci´n T sobre a × b por: c, d , e, f ∈ o T si y s´lo si c ∈ a , e ∈ a , d ∈ b y f ∈ b , y c, e ∈ R y o d, f ∈ S . Probar que T es de equivalencia. 8. Sean R y S relaciones de equivalencia sobre a . Probar que: (a) R ◦ S es relaci´n de equivalencia sobre a si y s´lo si o o R ◦ S = S ◦ R. (b) R ∪ S es relaci´n de equivalencia sobre a si y s´lo si o o R ◦ S ⊆ R ∪ S y S ◦ R ⊆ R ∪ S. (c) Si T y H son relaciones arbitrarias sobre a , entonces si R ⊆ T y R ⊆ H, entonces R ⊆ T ◦ H. 9. Sea F : a −→ b una funci´n y sea R una relaci´n de equivalencia o o sobre b. Sea c el conjunto { d, e ∈ a × a : F (d), F (e) ∈ R}. Probar que c es relaci´n de equivalencia sobre a . o 10. Sean para cada entero n , los conjuntos bn = {m ∈ Z : ∃ q(m = n + 5q)}. Probar que P = {bn : n ∈ Z} es una partici´n de Z. o Determinar una f´rmula para R[P ] . o
43

11. Probar que las siguientes relaciones sobre R × R son de equivalencia; determinar la partici´n que determina cada una de ellas, o y describir geom´tricamente los elementos de cada partici´n: e o 2 2 2 2 (a) R = { a, b , c, d : a + b = c + d } . (b) S = { a, b , c, d : b − a = c − d} . (c) T = { a, b , c, d : a + b = c + d} . 12. Sea a un conjunto. Probar que Ia y a × a son relaciones de equivalencia sobre a, y describir las particiones correspondientes. 13. Sean P = {ai : i ∈ I} y Q = {bj : j ∈ J} particiones de a y b respectivamente. Probar que {ai × bj : i, j ∈ I × J} es una partici´n de a × b. o 14. Sea F : a −→ b una funci´n, y sean {ai : i ∈ I} y {bj : j ∈ J} o particiones de a y b respectivamente. Probar que: (a) Si F es sobre, entonces {F −1∗ bj : j ∈ J} es una partici´n o de a . (b) Si F es inyectiva, entonces F ∗ ai : i ∈ I} es una partici´n o de Rec F . 15. Sean R y S relaciones de equivalencia sobre a . Probar que: (a) [x]R∩S = [x]R ∩ [x]S , para todo x en a . (b) Si R ∪ S es de equivalencia, entonces [x]R∪S = [x]R ∪ [x]S , para todo x en a . 16. Si F : a −→ b es una funci´n, definamos la relaci´n R = o o { c, d : F (c) = F (d)}. (a) Probar que R es de equivalencia sobre a . R se dice la relaci´n de equivalencia determinada por F y se denota o por R [F ]. (b) Probar que R [F ] = F −1 ◦ F . (c) Si F : a −→ b y G : b −→ c son funciones, determinar R [G ◦ F ] usando R [G] y F . 17. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.16. 18. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.17. 19. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.18. 5. Relaciones de Orden ´ Definicion 2.14. Sea R una relaci´n binaria. o i) R es antisim´trica si e ∀x∀y((xRy ∧ yRx) → x = y).
44

ii) R es conexa si iii) R es un orden parcial si R es reflexiva, antisim´trica y transitiva. e iv) R es un orden total si R es un orden parcial conexo. v) Si Dom R = a decimos que R es un orden (parcial, total) sobre a . Decimos tambi´n que a est´ parcial o totalmente ordenado e a por R . vi) Si R es un orden, en lugar de escribir x, y ∈ R, escribiremos x R y. Habitualmente los ´rdenes se designan con los s´ o ımbolos ≤ o . Ejemplo. i) Los n´meros reales con su orden usual constituyen un conjunto u totalmente ordenado. ii) Los n´meros naturales se pueden ordenar parcialmente de la siu guiente manera, dados dos n´meros naturales n y m definimos. u n m si y s´lo si o n|m. A menudo representamos ´rdenes mediante diagramas que consisten de o nodos unidos por l´ ıneas. Los nodos representan conjuntos pertenecientes campo de la relaci´n R y las l´ o ıneas al orden mismo, as´ si a, b ∈ R, ı, habr´ dos nodos unidos por una l´ a ınea (ver figura). Mientras m´s arriba a aparezca un conjunto en el diagrama, m´s “grande” es. a ∀x∀y(xRy ∨ yRx ∨ x = y).

Los diagramas de la figura representan a los ordenes R = { a, a , b, b , a, b } S = { a, a , b, b , c, c , d, d , e, e , a, b , a, c , a, d , a, e , b, d , c, d , c, e },
45

y

´ Definicion 2.15. i) Una relaci´n R es asim´trica sobre a si y s´lo si o e o ∀x∀y((x ∈ a ∧ y ∈ a ∧ xRy) → ¬ yRx). ii) Una relaci´n es un orden estricto si es transitiva y asim´trica o e sobre su campo. Teorema 2.19. i) Si ≤ es un orden (parcial), entonces la relaci´n definida por o x<y si y s´lo si x ≤ y ∧ x = y o

es un orden estricto cuyo campo es el mismo que el de ≤ . ii) Si R es un orden estricto, entonces la relaci´n definida por o xSy si y s´lo si o xRy ∨ x = y,

es un orden parcial cuyo campo es el mismo que el de R . ´ Demostracion. i) Ejercicio. ii) S es obviamente reflexiva. Supongamos que xSy, ySx pero x = y. Entonces xRy y yRx, una contradicci´n ya que R es asim´trica. Por lo tanto si o e xSy y ySx, x = y, o sea, S es antisim´trica. e S es transitiva ya que R lo es.

El m´s t´ a ıpico ejemplo de orden parcial es la relaci´n de inclusi´n ⊆ o o definida sobre el conjunto potencia de alg´n conjunto. Para ver hasta u qu´ punto este es el ejemplo t´ e ıpico de orden necesitamos primero una definici´n. o ´ Definicion 2.16. Sean R y S dos relaciones. Una funci´n F : o Cam R −→ Cam S es un isomorfismo entre R y S si y s´lo si F o es biyectiva y para todo a, b ∈ Cam R aRb si y s´lo si o F (a) S F (b). Si tal F existe, decimos que R y S son relaciones isomorfas. Si R y S son ´rdenes decimos tambi´n que F es un isomorfismo de o e orden. Teorema 2.20. Sea ≤ una relaci´n de orden. Entonces existe un o conjunto a tal que ≤ es isomorfo con S = { x, y ∈ a × a : x ⊆ y}.
46

´ Demostracion. Sea b = Cam ≤. Para cualquier conjunto x definimos yx = {z ∈ b : z ≤ x}. Notemos que ´sta es una f´rmula funcional. Luego por el axioma e o de reemplazo y dado que b es un conjunto a = {{z ∈ b : z ≤ x} : x ∈ b}, tambi´n es un conjunto. e Consideremos la relaci´n S = { x, y ∈ a × a : x ⊆ y}. Entonces o campo S = a. Definimos F : b −→ a x −→ {z ∈ b : z ≤ x}. Observemos que por reflexividad de ≤ , para todo x ∈ b, x ∈ F (x). Supongamos que x = y. Entonces por antisimetr´ de ≤ , o bien ıa x ≤ y o bien y ≤ x, es decir, x ∈ F (y) ´ y ∈ F (x), lo que unido a la / o / observaci´n anterior demuestra que F (x) = F (y), es decir, F es 1–1. o Por otra parte, por definici´n, F es sobreyectiva, luego F es una o biyecci´n. o Si x, y ∈ b y x ≤ y, entonces por transitividad de ≤ , F (x) ⊆ F (y), es decir, F (x) S F (y). Si F (x) ⊆ F (y), entonces como x ∈ F (x), x ∈ F (y), o sea x ≤ y, por lo tanto xRy si y s´lo si F (x) S F (y), o o lo que es lo mismo, F es un isomorfismo. A menudo nos encontramos con relaciones reflexivas y transitivas pero no antisim´tricas (tal tipo de relaci´n se llama un preorden). Podee o mos obtener una relaci´n de equivalencia a partir de un preorden y oro denar las clases de una manera coherente con el preorden de la manera indicada en el siguiente teorema. Esta construcci´n es bastante com´n o u en matem´tica. a Teorema 2.21. Sea una relaci´n transitiva y reflexiva con o campo a . Sea S = { x, y ∈ a × a : x y∧y x}. Entonces S es una relaci´n de equivalencia. o M´s a´n, si definimos a u [x]S ≤ [y]S si y s´lo si x o entonces ≤ es un orden parcial sobre P [S ].
47

y,

´ Demostracion. S es obviamente reflexiva y sim´trica. e Supongamos que xSy y ySz. Entonces x y, y x, y z y z y, y como es transitiva, x z y z x, o sea, xSz, lo que demuestra que S es transitiva. Para demostrar que ≤ es un orden parcial, sean [x]S ≤ [y]S y [y]S ≤ [z]S . Entonces x y y y z y como es transitiva x z, luego [x]S ≤ [z]S . Supongamos [x]S ≤ [y]S y [y]S ≤ [x]S . Entonces x y y y x, es decir xSy. Luego [x]S = [y]S , o sea, ≤ es antisim´trica. e Por ultimo es f´cil ver que ≤ es reflexiva ya que ´ a lo es. ´ Definicion 2.17. Sea ≤ un orden parcial con campo A. Supongamos que X ⊆ A y a ∈ A. i) a es una cota superior de X si ∀x(x ∈ X → x ≤ a). ii) a es una cota inferior de X si ∀x(x ∈ X → a ≤ x). iii) a es el supremo de X si a es la menor cota superior de X . iv) a es el ´ ınfimo de X si a es la mayor cota inferior. v) a es un elemento minimal de X si a ∈ X ∧∀x(x ∈ X → x a). vi) a es un elemento maximal de X si a ∈ X ∧∀x(x ∈ X → a x). Los conceptos de cota superior, cota inferior, supremo e ´ ınfimo son probablemente familiares para el lector. N´tese que si un conjunto tiene o supremo o ´ ınfimo, ´stos son unicos. Tambi´n es interesante recalcar que e ´ e los elementos minimales no tienen por qu´ ser el menor elemento del e conjunto de hecho, este ni siquiera tiene que existir. En el ejemplo de la figura a y b son minimales

El siguiente teorema de punto fijo tiene muchas aplicaciones. El argumento usado en su demostraci´n se usa frecuentemente. o Teorema 2.22. Sea ≤ un orden parcial con campo A y supon gamos que todo subconjunto de A tiene supremo. Sea F : A −→ A tal que x ≤ y → F (x) ≤ F (y). Entonces para alg´n x ∈ A, F (x) = x. u
48

´ Demostracion. Observemos primero que A tiene que tener un menor elemento. En efecto, es obvio que todos los elementos de A son cota superior de ∅, pues si a ∈ A no lo fuera, existir´ x ∈ ∅ tal ıa que x ≤ a lo que es imposible. Como ∅ ⊆ A, por hip´tesis tiene un o supremo s , este es la menor de las cotas superiores, luego tiene que ser el menor elemento de A . Sea B = {x ∈ A : x ≤ F (x)}. Entonces B ⊆ A y B tiene supremo. Llamemos a al supremo de B . Obs´rvese que B = ∅, ya que s ≤ F s, donde s es el menor e elemento de A . Entonces para todo x ∈ B, x ≤ a y x ≤ F (x) ≤ F (a), luego F (a) es cota superior de B y tenemos a ≤ F (a). Por otra parte si a ≤ F (a), F (a) ≤ F F (a) y por lo tanto F (a) ∈ B, luego F (a) ≤ a, es decir, a = F (a). El concepto definido a continuaci´n es el origen de toda la teor´ de o ıa los n´meros ordinales que estudiaremos en el pr´ximo cap´ u o ıtulo. Como veremos es una abstracci´n de la conocida propiedad del orden de los o n´meros naturales: todo subconjunto no vac´ de n´meros naturales u ıo u tiene un menor elemento. ´ Definicion 2.18. Sea R una relaci´n. o i) R es bien fundada si para todo ∅ = A ⊆ Cam R, existe a ∈ A tal que A ∩ {x ∈ Cam R : xRa} = ∅. ii) ≤ es un buen orden si < es un orden total bien fundado.

N´tese la similitud de la definici´n de relaci´n bien fundada con la o o o formulaci´n del axioma de regularidad. De hecho el axioma de regularo idad dice que la relaci´n { x, y ∈ a : x ∈ y} para cualquier conjunto o a es bien fundada.

Teorema 2.23. Para un orden parcial ≤ las siguientes condiciones son equivalentes. i) ≤ es un buen orden. ii) ≤ es un orden total y todo subconjunto no vac´ del campo de ıo ≤ tiene un menor elemento. iii) Todo subconjunto no vac´o del campo de ≤ tiene un menor ı elemento. ´ Demostracion.i)⇒ii) Sea A ⊆ Cam ≤. Escojemos a ∈ A tal que A ∩ {x ∈ Cam ≤ : x < a} = ∅, es decir para todo x ∈ A, x ≤ a y como el orden es total, a ≤ x, es decir a es el menor elemento de A .
49

ii)⇒iii) Obvio. iii)⇒i) Dados dos elementos x, y ∈ Cam ≤, consideramos {x, y}, ´ste e tiene un menor elemento luego x ≤ y o y ≤ x, o sea, ≤ es orden total. Sea A ⊆ Cam ≤ y sea a su menor elemento. Entonces es claro que A ∩ {x ∈ Cam ≤ : x < a} = ∅, es decir ≤ es bien fundado.

Ejercicios. 1. Sean a , b , c y d cuatro conjuntos distintos. ¿Cu´ntos ora denes parciales existen sobre {a, b}? ¿Sobre {a, b, c}? ¿Sobre {a, b, c, d}? Haga los diagramas correspondientes. 2. Diga cu´les de los ´rdenes del ejercicio anterior son isomorfos. a o 3. Sea a un conjunto con n elementos. Probar que un orden total sobre a contiene 1 n(n − 1) pares ordenados. 2 4. Probar que una relaci´n R sobre a es antisim´trica si y s´lo si o e o R ∩ R−1 ⊆ Ia . 5. Considere las siguientes relaciones sobre el conjunto 8 = {0, 1, 2, 3, 4, 5, 6, 7}: (a) x R1 y si y s´lo si y − x ∈ 8. o (b) x R2 y si y s´lo si y − x ∈ 8 y y − x = 0. o (c) x R3 y si y s´lo si y − x = 0. o (d) x R4 y si y s´lo si y − x es un entero par. o (e) x R6 y si y s´lo si y − x = 1. o Determinar cu´les de estas relaciones son antisim´tricas, asim´a e e tricas, transitivas, conexas, reflejas, de equivalencia o de orden. 6. Si R y S son relaciones y a un conjunto, probar que: (a) Si R es asim´trica, entonces R es antisim´trica. e e (b) Ia es sim´trica y antisim´trica. e e (c) Si R , es sim´trica y antisim´trica, entonces existe un cone e junto b tal que R = Ib . (d) Si R es asim´trica, entonces R−1 , R ∩ S y R − S son e asim´tricas. e
50

7.

8. 9. 10.

11. 12.

13. 14.

15. 16.

(e) Si R es antisim´trica, entonces R−1 , R ∩ S y R − S son e antisim´tricas. e (f) Si R es transitiva, entonces R−1 es transitiva. (g) Si R es conexa, entonces R−1 es conexa. (h) Si R es asim´trica, entonces R ∪ ICam R es antisim´trica. e e (i) Si R es antisim´trica, entonces R − ICam R es asim´trica. e e (j) Si R es transitiva y antisim´trica, entonces R − ICam R es e transitiva. Dar contraejemplos para las siguientes afirmaciones: (a) Si R y S son asim´tricas, entonces S ◦ R y R ∪ S son e asim´tricas. e (b) Si R y S son antisim´tricas, entonces R ∪ S es antie sim´trica. e (c) Si R y S son transitivas, entonces R ∪ S y R − S y S ◦ R son transitivas. (d) Si R y S son conexas, entonces R ∪ S y R − S y S ◦ R son conexas. ¿ Es ∅ un orden ? Si a es un conjunto no vac´ de ´rdenes sobre un conjunto b , ıo o probar que a es un orden sobre b. Si R es un orden sobre a y b ⊆ a, probar que R ∩ (b × b) es un orden sobre b y que si R es total, entonces R ∩ (b × b) tambi´n lo es. e Probar que R−1 es un orden sobre a si y s´lo si R es un orden o sobre a . Si R es un orden sobre a, probar que R −Ia es un orden estricto sobre a y si R es un orden estricto sobre a , probar que R Ia es un orden (parcial) sobre a . ¿ Es ∅ un orden estricto ? Sean P1 y P2 particiones de a . Se dice que P1 es m´s fina que a P2 si y s´lo si u ∈ P1 implica u ⊆ v para alg´n v en P2 . Probar o u que la relaci´n “es m´s fina que” es un orden sobre el conjunto o a de todas las particiones de a . Dar un ejemplo de un conjunto a y un conjunto S de ´rdenes o sobre a , tales que S no es un orden sobre a . Determinar cu´les de las siguientes relaciones sobre Z son ´rdenes a o y si lo es, de qu´ tipo de orden se trata: e (a) R = { x, y : x + y < 3}. (b) R = { x, y : x divide a y}. (c) R = { x, y : x + y es par }. (d) R = { x, y : x + y es par y x es un m´ltiplo de y }. u (e) R = { x, y : y = x + 1}.
51

17. Sea R una relaci´n sobre a . Probar que R es de orden si y o −1 s´lo si R ∩ R = Ia y R ◦ R = R. o 18. Sea < un orden estricto sobre a y sea b ∈ a . Definimos <1 / sobre c = a ∪ {b} por: x <1 y si y s´lo si (x, y ∈ a ∧ x ≤ y) ∨ (y = b ∧ x ∈ a). o Mostrar que <1 es un orden estricto sobre c y que la intersecci´n o entre el orden <1 y a × a es el orden <. Dar un contraejemplo de: Si R − ICam R es un orden parcial estricto, entonces R es un orden parcial. Probar que si Ro es el conjunto de todos los ´rdenes sobre a y o Re es el conjunto de todos los ´rdenes estrictos sobre a, entonces o existe una biyecci´n entre Ro y Re . o Sean x = {a, b, c, d, e} y S = { a, c , b, c , d, e }. Probar que S es un orden estricto para x , no es total y que x tiene tres elementos minimales y dos maximales. Sea a un conjunto ordenado tal que todo subconjunto no vac´ ıo de a con alguna cota superior en a tiene supremo en a . Probar que todo subconjunto no vac´ de a con alguna cota inferior en ıo a tiene ´ ınfimo en a . Sea ≤i : i ∈ I una familia de ´rdenes sobre a totalmente o ordenada por inclusi´n. Probar que i∈I ≤i es un orden sobre o a. Sea R un orden sobre a y sea b un subconjunto de a. Probar que c es el menor elemento de b si y s´lo si R∗ ( R ∩ ({c} × b)) = B. o Consideremos ≤i orden sobre ai , con i ∈ {1, 2, 3}. Probar que: (a) Si F : a1 −→ a2 es isomorfismo, F −1 : a2 −→ a1 tambi´n es isomorfismo. e (b) Si F : a1 −→ a2 y G : a2 −→ a3 son isomorfismos, entonces G ◦ F : a1 −→ a3 es isomorfismo. Sea ≤ un orden sobre a . Definamos Sb = {x ∈ a : a ≤ a}, para cada b en a . Probar que si Sb : b ∈ a est´ ordenado a por inclusi´n, entonces Sb : b ∈ a es isomorfo a a . o Sean ≤1 y ≤2 ´rdenes sobre a1 y a2 respectivamente. Sea o F : a1 −→ a2 un isomorfismo entre ≤1 y ≤2 . Probar que: (a) a es un elemento maximal (resp. minimal) en a1 si y s´lo o si F (a) es maximal (resp. minimal) en a2 . (b) Si b ⊆ a1 , entonces c es una cota superior (resp. inferior) de b en a si y s´lo si F (c) es una cota superior (resp. o ∗ inferior) de F b en a2 .
52

19. 20.

21.

22.

23.

24. 25.

26.

27.

(c) Si b ⊆ a1 , entonces c es el supremo (resp. ´ ınfimo) de b en a si y s´lo si F (c) es el supremo (resp. ´ o ınfimo) de F ∗ b en a2 . 28. Sea a un conjunto ordenado. Probar que: (a) Si todo subconjunto de a tiene ´ ınfimo, entonces a tiene un mayor elemento. (b) Todo subconjunto de a tiene supremo si y s´lo si todo o subconjunto de a tiene ´ ınfimo. 29. Sea relaci´n sobre N × N dada por: o m, n p, q si y s´lo si m < n ´ m = p y n ≤ q, o o donde ≤ es el orden usual sobre N. (a) Probar que es un orden sobre N × N. (b) Encontrar todos los elementos minimales de N×N . ¿Tiene N × N un menor elemento ? (c) Sea a = {1, 2} × {1, 2}. Encontrar todas las cotas de a . ¿ Tiene a supremo o ´ ınfimo ? Encontrar todos los elementos minimales y maximales de a . 30. Sea relaci´n sobre N × N dada por: o m, n p, q si y s´lo si m ≤ p y n ≤ q, o donde ≤ es el orden usual sobre N. (a) Probar que es un orden sobre N × N. (b) Si a es un subconjunto no vac´ de N × N que tiene alguna ıo cota superior, entonces a tiene supremo. (c) Si a es un subconjunto no vac´ de N × N, entonces a ıo tiene ´ ınfimo. (d) Dar un ejemplo de un subconjunto no vac´ de N × N que ıo tenga cotas superiores e inferiores pero que no tenga menor elemento ni mayor elemento. 31. Sea R un orden sobre a . Definimos una relaci´n S sobre Pa o por: uS v si y s´lo si o u = v o bien existe w ∈ v tal que u = {c : c ∈ v ∧ c R w}. Probar que: (a) S es un orden sobre Pa . (b) Si d ⊆ b tal que S es un orden sobre d, entonces y d es cota superior de d . 32. Sea R un orden sobre a y sea b ⊆ a. Probar que:
53

d∈b

33.

34.

35. 36.

37.

38. 39. 40. 41.

42.

(a) c es el menor elemento de b respecto de R si y s´lo si es o −1 el mayor elemento de b respecto de R . (b) An´logo para elementos minimales y maximales, para cotas a superiores e inferiores y para supremos e ´ ınfimos. Dar ejemplos de ´rdenes sobre conjuntos finitos a y subconjuntos o b de a tales que: (a) b tiene un mayor elemento pero no menor elemento. (b) b tiene un menor elemento pero no tiene mayor elemento. Sea Pb , con b = ∅ ordenado por inclusi´n y sea c ∈ Pb. o Probar que: (a) c es el supremo de c. (b) c es el ´ ınfimo de c, si c = ∅. (c) El ´ ınfimo de ∅ es Pb. Probar que todo subconjunto de un conjunto bien ordenado est´ a bien ordenado. Sea ≤ un orden para a . Definimos el segmento inicial de b : Sb = {x ∈ a : x < b}. Dado b ∈ a , a bien ordenado, probar que todo segmento inicial de Sb es a su vez segmento inicial de a , y que todo segmento incial de a contiene a Sb o es segmento inicial de Sb . Sea a un conjunto totalmente ordenado. Probar que el orden de a es un buen orden si y s´lo si todo segmento inicial de a o est´ un bien ordenado por (la restricci´n de) el orden de a . a o Si ≤ es buen orden sobre a y F es un isomorfismo entre a y un subconjunto de a , entonces x ≤ F (x) para todo x ∈ a. Probar que ning´n conjunto con un buen orden es isomorfo a un u segmento inicial de s´ mismo. ı Probar que entre dos buenos ´rdenes hay, a lo m´s, un isomoro a fismo. Sean ≤1 y ≤2 buenos ´rdenes sobre a1 y a2 respectivamente. o Probar que si a1 con ≤1 es isomorfo a un subconjunto de a2 con ≤2 , y a2 con ≤2 es isomorfo a un subconjunto de a1 con ≤1 , entonces ≤1 y ≤2 son isomorfos sobre a1 y a2 . Sea ≤A un orden total sobre A y ≤B un orden total sobre B . Definimos a1 , b1 a2 , b2 si y s´lo si a1 ≤A a2 ∨ a1 = a2 ∧ b1 ≤B b2 . o

Demuestre que la relaci´n as´ definida es un orden total sobre o ı A × B. Este orden se llama orden lexicogr´fico. a Demuestre que si ≤A y ≤B son buenos ordenes, el orden lexicogr´fico tambi´n es un buen orden. a e
54

43. Demuestre que la relaci´n definida sobre los n´meros naturales o u en 5 es efectivamente un orden. 44. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.16. 45. Demuestre todas las afirmaciones que no se demostraron en el teorema 2.17. 46. Demuestre que la relaci´n ≤ definida en el teorema 2.21 es o efectivamente un conjunto. 47. Demuestre que el supremo y el ´ ınfimo, con respecto a cualquier orden, de un conjunto A , si existen, son unicos. ´

55

56

CAPITULO 3

Ordinales
En este cap´ ıtulo estudiaremos un tema un poco m´s avanzado de a teor´ de conjuntos. El lector est´ seguramente familiarizado con los ıa a n´meros naturales. Los n´meros naturales nos sirven para contar y u u para ordenar los conjuntos finitos. Es esta segunda propiedad la que trataremos de generalizar para conjuntos infinitos, empezaremos por construir dentro de nuestra teor´ el conjunto de los n´meros naturales. ıa u 1. N´ meros Naturales u Formalizaremos ahora el concepto intuitivo de n´mero natural denu tro de la teor´ ZF. ıa ´ Definicion 3.1. El sucesor de un conjunto x es el conjunto Sx = x ∪ {x}. Obs´rvese que si x es un conjunto, Sx tambi´n lo es (¿Por qu´?). e e e ´ Definicion 3.2. 0 1 2 3 = = = = . . . ∅ S0 = {∅} S1 = {∅, {∅}} S2 = {∅, {∅}, {∅, {∅}}}

Cada uno de estos conjuntos es un n´mero natural. u La definici´n anterior introduce todos los n´meros naturales en o u forma bastante sencilla. Debemos destacar algunas caracter´ ısticas de ´sta. En primer lugar 0 es un n´mero natural. En segundo lugar, si n e u es un n´mero natural, su sucesor tambi´n lo es. En tercer lugar todo u e n´mero natural corresponde a una de esas dos posibilidades, o es 0 o u es el sucesor de alg´n otro n´mero. u u Una segunda observaci´n en el plano intuitivo (y que formalizareo mos en el cap´ ıtulo 5), es que el n´mero natural n contiene n elementos u
57

i.e. 0 no tiene elementos, 1 tienen un elemento, 2 tiene dos elementos, etc. M´s a´n, n´tese que a u o 1 = {0} 2 = {0, 1} 3 = {0, 1, 2} . . . En general, Sn = {0, 1, . . . , n} , todo n´mero natural esta formado por los naturales que lo preceden, u salvo el 0 uqe no contiene ning´n elemento. u Hasta ahora hemos construido cada uno de los n´meros naturales. u ¿Existe un conjunto que contenga a todos y solamente a los n´meros u naturales? La respuesta es s´ pero dista de ser obvia, de hecho se ı necesita el Axioma de Infinito para poder construir el conjunto de los n´meros naturales. u ´ Definicion 3.3. Decimos que X es inductivo si i) 0 ∈ X. ii) Si x ∈ X, entonces Sx ∈ X. El axioma de infinito nos dice precisamente que existe al menos un conjunto inductivo. Llamemoslo I. ´ Definicion 3.4. El conjunto ω de los n´meros naturales se define u como sigue: ω = ∩{x ∈ PI : x es inductivo} Obs´rvese ω es inductivo y que si X es inductivo, ω ⊆ X, es decir, e ω es el m´s peque˜o de los conjuntos inductivos. a n Por la manera en que definimos los n´meros naturales, es claro u que todo conjunto inductivo, en particular ω , contiene a todos los n´meros naturales. Por otra parte, ning´n conjunto que no sea un u u n´mero natural pertenece a ω . Esto quedar´ m´s claro si demostramos u a a primero el siguiente teorema, del que derivan las propiedades que m´s a nos interesan de los n´meros naturales, conocido como Principio de u Inducci´n. En adelante nos referiremos a el simplemente como P.I. o Teorema 3.1. (Principio de Inducci´n) o Sea ϕ(x) una f´rmula con una variable libre x . Supongamos que o i) ϕ(0) se verifica.
58

ii) Para todo n ∈ ω si ϕ(n) se verifica, entonces ϕ(Sn) tambi´n se verifica. e Entonces ϕ(n) se verifica para todo n ∈ ω. El P.I. puede ser enunciado en t´rminos de la relaci´n de pertenene o cia. En este caso, resulta m´s evidente que P.I. simplemente afirma a que ω es el menor conjunto inductivo. Las dos maneras de enunciar el principio son equivalentes, (ver ejercicios.) Teorema 3.2. (Principio de Inducci´n) o Sea B un conjunto tal que i) 0 ∈ B. ii) Para todo n , si n ∈ B , entonces Sn ∈ B. Entonces ω ⊆ B. Ejemplo Si x ∈ ω, entonces x = 0 o bien x es el sucesor de un n´mero u natural. ´ Demostracion. Sea B = {x ∈ ω : x = 0 ´ x es el sucesor de un n´mero natural}. o u Es claro que B es inductivo, luego ω ⊆ B ⊆ ω. Resulta interesante notar que 0 ∈ 1 ∈ 2 ∈ 3 ∈ · · · y tambi´n o ⊆ 1 ⊆ 2 ⊆ 3 · · · e Esta observaci´n nos da la intuici´n de que la relaci´n de pertenencia o o o entre naturales define una noci´n de orden apropiada. En estricto rigor, o la verdad es todo lo contrario, los n´meros naturales se definen as´ para u ı que la relaci´n de pertenencia sea un orden con buenas propiedades. o ´ Definicion 3.5. La relaci´n ≤ se define en ω por: o Diremos que m es menor o igual que n . Tambi´n usaremos el s´ e ımbolo < para denotar m<n Obs´rvese que m < n e ssi m ∈ n. ssi m ≤ n y m = n. m≤n ssi m ∈ n o bien m = n.

Debemos demostrar que esta relaci´n es un orden lineal, m´s a´n, o a u que es un buen orden. Lema 3.3. Para todo n, m ∈ ω,
59

i) ii) iii) iv)

´ Demostracion. i) Por inducci´n con ϕ(x) = 0 ≤ x. o – ϕ(0) se verifica. – Supongamos ahora que ϕ(n) se verifica. Es decir, 0 ≤ n, o sea 0 ∈ n ´ 0 = n. En cualquier caso o 0 ∈ n ∪ {n} = Sn, o sea ϕ(Sn) se verifica. Luego, en virtud de P.I., para todo n ∈ ω, 0 ≤ n. ii) Por inducci´n sobre n . Sea o – ϕ(0) se verifica trivialmente. – Supongamos ϕ(m) y sea y ∈ Sm. Entonces y ∈ m ´ o y = m. Si y ∈ m, por hip´tesis de inducci´n, y ∈ ω. o o Si y = m, entonces y ∈ ω. En cualquier caso y ∈ ω. Luego por P.I., todo n ∈ ω verifica ϕ(x) iii) m < Sn ssi m ∈ Sn = n ∪ {n} sii m ≤ n. iv) Por inducci´n sobre m . Consideramos o – ϕ(0) se verifica trivialmente. – Supongamos ϕ(m), o sea, ∀y(y < m → Sy ≤ m). Supongamos pues que y < Sm y recordemos que esto ocurre si y s´lo si y ∈ m o y = m. o Si y ∈ m, por hip´tesis de inducci´n, Sy ≤ m y luego o o Sy ≤ Sm. Si y = m, entonces Sy = Sm. En cualquier caso, si y < Sm, entonces Sy ≤ Sm, es decir, ϕ(Sm) se verifica. Luego por P.I., para todo m ∈ ω, ϕ(m) se verifica. Teorema 3.4. ≤ es un orden total sobre ω . ϕ(x) = ∀y(y < x → Sy ≤ x). ϕ(x) = ∀y(y < x → y ∈ ω)

0 ≤ n. Si x ∈ n, entonces x ∈ ω. m < Sn ssi m ≤ n. Si n < m, entonces Sn ≤ m.

´ Demostracion. i) ≤ es obviamente reflexiva. ii) ≤ es antisim´trica. En efecto, supongamos que m ≤ n y e n ≤ m, pero m = n. Entonces m ∈ n y n ∈ m lo que contradice el teorema 1.3. iii) ≤ es transitiva. Supongamos que k ≤ m y m ≤ n. Demostraremos que k ≤ n por inducci´n sobre n . Para ello sea o ϕ(x) = ∀y∀z((z ≤ y ∧ y ≤ x) → z ≤ x).
60

– ϕ(0) se verifica ya que si k ≤ m y m ≤ 0, m = 0 luego k ≤ 0. – Si ϕ(n) se verifica, consideremos k ≤ m y m ≤ Sn. Entonces m < Sn ´ m = Sn. o Si m < Sn, entonces por el lema 3.3 iii), m ≤ n y por hip´tesis de inducci´n k ≤ n. Es decir k ∈ n ´ k = n. En o o o cualquier caso k ∈ Sn, o sea, k ≤ Sn. Si m = Sn, como k ∈ m ´ k = m tenemos k ∈ Sn ´ o o k = Sn, es decir, k ≤ Sn. Esto completa la inducci´n, luego todo n´mero natural n o u verifica ϕ(n), o sea, ≤ es transitiva. iv) ≤es un orden total. Sean m y n dos n´meros naturales. u Demostraremos por inducci´n sobre n que m < n ´ m = n ´ o o o n < m. Para ello sea ϕ(x) = ∀y(y < x ∨ y = x ∨ x < y) – ϕ(0) se verifica por el lema 3.3 i). – Supongamos ϕ(n) se verifica. Entonces para todo m, m < n ´ m = n ´ n < m. o o Si m < n ´ m = n, entonces m ∈ Sn, luego m < Sn. o Si n < m, entonces Sn ≤ m por el lema 3.3 iv). Luego por P.I., ≤ es un orden total sobre ω . Para verificar que ≤ es un buen orden, resulta m´s f´cil demostrar a a primero otra versi´n del Principio de Inducci´n. Para distinguirlo o o de P.I., lo llamaremos Principio de Inducci´n Completa. Debemos o recordar siempre que este nuevo principio es equivalente con P.I. Demostraremos a continuaci´n una de las implicaciones, la otra se deja o como ejercicio. Teorema 3.5. (Principio de Inducci´n Completa). o Sea ϕ(x) una f´rmula con una variable libre x . Supongamos que o (∗ ) si ϕ(k) se verifica para todo k < n, entonces ϕ(n) tambi´n e se verifica. Entonces para todo n ∈ ω, se verifica ϕ(n). ´ Demostracion. Demostramos primero por inducci´n que para o todo n ∈ ω se cumple ψ(n) donde ψ(x) = ∀y(y < x → ϕ(y)) i) ψ(0) se cumple trivialmente ya que no existe m < 0.
61

ii) Supongamos ψ(n) se verifica. Entonces por (∗), ϕ(n) tambi´n, e pero por el lema 3.3 iii), para todo n luego ∀y(y < Sn → ϕ(y)), es decir ψ(Sn) es cierta. Esto completa nuestra inducci´n, o sea para todo n ∈ ω, se verifica, o en particular, ψ(Sn), y como n < Sn, esto garantiza que se verifica ϕ(n). El principio de Inducci´n Completa tambi´n puede plantearse en o e terminos de la relaci´n de pertenencia. o Teorema 3.6. Sea B ⊆ ω tal que (∗ ) si {k ∈ ω : k < n} ⊆ B, entonces n ∈ B. Entonces B = ω. Teorema 3.7. ≤ es un buen orden. ´ Demostracion. Hemos visto que ≤ es un orden total. Debemos demostrar que ≤ es bien fundado, es decir, que si X ⊆ ω, X = ∅, entonces X tiene un menor elemento. Para ello suponemos que X no tiene menor elemento y aplicamos el Principio de Inducci´n Completa 3.6 a X ∈ ω − X) o Dado n , si para todo k < n , k ∈ ω − X , entonces n ∈ ω − X porque, si no, n es el menor elemento de X, luego ω −X = ω, es decir, X = ∅ , lo que es una contradicci´n. Por lo tanto todo subconjunto no o vac´ de ω tiene un menor elemento y ≤ es un buen orden. ıo Volveremos sobre estas propiedades en un contexto m´s general en a las pr´ximas secciones. o Teorema 3.8. Si un subconjunto de ω tiene una cota superior, entonces tiene un m´ximo elemento. a ´ Demostracion. Sea X ⊆ ω, X = ∅, definimos Por hip´tesis Y = ∅. Sea m el menor elemento de Y . Por definici´n o o m es el supremo de X. Debemos demostrar que m ∈ X. Si m = 0, entonces para todo x ∈ X, x ≤ 0, o sea X = ∅ o bien X = {0}. El primer caso no ocurre por hip´tesis y en el segundo, 0 es o el m´ximo de X. a Si m = 0, entonces m = Sn para alg´n n. Pero entonces si u m ∈ X, n es cota superior de X y n < m, una contradicci´n. Luego / o m ∈ X y es el mayor elemento de X.
62

y < Sn → (y < n ∨ y = n),

Y = {x ∈ ω : x es cota superior de X}.

Ejercicios. 1. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Inducci´n dadas en el texto, es decir los teoremas 3.1 y o 3.2. 2. Demuestre el Principio de Inducci´n Completa a partir del teoo rema 3.7 3. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Inducci´n Completa dados en el texto, es decir los teoo remas 3.5 y 3.6. 4. Sea ai : i ∈ ω una familia de conjuntos tal que para todo i ∈ ω, ai ⊂ aSi . Probar que a0 ⊂ an para todo n ∈ ω − 1. 5. Sea ai : i ∈ ω una familia de conjuntos tal que para todo i ∈ ω , ai ⊆ aSi y i∈ω ai ⊆ a0 . Probar que ai = a0 para todo i en ω. 6. Probar que si n ∈ ω, Sn = n y que ω = ω. 7. Probar que si a ⊆ ω, a = ∅ y a = a , entonces a = ω. 8. Probar que si m y n est´n en ω y m = n , entonces: a m si n ∈ m, (a) m ∪ n = n si m ∈ n. n si n ∈ m, (b) m ∩ n = m si m ∈ n. 9. Probar que si n ∈ m y n = 0 , entonces existe un mayor elemento en n . 10. Si a ⊆ b ⊆ ω son no vac´ ıos, n es el menor elemento de a y m es el menor elemento de b , ¿cu´l es la relaci´n entre n y a o m ? Justificar y responder para los mayores elementos de a y de b si estos existen. 11. Probar que si n ∈ ω , entonces no existe k ∈ ω tal que n < k < Sn. 12. Probar que si n y m est´n en ω y n < m , entonces Sn < Sm. a 13. Probar que no existe una funci´n F : ω −→ ω tal que para o todo n ∈ ω, F (Sn) < F (n). 14. Probar que si ϕ(x) es una f´rmula con variable libre x y existe o un k ∈ ω , tal que (a) ϕ(k) se verifica y (b) para todo n ∈ ω tal que k ≤ n, si se verifica ϕ(n) entonces se verifica ϕ(Sn). Entonces ϕ(n) se verifica para todo n ∈ ω − k. 15. Probar que si ϕ(x) es una f´rmula con variable libre x y existe o un k ∈ ω tal que (a) ϕ(k) se verifica y
63

(b) para todo n ∈ ω tal que n > k, si se verifica ϕ(n) entonces se verifica ϕ(Sn). Entonces ϕ(n) se verifica para todo n ∈ ω − k. 2. Ordinales Los ordinales son conjuntos asociados con buenos ´rdenes, de hecho, o son los ejemplos t´ ıpicos de estos ultimos en el sentido que todo buen ´ orden es isomorfo a alg´n ordinal. La definici´n de ordinal no hace u o sino extender las propiedades de los n´meros naturales estudiadas en u la secci´n anterior sin embargo, esto no se podr´ apreciar sino hasta o a que el cap´ ıtulo est´ bastante avanzado. e ´ Definicion 3.6. i) a es ∈–transitivo si

∀x∀y((x ∈ y ∧ y ∈ a) → x ∈ a). ii) a es un ordinal si a es ∈–transitivo y todo elemento de a es ∈– transitivo. Si x es un ordinal escribiremos Ord (x). Obs´rvese e que Ord (x) es una f´rmula de nuestro lenguaje en la que x o aparece libre. Notaci´n: Usaremos letras griegas min´sculas para denotar ordio u nales. Nada en la definici´n indica que haya ordinales, ni siquiera que exo istan conjuntos ∈–transitivos. Tambi´n podr´ suceder que todo cone ıa junto es un ordinal. A continuaci´n dilucidaremos estos problemas. De o hecho, el siguiente teorema demuestra que todos los n´meros naturales u son ordinales. Teorema 3.9. i) 0 es un ordinal. ii) Ord (x) → Ord (Sx). iii) ∀x(x ∈ ω → Ord (x)). iv) Ord (ω). ´ Demostracion. i) Ord (0) trivialmente ya que 0 = ∅. ii) Supongamos que x es ordinal. Entonces x es ∈–transitivo y todo elemento de x es ∈–transitivo. Como Sx = x ∪ {x}, todo elemento de Sx es ∈–transitivo. Para ver que Sx es ∈–transitivo consideremos z , y tales que z ∈ y ∈ Sx. Si y ∈ x, entonces z ∈ x, ya que x es ∈–transitivo. Si y = x, entonces tambi´n z ∈ x, es decir, en cualquier e caso, z ∈ x ⊆ Sx, o sea, Sx es ∈–transitivo.
64

iii) Consideramos la f´rmula ϕ(x) = Ord (x). Por i) y ii) y P.I., o todo n´mero natural es un ordinal. u iv) El lema 3.3, ii) demuestra que ω es ∈–transitivo. Si n ∈ ω, iii) demuestra que n es ∈–transitivo. Luego Ord (ω). Ver que no todo conjunto es un ordinal es f´cil. De hecho, {{0}} a no es ni siquiera ∈–transitivo. Tambi´n es f´cil ver que ning´n par e a u ordenado a, b es un ordinal. Teorema 3.10. Si C es un conjunto de ordinales, entonces es un ordinal. C

´ Demostracion. Para demostrar que C es ∈–transitivo, supongamos x ∈ y ∈ C. Entonces existe α ∈ C talque y ∈ α. Como x ∈ y ∈ α y este ultimo es ∈–transitivo, x ∈ α y por lo tanto, ´ x ∈ C, es decir, C es ∈–transitivo. Sea x ∈ C. Entonces existe α ∈ C tal que x ∈ α, entonces, x tambi´n es ∈–transitivo. e Por lo tanto C es un ordinal. El siguiente teorema demuestra que todo ordinal est´ compuesto a por ordinales. Teorema 3.11. Si α es un ordinal, entonces todos sus elementos son ordinales. ´ Demostracion. Supongamos que x ∈ α. Entonces x es ∈– transitivo. Si y ∈ x, como α es ∈–transitivo, y ∈ α, luego y es ∈–transitivo, luego x es ordinal. Los ordinales nos proporcionan un nuevo ejemplo de clase propia. Teorema 3.12. No existe el conjunto de todos los ordinales. ´ Demostracion. Supongamos por el contrario que O es el conjunto de todos los ordinales. Entonces es claro que O es ∈–transitivo y que todos sus elementos son ∈–transitivos, es decir, O es un ordinal, luego O ∈ O, contradicci´n. o Teorema 3.13. Para todo par de ordinales α, β, M´s a´n, s´lo una de estas posibilidades se verifica. a u o
65

α∈β

o ´

α=β

o ´

β ∈ α.

´ Demostracion. Supongamos por el contrario que existen ordinales α y β tales que α ∈ β, α = β y β ∈ α. Sea Nuestra suposici´n implica que α, β ∈ A. Luego A = ∅. o Por el axioma de regularidad, existe a ∈ A tal que A ∩ a = ∅. Definimos entonces el conjunto B = ∅ ya que a ∈ A. Por el axioma de regularidad nuevamente sea b ∈ B tal que B ∩ b = ∅. Como a ∈ B, a = b. La contradicci´n se obtiene probando que a = b. o Sea x ∈ a, como a es ordinal, x tambi´n lo es. Como a ∩ A = e ∅, x ∈ A. Por ultimo como x ∈ a ∈ Sα ∪ Sβ, x ∈ Sα ∪ Sβ, ya que ´ este ultimo, al ser uni´n de dos ordinales, es tambi´n un ordinal y, por ´ o e lo tanto, es ∈–transitivo. Entonces en particular como b ∈ Sα ∪ Sβ, ∀y(y ∈ Sα ∪ Sβ → (x ∈ y ∨ x = y ∨ y ∈ x)) x ∈ b ∨ x = b ∨ b ∈ x. B = {x ∈ Sα ∪ Sβ : a ∈ x ∧ a = x ∧ x ∈ a} A = {x ∈ Sα ∪ Sβ : ∃y(y ∈ Sα ∪ Sβ ∧ x ∈ y ∧ x = y ∧ y ∈ x)}.

Si x = b, b ∈ a, luego b ∈ B. Si b ∈ x, como a es ordinal b ∈ a, luego b ∈ B. En ambos casos tenemos una contradicci´n. o Por lo tanto la unica posibilidad es x ∈ b, es decir, hemos de´ mostrado que a ⊆ b. Supongamos ahora que x ∈ b. Como antes x ∈ Sα ∪ Sβ y x ∈ B ya que B ∩ b = ∅. Luego Si a ∈ x ´ a = x, entonces a ∈ b ya que b es ordinal. Luego x ∈ a. o Hemos demostrado que b ⊆ a. Por lo tanto a = b lo que contradice nuestra suposici´n, luego o El teorema 1.3 garantiza que s´lo una de las tres posibilidades ano teriores se verifica. Teorema 3.14. Si A es un conjunto no vac´ de ordinales, enıo tonces A esordinal. M´s a´n, A ∈ A. a u
66

a∈x ∨ a=x ∨ x∈a.

α∈β ∨ α=β ∨ β∈α.

´ Demostracion. Si x ∈ A, entonces para todo α ∈ A, x ∈ α, luego x es ordinal, por lo tanto es ∈–transitivo. Supongamos x ∈ y ∈ A. Entonces para todo α ∈ A, x ∈ y ∈ α ∈ A, pero α es ordinal, luego para todo α ∈ A, x ∈ α ∈ A, o sea, x∈ A y A es ∈–transitivo. Hemos demostrado que A es un ordinal. Por 3.13, para todo α ∈ A, A∈α ´ o A = α ´ α ∈ A, o pero esta ultima posibilidad implica que, en particular, α ∈ α. Las ´ dos primeras posibilidades implican que A ∈ A. Teorema 3.15. Para cualquier α y β i) α ∈ β ssi α ⊂ β. ii) Si C ⊆ α, entonces C=α ´ o C ∈ α. iii) α = Sα. iv) Si α ∈ β, entonces Sα ∈ β ´ Sα = β. o v) α = S α ´ α = α. o ´ Demostracion. i) ⇒ Por ∈–transitividad de β , si x ∈ α, entonces x ∈ β, o sea, α ⊆ β. Como α ∈ β − α, α = β. ⇐ Si α ⊂ β, entonces α = β y β ∈ α. Luego por el teorema 3.13, α ∈ β. ii) C es un ordinal por el teorema 3.10. Supongamos que α ∈ C, entonces α ∈ x para alg´n u x ∈ C y como hemos supuesto que C ⊆ α, x ∈ α. O sea α ∈ x ∈ α, lo que contradice el teorema 1.3. Luego C ∈ α ´ o C = α. iii) Si x ∈ Sα, x ∈ y para alg´n y ∈ Sα. Entonces y ∈ u α ´ y = α; en cualquier caso x ∈ α. o Entonces x ∈ α ∈ Sα, luego x ∈ Sα. iv) Supongamos que β ∈ Sα, o sea, β ∈ α ´ β = α. Como por o hip´tesis α ∈ β, tendriamos que β ∈ β, lo que contradice el o teorema 1.3. Luego por 3.13, Sα ∈ β ´ Sα = β. o v) Sabemos que α es ordinal. Si α = α, entonces por ii), α ∈ α. Luego por iv), S α ∈ α ´ S α = α. Si suponemos o que S α ∈ α, como α ∈ S α, concluiriamos que α∈ α, lo que contradice el teorema 1.3. Luego S α = α ´ α = o α. Observemos que iv) es una generalizaci´n del lema 3.3, iii). Tambi´n o e es importante notar que todo ordinal es o bien sucesor de alg´n otro u ordinal o bien la uni´n de s´ mismo. o ı
67

´ Definicion 3.7. Sea α un ordinal. Definimos la relaci´n ≤ en o α como sigue. Para x, y ∈ α x≤y si y s´lo si o x∈y ∨ x=y.

N´tese que, en rigor, para distintos ordinales α el orden reci´n o e definido no es el mismo ya que su campo var´ Sin embargo usaremos ıa. el mismo s´ ımbolo ya que es claro dos de estos ´rdenes coinciden en la o intersecci´n de sus campos. o Tambi´n debemos notar que ´ste coincide con el orden que definimos e e para los n´meros naturales. u El siguiente teorema resume las principales propiedades de este orden. Teorema 3.16. Sea α un ordinal. i) ii) iii) iv) v) vi) vii) viii) ix) x) xi) ≤ es un buen orden en α. Si A ⊆ α y A = ∅, entonces A es el menor elemento de A. 0 es el menor elemento de α . β < Sα si y s´lo si β ≤ α. o α = {β ∈ α : β < α}. No existe un ordinal β tal que α < β < Sα. α ≤ β si y s´lo si α ⊆ β. o Si A ⊆ α, entonces A es el supremo de A . α < β si y s´lo si Sα ≤ β. o Sα = Sβ si y s´lo si α = β. o Sα < Sβ si y s´lo si α < β. o

´ Demostracion. i) ≤ es obviamente reflexiva. Es antisim´trica e por el teorema 1.3. Es transitiva por la ∈–transitividad de α . Es decir, ≤ es un orden. En virtud del teorema 3.13, ≤ es un orden total. Para ver que ≤ es un buen orden, consideremos un subconjunto no vac´ A ⊆ α. Por el teorema 3.14, ıo A ∈ A. Supongamos x ∈ A ∩ ( A). Entonces para todo α ∈ A x ∈ α, en particular, x ∈ x, una contradicci´n. Luego A ∩ ( A) = ∅, o o sea, ≤ es un buen orden. ii) Qued´ demostrado en (i), ∩A es el menor elemento de A o iii) iv) y v) son obvios. vi) Supongamos existe β tal que α < β < Sα, o lo que es lo mismo, α ∈ β ∈ Sα, es decir α ∈ Sα = α, por 3.15 iii), una contradicci´n. o vii) Es consecuencia inmediata de la parte i) del teorema anterior.
68

viii) Supongamos A ⊆ α, entonces A es un ordinal y para x ∈ A es claro que x ⊆ A, o sea, por vii), x ≤ A, es decir, A es cota superior. Sea β otra cota superior de A. Entonces para todo x ∈ A, como x ∈ α ∈ A y β es cota superior de A , x ≤ α ≤ β, es decir, x ∈ β, o sea, A ⊆ β, por lo tanto ∪A es la menor de las cotas superiores de A . ix) Si α ∈ β, entonces por ∈–transitividad Sα ⊆ β, o sea, Sα ≤ β. Si Sα ≤ β, como α < Sα, α < β, por transitividad de < . x) Supongamos Sα = Sβ y α = β. Entonces como α ∈ Sα = Sβ, α ∈ Sβ. Pero entonces α ∈ β. An´logamente β ∈ α lo que a es imposible, luego, α = β. Es claro que si α = β, Sα = Sβ. xi) α < β si y s´lo si Sα ≤ β si y s´lo si Sα < Sβ por ix) y o o iv) respectivamente.

Observaci´n. o En viii) hay un peque˜o abuso producido por el hecho de denotar n con el mismo s´ ımbolo ordenes distintos. En efecto, si tenemos A = α, entonces ∪A no est´ en el campo de ≤, luego no puede ser una a cota superior. Podemos sin embargo entender dicha proposici´n como o expresada en un orden cuyo campo contiene a α , por ejemplo Sα o cualquier ordinal m´s grande. En este caso la proposici´n es totalmente a o correcta. Ejercicios. 1. Probar que: (a) α es un ordinal si y s´lo si ∈ es un buen orden sobre α o y β ∈ α implica que β ⊆ α. (b) Si α es totalmente ordenado por ∈ y β ∈ α implica que β ⊆ α , entonces α es un ordinal. 2. Todo ordinal es segmento inicial de alg´n otro ordinal. u 3. Probar que α ∈ ω si y s´lo si α es ordinal y, o bien α = 0 , o o bien α = α y para todo β ∈ α , β = 0 , o β = β. 4. Probar que α ∈ ω si y s´lo si α es ordinal y para todo β ⊆ α o tal que β = 0 se tiene β ∈ β. 5. Probar que α es ordinal si y s´lo si α es ∈–transitivo y ∈ es o buen orden sobre α . 6. Probar que α ∈ ω si y s´lo si todo subconjunto no vac´ de α o ıo tiene mayor elemento.
69

7. Sea B un conjunto de ordinales . Probar que si α es un ordinal y para todo β ∈ B, β ≤ α , entonces β ≤ α. Probar tambi´n e que lo anterior no es necesariamente cierto si no se requiere que α sea ordinal. 8. Probar que si α ∈ ω y β es el mayor elemento de α , entonces α = Sβ. ¿Es esto cierto si α es ordinal arbitrario? 3. Inducci´n Transfinita o En esta secci´n generalizaremos el teorema de inducci´n de los o o n´meros naturales a los ordinales. De hecho, el primero es un caso u particular del segundo. Teorema 3.17. (Principio de Inducci´n Transfinita) o Si ϕ(x) es una f´rmula con una variable libre y para todo ordinal o α, (∗) si para todo β < α, ϕ(β) , entonces ϕ(α). Entonces para todo ordinal α, ϕ(α). ´ Demostracion. Observemos primero que como no existe ning´n u β < 0, por ( ∗ ), ϕ(0) se verifica trivialmente. Supongamos que el teorema es falso para alg´n ordinal α. Entonces u el conjunto C = {β ∈ Sα : ¬ϕ(β)} es no vac´ luego tiene un menor ıo, elemento γ. La observaci´n al comienzo de esta demostraci´n implica o o que γ = 0. Adem´s, como γ es el menor elemento de C, para todo a β < γ, β ∈ C, es decir, para todo β < γ, ϕ(β), pero entonces por la hip´tesis ( ∗ ), ϕ(γ), pero como γ ∈ C, se llega a una contradicci´n. o o Luego para todo ordinal α ϕ(α). N´tese que esta formulaci´n del teorema de inducci´n transfinita o o o es similar a la del teorema de inducci´n completa de los n´meros nato u urales, A veces es util usar una forma m´s parecida al principio de ´ a inducci´n “por casos”. Para ello recordemos que todo ordinal es o o bien el sucesor de alg´n otro o es la uni´n de s´ mismo. La pr´xima u o ı o definici´n y el teorema que le sigue formaliza estas ideas. o ´ Definicion 3.8. Un ordinal α es un sucesor si existe : β tal que α = Sβ. Si α = 0 y α no es un ordinal sucesor, entonces α es un ordinal l´mite l´ ı ımite. Notemos que hay tres clases de ordinales, 0, sucesores y l´ ımites. Teorema 3.18. Sea α un ordinal. i) α es sucesor si y s´lo o α < α. ii) α es l´mite si y s´lo ı o α = α = 0.
70

iii) α es l´mite si y s´lo α = 0 ∧ ∀β(β < α → ∃ γ(β < γ < α)). ı o ´ Demostracion. i) Si α = Sβ, entonces por el teorema 3.15 iii), α = Sβ = β < α, Reciprocamente, si α < α, S α ≤ α. Si suponemos que S α < α, α ∈ S α ∈ α,

o sea, α ∈ α, una contradicci´n. Luego α = S α y como o α es un ordinal, α es sucesor. ii) Sabemos por el teorema 3.15 ii), que α ≤ α. Entonces por i), α = α si y s´lo si α no es sucesor, luego α = 0 y o α=α si y s´lo si α es l´ o ımite. iii) Por ii), α es l´ ımite si y s´lo si α = 0, α = α y esta ultima o ´ es equivalente a que para todo β ∈ α, existe γ ∈ α tal que β ∈ γ ∈ α. que i) ϕ(0), ii) para todo ordinal α , si ϕ(α) , entonces ϕ(Sα) y iii) para todo ordinal l´mite α , si ϕ(β) para todo β < α, entonces ı ϕ(α). Entonces para todo ordinal α, ϕ(α).

Teorema 3.19. Sea ϕ(x) una f´rmula con una variable libre tal o

´ Demostracion. Para demostrar este teorema, demostraremos las hip´tesis del teorema 3.17 a partir de i), ii) y iii). o Sea entonces α un ordinal y supongamos que ϕ(β) para todo β < α. Debemos demostrar que ϕ(α). Hay tres casos. Si α = 0, entonces ϕ(α) por hip´tesis i). o Si α es un sucesor, entonces α = Sβ luego β < α y por lo tanto ϕ(β). Pero entonces por ii), ϕ(Sβ) o sea, ϕ(α). Si α es un l´ ımite, como ϕ(β), para todo β < α, por iii) ϕ(α). En cualquier caso ϕ(α). Por lo tanto en virtud del teorema 3.17, para todo ordinal α, ϕ(α). Este teorema puede demostrarse sin recurrir al teorema 3.17 pero estimamos que la demostraci´n tiene cierto inter´s en s´ misma. Ver o e ı ejercicios problema 2. Ejercicios.
71

1. Demuestre que el Principio de Inducci´n dado en el teorema 3.19 o implica al Principio de Inducci´n del teorema 3.17. o 2. Demuestre el Principio de Inducci´n 3.19 sin usar el teorema o 3.17. 3. Demuestre el siguiente Principio de Inducci´n. o Sean α un ordinal no nulo A ⊆ α tales que (a) 0 ∈ A, (b) si β ∈ A y Sβ < α, entonces Sβ ∈ A, (c) si β = β < α y para todo γ < β, γ ∈ A. Entonces A = α. 4. Recursi´n o En esta secci´n estudiaremos un proceso, ´ o ıntimamente ligado a la inducci´n transfinita, que nos permite definir operaciones entre ordio nales, este es el principio de recursi´n. o En ´lgebra elemental frecuentemente nos encontramos con sucea siones del tipo siguiente a0 = 1 an+1 = 2an + 1 Es claro que esta sucesi´n est´ bien definida ya que para cualquier o a n , con alg´n trabajo, podemos obtener el valor de an . Por otra parte, u es claro que esta definici´n difiere esencialmente de la de la sucesi´n o o bn = n2 + 1 . La diferencia reside en que para conocer el valor de an debemos primero determinar el valor de an−1 , y para conocer ´ste, debemos e determinar el valor de an−1 y as´ sucesivamente. No es este el caso de ı bn . Decimos que {an }n∈ω est´ definida recursivamente. A continuaci´n a o formalizaremos estos conceptos. Recordemos que una f´rmula ϕ(x, y) tal que para todo a existe un o unico b tal que ϕ(a, b) define una operaci´n unaria y habitualmente ´ o escribimos b = F (a) si y s´lo si ϕ(a, b) . o Obs´rvese que por el axioma de reemplazo, si a es un conjunto e F (a) y {F (x) : x ∈ a} tambi´n lo son. e El siguiente teorema nos permite definir una operaci´n unaria sobre o un conjunto cualquiera conociendo todos los valores de la operaci´n o sobre sus elementos. Una forma alternativa es definir la operaci´n por o casos, para el 0, para ordinales sucesores, para ordinales l´ ımites y para
72

conjuntos cualquira. Este ultimo caso es necesario ya que la operaci´n ´ o debe estar definida para todos los conjuntos y no s´lo para los ordinales. o

Teorema 3.20. i) Sea y = G(x) una operaci´n unaria. Eno tonces existe una unica operaci´n unaria y = F (x) tal que ´ o ∀α(Ord (α) → F (α) = G({F (β) : β ∈ α})∧∀x(¬Ord (x) → F (x) = x) ii) Sean y = G(x), y = H(x) dos operaciones unarias, entonces existe una unica operaci´n unaria y = F (x) tal que para todo ´ o ordinal α F (Sα) = G(F (α)) ∧ (α = y si x no es ordinal, F (x) = x). ´ Demostracion. i) Demostraremos por inducci´n que para todo o ordinal α existe una unica funci´n fα tal que ´ o a) Domfα = Sα, ∗ b) fα (β) = G(fα β), para todo β ∈ Sα y c) si β ∈ α, entonces fβ ⊂ fα . Sea entonces α un ordinal y supongamos que para todo β < α existe fβ con las propiedades a), b) y c). Entonces definimos fα (β) = fβ (β) ∗ G(fα (α)) , si β ∈ α, , si β = α. α → F (α) = H{F (β) : β ∈ α})

Entonces fα es una funci´n, Dom fα = Sα y fα verifica o b) y c). Observemos tambi´n que f0 (0) = G(0). e Para probar la unicidad de fα supongamos que para alg´n α u existen dos funciones fα y gα con las caracter´ ısticas anteriores. Sea α0 el menor tal ordinal. Entonces para β < α0 existe una unica funci´n fβ como arriba. Pero entonces para todo β < α0 ´ o fα0 (β) = fβ (β) = gα0 (β), y por lo tanto
73

∗ fα0 α0 = = = =

{fα0 (β) : β ∈ α0 } {fβ (β) : β ∈ α0 } {gα0 (β) : β ∈ α0 } ∗ gα0 α0 ,

luego
∗ ∗ fα0 (α0 ) = G(fα0 α0 ) = G(gα0 α0 ) = gα0 (α0 ),

Es decir fα0 = gα0 lo que contradice nuestra suposici´n. o Por lo tanto, por el teorema 3.17, para todo ordinal α existe una unica funci´n fα que verifica a) y b). ´ o Podemos ahora definir nuestra operaci´n unaria y = F (x). o F (x) = fx (x) x si x es ordinal, si x no es ordinal.

Por construcci´n, y = F (x) verifica la tesis del teorema. o ii) Demostraremos por inducci´n que para todo α existe una unica o ´ funci´n fα tal que o a) Dom fα = Sα, b) Si Sβ ∈ Sα, entonces fα (Sβ) = G(fα (β)), ∗ c) Si β = β ∈ Sα, entonces fα (β) = H(fα β). d) Si β ∈ α, entonces fβ ⊂ fα . Si β = 0 , entonces β = β luego definimos f0 con dominio 1 como sigue:
∗ f0 (0) = H(f0 (0)) = H(0)

Si β = Sγ, suponemos que existe fγ con Dom fγ = Sγ y que satisface a), b), c) y d). Definimos entonces fβ de la siguiente manera fβ (α) = fγ (α) G(fγ (γ)) si α ∈ β = Sγ, si α = β.

Es claro que fβ verifica a), b), c) y d). Si β = ∪β, suponemos por hip´tesis de inducci´n que para o o todo γ ∈ β existe fγ que verifica a), b), c) y d). Definimos fβ como sigue fβ (α) = fα (α) ∗ H(fβ (β))
74

si α ∈ β = Sγ, si α = β.

fβ tambi´n verifica a), b), c) y d). Luego por inducci´n, para e o todo ordinal α , existe una funci´n fα con las caracter´ o ısticas indicadas. La unicidad de fα es obvia y se deja como ejercicio. Podemos definir la operaci´n unaria F como en i). o

Ejercicios. 1. Definimos la clausura transitiva de a, que denotamos T (a), como el menor conjunto ∈–transitivo que contiene a a . Demuestre que existe la clausura transitiva de cualquier conjunto. Indicaci´n: Definir recursivamente una funci´n F sobre ω o o de tal manera que F (0) = a F (n + 1) = y luego probar que T (a) = T (a) = a ∪ a∪
n∈ω

F (n) F (n). Intuitivamente a··· ,

a∪

es decir contiene los elementos de a , los elementos de los elementos de a , etc. 5. Funciones Normales En esta secci´n estudiaremos algunas propiedades de las funciones o normales que nos ser´n utiles en las secciones siguientes. a ´ ´ Definicion 3.9. Sean A y B ordinales y µ : A → B una funci´n. o i) µ es no-decreciente si ii) µ es estrictamente creciente si iii) µ es continua si ∀α∀β(α < β → µ(α) ≤ µ(β)). ∀α∀β(α < β → µ(α) < µ(β)). α = α ∈ A) → µ(α) = µ(β)).
β∈α

∀α((α = 0 ∧

iv) µ es normal si es continua y estrictamente creciente. Ejemplo.
75

1. La funci´n S es estrictamente creciente pero no continua, por o ejemplo Sω = ω = Sω. 2. La funci´n o es continua pero no estrictamente creciente, por ejemplo, ω < Sω, pero ω = Sω. 3. Sea α un ordinal l´ ımite. Definimos para β ∈ α f (β) = Sβ β , si β es sucesor, , si no.

F´cilmente podemos ver que f es normal. a Teorema 3.21. Sean A, B ordinales µ : A → B una funci´n. o Si µ es estrictamente creciente, entonces para todo α ∈ A, α ≤ µ(α). ´ Demostracion. Por inducci´n. o Teorema 3.22. Sean A, B ordinales µ : A → B una funci´n o continua tal que si Sβ ∈ A, µ(β) < µ(Sβ). Entonces µ es normal. ´ Demostracion. Tenemos que demostrar que µ es estrictamente creciente. Lo haremos por inducci´n usando la siguiente f´rmula o o ϕ(x) = ∀β((β < x ∧ x ∈ A) → µ(β) < µ(x)) i) ϕ(0) se verifica trivialmente. ii) Si β = Sγ, supongamos que ϕ(γ) se verifica y que Sγ ∈ A. Entonces para δ < γ, µ(δ) ≤ µ(γ) por hip´tesis de ino ducci´n . Si δ = γ, µ(γ) < µ(Sγ), por hip´tesis, es decir o o luego ∀δ((δ < β = Sγ ∧ Sγ ∈ A) → µ(δ) < µ(beta)), es decir, ϕ(β). iii) Si β es l´ ımite, entonces por la continuidad de µ , ϕ(β). Esto que completa muestra inducci´n. Luego µ es estrictamente creo ciente y por lo tanto normal. Teorema 3.23. Si µ es una funci´n normal y α ∈ Dom µ es un o ordinal l´mite, entonces µ(α) tambi´n es l´ ı e ımite. ´ Demostracion. Sea δ ≤ µ(α). Como µ(α) =
β<α

µ(β) ,

existe γ < α tal que δ ∈ µ(γ), o sea,
76

δ < µ(γ) < µ(α), ya que como µ es estrictamente creciente, µ(γ) < µ(α). Luego por teorema 3.18 iii), µ(α) es l´ ımite. Teorema 3.24. Si α es un ordinal, β < α y µ es no decreciente, entonces µ(γ) = µ(γ).
γ<α β≤γ<α

´ Demostracion. Si γ < β , µ(γ) ≤ µ(β), luego y por lo tanto µ(γ) =
γ<α γ<β

γ<β

µ(γ) ≤ µ(β)

µ(γ) ∪

µ(γ) =
β≤γ<α β≤γ<α

µ(γ).

Teorema 3.25. Sean µ, ν funciones normales tales que Rec µ ⊆ Dom ν. Entonces ν ◦ µ es una funci´n normal. o ´ Demostracion. ν ◦ µ es estrictamente creciente ya que si α < β, µ(α) < µ(β), luego ν(µ(α)) < ν(µ(β)), o sea, ν ◦ µ(α) < ν ◦ µ(β). Para ver que ν ◦ µ es continua, sea α = 0, α = ∪α. Por teorema 3.23, µ(β) es tambi´n un ordinal l´ e ımite. Luego como ν es µ(α) =
β<α

continua ν ◦ µ(α) = ν(µ(α)) = Pero si β < µ(α) =
γ<α

ν(β).
β<µ(α)

µ(γ), entonces existe γ < α tal que β <

µ(γ) < µ(α) luego ν(β) < ν(µ(γ)) <
δ<α

ν(µ(δ)).

Por lo tanto ν ◦ µ(α) ≤
δ<α

ν(µ(δ)) ≤ ν(µ(α)) = ν ◦ µ(α)
77

o sea ν ◦ µ(α) =
δ<α

ν ◦ µ(δ),

es decir ν ◦ µ es continua y por lo tanto ν ◦ µ es normal. Teorema 3.26. Sea α un ordinal, µ una funci´n normal con o dominio α . Supongamos que para alg´n β ∈ α existen δ, γ ∈ α u tal que µ(δ) ≤ β < µ(γ). Entonces existe un unico γ ∈ α tal que ´ µ(γ) ≤ β < µ(Sγ). ´ Demostracion. Sea ε el menor γ tal que β < µ(γ). Este debe existir por hip´tesis. o Supongamos ε = 0, entonces como ε ≤ β, µ(ε) ≤ µ(β) < µ(ε), una contradicci´n, luego ε = 0. o Supongamos ε = 0, ε = ∪ε. Entonces β < µ(ε) = µ(δ) luego
δ<ε

existe δ < ε tal que β < µ(δ) contradiciendo la minimalidad de ε. Por lo tanto ε es un sucesor, digamos ε = Sγ. Entonces µ(γ) ≤ β < µ(Sγ). Para probar la unicidad de γ, sea ξ = γ un ordinal. Entonces γ<ξ ´ o ξ<γ . Si γ < ξ , Sγ ≤ ξ, luego β < µ(Sγ) ≤ µ(ξ); si ξ < γ, Sξ ≤ γ, luego µ(Sξ) ≤ µ(γ) < β. En cualquier caso, ξ no verifica que µ(ξ) ≤ β < µ(Sξ), luego γ es unico. ´ Ejercicios. 1. Demuestre que la funci´n definida en los ejemplos 5 es normal. o 2. Demuestre el teorema 3.21. 3. Considere la topolog´ generado sobre el ordinal α por todos los ıa intervalos (β), γ) = {δ : β < δ < γ}, donde β < γ ∈ α. Demuestre que µ : α −→ α es continua seg´n la definici´n u o 3.9 si y s´lo si, µ es continua en esta topolog´ o ıa. 6. Ordinales y Buenos Ordenes Esta breve secci´n la dedicaremos a demostrar un resultado imo portante, a saber, que todo buen orden es isomorfo al orden de alg´n u ordinal. De esta manera, los ordinales sirven para representar a todos
78

los posibles buenos ordenes. Volveremos sobre este tema en el pr´ximo o cap´ ıtulo. Teorema 3.27. Todo buen orden es isomorfo con (el orden de) un ordinal. ´ Demostracion. Sea R un buen orden cuyo campo es A . Definamos la operaci´n unaria o F (α) = R − menor elemento de A − F ∗ α si ´ste es no vac´ e ıo, A si no.

(Para ser rigurosos, la operaci´n F debe estar definida para todo o conjunto y no s´lo para los ordinales, sin embargo, siempre podemos o definir F en forma arbitraria para un conjunto x que no es ordinal. Por ejemplo, podemos definir F (x) = A). Por el axioma de reemplazo, Γ = {α : F (α) ∈ A} es un conjunto de ordinales y por lo tanto existe alg´n ordinal β tal u que F (β) ∈ A. Sea / γ= {β : F (β) ∈ A}. /

Observemos que si F (β) ∈ A, entonces F (β) = A y A − F ∗ β = ∅, / luego si α > β, F (α) ∈ A. Esto demuestra que Γ = γ. / Si α < β < γ, entonces F ∗ α ⊂ F ∗ β, luego A − F ∗ β ⊆ A − F ∗ α, y por lo tanto R − menor elemento A − F ∗ α ≤ R − menor elemento A − F ∗ β, es decir, F (α) ≤ F (β). Por otra parte, si α < β, F (α) ∈ F ∗ β, luego F (α) ∈ A − F ∗ β y / por lo tanto F (α) = F (β). Esto demuestra que si definimos f : γ −→ A α −→ F (α), f es una biyecci´n y o α ≤ β si y s´lo si f (α)Rf (β), o o sea, R y γ son isomorfos.
79

7. Aritm´tica Ordinal e A continuaci´n definiremos la suma, el producto y la exponeno ciaci´n de ordinales. o Las dos primeras operaciones tienen una interpretaci´n bastante o intuitiva en t´rminos de buenos ´rdenes. Como sabemos todo ordinal e o esta bien ordenado por ∈ , es m´s, como vimos en la secci´n antea o rior, todo buen orden est´ codificado o representado por alg´n ordinal. a u Ahora bien, la suma de dos ordinales α y β representa al (buen) orden que resulta de ordenar α ∪ β poniendo todos los elementos de β despu´s de los de α , gr´ficamente e a − − − − − − −− →
α

−−−−−→
β

Por su parte α · β representa al (buen) orden lexicogr´fico sobre a α × β (ver ejercicios). La exponenciaci´n no tiene una interpretaci´n intuitiva. o o 7.1. Suma de Ordinales. ´ Definicion 3.10. Definimos la suma de ordinales como sigue. Si α es un ordinal cualquiera i) α + 0 = α ii) α + Sβ = S(α + β) iii) α + λ = ∪{α + β : β ∈ λ}, si 0 = λ = ∪λ Obs´rvese que tal operaci´n est´ bien definida en virtud del teorema e o a 3.20, ii), donde G(x) = Sx y H(x) = ∪x. Adem´s para todo α, β, α + β es un ordinal. a Teorema 3.28. Para todo par de ordinales α y β , la funci´n o +α : β −→ α + β γ → α+γ , es una funci´n normal. o ´ Demostracion. +α es continua por definici´n. o Supongamos que γ ∈ β y Sγ ∈ β, entonces +α (γ) = α + γ < S(α + γ) = α + Sγ = +α (Sγ), luego por el teorema 3.22, +α es normal.
80

Formalizaremos ahora las ideas intuitivas sobre la suma de ordinales que dimos en la introducci´n de esta secci´n. o o Teorema 3.29. Dados α y β ordinales, definimos el orden R cuyo campo es {0} × α ∪ {1} × β como sigue: x0 , y0 R x1 , y1 si y solamente si se verifica una de las siguientes condiciones 1. x0 = x1 = 0 y y0 ≤ y1 < α, 2. x0 = 0 , x1 = 1, 3. x0 = x1 = 1 y y0 ≤ y1 < β. Entonces R es un buen orden isomorfo a α + β. ´ Demostracion. Es f´cil demostrar que R es un buen orden (ver a ejercicios). Definimos: γ si x = 0 y γ < α, F (x, γ) = α + γ si x = 1 y γ < β. Entonces Dom F = { 0, γ : γ ∈ α} ∪ { 1, γ : γ ∈ β} = Cam R . Tambi´n es claro que α ⊆ Rec F ⊆ α + β. Para ver que Rec F = e α + β, sea δ ∈ α + β, δ ∈ α. Luego α ≤ δ < α + β. Como +α es normal, por teorema 3.26, existe un unico γ tal que +α (γ) ≤ δ < ´ +α (γ), o bien α + γ ≤ δ < α + Sγ = S(α + γ). Por teorema 3.16, vi) , α + γ = δ. Luego, como γ tiene que ser menor que β , δ = α + γ = F (1, γ) , o sea, δ ∈ Rec F y por lo tanto α + β = Rec F . Por ultimo como +α es normal, es f´cil verificar que ´ a xRy y que F es inyectiva. ssi F (x) ≤ F (y)

Algunas de las propiedades m´s importantes de la suma de ordinales a est´n resumidas en el siguiente teorema. a Teorema 3.30. Sean α , β , γ ordinales. Entonces i) (α + β) + γ = α + (β + γ). ii) β ≤ α + β.
81

iii) iv) v) vi) vii)

α < β si y s´lo si existe γ > 0 tal que α + γ = β. o Si α < β , entonces α + γ ≤ β + γ. Sα = α + 1. 0 + α = α. Si β < γ , entonces α + β < α + γ. i) Por inducci´n sobre γ . o

´ Demostracion. – Si γ = 0

(α + β) + 0 = α + β = α + (β + 0). – Supongamos que (α + β) + γ = α + (β + γ). Entonces (α + β) + Sγ = = = = S((α + β) + γ) S(α + (β + γ)) α + S(β + γ) α + (β + Sγ).

– Si 0 = λ = ∪λ y para todo γ ∈ λ, α + (β + γ) = (α + β) + γ. Entonces como +β (x) = β + x es normal y λ es l´ ımite, por 3.23, β + λ = ∪{β + γ : γ < λ} es l´ ımite, y por 3.24 ∪{β + γ : γ < λ} = ∪{δ : δ < β + λ}. Similarmente, +α (x) = α + x es normal, luego α + (β + λ) = = = = = = = α + ∪{β + γ : γ < λ} α + ∪{δ : δ < β + λ} ∪{α + δ : δ < β + λ} ∪{α + δ : β ≤ δ < β + λ} ∪{α + (β + γ) : γ < λ} ∪{(α + β) + γ : γ < λ} (α + β) + λ.

Esto completa la inducci´n y demuestra por lo tanto la asoo ciatividad de + . ii) Por inducci´n sobre β . o – Si β = 0 , obviamente 0 ≤ α + 0. – Supongamos β ≤ α + β. Entonces Sβ ≤ S(α + β) = α + Sβ.
82

– Si 0 = λ = ∪λ y para todo γ ∈ λ γ ≤ α + γ. Entonces λ = ∪{γ : γ ∈ λ} ≤ ∪{α + γ : γ ∈ λ} = α + λ.

iii) Supongamos α < β. Como β ≤ α + β,

A = {δ ∈ Sβ : β ≤ α + δ}, es no vac´ luego A tiene un menor elemento γ tal que ıo, Supongamos que β < α + γ. Es claro que γ = 0 ya que α < β. Si γ es un sucesor, digamos γ = Sε, β < α + Sε = S(α + ε), luego β ≤ α + ε, lo que contradice la minimalidad de γ . Si γ = ∪γ, β < α + γ = ∪{α + δ : δ ∈ γ}, luego β ∈ α + δ para alg´n δ < γ, lo que contradice la minimalidad de γ . u Es decir γ no es 0 ni sucesor ni l´ ımite lo que no es posible, luego β = α + γ. Rec´ ıprocamente, si β = α + γ, como α + x es estrictamente creciente y 0 < γ α = α + 0 < α + γ = β. iv) Por inducci´n sobre γ . o – Si γ = 0, α + 0 = α < β = β + 0. – Supongamos que α + γ < β + γ. Entonces α + Sγ = S(α + γ) < S(β + γ) = β + Sγ. – Si 0 = λ = ∪λ y para γ < λ, Entonces α + γ < β + γ. β ≤ α + γ.

α + λ = ∪{α + γ : γ ∈ λ} ⊆ ∪{β + γ : γ ∈ λ} = β + λ. La desigualdad estricta no se puede lograr ya que, por ejemplo, 1 + ω = 2 + ω. v) Obvio vi) 0 + α = α se demuestra por inducci´n sobre α. o – Si α = 0, entonces 0 + α = 0 = α.
83

– 0 + Sα = S(0 + α) = Sα. – Si 0 = α = ∪α y para todo γ ∈ α, 0 + γ = γ, 0 + α = ∪{0 + γ : γ ∈ α} = ∪{γ : γ ∈ α} = α, lo que completa la inducci´n. o vii) Ya lo demostramos en el teorema 3.28. La suma de ordinales restringida a ω nos da la suma usual de los n´meros naturales, por ejemplo, 2 + 2 = 4. En efecto u 2 + 2 = 2 + S1 = S(2 + 1) = S(2 + S0) = SS2 = S3 = 4. En el pr´ximo teorema se demuestran algunas propiedades de la o suma de los n´meros naturales. u Teorema 3.31. Sean m y n n´meros naturales. Entonces u i) m + n es natural. ii) n + 1 = 1 + n. iii) m + n = n + m. ´ Demostracion. i) Por inducci´n sobre n . o – m + 0 = m es natural. – Si m + n es natural, su sucesor tambi´n lo es. Pero e S(m + n) = m + Sn, luego m + Sn tambi´n es natural. e Por el principio de inducci´n, 3.1, para todo natural n, m+ o n es natural. ii) Por inducci´n sobre n . o – 1 + 0 = 1 = 0 + 1, por 3.30, vi). – Supongamos que 1 + n = n + 1. Entonces 1 + Sn = S(1 + n) = S(n + 1) = SSn = Sn + 1, lo que completa la inducci´n. o iii) Por inducci´n sobre n . o – m + 0 = 0 + m por 3.30, vi). – Supongamos que m + n = n + m. Entonces m + Sn = = = = m + (n + 1) = (m + n) + 1 (n + m) + 1 = n + (m + 1) n + (1 + m) , por ii), (n + 1) + m = Sn + m ,

lo que completa la inducci´n. o
84

Notemos que la suma de ordinales no es general conmutativa, en efecto, 1 + ω = ∪{1 + n : n ∈ ω} = {Sn : n ∈ ω} = ω = ω + 1 .

De hecho esta propiedad caracteriza a los ordinales que no son n´meros naturales. u Teorema 3.32. ω ≤ α si y s´lo si 1 + α = α. o ´ Demostracion. Ya vimos que 1 + ω = ω. Si α ≥ ω, existe γ tal que α = ω + γ. Entonces 1 + α = 1 + (ω + γ) = (1 + ω) + γ = ω + γ = α. Si α < ω, entonces por 3.31 ii), 1 + α = α + 1 = α. 7.2. Multiplicaci´n de Ordinales. o ´ Definicion 3.11. Definimos por recursi´n el producto por α como o sigue i) α · 0 = 0. ii) α · Sβ = α · β + α. iii) α · λ = ∪{α · β : β ∈ λ}, si 0 = λ = ∪λ. Como en el caso de la suma, hemos definido la multiplicaci´n por o recursi´n usando el teorema 3.20, donde o G(x) = x + α y H(x) = ∪x. α = 0 la

Teorema 3.33. Para todo par de ordinales α y β, funci´n o ×α : β −→ α · β es una funci´n normal. o γ −→ α · γ ,

´ Demostracion. ×α es continua por definici´n. o Para ver que ×α normal, por teorema 3.22, basta verificar que para todo γ ∈ β ×α (γ) < ×α (Sγ). ×α (γ) = < = = α·γ α · γ + α, α · Sγ ×α (Sγ).
85

por teorema 3.30, iii),

Teorema 3.34. Dados α y β ordinales, definimos el orden R cuyo campo es α × β como sigue: x0 , y0 R x1 , y1 si y solamente si se verifica una de las siguientes condiciones 1. y0 ≤ y1 < β, 2. y0 = y1 y x0 ≤ x1 < β.

Entonces R es un buen orden isomorfo a α · β}. ´ Demostracion. Podemos suponer que α y β son distintos de 0. Es f´cil demostrar que R es un buen orden (ver ejercicios). a Para γ ∈ α, δ ∈ β, definimos F ( γ, δ ) = α · δ + γ. Entonces Dom F = α × β = Cam R. F es una funci´n y para cada o γ, δ ∈ α × β, F ( γ, δ ) = < = ≤ α·δ+γ α · δ + α, por teorema 3.30, vii), α · Sδ α · β, ya que ×α es creciente.

O sea, hemos demostrado que Rec F ⊆ α · β. Para demostrar que F es sobreyectiva, sea ε ∈ α · β. Entonces α · 0 = 0 ≤ ε < α · β. Como ×α es normal, por el teorema 3.26, existe un unico δ tal que ´ α · δ ≤ ε < α · Sδ = α · δ + α. Es claro que δ < β y que si β ≤ δ, ε < α · β ≤ α · δ ≤ ε. Ahora bien, como α · δ ≤ ε, por 3.30, iii) existe un unico γ tal que ´ α · δ + γ = ε. Evidentemente γ < α pues si no, ε < α · Sδ = α · δ + α ≤ α · δ + γ = ε. Por lo tanto, dado ε ∈ α · β, existe un unico γ, δ ∈ α × β tal ´ que F ( γ, δ ) = ε, o sea, F es sobreyectiva. Para probar que F es estrictamente creciente, supongamos que γ, δ R ε, ξ , entonces o bien δ < ξ , en cuyo caso
86

F ( γ, δ ) = α · δ + γ

< α·δ+α = α · Sδ ≤ α · ξ ≤ alpha · ξ + ε = F ( ε, ξ ),

o bien δ = ξ y γ < ε, entonces

F ( γ, δ ) = α · δ + γ = α·ξ+γ < α · ξ + ε = F ( ε, ξ ), o sea F es estrictamente creciente, luego es inyectiva y por lo tanto es un isomorfismo.

Observaci´n. o El orden R reci´n introducido se llama orden antilexicogr´fico, e a corresponde a sustituir cada elemento de β por una copia de α . Las propiedades b´sicas de la multiplicaci´n ordinal est´n resumia o a das en el siguiente teorema. Teorema 3.35. i) α · (β + γ) = α · β + α · γ. ii) α · (β · γ) = (α · β) · γ. iii) α · 0 = 0 · α = 0. iv) α · 1 = 1 · α = α. v) α · 2 = α + α. vi) Si α = 0, entonces β ≤ α · β. vii) Si α = 0 y β < γ, entonces α · β < α · γ. viii) Si α = 0 y 1 < β, entonces α < α · β. ix) Si α < β, entonces α · γ ≤ β · γ. x) Si 1 < α, 1 < β, entonces α + β ≤ α · β. xi) Si α, β = 0, entonces α · β = 0. ´ Demostracion. i) Por inducci´n sobre γ . o – Si γ = 0, α · (β + 0) = α · β = α · β + 0 = α · β + α · 0 – Si α · (β + γ) = α · β + α · γ,
87

α · (β + Sγ) = = = = =

α · S(β + γ) α · (β + γ) + α (α · β + α · γ) + α α · β + (α · γ + α) α · β + α · Sγ.

– Si γ = ∪γ = 0 y para todo δ ∈ γ, α · (β + δ) = αβ + αδ y α · (β + γ) = α · Como +β es normal, luego α· {β + δ : δ ∈ γ}. {β + δ : δ ∈ γ} es un ordinal l´ ımite {α · (β + δ) : δ ∈ γ} {α · β + α · δ : δ ∈ γ}

{β + δ : δ ∈ γ} = =

= α · β + ∪{α · δ : δ ∈ γ}, ya que ×α es normal. Esto completa la inducci´n, por lo o tanto α · (β + γ) = α · β + α · γ.

ii) iii) v) vii)

Por inducci´n sobre γ usando i). o y iv) se demuestran por una sencilla inducci´n. o Por definici´n. o Por inducci´n sobre β . Sea 1 ≤ α. o – Si β = 0, 0 ≤ α · 0 = 0. – Si β ≤ α · β, entonces Sβ ≤ = ≤ = S(α · β) α·β+1 α·β+α α · Sβ.

– Si β = ∪β = 0 y para todo γ < β, lo que completa la inducci´n. o ix) Por inducci´n sobre γ . o x) Por inducci´n sobre β . o
88

γ ≤ α · γ,

β = ∪{γ : γ ∈ β} ≤ ∪{α · γ : γ ∈ β} = α · β,

– Si β = 2, entonces como 2 ≤ α, α+β =α+2≤α+α=α·2=α·β – Si 1 < β y α + β ≤ α · β, α + Sβ = ≤ = ≤ = S(α + β) S(α · β) α·β+1 α·β+α α · Sβ. 1 < γ, entonces

– Si β = ∪β = 0 y para todo γ ∈ β, α + γ ≤ α · γ, entonces α+β = {α + γ : γ ∈ β} ⊆

{α · γ : γ ∈ β} = α · β.

xi) Si no, existen α, β = 0 tales que α · β = 0 pero por vi), como α = 0, β ≤ α · β = 0, luego β = 0 , contradicci´n. o El siguiente teorema demuestra que la multiplicaci´n de ordinales o restringida a ω verifica las propiedades que esperamos que ´sta vere ifique, a saber, que sea conmutativa y que distribuya por la derecha sobre la suma. Cabe destacar que la multiplicaci´n ordinal en general o no verifica estas propiedades. Por ejemplo, 2·ω =ω =ω+ω =ω·2 y por ende ω = (1 + 1) ω = ω + ω Teorema 3.36. Sean m , n y l n´meros naturales. Entonces u i) m · n es natural. ii) m · n = n · m. iii (m + n) · l = m · l + n · l. ´ Demostracion. i) Por inducci´n sobre n . o ii) Por inducci´n sobre n . o – Si n = 0, entonces m · n = n · m = 0 – Si m · k = k · m, demostraremos por inducci´n sobre m o que para todo m, m · Sk = Sk m. – Si m = 0, m · Sk = Sk m = 0
89

– Si l · Sk = Sk · l, entonces Sl · Sk = = = = = = = = = = Sl · k + Sl k · Sl + Sl, (k · l + k) + Sl (l · k + k) + Sl, (l · k + Sl) + k, (l · k + (l + 1)) + k (l · k + l) + (k + 1) l · Sk + Sk Sk · l + Sk, Sk · Sl. por hip´tesis de inducci´n sobre m, o o por hip´tesis de inducci´n sobre, n o o por 3.30, i) y 3.31 iii),

por hip´tesis de inducci´n sobre, m o o

Esto completa ambas inducciones. N´tese que en la demostraci´n anterior se hizo una doble inducci´n, o o o es decir, el paso de inducci´n se demostr´, a su vez, por inducci´n. o o o Teorema 3.37. (Algoritmo de la divisi´n). o Si α y β son ordinales y β = 0, entonces existe un unico γ y ´ un unico δ tales que ´ α=β·γ+δ , γ≤α y δ < β.

´ Demostracion. Como ×β es normal, en virtud de 3.26, existe un unico γ tal que ´ β · γ ≤ α < β · Sγ = β · γ + β. Por 3.30, iii) existe un unico δ tal que ´ β·γ+δ =α. Por 3.35, vi), es claro que γ ≤ α. Adem´s, δ < β, pues si β ≤ δ, a α < β · γ + β ≤ β · γ + δ = α. Teorema 3.38. Las siguientes afirmaciones son equivalentes. i) α es l´mite. ı ii) α = ω · γ, para alg´n γ = 0. u iii) Para todo m ∈ ω − {0}, m · α = α y α = 0. ´ Demostracion. i) ⇒ ii) Por el algoritmo de divisi´n, existen o γ y δ tales que γ ≤ α, δ < ω y α = ω · γ + δ.
90

Si δ = 0 , δ = Sm, para alg´n m ∈ ω, entonces α = u ω · γ + Sm = S(ω · γ + m), o sea α no es l´ ımite. Por lo tanto δ=0y α = ω · γ. Obviamente γ = 0 pues si no, α = 0. ii) ⇒iii) Primero verifiquemos que para todo m ∈ ω−{0} m·ω = ω. En efecto, por 3.35, vi), luego m · ω = ω. Entonces si m = 0 y α = ω · γ, para alg´n γ = 0, u iii) ⇒i) Supongamos m · α = α, α = 0 y α = Sβ para alg´n β . u Entonces una contradicci´n, luego α es l´ o ımite. 7.3. Exponenciaci´n de Ordinales. o ´ Definicion 3.12. Sean α y β ordinales. Definimos por recursi´n o la exponenciaci´n de ordinales como sigue. o i) α0 = 1. ii) αSβ = αβ · α. iii) αβ = ∪{αγ : γ ∈ β}, si β = β = 0. Como en el caso de la suma y la multiplicaci´n, hemos definido la o exponenciaci´n por recursi´n usando el teorema 3.20, donde o o G(x) = x · α y H(x) = 1 ∪ x. α = 2 · α = 2 · Sβ = 2 · β + 2 ≥ β + 2 > β + 1 = α, m · α = m · (ω · γ) = (m · ω) · γ = ω · γ = α ω ≤ m · ω = ∪{m · n : n ∈ ω} ⊆ ω,

Teorema 3.39. Para todo par de ordinales α > 1 y β , la funci´n o expα : β −→ αβ γ → αγ ,

es una funci´n normal. o

´ Demostracion. Como expα es continua por definici´n, basta o demostrar que es estrictamente creciente. Para ello usamos el teorema 3.22. Por inducci´n podemos demostrar que αβ = 0 para todo ordinal o β . Luego, expα (β) = αβ = αβ · 1 < αβ · α = αSβ = expα (Sβ).
91

Las propiedades de la exponenciaci´n de ordinales se resumen en el o siguiente teorema. Teorema 3.40. i) 0α = 0 1 , si α es sucesor, , si α es l´mite o α = 0. ı

ii) iii) iv) v) vi) vii) viii) ix) x)

1α = 1. α0 = 1, α1 = α y α2 = α · α. Si α, β > 1, entonces α < αβ . Si α > 1, entonces β ≤ αβ . Si α > 1 y β < γ, entonces αβ < αγ . Si α = 0, entonces αβ+γ = αβ · αγ . Si α = 0, entonces (αβ )γ = αβ·γ . Si α > 1 y β = 0, entonces 1 < αβ . Si α, β > 1, entonces α · β ≤ αβ .

´ Demostracion. i) y ii) se demuestran por inducci´n. o iii) es obvio. iv) se verifica porque expα es estrictamente creciente y α1 = α. v) se puede demostrar por inducci´n sobre β o por 3.21 porque o expα es normal para α > 1. vi) simplemente expresa que expα es creciente para α > 1. vii) Por inducci´n sobre γ . o – Si γ = 0, entonces αβ+γ = αβ = αβ · 1 = αβ · α0 = αβ · αγ . – Si αβ+γ = αβ · αγ , entonces αβ+Sγ = αS(β+γ) = αβ+δ · α = (αβ · αγ ) · α

= αβ · (αγ · α) = αβ · αSγ .
92

– Si γ = ∪γ = 0 y para todo δ ∈ γ, αβ+δ = αβ · αδ , entonces como β + γ es l´ ımite y usando el teorema 3.24 αβ+γ = = = = {αε : ε < β + γ} {αε : β ≤ ε < γ} {αβ+δ : δ ∈ γ} {αβ · αδ : δ ∈ γ} {αδ : δ ∈ γ}

= αβ ·

= αβ · αγ ,

lo que completa la inducci´n. o viii) Por inducci´n sobre γ o – Si γ = 0 , entonces (αβ )γ = (αβ )0 = 1 = α0 = αβ·0 = αβ·γ . – Si (αβ )γ = αβ·γ , entonces (αβ )Sγ = (αβ )γ · αβ

= αβ·γ · αβ , y por vii), = αβ·γ+β = αβ·Sγ . (αβ )δ = αβ·δ ,

– Si γ = ∪γ = 0 y para todo δ ∈ γ, entonces

(αβ )γ = = =

{(αβ )δ : δ ∈ γ} {αβ·δ : δ ∈ γ}. {αε : ε ∈ β · γ} ,

= αβ·γ

ya que β · γ es l´ ımite. Para demostrar el paso anterior, debe usarse un argumento similar al empleado en la demostraci´n de vii). Esto completa la inducci´n. o o ix) Si 1 < α y 0 < β, entonces por vi), 1 = α0 < αβ . x) Por inducci´n sobre β . o – Si β = 2, entonces α · β = α · 2 = α + α ≤ α · α = α2 = αβ
93

– Si α · β ≤ αβ , entonces α · Sβ = ≤ ≤ =

α·β+α αβ + α αβ · α αSβ .

– Si β = ∪β = 0 y para todo γ ∈ β, α · γ ≤ αγ , entonces α·β = ≤ {α · γ : γ < β} {αγ : γ < β}

= αβ .

Esto completa la inducci´n. o El ultimo teorema de esta secci´n nos dice que la exponenciaci´n ´ o o de ordinales restringida a los n´meros naturales tiene las propiedades u que esperamos que ´sta tenga. e Teorema 3.41. Sean l , m y n n´meros naturales. Entonces u n i) m es un n´mero natural. u ii) (l · m)n = ln · mn ´ Demostracion. Ambas se demuestran por inducci´n sobre n. o

Ejercicios. 1. Demuestre que los ´rdenes definidos en 3.34 y 3.29 son buenos o ordenes. 2. Demuestre la asociatividad de la multiplicaci´n, 3.35, ii). o 3. Demuestre tambi´n 3.35, iii), iv), v) y ix). e 4. Demuestre el teorema 3.41. 5. Encontrar ordinales α, β, γ tales que α + γ = β + γ y α = β. 6. Probar que: (a) Si α ≤ β, entonces γ + α ≤ γ + β. (b) Si γ + α < γ + β, entonces α < β. (c) Si α + γ < β + γ, entonces α < β. (d) Si α < β, entonces para todo n ∈ ω se tiene α+n < β+n. (e) Si α + α = α, entonces α = 0. (f) Si α + α = β + β, entonces α = β. (g) Probar que si α + β = ω, entonces α ∈ ω y β = ω. (h) Si γ + α = γ + β, entonces α = β.
94

7. Probar que si β = 0, entonces α + β es ordinal l´ ımite si y s´lo o si β es ordinal l´ ımite. 8. Probar que α + γ = α ∪ {α + β : β ∈ γ}. 9. Probar que si β es ordinal l´ ımite, entonces {α + γ ; γ ∈ β} = {δ : δ ∈ α + β}. 10. Sea F una operaci´n tal que si α es ordinal, entonces F (α) o es ordinal. Definimos la operaci´n o F sobre los ordinales por: • F (0) = 0 ; • si α es ordinal, entonces F (Sα) = F (α) + F (α) ; { F (β) : • si α es ordinal l´ ımite, entonces F (α) = β ∈ α} ; • si α no es ordinal, entonces F (α) = 0. Probar que: a (a) F est´ bien definida sobre los ordinales. (b) Si α es ordinal, entonces F (α) es ordinal. (c) Definimos β∈α F (β) = F (α). n = ω. (i) Probar que n∈ω (ii) Para cada n ∈ ω definimos fn por: (A) Dom (fn ) = ω + 1 ; (B) si m ∈ ω y m = n , entonces fn (m) = m ; (C) fn (n) = ω ; (D) fn (ω) = n. Probar que α∈ω+1 fn (α) = ω + ω + n. (iii) Probar que si β < α , entonces γ∈β F (γ) ≤ γ∈α F (γ). (iv) Sea α un ordinal. Probar que si G es una operaci´n o que lleva ordinales en ordinales, entonces si para todo β β < α implica que F (β) ≤ G(α) , entonces β∈α F (β) ≤ β∈α G(β). Probar que “ ≤ ” se puede reemplazar por “ < ” si se agrega la condici´n de que si γ ∈ α , entonces o F (γ) = 0 . (v) Si F es tal que para todo β < α se tiene F (β) = 1 , entonces α = β∈α F (β). (vi) Probar que si α es ordinal l´ ımite y para todo β < α se tiene F (β) = 0 , entonces e β∈α F (β) es tambi´n ordinal l´ ımite. 11. Probar que para todo ordinal α existe un ordinal l´ ımite β y un n ∈ ω tales que α = β + n. 12. Probar que no existe un ordinal γ tal que para cualquier par de ordinales δ y β tales que δ < β se tenga α + δ < γ < α + β.
95

13. Probar que si α = 0 , entonces α + ω < ω + α. 14. Diremos que β es un residuo de γ si β = 0 y existe α tal que α + β = γ. Probar que si α > β y α y β son residuos de γ , entonces β es residuo de α . 15. Probar que: (a) Si α + β = ω, entonces α · β = ω. (b) Si γ · α < γ · β, entonces α < β . (c) Si γ = 0 y γ · α = γ · β , entonces α = β. (d) Si β · γ < α · γ, entonces β < α . (e) Si α · γ = β · γ y γ = 0 no es ordinal l´ ımite, entonces α = β. 16. Bajo divisi´n por 2 un ordinal tiene por resto a 0 o a 1 , y se dir´ o a que tal ordinal es par o impar en los respectivos casos. Clasificar los siguientes ordinales en pares o impares: (a) ω ; (b) ω + 1 ; (c) (ω + 1)2 ; (d) (ω + 1) · 2. 17. Por vecindad de un ordinal entendemos un intervalo abierto (β, γ) = {δ : δ es ordinal y β < δ < γ} al que pertenece el ordinal. Una operaci´n F sobre el ordinal α que lleva ordinales o en ordinales puede ser representada por (αi )i∈α , donde αi = F (i) , para todo i ∈ α. En tal caso hablamos de una sucesi´n de ordio nales (es claro que si F es operacion arbitraria que lleva ordinales en ordinales, restringi´ndola a un ordinal cualquiera la considere amos como sucesi´n de ordinales). Diremos que una sucesi´n de o o ordinales tiene l´ ımite λ = limi∈α ai si y s´lo si dada una vecindad o (β, γ) de λ , existe un ordinal δ ∈ α tal que si δ ≤ i < α se tiene αi ∈ (β, γ). (a) Probar que limi∈α αi es el supremo de {αi : i ∈ α} , si (αi )i∈α es una sucesi´n de ordinales estrictamente creciente. o (b) Dar un ejemplo de dos sucesiones de ordinales estrictamente crecientes (αi )i∈α y (βi )i∈α , tales que limi∈α αi + limi∈α βi = limi∈α (αi + βi ). (c) Probar que α es l´ ımite de cualquier sucesi´n de ordinales tal o que (αi )i∈α ⊆ Sα , pero no existe una sucesi´n de ordinales o (αi )i∈ω que simult´neamente est´ contenida en Sα − {α} y a e que tengta a α como l´ ımite. (d) Sea (αi )i∈α una sucesi´n estrictamente creciente de ordio nales con λ como l´ ımite. Probar que αi = λ para todo i ∈ α. Adem´s, probar que λ es ordinal l´ a ımite.
96

18. 19.

20. 21. 22.

(e) Sea (αi )i∈α una sucesi´n de ordinales no necesariamente o creciente. Probar que si α es ordinal sucesor entonces existe limi∈α αi , pero si α es ordinal l´ ımite no necesariamente existe tal l´ ımite. (f) Si (αi )i∈α es un a sucesi´n estrictamente creciente de o ordinales, probar que para todo ordinal λ se tiene λ + limi∈α αi = limi∈α (λ + αi ) , pero no necesariamente se tiene limi∈α αi + λ = limi∈α (αi + λ). Probar tambi´n que e λ · (limi∈α αi ) = limi∈α (λ · αi ) , pero no necesarimente (limi∈α αi ) · λ = limi∈α (αi · λ). Sea (αi )i∈α una sucesi´n de ordinales tal que αi = β para todo o i ∈ α. Probar que i∈α αi = β · α. (a) Probar que n · ω = ω si n ∈ ω. (b) Probar que α es ordinal l´ ımite si y s´lo si n · α = α para o todo n ∈ ω. Probar que si α = 0 es ordinal sucesor, entonces para todo γ = 0 se tiene (γ + 1) · α > γ · α. Probar que si β es ordinal l´ ımite y α = 0 , entonces {α · γ : γ ∈ β} = {δ : δ ∈ α · β}. Sea F una operaci´n que lleva ordinales en ordinales. Definimos o (α) por: F • F (0) = 1 ; • F (Sα) = F (α) · F (α) ; • Si α es ordinal l´ ımite y existe β ∈ α tal que F (β) = 0 , entonces F (α) = 0 ; • Si α es ordinal l´ ımite y para todo β ∈ α se tiene F (β) = 0 {F (β) : β ∈ α} ; , entonces F (α) = • Si α no es ordinal, entonces F (α) = 0. Probar que: (a) F est´ bien definida. a (b) F (α) es un ordinal si α lo es. (c) F (α) = 0 si y s´lo si existe β ∈ α tal que F (β) = 0. o (d) Definimos β∈α F (β) := F (α). Para cada n ∈ ω definimos fn por: (i) Dom (f n) = ω + 1 ; (ii) si m ∈ ω y m = n , entonces fn (m) = m + 1 ; (iii) fn (n) = ω ; (iv) fn (ω) = n + 1. Entonces α∈ω+1 fn (α) = ω · ω · (n + 1). (e) Si para toda γ ∈ α se tiene F (γ) = 0 , entonces si β < α se tiene γ∈β F (γ) ≤ γ∈α F (γ).
97

23. 24. 25.

26. 27.

28. 29. 30. 31.

32. 33. 34. 35.

(f) Si G es una operaci´n que lleva ordinales en ordinales, o entonces si para todo β ∈ α se tiene F (β) ≤ G(β) , ello implica que β∈α F (β) ≤ β∈α G(β). Simplificar ω + ω · ω y (ω + 1) · ω · ω. Probar que si β > 1 es aditivamente indescomponible y α > 0 , entonces α · β es aditivamente indescomponible. Sean α y β ordinales. Probar que si F es una operaci´n o sobre los ordinales tal que F (γ) = α para todo γ ∈ β , entonces β γ∈β F (γ) = α . Encontrar la suma y el producto de la sucesi´n de ordinales o (αi )i∈ω tal que αi = ω i , para todo i ∈ ω. Sea (αi )i∈ω la sucesi´n de ordinales tal que α0 = ω y αSβ = o (αβ )ω para β ∈ ω. Sea 0 = {αi : i ∈ ω}. Probar que 0 = ω 0 . (a) Probar que si α < 0 , entonces: (i) α + 0 = 0 . (ii) α · 0 = 0 . (iii) α 0 = 0 . (b) Probar que β ω 0 = β ω· 0 para todo ordinal β Probar que si α es ordinal l´ ımite y γ = 0 , entonces αγ es ordinal l´ ımite. Probar que si n ∈ ω , entonces nω = ω. Probar que si α es ordinal l´ ımite y p y q son naturales, entonces (α · p)q = αq · p. Sean α y β ordinales tales que α = 0 y β > 1. Probar que existen unicos ordinales γ , δ y ρ tales que α = β γ · δ + ρ y ´ 0 = δ ∈ β y ρ ∈ βγ . Probar que si α = 0 y β = 0 , entonces α · ω β = Sα · ω β . Probar que si α < ω δ y β < ω δ , entonces α + β < ω δ . δ δ δ Probar que si α < ω ω y β < ω ω , entonces α · β < ω ω . Calcular: ω (a) α∈ω 2 . 2 (b) α∈ω 2 α . (c) n∈ω ω · n. n (d) n∈ω ω . (e) α∈ω2 (α + 1). (f) n∈ω ω n . (g) n∈ω (ω + n). ˙ (h) ω 1 + ω · 2 + ω · 3 + . . . + 1 + 2 + 3 + . . . (i) ω · ω 2 · ω 3 · . . . · 1 · 2 · 3 · . . . (j) ω · ω 2 · ω 3 · . . . · ω n−1 · ω n+1 · . . . · 2 · 3 · . . .
98

36. Expresar en la forma ω αn · an + ω αn−1 · an−1 + . . . + ω α1 · a1 + a0 , donde α1 < α2 < . . . < αn−1 < αn son ordinales , n ∈ ω , y ai ∈ ω − 1 para i ∈ Sn : (a) 3 · ω (b) (ω + 1)2 (c) ω · 2 · (ω + 1) (d) (ω + 1) · 2 (e) (ω 2 · 2 + ω · 4 + 3) · 5 (f) 2 + ω · 2 + ω 2 (g) (ω 2 · 3 + ω · 2) · (ω 3 · 2 + ω · 4 + 2) 37. Diremos que α > 1 es ordinal primo si no existen β y γ tales que 1 < β < α y 1 < γ < α y α = β · γ. (a) Probar que si n ∈ ω , esta definici´n coincide con la o definici´n cl´sica de ser primo. o a (b) Probar que los siguientes ordinales son primos : ω, ω + 1, ω 2 + 1, ω 3 + 1, ω ω . (c) Probar que si α > 1 , entonces existe n ∈ ω tal que para todo m < n existe un ordinal primo αm , con los que se tiene : α= αm .
m∈n

¿ Es unica esta representaci´n ? ( ver ω 2 ). ´ o (d) Probar que si α es ordinal l´ ımite , entonces α es primo si β y s´lo si existe un ordinal β tal que α = ω ω . o (e) Probar que si α > ω es ordinal sucesor, entonces α es primo si y s´lo si existe β > 0 tal que α = ω β + 1. o 38. Probar las siguientes factorizaciones en primos: (a) ω 2 + ω + 1 = (ω + 1)2 (b) ω 2 · 3 + 1 = (ω 2 + 1) · 3 (c) ω 2 + 2 = 2 · (ω 2 + 1) (d) ω 3 · 7 + ω 2 · 5 + 3 = 3 · (ω 2 + 1) · 5 · (ω + 1) · 7 (e) ω ω + ω + 1 = (ω + 1) · (ω ω + 1) (f) ω ω+1 + ω ω + ω 4 + ω 2 = ω · ω · (ω 2 + 1) · (ω ω + 1) · (ω + 1) 39. Expresar como producto de primos: (a) ω 4 + 24 (b) ω · 2 + 1 (c) ω 2 + ω · 2 + 1 (d) ω 3 · 3 + ω 2 · 7 + 6 (e) ω ω + ω 3 + ω 2 (f) ω ω+1 · 2 + ω ω · 3 + 2 (g) ω 6 · 2 + ω 5 · 5 + ω 3 + ω 2 · 7 2 (h) ω ω · 6 + ω ω+5 · 3 + ω ω+1 · 2 + ω ω · 4
99

40. Calcular los siguientes l´ ımites: n (a) limn∈ω (2 + n) (b) limn∈ω n · ω (c) limn∈ω ω · n (d) limβ∈ω2 β · ω (e) limβ∈ω·2 2β (f) limβ∈ω·2 β 2 41. Diremos que el ordinal α es un n´mero ´psilon si α = ω α . u e α+1 ω α+1 α+1 (a) Definimos E(α) := (α + 1) + ω + ωω + ωω + ... Probar que E(α) es un n´mero ´psilon, que α < E(α) , u e que no existe un n´mero ´psilon β tal que α < β < E(α). u e Probar tambi´n que si α < β y no existe un n´mero ´psilon e u e γ tal que α < γ ≤ β , entonces E(α) = E(β). (b) Probar que si definimos εα por: • ε0 = E(0); • εSα = E(εα ); • si α es ordinal l´ ımite, entonces εα = limβ∈α εβ , entonces para todo ordinal α se tiene que εα es un n´mero u ´psilon y que si β es un n´mero ´psilon, entonces existe e u e un ordinal α tal que β = εα . (c) Probar que si β es un n´mero ´psilon, entonces dado un u e ordinal α , se tiene que si 2 ≤ α < β , entonces α+β = β y α · β = β y αβ = β. (d) Probar que si existe un ordinal α ≥ ω tal que αβ = β , entonces β es un n´mero ´psilon. u e (e) Probar que si αβ = β, entonces α · β = β. (f) Probar que si α · β = β, entonces α + β = β. β (g) Probar que si β es un n´mero ´psilon, entonces αω = u e (αω )β , para todo ordinal α . (h) Probar que si α es ordinal l´ ımite y β es un n´mero ´psilon u e tales que α < β , entonces αβ·α = (β · α)α . 42. Encontrar un conjunto de racionales tales que bajo su orden usual sea isomorfo a: (a) ω + 1 (b) ω · 2 (c) ω · 3 (d) ω ω ( Por ejemplo, { n+1 : n, m ∈ N − {0}} es isomorfo a ω 2 ). m 43. Si λ = γ∈δ βγ , entonces αλ = γ∈δ αβγ . 44. Probar que: 3 (a) Si para γ ∈ ω se tiene αγ = ω 2 , entonces γ∈ω αγ = ω .
100

(b) Si para γ ∈ ω + ω se tiene αγ = ω , entonces γ∈ω+ω αγ = ω+ω ω . ω (c) Si para γ ∈ ω se tiene αγ = ω γ , entonces γ∈ω αγ = ω 45. Probar que para todo α , ω α es aditivamente indescomponible. 8. La Jerarqu´ Acumulativa de Conjuntos ıa En esta secci´n construiremos recursivamente una clase de conjuno tos que es de gran importancia en el estudio m´s avanzado de los funa damentos de la teor´ de conjuntos. Si bien estos temas caen fuera ıa del alcance de este libro, esta construcci´n, llamada la jerarqu´ acuo ıa mulativa de conjuntos, ayuda a entender la complejidad relativa de los conjuntos y el rol que juega el axioma de regularidad en la estructura de los mismos. ´ Definicion 3.13. Para cada ordinal α definimos V0 = ∅ Vα+1 = PVα Vλ =
γ∈λ

Vγ , si λ es l´ ımite.

La colecci´n de los Vα se llama la jerarqu´ acumulativa de conjuno ıa tos. Es usual definir tambi´n el universo de von Neumann a la clase e propia V= {Vα : Ord(α)}.

Observemos que los Vα est´n bien definidos en virtud del teorema a 3.20, ii). Las operaciones empleadas son G(x) = Px y H(x) = x.

Debe tambien tenerse presente que V no es un objeto de nuestra teor´ y debe entenderse s´lo como una manera de abreviar un concepto ıa o correspondiente a la f´rmula o ϕ(x) = ∃α(Ord(α) ∧ x ∈ Vα ). Como veremos, el axioma de regularidad es equivalente a decir que todo conjunto verifica varphi(x). Teorema 3.42. 1. Si α ≤ β, entonces Vα ⊆ Vβ . 2. Si α ∈ β, entonces Vα ∈ Vβ . 3. Para todo α, Vα es ∈–transitivo.
101

El pr´ximo lema es necesario para demostrar el principal teorema o de esta secci´n. o Lema. Sea a un conjunto, entonces ϕ(a) si y s´lo si para todo x ∈ a, o ϕ(x). M´s informalmente, un conjunto pertenece a V si y s´lo si todos a o sus elementos tertenecen a V. ´ Demostracion. Si a pertenece a V , entonces a ∈ Vα para alg´n u ordinal α. Pero como Vα es ∈–transitivo, todos los elementos de a pertenecen a Vα . Supongamos que todos los elementos de a pertenecen a V. Para cada x ∈ a, sea γ(x) el menor ordinal γ tal que x ∈ Vγ . Definamos α= {γ(x) : x ∈ a}, el que est´ bien definido en virtud del axioma de reemplazo. a Entonces a ⊆ Vα y por lo tanto a ∈ PVα = Vα+1 , lo que termina nuestra demostraci´n. o Resulta sencillo verificar que la clase V es cerrada bajo uniones, pares, potencias productos cartesianos y dem´s construcciones que a hemos estudiado en los cap´ ıtulos precedentes. Esto implica que todos los conjuntos que aparecen en la pr´ctica, pertenecen a V. ¿ Existir´ a a alg´n conjunto que no est´ en V? El siguiente teorema, atrav´s de una u a e aplicaci´n del axioma de regularidad, demuestra que este no es el caso. o Teorema 3.43. Todo conjunto pertenece a alg´n Vα . u (M´s informalmente, para todo conjunto x , x ∈ V.) a ´ Demostracion. Recordemos que la clausura transitiva de a , que denotamos T (a), es el menor conjunto ∈–transitivo que contiene a a , ver ejercicio 1 y que intuitivamente T (a) = a ∪ a∪ a∪ a··· .

Supongamos que existe un conjunto a tal que a ∈ V, o m´s / a formalmente, supongamos ¬ϕ(a), donde varphi(x) es la f´rmula de o L1 que lo expresa. (Ver m´s arriba.) a Entonces por el lema 8 b = {x ∈ T (a) : ¬ϕ(x)} = ∅. Tomemos cualquier elemento c ∈ b. Entonces por el mismo lema, existe x ∈ c talque ¬ϕ(x), y como adem´s x ∈ T (a), x ∈ b, es decir a x ∈ c ∩ b, lo que contradice el axioma de regularidad.
102

Ejercicios. 1. 2. 3. 4. Demuestre Demuestre Demuestre Demuestre que para todo α, Vα = {PVβ : β < α}. el teorema 3.42. α es el mayor ordinal que pertenece a Vα . el axioma de regularidad a partir del teorema 3.43.

103

104

CAPITULO 4

El Axioma de Elecci´n o
El ultimo axioma de la teor´ de conjuntos en cierta medida pertenece ´ ıa a una categor´ aparte debido a las importantes consecuencias que de ıa ´l se desprenden. Estudiaremos varias formulaciones diferentes de ´ste e e y enseguida algunas de sus aplicaciones. 1. Equivalencias del Axioma de Elecci´n o Axioma de Elecci´n (AC): o “Si A es un conjunto de conjuntos no vac´ entonces existe una ıos, funci´n F cuyo dominio es A y tal que para todo x ∈ A, F x ∈ x ”. o Tal funci´n se llama una funci´n de elecci´n para A . o o o Observemos que F : A −→ A

x −→ F x ∈ x

La existencia de una funci´n de elecci´n implica elegir simult´o o a neamente un elemento de cada conjunto que pertenece a A . Esto no representa ning´n problema si A es finito, sin embargo si A es infinito, u no es en absoluto intuitivo que se pueda hacer. N´tese tambi´n que el o e axioma no da ninguna idea de como construir tal funci´n. o La siguiente es una lista de los principios m´s importantes que son a equivalentes al axioma de elecci´n. o 1. Principio Multiplicativo: Si A es una funci´n y Dom A = I y si Ai = A(i) = ∅, o entonces Πi∈I Ai = ∅. 2. Principio de Zermelo: Si P es una partici´n de un conjunto A , entonces existe o B ⊆ A tal que para todo M ∈ P , B ∩ M tiene un solo elemento. Recordemos que toda partici´n sobre A induce una relaci´n o o de equivalencia cuyo campo es A y cuyas clases de equivalencia son los elementos de P . El principio de Zermelo nos dice que podemos escoger un elemento de cada clase de equivalencia, es decir un sistema de representantes de las clases de equivalencia.
105

3. Principio de Enumeraci´n: o Para todo conjunto A existe un ordinal α y una funci´n o biyectiva entre ellos. 4. Principio de Buen Orden: Todo conjunto puede bien ordenarse. 5. Lema de Zorn: Si A es un conjunto parcialmente ordenado por R y todo subconjunto de A totalmente ordenado por R tiene una cota superior en A , entonces A tiene un elemento maximal. Un subconjunto de A totalmente ordenado por R se llama una R-cadena. N´tese que la hip´tesis del lema de Zorn implica que A = ∅ o o ya que ∅ es una R-cadena luego tiene una cota superior en A . 6. Principio de Kuratowski: Si R es un orden parcial y S ⊆ R es un orden total, entonces hay un orden ⊆-maximal T tal que S ⊆ T ⊆ R. Dicho de otro modo, todo suborden total de un orden parcial puede extenderse a un orden total maximal. 7. Principio de Tricotom´ ıa: Dados dos conjuntos A y B , existe una funci´n inyectiva o de A en B o existe una funci´n inyectiva de B en A . o 8. Principio de la Imagen Inversa: Dados dos conjuntos no vac´ A y B , existe una funci´n ıos o sobreyectiva de A en B o existe una funci´n sobreyectiva de o B en A . Como veremos en el Cap´ ıtulo 5 estos dos ultimos principios son ´ muy importantes en la teor´ de cardinalidad. ıa Teorema 4.1. Todos los principios anteriores son equivalentes al axioma de elecci´n. o ´ Demostracion. Primero demostraremos AC ⇒ 1) ⇒ 2) ⇒ AC. AC ⇒ 1). Sea A una funci´n con Dom A = I tal que para todo i ∈ I, o Ai = ∅, . Entonces, por el axioma de reemplazo, A = {Ai : i ∈ I} es un conjunto de conjuntos no vac´ ıos. Por AC, existe F, Dom F = A y para todo i ∈ I, F (Ai ) ∈ Ai . G : I −→
106

Ai
i∈I

i −→ F (Ai )

1) ⇒ 2). Sea P una partici´n de A . Entonces P ⊆ PA, luego P es un o conjunto. Consideremos IP , la funci´n identidad sobre P . Por 1) o ΠM ∈P IP (M ) = ΠM ∈P M = ∅, luego existe una funci´n G , tal que Dom G = P y para todo M ∈ o P, G(M ) ∈ M . Como M ⊆ A para todo M ∈ P, Rec G ⊆ A. Adem´s, como los elementos de P son disjuntos, para cada M ∈ P , a M ∩ Rec G = {G(M )}. 2) ⇒ AC. Sea A un conjunto no vac´ de conjuntos no vac´ ıo ıos. Definamos K = { x, y : y ∈ x ∈ A} y P = {{ x, y : y ∈ x} : x ∈ A}. Es claro que K es un conjunto (¿por qu´?) y que P es una e partici´n de K . o Escojamos B ⊆ K tal que para cada M ∈ P, B ∩ M tiene exactamente un elemento. Entonces B es una funci´n de elecci´n para o o A . En efecto, para cada x ∈ A, B ∩ { x, y : y ∈ x} = {yx }, para alg´n yx ∈ x. Luego B es funci´n, Dom B = A y para cada u o x ∈ A, B(x) ∈ x. La equivalencia de los otros principios la demostramos dando un gran c´ ırculo de implicaciones que comienza y termina en AC. AC ⇒ 3. Sea A un conjunto. Vamos a encontrar un ordinal α y una funci´n o biyectiva de α en A . Podemos suponer que A = ∅. Consideremos PA−{∅}. Este es un conjunto no vac´ de conjuntos ıo no vac´ luego existe una funci´n de elecci´n F para ´l. Notemos ıos, o o e que ´sta asigna a cada subconjunto no vac´ de A un elemento de si e ıo mismo. Definimos por recursi´n una operaci´n unaria H como sigue o o H(α) = F (A − H ∗ α) , A , si A − H ∗ α = ∅, si A − H ∗ α = ∅.

G ∈ Πi∈I Ai ,

o sea,

Πi∈I Ai = .

Si α < β, entonces H ∗α ⊆ H ∗β A − H ∗ β ⊆ A − H ∗ α,
107

luego, si A − H ∗ α = ∅, entonces tambi´n A − H ∗ β = ∅. Por lo tanto, e si α < β; y H(α) = A, entonces Hβ = A. Si α < β y H(β) = A, entonces como H(α) ∈ H ∗ β y por ser F funci´n de elecci´n, H(β) ∈ A − H ∗ β, o o H(α) = H(β). Demostraremos ahora que existe un ordinal β tal que H(β) = A. (i.e. A − H ∗ β = ∅). Supongamos por el contrario que no existe. Entonces como H es una operaci´n unaria (definimos Hx = x si x o no es ordinal) y como para todo par de ordinales α = β, Hα = Hβ, por el axioma de reemplazo, B = {α : Hα ∈ PA − {∅}} es un conjunto. Pero por la suposici´n anterior, B contiene a todos los o ordinales, luego no es un conjunto, contradicci´n. Por lo tanto existe o β tal que H(β) = A. Sea α = {γ ∈ Sβ : H(γ = A)}, es decir α es el menor ordinal tal que H(α) = A, luego si β < α , Hβ = A. Definimos G : α −→ A β −→ H(β).

Entonces G es una funci´n biyectiva. o 3) ⇒ 4). Sea A un conjunto y sean α y G como en 3). Entonces R = { x, y ∈ A × A : G−1 x ≤ G−1 y} es un buen orden. 4) ⇒ 5). Sea ≤ un orden parcial con campo A , tal que toda cadena tiene una cota superior. Sea S un buen orden cuyo campo es A . Definimos la siguiente operaci´n unaria. o   S − menor elemento de {a ∈ A : ∀x(x ∈ F ∗ α → x < a} si ´ste es no vac´ e ıo, F (α) =  A si no.

Intuitivamente, F (0) elije el S-menor elemento de A . F (1) elije el S-menor elemento de {a ∈ A : F (0) < a}, etc. En general F (α es el S-menor elemento de aquellos elementos de A que son ≤-mayores que aquellos elementos de A que ya han sido elejidos por F en una etapa anterior a α .
108

Si β < α y F (α) = A, entonces como F (β) ∈ F ∗ α,

Como en la demostraci´n anterior, existe β tal que F (β) = A, o pues si no, por el axioma de reemplazo, es un conjunto de ordinales que contiene a todos los ordinales, lo que es una contradicci´n. o Sea α el menor ordinal tal que F (α) = A, es decir, Vimos antes que para β < γ ∈ α , F (β) < F (γ), es decir, F ∗ α es una <-cadena. Como F ∗ α ⊆ A, por el Lema de Zorn, existe c ∈ A que es <-cota superior de F ∗ α, es decir Es claro que c es maximal pues si no, existe b ∈ A tal que b > c, pero entonces ∀x(x ∈ F ∗ α → x < b) o sea ∗ b ∈ {a ∈ A : ∀x(x ∈ F α → x < a)} = ∅, lo que es una contradicci´n, luego c es maximal. o 5) ⇒ 6). Sea R un orden parcial y S ⊆ R un suborden total. Sea Consideramos A ordenado por inclusi’on. Entonces toda cadena B tiene una cota superior, a saber, B. Por el lema de Zorn, A tiene un elemento maximal el que obviamente verifica la tesis de 6). 6) ⇒ 7). Sean A , B conjuntos. Definimos R = { f, g : Dom f ⊆ Dom g ⊆ A ∧ Rec f ⊆ Rec g ⊆ B ∧ f ⊆ g ∧ f es inyectiva ∧ g es inyectiva} A = {T : S ⊆ T ⊆ R y T es un orden total. ∀x(x ∈ F ∗ (α) → x ≤ c). {a ∈ A : ∀x(x ∈ F ∗ α → x < a)} = ∅. {α : F (α) ∈ A}

F (β) < S − menor{a ∈ A : ∀x(x ∈ F ∗ α → x < a)} = F (α).

Es claro que R es un orden parcial. Por el principio de Kuratowski con S = ∅, existe un orden total maximal T ⊆ R. Sea F = Cam T , F es una funci´n inyectiva, Dom F ⊆ A y o Rec F ⊆ B. Supongamos que Dom F = A y Rec F = B, entonces existe a ∈ A − Dom F y b ∈ B − Rec F . Definimos G = F ∪ {(a, b)}, T = T ∪ { f, G : f ∈ T } ∪ { G, G }.
109

Entonces, como G es inyectiva, Dom G ⊆ A y Rec G ⊆ B, T ⊂ T ⊆ R, o sea, T no es maximal, una contradicci’on. Por lo tanto Dom F = A o bien Rec F = B. En el primer caso F es inyectiva de A en B , en el segundo caso, F −1 es inyectiva de B en A . 7) ⇒ 8). Sean A y B conjuntos no vac´ ıos. Supongamos sin p´rdida de e generalidad que existe una funci´n inyectiva, f : A −→ B. Sea a ∈ A o y definamos g : B −→ A g(x) = f −1 (x) , si x ∈ f ∗ A, a , si x ∈ B − f ∗ A.

Entonces g es sobreyectiva. 8) ⇒ AC. Para demostrar esta implicaci´n debemos demostrar un lema preo vio. Lema 4.2. Sea B un conjunto. Entonces Γ = {α : existe funci´n inyectiva f : α −→ B} o tambi´n es un conjunto. e ´ Demostracion. Sea M = {R : R es un buen orden y campo R ⊆ B}. M ⊆ P(PB × PB), por lo tanto M es un conjunto. Como sabemos, por el teorema 3.27, para todo buen orden R existe un unico ´ ordinal α tal que R y { β, γ : β ≤ γ < α}, es decir, el orden de α , son isomorfos. Entonces Γ = {α : existe R ∈ M α es isomorfo con R}. En efecto, si α ∈ Γ existe una funci´n inyectiva f : α −→ B, o entonces R = { f (β), f (γ) : β ≤ γ < α} ∈ M, R y α son isomorfos y el isomorfismo es precisamente f . Supongamos ahora que α es isomorfo a un buen orden R ∈ M y sea g : α −→ R tal isomorfismo. Entonces por ser isomorfismo, g es inyectiva y g : α −→ Cam R ⊆ B, es decir α ∈ Γ. Como M es conjunto, por el axioma de reemplazo, Γ es un conjunto. Demostremos ahora el teorema. Sea A un conjunto no vac´ de ıo conjuntos no vac´ Queremos encontrar una funci´n de elecci´n para ıos. o o
110

A . Como A es conjunto, P demostrado,

A tambi´n lo es,luego or el lema reci´n e e

Γ = {α : existe funci´n inyectivaf : α −→ P o

A

es un conjunto de ordinales. Sea β = ∪Γ + 1. Es claro que no existe una funci´n inyectiva de β en P A ya que β ∈ Γ. o Por otro lado, tampoco existe una funci´n sobreyectiva o f : A −→ β, pues si existiera, podriamos definir g : β −→ P A α −→ f −1∗ {α} ,

o sea, existir´ una funci´n inyectiva de β en P A, contradiciendo ıa o la ultima afirmaci´n. ´ o Entonces por 8), existe una funci´n sobreyectiva g : β −→ A. o Definamos F : A −→ a −→ g( A g −1∗ a) .

F es una funci´n de elecci´n. En efecto, si x ∈ A, entonces o o x ⊆ A y como g es sobreyectiva g −1∗ x = ∅ es un conjunto de ordinales cuyo menor elemento es g −1∗ x. Es claro entonces que g( g −1∗ x) ∈ x. 2. Aplicaciones En todas las ramas de las matem´ticas hay importantes aplicaciones a del axioma de elecci´n. A continuaci´n daremos una breve lista con o o algunas de ´stas. e 1. Todo espacio vectorial tiene una base. 2. La uni´n enumerable de conjuntos enumerables es enumerable. o 3. Existe un conjunto de n´meros reales que no es Lebesgue-mediu ble. 4. El producto de espacios compactos es compacto. 5. Todo anillo con unidad tiene un ideal maximal. 6. Todo orden parcial puede extenderse a un orden total. 7. El teorema de Hahn-Banach. 8. El teorema de completud para la l´gica de primer orden. o 9. Toda ´lgebra de Boole es isomorfa a un campo de conjuntos. a
111

Demostraremos algunas de ´stas. Supondremos que el lector maneja e los conceptos involucrados en cada caso. Teorema 4.3. Todo espacio vectorial tiene una base. ´ Demostracion. Sea V un espacio vectorial y sea A = {B ⊆ V : B es linealmente independiente}. Consideremos a A parcialmente ordenado por inclusi´n. o Sea entonces C = {Bi : i ∈ I} una cadena de elementos de A . Entonces C ⊆ V y C contiene a todos los miembros de la cadena. Veremos ahora que C es linealmente independiente. Sean v0 , v1 , . . . , vn−1 ∈ C, luego existe B0 , . . . , Bn−1 ∈ C tales que vi ∈ Bi , i < n. Pero C es una cadena, luego Bi ⊆ Bn−1 , i < n, por lo tanto v0 , . . . , vn−1 ∈ Bn−1 y como ´ste es linealmente indepene diente, C es un conjunto linealmente independiente. Por lo tanto C pertenece a A , luego toda cadena de A tiene una cota superior y por el lema de Zorn A tiene un elemento maximal. Probar que un conjunto linealmente independiente maximal es una base es un ejercicio elemental de algebra lineal. Teorema 4.4. La uni´n enumerable de conjuntos enumerables es o enumerable. ´ Demostracion. Recordemos que un conjunto A se dice enumerable si existe una biyecci´n entre A y ω. o Sea C un conjunto enumerable de conjuntos enumerables. Por simplicidad podemos suponer que los elementos de C son todos disjuntos. Si C = {Ai : i ∈ ω}, sea fi : ω −→ Ai una biyecci´n. Definimos o F : ω × ω −→ n, m Ai

−→ fn (m)

g : ω × ω −→ Ai como sigue g(n, m) = fn (m). g es inyectiva ya que si g(n, m) = g(p, q) entonces fn (m) = fp (q) ∈ An ∩ Ap , y como los Aj son disjuntos se tiene que n = p. Entonces como las fi son inyectivas, m = q, o sea, g es inyectiva.
112

g es sobreyectiva ya que si a ∈ Ai existe n tal que a ∈ An y como fn es sobreyectiva, existe m tal que a = fn (m) = g(n, m). Es decir, existe una biyecci´n g de ω × ω en o C. Por otra parte es bien sabido que existen biyecciones entre ω y ω × ω (ver el cap´ ıtulo 5). Si tomamos cualesquiera de ellas, digamos, h : ω −→ ω × ω, entonces f = g ◦ h es una biyecci’on entre ω y C , luego este ultimo ´ es enumerable. Observemos que en la demostraci´n anterior aparentemente no heo mos usado el axioma de elecci´n. Sin embargo ´ste se us´ cuando o e o escogimos las funciones biyectivas fi , especificamente, si Bi = {f : ω −→ Ai , f biyectiva } A = {Bi : i ∈ ω} es un conjunto no vac´ de conjuntos no vac´ ıo ıos (´sto ultimo por hip´tesis) luego por el axioma de elecci´n existe para e ´ o o cada i un elemento fi ∈ Bi . Este teorema es el ejemplo cl´sico de uso encubierto del axioma de a elecci´n. Durante a˜os los matem´ticos hicieron uso de argumentos o n a como el anterior sin darse cuenta de que estaban usando un principio especial. Teorema 4.5. Existe un conjunto de n´meros reales que no es u Lebesgue-medible. ´ Demostracion. Definimos sobre [0, 1) la siguiente relaci´n de eo quivalencia. x ∼ y ssi x − y ∈ Q Entonces ∼ induce una partici´n de [0, 1). Por el principio o de Zermelo, existe un subconjunto B ⊆ [0, 1) tal que B contiene exactamente un representante de cada clase de equivalencia. Sea {ri }i∈ω una enumeraci´n de los racionales entre 0 y 1 (ver o cap´ ıtulo 5) y sea Bi = B + ri = {x + ri : x ∈ B}, donde la suma es m´dulo 1 i.e. o x+y si x + y < 1 x+y = x + y − 1 si x + y ≥ 1 Es bien sabido que si A es un conjunto Lebesgue-medible, entonces A + a tambi´n lo es; m´s a´n, m(A) = m(A + a). e a u
113

Notemos que todo x ∈ [0, 1) pertenece a alg´n Bi puesto que ∼ u induce una partici´n de [0, 1). Por lo tanto o [0, 1) =
i∈ω

bi .

Adem´s la uni´n es disjunta ya que Bi ∩ Bj = ∅ si i = j. En efecto, a o si x, y ∈ B y x + ri = y + rj entonces x − y = rj − ri ∈ Q , o sea, x ∼ y y como B contiene un solo representante de cada clase de equivalencia, x = y, entonces ri = rj , o sea, i = j, contradicci´n, luego o i = j ⇒ Bi ∩ Bj = ∅. Por lo tanto m([0, 1) = m(
i∈ω

Bi ) =
i∈ω

m(Bi ).

Si B fuera medible, por la observaci´n hecha anteriormente, para o todo i ∈ ω, m(Bi ) = m(B), entonces si m(B) = 0, m( Bi ) = 0 y si m(B) = 0, m( Bi ) = ∞, pero m([0, 1)) = 1, por lo tanto B no puede ser medible. Teorema 4.6. Todo orden parcial puede extenderse a un orden total sobre el mismo campo. ´ Demostracion. Sea ≤ un orden parcial, B = Cam ≤. Consideremos el conjunto de todos los ´rdenes totales que extienden o a≤ A = {R ⊆ B × B : R es un orden total y ∀x, y(x ≤ y → x Ry), A est´ ordenado por inclusi´n. a o Sea {Ri }, i ∈ I, una cadena de elementos de A . Es claro que Ri es un orden total y que si x ≤ y, entonces x Ri y, es decir Ri es una cota superior de la cadena que pertenece a A , luego, por el lema de Zorn, A tiene un elemento maximal. Llamemoslo M . Para demostrar nuestro teorema es suficiente probar que campo M = B. Supongamos que no es as´ entonces existe a ∈ B − Cam M . ı, Definimos el nuevo orden R como sigue R = M ∪ { x, a : x ∈ Cam M, a ≤ x} ∪ { a, x : x ∈ Cam M, x ≤ a}.
114

Es f´cil verificar que R es un orden total que extiende a M , a contradicci´n. o

Ejercicios. 1. Demuestre sin usar el axioma de elecci´n que todo conjunto tiene o una funci´n de elecci´n. (Indicaci´n: Use inducci´n sobre el o o o o n´mero de elementos del conjunto). u 2. Demuestre que el conjunto K definido el el teorema 4.1, 2) ⇒ AC es efectivamente un conjunto y que el conjunto P es una partici´n de K . o 3. Complete los detalles de la demostraci´n de 4.1, 5) ⇒ 6). o 4. Demuestre que la relaci´n R definida en la demostraci´n del o o teorema 4.1, 6) ⇒ 7), es efectivamente un orden parcial. 5. Demuestre que toda relaci´n binaria contiene una funci´ con el o o mismo domino.

115

116

CAPITULO 5

Cardinales
En este cap´ ıtulo investigaremos uno de los t´picos m´s importantes o a de la teor´ de conjuntos, a saber, la teor´ de la cardinalidad o n´mero ıa ıa u de elementos que tiene un conjunto. Hasta el momento sabemos c´mo o contar los elementos de los conjuntos finitos. En este cap´ ıtulo formalizaremos estos conceptos intuitivos y los generalizaremos a conjuntos infinitos. La mayor parte de los teoremas de este cap´ ıtulo dependen del axioma de elecci´n. Indicaremos ´stos mediante el s´ o e ımbolo † . 1. Definiciones y Resultados B´sicos a ´ Definicion 5.1. i) Dos conjuntos A y B son equinumerosos ssi existe una biyecci´n entre A y B . En tal caso escribimos o A ∼ B. ii) Un ordinal α es un cardinal ssi α no es equinumeroso con ninguno de sus elementos. Si α es un cardinal escribimos Car (α). En general usaremos letras g´ticas min´sculas m, n, p · · · para designar cardinales. o u Ejemplo. 1. Dos intervalos de n´meros reales son siempre equinumerosos. u Para demostrar esto basta ver que f : [a, b] −→ [c, d] d−c cb − ad x −→ x+ b−a b−a es una biyecci´n. o 2. Todo intervalo abierto es equinumeroso con el conjunto de los n´meros reales. u Consid´rese la funci´n e o π π tan : (− , ) −→ R 2 2 Sabemos que tan x es una biyecci´n. Una funci´n similar a la o o del ejemplo anterior demuestra que cualquier intervalo abierto es equinumeroso con (− π , π ). 2 2
117

3. ω y ω × ω son equinumerosos. Consid´rese la funci´n e o f : ω × ω −→ ω m, n −→ 2m (2n + 1) − 1 .

f es una biyecci´n. o Resulta claro que la relaci´n “ser equinumeroso” es reflexiva, sim´o e trica y transitiva, pero no es una relaci´n dentro de nuestra teor´ o ıa ya que su campo es la clase de todos los conjuntos. Naturalmente, si nos restringimos a un conjunto particular, ´sta es una relaci´n de e o equivalencia. En el caso finito, la cantidad de elementos de un conjunto nos sirve como una noci´n de tama˜o. Para ello se identifica todos aquellos o n conjuntos que tienen el mismo n´mero de elementos, en otras palabras, u todos aquellos que son equivalentes bajo la “relaci´n”anterior. Una o posible idea es definir la cardinalidad de un conjunto como su “clase de equivalencia” bajo la relaci´n de equinumerosidad, sin embargo, es o claro que la clase de equivalencia de cualquier conjunto no vac´ es una ıo clase propia, por lo tanto no existen dentro de nuestra teor´ ıa,luego no podemos usarlas como “cardinales”. Para conjuntos finitos, es f´cil ver que en cada “clase de equivaa lencia” habr´ un unico n´mero natural, ´ste se conoce habitualmente a ´ u e como la cardinalidad o n´mero de elementos del conjunto, vale decir, u aquel unico natural con el que es equinumeroso. Podemos tratar de ´ generalizar la idea anterior a conjuntos infinitos, sin embargo, hay dos dificultades, la primera es que dado un conjunto infinito cualquiera, no podemos garantizar que exista alg´n ordinal que es equinumeroso con u ´l. De hecho tal afirmaci´n es ni m´s ni menos, el principio del buen e o a orden, es decir, equivalente con el axioma de elecci´n. En segundo luo gar, es f´cil ver que si existe un ordinal equinumeroso con un conjunto a infinito dado, ´ste no ser´ nunca unico, como lo demuestra por ejemplo e a ´ la funci´n que aparece en la demostraci´n del teorema 5.3, la que nos o o dice que α y α + 1 son siempre equinumerosos. Por estos motivos, la manera de extender la noci´n de cardinalidad o de los conjuntos finitos a los infinitos es suponer el Axioma de Elecci´n o y escoger un representante de cada una de las “clases de equivalencia”, a saber, el menor ordinal que pertenece a ella. Necesitamos antes un par de resultados. Teorema 5.1. Si m = n, entonces m y n no son equinumerosos. ´ Demostracion. Como m y n son ordinales distintos m ∈ n o n ∈ m, luego m y n no son equinumerosos por definici´n de cardinal. o
118

Teorema 5.2. † Para todo conjunto A existe un unico cardinal n ´ tal que A y n son equinumerosos. ´ Demostracion. Por el principio de enumeraci´n existe un ordinal o α tal que A es equinumeroso con α . Sea m= {β ∈ Sα : A ∼ β},

o sea, m es el menor elemento del conjunto no vac´ {β ∈ Sα : A ∼ β}, ıo es claro entonces que A ∼ m. Por ultimo, si existiera β ∈ m tal que β ∼ m, tendr´ ´ ıamos que β ∼ A, luego m no es el menor elemento del conjunto anterior, contradicci´n. o Por lo tanto m es un cardinal. Resulta claro que m no depende del ordinal α usado en la definici´n. o ´ Definicion 5.2. La cardinalidad |A| de un conjunto A es el unico ´ cardinal m tal que A ∼ m. Decimos tambi´n que m es el cardinal de e A. Teorema 5.3. Si A , B son conjuntos y α es un ordinal, i) A ∼ B ssi |A| = |B|. ii) A ∼ |A|. iii) |α| ≤ α. iv) Si α ∼ A, entonces |A| ≤ α. v) α es un cardinal ssi |α| = α. vi) Si ω ≤ α, entonces |α + 1| = α. ´ Demostracion. vi) Si ω ≤ α, entonces α = ω + γ. Definimos f : α + 1 −→ α como sique  si x = α,  0 x + 1 si x ∈ ω, f (x) =  x si x ∈ ω, x = α . Es claro que f es una biyecci´n. o El pr´ximo teorema es probablemente el resultado m´s importante o a sobre cardinalidad que puede demostrarse sin usar el axioma de elecci´n. o Teorema 5.4. Cantor - Schroeder - Bernstein Si A y B son dos conjuntos tales que existen funciones inyectivas f : A −→ B y g : B −→ A, entonces |A| = |B|.
119

´ Demostracion. Notemos primero que si A1 = g ∗ f ∗ A entonces ya que g ◦ f : A −→ A1 es claramente inyectiva y sobreyectiva. Por otra parte, si D = g ∗ B, entonces D ∼ B. Sea h = g ◦ f y definamos A0 = A , D0 = D = h∗ An , Dn+1 = h∗ Dn . . . A1 ∼ A

An+1

En el diagrama los An son los cuadrados y los Dn son los c´ ırculos. Ahora podemos demostrar por inducci´n que para todo n ∈ ω, o An+1 ⊆ Dn ⊆ An . Definimos F : A −→ D F (x) = h(x) , si x ∈ x , si no (An − Dn )

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

F (x) = h(x) = y = F (y). Para ver que F es sobreyectiva recordemos primero que para todo n = 0, An ⊆ D ⊆ A. Sea x ∈ D y n el menor natural tal que x ∈ An , entonces x ∈ An−1 . Si x ∈ Dn−1 , n − 1 = 0 y entonces x ∈ An−1 − Dn−1 y por lo que vimos anteriormente, x ∈ h∗ (An−2 − Dn−2 ), luego x = h(y) = F (y) para alg´n y ∈ (An − Dn ). u Si x ∈ Dn−1 , x ∈ (An − Dn ) pues x ∈ An para m ≥ n y x ∈ Dm para m < n. Por lo tanto, x = F (x). En cualquier caso x ∈ F ∗ A luego F es sobreyectiva. Hemos demostrado que A ∼ D ∼ B, luego |A| = |B|. Teorema 5.5. Si A ⊆ B, entonces |A| ≤ |B|. ´ Demostracion. Supongamos por el contrario que |B| < |A| y sean f, g biyecciones A j↓ B
g

−→ |A| ↑i −→ |B|

f

donde i y j son la funci´n identidad. Entonces j : A −→ B es o inyectiva, f −1 ◦ i ◦ g : B −→ A es inyectiva, luego por el teorema 5.4, |A| = |B|, contradicci´n luego |A| ≤ |B|. o Teorema 5.6. † Las siguientes tres condiciones son equivalentes. i) |A| ≤ |B|. ii) Hay una funci´n inyectiva f : A −→ B. o iii) A = ∅ o hay una funci´n sobreyectiva g : B −→ A. o ´ Demostracion. i) ⇒ ii) Sean f : A −→ |A|, g : |B| −→ B biyecciones, entonces g ◦ f : A −→ B es inyectiva. ii) ⇒ iii) Sea A = ∅, a ∈ A y f : A −→ B inyectiva. Definimos g : B −→ A como sigue. g(x) = entonces g es sobreyectiva.
121

f −1 (x) , si x ∈ f ∗ A , a , si no ,

iii) ⇒ i)† Supongamos A = 0 y sea g : B −→ A sobreyectiva. Entonces g −1∗ A induce una partici´n de B , a saber, {g −1∗ {a} : a ∈ A}. Por el o axioma de elecci´n, escogemos un sistema de representantes para esta o partici´n. Definimos f : A −→ B asignando a x ∈ A el representante o de g −1∗ {x} anteriormente elegido. Es claro que f es inyectiva, luego, |A| ∼ |f ∗ A| y f ∗ A ⊆ B, luego por 5.5, |A| = |f ∗ A| ≤ |B|. Observemos que el axioma de elecci´n se usa solamente en la deo mostraci´n de iii) ⇒ i). Todas las otras implicaciones se pueden deo mostrar sin ese axioma. Todav´ no hemos dado ning´n ejemplo de ıa u cardinal. Los siguientes dos teoremas remedian esta situaci´n. o Teorema 5.7. Si n ∈ ω, entonces n es un cardinal. ´ Demostracion. Por inducci´n. o Es claro que 0 es un cardinal. Supongamos que n es un cardinal y n + 1 no lo es. Entonces existe m < n + 1 tal que m ∼ n + 1, es claro que m = 0. Sea f : n + 1 −→ m una biyecci´n. Podemos suponer que f (n) = m − 1, o porque si no, mediante una permutaci´n apropiada lo podemos lograr. o Entonces f n : n −→ m − 1 es una biyecci´n, luego, por hip´tesis o o de inducci´n, m − 1 = n, o sea, m = n + 1, una contradicci´n. Por lo o o tanto n + 1 es cardinal, lo que completa nuestra inducci´n. o Teorema 5.8. ω es cardinal. ´ Demostracion. Sabemos por 5.3, iii), que |ω| ≤ ω. Si |ω| < ω, |ω| = m para alg´n n´mero natural m. u u Pero m ⊆ m + 1 ⊆ ω, luego luego m = m + 1, contradicci´n. o Luego |ω| = ω. Teorema 5.9. Cantor Para todo A, |A| < |PA|. ´ Demostracion. Es claro que |A| ≤ |PA| ya que la asignaci´n o a −→ {a} define una funci´n inyectiva de A en PA. o Supongamos que existe una funci´n sobreyectiva f : A −→ PA y o sea
122

|ω| = m = |m| ≤ |m + 1| = m + 1 ≤ |ω|

B = {x ∈ A : x ∈ f (x)}. Como B ⊆ A y f es sobreyectiva, existe a ∈ A tal que B = f (a). Entonces si a ∈ B, por definici´n a ∈ f (a), luego a ∈ B. Si o a ∈ B, entonces a ∈ f (a), o sea, a ∈ B, es decir, a ∈ B si y s´lo si a ∈ B, o contradicci´n, luego tal funci´n sobreyectiva no puede existir y |A| = o o |PA|. Corolario 5.10. Dado un ordinal α , existe un cardinal m > α. ´ Demostracion. Basta considerar m = |Pα|.

Corolario 5.11. No existe el conjunto de todos los cardinales. ´ Demostracion. Si existiera el conjunto C de todos los cardinales, por el teorema reci´n demostrado, el conjunto e
n∈C

{α ∈ n : α < n}

contendr´ a todos los ordinales y por lo tanto ´stos constituir´ ıa e ıan tambi´n un conjunto. e Teorema 5.12. Si Γ es un conjunto de cardinales, entonces es un cardinal. Γ

´ Demostracion. Supongamos Γ no es un cardinal, entonces, | Γ| < Γ (recordemos que Γ es un ordinal). Luego, existe n∈Γ | Γ| ∈ n ∈ Γ , pero n ⊆ Γy | Γ| < n = |n| ≤ | Γ| .

´ Definicion 5.3. Para todo ordinal α, α+ es el menor cardinal mayor que α . Definimos la operaci´n ℵ (aleph) recursivamente para todo ordinal. o
123

ℵ0 = ω ℵα+1 = (ℵα )+ ℵλ = Ejercicios. 1. Demuestre que la relaci´n “ser equinumeroso” es refleja sim´trica o e y transitiva. 2. Probar que: (a) PPP0 ∼ 4. (b) Si A ∼ B, entonces C A ∼ C B. (c) Si B ∩ C = ∅, entonces B∪C A ∼ B A × C A. (d) C (B A) ∼ B×C A. (e) C (A × B) ∼ C A × C B. (f) Si R1 es el conjunto de todos los ´rdenes estrictos sobre X o y R2 es el conjunto de todos los ´rdenes sobre X, entonces o R1 ∼ R2 . (g) Probar que si E es el conjunto de todas las clases de equivalencia sobre A y P es el conjunto de todas las particiones de A , entonces E ∼ P . 3. Sea A un conjunto. Probar que PA ∼ A 2. 4. Sea {Ij : j ∈ J} una partici´n de I. Probar que o
i∈I α<λ

ℵα , si λ es l´ ımite.

Ai ∼

(
j∈J i∈Ij

Ai ).

5. Si A1 ∼ A2 y B1 ∼ B2 y A1 ∩ B1 = A2 ∩ B2 = ∅, probar que A1 ∪ B1 ∼ A2 ∪ B2 . 6. Probar que si A ∼ C y B ∼ D, entonces A × B ∼ C × D. 7. Probar que si A ∼ B, entonces PA ∼ PB. 8. Probar que si (A − B) ∼ (B − A), entonces A ∼ B. 9. Probar que si A ∼ B y a ∈ A y b ∈ B, entonces (A − {a}) ∼ (B − {b}). 10. Probar que si A ∼ B y C ∼ D y C ⊆ A y D ⊆ B, entonces (A − C) ∼ (B − D). 11. Sean (Ai )i∈I y (Bi )i∈I dos familias, cada una de conjuntos disjuntos dos a dos. Si Ai ∼ Bi para todo i ∈ I, probar que i∈I Ai ∼ i∈I Bi . 12. Sean (Ai )i∈I y (Bi )i∈I dos familias de conjuntos tales que Ai ∼ Bi para todo i ∈ I. Probar que i∈I Ai ∼ i∈I Bi .
124

13. Demuestre las partes del teorema 5.3 que no fueron demostradas en el texto. 14. Haga la inducci´n mencionada en la demostraci´n del teorema o o 5.4. 15. Demuestre directamente, sin usar el axioma de elecci´n, la equivo alencia de las dos primeras afirmaciones del teorema 5.6. 16. Demuestre directamente, sin usar el axioma de elecci´n, la imo plicaci´n i) ⇒ iii) del teorema 5.6. o 17. Probar que para intervalos de n´meros reales se tiene (a, b) ∼ u [a, b]. 18. Probar que ω y | ω 2| son cardinales distintos. 19. Probar que |Q| = |Q[x]| = ω, donde Q[x] es el conjunto de polinomios en x con coeficientes en Q. 20. Sea R el conjunto de todas las ra´ ıces reales de polinomios de Q[x]. Probar que |R| = ω. 21. Si B ⊆ A y ω ⊆ |B| < |A|, cual es la cardinalidad de A − B ?. 22. Probar que α es un cardinal tal que ω < α si y s´lo si α es o ordinal l´ ımite. 23. Para α y β ordinales, probar o dar contraejemplo de: (a) Si α y β son cardinales, entonces α + β es cardinal. (b) Si α y β son cardinales, entonces α · β es cardinal. (c) |α + β| = |α| + |β|. (d) |α · β| = |α| · |β|. (e) Si α < β, entonces |α| < |β|. 24. Sean A , B y C conjuntos. Probar que: (a) Si B = ∅, entonces |A| ≤ | B A|. (b) SI B ⊆ C, entonces | B A| ≤ | C A|. (c) Si |B| ≥ 2, entonces |A| ≤ | A B|. 25. Probar que para todo α , ℵα es un cardinal. 26. Probar que: (a) ℵα = ℵβ si y s´lo si α = β. o (b) ℵα < ℵβ si y s´lo si α < β. o 27. Probar que para todo cardinal α existe un ordinal β tal que α < ℵβ . 2. Conjuntos Finitos y Conjuntos Infinitos En esta secci´n daremos un marco formal a la nociones intuitivas o de finitud e infinitud yveremos algunas diferencias entre estos dos tipos de conjuntos. ´ Definicion 5.4. i) Un conjunto A es finito si |A| < ℵ0 . ii) A es infinito si |A| ≥ ℵ0 .
125

iii) A es enumerable si |A| = ℵ0 . Una consecuencia inmediata de esta definici´n es que los n´meros o u naturales son finitos, es m´s, la cardinalidad de un conjunto finito es a siempre un n´mero natural. As´ por ejemplo u ı |{x}| = 1 , |{x, y}| = 2 , si x = y, etc. Teorema 5.13. Si A ⊆ B o existe una funci´n sobreyectiva f : o B −→ A, entonces: i) Si A es infinito, B es infinito, ii) † Si B es finito, A es finito. ´ Demostracion. Si A ⊆ B, use el teorema 5.5. Si existe una funci´n sobreyectiva f : B −→ A, entonces como o existe una biyecci´n g : |A| −→ A, tenemos que o g ◦ f : |A| −→ B es una funci´n sobreyectiva, luego por el teorema 5.6, |A| ≤ |B|. (Aqu´ o ı es donde hemos usado el axioma de elecci´n.) o La conclusi´n del teorema se sigue de esta afirmaci´n. o o Teorema 5.14. Si A es finito y B ⊂ A, entonces |B| < |A|. ´ Demostracion. Sea b ∈ A − B y f : A −→ m una biyecci´n. o Podemos suponer que f (b) = m − 1 pues si f (b) = m − 1 podemos permutar dos valores de f y la funci´n resultante sigue siendo biyectiva. o Entonces f B : B −→ m − 1 es inyectiva y por el teorema 5.6, |B| ≤ m − 1 < m = |A|. Recu´rdese que esta parte del teorema 5.6 no requiere del axioma de e elecci´n. o El teorema anterior caracteriza a los conjuntos finitos, de hecho, se puede definir conjunto infinito como un conjunto que es equinumeroso con uno de sus subconjuntos propios. Un conjunto que satisface esta propiedad se dice Dedekind–infinito. Se necesita el axioma de elecci´n o para demostrar que ser infinito y ser Dedekind–infinito es equivalente. Teorema 5.15. † Un conjunto A es infinito si y s´lo si A es o equinumeroso con uno de sus subconjuntos propios.
126

´ Demostracion. ⇐) Por el teorema anterior. † ⇒) Como A es infinito, |A| ≥ ℵ0 = ω, luego existe una funci´n o inyectiva f : ω −→ A. Definamos h : A −→ A − {f (0)} como sigue h(x) = f (f −1 (x) + 1) si x ∈ f ∗ ω, x si x ∈ f ∗ ω.

es claro que h es biyectiva. Teorema 5.16. Si A y B son finitos, |A| = |B| y f : A −→ B, entonces f es inyectiva si y s´lo si f es sobreyectiva. o ´ Demostracion. ⇒) Supongamos f es inyectiva. Si f no es sobreyectiva, entonces como f ∗ A ⊆ B, por 5.14 |A| = |f ∗ A| < |B|, contradicci´n. o ⇐) Supongamos que f es sobreyectiva. Entonces f induce la siguiente partici´n sobre A : o {f −1∗ {b} : b ∈ B}

Podemos seleccionar un representante de cada elemento de la partici´n y definir o g : B −→ A b −→ el representante de f −1∗ {b} seleccionado. Obs´rvese que como B es finito, la partici´n indicada es finita y por lo e o tanto para seleccionar un representante de cada elemento de la partici´n o no es necesario el axioma de elecci´n. o Es claro que f (g(b)) = b y que g es inyectiva. Aplicando la primera parte de esta demostraci´n a g, ´sta es sobreyectiva, es decir, g es o e −1 biyectiva. Por ultimo f = g , luego f es inyectiva. ´

Ejercicios. 1. Demuestre que un conjunto A es Dedekind–infinito si existe una funci´n inyectiva de A en A , que no es sobreyectiva. o 2. Sea F una funci´n de A sobre B , con A enumerable. Probar o que |B| ≤ ℵ0 .
127

3. Probar que, si A y B son finitos, entonces A ∪ B, A × B y A B son finitos. Si A o B son enumerables ¿es alguno de los conjuntos mencionados infinito no numerable?. 4. Probar que A es infinito si y s´lo si existe un subconjunto enuo merable de A . 5. Probar que si A es infinito y B no es vac´ entonces A × B es ıo, infinito. 6. Probar que si A es infinito y B ⊆ A es finito, entonces A − B es infinito. 7. Probar que A es infinito si y s´lo si para todo n ∈ ω existe o B ⊆ A con B ∼ n. 8. Sean A infinito y B enumerable. Probar que A ∼ (A ∪ B). 9. Probar que si A es enumerable y x ∈ A, entonces A − {x} es enumerable. Probar que A es infinito si y s´lo si A ∼ (A − {x}). o 10. Probar que si PA es infinito, entonces A es infinito. 11. Probar que todo subconjunto de un conjunto enumerable es finito o enumerable. 12. Probar que si A y B son enumerables, entonces A × B es enumerable. Probar lo mismo si B es finito no vac´ ıo. 13. Sea (Ai )i∈ω una familia de conjuntos enumerables. Probar que i∈ω Ai es enumerable. 14. Probar que si A es enumerable, entonces existe B ⊆ A enumerable tal que A − B es enumerable. 15. Probar que si n ∈ ω, entonces ω n es enumerable (exponenciaci´n ordinal). o 16. Probar que si I = ω, entonces i∈I ω i es enumerable. 17. Probar que el conjunto de todos los subconjuntos finitos de un conjunto enumerable es enumerable. 18. Probar que si A es infinito, entonces A es enumerable si y s´lo o si A ∼ B para todo B ⊆ A infinito. 19. Probar que si A es el conjunto de los subconjuntos infinitos de ω, entonces |A| = | ω 2|. 20. Sea a = (an )n∈ω una familia de naturales. Entonces: (a) Diremos que a es eventualmente constante si existen n0 ∈ ω y s ∈ ω tales que an = s para todo n ≥ n0 . Probar que el conjunto de las familias eventualmente constantes de n´meros naturales es enumerable. u (b) Diremos que a es eventualmente peri´dica si existen n0 ∈ o ω y p ∈ ω − 1 tales que an+p = an para todo n ≥ n0 . Probar que el conjunto de las familias eventualmente peri´dicas de n´meros naturales es enumerable. o u
128

21.

22.

23.

24.

25.

26.

(c) Diremos que a es progresi´n aritm´tica si existe d ∈ ω tal o e que an+1 = an + d, para todo n ∈ ω. Probar que el conjunto de las progresiones aritm´ticas de n´meros naturales e u es enumerable. Probar que una partici´n de un conjunto enumerable tiene un o conjunto de representantes, sin usar el Axioma de Elecci´n o o alguno de sus equivalentes. Sea ϕ una f´rmula con variable libre x . Probar que si A es o finito y se verifica ϕ(∅) y para todo x ∈ A y todo B ⊆ A si se verifica ϕ(B), tambi´n se verifica ϕ(B ∪ {x}), entonces se e verifica ϕ(A). Probar que A es finito si y s´lo si A pertenece a todo conjunto o K tal que ∅ ∈ K y para todo x ∈ A y todo B ⊆ A tal que B ∈ K, se tenga B ∪ {x} ∈ K. Probar que A es finito si y s´lo si A pertenece a todo conjunto o K tal que ∅ ∈ K, y x ∈ A implica {x} ∈ K y, si B ∈ K y C ∈ K, entonces B ∪ C ∈ K. Probar que A es finito si y s´lo si PA es el unico conjunto K o ´ tal que K ⊆ PA, ∅ ∈ K, x ∈ A implica {x} ∈ K, y si B ∈ K y C ∈ K, entonces B ∪ C ∈ K. Probar que, si A es enumerable, entonces existe una familia B de conjuntos tal que: (a) B es enumerable, (b) si C ∈ B, entonces C es enumerable, (c) Si C y D est´n en B , y C = D, entonces C ∩ D = ∅ , y a (d) B = A. Probar el rec´ ıproco usando el Axioma de Elecci´n. o 3. Aritm´tica Cardinal e

En esta secci´n definiremos suma, producto y exponenciaci´n de o o cardinales y algunas de sus propiedades. Tambi´n veremos que estas e operaciones tienen una interpretaci´n intuitiva. o 3.1. Suma de Cardinales. ´ Definicion 5.5. Sea mi : i ∈ I una familia de cardinales. La suma cardinal de los mi denotada por mi es el cardinal del conjunto
i∈I

i∈I

{ i, α : α ∈ mi }
129

Si I = 2, escribimos mi = m0 +c m1
i∈2

M´s generalmente si i = n, escribimos a
i∈n

mi = m0 +c · · · +c mn−1 .

La idea de la definici´n es que la suma de cardinales representa la o cardinalidad de la uni´n de conjuntos disjuntos que tienen las cardio nalidades indicadas, as´ por ejemplo, ı m0 +c m1 = |{(0, α) : α ∈ m0 } como |{(0, α) : α ∈ m0 }| = m0 y |{(1, α) : α ∈ m1 }| = m1 , la finalidad de tomar estos conjuntos de pares ordenados es simplemente disjuntar los conjuntos (obviamente m0 y m1 no son disjuntos). El siguiente teorema nos dice que no importa qu´ conjuntos usemos e para calcular la suma siempre que estos sean disjuntos y tengan las cardinalidades adecuadas. Teorema 5.17. † Si Ai : i ∈ I y Bi : i ∈ I son familias de conjuntos disjuntos dos a dos tales que para todo i ∈ I Ai ∼ Bi , entonces
i∈I

{(1, α) : α ∈ m1 }|

Ai ∼

i∈I

Bi ∼

i∈I

|Ai |

´ Demostracion. Para i ∈ I, sea fi : Ai −→ Bi una biyecci´n. o Definimos f:
i∈I

Ai −→

Bi si a ∈ Ai .

a −→ fi (a) ,

f est´ bien definida ya que los Ai son disjuntos a pares, luego a no a puede pertenecer a dos de ellos al mismo tiempo. Es claro tambi´n que e f es biyectiva. Obs´rvese que f = i∈I fi . e Teorema 5.18. |
i∈I

Ai | ≤
130

i∈I

|Ai |.

En particular
i∈I

mi ≤

mi .
i∈I

´ Demostracion. Si |Ai | = mi para cada i ∈ I, sea fi : mi −→ A biyectiva y definamos: g:
i∈I

{ i, α : α ∈ mi } −→ i, α

Ai

Es f´cil ver que g es sobreyectiva luego por 5.6, | a |Ai |. i∈I

−→ fi (a).

i∈I

Ai | ≤

Algunas propiedades elementales de la suma de cardinales est´n a resumidas en el pr´ximo teorema. o Teorema 5.19. ii)
i∈0

i)
i∈I

0 = 0.

mi = 0. mi ≤ mi .
i∈J

iii) Si I ⊆ J, entonces

i∈I

iv) Si mi ≤ ni , para i ∈ I, entonces v)
β<m

i∈I

mi ≤

ni .
i∈I

1 = m.

´ Demostracion. i) y ii) son obvias a partir de la definici´n. o iii) Basta notar que
i∈I

{ i, α : α ∈ mi } ⊆

i∈J

{ i, α : α ∈ mi },

luego aplicar 5.5. iv) Idem iii) ya que
i∈I

{ i, α : α ∈ mi } ⊆

i∈I

{ i, α : α ∈ ni }

v) Obs´rvese que e f : m −→ β −→
β∈m

{ β, α : α ∈ 1}

β, 0
131

es una biyecci´n. o

Teorema 5.20. (Conmutatividad Generalizada) Si mi : i ∈ I es una familia de cardinales y σ es una permutaci´n o de I (i.e. σ : I −→ I es una biyecci´n), entonces o mi =
i∈I i∈I

mσ(i)

´ Demostracion. Consid´rese e f:
i∈I

{ i, α : α ∈ mi } −→ i, α −→

i∈I −1

{ i, α : α ∈ mσ(i) }

σ (i), α .

Es claro que f es biyectiva, por ejemplo, para verificar que f es sobreyectiva, sea k, β ∈ i∈I { i, α : α ∈ mσ(i) } es decir k ∈ I y β ∈ mσ(k) . Sea j = σ(k), entonces f ( j, β ) = σ −1 (j), β = k, β , con j, β ∈
i∈I {

i, α : α ∈ mi }, luego f es sobreyectiva.

Teorema 5.21. (Asociatividad generalizada) Sea { mij : i, j ∈ I × J } una familia de cardinales. Entonces mij =
i,j ∈I×J i∈I

(
j∈J

mij ).

´ Demostracion. Para cada i, j ∈ I × J definimos Aij = { i, j , α : α ∈ mij }. Entonces los Aij sondisjuntos a pares y |Aij | = mij , para todo i, j ∈ I × J. Por el teorema 5.17,
i,j ∈I×J

mij = |

i,j ∈I×J

Aij |.

Adem´s, para cada i ∈ I, a |
j∈J

Aij | =
132

mij .
j∈J

Pero e j∈J Aij : i ∈ I es tambi´n una familia de conjuntos disjuntos a pares luego
i∈I

|

j∈J

Aij | = |

(
i∈I j∈J

Aij )|.

Para terminar basta con notar que Aij =
i,j ∈I×J i∈I j∈J

Aij ,

por asociatividad de la uni´n. Juntando los cuatro resultados anterio ores, mij = ( mij .
i,j ∈I×J i∈I j∈J

Para completar estos resultados sobre la suma cardinal veremos algunos teoremas sobre cardinales finitos. Teorema 5.22. Para todo par de n´meros naturales m, n, u m +c n = m + n ´ Demostracion. Por inducci´n sobre n . o Si n = 0, es f´cil comprobar que m +c 0 = m y lo dejamos como a ejercicio. Luego m +c 0 = m = m + 0 Antes de demostrar el paso inductivo demostraremos que m +c 1 = m + 1. En efecto, f : { 0, : ∈ m} ∪ { 1, 0 } −→ m + 1 0, −→ 1, 0 −→ m

es una biyecci´n, luego m +c 1 = m + 1. o Supongamos ahora que m +c n = m + n entonces m +c Sn = m +c (n + 1) = m +c (n +c 1) , por lema, = (m +c n) +c 1 , por 5.21, = (m + n) + 1 , por hip´tesis y lema, o = m + (n + 1) = m + Sn Esto completa la inducci´n. o
133

Corolario 5.23. Si A y B son finitos, entonces A lo es.

B tambi´n e

´ Demostracion. Por 5.17, |A∪B| ≤ |A|+c |B| = |A|+|B| < ω. 3.2. Producto de Cardinales. ´ Definicion 5.6. Sea mi : i ∈ I una familia de cardinales. El producto cardinal de los mi es Xi∈I mi = |
i∈I

mi |

Si I = 2, Xi∈I mi se escribe m0 ×c m1 . En general si I = n, Xi∈I mi = m0 ×c m1 ×c · · · ×c mn−1 . Como en el caso de la suma, el producto de cardinales no depende de los conjuntos que empleemos para calcularlo, s´lo de las cardinalidades o de esos conjuntos. Teorema 5.24.

Si |Ai | = |Bi | para todo i ∈ I, entonces |
i∈I

Ai | = |

i∈I

Bi |.

´ Demostracion. Sea fi : Ai −→ Bi una biyecci´n. Consideremos o f:
i∈I

Ai −→

Bi
i∈I

definida por f (a)(i) = fi (a(i)), Para todo a ∈ i∈I Ai . Veamos que f es inyectiva. Si f (a) = f (b), entonces para todo i ∈ I decir fi (a(i)) = fi (b(i)), pero como para todo i ∈ I, las funciones fi son inyectivas, a(i) = b(i), es decir, a = b. Para verificar que f es sobreyectiva. Sea b ∈ i∈I Bi y sea a(i) = fi−1 (b(i)). Tal a(i) existe por ser fi biyectiva. Es claro que f (a) = b. Por lo tanto f es biyecci´n y o i∈I Ai ∼ i∈I Bi . Corolario 5.25. | |A| ×c |B|.
i∈I

f (a)(i) = f (b)(i), es

Ai | = Xi∈I |Ai | y en particular |A × B| =
134

El pr´ximo teorema resume algunas propiedades elementales de el o producto cardinal. Teorema 5.26. i) Si Xi∈I mi = 0. ii) Xi∈∅ mi = 1. iii) Xi∈I 1 = 1. iv) m = |I| × m.
i∈I

mi = 0 para alg´n i ∈ I, entonces u

v) Si mi ≤ ni , para todo i ∈ I, entonces Xi∈I mi ≤ Xi∈I ni . ´ Demostracion. i) En este caso i∈I mi = ∅. ii) i∈∅ mi = {0} iii) i∈I 1 = {f }, donde f (i) = 0, para todo i ∈ I. iv) N´tese que o I ×m= luego por definici´n, o
i∈I i∈I

{ i, α : α ∈ m},

m = |

i∈I

{ i, α : α ∈ m}|

v) En este caso

= |I ×c m| = |I| ×c m. mi ⊆ ni .
i∈I

i∈I

Teorema 5.27. (Conmutatividad Generalizada) Si σ es una permutaci´n de I , entonces o Xi∈I mi = Xi∈I mσ(i) . ´ Demostracion. Consid´rese la biyecci´n e o f :
i∈I

mi −→

mσ(i) ,
i∈I

definida por f (a)(i) = a(σ(i)). Teorema 5.28. (Asociatividad Generalizada) X i,j
∈I×J mij

= Xi∈I (Xj∈J mij ).
135

´ Demostracion. Por el teorema 5.24 Xi∈I (Xj∈J mij ) = | X i,j Definimos F :
∈I×J mij

(
i∈I j∈J

mij )| mij | mij )

= |

i,j ∈I×J j∈J

i,j ∈I×J

mij −→

i∈J (

F (f )(i)(j) = f ( i, j ). Es claro que F es biyecci´n. o Teorema 5.29. (Distributividad) Si para todo i ∈ I ni es un cardinal, n ×c ni =
i∈I i∈I

m ×c ni .

´ Demostracion. Notemos primero que
i∈I

m ×c ni = |

i∈I

{ i, α, β : α ∈ m, β ∈ ni }|,

ya que para todo i ∈ I, n ×c ni ∼ { i, α, β : α ∈ m, β ∈ ni }. Por otra parte n ×c Por ultimo ´ F : m ×c
i∈I i∈I

ni = |m ×c

i∈I

{ i, β : β ∈ ni }|.

{ i, β : β ∈ ni } −→ α, i, β −→

i∈I

{ i, α, β : α ∈ m, β ∈ ni }

i, α, β

es obviamente biyectiva. El siguiente teorema tiene por consecuencia el que las operaciones de suma y producto cardinal para el caso infinito son en alg´n sentido u triviales. Teorema 5.30. Sea m un cardinal infinito. Entonces m ×c m = m
136

´ Demostracion. Supongamos que esto es falso. Sea m el menor cardinal tal que m ×c m = m. Definiremos un orden sobre el producto cartesiano m ×c m y demostraremos que ´ste es un buen orden. e Para α, β, γ, δ ∈ m definimos α, β γ, δ si y s´lo si o 1. α = γ y β=δ ´ o 2. α ∪ β < γ ∪ δ ´ o 3. α ∪ β = γ ∪ δ y α<γ ´ o 4. α ∪ β = γ ∪ δ y α=γ y β ≤ δ. No demostraremos que es un orden lineal sobre m ×c m pues su demostraci´n es rutinaria. Para ver que o es un buen orden, sea Γ ⊆ m ×c m no vac´ ıo. Sea γ = {α ∪ β : α, β ∈ Γ}, es claro que γ existe pues es el menor elemento de un conjunto no vac´ de ordinales. ıo Sea δ= {α : α, β ∈ Γ} para alg´n β y α ∪ β = γ}. u ε= {β : δ, β ∈ Γ}

Finalmente sea Es f´cil ver que δ, ε es el menor elemento de Γ. a Luego, es un buen orden con campo m ×c m y por lo tanto es isomorfo a alg´n ordinal α . u Sea f : α −→ m ×c m el isomorfismo (i.e. si β < γ ∈ α, entonces f (β) f (γ)). N´tese que en particular, α ∼ m ×c m. o Supongamos que α ≤ m. Entonces m ×c m = |m ×c m| = |α| ≤ m = m ×c 1 ≤ m ×c mc donde para el ultimo paso hemos usado 5.26, v) , o sea, m ×c m = m, ´ una contradicci´n. o Por lo tanto α > m, es decir m ∈ Dom f . Sean f (m) = β, γ ∈ m × m δ = (β ∪ γ) + 1. Como m es l´ ımite, δ ∈ m y β ∪ γ < δ = δ ∪ δ por lo tanto (β, γ (δ, δ). De hecho para todo ε < m
137

f (ε) Por lo tanto

f (m) f

δ, δ

y f (ε) = δ.

es inyectiva, luego,

m : m −→ δ × δ

m ≤ |δ × δ| = |δ| ×c |δ|. Como δ < m, o bien, δ es finito, o bien |δ| ×c |δ| = |δ|. En el primer caso m es finito. En el segundo m ≤ |δ| y δ < m lo que contradice el que m sea cardinal. Esto concluye la demostraci´n. o Corolario 5.31. Si m ≥ ℵ0 ´ n ≥ ℵ0 , entonces m +c n = m ∪ n. o Si adem´s m = 0 y n = 0, m ×c n = m ∪ n. a Si α, β son ordinales, entonces ℵα + ℵβ = ℵα∪β = ℵα ×c ℵβ . ´ Demostracion. Supongamos sin p´rdida de generalidad que m ≥ e ℵ0 y m ≥ n. Entonces m +c n ≤ = ≤ = ≤ m +c m m ×c 2 por 5.26 iv), m ×c m m m +c n

Luego

m +c n = m = m ∪ n. Si adem´s suponemos n > 0, a m ×c n ≤ = = ≤ m ×c m m m ×c 1 m ×c n

Luego

m ×c n = m = m ∪ n. La observaci´n respecto de los ℵ ahora es obvia. o Corolario 5.32. Sea m un cardinal infinito, |Ai | ≤ m para todo i ∈ I y |I| ≤ m. Entonces | i∈I Ai | ≤ m.
138

´ Demostracion. |
i∈I

Ai | ≤ ≤

i∈I

|Ai | m

i∈I

= |I| ×c m ≤ m ×c m = m.

Corolario 5.33. La uni´n enumerable de conjuntos enumerables o es enumerable. Teorema 5.34. † (Desigualdad de Zermelo) Si para todo i ∈ I mi < ni , mi < Xi∈I ni .
i∈I

´ Demostracion. Como ni − mi = ∅, existe f ∈ Definimos ahora F :
i∈i

i∈I (ni

− mi ).

{ i, α : α ∈ mi } −→

ni
i∈I

f (j) si i = j, α si i = j. F es inyectiva. En efecto, supongamos que F ( i, α )(j) = F ( i, α ) = F ( j, β ), es decir, para todo k ∈ I, Entonces, si i = j, f (j) = F ( i, α )(j) = F ( j, β )(j) = β pero f (j) ∈ mj y β ∈ mj , contradicci´n. Luego, i = j. Pero entonces o α = β y F es inyectiva. Por lo tanto,
i∈I

F ( i, α )(k) = F ( j, β )(k).

mi ≤ Xi∈I ni .

Supongamos que son iguales. Entonces existe una biyecci´n o h:
i∈I

{ i, α : α ∈ mi } −→
139

ni .
i∈I

Para cada i ∈ I definimos hi : { i, α : α ∈ mi } −→ ni i, α −→ h( i, α )(i) . Es claro que hi es inyectiva porque h lo es. Entonces |h∗ { i, α : α ∈ mi }| ≤ |{ i, α : α ∈ mi }| = mi < ni i Podemos usar nuevamente el principio multiplicativo y encontrar ∈ Como ∈
i∈I i∈I ∗ (ni − ki { i, α : α ∈ mi }).

ni y h es sobreyectiva, existe i ∈ I, α ∈ mi tal que

= h( i, α , pero entonces
∗ (i) = h( i, α )(i) = hi ( i, α ) ∈ ki { i, α : α ∈ mi },

contradiciendo la definici´n de . o

Por ultimo verificamos que el producto de cardinales finitos se com´ porta como lo deseamos. Teorema 5.35. Si m, n son naturales m ×c n = m · n ´ Demostracion. Por inducci´n o - m ×c 0 = 0 = m · 0 - Supongamos m ×c n = m · n. Entonces m ×c Sn = |m × (n ∪ {n})| = |m × n ∪ m × {n}| y como la uni´n es disjunta y m × {n} ∼ m, o m ×c Sn = m ×c n +c m = m·n+m = m · Sn . Corolario 5.36. El producto finito de cardinales finitos es finito.

140

3.3. Exponenciaci´n de Cardinales. Para terminar con esta o secci´n definiremos la operaci´n de exponenciaci´n de cardinales. Debeo o o mos tener presente que al igual que en el caso de las sumas y los productos, la exponenciaci´n cardinal difiere radicalmente de la exponeno ciaci´n ordinal. Sin embargo, diferencia de las otras dos operaciones, o no existe una buena manera de distinguir notacionalmente ambas exponenciaciones. Para no recargar a´n m´s una notaci´n de suyo algo u a o engorrosa, hemos optado por usar la misma notaci´n para las dos deo jando al contexto como indicador de cu´l de las dos exponenciaciones a se est´ usando. En general, como las letras g´ticas designan cardinales, a o no hay demasiada poibilidad de confusi´n. o ´ Definicion 5.7. Si m y n son cardinales, mn = |n m| Es decir la exponenciaci´n de m por n es la cardinalidad del conjunto o de todas las funciones de m en n . Por simplicidad notacional, cuando el exponente sea un ℵ no lo subrayaremos. Teorema 5.37. Dados dos conjuntos A y B , |A B| = |B||A| ´ Demostracion. Basta probar que A B ∼|A| |B|. Consideremos las biyecciones f y g como en el diagrama. A f↓
F (x)

−→

x

B ↑g

|A| −→ |B| Definimos F :
A

B −→ |A| |B| x −→ g ◦ x ◦ f

F es una biyecci´n porque f y g lo son. o Teorema 5.38. i) m0 = 1. ii) Si m = 0, entonces 0m = 0. iii) 1m = 1. iv) m1 = m. v) Xi∈I m = m|I| .
141

´ Demostracion. i) - iv) Son obvias. v) Basta notar que i∈I m = I m. Teorema 5.39. i) m ii) (Xi∈I mi )n = Xi∈I mni . ´ Demostracion. F :
S P
i∈I

ni

= Xi∈I mni .

i) Sea
i∈I {

i,α :α∈mi }

m −→

(ni m)
i∈I

f −→ F ◦ f donde F (f )(i) es la funci´n de ni en m definida por o F (f )(i)(α) = f ( i, α ). ii) Sea F :
n
i∈I

mi −→

(n mi )
i∈I

donde F (f )(i) es la funci´n de n en mi definida por o F (f )(i)(α) = f (α)(i) Tanto en i) como en ii) F es biyectiva. Teorema 5.40. (mn )p = mn×c p . ´ Demostracion. La funci´n o F : p (n m) −→ definida por F (f )( α, β ) = f (β)(α) es la biyecci´n requerida. o El siguiente teorema es bastante util. ´ Teorema 5.41. Para cualquier conjunto A , |P(A)| = 2|A|
142
n×c p

m

´ Demostracion. Asociamos a cada conjunto de A su funci´n caro acter´ ıstica: χ : P(A) −→ A 2 B −→ χB , χB (x) = Es claro que χ es biyectiva. 1 si x ∈ B, 0 si x ∈ B .

donde

Teorema 5.42. Sean 1 < m ≤ n dos cardinales y n > ℵ0 , entonces mn = 2n . ´ Demostracion. mn ≤ = = ≤ (2m )n 2m×c n 2n mn ,

en donde hemos usado el hecho de que la exponenciaci´n es creciente o (ver ejercicios) y dos teoremas anteriores. Luego mn = 2n . Ejercicios. 1. 2. 3. 4. 5. ¿D´nde usamos el axioma de elecci´n en el teorema 5.17? o o Probar que si m ≤ n, entonces m +c p ≤ n +c p. Probar que si m +c 1 = m, entonces m es infinito. Probar que si m es infinito, entonces ℵ0 +c m = m. Sea mi : i ∈ I una familia de cardinales que no contiene a su mayor elemento. Probar que para todo j ∈ I se tiene mj < i∈I mi . 6. Asumiendo que cada suma es de ℵ0 t´rminos, probar que: e (a) 1 +c 2 +c 3 +c · · · = ℵ0 . (b) n +c n +c n +c · · · = ℵ0 . (c) ℵ0 +c ℵ0 +c ℵ0 +c . . . = ℵ0 . 7. Probar que m ≤ n si y s´lo si existe p tal que m +c p = n. o 8. Probar que: (a) β≤α ℵβ = ℵα . (b) Si α es ordinal l´ ımite, entonces β∈α ℵβ = ℵα . (c) Si (αi )i∈I es una familia de ordinales, con i∈I αi ⊆ α, entonces ℵα = i∈I ℵαi si y s´lo si α = i∈I αi . o
143

9. Probar que si m ≤ n, entonces m ×c p ≤ n ×c p. 10. (a) Probar que si m ≤ n, entonces mp ≤ np . (b) Sea p = 0. Probar que si m < n, entonces pm ≤ pn . Probar tambi´n que si pm < pn , entonces m < n. e (c) M´s generalmente, demuestre que si m ≤ n con m = 0 a y p ≤ q, entonces mp ≤ nq . 11. Probar que si n ∈ ω y c = 2ℵ0 , entonces: (a) (n+c 2)ℵ0 = ℵℵ0 = n+c c = n×c c = cn = ℵ0 +c c = ℵ0 ×c c = 0 cℵ0 = c +c c = c ×c c = c2 = c. (b) (n +c 2)c = ℵc = cc = 2c . 0 (c) ℵ0 = c = 2c . 12. Probar que si I = ω − 1, entonces i∈I i = c. 13. Probar que {m : mℵ0 = m} es infinito. 14. Probar que si m +c n = p, entonces (r +c s)p ≥ rm ×c sn . 15. Si m ≥ ℵ0 y m ≤ n ×c p, probar que m ≤ n o m ≤ p. 16. Un cardinal infinito m se dice dominante si n < m y p < m implica np < m. Probar que m es dominante si y s´lo si p < m o p implica 2 < m. 17. Probar que si mi ≤ n para todo i ∈ I, con |I| ≤ n, entonces n i∈I mi ≤ n y i∈I mi ≤ 2 . ℵ0 18. Probar que ℵ0 ≤ 2 . 19. Probar que m2 = n2 implica m = n. 20. Probar que si mi = c, entonces i∈ω mi = c. |α| ımite, entonces 21. Probar que β≤α ℵβ = ℵα , y si α es ordinal l´ 22. 23. 24. 25. 26. 27. 28. ℵβ = ℵα . Si α y β son ordinales tales que |α| ≤ ℵγ y |β| ≤ ℵγ , entonces |α + β| ≤ ℵγ y |α · β| ≤ ℵγ . Si a es un subconjunto propio de ℵα , entonces |ℵα − a| = ℵα . ℵβ ℵ Probar que ℵα+1 = ℵαβ ×c ℵα+1 . ℵ Probar que si 2ℵβ ≥ ℵα , entonces ℵαβ = 2ℵβ . ℵβ Probar que si n ∈ ω, entonces ℵn = ℵn ×c 2ℵβ . Probar que n∈ω ℵn = ℵℵ0 . ω Probar que ℵℵ1 = ℵℵ0 ×c 2ℵ1 . ω ω
β∈α |α|

4. Cardinales Regulares y Singulares ´ Definicion 5.8. Decimos que el ordinal β es cofinal con el ordinal α si existe una funci´n estrictamente creciente f : β −→ α que no es o acotada en α . La cofinalidad de α es el menor ordinal cofinal con α y se le denota cof (α).
144

Obs´rvese que si α = β + 1 es un sucesor, la funci´n f : 1 −→ α e o tal que f (0) = β no es acotada en α , lo que prueba que la cofinalidad de un sucesor es siempre 1, por lo que este concepto tiene inter´s solo e para ordinales l´ ımite. El siguiente lema es consecuencia inmediata de la definici´n y puede ser usado como definici´n alternativa. o o Lema. Si β es cofinal con α , entonces existe una funci´n f : β −→ α o tal que f (γ) = α.
γ<β

´ Definicion 5.9. Un cardinal infinito se dice regular si es igual a su cofinalidad. En caso contrario diremos que el cardinal es singular. Ejemplos 1. ω es regular. 2. ℵω es singular ya que cof (ℵω ) = ℵ0 . 3. Mas generalmente, ℵα es singular si y s´lo si α es l´ o ımite. Esto lo demostraremos m´s adelante. a Teorema 5.43. Un cardinal m es regular si y s´lo si para todo o X ⊆ m, si |X| < m, entonces X < m. ´ Demostracion. Supongamos que m regular y sea X ⊆ m tal que |X| < m. Veremos que X = m. Para ello sea h : |X| −→ X una biyecci´n y definamos recursivamente f : |X| −→ m como sigue o f (β) = es decir, f asigna a β el menor elemento de X que sea mayor o igual que h(β) y que todos los valores asignados previamente por f . Es f´cil ver por inducci´n que f es creciente y como para todo a o β < |X|, h(β) < f (β), X⊆ Pero por hip´tesis y lemma o f (β) < m,
β<|X| β<|X|

{γ ∈ X : f ∗ β ⊆ γ and h(β) ≤ γ},

h(β) ≤

f (β).
β<|X|

que es lo que queriamos demostrar. Si m no es regular entonces cof (m) ⊆ m, |cof (m)| = cof (m) < m y cof (m) = m, es decir, X = cof (m) es un contraejemplo para la condici´n del teorema. o
145

Teorema 5.44.

Todo cardinal sucesor infinito es regular.

´ Demostracion. Consideremos el cardinal ℵα+1 y sea f : β −→ ℵα+1 una funci´n creciente donde β < ℵα+1 . o Para cada γ < β, f (γ) ≤ ℵα , luego | |≤ |f (γ)| ≤ ℵα = |β| ×c ℵα ≤ ℵα ×c ℵα = ℵα .

γ<β

γ<β

γ<β

Luego f es acotada en ℵα+1 y por lo tanto ning´n β menor que u ℵα+1 puede ser cofinal con ´l. Por lo tanto cof (ℵα+1 ) = ℵα+1 y ´ste es e e regular.

Ejercicios. ¿Cu´l es la cofinalidad de ω + ω, ω · ω, ω ω ? a Demuestre que cof (α) es un cardinal. Demuestre que cof (cof (α)) = cof (α). Si m es un cardinal, cof (m) = m. Demuestre que la funci´n f definida en el teorema 5.43 es efeco tivamente creciente. 6. Demuestre que cof (m) es el menor cardinal n tal que existe una partici´n de m en n conjuntos cada uno de los cuales tiene o cardinalidad estrictamente menor que m. 1. 2. 3. 4. 5. 5. La Hip´tesis del Continuo o Por el teorema de Cantor 5.9 sabemos que ℵ0 < 2ℵ0 , es decir, el conjunto de todos los subconjuntos de ω tiene mayor cardinalidad que ω . Sin embargo no sabemos si existe alg´n otro cardinal entre ℵ0 u y 2ℵ0 . La afirmaci´n de que este no es el caso recibe el nombre de o Hip´tesis del Continuo (HC), es decir o 2ℵ0 = ℵ1 .

Tal nombre se debe a que, como sabemos, el conjunto R de los n´meros reales, o continuo, es equinumeroso con el conjunto potencia u de ω . En otras palabras, HC dice que el segundo cardinal infinito es la cardinalidad de los n´meros reales. Como corolario se obtiene u que todo subconjunto no enumerable de n´meros reales tiene la misma u cardinalidad.
146

En la d´cada del 30, K. G¨del demostr´ que HC es compatible con e o o ZFC, es decir, que si existe un modelo de ZFC, entonces existe un modelo en el cual HC tambi´n es v´lido. En otras palabras, es imposible e a demostrar a partir de ZFCque HC es falsa. En la d´cada del 60, P. e Cohen demostr´ que HC tampoco es demostrable a partir de ZFC. o Estos dos resultados conjuntamente implican que HC es independiente de ZFCy que tanto ella como su negaci´n pueden ser agregadas como o nuevo axioma de la teor´ obteni´ndose resultados muy distintos. ıa e La Hip´tesis Generalizada del Continuo (HGC) es la afirmaci´n o o 2ℵα = ℵα+1 .

Los resultados de G¨del y Cohen tambi´n se aplican a HGC. o e Es interesante tambi´n notar que con posterioridad a los trabae jos de Cohen, se ha demostrado que es consistente con ZFCque 2ℵ0 = ℵ1 , ℵ2 , . . . , pero como veremos a continuaci´n, no puede tomar cualquier o valor. Lema. ℵω < ℵℵ0 . ω ´ Demostracion. Como sabemos, ℵω = dad de Zermelo 5.34, como ℵm < ℵω , ℵω <
m∈ω n∈ω

ℵm . Por la desigual-

= ℵℵ0 . ω

Corolario 5.45. 2ℵ0 = ℵω . ´ Demostracion. Si 2ℵ0 = ℵω , entonces 2ℵ0 < (2ℵ0 )ℵ0 = 2ℵ0 ×c ℵ0 = ℵ0 ,

una contradicci´n. o

Suponiendo HGC resulta bastante f´cil calcular las exponenciales a de cardinales. Teorema 5.46. Si n es un cardinal infinito, entonces ncof (n) > n.
147

´ Demostracion. Sea F : cof (n) −→ n be such that α<cof (n) F (α) = n. Entonces n=
α<cof (n)

F (α) ≤

α<cof (n)

|F (α)| <

n = ncof (n) .
α<cof (n)

Teorema 5.47. Sean m que HGC es v´lida. Entonces a   m n m+ m =  n+ m ≤ = |n m|
n

y n dos cardinales infinitos y suponga

si si si

n < cof (m), cof (m) ≤ n ≤ m, m<n.

´ Demostracion. (i) Supongamos que n < cof (m). Sea f ∈n m entonces f es acotada en n , luego f ∈n α, para alg´n α ∈ m. luego u ≤ | ≤ ≤ ≤ ≤ α|
α<m

α<m

|α|n

α<m

(|α| ∪ n)|α|∪n (|α| ∪ n)+ , por 5.42 y HGC,

α<m

α<m

m = m ×c m = m

(ii) Si cof (m) ≤ n ≤ m,

por lo tanto mcof (m) = m+ . (iii) Es consecuencia directa de 5.42 y HGC.

m < mcof (m) ≤ mn = m+ ,

Ejercicios. 1. Demuestre que HGC es equivalente con mcof (m) = m+ , para todo m infinito.
148

2. (Hausdorff) Demuestre que 3. Demuestre que dados dos cardinales m y n, m > 2 y n > ℵ0 , se tiene cof (mn ) > n. Concluya que 2ℵ0 = ℵω .
β ℵα+1 = ℵαβ ×c ℵα+1 .

149

150

Bibliograf´ ıa
[1] Chuaqui, R. B. Aximatic Set Theory. Impredicative Theories of Classes. North– Holland, 1981. [2] Di Prisco, C. A. Una Introducci´n a la Teor´ de Conjuntos y los Fundamentos o ıa de las Matem´ticas. IVIC., Venezuela, 1996. Notas de Clase. a [3] Enderton, H. B. Introduction to Set Theory. Academic Press, 1977. [4] Hrbacek, K. y Jech, T. Introduction to Set Theoru. Marcel Dekker, 1984. [5] Kunen, K. Set Theory, an Introduction to independence proofs. North-Holland, 1980. [6] Kuratowski, K. y Mostowski, A. Set Theory, with an introduction to descriptive set theory. North–Holland, 1976. [7] Monk, J. D. Introduction to Set Theory, Mac Graw-Hill, New York, 1969. [8] Moore, G. H. Zermelo’s Axiom of Choice. Its origins, Development, and influence. Springer–Verlag, 1982.

151

152

Glosario
clase propia 6 pertenencia 8 Axioma de Extensionalidad 9 subconjunto 9 Axioma del Conjunto Vac´ 9 ıo conjunto vac´ 10 ıo ∅ 10 Axioma de Separaci´n 10 o Axioma de Pares 11 par no-ordenado 11 singleton 11 Axioma de Uniones 11 uni´n 11 o intersecci´n 12 o conjuntos disjuntos 12 Axioma del Conjunto Potencia 13 conjunto potencia 13 Axioma de Regularidad 13 Axioma del Conjunto Infinito 14 funci´n proposicional 14 o Axioma de Reemplazo 14 complemento relativo 17 diferencia de conjuntos 17 complemento 18 par ordenado 23 producto cartesiano 24 relaci´n 24 o dominio de una relaci´n 24 o recorrido de una relaci´n 24 o campo de una relaci´n 25 o composici´n de relaciones 25 o inversa de una relaci´n 25 o imagen de un conjunto por una relaci´n o 27 funci´n 30 o dominio de una funci´n 30 o recorrido de una funci´n 30 o campo de una funci´n 30 o composici´n de funciones 30 o
153

funci´n inversa 30 o imagen de un conjunto por una funci´n o 30 funci´n de a en b 31 o funci´n inyectiva 31 o funci´n uno a uno 31 o funci´n sobreyectiva 31 o funci´n identidad 33 o restricci´n de una funci´n 33 o o relaci´n reflexiva 40 o relaci´n sim´trica 40 o e relaci´n transitiva 40 o relaci´n de equivalencia 40 o clase de equivalencia 41 partici´n 42 o partici´n asociada a una relaci´n de o o equivalencia 42 relaci´n asociada a una partici´n 42 o o relaci´n antisim´trica 44 o e relaci´n conexa 45 o orden parcial 45 orden total 45 relaci´n asim´trica 46 o e orden estricto 46 relaciones isomorfas 46 isomorfismo de orden 46 preorden 47 cota superior 48 cota inferior 48 supremo 48 ´ ınfimo 48 elemento minimal 48 elemento maximal 48 relaci´n bien fundada 49 o buen orden 49 sucesor 57 conjunto Inductivo 58 n´meros naturales 58 u Principio de Inducci´n 58 o

Principio de Inducci´n Completa 61 o ∈–transitivo 64 ordinal 64 Principio de Inducci´n Transfinita 70 o ordinal sucesor 70 ordinal 70 clausura transitiva 75 funci´n no–decreciente 75 o funci´n estrictamente creciente 75 o funci´n continua 75 o funci´n normal 75 o jerarqu´ acumulativa 101 ıa universo de von Neumann 101 funci´n de elecci´n 105 o o equinumerosos 117 cardinal 117 cardinalidad 119 cardinal de un conjunto 119 Teorema de Cantor, Schroeder y Bernstein 119 Teorema de Cantor 122 ℵ 123 conjunto finito 125 conjunto infinito 126 conjunto enumerable 126 suma cardinal 129 Teorema de Zermelo 139 cofinal 144 cofinalidad 144 Hip´tesis del Continuo 146 o Hip´tesis Generalizada del Continuo o 147

154

Sign up to vote on this title
UsefulNot useful