Teor de conjuntos a

Jos A. Alonso Jimnez e e

Sevilla, Octubre de 1997

Dpto. de Ciencias de la Computacin e Inteligencia Articial o

Universidad de Sevilla

Contenido
1 Conjuntos y clases 1.1 1.2 1.3 El lenguaje de la Teor de Conjuntos. Clases . . . . . . . . . . . . . . a Axiomas del vac extensionalidad y separacin . . . . . . . . . . . . . o, o Los axiomas del par, de la unin y de las partes . . . . . . . . . . . . . o 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 rdenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o

4 La clase de los Ordinales 4.1 4.2 4.3 4.4 4.5 Conjuntos transitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ordinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ordenacin de los ordinales . . . . . . . . . . . . . . . . . . . . . . . . o Teoremas de induccin sobre ordinales . . . . . . . . . . . . . . . . . . o Clases bien ordenadas y ordinales . . . . . . . . . . . . . . . . . . . . .

5 Ordinales nitos (n meros naturales) u 5.1 Nmeros naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u

ii

5.2 5.3

El axioma del innito y propiedades de N . . . . . . . . . . . . . . . . . Teoremas de induccin sobre o . . . . . . . . . . . . . . . . . . . . . .

27 27 29

6 Teorema de recursin o 6.1 El teorema de recursin o . . . . . . . . . . . . . . . . . . . . . . . . . .

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

7 Aritmtica Ordinal e 7.1 7.2 7.3 7.4 Funciones normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Propiedades de la suma y el producto. . . . . . . . . . . . . . . . . . . Propiedades de la exponenciacin . . . . . . . . . . . . . . . . . . . . . o

8 El axioma de eleccin y el teorema del buen orden o 8.1 8.2 El axioma de eleccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 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 Induccin y recursin sobre relaciones bien fundamentadas (*) . . . . . o o 11 Cardinales 11.1 Nmeros cardinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 11.2 El teorema de Schrder-Bernstein-Cantor . . . . . . . . . . . . . . . . . 11.3 Ordenacin de los cardinales bien ordenables . . . . . . . . . . . . . . . o 12 Aritmtica Cardinal e 12.1 Suma, producto y exponenciacin cardinal . . . . . . . . . . . . . . . . o

42 43 45 47 47 48 50 53 53

12.2 Aritmtica cardinal en In . . . . . . . . . . . . . . . . . . . . . . . . . e 12.3 Aritmtica cardinal Innita . . . . . . . . . . . . . . . . . . . . . . . . e 12.4 Cardinales de algunos conjuntos . . . . . . . . . . . . . . . . . . . . . . 13 Elementos de Teor combinatoria de conjuntos a 13.1 Conalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13.2 Cardinales regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Exponenciacin cardinal o 14.1 Aritmtica innita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 14.2 Las funciones continuo y gimel . . . . . . . . . . . . . . . . . . . . . . . 14.3 Exponenciacin cardinal con la hiptesis generalizada del continuo . . . o o 15 Equivalencias del axioma de eleccin o 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 de Conjuntos. Clases a

Nota. 1.1.1 Intuitivamente, un conjunto es una coleccin de objetos que verican una o propiedad. El objetivo de esta seccin es precisar el concepto de propiedad. o Denicin. 1.1.2 El lenguaje de la teor de conjuntos est formado por un cono a a junto de smbolos, que son comunes a todos los lenguajes de primer orden y se llaman s mbolos lgicos: o 1. Variables individuales: x, y, z, . . . con o sin sub ndices, 2. Conectivas: , , , , , 3. Cuanticadores: (universal), (existencial), 4. Predicado de igualdad: =, junto con un smbolo no lgico, el predicado de pertenencia: . o Denicin. 1.1.3 Las frmulas de la teor de conjuntos se denen recursivamente o o a por: 1. Si x, y son variables, entonces x = y, x y son frmulas. o 2. , , y son frmulas o 3. Si x es una variable y una frmula, entonces x y x son frmulas. o o Notacin. 1.1.4 o 2

1. Usaremos las letras , , como metavariables sobre frmulas. o 2. Escribiremos x = y, x y como abreviaturas de (x = y) y (x y), respecti/ vamente. Denicin. 1.1.5 La variable x ocurre libre en si se verica una de las siguientes o condiciones: 1. es x = y, y = x, x y y x. o 2. es y x ocurre libre en . 3. es , y x ocurre libre en en . o o 4. es y y donde y no es x y x ocurre libre en . o Notacin. 1.1.6 Mediante (x1 , . . . , xn ) representaremos una frmula en la que las o o variables x1 , . . . , xn ocurren libres. En el mismo contexto en que hayamos escrito (x1 , . . . , xn ), escribiremos (y1 , . . . , yn ) para designar la frmula que resulta de sustio tuir en la frmula (x1 , . . . , xn ) las variables x1 , . . . , xn por y1 , . . . , yn , respectivamente. o Nota. 1.1.7 El axiomaesquema de comprehensin (Frege 1893) es el siguiente: o Para cada frmula (x) en la que y no ocurre libre, o (y)(x)[x y (x)] es un axioma. Este axioma es un intento de formalizacin del concepto intuitivo de o conjunto de 1.1.1. Teorema. 1.1.8 (Russell 1903) (y)(x)[x y x x] / Corolario. 1.1.9 El axioma de comprehensin (1.1.7) no es vlido. o a Notacin. 1.1.10 Para cada frmula (x, y1 , . . . , yn ) se introduce el s o o mbolo de clase {x : (x, y1 , . . . , yn )} que se lee la clase de los x tales que (x, y1 , . . . , yn ). Usaremos letras latinas maysculas para representar clases. Sean A y B las clases {x : (x)} y {x : (x)}, u respectivamente.

 x A representar (x) (x A representar (x)). a / a A = B representar x[(x) (x)] (A = B representar A = B). a a A B representar x[(x) (x)] (y A B representar A = B A B) a a 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)]. LemaDenicin. 1.1.11 La clase de Russell, denida por R = {x : x x} es una o / clase propia Denicin. 1.1.12 La clase universal es V = {x : x = x}. o

1.2

Axiomas del vac extensionalidad y separacin o, o

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

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

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] Notacin. 1.2.3 Escribiremos (!x)(x) (lase: existe un unico x tal que (x)), en o e lugar de (x)[(x)] (x)(y)[(x) (y) x = y]. Lema. 1.2.4 (!y)(x)[x y]. / Denicin. 1.2.5 El conjunto vac se dene por: o o = y (x)[x y]. /

Axioma 1.2.6 esquema de separacin (Zermelo 1908): Sea (x) una frmula o o 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 separacin se permite que la variable y no ocurre libre o en (x), entonces (x)[x = ]. Teorema. 1.2.8 El axioma del conjunto vac es consecuencia del de separacin. o o Lema. 1.2.9 Sea (x) una frmula en la que y no est libre. Entonces, o e (z)(!y)(x)[x y x z (x)]. Notacin. 1.2.10 Escribiremos {x z : (x)} en lugar de {x : x z (x)} o 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. LemaDenicin. 1.2.13 Sean x, y, z conjuntos. o 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 interseccin de x e y. o LemaDenicin. 1.2.14 La interseccin de x es o o 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.

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

1.3

Los axiomas del par, de la unin y de las partes o

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] Denicin. 1.3.2 o 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 mximo dos elementos. a Axioma 1.3.4 de la unin: Para cada conjunto x la clase o {z : (u)[z u u x]} es un conjunto; i.e. (x)(y)(z)[z y (u)[z u u x]] Denicin. 1.3.5 o

1. La unin de x es o

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

2. La unin de x e y es x y = o Proposicin. 1.3.6 o 1. 2. = {x} = x

3. x y = {z : z x z y} Denicin. 1.3.7 {a, b, c} = {a, b} {c}. o Notas. 1.3.8 Anlogamente a 1.4.8, pueden denirse {a, b, c, d}, {a, b, c, d, e}, ... Con a los axiomas anteriores puede demostrarse la existencia de los conjuntos , {}, {, {}}, ... que tienen 0, 1, 2, ... elementos. Denicin. 1.3.9 o 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] Denicin. 1.3.11 El conjunto partes de x es P(x) = {z : z x}. o

Cap tulo 2 Relaciones y aplicaciones. El axioma de reemplazamiento

2.1 Par ordenado y producto cartesiano

Denicin. 2.1.1 (Kuratowski 1921) El par ordenado de x e y es o x, y = {{x}, {x, y}} Proposicin. 2.1.2 o 1. Si {x, y} = {x, z}, entonces y = z. 2. Si x, y = z, u , entonces x = z y = u. Denicin. 2.1.3 Diremos que x es un par ordenado (y)(z)[x = y, z ]. o Denicin. 2.1.4 Sea x un conjunto. o 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]]} Proposicin. 2.1.5 o 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 Denicin 2.1.1 puede extenderse como sigue: x = x, o x, y , z , x, y, z, w = x, y, z , w , ... Notacin. 2.1.7 Escribiremos { x, y : (x, y)} en lugar de o {z : (x)(y)[z = x, y (x, y)]} Denicin. 2.1.8 El producto cartesiano de x e y es: o x y = { u, v : u x v y} Proposicin. 2.1.9 Si x e y son conjuntos, entonces x y es un conjunto. o Denicin. 2.1.10 x2 = x x. o Nota. 2.1.11 Anlogamente se denen a 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

Denicin. 2.2.1 Un conjunto r es una relacin si (y)[y r y es un par ordenado]. o o Notacin. 2.2.2 Si r es una relacin, escribiremos x r y en lugar de x, y r. o o Denicin. 2.2.3 o 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.

Denicin. 2.2.5 Diremos que r es una relacin en x si r es una relacin y campo(r) o o o x. Ejemplos. 2.2.6 1. La identidad en x, Ix = { y, y : y x}, es una relacin en x. o 2. La pertenecia en x, x = { y, z : y x z x y z} es una relacin en x. o Denicin. 2.2.7 o 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 composicin de r y s es s r = { x, z : (y)[ x, y r y, z s]} o 5. La restriccin de r a x es r x = { y, z : y x y, z r} o 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 denicin de relacin binaria se puede generalizar. Por ejemplo: o o r es una relacin ternaria r V 3 . o Una clase R es una relacin si R V 2 . o Denicin. 2.2.10 f es una aplicacin (o funcin) si o o o f es una relacin (x)(y)(z)[ x, y f x, z f y = z] o Denicin. 2.2.11 Sean f una aplicacin y x dom(f ). El unico y tal que x, y f o o se llama valor de f en x y se representa por f (x) fx . o Denicin. 2.2.12 f es una aplicacin de x en y si o o f es una aplicacin dom(f ) = x rang(f ) y. o Notacin. 2.2.13 o

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

Denicin. 2.2.15 Sea f : x y. Diremos que f es: o 1. Suprayectiva rang(f ) = y. 2. Inyectiva (z, u x)[f (z) = f (u) z = u]. 3. Biyectiva f suprayectiva e inyectiva. Denicin. 2.2.16 El conjunto de aplicaciones de x en y es o xy = {f : f es una aplicacin de x en y} o Proposicin. 2.2.17 Si x, y son conjuntos, entonces xy es un conjunto. o Proposicin. 2.2.18 Si f : x y y g : y z, entonces g f : x z. o 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 aplicacin, entonces f [z] = {f (a) : a z} y f 1 [z] = {a : f (a) z}. o Denicin. 2.2.20 Sea I un conjunto. Una familia de conjuntos con o ndices en I es un aplicacin a de dominio I. o Notacin. 2.2.21 Si a una familia de conjuntos con o ndices en I, escribiremos ai en lugar de a(i), y (ai )iI ai : i I en lugar de a. o

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

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

iI

es un conjunto si y slo si I = . o 3. El producto cartesiano de (ai )iI , denida por ai = {x : (x es una aplicacin ) dom(x) = I (i I)[x(i) ai ]} o
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 funcin y u es un conjunto, entonces la clase o F [u] = {F (y) : y u} es un conjunto. Notas. 2.3.2

1. La condicin de ser funcin es necesaria. o o 2. Sin usar clases, el axioma de reemplazamiento puede formularse como sigue: Si (x, y) es una frmula y z es una variable que no ocurre libre en (x, y), entonces o (x)(y)(z)[(x, y)(x, y ) y = y ] (u)(z)(y)[y z (x u)(x, y)] es un axioma de reemplazamiento. Proposicin. 2.3.3 o 1. El axioma de separacin es consecuencia del axioma de reemplazamiento. o 2. El axioma del par es consecuencia del axioma de reemplazamiento y del axioma de las partes.

2.4

Relaciones de equivalencia (*)

Denicin. 2.4.1 o 1. r es reexivo sobre x si (a x)[ a, a r]. 2. r es simtrico (a)(b)[ a, b r b, a r]. e 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, simtrica y transitiva. e Nota. 2.4.2 Si r es una relacin en x simtrica y transitiva, entonces no se sigue o e necesariamente que r sea una relacin de equivalencia en x. o Nota. 2.4.3 Las demostraciones de los siguientes resultados se proponen como ejercicios. Denicin. 2.4.4 Sea r una relacin de equivalencia en x y a x. La clase de o o equivalencia de a mdulo r es o [a]r = {b : b x a, b r} Proposicin. 2.4.5 Sea r una relacin de equivalencia en x y a, b x. o o 1. [a]r es un conjunto.

2. a, b r [a]r = [b]r . 3. a, b r [a]r [b]r = . / Denicin. 2.4.6 Sea r una relacin de equivalencia en x. El conjunto cociente o o de x por r es x/r = {[a]r : a x} Proposicin. 2.4.7 Si r una relacin de equivalencia en x, entonces x/r es un cono o junto. Denicin. 2.4.8 El conjunto p es una particin de x si o o 1. (a p)[a = ]. 2. p=x

3. (a, b p)[a = b a b = ]. Proposicin. 2.4.9 Si r una relacin de equivalencia en x, entonces x/r es una o o particin de x. o Denicin. 2.4.10 Sea p una particin de x. La relacin denida por p es o o o rp = { a, b : (y p)[a y b y]} Proposicin. 2.4.11 Sea p una particin de x. o o 1. rp es una relacin de equivalencia en x. o 2. x/rp = p. Denicin. 2.4.12 Sea p una particin de x. Se dice que y es un conjunto de o o 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 particin p de x, existe un conjunto de representantes de p. o

Cap tulo 3 Relaciones de orden

3.1 Ordenes parciales. Ordenes totales

Denicin. 3.1.1 Sean A una clase y R una relacin en A. Diremos que R es: o o 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. Notacin. 3.1.2 Escribiremos A, R es una clase parcialmente ordenada o A, R o es una CPO en lugar de A es una clase y R es un orden parcial en A. De manera anloga, escribiremos A, R es una clase totalmente ordenada o A, R es una a CTO en lugar de A es una clase y R es un orden total en A. Adems, suele usarse el s a 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.

Denicin. 3.1.3 Sean A, < una CPO, B A y b A. Diremos que b es o 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 recproco no es vlido. a 2. B no tiene ms de un mayor elemento. a Denicin. 3.1.5 Sean A, < una CPO, B A y a A. Diremos que a es: o 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. Denicin. 3.1.7 Sean A, < una CPO y a, b A. o 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]. Denicin. 3.1.8 Sean A, < una CPO y x A. La seccin inicial de A, < o o denida por x es Ax = {y A : y < x}. Denicin. 3.1.9 Sean A, < una CPO y B A. o 1. B es una seccin inicial de A si (x A)[B = Ax ] o

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 seccin inicial de A, entonces B es un segmento inicial de A. o 2. El recproco no es vlido. a Denicin. 3.1.11 Sean A, R , B, S CPO y F : A B. Diremos que F es: o 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 inmersin de A, R en B, S (F : A B) si F es inyectiva y creciente. o 4. Un isomorsmo de A, R en B, S (F : A B) si F es biyectiva y creciente. = Proposicin. 3.1.12 Sean A, < una CTO y B A. o 1. b es un elemento maximal de B si y slo si b es el mayor elemento de B. o 2. b es un elemento minimal de B si y slo si b es el menor elemento de B. o Proposicin. 3.1.13 Sean A, < una CTO y x, y A. Si x = y, entonces Ax = Ay . o Proposicin. 3.1.14 Sea A, < una CTO. Si B y C son segmentos iniciales de A, o entonces B C C B. o 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 C es un segmento inicial de B. o Proposicin. 3.1.16 Sean A, R , B, S CTO y F : A B. Son equivalentes: o 1. F es un homomorsmo. 2. F es creciente. 3. F es una inmersin. o Nota. 3.1.17 Sean A, R , B, S dos CPO isomorfas. Entonces A, R es CTO si y slo si B, S es CTO. o

3.2

Buenos rdenes o

Denicin. 3.2.1 Sea A, R una CPO. Diremos que R es: o 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 bien ordenado. a 3. Z con el orden usual no est bien ordenado. a 4. La relacin R denida en Z por o 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 proposicin anterior, el principio del menor o elemento para una frmula (x) es o (x A(x)) (x A)[(x) (y A)[(y) x y]] Teorema 3.2.5 (Principio de induccin). Sea A, < una CBO o 1. Si B A es tal que (x A)[Ax B x B] entonces A = B.

2. Si (x) es una frmula y o (x A)[(y A)[y < x (y)] (x)] entonces (x A)(x). Denicin. 3.2.6 Sea A, < una CPO y B A. B es inductiva en A si o (x A)[Ax B x B] Nota. 3.2.7 El principio de induccin arma que Si A, < es una CBO y B A es o inductiva en A, entonces B = A. Proposicin. 3.2.8 Sea A, < una CTO. Si A es la unica clase inductiva en A y < o es adecuada en A, entonces A, < es un CBO. Proposicin. 3.2.9 Sea A, < una CBO. Si B es un segmento inicial de A, entonces o B = A o B es una seccin inicial de A. o Notacin. 3.2.10 Sea A, R una CBO y B A. Normalmente escribiremos B, R o 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 estrictamente acotada (es decir, (a A)(b B)[b < a]), a entonces A, < y B, < no son isomorfas. 2. No existe ningn x A tal que A, < Ax , < . u = 3. Si F : A A, entonces F = IA . = 4. Si A, < B, < , entonces slo hay un isomorsmo entre ellas. o = 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 comparacin de buenos rdenes. Sean A, < y B, < o o CBO. Se verica una, y slo una, de las siguientes condiciones : o

1. A, < B, < . = 2. (!y B)[ A, < By , < ]. = 3. (!x A)[ Ax , < B, < ]. = Denicin. 3.2.15 Diremos que una clase A es bien ordenable si existe una relacin o o 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

Denicin. 4.1.1 Un conjunto x es transitivo si (y, z)[y z x y x]. o Nota. 4.1.2 La denicin se puede extender a clases. o Proposicin. 4.1.3 Las siguientes condiciones son equivalentes: o 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: {{}}, {, {{}}}. Proposicin. 4.1.5 Sea x un conjunto cuyos elementos son conjuntos transitivos. o 1. x es transitivo. x es transitivo.

2. Si x = , entonces

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

4.2

Ordinales

Denicin. 4.2.1 o 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. Notacin. 4.2.3 Usaremos , , , . . . como variables sobre ordinales, y escribiremos o ()() en lugar de (x)[x Ord ()] ()() en lugar de (x)[x Ord ()] Proposicin. 4.2.4 o 1. Ord. 2. ()[ ]. / 3. Todo elemento de un ordinal es un ordinal. 4. Si Ord, entonces + Ord. Denicin. 4.2.5 o 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. Proposicin. 4.2.7 o 1. Si + = + , entonces = . 2. Si x transitivo, entonces x = x . o 3. Si x es un subconjunto transitivo de un ordinal, entonces x es un ordinal.

4.3

Ordenacin de los ordinales o

Denicin. 4.3.1 < . o 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.

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

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

4.4

Teoremas de induccin sobre ordinales o

Nota. 4.4.1 En esta seccin se muestran varias formas del teorema de induccin para o o 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 frmula tal que o ()[()[ < ()] ()], 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 frmula tal que o 1. (0) 2. ()[() ( + 1)] 3. ()[ lmite (()[ < ()] ())] entonces ()().

4.5

Clases bien ordenadas y ordinales

Proposicin. 4.5.1 Si , entonces = . o = Teorema. 4.5.2 (Mirimanoff 1917) Para cada conjunto bien ordenado a, < , existe un unico ordinal tal que a, < , . = Denicin. 4.5.3 El tipo ordinal de un conjunto bien ordenado a, < , t.o.( a, < ), o es el unico ordinal tal que a, < , . = Proposicin. 4.5.4 Sea a, < un conjunto bien ordenado. o 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 meros u naturales)

5.1 N meros naturales u

Denicin. 5.1.1 Sea un ordinal. Diremos que es: o 1. sucesor si existe un tal que = + 1. 2. un ordinal nito (o un n mero natural) si u ( )[ = 0 ( es sucesor)] 3. es l mite si = 0 y no es sucesor. Nota. 5.1.2 Notaremos N = { : es un nmero natural}. Los ordinales 0, 1, 2, . . . u N, y usaremos m, n, . . . como variables para los nmeros. Con los axiomas estudiados u hasta ahora no puede demostrarse que la clase N sea un conjunto. Proposicin. 5.1.3 Sea = 0. Son equivalentes: o 1. es lmite. 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]. Proposicin. 5.2.3 o 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 lmite. Notacin. 5.2.4 El conjunto N como ordinal suele representarse por . o

5.3

Teoremas de induccin sobre o

Teorema 5.3.1 (Postulados de Peano). 1. 0 . 2. (n )[n+ ]. 3. 0 no es el siguiente de ningn natural. u 4. (m, n )[m+ = n+ m = n]. 5. (Principio de induccin sobre ) o 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 frmula tal que o (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 frmula tal que o 1. (0) 2. (n)[(n) (n + 1)] entonces (n)(n).

Cap tulo 6 Teorema de recursin o

6.1 El teorema de recursin o

Teorema 6.1.1 de recursin sobre clases bien ordenadas. o Sea A, < una clase bien ordenada. Para cada funcin G : V V , existe una unica o funcin F : A V tal que para todo x A, o F (x) = G(F Ax ).

Teorema 6.1.2 (denicin por recursin). o o Sea A, < una clase bien ordenada. Para cada frmula (x) existe una unica clase o B A tal que para todo x A, x B (Ax B). Teorema 6.1.3 de recursin sobre Ord. o Para cada G : V V , existe una unica funcin F : Ord V tal que para todo o F () = G(F )

Teorema 6.1.4 de recursin sobre . o Sea a un conjunto y G : V V . Existe una unica f : tal que f (0) = a (n )[f (n + 1) = G(f (n))] Corolario. 6.1.5 {0, 1, . . . , , + , ++ , . . .} es un conjunto. Adems, es un ordinal a lmite mayor que .

29

Cap tulo 7 Aritmtica Ordinal e

7.1 Funciones normales

Denicin. 7.1.1 Sea F : Ord Ord. Diremos que F es o 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 funcin identidad es continua y normal. o 2. Las funciones constantes son continuas no normales. 3. La funcin F () = + no es continua. o Lema. 7.1.3 Si F es continua, entonces F es normal ()[F () < F ( + 1)]

Proposicin. 7.1.4 Sea F una funcin normal. o o 1. Si es lmite, entonces F () es lmite. 2. Si F (0) , entonces existe un mximo ordinal tal que F () . a 30

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

7.2

Deniciones

Teorema. 7.2.1 (Suma de ordinales). 1. Para cada Ord existe una unica aplicacin : Ord Ord vericando: o (a) (0) = . (b) Ord ( ( + ) = ( ())+ ). (c) Ord ( limite () = sup { () : < }). 2. Existe una unica aplicacin + : Ord Ord Ord vericando: o (a) Ord (+ ( , 0 ) = ). (b) , Ord (+ ( , + ) = (+ ( , ))+ ). (c) , Ord ( limite + ( , ) = sup {+ ( , ) : < }). Notacin. 7.2.2 + ( , ) = + . o Teorema. 7.2.3 (Producto de ordinales). 1. Para cada Ord existe una unica aplicacin : Ord Ord vericando: o (a) (0) = 0. (b) Ord ( ( + ) = () + ). (c) Ord ( limite () = sup { () : < }). 2. Existe una unica aplicacin : Ord Ord Ord vericando: o (a) Ord ( ( , 0 ) = 0). (b) , Ord ( ( , + ) = ( , ) + ).

(c) , Ord ( limite ( , ) = sup { ( , ) : < }). Notacin. 7.2.4 ( , ) = . o Teorema. 7.2.5 (Exponenciacin ordinal). o 1. Denimos la aplicacin E0 : Ord Ord as E0 (0) = 1 y E0 () = 0, para cada o : Ord {0}. 2. Para cada Ord {0} existe una unica aplicacin E : Ord Ord veri o cando: (a) E (0) = 1. (b) Ord (E ( + ) = E () ). (c) Ord ( limite E () = sup {E () : < }). 3. Existe una unica aplicacin exp : Ord Ord Ord vericando: o (a) Ord (exp ( , 0 ) = 1). (b) , Ord (exp ( , + ) = exp ( , ) ). (c) , Ord ( = 0 limite exp ( , ) = sup {exp ( , ) : < }). (d) Ord ( = 0 exp ( 0, ) = 0). Notacin. 7.2.6 exp ( , ) = . o

7.3

Propiedades de la suma y el producto.

Proposicin. 7.3.1 (Propiedades de la suma). o 1. Para cada Ord la aplicacin : Ord Ord denida por () = + o es normal. 2. (0 + = ). 3. Si es lmite, entonces + es l mite. 4. Monotona: (a) < + < + (b) + < +

5. Ley de simplicacin para <. o (a) + < + < 6. Ley de simplicacin para =. o (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 unico ordinal tal que + = . Proposicin. 7.3.4 (Propiedades del producto de ordinales). o 1. Para cada Ord {0} la aplicacin : Ord Ord denida por () = o es normal. 2. ( 1 = 1 = 0 = 0). 3. , ( = 0 lmite lmite ). 4. Monotona. (a) < = 0 < . (b) . 5. = 0 1 < < . 6. = 0 1 < < . 7. = 0 . 8. = 0 = 0 = 0. 9. Ley de simplicacin para <. o (a) = 0 < < . (b) = 0 < < . 10. Ley de simplicacin para =. o (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 divisin con resto. Sean , ordinales tales que = 0. o Entonces, existen unos unicos ordinales , tales que = + < . Corolario. 7.3.7 ( lmite ( = 0 = ))

7.4

Propiedades de la exponenciacin o

Proposicin. 7.4.1 o 1. Para cada Ord {0, 1} la aplicacin E : o E () = es normal. 2. (1 = 1 1 = = 2 ). 3. , ( > 1 lmite lmite ). 4. Monotona: (a) < > 1 < 5. > 0 . 6. Ley de simplicacin para <: o (a) > 1 < < 7. Ley de simplicacin para =. o (a) > 1 = = (b) > 1 = = (b) = 0 < < (b) Ord Ord denida por

8. = + . 9. ( ) = . 10. Propiedades del ordinal 0 = sup {, , , . . .}. (a) 0 es un ordinal lmite. (b) 0 = 0 . Teorema 7.4.2 del logaritmo. Sean = 0, > 1. Entonces, existen unos unicos ordinales , , tales que = + 0 < < < Proposicin. 7.4.3 o 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 unicos 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 unicos 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 eleccin y el teorema o del buen orden

8.1 El axioma de eleccin o

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 separacin: {x : x y (x)} es un conjunto. o 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 unin: o x es un conjunto.

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

Notas. 8.1.4 1. El axioma de eleccin no es demostrable ni refutable a partir de ZF . o 2. La teora obtenida aadindole a ZF el axioma de eleccin se representar por n e o a ZFC . 3. Los resultados que utilicen el axioma de eleccin se sealarn mediante AE. o n a

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 eleccin. o 2. Todo conjunto puede ser bien ordenado.

Cap tulo 9 Conjuntos nitos y numerables

9.1 Conjuntos nitos

Denicin. 9.1.1 Se dice que los conjuntos x e y son equipotentes (y se representa o por x y) si existe una aplicacin biyectiva de x en y. o Lema. 9.1.2 La relacin de equipotencia es una relacin de equivalencia en V . o o Denicin. 9.1.3 Un conjunto x es nito si es equipotente a algn nmero natural; o u u e innito, en caso contrario. Nota. 9.1.4 Si x nito, entonces x {y} nito, y por tanto todos los nmeros natuu rales son conjuntos nitos. Proposicin. 9.1.5 o 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 unico nmero natural n tal que u a n. Denicin. 9.1.6 Sea a un conjunto nito. El unico nmero natural n tal que a n o u se llama el cardinal de a y se representa por |a| (y diremos que a tiene n elementos). Proposicin. 9.1.7 o 38

1. Si a es nito y b a, entonces b a. 2. El conjunto es innito. Teorema 9.1.8 de induccin sobre conjuntos nitos. o Sea (x) una frmula. Si se verica o 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 funcin, entonces F [a] es nito y |F [a]| |a| o 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

Denicin. 9.2.1 Un conjunto a es numerable si a . o 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 funcin, entonces F [a] es nito o numerable. o 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 relacin de equivalencia en a, entonces el conjunto cociente a/R y o 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

Denicin. 9.3.1 Un conjunto a es Dedekindinnito (o Dinnito) si existe o un b a numerable; en caso contrario, es Dedekindnito (o Dnito). Proposicin. 9.3.2 Si a es Dinnito, entonces a es innito. o Proposicin. 9.3.3 (AE) Si a es innito, entonces a es Dinnito. o 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]

Proposicin. 9.3.6 Sea a . o 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 = ]] Denicin. 10.1.2 (ZF ) La funcin V : Ord V est denida por: o o a 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.

Denicin. 10.1.4 (ZF ) Sea x W F , denimos rank(x) = inf { : x V ( + o 1)}. Proposicin. 10.1.5 (ZF ) o 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 ). Proposicin. 10.1.6 (ZF ) o 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

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

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

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

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

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

(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 bien fundamentada sobre T C(x). a Teorema. 10.2.6 (ZF ) Son equivalentes: 1. Axioma de regularidad. 2. x ( est bien fundamentada sobre x). a 3. V = W F . Teorema. 10.2.7 Sea (u, v) una frmula. Entonces o xyu(u x v(u, v) v y(u, v))

10.3

Induccin y recursin sobre relaciones bien o o fundamentadas (*)

Denicin. 10.3.1 (ZF P). Sean A una clase y R una relacin sobre A. o o 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)}

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

Teorema 10.3.3 de induccin sobre una relacin bien fundamentada y adecuao o da (ZF P). Sea R una relacin bien fundamentada y adecuada sobre A, y B A. o 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 condicin de ser R adecuada sobre A puede o omitirse. Proposicin. 10.3.5 (ZF) o 1. Teorema de -induccin o (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 funcin biyectiva tal que o x, y A (x y F (x) = F (y)) Entonces A = B y F es la identidad. Teorema 10.3.6 de recursin sobre una relacin bien fundamentada y adeo o cuada (ZF P). Sean R una relacin bien fundamentada y adecuada sobre A y o G : V V V una funcin. Entonces existe una unica F : A V tal que: o 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 unica F : A V tal que: x A (F (x) = G(x, Fx )). Denicin. 10.3.8 (ZF ) Sean R una relacin bien fundamentada y adecuada sobre o o A y x A. Denimos rankR (x) = sup({rankR (y) + 1 : yRx}). Lema. 10.3.9 (ZF ) Si A es transitiva y est bien fundamentada sobre A, entonces a A W F x A (rank (x) = rank(x)) Denicin. 10.3.10 Sea E una relacin sobre A. Diremos que E es extensional o o sobre A si: x, y A (z A (zEx zEy) x = y) Teorema 10.3.11 del colapso (Mostowski). (ZF P) Sea E una relacin bien fundamentada, adecuada y extensional sobre A. Entonces o existen M y F : A M tales que: 1. M es transitiva. 2. F : A, E M, . =

3. F y M son unicas 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 meros cardinales u

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 . Denicin. 11.1.2 o 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

Denicin. 11.1.5 Cn = {a : a es un cardinal}. o Notacin. 11.1.6 Los cardinales se representarn por a, b, c, . . .. o a 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} Denicin. 11.1.10 Los elementos de In = Cn Ord se llaman cardinales bien o ordenables (u ordinales iniciales) Notacin. 11.1.11 Los cardinales bien ordenables se representarn por , , , . . . o a Lema. 11.1.12 |x| = |y| x y.

11.2

El teorema de Schrder-Bernstein-Cantor

Denicin. 11.2.1 o 1. Se dice que el conjunto x es sumergible en y, y se representa por x existe una aplicacin f : x y inyectiva. o 2. x yx y x y. y, si

Lema. 11.2.2 1. x 2. x x yy zx y y z

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

y (z y)[x y]

Teorema 11.2.3 de SchrderBernsteinCantor. o 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. Denicin. 11.2.6 o 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 relacin < es un orden parcial sobre Cn. o 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

Ordenacin de los cardinales bien ordenables o

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. || = . Proposicin. 11.3.4 Sean a, b In. o 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 : }. Proposicin. 11.3.8 Sea In y a . Entonces o 1. t.o.( a, ) = |a| = . 2. t.o.( a, ) = |a| < . a < b como cardinales

Teorema. 11.3.9 (Hartogs, 1915) (x)()[ Denicin. 11.3.10 o 1. El n mero de Hartogs de x es u 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))|. Proposicin. 11.3.12 (a In)[a < a+ ] o Corolario. 11.3.13 (a In)[a+ = inf{b In : a < b}]. Proposicin. 11.3.14 o 1. No existe ningn cardinal mayor que todo cardinal bien ordenable. u 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 unico isomorsmo : Ord In . Escribiremos en lugar de F (). x es un cardinal x} P(P(x x)) x]

Proposicin. 11.3.17 o 1. 0 = 2. ()[ es un ordinal lmite]. Proposicin. 11.3.18 o 1. < < . 2. < a < ()[ < < a = ]. 3. + = +1 . 4. La funcin es normal. o 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 Aritmtica Cardinal e

12.1 Suma, producto y exponenciacin cardinal o

Lema. 12.1.1 Si x x , y y , x y = y x y = , entonces x y x y . Denicin. 12.1.2 (Cantor 1887) La suma de los cardinales a y b se dene por o a + b = c (x)(y)[|x| = a |y| = b x y = |x y| = c] Nota. 12.1.3 La suma de cardinales est bien denida. a Proposicin. 12.1.4 o 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 . Proposicin. 12.1.5 |x y| |x| + |y|. o Proposicin. 12.1.6 Para nneros naturales, su suma como ordinales coincide con o u su suma como cardinales. Proposicin. 12.1.7 o 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 . Denicin. 12.1.9 (Cantor 1887) El producto de los cardinales a y b se dene o por ab = c (x)(y)[|x| = a |y| = b |x y| = c] Nota. 12.1.10 El producto de cardinales est bien denido. a Proposicin. 12.1.11 o 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 . Proposicin. 12.1.12 Para los nmeros naturales, su producto como ordinales coo u incide con su producto como cardinales. Lema. 12.1.13 Si x x y y y , entonces xy x
y

Denicin. 12.1.14 (Cantor 1895) La exponenciacin de los cardinales a y b o o se dene por ab = c (x)(y)[|x| = a |y| = b |xy | = c] Notas. 12.1.15 La exponenciacin de cardinales est bien denida. o a Proposicin. 12.1.16 o 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 . Proposicin. 12.1.17 Para nmeros naturales, su exponenciacin como ordinales o u o coincide con su exponenciacin como cardinales. o Proposicin. 12.1.18 o 1. |P(x)| = 2|x| . 2. a < 2a . 3. a+ 2(2
a2 )

12.2

Aritmtica cardinal en In e

Denicin. 12.2.1 La relacin R denida sobre la clase Ord Ord por: o o o max(, ) < max( , ) max(, ) = max( , ) < o , R , max(, ) = max( , ) = < se llama el orden cannico de Ord Ord. o Lema. 12.2.2 Para todo , la seccin inicial determinada por 0, en Ord o Ord, R es . Proposicin. 12.2.3 R es un buen orden en Ord Ord. o Corolario. 12.2.4 Existe un unico isomorsmo F de Ord Ord, R en Ord, . Proposicin. 12.2.5 F [ ] = . o Corolario. 12.2.6

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

12.3

Aritmtica cardinal Innita e

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

{i} i

Proposicin. 12.3.3 Sea xi : i I tal que: o 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

|xi |

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

|xi |

Proposicin. 12.3.5 Si I es un conjunto bien ordenable, entonces o 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

Proposicin. 12.3.6 o 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|.

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

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

Entonces xi =
iI iI

|xi |

Corolario. 12.3.9 (AE) xi =

iI iI

|xi |

Proposicin. 12.3.10 o 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 Proposicin. 12.3.11 o 1.

iI

i = |I| .

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

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

iI

i .

Teorema 12.3.12 (desigualdad de KonigZermelo). 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

Denicin. 12.4.1 Sea A una clase y Ord. La clase de las sucesiones de o 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 Proposicin. 12.4.3 = . o

es un conjunto.

Denicin. 12.4.4 Sea A una clase y b un cardinal. La clase de los subconjuntos o 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. Proposicin. 12.4.6 |P< ( )| = . o Proposicin. 12.4.7 o 1. |{f : f es aplicacin |dom(f )| 0 }| = o 2. |{f : f es aplicacin |dom(f )| 0 }| = o 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 Hiptesis del Continuo (CH) es o a R (0 < |a| < |R|)

Cap tulo 13 Elementos de Teor combinatoria a de conjuntos

13.1 Conalidad

Denicin. 13.1.1 Diremos que x o 1. Est acotado en si a ( < )( x)[ < ]. 2. Es conal en si ( < )( x)[ ]. Denicin. 13.1.2 o 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 funcin identidad en es conal. o 2. cf() . 3. cf(0) = 0. 4. cf( + 1) = 1. 61

Proposicin. 13.1.4 o 1. Si es lmite, entonces cf() es l mite. 2. cf() = . 3. cf( + ) = . Proposicin. 13.1.5 o 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 lmite 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

Denicin. 13.2.1 o 1. es regular si es lmite y cf() = . 2. es singular si no es regular. Lema. 13.2.2 Si es lmite, 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 unin de menos de conjuntos de cardinal menor que . o Corolario. 13.2.4 (AE) (Hausdorff 1908) +1 es regular.

Cap tulo 14 Exponenciacin cardinal o

14.1 Aritmtica innita e

Proposicin. 14.1.1 (AE) o

1.
iI

i =
iI

i
P
iI

. .

2.
iI

i = (

i )

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

iI jJ

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 sucesin no o 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() < Denicin. 14.1.5 La funcin gimel, , es la funcin sobre los alefs denida por o o o cf() . () = k Teorema. 14.1.6 (AE) (Computacin inductiva de ) o 2 , si , si < ( < )[ ] = si < ( < )[ < ] < cf( ) , ( ), si < ( < )[ < ] cf( ) Corolario. 14.1.7 (AE) (Frmula recursiva de Hausdor (Hausdorff 1904)) o +1 = +1

14.2

Las funciones continuo y gimel

Lema. 14.2.1 (AE) (Konig) Si es un cardinal innito, entonces < (k) Proposicin. 14.2.2 (AE) Si es un cardinal innito, entonces < cf(2 ). o Corolario. 14.2.3 (AE) Si y son cardinales innitos, entonces < cf( ). Denicin. 14.2.4 (AE) o

= sup{ : < }.

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

= 2 ].

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

14.3

Exponenciacin cardinal con la hiptesis geno o eralizada del continuo

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

Cap tulo 15 Equivalencias del axioma de eleccin o

15.1 Primeros resultados

Teorema. 15.1.1 (ZF ) (Russell 1906, Bernays 1941, Zermelo 1904)) Son equivalentes: 1. El axioma de eleccin. o 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 relacin r existe una aplicacin f tal que: o o 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 eleccin. o 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 eleccin o 2. para todo ordinal , P() bien ordenable.

15.2

Principios maximales

Teorema. 15.2.1 (ZF ) (HausdorffZorn). Son equivalentes: 1. El axioma de eleccin. o 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. Denicin. 15.2.2 El conjunto x tiene carcter nito si o a (y)[y x (z y)[z nito z x]] Teorema 15.2.3 (bf ZF ) (Takeuti). Son equivalentes: 1. El axioma de eleccin. o 2. (x)[x tiene carcter nito (y x)[y maximal]]. a

15.3

Cardinales

Teorema 15.3.1 (ZF ) (Hartogs 1915). Son equivalentes: 1. El axioma de eleccin o 2. (x)(y)[x yy 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 eleccin o 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 clculo a la teor de conjuntos, 16301910: a a Una introduccin histrica. Alianza Ed. (1984). o o [5] Halmos, P.R.: Teora 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). [9] PerezJimenez, M. de J.: Teora de clases y conjuntos (Una introduccin del o cuerpo de los nmeros reales). EDUNSA (1988). u [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.: Teora 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. Birkhuser (1985). a