TEORIA AXIOMATICA DE CONJUNTOS Versin Preliminar o Renato A.

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

Indice
CAPITULO 1. Introduccin. Los Axiomas de Zermelo Fraenkel o 1. El Lenguaje Formalizado L 2. Los Axiomas de la Teor ZF. Conceptos Fundamentales a CAPITULO 2. Teor Elemental a 1. Operaciones 2. Relaciones 3. Funciones 4. Relaciones de Equivalencia 5. Relaciones de Orden CAPITULO 3. Ordinales 1. Nmeros Naturales u 2. Ordinales 3. Induccin Transnita o 4. Recursin o 5. Funciones Normales 6. Ordinales y Buenos Ordenes 7. Aritmtica Ordinal e 8. La Jerarqu Acumulativa de Conjuntos a CAPITULO 4. El Axioma de Eleccin o 1. Equivalencias del Axioma de Eleccin o 2. Aplicaciones CAPITULO 5. Cardinales 1. Deniciones y Resultados Bsicos a 2. Conjuntos Finitos y Conjuntos Innitos 3. Aritmtica Cardinal e 4. Cardinales Regulares y Singulares 5. La Hiptesis del Continuo o Bibliograf a Glosario 5 7 9 17 17 23 30 40 44 57 57 64 70 72 75 78 80 101 105 105 111 117 117 125 129 144 146 151 153

CAPITULO 1

Introduccin. Los Axiomas de Zermelo Fraenkel o

Este libro trata sobre los conjuntos. Intuitivamente un conjunto es una coleccin (clase, agregado, conglomerado, etc.) de objetos, los que o pertenecen a (forman parte de, son los elementos de, etc.) el conjunto. En toda teor axiomtica debemos partir de trminos que no podemos a a e 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 de a Conjuntos. Todas nuestras intuiciones descansan sobre la idea intuitiva que tengamos sobre estos conceptos primitivos, sin embargo, para el desarrollo de la teor no es necesario contar con estas intuiciones. a Una teor axiomtica es un modelo formal de una realidad que a a queremos estudiar. Est compuesta por axiomas, o sea, oraciones a a partir de las cuales, usando slo reglas lgicas, podamos obtener todas o o las propiedades de aquello que queremos modelar. Los axiomas tratan de establecer las caracter sticas y propiedades esenciales de los objetos que estamos tratando de describir en nuestro modelo. El ideal ser en a primer lugar que los axiomas modelaran las intuiciones que tenemos de la realidad y en segundo lugar que la lista fuera completa, es decir, que todas y slo aquellas propiedades de los objetos a describir se puedan o obtener a partir de nuestra lista. Diversas teor axiomticas de conjuntos han logrado en mayor as a o menor grado el segundo de estos objetivos. El primero en cambio, obtener todas las propiedades de los conjuntos a partir de un sistema de axiomas, no se ha logrado. El motivo de sto es muy sencillo: no e se puede. En efecto, los resultados obtenidos por el lgico Kurt Gdel o o alrededor de 1930, demuestran que es imposible dar una axiomatizacin o completa de la Teor de Conjuntos. Lo mismo es cierto de otras teor a as matemticas como la teor de nmeros. a a u Lo anterior parece condenar nuestro proyecto al fracaso, sin embargo sto no es as slo nos advierte que el ideal es imposible. De hee , o cho numerosos matemticos han logrado establecer teor axiomticas a as a que, si bien no completas, son sucientes para construir en ellas casi toda la matemtica. Estudiaremos una de ellas en estas pginas, a a a saber, la teor de ZermeloFraenckel, ZF, desarrollada a partir del a
5

trabajo de E. Zermelo el primero en proponer una teor en los primeros a aos de este siglo. n Un conjunto est denido por los objetos que contiene. Nuestra a intuicin nos dice que a cada conjunto corresponde una propiedad, es o decir, aquello que caracteriza a sus elementos, por ejemplo al conjunto formado por los nmeros 1, 2, . . . , 99, le corresponde la propiedad ser u nmero entero mayor que cero y menor que cien. A la inversa, a toda u propiedad le debe corresponder un conjunto, la coleccin de todos los o objetos que verican dicha propiedad. Temprano en el desarrollo de la teor de conjuntos se descubri a o que esta intuicin conduc a contradicciones y que deb descartarse. o a a A nes del siglo pasado, el matemtico ingls Bertrand Russell di a e o con la siguiente paradoja. Consideremos el conjunto R denido por la propiedad un objeto pertenece al conjunto R si y slo si no pertenece o a si mismo. En s mbolos1 R = {x : x x}. La pregunta entonces es pertenece R a R?, o en s mbolos, R R?. Si la respuesta es armativa, entonces R verica la propiedad que dene a R, o sea, R R. Si la respuesta es negativa, entonces, por denicin, o R R. En cualquier caso obtenemos la contradiccin o RRRR. La paradoja de Russell (y otras) nos dice que el concepto de propiedades ms delicado de lo que suponemos y que denitivamente no a debe corresponder a lo que llamamos un conjunto. Debemos tomar medidas para evitar que esta paradoja y ninguna otra se produzca en nuestra teor a. Sin embargo, la nocin de que a cada propiedad deber correspono a der la coleccin de objetos que la verican o extensinde la propiedad, o o tiene fuerte arraigo en nuestra intuicin. Algunos matemticos no han o a querido deshacerse de ella y han elaborado teor bastante complejas, as que incluyen dos tipos de objetos, conjuntos y clases propias. Deciamos antes que lo que caracteriza a los conjuntos es sus elementos y por ende para poder 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 sta pertenece e a otra clase, entonces decimos que es un conjunto, si no, hablamos de
Supondremos que el lector est familiarizado con la terminolog y simbolog a a a conjuntista pero lo prevenimos de que estos tendrn un sentido muy preciso en a nuestra teor y el que, a veces, diere del popularizado en la enseanza bsica y a n a media.
6
1

una clase propia. Es decir, las clases propias son las extensiones de una propiedad que de alguna manera son demasiado grandes, no las podemos aprehender. Ejemplos de estas ultimas son la clase R denida anteriormente o la clase V formada por todos los conjuntos (o clase universal). En nuestra teor ZF, no existen las clases propias, slo conjuntos. a, o Esto implica que, por ejemplo, no podemos hablar de la clase R. Sin embargo, la situacin no es tan mala como parece. Si bien no podemos o hablar de R, nada nos impide hablar de la propiedad x x. As , aunque no podemos armar a R (porque R no existe dentro de la teor podemos perfectamente decir a a que signica lo mismo. En a), otras palabras, si queremos hablar de una clase propia, en ZFdebemos hacerlo mediante la propiedad que la dene. La nocin de propiedad no la hemos denido pero de lo anterior o se desprende que es central en nuestro estudio. Vamos a continuacin o a denir este concepto. Como dijimos, una teor axiomtica se desarrolla a partir de ciera a tos enunciados o axiomas mediante la aplicacin de reglas lgicas. Por o o ello, es fundamental que el lenguaje usado sea lo ms preciso posible. a Esto se logra mediante la formalizacin del lenguaje. Slo aquellas o o expresiones escritas en ste sern aceptables en nuestra teor y repree a a sentaran propiedades. No es el propsito de este texto introducir al lector a la Lgica o o Matemtica. Tampoco suponemos que ste sepa lgica ms all de los a e o a a conocimientos que se aprende en un curso universitario de Introduccin o al Algebra o similar. Cierta madurez matemtica es desde luego necea saria 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 constituido por un conjunto de s a mbolos bsicos y por reglas que nos permiten formar expresiones ms complia a cadas a partir de esos s mbolos originales. Los s mbolos de L sern: a 1. Variables: x, y, z, X, Y, Z, x1 , x2 , . . . , en general, las ultimas le tras del alfabeto latino, minsculas o maysculas, con o sin u u sub ndices. Su signicado es el habitual en matemticas y su a rango son los conjuntos. 2. Constantes: a, b, c, A, B, C, . . . , en general, las primeras letras del alfabeto latino. Sirven para referirnos a conjuntos espec cos.
7

3. S mbolo de pertenencia: 4. S mbolo de igualdad: = 5. Conectivos lgicos: , , , , , es decir, los s o mbolos habituales para la negacin, disyuncin, conjuncin, implicacin y o o o o equivalencia. 6. Cuanticadores: , , con su signicado habitual. 7. Parntesis: ( , ). Usados como signos de puntuacin. e o Cualquier cadena nita formada por estos s mbolos es una expresin o del lenguaje, pero no toda expresin es aceptable o signicativa. Slo o o aceptaremos aquellas a las que llamaremos frmulas de L. o Una frmula de L es una expresin de L construida como sigue: o o 1. X Y, X = Y son frmulas de L para cualquiera dos variables o o constantes X e Y no necesariamente distintas. La primera se lee X pertenece a Y o bien Y contiene a X y la segunda X es igual a Y . Su signicado intuitivo es el obvio. Estas se llamarn frmulas atmicas. a o o 2. Si y son frmulas de L , entonces tambin lo son ( o e ), ( ), ( ), ( ). Estas frmulas corresponden respectivamente a la disyuncin, o o conjuncin, implicacin y equivalencia de y . o o 3. Si es una frmula de L , entonces tambin es una frmula o e o de L . La frmula corresponde a la negacin de . Tambin o o e usaremos los s mbolos auxiliares X Y y X = Y para escribir / (X Y ) y (X = Y ), respectivamente. 4. Si es una frmula de L y x es una variable, x, x son o frmulas de L . o Estas se leen cualquier conjunto x verica y existe (por lo menos) un conjunto x que verica , respectivamente. Su signicado es tambin evidente. e

Solamente aquellas expresiones obtenidas por la aplicacin de (un o nmero nito de) estas reglas es una frmula de L . u o Si es una frmula de L y x una variable que aparece en , o decimos que x aparece ligada en si su aparicin se produce bajo o 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 frmula que no contiene variables libres se llama una oracin. o o Una oracin de L es siempre verdadera o falsa (pero puede ser que no o
8

seamos capaces de determinar cul de las dos se cumple!). Una oracin a o hace una armacin acerca de los conjuntos a los que se reere, una o frmula que contiene variables libres no hace ninguna armacin, pero o o si asignamos interpretaciones a sus variables libres, entonces s estare mos armando algo. A menudo escribiremos (x1 , x2 , . . . , xn ) para dejar en claro que las variables libres de estn entre x1 , x2 , . . . , xn . a Como hemos dicho, slo aceptaremos frmulas de L para hablar de o o objetos y hacer armaciones en ZF. Sin embargo, la expresin en L de o conceptos bastante sencillos puede resultar increiblemente complicada. As aceptaremos abreviaciones que faciliten la lectura. Por ejemplo el , concepto de subconjunto se denota x y se puede expresar en terminos de los s mbolos bsicos de L mediante: a 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 frmulas. Lo mismo suceder o a con otros s mbolos. Ms an, en general usaremos expresiones del a u castellano y no su formalizacin en L para trabajar con el concepto o intuitivo y no con la a menudo ilegible frmula de L . Lo importante o es que dicha traduccin sea posible para que, llegado el caso, podamos o hacer una demostracin rigurosa de nuestras armaciones. o 2. Los Axiomas de la Teor ZF. Conceptos Fundamentales a A1. Axioma de Extensionalidad: Si todo elemento de X es un elemento de Y y todo elemento de Y es un elemento de X , entonces X es igual a Y . Dicho de otro modo, si dos conjuntos tienen los mismos elementos, entonces son iguales. Este axioma nos dice que lo que caracteriza a un conjunto son sus elementos. En L , este axioma se escribe XY (z(z X z Y ) X = Y ). Definicion 1.1. Decimos que X es subconjunto de Y , en s mbolos, X Y , si y slo si todo elemento de X es un elemento de Y . O sea, o X Y x(x X x Y ). Con esta denicin A1 puede escribirse ms abreviadamente o a XY (X Y Y X X = Y ). A2. Axioma del conjunto vac o: Existe un conjunto que no contiene ningn elemento. u
9

Xx x X. Observemos que, en particular, este axioma garantiza que existe al menos un conjunto. Lema 1.1. Existe un unico conjunto que no contiene ningn ele u mento. Demostracion. Supongamos que existen dos conjuntos distintos a y b ambos sin elementos. Por A1 x((x a x b) (x b x a)), una contradiccin. o Luego hay un unico conjunto vac o. Definicion 1.2. El (nico) conjunto que no tiene elementos se u llama el conjunto vaco y se le denota . Obsrvese que el s e mbolo no es la letra griega . A3. Axioma de Separacin: o Si (x) es una frmula de L y X es un conjunto, entonces o existe un conjunto Y cuyos elementos son aquellos elementos de X que verican (x). En L escribimos XY z(z Y (z X (x)). Este axioma nos dice que para cualquier propiedad (expresada por (x)) y cualquier conjunto A existe el subconjunto de A formado por los elementos que verican esa propiedad. Obviamente este conjunto es unico. Definicion 1.3. Si (x) es una frmula de L y A un conjunto, o el conjunto cuya existencia est garantizada por A3 se denotar con el a a s mbolo {x A : (x)} y se lee el conjunto de los elementos de A tales que (x). Recordemos que la paradoja de Russell se produce al tratar de construir el conjunto de todos los conjuntos que verican una propiedad cualquiera (x). Este axioma limita nuestra capacidad de formar conjuntos de objetos que verican una cierta propiedad, slo podemos o referirnos a aquellos elementos que perteneciendo a un cierto conjunto dado, verican la propiedad en cuestin. Veamos que esta restriccin o o evita que se produzca la paradoja. Para ello tratemos de formar la clase de Russell. Dado un conjunto A , el axioma de extensionalidad nos permite formar el conjunto R = {x A : x x}.
10

En L escribimos

En este caso tenemos que si R R, entonces RA y R R, lo cual es una contradiccin, luego R R, lo que, a diferencia de antes, o / no es contradictorio, slo implica que R A. o / Teorema 1.2. No existe el conjunto de todos los conjuntos. Demostracion. Supongamos que si existe y llamemoslo V . Entonces en virtud de A3 podemos construir el conjunto de Russell R = {x V : x x}, contradiccin. o Por ultimo, cabe destacar que este no es propiamente un axioma sino ms bien un esquema. En efecto, para cada frmula (x) de a o L tenemos un axioma distinto, o sea, hay una cantidad ilimitada de instancias de este axioma. A4. Axioma de Pares: Dados dos conjuntos X e Y , existe un conjunto cuyos unicos elementos son X e Y . Su expresin en L es o XY Z x(x Z (x = X x = Y )). Resulta claro por A1 que este conjunto es unico. Lo denotamos {X, Y }. y lo llamamos el par noordenado X, Y . El axioma A1 tambin garantiza la existencia del conjunto cuyo e unico elemento es el conjunto X {X, X} = {X}, el que a menudo recibe el nombre de singleton X . A5. Axioma de Uniones: Si X es un conjunto, entonces existe un conjunto cuyos elementos son los elementos de los elementos de X . En L escribimos X Y z(z Y u(z u u X)). Nuevamente por A1, este conjunto es unico, se llama la unin de o X y se le denota X.
11

Un caso particular que merece una notacin especial es el siguiente. o Si X e Y son conjuntos, entonces existe {X, Y }. (Por qu ?) e Entonces x {X, Y } (x X x Y ). {X, Y } se llama la unin de X e Y y se le denota X Y . o Corresponde al conjunto de todos los conjuntos que pertenecen ya sea a X o a Y (o a ambos). Ms generalmente, dados los conjuntos X1 , X2 , . . . , Xn de manera a anloga al caso de la unin de dos conjuntos, denimos a o X1 X2 Xn = de tal manera que El lector seguramente est familiarizado con el concepto de unin a o de dos o de una cantidad nita de conjuntos, el axioma A5 generaliza este concepto a la unin de una familia arbitraria, incluso innita, de o conjuntos. Observemos que para denir la unin de dos conjuntos son o necesarios el Axioma de Pares, el Axioma de Uniones y el Axioma de Extensionalidad (para garantizar unicidad). Usando la denicin de unin de dos conjuntos, podemos tambin o o e denir triples noordenados y, en general, iterando el proceso, podemos denir ntuplas noordenadas {x1 , x2 , . . . , xn }. Otra generalizacin de un concepto familiar es el de interseccin de o o un conjunto novac X , en s o 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 debemos exijir que X sea novac e o? La interseccin de dos conjuntos X e Y , X Y , se dene por o X Y = y en general X1 X2 Xn = {X1 , . . . , Xn }. {X, Y }

En rigor, para denir x y no necesitamos A5. Cmo podr o amos hacerlo? Diremos tambin que dos conjuntos X e Y son disjuntos si e X Y = .
12

A6. Axioma del Conjunto Potencia: Si X es un conjunto, entonces existe el conjunto de todos los subconjuntos de X . Esto es X Y z(z Y z X)) (En rigor deberiamos excribir X Y z(z Y u(u z u X)) sin embargo, como la lectura de la frmula se complica bastante y o ya sabemos cmo denir usando slo y los s o o mbolos lgicos, o preferimos la escritura abreviada). Creemos que este axioma se explica por s mismo. El (nico) conjunto cuya existencia garantiza este axioma se designa u por PX y se llama el conjunto potencia de X . A7 Axioma de Regularidad: Todo conjunto no vac contiene un elemento con el que no como parte ningn elemento. u En L escribimos x(x = y(y x y x = )). A pesar de que no resulta evidente a partir de su formulacin, este o axioma impide la existencia de un conjunto a tal que a a o incluso a b a , o a c b a , etc. Como veremos en su oportunidad, intuitivamente este axioma dice que , considerada como una relacin o entre conjuntos,verica una condicin anloga a la del orden de los o a nmeros naturales, sta es, que todo conjunto no vac tiene un menor u e o elemento. Teorema 1.3. i) x x x. ii) x y(x y y x). iii) En general, no existen a1 , a2 , . . . , an tales que a1 a2 an a1 . iv) No existen conjuntos a1 , a2 , a3 , . . . , an , . . . tales que an a2 a1 . Demostracion. i) Supongamos que existe a tal que a a , entonces A = {a} contradice a A7. ii) Idem i) con A = {x, y} iii) Idem i) con A = {a1 , a2 , . . . , an }. iv) Supongamos que existe el conjunto cuyos elementos son precisamente a1 , a2 , a3 , . . . . Llamemoslo A . Entonces A contradice a
13

A7 ya que para cualquier y A, digamos y = am para algn u 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 ms. La demostracin deber a o a posponerse hasta entonces. (Ver ejercicio 7.) Aunque la mayor parte de las matemticas puede desarrollarse sin a el axioma de regularidad es ms cmodo contar con l. a o e A8. Axioma del Conjunto Innito: Existe un conjunto que tiene innitos elementos. Para escribirlo en el lenguaje L debemos usar una expresin que o 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 que demostrar adems que todos estos cona a juntos son distintos. Para introducir el ultimo axioma de ZF, debemos estudiar antes un cierto tipo de frmula de L . Una frmula (x, y) de L con dos o o variables libres x e y se dir funcin proposicional si para todo conjunto a o a existe un unico conjunto b tal que (a, b) se verica. Ejemplos de stas son las frmulas (x, y) siguientes: e o y y y y = = = = x, Px, x {x}, x a,

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

De hecho, este axioma parece ms complicado de lo que es. La a idea intuitiva es que si tenemos un conjunto A y una funcin f cuyo o dominio es A , f [A] = {f (x) : x A}, es tambin un conjunto. El e problema se suscita cuando vemos que en nuestra teor la funcin a o x Px no es, como veremos formalmente ms adelante, un objeto de nuestra a teor es decir, no es un conjunto, sino que corresponde a lo que llaa, mamos una clase propia. Como ya hemos dicho antes, nuestro lenguaje nos permite referirnos a dichos objetos mediante la frmula que los deo ne, lo que para los efectos prcticos es casi lo mismo. As (x, y) no a , es una funcin dentro de nuestra teor sino ms bien una regla que nos o a a permite asociar a cada elemento de un conjunto A un unico elemento. Algunos matemticos llaman a la frmula que dene una funcin, su a o o grco. Siguiendo con esta nomenclatura, el problema aqu es que el a dominio de esta funcin es la clase de todos los conjuntos que, como o ya vimos, no es un conjunto. Sin embargo, cuando restringimos dicho dominio a un conjunto A , A9 garantiza que existe el recorrido de la funcin. o Esta lista de axiomas conforman ZF. Junto con el Axioma de Eleccin, que estudiaremos en el cap o tulo 3, son sucientes para desarrollar casi toda la matemtica. Inmediatamente se nos ocurren varias a preguntas son estos axiomas independientes entre s ? Es decir, no pueden obtenerse unos de otros? La respuesta es no, el axioma de pares puede obtenerse a partir de los axiomas de reemplazo y del conjunto potencia. Por su parte el axioma del conjunto vac puede obtenerse a o partir del axioma de especicacin y del axioma del conjunto innito o (habr que darle otra formulacin a este ultimo). a o El problema de la independencia del axioma de eleccin del resto o de los axiomas es mucho ms complicado. Fue resuelto positivamente a por K. Gdel (1940). o Ms importante an es el problema de la consistencia, es decir, a u es posible deducir una contradiccin a partir de estos axiomas? Este o problema no se ha resuelto y no parece probable que vaya a resolverse debido a los resultados de Gdel en 1930. Por supuesto no se ha deo scubierto ninguna contradiccin (de no ser as no tendr sentido el o , a estudio de esta teor y se estima que s son consistentes. a) El otro problema que surge naturalmente es el de la completud de este sistema de axiomas. Es decir, son sucientes estos para deducir todos los teoremas posibles sobre conjuntos? La respuesta es tambin e no. Mas an, sabemos (nuevamente en virtud de los trabajos de K. u
15

Gdel en 1930) que no puede completarse, es decir, aunque agreguemos o una lista de innitos axiomas a ZF, seguir siendo incompleto, es decir, a siempre existir una frmula tal que ni ni puede demostrarse a o a partir de esa lista. Todos estos problemas requieren de conocimientos de Lgica Mateo mtica y estn fuera del alcance de esta obra. Nos parece interesante a a eso s mencionarlos para que el lector investigue por su cuenta. Ejercicios. 1. Demuestre que el axioma de pares puede ser reemplazado por el axioma ms dbil: a e Dados dos conjuntos X e Y , existe un conjunto los contiene a ambos. 2. Demuestre que el axioma de uniones puede ser reemplazado por el axioma ms dbil: a e Si X es un conjunto, entonces existe un conjunto que contiene a todos los elementos de los elementos de X . 3. Demuestre que el axioma del conjunto potencia puede ser reemplazado por el axioma ms dbil: a e Si X es un conjunto, entonces existe un conjunto que contiene a todos los subconjuntos de X . 4. Demuestre que el Axioma de Pares puede obtenerse a partir de los axiomas de Reemplazo y del Conjunto Potencia. 5. Demuestre el Axioma del Conjunto Vac a partir de de los otros o axiomas y el nuevo axioma Existe un conjunto innito. 6. Indique cmo denir x y sin usar el axioma A5. o 7. Use el axioma de reemplazo y el de conjunto innito para demostrar que el conjunto A denido en la demostracin del teoo rema 1.3 existe.

16

CAPITULO 2

Teor Elemental a
En este cap tulo formalizaremos y profundizaremos las nociones de la teor intuitiva de conjuntos que el lector probablemente ha estudia ado en cursos de Algebra, Geometr u otros. Por tratarse de material a familiar, la mayor de las demostraciones se dejarn como ejercicio. a a Debemos cuidarnos eso s de no dar a las intuiciones el carcter de a teoremas y demostrar cuidadosamente todas nuestras armaciones a partir de los axiomas. Una de las dicultades que enfrenta el principiante en Teor Aa xiomtica de Conjuntos es precisamente ese conocimiento intuitivo del a tema. En nuestra teor todo es un conjunto, as los elementos de un a conjunto son a su vez, conjuntos que contienen elementos que a su vez son conjuntos. Es decir, la familiar distincin entre elemento y conjunto o no existe y si se dice por ejemplo a es elemento de b es slo para o enfatizar que a y b satisfacen a b, pero no para separar a a y b en dos categor distintas. As un mismo conjunto puede jugar ambos as , papeles en distintas situaciones, por ejemplo: {} {} {, {}}. Lo mismo puede decirse de pares ordenados, relaciones, funciones etc, etc, todo ente del cual hablemos ser un conjunto. a 1. Operaciones En el cap tulo anterior hemos denido las operaciones x y y x y. Deniremos ahora una tercera operacin o Definicion 2.1. Dados dos conjuntos a y b denimos el complemento relativo de b con respecto a a , o su diferencia como sigue a b = {x a : x b}. / Notese que en virtud de A3, a b es un conjunto. Como lo demuestra la siguiente proposicin, la nocin de compleo o mento 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 ningn conjunto. u Demostracion. Sea a un conjunto. Si existiera su complemento llammoslo a , entonces en virtud de A5, a a ser un conjunto, e a pero a a = V , la clase de todos los conjuntos que, como vimos, no es un conjunto. El siguiente teorema nos da las propiedades de estas tres operaciones. Teorema 2.2. (Algebra de Conjuntos). Para todo conjunto a, b, c : i) Asociatividad a (b c) = (a b) c , a (b c) = (a b) c . ii) Conmutatividad ab=ba , ab=ba. iii) Idempotencia aa=a , aa=a. iv) Absorcin o a (a b) = a , a (a b) = a . v) Neutro a=a , a=. vi) Distributividad a (b c) = (a b) (a c) , a (b c) = (a b) (a c) . vii) Leyes de De Morgan a (b c) = (a b) (a c) , a (b c) = (a b) (a c) . viii) a a = ix) a = (a b) (a b) Demostracion. Ejercicio La relacin a b se relaciona con las otras operaciones como sigue. o Teorema 2.3. Para todo conjunto a, b, c, d. i) a b a y a b b. ii) Si c a y c b, entonces c a b. iii) a b si y slo si a b = a. o
18

iv) v) vi) vii) viii)

Si a c y b d, entonces a b c d. a a b y b a b. Si a c y b c, entonces a b c. a b si y slo si a b = b. o Si a c y b d, entonces a b c d.

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

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

3. Demostrar que : (a) {{a, b, c}, {a, d, e}, {a, f }} = {a, b, c, d, e, f } . (b) {{a, b, c}, {a, d, e}, {a, f }} = {a} . (c) {a} = a = {a} , para todo conjunto a . (d) ( a) ( b) = (a b) . 4. Probar que: (a) Si a c = , entonces a (b c) = a b . (b) Si a b = , entonces a b = a . (c) Si a b = y a b = c , entonces a = c b. (d) a (b c) = (a b) c . (e) (a b) c = (a c) (b c) . (f) Si a b = , entonces a = y b = . 5. 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 slo los s o 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 (P2 2) . (g) Si a = {{1, 2}, {2, 0}, {1, 3}} , construir: a, a, a, a, a, a. 6. Dar contraejemplo de P(a b) = Pa Pb . 7. Probar que: (a) Pa = a . (b) a P a . (c) No es cierto que si a b, entonces Pa Pb . (d) Si a b, entonces Pa PP a . (e) {Px : x a} P a. (f) {, {}} PPPa , para todo conjunto a . (g) Si Pa = Pb, entonces a = b . 8. Se 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 slo si a + b = o Si a + c = b + c , entonces a = b a c = b c si y slo si a + b c o (a c) + (b c) = (a + b) c a = {x Z : x es divisible por 4} b = {x Z : x es divisible por 9} c = {x Z : x es divisible por 10}

(a) Describir a b c . (b) Sean n , m Z. Si d = {x Z : x es divisible por n} e = {x Z : x es divisible por m}, describa d e . Qu pasa si m y n son nmeros primos? e u Qu pasa si m = n ? e 10. Probar que si a, b , c son conjuntos, entonces (a b) c = a (b c) si y slo si c a. o 11. Para las siguientes oraciones, dar una demostracin o un cono traejemplo: (a) (a b) c = a (b c) . (b) Si a b = a c , entonces b = c . (c) Si a b = a c y a b = a c , entonces b = c . (d) a b = (a b) b = a (a b) . (e) a b = a (a b) . (f) a (b c) = (a b) (a c) . (g) a b = b a . (h) a (a b) = (a b) . (i) (a b) b = a b . (j) (a b) b = . (k) (a b) b = . 12. Probar que la inclusin de conjuntos cumple: o (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 slo si (a c) (a b). o 15. Sean b, c, d subconjuntos del conjunto a. Abreviaremos ax por x . Probar o dar contraejemplo de: (a) b c si y slo si b c = o (b) b c si y slo si b c = o (c) b c si y slo si b c = a o (d) b c si y slo si b c b o (e) b c si y slo si b c c o (f) b c si y slo si b c d d o 16. Probar o dar contraejemplo de: (a) a b c si y slo si a b y a c o (b) b c a si y slo si b a y c a o (c) Si a b c , entonces a b a c o (d) Si b c a , entonces b a c a o 17. Probar: (a) Si para todo c a existe d b tal que c d, entonces a b (b) {c : c = {x}b y x a} = ( {c : c = {x} y x a})b (c) x=
xa

(d) x=
xa

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

cb

b) =
cb

(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 matemticos famila iares, como par ordenado, relacin, funcin, etc. Debemos tener espeo o cial cuidado de que estos sean conjuntos en virtud de algn axioma de u ZF. Por otra parte, tambin queremos que estos conjuntos se come porten como los objetos con que trabaja el matemtico a quien no a preocupan los problemas de fundamento. Definicion 2.2. Dados dos conjuntos a y b llamamos par ordenado a, b al siguiente conjunto. a y b se llaman la primera y segunda coordenada de tivamente. a, b = {{a}, {a, b}}. a, b , respec-

Notemos que a, b es efectivamente un conjunto. Para 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?). En cambio, los elementos e del par ordenado a, b si y slo si son distinguibles, es decir, si y slo o o si sabemos cul es el primero y cul es el segundo. Este es el contenido a a del prximo teorema. o Teorema 2.5. Si a, b = c, d , entonces a = c y b = d.

Demostracion. Supongamos que a, b = c, d , sto es, e Si a = b, tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} = {c, d}, o sea a = b = c = d. (Qu axiomas hemos usado?). e Si a = b, {a} = {c} o {a} = {c, d}. En el primer caso, tenemos a = c y como {a, b} {{c}, {c, d}} y a = b, {a, b} = {c, d} luego a = c y b = d. En el segundo caso, a = c = d , luego {a, b} {{a}}, o sea b = a , contradiccin, o sea, este segundo caso no se puede dar. Por lo tanto, o si a, b = c, d , entonces a = c y b = d. Podemos ahora 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, Demostracion. Ejercicio.

a, b PPA.

Definicion 2.3. Llamaremos producto cartesiano de los conjuntos a y b al conjunto a b = {z PP(a b) : xy(x a y b z = x, y )}. Notemos que por el axioma de especicacin de clases y el axioma o del conjunto potencia, a b es un conjunto. Usaremos en general una notacin informal aunque ms intuitiva o a a b = { x, y : x a x b}. Podemos tambin introducir productos cartesianos triples y cuadrue ples etc., de la manera obvia, por ejemplo a b c = { x, y, z : x a y b z c} Algunas propiedades de los productos cartesianos estn resumidas a en el siguiente teorema. Teorema 2.7. Para conjunto a, b , c , d , i) a = a = . ii) Si a = y b = , entonces a b = . iii) Si a c y b d, entonces a b c d. iv) a (b c) = a b a c. v) a (b c) = a b a c. vi) a (b c) = a b a c Demostracion. Ejercicio. Definicion 2.4. Un conjunto R es una relacin si todos sus eleo mentos son pares ordenados. Denimos tambin el dominio de R e Dom R = {x el recorrido de R Rec R = {y y el campo de R , Cam R = Dom R Rec R. Si Dom R A y Rec R B, decimos que R es una relacin o entre A y B o una relacin de A en B . o
24

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

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

a, b {a, b} a, b

Definicion 2.5. La composicin de dos relaciones R y S es la o relacin o S R = {u Dom RRec S : u = x, y z( x, z R z, y S)} y la relacin inversa de R o R1 = {u Rec R Dom S : u = x, y y, x R}. En general escribimos ms informalmente a 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 . Demostracion. iii) Sea x, y (S T ) R, entonces existe z tal que x, z S T y z, y R.
25

Esto implica que existe z tal que x, z S y z, y S, vale decir, x, y S R, pero adems, x, z T y z, y R, a o sea, x, y T R, o sea, (S T ) R (S R) (T R). Para ver que la inclusin anterior no es una identidad basta o dar un ejemplo en el que la inclusin inversa es falsa. Considrese o e R = { a, b , a, a, }, S = { b, a }, T = { a, a }, donde a = b. Entonces S T = , luego (S T ) R = . Sin embargo, como a, b R y b, a S, a, a S R y como a, a R y a, a T, a, a T R, o sea, a, a S R T R, luego S R T R = . vi) Sea x, y (S R)1 . Entonces y, x S R, o sea, existe z tal que y, z R y z, x S, es decir, existe z tal que x, z S 1 y z, y R1 , o sea, x, y R1 S 1 , luego (S R)1 R1 S 1 La inclusin inversa se demuestra en forma anloga y se deja o a como ejercicio. El prximo teorema nos da las principales propiedades del dominio o y del recorrido de una relacin. o Teorema 2.9. Sean R , S relaciones. i) Dom (R S) = Dom R DomS. ii) Rec (R S) = Rec R Rec S. iii) Dom (R S) Dom R DomS. iv) Rec (R S) Rec R Rec S. v) DomR DomS Dom(R S). vi) Rec R Rec S Rec(R S). vii) Si R S, entonces Dom R Dom S y Rec R Rec S. viii) Dom 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. Demostracion. Ejercicio. La siguiente operacin ser muy importante especialmente cuando o a tratemos con funciones.
26

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

estn resumidas en el siguiente a

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

Demostracion. x R (a b)

Es decir R (a b) R a R b. Para ver que la inclusin contraria no es vlida basta el sio a guiente contraejemplo. Sean a = {} , b = {{}} y R = { , , {}, }.

viii)

Entonces a b = , luego R (a b) = . Pero R a = {} y R b = {} luego R a R b = {} = . x Dom (S R) y x, y S R y z( x, z R z, y S) z( z, x R1 z Dom S) x R1 (Dom S).

Esto demuestra que Dom(SR) R1 (Dom S), la otra inclusin o 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 slo si a = c y b = d . o

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 slo si a = o b = o o a=b . (b) Probar que si a = y a b a c , entonces b c . (c) Probar que no es cierto : a (b c) = (a b) c . (d) Encontrar conjuntos a, b, c tales que a (b c) = (a b) (a c). (e) Probar que a b c d = a d c d . (f) Probar que a a b c = a b a c . (g) Probar que a b c c = (a c) b a (b c) . (h) Probar que a a b c = (a b) a a (a c) . (i) Probar que no es cierto que a b = c d ocurra si y slo o si a = b y c = d . Si a, b son conjuntos, probar que existe un conjunto c tal que y c si y slo si existe un conjunto d que satisfaga que d a o e y = {d} b . Concluir que a b = c . (a) Encontrar todas las relaciones cuyo dominio est contenido a en {a, b, c} y cuyo recorrido esta contenido en {s} . (b) Encontrar todas las relaciones en 2 y en 3 (ver denicin o de 2 y de 3 en ejercicios de la seccin anterior). o
28

4. 5. 6. 7.

8.

9.

(c) Cuntas relaciones se pueden formar en un conjunto de n a elementos? 10. Probar que existe una relacin I que acta como neutro para o u la composicin de relaciones sobre un conjunto a , es decir, para o cualquier relacin R sobre a o 11. Probar que si R, S, T son relaciones y a, b, c conjuntos, entonces: (a) S T y S T son relaciones . (b) (S T )1 = S 1 T 1 . (c) (S T )1 = S 1 T 1 . (d) (R S)1 = R1 S 1 . (e) (R S) (R T ) R (S T ) . (f) R S si y slo si S 1 R1 . o (g) (a b)1 = b a . (h) Si a y b no son disjuntos, entonces (ab)(ab) (ab). (i) Si a y b son disjuntos, entonces (a b) (a b) = . (j) Si b no es vac entonces (b c) (a b) = a c . o, (k) Si R a b y S b c , entonces S R a c . 12. Probar que es relacin y que para todo conjunto a se tiene o 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 cules de las siguientes leyes distributivas son a vlidas para la suma de relaciones: a R + (S T ) R + (S T ) R (S + T ) R (S + T ) = = = = (R + S) (R + T ) (R + S) (R + T ) (R S) + (R T ) (R S) + (R T ) R + S = (R S) (Cam R) (Cam S) . R I = I R = R.

14. Encontrar contraejemplos para las siguientes 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 slo si Dom R a = . o (b) Probar que Dom R a ( R1 ) ( R a ). (c) Probar que ( R a ) b R (a ( R1 ) b ) . (d) Bajo qu condiciones se tiene que Cam (a b) = a b? e (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 funcin es uno de los ms importantes en matemo a a ticas. Intuitivamente, una funcin es una regla que asigna a cada elo emento de un conjunto un unico elemento de otro conjunto (no nece sariamente distinto). Definicion 2.7. Una relacin F es una funcin si y slo si o o o xyz(( x, y F x, z F ) y = z) Obsrvese que una funcin es, en particular, una relacin, as es que e o o los conceptos de dominio, recorrido, campo, composicin de funciones, o funcin inversa, imagen, etc. se aplican a ellas tal y como se aplican a o otras relaciones. Habitualmente se usa la siguiente notacin. o Definicion 2.8. Sea F una funcin, x Dom F , o F (x) = {z Rec F : y( x, y F z y)}.
30

En otras palabras, F (x) es aquel unico conjunto con el que x est relacionado segn la funcin F . Observemos que el axioma de a u o extensionalidad aplicado a funciones F y G nos dice que F =G si y slo si o Dom F = Dom G y x F (x) = G(x). G F (x) = G(F (x)). Definicion 2.9. i) Si F es una funcin, Dom F = a y Rec F b decimos que o F es una funcin de a en b y escribimos o F : a b x F (x). ii)
a

Observemos tambin que de acuerdo con esta notacin, e o

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

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 funcin F de a en b se dice sobreyectiva si o y(y b x(x a y = F (x))), es decir, todo elemento de b es asignado a algn elemento del u dominio de F . El siguiente teorema nos da algunas propiedades de las funciones. Teorema 2.11. Sean F , G , H funciones, a , b , c conjuntos. i) F es una funcin de Dom F en Rec F . o ii) F a si y slo si F = . o a iii) Si F , entonces F = a = . iv) Si b = , entonces a b = . v) Si F a b y b c, entonces F a c. vi) Si F a b y G b c, entonces G F a c. vii) F a b es inyectiva si y slo si para todo c y todo o c c G a, H a, si F G = F H, entonces G = H. viii) F a b es sobreyectiva si y slo si para todo c y todo o b b G c, H c, si G F = H F , entonces G = H. Demostracion. Demostraremos vii). El resto queda como ejercicio.
31

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

Como adems Dom G = Dom H = c, G = H. a ()) Supongamos que se verica la armacin de la derecha y que sin o embargo F no es inyectiva. Entonces existen d, e a , d = e y F (d) = F (e). Consideremos el caso particular en que c = a y 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 hiptesis, G = H, una contradiccin. Luego F o o es inyectiva.

Teorema 2.12. Sean F , G funciones. i) ii) iii) iv) x F 1 a si y slo si F (x) a. o Dom (F G) = G1 (Dom F ) Dom G. Rec (F G) = F (Rec G) Rec F. F es inyectiva si y slo si F 1 es funcin. o o

Demostracion. i) x F 1 a si y slo si y(y a y, x F 1 ) o si y slo si y(y a x, y F ) o si y slo si y(y a y = F (x)) o si y slo si F (x) a. o ii) y iii), por teorema 2.10, viii). iv) Ejercicio.

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

32

 Demostracion. i) Por el teorema 2.10, iv), basta demostrar 1 1 que F a F b F 1 (a b). Sea x F 1 a F 1 b. Entonces por teorema 2.12, i), F (x) a y F (x) b, o sea, F (x) ab, luego x F 1 (ab). ii) Ejercicio. Definicion 2.10. i) Si a es un conjunto, la funcin o Ia : a a x x

se llama la funcin identidad en a . o ii) Si F es una funcin y a un conjunto. La restriccin de F a o o a , F a, es la funcin o F a : a Dom F F a x F a(x) = F (x).

El siguiente teorema nos permite pegar funciones que coinciden en la parte comn de sus dominios. u Teorema 2.14. Sean F , G funciones tales que F a = G donde a = Dom F Dom G. Entonces F G es una funcin. o a,

Demostracion. Recordemos que Dom (F G) = Dom F Dom G. Si x Dom F Dom G o x Dom G Dom F , entonces es claro que existe un unico y tal que x, y F G. Como F y G son funciones, para x Dom F Dom G, existe un unico y y un unico z tal que x, y F y x, z G. Pero por hiptesis y = z , luego en este caso tambin hay un unico y tal que o e x, y F G. Observemos en el teorema anterior que si Dom F Dom G = , F G es siempre una funcin. o El prximo teorema es muy util para probar que ciertas funciones o son inyectivas o sobreyectivas. Teorema 2.15. Sea F : a b. i) Si existe una funcin G : b a tal que F G = Ib , entonces o F es sobreyectiva. ii) F es inyectiva si y slo si a = o a = y existe una funcin o o G : b a tal que G F = Ia .
33

iii) F es biyectiva si y slo si existe una funcin G : b a tal o o que F G = Ib y G F = Ia . En este caso G = F 1 . Demostracion. i) Sea G : b a tal que F G = Ib . Entonces para todo y b, G(y) a y F (G(y)) = F G(y) = Ib (y) = y, es decir F es sobreyectiva. ii) () Supongamos F es inyectiva y a = . Sea c a y denamos

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

(Obsrvese que G es efectivamente un conjunto. Cmo verie o camos sto?) e Es fcil ver que G es una funcin tal que Dom G = b. Para a o todo x a, G F (x) = G(F (x)) = F 1 (F (x)) = x, G F = Ia . () Si a = , entonces F = y por lo tanto F es inyectiva. Si a = y existe G : b a tal que G F = Ia . Supongamos que F (x) = F (y). Entonces G(F (x)) = G(F (y)), o sea, x = G F (x) = G F (y) = y, luego F es inyectiva. iii) Ejercicio Notemos que en el teorema anterior parte i) no tenemos una equivalencia como en ii) y iii). Para demostrar el rec proco de i), es decir, si F es sobreyectiva, entonces existe G : b a tal que F G = Ib , necesitamos el ultimo axioma de nuestra teor el Axioma de Eleccin. a, o Debido a la importancia de ste, le dedicaremos un cap e tulo completo, el cuarto. Slo entonces podremos analizar este problema. o ya que F (x) F a. Y como Dom G F = Dom F = a,

Ejercicios.
34

1. Considerando los conjuntos N, Z, Q y R, d ejemplos de fune ciones F tales que: (a) F : N N , F no es inyectiva ni sobreyectiva. (b) F : N N , F es inyectiva pero no sobreyectiva. (c) F : N Z , F no es inyectiva ni sobreyectiva. (d) F : Z N , F no es inyectiva ni sobreyectiva. (e) F : Q R , F no es inyectiva ni sobreyectiva. (f) F : R Q , F es sobreyectiva pero no inyectiva. (g) F : R Z , F sobreyectiva tal que F (x) = x para todo x en R . 2. Probar que no toda inyeccin de un conjunto en s mismo es o sobreyectiva. 3. Dar ejemplos de funciones tales que: (a) F : 1 1 . (b) F : 0 1 . (c) F : 2 3 6 , F biyeccin. o 4. Supongamos que existe una funcin de a en b que no es inyectiva. o Probar que a = y b = . 5. Supongamos que existe una funcin de a en b que no es soo breyectiva. Probar que b = . 6. Sean F : a b y G : a b funciones. Probar que si F G , entonces F = G . 7. Sean F : a b y G : c d funciones. Se 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 funcin de a c en b d . o (b) Si F y G son sobreyectivas, entonces F G es sobreyectiva. (c) Si F y G son inyectivas, entonces F G es inyectiva . (d) Rec (F G) = (Rec F ) (Rec G) . Sean F : a b y G : b a funciones. Supongamos que y = F (x) si y slo si x = G(y). Probar que F 1 es funcin y o o que F 1 = G . Sean G : b c y H : b c funciones. Supongamos que G F = H F para toda funcin F : a b, donde a = . o Probar que G = H . Sean G : a b y H : a b funciones. Sea c un conjunto con ms de un elemento y supongamos que F G = F H para a toda funcin F : b c . Probar que G = H . o Sean F : a c y G : a b funciones. Probar que existe una funcin H : b c tal que F = H G si y slo o o
35

8.

9.

10.

11.

12.

13.

14. 15.

16.

17. 18. 19. 20.

21.

si para todos x, y a se tiene que G(x) = G(y) implica F (x) = F (y). Probar que H es unica. Sean F : c a y G : b a funciones, con G inyectiva. Probar que existe una funcin H : c b tal que F = G H o si y slo si Rec F Rec G. Probar que H es unica . o Probar que si F y G son funciones, entonces F G si y slo si Dom F Dom G y para todo x Dom F se tiene o F (x) = G(x) . Probar que no existe el conjunto de todas las funciones. Sea F : a b funcin. Se dene G por G(y) = F 1 {y} . o Probar que G es funcin y que si F es sobreyectiva, entonces o G es inyectiva . Probar tambin que el rec e proco es falso. Determinar cuales de las siguientes relaciones son funciones: (a) R es relacin de R en R tal que a, b R si y slo si o o a2 + b2 = 1. (b) R es relacin de R en R tal que a, b R si y slo si o o a 0 a < 1 y b = 1a . (c) R es relacin entre (R)2 y R tal que a, b , c R si y o slo si c = a+b . o 2 Si F y G son funciones inyectivas, entonces G F es inyectiva y (G F )1 = F 1 G1 . Constru los conjuntos 3 2, 0 2, 0 0 . r Probar que a b = si y slo si b = y a = . o Probar que : (a) a b =b a implica que a = b . (b) a b implica que c a c b . (c) Si existe una biyeccin entre a y b , entonces existe una o c biyeccin entre a y c b . o Sea F : a a una funcin. Sea m un entero positivo. Se o 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 biyeccin. o Sean a, b, c conjuntos tales que b c = . Probar que existe una biyeccin entre bc a y b a c a. o Existe una biyeccin entre c (b a) y bc a? o Probar que existe una biyeccin entre c (a b) y c a c b . o Sean F : a b y G : a b funciones. (a) Sea c el conjunto de los x a tales que F (x) = G(x) . Probar que F Ia c = G Ia c .
36

22. 23. 24. 25.

26. 27. 28.

29. 30.

31.

32.

33. 34.

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

(a) Probar que F (d) = d y F (e) = e . (b) Probar que si F (b) = b , entonces d b e . 35. Dar un ejemplo de una funcin F y un conjunto a tales que o F (a a) = F a . 36. Si F y G son funciones inyectivas, probar o dar contraejemplo de: (a) F G es inyectiva. (b) F G es inyectiva. (c) F G es inyectiva. (d) F F 1 es inyectiva. (e) a b = implica que F a G b es inyectiva. (f) a b = implica que F a G b = .
37

37. Determinar ai : i I , ai ,
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 biyeccin entre a0 a1 a2 y o ai
i3

39. Existe una biyeccin entre o

a

(
iI

bi ) y
iI

( a bi ) ?

[i,i+1) 40. Probar que existe una biyeccin entre o 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 slo si o
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 ) =
jJ i,j IJ

(ai bj ) .

(b) (
iI

ai ) (

bj ) =
jJ i,j IJ

(ai bj ) .

(c) (
iI

ai ) (

bj ) =
jJ i,j IJ

(ai bj ) .

38

(d) (
iI

ai ) (

bj ) =
jJ i,j IJ

(ai bj ) .

44. Sean ai : i I Probar que

una familia de conjuntos y R una relacin. o R (

iI

ai ) =
iI

R ai . J .

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

una familia de conjuntos tal que I =

ai =
iI jJ

(
ij

ai ).

(b) ai =
iI jJ

(
ij

ai ).

46. Sean ai : i I una familia de conjuntos y F una funcin o con dominio adecuado. Probar que: (a) F (
iI

ai ) =
iI

F ai .

(b) F 1 (
iI

ai ) =
iI

F 1 ai .

(c) F (
iI

ai )

F ai
iI

y que si F es inyectiva se tiene la igualdad. (d) F 1 (

iI

ai ) =
iI

F 1 ai .

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

las 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 matemtica es frecuente que nos interesen slo ciertas propiedaa o des 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 relacin R como todos los . o pares de elementos que queremos identicar, R es lo que llamamos una relacin de equivalencia. Esta seccin estudiar este concepto. o o a Definicion 2.11. Sea R una relacin binaria. o i) R es reexiva sobre a si R es reexiva si R es reexiva sobre Dom R. ii) R es simtrica si e iii) R es transitiva si xy( x, y R y, x R). x(x a x, x R),

iv) Una relacin R es una relacin de equivalencia si y slo si R o o o es reexiva, simtrica y transitiva. e Es fcil demostrar que la reexividad (sobre su propio campo) es a consecuencia de la simetr y transitividad de la relacin (ver ejercia o cios). Sin embargo, la incluimos en la denicin porque tradicionalo mente se le dene as y para hacer hincapi en que una relacin de e o equivalencia verica esta propiedad. Teorema 2.16. Sea R una relacin. o i) R es transitiva si y slo si R R R. o ii) R es simtrica si y slo si R1 R. e o iii) R es reexiva sobre a si y slo si Ia R. o iv) R es de equivalencia si y slo si R1 R = R. o Demostracion. i) Supongamos que x, y R y y, z R. Entonces x, z R R = R, luego R es transitiva. ii) y iii), ejercicio. iv) () Supongamos que R es de equivalencia. Sea x, y 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 simtrica, x, z R y tambin z, y R, y como R es e e 1 transitiva, x, y R. Luego R R R.
40

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

Sea x, y R. Por simetr y, x R, luego x, y R1 a 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 simtrica. e 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 antes la reexividad es consecuencia de la o simetr y transitividad. Ver ejercicios. a Definicion 2.12. Sea R una relacin de equivalencia. o 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 ms informalmente a P [R ] = {x P(Cam R) : y(y Cam R x = [y]R )}. P [R ] = {[y]R : x, y R}. [x]R = {y Cam R : x, y R}.

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

Sea z [x]R . Entonces x, z R, luego z, x R por simetr a y z, y R por transitividad, o sea, z [y]R . Luego [x]R [y]R . Analogamente, [y]R [x]R , luego [x]R = [y]R . Supongamos que [x]R = [y]R . Como y, y R, y [y]R , luego y [x]R , es decir, x, y R. El teorema anterior nos da las principales propiedades de las clases de equivalencia. ii) nos dice que todo elemento del campo est en a alguna clase y que toda clase es no vac iv) nos dice que dos clases a. distintas son disjuntas. Estas tres propiedades denen otro importante concepto matemtico, el de particin de un conjunto. a o Definicion 2.13. Un conjunto P es una particin de a si o i) a = P. ii) x(x P x = ). iii) xy((x P y P x = y) x y = ). Veremos en el prximo teorema la estrecha relacin entre los cono o ceptos de relacin de equivalencia y de particin, a saber, toda relacin o o o de equivalencia sobre un conjunto da origen a una unica particin de ese o conjunto. A la inversa, toda particin da origen a una unica relacin o o de equivalencia. Teorema 2.18. i) Sea R una relacin de equivalencia con o campo a . Entonces P [R ] es una particin de a . o Llamaremos a P [R ] la particin asociada a R . o ii) Sea P una particin de un conjunto a . Entonces la relacin o o es una relacin de equivalencia en a . Llamaremos a R[P ] la o relacin de equivalencia asociada a la particin P . o o iii) Dada una particin Q de a , P [R[Q ]] = Q. o Dada una relacin de equivalencia S , R[P [S ]] = S. o Demostracion. i) Como lo hicimos notar, el teorema 2.17 ii) y iii) demuestra nuestra armacin. o ii) Sea P una particin de a . o Para x a, como a = P , existe z P tal que x z, o sea, {x} z, luego x, x R[P ] y R[P ] es reexiva. Si para algn z , {x, y} z P , entonces {y, x} z P , u luego R[P ] es simtrica. e Si existen u1 , u2 P tales que {x, y} u1 y {y, z} u2 , entonces u1 u2 = luego u1 = u2 , por lo tanto, {x, z} u1 , o sea, R[P ] es transitiva.
42

R[P ] = { x, y a a : z(z P {x, y} z})

iii) Ejercicio. iv) Ejercicio.

Ejercicios. 1. Constru todas las clases de equivalencia que pueden existir sor bre el conjunto 3 . 2. Demuestre que una relacin simtrica y transitiva es tambin o e e reexiva (sobre su propio campo). 3. Existe una relacin de equivalencia sobre el conjunto ? o 4. Sea a un conjunto. Demostrar que la igualdad de conjuntos es relacin de equivalencia sobre Pa . o 5. Sea A un conjunto no vac de relaciones de equivalencia sobre o un conjunto a . (a) Probar que A es relacin de equivalencia sobre a . o (b) Lo es siempre A? (c) Encuentre condiciones para que A sea relacin de equivo alencia. 6. Sea R una relacin sobre a . Probar que si R es transitiva y o 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 relacin T sobre a b por: c, d , e, f o T si y slo si c a , e a , d b y f b , y c, e R y o d, f S . Probar que T es de equivalencia. 8. Sean R y S relaciones de equivalencia sobre a . Probar que: (a) R S es relacin de equivalencia sobre a si y slo si o o R S = S R. (b) R S es relacin de equivalencia sobre a si y slo si o o R S R S y S R R S. (c) Si T y H son relaciones arbitrarias sobre a , entonces si R T y R H, entonces R T H. 9. Sea F : a b una funcin y sea R una relacin de equivalencia o o sobre b. Sea c el conjunto { d, e a a : F (d), F (e) R}. Probar que c es relacin de equivalencia sobre a . o 10. Sean para cada entero n , los conjuntos bn = {m Z : q(m = n + 5q)}. Probar que P = {bn : n Z} es una particin de Z. o Determinar una frmula para R[P ] . o
43

11. Probar que las siguientes relaciones sobre R R son de equivalencia; determinar la particin que determina cada una de ellas, o y describir geomtricamente los elementos de cada particin: e o 2 2 2 2 (a) R = { a, b , c, d : a + b = c + d } . (b) S = { a, b , c, d : b a = c d} . (c) T = { a, b , c, d : a + b = c + d} . 12. Sea a un conjunto. Probar que Ia y a a son relaciones de equivalencia sobre a, y describir las particiones correspondientes. 13. Sean P = {ai : i I} y Q = {bj : j J} particiones de a y b respectivamente. Probar que {ai bj : i, j I J} es una particin de a b. o 14. Sea F : a b una funcin, y sean {ai : i I} y {bj : j J} o particiones de a y b respectivamente. Probar que: (a) Si F es sobre, entonces {F 1 bj : j J} es una particin o de a . (b) Si F es inyectiva, entonces F ai : i I} es una particin o 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 funcin, denamos la relacin R = o o { c, d : F (c) = F (d)}. (a) Probar que R es de equivalencia sobre a . R se dice la relacin de equivalencia determinada por F y se denota o por R [F ]. (b) Probar que R [F ] = F 1 F . (c) Si F : a b y G : b c son funciones, determinar R [G F ] usando R [G] y F . 17. Demuestre todas las 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 Definicion 2.14. Sea R una relacin binaria. o i) R es antisimtrica si e xy((xRy yRx) x = y).
44

ii) R es conexa si iii) R es un orden parcial si R es reexiva, antisimtrica y transitiva. e iv) R es un orden total si R es un orden parcial conexo. v) Si Dom R = a decimos que R es un orden (parcial, total) sobre a . Decimos tambin que a est parcial o totalmente ordenado e a por R . vi) Si R es un orden, en lugar de escribir x, y R, escribiremos x R y. Habitualmente los rdenes se designan con los s o mbolos o . Ejemplo. i) Los nmeros reales con su orden usual constituyen un conjunto u totalmente ordenado. ii) Los nmeros naturales se pueden ordenar parcialmente de la siu guiente manera, dados dos nmeros naturales n y m denimos. u n m si y slo si o n|m. A menudo representamos rdenes mediante diagramas que consisten de o nodos unidos por l neas. Los nodos representan conjuntos pertenecientes campo de la relacin R y las l o neas al orden mismo, as si a, b R, , habr dos nodos unidos por una l a nea (ver gura). Mientras ms arriba a aparezca un conjunto en el diagrama, ms grande es. a 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

 Definicion 2.15. i) Una relacin R es asimtrica sobre a si y slo si o e o xy((x a y a xRy) yRx). ii) Una relacin es un orden estricto si es transitiva y asimtrica o e sobre su campo. Teorema 2.19. i) Si es un orden (parcial), entonces la relacin denida por o x<y si y slo si x y x = y o

es un orden estricto cuyo campo es el mismo que el de . ii) Si R es un orden estricto, entonces la relacin denida por o xSy si y slo si o xRy x = y,

es un orden parcial cuyo campo es el mismo que el de R . Demostracion. i) Ejercicio. ii) S es obviamente reexiva. Supongamos que xSy, ySx pero x = y. Entonces xRy y yRx, una contradiccin ya que R es asimtrica. Por lo tanto si o e xSy y ySx, x = y, o sea, S es antisimtrica. e S es transitiva ya que R lo es.

El ms t a pico ejemplo de orden parcial es la relacin de inclusin o o denida sobre el conjunto potencia de algn conjunto. Para ver hasta u qu punto este es el ejemplo t e pico de orden necesitamos primero una denicin. o Definicion 2.16. Sean R y S dos relaciones. Una funcin F : o Cam R Cam S es un isomorsmo entre R y S si y slo si F o es biyectiva y para todo a, b Cam R aRb si y slo si o F (a) S F (b). Si tal F existe, decimos que R y S son relaciones isomorfas. Si R y S son rdenes decimos tambin que F es un isomorsmo de o e orden. Teorema 2.20. Sea una relacin de orden. Entonces existe un o conjunto a tal que es isomorfo con S = { x, y a a : x y}.
46

 Demostracion. Sea b = Cam . Para cualquier conjunto x denimos yx = {z b : z x}. Notemos que sta es una frmula funcional. Luego por el axioma e o de reemplazo y dado que b es un conjunto a = {{z b : z x} : x b}, tambin es un conjunto. e Consideremos la relacin S = { x, y a a : x y}. Entonces o 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 de , o bien a x y o bien y x, es decir, x F (y) y F (x), lo que unido a la / o / observacin anterior demuestra que F (x) = F (y), es decir, F es 11. o Por otra parte, por denicin, F es sobreyectiva, luego F es una o biyeccin. o Si x, y b y x y, entonces por transitividad de , F (x) F (y), es decir, F (x) S F (y). Si F (x) F (y), entonces como x F (x), x F (y), o sea x y, por lo tanto xRy si y slo si F (x) S F (y), o o lo que es lo mismo, F es un isomorsmo. A menudo nos encontramos con relaciones reexivas y transitivas pero no antisimtricas (tal tipo de relacin se llama un preorden). Podee o mos obtener una relacin de equivalencia a partir de un preorden y oro denar las clases de una manera coherente con el preorden de la manera indicada en el siguiente teorema. Esta construccin es bastante comn o u en matemtica. a Teorema 2.21. Sea una relacin transitiva y reexiva con o campo a . Sea S = { x, y a a : x yy x}. Entonces S es una relacin de equivalencia. o Ms an, si denimos a u [x]S [y]S si y slo si x o entonces es un orden parcial sobre P [S ].
47

y,

 Demostracion. S es obviamente reexiva y simtrica. e Supongamos que xSy y ySz. Entonces x y, y x, y z y z y, y como es transitiva, x z y z x, o sea, xSz, lo que demuestra que S es transitiva. Para demostrar que es un orden parcial, sean [x]S [y]S y [y]S [z]S . Entonces x y y y z y como es transitiva x z, luego [x]S [z]S . Supongamos [x]S [y]S y [y]S [x]S . Entonces x y y y x, es decir xSy. Luego [x]S = [y]S , o sea, es antisimtrica. e Por ultimo es fcil ver que es reexiva ya que a lo es. Definicion 2.17. Sea un orden parcial con campo A. Supongamos que X A y a A. i) a es una cota superior de X si x(x X x a). ii) a es una cota inferior de X si x(x X a x). iii) a es el supremo de X si a es la menor cota superior de X . iv) a es el 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. Ntese que si un conjunto tiene o supremo o nmo, stos son unicos. Tambin es interesante recalcar que e e los elementos minimales no tienen por qu ser el menor elemento del e conjunto de hecho, este ni siquiera tiene que existir. En el ejemplo de la gura a y b son minimales

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

 Demostracion. Observemos primero que A tiene que tener un menor elemento. En efecto, es obvio que todos los elementos de A son cota superior de , pues si a A no lo fuera, existir x tal a que x a lo que es imposible. Como A, por hiptesis tiene un o supremo s , este es la menor de las cotas superiores, luego tiene que ser el menor elemento de A . Sea B = {x A : x F (x)}. Entonces B A y B tiene supremo. Llamemos a al supremo de B . Obsrvese que B = , ya que s F s, donde s es el menor e elemento de A . Entonces para todo x B, x a y x F (x) F (a), luego F (a) es cota superior de B y tenemos a F (a). Por otra parte si a F (a), F (a) F F (a) y por lo tanto F (a) B, luego F (a) a, es decir, a = F (a). El concepto denido a continuacin es el origen de toda la teor de o a los nmeros ordinales que estudiaremos en el prximo cap u o tulo. Como veremos es una abstraccin de la conocida propiedad del orden de los o nmeros naturales: todo subconjunto no vac de nmeros naturales u o u tiene un menor elemento. Definicion 2.18. Sea R una relacin. o i) R es bien fundada si para todo = A Cam R, existe a A tal que A {x Cam R : xRa} = . ii) es un buen orden si < es un orden total bien fundado.

Ntese la similitud de la denicin de relacin bien fundada con la o o o formulacin del axioma de regularidad. De hecho el axioma de regularo idad dice que la relacin { x, y a : x y} para cualquier conjunto o a es bien fundada.

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

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

Ejercicios. 1. Sean a , b , c y d cuatro conjuntos distintos. Cuntos ora denes parciales existen sobre {a, b}? Sobre {a, b, c}? Sobre {a, b, c, d}? Haga los diagramas correspondientes. 2. Diga cules de los rdenes del ejercicio anterior son isomorfos. a o 3. Sea a un conjunto con n elementos. Probar que un orden total sobre a contiene 1 n(n 1) pares ordenados. 2 4. Probar que una relacin R sobre a es antisimtrica si y slo si o e o 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 slo si y x 8. o (b) x R2 y si y slo si y x 8 y y x = 0. o (c) x R3 y si y slo si y x = 0. o (d) x R4 y si y slo si y x es un entero par. o (e) x R6 y si y slo si y x = 1. o Determinar cules de estas relaciones son antisimtricas, asima e e tricas, 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 asimtrica, entonces R es antisimtrica. e e (b) Ia es simtrica y antisimtrica. e e (c) Si R , es simtrica y antisimtrica, entonces existe un cone e junto b tal que R = Ib . (d) Si R es asimtrica, entonces R1 , R S y R S son e asimtricas. e
50

7.

8. 9. 10.

11. 12.

13. 14.

15. 16.

(e) Si R es antisimtrica, entonces R1 , R S y R S son e antisimtricas. e (f) Si R es transitiva, entonces R1 es transitiva. (g) Si R es conexa, entonces R1 es conexa. (h) Si R es asimtrica, entonces R ICam R es antisimtrica. e e (i) Si R es antisimtrica, entonces R ICam R es asimtrica. e e (j) Si R es transitiva y antisimtrica, entonces R ICam R es e transitiva. Dar contraejemplos para las siguientes armaciones: (a) Si R y S son asimtricas, entonces S R y R S son e asimtricas. e (b) Si R y S son antisimtricas, entonces R S es antie simtrica. e (c) Si R y S son transitivas, entonces R S y R S y S R son transitivas. (d) Si R y S son conexas, entonces R S y R S y S R son conexas. Es un orden ? Si a es un conjunto no vac de rdenes sobre un conjunto b , o o probar que a es un orden sobre b. Si R es un orden sobre a y b a, probar que R (b b) es un orden sobre b y que si R es total, entonces R (b b) tambin lo es. e Probar que R1 es un orden sobre a si y slo si R es un orden o sobre a . Si R es un orden sobre a, probar que R Ia es un orden estricto sobre a y si R es un orden estricto sobre a , probar que R Ia es un orden (parcial) sobre a . Es un orden estricto ? Sean P1 y P2 particiones de a . Se dice que P1 es ms na que a P2 si y slo si u P1 implica u v para algn v en P2 . Probar o u que la relacin es ms na que es un orden sobre el conjunto o a de todas las particiones de a . Dar un ejemplo de un conjunto a y un conjunto S de rdenes o sobre a , tales que S no es un orden sobre a . Determinar cules de las siguientes relaciones sobre Z son rdenes a o y si lo es, de qu tipo de orden se trata: e (a) R = { x, y : x + y < 3}. (b) R = { x, y : x divide a y}. (c) R = { x, y : x + y es par }. (d) R = { x, y : x + y es par y x es un mltiplo de y }. u (e) R = { x, y : y = x + 1}.
51

17. Sea R una relacin sobre a . Probar que R es de orden si y o 1 slo si R R = Ia y R R = R. o 18. Sea < un orden estricto sobre a y sea b a . Denimos <1 / sobre c = a {b} por: x <1 y si y slo si (x, y a x y) (y = b x a). o Mostrar que <1 es un orden estricto sobre c y que la interseccin o entre el orden <1 y a a es el orden <. Dar un contraejemplo de: Si R ICam R es un orden parcial estricto, entonces R es un orden parcial. Probar que si Ro es el conjunto de todos los rdenes sobre a y o Re es el conjunto de todos los rdenes estrictos sobre a, entonces o existe una biyeccin entre Ro y Re . o Sean x = {a, b, c, d, e} y S = { a, c , b, c , d, e }. Probar que S es un orden estricto para x , no es total y que x tiene tres elementos minimales y dos maximales. Sea a un conjunto ordenado tal que todo subconjunto no vac o de a con alguna cota superior en a tiene supremo en a . Probar que todo subconjunto no vac de a con alguna cota inferior en o a tiene nmo en a . Sea i : i I una familia de rdenes sobre a totalmente o ordenada por inclusin. Probar que iI i es un orden sobre o a. Sea R un orden sobre a y sea b un subconjunto de a. Probar que c es el menor elemento de b si y slo si R ( R ({c} b)) = B. o Consideremos i orden sobre ai , con i {1, 2, 3}. Probar que: (a) Si F : a1 a2 es isomorsmo, F 1 : a2 a1 tambin es isomorsmo. e (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 ordenado a por inclusin, entonces Sb : b a es isomorfo a a . o Sean 1 y 2 rdenes sobre a1 y a2 respectivamente. Sea o F : a1 a2 un isomorsmo entre 1 y 2 . Probar que: (a) a es un elemento maximal (resp. minimal) en a1 si y slo o si F (a) es maximal (resp. minimal) en a2 . (b) Si b a1 , entonces c es una cota superior (resp. inferior) de b en a si y slo si F (c) es una cota superior (resp. o inferior) de F b en a2 .
52

19. 20.

21.

22.

23.

24. 25.

26.

27.

(c) Si b a1 , entonces c es el supremo (resp. nmo) de b en a si y slo si F (c) es el supremo (resp. o 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 slo si todo o subconjunto de a tiene nmo. 29. Sea relacin sobre N N dada por: o m, n p, q si y slo si m < n m = p y n q, o o donde es el orden usual sobre N. (a) Probar que es un orden sobre N N. (b) Encontrar todos los elementos minimales de 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 relacin sobre N N dada por: o m, n p, q si y slo si m p y n q, o donde es el orden usual sobre N. (a) Probar que es un orden sobre N N. (b) Si a es un subconjunto no vac de N N que tiene alguna o cota superior, entonces a tiene supremo. (c) Si a es un subconjunto no vac de N N, entonces a o tiene nmo. (d) Dar un ejemplo de un subconjunto no vac de N N que o tenga cotas superiores e inferiores pero que no tenga menor elemento ni mayor elemento. 31. Sea R un orden sobre a . Denimos una relacin S sobre Pa o por: uS v si y slo si o u = v o bien existe w v tal que u = {c : c v c R w}. Probar que: (a) S es un orden sobre Pa . (b) Si d b tal que S es un orden sobre d, entonces y d es cota superior de d . 32. Sea R un orden sobre a y sea b a. Probar que:
53

db

33.

34.

35. 36.

37.

38. 39. 40. 41.

42.

(a) c es el menor elemento de b respecto de R si y slo si es o 1 el mayor elemento de b respecto de R . (b) Anlogo para elementos minimales y maximales, para cotas a superiores e inferiores y para supremos e nmos. Dar ejemplos de rdenes sobre conjuntos nitos a y subconjuntos o b de a tales que: (a) b tiene un mayor elemento pero no menor elemento. (b) b tiene un menor elemento pero no tiene mayor elemento. Sea Pb , con b = ordenado por inclusin y sea c Pb. o Probar que: (a) c es el supremo de c. (b) c es el nmo de c, si c = . (c) El nmo de es Pb. 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 slo si todo segmento inicial de a o est un bien ordenado por (la restriccin de) el orden de a . a o 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 ningn conjunto con un buen orden es isomorfo a un u segmento inicial de s mismo. Probar que entre dos buenos rdenes hay, a lo ms, un isomoro a smo. Sean 1 y 2 buenos rdenes sobre a1 y a2 respectivamente. o Probar que si a1 con 1 es isomorfo a un subconjunto de a2 con 2 , y a2 con 2 es isomorfo a un subconjunto de a1 con 1 , entonces 1 y 2 son isomorfos sobre a1 y a2 . Sea A un orden total sobre A y B un orden total sobre B . Denimos a1 , b1 a2 , b2 si y slo si a1 A a2 a1 = a2 b1 B b2 . o

Demuestre que la relacin as denida es un orden total sobre o A B. Este orden se llama orden lexicogrco. a Demuestre que si A y B son buenos ordenes, el orden lexicogrco tambin es un buen orden. a e
54

43. Demuestre que la relacin denida sobre los nmeros naturales o u 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 relacin denida en el teorema 2.21 es o efectivamente un conjunto. 47. Demuestre que el supremo y el nmo, con respecto a cualquier orden, de un conjunto A , si existen, son unicos.

55

56

CAPITULO 3

Ordinales
En este cap tulo estudiaremos un tema un poco ms avanzado de a teor de conjuntos. El lector est seguramente familiarizado con los a a nmeros naturales. Los nmeros naturales nos sirven para contar y u u para ordenar los conjuntos nitos. Es esta segunda propiedad la que trataremos de generalizar para conjuntos innitos, empezaremos por construir dentro de nuestra teor el conjunto de los nmeros naturales. a u 1. N meros Naturales u Formalizaremos ahora el concepto intuitivo de nmero natural denu tro de la teor ZF. a Definicion 3.1. El sucesor de un conjunto x es el conjunto Sx = x {x}. Obsrvese que si x es un conjunto, Sx tambin lo es (Por qu?). e e e Definicion 3.2. 0 1 2 3 = = = = . . . S0 = {} S1 = {, {}} S2 = {, {}, {, {}}}

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

i.e. 0 no tiene elementos, 1 tienen un elemento, 2 tiene dos elementos, etc. Ms an, ntese que a u o 1 = {0} 2 = {0, 1} 3 = {0, 1, 2} . . . En general, Sn = {0, 1, . . . , n} , todo nmero natural esta formado por los naturales que lo preceden, u salvo el 0 uqe no contiene ningn elemento. u Hasta ahora hemos construido cada uno de los nmeros naturales. u Existe un conjunto que contenga a todos y solamente a los nmeros u 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 nmeros naturales. u Definicion 3.3. Decimos que X es inductivo si 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. Definicion 3.4. El conjunto de los nmeros naturales se dene u como sigue: = {x PI : x es inductivo} Obsrvese es inductivo y que si X es inductivo, X, es decir, e es el ms pequeo de los conjuntos inductivos. a n Por la manera en que denimos los nmeros naturales, es claro u que todo conjunto inductivo, en particular , contiene a todos los nmeros naturales. Por otra parte, ningn conjunto que no sea un u u nmero natural pertenece a . Esto quedar ms claro si demostramos u a a primero el siguiente teorema, del que derivan las propiedades que ms a nos interesan de los nmeros naturales, conocido como Principio de u Induccin. En adelante nos referiremos a el simplemente como P.I. o Teorema 3.1. (Principio de Induccin) o Sea (x) una frmula con una variable libre x . Supongamos que o i) (0) se verica.
58

ii) Para todo n si (n) se verica, entonces (Sn) tambin se verica. e Entonces (n) se verica para todo n . El P.I. puede ser enunciado en trminos de la relacin de pertenene o cia. En este caso, resulta ms evidente que P.I. simplemente arma a que es el menor conjunto inductivo. Las dos maneras de enunciar el principio son equivalentes, (ver ejercicios.) Teorema 3.2. (Principio de Induccin) o Sea B un conjunto tal que i) 0 B. ii) Para todo n , si n B , entonces Sn B. Entonces B. Ejemplo Si x , entonces x = 0 o bien x es el sucesor de un nmero u natural. Demostracion. Sea B = {x : x = 0 x es el sucesor de un nmero natural}. o u Es claro que B es inductivo, luego B . Resulta interesante notar que 0 1 2 3 y tambin o 1 2 3 e Esta observacin nos da la intuicin de que la relacin de pertenencia o o o entre naturales dene una nocin de orden apropiada. En estricto rigor, o la verdad es todo lo contrario, los nmeros naturales se denen as para u que la relacin de pertenencia sea un orden con buenas propiedades. o Definicion 3.5. La relacin se dene en por: o Diremos que m es menor o igual que n . Tambin usaremos el s e mbolo < para denotar m<n Obsrvese que m < n e ssi m n. ssi m n y m = n. mn ssi m n o bien m = n.

Debemos demostrar que esta relacin es un orden lineal, ms an, o a u que es un buen orden. Lema 3.3. Para todo n, m ,
59

i) ii) iii) iv)

Demostracion. i) Por induccin con (x) = 0 x. o (0) se verica. Supongamos ahora que (n) se verica. Es decir, 0 n, o sea 0 n 0 = n. En cualquier caso o 0 n {n} = Sn, o sea (Sn) se verica. Luego, en virtud de P.I., para todo n , 0 n. ii) Por induccin sobre n . Sea o (0) se verica trivialmente. Supongamos (m) y sea y Sm. Entonces y m o y = m. Si y m, por hiptesis de induccin, y . o o 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 induccin sobre m . Consideramos o (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 slo si y m o y = m. o Si y m, por hiptesis de induccin, Sy m y luego o o Sy Sm. Si y = m, entonces Sy = Sm. En cualquier caso, si y < Sm, entonces Sy Sm, es decir, (Sm) se 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.

Demostracion. i) es obviamente reexiva. ii) es antisimtrica. En efecto, supongamos que m n y e n m, pero m = n. Entonces m n y n m lo que contradice el teorema 1.3. iii) es transitiva. Supongamos que k m y m n. Demostraremos que k n por induccin sobre n . Para ello sea o (x) = yz((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 m = Sn. o Si m < Sn, entonces por el lema 3.3 iii), m n y por hiptesis de induccin k n. Es decir k n k = n. En o o o cualquier caso k Sn, o sea, k Sn. Si m = Sn, como k m k = m tenemos k Sn o o k = Sn, es decir, k Sn. Esto completa la induccin, luego todo nmero natural n o u verica (n), o sea, es transitiva. iv) es un orden total. Sean m y n dos nmeros naturales. u Demostraremos por induccin sobre n que m < n m = n o o o n < m. Para ello sea (x) = y(y < x y = x x < y) (0) se verica por el lema 3.3 i). Supongamos (n) se verica. Entonces para todo m, m < n m = n n < m. o o Si m < n m = n, entonces m Sn, luego m < Sn. o Si n < m, entonces Sn m por el lema 3.3 iv). Luego por P.I., es un orden total sobre . Para vericar que es un buen orden, resulta ms fcil demostrar a a primero otra versin del Principio de Induccin. Para distinguirlo o o de P.I., lo llamaremos Principio de Induccin Completa. Debemos o recordar siempre que este nuevo principio es equivalente con P.I. Demostraremos a continuacin una de las implicaciones, la otra se deja o como ejercicio. Teorema 3.5. (Principio de Induccin Completa). o Sea (x) una frmula con una variable libre x . Supongamos que o ( ) si (k) se verica para todo k < n, entonces (n) tambin e se verica. Entonces para todo n , se verica (n). Demostracion. Demostramos primero por induccin que para o todo n se cumple (n) donde (x) = y(y < x (y)) i) (0) se cumple trivialmente ya que no existe m < 0.
61

ii) Supongamos (n) se verica. Entonces por (), (n) tambin, e pero por el lema 3.3 iii), para todo n luego y(y < Sn (y)), es decir (Sn) es cierta. Esto completa nuestra induccin, o sea para todo n , se verica, o en particular, (Sn), y como n < Sn, esto garantiza que se verica (n). El principio de Induccin Completa tambin puede plantearse en o e terminos de la relacin de pertenencia. o Teorema 3.6. Sea B tal que ( ) si {k : k < n} B, entonces n B. Entonces B = . Teorema 3.7. es un buen orden. Demostracion. Hemos visto que es un orden total. Debemos demostrar que es bien fundado, es decir, que si X , X = , entonces X tiene un menor elemento. Para ello suponemos que X no tiene menor elemento y aplicamos el Principio de Induccin Completa 3.6 a X X) o Dado n , si para todo k < n , k X , entonces n X porque, si no, n es el menor elemento de X, luego X = , es decir, X = , lo que es una contradiccin. Por lo tanto todo subconjunto no o vac de tiene un menor elemento y es un buen orden. o Volveremos sobre estas propiedades en un contexto ms general en a las prximas secciones. o Teorema 3.8. Si un subconjunto de tiene una cota superior, entonces tiene un mximo elemento. a Demostracion. Sea X , X = , denimos Por hiptesis Y = . Sea m el menor elemento de Y . Por denicin o o m es el supremo de X. Debemos demostrar que m X. Si m = 0, entonces para todo x X, x 0, o sea X = o bien X = {0}. El primer caso no ocurre por hiptesis y en el segundo, 0 es o el mximo de X. a Si m = 0, entonces m = Sn para algn n. Pero entonces si u m X, n es cota superior de X y n < m, una contradiccin. Luego / o m X y es el mayor elemento de X.
62

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

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

Ejercicios. 1. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Induccin dadas en el texto, es decir los teoremas 3.1 y o 3.2. 2. Demuestre el Principio de Induccin Completa a partir del teoo rema 3.7 3. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Induccin Completa dados en el texto, es decir los teoo remas 3.5 y 3.6. 4. Sea ai : i una familia de conjuntos tal que para todo i , ai aSi . Probar que a0 an para todo n 1. 5. Sea ai : i una familia de conjuntos tal que para todo i , ai aSi y i ai a0 . Probar que ai = a0 para todo i en . 6. Probar que si n , Sn = n y que = . 7. Probar que si a , a = y a = a , entonces a = . 8. Probar que si m y n estn en y m = n , entonces: a m si n m, (a) m n = n si m n. n si n m, (b) m n = m si m n. 9. Probar que si n m y n = 0 , entonces existe un mayor elemento en n . 10. Si a b son no vac os, n es el menor elemento de a y m es el menor elemento de b , cul es la relacin entre n y a o 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 estn en y n < m , entonces Sn < Sm. a 13. Probar que no existe una funcin F : tal que para o todo n , F (Sn) < F (n). 14. Probar que si (x) es una frmula con variable libre x y existe o 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 frmula con variable libre x y existe o 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 rdenes, de hecho, o son los ejemplos t picos de estos ultimos en el sentido que todo buen orden es isomorfo a algn ordinal. La denicin de ordinal no hace u o sino extender las propiedades de los nmeros naturales estudiadas en u la seccin anterior sin embargo, esto no se podr apreciar sino hasta o a que el cap tulo est bastante avanzado. e Definicion 3.6. i) a es transitivo si

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). Obsrvese e que Ord (x) es una frmula de nuestro lenguaje en la que x o aparece libre. Notacin: Usaremos letras griegas minsculas para denotar ordio u nales. Nada en la denicin indica que haya ordinales, ni siquiera que exo istan conjuntos transitivos. Tambin podr suceder que todo cone a junto es un ordinal. A continuacin dilucidaremos estos problemas. De o hecho, el siguiente teorema demuestra que todos los nmeros naturales u son ordinales. Teorema 3.9. i) 0 es un ordinal. ii) Ord (x) Ord (Sx). iii) x(x Ord (x)). iv) Ord (). Demostracion. i) Ord (0) trivialmente ya que 0 = . ii) Supongamos que x es ordinal. Entonces x es transitivo y todo elemento de x es transitivo. Como Sx = x {x}, todo elemento de Sx es transitivo. Para ver que Sx es transitivo consideremos z , y tales que z y Sx. Si y x, entonces z x, ya que x es transitivo. Si y = x, entonces tambin z x, es decir, en cualquier e caso, z x Sx, o sea, Sx es transitivo.
64

iii) Consideramos la frmula (x) = Ord (x). Por i) y ii) y P.I., o todo nmero natural es un ordinal. u iv) El lema 3.3, ii) demuestra que es transitivo. Si n , iii) demuestra que n es transitivo. Luego Ord (). Ver que no todo conjunto es un ordinal es fcil. De hecho, {{0}} a no es ni siquiera transitivo. Tambin es fcil ver que ningn par e a u ordenado a, b es un ordinal. Teorema 3.10. Si C es un conjunto de ordinales, entonces es un ordinal. C

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

 Demostracion. Supongamos por el contrario que existen ordinales y tales que , = y . Sea Nuestra suposicin implica que , A. Luego A = . o 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 contradiccin se obtiene probando que a = b. o Sea x a, como a es ordinal, x tambin lo es. Como a A = e , x A. Por ultimo como x a S S, x S S, ya que este ultimo, al ser unin de dos ordinales, es tambin un ordinal y, por o e lo tanto, es transitivo. Entonces en particular como b S S, y(y S S (x y x = y y x)) x b x = b b x. B = {x S S : a x a = x x a} A = {x S S : y(y S S x y x = y y x)}.

Si x = b, b a, luego b B. Si b x, como a es ordinal b a, luego b B. En ambos casos tenemos una contradiccin. o Por lo tanto la unica posibilidad es x b, es decir, hemos de mostrado que a b. Supongamos ahora que x b. Como antes x S S y x B ya que B b = . Luego Si a x a = x, entonces a b ya que b es ordinal. Luego x a. o Hemos demostrado que b a. Por lo tanto a = b lo que contradice nuestra suposicin, luego o El teorema 1.3 garantiza que slo una de las tres posibilidades ano teriores se verica. Teorema 3.14. Si A es un conjunto no vac de ordinales, eno tonces A esordinal. Ms an, A A. a u
66

ax a=x xa.

= .

 Demostracion. Si x A, entonces para todo A, x , luego x es ordinal, por lo tanto es transitivo. Supongamos x y A. Entonces para todo A, x y A, pero es ordinal, luego para todo A, x A, o sea, x A y A es transitivo. Hemos demostrado que A es un ordinal. Por 3.13, para todo A, A o A = A, o pero esta ultima posibilidad implica que, en particular, . Las dos primeras posibilidades implican que A A. Teorema 3.15. Para cualquier y i) ssi . ii) Si C , entonces C= o C . iii) = S. iv) Si , entonces S S = . o v) = S = . o Demostracion. i) Por transitividad de , si x , entonces x , o sea, . Como , = . Si , entonces = y . Luego por el teorema 3.13, . ii) C es un ordinal por el teorema 3.10. Supongamos que C, entonces x para algn u x C y como hemos supuesto que C , x . O sea x , lo que contradice el teorema 1.3. Luego C o C = . iii) Si x S, x y para algn y S. Entonces y u y = ; en cualquier caso x . o Entonces x S, luego x S. iv) Supongamos que S, o sea, = . Como por o hiptesis , tendriamos que , lo que contradice el o teorema 1.3. Luego por 3.13, S S = . o v) Sabemos que es ordinal. Si = , entonces por ii), . Luego por iv), S S = . Si suponemos o que S , como S , concluiriamos que , lo que contradice el teorema 1.3. Luego S = = o . Observemos que iv) es una generalizacin del lema 3.3, iii). Tambin o e es importante notar que todo ordinal es o bien sucesor de algn otro u ordinal o bien la unin de s mismo. o
67

 Definicion 3.7. Sea un ordinal. Denimos la relacin en o como sigue. Para x, y xy si y slo si o xy x=y.

Ntese que, en rigor, para distintos ordinales el orden recin o e denido no es el mismo ya que su campo var Sin embargo usaremos a. el mismo s mbolo ya que es claro dos de estos rdenes coinciden en la o interseccin de sus campos. o Tambin debemos notar que ste coincide con el orden que denimos e e para los nmeros naturales. u El siguiente teorema resume las principales propiedades de este orden. Teorema 3.16. Sea un ordinal. i) ii) iii) iv) v) vi) vii) viii) ix) x) xi) es un buen orden en . Si A y A = , entonces A es el menor elemento de A. 0 es el menor elemento de . < S si y slo si . o = { : < }. No existe un ordinal tal que < < S. si y slo si . o Si A , entonces A es el supremo de A . < si y slo si S . o S = S si y slo si = . o S < S si y slo si < . o

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

viii) Supongamos A , entonces A es un ordinal y para x A es claro que x A, o sea, por vii), x A, es decir, A es cota superior. Sea otra cota superior de A. Entonces para todo x A, como x A y es cota superior de A , x , es decir, x , o sea, A , por lo tanto A es la menor de las cotas superiores de A . ix) Si , entonces por transitividad S , o sea, S . Si S , como < S, < , por transitividad de < . x) Supongamos S = S y = . Entonces como S = S, S. Pero entonces . Anlogamente lo que a es imposible, luego, = . Es claro que si = , S = S. xi) < si y slo si S si y slo si S < S por ix) y o o iv) respectivamente.

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

7. Sea B un conjunto de ordinales . Probar que si es un ordinal y para todo B, , entonces . Probar tambin e que lo anterior no es necesariamente cierto si no se requiere que sea ordinal. 8. Probar que si y es el mayor elemento de , entonces = S. Es esto cierto si es ordinal arbitrario? 3. Induccin Transnita o En esta seccin generalizaremos el teorema de induccin de los o o nmeros naturales a los ordinales. De hecho, el primero es un caso u particular del segundo. Teorema 3.17. (Principio de Induccin Transnita) o Si (x) es una frmula con una variable libre y para todo ordinal o , () si para todo < , () , entonces (). Entonces para todo ordinal , (). Demostracion. Observemos primero que como no existe ningn u < 0, por ( ), (0) se verica trivialmente. Supongamos que el teorema es falso para algn ordinal . Entonces u el conjunto C = { S : ()} es no vac luego tiene un menor o, elemento . La observacin al comienzo de esta demostracin implica o o que = 0. Adems, como es el menor elemento de C, para todo a < , C, es decir, para todo < , (), pero entonces por la hiptesis ( ), (), pero como C, se llega a una contradiccin. o o Luego para todo ordinal (). Ntese que esta formulacin del teorema de induccin transnita o o o es similar a la del teorema de induccin completa de los nmeros nato u urales, A veces es util usar una forma ms parecida al principio de a induccin por casos. Para ello recordemos que todo ordinal es o o bien el sucesor de algn otro o es la unin de s mismo. La prxima u o o denicin y el teorema que le sigue formaliza estas ideas. o Definicion 3.8. Un ordinal es un sucesor si existe : tal que = S. Si = 0 y no es un ordinal sucesor, entonces es un ordinal lmite 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 slo o < . ii) es lmite si y slo o = = 0.
70

iii) es lmite si y slo = 0 ( < ( < < )). o Demostracion. i) Si = S, entonces por el teorema 3.15 iii), = S = < , Reciprocamente, si < , S . Si suponemos que S < , S ,

o sea, , una contradiccin. Luego = S y como o es un ordinal, es sucesor. ii) Sabemos por el teorema 3.15 ii), que . Entonces por i), = si y slo si no es sucesor, luego = 0 y o = si y slo si es l o mite. iii) Por ii), es l mite si y slo si = 0, = y esta ultima o es equivalente a que para todo , existe tal que . que i) (0), ii) para todo ordinal , si () , entonces (S) y iii) para todo ordinal lmite , si () para todo < , entonces (). Entonces para todo ordinal , ().

Teorema 3.19. Sea (x) una frmula con una variable libre tal o

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

1. Demuestre que el Principio de Induccin dado en el teorema 3.19 o implica al Principio de Induccin del teorema 3.17. o 2. Demuestre el Principio de Induccin 3.19 sin usar el teorema o 3.17. 3. Demuestre el siguiente Principio de Induccin. o Sean un ordinal no nulo A tales que (a) 0 A, (b) si A y S < , entonces S A, (c) si = < y para todo < , A. Entonces A = . 4. Recursin o En esta seccin estudiaremos un proceso, o ntimamente ligado a la induccin transnita, que nos permite denir operaciones entre ordio nales, este es el principio de recursin. o En lgebra elemental frecuentemente nos encontramos con sucea siones del tipo siguiente a0 = 1 an+1 = 2an + 1 Es claro que esta sucesin est bien denida ya que para cualquier o a n , con algn trabajo, podemos obtener el valor de an . Por otra parte, u es claro que esta denicin diere esencialmente de la de la sucesin o o bn = n2 + 1 . La diferencia reside en que para conocer el valor de an debemos primero determinar el valor de an1 , y para conocer ste, debemos e determinar el valor de an1 y as sucesivamente. No es este el caso de bn . Decimos que {an }n est denida recursivamente. A continuacin a o formalizaremos estos conceptos. Recordemos que una frmula (x, y) tal que para todo a existe un o unico b tal que (a, b) dene una operacin unaria y habitualmente o escribimos b = F (a) si y slo si (a, b) . o Obsrvese que por el axioma de reemplazo, si a es un conjunto e F (a) y {F (x) : x a} tambin lo son. e El siguiente teorema nos permite denir una operacin unaria sobre o un conjunto cualquiera conociendo todos los valores de la operacin o sobre sus elementos. Una forma alternativa es denir la operacin por o casos, para el 0, para ordinales sucesores, para ordinales l mites y para
72

conjuntos cualquira. Este ultimo caso es necesario ya que la operacin o debe estar denida para todos los conjuntos y no slo para los ordinales. o

Teorema 3.20. i) Sea y = G(x) una operacin unaria. Eno tonces existe una unica operacin unaria y = F (x) tal que o (Ord () F () = G({F () : })x(Ord (x) F (x) = x) ii) Sean y = G(x), y = H(x) dos operaciones unarias, entonces existe una unica operacin unaria y = F (x) tal que para todo o ordinal F (S) = G(F ()) ( = y si x no es ordinal, F (x) = x). Demostracion. i) Demostraremos por induccin que para todo o ordinal existe una unica funcin f tal que o a) Domf = S, b) f () = G(f ), para todo S y c) si , entonces f f . Sea entonces un ordinal y supongamos que para todo < existe f con las propiedades a), b) y c). Entonces denimos f () = f () G(f ()) , si , , si = . F () = H{F () : })

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

 f0 0 = = = =

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

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

Es decir f0 = g0 lo que contradice nuestra suposicin. o Por lo tanto, por el teorema 3.17, para todo ordinal existe una unica funcin f que verica a) y b). o Podemos ahora denir nuestra operacin unaria y = F (x). o F (x) = fx (x) x si x es ordinal, si x no es ordinal.

Por construccin, y = F (x) verica la tesis del teorema. o ii) Demostraremos por induccin que para todo existe una unica o funcin f tal que o a) Dom f = S, b) Si S S, entonces f (S) = G(f ()), c) Si = S, entonces f () = H(f ). d) Si , entonces f f . Si = 0 , entonces = luego 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 hiptesis de induccin que para o o todo existe f que verica a), b), c) y d). Denimos f como sigue f () = f () H(f ())
74

si = S, si = .

f tambin verica a), b), c) y d). Luego por induccin, para e o todo ordinal , existe una funcin f con las caracter o sticas indicadas. La unicidad de f es obvia y se deja como ejercicio. Podemos denir la operacin unaria F como en i). o

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. Indicacin: Denir recursivamente una funcin F sobre o o de tal manera que F (0) = a F (n + 1) = y luego probar que T (a) = T (a) = a a
n

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

es decir contiene los elementos de a , los elementos de los elementos de a , etc. 5. Funciones Normales En esta seccin estudiaremos algunas propiedades de las funciones o normales que nos sern utiles en las secciones siguientes. a Definicion 3.9. Sean A y B ordinales y : A B una funcin. o i) es no-decreciente si ii) es estrictamente creciente si iii) es continua si ( < () ()). ( < () < ()). = A) () = ()).

(( = 0

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

75

1. La funcin S es estrictamente creciente pero no continua, por o ejemplo S = = S. 2. La funcin o 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.

Fcilmente podemos ver que f es normal. a Teorema 3.21. Sean A, B ordinales : A B una funcin. o Si es estrictamente creciente, entonces para todo A, (). Demostracion. Por induccin. o Teorema 3.22. Sean A, B ordinales : A B una funcin o continua tal que si S A, () < (S). Entonces es normal. Demostracion. Tenemos que demostrar que es estrictamente creciente. Lo haremos por induccin usando la siguiente frmula o o (x) = (( < x x A) () < (x)) i) (0) se verica trivialmente. ii) Si = S, supongamos que () se verica y que S A. Entonces para < , () () por hiptesis de ino duccin . Si = , () < (S), por hiptesis, es decir o o luego (( < = S S A) () < (beta)), es decir, (). iii) Si es l mite, entonces por la continuidad de , (). Esto que completa muestra induccin. Luego es estrictamente creo ciente y por lo tanto normal. Teorema 3.23. Si es una funcin normal y Dom es un o ordinal lmite, entonces () tambin es l e mite. Demostracion. Sea (). Como () =
<

() ,

existe < tal que (), o sea,

76

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

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

< <

<

() ()

()

() =
< <

().

Teorema 3.25. Sean , funciones normales tales que Rec Dom . Entonces es una funcin normal. o Demostracion. es estrictamente creciente ya que si < , () < (), luego (()) < (()), o sea, () < (). Para ver que es continua, sea = 0, = . Por teorema 3.23, () es tambin un ordinal l e mite. Luego como es () =
<

continua () = (()) = Pero si < () =

<

().
<()

(), entonces existe < tal que <

() < () luego () < (()) <

<

(()).

Por lo tanto ()
<

(()) (()) = ()
77

o sea () =
<

(),

es decir es continua y por lo tanto es normal. Teorema 3.26. Sea un ordinal, una funcin normal con o dominio . Supongamos que para algn existen , u tal que () < (). Entonces existe un unico tal que () < (S). Demostracion. Sea el menor tal que < (). Este debe existir por hiptesis. o Supongamos = 0, entonces como , () () < (), una contradiccin, luego = 0. o Supongamos = 0, = . Entonces < () = () luego
<

existe < tal que < () contradiciendo la minimalidad de . Por lo tanto es un sucesor, digamos = S. Entonces () < (S). Para probar la unicidad de , sea = un ordinal. Entonces < o < . Si < , S , luego < (S) (); si < , S , luego (S) () < . En cualquier caso, no verica que () < (S), luego es unico. Ejercicios. 1. Demuestre que la funcin denida en los ejemplos 5 es normal. o 2. Demuestre el teorema 3.21. 3. Considere la topolog generado sobre el ordinal por todos los a intervalos (), ) = { : < < }, donde < . Demuestre que : es continua segn la denicin u o 3.9 si y slo si, es continua en esta topolog o a. 6. Ordinales y Buenos Ordenes Esta breve seccin la dedicaremos a demostrar un resultado imo portante, a saber, que todo buen orden es isomorfo al orden de algn u ordinal. De esta manera, los ordinales sirven para representar a todos
78

los posibles buenos ordenes. Volveremos sobre este tema en el prximo o cap tulo. Teorema 3.27. Todo buen orden es isomorfo con (el orden de) un ordinal. Demostracion. Sea R un buen orden cuyo campo es A . Denamos la operacin unaria o F () = R menor elemento de A F si ste es no vac e o, A si no.

(Para ser rigurosos, la operacin F debe estar denida para todo o conjunto y no slo para los ordinales, sin embargo, siempre podemos o 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 algn ordinal tal u que F () A. Sea / = { : F () A}. /

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

7. Aritmtica Ordinal e A continuacin deniremos la suma, el producto y la exponeno ciacin de ordinales. o Las dos primeras operaciones tienen una interpretacin bastante o intuitiva en trminos de buenos rdenes. Como sabemos todo ordinal e o esta bien ordenado por , es ms, como vimos en la seccin antea o rior, todo buen orden est codicado o representado por algn ordinal. a u Ahora bien, la suma de dos ordinales y representa al (buen) orden que resulta de ordenar poniendo todos los elementos de despus de los de , grcamente e a

Por su parte representa al (buen) orden lexicogrco sobre a (ver ejercicios). La exponenciacin no tiene una interpretacin intuitiva. o o 7.1. Suma de Ordinales. Definicion 3.10. Denimos la suma de ordinales como sigue. Si es un ordinal cualquiera i) + 0 = ii) + S = S( + ) iii) + = { + : }, si 0 = = Obsrvese que tal operacin est bien denida en virtud del teorema e o a 3.20, ii), donde G(x) = Sx y H(x) = x. Adems para todo , , + es un ordinal. a Teorema 3.28. Para todo par de ordinales y , la funcin o + : + + , es una funcin normal. o Demostracion. + es continua por denicin. o Supongamos que y S , entonces + () = + < S( + ) = + S = + (S), luego por el teorema 3.22, + es normal.
80

Formalizaremos ahora las ideas intuitivas sobre la suma de ordinales que dimos en la introduccin de esta seccin. o o 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 + . Demostracion. Es fcil demostrar que R es un buen orden (ver a ejercicios). Denimos: si x = 0 y < , F (x, ) = + si x = 1 y < . Entonces Dom F = { 0, : } { 1, : } = Cam R . Tambin es claro que Rec F + . Para ver que Rec F = e + , sea + , . Luego < + . Como + es normal, por teorema 3.26, existe un unico tal que + () < + (), o bien + < + S = S( + ). Por teorema 3.16, vi) , + = . Luego, como tiene que ser menor que , = + = F (1, ) , o sea, Rec F y por lo tanto + = Rec F . Por ultimo como + es normal, es fcil vericar que a xRy y que F es inyectiva. ssi F (x) F (y)

Algunas de las propiedades ms importantes de la suma de ordinales a estn resumidas en el siguiente teorema. a Teorema 3.30. Sean , , ordinales. Entonces i) ( + ) + = + ( + ). ii) + .
81

iii) iv) v) vi) vii)

< si y slo si existe > 0 tal que + = . o Si < , entonces + + . S = + 1. 0 + = . Si < , entonces + < + . i) Por induccin sobre . o

Demostracion. Si = 0

( + ) + 0 = + = + ( + 0). Supongamos que ( + ) + = + ( + ). Entonces ( + ) + S = = = = S(( + ) + ) S( + ( + )) + S( + ) + ( + S).

Si 0 = = y para todo , + ( + ) = ( + ) + . Entonces como + (x) = + x es normal y es l mite, por 3.23, + = { + : < } es l mite, y por 3.24 { + : < } = { : < + }. Similarmente, + (x) = + x es normal, luego + ( + ) = = = = = = = + { + : < } + { : < + } { + : < + } { + : < + } { + ( + ) : < } {( + ) + : < } ( + ) + .

Esto completa la induccin y demuestra por lo tanto la asoo ciatividad de + . ii) Por induccin sobre . o Si = 0 , obviamente 0 + 0. Supongamos + . Entonces S S( + ) = + S.
82

 Si 0 = = y para todo + . Entonces = { : } { + : } = + .

iii) Supongamos < . Como + ,

A = { S : + }, es no vac luego A tiene un menor elemento tal que o, Supongamos que < + . Es claro que = 0 ya que < . Si es un sucesor, digamos = S, < + S = S( + ), luego + , lo que contradice la minimalidad de . Si = , < + = { + : }, luego + para algn < , lo que contradice la minimalidad de . u Es decir no es 0 ni sucesor ni l mite lo que no es posible, luego = + . Rec procamente, si = + , como + x es estrictamente creciente y 0 < = + 0 < + = . iv) Por induccin sobre . o Si = 0, + 0 = < = + 0. Supongamos que + < + . Entonces + S = S( + ) < S( + ) = + S. Si 0 = = y para < , Entonces + < + . + .

+ = { + : } { + : } = + . La desigualdad estricta no se puede lograr ya que, por ejemplo, 1 + = 2 + . v) Obvio vi) 0 + = se demuestra por induccin sobre . o Si = 0, entonces 0 + = 0 = .
83

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

lo que completa la induccin. o

84

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

De hecho esta propiedad caracteriza a los ordinales que no son nmeros naturales. u Teorema 3.32. si y slo si 1 + = . o Demostracion. Ya vimos que 1 + = . Si , existe tal que = + . Entonces 1 + = 1 + ( + ) = (1 + ) + = + = . Si < , entonces por 3.31 ii), 1 + = + 1 = . 7.2. Multiplicacin de Ordinales. o Definicion 3.11. Denimos por recursin el producto por como o sigue i) 0 = 0. ii) S = + . iii) = { : }, si 0 = = . Como en el caso de la suma, hemos denido la multiplicacin por o recursin usando el teorema 3.20, donde o G(x) = x + y H(x) = x. = 0 la

Teorema 3.33. Para todo par de ordinales y , funcin o : es una funcin normal. o ,

Demostracion. es continua por denicin. o 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 }. Demostracion. Podemos suponer que y son distintos de 0. Es fcil demostrar que R es un buen orden (ver ejercicios). a Para , , denimos F ( , ) = + . Entonces Dom F = = Cam R. F es una funcin y para cada o , , F ( , ) = < = + + , por teorema 3.30, vii), S , ya que es creciente.

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

F ( , ) = +

< + = S alpha + = F ( , ),

o bien = y < , entonces

F ( , ) = + = + < + = F ( , ), o sea F es estrictamente creciente, luego es inyectiva y por lo tanto es un isomorsmo.

Observacin. o El orden R recin introducido se llama orden antilexicogrco, e a corresponde a sustituir cada elemento de por una copia de . Las propiedades bsicas de la multiplicacin ordinal estn resumia o a das en el siguiente teorema. Teorema 3.35. i) ( + ) = + . ii) ( ) = ( ) . iii) 0 = 0 = 0. iv) 1 = 1 = . v) 2 = + . vi) Si = 0, entonces . vii) Si = 0 y < , entonces < . viii) Si = 0 y 1 < , entonces < . ix) Si < , entonces . x) Si 1 < , 1 < , entonces + . xi) Si , = 0, entonces = 0. Demostracion. i) Por induccin sobre . o Si = 0, ( + 0) = = + 0 = + 0 Si ( + ) = + ,
87

 ( + S) = = = = =

S( + ) ( + ) + ( + ) + + ( + ) + S.

Si = = 0 y para todo , ( + ) = + y ( + ) = Como + es normal, luego { + : }. { + : } es un ordinal l mite { ( + ) : } { + : }

{ + : } = =

= + { : }, ya que es normal. Esto completa la induccin, por lo o tanto ( + ) = + .

ii) iii) v) vii)

Por induccin sobre usando i). o y iv) se demuestran por una sencilla induccin. o Por denicin. o Por induccin sobre . Sea 1 . o Si = 0, 0 0 = 0. Si , entonces S = = S( ) +1 + S.

Si = = 0 y para todo < , lo que completa la induccin. o ix) Por induccin sobre . o x) Por induccin sobre . o
88

= { : } { : } = ,

 Si = 2, entonces como 2 , + =+2+=2= Si 1 < y + , + S = = = S( + ) S( ) +1 + S. 1 < , entonces

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

{ : } = .

xi) Si no, existen , = 0 tales que = 0 pero por vi), como = 0, = 0, luego = 0 , contradiccin. o El siguiente teorema demuestra que la multiplicacin de ordinales o restringida a verica las propiedades que esperamos que sta vere ique, a saber, que sea conmutativa y que distribuya por la derecha sobre la suma. Cabe destacar que la multiplicacin ordinal en general o no verica estas propiedades. Por ejemplo, 2 = =+ =2 y por ende = (1 + 1) = + Teorema 3.36. Sean m , n y l nmeros naturales. Entonces u i) m n es natural. ii) m n = n m. iii (m + n) l = m l + n l. Demostracion. i) Por induccin sobre n . o ii) Por induccin sobre n . o Si n = 0, entonces m n = n m = 0 Si m k = k m, demostraremos por induccin sobre m o que para todo m, m Sk = Sk m. Si m = 0, m Sk = Sk m = 0
89

 Si l Sk = Sk l, entonces Sl Sk = = = = = = = = = = Sl k + Sl k Sl + Sl, (k l + k) + Sl (l k + k) + Sl, (l k + Sl) + k, (l k + (l + 1)) + k (l k + l) + (k + 1) l Sk + Sk Sk l + Sk, Sk Sl. por hiptesis de induccin sobre m, o o por hiptesis de induccin sobre, n o o por 3.30, i) y 3.31 iii),

por hiptesis de induccin sobre, m o o

Esto completa ambas inducciones. Ntese que en la demostracin anterior se hizo una doble induccin, o o o es decir, el paso de induccin se demostr, a su vez, por induccin. o o o Teorema 3.37. (Algoritmo de la divisin). o Si y son ordinales y = 0, entonces existe un unico y un unico tales que =+ , y < .

Demostracion. Como es normal, en virtud de 3.26, existe un unico tal que < S = + . Por 3.30, iii) existe un unico tal que + =. Por 3.35, vi), es claro que . Adems, < , pues si , a < + + = . Teorema 3.38. Las siguientes armaciones son equivalentes. i) es lmite. ii) = , para algn = 0. u iii) Para todo m {0}, m = y = 0. Demostracion. i) ii) Por el algoritmo de divisin, existen o y tales que , < y = + .
90

Si = 0 , = Sm, para algn m , entonces = u + Sm = S( + m), o sea no es l mite. Por lo tanto =0y = . Obviamente = 0 pues si no, = 0. ii) iii) Primero veriquemos que para todo m {0} m = . En efecto, por 3.35, vi), luego m = . Entonces si m = 0 y = , para algn = 0, u iii) i) Supongamos m = , = 0 y = S para algn . u Entonces una contradiccin, luego es l o mite. 7.3. Exponenciacin de Ordinales. o Definicion 3.12. Sean y ordinales. Denimos por recursin o la exponenciacin de ordinales como sigue. o i) 0 = 1. ii) S = . iii) = { : }, si = = 0. Como en el caso de la suma y la multiplicacin, hemos denido la o exponenciacin por recursin usando el teorema 3.20, donde o o G(x) = x y H(x) = 1 x. = 2 = 2 S = 2 + 2 + 2 > + 1 = , m = m ( ) = (m ) = = m = {m n : n } ,

Teorema 3.39. Para todo par de ordinales > 1 y , la funcin o exp : ,

es una funcin normal. o

Demostracion. Como exp es continua por denicin, basta o demostrar que es estrictamente creciente. Para ello usamos el teorema 3.22. Por induccin podemos demostrar que = 0 para todo ordinal o . Luego, exp () = = 1 < = S = exp (S).
91

Las propiedades de la exponenciacin de ordinales se resumen en el o siguiente teorema. Teorema 3.40. i) 0 = 0 1 , si es sucesor, , si es lmite o = 0.

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

1 = 1. 0 = 1, 1 = y 2 = . Si , > 1, entonces < . Si > 1, entonces . Si > 1 y < , entonces < . Si = 0, entonces + = . Si = 0, entonces ( ) = . Si > 1 y = 0, entonces 1 < . Si , > 1, entonces .

Demostracion. i) y ii) se demuestran por induccin. o iii) es obvio. iv) se verica porque exp es estrictamente creciente y 1 = . v) se puede demostrar por induccin sobre o por 3.21 porque o exp es normal para > 1. vi) simplemente expresa que exp es creciente para > 1. vii) Por induccin sobre . o Si = 0, entonces + = = 1 = 0 = . Si + = , entonces +S = S(+) = + = ( )

= ( ) = S .
92

 Si = = 0 y para todo , + = , entonces como + es l mite y usando el teorema 3.24 + = = = = { : < + } { : < } {+ : } { : } { : }

= ,

lo que completa la induccin. o viii) Por induccin sobre o Si = 0 , entonces ( ) = ( )0 = 1 = 0 = 0 = . Si ( ) = , entonces ( )S = ( )

= , y por vii), = + = S . ( ) = ,

Si = = 0 y para todo , entonces

( ) = = =

{( ) : } { : }. { : } ,

ya que es l mite. Para demostrar el paso anterior, debe usarse un argumento similar al empleado en la demostracin de vii). Esto completa la induccin. o o ix) Si 1 < y 0 < , entonces por vi), 1 = 0 < . x) Por induccin sobre . o Si = 2, entonces = 2 = + = 2 =
93

 Si , entonces S = =

+ + S .

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

= .

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

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

7. Probar que si = 0, entonces + es ordinal l mite si y slo o si es ordinal l mite. 8. Probar que + = { + : }. 9. Probar que si es ordinal l mite, entonces { + ; } = { : + }. 10. Sea F una operacin tal que si es ordinal, entonces F () o es ordinal. Denimos la operacin o F sobre los ordinales por: F (0) = 0 ; si es ordinal, entonces F (S) = F () + F () ; { F () : si es ordinal l mite, entonces F () = } ; si no es ordinal, entonces F () = 0. Probar que: a (a) F est bien denida sobre los ordinales. (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 operacin o que lleva ordinales en ordinales, entonces si para todo < implica que F () G() , entonces F () G(). Probar que se puede reemplazar por < si se agrega la condicin de que si , entonces o F () = 0 . (v) Si F es tal que para todo < se tiene F () = 1 , entonces = F (). (vi) Probar que si es ordinal l mite y para todo < se tiene F () = 0 , entonces e F () es tambin 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 divisin por 2 un ordinal tiene por resto a 0 o a 1 , y se dir o a que tal ordinal es par o impar en los respectivos casos. 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 operacin F sobre el ordinal que lleva ordinales o en ordinales puede ser representada por (i )i , donde i = F (i) , para todo i . En tal caso hablamos de una sucesin de ordio nales (es claro que si F es operacion arbitraria que lleva ordinales en ordinales, restringindola a un ordinal cualquiera la considere amos como sucesin de ordinales). Diremos que una sucesin de o o ordinales tiene l mite = limi ai si y slo si dada una vecindad o (, ) de , existe un ordinal tal que si i < se tiene i (, ). (a) Probar que limi i es el supremo de {i : i } , si (i )i es una sucesin de ordinales estrictamente creciente. o (b) Dar un ejemplo de dos sucesiones de ordinales estrictamente crecientes (i )i y (i )i , tales que limi i + limi i = limi (i + i ). (c) Probar que es l mite de cualquier sucesin de ordinales tal o que (i )i S , pero no existe una sucesin de ordinales o (i )i que simultneamente est contenida en S {} y a e que tengta a como l mite. (d) Sea (i )i una sucesin estrictamente creciente de ordio nales con como l mite. Probar que i = para todo i . Adems, probar que es ordinal l a mite.
96

18. 19.

20. 21. 22.

(e) Sea (i )i una sucesin de ordinales no necesariamente o creciente. Probar que si es ordinal sucesor entonces existe limi i , pero si es ordinal l mite no necesariamente existe tal l mite. (f) Si (i )i es un a sucesin estrictamente creciente de o ordinales, probar que para todo ordinal se tiene + limi i = limi ( + i ) , pero no necesariamente se tiene limi i + = limi (i + ). Probar tambin que e (limi i ) = limi ( i ) , pero no necesarimente (limi i ) = limi (i ). Sea (i )i una sucesin de ordinales tal que i = para todo o i . Probar que i i = . (a) Probar que n = si n . (b) Probar que es ordinal l mite si y slo si n = para o todo n . Probar que si = 0 es ordinal sucesor, entonces para todo = 0 se tiene ( + 1) > . Probar que si es ordinal l mite y = 0 , entonces { : } = { : }. Sea F una operacin que lleva ordinales en ordinales. Denimos o () por: F F (0) = 1 ; F (S) = F () F () ; Si es ordinal l mite y existe tal que F () = 0 , entonces F () = 0 ; Si es ordinal l mite y para todo se tiene F () = 0 {F () : } ; , entonces F () = Si no es ordinal, entonces F () = 0. Probar que: (a) F est bien denida. a (b) F () es un ordinal si lo es. (c) F () = 0 si y slo si existe tal que F () = 0. o (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 operacin que lleva ordinales en ordinales, o 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 operacin o sobre los ordinales tal que F () = para todo , entonces F () = . Encontrar la suma y el producto de la sucesin de ordinales o (i )i tal que i = i , para todo i . Sea (i )i la sucesin de ordinales tal que 0 = y S = o ( ) para . Sea 0 = {i : i }. Probar que 0 = 0 . (a) Probar que si < 0 , entonces: (i) + 0 = 0 . (ii) 0 = 0 . (iii) 0 = 0 . (b) Probar que 0 = 0 para todo ordinal Probar que si es ordinal l mite y = 0 , entonces es ordinal l mite. Probar que si n , entonces n = . Probar que si es ordinal l mite y p y q son naturales, entonces ( p)q = q p. Sean y ordinales tales que = 0 y > 1. Probar que existen unicos ordinales , y tales que = + y 0 = y . Probar que si = 0 y = 0 , entonces = S . Probar que si < y < , entonces + < . Probar que si < y < , entonces < . Calcular: (a) 2 . 2 (b) 2 . (c) n n. n (d) n . (e) 2 ( + 1). (f) n n . (g) n ( + n). (h) 1 + 2 + 3 + . . . + 1 + 2 + 3 + . . . (i) 2 3 . . . 1 2 3 . . . (j) 2 3 . . . 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 denicin coincide con la o denicin clsica de ser primo. o a (b) Probar que los siguientes ordinales son primos : , + 1, 2 + 1, 3 + 1, . (c) Probar que si > 1 , entonces existe n tal que para todo m < n existe un ordinal primo m , con los que se tiene : = m .
mn

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

40. Calcular los siguientes l mites: n (a) limn (2 + n) (b) limn n (c) limn n (d) lim2 (e) lim2 2 (f) lim2 2 41. Diremos que el ordinal es un nmero psilon si = . u e +1 +1 +1 (a) Denimos E() := ( + 1) + + + + ... Probar que E() es un nmero psilon, que < E() , u e que no existe un nmero psilon tal que < < E(). u e Probar tambin que si < y no existe un nmero psilon e u e 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 nmero u psilon y que si es un nmero psilon, entonces existe e u e un ordinal tal que = . (c) Probar que si es un nmero psilon, entonces dado un u e ordinal , se tiene que si 2 < , entonces + = y = y = . (d) Probar que si existe un ordinal tal que = , entonces es un nmero psilon. u e (e) Probar que si = , entonces = . (f) Probar que si = , entonces + = . (g) Probar que si es un nmero psilon, entonces = u e ( ) , para todo ordinal . (h) Probar que si es ordinal l mite y es un nmero psilon u e tales que < , entonces = ( ) . 42. Encontrar un conjunto de racionales tales que bajo su orden usual sea isomorfo a: (a) + 1 (b) 2 (c) 3 (d) ( Por ejemplo, { n+1 : n, m N {0}} es isomorfo a 2 ). m 43. Si = , entonces = . 44. Probar que: 3 (a) Si para se tiene = 2 , entonces = .
100

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

V , si es l mite.

La coleccin de los V se llama la jerarqu acumulativa de conjuno a tos. Es usual denir tambin el universo de von Neumann a la clase e propia V= {V : Ord()}.

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

Debe tambien tenerse presente que V no es un objeto de nuestra teor y debe entenderse slo como una manera de abreviar un concepto a o correspondiente a la frmula o (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 prximo lema es necesario para demostrar el principal teorema o de esta seccin. o Lema. Sea a un conjunto, entonces (a) si y slo si para todo x a, o (x). Ms informalmente, un conjunto pertenece a V si y slo si todos a o sus elementos tertenecen a V. Demostracion. Si a pertenece a V , entonces a V para algn u ordinal . Pero como V es transitivo, todos los elementos de a pertenecen a V . Supongamos que todos los elementos de a pertenecen a V. Para cada x a, sea (x) el menor ordinal tal que x V . Denamos = {(x) : x a}, el que est bien denido en virtud del axioma de reemplazo. a Entonces a V y por lo tanto a PV = V+1 , lo que termina nuestra demostracin. o Resulta sencillo vericar que la clase V es cerrada bajo uniones, pares, potencias productos cartesianos y dems construcciones que a hemos estudiado en los cap tulos precedentes. Esto implica que todos los conjuntos que aparecen en la prctica, pertenecen a V. Existir a a algn conjunto que no est en V? El siguiente teorema, atravs de una u a e aplicacin del axioma de regularidad, demuestra que este no es el caso. o Teorema 3.43. Todo conjunto pertenece a algn V . u (Ms informalmente, para todo conjunto x , x V.) a Demostracion. Recordemos que la clausura transitiva de a , que denotamos T (a), es el menor conjunto transitivo que contiene a a , ver ejercicio 1 y que intuitivamente T (a) = a a a a .

Supongamos que existe un conjunto a tal que a V, o ms / a formalmente, supongamos (a), donde varphi(x) es la frmula de o L1 que lo expresa. (Ver ms arriba.) a Entonces por el lema 8 b = {x T (a) : (x)} = . Tomemos cualquier elemento c b. Entonces por el mismo lema, existe x c talque (x), y como adems x T (a), x b, es decir a x c b, lo que contradice el axioma de regularidad.
102

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

103

104

CAPITULO 4

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

x F x x

La existencia de una funcin de eleccin implica elegir simulto o a neamente un elemento de cada conjunto que pertenece a A . Esto no representa ningn problema si A es nito, sin embargo si A es innito, u no es en absoluto intuitivo que se pueda hacer. Ntese tambin que el o e axioma no da ninguna idea de como construir tal funcin. o La siguiente es una lista de los principios ms importantes que son a equivalentes al axioma de eleccin. o 1. Principio Multiplicativo: Si A es una funcin y Dom A = I y si Ai = A(i) = , o entonces iI Ai = . 2. Principio de Zermelo: Si P es una particin de un conjunto A , entonces existe o B A tal que para todo M P , B M tiene un solo elemento. Recordemos que toda particin sobre A induce una relacin o o de equivalencia cuyo campo es A y cuyas clases de equivalencia son los elementos de P . El principio de Zermelo nos dice que podemos escoger un elemento de cada clase de equivalencia, es decir un sistema de representantes de las clases de equivalencia.
105

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

Ai
iI

i F (Ai )

1) 2). Sea P una particin de A . Entonces P PA, luego P es un o conjunto. Consideremos IP , la funcin identidad sobre P . Por 1) o M P IP (M ) = M P M = , luego existe una funcin G , tal que Dom G = P y para todo M o P, G(M ) M . Como M A para todo M P, Rec G A. Adems, como los elementos de P son disjuntos, para cada M P , a M Rec G = {G(M )}. 2) AC. Sea A un conjunto no vac de conjuntos no vac o os. Denamos K = { x, y : y x A} y P = {{ x, y : y x} : x A}. Es claro que K es un conjunto (por qu?) y que P es una e particin de K . o Escojamos B K tal que para cada M P, B M tiene exactamente un elemento. Entonces B es una funcin de eleccin para o o A . En efecto, para cada x A, B { x, y : y x} = {yx }, para algn yx x. Luego B es funcin, Dom B = A y para cada u o x A, B(x) x. La equivalencia de los otros principios la demostramos dando un gran c rculo de implicaciones que comienza y termina en AC. AC 3. Sea A un conjunto. Vamos a encontrar un ordinal y una funcin o biyectiva de en A . Podemos suponer que A = . Consideremos PA{}. Este es un conjunto no vac de conjuntos o no vac luego existe una funcin de eleccin F para l. Notemos os, o o e que sta asigna a cada subconjunto no vac de A un elemento de si e o mismo. Denimos por recursin una operacin unaria H como sigue o o 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 tambin A H = . Por lo tanto, e si < ; y H() = A, entonces H = A. Si < y H() = A, entonces como H() H y por ser F funcin de eleccin, H() A H , o o H() = H(). Demostraremos ahora que existe un ordinal tal que H() = A. (i.e. A H = ). Supongamos por el contrario que no existe. Entonces como H es una operacin unaria (denimos Hx = x si x o no es ordinal) y como para todo par de ordinales = , H = H, por el axioma de reemplazo, B = { : H PA {}} es un conjunto. Pero por la suposicin anterior, B contiene a todos los o ordinales, luego no es un conjunto, contradiccin. Por lo tanto existe o tal que H() = A. Sea = { S : H( = A)}, es decir es el menor ordinal tal que H() = A, luego si < , H = A. Denimos G : A H().

Entonces G es una funcin biyectiva. o 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 operacin unaria. o S menor elemento de {a A : x(x F x < a} si ste es no vac e o, F () = A si no.

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

Si < y F () = A, entonces como F () F ,

Como en la demostracin anterior, existe tal que F () = A, o pues si no, por el axioma de reemplazo, es un conjunto de ordinales que contiene a todos los ordinales, lo que es una contradiccin. o Sea el menor ordinal tal que F () = A, es decir, Vimos antes que para < , F () < F (), es decir, F es una <-cadena. Como F A, por el Lema de Zorn, existe c A que es <-cota superior de F , es decir Es claro que c es maximal pues si no, existe b A tal que b > c, pero entonces x(x F x < b) o sea b {a A : x(x F x < a)} = , lo que es una contradiccin, luego c es maximal. o 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 funcin inyectiva, Dom F A y o Rec F B. Supongamos que Dom F = A y Rec F = B, entonces existe a A Dom F y b B Rec F . 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 prdida de e generalidad que existe una funcin inyectiva, f : A B. Sea a A o 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 implicacin debemos demostrar un lema preo vio. Lema 4.2. Sea B un conjunto. Entonces = { : existe funcin inyectiva f : B} o tambin es un conjunto. e Demostracion. Sea M = {R : R es un buen orden y campo R B}. M P(PB PB), por lo tanto M es un conjunto. Como sabemos, por el teorema 3.27, para todo buen orden R existe un unico ordinal tal que R y { , : < }, es decir, el orden de , son isomorfos. Entonces = { : existe R M es isomorfo con R}. En efecto, si existe una funcin inyectiva f : B, o 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 de o conjuntos no vac Queremos encontrar una funcin de eleccin para os. o o
110

A . Como A es conjunto, P demostrado,

A tambin lo es,luego or el lema recin e e

= { : existe funcin inyectivaf : P o

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

o sea, existir una funcin inyectiva de en P A, contradiciendo a o la ultima armacin. o Entonces por 8), existe una funcin sobreyectiva g : A. o Denamos F : A a g( A g 1 a) .

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

Demostraremos algunas de stas. Supondremos que el lector maneja e los conceptos involucrados en cada caso. Teorema 4.3. Todo espacio vectorial tiene una base. Demostracion. Sea V un espacio vectorial y sea A = {B V : B es linealmente independiente}. Consideremos a A parcialmente ordenado por inclusin. o Sea entonces C = {Bi : i I} una cadena de elementos de A . Entonces C V y C contiene a todos los miembros de la cadena. Veremos ahora que C es linealmente independiente. Sean v0 , v1 , . . . , 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 ste es linealmente indepene diente, C es un conjunto linealmente independiente. Por lo tanto C pertenece a A , luego toda cadena de A tiene una cota superior y por el lema de Zorn A tiene un elemento maximal. Probar que un conjunto linealmente independiente maximal es una base es un ejercicio elemental de algebra lineal. Teorema 4.4. La unin enumerable de conjuntos enumerables es o enumerable. Demostracion. Recordemos que un conjunto A se dice enumerable si existe una biyeccin entre A y . o Sea C un conjunto enumerable de conjuntos enumerables. Por simplicidad podemos suponer que los elementos de C son todos disjuntos. Si C = {Ai : i }, sea fi : Ai una biyeccin. Denimos o F : n, m Ai

fn (m)

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

g es sobreyectiva ya que si a Ai existe n tal que a An y como fn es sobreyectiva, existe m tal que a = fn (m) = g(n, m). Es decir, existe una biyeccin g de en o C. Por otra parte es bien sabido que existen biyecciones entre y (ver el cap tulo 5). Si tomamos cualesquiera de ellas, digamos, h : , entonces f = g h es una biyeccion entre y C , luego este ultimo es enumerable. Observemos que en la demostracin anterior aparentemente no heo mos usado el axioma de eleccin. Sin embargo ste se us cuando o e o escogimos las funciones biyectivas fi , especicamente, si Bi = {f : Ai , f biyectiva } A = {Bi : i } es un conjunto no vac de conjuntos no vac o os (sto ultimo por hiptesis) luego por el axioma de eleccin existe para e o o cada i un elemento fi Bi . Este teorema es el ejemplo clsico de uso encubierto del axioma de a eleccin. Durante aos los matemticos hicieron uso de argumentos o n a como el anterior sin darse cuenta de que estaban usando un principio especial. Teorema 4.5. Existe un conjunto de nmeros reales que no es u Lebesgue-medible. Demostracion. Denimos sobre [0, 1) la siguiente relacin de eo quivalencia. x y ssi x y Q Entonces induce una particin de [0, 1). Por el principio o de Zermelo, existe un subconjunto B [0, 1) tal que B contiene exactamente un representante de cada clase de equivalencia. Sea {ri }i una enumeracin de los racionales entre 0 y 1 (ver o cap tulo 5) y sea Bi = B + ri = {x + ri : x B}, donde la suma es mdulo 1 i.e. o x+y si x + y < 1 x+y = x + y 1 si x + y 1 Es bien sabido que si A es un conjunto Lebesgue-medible, entonces A + a tambin lo es; ms an, m(A) = m(A + a). e a u
113

Notemos que todo x [0, 1) pertenece a algn Bi puesto que u induce una particin de [0, 1). Por lo tanto o [0, 1) =
i

bi .

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

Bi ) =
i

m(Bi ).

Si B fuera medible, por la observacin hecha anteriormente, para o todo i , m(Bi ) = m(B), entonces si m(B) = 0, m( Bi ) = 0 y si m(B) = 0, m( Bi ) = , pero m([0, 1)) = 1, por lo tanto B no puede ser medible. Teorema 4.6. Todo orden parcial puede extenderse a un orden total sobre el mismo campo. Demostracion. Sea un orden parcial, B = Cam . Consideremos el conjunto de todos los rdenes totales que extienden o a A = {R B B : R es un orden total y x, y(x y x Ry), A est ordenado por inclusin. a o Sea {Ri }, i I, una cadena de elementos de A . Es claro que Ri es un orden total y que si x y, entonces x Ri y, es decir Ri es una cota superior de la cadena que pertenece a A , luego, por el lema de Zorn, A tiene un elemento maximal. Llamemoslo M . Para demostrar nuestro teorema es 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 fcil vericar que R es un orden total que extiende a M , a contradiccin. o

Ejercicios. 1. Demuestre sin usar el axioma de eleccin que todo conjunto tiene o una funcin de eleccin. (Indicacin: Use induccin sobre el o o o o nmero de elementos del conjunto). u 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 particin de K . o 3. Complete los detalles de la demostracin de 4.1, 5) 6). o 4. Demuestre que la relacin R denida en la demostracin del o o teorema 4.1, 6) 7), es efectivamente un orden parcial. 5. Demuestre que toda relacin binaria contiene una funci con el o o mismo domino.

115

116

CAPITULO 5

Cardinales
En este cap tulo investigaremos uno de los tpicos ms importantes o a de la teor de conjuntos, a saber, la teor de la cardinalidad o nmero a a u de elementos que tiene un conjunto. Hasta el momento sabemos cmo o 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 eleccin. Indicaremos stos mediante el s o e mbolo . 1. Deniciones y Resultados Bsicos a Definicion 5.1. i) Dos conjuntos A y B son equinumerosos ssi existe una biyeccin entre A y B . En tal caso escribimos o A B. ii) Un ordinal es un cardinal ssi no es equinumeroso con ninguno de sus elementos. Si es un cardinal escribimos Car (). En general usaremos letras gticas minsculas m, n, p para designar cardinales. o u Ejemplo. 1. Dos intervalos de nmeros reales son siempre equinumerosos. u Para demostrar esto basta ver que f : [a, b] [c, d] dc cb ad x x+ ba ba es una biyeccin. o 2. Todo intervalo abierto es equinumeroso con el conjunto de los nmeros reales. u Considrese la funcin e o tan : ( , ) R 2 2 Sabemos que tan x es una biyeccin. Una funcin similar a la o o del ejemplo anterior demuestra que cualquier intervalo abierto es equinumeroso con ( , ). 2 2
117

3. y son equinumerosos. Considrese la funcin e o f : m, n 2m (2n + 1) 1 .

f es una biyeccin. o Resulta claro que la relacin ser equinumeroso es reexiva, simo e trica y transitiva, pero no es una relacin dentro de nuestra teor o a ya que su campo es la clase de todos los conjuntos. Naturalmente, si nos restringimos a un conjunto particular, sta es una relacin de e o equivalencia. En el caso nito, la cantidad de elementos de un conjunto nos sirve como una nocin de tamao. Para ello se identica todos aquellos o n conjuntos que tienen el mismo nmero de elementos, en otras palabras, u todos aquellos que son equivalentes bajo la relacinanterior. Una o posible idea es denir la cardinalidad de un conjunto como su clase de equivalencia bajo la relacin de equinumerosidad, sin embargo, es o claro que la clase de equivalencia de cualquier conjunto no vac es una o clase propia, por lo tanto no existen dentro de nuestra teor a,luego no podemos usarlas como cardinales. Para conjuntos nitos, es fcil ver que en cada clase de equivaa lencia habr un unico nmero natural, ste se conoce habitualmente a u e como la cardinalidad o nmero de elementos del conjunto, vale decir, u aquel unico 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 algn ordinal que es equinumeroso con u l. De hecho tal armacin es ni ms ni menos, el principio del buen e o a orden, es decir, equivalente con el axioma de eleccin. En segundo luo gar, es fcil ver que si existe un ordinal equinumeroso con un conjunto a innito dado, ste no ser nunca unico, como lo demuestra por ejemplo e a la funcin que aparece en la demostracin del teorema 5.3, la que nos o o dice que y + 1 son siempre equinumerosos. Por estos motivos, la manera de extender la nocin de cardinalidad o de los conjuntos nitos a los innitos es suponer el Axioma de Eleccin o y escoger un representante de cada una de las clases de equivalencia, a saber, el menor ordinal que pertenece a ella. Necesitamos antes un par de resultados. Teorema 5.1. Si m = n, entonces m y n no son equinumerosos. Demostracion. Como m y n son ordinales distintos m n o n m, luego m y n no son equinumerosos por denicin de cardinal. o
118

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

o sea, m es el menor elemento del conjunto no vac { S : A }, o es claro entonces que A m. Por ultimo, si existiera m tal que m, tendr amos que A, luego m no es el menor elemento del conjunto anterior, contradiccin. o Por lo tanto m es un cardinal. Resulta claro que m no depende del ordinal usado en la denicin. o Definicion 5.2. La cardinalidad |A| de un conjunto A es el unico cardinal m tal que A m. Decimos tambin que m es el cardinal de e A. Teorema 5.3. Si A , B son conjuntos y es un ordinal, i) A B ssi |A| = |B|. ii) A |A|. iii) || . iv) Si A, entonces |A| . v) es un cardinal ssi || = . vi) Si , entonces | + 1| = . Demostracion. vi) Si , entonces = + . Denimos f : + 1 como sique si x = , 0 x + 1 si x , f (x) = x si x , x = . Es claro que f es una biyeccin. o El prximo teorema es probablemente el resultado ms importante o a sobre cardinalidad que puede demostrarse sin usar el axioma de eleccin. o Teorema 5.4. Cantor - Schroeder - Bernstein Si A y B son dos conjuntos tales que existen funciones inyectivas f : A B y g : B A, entonces |A| = |B|.
119

 Demostracion. Notemos primero que si A1 = g f A entonces ya que g f : A A1 es claramente inyectiva y sobreyectiva. Por otra parte, si D = g B, entonces D B. Sea h = g f y 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 induccin que para todo n , o 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 ) x (An Dn ) y o y (An Dn ). En los dos primeros casos es claro que si F (x) = F (y), entonces x = y. Nos queda la tercera posibilidad pero en este caso F (x) = h(x) y x An Dn para algn n , luego h(x) An+1 . Si u suponemos que h(x) Dn+1 , entonces h(x) = h(z) para algn z Dn u (ya que Dn+1 = h Dn ) pero como h es inyectiva, z = x, es decir x Dn pero x An Dn , contradiccin luego h(x) An+1 , o sea, o h(x) (An Dn ) y por lo tanto
120

F (x) = h(x) = y = F (y). Para ver que F es sobreyectiva recordemos primero que para todo n = 0, An D A. Sea x D y n el menor natural tal que x An , entonces x 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 algn y (An Dn ). u 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|. Demostracion. Supongamos por el contrario que |B| < |A| y sean f, g biyecciones A j B
g

|A| i |B|

donde i y j son la funcin identidad. Entonces j : A B es o inyectiva, f 1 i g : B A es inyectiva, luego por el teorema 5.4, |A| = |B|, contradiccin luego |A| |B|. o Teorema 5.6. Las siguientes tres condiciones son equivalentes. i) |A| |B|. ii) Hay una funcin inyectiva f : A B. o iii) A = o hay una funcin sobreyectiva g : B A. o Demostracion. i) ii) Sean f : A |A|, g : |B| B biyecciones, entonces g f : A B es inyectiva. ii) iii) Sea A = , a A y f : A B inyectiva. 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 particin de B , a saber, {g 1 {a} : a A}. Por el o axioma de eleccin, escogemos un sistema de representantes para esta o particin. Denimos f : A B asignando a x A el representante o de g 1 {x} anteriormente elegido. Es claro que f es inyectiva, luego, |A| |f A| y f A B, luego por 5.5, |A| = |f A| |B|. Observemos que el axioma de eleccin se usa solamente en la deo mostracin de iii) i). Todas las otras implicaciones se pueden deo mostrar sin ese axioma. Todav no hemos dado ningn ejemplo de a u cardinal. Los siguientes dos teoremas remedian esta situacin. o Teorema 5.7. Si n , entonces n es un cardinal. Demostracion. Por induccin. o Es claro que 0 es un cardinal. Supongamos que n es un cardinal y n + 1 no lo es. Entonces existe m < n + 1 tal que m n + 1, es claro que m = 0. Sea f : n + 1 m una biyeccin. Podemos suponer que f (n) = m 1, o porque si no, mediante una permutacin apropiada lo podemos lograr. o Entonces f n : n m 1 es una biyeccin, luego, por hiptesis o o de induccin, m 1 = n, o sea, m = n + 1, una contradiccin. Por lo o o tanto n + 1 es cardinal, lo que completa nuestra induccin. o Teorema 5.8. es cardinal. Demostracion. Sabemos por 5.3, iii), que || . Si || < , || = m para algn nmero natural m. u u Pero m m + 1 , luego luego m = m + 1, contradiccin. o Luego || = . Teorema 5.9. Cantor Para todo A, |A| < |PA|. Demostracion. Es claro que |A| |PA| ya que la asignacin o a {a} dene una funcin inyectiva de A en PA. o Supongamos que existe una funcin sobreyectiva f : A PA y o sea
122

|| = m = |m| |m + 1| = m + 1 ||

B = {x A : x f (x)}. Como B A y f es sobreyectiva, existe a A tal que B = f (a). Entonces si a B, por denicin a f (a), luego a B. Si o a B, entonces a f (a), o sea, a B, es decir, a B si y slo si a B, o contradiccin, luego tal funcin sobreyectiva no puede existir y |A| = o o |PA|. Corolario 5.10. Dado un ordinal , existe un cardinal m > . Demostracion. Basta considerar m = |P|.

Corolario 5.11. No existe el conjunto de todos los cardinales. Demostracion. Si existiera el conjunto C de todos los cardinales, por el teorema recin demostrado, el conjunto e
nC

{ n : < n}

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

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

Definicion 5.3. Para todo ordinal , + es el menor cardinal mayor que . Denimos la operacin (aleph) recursivamente para todo ordinal. o
123

0 = +1 = ( )+ = Ejercicios. 1. Demuestre que la relacin ser equinumeroso es reeja simtrica o e y transitiva. 2. Probar que: (a) PPP0 4. (b) Si A B, entonces C A C B. (c) Si B C = , entonces BC A B A C A. (d) C (B A) BC A. (e) C (A B) C A C B. (f) Si R1 es el conjunto de todos los rdenes estrictos sobre X o y R2 es el conjunto de todos los rdenes sobre X, entonces o R1 R2 . (g) Probar que si E es el conjunto de todas las clases de equivalencia sobre A y P es el conjunto de todas las particiones de A , entonces E P . 3. Sea A un conjunto. Probar que PA A 2. 4. Sea {Ij : j J} una particin de I. Probar que o
iI <

, si es l mite.

Ai

(
jJ 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 PA PB. 8. Probar que si (A B) (B A), entonces A B. 9. Probar que si A B y a A y b B, entonces (A {a}) (B {b}). 10. Probar que si A B y C D y C A y D B, entonces (A C) (B D). 11. Sean (Ai )iI y (Bi )iI dos familias, cada una de conjuntos disjuntos dos 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 induccin mencionada en la demostracin del teorema o o 5.4. 15. Demuestre directamente, sin usar el axioma de eleccin, la equivo alencia de las dos primeras armaciones del teorema 5.6. 16. Demuestre directamente, sin usar el axioma de eleccin, la imo plicacin i) iii) del teorema 5.6. o 17. Probar que para intervalos de nmeros reales se tiene (a, b) u [a, b]. 18. Probar que y | 2| son cardinales distintos. 19. Probar que |Q| = |Q[x]| = , donde Q[x] es el conjunto de polinomios en x con 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 slo si es o ordinal l mite. 23. Para y ordinales, probar o dar contraejemplo de: (a) Si y son cardinales, entonces + es cardinal. (b) Si y son cardinales, entonces es cardinal. (c) | + | = || + ||. (d) | | = || ||. (e) Si < , entonces || < ||. 24. Sean A , B y C conjuntos. Probar que: (a) Si B = , entonces |A| | B A|. (b) SI B C, entonces | B A| | C A|. (c) Si |B| 2, entonces |A| | A B|. 25. Probar que para todo , es un cardinal. 26. Probar que: (a) = si y slo si = . o (b) < si y slo si < . o 27. Probar que para todo cardinal existe un ordinal tal que < . 2. Conjuntos Finitos y Conjuntos Innitos En esta seccin daremos un marco formal a la nociones intuitivas o de nitud e innitud yveremos algunas diferencias entre estos dos tipos de conjuntos. Definicion 5.4. 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 denicin es que los nmeros o u naturales son nitos, es ms, la cardinalidad de un conjunto nito es a siempre un nmero natural. As por ejemplo u |{x}| = 1 , |{x, y}| = 2 , si x = y, etc. Teorema 5.13. Si A B o existe una funcin sobreyectiva f : o B A, entonces: i) Si A es innito, B es innito, ii) Si B es nito, A es nito. Demostracion. Si A B, use el teorema 5.5. Si existe una funcin sobreyectiva f : B A, entonces como o existe una biyeccin g : |A| A, tenemos que o g f : |A| B es una funcin sobreyectiva, luego por el teorema 5.6, |A| |B|. (Aqu o es donde hemos usado el axioma de eleccin.) o La conclusin del teorema se sigue de esta armacin. o o Teorema 5.14. Si A es nito y B A, entonces |B| < |A|. Demostracion. Sea b A B y f : A m una biyeccin. o Podemos suponer que f (b) = m 1 pues si f (b) = m 1 podemos permutar dos valores de f y la funcin resultante sigue siendo biyectiva. o Entonces f B : B m 1 es inyectiva y por el teorema 5.6, |B| m 1 < m = |A|. Recurdese que esta parte del teorema 5.6 no requiere del axioma de e eleccin. o 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 eleccin o para demostrar que ser innito y ser Dedekindinnito es equivalente. Teorema 5.15. Un conjunto A es innito si y slo si A es o equinumeroso con uno de sus subconjuntos propios.
126

 Demostracion. ) Por el teorema anterior. ) Como A es innito, |A| 0 = , luego existe una funcin o 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 slo si f es sobreyectiva. o Demostracion. ) Supongamos f es inyectiva. Si f no es sobreyectiva, entonces como f A B, por 5.14 |A| = |f A| < |B|, contradiccin. o ) Supongamos que f es sobreyectiva. Entonces f induce la siguiente particin sobre A : o {f 1 {b} : b B}

Podemos seleccionar un representante de cada elemento de la particin y denir o g : B A b el representante de f 1 {b} seleccionado. Obsrvese que como B es nito, la particin indicada es nita y por lo e o tanto para seleccionar un representante de cada elemento de la particin o no es necesario el axioma de eleccin. o Es claro que f (g(b)) = b y que g es inyectiva. Aplicando la primera parte de esta demostracin a g, sta es sobreyectiva, es decir, g es o e 1 biyectiva. Por ultimo f = g , luego f es inyectiva.

Ejercicios. 1. Demuestre que un conjunto A es Dedekindinnito si existe una funcin inyectiva de A en A , que no es sobreyectiva. o 2. Sea F una funcin de A sobre B , con A enumerable. Probar o 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 slo si existe un subconjunto enuo merable de A . 5. Probar que si A es innito y B no es vac entonces A B es o, 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 slo si para todo n existe o 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 slo si A (A {x}). o 10. Probar que si PA 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 (exponenciacin ordinal). o 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 slo o 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 nmeros naturales es enumerable. u (b) Diremos que a es eventualmente peridica si existen n0 o y p 1 tales que an+p = an para todo n n0 . Probar que el conjunto de las familias eventualmente peridicas de nmeros naturales es enumerable. o u
128

21.

22.

23.

24.

25.

26.

(c) Diremos que a es progresin aritmtica si existe d tal o e que an+1 = an + d, para todo n . Probar que el conjunto de las progresiones aritmticas de nmeros naturales e u es enumerable. Probar que una particin de un conjunto enumerable tiene un o conjunto de representantes, sin usar el Axioma de Eleccin o o alguno de sus equivalentes. Sea una frmula con variable libre x . Probar que si A es o nito y se verica () y para todo x A y todo B A si se verica (B), tambin se verica (B {x}), entonces se e verica (A). Probar que A es nito si y slo si A pertenece a todo conjunto o K tal que K y para todo x A y todo B A tal que B K, se tenga B {x} K. Probar que A es nito si y slo si A pertenece a todo conjunto o K tal que K, y x A implica {x} K y, si B K y C K, entonces B C K. Probar que A es nito si y slo si PA es el unico conjunto K o tal que K PA, K, x A implica {x} K, y si B K y C K, entonces B C K. Probar que, si A es enumerable, entonces existe una familia B de conjuntos tal que: (a) B es enumerable, (b) si C B, entonces C es enumerable, (c) Si C y D estn en B , y C = D, entonces C D = , y a (d) B = A. Probar el rec proco usando el Axioma de Eleccin. o 3. Aritmtica Cardinal e

En esta seccin deniremos suma, producto y exponenciacin de o o cardinales y algunas de sus propiedades. Tambin veremos que estas e operaciones tienen una interpretacin intuitiva. o 3.1. Suma de Cardinales. Definicion 5.5. Sea mi : i I una familia de cardinales. La suma cardinal de los mi denotada por mi es el cardinal del conjunto
iI

iI

{ i, : mi }
129

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

Ms generalmente si i = n, escribimos a
in

mi = m0 +c +c mn1 .

La idea de la denicin es que la suma de cardinales representa la o cardinalidad de la unin de conjuntos disjuntos que tienen las cardio nalidades indicadas, as por ejemplo, m0 +c m1 = |{(0, ) : m0 } como |{(0, ) : m0 }| = m0 y |{(1, ) : m1 }| = m1 , la 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 conjuntos usemos e para calcular la suma siempre que estos sean disjuntos y tengan las cardinalidades adecuadas. Teorema 5.17. Si Ai : i I y Bi : i I son familias de conjuntos disjuntos dos a dos tales que para todo i I Ai Bi , entonces
iI

{(1, ) : m1 }|

Ai

iI

Bi

iI

|Ai |

Demostracion. Para i I, sea fi : Ai Bi una biyeccin. o Denimos f:

iI

Ai

Bi si a Ai .

a fi (a) ,

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

Ai |
130

iI

|Ai |.

En particular
iI

mi

mi .
iI

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

iI

{ i, : mi } i,

Ai

Es fcil ver que g es sobreyectiva luego por 5.6, | a |Ai |. iI

fi (a).

iI

Ai |

Algunas propiedades elementales de la suma de cardinales estn a resumidas en el prximo teorema. o Teorema 5.19. ii)
i0

i)
iI

0 = 0.

mi = 0. mi mi .
iJ

iii) Si I J, entonces

iI

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

<m

iI

mi

ni .
iI

1 = m.

Demostracion. i) y ii) son obvias a partir de la denicin. o 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) Obsrvese que e f : m
m

{ , : 1}

, 0
131

es una biyeccin. o

Teorema 5.20. (Conmutatividad Generalizada) Si mi : i I es una familia de cardinales y es una permutacin o de I (i.e. : I I es una biyeccin), entonces o mi =
iI iI

m(i)

Demostracion. Considrese e 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 IJ iI

(
jJ

mij ).

Demostracion. Para cada i, j I J denimos 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 IJ

mij = |

i,j IJ

Aij |.

Adems, para cada i I, a |

jJ

Aij | =
132

mij .
jJ

Pero e jJ Aij : i I es tambin una familia de conjuntos disjuntos a pares luego

iI

jJ

Aij | = |

(
iI jJ

Aij )|.

Para terminar basta con notar que Aij =

i,j IJ iI jJ

Aij ,

por asociatividad de la unin. Juntando los cuatro resultados anterio ores, mij = ( mij .
i,j IJ iI jJ

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

es una biyeccin, luego m +c 1 = m + 1. o Supongamos ahora que m +c n = m + n entonces m +c Sn = m +c (n + 1) = m +c (n +c 1) , por lema, = (m +c n) +c 1 , por 5.21, = (m + n) + 1 , por hiptesis y lema, o = m + (n + 1) = m + Sn Esto completa la induccin. o
133

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

B tambin e

Demostracion. Por 5.17, |AB| |A|+c |B| = |A|+|B| < . 3.2. Producto de Cardinales. Definicion 5.6. Sea mi : i I una familia de cardinales. El producto cardinal de los mi es 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, slo de las cardinalidades o de esos conjuntos. Teorema 5.24.

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

iI

Ai | = |

iI

Bi |.

Demostracion. Sea fi : Ai Bi una biyeccin. Consideremos o 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 biyeccin y o 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 prximo teorema resume algunas propiedades elementales de el o 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 algn i I, entonces u

v) Si mi ni , para todo i I, entonces XiI mi XiI ni . Demostracion. i) En este caso iI mi = . ii) i mi = {0} iii) iI 1 = {f }, donde f (i) = 0, para todo i I. iv) Ntese que o I m= luego por denicin, o
iI iI

{ i, : m},

m = |

iI

{ i, : m}|

v) En este caso

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

iI

Teorema 5.27. (Conmutatividad Generalizada) Si es una permutacin de I , entonces o XiI mi = XiI m(i) . Demostracion. Considrese la biyeccin e o f :
iI

mi

m(i) ,
iI

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

IJ mij

= XiI (XjJ mij ).

135

 Demostracion. Por el teorema 5.24 XiI (XjJ mij ) = | X i,j Denimos F :

IJ mij

(
iI jJ

mij )| mij | mij )

= |

i,j IJ jJ

i,j IJ

mij

iJ (

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

m c ni .

Demostracion. Notemos primero que

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 ultimo 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 algn sentido u triviales. Teorema 5.30. Sea m un cardinal innito. Entonces m c m = m
136

 Demostracion. Supongamos que esto es falso. Sea m el menor cardinal tal que m c m = m. Deniremos un orden sobre el producto cartesiano m c m y demostraremos que ste es un buen orden. e Para , , , m denimos , , si y slo si o 1. = y = o 2. < o 3. = y < o 4. = y = y . No demostraremos que es un orden lineal sobre m c m pues su demostracin es rutinaria. Para ver que o es un buen orden, sea m c m no vac o. Sea = { : , }, es claro que existe pues es el menor elemento de un conjunto no vac de ordinales. o Sea = { : , } para algn y = }. u = { : , }

Finalmente sea Es fcil ver que , es el menor elemento de . a Luego, es un buen orden con campo m c m y por lo tanto es isomorfo a algn ordinal . u Sea f : m c m el isomorsmo (i.e. si < , entonces f () f ()). Ntese que en particular, m c m. o Supongamos que m. Entonces m c m = |m c m| = || m = m c 1 m c mc donde para el ultimo paso hemos usado 5.26, v) , o sea, m c m = m, una contradiccin. o Por lo tanto > m, es decir m Dom f . Sean f (m) = , m m = ( ) + 1. Como m es l mite, m y < = por lo tanto (, (, ). De hecho para todo < m
137

f () Por lo tanto

f (m) f

y f () = .

es inyectiva, luego,

m : m

m | | = || c ||. Como < m, o bien, es 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 demostracin. o Corolario 5.31. Si m 0 n 0 , entonces m +c n = m n. o Si adems m = 0 y n = 0, m c n = m n. a Si , son ordinales, entonces + = = c . Demostracion. Supongamos sin prdida de generalidad que m e 0 y m n. Entonces m +c n = = m +c m m c 2 por 5.26 iv), m c m m m +c n

Luego

m +c n = m = m n. Si adems suponemos n > 0, a m c n = = m c m m m c 1 m c n

Luego

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

 Demostracion. |
iI

Ai |

iI

|Ai | m

iI

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

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

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

ii

iI (ni

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

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

mi XiI ni .

Supongamos que son iguales. Entonces existe una biyeccin o 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, : mi }| |{ i, : mi }| = mi < ni i 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 denicin de . o

Por ultimo vericamos que el producto de cardinales nitos se com porta como lo deseamos. Teorema 5.35. Si m, n son naturales m c n = m n Demostracion. Por induccin o - m c 0 = 0 = m 0 - Supongamos m c n = m n. Entonces m c Sn = |m (n {n})| = |m n m {n}| y como la unin es disjunta y m {n} m, o 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. Exponenciacin de Cardinales. Para terminar con esta o seccin deniremos la operacin de exponenciacin de cardinales. Debeo o o mos tener presente que al igual que en el caso de las sumas y los productos, la exponenciacin cardinal diere radicalmente de la exponeno ciacin ordinal. Sin embargo, diferencia de las otras dos operaciones, o no existe una buena manera de distinguir notacionalmente ambas exponenciaciones. Para no recargar an ms una notacin de suyo algo u a o engorrosa, hemos optado por usar la misma notacin para las dos deo jando al contexto como indicador de cul de las dos exponenciaciones a se est usando. En general, como las letras gticas designan cardinales, a o no hay demasiada poibilidad de confusin. o Definicion 5.7. Si m y n son cardinales, mn = |n m| Es decir la exponenciacin de m por n es la cardinalidad del conjunto o de todas las funciones de m en n . Por simplicidad notacional, cuando el exponente sea un no lo subrayaremos. Teorema 5.37. Dados dos conjuntos A y B , |A B| = |B||A| Demostracion. Basta probar que A B |A| |B|. Consideremos las biyecciones f y g como en el diagrama. A f
F (x)

B g

|A| |B| Denimos F :

A

B |A| |B| x g x f

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

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

ni

= XiI mni .

i) Sea
iI {

i, :mi }

(ni m)
iI

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

n
iI

mi

(n mi )
iI

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

 Demostracion. Asociamos a cada conjunto de A su funcin caro acter stica: : P(A) A 2 B B , B (x) = Es claro que es biyectiva. 1 si x B, 0 si x B .

donde

Teorema 5.42. Sean 1 < m n dos cardinales y n > 0 , entonces mn = 2n . Demostracion. mn = = (2m )n 2mc n 2n mn ,

en donde hemos usado el hecho de que la exponenciacin es creciente o (ver ejercicios) y dos teoremas anteriores. Luego mn = 2n . Ejercicios. 1. 2. 3. 4. 5. Dnde usamos el axioma de eleccin en el teorema 5.17? o o Probar que si m n, entonces m +c p n +c p. Probar que si m +c 1 = m, entonces m es 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 trminos, probar que: e (a) 1 +c 2 +c 3 +c = 0 . (b) n +c n +c n +c = 0 . (c) 0 +c 0 +c 0 +c . . . = 0 . 7. Probar que m n si y slo si existe p tal que m +c p = n. o 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 slo si = iI i . o
143

9. Probar que si m n, entonces m c p n c p. 10. (a) Probar que si m n, entonces mp np . (b) Sea p = 0. Probar que si m < n, entonces pm pn . Probar tambin que si pm < pn , entonces m < n. e (c) Ms generalmente, demuestre que si m n con m = 0 a y p q, entonces mp nq . 11. Probar que si n y c = 20 , entonces: (a) (n+c 2)0 = 0 = n+c c = nc c = cn = 0 +c c = 0 c c = 0 c0 = c +c c = c c c = c2 = c. (b) (n +c 2)c = c = cc = 2c . 0 (c) 0 = c = 2c . 12. Probar que si I = 1, entonces 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 slo si p < m o 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 . Probar que n n = 0 . Probar que 1 = 0 c 21 .
||

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

Obsrvese que si = + 1 es un sucesor, la funcin f : 1 e o 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 inters solo e para ordinales l mite. El siguiente lema es consecuencia inmediata de la denicin y puede ser usado como denicin alternativa. o o Lema. Si es conal con , entonces existe una funcin f : o tal que f () = .
<

Definicion 5.9. Un cardinal innito se dice regular si es igual a 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 slo si es l o mite. Esto lo demostraremos ms adelante. a Teorema 5.43. Un cardinal m es regular si y slo si para todo o X m, si |X| < m, entonces X < m. Demostracion. Supongamos que m regular y sea X m tal que |X| < m. Veremos que X = m. Para ello sea h : |X| X una biyeccin y denamos recursivamente f : |X| m como sigue o f () = es decir, f asigna a el menor elemento de X que sea mayor o igual que h() y que todos los valores asignados previamente por f . Es fcil ver por induccin que f es creciente y como para todo a o < |X|, h() < f (), X Pero por hiptesis y lemma o f () < m,
<|X| <|X|

{ X : f and h() },

h()

f ().
<|X|

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

Teorema 5.44.

Todo cardinal sucesor innito es regular.

Demostracion. Consideremos el cardinal +1 y sea f : +1 una funcin creciente donde < +1 . o Para cada < , f () , luego | | |f ()| = || c c = .

<

<

<

Luego f es acotada en +1 y por lo tanto ningn menor que u +1 puede ser conal con l. Por lo tanto cof (+1 ) = +1 y ste es e e regular.

Ejercicios. Cul es la conalidad de + , , ? a Demuestre que cof () es un cardinal. Demuestre que cof (cof ()) = cof (). Si m es un cardinal, cof (m) = m. Demuestre que la funcin f denida en el teorema 5.43 es efeco tivamente creciente. 6. Demuestre que cof (m) es el menor cardinal n tal que existe una particin de m en n conjuntos cada uno de los cuales tiene o cardinalidad estrictamente menor que m. 1. 2. 3. 4. 5. 5. La Hiptesis del Continuo o 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 algn otro cardinal entre 0 u y 20 . La armacin de que este no es el caso recibe el nombre de o Hiptesis del Continuo (HC), es decir o 20 = 1 .

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

En la dcada del 30, K. Gdel demostr que HC es compatible con e o o ZFC, es decir, que si existe un modelo de ZFC, entonces existe un modelo en el cual HC tambin es vlido. En otras palabras, es imposible e a demostrar a partir de ZFCque HC es falsa. En la dcada del 60, P. e Cohen demostr que HC tampoco es demostrable a partir de ZFC. o Estos dos resultados conjuntamente implican que HC es independiente de ZFCy que tanto ella como su negacin pueden ser agregadas como o nuevo axioma de la teor obtenindose resultados muy distintos. a e La Hiptesis Generalizada del Continuo (HGC) es la armacin o o 2 = +1 .

Los resultados de Gdel y Cohen tambin se aplican a HGC. o e Es interesante tambin notar que con posterioridad a los trabae jos de Cohen, se ha demostrado que es consistente con ZFCque 20 = 1 , 2 , . . . , pero como veremos a continuacin, no puede tomar cualquier o valor. Lema. < 0 . Demostracion. Como sabemos, = dad de Zermelo 5.34, como m < , <
m n

m . Por la desigual-

= 0 .

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

una contradiccin. o

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

 Demostracion. Sea F : cof (n) n be such that <cof (n) F () = n. Entonces n=

<cof (n)

F ()

<cof (n)

|F ()| <

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

Teorema 5.47. Sean m que HGC es vlida. Entonces a 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.

Demostracion. (i) Supongamos que n < cof (m). Sea f n m entonces f es acotada en n , luego f n , para algn m. luego u | |
<m

<m

||n

<m

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

<m

<m

m = m c m = m

(ii) Si cof (m) n m,

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

m < mcof (m) mn = m+ ,

Ejercicios. 1. Demuestre que HGC es equivalente con mcof (m) = m+ , para todo m 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 Introduccin a la Teor de Conjuntos y los Fundamentos o a de las Matemticas. IVIC., Venezuela, 1996. Notas de Clase. a [3] Enderton, H. B. Introduction to Set Theory. Academic Press, 1977. [4] Hrbacek, K. y Jech, T. Introduction to Set Theoru. Marcel Dekker, 1984. [5] Kunen, K. Set Theory, an Introduction to independence proofs. North-Holland, 1980. [6] Kuratowski, K. y Mostowski, A. Set Theory, with an introduction to descriptive set theory. 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 9 o conjunto vac 10 o 10 Axioma de Separacin 10 o Axioma de Pares 11 par no-ordenado 11 singleton 11 Axioma de Uniones 11 unin 11 o interseccin 12 o conjuntos disjuntos 12 Axioma del Conjunto Potencia 13 conjunto potencia 13 Axioma de Regularidad 13 Axioma del Conjunto Innito 14 funcin proposicional 14 o Axioma de Reemplazo 14 complemento relativo 17 diferencia de conjuntos 17 complemento 18 par ordenado 23 producto cartesiano 24 relacin 24 o dominio de una relacin 24 o recorrido de una relacin 24 o campo de una relacin 25 o composicin de relaciones 25 o inversa de una relacin 25 o imagen de un conjunto por una relacin o 27 funcin 30 o dominio de una funcin 30 o recorrido de una funcin 30 o campo de una funcin 30 o composicin de funciones 30 o
153

funcin inversa 30 o imagen de un conjunto por una funcin o 30 funcin de a en b 31 o funcin inyectiva 31 o funcin uno a uno 31 o funcin sobreyectiva 31 o funcin identidad 33 o restriccin de una funcin 33 o o relacin reexiva 40 o relacin simtrica 40 o e relacin transitiva 40 o relacin de equivalencia 40 o clase de equivalencia 41 particin 42 o particin asociada a una relacin de o o equivalencia 42 relacin asociada a una particin 42 o o relacin antisimtrica 44 o e relacin conexa 45 o orden parcial 45 orden total 45 relacin asimtrica 46 o e 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 relacin bien fundada 49 o buen orden 49 sucesor 57 conjunto Inductivo 58 nmeros naturales 58 u Principio de Induccin 58 o

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

154