APORTACIONES 1 3 MATEMATICAS TEXTOS NIVEL MEDIO TEORIA DE CONJUNTOS FERNANDO HERNANDEZ HERNANDEZ SOCIEDAD MATEMATICA MEXICANA 1998APORTACIONES ] MATEMATICAS il 3 NIVEL MEDIO TEORIA DE CONJUNTOS Una introduccion FERNANDO HERNANDEZ HERNANDEZ SEGUNDA EDICION SOCIEDAD MATEMATICA MEXICANA 2003 Sexagésimo Aniversario eeeContenido Prefacio vii 1 Introduccién Histérica al 2 Axiomas de la Teoria de Conjuntos ic 2.1 Propiedades. 2... 2. eee 7 22 bos aomas 9 3 Algebra de Conjuntos 23 3.1 Operaciones Fundamentales .. 1... ..-....2000005 23, 3.2 Producto Cartesiano 29 3.3 Familias de Conjuntos 34 4 Relaciones y Funciones 43 41) Relacione 43 4.2 Funciones 49 4.3. Productos Cartesianos Arbitrarios 63 4.4 Equivalencias y Particiones 69 4.5 Ordenes .... ce 4.6 Sobre Clases. . 92 5 Los Nimeros Naturales 5.1 Introduccién . . 5.2 Propiedades de los Niimeros Naturales 5.3 El Teorema de Recursién 5.4 Aritmética de los Nuimeros Naturales. ...-.....---.- 6 La Extensidén de los Naturales a los Reales 6.1 6.2 6.3 6.4 Diferencias Los Enteros . . Los Racionales . - Sucesiones de Cauchy de Numeros Racionales . .ii Contenido 65 te Ree 138 7 Cardinalidad 149 ql ineduccion 149 72 Conjunto Mint 150 7.3 Cardinalidad en Conjuntos Infinitos .. 154 7.4 Conjuntos Numerables .. 0... . . 156 7.5 Niimeros Cardinales ........ 161 6 Aritmetics Cardinal = . 2. 164 7] BCotmie 169 8 El Axioma de Eleccién 175 8.1 Introduccién . 175 8.2 El Axioma de Bleccién...... in 8.3 Cuatro Equivalencias Importantes | isl 8.4 Uso del Axioma de Elecci 7 igs 8.5 El Teorema del Ideal Primo . | 100 8.6 Otras Proposiciones: Relacionadas .. 210 8.7 Matemiticas sin Hleccién. . 214 9 Ordinales 217 Ol tiuoduccton 217 9.2 Niimeros Ordinales . . 218 93 El Axioma de Reemplazo . . 200 9.4 | or 95 |) 230 9.6 Orndinales Iniciales y Alephs fn 245 67 Sumay Muluplicacion de Aleph 250 10 Teoria de Cardinales 255 10.1 Nuimeros Cardinales y el Axioma de Eleccién .... . . ft 255 10.2 Sumas y Productos Infinitos . . . . . .. 260 10.3 Cardinales Regnlares y Singular¢ .. 266 10.4 La Hipétesis Generalizada del Contino 0.0... | i 10.5 La HGC y los Niimeros Cardinales 20.0.0. . .. 275 10.6 Medicas y Cardinales, .. 281 10.7 Cardinales: Medibles . 286 10.8 Otros Cardinales Grande: - 288Contenido iii 11 Dos Tépicos Especiales 297 11.1 El Problema de Souslin . . 297 11.2 El Axioma de Martin. . . 11.3 Equivalencies del Axioma de a A. Axiomas de Zermelo-Fraenkel 319 B Axiomas Bernays-Gédel 321 © Axiomas Adicionales 323 Bibliografia 329 Indice 337Teoria de Conjuntos Cada cuerpo tiene su armonia y su desarmonfa en algunos casos la suma de armonias puede ser casi empalagosa en otros el conjunto de desarmonias produce algo mejor que la belleza Mario Benedetti Viento del BxitioPrefacio Casi todos los libros de matematicas hablan de conjuntos y estan libremente salpicados de extrafios simbolos como €, C, U, M, 0. P. R. Halmos apunta en el ya clésico Naive Set Theory: “Los mate in de acuerdo en que cada uno de ellos debe saber algo de Teorfa de Conjuntos; el desacuerdo comienza al tratar de decidir qué tanto es algo”. Hay motivos bien fundamentados detras de esta obsesién por los conjuntos. La 'Teorfa de Conjuntos es un lenguaje. Sin ella, no sélo es imposible hacer matemiaticas, sino que ni siquiera podemos decir de qué se trata ésta. Es lo mismo que intentar estucliar literatura francesa sin saber algo de francés. Hewitt y Stromberg en su libro Real and Abstract Analysis dicen: “Desde el punto de vista de un légico, las mateméaticas son la ‘Teoria de Conjuntos y sus consecuencias”. La Teorfa Intuitiva de Conjuntos funciona bien para los primeros cursos de matematicas (Calculo, Algebra, entre otros), pero definitivamente para los cursos de mateméticas superiores es muy conveniente contar con una Teoria de Conjuntos sdlida pues, de hecho, nociones como las de cardinalidad o apli- caciones del Axioma de Eleccién son fundamentales y, en ocasiones, indispen- sables en tépicos especializados del Analisis, Algebra, Topologfa, ete. En este texto se presenta la Teorfa de Conjuntos basada en la Axiomdi- tica de Zermelo-Fracukel con eleccin (ZFC) tr de formalismo ldgico. Una justificacion para optar por la axional Zermelo-Fraenkel (ZF) es que ésta es la més apropiada para un primer en- cuentro con la Teorfa de Conjuntos y lo més importante es que, como vere- mos, los mimeros reales, sus operaciones aritméticas y las demostraciones de sus propiedades pueden ser expresados a partir de los axiomas de Zermelo- Fraenkel. Pero no sdlo el sisterna de los ntimeros reales encuentra sustento en la Axiomética de Zermelo-Fraenkel, la mayor parte de las matematicas contemporéneas (posiblemente la tinica excepcién es la Teoria de Categorias) puede desarrollarse dentro de la Teoria de Conjuntos asi axiomatizada. Por ejemplo, los objetos fundamentales de Topologia, Algebra o Anélisis (espa- cios topolégicos, espacios vectoriales, grupos, anillos, espacios de Banach) son apropiadamente definidos como conjuntos de una clase especifica. Propiedades topoldgicas, algebraicas 0 analiticas de estos objetos son entonces derivadas a tando de requerir cl minine cin deviii Prefacio partir de las propiedades de conjuntos, las cuales se pueden obtener usando los axiomas ZFC. En este sentido, la Teoria de Conjuntos asi axiomatizada sirve como una fundamentaci6n satisfactoria para otras ramas de la matematica. Una consulta rapida al contenido analitico sera suficiente para enterarse de cual es el material que se expone en este texto y cémo est organizado este material. Sin embargo, son convenientes algunos comentarios. En primer lugar, en el Capitulo 2, la nocién de propiedad se da de manera intuitiva y se introducen los primeros axiomas del sistema ZF. En el Capitulo 6, la extensién. de los ntimeros racionales a los niimeros reales se hace estableciendo clases de equivalencia de sucesiones de Cauchy, en lugar del método clasico que utiliza cortaduras de Dedekind (que también se expone brevemente en el Capitulo 11). El Capitulo 8, que trata del Axioma de Eleccién, contiene mucha informacién, en especial, las Secciones 8.4 y 8.5 incluyen ejemplos que posiblemente no sean accesibles a todos los lectores; en particular, las demostraciones de éstos estén destinadas a aquellos lectores con mayor conocimiento y madurez matematica. El propésito de incluir toda esta informacién es el de mostrar las vastas apli- caciones de dicho axioma en diversas areas de la Matematica. La exposicién del material dedicado a los ntimeros ordin pospone hasta después del Axioma de Eleccién por considerar a é importante, aunque por ello se sacrifique un poco el seguimiento de la exposicién de los conceptos de cardina- lidad; ademas de que es necesario dicho axioma en algunas proposiciones im- portantes que se refieren a mimeros ordinales. El Capitulo 10 contiene tépicos especializados de Teoria de Cardinales y es deseable cubrir la mayor parte de él. Las dos tiltimas secciones de este capitulo requieren de los conceptos de ideales y filtros (para el caso especial del Algebra Booleana P(X)) expuestos en la Seccidn 8.5. Por tiltimo, el Capitulo 11 puede considerarse optativo, el material que ahi se presenta es para aquellos lectores con mayor interés en la Teoria de Conjuntos o ramas afines como la Topologia. Cabe mencionar que las secciones 11.2 y 11.3 estan basadas en las notas de clase del curso sobre forcing que el Prof. Oleg G. Okunev impartié en la Facultad de Ciencias de la UNAM en el segundo semestre de 1997. Por lo regular las secciones estan seguidas de una lista de ejercicios. En pocas excepciones, los ejercicios no se refieren a los conceptos tratados en el texto. Hay varios tipos de ejercicios, algunos rutinarios y otros més dificiles, los cuales frecuentemente estan acompajiados con sugerencias para su solucién. Los ejemplos en el texto sdlo ocasionalmente son desarrollados con todo detalle. La verificacién de que un ejemplo tiene las propiedades deseadas se deja como ejercicio (usualmente facil) para el lector. ste ma