TEORIA DE CONJUNTOS y temas afines SEYMOUR LIPSCHUTZ, Ph. D. Associate Professor of Mathematics Temple University TRADUCCION ¥ ADAPTACION Jess Mania Castaso Profesor de Mateméticas ela Uncersdad del Valle, Colombia ‘Con fz colaborasién de Ewitio Roaeno MoNeapa Profesor del Centro de Estudos Unizerstarios, 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 ascrita del editor, DERECHOS RESERVADOS © 1991-1964, respecto a la primera adicién en espanol por McGRAW-HILUINTERAMERICANA DE MEXICO, S, A, de C. V. Atlacomulco 499-501, Frace. Ind. San Andrés Atoto 53500 Naucalpan de Juarez, Edo. de México Miembro ce la Gamara 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 7890129458 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 funcidn y relaci6n. Este texto, que no es un tratado riguroso, axiomatieo, de la teoria de conjuntos, se divide en tres partes, de tal manera que, sin perturbar la exposicidn légica 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 funcidn y de relacién. La Parte IT desarrolla la teoria de los nimeros cardinales y de los ordinales, a la manera clésica 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 I1] abarca temas que, por lo comin, se presentan asociados a la teoria elemental de conjuntos, _Naturalmente, Ia exposicién peculiar de ciertos temas acus 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 enunciados 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 fesencial para el aprendizaje eficaz, Numerosas demostraciones de teoremas y de consecuencias 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 ¢l 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 cstimular un ulterior interés en los temas. Damos a continuacién Ia referencia de Jos textos que sugerimos para consulta. Los de Halmos y Kamke se recomiendan especialmente como lectura auxiliar en Ja Parte I. Bourbaki, N., Theorie des Ensembles, Hermann, Paris, 1958 Halmos, P. R., Naive Set Theory, Van Nostrand, 1960 Hausdorff, F., Set 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 '@ Real Variable, Caps. 1, 2, 14, Ungar, 1958 Deseo aprovechar esta oportunidad para agradecer a muchos de mis amigos y colegas sus valiosas sugerencias y la revisiém critica del manuscrito. Hago extensivo mi agradecimiento, de manera particu- Jar, al personal de la Schaum Publishing Company por su excelente colaboracién. Seymour Lipschutz @bUYSNota del traductor El lenguaje de las matemdticas se internacionaliza cada vez mas, haci¢ndose mas preciso, mas exacto y menos propenso a ambigiledades. El simbolismo perfeccionado y la nomenclatura, aceptados por todos, harin realidad muy pronto el que se pueda leer un texto matemitico 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 espaiiola, poniéndolas més acordes con lo que hoy es de uso mas autorizado y universal. Asi, por ejemplo, se introducen las expresiones winyectivan y «so- breyectivan, para designar las funciones que antes se llamaban ven» y «sobre», en su desafortunada traduecidn del inglés. Las sobredichas expresiones ya se van adoptando universalmente; Van der Waerden as emplea en la séptima edicién de su Algebra (1966); McLane y Birkhof las introducen en su hbro de Algebra (1967). Para evilar sentidos equivocos de un mismo vocablo, se ha optado, definitivamente, por Tamar «ceciproca» a la funcién que atin muchos llaman inversa, con manificsta impropiedad ; inverso, se ha reservado para el simétrico multipticativo. Se adoptan asimismo los nombres «mayorante» y «amino- ranten, para lo que se denominaba antes cota superior o cota inferior, respectivamente. En cuanto a Jos simbolos, solo se ba eambiado la notacion de los intervalos abiertos: Ja, 6[ y no (2, 6), que es ambigua —se confundiria con par de clementos (a, 6}—; la del conjunto R, dé los mime- ros reales (no R?, imitilmente recargada), No parece adccuado utilizar igual tipografia para las rela~ ciones que son conjuntos de pares, y para los conjuntos corrienies; ast que se ha preferido la inglesa y no R, que cs lo que obligaba al uso del signo volado para denotar los reales. No hay para qué distinguit entre «conjuntos enumerablesm (infinitos) y «contables» (finitos), pues los finitos son siempre partes de conjuntos enumerables ¥, por tanto, son enumerables. Hoy se tiende aconsiderar «enumerable» como sinénima de sinfiniton, con la propiedad deser enumerable: asi, Garsoun, Analise (1968).Capitulo 1 Tabla de materias Parte I Teoria elemental de conjuntos CONJUNTOS Y SUBCONJUNTOS seaagese de Conjuntos, Notacién. Conjuntos fnitos ¢ infnitos, Igualdad de conjuntos, Conjun- to vacio. Subconjuntos. Subconjunto propio. Comparabilidad. Teorema y demos. trscién. Conjuntos de conjuntos. Comumto universal. Conjunto poteneia. Conjuntos disjuntos, Diggramas de Ven-Euler. Diagramas hneales. Desarrollo axiomatico de la teoria de conjuntos, Capitulo 2 OPERACIONES FUNDAMENTALES CON CONJUNTOS Operaciones con conjuntos. Unidn. Interseovidn, Diferencis. Complemento. Ope ruciones con conjuntos comparables. 0 Capinuio a CONJUNTOS DE NUMEROS. Conjunics de nioisios: Nacperos male Biers Niiveros nicioules. Nikueroe naturales, Numeros itracionales. Diagratua lineal de los sistemas nunericos. Deci- ‘males y nimeros reales. Desigualdades, Valor absoluto. Intervalos. Propieades de Jos intervals. Intervalos infinitos. Conjuntos acotados y no acotados conta (4) C FUNCIONES, . f Defisicidn, Aplicaciones, speradores, wafslrmaciones, Funclones iguales. Domi- rio de imgenes de una funciin. Funciones myectivas. Funciones sobreyectivas Funcion idéntica. Funciones constantes, Funcién producto composicién. Asociati- vided de productos de funciones. Imagen reciproca de una funcién. Funcién reei= proca, Teorema sobre la funcisn reciproca 45 Capitulo % CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES. Pars ordenados. Conjunto producto. Diagramas de coordenadas. Grafo de una fuuncion, Grafos ¥ diagramas de coordenadas. Las funciones come conjuntos de pares ordenades. Conjuntos productos yeneralizados. aid RELACIONES. wa Enuncindos formals. Relaciones. Conjuntes de soluciGn y grafos de reacioncs. Relaciones como conjuntos de pares ordenadas. Relaciones reciprosas. Relaciones reflexivas. Relaciones simétricas. Relaciones antisimétricas. Relaciones transitives, Relaciones de equivalencis, Dominio de defnicién y dominio de imégenes de una rlacién, Relaciones y furciones. 81 Capitulo < COMPLEMENTOS A LA TEORIA DE CONJUNTOS.. , Algebca de conjunlos. Principio de dualidad. Conjuntes sndizados, Operaciones igeneraliadas. Particiones. Relaciones de cquivalencia y pattciones. 104 Capinuta 8 COMPLEMENTOS A LA TEORIA DE FUNCIONES, OPERA- CIONES. 3 oe : Funciones y diagramas’ Funciones de conjunto, Funciones ouméricas reales. Ae sebra de iis funciones numericas reales. Reglt del maximo domino, Funciones aracterisveas, Funciones de elecciéa, Operaciones. Operaciones commutat Gpersciones asoviativas Operuciones distbutives, Elemento neutro. Elementos siméuroos. Operaciones y subsonjuntos 116