TEORIA AXIOMATICA DE CONJUNTOS Versi on Preliminar Renato A.

Lewin
Author address: lica de Chile, Facultad de Pontificia Universidad Cato ticas, Casilla 306 - Correo 22, Santiago CHILE. Matema e-mail: rlewin@mat.puc.cl

Indice
CAPITULO 1. Introducci on. Los Axiomas de Zermelo Fraenkel 1. El Lenguaje Formalizado L 2. Los Axiomas de la Teor a ZF . Conceptos Fundamentales CAPITULO 2. Teor a Elemental 1. Operaciones 2. Relaciones 3. Funciones 4. Relaciones de Equivalencia 5. Relaciones de Orden CAPITULO 3. Ordinales 1. N umeros Naturales 2. Ordinales 3. Inducci on Transnita 4. Recursi on 5. Funciones Normales 6. Ordinales y Buenos Ordenes 7. Aritm etica Ordinal 8. La Jerarqu a Acumulativa de Conjuntos CAPITULO 4. El Axioma de Elecci on 1. Equivalencias del Axioma de Elecci on 2. Aplicaciones CAPITULO 5. Cardinales 1. Deniciones y Resultados B asicos 2. Conjuntos Finitos y Conjuntos Innitos 3. Aritm etica Cardinal 4. Cardinales Regulares y Singulares 5. La Hip otesis del Continuo 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

CAPITULO 1

Introducci on. Los Axiomas de Zermelo Fraenkel

Este libro trata sobre los conjuntos. Intuitivamente un conjunto es una colecci on (clase, agregado, conglomerado, etc.) de objetos, los que pertenecen a (forman parte de, son los elementos de, etc.) el conjunto. En toda teor a axiom atica debemos partir de t erminos que no podemos denir 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 a de Conjuntos. Todas nuestras intuiciones descansan sobre la idea intuitiva que tengamos sobre estos conceptos primitivos, sin embargo, para el desarrollo de la teor a no es necesario contar con estas intuiciones. Una teor a axiom atica es un modelo formal de una realidad que queremos estudiar. Est a compuesta por axiomas, o sea, oraciones a partir de las cuales, usando s olo reglas l ogicas, podamos obtener todas 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 a en primer lugar que los axiomas modelaran las intuiciones que tenemos de la realidad y en segundo lugar que la lista fuera completa, es decir, que todas y s olo aquellas propiedades de los objetos a describir se puedan obtener a partir de nuestra lista. Diversas teor as axiom aticas de conjuntos han logrado en mayor o menor grado el segundo de estos objetivos. El primero en cambio, obtener todas las propiedades de los conjuntos a partir de un sistema de axiomas, no se ha logrado. El motivo de esto es muy sencillo: no se puede. En efecto, los resultados obtenidos por el l ogico Kurt G odel alrededor de 1930, demuestran que es imposible dar una axiomatizaci on completa de la Teor a de Conjuntos. Lo mismo es cierto de otras teor as matem aticas como la teor a de n umeros. Lo anterior parece condenar nuestro proyecto al fracaso, sin embargo esto no es as , s olo nos advierte que el ideal es imposible. De hecho numerosos matem aticos han logrado establecer teor as axiom aticas que, si bien no completas, son sucientes para construir en ellas casi toda la matem atica. Estudiaremos una de ellas en estas p aginas, a saber, la teor a de ZermeloFraenckel, ZF , desarrollada a partir del
5

trabajo de E. Zermelo el primero en proponer una teor a en los primeros a nos de este siglo. Un conjunto est a denido por los objetos que contiene. Nuestra intuici on nos dice que a cada conjunto corresponde una propiedad, es decir, aquello que caracteriza a sus elementos, por ejemplo al conjunto formado por los n umeros 1, 2, . . . , 99, le corresponde la propiedad ser n umero entero mayor que cero y menor que cien. A la inversa, a toda propiedad le debe corresponder un conjunto, la colecci on de todos los objetos que verican dicha propiedad. Temprano en el desarrollo de la teor a de conjuntos se descubri o que esta intuici on conduc a a contradicciones y que deb a descartarse. A nes del siglo pasado, el matem atico ingl es Bertrand Russell di o con la siguiente paradoja. Consideremos el conjunto R denido por la propiedad un objeto pertenece al conjunto R si y s olo si no pertenece 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 armativa, entonces R verica la propiedad que dene a R, o sea, R R. Si la respuesta es negativa, entonces, por denici on, R R. En cualquier caso obtenemos la contradicci on RRRR. La paradoja de Russell (y otras) nos dice que el concepto de propiedades m as delicado de lo que suponemos y que denitivamente no 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 on de que a cada propiedad deber a corresponder la colecci on de objetos que la verican o extensi onde la propiedad, tiene fuerte arraigo en nuestra intuici on. Algunos matem aticos no han querido deshacerse de ella y han elaborado teor as bastante complejas, que incluyen dos tipos de objetos, conjuntos y clases propias. Deciamos antes que lo que caracteriza a los conjuntos es sus elementos y por ende para poder armar que algo es un conjunto, es preciso ser capaz de determinar exactamente cuales son los elementos de dicho conjunto. Las clases son las extensiones de propiedades. Si esta pertenece a otra clase, entonces decimos que es un conjunto, si no, hablamos de
Supondremos que el lector est a familiarizado con la terminolog a y simbolog a conjuntista pero lo prevenimos de que estos tendr an un sentido muy preciso en nuestra teor a y el que, a veces, diere del popularizado en la ense nanza b asica y 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 u ltimas son la clase R denida anteriormente o la clase V formada por todos los conjuntos (o clase universal). En nuestra teor a, ZF , no existen las clases propias, s olo conjuntos. Esto implica que, por ejemplo, no podemos hablar de la clase R. Sin embargo, la situaci on no es tan mala como parece. Si bien no podemos hablar de R, nada nos impide hablar de la propiedad x x. As , aunque no podemos armar a R (porque R no existe dentro de la teor a), podemos perfectamente decir a a que signica lo mismo. En otras palabras, si queremos hablar de una clase propia, en ZF debemos hacerlo mediante la propiedad que la dene. La noci on de propiedad no la hemos denido pero de lo anterior se desprende que es central en nuestro estudio. Vamos a continuaci on a denir este concepto. Como dijimos, una teor a axiom atica se desarrolla a partir de ciertos enunciados o axiomas mediante la aplicaci on de reglas l ogicas. Por ello, es fundamental que el lenguaje usado sea lo m as preciso posible. Esto se logra mediante la formalizaci on del lenguaje. S olo aquellas expresiones escritas en este ser an aceptables en nuestra teor a y representaran propiedades. No es el prop osito de este texto introducir al lector a la L ogica Matem atica. Tampoco suponemos que este sepa l ogica m as all a de los conocimientos que se aprende en un curso universitario de Introducci on al Algebra o similar. Cierta madurez matem atica es desde luego necesaria para mantener la uidez 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 a constituido por un conjunto de s mbolos b asicos y por reglas que nos permiten formar expresiones m as complicadas a partir de esos s mbolos originales. Los s mbolos de L ser an: 1. Variables: x, y, z, X, Y, Z, x1 , x2 , . . . , en general, las u ltimas letras del alfabeto latino, min usculas o may usculas, con o sin sub ndices. Su signicado es el habitual en matem aticas y su rango son los conjuntos. 2. Constantes: a, b, c, A, B, C, . . . , en general, las primeras letras del alfabeto latino. Sirven para referirnos a conjuntos espec cos.
7

3. S mbolo de pertenencia: 4. S mbolo de igualdad: = 5. Conectivos l ogicos: , , , , , es decir, los s mbolos habituales para la negaci on, disyunci on, conjunci on, implicaci on y equivalencia. 6. Cuanticadores: , , con su signicado habitual. 7. Par entesis: ( , ). Usados como signos de puntuaci on. Cualquier cadena nita formada por estos s mbolos es una expresi on del lenguaje, pero no toda expresi on es aceptable o signicativa. S olo aceptaremos aquellas a las que llamaremos f ormulas de L. Una f ormula de L es una expresi on de L construida como sigue: 1. X Y, X = Y son f ormulas de L para cualquiera dos variables o constantes X e Y no necesariamente distintas. La primera se lee X pertenece a Y o bien Y contiene a X y la segunda X es igual a Y . Su signicado intuitivo es el obvio. Estas se llamar an f ormulas at omicas. 2. Si y son f ormulas de L , entonces tambi en lo son ( ), ( ), ( ), ( ). Estas f ormulas corresponden respectivamente a la disyunci on, conjunci on, implicaci on y equivalencia de y . 3. Si es una f ormula de L , entonces tambi en es una f ormula de L . La f ormula corresponde a la negaci on de . Tambi en usaremos los s mbolos auxiliares X / Y y X = Y para escribir (X Y ) y (X = Y ), respectivamente. 4. Si es una f ormula de L y x es una variable, x, x son f ormulas de L . Estas se leen cualquier conjunto x verica y existe (por lo menos) un conjunto x que verica , respectivamente. Su signicado es tambi en evidente.

Solamente aquellas expresiones obtenidas por la aplicaci on de (un n umero nito de) estas reglas es una f ormula de L . Si es una f ormula de L y x una variable que aparece en , decimos que x aparece ligada en si su aparici on se produce bajo la inuencia de un cuanticador 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 ormula que no contiene variables libres se llama una oraci on. Una oraci on de L es siempre verdadera o falsa (pero puede ser que no
8

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

X x x X. Observemos que, en particular, este axioma garantiza que existe al menos un conjunto. Lema 1.1. Existe un u nico conjunto que no contiene ning un elemento. n. Supongamos que existen dos conjuntos distintos Demostracio a y b ambos sin elementos. Por A1 x((x a x b) (x b x a)), una contradicci on. Luego hay un u nico conjunto vac o. n 1.2. El ( Definicio unico) conjunto que no tiene elementos se llama el conjunto vac o y se le denota . Obs ervese que el s mbolo no es la letra griega . A3. Axioma de Separaci on: Si (x) es una f ormula de L y X es un conjunto, entonces existe un conjunto Y cuyos elementos son aquellos elementos de X que verican (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 verican esa propiedad. Obviamente este conjunto es u nico. n 1.3. Si (x) es una f Definicio ormula de L y A un conjunto, el conjunto cuya existencia est a garantizada por A3 se denotar a con el 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 verican una propiedad cualquiera (x). Este axioma limita nuestra capacidad de formar conjuntos de objetos que verican una cierta propiedad, s olo podemos referirnos a aquellos elementos que perteneciendo a un cierto conjunto dado, verican la propiedad en cuesti on. Veamos que esta restricci on 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 RA y R R, lo cual es una contradicci on, luego R / R, lo que, a diferencia de antes, no es contradictorio, s olo implica que R / A. Teorema 1.2. No existe el conjunto de todos los conjuntos. n. Supongamos que si existe y llamemoslo V . EnDemostracio tonces en virtud de A3 podemos construir el conjunto de Russell R = {x V : x x}, contradicci on. Por u ltimo, cabe destacar que este no es propiamente un axioma sino m as bien un esquema. En efecto, para cada f ormula (x) de L tenemos un axioma distinto, o sea, hay una cantidad ilimitada de instancias de este axioma. A4. Axioma de Pares: Dados dos conjuntos X e Y , existe un conjunto cuyos u nicos elementos son X e Y . Su expresi on en L es X Y Z x(x Z (x = X x = Y )). Resulta claro por A1 que este conjunto es u nico. Lo denotamos {X, Y }. y lo llamamos el par noordenado X, Y . El axioma A1 tambi en garantiza la existencia del conjunto cuyo u nico elemento es el conjunto X {X, X } = {X }, el que a menudo recibe el nombre de singleton X . A5. Axioma de Uniones: Si X es un conjunto, entonces existe un conjunto cuyos elementos son los elementos de los elementos de X . En L escribimos X Y z (z Y u(z u u X )). Nuevamente por A1, este conjunto es u nico, se llama la uni on de X y se le denota X.
11

Un caso particular que merece una notaci on especial es el siguiente. 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 on de X e Y y se le denota X Y . Corresponde al conjunto de todos los conjuntos que pertenecen ya sea a X o a Y (o a ambos). M as generalmente, dados los conjuntos X1 , X2 , . . . , Xn de manera an aloga al caso de la uni on de dos conjuntos, denimos X1 X2 Xn = de tal manera que El lector seguramente est a familiarizado con el concepto de uni on de dos o de una cantidad nita de conjuntos, el axioma A5 generaliza este concepto a la uni on de una familia arbitraria, incluso innita, de conjuntos. Observemos que para denir la uni on de dos conjuntos son necesarios el Axioma de Pares, el Axioma de Uniones y el Axioma de Extensionalidad (para garantizar unicidad). Usando la denici on de uni on de dos conjuntos, podemos tambi en denir triples noordenados y, en general, iterando el proceso, podemos denir ntuplas noordenadas {x1 , x2 , . . . , xn }. Otra generalizaci on de un concepto familiar es el de intersecci on de un conjunto novac o X , en s mbolos, X , denida 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 e debemos exijir que X sea novac o? La intersecci on de dos conjuntos X e Y , X Y , se dene por X Y = y en general X1 X2 Xn = {X1 , . . . , Xn }. {X, Y }

En rigor, para denir x y no necesitamos A5. C omo podr amos hacerlo? Diremos tambi en que dos conjuntos X e Y son disjuntos si X Y = .
12

A6. Axioma del Conjunto Potencia: Si X es un conjunto, entonces existe el conjunto de todos los subconjuntos de X . Esto es X Y z (z Y z X )) (En rigor deberiamos excribir X Y z (z Y u(u z u X )) sin embargo, como la lectura de la f ormula se complica bastante y ya sabemos c omo denir usando s olo y los s mbolos l ogicos, preferimos la escritura abreviada). Creemos que este axioma se explica por s mismo. El ( unico) conjunto cuya existencia garantiza este axioma se designa por P X y se llama el conjunto potencia de X . A7 Axioma de Regularidad: Todo conjunto no vac o contiene un elemento con el que no comparte ning un elemento. En L escribimos x(x = y (y x y x = )). A pesar de que no resulta evidente a partir de su formulaci on, este axioma impide la existencia de un conjunto a tal que a a o incluso a b a , o a c b a , etc. Como veremos en su oportunidad, intuitivamente este axioma dice que , considerada como una relaci on entre conjuntos,verica una condici on an aloga a la del orden de los n umeros naturales, esta es, que todo conjunto no vac o tiene un menor 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 . n. Demostracio i) Supongamos que existe a tal que a a , entonces A = {a} contradice a A7. ii) Idem i) con A = {x, y } iii) Idem i) con A = {a1 , a2 , . . . , an }. iv) Supongamos que existe el conjunto cuyos elementos son precisamente a1 , a2 , a3 , . . . . Llamemoslo A . Entonces A contradice a
13

A7 ya que para cualquier y A, digamos y = am para alg un m , am+1 am y am+1 X , o sea y X = . El problema entonces se reduce a vericar que existe tal conjunto A . Sin embargo para poder hacerlo no bastan los axiomas que tenemos hasta ahora, necesitamos dos axiomas m as. La demostraci on deber a posponerse hasta entonces. (Ver ejercicio 7.) Aunque la mayor parte de las matem aticas puede desarrollarse sin el axioma de regularidad es m as c omodo contar con el. A8. Axioma del Conjunto Innito: Existe un conjunto que tiene innitos elementos. Para escribirlo en el lenguaje L debemos usar una expresi on que no es muy transparente. X ( X y (y X y {y } X ). Es claro que el conjunto as formado es intuitivamente innito, basta vericar que contiene a los siguientes conjuntos , {}, {, {}}, {, {}, {, {}}}, . . . por supuesto que habr a que demostrar adem as que todos estos conjuntos son distintos. Para introducir el u ltimo axioma de ZF , debemos estudiar antes un cierto tipo de f ormula de L . Una f ormula (x, y ) de L con dos variables libres x e y se dir a funci on proposicional si para todo conjunto a existe un u nico conjunto b tal que (a, b) se verica. Ejemplos de estas son las f ormulas (x, y ) siguientes: y y y y = = = = x, P x, x {x}, x a,

donde a es un conjunto jo, etc. A9. Axioma de Reemplazo: Si (x, y ) es una funci on proposicional y A es un conjunto, entonces existe el conjunto de los elementos b que verican (a, b) para alg un a A. Expresado en L , tenemos X Y y (y Y x(x X (x, y ))).
14

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

G odel en 1930) que no puede completarse, es decir, aunque agreguemos una lista de innitos axiomas a ZF , seguir a siendo incompleto, es decir, siempre existir a una f ormula tal que ni ni puede demostrarse a partir de esa lista. Todos estos problemas requieren de conocimientos de L ogica Matem atica y est an fuera del alcance de esta obra. Nos parece interesante eso s mencionarlos para que el lector investigue por su cuenta. Ejercicios. 1. Demuestre que el axioma de pares puede ser reemplazado por el axioma m as d ebil: 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 as d ebil: 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 as d ebil: 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 o a partir de de los otros axiomas y el nuevo axioma Existe un conjunto innito. 6. Indique c omo denir x y sin usar el axioma A5. 7. Use el axioma de reemplazo y el de conjunto innito para demostrar que el conjunto A denido en la demostraci on del teorema 1.3 existe.

16

CAPITULO 2

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

Teorema 2.1. No existe el complemento, de ning un conjunto. n. Sea a un conjunto. Si existiera su complemento Demostracio llam emoslo a , entonces en virtud de A5, a a ser a un conjunto, 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 ab=ba , ab=ba. iii) Idempotencia aa=a , aa=a. iv) Absorci on a (a b) = a , a (a b) = a . v) Neutro a=a , a=. vi) Distributividad a (b c) = (a b) (a c) , a (b c) = (a b) (a c) . vii) Leyes de De Morgan a (b c) = (a b) (a c) , a (b c) = (a b) (a c) . viii) a a = ix) a = (a b) (a b) n. Ejercicio Demostracio La relaci on a b se relaciona con las otras operaciones como sigue. Teorema 2.3. Para todo conjunto a, b, c, d. i) a b a y a b b. ii) Si c a y c b, entonces c a b. iii) a b si y s olo si a b = a.
18

iv) v) vi) vii) viii)

Si a c y b d, entonces a b c d. a a b y b a b. Si a c y b c, entonces a b c. a b si y s olo si a b = b. Si a c y b d, entonces a b c d.

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

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. Denamos 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 olo los s mbolos { , }, y,. (c) Decidir si son ciertas o falsas las armaciones 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. Simplique. , P , , PP , , PPP. (e) Si a = {{2, 3}, 4, {4}} , encontrar ( a 4) . (f) Construir (P 2 2) . (g) Si a = {{1, 2}, {2, 0}, {1, 3}} , construir: a, a, a, a, a, a. 6. Dar contraejemplo de P (a b) = P a P b . 7. Probar que: (a) Pa = a . (b) a P a . (c) No es cierto que si a b, entonces P a P b . (d) Si a b, entonces P a PP a . (e) {P x : x a} P a. (f) {, {}} PPP a , para todo conjunto a . (g) Si P a = P b, entonces a = b . 8. Se dene a + b = (a b) (b a) , para a y b conjuntos. Probar que si a, b , c son conjuntos, entonces: (a) a + = a (b) a + a =
20

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

a + (b + c) = (a + b) + c a (b + c) = (a b) + (a c) aba+b a = b si y s olo si a + b = Si a + c = b + c , entonces a = b a c = b c si y s olo si a + b c (a c) + (b c) = (a + b) c a = {x Z : x es divisible por 4} b = {x Z : x es divisible por 9} c = {x Z : x es divisible por 10}

(a) Describir a b c . (b) Sean n , m Z. Si d = {x Z : x es divisible por n} e = {x Z : x es divisible por m}, describa d e . Qu e pasa si m y n son n umeros primos? Qu e pasa si m = n ? 10. Probar que si a, b , c son conjuntos, entonces (a b) c = a (b c) si y s olo si c a. 11. Para las siguientes oraciones, dar una demostraci on o un contraejemplo: (a) (a b) c = a (b c) . (b) Si a b = a c , entonces b = c . (c) Si a b = a c y a b = a c , entonces b = c . (d) a b = (a b) b = a (a b) . (e) a b = a (a b) . (f) a (b c) = (a b) (a c) . (g) a b = b a . (h) a (a b) = (a b) . (i) (a b) b = a b . (j) (a b) b = . (k) (a b) b = . 12. Probar que la inclusi on de conjuntos cumple: (a) a a ( reexividad ); (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 olo si (a c) (a b). 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 olo si b c = (b) b c si y s olo si b c = (c) b c si y s olo si b c = a (d) b c si y s olo si b c b (e) b c si y s olo si b c c (f) b c si y s olo si b c d d 16. Probar o dar contraejemplo de: (a) a b c si y s olo si a b y a c (b) b c a si y s olo si b a y c a (c) Si a b c , entonces a b o ac (d) Si b c a , entonces b a o ca 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=
xa

(d) x=
xa

(e) a( (f) Si d = , entonces a b=

c b

b) =
c b

(a c)

(a c).

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

2. Relaciones Vamos ahora a introducir algunos conceptos matem aticos familiares, como par ordenado, relaci on, funci on, etc. Debemos tener especial cuidado de que estos sean conjuntos en virtud de alg un axioma de ZF . Por otra parte, tambi en queremos que estos conjuntos se comporten como los objetos con que trabaja el matem atico a quien no preocupan los problemas de fundamento. n 2.2. Dados dos conjuntos a y b llamamos par ordenado Definicio a, b al siguiente conjunto. 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 justicarlo, 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 e?). En cambio, los elementos del par ordenado a, b si y s olo si son distinguibles, es decir, si y s olo si sabemos cu al es el primero y cu al es el segundo. Este es el contenido del pr oximo teorema. Teorema 2.5. Si a, b = c, d , entonces a = c y b = d.

n. Supongamos que a, b = c, d , Demostracio esto es, Si a = b, tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} = {c, d}, o sea a = b = c = d. (Qu e axiomas hemos usado?). 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 on, o sea, este segundo caso no se puede dar. Por lo tanto, si a, b = c, d , entonces a = c y b = d. Podemos ahora denir 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 , . . . , an1 , an .
23

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

Lema 2.6. Si a A y b A, n. Ejercicio. Demostracio

a, b PP A.

n 2.3. Llamaremos producto cartesiano de los conjuntos Definicio a y b al conjunto a b = {z PP (a b) : xy (x a y b z = x, y )}. Notemos que por el axioma de especicaci on de clases y el axioma del conjunto potencia, a b es un conjunto. Usaremos en general una notaci on informal aunque m as intuitiva a b = { x, y : x a x b}. Podemos tambi en introducir productos cartesianos triples y cuadruples 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 an resumidas 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 n. Ejercicio. Demostracio n 2.4. Un conjunto R es una relaci Definicio on si todos sus elementos son pares ordenados. Denimos tambi en el dominio de R 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 on entre A y B o una relaci on de A en B .
24

R : y x, y R}, R : x x, y R}

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

a, b {a, b} a, b

n 2.5. La composici Definicio on de dos relaciones R y S es la relaci on S R = {u Dom R Rec S : u = x, y z ( x, z R z, y S )} y la relaci on inversa de R R1 = {u Rec R Dom S : u = x, y y, x R}. En general escribimos m as informalmente S R = { x, y : z ( x, z R z, y S )} y Es claro que S R y R1 son conjuntos. R1 = { 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) (R1 )1 = R. vi) (S R)1 = R1 S 1 . n. iii) Sea x, y (S T ) R, entonces existe Demostracio 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 as, x, z T y z, y R, o sea, x, y T R, o sea, (S T ) R (S R) (T R). Para ver que la inclusi on anterior no es una identidad basta dar un ejemplo en el que la inclusi on inversa es falsa. Consid erese 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 R1 , o sea, x, y R1 S 1 , luego (S R)1 R1 S 1 La inclusi on inversa se demuestra en forma an aloga y se deja como ejercicio. El pr oximo teorema nos da las principales propiedades del dominio y del recorrido de una relaci on. Teorema 2.9. Sean R , S relaciones. i) Dom (R S ) = Dom R DomS . ii) Rec (R S ) = Rec R Rec S . iii) Dom (R S ) Dom R DomS . iv) Rec (R S ) Rec R Rec S . v) DomR DomS Dom(R S ). vi) Rec R Rec S Rec(R S ). vii) Si R S , entonces Dom R Dom S y Rec R Rec S . viii) Dom R1 = Rec R y Rec R1 = Dom R. ix) Dom S R Dom R y Rec S R Rec S . vii) Cam R = Cam R1 . viii) Cam (S R) Dom R Rec S . n. Ejercicio. Demostracio La siguiente operaci on ser a muy importante especialmente cuando tratemos con funciones.
26

 n 2.6. Si R es una relaci Definicio on y a un conjunto la imagen de a por R es el conjunto. R a = {y Rec R : x(x a x, y R)}. Las principales propiedades de teorema.

est an resumidas en el siguiente

Teorema 2.10. Sean R , S relaciones y a y b conjuntos. i) ii) iii) iv) v) vi) vii) viii) ix) a = . R = . R (a b) = R a R b. R (a b) R a R b. R a R b R (a b). Si a b, entonces R a R b. (S R) a = S (R a). Dom(S R) = R1 (DomS ) y Rec(S R) = S (Rec R). R a Rec R. 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

n. Demostracio x R (a b)

Es decir R (a b) R a R b. Para ver que la inclusi on contraria no es v alida basta el siguiente 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 R1 z Dom S ) x R1 (Dom S ).

Esto demuestra que Dom(S R) R1 (Dom S ), la otra inclusi on y el resto del teorema se deja como ejercicio.
27

Ejercicios. 1. Probar que si denimos a, b = {{a, 0}, {b, 1}}, entonces se satisface: a, b = c, d si y s olo si a = c y b = d .

2. Sean a, b, c conjuntos. Denimos 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 olo si a = o b = 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 olo si a = b y c = d . Si a, b son conjuntos, probar que existe un conjunto c tal que y c si y s olo si existe un conjunto d que satisfaga que d a e y = {d} b . Concluir que a b = c . (a) Encontrar todas las relaciones cuyo dominio est a contenido en {a, b, c} y cuyo recorrido esta contenido en {s} . (b) Encontrar todas las relaciones en 2 y en 3 (ver denici on de 2 y de 3 en ejercicios de la secci on anterior).
28

4. 5. 6. 7.

8.

9.

(c) Cu antas relaciones se pueden formar en un conjunto de n elementos? 10. Probar que existe una relaci on I que act ua como neutro para la composici on de relaciones sobre un conjunto a , es decir, para cualquier relaci on R sobre a 11. Probar que si R, S , T son relaciones y a, b, c conjuntos, entonces: (a) S T y S T son relaciones . (b) (S T )1 = S 1 T 1 . (c) (S T )1 = S 1 T 1 . (d) (R S )1 = R1 S 1 . (e) (R S ) (R T ) R (S T ) . (f) R S si y s olo si S 1 R1 . 1 (g) (a b) = 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 o, entonces (b c) (a b) = a c . (k) Si R a b y S b c , entonces S R a c . 12. Probar que es relaci on y que para todo conjunto a se tiene que a = a = . 13. Se dene 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 ales de las siguientes leyes distributivas son v alidas para la suma de relaciones: R + (S T ) R + (S T ) R (S + T ) R (S + T ) = = = = (R + S ) (R + T ) (R + S ) (R + T ) (R S ) + (R T ) (R S ) + (R T ) R + S = (R S ) (Cam R) (Cam S ) . R I = I R = R.

14. Encontrar contraejemplos para las siguientes armaciones: (a) Dom (R S ) = Dom R Dom S . (b) Rec (R S ) = Rec R Rec S . (c) Dom R Dom S = Dom (R S ) . (d) Rec R Rec S = Rec (R S ) . (e) Cam (S R) = Dom R Rec S . (f) R (a b) = R a R b . (g) R a R b = R (a b) .
29

15.

16.

17. 18. 19. 20.

(h) R a = Rec R . (i) ( R1 ) ( R a ) = a . (j) R ( ( R1 ) b ) = b . Probar las siguientes armaciones: (a) ( R1 ) (a b) ( R1 ) a ( R1 ) b . (b) ( R1 ) (a b) ( R1 ) a ( R1 ) b . (c) ( R1 ) a ( R1 ) b ( R1 ) (a b) . (d) a ( R1 ) ( R a ) . (e) b R ( ( R1 ) b ) . (f) Si R a b , entonces R a = Rec R y ( R1 ) b = Dom R . (a) Probar que R a = si y s olo si Dom R a = . (b) Probar que Dom R a ( R1 ) ( R a ). (c) Probar que ( R a ) b R (a ( R1 ) b ) . (d) Bajo qu e condiciones se tiene que Cam (a b) = a b? (e) Probar que si x Dom R , entonces x, x R1 R . Demuestre todas las armaciones que no se demostraron en el teorema 2.7. Demuestre todas las armaciones que no se demostraron en el teorema 2.8. Demuestre todas las armaciones que no se demostraron en el teorema 2.9. Demuestre todas las armaciones que no se demostraron en el teorema 2.10. 3. Funciones

El concepto de funci on es uno de los m as importantes en matem aticas. Intuitivamente, una funci on es una regla que asigna a cada elemento de un conjunto un u nico elemento de otro conjunto (no necesariamente distinto). n 2.7. Una relaci Definicio on F es una funci on si y s olo si xy z (( x, y F x, z F ) y = z ) Obs ervese que una funci on es, en particular, una relaci on, as es que los conceptos de dominio, recorrido, campo, composici on de funciones, funci on inversa, imagen, etc. se aplican a ellas tal y como se aplican a otras relaciones. Habitualmente se usa la siguiente notaci on. n 2.8. Sea F una funci Definicio on, x Dom F , F (x) = {z Rec F : y ( x, y F z y )}.
30

En otras palabras, F (x) es aquel u nico conjunto con el que x est a relacionado seg un la funci on F . Observemos que el axioma de extensionalidad aplicado a funciones F y G nos dice que F =G si y s olo si Dom F = Dom G y x F (x) = G(x). G F (x) = G(F (x)). n 2.9. Definicio i) Si F es una funci on, Dom F = a y Rec F b decimos que F es una funci on de a en b y escribimos F : a b x F (x). ii)
a

Observemos tambi en que de acuerdo con esta notaci on,

iii) F es una funci on inyectiva o uno a uno si

b = {F P (a b) : F : a b}. xy (F (x) = F (y ) x = y ),

es decir, a conjuntos distintos F asigna conjuntos distintos. iv) Un funci on F de a en b se dice sobreyectiva si y (y b x(x a y = F (x))), es decir, todo elemento de b es asignado a alg un elemento del dominio de F . El siguiente teorema nos da algunas propiedades de las funciones. Teorema 2.11. Sean F , G , H funciones, a , b , c conjuntos. i) F es una funci on de Dom F en Rec F . ii) F a si y s olo si F = . 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 olo si para todo c y todo c c G a, H a, si F G = F H , entonces G = H . viii) F a b es sobreyectiva si y s olo si para todo c y todo b b G c, H c, si G F = H F , entonces G = H . n. Demostraremos vii). El resto queda como ejerciDemostracio cio.
31

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

Como adem as Dom G = Dom H = c, G = H . ()) Supongamos que se verica la armaci on de la derecha y que sin 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 denamos 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 otesis, G = H , una contradicci on. Luego F es inyectiva.

Teorema 2.12. Sean F , G funciones. i) ii) iii) iv) x F 1 a si y s olo si F (x) a. Dom (F G) = G1 (Dom F ) Dom G. Rec (F G) = F (Rec G) Rec F. F es inyectiva si y s olo si F 1 es funci on.

n. Demostracio i) x F 1 a si y s olo si y (y a y, x F 1 ) si y s olo si y (y a x, y F ) si y s olo si y (y a y = F (x)) si y s olo si F (x) a. ii) y iii), por teorema 2.10, viii). iv) Ejercicio.

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

32

 n. Demostracio i) Por el teorema 2.10, iv), basta demostrar 1 1 que F a F b F 1 (a b). Sea x F 1 a F 1 b. Entonces por teorema 2.12, i), F (x) a y F (x) b, o sea, F (x) a b, luego x F 1 (a b). ii) Ejercicio. n 2.10. Definicio i) Si a es un conjunto, la funci on Ia : a a x x

se llama la funci on identidad en a . ii) Si F es una funci on y a un conjunto. La restricci on de F a a , F a, es la funci on 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 un de sus dominios. Teorema 2.14. Sean F , G funciones tales que F a = G donde a = Dom F Dom G. Entonces F G es una funci on. a,

n. Recordemos que Dom (F G) = Dom F Demostracio Dom G. Si x Dom F Dom G o x Dom G Dom F , entonces es claro que existe un u nico y tal que x, y F G. Como F y G son funciones, para x Dom F Dom G, existe un u nico y y un u nico z tal que x, y F y x, z G. Pero por hip otesis y = z , luego en este caso tambi en hay un u nico y tal que x, y F G. Observemos en el teorema anterior que si Dom F Dom G = , F G es siempre una funci on. El pr oximo teorema es muy u til para probar que ciertas funciones son inyectivas o sobreyectivas. Teorema 2.15. Sea F : a b. i) Si existe una funci on G : b a tal que F G = Ib , entonces F es sobreyectiva. ii) F es inyectiva si y s olo si a = o a = y existe una funci on G : b a tal que G F = Ia .
33

iii) F es biyectiva si y s olo si existe una funci on G : b a tal que F G = Ib y G F = Ia . En este caso G = F 1 . n. Demostracio i) Sea G : b a tal que F G = Ib . Entonces para todo y b, G(y ) a y F (G(y )) = F G(y ) = Ib (y ) = y, es decir F es sobreyectiva. ii) () Supongamos F es inyectiva y a = . Sea c a y denamos

G = F 1 { x, c : x b F a}

(Obs ervese que G es efectivamente un conjunto. C omo vericamos esto?) Es f acil ver que G es una funci on tal que Dom G = b. Para 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 u ltimo axioma de nuestra teor a, el Axioma de Elecci on. Debido a la importancia de este, le dedicaremos un cap tulo completo, el cuarto. S olo entonces podremos analizar este problema. 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 e ejemplos de funciones F tales que: (a) F : N N , F no es inyectiva ni sobreyectiva. (b) F : N N , F es inyectiva pero no sobreyectiva. (c) F : N Z , F no es inyectiva ni sobreyectiva. (d) F : Z N , F no es inyectiva ni sobreyectiva. (e) F : Q R , F no es inyectiva ni sobreyectiva. (f) F : R Q , F es sobreyectiva pero no inyectiva. (g) F : R Z , F sobreyectiva tal que F (x) = x para todo x en R . 2. Probar que no toda inyecci on de un conjunto en s mismo es sobreyectiva. 3. Dar ejemplos de funciones tales que: (a) F : 1 1 . (b) F : 0 1 . (c) F : 2 3 6 , F biyecci on. 4. Supongamos que existe una funci on de a en b que no es inyectiva. Probar que a = y b = . 5. Supongamos que existe una funci on de a en b que no es sobreyectiva. 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 dene 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 on de a c en b d . (b) Si F y G son sobreyectivas, entonces F G es sobreyectiva. (c) Si F y G son inyectivas, entonces F G es inyectiva . (d) Rec (F G) = (Rec F ) (Rec G) . Sean F : a b y G : b a funciones. Supongamos que y = F (x) si y s olo si x = G(y ). Probar que F 1 es funci on y que F 1 = G . Sean G : b c y H : b c funciones. Supongamos que G F = H F para toda funci on F : a b, donde a = . Probar que G = H . Sean G : a b y H : a b funciones. Sea c un conjunto con m as de un elemento y supongamos que F G = F H para toda funci on F : b c . Probar que G = H . Sean F : a c y G : a b funciones. Probar que existe una funci on H : b c tal que F = H G si y s olo
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 u nica. Sean F : c a y G : b a funciones, con G inyectiva. Probar que existe una funci on H : c b tal que F = G H si y s olo si Rec F Rec G. Probar que H es u nica . Probar que si F y G son funciones, entonces F G si y s olo si Dom F Dom G y para todo x Dom F se tiene F (x) = G(x) . Probar que no existe el conjunto de todas las funciones. Sea F : a b funci on. Se dene G por G(y ) = F 1 {y } . Probar que G es funci on y que si F es sobreyectiva, entonces G es inyectiva . Probar tambi en que el rec proco es falso. Determinar cuales de las siguientes relaciones son funciones: (a) R es relaci on de R en R tal que a, b R si y s olo si a2 + b2 = 1. (b) R es relaci on de R en R tal que a, b R si y s olo si a 0 a < 1 y b = 1 . a (c) R es relaci on entre (R)2 y R tal que a, b , c R si y b . s olo si c = a+ 2 Si F y G son funciones inyectivas, entonces G F es inyectiva y (G F )1 = F 1 G1 . Constru r los conjuntos 3 2, 0 2, 0 0 . Probar que a b = si y s olo si b = y a = . 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 on entre a y b , entonces existe una c biyecci on entre a y c b . Sea F : a a una funci on. Sea m un entero positivo. Se m dene 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 on. Sean a, b, c conjuntos tales que b c = . Probar que existe una biyecci on entre bc a y b a c a. Existe una biyecci on entre c (b a) y bc a? Probar que existe una biyecci on entre c (a b) y c a c b . Sean F : a b y G : a b funciones. (a) Sea c el conjunto de los x a tales que F (x) = G(x) . Probar que F Ia c = G Ia c .
36

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 dc. Sea a un conjunto y sea F = { x, x, x : x a} . Probar que F es funci on biyectiva entre a y Ia . Sea F : b c a funci on. Probar que F = F b F c. Sean F : a b y G : c d funciones biyectivas, donde a c = y b d = . Sea H = F G. Probar que H es biyecci on entre a c y b d . Sea F : a b funci on. Probar que existe una funci on biyectiva entre F y a . Sea F : a b funci on. Sean c a y d b . (a) Si F es inyectiva, probar que c = F 1 (F c) . (b) Si F es sobre, probar que d = F ( (F )1 d) . Sea F : a b funci on. Probar que: (a) Si c a y d a y F inyectiva, entonces F c = F d implica que c = d . (b) Si c b y d b y F sobreyectiva, entonces F 1 c = F 1 d implica que c = d . Sea F : a b funci on y sean c a y d a . (a) Probar que F ( F 1 (F c) ) = F c . (b) Probar que F c F d = F (c d) si y s olo si F es inyectiva. Probar que F a = F (a Rec F ) . Sea F : P a P a funci on tal que si b c y c a , entonces F (b) F (c). Sean d= e= {b P a : F (b) b} {b P a : 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 on F y un conjunto a tales que 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 ,
iI iI

ai ,
iI

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 on entre a0 a1 a2 y ai
i3

39. Existe una biyecci on entre

a

(
iI

bi ) y
iI

( a bi ) ?

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

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 olo si
iI

ai

bi .
iI

(b) Probar que (

iI

ai ) ( y

bi ) =
iI iI

(ai bi ). dos familias de conjuntos.

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

iI

bj : j J

ai ) (

bj ) =
j J i,j I J

(ai bj ) .

(b) (
iI

ai ) (

bj ) =
j J i,j I J

(ai bj ) .

(c) (
iI

ai ) (

bj ) =
j J i,j I J

(ai bj ) .

38

(d) (
iI

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 on. R ( ai ) =

iI iI

R ai . J .

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

una familia de conjuntos tal que I =

ai =
iI j J

(
ij

ai ).

(b) ai =
iI j J

(
ij

ai ).

46. Sean ai : i I una familia de conjuntos y F una funci on con dominio adecuado. Probar que: (a) F ( (b) F 1 ( (c) F (
iI iI iI

ai ) =
iI

F ai .

ai ) =
iI

F 1 ai .

ai )

F ai
iI

y que si F es inyectiva se tiene la igualdad. (d) F 1 ( 47. Demuestre todas teorema 2.11. 48. Demuestre todas teorema 2.12. 49. Demuestre todas teorema 2.13. 50. Demuestre todas teorema 2.15.
iI

ai ) =
iI

F 1 ai .

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

4. Relaciones de Equivalencia En matem atica es frecuente que nos interesen s olo ciertas propiedades de los elementos de un conjunto y que queramos por consiguiente identicar a todos los que comparten dichas propiedades. Por ejemplo, al estudiar las rectas del plano podemos identicar a todas las rectas que son paralelas entre s . Si denimos la relaci on R como todos los pares de elementos que queremos identicar, R es lo que llamamos una relaci on de equivalencia. Esta secci on estudiar a este concepto. n 2.11. Sea R una relaci Definicio on binaria. i) R es reexiva sobre a si R es reexiva si R es reexiva sobre Dom R. ii) R es sim etrica si iii) R es transitiva si xy ( x, y R y, x R). x(x a x, x R),

iv) Una relaci on R es una relaci on de equivalencia si y s olo si R es reexiva, sim etrica y transitiva. Es f acil demostrar que la reexividad (sobre su propio campo) es consecuencia de la simetr a y transitividad de la relaci on (ver ejercicios). Sin embargo, la incluimos en la denici on porque tradicionalmente se le dene as y para hacer hincapi e en que una relaci on de equivalencia verica esta propiedad. Teorema 2.16. Sea R una relaci on. i) R es transitiva si y s olo si R R R. ii) R es sim etrica si y s olo si R1 R. iii) R es reexiva sobre a si y s olo si Ia R. iv) R es de equivalencia si y s olo si R1 R = R. n. Demostracio 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 R1 R, es decir, existe z tal que x, z R1 y z, y R. Entonces z, x R y por lo tanto, como R es sim etrica, x, z R y tambi en z, y R, y como R es 1 transitiva, x, y R. Luego R R R.
40

xy z (( x, y R y, z R) x, z R).

Sea x, y R. Por simetr a y, x R, luego x, y R1 y por reexividad, y, y R. Luego x, y R1 R, o sea, R R1 R y por lo tanto, R = R1 R. () Supongamos que R = R1 R. Sea x, y R. Como R = R1 R, existe z tal que x, z R1 y z, y R. Entonces y, z R y z, x R1 , luego y, x R1 R = R. Esto prueba que R es sim etrica. Por otra parte, como tenemos que R1 = (R1 R)1 = R1 (R1 )1 = R1 R = R,

R R = R1 R = R, luego, por i), R es transitiva. Como se mencion o antes la reexividad es consecuencia de la simetr a y transitividad. Ver ejercicios. n 2.12. Sea R una relaci Definicio on de equivalencia. i) Sea x Dom R. La clase de equivalencia de x se dene por La clase de equivalencia de x es el conjunto formado por todos los conjuntos relacionados con x . ii) o m as informalmente 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 on de equivalencia y sean x, y Cam R. i) Dom R = Rec R = Cam R. ii) x [x]R . iii) x, y R si y s olo si [x]R = [y ]R . 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 . n. Demostraremos s Demostracio olo [iii)], el resto del teorema se 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 a en alguna clase y que toda clase es no vac a. iv) nos dice que dos clases distintas son disjuntas. Estas tres propiedades denen otro importante concepto matem atico, el de partici on de un conjunto. n 2.13. Un conjunto P es una partici Definicio on de a si i) a = P. ii) x(x P x = ). iii) xy ((x P y P x = y ) x y = ). Veremos en el pr oximo teorema la estrecha relaci on entre los conceptos de relaci on de equivalencia y de partici on, a saber, toda relaci on de equivalencia sobre un conjunto da origen a una u nica partici on de ese conjunto. A la inversa, toda partici on da origen a una u nica relaci on de equivalencia. Teorema 2.18. i) Sea R una relaci on de equivalencia con campo a . Entonces P [R ] es una partici on de a . Llamaremos a P [R ] la partici on asociada a R . ii) Sea P una partici on de un conjunto a . Entonces la relaci on es una relaci on de equivalencia en a . Llamaremos a R[P ] la relaci on de equivalencia asociada a la partici on P . iii) Dada una partici on Q de a , P [R[Q ]] = Q. Dada una relaci on de equivalencia S , R[P [S ]] = S . n. Demostracio i) Como lo hicimos notar, el teorema 2.17 ii) y iii) demuestra nuestra armaci on. ii) Sea P una partici on de a . 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 reexiva. Si para alg un z , {x, y } z P , entonces {y, x} z P , luego R[P ] es sim etrica. 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 r todas las clases de equivalencia que pueden existir sobre el conjunto 3 . 2. Demuestre que una relaci on sim etrica y transitiva es tambi en reexiva (sobre su propio campo). 3. Existe una relaci on de equivalencia sobre el conjunto ? 4. Sea a un conjunto. Demostrar que la igualdad de conjuntos es relaci on de equivalencia sobre P a . 5. Sea A un conjunto no vac o de relaciones de equivalencia sobre un conjunto a . (a) Probar que A es relaci on de equivalencia sobre a . (b) Lo es siempre A? (c) Encuentre condiciones para que A sea relaci on de equivalencia. 6. Sea R una relaci on sobre a . Probar que si R es transitiva y reeja, entonces R R = R . Es cierto el rec proco ? 7. Sean R y S relaciones de equivalencia sobrea a y b respectivamente. Denimos la relaci on T sobre a b por: c, d , e, f T si y s olo si c a , e a , d b y f b , y c, e R y 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 on de equivalencia sobre a si y s olo si R S = S R. (b) R S es relaci on de equivalencia sobre a si y s olo si R S R S y S R R S. (c) Si T y H son relaciones arbitrarias sobre a , entonces si R T y R H , entonces R T H . 9. Sea F : a b una funci on y sea R una relaci on de equivalencia sobre b. Sea c el conjunto { d, e a a : F (d), F (e) R}. Probar que c es relaci on de equivalencia sobre a . 10. Sean para cada entero n , los conjuntos bn = {m Z : q (m = n + 5q )}. Probar que P = {bn : n Z} es una partici on de Z. Determinar una f ormula para R[P ] .
43

11. Probar que las siguientes relaciones sobre R R son de equivalencia; determinar la partici on que determina cada una de ellas, y describir geom etricamente los elementos de cada partici on: 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 on de a b. 14. Sea F : a b una funci on, y sean {ai : i I } y {bj : j J } particiones de a y b respectivamente. Probar que: (a) Si F es sobre, entonces {F 1 bj : j J } es una partici on de a . (b) Si F es inyectiva, entonces F ai : i I } es una partici on de Rec F . 15. Sean R y S relaciones de equivalencia sobre a . Probar que: (a) [x]RS = [x]R [x]S , para todo x en a . (b) Si R S es de equivalencia, entonces [x]RS = [x]R [x]S , para todo x en a . 16. Si F : a b es una funci on, denamos la relaci on R = { c, d : F (c) = F (d)}. (a) Probar que R es de equivalencia sobre a . R se dice la relaci on de equivalencia determinada por F y se denota por R [F ]. (b) Probar que R [F ] = F 1 F . (c) Si F : a b y G : b c son funciones, determinar R [G F ] usando R [G] y F . 17. Demuestre todas las armaciones que no se demostraron en el teorema 2.16. 18. Demuestre todas las armaciones que no se demostraron en el teorema 2.17. 19. Demuestre todas las armaciones que no se demostraron en el teorema 2.18. 5. Relaciones de Orden n 2.14. Sea R una relaci Definicio on binaria. i) R es antisim etrica si xy ((xRy yRx) x = y ).
44

ii) R es conexa si iii) R es un orden parcial si R es reexiva, antisim etrica y transitiva. iv) R es un orden total si R es un orden parcial conexo. v) Si Dom R = a decimos que R es un orden (parcial, total) sobre a . Decimos tambi en que a est a parcial o totalmente ordenado por R . vi) Si R es un orden, en lugar de escribir x, y R, escribiremos x R y . Habitualmente los ordenes se designan con los s mbolos o . Ejemplo. i) Los n umeros reales con su orden usual constituyen un conjunto totalmente ordenado. ii) Los n umeros naturales se pueden ordenar parcialmente de la siguiente manera, dados dos n umeros naturales n y m denimos. n m si y s olo si A menudo representamos ordenes mediante diagramas que consisten de nodos unidos por l neas. Los nodos representan conjuntos pertenecientes campo de la relaci on R y las l neas al orden mismo, as , si a, b R, habr a dos nodos unidos por una l nea (ver gura). Mientras m as arriba aparezca un conjunto en el diagrama, m as grande es. n|m. xy (xRy yRx x = y ).

Los diagramas de la gura 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

 n 2.15. Definicio i) Una relaci on R es asim etrica sobre a si y s olo si xy ((x a y a xRy ) yRx). ii) Una relaci on es un orden estricto si es transitiva y asim etrica sobre su campo. Teorema 2.19. i) Si es un orden (parcial), entonces la relaci on denida por x<y si y s olo si x y x = y

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

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

El m as t pico ejemplo de orden parcial es la relaci on de inclusi on denida sobre el conjunto potencia de alg un conjunto. Para ver hasta qu e punto este es el ejemplo t pico de orden necesitamos primero una denici on. n 2.16. Sean R y S dos relaciones. Una funci Definicio on F : Cam R Cam S es un isomorsmo entre R y S si y s olo si F es biyectiva y para todo a, b Cam R aRb si y s olo si F (a) S F (b). Si tal F existe, decimos que R y S son relaciones isomorfas. Si R y S son ordenes decimos tambi en que F es un isomorsmo de orden. Teorema 2.20. Sea una relaci on de orden. Entonces existe un conjunto a tal que es isomorfo con S = { x, y a a : x y }.
46

 n. Sea b = Cam . Para cualquier conjunto x Demostracio denimos yx = {z b : z x}. Notemos que esta es una f ormula funcional. Luego por el axioma de reemplazo y dado que b es un conjunto a = {{z b : z x} : x b}, tambi en es un conjunto. Consideremos la relaci on S = { x, y a a : x y }. Entonces campo S = a. Denimos F : b a x {z b : z x}. Observemos que por reexividad de , para todo x b, x F (x). Supongamos que x = y . Entonces por antisimetr a de , o bien x y o bien y x, es decir, x / F (y ) o y / F (x), lo que unido a la observaci on anterior demuestra que F (x) = F (y ), es decir, F es 11. Por otra parte, por denici on, F es sobreyectiva, luego F es una biyecci on. 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 olo si F (x) S F (y ), o lo que es lo mismo, F es un isomorsmo. A menudo nos encontramos con relaciones reexivas y transitivas pero no antisim etricas (tal tipo de relaci on se llama un preorden). Podemos obtener una relaci on de equivalencia a partir de un preorden y ordenar las clases de una manera coherente con el preorden de la manera indicada en el siguiente teorema. Esta construcci on es bastante com un en matem atica. Teorema 2.21. Sea una relaci on transitiva y reexiva con campo a . Sea S = { x, y a a : x yy x}. Entonces S es una relaci on de equivalencia. M as a un, si denimos [x]S [y ]S si y s olo si x entonces es un orden parcial sobre P [S ].
47

y,

 n. S es obviamente reexiva y sim Demostracio etrica. 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 etrica. Por u ltimo es f acil ver que es reexiva ya que lo es. n 2.17. Sea un orden parcial con campo A. SupongaDefinicio mos que X A y a A. i) a es una cota superior de X si x(x X x a). ii) a es una cota inferior de X si x(x X a x). iii) a es el supremo de X si a es la menor cota superior de X . iv) a es el nmo 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 nmo son probablemente familiares para el lector. N otese que si un conjunto tiene supremo o nmo, estos son u nicos. Tambi en es interesante recalcar que los elementos minimales no tienen por qu e ser el menor elemento del conjunto de hecho, este ni siquiera tiene que existir. En el ejemplo de la gura a y b son minimales

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

 n. Observemos primero que A tiene que tener un Demostracio menor elemento. En efecto, es obvio que todos los elementos de A son cota superior de , pues si a A no lo fuera, existir a x tal que x a lo que es imposible. Como A, por hip otesis tiene un supremo s , este es la menor de las cotas superiores, luego tiene que ser el menor elemento de A . Sea B = {x A : x F (x)}. Entonces B A y B tiene supremo. Llamemos a al supremo de B . Obs ervese que B = , ya que s F s, donde s es el menor elemento de A . Entonces para todo x B, x a y x F (x) F (a), luego F (a) es cota superior de B y tenemos a F (a). Por otra parte si a F (a), F (a) F F (a) y por lo tanto F (a) B , luego F (a) a, es decir, a = F (a). El concepto denido a continuaci on es el origen de toda la teor a de los n umeros ordinales que estudiaremos en el pr oximo cap tulo. Como veremos es una abstracci on de la conocida propiedad del orden de los n umeros naturales: todo subconjunto no vac o de n umeros naturales tiene un menor elemento. n 2.18. Sea R una relaci Definicio on. 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 otese la similitud de la denici on de relaci on bien fundada con la formulaci on del axioma de regularidad. De hecho el axioma de regularidad dice que la relaci on { x, y a : x y } para cualquier conjunto a es bien fundada.

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

ii)iii) Obvio. iii)i) Dados dos elementos x, y Cam , consideramos {x, y }, este tiene un menor elemento luego x y o y x, o sea, es orden total. Sea A Cam y sea a su menor elemento. Entonces es claro que A {x Cam : x < a} = , es decir es bien fundado.

Ejercicios. 1. Sean a , b , c y d cuatro conjuntos distintos. Cu antos ordenes parciales existen sobre {a, b}? Sobre {a, b, c}? Sobre {a, b, c, d}? Haga los diagramas correspondientes. 2. Diga cu ales de los ordenes del ejercicio anterior son isomorfos. 3. Sea a un conjunto con n elementos. Probar que un orden total n(n 1) pares ordenados. sobre a contiene 1 2 4. Probar que una relaci on R sobre a es antisim etrica si y s olo si R R1 Ia . 5. Considere las siguientes relaciones sobre el conjunto 8 = {0, 1, 2, 3, 4, 5, 6, 7}: (a) x R1 y si y s olo si y x 8. (b) x R2 y si y s olo si y x 8 y y x = 0. (c) x R3 y si y s olo si y x = 0. (d) x R4 y si y s olo si y x es un entero par. (e) x R6 y si y s olo si y x = 1. Determinar cu ales de estas relaciones son antisim etricas, asim etricas, transitivas, conexas, reejas, de equivalencia o de orden. 6. Si R y S son relaciones y a un conjunto, probar que: (a) Si R es asim etrica, entonces R es antisim etrica. (b) Ia es sim etrica y antisim etrica. (c) Si R , es sim etrica y antisim etrica, entonces existe un conjunto b tal que R = Ib . (d) Si R es asim etrica, entonces R1 , R S y R S son asim etricas.
50

7.

8. 9. 10.

11. 12.

13. 14.

15. 16.

(e) Si R es antisim etrica, entonces R1 , R S y R S son antisim etricas. (f) Si R es transitiva, entonces R1 es transitiva. (g) Si R es conexa, entonces R1 es conexa. (h) Si R es asim etrica, entonces R ICam R es antisim etrica. (i) Si R es antisim etrica, entonces R ICam R es asim etrica. (j) Si R es transitiva y antisim etrica, entonces R ICam R es transitiva. Dar contraejemplos para las siguientes armaciones: (a) Si R y S son asim etricas, entonces S R y R S son asim etricas. (b) Si R y S son antisim etricas, entonces R S es antisim etrica. (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 o de ordenes sobre un conjunto b , 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 en lo es. Probar que R1 es un orden sobre a si y s olo si R es un orden 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 as na que P2 si y s olo si u P1 implica u v para alg un v en P2 . Probar que la relaci on es m as na que es un orden sobre el conjunto de todas las particiones de a . Dar un ejemplo de un conjunto a y un conjunto S de ordenes sobre a , tales que S no es un orden sobre a . Determinar cu ales de las siguientes relaciones sobre Z son ordenes y si lo es, de qu e tipo de orden se trata: (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 ultiplo de y }. (e) R = { x, y : y = x + 1}.
51

17. Sea R una relaci on sobre a . Probar que R es de orden si y 1 s olo si R R = Ia y R R = R. 18. Sea < un orden estricto sobre a y sea b / a . Denimos <1 sobre c = a {b} por: x <1 y si y s olo si (x, y a x y ) (y = b x a). Mostrar que <1 es un orden estricto sobre c y que la intersecci on entre el orden <1 y a a es el orden <. Dar un contraejemplo de: Si R ICam R es un orden parcial estricto, entonces R es un orden parcial. Probar que si Ro es el conjunto de todos los ordenes sobre a y Re es el conjunto de todos los ordenes estrictos sobre a , entonces existe una biyecci on entre Ro y Re . 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 o de a con alguna cota inferior en a tiene nmo en a . Sea i : i I una familia de ordenes sobre a totalmente ordenada por inclusi on. Probar que iI i es un orden sobre a. Sea R un orden sobre a y sea b un subconjunto de a . Probar que c es el menor elemento de b si y s olo si R ( R ({c} b)) = B . Consideremos i orden sobre ai , con i {1, 2, 3}. Probar que: (a) Si F : a1 a2 es isomorsmo, F 1 : a2 a1 tambi en es isomorsmo. (b) Si F : a1 a2 y G : a2 a3 son isomorsmos, entonces G F : a1 a3 es isomorsmo. Sea un orden sobre a . Denamos Sb = {x a : a a}, para cada b en a . Probar que si Sb : b a est a ordenado por inclusi on, entonces Sb : b a es isomorfo a a . Sean 1 y 2 ordenes sobre a1 y a2 respectivamente. Sea F : a1 a2 un isomorsmo entre 1 y 2 . Probar que: (a) a es un elemento maximal (resp. minimal) en a1 si y s olo 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 olo si F (c) es una cota superior (resp. 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. nmo) de b en a si y s olo si F (c) es el supremo (resp. nmo) de F b en a2 . 28. Sea a un conjunto ordenado. Probar que: (a) Si todo subconjunto de a tiene nmo, entonces a tiene un mayor elemento. (b) Todo subconjunto de a tiene supremo si y s olo si todo subconjunto de a tiene nmo. 29. Sea relaci on sobre N N dada por: m, n p, q si y s olo si m < n o m = p y n q, donde es el orden usual sobre N. (a) Probar que es un orden sobre N N. (b) Encontrar todos los elementos minimales de NN . Tiene N N un menor elemento ? (c) Sea a = {1, 2} {1, 2}. Encontrar todas las cotas de a . Tiene a supremo o nmo ? Encontrar todos los elementos minimales y maximales de a . 30. Sea relaci on sobre N N dada por: m, n p, q si y s olo si m p y n q, donde es el orden usual sobre N. (a) Probar que es un orden sobre N N. (b) Si a es un subconjunto no vac o de N N que tiene alguna cota superior, entonces a tiene supremo. (c) Si a es un subconjunto no vac o de N N, entonces a tiene nmo. (d) Dar un ejemplo de un subconjunto no vac o de N N que tenga cotas superiores e inferiores pero que no tenga menor elemento ni mayor elemento. 31. Sea R un orden sobre a . Denimos una relaci on S sobre P a por: uS v si y s olo si u = v o bien existe w v tal que u = {c : c v c R w}. Probar que: (a) S es un orden sobre P a . (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

db

33.

34.

35. 36.

37.

38. 39. 40. 41.

42.

(a) c es el menor elemento de b respecto de R si y s olo si es 1 el mayor elemento de b respecto de R . (b) An alogo para elementos minimales y maximales, para cotas superiores e inferiores y para supremos e nmos. Dar ejemplos de ordenes sobre conjuntos nitos a y subconjuntos b de a tales que: (a) b tiene un mayor elemento pero no menor elemento. (b) b tiene un menor elemento pero no tiene mayor elemento. Sea P b , con b = ordenado por inclusi on y sea c P b. Probar que: (a) c es el supremo de c. (b) c es el nmo de c, si c = . (c) El nmo de es P b. Probar que todo subconjunto de un conjunto bien ordenado est a bien ordenado. Sea un orden para a . Denimos 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 olo si todo segmento inicial de a est a un bien ordenado por (la restricci on de) el orden de a . Si es buen orden sobre a y F es un isomorsmo entre a y un subconjunto de a , entonces x F (x) para todo x a. Probar que ning un conjunto con un buen orden es isomorfo a un segmento inicial de s mismo. Probar que entre dos buenos ordenes hay, a lo m as, un isomorsmo. Sean 1 y 2 buenos ordenes sobre a1 y a2 respectivamente. Probar que si a1 con 1 es isomorfo a un subconjunto de a2 con 2 , y a2 con 2 es isomorfo a un subconjunto de a1 con 1 , entonces 1 y 2 son isomorfos sobre a1 y a2 . Sea A un orden total sobre A y B un orden total sobre B . Denimos a1 , b1 a2 , b2 si y s olo si a1 A a2 a1 = a2 b1 B b2 .

Demuestre que la relaci on as denida es un orden total sobre A B . Este orden se llama orden lexicogr aco. Demuestre que si A y B son buenos ordenes, el orden lexicogr aco tambi en es un buen orden.
54

43. Demuestre que la relaci on denida sobre los n umeros naturales en 5 es efectivamente un orden. 44. Demuestre todas las armaciones que no se demostraron en el teorema 2.16. 45. Demuestre todas las armaciones que no se demostraron en el teorema 2.17. 46. Demuestre que la relaci on denida en el teorema 2.21 es efectivamente un conjunto. 47. Demuestre que el supremo y el nmo, con respecto a cualquier orden, de un conjunto A , si existen, son u nicos.

55

56

CAPITULO 3

Ordinales
En este cap tulo estudiaremos un tema un poco m as avanzado de teor a de conjuntos. El lector est a seguramente familiarizado con los n umeros naturales. Los n umeros naturales nos sirven para contar y para ordenar los conjuntos nitos. Es esta segunda propiedad la que trataremos de generalizar para conjuntos innitos, empezaremos por construir dentro de nuestra teor a el conjunto de los n umeros naturales. 1. N umeros Naturales Formalizaremos ahora el concepto intuitivo de n umero natural dentro de la teor a ZF . n 3.1. El sucesor de un conjunto x es el conjunto Definicio Sx = x {x}. Obs ervese que si x es un conjunto, Sx tambi en lo es (Por qu e?). n 3.2. Definicio 0 1 2 3 = = = = . . . S 0 = {} S 1 = {, {}} S 2 = {, {}, {, {}}}

Cada uno de estos conjuntos es un n umero natural. La denici on anterior introduce todos los n umeros naturales en forma bastante sencilla. Debemos destacar algunas caracter sticas de esta. En primer lugar 0 es un n umero natural. En segundo lugar, si n es un n umero natural, su sucesor tambi en lo es. En tercer lugar todo n umero natural corresponde a una de esas dos posibilidades, o es 0 o es el sucesor de alg un otro n umero. Una segunda observaci on en el plano intuitivo (y que formalizaremos en el cap tulo 5), es que el n umero natural n contiene n elementos
57

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

ii) Para todo n si (n) se verica, entonces (Sn) tambi en se verica. Entonces (n) se verica para todo n . El P.I. puede ser enunciado en t erminos de la relaci on de pertenencia. En este caso, resulta m as evidente que P.I. simplemente arma que es el menor conjunto inductivo. Las dos maneras de enunciar el principio son equivalentes, (ver ejercicios.) Teorema 3.2. (Principio de Inducci on) Sea B un conjunto tal que i) 0 B . ii) Para todo n , si n B , entonces Sn B . Entonces B . Ejemplo Si x , entonces x = 0 o bien x es el sucesor de un n umero natural. n. Sea Demostracio B = {x : x = 0 o x es el sucesor de un n umero natural}. Es claro que B es inductivo, luego B . Resulta interesante notar que 0 1 2 3 y tambi en o 1 2 3 Esta observaci on nos da la intuici on de que la relaci on de pertenencia entre naturales dene una noci on de orden apropiada. En estricto rigor, la verdad es todo lo contrario, los n umeros naturales se denen as para que la relaci on de pertenencia sea un orden con buenas propiedades. n 3.5. La relaci Definicio on se dene en por: Diremos que m es menor o igual que n . Tambi en usaremos el s mbolo < para denotar m<n Obs ervese que m < n ssi m n. ssi m n y m = n. mn ssi m n o bien m = n.

Debemos demostrar que esta relaci on es un orden lineal, m as a un, que es un buen orden. Lema 3.3. Para todo n, m ,
59

i) ii) iii) iv)

n. Demostracio i) Por inducci on con (x) = 0 x. (0) se verica. Supongamos ahora que (n) se verica. Es decir, 0 n, o sea 0 n o 0 = n. En cualquier caso 0 n {n} = Sn, o sea (Sn) se verica. Luego, en virtud de P.I., para todo n , 0 n. ii) Por inducci on sobre n . Sea (0) se verica trivialmente. Supongamos (m) y sea y Sm. Entonces y m o y = m. Si y m, por hip otesis de inducci on, y . Si y = m, entonces y . En cualquier caso y . Luego por P.I., todo n verica (x) iii) m < Sn ssi m Sn = n {n} sii m n. iv) Por inducci on sobre m . Consideramos (0) se verica trivialmente. Supongamos (m), o sea, y (y < m Sy m). Supongamos pues que y < Sm y recordemos que esto ocurre si y s olo si y m o y = m. Si y m, por hip otesis de inducci on, Sy m y luego Sy Sm. Si y = m, entonces Sy = Sm. En cualquier caso, si y < Sm, entonces Sy Sm, es decir, (Sm) se verica. Luego por P.I., para todo m , (m) se verica. 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.

n. Demostracio i) es obviamente reexiva. ii) es antisim etrica. En efecto, supongamos que m n y 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 on sobre n . Para ello sea (x) = y z ((z y y x) z x).
60

 (0) se verica ya que si k m y m 0, m = 0 luego k 0. Si (n) se verica, consideremos k m y m Sn. Entonces m < Sn o m = Sn. Si m < Sn, entonces por el lema 3.3 iii), m n y por hip otesis de inducci on k n. Es decir k n o k = n. En cualquier caso k Sn, o sea, k Sn. Si m = Sn, como k m o k = m tenemos k Sn o k = Sn, es decir, k Sn. Esto completa la inducci on, luego todo n umero natural n verica (n), o sea, es transitiva. iv) es un orden total. Sean m y n dos n umeros naturales. Demostraremos por inducci on sobre n que m < n om=n o n < m. Para ello sea (x) = y (y < x y = x x < y ) (0) se verica por el lema 3.3 i). Supongamos (n) se verica. Entonces para todo m, m < n om=n o n < m. Si m < n o m = n, entonces m Sn, luego m < Sn. Si n < m, entonces Sn m por el lema 3.3 iv). Luego por P.I., es un orden total sobre . Para vericar que es un buen orden, resulta m as f acil demostrar primero otra versi on del Principio de Inducci on. Para distinguirlo de P.I., lo llamaremos Principio de Inducci on Completa. Debemos recordar siempre que este nuevo principio es equivalente con P.I. Demostraremos a continuaci on una de las implicaciones, la otra se deja como ejercicio. Teorema 3.5. (Principio de Inducci on Completa). Sea (x) una f ormula con una variable libre x . Supongamos que ( ) si (k ) se verica para todo k < n, entonces (n) tambi en se verica. Entonces para todo n , se verica (n). n. Demostramos primero por inducci Demostracio on que para 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 verica. Entonces por (), (n) tambi en, pero por el lema 3.3 iii), para todo n luego y (y < Sn (y )), es decir (Sn) es cierta. Esto completa nuestra inducci on, o sea para todo n , se verica, en particular, (Sn), y como n < Sn, esto garantiza que se verica (n). El principio de Inducci on Completa tambi en puede plantearse en terminos de la relaci on de pertenencia. Teorema 3.6. Sea B tal que ( ) si {k : k < n} B , entonces n B . Entonces B = . Teorema 3.7. es un buen orden. n. Hemos visto que es un orden total. Debemos Demostracio demostrar que es bien fundado, es decir, que si X , X = , entonces X tiene un menor elemento. Para ello suponemos que X no tiene menor elemento y aplicamos el Principio de Inducci on Completa 3.6 a X X ) Dado n , si para todo k < n , k X , entonces n X porque, si no, n es el menor elemento de X , luego X = , es decir, X = , lo que es una contradicci on. Por lo tanto todo subconjunto no vac o de tiene un menor elemento y es un buen orden. Volveremos sobre estas propiedades en un contexto m as general en las pr oximas secciones. Teorema 3.8. Si un subconjunto de tiene una cota superior, entonces tiene un m aximo elemento. n. Sea X , X = , denimos Demostracio Por hip otesis Y = . Sea m el menor elemento de Y . Por denici on 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 otesis y en el segundo, 0 es el m aximo de X . Si m = 0, entonces m = Sn para alg un n. Pero entonces si m / X , n es cota superior de X y n < m, una contradicci on. Luego 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 on dadas en el texto, es decir los teoremas 3.1 y 3.2. 2. Demuestre el Principio de Inducci on Completa a partir del teorema 3.7 3. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Inducci on Completa dados en el texto, es decir los teoremas 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 an en y m = n , entonces: m si n m, (a) m n = n si m n. n si n m, (b) m n = m si m n. 9. Probar que si n m y n = 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 al es la relaci on entre n y m ? Justicar 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 an en y n < m , entonces Sn < Sm. 13. Probar que no existe una funci on F : tal que para todo n , F (Sn) < F (n). 14. Probar que si (x) es una f ormula con variable libre x y existe un k , tal que (a) (k ) se verica y (b) para todo n tal que k n, si se verica (n) entonces se verica (Sn). Entonces (n) se verica para todo n k . 15. Probar que si (x) es una f ormula con variable libre x y existe un k tal que (a) (k ) se verica y
63

(b) para todo n tal que n > k , si se verica (n) entonces se verica (Sn). Entonces (n) se verica para todo n k . 2. Ordinales Los ordinales son conjuntos asociados con buenos ordenes, de hecho, son los ejemplos t picos de estos u ltimos en el sentido que todo buen orden es isomorfo a alg un ordinal. La denici on de ordinal no hace sino extender las propiedades de los n umeros naturales estudiadas en la secci on anterior sin embargo, esto no se podr a apreciar sino hasta que el cap tulo est e bastante avanzado. n 3.6. Definicio i) a es transitivo si

xy ((x y y a) x a). ii) a es un ordinal si a es transitivo y todo elemento de a es transitivo. Si x es un ordinal escribiremos Ord (x). Obs ervese que Ord (x) es una f ormula de nuestro lenguaje en la que x aparece libre. Notaci on: Usaremos letras griegas min usculas para denotar ordinales. Nada en la denici on indica que haya ordinales, ni siquiera que existan conjuntos transitivos. Tambi en podr a suceder que todo conjunto es un ordinal. A continuaci on dilucidaremos estos problemas. De hecho, el siguiente teorema demuestra que todos los n umeros naturales son ordinales. Teorema 3.9. i) 0 es un ordinal. ii) Ord (x) Ord (Sx). iii) x(x Ord (x)). iv) Ord ( ). n. Demostracio i) Ord (0) trivialmente ya que 0 = . ii) Supongamos que x es ordinal. Entonces x es transitivo y todo elemento de x es transitivo. Como Sx = x {x}, todo elemento de Sx es transitivo. Para ver que Sx es transitivo consideremos z , y tales que z y Sx. Si y x, entonces z x, ya que x es transitivo. Si y = x, entonces tambi en z x, es decir, en cualquier caso, z x Sx, o sea, Sx es transitivo.
64

iii) Consideramos la f ormula (x) = Ord (x). Por i) y ii) y P.I., todo n umero natural es un ordinal. iv) El lema 3.3, ii) demuestra que es transitivo. Si n , iii) demuestra que n es transitivo. Luego Ord ( ). Ver que no todo conjunto es un ordinal es f acil. De hecho, {{0}} no es ni siquiera transitivo. Tambi en es f acil ver que ning un par ordenado a, b es un ordinal. Teorema 3.10. Si C es un conjunto de ordinales, entonces es un ordinal. C

n. Para demostrar que C es transitivo, supongDemostracio amos x y C . Entonces existe C talque y . Como x y y este u ltimo 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 en es transitivo. Por lo tanto C es un ordinal. El siguiente teorema demuestra que todo ordinal est a compuesto por ordinales. Teorema 3.11. Si es un ordinal, entonces todos sus elementos son ordinales. n. Supongamos que x . Entonces x es Demostracio transitivo. Si y x, como es transitivo, y , luego y es transitivo, luego x es ordinal. Los ordinales nos proporcionan un nuevo ejemplo de clase propia. Teorema 3.12. No existe el conjunto de todos los ordinales. n. Supongamos por el contrario que O es el conjunto Demostracio de todos los ordinales. Entonces es claro que O es transitivo y que todos sus elementos son transitivos, es decir, O es un ordinal, luego O O, contradicci on. Teorema 3.13. Para todo par de ordinales , , M as a un, s olo una de estas posibilidades se verica.
65

 n. Supongamos por el contrario que existen ordiDemostracio nales y tales que , = y . Sea Nuestra suposici on implica que , A. Luego A = . Por el axioma de regularidad, existe a A tal que A a = . Denimos 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 on se obtiene probando que a = b. Sea x a, como a es ordinal, x tambi en lo es. Como a A = , x A. Por u ltimo como x a S S, x S S , ya que este u ltimo, al ser uni on de dos ordinales, es tambi en un ordinal y, por 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 on. Por lo tanto la u nica posibilidad es x b, es decir, hemos demostrado que a b. Supongamos ahora que x b. Como antes x S S y x B ya que B b = . Luego Si a x o a = x, entonces a b ya que b es ordinal. Luego x a. Hemos demostrado que b a. Por lo tanto a = b lo que contradice nuestra suposici on, luego El teorema 1.3 garantiza que s olo una de las tres posibilidades anteriores se verica. Teorema 3.14. Si A es un conjunto no vac o de ordinales, entonces A esordinal. M as a un, A A.
66

ax a=x xa.

= .

 n. Si x A, entonces para todo A, x , Demostracio 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= o A, pero esta u ltima 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 o S = . v) = S o = . n. Demostracio 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 un 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 un y S. Entonces y o y = ; en cualquier caso x . Entonces x S, luego x S. iv) Supongamos que S, o sea, o = . Como por hip otesis , tendriamos que , lo que contradice el teorema 1.3. Luego por 3.13, S o S = . v) Sabemos que es ordinal. Si = , entonces por ii), . Luego por iv), S o S = . Si suponemos que S , como S , concluiriamos que , lo que contradice el teorema 1.3. Luego S = o = . Observemos que iv) es una generalizaci on del lema 3.3, iii). Tambi en es importante notar que todo ordinal es o bien sucesor de alg un otro ordinal o bien la uni on de s mismo.
67

 n 3.7. Sea un ordinal. Denimos la relaci Definicio on en como sigue. Para x, y xy si y s olo si xy x=y.

N otese que, en rigor, para distintos ordinales el orden reci en denido no es el mismo ya que su campo var a. Sin embargo usaremos el mismo s mbolo ya que es claro dos de estos ordenes coinciden en la intersecci on de sus campos. Tambi en debemos notar que este coincide con el orden que denimos para los n umeros naturales. El siguiente teorema resume las principales propiedades de este orden. Teorema 3.16. Sea un ordinal. i) ii) iii) iv) v) vi) vii) viii) ix) x) xi) es un buen orden en . Si A y A = , entonces A es el menor elemento de A. 0 es el menor elemento de . < S si y s olo si . = { : < }. No existe un ordinal tal que < < S. si y s olo si . Si A , entonces A es el supremo de A . < si y s olo si S . S = S si y s olo si = . S < S si y s olo si < .

n. Demostracio i) es obviamente reexiva. Es antisim etrica 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 o A . Por el teorema 3.14, A A. Supongamos x A ( A). Entonces para todo A x , en particular, x x, una contradicci on. Luego A ( A) = , o sea, es un buen orden. ii) Qued o demostrado en (i), A es el menor elemento de A 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 on. 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 alogamente lo que es imposible, luego, = . Es claro que si = , S = S . xi) < si y s olo si S si y s olo si S < S por ix) y iv) respectivamente.

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

7. Sea B un conjunto de ordinales . Probar que si es un ordinal y para todo B , , entonces . Probar tambi en que lo anterior no es necesariamente cierto si no se requiere que sea ordinal. 8. Probar que si y es el mayor elemento de , entonces = S . Es esto cierto si es ordinal arbitrario? 3. Inducci on Transnita En esta secci on generalizaremos el teorema de inducci on de los n umeros naturales a los ordinales. De hecho, el primero es un caso particular del segundo. Teorema 3.17. (Principio de Inducci on Transnita) Si (x) es una f ormula con una variable libre y para todo ordinal , () si para todo < , ( ) , entonces (). Entonces para todo ordinal , (). n. Observemos primero que como no existe ning Demostracio un < 0, por ( ), (0) se verica trivialmente. Supongamos que el teorema es falso para alg un ordinal . Entonces el conjunto C = { S : ( )} es no vac o, luego tiene un menor elemento . La observaci on al comienzo de esta demostraci on implica que = 0. Adem as, como es el menor elemento de C , para todo < , C , es decir, para todo < , ( ), pero entonces por la hip otesis ( ), ( ), pero como C , se llega a una contradicci on. Luego para todo ordinal (). N otese que esta formulaci on del teorema de inducci on transnita es similar a la del teorema de inducci on completa de los n umeros naturales, A veces es u til usar una forma m as parecida al principio de inducci on por casos. Para ello recordemos que todo ordinal es o bien el sucesor de alg un otro o es la uni on de s mismo. La pr oxima denici on y el teorema que le sigue formaliza estas ideas. n 3.8. Un ordinal es un sucesor si existe : tal que Definicio = 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 olo < . ii) es l mite si y s olo = = 0.
70

iii) es l mite si y s olo = 0 ( < ( < < )). n. Demostracio i) Si = S , entonces por el teorema 3.15 iii), = S = < , Reciprocamente, si < , S . Si suponemos que S < , S ,

o sea, , una contradicci on. Luego = S y como es un ordinal, es sucesor. ii) Sabemos por el teorema 3.15 ii), que . Entonces por i), = si y s olo si no es sucesor, luego = 0 y = si y s olo si es l mite. iii) Por ii), es l mite si y s olo si = 0, = y esta u ltima 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 ormula con una variable libre tal

n. Para demostrar este teorema, demostraremos las Demostracio hip otesis del teorema 3.17 a partir de i), ii) y iii). Sea entonces un ordinal y supongamos que ( ) para todo < . Debemos demostrar que (). Hay tres casos. Si = 0, entonces () por hip otesis i). 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 on tiene cierto inter es en s misma. Ver ejercicios problema 2. Ejercicios.
71

1. Demuestre que el Principio de Inducci on dado en el teorema 3.19 implica al Principio de Inducci on del teorema 3.17. 2. Demuestre el Principio de Inducci on 3.19 sin usar el teorema 3.17. 3. Demuestre el siguiente Principio de Inducci on. 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 on En esta secci on estudiaremos un proceso, ntimamente ligado a la inducci on transnita, que nos permite denir operaciones entre ordinales, este es el principio de recursi on. En algebra elemental frecuentemente nos encontramos con sucesiones del tipo siguiente a0 = 1 an+1 = 2an + 1 Es claro que esta sucesi on est a bien denida ya que para cualquier n , con alg un trabajo, podemos obtener el valor de an . Por otra parte, es claro que esta denici on diere esencialmente de la de la sucesi on bn = n2 + 1 . La diferencia reside en que para conocer el valor de an debemos primero determinar el valor de an1 , y para conocer este, debemos determinar el valor de an1 y as sucesivamente. No es este el caso de bn . Decimos que {an }n est a denida recursivamente. A continuaci on formalizaremos estos conceptos. Recordemos que una f ormula (x, y ) tal que para todo a existe un u nico b tal que (a, b) dene una operaci on unaria y habitualmente escribimos b = F (a) si y s olo si (a, b) . Obs ervese que por el axioma de reemplazo, si a es un conjunto F (a) y {F (x) : x a} tambi en lo son. El siguiente teorema nos permite denir una operaci on unaria sobre un conjunto cualquiera conociendo todos los valores de la operaci on sobre sus elementos. Una forma alternativa es denir la operaci on por casos, para el 0, para ordinales sucesores, para ordinales l mites y para
72

conjuntos cualquira. Este u ltimo caso es necesario ya que la operaci on debe estar denida para todos los conjuntos y no s olo para los ordinales.

Teorema 3.20. i) Sea y = G(x) una operaci on unaria. Entonces existe una u nica operaci on unaria y = F (x) tal que (Ord () F () = G({F ( ) : }) x(Ord (x) F (x) = x) ii) Sean y = G(x), y = H (x) dos operaciones unarias, entonces existe una u nica operaci on unaria y = F (x) tal que para todo ordinal F (S) = G(F ()) ( = y si x no es ordinal, F (x) = x). n. Demostracio i) Demostraremos por inducci on que para todo ordinal existe una u nica funci on f tal que a) Domf = S, b) f ( ) = G(f ), para todo S y c) si , entonces f f . Sea entonces un ordinal y supongamos que para todo < existe f con las propiedades a), b) y c). Entonces denimos f ( ) = f ( ) G(f ()) , si , , si = . F () = H {F ( ) : })

Entonces f es una funci on, Dom f = S y f verica b) y c). Observemos tambi en que f0 (0) = G(0). Para probar la unicidad de f supongamos que para alg un existen dos funciones f y g con las caracter sticas anteriores. Sea 0 el menor tal ordinal. Entonces para < 0 existe una u nica funci on f como arriba. Pero entonces para todo < 0 f0 ( ) = f ( ) = g0 ( ), y por lo tanto
73

 f 0 = 0 = = =

{f0 ( ) : 0 } {f ( ) : 0 } {g0 ( ) : 0 } g 0 , 0

luego
f0 (0 ) = G(f 0 ) = G(g 0 ) = g0 (0 ), 0 0

Es decir f0 = g0 lo que contradice nuestra suposici on. Por lo tanto, por el teorema 3.17, para todo ordinal existe una u nica funci on f que verica a) y b). Podemos ahora denir nuestra operaci on unaria y = F (x). F (x) = fx (x) x si x es ordinal, si x no es ordinal.

Por construcci on, y = F (x) verica la tesis del teorema. ii) Demostraremos por inducci on que para todo existe una u nica funci on f tal que 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 denimos 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). Denimos entonces f de la siguiente manera f () = f () G(f ( )) si = S, si = .

Es claro que f verica a), b), c) y d). Si = , suponemos por hip otesis de inducci on que para todo existe f que verica a), b), c) y d). Denimos f como sigue f () = f () H (f ( ))
74

si = S, si = .

f tambi en verica a), b), c) y d). Luego por inducci on, para todo ordinal , existe una funci on f con las caracter sticas indicadas. La unicidad de f es obvia y se deja como ejercicio. Podemos denir la operaci on unaria F como en i).

Ejercicios. 1. Denimos 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 on: Denir recursivamente una funci on F sobre 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 ,

es decir contiene los elementos de a , los elementos de los elementos de a , etc. 5. Funciones Normales En esta secci on estudiaremos algunas propiedades de las funciones normales que nos ser an u tiles en las secciones siguientes. n 3.9. Sean A y B ordinales y : A B una funci Definicio on. 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 on S es estrictamente creciente pero no continua, por ejemplo S = = S . 2. La funci on es continua pero no estrictamente creciente, por ejemplo, < S , pero = S . 3. Sea un ordinal l mite. Denimos para f ( ) = S , si es sucesor, , si no.

F acilmente podemos ver que f es normal. Teorema 3.21. Sean A, B ordinales : A B una funci on. Si es estrictamente creciente, entonces para todo A, (). n. Por inducci Demostracio on. Teorema 3.22. Sean A, B ordinales : A B una funci on continua tal que si S A, ( ) < (S ). Entonces es normal. n. Tenemos que demostrar que es estrictamente Demostracio creciente. Lo haremos por inducci on usando la siguiente f ormula (x) = (( < x x A) ( ) < (x)) i) (0) se verica trivialmente. ii) Si = S , supongamos que ( ) se verica y que S A. Entonces para < , ( ) ( ) por hip otesis de inducci on . Si = , ( ) < (S ), por hip otesis, es decir luego (( < = S S A) ( ) < (beta)), es decir, ( ). iii) Si es l mite, entonces por la continuidad de , ( ). Esto que completa muestra inducci on. Luego es estrictamente creciente y por lo tanto normal. Teorema 3.23. Si es una funci on normal y Dom es un ordinal l mite, entonces () tambi en es l mite. n. Sea (). Como Demostracio () =
<

( ) ,

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 ( ) = ( ).
< <

n. Si < , ( ) ( ), luego Demostracio y por lo tanto ( ) =

< <

<

( ) ( )

( )

( ) =
< <

( ).

Teorema 3.25. Sean , funciones normales tales que Rec Dom . Entonces es una funci on normal. n. es estrictamente creciente ya que si < Demostracio , () < ( ), luego (()) < (( )), o sea, () < ( ). Para ver que es continua, sea = 0, = . Por teorema 3.23, ( ) es tambi en un ordinal l 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 on normal con dominio . Supongamos que para alg un existen , tal que ( ) < ( ). Entonces existe un u nico tal que ( ) < (S ). n. Sea el menor tal que < ( ). Este debe Demostracio existir por hip otesis. Supongamos = 0, entonces como , () ( ) < (), una contradicci on, luego = 0. 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 verica que ( ) < (S ), luego es u nico. Ejercicios. 1. Demuestre que la funci on denida en los ejemplos 5 es normal. 2. Demuestre el teorema 3.21. 3. Considere la topolog a generado sobre el ordinal por todos los intervalos ( ), ) = { : < < }, donde < . Demuestre que : es continua seg un la denici on 3.9 si y s olo si, es continua en esta topolog a. 6. Ordinales y Buenos Ordenes Esta breve secci on la dedicaremos a demostrar un resultado importante, a saber, que todo buen orden es isomorfo al orden de alg un ordinal. De esta manera, los ordinales sirven para representar a todos
78

los posibles buenos ordenes. Volveremos sobre este tema en el pr oximo cap tulo. Teorema 3.27. Todo buen orden es isomorfo con (el orden de) un ordinal. n. Sea R un buen orden cuyo campo es A . DeDemostracio namos la operaci on unaria F () = R menor elemento de A F si este es no vac o, A si no.

(Para ser rigurosos, la operaci on F debe estar denida para todo conjunto y no s olo para los ordinales, sin embargo, siempre podemos denir F en forma arbitraria para un conjunto x que no es ordinal. Por ejemplo, podemos denir F (x) = A). Por el axioma de reemplazo, = { : F () A} es un conjunto de ordinales y por lo tanto existe alg un ordinal tal que F ( ) / A. Sea = { : F ( ) / A}.

Observemos que si F ( ) / A, entonces F ( ) = A y A F = , luego si > , F () / A. Esto demuestra que = . Si < < , entonces F F , luego A F A F , y por lo tanto R menor elemento A F R menor elemento A F , es decir, F () F ( ). Por otra parte, si < , F () F , luego F () / A F y por lo tanto F () = F ( ). Esto demuestra que si denimos f : A F (), f es una biyecci on y si y s olo si f ()Rf ( ), o sea, R y son isomorfos.
79

7. Aritm etica Ordinal A continuaci on deniremos la suma, el producto y la exponenciaci on de ordinales. Las dos primeras operaciones tienen una interpretaci on bastante intuitiva en t erminos de buenos ordenes. Como sabemos todo ordinal esta bien ordenado por , es m as, como vimos en la secci on anterior, todo buen orden est a codicado o representado por alg un ordinal. Ahora bien, la suma de dos ordinales y representa al (buen) orden que resulta de ordenar poniendo todos los elementos de despu es de los de , gr acamente

Por su parte representa al (buen) orden lexicogr aco sobre (ver ejercicios). La exponenciaci on no tiene una interpretaci on intuitiva. 7.1. Suma de Ordinales. n 3.10. Denimos la suma de ordinales como sigue. Si Definicio es un ordinal cualquiera i) + 0 = ii) + S = S ( + ) iii) + = { + : }, si 0 = = Obs ervese que tal operaci on est a bien denida en virtud del teorema 3.20, ii), donde G(x) = Sx y H (x) = x. Adem as para todo , , + es un ordinal. Teorema 3.28. Para todo par de ordinales y , la funci on + : + + , es una funci on normal. n. + es continua por denici Demostracio on. 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 on de esta secci on. Teorema 3.29. Dados y ordinales, denimos el orden R cuyo campo es {0} {1} como sigue: x0 , y0 R x1 , y1 si y solamente si se verica una de las siguientes condiciones 1. x0 = x1 = 0 y y0 y1 < , 2. x0 = 0 , x1 = 1, 3. x0 = x1 = 1 y y0 y1 < . Entonces R es un buen orden isomorfo a + . n. Es f Demostracio acil demostrar que R es un buen orden (ver ejercicios). Denimos: si x = 0 y < , F (x, ) = + si x = 1 y < . Entonces Dom F = { 0, : } { 1, : } = Cam R . Tambi en es claro que Rec F + . Para ver que Rec F = + , sea + , . Luego < + . Como + es normal, por teorema 3.26, existe un u nico tal que + ( ) < + ( ), o bien + < + S = S ( + ). Por teorema 3.16, vi) , + = . Luego, como tiene que ser menor que , = + = F (1, ) , o sea, Rec F y por lo tanto + = Rec F . Por u ltimo como + es normal, es f acil vericar que xRy y que F es inyectiva. ssi F (x) F (y )

Algunas de las propiedades m as importantes de la suma de ordinales est an resumidas en el siguiente teorema. Teorema 3.30. Sean , , ordinales. Entonces i) ( + ) + = + ( + ). ii) + .
81

iii) iv) v) vi) vii)

< si y s olo si existe > 0 tal que + = . Si < , entonces + + . S = + 1. 0 + = . Si < , entonces + < + . i) Por inducci on sobre .

n. Demostracio 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 on y demuestra por lo tanto la asociatividad de + . ii) Por inducci on sobre . 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 o, luego A tiene un menor elemento tal que 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 un < , lo que contradice la minimalidad de . 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 on sobre . 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 on sobre . Si = 0, entonces 0 + = 0 = .
83

 0 + S = S (0 + ) = S. Si 0 = = y para todo , 0 + = , 0 + = {0 + : } = { : } = , lo que completa la inducci on. vii) Ya lo demostramos en el teorema 3.28. La suma de ordinales restringida a nos da la suma usual de los n umeros naturales, por ejemplo, 2 + 2 = 4. En efecto 2 + 2 = 2 + S 1 = S (2 + 1) = S (2 + S 0) = SS 2 = S 3 = 4. En el pr oximo teorema se demuestran algunas propiedades de la suma de los n umeros naturales. Teorema 3.31. Sean m y n n umeros naturales. Entonces i) m + n es natural. ii) n + 1 = 1 + n. iii) m + n = n + m. n. Demostracio i) Por inducci on sobre n . m + 0 = m es natural. Si m + n es natural, su sucesor tambi en lo es. Pero S (m + n) = m + Sn, luego m + Sn tambi en es natural. Por el principio de inducci on, 3.1, para todo natural n, m+ n es natural. ii) Por inducci on sobre n . 1 + 0 = 1 = 0 + 1, por 3.30, vi). Supongamos que 1 + n = n + 1. Entonces 1 + Sn = S (1 + n) = S (n + 1) = SSn = Sn + 1, lo que completa la inducci on. iii) Por inducci on sobre n . m + 0 = 0 + m por 3.30, vi). Supongamos que m + n = n + m. Entonces m + Sn = = = = m + (n + 1) = (m + n) + 1 (n + m) + 1 = n + (m + 1) n + (1 + m) , por ii), (n + 1) + m = Sn + m ,

lo que completa la inducci on.

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 umeros naturales. Teorema 3.32. si y s olo si 1 + = . n. Ya vimos que 1 + = . Demostracio Si , existe tal que = + . Entonces 1 + = 1 + ( + ) = (1 + ) + = + = . Si < , entonces por 3.31 ii), 1 + = + 1 = . 7.2. Multiplicaci on de Ordinales. n 3.11. Denimos por recursi Definicio on el producto por como sigue i) 0 = 0. ii) S = + . iii) = { : }, si 0 = = . Como en el caso de la suma, hemos denido la multiplicaci on por recursi on usando el teorema 3.20, donde G(x) = x + y H (x) = x. = 0 la

Teorema 3.33. Para todo par de ordinales y , funci on : es una funci on normal. ,

n. es continua por denici Demostracio on. Para ver que normal, por teorema 3.22, basta vericar que para todo ( ) < (S ). ( ) = < = = + , S (S ).
85

por teorema 3.30, iii),

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

Entonces R es un buen orden isomorfo a }. n. Podemos suponer que y son distintos de 0. Demostracio Es f acil demostrar que R es un buen orden (ver ejercicios). Para , , denimos F ( , ) = + . Entonces Dom F = = Cam R. F es una funci on y para cada , , 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 u nico tal que < S = + . Es claro que < y que si , < . Ahora bien, como , por 3.30, iii) existe un u nico tal que + = . Evidentemente < pues si no, < S = + + = . Por lo tanto, dado , existe un u nico , 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 isomorsmo.

Observaci on. El orden R reci en introducido se llama orden antilexicogr aco, corresponde a sustituir cada elemento de por una copia de . Las propiedades b asicas de la multiplicaci on ordinal est an resumidas 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. n. Demostracio i) Por inducci on sobre . 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 on, por lo tanto ( + ) = + .

ii) iii) v) vii)

Por inducci on sobre usando i). y iv) se demuestran por una sencilla inducci on. Por denici on. Por inducci on sobre . Sea 1 . Si = 0, 0 0 = 0. Si , entonces S = = S ( ) +1 + S.

Si = = 0 y para todo < , lo que completa la inducci on. ix) Por inducci on sobre . x) Por inducci on sobre .
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 on. El siguiente teorema demuestra que la multiplicaci on de ordinales restringida a verica las propiedades que esperamos que esta verique, a saber, que sea conmutativa y que distribuya por la derecha sobre la suma. Cabe destacar que la multiplicaci on ordinal en general no verica estas propiedades. Por ejemplo, 2 = =+ =2 y por ende = (1 + 1) = + Teorema 3.36. Sean m , n y l n umeros naturales. Entonces i) m n es natural. ii) m n = n m. iii (m + n) l = m l + n l. n. Demostracio i) Por inducci on sobre n . ii) Por inducci on sobre n . Si n = 0, entonces m n = n m = 0 Si m k = k m, demostraremos por inducci on sobre m que para todo m, m Sk = Sk m. Si m = 0, m Sk = Sk m = 0
89

 Si l Sk = Sk l, entonces Sl Sk = = = = = = = = = = Sl k + Sl k Sl + Sl, (k l + k ) + Sl (l k + k ) + Sl, (l k + Sl) + k, (l k + (l + 1)) + k (l k + l) + (k + 1) l Sk + Sk Sk l + Sk, Sk Sl. por hip otesis de inducci on sobre m, por hip otesis de inducci on sobre, n por 3.30, i) y 3.31 iii),

por hip otesis de inducci on sobre, m

Esto completa ambas inducciones. N otese que en la demostraci on anterior se hizo una doble inducci on, es decir, el paso de inducci on se demostr o, a su vez, por inducci on. Teorema 3.37. (Algoritmo de la divisi on). Si y son ordinales y = 0, entonces existe un u nico y un u nico tales que =+ , y < .

n. Como es normal, en virtud de 3.26, existe un Demostracio u nico tal que < S = + . Por 3.30, iii) existe un u nico tal que + =. Por 3.35, vi), es claro que . Adem as, < , pues si , < + + = . Teorema 3.38. Las siguientes armaciones son equivalentes. i) es l mite. ii) = , para alg un = 0. iii) Para todo m {0}, m = y = 0. n. Demostracio i) ii) Por el algoritmo de divisi on, existen y tales que , < y = + .
90

Si = 0 , = Sm, para alg un m , entonces = + Sm = S ( + m), o sea no es l mite. Por lo tanto =0y = . Obviamente = 0 pues si no, = 0. ii) iii) Primero veriquemos que para todo m {0} m = . En efecto, por 3.35, vi), luego m = . Entonces si m = 0 y = , para alg un = 0, iii) i) Supongamos m = , = 0 y = S para alg un . Entonces una contradicci on, luego es l mite. 7.3. Exponenciaci on de Ordinales. n 3.12. Sean y ordinales. Denimos por recursi Definicio on la exponenciaci on de ordinales como sigue. i) 0 = 1. ii) S = . iii) = { : }, si = = 0. Como en el caso de la suma y la multiplicaci on, hemos denido la exponenciaci on por recursi on usando el teorema 3.20, donde 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 on exp : ,

es una funci on normal.

n. Como exp es continua por denici Demostracio on, basta demostrar que es estrictamente creciente. Para ello usamos el teorema 3.22. Por inducci on podemos demostrar que = 0 para todo ordinal . Luego, exp ( ) = = 1 < = S = exp (S ).
91

Las propiedades de la exponenciaci on de ordinales se resumen en el 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 .

n. Demostracio i) y ii) se demuestran por inducci on. iii) es obvio. iv) se verica porque exp es estrictamente creciente y 1 = . v) se puede demostrar por inducci on sobre o por 3.21 porque exp es normal para > 1. vi) simplemente expresa que exp es creciente para > 1. vii) Por inducci on sobre . 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 on. viii) Por inducci on sobre 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 on de vii). Esto completa la inducci on. ix) Si 1 < y 0 < , entonces por vi), 1 = 0 < . x) Por inducci on sobre . Si = 2, entonces = 2 = + = 2 =
93

 Si , entonces S = =

+ + S .

Si = = 0 y para todo , , entonces = { : < } { : < }

= .

Esto completa la inducci on. El u ltimo teorema de esta secci on nos dice que la exponenciaci on de ordinales restringida a los n umeros naturales tiene las propiedades que esperamos que esta tenga. Teorema 3.41. Sean l , m y n n umeros naturales. Entonces n i) m es un n umero natural. ii) (l m)n = ln mn n. Ambas se demuestran por inducci Demostracio on sobre n .

Ejercicios. 1. Demuestre que los ordenes denidos en 3.34 y 3.29 son buenos ordenes. 2. Demuestre la asociatividad de la multiplicaci on, 3.35, ii). 3. Demuestre tambi en 3.35, iii), iv), v) y ix). 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 olo si es ordinal l mite. 8. Probar que + = { + : }. 9. Probar que si es ordinal l mite, entonces { + ; } = { : + }. 10. Sea F una operaci on tal que si es ordinal, entonces F () es ordinal. Denimos la operaci on 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 bien denida sobre los ordinales. (a) F est (b) Si es ordinal, entonces F () es ordinal. (c) Denimos F ( ) = F (). n = . (i) Probar que n (ii) Para cada n denimos 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 on 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 on de que si , entonces 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 en F ( ) es tambi 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 on por 2 un ordinal tiene por resto a 0 o a 1 , y se dir a que tal ordinal es par o impar en los respectivos casos. Clasicar 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 on F sobre el ordinal que lleva ordinales en ordinales puede ser representada por (i )i , donde i = F (i) , para todo i . En tal caso hablamos de una sucesi on de ordinales (es claro que si F es operacion arbitraria que lleva ordinales en ordinales, restringi endola a un ordinal cualquiera la consideramos como sucesi on de ordinales). Diremos que una sucesi on de ordinales tiene l mite = limi ai si y s olo si dada una vecindad (, ) de , existe un ordinal tal que si i < se tiene i (, ). (a) Probar que limi i es el supremo de {i : i } , si (i )i es una sucesi on de ordinales estrictamente creciente. (b) Dar un ejemplo de dos sucesiones de ordinales estrictamente crecientes (i )i y (i )i , tales que limi i + limi i = limi (i + i ). (c) Probar que es l mite de cualquier sucesi on de ordinales tal que (i )i S , pero no existe una sucesi on de ordinales (i )i que simult aneamente est e contenida en S {} y que tengta a como l mite. (d) Sea (i )i una sucesi on estrictamente creciente de ordinales con como l mite. Probar que i = para todo i . Adem as, probar que es ordinal l mite.
96

18. 19.

20. 21. 22.

(e) Sea (i )i una sucesi on de ordinales no necesariamente 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 on estrictamente creciente de ordinales, probar que para todo ordinal se tiene + limi i = limi ( + i ) , pero no necesariamente se tiene limi i + = limi (i + ). Probar tambi en que (limi i ) = limi ( i ) , pero no necesarimente (limi i ) = limi (i ). Sea (i )i una sucesi on de ordinales tal que i = para todo i . Probar que i i = . (a) Probar que n = si n . (b) Probar que es ordinal l mite si y s olo si n = para 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 on que lleva ordinales en ordinales. Denimos ( ) 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 a bien denida. (b) F () es un ordinal si lo es. (c) F () = 0 si y s olo si existe tal que F ( ) = 0. (d) Denimos F ( ) := F (). Para cada n denimos 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 on que lleva ordinales en ordinales, entonces si para todo se tiene F ( ) G( ) , ello implica que F ( ) G( ). Simplicar + 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 on sobre los ordinales tal que F ( ) = para todo , entonces F ( ) = . Encontrar la suma y el producto de la sucesi on de ordinales (i )i tal que i = i , para todo i . Sea (i )i la sucesi on de ordinales tal que 0 = y S = ( ) para . Sea 0 = {i : i }. Probar que 0 = 0 . (a) Probar que si < 0 , entonces: (i) + 0 = 0 . (ii) 0 = 0 . (iii) 0 = 0 . (b) Probar que 0 = 0 para todo ordinal Probar que si es ordinal 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 u nicos 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). + 2 + 3 + ... + 1 + 2 + 3 + ... (h) 1 (i) 2 3 . . . 1 2 3 . . . (j) 2 3 . . . n1 n+1 . . . 2 3 . . .
98

36. Expresar en la forma n an + n1 an1 + . . . + 1 a1 + a0 , donde 1 < 2 < . . . < n1 < n son ordinales , n , y ai 1 para i Sn : (a) 3 (b) ( + 1)2 (c) 2 ( + 1) (d) ( + 1) 2 (e) ( 2 2 + 4 + 3) 5 (f) 2 + 2 + 2 (g) ( 2 3 + 2) ( 3 2 + 4 + 2) 37. Diremos que > 1 es ordinal primo si no existen y tales que 1 < < y 1 < < y = . (a) Probar que si n , esta denici on coincide con la denici on cl asica de ser primo. (b) Probar que los siguientes ordinales son primos : , + 1, 2 + 1, 3 + 1, . (c) Probar que si > 1 , entonces existe n tal que para todo m < n existe un ordinal primo m , con los que se tiene : = m . Es u nica esta representaci on ? ( ver 2 ). (d) Probar que si es ordinal l mite , entonces es primo si y s olo si existe un ordinal tal que = . (e) Probar que si > es ordinal sucesor, entonces es primo si y s olo si existe > 0 tal que = + 1. 38. Probar las siguientes factorizaciones en primos: (a) 2 + + 1 = ( + 1)2 (b) 2 3 + 1 = ( 2 + 1) 3 (c) 2 + 2 = 2 ( 2 + 1) (d) 3 7 + 2 5 + 3 = 3 ( 2 + 1) 5 ( + 1) 7 (e) + + 1 = ( + 1) ( + 1) (f) +1 + + 4 + 2 = ( 2 + 1) ( + 1) ( + 1) 39. Expresar como producto de primos: (a) 4 + 24 (b) 2 + 1 (c) 2 + 2 + 1 (d) 3 3 + 2 7 + 6 (e) + 3 + 2 (f) +1 2 + 3 + 2 (g) 6 2 + 5 5 + 3 + 2 7 2 (h) 6 + +5 3 + +1 2 + 4
99
mn

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 umero epsilon si = . +1 +1 (a) Denimos E () := ( + 1) + +1 + + + ... Probar que E () es un n umero epsilon, que < E () , que no existe un n umero epsilon tal que < < E (). Probar tambi en que si < y no existe un n umero epsilon tal que < , entonces E () = E ( ). (b) Probar que si denimos por: 0 = E (0); S = E ( ); si es ordinal l mite, entonces = lim , entonces para todo ordinal se tiene que es un n umero epsilon y que si es un n umero epsilon, entonces existe un ordinal tal que = . (c) Probar que si es un n umero epsilon, entonces dado un ordinal , se tiene que si 2 < , entonces + = y = y = . (d) Probar que si existe un ordinal tal que = , entonces es un n umero epsilon. (e) Probar que si = , entonces = . (f) Probar que si = , entonces + = . (g) Probar que si es un n umero epsilon, entonces = ( ) , para todo ordinal . (h) Probar que si es ordinal l mite y es un n umero epsilon tales que < , entonces = ( ) . 42. Encontrar un conjunto de racionales tales que bajo su orden usual sea isomorfo a: (a) + 1 (b) 2 (c) 3 (d) +1 ( Por ejemplo, { nm : n, m N {0}} es isomorfo a 2 ). 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 a Acumulativa de Conjuntos En esta secci on construiremos recursivamente una clase de conjuntos que es de gran importancia en el estudio m as avanzado de los fundamentos de la teor a de conjuntos. Si bien estos temas caen fuera del alcance de este libro, esta construcci on, llamada la jerarqu a acumulativa de conjuntos, ayuda a entender la complejidad relativa de los conjuntos y el rol que juega el axioma de regularidad en la estructura de los mismos. n 3.13. Para cada ordinal denimos Definicio V0 = V+1 = PV V =

V , si es l mite.

La colecci on de los V se llama la jerarqu a acumulativa de conjuntos. Es usual denir tambi en el universo de von Neumann a la clase propia V= {V : Ord()}.

Observemos que los V est an bien denidos en virtud del teorema 3.20, ii). Las operaciones empleadas son G(x) = P x y H (x) = x.

Debe tambien tenerse presente que V no es un objeto de nuestra teor a y debe entenderse s olo como una manera de abreviar un concepto correspondiente a la f ormula (x) = (Ord() x V ). Como veremos, el axioma de regularidad es equivalente a decir que todo conjunto verica varphi(x). Teorema 3.42. 1. Si , entonces V V . 2. Si , entonces V V . 3. Para todo , V es transitivo.
101

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

Supongamos que existe un conjunto a tal que a / V , o m as formalmente, supongamos (a), donde varphi(x) es la f ormula de L1 que lo expresa. (Ver m as arriba.) 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 as x T (a), x b, es decir x c b, lo que contradice el axioma de regularidad.
102

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

103

104

CAPITULO 4

El Axioma de Elecci on
El u ltimo axioma de la teor a de conjuntos en cierta medida pertenece a una categor a aparte debido a las importantes consecuencias que de el se desprenden. Estudiaremos varias formulaciones diferentes de este y enseguida algunas de sus aplicaciones. 1. Equivalencias del Axioma de Elecci on Axioma de Elecci on (AC ): Si A es un conjunto de conjuntos no vac os, entonces existe una funci on F cuyo dominio es A y tal que para todo x A, F x x . Tal funci on se llama una funci on de elecci on para A . Observemos que F : A A

x F x x

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

3. Principio de Enumeraci on: Para todo conjunto A existe un ordinal y una funci on 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 otese que la hip otesis del lema de Zorn implica que A = 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 on inyectiva de A en B o existe una funci on inyectiva de B en A . 8. Principio de la Imagen Inversa: Dados dos conjuntos no vac os A y B , existe una funci on sobreyectiva de A en B o existe una funci on sobreyectiva de B en A . Como veremos en el Cap tulo 5 estos dos u ltimos principios son muy importantes en la teor a de cardinalidad. Teorema 4.1. Todos los principios anteriores son equivalentes al axioma de elecci on. n. Primero demostraremos AC 1) 2) AC . Demostracio AC 1). Sea A una funci on con Dom A = I tal que para todo i I , 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
iI

i F (Ai )

1) 2). Sea P una partici on de A . Entonces P P A, luego P es un conjunto. Consideremos IP , la funci on identidad sobre P . Por 1) M P IP (M ) = M P M = , luego existe una funci on G , tal que Dom G = P y para todo M P, G(M ) M . Como M A para todo M P, Rec G A. Adem as, como los elementos de P son disjuntos, para cada M P , M Rec G = {G(M )}. 2) AC. Sea A un conjunto no vac o de conjuntos no vac os. Denamos K = { x, y : y x A} y P = {{ x, y : y x} : x A}. Es claro que K es un conjunto (por qu e?) y que P es una partici on de K . Escojamos B K tal que para cada M P, B M tiene exactamente un elemento. Entonces B es una funci on de elecci on para A . En efecto, para cada x A, B { x, y : y x} = {yx }, para alg un yx x. Luego B es funci on, Dom B = A y para cada 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 on biyectiva de en A . Podemos suponer que A = . Consideremos P A {}. Este es un conjunto no vac o de conjuntos no vac os, luego existe una funci on de elecci on F para el. Notemos que esta asigna a cada subconjunto no vac o de A un elemento de si mismo. Denimos por recursi on una operaci on unaria H como sigue H () = F (A H ) , A , si A H = , si A H = .

G iI Ai ,

o sea,

iI Ai = .

Si < , entonces H H A H A H ,
107

luego, si A H = , entonces tambi en A H = . Por lo tanto, si < ; y H () = A, entonces H = A. Si < y H ( ) = A, entonces como H () H y por ser F funci on de elecci on, H ( ) A H , 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 on unaria (denimos Hx = x si x no es ordinal) y como para todo par de ordinales = , H = H , por el axioma de reemplazo, B = { : H P A {}} es un conjunto. Pero por la suposici on anterior, B contiene a todos los ordinales, luego no es un conjunto, contradicci on. Por lo tanto existe tal que H ( ) = A. Sea = { S : H ( = A)}, es decir es el menor ordinal tal que H () = A, luego si < , H = A. Denimos G : A H ( ).

Entonces G es una funci on biyectiva. 3) 4). Sea A un conjunto y sean y G como en 3). Entonces R = { x, y A A : G1 x G1 y } es un buen orden. 4) 5). Sea un orden parcial con campo A , tal que toda cadena tiene una cota superior. Sea S un buen orden cuyo campo es A . Denimos la siguiente operaci on unaria. S menor elemento de {a A : x(x F x < a} si este es no vac 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 on anterior, existe tal que F ( ) = A, pues si no, por el axioma de reemplazo, es un conjunto de ordinales que contiene a todos los ordinales, lo que es una contradicci on. 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 on, luego c es maximal. 5) 6). Sea R un orden parcial y S R un suborden total. Sea Consideramos A ordenado por inclusion. Entonces toda cadena B tiene una cota superior, a saber, B . Por el lema de Zorn, A tiene un elemento maximal el que obviamente verica la tesis de 6). 6) 7). Sean A , B conjuntos. Denimos 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 on inyectiva, Dom F A y Rec F B . Supongamos que Dom F = A y Rec F = B , entonces existe a A Dom F y b B Rec F . Denimos 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 contradiccion. Por lo tanto Dom F = A o bien Rec F = B . En el primer caso F es inyectiva de A en B , en el segundo caso, F 1 es inyectiva de B en A . 7) 8). Sean A y B conjuntos no vac os. Supongamos sin p erdida de generalidad que existe una funci on inyectiva, f : A B . Sea a A y denamos 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 on debemos demostrar un lema previo. Lema 4.2. Sea B un conjunto. Entonces = { : existe funci on inyectiva f : B } tambi en es un conjunto. n. Sea M = {R : R es un buen orden y campo Demostracio R B }. M P (P B P B ), por lo tanto M es un conjunto. Como sabemos, por el teorema 3.27, para todo buen orden R existe un u nico ordinal tal que R y { , : < }, es decir, el orden de , son isomorfos. Entonces = { : existe R M es isomorfo con R}. En efecto, si existe una funci on inyectiva f : B , entonces R = { f ( ), f ( ) : < } M, R y son isomorfos y el isomorsmo es precisamente f . Supongamos ahora que es isomorfo a un buen orden R M y sea g : R tal isomorsmo. Entonces por ser isomorsmo, 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 o de conjuntos no vac os. Queremos encontrar una funci on de elecci on para
110

A . Como A es conjunto, P demostrado,

A tambi en lo es,luego or el lema reci en

= { : existe funci on inyectivaf : P

es un conjunto de ordinales. Sea = + 1. Es claro que no existe una funci on inyectiva de en P A ya que . Por otro lado, tampoco existe una funci on sobreyectiva f : A , pues si existiera, podriamos denir g : P A f 1 {} ,

o sea, existir a una funci on inyectiva de en P A, contradiciendo la u ltima armaci on. Entonces por 8), existe una funci on sobreyectiva g : A. Denamos F : A a g ( A g 1 a) .

F es una funci on de elecci on. En efecto, si x A, entonces 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 aticas hay importantes aplicaciones del axioma de elecci on. A continuaci on daremos una breve lista con algunas de estas. 1. Todo espacio vectorial tiene una base. 2. La uni on enumerable de conjuntos enumerables es enumerable. 3. Existe un conjunto de n umeros reales que no es Lebesgue-medible. 4. El producto de espacios compactos es compacto. 5. Todo anillo con unidad tiene un ideal maximal. 6. Todo orden parcial puede extenderse a un orden total. 7. El teorema de Hahn-Banach. 8. El teorema de completud para la l ogica de primer orden. 9. Toda algebra de Boole es isomorfa a un campo de conjuntos.
111

Demostraremos algunas de estas. Supondremos que el lector maneja los conceptos involucrados en cada caso. Teorema 4.3. Todo espacio vectorial tiene una base. n. Sea V un espacio vectorial y sea A = {B V : Demostracio B es linealmente independiente}. Consideremos a A parcialmente ordenado por inclusi on. 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 , . . . , vn1 C , luego existe B0 , . . . , Bn1 C tales que vi Bi , i < n. Pero C es una cadena, luego Bi Bn1 , i < n, por lo tanto v0 , . . . , vn1 Bn1 y como este es linealmente independiente, 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 on enumerable de conjuntos enumerables es enumerable. n. Recordemos que un conjunto A se dice enumerDemostracio able si existe una biyecci on entre A y . Sea C un conjunto enumerable de conjuntos enumerables. Por simplicidad podemos suponer que los elementos de C son todos disjuntos. Si C = {Ai : i }, sea fi : Ai una biyecci on. Denimos 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 on g de en 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 biyeccion entre y C , luego este u ltimo es enumerable. Observemos que en la demostraci on anterior aparentemente no hemos usado el axioma de elecci on. Sin embargo este se us o cuando escogimos las funciones biyectivas fi , especicamente, si Bi = {f : Ai , f biyectiva } A = {Bi : i } es un conjunto no vac o de conjuntos no vac os ( esto u ltimo por hip otesis) luego por el axioma de elecci on existe para cada i un elemento fi Bi . Este teorema es el ejemplo cl asico de uso encubierto del axioma de elecci on. Durante a nos los matem aticos hicieron uso de argumentos como el anterior sin darse cuenta de que estaban usando un principio especial. Teorema 4.5. Existe un conjunto de n umeros reales que no es Lebesgue-medible. n. Denimos sobre [0, 1) la siguiente relaci Demostracio on de equivalencia. x y ssi x y Q Entonces induce una partici on de [0, 1). Por el principio de Zermelo, existe un subconjunto B [0, 1) tal que B contiene exactamente un representante de cada clase de equivalencia. Sea {ri }i una enumeraci on de los racionales entre 0 y 1 (ver cap tulo 5) y sea Bi = B + ri = {x + ri : x B }, donde la suma es m odulo 1 i.e. x+y si x + y < 1 x+y = x + y 1 si x + y 1 Es bien sabido que si A es un conjunto Lebesgue-medible, entonces A + a tambi en lo es; m as a un, m(A) = m(A + a).
113

Notemos que todo x [0, 1) pertenece a alg un Bi puesto que induce una partici on de [0, 1). Por lo tanto [0, 1) =
i

bi .

Adem as la uni on es disjunta ya que Bi Bj = si i = j . En efecto, si x, y B y x + ri = y + rj entonces x y = rj ri Q , o sea, x y y como B contiene un solo representante de cada clase de equivalencia, x = y , entonces ri = rj , o sea, i = j , contradicci on, luego i = j Bi Bj = . Por lo tanto m([0, 1) = m(
i

Bi ) =
i

m(Bi ).

Si B fuera medible, por la observaci on hecha anteriormente, para 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. n. Sea un orden parcial, B = Cam . Demostracio Consideremos el conjunto de todos los ordenes totales que extienden a A = {R B B : R es un orden total y x, y (x y x Ry ), A est a ordenado por inclusi on. 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 suciente probar que campo M = B . Supongamos que no es as , entonces existe a B Cam M . Denimos 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 acil vericar que R es un orden total que extiende a M , contradicci on.

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

115

116

CAPITULO 5

Cardinales
En este cap tulo investigaremos uno de los t opicos m as importantes de la teor a de conjuntos, a saber, la teor a de la cardinalidad o n umero de elementos que tiene un conjunto. Hasta el momento sabemos c omo contar los elementos de los conjuntos nitos. En este cap tulo formalizaremos estos conceptos intuitivos y los generalizaremos a conjuntos innitos. La mayor parte de los teoremas de este cap tulo dependen del axioma de elecci on. Indicaremos estos mediante el s mbolo . 1. Deniciones y Resultados B asicos n 5.1. Definicio i) Dos conjuntos A y B son equinumerosos ssi existe una biyecci on entre A y B . En tal caso escribimos A B. ii) Un ordinal es un cardinal ssi no es equinumeroso con ninguno de sus elementos. Si es un cardinal escribimos Car (). En general usaremos letras g oticas min usculas m, n, p para designar cardinales. Ejemplo. 1. Dos intervalos de n umeros reales son siempre equinumerosos. Para demostrar esto basta ver que f : [a, b] [c, d] dc cb ad x x+ ba ba es una biyecci on. 2. Todo intervalo abierto es equinumeroso con el conjunto de los n umeros reales. Consid erese la funci on tan : ( , ) R 2 2 Sabemos que tan x es una biyecci on. Una funci on similar a la del ejemplo anterior demuestra que cualquier intervalo abierto es , ). equinumeroso con ( 2 2
117

3. y son equinumerosos. Consid erese la funci on f : m, n 2m (2n + 1) 1 .

f es una biyecci on. Resulta claro que la relaci on ser equinumeroso es reexiva, sim etrica y transitiva, pero no es una relaci on dentro de nuestra teor a ya que su campo es la clase de todos los conjuntos. Naturalmente, si nos restringimos a un conjunto particular, esta es una relaci on de equivalencia. En el caso nito, la cantidad de elementos de un conjunto nos sirve como una noci on de tama no. Para ello se identica todos aquellos conjuntos que tienen el mismo n umero de elementos, en otras palabras, todos aquellos que son equivalentes bajo la relaci onanterior. Una posible idea es denir la cardinalidad de un conjunto como su clase de equivalencia bajo la relaci on de equinumerosidad, sin embargo, es claro que la clase de equivalencia de cualquier conjunto no vac o es una clase propia, por lo tanto no existen dentro de nuestra teor a,luego no podemos usarlas como cardinales. Para conjuntos nitos, es f acil ver que en cada clase de equivalencia habr a un u nico n umero natural, este se conoce habitualmente como la cardinalidad o n umero de elementos del conjunto, vale decir, aquel u nico natural con el que es equinumeroso. Podemos tratar de generalizar la idea anterior a conjuntos innitos, sin embargo, hay dos dicultades, la primera es que dado un conjunto innito cualquiera, no podemos garantizar que exista alg un ordinal que es equinumeroso con el. De hecho tal armaci on es ni m as ni menos, el principio del buen orden, es decir, equivalente con el axioma de elecci on. En segundo lugar, es f acil ver que si existe un ordinal equinumeroso con un conjunto innito dado, este no ser a nunca u nico, como lo demuestra por ejemplo la funci on que aparece en la demostraci on del teorema 5.3, la que nos dice que y + 1 son siempre equinumerosos. Por estos motivos, la manera de extender la noci on de cardinalidad de los conjuntos nitos a los innitos es suponer el Axioma de Elecci on 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. n. Como m y n son ordinales distintos m n o Demostracio n m, luego m y n no son equinumerosos por denici on de cardinal.
118

Teorema 5.2. Para todo conjunto A existe un u nico cardinal n tal que A y n son equinumerosos. n. Por el principio de enumeraci Demostracio on existe un ordinal tal que A es equinumeroso con . Sea m= { S : A },

o sea, m es el menor elemento del conjunto no vac o { S : A }, es claro entonces que A m. Por u ltimo, si existiera m tal que m, tendr amos que A, luego m no es el menor elemento del conjunto anterior, contradicci on. Por lo tanto m es un cardinal. Resulta claro que m no depende del ordinal usado en la denici on. n 5.2. La cardinalidad |A| de un conjunto A es el u Definicio nico cardinal m tal que A m. Decimos tambi en que m es el cardinal de A. Teorema 5.3. Si A , B son conjuntos y es un ordinal, i) A B ssi |A| = |B |. ii) A |A|. iii) || . iv) Si A, entonces |A| . v) es un cardinal ssi || = . vi) Si , entonces | + 1| = . n. Demostracio vi) Si , entonces = + . Denimos f : + 1 como sique si x = , 0 x + 1 si x , f (x) = x si x , x = . Es claro que f es una biyecci on. El pr oximo teorema es probablemente el resultado m as importante sobre cardinalidad que puede demostrarse sin usar el axioma de elecci on. Teorema 5.4. Cantor - Schroeder - Bernstein Si A y B son dos conjuntos tales que existen funciones inyectivas f : A B y g : B A, entonces |A| = |B |.
119

 n. Notemos primero que si Demostracio A1 = g f A entonces 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 denamos 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 on que para todo n , An+1 Dn An . Denimos 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 ) o x (An Dn ) y 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 un n , luego h(x) An+1 . Si suponemos que h(x) Dn+1 , entonces h(x) = h(z ) para alg un z Dn (ya que Dn+1 = h Dn ) pero como h es inyectiva, z = x, es decir x Dn pero x An Dn , contradicci on luego h(x) An+1 , o sea, 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 An1 . Si x Dn1 , n 1 = 0 y entonces x An1 Dn1 y por lo que vimos anteriormente, x h (An2 Dn2 ), luego x = h(y ) = F (y ) para alg un y (An Dn ). Si x Dn1 , 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 |. n. Supongamos por el contrario que |B | < |A| y Demostracio sean f, g biyecciones A j B
g

|A| i |B |

donde i y j son la funci on identidad. Entonces j : A B es inyectiva, f 1 i g : B A es inyectiva, luego por el teorema 5.4, |A| = |B |, contradicci on luego |A| |B |. Teorema 5.6. Las siguientes tres condiciones son equivalentes. i) |A| |B |. ii) Hay una funci on inyectiva f : A B . iii) A = o hay una funci on sobreyectiva g : B A. n. i) ii) Demostracio Sean f : A |A|, g : |B | B biyecciones, entonces g f : A B es inyectiva. ii) iii) Sea A = , a A y f : A B inyectiva. Denimos 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 on de B , a saber, {g 1 {a} : a A}. Por el axioma de elecci on, escogemos un sistema de representantes para esta partici on. Denimos f : A B asignando a x A el representante de g 1 {x} anteriormente elegido. Es claro que f es inyectiva, luego, |A| |f A| y f A B , luego por 5.5, |A| = |f A| |B |. Observemos que el axioma de elecci on se usa solamente en la demostraci on de iii) i). Todas las otras implicaciones se pueden demostrar sin ese axioma. Todav a no hemos dado ning un ejemplo de cardinal. Los siguientes dos teoremas remedian esta situaci on. Teorema 5.7. Si n , entonces n es un cardinal. n. Por inducci Demostracio on. 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 on. Podemos suponer que f (n) = m 1, porque si no, mediante una permutaci on apropiada lo podemos lograr. Entonces f n : n m 1 es una biyecci on, luego, por hip otesis de inducci on, m 1 = n, o sea, m = n + 1, una contradicci on. Por lo tanto n + 1 es cardinal, lo que completa nuestra inducci on. Teorema 5.8. es cardinal. n. Sabemos por 5.3, iii), que | | . Si | | < Demostracio , | | = m para alg un n umero natural m. Pero m m + 1 , luego luego m = m + 1, contradicci on. Luego | | = . Teorema 5.9. Cantor Para todo A, |A| < |P A|. n. Es claro que |A| |P A| ya que la asignaci Demostracio on a {a} dene una funci on inyectiva de A en P A. Supongamos que existe una funci on sobreyectiva f : A P A y 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 denici on a f (a), luego a B . Si a B , entonces a f (a), o sea, a B , es decir, a B si y s olo si a B, contradicci on, luego tal funci on sobreyectiva no puede existir y |A| = |P A|. Corolario 5.10. Dado un ordinal , existe un cardinal m > . n. Basta considerar Demostracio m = |P |.

Corolario 5.11. No existe el conjunto de todos los cardinales. n. Si existiera el conjunto C de todos los cardinales, Demostracio por el teorema reci en demostrado, el conjunto
nC

{ n : < n}

contendr a a todos los ordinales y por lo tanto estos constituir an tambi en un conjunto. Teorema 5.12. Si es un conjunto de cardinales, entonces es un cardinal.

n. Supongamos Demostracio no es un cardinal, entonces, | | < (recordemos que es un ordinal). Luego, existe n | | n , pero n y | | < n = |n| | | .

n 5.3. Para todo ordinal , + es el menor cardinal Definicio mayor que . Denimos la operaci on (aleph) recursivamente para todo ordinal.
123

0 = +1 = ( )+ = Ejercicios. 1. Demuestre que la relaci on ser equinumeroso es reeja sim etrica y transitiva. 2. Probar que: (a) PPP 0 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 ordenes estrictos sobre X y R2 es el conjunto de todos los ordenes sobre X , entonces R1 R2 . (g) Probar que si E es el conjunto de todas las clases de equivalencia sobre A y P es el conjunto de todas las particiones de A , entonces E P . 3. Sea A un conjunto. Probar que P A A 2. 4. Sea {Ij : j J } una partici on de I . Probar que
iI <

, si es l mite.

Ai

(
j J iIj

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 P A P B . 8. Probar que si (A B ) (B A), entonces A B . 9. Probar que si A B y a A y b B , entonces (A {a}) (B {b}). 10. Probar que si A B y C D y C A y D B , entonces (A C ) (B D). 11. Sean (Ai )iI y (Bi )iI dos familias, cada una de conjuntos disjuntos dos a dos. Si Ai Bi para todo i I , probar que iI Ai iI Bi . 12. Sean (Ai )iI y (Bi )iI dos familias de conjuntos tales que Ai Bi para todo i I . Probar que iI Ai iI Bi .
124

13. Demuestre las partes del teorema 5.3 que no fueron demostradas en el texto. 14. Haga la inducci on mencionada en la demostraci on del teorema 5.4. 15. Demuestre directamente, sin usar el axioma de elecci on, la equivalencia de las dos primeras armaciones del teorema 5.6. 16. Demuestre directamente, sin usar el axioma de elecci on, la implicaci on i) iii) del teorema 5.6. 17. Probar que para intervalos de n umeros reales se tiene (a, b) [a, b]. 18. Probar que y | 2| son cardinales distintos. 19. Probar que |Q| = |Q[x]| = , donde Q[x] es el conjunto de polinomios en x con coecientes 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 olo si es 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 olo si = . (b) < si y s olo si < . 27. Probar que para todo cardinal existe un ordinal tal que < . 2. Conjuntos Finitos y Conjuntos Innitos En esta secci on daremos un marco formal a la nociones intuitivas de nitud e innitud yveremos algunas diferencias entre estos dos tipos de conjuntos. n 5.4. Definicio i) Un conjunto A es nito si |A| < 0 . ii) A es innito si |A| 0 .
125

iii) A es enumerable si |A| = 0 . Una consecuencia inmediata de esta denici on es que los n umeros naturales son nitos, es m as, la cardinalidad de un conjunto nito es siempre un n umero natural. As por ejemplo |{x}| = 1 , |{x, y }| = 2 , si x = y , etc. Teorema 5.13. Si A B o existe una funci on sobreyectiva f : B A, entonces: i) Si A es innito, B es innito, ii) Si B es nito, A es nito. n. Si A B , use el teorema 5.5. Demostracio Si existe una funci on sobreyectiva f : B A, entonces como existe una biyecci on g : |A| A, tenemos que g f : |A| B es una funci on sobreyectiva, luego por el teorema 5.6, |A| |B |. (Aqu es donde hemos usado el axioma de elecci on.) La conclusi on del teorema se sigue de esta armaci on. Teorema 5.14. Si A es nito y B A, entonces |B | < |A|. n. Sea b A B y f : A m una biyecci Demostracio on. Podemos suponer que f (b) = m 1 pues si f (b) = m 1 podemos permutar dos valores de f y la funci on resultante sigue siendo biyectiva. Entonces f B : B m 1 es inyectiva y por el teorema 5.6, |B | m 1 < m = |A|. Recu erdese que esta parte del teorema 5.6 no requiere del axioma de elecci on. El teorema anterior caracteriza a los conjuntos nitos, de hecho, se puede denir conjunto innito como un conjunto que es equinumeroso con uno de sus subconjuntos propios. Un conjunto que satisface esta propiedad se dice Dedekindinnito. Se necesita el axioma de elecci on para demostrar que ser innito y ser Dedekindinnito es equivalente. Teorema 5.15. Un conjunto A es innito si y s olo si A es equinumeroso con uno de sus subconjuntos propios.
126

 n. ) Por el teorema anterior. Demostracio ) Como A es innito, |A| 0 = , luego existe una funci on inyectiva f : A. Denamos 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 nitos, |A| = |B | y f : A B , entonces f es inyectiva si y s olo si f es sobreyectiva. n. ) Supongamos f es inyectiva. Si f no es Demostracio sobreyectiva, entonces como f A B , por 5.14 |A| = |f A| < |B |, contradicci on. ) Supongamos que f es sobreyectiva. Entonces f induce la siguiente partici on sobre A : {f 1 {b} : b B }

Podemos seleccionar un representante de cada elemento de la partici on y denir g : B A b el representante de f 1 {b} seleccionado. Obs ervese que como B es nito, la partici on indicada es nita y por lo tanto para seleccionar un representante de cada elemento de la partici on no es necesario el axioma de elecci on. Es claro que f (g (b)) = b y que g es inyectiva. Aplicando la primera parte de esta demostraci on a g , esta es sobreyectiva, es decir, g es 1 biyectiva. Por u ltimo f = g , luego f es inyectiva.

Ejercicios. 1. Demuestre que un conjunto A es Dedekindinnito si existe una funci on inyectiva de A en A , que no es sobreyectiva. 2. Sea F una funci on de A sobre B , con A enumerable. Probar que |B | 0 .
127

3. Probar que, si A y B son nitos, entonces A B , A B y A B son nitos. Si A o B son enumerables es alguno de los conjuntos mencionados innito no numerable?. 4. Probar que A es innito si y s olo si existe un subconjunto enumerable de A . 5. Probar que si A es innito y B no es vac o, entonces A B es innito. 6. Probar que si A es innito y B A es nito, entonces A B es innito. 7. Probar que A es innito si y s olo si para todo n existe B A con B n. 8. Sean A innito 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 innito si y s olo si A (A {x}). 10. Probar que si P A es innito, entonces A es innito. 11. Probar que todo subconjunto de un conjunto enumerable es nito o enumerable. 12. Probar que si A y B son enumerables, entonces A B es enumerable. Probar lo mismo si B es nito 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 on ordinal). 16. Probar que si I = , entonces iI i es enumerable. 17. Probar que el conjunto de todos los subconjuntos nitos de un conjunto enumerable es enumerable. 18. Probar que si A es innito, entonces A es enumerable si y s olo si A B para todo B A innito. 19. Probar que si A es el conjunto de los subconjuntos innitos de , entonces |A| = | 2|. 20. Sea a = (an )n una familia de naturales. Entonces: (a) Diremos que a es eventualmente constante si existen n0 y s tales que an = s para todo n n0 . Probar que el conjunto de las familias eventualmente constantes de n umeros naturales es enumerable. (b) Diremos que a es eventualmente peri odica si existen n0 y p 1 tales que an+p = an para todo n n0 . Probar que el conjunto de las familias eventualmente peri odicas de n umeros naturales es enumerable.
128

21.

22.

23.

24.

25.

26.

(c) Diremos que a es progresi on aritm etica si existe d tal que an+1 = an + d, para todo n . Probar que el conjunto de las progresiones aritm eticas de n umeros naturales es enumerable. Probar que una partici on de un conjunto enumerable tiene un conjunto de representantes, sin usar el Axioma de Elecci on o alguno de sus equivalentes. Sea una f ormula con variable libre x . Probar que si A es nito y se verica () y para todo x A y todo B A si se verica (B ), tambi en se verica (B {x}), entonces se verica (A). Probar que A es nito si y s olo si A pertenece a todo conjunto K tal que K y para todo x A y todo B A tal que B K , se tenga B {x} K . Probar que A es nito si y s olo si A pertenece a todo conjunto K tal que K , y x A implica {x} K y, si B K y C K , entonces B C K . Probar que A es nito si y s olo si P A es el u nico conjunto K tal que K P A, 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 an en B , y C = D, entonces C D = , y (d) B = A. Probar el rec proco usando el Axioma de Elecci on. 3. Aritm etica Cardinal

En esta secci on deniremos suma, producto y exponenciaci on de cardinales y algunas de sus propiedades. Tambi en veremos que estas operaciones tienen una interpretaci on intuitiva. 3.1. Suma de Cardinales. n 5.5. Sea mi : i I una familia de cardinales. La Definicio suma cardinal de los mi denotada por mi es el cardinal del conjunto
iI

iI

{ i, : mi }
129

Si I = 2, escribimos mi = m0 +c m1
i2

M as generalmente si i = n, escribimos
in

mi = m0 +c +c mn1 .

La idea de la denici on es que la suma de cardinales representa la cardinalidad de la uni on de conjuntos disjuntos que tienen las cardinalidades indicadas, as por ejemplo, m0 +c m1 = |{(0, ) : m0 } como |{(0, ) : m0 }| = m0 y |{(1, ) : m1 }| = m1 , la nalidad 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 e conjuntos usemos 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
iI

{(1, ) : m1 }|

Ai

iI

Bi

iI

|Ai |

n. Para i I , sea fi : Ai Bi una biyecci Demostracio on. Denimos f:

iI

Ai

Bi si a Ai .

a fi (a) ,

f est a bien denida ya que los Ai son disjuntos a pares, luego a no puede pertenecer a dos de ellos al mismo tiempo. Es claro tambi en que f es biyectiva. Obs ervese que f = iI fi . Teorema 5.18. |
iI

Ai |
130

iI

|Ai |.

En particular
iI

mi

mi .
iI

n. Si |Ai | = mi para cada i I , sea fi : mi A Demostracio biyectiva y denamos: g:

iI

{ i, : mi } i,

Ai

Es f acil ver que g es sobreyectiva luego por 5.6, | | A i |. iI

fi (a).

iI

Ai |

Algunas propiedades elementales de la suma de cardinales est an resumidas en el pr oximo teorema. Teorema 5.19. ii)
i0

i)
iI

0 = 0.

mi = 0.

iii) Si I J , entonces

iv) Si mi ni , para i I , entonces v)

<m

iI

mi

mi .
iJ iI

mi

ni .
iI

1 = m.

n. i) y ii) son obvias a partir de la denici Demostracio on. iii) Basta notar que
iI

{ i, : mi }

iJ

{ i, : mi },

luego aplicar 5.5. iv) Idem iii) ya que

iI

{ i, : mi }

iI

{ i, : ni }

v) Obs ervese que f : m

m

{ , : 1}

, 0
131

es una biyecci on.

Teorema 5.20. (Conmutatividad Generalizada) Si mi : i I es una familia de cardinales y es una permutaci on de I (i.e. : I I es una biyecci on), entonces mi =
iI iI

m(i)

n. Consid Demostracio erese f:

iI

{ i, : mi } i,

iI 1

{ i, : m(i) }

(i), .

Es claro que f es biyectiva, por ejemplo, para vericar que f es sobreyectiva, sea k, iI { i, : m(i) } es decir k I y m(k) . Sea j = (k ), entonces f ( j, ) = 1 (j ), = k, , con j,
iI {

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 iI

(
j J

mij ).

n. Para cada i, j I J denimos Demostracio 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 as, para cada i I , |

j J

Aij | =
132

mij .
j J

Pero en una familia de conjuntos disj J Aij : i I es tambi juntos a pares luego
iI

j J

Aij | = |

(
iI j J

Aij )|.

Para terminar basta con notar que Aij =

i,j I J iI j J

Aij ,

por asociatividad de la uni on. Juntando los cuatro resultados anteriores, mij = ( mij .
i,j I J iI j J

Para completar estos resultados sobre la suma cardinal veremos algunos teoremas sobre cardinales nitos. Teorema 5.22. Para todo par de n umeros naturales m, n, m +c n = m + n n. Por inducci Demostracio on sobre n . Si n = 0, es f acil comprobar que m +c 0 = m y lo dejamos como ejercicio. Luego m +c 0 = m = m + 0 Antes de demostrar el paso inductivo demostraremos que m +c 1 = m + 1. En efecto, f : { 0, : m} { 1, 0 } m + 1 0, 1, 0 m

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

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

B tambi en

n. Por 5.17, |AB | |A|+c |B | = |A|+|B | < . Demostracio 3.2. Producto de Cardinales. n 5.6. Sea mi : i I una familia de cardinales. Definicio El producto cardinal de los mi es XiI mi = |
iI

mi |

Si I = 2, XiI mi se escribe m0 c m1 . En general si I = n, XiI mi = m0 c m1 c c mn1 . Como en el caso de la suma, el producto de cardinales no depende de los conjuntos que empleemos para calcularlo, s olo de las cardinalidades de esos conjuntos. Teorema 5.24.

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

iI

Ai | = |

iI

Bi |.

n. Sea fi : Ai Bi una biyecci Demostracio on. Consideremos f:

iI

Ai

Bi
iI

denida por f (a)(i) = fi (a(i)), Para todo a iI Ai . Veamos que f es inyectiva. Si f (a) = f (b), entonces para todo i I decir 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 vericar que f es sobreyectiva. Sea b iI Bi y sea a(i) = fi1 (b(i)). Tal a(i) existe por ser fi biyectiva. Es claro que f (a) = b. Por lo tanto f es biyecci on y iI Ai iI Bi . Corolario 5.25. | |A| c |B |.
iI

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

Ai | = XiI |Ai | y en particular |A B | =

134

El pr oximo teorema resume algunas propiedades elementales de el producto cardinal. Teorema 5.26. i) Si XiI mi = 0. ii) Xi mi = 1. iii) XiI 1 = 1. iv) m = |I | m.
iI

mi = 0 para alg un i I , entonces

v) Si mi ni , para todo i I , entonces XiI mi XiI ni . n. Demostracio i) En este caso iI mi = . ii) i mi = {0} iii) iI 1 = {f }, donde f (i) = 0, para todo i I . iv) N otese que I m= luego por denici on,
iI iI

{ i, : m},

m = |

v) En este caso

= |I c m| = |I | c m. mi ni .
iI

iI

{ i, : m}|

iI

Teorema 5.27. (Conmutatividad Generalizada) Si es una permutaci on de I , entonces XiI mi = XiI m(i) . n. Consid Demostracio erese la biyecci on f :
iI

mi

m(i) ,
iI

denida por f (a)(i) = a( (i)). Teorema 5.28. (Asociatividad Generalizada) X i,j

I J mij

= XiI (Xj J mij ).

135

 n. Por el teorema 5.24 Demostracio XiI (Xj J mij ) = | X i,j Denimos F :

I J mij

(
iI j J

mij )| mij | mij )

= |

i,j I J j J

i,j I J

mij

iJ (

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

m c ni .

n. Notemos primero que Demostracio

iI

m c ni = |

iI

{ i, , : m, ni }|,

ya que para todo i I , n c ni { i, , : m, ni }. Por otra parte n c Por u ltimo F : m c

iI iI

ni = |m c

iI

{ i, : ni }|.

{ i, : ni } , i,

iI

{ 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 innito son en alg un sentido triviales. Teorema 5.30. Sea m un cardinal innito. Entonces m c m = m
136

 n. Supongamos que esto es falso. Sea m el menor Demostracio cardinal tal que m c m = m. Deniremos un orden sobre el producto cartesiano m c m y demostraremos que este es un buen orden. Para , , , m denimos , , si y s olo si 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 on es rutinaria. Para ver que 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 o de ordinales. Sea = { : , } para alg un y = }. = { : , }

Finalmente sea Es f acil ver que , es el menor elemento de . Luego, es un buen orden con campo m c m y por lo tanto es isomorfo a alg un ordinal . Sea f : m c m el isomorsmo (i.e. si < , entonces f ( ) f ( )). N otese que en particular, m c m. Supongamos que m. Entonces m c m = |m c m| = || m = m c 1 m c mc donde para el u ltimo paso hemos usado 5.26, v) , o sea, m c m = m, una contradicci on. 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 nito, o bien | | c | | = | |. En el primer caso m es nito. En el segundo m | | y < m lo que contradice el que m sea cardinal. Esto concluye la demostraci on. Corolario 5.31. Si m 0 o n 0 , entonces m +c n = m n. Si adem as m = 0 y n = 0, m c n = m n. Si , son ordinales, entonces + = = c . n. Supongamos sin p Demostracio erdida de generalidad que m 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 as suponemos n > 0, m c n = = m c m m m c 1 m c n

Luego

m c n = m = m n. La observaci on respecto de los ahora es obvia. Corolario 5.32. Sea m un cardinal innito, |Ai | m para todo i I y |I | m. Entonces | iI Ai | m.
138

 n. Demostracio |
iI

Ai |

iI iI

|Ai | m

= |I | c m m c m = m.

Corolario 5.33. La uni on enumerable de conjuntos enumerables es enumerable. Teorema 5.34. (Desigualdad de Zermelo) Si para todo i I mi < ni ,
iI

mi < XiI ni .
iI (ni

n. Como ni mi = , existe f Demostracio Denimos ahora F :

ii

mi ).

{ i, : mi }

ni
iI

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 on. Luego, i = j . Pero entonces = y F es inyectiva. Por lo tanto,
iI

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

mi XiI ni .

Supongamos que son iguales. Entonces existe una biyecci on h:

iI

{ i, : mi }
139

ni .
iI

Para cada i I denimos hi : { i, : mi } ni i, h( i, )(i) . Es claro que hi es inyectiva porque h lo es. Entonces |h i { i, : mi }| |{ i, : mi }| = mi < ni Podemos usar nuevamente el principio multiplicativo y encontrar Como
iI iI (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 denici on de .

Por u ltimo vericamos que el producto de cardinales nitos se comporta como lo deseamos. Teorema 5.35. Si m, n son naturales m c n = m n n. Por inducci Demostracio on - 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 on es disjunta y m {n} m, m c Sn = m c n +c m = mn+m = m Sn . Corolario 5.36. El producto nito de cardinales nitos es nito.

140

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

B g

|A| |B | Denimos F :
A

B |A| |B | x g x f

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

 n. i) - iv) Son obvias. Demostracio v) Basta notar que iI m = I m. Teorema 5.39. i) m ii) (XiI mi )n = XiI mni . n. Demostracio F :
S P
iI

ni

= XiI mni .

i) Sea
iI {

i, :mi }

(ni m)
iI

f F f donde F (f )(i) es la funci on de ni en m denida por F (f )(i)() = f ( i, ). ii) Sea F :

n
iI

mi

(n mi )
iI

donde F (f )(i) es la funci on de n en mi denida por F (f )(i)() = f ()(i) Tanto en i) como en ii) F es biyectiva. Teorema 5.40. (mn )p = mnc p . n. La funci Demostracio on F : p (n m) denida por F (f )( , ) = f ( )() es la biyecci on requerida. El siguiente teorema es bastante u til. Teorema 5.41. Para cualquier conjunto A , |P (A)| = 2|A|
142
nc p

 n. Asociamos a cada conjunto de A su funci Demostracio on caracter 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 . n. Demostracio mn = = (2m )n 2mc n 2n mn ,

en donde hemos usado el hecho de que la exponenciaci on es creciente (ver ejercicios) y dos teoremas anteriores. Luego mn = 2n . Ejercicios. 1. 2. 3. 4. 5. D onde usamos el axioma de elecci on en el teorema 5.17? Probar que si m n, entonces m +c p n +c p. Probar que si m +c 1 = m, entonces m es innito. Probar que si m es innito, 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 < iI mi . 6. Asumiendo que cada suma es de 0 t erminos, probar que: (a) 1 +c 2 +c 3 +c = 0 . (b) n +c n +c n +c = 0 . (c) 0 +c 0 +c 0 +c . . . = 0 . 7. Probar que m n si y s olo si existe p tal que m +c p = n. 8. Probar que: (a) = . (b) Si es ordinal l mite, entonces = . (c) Si (i )iI es una familia de ordinales, con iI i , entonces = iI i si y s olo si = iI i .
143

9. Probar que si m n, entonces m c p n c p. 10. (a) Probar que si m n, entonces mp np . (b) Sea p = 0. Probar que si m < n, entonces pm pn . Probar tambi en que si pm < pn , entonces m < n. (c) M as generalmente, demuestre que si m n con m = 0 y p q, entonces mp nq . 11. Probar que si n y c = 20 , entonces: n 0 (a) (n +c 2)0 = 0 = n +c c = n c c = c = 0 +c c = 0 c c = 0 2 c = c +c c = c c c = c = c. c c (b) (n +c 2)c = c 0 = c = 2 . c (c) 0 = c = 2 . 12. Probar que si I = 1, entonces iI i = c. 13. Probar que {m : m0 = m} es innito. 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 innito m se dice dominante si n < m y p < m implica np < m. Probar que m es dominante si y s olo si p < m p implica 2 < m. 17. Probar que si mi n para todo i I , con |I | n, entonces n iI mi n y iI 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 . 0 Probar que n n = . 1 0 Probar que = c 21 .
||

4. Cardinales Regulares y Singulares n 5.8. Decimos que el ordinal es conal con el ordinal Definicio si existe una funci on estrictamente creciente f : que no es acotada en . La conalidad de es el menor ordinal conal con y se le denota cof ().
144

Obs ervese que si = + 1 es un sucesor, la funci on f : 1 tal que f (0) = no es acotada en , lo que prueba que la conalidad de un sucesor es siempre 1, por lo que este concepto tiene inter es solo para ordinales l mite. El siguiente lema es consecuencia inmediata de la denici on y puede ser usado como denici on alternativa. Lema. Si es conal con , entonces existe una funci on f : tal que f ( ) = .
<

n 5.9. Un cardinal innito se dice regular si es igual a Definicio su conalidad. 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 olo si es l mite. Esto lo demostraremos m as adelante. Teorema 5.43. Un cardinal m es regular si y s olo si para todo X m, si |X | < m, entonces X < m. n. Supongamos que m regular y sea X m tal que Demostracio |X | < m. Veremos que X = m. Para ello sea h : |X | X una biyecci on y denamos recursivamente f : |X | m como sigue 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 acil ver por inducci on que f es creciente y como para todo < |X |, h( ) < f ( ), X Pero por hip otesis y lemma
<|X |

{ X : f and h( ) },

h( )

f ( ).
<|X |

f ( ) < m,
<|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 on del teorema.
145

Teorema 5.44.

Todo cardinal sucesor innito es regular.

n. Consideremos el cardinal +1 y sea f : Demostracio +1 una funci on creciente donde < +1 . Para cada < , f ( ) , luego | | |f ( )| = | | c c = .

<

<

<

Luego f es acotada en +1 y por lo tanto ning un menor que +1 puede ser conal con el. Por lo tanto cof (+1 ) = +1 y este es regular.

Ejercicios. Cu al es la conalidad de + , , ? Demuestre que cof () es un cardinal. Demuestre que cof (cof ()) = cof (). Si m es un cardinal, cof (m) = m. Demuestre que la funci on f denida en el teorema 5.43 es efectivamente creciente. 6. Demuestre que cof (m) es el menor cardinal n tal que existe una partici on de m en n conjuntos cada uno de los cuales tiene cardinalidad estrictamente menor que m. 1. 2. 3. 4. 5. 5. La Hip otesis del Continuo Por el teorema de Cantor 5.9 sabemos que 0 < 20 , es decir, el conjunto de todos los subconjuntos de tiene mayor cardinalidad que . Sin embargo no sabemos si existe alg un otro cardinal entre 0 y 20 . La armaci on de que este no es el caso recibe el nombre de Hip otesis del Continuo (HC), es decir 20 = 1 .

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

En la d ecada del 30, K. G odel demostr o que HC es compatible con ZFC , es decir, que si existe un modelo de ZFC , entonces existe un modelo en el cual HC tambi en es v alido. En otras palabras, es imposible demostrar a partir de ZFC que HC es falsa. En la d ecada del 60, P. Cohen demostr o que HC tampoco es demostrable a partir de ZFC . Estos dos resultados conjuntamente implican que HC es independiente de ZFC y que tanto ella como su negaci on pueden ser agregadas como nuevo axioma de la teor a obteni endose resultados muy distintos. La Hip otesis Generalizada del Continuo (HGC) es la armaci on 2 = +1 .

Los resultados de G odel y Cohen tambi en se aplican a HGC. Es interesante tambi en notar que con posterioridad a los trabajos de Cohen, se ha demostrado que es consistente con ZFC que 20 = 1 , 2 , . . . , pero como veremos a continuaci on, no puede tomar cualquier valor. Lema.
0 < .

n. Como sabemos, = Demostracio dad de Zermelo 5.34, como m < , <

m
0 = .

m . Por la desigual-

Corolario 5.45. 20 = . n. Si 20 = , entonces Demostracio 20 < (20 )0 = 20 c 0 = 0 ,

una contradicci on.

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

 n. Sea F : cof (n) n be such that Demostracio <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 alida. Entonces m n m+ m = n+ m = |n m|

n

y n dos cardinales innitos y suponga

si si si

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

n. (i) Supongamos que n < cof (m). Sea f n m Demostracio entonces f es acotada en n , luego f n , para alg un m. luego | |

<m

<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 innito.
148

2. (Hausdor) Demuestre que 3. Demuestre que dados dos cardinales m y n, m > 2 y n > 0 , se tiene cof (mn ) > n. Concluya que 20 = .
+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 on a la Teor a de Conjuntos y los Fundamentos de las Matem aticas. IVIC., Venezuela, 1996. Notas de Clase. [3] Enderton, H. B. Introduction to Set Theory. Academic Press, 1977. [4] Hrbacek, K. y Jech, T. Introduction to Set Theoru. Marcel Dekker, 1984. [5] Kunen, K. Set Theory, an Introduction to independence proofs. North-Holland, 1980. [6] Kuratowski, K. y Mostowski, A. Set Theory, with an introduction to descriptive set theory. NorthHolland, 1976. [7] Monk, J. D. Introduction to Set Theory, Mac Graw-Hill, New York, 1969. [8] Moore, G. H. Zermelos Axiom of Choice. Its origins, Development, and inuence. SpringerVerlag, 1982.

151

152

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

funci on inversa 30 imagen de un conjunto por una funci on 30 funci on de a en b 31 funci on inyectiva 31 funci on uno a uno 31 funci on sobreyectiva 31 funci on identidad 33 restricci on de una funci on 33 relaci on reexiva 40 relaci on sim etrica 40 relaci on transitiva 40 relaci on de equivalencia 40 clase de equivalencia 41 partici on 42 partici on asociada a una relaci on de equivalencia 42 relaci on asociada a una partici on 42 relaci on antisim etrica 44 relaci on conexa 45 orden parcial 45 orden total 45 relaci on asim etrica 46 orden estricto 46 relaciones isomorfas 46 isomorsmo de orden 46 preorden 47 cota superior 48 cota inferior 48 supremo 48 nmo 48 elemento minimal 48 elemento maximal 48 relaci on bien fundada 49 buen orden 49 sucesor 57 conjunto Inductivo 58 n umeros naturales 58 Principio de Inducci on 58

Principio de Inducci on Completa 61 transitivo 64 ordinal 64 Principio de Inducci on Transnita 70 ordinal sucesor 70 ordinal 70 clausura transitiva 75 funci on nodecreciente 75 funci on estrictamente creciente 75 funci on continua 75 funci on normal 75 jerarqu a acumulativa 101 universo de von Neumann 101 funci on de elecci on 105 equinumerosos 117 cardinal 117 cardinalidad 119 cardinal de un conjunto 119 Teorema de Cantor, Schroeder y Bernstein 119 Teorema de Cantor 122 123 conjunto nito 125 conjunto innito 126 conjunto enumerable 126 suma cardinal 129 Teorema de Zermelo 139 conal 144 conalidad 144 Hip otesis del Continuo 146 Hip otesis Generalizada del Continuo 147

154