Teora de Conjuntos

Antonia Huertas Sanchez Mara Manzano Arjona mara@usal.es Febrero 2002

ii

ndice general
0.1. Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v

TEORA BSICA DE CONJUNTOS 1

3 3 4 4 6 6 7 7 9 9 10 10 13 13 13 14 14 15 15 16 16 17 18 19 19

1. Introduccin 1.1. Pinceladas histricas . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Teora intuitiva de conjuntos . . . . . . . . . . . . . . . . . . . . 1.2.1. La selva de Cantor . . . . . . . . . . . . . . . . . . . . . . 1.2.2. Problemas en la teora intuitiva de conjuntos: la paradoja de Russell . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.3. Solucin de las paradojas . . . . . . . . . . . . . . . . . . 1.3. El Universo matemtico . . . . . . . . . . . . . . . . . . . . . . . 1.4. Teora axiomtica de conjuntos . . . . . . . . . . . . . . . . . . . 2. lgebra de Conjuntos 2.1. El lenguaje de la Teora de Conjuntos . . . . . . . . . . . . . . . 2.2. Igualdad, inclusin y conjunto vaco . . . . . . . . . . . . . . . . 2.3. Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Relaciones y Funciones 3.1. Clases unitarias, pares y dadas . . . . . . . . . . . . . . . . . 3.2. Conjunto potencia (o conjunto de las partes de un conjunto) 3.3. Gran unin y gran interseccin . . . . . . . . . . . . . . . . . 3.4. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . 3.5. Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . 3.6. Relacin inversa, producto relativo y restriccin . . . . . . . . 3.7. Imagen bajo una relacin y relacin identidad. . . . . . . . . 3.8. Propiedades de ciertas relaciones . . . . . . . . . . . . . . . . 3.9. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . 3.10. Relaciones de Orden . . . . . . . . . . . . . . . . . . . . . . . 3.11. Funciones, composicin . . . . . . . . . . . . . . . . . . . . . 3.12. Funciones de A en B . . . . . . . . . . . . . . . . . . . . . . . iii

. . . . . . . . . . . .

. . . . . . . . . . . .

iv

NDICE GENERAL

II Teora de Conjuntos Axiomtica 21

4. Primeros Axiomas 23 4.1. Axiomas de Extensionalidad y de Separacin . . . . . . . . . . . 23 4.2. Axiomas del Par, de la Unin y de las Partes . . . . . . . . . . . 23 4.3. Axioma de Reemplazamiento . . . . . . . . . . . . . . . . . . . . 24 5. Construccin de los Ordinales 5.1. Buenos rdenes e induccin . . . . . . . . . . . . . . . . . . . . 5.1.1. Induccin en un conjunto bien ordenado . . . . . . . . . 5.1.2. Induccin en el conjunto de los nmeros naturales . . . 5.2. Buenos rdenes y ordinales . . . . . . . . . . . . . . . . . . . . 5.2.1. Comparacin de conjuntos bien ordenados: Isomorsmos 5.2.2. Segmento . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2.3. Ordinal . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3. Observaciones acerca de los ordinales . . . . . . . . . . . . . . . 25 25 26 26 27 27 27 27 28

. . . . . . . .

6. La Jerarqua de Zermelo 31 6.1. Construccin de la Jerarqua . . . . . . . . . . . . . . . . . . . . 31 6.2. Axiomas involucrados en la construccin de la jerarqua . . . . . 32 7. Los Axiomas de Eleccin y Constructibilidad 7.1. Axioma de la eleccin . . . . . . . . . . . . . . . . 7.1.1. Otras formulaciones del axioma de eleccin 7.1.2. Importancia del Axioma de Eleccin . . . . 7.2. Axioma de Constructibilidad . . . . . . . . . . . . 8. Ejercicios 8.1. Igualdad, Inclusin y Conjunto vaco . . . . . . . . 8.2. Operaciones: Algebra de conjuntos . . . . . . . . . 8.3. Clases Unitarias, Pares y Dadas . . . . . . . . . . 8.4. Conjunto Potencia (o Conjunto de las Partes de un 8.5. Gran Unin y Gran Interseccin . . . . . . . . . . 8.6. Producto Cartesiano . . . . . . . . . . . . . . . . . 8.7. Relaciones Binarias . . . . . . . . . . . . . . . . . . 8.8. Relacin Inversa, Producto Relativo y Restriccin . 8.9. Imagen bajo una Relacin y Relacin de Identidad 8.10. Propiedades de ciertas relaciones . . . . . . . . . . 8.11. Relaciones de Equivalencia . . . . . . . . . . . . . . 8.12. Relaciones de Orden . . . . . . . . . . . . . . . . . 8.13. Funciones, Composicin . . . . . . . . . . . . . . . 8.14. Funciones de A en B . . . . . . . . . . . . . . . . . 8.15. Induccin . . . . . . . . . . . . . . . . . . . . . . . 9. Bibliografa 35 35 36 36 36 39 39 39 40 40 40 41 41 42 42 43 43 43 43 44 44 49

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . . . . . . . . . . . . . . . . . . . Conjunto) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

0.1. PREFACIO

0.1.

Prefacio

Las notas que siguen constituyen una gua para un curso bsico de teora de conjuntos. La primera parte, formada por tres captulos, se podran insertar en un curso de introduccin de lgica, entre la lgica proposicional y la de primer orden. Si el curso se piensa dar en Facultades de Letras, se puede complementar con una serie de ejercicios an ms elementales (que estamos elaborando) cuyo objetivo es que el alumno sepa trasegar con conjuntos y relaciones concretas. No se incluyen las demostraciones, que son la parte fundamental del curso, ya que las hacemos en la pizarra. Esto no es un libro, son unos apuntes que esperamos os sean de alguna ayuda. El bloque completo de estas notas constituye un curso de 20 horas para alumnos de primer ciclo. Por tratarse de una asignatura de las denominadas de LIBRE CONFIGURACIN (esto quiere decir que no es de ninguna carrera en particular, que la pueden elegir alumnos de cualquier titulacin) no se puede suponer un conocimiento previo homogneo, de ah proviene su estilo mestizo.

vi

NDICE GENERAL

Parte I

TEORA BSICA DE CONJUNTOS

Captulo 1

Introduccin
1.1. Pinceladas histricas

En el ltimo cuarto del siglo XIX se vivi un episodio apasionante de la historia de las matemticas que las ligara desde entonces a la historia de la lgica. Primero, Georg Boole (1815-1864) en su Mathematical Analysis of Logic trat de presentar la lgica como parte de las matemticas. Poco despus Gottlob Frege (1848-1925) intent mostrar que la aritmtica era parte de la lgica en su Die Grundlagen der Arithmetik. Pero, dando un gran paso tanto en la historia de las matemticas como en la historia de la lgica, G. Cantor se haba adelantado a Frege con una fundamentacin lgica de la aritmtica. Cantor haba demostrado que la totalidad de los nmeros naturales comprendidos en el intervalo de extremos 0 y 1 no es numerable, en el sentido de que su innitud no es la de los nmeros naturales. Como una consecuencia de esa situacin, Cantor cre una nueva disciplina matemtica entre 1874 y 1897: la teora de conjuntos. Su obra fue admirada y condenada simultneamente por sus contemporneos. Desde entonces los debates en el seno de la teora de conjuntos han sido siempre apasionados, sin duda por hallarse estrechamente conectados con importantes cuestiones lgicas. Segn la denicin de conjunto de Cantor, ste es una coleccin en un todo de determinados y distintos objetos de nuestra percepcin o nuestro pensamiento, llamados los elementos del conjunto. Frege fue uno de los admiradores de la nueva teora de Cantor, y dio una denicin de conjunto similar. En 1903 B. Russell demostrara que la teora de conjuntos de Cantor era inconsistente y cuestionara la denicin de conjunto en la teora de Cantor. Pero pronto la teora axiomtica de Zermelo (1908) y renamientos de sta debidos a Fraenkel (1922), Skolem (1923), von Newman (1925) y otros sentaron las bases para la teora de conjuntos actual. Es indiscutible el hecho de que la teora de conjuntos es una parte de las matemticas, es adems, la teora matemtica dnde fundamentar la aritmtica 3

CAPTULO 1. INTRODUCCIN

y el resto de teoras matemticas. Es tambin indiscutible que es una parte de la lgica y en particular una parte de la lgica de predicados. En esta historia cruzada de las matemticas, la lgica y los fundamentos de ambas, la teora de conjuntos permitira por un lado una fundacin logicista de las matemticas; pero por otro lado la teora de conjuntos mirada como parte de las matemticas proporciona el metalenguaje, el contexto o sustrato de las teoras lgicas. Finalmente, puede ser completamente expresada en un lenguaje de primer orden y sus axiomas y teoremas constituyen una teora de primer orden a la que pueden aplicarse los resultados generales que se aplican a cualquier teora de primer orden. En los captulos que siguen se presenta primero la teora intuitiva de conjuntos, basada en la original de Cantor, para seguir con sus problemas de inconsistencia y la solucin axiomtica nal como la teora de conjuntos de ZermeloFraenkel.

1.2.
1.2.1.

Teora intuitiva de conjuntos

La selva de Cantor

La denicin inicial de Cantor es totalmente intuitiva: un conjunto es cualquier coleccin C de objetos determinados y bien distintos x de nuestra percepcin o nuestro pensamiento (que se denominan elementos de C), reunidos en un todo. Igual que en Frege su idea de lo que es un conjunto coincide con la extensin de un predicado (la coleccin de objetos que satisface el predicado). Esta idea sencilla y tan intuitiva resulta ser tambin ingenua porque produce enormes contradicciones de inmediato, como por ejemplo la paradoja de Russell. Para poder mostrarlo es necesario empezar por formalizar esta teora intuitiva que, aparte de los smbolos para los conjuntos y sus elementos (x, C , etc.), tendr los smbolos de pertenencia e igualdad = (de los objetos del lenguaje formal). Que x es un elemento del conjunto C se expresa x pertenece a C o bien x C . Que x no es un elemento de C se expresa x no pertenece a C (x / C ). Tendremos en cuenta que no es necesario denotar siempre con maysculas a los conjuntos y con minsculas a sus elementos, ya que un conjunto puede ser a su vez un elemento de otro conjunto e incluso podemos considerar que en nuestra teora no hay objetos que no sean conjuntos. Cmo se determina una coleccin? Listar los objetos. De acuerdo con la denicin intuitiva de Cantor un conjunto queda denido si es posible describir completamente sus elementos. El procedimiento ms sencillo de descripcin es nombrar cada uno de sus elementos, se llama denicin por extensin; es conocida la notacin de encerrar entre llaves los elementos del conjunto. Ejemplo: A = {a, b, c}. Donde A es el conjunto formado por la coleccin de objetos

1.2. TEORA INTUITIVA DE CONJUNTOS a, b y c.

B = {, , , , }. Donde B es el conjunto formado exactamente por esos cinco crculos. Entonces es cierto que b A y que b / B. El inconveniente para este mtodo de listado o enumeracin de los elementos del conjunto es que stos deben poseer un nmero nito de elementos y, en la prctica, un nmero muy pequeo Qu hacer cuando la coleccin es innita, o cuando es nita pero numerosa? Describir los objetos. Cuando el nmero de elementos del conjunto es innito (como el de los nmero impares) o demasiado numeroso (como el de todas las palabras que pueden formarse con el alfabeto latino) se utiliza el mtodo de denicin por intensin, que consiste en la descripcin de un conjunto como la extensin de un predicado, esto es, mediante una o varias propiedades (el predicado) que caracterizan a los elementos de ese conjunto. En principio podra tomarse cualquier lengua natural para describir los objetos (espaol, ingls, italiano, vasco, cataln, etc), sin embargo es preferible utilizar un lenguaje formal que ofrezca rigor y precisin. Dicho lenguaje debe ser sucientemente rico; esto es, lo sucientemente expresivo como para poder describir todas las colecciones matemticas. Pero tambin lo sucientemente restrictivo como para limitarse a slo las colecciones de objetos matemticos. Para expresar predicados utilizaremos el lenguaje formal de la la lgica de predicados de primer orden (el lenguaje de la lgica de proposiciones con los smbolos lgicos de las conectivas , , , , ms los cuanticadores universal y existencial ) al que se aade variables, igualdad y el relator binario de pertenencia. Este lenguaje puede ser ampliado con los smbolos propios de las operaciones, relaciones o funciones del lenguaje especco de teora de conjuntos. En la primera parte, al presentar la Teora bsica de conjuntos, utilizaremos con frecuencia el lenguaje natural para describir propiedades. Estas propiedades pueden ser aritmticas (<, , /, etc.) o matemticas en general, pero tambin pueden ser propiedades expresadas en lenguaje natural (nombres, verbos,...) que describan colecciones no estrictamente matemticas. Ejemplo: C = {x / 0 < x < 230000 2/x}, donde es el conjunto de los nmeros naturales con la ordenacin habitual, < signica menor que y 2/x signica que 2 divide a x. D = {x/ x es una palabra de 2 letras del alfabeto griego (pueden estar repetidas)} E = {x/ P2 (x) P3 (x) P10 (x)} . Donde Pi (x) signica x es una palabra de i letras del alfabeto griego (pueden estar repetidas).

CAPTULO 1. INTRODUCCIN

1.2.2.

Problemas en la teora intuitiva de conjuntos: la paradoja de Russell

Pero la denicin intuitiva de conjunto como el de una coleccin de objetos describible por un predicado conduce inevitablemente a ciertas contradicciones que se llaman paradojas, la ms clebre es la conocida como paradoja de Russell: Consideremos el conjunto A = {x : x / x}, descrito mediante el predicado del lenguaje formal x / x . Obviamente, para cualquier B, B A si y slo si B / B. Es decir, est en A cuando verica las condiciones que denen a A. Pero, qu sucede con el propio A? Evidentemente, A A si y slo si A / A. Pero este resultado es contradictorio. En vano se debe intentar descubrir un error en el razonamiento, ms bien parece que el problema proviene de admitir expresiones como A A (o conjuntos como el conjunto de todos los conjuntos que produce tambin paradojas). Se ha visto claramente que el concepto de conjunto no es tan sencillo y que identicarlo sin mayor investigacin con el de coleccin resulta problemtico. Para evitar la paradoja de Russell, y otras de esta naturaleza, es necesario tener ms cuidado en la denicin de conjunto, lo veremos en lo que sigue. Otras paradojas, de hecho las primeras en descubrirse, afectaban a colecciones grandes, como por ejemplo la de los ordinales, o la de todos los conjuntos. Estas colecciones no podrn ser conjuntos.

1.2.3.

Solucin de las paradojas

Una solucin radical al problema de las paradojas es la propuesta en 1903 por Russell, su Teora de Tipos. Observa que en todas las paradojas conocidas hay una componente de reexividad, de circularidad. Tcnicamente se evitan las paradojas al eliminar del lenguaje las formaciones circulares. Se reconoce que nuestro universo matemtico no es plano, sino jerarquizado, por niveles, y que el lenguaje ms adecuado para hablar de un universo ?? debe tener diversos tipos de variables que correspondan a cada nivel; en particular, la relacin de pertenencia se d entre objetos de distinto nivel. En 1908 Zermelo da como solucin la denicin axiomtica de la Teora de Conjuntos, renada ms tarde por Fraenkel, Skolem, von Neumann y otros. En esta teora se evita que las colecciones que llevaban a las paradojas puedan ser conjuntos. De hecho, en la solucin de Zermelo-Fraenkel, una coleccin de objetos ser un conjunto si los axiomas la respaldan. Dichos axiomas permiten formar conjuntos a partir de conjuntos previamente construdos y postulan la existencia del y de al menos un conjunto innito. Sin embargo, en la solucin de von Neumann se admiten colecciones que no son conjuntos, las denominadas clases ltimas. Se denen clases mediante propiedades, sin restriccin, pero habr que mostrar que se trata de conjuntos viendo que pertenecen a alguna clase. Las clases ltimas, como la clase universal o la de los ordinales, no pertenecen a ninguna otra clase.

1.3. EL UNIVERSO MATEMTICO

1.3.

El Universo matemtico

La idea intuitivamente ms fructfera y tambin la ms extendida es que nuestro universo matemtico, -esto es, el que contiene todas las colecciones de objetos matemticos, pero solamente los objetos matemticos- constituye una jerarqua de conjuntos, la denominada Jerarqua de Zermelo. En la construccin de los conjuntos que formarn la jerarqua se parte de una coleccin inicial M0 de objetos dados y a continuacin se construye una coleccin M1 de conjuntos de elementos de M0 , despus una coleccin M2 de conjuntos de objetos de M0 y M1 , etc. ??, el universo de conjuntos construdos es una jerarqua. Para proporcionar mayor precisin debemos responder a las preguntas siguientes: 1. Cal ser nuestra coleccin de partida, M0 ? 2. Qu conjuntos de objetos de niveles inferiores se toman para formar nuevos niveles en la jerarqua? 3. Hasta dnde se extiende esta jerarqua?. Para responder a la primera pregunta debemos considerar si nos interesa tomar objetos que no sean conjuntos o si nos basta con partir de un primer nivel que sea sencillamente el conjunto . Est claro que ??se toman slo objetos matemticos, pero habr que ver que es suciente y que podremos nalmente contar en la jerarqua con todos los objetos matemticos. Una respuesta a la segunda pregunta que parece razonable es, al ir tomando nuevos conjuntos, que stos se puedan describir con nuestro lenguaje. Al tomar esta opcin formamos la Jerarqua de conjuntos constructibles. Otra posibilidad es tomar como objetos de un nuevo nivel a todos los posibles. Veremos que esta es la opcin de Zermelo. Finalmente, la tercera de las preguntas es hasta donde se extiende la jerarqua. La respuesta es que la jerarqua de conjuntos no tiene n, siempre se pueden construir nuevos niveles. Para precisar un poco ms esta imagen intuitiva de nuestro Universo matemtico es conveniente contar con algunas nociones de teora de conjuntos bsica y con el concepto de ordinal. Por ello volveremos sobre este tema cuando tengamos el equipamiento necesario.

1.4.

Teora axiomtica de conjuntos

Recordemos los componentes de una teora axiomtica: 1. El lenguaje o smbolos formales de la teora. 2. Los axiomas, que son proposiciones acerca de los objetos de la teora y que imponen el funcionamiento de dichos objetos.

CAPTULO 1. INTRODUCCIN 3. Los teoremas, que son todas las proposiciones demostrables con herramientas lgicas a partir de los axiomas.

En la teora de conjuntos axiomtica de Zermelo Fraenkel se usar el lenguaje formal de la lgica de predicados de primer orden. Las variables de dicho lenguaje formal se referirn a conjuntos; es decir, en la interpretacin usual todos los objetos son conjuntos. Es decir, existir ser sinnimo de ser un conjunto. El lenguaje bsico slo tiene el relator binario de pertenencia, pero se extiende, mediante deniciones pertinentes, para dar cabida a operaciones. Los conceptos primitivos de esta teora son el de conjunto y el de pertenencia. En realidad la mayora de los axiomas sirven para garantizar la existencia de los conjuntos que nos interesa tener. Por ello la idea de construccin es esencial en la teora axiomtica de Zermelo-Fraenkel (que notaremos ZF). En la teora axiomtica de conjuntos se respeta la idea fundamental de aceptar que una coleccin de objetos pueda ser un conjunto, pero se impone la condicin de que todos los objetos de una coleccin deben haberse formado antes de denir dicha coleccin, y de esta manera se evitarn los problemas que conducen a las paradojas. Uno de los axiomas de la teora (se ver ms adelante) impondr esta restriccin: Si X es un conjunto ya construido existe un conjunto Y formado por los elementos de X que satisfacen un predicado P que los describe (o lo que es lo mismo, una frmula con al menos una variable libre). As un predicado describir un conjunto slo si los objetos han sido ya construidos (son de otro conjunto X ) y adems satisfacen el predicado. Con esta restriccin a la denicin de conjunto de Cantor desaparece la paradoja de Rusell ya que para que A = {x : x / x} sea un conjunto se debera tener un conjunto X a partir del cual construirse; es decir, A = {x X : x / x}. Cmo se resuelve la paradoja? Al construirse a partir de un conjunto ya construido desaparece el problema. Ahora, para cualquier B se verica: B A si y slo si B X y B / B. En realidad, puesto que la condicin B / B la cumplen todos, A ser el propio X . Adems, es imposible que exista el conjunto de todos los conjuntos. Los teoremas de ZF se derivan de los axiomas, pero para que tengan inters deben mediar deniciones de conceptos y operaciones nuevas. Aunque en principio podra usarse un clculo deductivo de primer orden, en la prctica resulta desaconsejable pues en l cualquier demostracin se alargara en exceso.

Captulo 2

lgebra de Conjuntos
2.1. El lenguaje de la Teora de Conjuntos

A continuacin presentamos el lenguaje de primer orden L en el que escribiremos la Teora de Conjuntos. Puede entenderse de dos maneras distintas: como lenguaje formal y como abreviaturas de expresiones en espaol. Esta segunda interpretacin ser posiblemente la conveniente en un curso introductorio, antes de conocer la lgica de primer orden. Los smbolos del lenguaje formal de la teora de conjuntos sern: Los smbolos de conjuntos sern las letras del alfabeto, maysculas y minsculas. El smbolo de la relacin de pertenencia entre conjuntos es . Los smbolos lgicos de la lgica de predicados: (negacin), (conjuncin), (disyuncin), (implicacin), (equivalencia), (cuanticador universal) y (cuanticador existencial) y (, ) (parntesis). Con estos signos bsicos se generan todas las frmulas de la teora de conjuntos. Las reglas de formacin de frmulas son las habituales en la lgica de primer orden. A saber: 1. x y y x = y son frmulas. Para cualesquiera variables x, y. 2. Si y son frmulas, tambin lo son: , , , y 3. Si es una frmula, x y x tambien lo son. FORM(L ) se generan mediante las reglas precedentes: 9

10

CAPTULO 2. LGEBRA DE CONJUNTOS

2.2.

Igualdad, inclusin y conjunto vaco

A / B es la abreviacin de no pertenencia (A B )

Deniciones:

Igualdad (Axioma de extensionalidad). x(x A x B ) A = B Si todo elemento lo es de A si y slo si lo es tambin de B entonces A y B coinciden. Inclusin, subconjunto : A B A est incluido en B (A es subconjunto de B ), es una abreviatura de x(x A x B )) (todo elemento de A es elemento de B ). Inclusin estricta : A B es una abreviatura de (A B ) (A 6= B ). Conjunto vaco: es el nico conjunto tal que x(x / ) para todo x, x no pertenece a (ningn elemento pertenece a ) Teoremas: Los resultados siguientes son teoremas que se deducen de manera directa de las deniciones anteriores 1. 2. 3. 4. A( A) A (A A) AB ((A B ) (B A) (A = B )) ABC ((A B ) (B C ) (A C ))

2.3.

Operaciones

Deniciones Unin. A B = {x/ (x A) (x B ))} A unin B est formado por los elementos que estn en A o en B. Se verica: x(x A B (x A) (x B )) Interseccin A B = {x/ (x A) (x B )} A interseccin B est formado por los elementos que estn en A y tambin en B. Se verica: x(x A B (x A) (x B )) Diferencia A B = {x/ (x A) (x / B )} A menos B est formado por los elementos que estn en A pero no en B. Se verica: x(x A B (x A) (x B ))

2.3. OPERACIONES Teoremas 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. AB (A A B ) AB (A B A) AB ((A B ) (A B = B )) AB ((A B ) (A B = A)) A (A A = A). Idempotencia. A (A A = A). Idempotencia. AB (A (A B ) = A). Absorcin. AB (A (A B ) = A). Absorcin. AB (A B = B A). Commutatividad. AB (A B = B A). Commutatividad. AB (A B = B A) A ( A = ) A (A = A) A (A = ) ABC ((A B ) C = A (B C )). Asociatividad. ABC ((A B ) C = A (B C )). Asociatividad.

11

12

CAPTULO 2. LGEBRA DE CONJUNTOS

Captulo 3

Relaciones y Funciones
3.1. Clases unitarias, pares y dadas

Deniciones Par desordenado. {x, y } = {z/ (z = x) (z = y )}) ; es el conjunto formado por los elementos x, y . Clase unitaria. {x} = {x, x} Notacin: {x, y, z } = {x, y } {z } . Par ordenado. hx, y i = {{x} , {x, y }} Teoremas 1. 2. 3. xyzv (({x, y } = {z, v }) ((x = z y = v ) (x = v y = z ))) xy (x = y hx, y i = {{x}}) xyzv (hx, y i = hz, v i (x = z y = v ))

3.2.

Conjunto potencia (o conjunto de las partes de un conjunto)

Denicin Partes de un conjunto. PA = {C/ C A} , partes de A est formado por los subconjuntos de A. 13

14 Teoremas 1. 2. 3. 4. A ( PA) A (A PA)

CAPTULO 3. RELACIONES Y FUNCIONES

AB ((PA PB ) P(A B )) AB (PA PB = P(A B ))

3.3.

Gran unin y gran interseccin

[ Gran unin. A = {x | A (A A x A)} . La gran unin del conjunto A est formado por los objetos que son elementos de algn elemento de A. \ Gran interseccin. A = {x | A (A A x A)} . La gran interseccin del conjunto A est formado por los objetos que son elementos de todos los elemento de A. \ Convencin: = Teoremas 1. 2. 3. 4. AB ( AB ( [ {A, B } = A B )

Deniciones

{A, B } = A B ) [ AA ((A A) (A A)) [ A ( PA = A)

3.4.

Producto cartesiano

Denicin Producto cartesiano de dos conjuntos. A B = {z | uv (z = hu, v i u A v B )} Est formado por los pares ordenados cuyos primera componente es de A y la segunda de B. Teoremas 1. 2. 3. 4. ABC (A (B C ) = (A B ) (A C )) ABCD ((A B ) (C D) = (A C ) (B D)) ABC ((A B ) C = (A C ) (B C )) AB (A B PP(A B ))

3.5. RELACIONES BINARIAS

15

3.5.

Relaciones binarias

Deniciones Relacin binaria. Una relacin binaria es una clase de pares ordenados. R(R es una relacin yz (x = hy, z i). La llamaremos simplemente relacin. Dominio. Dom R = {x | y hx, y i R} Rango. Rang R = {x | y hy, xi R} Campo. Camp R = Rang R Dom R Teoremas Los resultados siguientes son teoremas que se deducen de manera directa de las deniciones anteriores. 1. 2. 3. 4. 5. 6. 7. 8. es un relacin R ((R es una relacin) (R (Dom R Rang R))) RS ((R es una relacin S R) (S es un relacin)) RS ((R es una relacin S es una relacin) ((R S es una relacin) (R S es una relacin) (R S es una relacin))) RS (Dom (R S ) = (Dom R Dom S )) RS (Dom (R S ) (Dom R Dom S )) RS (Dom (R S ) (Dom R Dom S )) \ [ A((A(A A A es relacin)) ( A es relacin A es relacin))

3.6.

Relacin inversa, producto relativo y restriccin

Deniciones Relacin inversa . R1 = {hx, y i | hy, xi R} Producro relativo. R/S = {hx, y i | z (hx, z i R hz, y i S } Restriccin de una relacin a un conjunto. R A = {hx, y i | hx, y i R x A} Teoremas 1. 2. 3. 4. xy (hx, y i R1 hy, xi R) R (R1 es una relacin) R ( (R1 )1 R )

R ( R es una relacin R = (R1 )1 )

16

CAPTULO 3. RELACIONES Y FUNCIONES

3.7.

Imagen bajo una relacin y relacin identidad.

Imagen de A bajo R. R [A] = Rang R A Identidad sobre A. IA = {hx, xi | x A}

Deniciones

Teoremas 1. 2. 3. 4. 5. 6. x ((x R [A]) (y (hy, xi R y A))) RAB (R [A B ] = R [A] R [B ]) RAB ((R [A B ]) (R [A] R [B ])) RAB (R [A B ] = R [A] R [B ]) RAB ((R[A B ] (R [A] R [B ]) RAB (R [A B ] 6= R [A] R [B ])

3.8.

Propiedades de ciertas relaciones

Deniciones R es reexiva si y slo si x ((x Camp R) (hx, xi R)) R es simtrica si y slo si xy ((hx, y i R) (hy, xi R)) R es transitiva si y slo si xyz ((hx, y i R hy, z i R) (hx, z i R)) R es irreexiva si y slo si x ((x Camp R) (hx, xi / R)) R es asimtrica si y slo si xy ((hx, y i R) (hy, xi / R)) R es intransitiva si y slo si xyz ((hx, y i R hy, z i R) (hx, z i / R)) R es antisimtrica si y slo sixy ((hx, y i R hy, xi R) (x = y )) R est conectada syss xy ((x, y Camp R) x 6= y ) (hx, y i R hy, xi R)) R est fuertemente conectada syss xy ((x, y Camp) (hx, y i R hy, xi R)) R es eucldea syss xyz ((hx, y i R hx, z i R) (hy, z i R)) R es incestuosa syss xyz ((hx, y i R hx, z i R) (u(hy, ui R hz, ui R)))

3.9. RELACIONES DE EQUIVALENCIA Teoremas 1. 2. R ((R es asimtrica ) (R es antisimtrica)) R ((R esta fuertemente conectada ) (R esta conectada))

17

3.9.

Relaciones de equivalencia

Deniciones R es una relacin de equivalencia si y slo si R es una relacin y R es reexiva, simtrica y transitiva R es una relacin de equivalencia sobre A si y slo si Camp R = A y R es una relacin de equivalencia Clase de equivalencia de x Camp R segn R : [x]R = {y | hy, xi R} Cociente. Si R una equivalencia sobre A , el cociente de A por R es A/R = {[x]R | x A} Particiones. H es una particin de A si y slo si x (x H x 6= ) xy (x, y H x 6= y x y = ) [ H =A

Relacin de equivalencia asociada a una particin. Si H es una particin se dene la relacin de equivalencia: RH = {hx, y i | B (B H x B y B )} Teoremas Los resultados siguientes son teoremas que se deducen de manera directa de las deniciones anteriores. 1. R ((R es una relacin de equivalencia ) (xy (x, y CampR ((hx, y i R) ([x]R = [y ]R ))) R ((R es una relacin de equivalencia sobre A) particin de A)) ([A]/R es una

2.

3.

H ((H es una particin de A) (RH es una relacin de equivalencia sobre A)) \ A es de equivalencia))

4. A(R(((R A) (R es de equivalencia) ) (

18

CAPTULO 3. RELACIONES Y FUNCIONES

3.10.

Relaciones de Orden

Deniciones R es una relacin de orden (parcial) si y slo si R es una relacin y R es reexiva y antisimtrica y transitiva R es un orden (parcial) sobre A si y slo si Camp R = A y R es una relacin de orden R es un orden lineal si y slo si R es una relacin de orden y R esta conectada R es un orden lineal sobre A si y slo si Camp R = A y R es una relacin de orden lineal Un conjunto parcialmente ordenado es un par hA, Ri formado por un conjunto A y un orden parcial sobre A. Un conjunto linealmente ordenado es un par hA, Ri formado por un conjunto A y un orden lineal sobre A. Sea hA, Ri un conjunto parcialmente ordenado y sea Y A. Un elemento a Y es un elemento minimal de Y si y slo si x(x Y hx, ai R). Un elemento a Y es primer elemento de Y (mnimo de Y ) si y slo si x(x Y ha, xi R). Un conjunto parcialmente ordenado hA, Ri , est bien fundado si cada subconjunto no vacio de A posee elemento minima. Cuando hA, Ri est linealmente ordenado y bien fundado decimos que est bien ordenado. Notacin: Habitualmente escribiremos en vez de R para relaciones de orden, y hA, i para conjuntos ordenados tanto parcial como linealmente. Teoremas 1. 2. 3. 4. R ((R es un orden lineal ) (R es un orden parcial)) Si hA, i esta linealmente ordenado y Y A entonces (a es elemento minimal de Y si y slo si a es primer elemento de Y ) hA, i est bien ordenado syss (para cada Y A se cumple x(x Y x es primer elemento de Y )) Sea hA, i un conjunto parcialmente ordenado. hA, i esta bien fundado syss no hay ninguna sucesion {an } n=0 de elementos de A tal que an+1 < an para cada n (no hay a0 > a1 > a2 > ...)

3.11. FUNCIONES, COMPOSICIN

19

3.11.

Funciones, composicin

Deniciones Funcin. f es una funcin si y slo si f es una relacin y (xyz (((hx, y i f ) (hx, z i f )) (y = z ))) Composicin: f g = g/f Notacin: Si f es una funcin notaremos f (x) = y para indicar hx, y i f Teoremas 1. 2. 3. 4. 5. 6. 7. 8. Af ( (f es una funcin A f ) ( A es una funcin)) Af ( (f es una funcin ) (f A es una funcin)) f g ( (f es una funcin g es una funcin ) (f g es una funcin)) f g ( (f es una funcin g es una funcin ) (f /g es una funcion)) f g ( (f es funcin g es funcin Dom f Dom g = ) (f g es funcin)) f ( (f es funcin z (z Rang f hx, z i f hy, z i f x = y )) f 1 es una funcin) f g ( (f es funcin g es funcin) (f g es funcin)) f gx ((f es funcin g es funcin x Dom(f g )) ((f g )(x) = f (g (x))))

3.12.

Funciones de A en B

Deniciones f es una funcin de A en B si y slo si f es una funcin y Dom f = A y Rang f B Notacion: para indicar que f es una funcion de A en B escribiremos f : A B f es una funcion inyectiva si y slo si f es una funcin y (xyz (hx, y i f hz, y i f x = z )) f : A B es exhaustiva si y slo si Rang f = A f : A B es biyectiva si y slo si f es inyectiva & exhaustiva Notacion: AB denotar el conjunto de todas las funciones de B en A

20 Teoremas 1. 2. 3.

CAPTULO 3. RELACIONES Y FUNCIONES

f ((f es inyectiva ) (f es una funcin f 1 es una funcin)) f xy (((f es inyectiva) (x, y Dom f )) ((f (x) = f (y ) (x = y ))) f g ((f es inyectiva g es inyectiva ) (f g es inyectiva))

Parte II

Teora de Conjuntos Axiomtica

21

Captulo 4

Primeros Axiomas
Los axiomas de la teora ZF son propiedades indemostrales que se aceptan como verdaderas y que tienen por objeto garantizar que en la Jerarqua de Conjuntos ZF todo lo construdo son conjuntos y as evitar las paradojas.

4.1.

Axiomas de Extensionalidad y de Separacin

Denicin Axioma de Extensionalidad: AB (A = B x(x A x B ). Este axioma asegura que el smbolo lgico = para la igualdad de objetos de la teora coincide con la intuicin de que dos conjuntos son iguales si tienen los mismos elementos. Axioma de Separacin : AB (x B (x A (x)) . Expresa que si (x) es una frmula del lenguaje de la teora de conjuntos, con a lo sumo la variable x libre y A es un conjunto, entonces la clase (coleccin) {x/x A (x)} es un conjunto. El axioma de separacin obliga a que los conjuntos estn formados de elementos de conjuntos ya construdos. Hay que observar que ms que un slo axioma es un esquema de axiomas, ya que tenemos un axioma para cada predicado.

4.2.

Axiomas del Par, de la Unin y de las Partes

Denicin Axioma del Par: AB C (x(x C x = A x = B ) . Expresa que si A y B son conjuntos entonces la clase {A, B } es un conjunto. En particular, si A es un conjunto entonces la clase {A} es un conjunto (por extensionalidad ). Este axioma asegura que las colecciones de conjuntos son conjuntos. 23

24

CAPTULO 4. PRIMEROS AXIOMAS Axioma de la Unin: AB (x(x B y (y A x y ))). Expresa [ que si A es un conjunto la reunin de A, A, es un conjunto.

Axioma de las Partes: AB (x(x B x A)) . Si A es un conjunto, entonces las partes de A, PA, es un conjunto. Teorema A partir de los cinco primeros axiomas se obtienen los resultados siguientes que nos garantizan que las clases denidas con anteridad son conjuntos. [ 1. Si A y B son conjuntos entonces A B, A B, A B, {A, B } , PA, A, \ A son conjuntos. Es consecuencia inmediata de los axiomas.

2. Si A y B son conjuntos entonces A B es un conjunto. Es consecuencia de que A B P(P(A B ) y de los axiomas de Reunin y de las Partes.

3. Como consecuencia de 2 las relaciones obtenidas a partir de productos cartesianos tambin sern conjuntos. Lo que no se puede deducir a partir de los axiomas anteriores es que la imagen por una funcin de un conjunto sea un conjunto. Necesitamos un nuevo axioma para ello.

4.3.

Axioma de Reemplazamiento

Axioma de Reemplazamiento: x!y(x, y ) AB y (y B x(x A (x, y )) Expresa que la imagen de un conjunto por una funcin es un conjunto.

Captulo 5

Construccin de los Ordinales

5.1. Buenos rdenes e induccin

Se ha visto que en un conjunto bien ordenado todos los subconjuntos no vacos tienen un primer elemento. El teorema de induccin es una consecuencia de esta importante propiedad, a continuacin lo enunciaremos para conjuntos bien ordenados arbitrarios y veremos tambin versiones del teorema de induccin para el conjunto de los nmeros naturales. Lo que hace que funcione el principio de induccin matemtica [P (0)&n(P (n) P (n + 1)) nP (n)] es el buen orden de los naturales. Supongamos que no todos los naturales tienen la propiedad P ;es decir, {n | P (n)} 6= . Por el buen orden de los naturales habra un primer elemento de este conjunto; es decir habra un m para el que valdra P (m) pero tambin, por ser m el primer elemento, valdra P (m 1). Esto es justamente lo que queda excludo en la prueba por induccin; por ello demostramos n(P (n) P (n + 1)) Se puede extender este mtodo para que sirva no slo con los conjuntos numerables, sino tambin con los transnitos (supernumerables)? La respuesta es armativa, lo veremos ahora. 25

26

CAPTULO 5. CONSTRUCCIN DE LOS ORDINALES

5.1.1.

Induccin en un conjunto bien ordenado

Teorema de Induccin Sea hX, i un conjunto bien ordenado. Y sea E X tal que: 1. el primer elemento de X es elemento de E. 2. para cada x X , si y (y < x y E ), entonces x E. entonces E = X

5.1.2.

Induccin en el conjunto de los nmeros naturales

Llamamos al conjunto de los nmeros naturales con su ordenacin habitual. es un conjunto bien ordenado y por tanto vale el teorema de induccin Teorema de Induccin para (1) Induccin fuerte. Sea X tal que (n )(n X n X ), entonces X = (2) Induccin dbil. Sea X tal que (i) 0 X (ii) (n )(n X (n + 1) X ) entonces X = (3) Expresin de la induccin dbil mediante frmulas. Sea P (x) un predicado o propiedad del lenguaje de la teora de conjuntos especca para los nmeros naturales . Si se satisface: (i) P (0) (ii) (n )(P (n) P (n + 1)) entonces (n )(P (n)) (4) Expresin generalizada de la induccin dbil mediante frmulas. Sea P (x) un predicado o propiedad del lenguaje de la teora de conjuntos especca para los nmeros naturales . Si se satisface: (i) P (n0 ) para un cierto nmero natural n0 . (ii) (n n0 )(P (n) P (n + 1)) entonces (n n0 )P (n) Demostracin de (4): (4) Es consecuencia directa del teorema de induccin en conjuntos bien ordenados y el hecho de que {n/ n < n0 } es un conjunto bien ordenado cuyo primer elemento es n0 .

5.2. BUENOS RDENES Y ORDINALES

27

5.2.
5.2.1.

Buenos rdenes y ordinales

Comparacin de conjuntos bien ordenados: Isomorsmos

Denicin Sean hX, i y hX 0 , 0 i dos conjuntos bien ordenados. f : X X 0 es un isomorsmo de rdenes si y slo si (i) f es biyectiva (ii) x < y f (x) <0 f (y ), para todo x, y X Notacin: Escribiremos hX, i = X 0 , o incluso f : X = X0 = hX 0 , 0 i o bien X Teoremas 1. Sea hX, i un conjunto bien ordenado, Y X y f : X = Y. Entonces x f (x), para todo x X. 2. Sean hX, i y hX 0 , 0 i buenos rdenes. Si hX, i = hX 0 , 0 i , entonces el isomorsmo es nico. Observacin: El que se trate de un buen orden es esencial en este teorema, no bastara que el orden fuera lineal.

5.2.2.

Segmento

Denicin Sea hX, i un conjunto bien ordenado y a X. Llamamos segmento de X determinado por a al conjunto Xa = {x X | x < a} Teoremas 1. Sea hX, i un conjunto bien ordenado. No hay ningn isomorsmo de X en un segmento de X. 2. Sea hX, i un conjunto bien ordenado y sea A = {Xa | a A} . Entonces hX, i = hA, i .

5.2.3.

Ordinal

Denicin Un ordinal es un conjunto bien ordenado hX, i tal que Xa = a, para todo a X Teoremas 1. Sea hX, i un conjunto bien ordenado. Entonces (x, y X )(x < y Xx Xy x y ) 2. Sea X un ordinal. Si a X , entonces Xa es un ordinal.

28

CAPTULO 5. CONSTRUCCIN DE LOS ORDINALES

3. Sea X un ordinal. Sea Y X . Si Y es un ordinal, entonces Y = Xa , para algn a X. 4. Si X e Y son ordinales, entonces X Y es un ordinal. 5. Sean X e Y ordinales. Si X 6= Y , entonces uno es un segmento del otro. 6. Si X e Y son ordinales isomorfos, entonces X = Y 7. Sea hX, i un conjunto bien ordenado tal que para cada a X , Xa es isomorfo a un ordinal. Entonces X es isomorfo a un ordinal. 8. Cada conjunto bien ordenado es isomorfo a un nico ordinal.

5.3.

Observaciones acerca de los ordinales

Los Ordinales miden la longitud de los conjuntos bien ordenados Teorema Si hX, i es un conjunto bien ordenado, Ord(X ) es el nico ordinal isomorfo a X. Por otra parte, si X e Y son conjuntos bien ordenados, X = Y syss Ord(X ) = Ord(Y ) Esta unicidad nos permite usar a los ordinales como vara de medir conjuntos bien ordenados; es decir, Ord(X ) es la longitud de X.

Inclusin (y pertenencia) bien-ordena a los ordinales Orden lineal Hemos demostrado que ordena linealmente a los ordinales. De hecho, tambin , pues si X e Y son ordinales, X Y si y slo si X = Ya (para algn a Y ) si y slo si X = a (pues Ya = a) si y slo si X Y (pues a Y ) Por consiguiente, la relacin coincide en los ordinales con la relacin Nota importante: No decimos que x y y x y se den por las mismas razones, ni tan siquiera en los ordinales. Lo que sucede es que siempre tenemos situaciones como sta: x = {, {}} y = {, {} , {, {}}}

5.3. OBSERVACIONES ACERCA DE LOS ORDINALES Aqu x y porque {, {}} {, {} , {, {}}} Mientras que x y porque

29

{, {} , {, {}}} {} {, {} , {, {}}}

Buen orden La relacin sobre los ordinales no slo es un orden lineal, tambin es un buen orden. Demostracin: Supongamos que los ordinales no estuvieran bien ordenados mediante , habiendo una sucesin

{X (n)}n=0 tal que

X (0) X (1) X (2) ... Luego, para cada n > 0 se cumple, X (n) X (0). Por lo tanto, para cada n > 0 se cumple, X (n) X (0). As que {X (n + 1)}n=0 es una sucesin decreciente innita de elementos de X (0). Pero X (0) es un ordinal, est bien ordenado mediante y por lo tanto no puede haber tales cadenas descendentes innitas.

Cmo son los ordinales por dentro?

30

CAPTULO 5. CONSTRUCCIN DE LOS ORDINALES

Usaremos letras griegas minsculas para denotar ordinales. Puesto que el orden es siempre no hace falta especicarlo. Sin embargo, recordaremos siempre que un ordinal no es slo un conjunto, sino un conjunto y un orden. Para denotar el orden de los ordinales se usa indistintamente < , o . Puesto que los ordinales miden conjuntos bien ordenados, en particular medirn conjuntos nitos. Deniremos a los naturales como ordinales nitos. Cmo es un ordinal? Si es un ordinal, entonces = { | < }

Ordinales nitos {0} = {} {0, 1} = {, {}} . . . {0, 1, 2, ..., n 1} . . . Primer ordinal Segundo ordinal Tercer ordinal . . . Ordinal ensimo+1 . . . Denotacin Denotacin Denotacin . . . Denotacin . . . 0 1 2 . . . n . . .

Cal es el primer ordinal innito? El primer ordinal innito es el de los naturales {0, 1, 2, ..., n, n + 1, ...} = Y luego? Se forma su siguiente {0, 1, 2, ..., n 1, ..., } = + 1

Procedimiento general (i) Si es un ordinal, su siguiente es {} = + 1. Un ordinal que es el siguiente de otro ordinal se denomina ordinal sucesor (ii) Si 0, 1, 2, ..., n, n + 1, ..., , + 1, ..., , + 1, ... son los elementos de un segmento inicial de un ordinal, sin elemento ltimo se forma el ordinal {0, 1, 2, ..., n, n + 1, ..., , + 1, ..., , + 1, ...} Puesto que un ordinal de esta ndole carece de elemento ltimo, se le llama ordinal lmite. As que es un ordinal lmite.

Captulo 6

La Jerarqua de Zermelo
6.1. Construccin de la Jerarqua

Ahora podemos presentar con rigor la jerarqua de conjuntos de Zermelo Fraenkel, y responder a las preguntas que nos hicimos cuando hablbamos del Universo matemtico y se propona la construccin de los conjuntos de la teora partiendo de una coleccin inicial M0 de objetos dados y construyendo a continuacin una coleccin M1 de objetos de M0 , despus M2 de objetos de M0 y de M1 y as sucesivamente.

1. Cal ser nuestra coleccin de partida, M0 ?. Partimos de M0 = , el nivel inicial. Lo llamamos V0 = 2. Qu conjuntos de objetos de niveles inferiores se toman para formar nuevos niveles en la jerarqua? Supngase que hemos denido ya V . Qu conjuntos de miembros de V tomaremos para formar V+1 ?. Consideraremos P(V ) el conjunto potencia o de las partes de V , cuyos elementos son los subconjuntos de V . Por tanto, dado el nivel V (siendo ordinal sucesor) formamos V+1 = P(V ) Y cundo es un ordinal lmite: V = [ V

<

Es decir, en estos momentos recopilamos todos los niveles anteriores. 3. Hasta dnde se extiende esta jerarqua?. La jerarqua de conjuntos no tiene n; siempre se pueden construir nuevos 31

32

CAPTULO 6. LA JERARQUA DE ZERMELO conjuntos. Para cada ordinal debe haber un nivel V . Sus miembros son [ conjuntos cuyos elementos estn en los niveles previos; en V
<

Finalmente, la jerarqua de Zermelo Fraenkel de todos los conjuntos es: S Va V =

Ord

Como se coment con anterioridad la jerarqua de Zermelo es una buena representacin intuitiva de nuestro universo matemtico. Sera conveniente que respondiera a todas las expectativas planteadas en apartados precedentes y tambin, lo cual es extremadamente importante, que el marco axiomtico en el que nos movemos; a saber, la teora de Zermelo Fraenkel, garantizara su construccin. De hecho, se puede ver al revs, se eligieron los axiomas justamente para que nuestra construccin pudiera llevarse a trmino. Se observa en primer lugar que en toda la construccin hay una operacin bsica : formar el conjunto potencia o de las partes de un conjunto. Px Otra de nuestras preocupaciones era que pudieran construirse slo colecciones matemticas. Esto est garantizado porque empezamos con el y llegamos mediante construcciones que no introducen objetos no matemticos hasta formar el universo V = que no es un conjunto. Finalmente, todas las colecciones matemticas estn, porque tenemos el axioma de separacin. S Va

Ord

6.2.

Axiomas involucrados en la construccin de la jerarqua

Hemos ya formulado el axioma de separacin y dejaremos para un tratamiento posterior los axiomas de eleccin y constructibilidad. Cuales son los principios usados en la construccin de la Jerarqua? Claramente V = S Va

Ord

no es una frmula del lenguaje de primer orden que estamos usando. En su construccin usamos lo siguiente:

6.2. AXIOMAS INVOLUCRADOS EN LA CONSTRUCCIN DE LA JERARQUA33 1. Tomamos como operacin bsica la de partes, Px. El axioma de las partes de un conjunto AB (x(x B y (y x y A)) permite formar un conjunto con todos los subconjuntos de uno dado, A. Este axioma nos permite pasar de V a V+1 , haciendo V+1 = P(V ). Qu sucede cuando es un ordinal lmite? 2. Debemos poder formar la unin de colecciones de conjuntos. El axioma de la unin, AB (x(x B y (y A x y )) dice que dado un conjunto A hay un conjunto cuyos elementos son los elementos de los elementos de A. El axioma de la unin nos permite formar V , cuando es un ordinal lmite, haciendo [ V = V
<

Es decir, V = {V : < } . Pero, sabemos si {V : < } es un conjunto?. En realidad, podramos conseguirlo a partir de { : < } reemplazando cada por V . Para ello necesitaramos contar con los ordinales y utilizar el axioma del reemplazamiento. Dejemos de momento de lado a los ordinales, supongamos que ya contamos con ellos. 3. El axioma de reemplazamiento dice que si tenemos una frmula (x, y ) tal que a cada conjunto a le asigna un nico conjunto b tal que (a, b) entonces, a partir de un conjunto A cualquiera podemos denir otro, B , en el que los elementos a de A son reemplazados por los b que cumplen (a, b) x!y(x, y ) AB y (y B x(x A (x, y )) Retomemos la cuestin anterior, Qu necesitamos para poder construir a los ordinales? 4. En primer lugar, necesitamos el conjunto vaco, . para ello aadimos el axioma que dice que hay un conjunto que carece de elementos B x(x / B) 5. Tambin necesitamos el axioma de innitud, que dice que hay un conjunto que contiene al y que est cerrado bajo la operacin del siguiente B ( B y (y B y {y } B ))

34

CAPTULO 6. LA JERARQUA DE ZERMELO

Los dos ltimos axiomas, arman la existencia de ciertos conjuntos. Esto contrasta con el resto de los axiomas, que proporcionan reglas mediante las cuales se forman conjuntos a partir de conjuntos existentes. En realidad, el axioma del conjunto vaco no es necesario, pues es demostrable a partir de innitud y de separacin. Faltan ms axiomas? 6. El axioma de extensionalidad, que usbamos desde el principio en la teora bsica, expresa el criterio fundamental de la teora de conjuntos que dice que identicamos los conjuntos que tienen los mismos elementos. No estamos interesados en los predicados que denen a los conjuntos, sino en los que nalmente caen bajo ellos, los que los cumplen. Por otra parte, el principio de extensionalidad nos permite demostrar la unicidad de los conjuntos cuya existencia garantizan otros axiomas. AB (x(x A x B ) A = B ) Hemos expresado ya que el universo de conjuntos est formado exclusivamente por los elementos de los distintos niveles? [ V = V
Ord

En realidad, cuando se tiene el resto de los axiomas (1)-(6) y el axioma de separacin, se puede demostrar que el principio as expresado equivale al siguiente 7. Axioma de fundacin. Dicho principio dice que es una relacin bien fundada. Lo expresamos as: x(x 6= y (y x y x = ))

Captulo 7

Los Axiomas de Eleccin y Constructibilidad

Los axiomas presentados anteriormente permiten justicar que todos los elementos utilizados en la construccin de la Jerarqua de Conjuntos de Zermelo Fraenquel son conjuntos. Esos axiomas y la teora de conjuntos que se deriva de ellos se conoce como teora ZF. Existen extensiones de la teora ZF consistentes en aadir uno o varios axiomas a los de esa teora. Entre todas las extensiones slo nos ocuparemos ahora de las que se obtienen con dos axiomas en particular. El axioma de la eleccin y el axioma de constructibilidad.

7.1.

Axioma de la eleccin

Axioma de la eleccin: A( / A xy (x A y A x 6= y x y = ) B z (z A !v (v z B ))) Este axioma asegura la existencia de un conjunto B obtenido a partir de una coleccin cualquiera A de conjuntos no vacos y disjuntos dos a dos. De cada conjunto de A elije un nico conjunto para poner en B. Este axioma no se puede demostrar en la teora ZF, y si queremos asegurar la existencia de las llamadas funciones de eleccin o de la buena ordenacin de cualquier conjunto debe aadirse a los dems axiomas. La teora de conjuntos axiomtica resultante se conoce con las siglas ZFC (C del ingls Choice), y es la que en realidad se conoce como teora de Zermelo Fraenkel. Si ZFC es consistente todo lo que se demuestre en esta teora ser verdadero. Sin embargo, como consecuencia del teorema de Gdel no hay esperanza de poder demostrar la consistencia de la teora ZFC, ya que para demostrar su consistencia tendramos que hacer la prueba en una teora ms fuerte que ZFC, cuya consistencia sera an ms difcil de demostrar. Otro teorema de Gdel 35

36CAPTULO 7. LOS AXIOMAS DE ELECCIN Y CONSTRUCTIBILIDAD muestra que si ZFC fuera inconsistente tambin lo sera ZF. Por tanto slo es necesario suponer que ZF es consistente para asegurar tambin que ZFC lo es.

7.1.1.

Otras formulaciones del axioma de eleccin

De entre las numerosas formulaciones del axioma de eleccin, cabe destacar las siguientes: 1. Para cada relacin R hay una funcin f tal que f R y Dom(f ) = Dom(R). Esta formuacin la usamos para demostrar el criterio de exhaustividad para funciones. A saber, que una funcin f : A B es exhaustiva si y slo si hay una funcin g : B A que compuesta con ella produce la identidad sobre B. 2. El producto cartesiano de conjuntos no vacos es no vaco. 3. Para cada conjunto A hay una funcin f (llamada funcin de eleccin) tal que el dominio de f es el conjunto de los subconjuntos no vacos de A y tal que f (B ) B para cada B A. 4. Dado un conjunto A de conjuntos no vacos y disjuntos, hay un conjunto que tiene un elemento de cada conjunto de A. (Russell pone el famoso ejemplo de los calcetines. Dada una coleccin innita de pares de calcetines, el axioma de eleccin nos permite elegir uno de cada par. El problema se plantea con los calcetines, pero no con los zapatos, podemos elegir el izquierdo de cada par.)

7.1.2.

Importancia del Axioma de Eleccin

1. Equivale al principio del buen orden. AR(R bien ordena A). Este axioma asegura que es posible denir un buen orden en todo conjunto, y como todo conjunto bien ordenado es isomorfo a un ordinal, ser posible medir los conjuntos usando los ordinales. 2. Implica el Lema de Zorn. Todo conjunto ordenado en el que cada cadena posea cota superior, tiene elemento maximal. 3. El Lema de Zorn implica el Principio de Hausdor. En todo conjunto ordenado cada cadena puede extenderse a una cadena maximal

7.2.

Axioma de Constructibilidad

Cuando se deni la jerarqua de conjuntos de Zermelo Fraenkel {Va / Ord} usamos como nocin base la del conjunto de las partes de un conjunto

7.2. AXIOMA DE CONSTRUCTIBILIDAD

37

V+1 = P(V ) esto es, V+1 es el conjunto de todos los subconjuntos de V . Sin embargo la nocin de subconjunto no fue denida en realidad y cuando nos hacemos preguntas como qu es un subconjunto arbitrario del conjunto de los nmeros naturales y cuntos de ellos hay, no es posible responder sin determinar lo que se entiende por subconjunto. Podemos tomar como nocin de conjunto la de una coleccin descriptible por una frmula expresada en el lenguaje formal de la tera de conjuntos. De esta manera obtendremos los conjuntos necesarios en matemticas, excepto quizs los conjuntos indescriptibles provenientes del axioma de eleccin. ?? se puede redenir la jerarqua de conjuntos substituyendo la nocin de conjunto de las partes de un conjunto por la de conjunto descriptible de las partes de un conjunto. Indicaremos el nivel Ord de la jerarqua por la nueva notacin L . L0 = L+1 =todas las colecciones de elementos de L que son describibles con frmulas del lenguaje de la teora de conjuntos) Y cundo es un ordinal lmite: [ L+1 = L
<

Finalmente, la jerarqua constructible de Zermelo Fraenkel de todos los conjuntos es: S L= La

Ord

Axioma de Constructibilidad: L = V.

Se demuestra que la teora ZF ms el axioma de Constructibilidad garantiza la denicin de todos los niveles de la jerarqua constructible. Pero el axioma de Construcibilidad no se demuestra de ZF. La ventaja de aadir este axioma es que en ZF + (L = V ) es que podemos denir qu es un subconjunto y efectivamente construir la jerarqua, pero en esta teora el axioma de la Eleccin se deriva como un teorema. Teorema: En la teora ZF +(L = V ), cada conjunto puede ser bien ordenado.

La teora usualmente tomada como bsica es ZF C. Sin embargo es posible obtener muchos resultados matemticos slo con ZF. Por otro lado la teora de conjuntos constructible puede parecer ms natural y algunos matemticos

38CAPTULO 7. LOS AXIOMAS DE ELECCIN Y CONSTRUCTIBILIDAD lo hacen, aunque la jerarqua de conjuntos ms aceptada es V y el axioma de Constructibidad muy discutido, como tambin lo sigue siendo el de la Eleccin en muchos autores.

Captulo 8

Ejercicios
8.1.
1. 2. 3. 4. 5. 6.

Igualdad, Inclusin y Conjunto vaco

AB ((A B ) (B A)) A ((A ) (A = )) AB ((A B ) (B A)) AB ((A B ) ((B A))) ABC (((A B ) (B C )) (A C )) A (( A A))

Demustrese los siguientes teoremas de ZF.

8.2.
1. 2. 3. 4. 5. 6. 7. 8.

Operaciones: Algebra de conjuntos

ABC (((A C ) (B C )) ((A B ) C ))) ABC (((C A) (C B )) (C (A B ))) ABC ((A B ) C = (A C ) (B C )) ABC ((A B ) C = (A C ) (B C )) AB ((A B ) B = A B = A (B A)) AB ((A B ) B = ) ABC (A (B C ) = (A B ) (A C )) ABC ((A B ) C = (A C ) (B C )) 39

Prubese las siguientes propiedades en ZF.

40 9. 10. AB ((A B ) (A (B A) = B )) AB (A B = A (A B ))

CAPTULO 8. EJERCICIOS

8.3.
1.

Clases Unitarias, Pares y Dadas

xy (({x} {x, y }) ({x} = y ))

Demustrese que los siguientes axiomas se derivan de los axiomas.

2. Denamos h[x, y ]i = {{x, } , {y, {}}}. Demostrad lo siguiente: xyzv (h[x, y ]i = h[z, v ]i (x = z ) (y = v )) 3. Es siempre verdad que si {x, y, z } = {x, y.v } entonces z = v ?

8.4.
1. 2. 3. 4. 5. 6. 7. 8.

Conjunto Potencia (o Conjunto de las Partes de un Conjunto)

AB ((A B ) (PA PB )) P = {} P {} = { {}} PP = { {}} AB (P(A B ) ((PA PB ) {})) A ({, {}} PPPA) AB ((PA = PB ) (A = B )) xyA ((x A y A) (hx, y i PPA))

8.5.
1. 2. 3. 4. 5.

Gran Unin y Gran Interseccin

Axy (({{x} , {x, y }} A) (({x} , {x, y } \ xy ( {{x} , {x, y }} = {x}) [\ xy ( {{x} , {x, y }} = x) [ A) (x, y [[ A)))

Demustrese los siguientes teoremas.

\ xy ( hx, y i = {x})

\[ xy ( {{x} , {x, y }} = x y )

8.6. PRODUCTO CARTESIANO 6. 7. 8. 9. 10. 11. 12. xy ( xy ( [\ \S hx, y i = x)

41

[ [ AB ((A B ) ( A B )) A (A P( [ A)) [

hx, y i = x y )

AB ((A ((A A) (A B )) (

A B ))

AB ((A B ) (PA PP AB ((B 6= ) (A ( \

B )) \ {A x | x B}))

B) =

8.6.
1. 2. 3. 4. 5. 6.

Producto Cartesiano
ABC (A (B C ) 6= (A B ) (A C )) ABC (((A B = A C ) (A 6= )) (B = C )) [ [ AB (A B = {A z | z B})

Prubese que son verdaderas las propiedades siguientes en la teora ZF.

AB (A B = B A A = B A = B = ) \ \ AB (A B = {A z | z B}) AB (( \ (A B ) 6= ) (x (A = {x})))

8.7.

Relaciones Binarias

Demustrese que las siguientes propiedades sobre relaciones son teoremas de ZF. 1. 2. 3. 4. 5. 6. R (((R es una relacin)) (R * Dom R Rang R))) RS (Dom (R S ) 6= (Dom R Dom S )) RS (Rang (R S ) (Rang R Rang S )) RS (Rang (R S ) 6= Rang R Rang S ) RS (Rang (R S ) 6= Rang R Rang S ) RS (Rang (R S ) (Rang R Rang S ))

42 7. 8.

CAPTULO 8. EJERCICIOS RS ((R es relacin S es relacin xy (hx, y i R hx, y i S )) R = S) RS (R es relacin S es relacin xy (hx, y i R hx, y i S )) R S)

8.8.
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16.

Relacin Inversa, Producto Relativo y Restriccin

AB ((A B )1 = A1 B 1 ) AB ((A B )1 = A1 B 1 ) AB ((A B )1 = B A) AB (A/B es una relacin) AB (Dom(A/B ) Dom A) ABCD ( ((A B ) (C D)) (A/C B/D)) ABC (A/(B C ) = (A/B ) (A/C )) ABC (A/(B C ) (A/B ) (A/C )) ABC (A/(B C ) 6= (A/B ) (A/C )) AR (R A = (R (A Rec R)) ) ABC ( (A/(B C )) ((A/B ) (A/C )) )

ABR ( ((R A) (R B )) (A B ) )

RSA ( (R/S ) A = ((R A)/S ) )

ABR ( R (A B ) = ((R A) (R B )) )

ABR ( R (A B ) = ((R A) (R B )) )

ABR ( (A B ) ((R A) (R B )) )

8.9.
1. 2. 3. 4. 5.

Imagen bajo una Relacin y Relacin de Identidad

RAB ((A B ) (R [A] R [B ])) RAB ((R [A] B ) (R A R1 [B ] )

RA (R1 [A] = Dom (R (Dom (R A))) R ( (R es una relacin ) ((IDom R )/R = R)) Dom (IA = A = Rang IA = Camp IA )

8.10. PROPIEDADES DE CIERTAS RELACIONES

43

8.10.
1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

Propiedades de ciertas relaciones

R ((R es reexiva ) (ICamp R R)) R ((R es simtrica ) ((R1 )1 = R1 )) R ((R es transitiva ) (R/R R)) R ((R es irreexiva ) (R ICamp R = )) R ((R es asimtrica ) (R R1 = )) R ((R es antisimtrica ) (R R1 IDom R )) R ((R esta conectada ) ( ((Camp R Camp R) ICamp R ) (R R1 ) ) ) R ((R esta fuertemente conectada ) ( (Camp R Camp R) (R R1 ) ) ) R ((R es euclidea ) ((R1 /R) R)) R ((R es incestuosa ) ((R1 /R) (R/R1 )))

8.11.

Relaciones de Equivalencia

Prubese que las siguientes propiedades sobre relaciones de equivalencia son teoremas de ZF: 1. 2. R ((R es una relacin de equivalencia) ((xy (x, y CampR) (([x]R = [y ]R ) ([x]R [y ]R = )))) R ((R es una relacin de equivalencia ) ((R/R1 ) = R))

8.12.
1. 2.

Relaciones de Orden

R ((R es un orden lineal ) (R1 es un orden lineal)) Sea hA, i un conjunto parcialmente ordenado. Existe un conjunto Y de subconjuntos de A tal que hA, i = hY, i

8.13.
1. 2.

Funciones, Composicin

Demustrese los siguientes teoremas sobre funcciones en ZF. es una funcin f g ((f es funcin g es funcin Domf = Domf ) (f (x) = g (x))) f = g ) Domg x((x

44 3. 4. 5. 6. 7. 8. 9. f gA (((f g ) A) = (f (g A)))

CAPTULO 8. EJERCICIOS

f ( (f es funcin f 1 es funcin ) (f f 1 = IDom f 1 )) f ( (f es funcin ((f 1 f )(x) = x))) f 1 es funcin ) ((x((x Domf ))

f gh ((f g ) h = f (g h)) f g ((f es inyectiva g f ) (g es inyectiva)) f g ((f es inyectiva g es inyectiva Dom f Dom g = Rang f Rang g = ) (f g es inyectiva)) f g ((f es inyectiva g es inyectiva ) (f g es inyectiva))

8.14.
1. 2. 3.

Funciones de A en B

Demostrad lo siguiente: f ((f es funcin A Domf ) (f A es funcin f : A f [A] es exhaustiva)) f ((f : A B A 6= ) ( (f es inyectiva ) (g (g : B A g f = IA )))) f ((f : A B A 6= ) ( (f es exhaustiva ) (g (g : B A f g = IB ))))

8.15.

Induccin

Resulvanse los siguients ejercicios sobre induccun: Ejercicio 1. Hgase una conjetura para responder a las siguientes preguntas e intntese demostrarla por induccin. (a) Qu nmero es mayor : 2n1 o n! ? (b) Qu nmero es mayor: 2n o n2 ? (c) Cuntos subconjuntos de 2 elementos tiene un conjunto de n 2 elementos? (d) Cuntos subconjuntos de 3 elementos tiene un conjunto de n 3 elementos? (e) Cuntos subconjuntos de k elementos tiene un conjunto de n k elementos? Indicacin: Comprubese para cada conjetura cul es la situcin para n=1, n=2, n=3, n=4, n=5, n=6 o incluso para algn valor ms si fuera necesario. Una vez establecida la conjuetura la demostracin por induccin tiene dos fases:

8.15. INDUCCIN

45

(i) probar que la conjetura es vlida para el menor de los nmeros naturales n0 a que hace referencia (en (a) n0 = 1,(b) y (c) n0 = 0, pero en (c) n0 = 2, en (d) es n0 = 3 y en (e) es n0 = k ), esta fase habr sido ya probada en las comprobaciones para enunciar la conjetura; (ii) suponiendo que la conjetura es cierta para un nmero natural arbitrario p n0 probar que tambin lo es para p + 1.

Ejemplo: (a) Primero comprobamos para los valores de n menores cul es la situacin respecto a la pregunta que nos hacemos: Para n = 1 : por un lado 2n1 = 20 = 1 por otro lado n! = 1! = 1. Para n = 2 : por un lado 2n1 = 21 = 2 por otro lado n! = 2! = 2 1 = 2. Para n = 3 : por un lado 2n1 = 22 = 4 por otro lado n! = 3! = 3 2 1 = 6 Para n = 4 : por un lado 2n1 = 23 = 2 por otro lado n! = 4! = 4 3 2 1 = 24 Por tanto nuestra conjetura es P (n) = 2n1 n! para todo n 1. Ahora la demostramos por induccin: (i) La conjetura se cumple para n0 = 1, esto es P (1) es cierta. (ii) Suponemos que la conjeura es cierta para un cierto p 1, esto es P (p) = 2p1 p! es cierta (hiptesis de induccin). Ahora demostraremos que tambin se debe cumplir para p + 1 esto es, que P (p + 1) = 2(p+1)1 (p + 1)! es cierta. Demostracin: 2(p+1)1 = 2p = 2p1 2 p! 2 (usamos que 2p1 p!, la hiptesis de induccin). Por otro lado p 1 y por tanto p + 1 2, ?? que p! 2 p! (p + 1) = (p + 1)!. Como se quera demostrar. Ahora, aplicando el principio de induccin para los nmeros naturales: 2n1 n! para todo n 1 Soluciones: las soluciones a las conjeturas del ejercicio 1 son: (b) 2n n2 para todo nmero natural excepto para n = 3. Aqu podemos demostrar los casos particulares n = 0, n = 1, n = 2, n = 4 y de mostrar que la conjetura es vlida para n 4 por induccin. n(n 1) (c) Un conjunto de n 2 elementos tiene subconjuntos de 2 elementos. 2 n(n 1)(n 2) subconjuntos de 3 (d) Un conjunto de n 3 elementos tiene 3! elementos. n(n 1)(n 2) (n k + 1) sub(e) Un conjunto de n k elementos tiene k! conjuntos de k elementos. Ejercicio 2. Los siguientes resultados de la aritmtica natural son ciertos para todo n N. Demustrese por induccin. (a) 22n 1 es mltiplo de 3. (b) n2 n es par. (c) n3 n es mltiplo de 6. (d) n5 n es mltiplo de 30.

46

CAPTULO 8. EJERCICIOS

(e) np n es mltiplo de p para todo nmero primo p (Teorema pequeo de Fermat). Ejercicio 3. Demustrese que la expresin de la induccin dbil mediante frmulas generalizada (4) es equivalente a: Sea P (x) un predicado o propiedad del lenguaje de la teora de conjuntos especca para los nmeros naturales . Si se satisface: (i) P (n0 ) (ii) (k n0 )(P (n0 ) P (n0 + 1) P (k 1) P (k )) entonces (n n0 )P (n). Indicacin: considrese Q(k ) = P (n0 ) P (n0 + 1) P (k). Ejercicio 3. Utilcese la forma alternativa del principio de induccin del ejercicio anterior para demostrar que todo rbol formado por n aristas y m vrtices verica: m = n + 1 (tmese n0 = 1). (Un rbol es un conjunto de puntos (los vrtices) unidos por segmentos (las aristas) que no tiene ciclos y de manera que siempre hay un camino entre dos vrtices). Solucin: Consideremos P (n) : si un rbol tiene n aristas entonces tiene n + 1 vrtices. Queremos demostrar que P (n) es cierta para todo n . (i) P (1) es cierto: un rbol con una arista tiene dos vrtices. (ii) Supongamos que P (1), P (2), . . . , P (k 1) son ciertas (hiptesis de induccin). Queremos probar que entonces P (k ) tambin es cierta. Consideremos un rbol con k aristas. Si le quitamos una arista cualquiera, obtenemos dos rboles con k1 y k2 aristas tal que k1 + k2 = k 1 (por tanto con k1 , k2 k 1). Aplicando la hiptesis de induccin, los dos rboles ms pequeos tienen k1 + 1 y k2 + 1 vrtices respectivamente. Como al quitar una arista no se ha variado el nmero de vrtices, el arbol inicial tena k1 + 1 + k2 + 1 = k + 1 vrtices. Por tanto P (k) es cierta. Por el principio d induccin, P (n) es cierta para todo n 1. Ejercicio 5. Considrese la siguiente utilizacin del principio de induccin: Demostraremos por induccin que todo ser humano tiene el mismo nombre. En particular, probaremos que dada una coleccin de n personas, para cualquier n , todas las personas tienen el mismo nombre. La primera etapa es trivial, porque si n = 1 cualquier persona tiene el mismo nombre que ella misma. La hiptesis de induccin es que en toda coleccin de k personas, todas tienen el mismo nombre. Ahora consideremos una coleccin de k + 1 personas. Hacemos que marche una de estas personas. Por la hiptesis de induccin, las otras k personas tienen todas el mismo nombre. Ahora cambiamos la persona que est fuera por una

8.15. INDUCCIN

47

de estas k personas. Volvemos a obtener un grupo de k personas, que por la hiptesis de induccin, tienen el mismo nombre. Por tanto la persona que acaba de entrar se llama igual que el resto. ?? las k + 1 personas tienen el mismo nombre. Dnde falla la demostracin? Solucin: Consideremos la armacin P (n) = en toda coleccin de n personas, todas tienen el mismo nombre. - P (1) es cierto (a menos que consideremos que no iene sentido, pero eso no cambia nada). - Se puede ver fcilmente que P (2) no es cierta. - Tambin escierto que, para k 2, si P (k ) es cierta entonces P (k + 1) es cierta. Esta parte del razonamiento no tiene ningn error. Pero se est suponiendo que hay 2 o ms personas en la sala (es decir que k 2). Por tanto, aunque P (1) sea cierta, no sirve de nada, poque la induccin debera comenzar a partir de P (2) que no es cierta.

48

CAPTULO 8. EJERCICIOS

Captulo 9

Bibliografa
1. Devlin, K. The Joy of Sets. Springer-Verlag. New York. 1993. 2. Enderton, H. Elements of Set Theory. Academic Press. New York. 1977 3. Halmos, P. Naive Set Theory. Springer-Verlag. New York. 1974. 4. Suppes, P. Axiomatic Set Theory. Dover. New York. 1972.

49