Teor a de conjuntos

Jos e A. Alonso Jim enez

Sevilla, Octubre de 1997

Dpto. de Ciencias de la Computaci on e Inteligencia Articial

Universidad de Sevilla

Contenido
1 Conjuntos y clases 1.1 1.2 1.3 El lenguaje de la Teor a de Conjuntos. Clases . . . . . . . . . . . . . . Axiomas del vac o, extensionalidad y separaci on . . . . . . . . . . . . . Los axiomas del par, de la uni on y de las partes . . . . . . . . . . . . . 2 2 4 6 8 8 9 12 13 15 15 18 21 21 22 23 24 25 26 26

2 Relaciones y aplicaciones. El axioma de reemplazamiento 2.1 2.2 2.3 2.4 Par ordenado y producto cartesiano . . . . . . . . . . . . . . . . . . . . Relaciones. Aplicaciones. Familias . . . . . . . . . . . . . . . . . . . . . El axioma de reemplazamiento . . . . . . . . . . . . . . . . . . . . . . . Relaciones de equivalencia (*) . . . . . . . . . . . . . . . . . . . . . . .

3 Relaciones de orden 3.1 3.2 Ordenes parciales. Ordenes totales . . . . . . . . . . . . . . . . . . . . Buenos ordenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 La clase de los Ordinales 4.1 4.2 4.3 4.4 4.5 Conjuntos transitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ordinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ordenaci on de los ordinales . . . . . . . . . . . . . . . . . . . . . . . . Teoremas de inducci on sobre ordinales . . . . . . . . . . . . . . . . . . Clases bien ordenadas y ordinales . . . . . . . . . . . . . . . . . . . . .

5 Ordinales nitos (n umeros naturales) 5.1 N umeros naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

ii

5.2 5.3

El axioma del innito y propiedades de N . . . . . . . . . . . . . . . . . Teoremas de inducci on sobre . . . . . . . . . . . . . . . . . . . . . .

27 27 29

6 Teorema de recursi on 6.1 El teorema de recursi on . . . . . . . . . . . . . . . . . . . . . . . . . .

29 30 30 31 32 34 36 36 37 38 38 40 40 42

7 Aritm etica Ordinal 7.1 7.2 7.3 7.4 Funciones normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Propiedades de la suma y el producto. . . . . . . . . . . . . . . . . . . Propiedades de la exponenciaci on . . . . . . . . . . . . . . . . . . . . .

8 El axioma de elecci on y el teorema del buen orden 8.1 8.2 El axioma de elecci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . El teorema del buen orden . . . . . . . . . . . . . . . . . . . . . . . . .

9 Conjuntos nitos y numerables 9.1 9.2 9.3 Conjuntos nitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos numerables . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos Dedekindinnitos . . . . . . . . . . . . . . . . . . . . . . .

10 El axioma de regularidad 10.1 El axioma de regularidad y la clase W F . . . . . . . . . . . . . . . . . 10.2 Relaciones bien fundamentadas . . . . . . . . . . . . . . . . . . . . . . 10.3 Inducci on y recursi on sobre relaciones bien fundamentadas (*) . . . . . 11 Cardinales 11.1 N umeros cardinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 El teorema de Schrder-Bernstein-Cantor . . . . . . . . . . . . . . . . . 11.3 Ordenaci on de los cardinales bien ordenables . . . . . . . . . . . . . . . 12 Aritm etica Cardinal 12.1 Suma, producto y exponenciaci on cardinal . . . . . . . . . . . . . . . .

42 43 45 47 47 48 50 53 53

12.2 Aritm etica cardinal en In . . . . . . . . . . . . . . . . . . . . . . . . . 12.3 Aritm etica cardinal Innita . . . . . . . . . . . . . . . . . . . . . . . . 12.4 Cardinales de algunos conjuntos . . . . . . . . . . . . . . . . . . . . . . 13 Elementos de Teor a combinatoria de conjuntos 13.1 Conalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13.2 Cardinales regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Exponenciaci on cardinal 14.1 Aritm etica innita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14.2 Las funciones continuo y gimel . . . . . . . . . . . . . . . . . . . . . . . 14.3 Exponenciaci on cardinal con la hip otesis generalizada del continuo . . . 15 Equivalencias del axioma de elecci on 15.1 Primeros resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15.2 Principios maximales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15.3 Cardinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bibliograf a

55 56 59 61 61 62 63 63 64 65 66 66 67 67 69

Cap tulo 1 Conjuntos y clases

1.1 El lenguaje de la Teor a de Conjuntos. Clases

Nota. 1.1.1 Intuitivamente, un conjunto es una colecci on de objetos que verican una propiedad. El objetivo de esta secci on es precisar el concepto de propiedad. Denici on. 1.1.2 El lenguaje de la teor a de conjuntos est a formado por un conjunto de s mbolos, que son comunes a todos los lenguajes de primer orden y se llaman s mbolos l ogicos: 1. Variables individuales: x, y, z, . . . con o sin sub ndices, 2. Conectivas: , , , , , 3. Cuanticadores: (universal), (existencial), 4. Predicado de igualdad: =, junto con un s mbolo no l ogico, el predicado de pertenencia: . Denici on. 1.1.3 Las f ormulas de la teor a de conjuntos se denen recursivamente por: 1. Si x, y son variables, entonces x = y, x y son f ormulas. 2. , , y son f ormulas 3. Si x es una variable y una f ormula, entonces x y x son f ormulas. Notaci on. 1.1.4 2

1. Usaremos las letras , , como metavariables sobre f ormulas. 2. Escribiremos x = y , x / y como abreviaturas de (x = y ) y (x y ), respectivamente. Denici on. 1.1.5 La variable x ocurre libre en si se verica una de las siguientes condiciones: 1. es x = y , y = x, x y o y x. 2. es y x ocurre libre en . 3. es , o y x ocurre libre en o en . 4. es y o y donde y no es x y x ocurre libre en . Notaci on. 1.1.6 Mediante (x1 , . . . , xn ) representaremos una f ormula en la que las variables x1 , . . . , xn ocurren libres. En el mismo contexto en que hayamos escrito (x1 , . . . , xn ), escribiremos (y1 , . . . , yn ) para designar la f ormula que resulta de sustituir en la f ormula (x1 , . . . , xn ) las variables x1 , . . . , xn por y1 , . . . , yn , respectivamente. Nota. 1.1.7 El axiomaesquema de comprehensi on (Frege 1893) es el siguiente: Para cada f ormula (x) en la que y no ocurre libre, (y )(x)[x y (x)] es un axioma. Este axioma es un intento de formalizaci on del concepto intuitivo de conjunto de 1.1.1. Teorema. 1.1.8 (Russell 1903) (y )(x)[x y x / x] Corolario. 1.1.9 El axioma de comprehensi on (1.1.7) no es v alido. Notaci on. 1.1.10 Para cada f ormula (x, y1 , . . . , yn ) se introduce el s mbolo de clase {x : (x, y1 , . . . , yn )} que se lee la clase de los x tales que (x, y1 , . . . , yn ). Usaremos letras latinas may usculas para representar clases. Sean A y B las clases {x : (x)} y {x : (x)}, respectivamente.

 x A representar a (x) (x / A representar a (x)). A = B representar a x[(x) (x)] (A = B representar a A = B ). A B representar a x[(x) (x)] (y A B representar a A = B A B) A B = {x : x A x B } y A B = {x : x A x B }. A B = {x : x A x / B }. A = {x : (y )[x y y A]}, y A = {x : (y )[y A x y )}.

Si A es la clase {x : (x)}. Escribiremos 1. A es un conjunto en lugar de (y )(x)[x y (x)]. 2. A es una clase propia en lugar de (y )(x)[x y (x)]. LemaDenici on. 1.1.11 La clase de Russell, denida por R = {x : x / x} es una clase propia Denici on. 1.1.12 La clase universal es V = {x : x = x}.

1.2

Axiomas del vac o, extensionalidad y separaci on

(y )(x)[x / y ].

Axioma 1.2.1 del conjunto vac o: Existe un conjunto que no tiene elementos; i.e

Axioma 1.2.2 de extensionalidad (Frege 1893, Zermelo 1908): Si dos conjuntos tienen los mismos elementos, entonces son iguales; i.e. (x)(y )[(z )[z x z y ] x = y ] Notaci on. 1.2.3 Escribiremos (!x)(x) (l ease: existe un u nico x tal que (x)), en lugar de (x)[(x)] (x)(y )[(x) (y ) x = y ]. Lema. 1.2.4 (!y )(x)[x / y ]. Denici on. 1.2.5 El conjunto vac o se dene por: = y (x)[x / y ].

Axioma 1.2.6 esquema de separaci on (Zermelo 1908): Sea (x) una f ormula en la que y no ocurre libre. Para cada conjunto z , {x : x z (x)} es un conjunto; i.e. (z )(y )(x)[x y x z (x)]. Nota. 1.2.7 Si en el axioma de separaci on se permite que la variable y no ocurre libre en (x), entonces (x)[x = ]. Teorema. 1.2.8 El axioma del conjunto vac o es consecuencia del de separaci on. Lema. 1.2.9 Sea (x) una f ormula en la que y no est e libre. Entonces, (z )(!y )(x)[x y x z (x)]. Notaci on. 1.2.10 Escribiremos {x z : (x)} en lugar de {x : x z (x)} Teorema. 1.2.11 Sea A = {x : (x)}. Si (y )(x)[(x) x y ], entonces A es un conjunto. Teorema. 1.2.12 V es una clase propia. LemaDenici on. 1.2.13 Sean x, y, z conjuntos. 1. La clase x y denida por {z : z x z / y } es un conjunto, que llamaremos la diferencia de x e y . 2. La clase x y denida por {z : z x z y } es un conjunto, que llamaremos la intersecci on de x e y . LemaDenici on. 1.2.14 La intersecci on de x es x = {z : (u)[u x u z ]}. Si x = , entonces Lema. 1.2.15 x es un conjunto.

1. Si A = , entonces 2. = {x : x = x}. 3. =V.

A es un conjunto.

Denici on. 1.2.16 Los conjuntos x e y son disjuntos si x y = . Nota. 1.2.17 Con los axiomas anteriores s olo puede demostrarse la existencia del conjunto vac o.

1.3

Los axiomas del par, de la uni on y de las partes

Axioma 1.3.1 del par: Para todo x, y la clase {u : u = x u = y } es un conjunto; i.e. (x)(y )(z )(u)[u z u = x u = y ] Denici on. 1.3.2 1. {x, y } = {u : u = x u = y }. 2. {x} = {x, x}. Notas. 1.3.3 1. { x} = x y {x, y } = x y .

2. Con los axiomas anteriores se puede demostrar la existencia de innitos conjuntos: , {}, {{}}, ...; pero todos tiene como m aximo dos elementos. Axioma 1.3.4 de la uni on: Para cada conjunto x la clase {z : (u)[z u u x]} es un conjunto; i.e. (x)(y )(z )[z y (u)[z u u x]] Denici on. 1.3.5

1. La uni on de x es

x = {z : (u)[z u u x]} {x, y }

2. La uni on de x e y es x y = Proposici on. 1.3.6 1. 2. = { x} = x

3. x y = {z : z x z y } Denici on. 1.3.7 {a, b, c} = {a, b} {c}. Notas. 1.3.8 An alogamente a 1.4.8, pueden denirse {a, b, c, d}, {a, b, c, d, e}, ... Con los axiomas anteriores puede demostrarse la existencia de los conjuntos , {}, {, {}}, ... que tienen 0, 1, 2, ... elementos. Denici on. 1.3.9 Diremos x es un subconjunto de y (y lo notaremos por x y ) si (z )[z x z y ]. Diremos x es un subconjunto propio de y (y lo notaremos por x y ) si x y x = y. Axioma 1.3.10 de las partes (Zermelo 1908): Para todo conjunto x, la clase {z : z x} es un conjunto; i.e (x)(y )(z )[z y z x] Denici on. 1.3.11 El conjunto partes de x es P(x) = {z : z x}.

Cap tulo 2 Relaciones y aplicaciones. El axioma de reemplazamiento

2.1 Par ordenado y producto cartesiano

Denici on. 2.1.1 (Kuratowski 1921) El par ordenado de x e y es x, y = {{x}, {x, y }} Proposici on. 2.1.2 1. Si {x, y } = {x, z }, entonces y = z . 2. Si x, y = z, u , entonces x = z y = u. Denici on. 2.1.3 Diremos que x es un par ordenado (y )(z )[x = y, z ]. Denici on. 2.1.4 Sea x un conjunto. 1. La primera coordenada de x es 1 (x) = {u : (v )(w)[x = v, w u v ]]} 2. La segunda coordenada de x es 2 (x) = {u : (v )(w)[x = v, w u w]]} Proposici on. 2.1.5 1 (x) = y si (z )[x = y, z ]; en otro caso. 2 (x) = z si (y )[x = y, z ]; en otro caso.

Notas. 2.1.6 La Denici on 2.1.1 puede extenderse como sigue: x = x, x, y , z , x, y, z, w = x, y, z , w , ... Notaci on. 2.1.7 Escribiremos { x, y : (x, y )} en lugar de {z : (x)(y )[z = x, y (x, y )]} Denici on. 2.1.8 El producto cartesiano de x e y es: x y = { u, v : u x v y } Proposici on. 2.1.9 Si x e y son conjuntos, entonces x y es un conjunto. Denici on. 2.1.10 x2 = x x. Nota. 2.1.11 An alogamente se denen x y z = (x y ) z, x 3 = x2 x

x, y, z =

x y z u = (x y z ) u y as sucesivamente. Si A y B son clases, se dene A B = { u, v : u A v B }, y A2 = A A

2.2

Relaciones. Aplicaciones. Familias

Denici on. 2.2.1 Un conjunto r es una relaci on si (y )[y r y es un par ordenado]. Notaci on. 2.2.2 Si r es una relaci on, escribiremos x r y en lugar de x, y r. Denici on. 2.2.3 1. El dominio de r es dom(r) = {x : (y )[ x, y r]} 2. El rango de r es rang(r) = {y : (x)[ x, y r]} 3. El campo de r es campo(r) = dom(r) rang(r) Lema. 2.2.4 Si r es un conjunto, entonces dom(r), rang(r) y campo(r) son conjuntos.

Denici on. 2.2.5 Diremos que r es una relaci on en x si r es una relaci on y campo(r) x. Ejemplos. 2.2.6 1. La identidad en x, Ix = { y, y : y x}, es una relaci on en x. 2. La pertenecia en x, x = { y, z : y x z x y z } es una relaci on en x. Denici on. 2.2.7 1. La inversa de r es r1 = { y, x : x, y r} 2. La imagen de x por r es r[x] = {y : (z )[z x z, y r]} 3. La imagen inversa de x por r es r1 [x] = {y : (z )[z x y, z r]} 4. La composici on de r y s es s r = { x, z : (y )[ x, y r y, z s]} 5. La restricci on de r a x es r x = { y, z : y x y, z r} Lema. 2.2.8 Si x, r y s son conjuntos, entonces r1 , r[x], r1 [x], s r y r x son conjuntos Nota. 2.2.9 La denici on de relaci on binaria se puede generalizar. Por ejemplo: r es una relaci on ternaria r V 3 . Una clase R es una relaci on si R V 2 . Denici on. 2.2.10 f es una aplicaci on (o funci on) si f es una relaci on (x)(y )(z )[ x, y f x, z f y = z ] Denici on. 2.2.11 Sean f una aplicaci on y x dom(f ). El u nico y tal que x, y f se llama valor de f en x y se representa por f (x) o fx . Denici on. 2.2.12 f es una aplicaci on de x en y si f es una aplicaci on dom(f ) = x rang(f ) y . Notaci on. 2.2.13

1. Por f : x y se indica que f es una aplicaci on de x en y . 2. Por f (a) : a x o fa : a x se indica que f es una aplicaci on de dominio x. 3. Si f es una aplicaci on de dominio x, podemos representar el rango de f como {f (a) : a x} o { f a : a x} Nota. 2.2.14 Sean f y g dos aplicaciones. f =g dom(f ) = dom(g ) (x)[x dom(f ) f (x) = g (x)]

Denici on. 2.2.15 Sea f : x y . Diremos que f es: 1. Suprayectiva rang(f ) = y . 2. Inyectiva (z, u x)[f (z ) = f (u) z = u]. 3. Biyectiva f suprayectiva e inyectiva. Denici on. 2.2.16 El conjunto de aplicaciones de x en y es xy = {f : f es una aplicaci on de x en y } Proposici on. 2.2.17 Si x, y son conjuntos, entonces xy es un conjunto. Proposici on. 2.2.18 Si f : x y y g : y z , entonces g f : x z . Notas. 2.2.19 1. Las deniciones anteriores se pueden extender a clases. 2. Si F : V V , escribiremos {F (x) : (x)}, en lugar de {y : (x)[y = F (x) (x)]}. 3. Si f es una aplicaci on, entonces f [z ] = {f (a) : a z } y f 1 [z ] = {a : f (a) z }. Denici on. 2.2.20 Sea I un conjunto. Una familia de conjuntos con ndices en I es un aplicaci on a de dominio I . Notaci on. 2.2.21 Si a una familia de conjuntos con ndices en I , escribiremos ai en lugar de a(i), y (ai )iI o ai : i I en lugar de a.

LemaDenici on. 2.2.22 Sea (ai )iI una familia de conjuntos. 1. La uni on de (ai )iI , denida por ai = {x : (i I )[x ai ]}
iI

es un conjunto. 2. La intersecci on de (ai )iI , denida por ai = {x : (i I )[x ai ]}

iI

es un conjunto si y s olo si I = . 3. El producto cartesiano de (ai )iI , denida por ai = {x : (x es una aplicaci on ) dom(x) = I (i I )[x(i) ai ]}
iI

es un conjunto. Notas. 2.2.23 Sea (ai )iI una familia de conjuntos. 1. Si para todo i I , ai = b, entonces
iI

ai = bI .

2. Si

iI

ai = , entonces (i I )[ai = ].

3. Con los axiomas estudiados hasta ahora, no se puede probar ni refutar el rec proco de (2).

2.3

El axioma de reemplazamiento

Axioma 2.3.1 de reemplazamiento: Si F es una funci on y u es un conjunto, entonces la clase F [u] = {F (y ) : y u} es un conjunto. Notas. 2.3.2

1. La condici on de ser funci on es necesaria. 2. Sin usar clases, el axioma de reemplazamiento puede formularse como sigue: Si (x, y ) es una f ormula y z es una variable que no ocurre libre en (x, y ), entonces (x)(y )(z )[(x, y )(x, y ) y = y ] (u)(z )(y )[y z (x u)(x, y )] es un axioma de reemplazamiento. Proposici on. 2.3.3 1. El axioma de separaci on es consecuencia del axioma de reemplazamiento. 2. El axioma del par es consecuencia del axioma de reemplazamiento y del axioma de las partes.

2.4

Relaciones de equivalencia (*)

Denici on. 2.4.1 1. r es reexivo sobre x si (a x)[ a, a r]. 2. r es sim etrico (a)(b)[ a, b r b, a r]. 3. r es transitivo (a)(b)(c)[ a, b r b, c r a, c r] 4. r es de equivalencia en x si r es reexiva sobre x, sim etrica y transitiva. Nota. 2.4.2 Si r es una relaci on en x sim etrica y transitiva, entonces no se sigue necesariamente que r sea una relaci on de equivalencia en x. Nota. 2.4.3 Las demostraciones de los siguientes resultados se proponen como ejercicios. Denici on. 2.4.4 Sea r una relaci on de equivalencia en x y a x. La clase de equivalencia de a m odulo r es [a]r = {b : b x a, b r} Proposici on. 2.4.5 Sea r una relaci on de equivalencia en x y a, b x. 1. [a]r es un conjunto.

2. a, b r [a]r = [b]r . 3. a, b / r [a]r [b]r = . Denici on. 2.4.6 Sea r una relaci on de equivalencia en x. El conjunto cociente de x por r es x/r = {[a]r : a x} Proposici on. 2.4.7 Si r una relaci on de equivalencia en x, entonces x/r es un conjunto. Denici on. 2.4.8 El conjunto p es una partici on de x si 1. (a p)[a = ]. 2. p=x

3. (a, b p)[a = b a b = ]. Proposici on. 2.4.9 Si r una relaci on de equivalencia en x, entonces x/r es una partici on de x. Denici on. 2.4.10 Sea p una partici on de x. La relaci on denida por p es rp = { a, b : (y p)[a y b y ]} Proposici on. 2.4.11 Sea p una partici on de x. 1. rp es una relaci on de equivalencia en x. 2. x/rp = p. Denici on. 2.4.12 Sea p una partici on de x. Se dice que y es un conjunto de representantes de p si (a p)(b y )[a y = {b}] Nota. 2.4.13 Con los axiomas estudiados hasta ahora, no se puede demostrar, ni refutar, que para cada partici on p de x, existe un conjunto de representantes de p.

Cap tulo 3 Relaciones de orden

3.1 Ordenes parciales. Ordenes totales

Denici on. 3.1.1 Sean A una clase y R una relaci on en A. Diremos que R es: 1. Irreexiva en A si (x A)[ x, x / A]. 2. Transitiva en A si (x, y, z A)[ x, y R y, z R x, z R]. 3. Conexa si (x, y A)[xRy x = y yRx]. 4. Un orden parcial en A si R es irreexiva y transitiva en A. 5. Un orden total en A si R es un orden parcial y conexa en A. Notaci on. 3.1.2 Escribiremos A, R es una clase parcialmente ordenada o A, R es una CPO en lugar de A es una clase y R es un orden parcial en A. De manera an aloga, escribiremos A, R es una clase totalmente ordenada o A, R es una CTO en lugar de A es una clase y R es un orden total en A. Adem as, suele usarse el s mbolo < para representar relaciones de orden. De manera usual, se utilizan las notaciones x < y (x < y ), x y x < y x = y, x > y y < x.

Denici on. 3.1.3 Sean A, < una CPO, B A y b A. Diremos que b es 1. Elemento maximal de B si b B (x B )[b < x]. 2. Elemento minimal de B si b B (x B )[x < b]. 15

3. El mayor elemento de B si b B (x B )[x b]. 4. El menor elemento de B si b B (x B )[b x]. Notas. 3.1.4 Sean A, < una CPO y B A. 1. Si b es el mayor elemento de B , entonces b es un elemento maximal de B . El rec proco no es v alido. 2. B no tiene m as de un mayor elemento. Denici on. 3.1.5 Sean A, < una CPO, B A y a A. Diremos que a es: 1. Una cota superior de B si: (x B )[x a]. 2. Una cota inferior de B si: (x B )[a x]. 3. El supremo de B (y = sup(B )) si: a es la menor cota superior de B . 4. El nmo de B (y = inf(B )) si: a es la mayor cota inferior de B . Notas. 3.1.6 Sean A, < una CPO y B A. 1. B tiene a lo sumo un supremo. 2. Si b es el mayor elemento de B , entonces b = sup(B ). 3. Si b = sup(B ) y b B , entonces b es el mayor elemento de B . Denici on. 3.1.7 Sean A, < una CPO y a, b A. 1. a es un predecesor de b (o b es un sucesor de a) si a < b. 2. a es un predecesor inmediato de b (o b es un sucesor inmediato de a) si a < b y (c A)[a < c < b]. Denici on. 3.1.8 Sean A, < una CPO y x A. La secci on inicial de A, < denida por x es Ax = {y A : y < x}. Denici on. 3.1.9 Sean A, < una CPO y B A. 1. B es una secci on inicial de A si (x A)[B = Ax ]

2. B es un segmento inicial de A si (x, y A)[x B y < x y B ]. Notas. 3.1.10 Sean A, < una CPO y B A. 1. Si B es una secci on inicial de A, entonces B es un segmento inicial de A. 2. El rec proco no es v alido. Denici on. 3.1.11 Sean A, R , B, S CPO y F : A B . Diremos que F es: 1. Un homomorsmo de A, R en B, S (F : A B ) si

(x, y A)[xRy F (x)SF (y )] 2. Creciente si (x, y A)[xRy F (x)SF (y )] 3. Una inmersi on de A, R en B, S (F : A B ) si F es inyectiva y creciente. 4. Un isomorsmo de A, R en B, S (F : A = B ) si F es biyectiva y creciente. Proposici on. 3.1.12 Sean A, < una CTO y B A. 1. b es un elemento maximal de B si y s olo si b es el mayor elemento de B . 2. b es un elemento minimal de B si y s olo si b es el menor elemento de B . Proposici on. 3.1.13 Sean A, < una CTO y x, y A. Si x = y , entonces Ax = Ay . Proposici on. 3.1.14 Sea A, < una CTO. Si B y C son segmentos iniciales de A, entonces B C o C B. Corolario. 3.1.15 Sea A, < una CTO. Si B y C son segmentos iniciales de A, entonces B es un segmento inicial de C o C es un segmento inicial de B . Proposici on. 3.1.16 Sean A, R , B, S CTO y F : A B . Son equivalentes: 1. F es un homomorsmo. 2. F es creciente. 3. F es una inmersi on. Nota. 3.1.17 Sean A, R , B, S dos CPO isomorfas. Entonces A, R es CTO si y s olo si B, S es CTO.

3.2

Buenos ordenes

Denici on. 3.2.1 Sea A, R una CPO. Diremos que R es: 1. Adecuada si (x A)[Ax es un conjunto]. 2. Un buen orden en A si R es adecuada en A y (x)[x A x = (b)[b es el menor elemento de x]]. Notas. 3.2.2 1. Si A, R es una CPO y A es un conjunto, entonces R es adecuada en A. 2. N con el orden usual est a bien ordenado. 3. Z con el orden usual no est a bien ordenado. 4. La relaci on R denida en Z por xRy |x| < |y | (|x| = |y | x < y ) es un buen orden en Z. 5. Escribiremos A, R es una clase bien ordenada o A, R es una CBO en lugar de A es una clase y R es un buen orden en A. 6. Si A, R es una CBO, entonces A, R es CTO. Teorema 3.2.3 (principio del menor elemento). Sea A, < una CBO. Si B A y B = , entonces B tiene un menor elemento. Nota. 3.2.4 Como consecuencia de la proposici on anterior, el principio del menor elemento para una f ormula (x) es (x A(x)) (x A)[(x) (y A)[(y ) x y ]] Teorema 3.2.5 (Principio de inducci on). Sea A, < una CBO 1. Si B A es tal que (x A)[Ax B x B ] entonces A = B .

2. Si (x) es una f ormula y (x A)[(y A)[y < x (y )] (x)] entonces (x A)(x). Denici on. 3.2.6 Sea A, < una CPO y B A. B es inductiva en A si (x A)[Ax B x B ] Nota. 3.2.7 El principio de inducci on arma que Si A, < es una CBO y B A es inductiva en A, entonces B = A. Proposici on. 3.2.8 Sea A, < una CTO. Si A es la u nica clase inductiva en A y < es adecuada en A, entonces A, < es un CBO. Proposici on. 3.2.9 Sea A, < una CBO. Si B es un segmento inicial de A, entonces B = A o B es una secci on inicial de A. Notaci on. 3.2.10 Sea A, R una CBO y B A. Normalmente escribiremos B, R en lugar de B, R (B B ) . Teorema. 3.2.11 Sea A, < una CBO y F : A A. Si F es creciente, entonces (x A)[x F (x)]. Corolario. 3.2.12 Sea A, < una CBO. 1. Si B A est a estrictamente acotada (es decir, (a A)(b B )[b < a]), entonces A, < y B, < no son isomorfas. 2. No existe ning un x A tal que A, < = Ax , < . 3. Si F : A = A, entonces F = IA . 4. Si A, < olo hay un isomorsmo entre ellas. = B, < , entonces s Lema. 3.2.13 Si A, < y B, < son CBO y F : A = B , entonces (x A)[F Ax : Ax = BF (x) ]

Teorema 3.2.14 de comparaci on de buenos ordenes. Sean A, < y B, < CBO. Se verica una, y s olo una, de las siguientes condiciones :

1. A, < = B, < . 2. (!y B )[ A, < = By , < ]. 3. (!x A)[ Ax , < = B, < ]. Denici on. 3.2.15 Diremos que una clase A es bien ordenable si existe una relaci on de buen orden en A. Nota. 3.2.16 Con los axiomas estudiados hasta ahora, no se puede demostrar ni refutar que todo conjunto sea bien ordenable.

Cap tulo 4 La clase de los Ordinales

4.1 Conjuntos transitivos

Denici on. 4.1.1 Un conjunto x es transitivo si (y, z )[y z x y x]. Nota. 4.1.2 La denici on se puede extender a clases. Proposici on. 4.1.3 Las siguientes condiciones son equivalentes: 1. x es transitivo. 2. (y x)[y x]. 3. x x.

4. x P(x). Ejemplos. 4.1.4 Los conjuntos , {}, {, {}}. son transitivos, y no lo son: {{}}, {, {{}}}. Proposici on. 4.1.5 Sea x un conjunto cuyos elementos son conjuntos transitivos. 1. x es transitivo. x es transitivo.

2. Si x = , entonces

Denici on. 4.1.6 El sucesor del conjunto x es x+ = x {x}. Lema. 4.1.7 Si x es un conjunto transitivo, entonces x+ es transitivo. 21

4.2

Ordinales

Denici on. 4.2.1 1. Un conjunto x es un ordinal si es transitivo y x, x es un conjunto bien ordenado. 2. Ord = {x : x es un ordinal}. Ejemplos. 4.2.2 1. , {}, {, {}} son ordinales. 2. {, {}, {{}}} no es un ordinal. Notaci on. 4.2.3 Usaremos , , , . . . como variables sobre ordinales, y escribiremos ()() en lugar de (x)[x Ord ()] ()() en lugar de (x)[x Ord ()] Proposici on. 4.2.4 1. Ord. 2. ()[ / ]. 3. Todo elemento de un ordinal es un ordinal. 4. Si Ord, entonces + Ord. Denici on. 4.2.5 1. 0 = + , 1 = 0+ , 2 = 1+ , . . . , n + 1 = n+ . 2. + 1 = + . Nota. 4.2.6 Se verica que 1 = {0}, 2 = {0, 1}, . . . , n + 1 = {0, 1, . . . , n}, y que 0, 1, 2, . . . Ord. Proposici on. 4.2.7 1. Si + = + , entonces = . 2. Si x transitivo, entonces x = o x . 3. Si x es un subconjunto transitivo de un ordinal, entonces x es un ordinal.

4.3

Ordenaci on de los ordinales

Denici on. 4.3.1 < . Lema. 4.3.2 1. < . 2. = { : < }. Lema. 4.3.3 Sea C Ord. Si C = , entonces 1. 2. C Ord. C es el menor elemento de C . C.

Notaci on. 4.3.4 Sea C Ord tal que C = . Escribiremos inf(C ) en lugar de Teorema. 4.3.5 Ord, < es una clase bien ordenada. Proposici on. 4.3.6 Si x Ord y x es transitivo, entonces x Ord. Teorema. 4.3.7 Ord es una clase propia. Proposici on. 4.3.8 Si x Ord, entonces 1. 2. x Ord. x es el supremo de x. x.

Nota. 4.3.9 Escribiremos sup(x) en lugar de Proposici on. 4.3.10 + = inf{ : < }.

4.4

Teoremas de inducci on sobre ordinales

Nota. 4.4.1 En esta secci on se muestran varias formas del teorema de inducci on para la clase bien ordenada Ord, . Teorema. 4.4.2 Sea A Ord. Si ()[( )[ < A] A], entonces A = Ord. Nota. 4.4.3 Como consecuencia del teorema anterior, si es una f ormula tal que ()[( )[ < ( )] ()], entonces ()(). Teorema. 4.4.4 Sea A Ord. Si 1. 0 A 2. ()[ A + 1 A] 3. ()[ l mite ( A A)] entonces A = Ord. Nota. 4.4.5 Como consecuencia del teorema anterior, si (x) es una f ormula tal que 1. (0) 2. ()[() ( + 1)] 3. ()[ l mite (( )[ < ( )] ())] entonces ()().

4.5

Clases bien ordenadas y ordinales

Proposici on. 4.5.1 Si = , entonces = . Teorema. 4.5.2 (Mirimanoff 1917) Para cada conjunto bien ordenado a, < , existe un u nico ordinal tal que a, < = , . Denici on. 4.5.3 El tipo ordinal de un conjunto bien ordenado a, < , t.o.( a, < ), es el u nico ordinal tal que a, < = , . Proposici on. 4.5.4 Sea a, < un conjunto bien ordenado. 1. Si a = , entonces t.o.( a, < ) = 0. 2. t.o.( a, < ) = {t.o.( ax , < ) : x a}. Teorema. 4.5.5 Si A, < es una clase propia bien ordenada, entonces A, < = Ord,

Cap tulo 5 Ordinales nitos (n umeros naturales)

5.1 N umeros naturales

Denici on. 5.1.1 Sea un ordinal. Diremos que es: 1. sucesor si existe un tal que = + 1. 2. un ordinal nito (o un n umero natural) si ( )[ = 0 ( es sucesor)] 3. es l mite si = 0 y no es sucesor. Nota. 5.1.2 Notaremos N = { : es un n umero natural}. Los ordinales 0, 1, 2, . . . N, y usaremos m, n, . . . como variables para los n umeros. Con los axiomas estudiados hasta ahora no puede demostrarse que la clase N sea un conjunto. Proposici on. 5.1.3 Sea = 0. Son equivalentes: 1. es l mite. 2. = .

3. ( < )[ + 1 < ]. Notas. 5.1.4 Con los axiomas estudiados hasta ahora no puede demostrarse que existan ordinales l mites. 26

5.2

El axioma del innito y propiedades de N

(x)[0 x (y x)[y + x]]

Axioma 5.2.1 del innito

Nota. 5.2.2 Diremos que un conjunto x es inductivo si 0 x (y x)[y + x] As , el axioma del innito expresa que (x)[x es inductivo]. Proposici on. 5.2.3 1. N es transitivo. 2. Si a inductivo, entonces a N. 3. N es un conjunto. 4. N es inductivo. 5. N = {a : a inductivo}.

6. N es un ordinal. 7. N es el menor ordinal l mite. Notaci on. 5.2.4 El conjunto N como ordinal suele representarse por .

5.3

Teoremas de inducci on sobre

Teorema 5.3.1 (Postulados de Peano). 1. 0 . 2. (n )[n+ ]. 3. 0 no es el siguiente de ning un natural. 4. (m, n )[m+ = n+ m = n]. 5. (Principio de inducci on sobre ) Sea a . Si 0 a y (n a)n+ a, entonces a = .

Teorema. 5.3.2 Sea a . Si (n)[(m)[m < n m a] n a] entonces a = . Nota. 5.3.3 Como consecuencia del teorema anterior, si (x) es una f ormula tal que (n)[(m)[m < n (m)] (n)] entonces (n)(n). Teorema. 5.3.4 Sea A . Si 1. 0 a 2. (n)[n a n + 1 a] entonces a = . Nota. 5.3.5 Como consecuencia del teorema anterior, si (x) es una f ormula tal que 1. (0) 2. (n)[(n) (n + 1)] entonces (n)(n).

Cap tulo 6 Teorema de recursi on

6.1 El teorema de recursi on

Teorema 6.1.1 de recursi on sobre clases bien ordenadas. Sea A, < una clase bien ordenada. Para cada funci on G : V V , existe una u nica funci on F : A V tal que para todo x A, F (x) = G(F Ax ).

Teorema 6.1.2 (denici on por recursi on). Sea A, < una clase bien ordenada. Para cada f ormula (x) existe una u nica clase B A tal que para todo x A, x B (Ax B ). Teorema 6.1.3 de recursi on sobre Ord. Para cada G : V V , existe una u nica funci on F : Ord V tal que para todo F () = G(F )

Teorema 6.1.4 de recursi on sobre . Sea a un conjunto y G : V V . Existe una u nica f : tal que f (0) = a (n )[f (n + 1) = G(f (n))] Corolario. 6.1.5 {0, 1, . . . , , + , ++ , . . .} es un conjunto. Adem as, es un ordinal l mite mayor que .

29

Cap tulo 7 Aritm etica Ordinal

7.1 Funciones normales

Denici on. 7.1.1 Sea F : Ord Ord. Diremos que F es 1. Continua si para todo ordinal l mite F () = sup{F ( ) : < } 2. Normal si F es creciente y continua. Ejemplos. 7.1.2 1. La funci on identidad es continua y normal. 2. Las funciones constantes son continuas no normales. 3. La funci on F () = + no es continua. Lema. 7.1.3 Si F es continua, entonces F es normal ()[F () < F ( + 1)]

Proposici on. 7.1.4 Sea F una funci on normal. 1. Si es l mite, entonces F () es l mite. 2. Si F (0) , entonces existe un m aximo ordinal tal que F () . 30

3. Si a es un conjunto no vac o de ordinales, entonces F (sup(a)) = sup{F () : a} Teorema 7.1.5 del punto jo (Veblen 1907). Sea F una funci on normal. Para cada , existe un tal que F ( ) = . Proposici on. 7.1.6 Si F y G son funciones normales, entonces F G es normal.

7.2

Deniciones

Teorema. 7.2.1 (Suma de ordinales). 1. Para cada Ord existe una u nica aplicaci on : Ord Ord vericando: (a) (0) = . (b) Ord ( ( + ) = ( ( ))+ ). (c) Ord ( limite ( ) = sup { ( ) : < }). 2. Existe una u nica aplicaci on + : Ord Ord Ord vericando: (a) Ord (+ ( , 0 ) = ). (b) , Ord (+ ( , + ) = (+ ( , ))+ ). (c) , Ord ( limite + ( , ) = sup {+ ( , ) : < }). Notaci on. 7.2.2 + ( , ) = + . Teorema. 7.2.3 (Producto de ordinales). 1. Para cada Ord existe una u nica aplicaci on : Ord Ord vericando: (a) (0) = 0. (b) Ord ( ( + ) = ( ) + ). (c) Ord ( limite ( ) = sup { ( ) : < }). 2. Existe una u nica aplicaci on : Ord Ord Ord vericando: (a) Ord ( ( , 0 ) = 0). (b) , Ord ( ( , + ) = ( , ) + ).

(c) , Ord ( limite ( , ) = sup { ( , ) : < }). Notaci on. 7.2.4 ( , ) = . Teorema. 7.2.5 (Exponenciaci on ordinal). 1. Denimos la aplicaci on E0 : Ord Ord as : E0 (0) = 1 y E0 ( ) = 0, para cada Ord {0}. 2. Para cada Ord {0} existe una u nica aplicaci on E : Ord Ord vericando: (a) E (0) = 1. (b) Ord (E ( + ) = E ( ) ). (c) Ord ( limite E ( ) = sup {E ( ) : < }). 3. Existe una u nica aplicaci on exp : Ord Ord Ord vericando: (a) Ord (exp ( , 0 ) = 1). (b) , Ord (exp ( , + ) = exp ( , ) ). (c) , Ord ( = 0 limite exp ( , ) = sup {exp ( , ) : < }). (d) Ord ( = 0 exp ( 0, ) = 0). Notaci on. 7.2.6 exp ( , ) = .

7.3

Propiedades de la suma y el producto.

Proposici on. 7.3.1 (Propiedades de la suma). 1. Para cada Ord la aplicaci on : Ord Ord denida por ( ) = + es normal. 2. (0 + = ). 3. Si es l mite, entonces + es l mite. 4. Monoton a: (a) < + < + (b) + < +

5. Ley de simplicaci on para <. (a) + < + < 6. Ley de simplicaci on para =. (a) + = + = (b) + = + = (b) + < + <

7. Asociatividad: ( + ) + = + ( + ). Nota. 7.3.2 La suma de ordinales no es conmutativo. Teorema 7.3.3 de la resta. Sean , ordinales tales que . Entonces, existe un u nico ordinal tal que + = . Proposici on. 7.3.4 (Propiedades del producto de ordinales). 1. Para cada Ord {0} la aplicaci on : Ord Ord denida por ( ) = es normal. 2. ( 1 = 1 = 0 = 0). 3. , ( = 0 l mite l mite ). 4. Monoton a. (a) < = 0 < . (b) . 5. = 0 1 < < . 6. = 0 1 < < . 7. = 0 . 8. = 0 = 0 = 0. 9. Ley de simplicaci on para <. (a) = 0 < < . (b) = 0 < < . 10. Ley de simplicaci on para =. (a) = 0 = = .

(b) = 0 = = . 11. Distributividad del producto respecto de la suma. (a) ( + ) = ( ) + ( ). (a) En general, ( + ) = ( ) + ( ). 12. Asociatividad: ( ) = ( ). 13. ( l mite ( = 0 = )). Nota. 7.3.5 El producto de ordinales no es conmutativo Teorema 7.3.6 de la divisi on con resto. Sean , ordinales tales que = 0. Entonces, existen unos u nicos ordinales , tales que = + < . Corolario. 7.3.7 ( l mite ( = 0 = ))

7.4

Propiedades de la exponenciaci on

Proposici on. 7.4.1 1. Para cada Ord {0, 1} la aplicaci on E : E ( ) = es normal. 2. (1 = 1 1 = = 2 ). 3. , ( > 1 l mite l mite ). 4. Monoton a: (a) < > 1 < 5. > 0 . 6. Ley de simplicaci on para <: (a) > 1 < < 7. Ley de simplicaci on para =. (a) > 1 = = (b) > 1 = = (b) = 0 < < (b) Ord Ord denida por

8. = + . 9. ( ) = . 10. Propiedades del ordinal 0 = sup {, , , . . .}. (a) 0 es un ordinal l mite. (b) 0 = 0 . Teorema 7.4.2 del logaritmo. Sean = 0, > 1. Entonces, existen unos u nicos ordinales , , tales que = + 0 < < < Proposici on. 7.4.3 1. Sean > 1 y k . Sean 0 , . . . , k , 0 , . . . , k ordinales tales que 0 > . . . > k (i k ) (i < ) Entonces, para cada ordinal tal que 0 < se verica que 0 0 + . . . + k k < 2. Sea > 1. Entonces para cada ordinal = 0 existen unos u nicos k y 0 , . . . , k , 0 , . . . , k ordinales vericando que = 0 0 + . . . + k k 0 > . . . > k (i k ) (0 < i < ) Teorema 7.4.4 de la forma normal de Cantor. Para cada ordinal = 0 existen unos u nicos k ; n0 , . . . , nk {0} y ordinales 0 , . . . , k vericando que = 0 n0 + . . . + k nk 0 > . . . > k (i k ) (0 < ni )

Cap tulo 8 El axioma de elecci on y el teorema del buen orden

8.1 El axioma de elecci on

Nota. 8.1.1 Los axiomas introducidos hasta ahora son: 1. Ax. de extensionalidad: (x)(y )[(z )[z x z y ] x = y ]] 2. Ax. de separaci on: {x : x y (x)} es un conjunto. 3. Ax. del par: {x : x = y x = z } es un conjunto. 4. Ax. de las partes: {x : x y } es un conjunto. 5. Ax. de la uni on: x es un conjunto.

6. Ax. de reemplazamiento: Si F es una funci on, entonces F [x] es un conjunto. 7. Ax. del innito: (x)[ x (y )[y x y {y } x]]. La teor a cuyos axiomas son los anteriores, se representa por ZF (y se llama la teor a de ZermeloFraenkel sin el axioma de regularidad). Denici on. 8.1.2 La funci on f : x V es una funci on de elecci on sobre x si (y x)[y = f (y ) y ] Axioma 8.1.3 de elecci on (Zermelo 1904). Para cada conjunto x, existe una funci on de elecci on sobre x. 36

Notas. 8.1.4 1. El axioma de elecci on no es demostrable ni refutable a partir de ZF . 2. La teor a obtenida a nadi endole a ZF el axioma de elecci on se representar a por ZFC . 3. Los resultados que utilicen el axioma de elecci on se se nalar an mediante AE.

8.2

El teorema del buen orden

Teorema 8.2.1 del buen orden, Zermelo 1904) (AE). Todo conjunto puede ser bien ordenado. Teorema. 8.2.2 (ZF ) Son equivalentes: 1. El axioma de elecci on. 2. Todo conjunto puede ser bien ordenado.

Cap tulo 9 Conjuntos nitos y numerables

9.1 Conjuntos nitos

Denici on. 9.1.1 Se dice que los conjuntos x e y son equipotentes (y se representa por x y ) si existe una aplicaci on biyectiva de x en y . Lema. 9.1.2 La relaci on de equipotencia es una relaci on de equivalencia en V . Denici on. 9.1.3 Un conjunto x es nito si es equipotente a alg un n umero natural; e innito, en caso contrario. Nota. 9.1.4 Si x nito, entonces x {y } nito, y por tanto todos los n umeros naturales son conjuntos nitos. Proposici on. 9.1.5 1. Si n y a n, entonces a n. 2. Si n = m, entonces n m. 3. Si a es un conjunto nito, entonces existe un u nico n umero natural n tal que a n. Denici on. 9.1.6 Sea a un conjunto nito. El u nico n umero natural n tal que a n se llama el cardinal de a y se representa por |a| (y diremos que a tiene n elementos). Proposici on. 9.1.7 38

1. Si a es nito y b a, entonces b a. 2. El conjunto es innito. Teorema 9.1.8 de inducci on sobre conjuntos nitos. Sea (x) una f ormula. Si se verica 1. (0) 2. (x)(y )[(x) (x {y })] entonces (x)[x nito (x)]. Teorema 9.1.9 -ejercicio. Sea a un conjunto nito. 1. n = m n m 2. Si b es nito, entonces |a| = |b| a b 3. n m (f )[f : n m inyectiva] 4. Si b a, entonces b es nito y |b| |a| 5. Si F es una funci on, entonces F [a] es nito y |F [a]| |a| 6. Si b es nito, entonces a b es nito y |a b| |a| + |b| 7. Si los elementos de a son conjuntos nitos, entonces 8. P(a) es nito y |P(a)| = 2|a| 9. Si b es nito, entonces a b es nito y |a b| = |a| |b| Teorema. 9.1.10 Sea a un conjunto. Son equivalentes: 1. a es nito. 2. Existe un orden total R en a tal que todo subconjunto no vacio de a tiene un menor y un mayor elemento respecto de R. 3. Todo subconjunto no vacio de P(a) tiene un elemento maximal. a es nito.

9.2

Conjuntos numerables

Denici on. 9.2.1 Un conjunto a es numerable si a . Teorema 9.2.2 -ejercicio. Sea a un conjunto numerable. 1. Si b a es innito, entonces b es numerable. 2. Si F es una funci on, entonces F [a] es nito o numerable. 3. Si b es numerable, entonces a b es numerable. 4. Si b es nito y todo x b es numerable, entonces 5. Si b es numerable, entonces a b es numerable. 6. Si n {0}, entonces an es numerable. 7. El conjunto de las sucesiones nitas de elementos de a es numerable. 8. El conjunto de los subconjuntos nitos de a es numerable. 9. Si R es una relaci on de equivalencia en a, entonces el conjunto cociente a/R y las clases de equivalencia [x]R son conjuntos nitos o numerables. 10. Z y Q son numerables. Teorema 9.2.3 de Cantor. El conjunto P( ) no es numerable. b es nito o numerable.

9.3

Conjuntos Dedekindinnitos

Denici on. 9.3.1 Un conjunto a es Dedekindinnito (o Dinnito) si existe un b a numerable; en caso contrario, es Dedekindnito (o Dnito). Proposici on. 9.3.2 Si a es Dinnito, entonces a es innito. Proposici on. 9.3.3 (AE) Si a es innito, entonces a es Dinnito. Nota. 9.3.4 Sin el axioma de eleccion, no se puede probar la propiedad anterior. Teorema. 9.3.5 a Dinnito (b a)[b a]

Proposici on. 9.3.6 Sea a . 1. Si a es acotado, entonces a es nito. 2. Si a es no acotado, entonces a es numerable. Corolario. 9.3.7 Sea a . a innito a Dinnito

Lema. 9.3.8 Sea a un conjunto innito. Para cada n , existe un b a tal que |b | = n . Teorema. 9.3.9 (Tarski) Son equivalentes: 1. a innito 2. P(P(a)) es Dinnito.

Cap tulo 10 El axioma de regularidad

10.1 El axioma de regularidad y la clase W F

Axioma 10.1.1 de regularidad: (x)[x = (y x)[x y = ]] Denici on. 10.1.2 (ZF ) La funci on V : Ord V est a denida por: V (0) = 0 V ( + 1) = P(V ( )) V () = {V ( ) : < }, si es l mite. {V () : Ord}.

y la clase W F = Lema. 10.1.3

1. Sea A una clase. x A (x es transitivo) 2. x W F = inf { : x V ( )} =

A transitiva.

sucesor.

Denici on. 10.1.4 (ZF ) Sea x W F , denimos rank (x) = inf { : x V ( + 1)}. Proposici on. 10.1.5 (ZF ) 1. Ord[V () es transitivo]. 42

2.

V ( ) V ().

3. W F es transitiva. 4. Ord[V () = {x W F : rank (x) < }]. 5. y W F . Entonces (a) x y = rank (x) < rank (y )

(b) rank (y ) = sup({rank (x) + 1 : x y }) 6. x W F x transitivo = < rank (x) y x (rank (y ) = ).

7. x (x W F x W F ). Proposici on. 10.1.6 (ZF ) 1. Sea Ord. Entonces W F rank () = V () Ord = 2. Sea x W F con rank (x) = (a) x, P(x), {x} W F . (b) rank (x) . (c) rank (P(x)) = + 1 = rank ({x}). 3. Sean x, y W F con = max(rank (x), rank (y )). Entonces (a) {x, y }, x y, x y, x, y , x y, xy W F (b) rank ({x, y }) = + 1, rank (x y ) = , rank (x y ) (c) rank ( x, y ) = + 2, rank (x y ) + 2, rank (xy ) + 3

10.2

Relaciones bien fundamentadas

Denici on. 10.2.1 Sean A una clase y R una relaci on sobre A. Diremos que R est a bien fundamentada sobre A si: x A (x = 0 y x (z x (zRy ))) Un tal elemento se dice Rminimal en x.

Proposici on. 10.2.2 (ZF ) 1. x W F = est a bien fundamentada sobre x. = x WF.

2. x transitivo y bien fundamentada sobre x Denici on. 10.2.3 (ZF P) 1. 0 (x) = x n+1 (x) =

n (x) {n (x) : n }.

2. La clausura transitiva de x es el conjunto T C (x) = Proposici on. 10.2.4 (ZF P)

(1) x T C (x) (2) T C (x) es transitivo (3) x y y transitivo T C (x) y (4) x transitivo T C (x) = x (5) y x = T C (y ) T C (x) (6) T C (x) = x {T C (y ) : y x} Teorema. 10.2.5 (ZF ) Son equivalentes: 1. x W F . 2. T C (x) W F . 3. est a bien fundamentada sobre T C (x). Teorema. 10.2.6 (ZF ) Son equivalentes: 1. Axioma de regularidad. 2. x ( est a bien fundamentada sobre x). 3. V = W F . Teorema. 10.2.7 Sea (u, v ) una f ormula. Entonces xy u(u x v(u, v ) v y(u, v ))

10.3

Inducci on y recursi on sobre relaciones bien fundamentadas (*)

Denici on. 10.3.1 (ZF P). Sean A una clase y R una relaci on sobre A. 1. Diremos que R es adecuada sobre A si: x A ({y A : yRx} es un conjunto) 2. Si R es adecuada sobre A, denimos (a) ExtR (x) = {y A : yRx}. (b) ExtR 0 (x) = Ext(x) y ExtR n+1 (x) = 3. CR (x) = {ExtR n (x) : n }. {ExtR (y ) : y ExtR n (x)}

Proposici on. 10.3.2 (ZF P). Si R es adecuada sobre A y x A, entonces 1. y CR (x) (ExtR (y ) CR (x)). 2. CR (x) = ExtR (x) {CR (y ) : ExtR (x)}.

Teorema 10.3.3 de inducci on sobre una relaci on bien fundamentada y adecua da (ZF P). Sea R una relaci on bien fundamentada y adecuada sobre A, y B A. Entonces 1. B = 0 B tiene un elemento R-minimal. 2. x A (ExtR (x) B x B ) = A = B.

Nota. 10.3.4 En el teorema anterior la condici on de ser R adecuada sobre A puede omitirse. Proposici on. 10.3.5 (ZF) 1. Teorema de -inducci on (a) B = 0 = x B (x B = 0).

(b) Sean A transitiva y B A. x A (x B x B ) = A=B

2. Sean A y B clases transitivas y F : A B una funci on biyectiva tal que x, y A (x y F (x) = F (y )) Entonces A = B y F es la identidad. Teorema 10.3.6 de recursi on sobre una relaci on bien fundamentada y adecuada (ZF P). Sean R una relaci on bien fundamentada y adecuada sobre A y G : V V V una funci on. Entonces existe una u nica F : A V tal que: x A (F (x) = G(x, FExtR (x) ) Corolario. 10.3.7 (ZF) Sean A una clase transitiva y G : V V V. Entonces existe una u nica F : A V tal que: x A (F (x) = G(x, Fx )). Denici on. 10.3.8 (ZF ) Sean R una relaci on bien fundamentada y adecuada sobre A y x A. Denimos rankR (x) = sup({rankR (y ) + 1 : yRx}). Lema. 10.3.9 (ZF ) Si A es transitiva y est a bien fundamentada sobre A, entonces A W F x A (rank (x) = rank (x)) Denici on. 10.3.10 Sea E una relaci on sobre A. Diremos que E es extensional sobre A si: x, y A (z A (zEx zEy ) x = y ) Teorema 10.3.11 del colapso (Mostowski). (ZF P) Sea E una relaci on bien fundamentada, adecuada y extensional sobre A. Entonces existen M y F : A M tales que: 1. M es transitiva. 2. F : A, E = M, .

3. F y M son u nicas satisfaciendo (1) y (2). 4. B A transitiva E B = = x B (F (x) = x).

Corolario. 10.3.12 (ZF ) Si A W F es una clase extensional, entonces existe una clase transitiva M tal que A = M.

Cap tulo 11 Cardinales

11.1 N umeros cardinales

Lema. 11.1.1 1. Si x y , entonces x es bien ordenable syss y es bien ordenable. 2. Un conjunto x es bien ordenable syss existe un tal que x . Denici on. 11.1.2 1. El cardinal de x es |x | = inf{ : x}, si x es bien ordenable {y : y x (z )[z x rank(y ) rank(z )]}, en otro caso

2. a es un cardinal si existe un x tal que |x| = a. Ejemplos. 11.1.3 1. (n )[|n| = n] 2. | | = | + 1| = 3. 0, 1, . . . , son cardinales. 4. + 1 no es un cardinal (en general || = ). Lema. 11.1.4 |x| es un conjunto. 47

Denici on. 11.1.5 Cn = {a : a es un cardinal}. Notaci on. 11.1.6 Los cardinales se representar an por a, b, c, . . .. Lema. 11.1.7 Si 0 |x|, entonces x es bien ordenable. Lema. 11.1.8 |x| Ord x es bien ordenable.

Corolario. 11.1.9 Cn Ord = {|x| : x es bien ordenable} Denici on. 11.1.10 Los elementos de In = Cn Ord se llaman cardinales bien ordenables (u ordinales iniciales) Notaci on. 11.1.11 Los cardinales bien ordenables se representar an por , , , . . . Lema. 11.1.12 |x| = |y | x y .

11.2

El teorema de Schrder-Bernstein-Cantor

Denici on. 11.2.1 1. Se dice que el conjunto x es sumergible en y , y se representa por x existe una aplicaci on f : x y inyectiva. 2. x y x Lema. 11.2.2 1. x 2. x x yy zx y y z y x y. y , si

3. x y x 4. x y x 5. x

y (z y )[x y ]

Teorema 11.2.3 de Schr oderBernsteinCantor. x yy xxy

Corolario. 11.2.4 Si x y z y x z , entonces x y . Lema. 11.2.5 Sean x, x , y, y conjuntos tales que |x| = |x | y |y | = |y |. Entonces x y syss x y. Denici on. 11.2.6 1. a b (x)(y )[|x| = a |y | = b x 2. a < b a b a = b. Lema. 11.2.7 1. x y |x| |y |, 2. a |y | (x y )[|x| = a]. 3. |x| |y | x y y ].

Corolario. 11.2.8 La relaci on < es un orden parcial sobre Cn. Teorema 11.2.9 de Cantor (1892). Para todo conjunto x, |x| < |P(x)|. Corolario. 11.2.10 (a)(b)[a < b]. Lema. 11.2.11 1. Si rank(x) = , entonces x V (). 2. Para todo , V () es transitivo. 3. Si < , entonces V () V ( ). 4. Si rank(x) , entonces x V ( ). Teorema. 11.2.12 Si x Cn, entonces existe un cardinal a tal que (b x)[b a]. Corolario. 11.2.13 1. Si x Cn, entonces existe un cardinal a tal que (b x)[b < a]. 2. Cn es una clase propia.

11.3

Ordenaci on de los cardinales bien ordenables

Lema. 11.3.1 a In b < a b In. Lema. 11.3.2 Si Ord, entonces || In || Lema. 11.3.3 Sea Ord. Son equivalentes: 1. Cn. 2. ( )[ < ]. 3. || = . Proposici on. 11.3.4 Sean a, b In. a < b como ordinales Corolario. 11.3.5 1. En ZF, In, < es una C.B.O. 2. En ZFC, Cn, < es una C.B.O. Nota. 11.3.6 En ZF no puede demostrarse que Cn, < sea una C.B.O. Corolario. 11.3.7 1. || | |. 2. || < | | < . 3. || = max{ In : }. Proposici on. 11.3.8 Sea In y a . Entonces 1. t.o.( a, ) = |a| = . 2. t.o.( a, ) = |a| < . a < b como cardinales

Teorema. 11.3.9 (Hartogs, 1915) (x)()[ Denici on. 11.3.10 1. El n umero de Hartogs de x es h(x) = inf{ : 2. El cardinal sucesor de |x| es x+ = inf{ In : |x|} Lema. 11.3.11 1. (x)[h(x) = x+ ] 2. x+ |P(P(x x))|. Proposici on. 11.3.12 (a In)[a < a+ ] Corolario. 11.3.13 (a In)[a+ = inf{b In : a < b}]. Proposici on. 11.3.14 1. No existe ning un cardinal mayor que todo cardinal bien ordenable. 2. Si x es un conjunto de cardinales bien ordenables, entonces bien ordenable. Corolario. 11.3.15 1. x In (b In)(a x)[a < b]. 2. In es una clase propia. Nota. 11.3.16 In , < es una clase propia bien ordenada. Por tanto, existe un u nico isomorsmo : Ord In . Escribiremos en lugar de F (). x es un cardinal x} P(P(x x)) x]

Proposici on. 11.3.17 1. 0 = 2. ()[ es un ordinal l mite]. Proposici on. 11.3.18 1. < < . 2. < a < ( )[ < < a = ]. 3. + = +1 . 4. La funci on es normal. Corolario. 11.3.19 ()( )[ = ]. Notas. 11.3.20 Sea a un cardinal. 1. Diremos que a es nito si a . En otro caso diremos que es innito. 2. Diremos que a es bien ordenable si a In . En otro caso diremos que es no bien ordenable. 3. Si a = , diremos que es un cardinal sucesor si es un ordinal sucesor. En otro caso diremos que es l mite.

Cap tulo 12 Aritm etica Cardinal

12.1 Suma, producto y exponenciaci on cardinal

Lema. 12.1.1 Si x x , y y , x y = y x y = , entonces x y x y . Denici on. 12.1.2 (Cantor 1887) La suma de los cardinales a y b se dene por a + b = c (x)(y )[|x| = a |y | = b x y = |x y | = c] Nota. 12.1.3 La suma de cardinales est a bien denida. Proposici on. 12.1.4 1. La suma de cardinales es asociativa y conmutativa. 2. a + 0 = 0 + a = a. 3. b a (c)[a = b + c]. 4. a a b b a + b a + b . Proposici on. 12.1.5 |x y | |x| + |y |. Proposici on. 12.1.6 Para n uneros naturales, su suma como ordinales coincide con su suma como cardinales. Proposici on. 12.1.7 1. (n )[0 + n = 0 ]. 53

2. a 0 a + n = a. 3. + n = . 4. a + 1 = a 0 a. Lema. 12.1.8 Si x x e y y , entonces x y x y . Denici on. 12.1.9 (Cantor 1887) El producto de los cardinales a y b se dene por ab = c (x)(y )[|x| = a |y | = b |x y | = c] Nota. 12.1.10 El producto de cardinales est a bien denido. Proposici on. 12.1.11 1. El producto de cardinales es asociativo y conmutativo. 2. a0 = 0a = 0. 3. a1 = a. 4. Distributiva: a(b + c) = ab + ac. 5. a a b b ab a b . Proposici on. 12.1.12 Para los n umeros naturales, su producto como ordinales coincide con su producto como cardinales. Lema. 12.1.13 Si x x y y y , entonces xy x
y

Denici on. 12.1.14 (Cantor 1895) La exponenciaci on de los cardinales a y b se dene por ab = c (x)(y )[|x| = a |y | = b |xy | = c] Notas. 12.1.15 La exponenciaci on de cardinales est a bien denida. Proposici on. 12.1.16 1. (ab )c = abc . 2. (ab)c = ac bc .

3. ab+c = ab ac . 4. 00 = 1. Si a = 0 entonces 0a = 0. 5. a1 = a 1a = 1 6. a2 = aa. 7. a c b d ab cd . Proposici on. 12.1.17 Para n umeros naturales, su exponenciaci on como ordinales coincide con su exponenciaci on como cardinales. Proposici on. 12.1.18 1. |P(x)| = 2|x| . 2. a < 2a . 3. a+ 2(2
a2 )

12.2

Aritm etica cardinal en In

Denici on. 12.2.1 La relaci on R denida sobre la clase Ord Ord por: o max(, ) < max( , ) max(, ) = max( , ) < o , R , max(, ) = max( , ) = < se llama el orden can onico de Ord Ord. Lema. 12.2.2 Para todo , la secci on inicial determinada por 0, en Ord Ord, R es . Proposici on. 12.2.3 R es un buen orden en Ord Ord. Corolario. 12.2.4 Existe un u nico isomorsmo F de Ord Ord, R en Ord, . Proposici on. 12.2.5 F [ ] = . Corolario. 12.2.6

1. = . 2. = max( , ). 3. + = max( , ). Corolario. 12.2.7 1. Si n = 0, entonces n = 2. ab a b. Proposici on. 12.2.8 1. = 2 . 2. 2 n n = 2 . 3. n > 0 n = .

12.3

Aritm etica cardinal Innita

Nota. 12.3.1 A lo largo de esta secci on i : i I representar a una familia de cardinales bien ordenables. Denici on. 12.3.2 (suma general de cardinales, Whitehead 1902). La suma de la familia i : i I es i =
iI iI

{i} i

Proposici on. 12.3.3 Sea xi : i I tal que: 1. (i I )[xi es bien ordenable]. 2. (i, j I )[i = j xi xj = ]. 3. (f )(i I )[f (i) : xi |xi | es biyectiva]. Entonces xi =
iI iI

|x i |

Corolario. 12.3.4 (AE) Si xi : i I es una familia de conjuntos disjuntos dos a dos, entonces xi =
iI iI

|x i |

Proposici on. 12.3.5 Si I es un conjunto bien ordenable, entonces 1.

iI

i In.

2. Si i > 0 para todo i I y |I | o alguno de los i es innito, entonces i = max(|I |, sup{i : i I })

iI

Proposici on. 12.3.6 1.

i0

i = 0,

i1

i = 0 ,

i2

i = 0 + 1 .

2. Conmutativa: Si g : I I es biyectiva y (i I )[g(i) = i ], entonces i =

iI iI

i .

3. (i I )[i i ] 4. (j I )[j
iI

iI

iI

i .

i ].
iI

5. Si I es bien ordenable y (i I )[i = ], entonces

i = |I | .

Denici on. 12.3.7 (producto general de cardinales, Whitehead, 1902). El producto de la familia i : i I es i =
iI iI

Proposici on. 12.3.8 Sea xi : i I tal que: 1. (i I )[xi es bien ordenable]. 2. (f )(i I )[f (i) : xi |xi | es biyectiva].

Entonces xi =
iI iI

|x i |

Corolario. 12.3.9 (AE) xi =

iI iI

|x i |

Proposici on. 12.3.10 1.

i0

i = 1,

i1

i = 0 ,

i2

i = 0 1 .

2. Conmutativa: Si g : I I es biyectiva y (i I )[g(i) = i ], entonces i =

iI iI

i .

3. (i I )[i i ]

iI

iI

i .
iI

4. Si I es bien ordenable y (i I )[i = ], entonces Proposici on. 12.3.11 1.

iI

i = |I | .

i = 0 (i I )[i = 0).
iI

2. Si (i I )[i 2], entonces

iI

i .

nigZermelo). Teorema 12.3.12 (desigualdad de Ko Si i : i I y i : i I son dos familias de cardinales bien ordenables tales que (i I )[i < i ], entonces i < i
iI iI

Corolario. 12.3.13 < 2 .

12.4

Cardinales de algunos conjuntos

Denici on. 12.4.1 Sea A una clase y Ord. La clase de las sucesiones de elementos de A de longitud menor que es A Notas. 12.4.2 1. A

= {f : ( < )[f : A]}

<

2. Si A es un conjunto, entonces A Proposici on. 12.4.3 = .

es un conjunto.

Denici on. 12.4.4 Sea A una clase y b un cardinal. La clase de los subconjuntos de A de cardinal menor o igual que b es P<b (A) = {x : x A |x| < b} Notas. 12.4.5 P< (A) es la clase de los subconjuntos nitos de A. Proposici on. 12.4.6 |P< ( )| = . Proposici on. 12.4.7 1. |{f : f es aplicaci on |dom(f )| 0 }| = 2. |{f : f es aplicaci on |dom(f )| 0 }| = Teorema. 12.4.8 |R| = 20 . Corolario. 12.4.9 1. n (|Rn | = 20 ), 2. |C| = 20 . 3. |{f : f : R}| = 20 .

4. a R numerable

|R a| = 20 .

5. |{r R : r irracional }| = 20 , 6. |{r R : r transcendente }| = 0 . 7. |{f : f : R R}| = 22

0

> 20 .

Nota. 12.4.10 La Hip otesis del Continuo (CH) es a R (0 < |a| < |R|)

Cap tulo 13 Elementos de Teor a combinatoria de conjuntos

13.1 Conalidad

Denici on. 13.1.1 Diremos que x 1. Est a acotado en si ( < )( x)[ < ]. 2. Es conal en si ( < )( x)[ ]. Denici on. 13.1.2 1. Diremos que f : es conal si rang(f ) es conal en . 2. La conalidad de es cf() = inf{ : (f )[f : conal]}. Ejemplos. 13.1.3 1. La funci on identidad en es conal. 2. cf() . 3. cf(0) = 0. 4. cf( + 1) = 1. 61

Proposici on. 13.1.4 1. Si es l mite, entonces cf() es l mite. 2. cf( ) = . 3. cf( + ) = . Proposici on. 13.1.5 1. Si f : es conal y g : es conal y no decreciente, entonces g f : es conal. 2. Existe f : cf() creciente y conal. 3. Si es l mite y f : es no decreciente y conal, entonces cf() = cf( ). 4. cf(cf()) = cf(). 5. Si es l mite, entonces cf( ) = cf().

13.2

Cardinales regulares

Denici on. 13.2.1 1. es regular si es l mite y cf() = . 2. es singular si no es regular. Lema. 13.2.2 Si es l mite, entonces cf() es un cardinal regular. Lema. 13.2.3 (Hausdorff 1914) Si es un alef, entonces las siguientes condiciones son equivalentes: 1. es regular. 2. no es uni on de menos de conjuntos de cardinal menor que . Corolario. 13.2.4 (AE) (Hausdorff 1908) +1 es regular.

Cap tulo 14 Exponenciaci on cardinal

14.1 Aritm etica innita

Proposici on. 14.1.1 (AE)

1.
iI

i =
iI

i
P
iI

. .

2.
iI

i = (

i )

3. Asociativa: Si {xj : j J } es una partici on de I , entonces i =

iI j J

ixj

Lema. 14.1.2 (AE) Sea un cardinal innito. Son equivalentes: 1. es singular. 2. ( < )( i : i ) (i < )[i < ] =
i<

i .

Lema. 14.1.3 (AE) Sea un cardinal innito. Si i : i < es una sucesi on no decreciente de cardinales 1, entonces i = (sup{i : i < })
i<

63

Lema. 14.1.4 (AE) Si es un cardinal innito y 0 < < , entonces < || , si cf() > cf ( ) = , si cf() < Denici on. 14.1.5 La funci on gimel, , es la funci on sobre los alefs denida por cf () () = k . Teorema. 14.1.6 (AE) (Computaci on inductiva de ) 2 , si si < ( < )[ ] , = , si < ( < )[ < ] < cf( ) ( ), si < ( < )[ < ] cf( ) Corolario. 14.1.7 (AE) (F ormula recursiva de Hausdor (Hausdorff 1904)) +1 = +1

14.2

Las funciones continuo y gimel

nig) Si es un cardinal innito, entonces < (k ) Lema. 14.2.1 (AE) (Ko Proposici on. 14.2.2 (AE) Si es un cardinal innito, entonces < cf(2 ). Corolario. 14.2.3 (AE) Si y son cardinales innitos, entonces < cf( ). Denici on. 14.2.4 (AE)

= sup{ : < }.

Lema. 14.2.5 (AE) Si es un cardinal innito, entonces (2 )cf() = 2 . Denici on. 14.2.6 (AE) 1. La funci on 2 se llama la funci on continuo. 2. La funci on continuo es eventualmente constante en ( < )[2

= 2 ].

Teorema. 14.2.7 (AE)(BukovskyHechler 1973) Si un cardinal singular y la funci on continuo es eventualmente constante en , entonces existe un < tal que 2 = 2 . Teorema. 14.2.8 (AE) Si es un cardinal innito, entonces: (), si es regular 2 , si es singular y la funci on continuo es ev. cte. en 2 = (2 ), si es singular y la funci on continuo no es ev. cte. en

14.3

Exponenciaci on cardinal con la hip otesis generalizada del continuo

Notas. 14.3.1 1. Hip otesis del continuo (HC): 20 = 1 . 2. Hip otesis generalizada del continuo (HGC): ()[2 = +1 ]. Teorema. 14.3.2 (AE + HGC) si < cf( ) , +1 si cf( ) < = +1 si

Cap tulo 15 Equivalencias del axioma de elecci on

15.1 Primeros resultados

Teorema. 15.1.1 (ZF ) (Russell 1906, Bernays 1941, Zermelo 1904)) Son equivalentes: 1. El axioma de elecci on. 2. Para toda familia xi : i y (i y )[xi =
iy

xi =

3. Si (z, y x)[z = y z y = ], entonces (v )(u)(w)[u x u = v u = {w}) 4. Para toda relaci on r existe una aplicaci on f tal que: dom(f ) = dom(r) (x dom(f ))[ x, f (x) r] Teorema 15.1.2 del buen orden (ZF ) (Zermelo 1904). Son equivalentes: 1. El axioma de elecci on. 2. Todo conjunto puede ser bien ordenado. 66

Teorema. 15.1.3 (ZF ) (Tarski 1924) Son equivalentes: 1. Todo conjunto puede ser bien ordenado. 2. (x)[x nito (r)[ x, r buen orden x, r1 buen orden]]. Teorema 15.1.4 (ZF) (Rubin 1960). Son equivalentes: 1. El axioma de elecci on 2. para todo ordinal , P() bien ordenable.

15.2

Principios maximales

Teorema. 15.2.1 (ZF ) (HausdorffZorn). Son equivalentes: 1. El axioma de elecci on. 2. Lema de Zorn. Si x, < es un conjunto parcialmente ordenado tal que: (y x)[ y, < totalmente ordenado y tiene cota superior], entonces x tiene un elemento maximal. Denici on. 15.2.2 El conjunto x tiene car acter nito si (y )[y x (z y )[z nito z x]] Teorema 15.2.3 (bf ZF ) (Takeuti). Son equivalentes: 1. El axioma de elecci on. 2. (x)[x tiene car acter nito (y x)[y maximal]].

15.3

Cardinales

Teorema 15.3.1 (ZF ) (Hartogs 1915). Son equivalentes: 1. El axioma de elecci on 2. (x)(y )[x y y x y x].

3. (a, b)[a b b b]. Lema. 15.3.2 Sean a Cn y b In. aba+b = abba

Teorema 15.3.3 (ZF ) (Tarski 1924). Son equivalentes: 1. El axioma de elecci on 2. Para cualquier cardinal innito a, a2 = a.

Bibliograf a

69

Bibliograf a
[1] Devlin, K.J.: Fundamentals of Contemporary Set Theory. SpringerVerlag (1979). [2] Enderton, H.B.: Elements of Set Theory. Academic Press (1977). [3] Fejer, P.A.; Simovici, D.A.: Mathematical Foundations of Computer Science. Vol I: Sets, Relations and Induction. Springer Verlag (1990). [4] GrattanGuinnes, I.: (ed.) Del c alculo a la teor a de conjuntos, 16301910: Una introducci on hist orica. Alianza Ed. (1984). [5] Halmos, P.R.: Teor a intuitiva de los conjuntos. CECSA (1973). [6] Hrbacek, K.; Jech, T.: Introduction to Set Theory. Marcel Dekker (1984). [7] Jech, T.: Set Theory. Academic Press (1978). [8] Levy, A.: Basic Set Theory. SpringerVerlag (1979). rezJime nez, M. de J.: Teor [9] Pe a de clases y conjuntos (Una introducci on del cuerpo de los n umeros reales). EDUNSA (1988). [10] Pla i Carrera, J.: Llions de Lgica Matemtica. Ed. PPU (1991). [11] Roitman, J.: Introduction to Modern Set Theory. John Wiley (1990). [12] Rubin, H.; Rubin, J.E.: Equivalents of the Axiom of Choice. NorthHolland (1985). [13] Ruiz, J.: Teor a de conjuntos. Apuntes manuscritos (1985). [14] Sigler, L.E.: Exercises in Set Theory. Van Nostrand (1972). [15] Shoenfield, J.R.: Axioms of Set Theory. En: Handbook of Mathematical Logic (J. Barwise, ed.), pp. 321344. NorthHolland (1977).

70

[16] Suppes, P.: Axiomatic Set Theory. Van Nostrand (1960). [17] Takeuti, G.; Zaring, W.M.: Introduction to Axiomatic Set Theory. Springer Verlag (1971). [18] Vaught, R.L.: Set Theory: An Introduction. Birkh auser (1985).