TEORIA DE CONJUNTOS y temas afines SEYMOUR LIPSCHUTZ, Ph. D. Associate Professor of Mathematics Temple University TRADUCCION ¥ ADAFTACION Jess Mania CastaSo Profesor de Mateméticas 1 la Uncersidad del Valle, Colombia Con ta colaboracién de Ewitio RoaLen0 MoNcADA Profesor del Centro de Estudos Unicerstarios, Madrid . McGRAW-HILL MEXICO * BUENOS AIRES + CARACAS * GUATEMALA LISBOA » MADRID * NUEVA YORK * PANAMA » SAN JUAN SANTAFE DE BOGOTA + SANTIAGO » SAO PAULO. AUCKLAN * HAMBURGO + LONDRES + MILAN * MONTREAL NUEVA DELHI * PARIS * SAN FRANCISCO + SINGAPUR, ST. LOUIS * SIDNEY * TOKIO * TORONTOTEORIA DE CONJUNTOS Y TEMAS AFINES Prohibida la reproduccién total 0 parcial de esta obra, por cualquier medio, sin autorizacién escrita del editor. DERECHOS RESERVADOS © 1991-1964, respecto a la primera adicion en espanol por McGRAW-HILUINTERAMERICANA DE MEXICO, S. A, de C. V. Atlacomuleo 489-501, Frace. Ind. San Andrés Atoto 53500 Naucalpan de Juarez, Edo. de México Miembro ce la Camara Nacional de la Industria Editorial, Reg. Nim. 1890 ISBN 968.422.926.7 Traducide de la primera edicidn en inglés de SCHAUM'S OUTLINE OF SET THEORY AND REALTED TOFICS Copyright © MGMLXIV, by McGraw-Hill, Inc., U. 8. A. ISBN 0.07-037986-6 7890123458 PEs 9087543218 Impreso en Chile Printed in Chile Se tiraron 1500 ejempleres Editora e Imprenta MAVAL S.A.Prélogo La teoria de conjuntos se encuentra en los fundamentos de la matemitica, que, explicita o impli citamente, en todas sus ramas, utiliza conceptos de la citada teoria, tales como los de funcién y relacién, Este texto, que no es un tratado riguroso, axiomatico, de la teoria de conjuntos, se divide en tres artes, de tal manera que, sin perturbar la exposicidn ldgica de los conceptos, resulta tanto més util ‘como texto o como libro de consulta, a distintos niveles. La Parte I contiene una introduccién a las ope- raciones clementales con conjuntos y un estudio detallado de los conceptos de funcién y de relacién. La Parte II desarrolla la teoria de los niimeros cardinales y de los ordinales, a la manera clisica de Cantor; trata también de los conjuntos parcialmente ordenados y del axioma de eleccién y sus equivalentes, incluyendo el lema de Zorn. La Parte IT] abarca temas que, por lo comiin, se presentan asociados a la teoria elemental de conjuntos. _Naturalmente, la exposicién peculiar de ciertos temas acusa la influencia de las preferencias del autor; asi, por ejemplo, introduce las funciones antes que las relaciones-y no las define al principio como conjuntos de pares ordenados. Cada capitulo comienza con enuncidos claros de oportunas de- finiciones, principios y teoremas, junto con material aclaratorio y descriptivo: a esto sigue una rela- cién de problemas de creciente dificultad, unos resueltos y otros solo enunciados. Los primeros ilus- tran y amplfan la teoria, poniendo de relieve aquellos detalles sin los cuales e] estudiante se siente cons- tantemente en terreno inseguro y que a la vez dan lugar a la repeticién de los principios bésicos, tan esencial para el aprendizaje eficaz, Numerosas demostraciones de teoremas y de consccuencias de los resultados fundamentales quedan incluidas en muchos de los problemas resueltos. Los enunciados suponen una revisién completa del material de cada capitulo. Se estudian aqui muchos de los aspectos que no pueden abarcarse en el programa de la mayoria de los primeros cursos, con el propésito de hacer el libro mas variado, para que sea més util su consulta Y para estimular un ulterior interés en los temas. Damos a continuacién Ia referencia de los textos que sugerimos para consulta. Los de Halmos y Kamke se recomiendan especialmente como lectura auxiliar en la Parte I. Bourbaki, N., Theorie des Ensembles, Hermann, Paris, 1958 Halmos, P. R., Naive Set Theory, Van Nostrand, 1960 Hausdorff, F., Ser Theory, Chelsea, 1957 Kamke, E., Theory of Sets, Dover, 1950 Kuratowski, C., Introduction to Set Theory and Topology, Addison-Wesley, 1962 Natanson, I. P., Theory of Functions of'a Real Variable, Caps. 1, 2, 14, Ungar, 1955 Deseo aprovechar esta oportunidad para agradecer a muchos de mis amigos y colegas sus valiosas sugerencias y la revisidn-critica del manuscrito. Hago extensivo mi agradecimiento, de manera particu- lar, al personal de la Schaum Publishing Company por su excelente colaboracién. Seymour Lipschutz eouyNota del traductor El lenguaje de las mateméticas se internacionaliza cada vez més, haciéndose mas preciso, mas exacto y menos propenso a ambigiledades. El simbolismo perfeccionado y la nomenclatura, aceptados por todos, hariin realidad muy pronto el que se pueda leer un texto matemiitico sin apenas conocer la lengua de expresién de su autor Por esto, y buscando justamente la precisién, ha parecido aconsejable modificar ligeramente le nomenclatura y notacién de este libro en su versidn espafiola, poniéndolas més acordes con lo que hoy es de uso mas autorizado y universal. Asi, por ejemplo, se introducen las expresiones «inyectivan y «so- breyectiva», para designar las funciones que antes se llamaban wen» y «sobre», en su desafortunada traduecidn del inglés. Las sobredichas expresiones ya se van adoptando universalmente; Van der Waerden Jas emplea en la séptima edicién de su Algebra (1966); McLane y Birkhof las introducen en su hbro de Algebra (1967) Para evitar sentidos equivocos de un mismo vocablo, se ha optado, definitivamente, por amar «ceciprocay a la funcién que atin muchos llaman inversa, con manifiesta impropicdad; inverso, se ha reservado para el simétrico multipticativo. Se adoptan asimismo los nombres «mayorante» y «mino- ranten, para lo que se denominaba antes cota superior o cota inferior, respectivamente. En cuanto a Jos simbolos, solo se ha cambiado la notacion de los intervalos abiertos: Ja, 6[ y no (a, 6), que es ambigua —se confundiria con par de elementos (a, 6}—; la del conjunto R, dé los mime- ros reales (no R*, initilmente recargada). No parece adecuado utilizar igual tipografia para las rela~ ciones que son conjuntos de pares, y para los conjuntos corrientes; asi que se ha preferido la inglesa y no R, que cs lo que obligaba al uso det signo volado para denotar los reales. No hay para qué distinguit entre «conjuntos enumerables» (infinitos) y «contables» (finitos), pues, los finitos son siempre partes de conjuntos enumerables y, por tanto, son enumerables. Hoy se tiende aconsiderar «enumerable» como sindnimo de sinfinito», con la propiedad deserenumerable:asi, Garsoux, Analise (1968).Capitulo I Tabla de materias Parte I Teoria elemental de conjuntos CONJUNTOS ¥ SUBCONJUNTOS swavaesehea Conjuntos, Notacién. Conjuntos finitos ¢ infinitos. Igualdad de conjuntos. Conjun- 1 vacio. Subconjuntos. Subconjunto propio. Comparabilidad. Teorema y demos tracién. Conjuntos de conjuntos. Conjunto universal. Conjunto patencia. Conjuntos digjuntos. Diagramas de Vena-Euler. Diagramas hneales. Desarrolle axiomatico de la teoria de conjuntos. Pag. Capitulo 2 OPERACIONES FUNDAMENTALES CON CONJUNTOS. Operacions con conjuntos. Unidn. Interseecién. Diferencia. Complemento. Ope raciones con conjuntos comparables. 0 Capitulo CONJUNTOS DE NUMEROS. Conjntda.ninieras. Notuoros’ jake Eblatsus Nimmetatacorislc: Niéueroe posturales. Numeros irracionales. Diagraima lincal de los sistemas nuvnericos. Deci- ‘males y nimeros reales. Desigualdades. Valor absoluto. Intervalos. Propiedades de los intervalos. Intervalos infinitos. Conjuntos acotados y no acotados Capitulo FUNCIONES, : . Définicién. Aplicaciones, operadores, tnsformaciones. Funciones iguales. Domi- rio de imagenes de una funciin. Funciones imyectivas. Funciones sobreyectivas Funcion idéntica. Funciones constantes. Funcion producto composicién. Asociati- vidad de producios de funciones. Imagen reciproca de una funcién. Funcién reei= roca, Teorema sobre la funcisn reciproca 45 Capitulo CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES. Pares ordenados. Conjunto producto, Diagramas de coordenudas. Grafo de una funcién. Grafos y diagramas de coordenadas. Las funciones como conjuntos de pares ordenades. Conjuntos productos yeneralizados. RELACIONES. é Enunciados formals Relaciones, Conjuntos de solucion y grafos de relaciones. Relaciones como conjuntos de pares ordenadas. Relaciones reciprosas. Relaciones reflexivas, Relaciones simétricas. Relaciones antisimécricas. Relaciones transitivas Relaciones de cquivalencia, Dominio de defnicién y dominio de imégenes de una ralacién, Relaciones y furcioees. Bt Capitulo 7 COMPLEMENTOS A LA TEORIA DE CONJUNTOS.. ' Algebca de conjuntos. Principio de dualidad. Conjuntos indizados. Operaciones igeneraliradas. Particiones. Relaciones de cquivalencia y patticiones 104 Capinuta 8 COMPLEMENTOS A LA TEORIA DE FUNCIONES, OPERA- CIONES 19a : Funciones y diagramas, Funciones de conjunto, Funciones numérica reales. Ae gcbra de las funcones numercas reales Regla del méximo domino. Funciones aracterisicas. Funciones de etcsiés, Operacones. Operaciones ‘conmutti.s Operaciones asaeibivas. OpeTicones disibutvas. Elemento acute. Elementes simézrcos. Operacionesy subconntos 116