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Capieato Parte Ii Cardinales, ordinales, induccién transfinita NUMEROS CARDINALES. ee et... Conjuntos equipotentes. Conjuntos enumerables. El continuo. Ndi cardinal Aritméties cardinal. Desigualdades y numeros eardinales. Teorema dz Cantor. Teorema de Schroder-Berostein, Hipétesis del continuo, Pag. 4 Capitulo 10 CONJUNTOS PARCIAL Y TOTALMENTE ORDENADOS. Conjuntes patcialmente ordenados. Conjuntos totalmente ordenados. Subconjun- tos de conjuntos ordenados. Subconjuntos totalmente ordenados. Primero y iltimo elementos. Elementos maximal y minimal, Mayorantes y minorantes. Conjuntos isomorfos. Tipos ordinales. 150 Capitulo dl CONJUNTOS BIEN ORDENADOS. NUMEROS ORDINALES. Conjuntos bien ordenadios. Induccidn transfinita, Elementos limite. Seccién inicial Tsomerfismo entre un conjuato bien ordenado y sus subconjuntos. Comparacion de conjuntos bien ordenados. Numeros ordinales. Desigualdades y numcros ordi- rales, Adiadn ordinal, Multiplicacién ordinal. Estructura de fos atimeros ordinales. Consteuccion ausiliar de los niimeros ordinales. 166 Capitolo Rn AXIOMA DE ELECCION. LEMA DE ZORN. TEOREMA DE LA BUENA ORDENACION. Productos eartesianos y funciones de eleccién, Axioma de eleeeidn. Lema de Zorn. ‘Teorema de la buena ordenacion. Nimeros cardinales y ordinales. Alefs 179 Capitulo Capitulo M3 PARADOJAS DE LA TEORIA DE CONJUNTOS. Tit 56, 3 Nk on confunes(peet oa Russell. Conjunto de todos los niimeros ordinales (paradoja de Burali-Forti). Con- Jjunto de todos las nimeros cardinales. Familia de todos los conjuntos cquipotentes ‘un conjuinto, Familia de todos los conjuntos isomorfos a un conjunto bien ordenado. Parte Ul Temas anexos ALGEBRA DE PROPOSICIONES. Enunciados. Conjuncion, Disyuncidn, Negacion. Condicional Bicondiciona. Poli- ‘nomios y polinomios boolianos. Proposiciones y tablas de verdad. Tautologias y contradiccién. Equivalencia Idgica. Algebra de proposiciones. Implicacién Iogica, Enunciados ldgicamente verdaderos y ldgicamente equivalentes. 185 187 Capieulo 15 CUANTIFICADORES. maar astoe 4 Funciones Idgicas y conjuntos de validez. Cuantificador universal. Cuantificador ‘existeacial. Negacion de proposiciones que contienen cuantifadores. Contra: ejemplo. Notacion. Funciones légicas que contienen més de una variable. 208 16 ALGEBRA BOOLIANA Definiciéa, Dualidad en ua algebra boolana. Teoremas fandamentales. Owden de un dlgebra booliana. Disefios de circuitos conmutadores 26 Capitulo 7 RAZONAMIENTO LOGICO ‘Argecventon,Acgumsecs y diagno Vou: ATggERO RT WTCOGS. A gumentos y cuantficadores. Enunciados condicionales y variaciones. INDICE........ 25 m2Parte I: Teoria elemental de conjuntos | Capitulo 1 Conjuntos y subconjuntos CONJUNTOS: El concepto de conjunto es fundamental en todas las ramas de la matemética. Intuitivamente, un conjunto es uns lista, coleccién 0 clase de objetos bien definidos, objetos que, como se vera en los ¢jemn- plos, pueden ser cualesquiera: nimeros, personas, letras, rios, ete, Estos objetos se llaman elementos © miembros del conjunto Si bien los conjuntos se estudian como entidades abstractas, enurheremos diez ejemplos par- ticulares de conjuntos. Ejemplo 1-1: Los numeros 1, 3, 7 y 10 Ejemplo Las soluciones de ta ecuacién x? — 3x — Ejemplo Las vocales del altabeto: a, &, i, 0, Ejemplo Las personas que habitan la Tierra Ejemplo Los estudiantes Tomas, Ricardo y Enrique. Ejemplo Los estudiantes ausentes de la escuela. Ejemplo Los paises Inglaterra, Francia y Dinamarea Ejemplo Las ciudades capitales de Furop Ejemplo Los nimeros 2, 4. 6. 8 Los ios Ge los Estados Unidos Ejemplo Nétese que los conjuntos de Jos ejemplos impares vienen definidos, 0 sea presentados, enumeran- do de hecho sus.clementos, y que los conjuntos de los ejemplos pares se dehnen enunciando propiada des, 0 sea reglas, que deciden si un objeto particula. es 0 no elemento del conjunto. NOTACION Es usual denotar los conjuntos por lettas mayiisculas A BX Y.. Los elementos de los conjuntos se representan por letras minusculas a boxe Al definir un conjunto por la efectiva enumeracin de sus elementos, por ejemplo. el 4, que consiste en los nuimeros 1, 3, 7 y 10. se eseribe A=M. 47.10) sepzrando los elementos por comas y encerrindolos entre Haves { }. Esta es la Hamada forma tabular de un conjunto, Pero si se define un conjunto enunciando propicdades que deben tener sus elementos como, por ejemplo, el B, conjunto de todos los nimeros pares, entonees se cinplea una letra, por lo general x, para representar un elemento cualquiera y se escri B= |x| x es par} lo que se lee «B es el conjunto de los numeros x tales que es ary. Se dice que ésta es Ix forms de definicién por comprensidn 0 consirueriva de un conjunto, Tengase en cuenta que la barra vertical «|» se lee «tales quer aru aclarar el empleo de la anterior notacién, se escriben de nuevo los conjuntos de los Ejemplos 1-1 al 1-10, designando los conjuntos por 4, Az. +... Ayo. Fespectivamente. I2 CONIUNTOS Y SUBCONIUNTOS fear. Ejemplo 21: 4, (1,37, 10} Bjemplo 22: 4, = fx |x? — 3x —2 = 0} Bjemplo 23: 4, = f2, €, 4 0, ut Ejemplo 2-4 x | es una persone que hobita en la Tierra} Ejemplo 25: (Tomas, Ricardo Enrique) Ejemplo 26: {x | xes estudiamte y x estd ausente de Ia escuela Ejemplo 2-7: {Inglaterra, Francia, Dipamarca} Ejemplo 28: 4, = (x|.x es una ciudad capital y x esté en Europa} 2.4.6, 8...) fe] es un rio y x estd en los Estados Unidos! Si un objeto x es elemento de un conjunto A, es decir, si A contiene a x como.uno de sus elemen- 10s, se eseribe xed que se puede leer también «x pertenece a Ay-o «x esti en An. Si por el contrario, unrobjeto x no es ele- mento de un conjunto 4, es decir, si 4 no contiene a x entre sus elementos, se éscribe xed Es costumbre en los escritos matemiticos poner una linea vertical «[» u oblieua «/> tachando un simbo- Jo para indicar fo opuesto o la negacidn del significado del simbolo. Ejemplo 3.4: Si A = fa, e, i, 0, ul, entonces aed, BEA, #64. SEAL Kjemplo 32: Si @ = {x |x es par], entonces 378, 608, HEB, eB. CONJUNTOS FINITOS FE INFINITOS Los conjuntos pueden ser fintios o infinitos. Intuitivamente, un conjunte €s finito si consta de un cierto mimero de elementos distintos, es decir, si al contar los diferentes elementos del conjunto cl pro- ceso de contar puede acabar. Si no, el conjunto es infinito, Posteriormente se daré una definicién precisa de conjuntos infinito y finito, Ejemplo 4-1: Si Mf es el conjunto de los dias de la semana, entonces Af es finito. Ejemplo 4.2: SiN = (2, 4, 6 8, ...), Nes infinito, Ejemplo $3: Si P = {x |x es un rio de I Tierra}, P es también fnito aunque sea dificil contar los rios del mundo, IGUALDAD DE CONJUNTOS El conjunto A es igual al conjunto B si ambos tienen los mismos elementos, es decir, si cada ele mento que pertenece a A pertencce también a B y si cada elemento que pertenece a B pertenece tam- bien a 4. Se denota la igualdad de los conjuntas 4 y B por A=B Rjemplo $1: Sean 4 = (1,2, 3,4} y B= 3,1, 4,2}. Entonoes A = B,es decir. {1.2.3.4} = [3.1.4 2} ppuzs cada uno de los elementos’, 2,3 y 4 de 4 pertenece a By cada uno de los cic nentos 3, 1,4 y 2 de B pertencos a A. Obsérvess, por tanto, que un conjunto no cami al reordenar sus elementos, Ejemplo $2; Sean C = {5 6,5, 7} yD = {7.5 7, 6. Entonces C ~ D, es dest, (5,6 7.5.7.6 ya que cada elemento de C pertencce 4 D y que cada elemento de D pertenece a C. Nétexe Aue un conjunto no cambia si se repiten sus elementos. Asi que el conjunto (3.6 7} s ia acy aD. Ejemplo $3; Sean E = {x 2 My @= (1221), Resulg e =Fcap. 1] CONJUNTOS ¥ SUBCONJUNTOS 3 CONJUNTO VACIO Conviene introducir el concepto de conjunto vacio, és decir, de un conjunto que carcce de elementos. Este conjunto se suele lamar conjunto nulo, Aqui diremos de un conjunto semejante que es racio y se le denotara por el simbolo Ejemplo 6 Si A es el conjumto de personas vivientes mayores de 200 aiios, A es vacio segin las estadis- tieas eonocidas. Ejemplo 62: Sea B SUBCONJUNTOS Si todo elemento de un conjunto 4 es también elemento de un conjunto B, entonces se dice que Aes un subconjunto de B.. Mas claro: A es un subconjunto de B si xe A implica x ¢ B. Se denota esta relaciéa escribiendo es impar}. B es entonces un conjunto vacto. ACB ‘que también se puede leer «4 estd conténido en Bo. jemplo 7-1: El conjunto € = (1, 3. 3} es un subconjunto del D. 3y Side C pertencceiaimbien a D. Ejemplo 7-2; El conjunto £ = {2, 4,6} ¢s um subconjunto del F = {6, 2, 4}, pues cada numero 2, 4 y 6 que perteneve & E pertenece también a F. Obsérvese en particular que £ = F. De la misma ma- rera se puede mostrar que todo conjunto es subonjunto de si mismo. Ejemplo 7-3: Sean G = (x |.x es par}, evdocir, = [2, 4,6, 8 ...} y P= {| x68 potencia enters po- sitiva de 2), es devit, F= (2, 4, 8, 16.1.2}. Entoices FCG, 0 sea que F esté conte- nido en 6. Con la anterior definicion de subconjunto $e puede dar de otra manera la definicién de la igualdad de dos conjuntos: Definicién 1-1: Dos conjuntos A y B son iguales, A= B, si, y solo si, AC By BCA. 15, 4,3, 2, 1), ya que todo niimero 1, Si A es un subconjunto de B, sé puede escribir también BDA que se lee (B es un superconjunto de A» 0 «B contiene a A». Y se escribe, ademas, . ACB o BDA si A no es subconjunto de B. Para concluir, se tiene: Observactin 1-1: EI conjunto vacio @ se considera subconjunto de todo conjunto. Observaclon 1-2: Si 4 no es subconjunto de B, es decir, si A CB, entonces hay por lo menos un ele- mento de 4 que no es elemento de B. SUBCONJUNTO PROPIO Puesto que todo conjunto 4 es un subconjunto de si mismo, se diré que B es un subconjunto propio de A si, en primer lugar, B es un subconjunto de A y, en segundo lugar, B no es igual a A, Mas breve mente, B es un subsonjunto propio de A si BCA y BHA En algunos libros «B es un subconjumto de 4» se denota por BCA y 4B es un subeonjunto propio de 4» se denota por BCA Aqui se seguird la notacién ya vista que no distingue entre subconjunto y subconjunto propio.4 CONJUNTOS Y SUBCONIUNTOS [cap 1 COMPARABILIDAD Dos conjuntos 4 y B se dicen comparables si ACB 0 BCA esto e6, si uno de los conjuntos ex subconjunto de} otro, En cambio, dos conjuntos 4 y B se dicen no comparables. si Aga y BGA Nétese que si A no es comparable con B, entonces hay en 4 un elemento que no esté en B y hay tam- bien en B un elemento que no esti en A Fjemplo 8-1; Sean A = fa. b} y B= {a, b,c}, Entonces 4 es comparable con B, pues 4 es un subcon junto de B Ejemplo 82: Si C= tu, 4} yD yet. a dj. © y B no son comparables, pues @e€ y ag D y coD TEOREMA Y DEMOSTRACION En matematicus puede demosirarse la verdad de muchas afirmaciones mediante suposiciones y definiciones previus. De hecho. la esencia de las matemiéticas consiste en teoremas y sus demostracio- nes, Demostremos nuestso. primer ‘Teorema 1-1: Sia es un subconjunto de By B es un subconjunto de C, entonces 4 es un subconjun- to de C, esto es, ACBy BCC implican acc Demostracién, (Téngase en cuenta que debemos demostrar que todo elemento de 4 es también un clemento de C.) Sea x un elemento de 4, esto es, x4. Como 4 es un subconjunto de B. x perte- rece también a Bes decir, x ¢ B. Pero, por hipétesis, B CC; por tanto, todo elemento de &, en el cual esti x, es un elemento de ©. Hemos demostrado que xe 4 implica x¢ C. Em consecuencia, por de- finieién, A CC CONJUNTOS DE CONJUNTOS ‘Dourre « veces que Ios elementos de un conjuato son a su vez conjuntos; por ejemplo, el conjunto de todos Jos subsonjuntos de A. Para evitar decir «conjuntos de conjuntos», se suele decir «familia de conjuntos» o «clase de conjuntes». En tales casos y para evitar confusiones, se emplean letras inglesas 4, B, para designar familias o clases de conjuntos, ys que las maytisculas denotan sus elementos Ejemplo 9-1: En geometrla es corricme hublar de stsmilias de rectas» © «familias de ourvasy, pues recias {y curvas ya son ellas mismas eonjuntos de puntos E] conjunto {12, 3}. {2}. {5. 6}} ¢s una familia de conjuntos. Sus elementos son Jos conjun- : y En teoria es posible que un conjunto tenga entee sus elementos algunos que sean a su vez conjuntos y otras que no Lo sean, pero en las aplicaciones de la teoria de conjuntos este caso se presenta rara vez Ejemplo 9 Seu 4 = (2, 1,3). 4. [2 $13. A no es, puss, uma familia de conjuntos; algunos elementos de 4 son conjuntos y oxros no. CONJUNTO UNIVERSAL En toda piicacion de It teoria de conjuntos tedos los conjuntos que se consideran serdin muy pro- bablemente subconjuntos de un mismo conjunto dado. Este conjunto se Hamara comjunte universal © univers del discurso y se denotara por UCAP. 1) CONJUNTOS Y SUBCONJUNTOS 3 Ejemplo 10-1; En geometria plana el conjunto universal ¢s el de tados los puntos del plano, Ejemplo 10-2: En los estudios sobre poblacién humana el conjunto universal es el de todas las-gentes del mundo, CONJUNTO POTENCIA La familia de todos los subconjuntos de un conjunto S se llama conjunto potencia de S. Se le de- signa por Pa Ejemplo 11-1: Si M = {a, 8}, catonces 2 = {[a, b}, fa}, {4}, B} + SiT = (4,7, 8}, emtonces 2 {T, 14, 7}, (478), 7, BF, (AD {7h 18), DY Si un conjunto Ses finito, digamos que 5 tenga n elementos, entonces el conjunto potencia de S tendré 2" elementos, como se puede demostrar. Esta ¢8 una razén para lamar conjunto de potencia de S la clase de los subéonjuntos de Sy para denotarla por 2°. CONJUNTOS DISJUNTOS Si dos conjuntos 4 y B no tienen elementos communes, es decir, si ningtin elemento de 4 esté en B y si ningun clemento de B esta en A,'se dice que A y B’son disjuntos. Ejempio 12-1: Sean A . 7, 8) y B= (2.4, 7,9}; 4 y B no son disjuntos entonces, pues 7 esta en ambos conjuntos, o sea que 7¢.4y 7¢2B. Ejemplo 12-2: Sean A el conjunto de los aimeros positives y B el de los niimeros negativos. Entonees y B son disjuntos, pues ningiin nlimero es positive y negative. Ejemplo 12-3: Si = {x, ys 2) y F= (r,s, th Ey F son disjuntos, DIAGRAMAS DE VENN-EULER Se logra ilustrar de manera sencilla e instfuctiva las relaciones entre conjuntos mediante los Ia- ‘mados diagramas de Venn-Euler, o de Venn, simplemente, que representan un conjunto con un érea plana, por lo general delimitada por un circulo. Ejemplo 134 1: Supéugase AC By A # B, Entonees 4 y B se describen con uno de los diagramas: © © Ejemplo 13-2: Si 4 y 8 no son comparables se les puede representar por el diagrama de la derecha si son diguntos o por el de Ia i2quierda si no lo son, 6) o6 CONIUNTOS Y SUBCONIUNTOS [car Fjemplo 133: Sean A = {a.b-cvdl y B = fevd. c.f). Se ilustran estos conjuntos con un diagrema de Venn de Ia forma A DIAGRAMAS LINEALES Otra manera util e instructiva para ilustrar las relaciones entre conjuntos es el empleo de los Il=- mados diagramas lineales. Si 4 © B, se escribe entonces & mais arriba que 4 y se les conecta por un segmento B Si AC By BCC. se pone th) y C= (a, 6), El diagrama lineal de 4, By Ces entonces oy Bjemplo M41: Sean 4 = (a! Ejemplo 142: Sean ¥ =f}. ¥ = {up}. Z = facavch y W'= (x, 1018), Aqui el diageama lineal de rZy Wes DESARROLLO AXIOMATICO DE LA TEORIA DE CONJUNTOS En un desarrollo axiomatico de una rama de las mateméticas, se comienza por: (1) Términos no definidos. (2) Relaciones no definicas. (3) Axiomas que relacionan los términos no definidos y las relaciones no definidas. Entonces se destrrollan teoremas basados en los axiomas y definiciones, Ejemplo 15-1: En un desarrollo axiomitico de la geometria plana euclidiena: 1) puntos y wreetas» son cérminos uo definidos (2) «punto en una recta» 0, lo que es equivalente, «recta que contiene un punto», es une relacidn no definida, (3) Dos de tos axiomas son: ‘Axioma 1: Dos puniay distintos estan sobre una y misma recta ‘Axioma 2. Dos rectas distintas no pueden tener mas de un punto cominCAP. 1] CONIUNTOS ¥ SUBCONSUNTOS 1 En un desarrollo axiomatico de la teoria de conjuntos: (1) «Elemento» y «conjunto» son términos no definidos. (2) «Pertenencia de un clemento a un conjunto» es la relacién no definida. (3) Dos de los axiomas son Axioma de extension: Dos conjuntos 4 y B son iguales si, y solamente si, todo elemento de A pertenece a B y todo elemento de B pertenece a A. Axioma de especificacién: Sea P(x) una alirmacién y sea A un conjunto. Existe entonces un con- junto B= {alaed, Pla) es cierta} Aqui, P(x) es un enunciado en una variable, para la cual Pa) es verdadero 0 falso con a ¢ A. Pot ejemplo, A(x) podria ser el enunciada «cx? = 4» 0 «x es un miembro de las Naciones Unidas» Hay otros axiomas que no se enuncian aqui porque los axiomas tocan con conceptos que se estu- diarin luego. Y, por otra parte, como aqui se trata la teoria de conjuntos sobre todo intuitivamente, en especial en la Parte I, nos abstendremos de hacer més consideraciones sobre el desarrollo axiomético de la teoria de conjuntos. Problemas resueltos NOTACION 1. Escribir las afirmaciones siguientes en notacién conjuntista: (1) x no pertenece a A. (4) F no es subconjunto de 6. Q) Res superconjunto de S (5) H no incluye D. G) des elemento de £. Solueién: W)XEAQRIS, Bde EL GND D. 2 SiA= {x |[2v= 6) yO=3. yes d= A? Solueién: 4 es un conjunto que consta del iinico elemento 3, es devir, 4 = {3}. EL niimero 3 es elemento de A. pero no es igual a A. Hay una fundamental diferencia entre un clemento v y e] conjuato | 3. Sea M = (7,5, 1}. Es decir, M consta de los elementos 1. 5 y , Digase cuales de las afirmaciones son correctas © incorrectas. Si alguna es incorrecta, decir por que. (@)reM/b)r CM lel (rheM Wd) (CA Soluetén: (@) Correeta (@) Incorsecta, El simbolo © debe estar entre dos conjuntos, pues indica que ua conjunte es suhconjunto del ‘otro, Ast que r CM es incorreetdé por ser un eleminto de M. no un subeonjunco, (ec) Tacorrecta. El simbolo ¢ vincula un ebjeto a ua conjunta, pues indica que el objeto es elemento del conjun- to, Asi que {7} e-Mf es incorrecta, ye que (r| es un subconjunte de Mao un elemento de 1, (é) Correcta8 CONJUNTOS Y SUBCONJUNTOS [car Enunciar con palabras y luego escribir en forma tabular: W 4= (le =) Q) B={x|x-2=5). > (3) C= {x|x es positivo, x es negativo}. (4) D = {x|x es una letra dela palabra «correcton}. Solucién: (1). Se lee «A es el conjunto de los x tales que x al cusdrado es igual a cuatron, Los Gnicos nimeros que eleva dos al cuadrado dan cuatro son 2 y —2; asi que A = {2, —2). {Q) Selec «Besel conjunto de los x tales que x menos 2s igual a 5». La Unica solucién es 7, de modo que B = {7}. @) Se lee «Ce el conjunta de los x tales que x es positive y x es negatives. No hay ningin niimero que ‘sea positivo y negativo, asi que C es vacio, es decir, (4). Se kee «D es el conjunto de los « tales que x es una letra de la palabra correctom. Las letras indicadas son Sor © yb asi, pucs, D = fc, 0, Fr. & t) 5. Escribir estos conjuntos en una forma constructiva. (1) EIA que consiste de las letras a, b,c dy Q) EL B= 12, 4,68...) (3) El conjunto C de todos los paises de las Naciones Unidas. (4) El conjunto D = {3}. (5) Sea & los presidentes Truman, Eisenhower y Kennedy. Solucién: [Netese en primer lugar que la deseripoign de un eonjunto, 0 sea su forma constructive, no es necesariamen. te tice. Lo dnieo que se requiere es que toda deseripeién defina cl mismo conjunto. Se dan aqui algunas de kas muchas respuestas posibles a este problema, (1) A= fe xesta antes de fen el alfabeto} (x | res una de las primeras cinco letras del alfabeto}. Q) B= {x} xes par y positivo}. G) C= {x |-ces un pais, estd en las Naciones Unidas} @) De (xx — 2m tp = fe] 2x = 6} (5) E = (| fue presidente después de Franklin D. Roosevelt CONJUNTOS FINITOS E INFINITOS 6. ;Cuales conjuntos son finitos? (1) Los meses del aio. @) {| Q) {1.2.3.5 99, 100} 6) fh @) Las gentes que viven en la tierra Sotucién: Los tres primeros conjuntos son fintos. Aunque pueda ser fisicamente imposible contar el nimero dé pet- sonas que hay en la Tierra, el conjunto es eiertamente finito, Las dos tltimos conjumntos son infinitos. Si se tratara de contar los nlimeros pares jamés se llegaria al fi IGUALDAD DE CONJUNTOS 7. {Ciusdles de estos conjuntos son iguales: (7, 4, 5). (5, tr she (x refs ns 2 Solucin: Som todos iguales entre si. Obsérvese que el orden o la repeticién no cambia un conjunta,CAP. 1] CONJUNTOS Y SUBCONIUNTOS 9 8, {Cuiles de estos conjuntos son iguales? (1) {x | es uma letra en ta palabra «tocatay} 2) Las letras de la palabra «iacton. (3) {x |. es una letra de la palabra «cotan), (4) Las letras a, c, 0, 1. Solueton: Escribiendo los conjuntos en forma tabular es facil averiguar si son 0 mo iguales. Una vez escritos los cus ‘to conjuntos en forma tabular se ve que todos son iguales al conjunta fa, ¢, 0, t} CONJUNTO VACIO 9, Cudl de estas palabras es distinta de las otras y por qué?: (I) vacio, (2) cero, (3) nulo, ‘Soluetin: Le primera y Ia tervera se refieren al conjunto sin elementos; la palabra cero se reficre a un nbmero par ticular y'es, por tanto, I palabra diferente, 10, Entre los conjuntos que siguen, gcudles son diferentes?: 2, {0}. {gs}. Solucién: i Cada uno es diferente de los otros. El conjunto {0} contiene un elemento, el ntimero cero. El conjunto no tiene elementos, ¢s cl conjunto vacio, El conjunto {5} tiene también un elemento que os el conjunto vacio 2 un conjunto de conjuntos. 11, (Cudles de estos conjuntos son vacios? z (1) 4 = {r]x es una letra anterior g-a en el alfabeto}.)) (3) Q) B= [elt =9 y 2 = 4} eo Py Souciéa: z (1) Como es la primera letra del alfabeto, ef conjunto A carece de clementos: por tanto, A = Zi 2) No hay nimero que satisfaga a ambas eouaciones x? — 9 y 2v = 4; aci que B es tambien vacio. G)_Se da por sentado que todo objeto es 1 mismo, de mado que C es vacio. Tanto 2s asi que alpunos libros definen de esta manera el conjunco vacio, es desir, D={x|p+ = 8) Baix\x#s) (4) Et numero cero satisface@ la ecuacidn x + 8 = 8 asi que D consta del elemento cero, Por tanto, D no es SUBCONJUNTOS 12. Dado 4 = {x, » z}, icudntos subconjuntos hay en 4 y cudles son? Solueién: Haciendo ta liste de todos los subconjuntos posibles do A resutan ser: (8.9% 2) {y. ah fas ex yh fe) fo}. [2] yel conjunto vacio gj. Hay ocho subcomiuntos en A. 13. Definir los siguientes conjuntos de figuras del plano euclidiano: |. es un cuadrilatero}. H= (|x es un rombo} 4x |x €8 un rectangulo}. = {x| x es un cuadrado} Decir qué conjuntos son subconjuntos propios de los otros. Como un cusdrado tiene 4 éngulos rectos, ¢s ua reetangulo; y come tiene 4 lads iguales, es un romba; y uesio que tiene 4 lados, es un cuadrilétero. Segin eso SQ, SCR, SCH, es decir. $ es un subconjunto de los otros tres. Y, ademiis, como hay rectingulos, rombos y cuadtildteros que 20 son cuadrados, resulta ser 'S un subconjunto propio de los otros tres. De manera anlogs se ve que R es un subconjunto propia de Q. y que Hes un subconjunto propio de Q. No hay otras relaciones entre las eonjuntos.10 4, “15 18, CONJUNTOS Y SUBCONIUNTOS (car. 1 {iene todo conjunto un subconjunto propio? Solucién: El conjuato vacio @ no tiene subconjunto propio. Cualquicr otro conjunto tiene al J como subvonjunto propio, En algunos libros no se llama subconjunto propio al ~oajunto vacio: y entonces los conjuntos que tie- ‘nen ua solo elemento no tendrian un subconjunto propio. Demostrar: Si 4 es un subconjunto del conjunto vacio @. entonces 4 = g Solucion El conjunto vacio gj es subconjunto de cualauner conjunto: en particular. @ C A. Por hipdtesis, 4 C De modo que, por la Definicién 1-1, 4 = Bi. ~Céme se demuestra que un conjunto A no es un subconjunto de otro conjunto 8? Demos- trar que A — {2, 3, 4, 5} no es un subconjunto de B = {x | xes par}. ‘Soluclin: Hay que demostrar que hay al menos wn clmento de A que ao esi ea B. Como 364 y 342.50 ve que 4 no es un subconjunto de 2, 0 sea que A B. Notese que mo e necesario saber si hay 0 10 otros elementos de A que no estén en B. = {c,d}, X = {a, B, ch, ¥ = {a, B} y Z = {a, B, d}. Establecer a verdad o fal- sedad de las siguientes afirmaciones: (@) ¥ox’ @) WZ’) ve¥ () Vox () xaw (2) Wav (4) ZaV7 (6) ZX - (8) ¥oz“ (0) Wo¥ / Soluciéa: (1) Como torto elemento de ¥ es elemento de X, resulta que ¥ C Yes verdadera (2) Eltinico clemento de ¥ es d, v d también esta en HW: asi que Wes un superconjunto de ¥ y. por tanto, WD V es falsa (G) Como ae 2 y at WW # Z es verdadera (4) Zes un supercoojunto de ¥ puesto que el tinico elemento de Ves elemento de Z; por tanto, Z-) Ves verdadera. (5) Como de vy dt ¥, ¥¢ Yes verdadera. (6) Como ce Xy ef Z, entonces Z no es un superconjunto de X, es decir, Zp X es verdadera. (1) Fnoes un subconjunto de X, ya que de Vy d¢ X; por tanto, VC es falsa. (8) Todo elemento de ¥ lo es de Z; huego-¥ ¢ Z es falsa (9) Como aeX yap W,X = Wes falza (10) Como ce Wy c# ¥, Wno es un subconjunto de ¥ y, por tanto, WD Yes fass. Seb 45 fo bso), 2 le om 2p th Cm ReaD = {3}, Sea X un conjunto desconocido. Determinar cudles de les conjuntos 4, B,C, D, Eo ° pueden ser iguales a X si se dan las informaciones siguientes: () XcA y XCB (8) X¢aA y X¢C @) X¢B y XcC (@) XcB y. X¢C (2) EI nico conjunto que es subconjunto de 4 y de Bes D. C, Ey F no son subconjuntos de # porque seC, EB Fy sek. (2) El eonjunto X puede ser igual a C, £ 0 F, pues éstos son subconjuntos de C y, como ya se vio, no son sub- conjuntes de B. (8) Solo 2 no es subsonjunto de A o de C.D y A son subconjuntas de A; y C, Ey F son subconjuntos de C. Ast que X = B, (4) Tanto B como D son subconjuntos de B y no lo son de C. Todos los otros conjuntos dejan de cumplir fal menos una de Ins condiciones. Por tanto, ¥ = Bo X = D.capt] CONJUNTOS Y SUBCONIUNTOS 1 19, Sea Aun subconjunto de By sca Bun subconjunto de C,esdecir, A C By BC C. Suponiendoas A, beB coC y, ademis, d¢ A, €¢B, f#C, joules afirmaciones seriin ciertas? (ae, Qbed, Berea, dew, Gera, G)fea Soluciins (1) Porel Teorema 1-1, 4 es un subeonjunto de C. Luego a ¢ implica ae C,y la afimacién es siempre ciewa (2) Como et elemento 6 € & puede no ser elemento de A, la afirmacion es fala (3) El elemento ce C podria ser un elemento de A; por lo que c# A puede no ser verdad. (4). El elemento d, que no esti en 4. puede no estar en B; asi que la afirmacién puede no ser cinta (5) Como ed By ACB, c¢ 4 cs siempre verdadera, (6) Como f#Cy AC C,/6A es siempre cierta DIAGRAMAS LINEALES 20, Hacer un diagrama lineal para los conjuntos A= (a, b, c}, B= (a, 6} y C= {a, ¢}. Solucion Como 4 DB, AD Cy By C no son comparables. se construye asi: a «21, Hacer un diagrama lineal de los conjuntos X = {a, 8, ¢}, ¥ = (a, b) y Z = {6}. Solucién: Aqui ZC Ye ¥.C X, Queda entonces ly y no i | x aa ya que el segmento de Z a Yes redundante porque ZC Ye ¥C ¥ ys implsan Z CX. 22, Construir el diagrama de los conjuntos R= {r, 5, t}, S= {3} y T= {s, 4 ub. Aqui SC Ry SCT. ¥ como Ry Tno sen comparables, se pone R, A r NN 3 23. Sean Q, R, Hy Slos conjuntos del Problema 13. Haver un diagrama lineal para estos conjuntos. Soluciém: Come O> Ry OH, se construye primero a ea Ahora se agrega S al diagrama. Pucsto que S.C Ry $C H, se completa el diagrama como sigue: e@ ros : a Peet12 CONJUNTOS ¥ SUBCONJUNTOS [ear 24, Construit un diagrams lineal para los conjuntos V, W, X, ¥ y Z del Problem 17 Wy FOZ, se tema ®. 4 Satay BA Come ¥.¢ 2, ares? A dagiama 2 ONS or dima, puemo que ¥ ¥,w complete ol dagrara ome Se W, 2 x SE $ we Sg 2 a 25, Sea 5 cualquier conjunto, Construir un diagrama lincal para los conjuntos 2, $ y el conjumo universal U Solueiéa: Ya que el conjunto vacio gf es sunconjunte de todo conjunto, o sea CS, se tcaza $ o Por otra parte, como el conjunto universal U es un superconjunto de tode conjunto que incluya al 3, se com: plete el diagrama como sigue: y s ® PROBLEMAS DIVERSOS Aap 26. Considérense las cinco afirmaciones siguientes: (1) A C B, 2) 4 DB, G) A = B, (4) A y B son disjuntos, (5) 4 y B no son comparables. {Cudl afirmaciGn desoribe mejor cada diagrama de Venn’? @ Soluctins (a) El rea de R es parte del drea de A; luego 4 > &. () Hay puntos en 4 que no estén en B, y puntos en B que no estin en 4; huego y B no son comparables. Los conjuntos ne son disjuntos porque tienen puntos que pertenecen a ambos. (6) Agui los conjuntos son disjuntos, pues no hay ningtin punto que esté en los dos conjuntos. Los conjuntos ro son tampoco comparables, (@)_ El Area de A cs patte det area de B; nego 4 CB. 27. Examinar el siguiente diagrama lineal de conjuntos 4, B, C y D.car 1) CONIUNTOS ¥ SUBCONIUNTOS 13 Escribir una afirmacidn que relacione cada par de conjuntos del diagrama. Debe haber seis afir- maciones. Somcién: En primer lugar se ve que CC B, DCB y BC A. pues estos conjuntos estén unides por seginentos, Por 1 Teorema Il se deduce que CG 4'y DC A. Por altimw, los conjuntos € y D no son comparables, ys que no estin undos por una linea ascendeate 28. Construir diagramas de Venn de los conjuntos 4, B, C y D del diagrama lineal del Pro- blema 27. Solucin: Hagamos dos diagramas posibles La principal diferencia entre estos diagramas es que los conjuntes Cy D aparecen disjuntos en el segundo dive grama. Pero ambos tieneu el mismo diagrama lineal, 29. :Qué significa el simbolo {{2, 3)}? Solucién: Se trata de un conjunto gue tiene un elemento; el conjunto de los elementos 2 cence a ((2,3}} sno es un subconjunte de {{2, 3}. Asique se puede decir qu 3. Obsérwese que {2,3} per- 1} es un eonjunte deconjuntas 30. Dado A = {2, {4, 5}, 4). cqué afirmaciones son incorrectas y por qué? Q) 487CA iA S)cA 7 @) (HONEA f Solucién: Log elementos de 4 son 2. 4 el coujnto {4. 5}. Por tanto, (2) es correcta y (I)es incorrecta, (3) es una afr ‘macién correcta porque cl conjunte que consta de] unico elemento (4, 5] es un subconjunto de 3H. Dado £ = (2, (4, 5}. 4}, cqué afirmaciones son incorrectas y por qué? Q)5eE 2) Bek @) CE $22 §usk o4 ‘Solucton: Ay Todas son incorrectas. Los elementos de F son 2, 4 y el conjunto.{4, 5)! por tanto, (I y (2) son incorree- tas. Hay ocho subeonjuntos de Ey {5} 0 esti entre ellos, de modo que (3) es ingorreeta 32. Hallar ef conjumto potencia 25 del conjumto $= (3, {1, 4}). Solucion: Observar primero que 5 conticae dos elementos, 3 y el eonjunto {1, 4}. Por tanto, 2° contiene 2° ~ 4 elem: tos: S mismo, ¢! eonjunto vaio, 3) y el camumia Termado por {1.4} solo, es decir, 11. 4}}, Mas breve Bs = 48, 8}.4(1,4)}, 01 33. En lo que sigue, zqué es lo que no se define en un desarrollo axiomatico de la teoria de conjuntos?: (1) conjunto, (2) subconjunto de, (3) disjunto, (4) elemento, (5) es igual a, (6) pertencee a, (7) su- perconjunto de, Soluciéa: Los iipicos conceptos no definidos en la teoria de conjuntos son: conjunto, elements y la relacion «pert cor ab, 0 sea (14. (4) ¥ 6)4 CONIUNTOS ¥ SUBCONJUNTOS cap. 34. Demostrar: Sean A y B no vacios, esto es, 4 # By B+ G. Si A y B son disjuntos, entonces 4 y B no son comparables. Solucida: Como 4 ¥ B no son vacios, hay clementos ae 4 y 6B. Por otra parte, como A y B son disjuntos, a¢ B YEA. Por tanto, AC By BC A.es decir, 4 y B no son comparables. 35. Dados 4 y B no comparables, se sigue que 4 y B son disjuntos? Soluciéas No. Los conjuntos del siguiente diagrama de Venn no son comparables; pero tampaco son dishuntos Problemas propuestos NOTACION 36. Escribir en notacién conjuncista (1) Res un supercoajunto de 7. (5) =o pertenece a 4 (2) ses elemento de ¥. (6) Best incluide en F G) Mono es subconjunto de S, (7) Bl conjunto vacio. (4) Elconjunto potencia de 1. (8) & pertensee af. # 37. Enuneiar verbalmente 4 e) B [x |x vive on Pacis). ac x |x habla danés} @ > (x |x es mayor de 21 afos) x | xs ciudadano francés) 38. Escribir on forma tabular’ () Pe (efe—x-2= 4 @) Q~ [x] xesuna letra de la palabra vealevlany} G) R= fe [P= 92-35). | @) $= fx | xesuna vocal} (5) T= (x|xes una cifra del numero 2324). 39. Si = {1.0}. decir entre las afirmaciones siguientes euiles son cortectas 0 incorrectas. MeL OQ) Vek BACH 4) Oek VOCE 40. En una exposicion axomatica dela teorla de conjuntos, decir eviles de estos simboles representan una rlacion no definida: (1) ¢, 2), @) >cap. 1] CONJUNTOS Y SUBCONIUNTOS 15 SUBCONJUNTOS 41. $i B = {0 1, 2}, hallar todos los subconjuntas de B. 42, Sif = 10, {1,2)}. hallar todos los subconjuntos de F 48. Sean © = |e b248 = 0) © es pasitivey DD = fe | x es par Completar las siguientes afirmaciones insertande ©. > b enc» (x0 comparables) entre cada par de conjuntos 4B, BY ALLE, 8) Bee, A) Ase Dy (5) Bee Dy (6) C.D. 44, Scan A = {1 2, 8,9}, B = (2, 46,8}, C = {1, 3,5, 7,9}, D 1. 4, 5} y B= {3, 5). (Cuales conjuntos: pueden er ipunes« ¥ dadas las condiciones siguientes? (i) XyBsondijumos —@) XCar gC @) xCDyNGs @ xccyxa 45, Decir si son correctas o incorrectas las siguientes afirmaciones (1), Todo subconjunco de un conjunto finito es fait. (2). Todo subconjunto de un conjunte infinite es infinite, PROBLEMAS DIVERSOS 46. Hacer un diagram lineal de los conjuntos 4, 8, C y D del Problema 43. 47, Haver un diagrama lineal de los conjuntos 4, 8, C, Dy £ del Problema 44. 48. Entre las afirmaciones siguientes decir cuales son correctas 0 incorrectas: ) {4,3} = GAD 2) “{1, 8,1,2,8,2) ¢ 2,3) (3) recta) 49. Decir cusles de los siguientes conjuntos son fits © infinitos: (1) El conjunto de sectas paralelas al eje x (2) El conjunto de letras del alfabeto, 1G) El coajunta de ntimeros que son miiltiplos de 5. (4) El eonjunta de animales que viven en la Tierra (5) El conjunto de numeros que son raices de la ccuacién x9" + 42x44 — 17x!" — 2x? + 19 (6) Blconjunto de ciseulos que pasan por el origen (0.0) 50, Entre las afirmaciones siguientes decir cul es correcta y cual incorecta, Aqui $ ¢s um conjunto cualquiera no T a (1) Sez? @) Sco @) (Sea (Sco SL. Hacer un diagrams lineal de fos eoajuntos del siguiente diagrama de Venn @)16 a” 38 3B, #0. at 2 rs 8 o. 50, si. WRITE LCM ESA)", 01264, OBC FO, (8) Reo. wy 2) Besel conjumio de los x tales que x habla dants (3) Cesel conjunta de los x tales que-x es mayor de 21 altos. (4) Deesel conjunto de los x tales que x es ciudadane francés. (P= 2-1, DO = fhe R= B,MS= (ae, i,0,u}. (5) 7 = (2.3.4). (1) incorveeta, (2) incorreeto, (3} correcto, (4) corcecto, (5) incortecto, CONJUNTOS Y SUBCONTUNTOS, Respuestas a los problemas propuestos A.es-l conjunte de los x tales que x vive en Pars El simbolo ¢ representa una relacion no definida Hay ocho subeonjuntos: B, {0.1}. 10, 2}. 1,2}. 0} 1), 2}. Hay cuatro subconjuntos: F. {0}, {{1, 2}}. w a D3, BPC. @ ne, (16S. C£.Q)B,E. 8) A, 8, D. (4) Ninguno. (1) correcto, (2) incorrecto, A B U1) eoreto, 2) coretn, 3) coreto, 4) insonrecto, (5) oust. (1) infinito, (2) fnito, (3) infinito, (4) finito, (8) finito, (6) infinito. ee : ZN, SY (1) correcto, (2}incortecto (3) incorrecto, (4) correcta. VA cae. 1Capitulo 2 Operaciones fundamentales con conjuntos OPERACIONES CON CONJUNTOS En aritmética se suma, resta y multiplica, es decir, a cada par de nimeros xe y’ se le asigna un nimero x-+ y llamado suma de x e y, un nimero x — y llamado diferencia de xe y y un mimero xy llamado producto de x ¢ y. Estas asignaciones se llaman operaciones de adicién, susttaocion y multi- Plicacién de ntmeros, En este capitulo se van a definir las operaciones de unién, intersecciin y diferencia de conjuntos, es deci, se van a asignar o.a hacer corresponder nuevos conjuntos a pares de conjuntos. 4 y B. En un capitulo posterior se verd que estas operaciones entre conjuntos se comportan de manera un tanto semejante a la de las anteriores operaciones con mimeros. UNION La unién de los conjuntos A y B es el conjunto de todos los elementos que pertenecen a A oa B 0 a ambos, Se denota ta unién de A y B por AUB que se lee «4 unién By, Bjemplo 1-1: En el diagrama ‘de Venn de la Figura 2-1, 4 \) B aparece rayado, o sea el rea de 4 y el area de B. 4U Ble rayado Fig.2+t Bjemplo 1-2: Sean $ = fa, b, ed} y T= (bd g}. Bntonces SUT=labeadfal Ejemplo 1-3: Scan P el conjunto de los mimeros reales positives y @ el conjunto de Jos mimeros reales ne- gativos. PUG, union de P ¥ Q, comsiste en todos los numeros resles exceptuado el La unién A y B se puede definir también concisamente asi AUB={[x|x64 0 x58} Observacién 2-1: Se sigue inmediatamente de la definicidn de la unién de dos conjuntos que AUB y BUA son el mismo conjunto, esto es: AUB=BUA Observacién 2-2: A y B son ambos subconjuntos de 4 B, es decir, que: AC(AUB) y BCUB) 718 OPERACIONES FUNDAMENTALES CON CONIJUNTOS [car.2 En algunos libros la unidn de 4 y B'se denota por A + By s¢ la llama suma conjuntista de A y 8 © simplemente 4 mis B. INTERSECCION La interseccién de los conjuntos Ay B és ¢l conjunto de los elementos que son comunes a 4 y B, esto es, de aquellos elementos que pertenecen a 4 y que también perlenecen a B. Se denot la intersec- cién de 4 y B por ANB que se lee WA interseccién B». Elemplo 2-1: En el diaprama de Venn de la Fig. 2.2 se ha rayado A 7) A, el dea comin a ambos com juntos Ay B. 47 Bw rasa Fig-22 Fiemplo 22: Sean $ = (a, 8, 6.4} ¥T ~ (F.5d, 2}. Etonces SAT = b.a} Bjemplo 23: Sea V = (2. 4.6, €s decir, Jos miltiplos de 2; y sea W = (3, 6,9, ...}.0 sean los mul tiples de 3. Entonees VW = {612,18} La imterseccién de 4 y B también se puede definir concisamente asi AQ B= |x| xed, ve By Agui la coma tiene el significado de «y». Observacién 2-3: Se signe inmediatamente de la definicién de imterseccién de dos conjuntos que ANB=BNA Ovservacin 2-4: Cada uno de los conjuntos 4 y B contiene al A 7) B como subconjunto, es decir. UNBCAy ANB Observacion 2-5: Si dos conjuntos 4 y B no tienen elementos comunes, es decir. si A y B son disjun- tos, entonces In interseccién de 4 y Bes el conjunto vacio, 0 sea A B = Bi, En algunos libros, sobre todo de probabilidades, la intersecciin de 4 y B se denota por AB y se Mama producto conjumista de A y Bo simplemente 4 por B DIFERENCIA La diferencia de los conjuntos 4 y B es el conjunto de elementos que perteneeen a 4, pero no a B. Se denota la diferencia de 4 y B por A-B que se lee «A diferencia B» 0 simplemente «4 menos BpOPERACIONES FUNDAMENTALES CON CONIUNTOS 19 Kjemplo 34: En e) diagrama de Venn de la Fig. 2.3 se ha rayado A — B. el area de 4 que no es pars te de B. Blo rayado Fig. 2-3 Ejemplo 32: Sean $= ja, 6, c,d) y T= Uf bd. gh. Se tiene: T= janet Ejemplo 3-3: Sean R el conjunto de los nimeros reales y Q el conjunto de los nimeros racionales.Zenton- ces R — Q es el conjunto de los nameras irracionales. La diferencia de 4 y B se puede también definir concisamente como AW B= {x|xed xB} El conjunto 4 contiene al A — B como subconjunto, esto es: (A-B)CA Los conjuntos (4 — B), 4) By (B — A) son mutuamente disjuntos, es decir, la interseccién de dos cualesquiera es vacia La diferencia de 4 y B se denota a veces por A/B © bien por 4 ~ B. COMPLEMENTO El complemento de un conjunto A es ef conjunto de elementos que no pertenecen a A, es decir, la diferencia del conjunto universal Uy del 4. Se denota el complemento de 4 por 4 Fjlmplo 4-1: En cl diagrama de Venn de la Fig, 2-4 se ha rayado el complemento de A, sca ol area exte- ror a 4. Se supone que el conjunto universal Li sel rea del rectingulo, Ao rayado Fig.2-t Ejemplo 42: Suponienda que e} conjunte universal & sea el alfabeto, dado T = fa, b,c}. entonees Fe ldefevench Bjemplo 443: Sea E = (2, 4, 6....}. 0 sea los mimeros pares. Entonces & — {1, 3, 5... gue son los impares. Aqui se supane gue el eonjunto uaiversal¢se1de los nimeros naturales. 1.2.3, Tambien se puede definir el complemento de A concisamente asi ADs fe | rel, ee Al o simplemente: A (x | ee A) Lo que se establece en seguida resulta directamente de la dofinicién del complement de un conjunte.20 OPERACIONES FUNDAMENTALFS CON CONJUNTOS lear. 2 Observaciin 2-8: La unién de cualquier conjunto 4 y su complemento 4’ es el conjunto universal, © sea que AUA =U Por otra parte, el conjunto 4 y su complemento 4’ son disjuntos, es decir, “Sana-o Observacién 2-9: £1 complemento del conjunto universal U es ¢l conjunto vacio ZF. y viceversa, 0 sex que’ @y w=0 Observacién 2-10: e complemento del complemento de un conjunto A ¢s el conjunto A mismo. Mis reve: ay La siguiente observacién muestra cémo la diferencia de dos conjuntos podria ser definida por el complemento de un conjunto y'la interseccin de dos conjuntos, En efecto, se tiene la siguiente rela- cin fundamental: Observacién 2-11: La diferencia de 4 y B es igual a la intersoecién de A y el complemento de B, 0 sea A-B=ANB La demostracién de la Observacion 2-11 se sigue inmediatamente de las definiciones: A-B={x|xed x¢B}=[x|xed, xeR}=AN a OPERACIONES CON CONJUNTOS COMPARABLES Las operaciones de unidn, interseccién, diferencia y complemento tienen prdpiedades sencillas ‘cuando tos conjuntos de que se trata son comparables. Se pueden demostrar los teoremas siguientes. Teorema 2-1: Sea 4 un subconjunto de B, Entonces la interseccién de A y B es precisamente 4. es decir: ACB implica A) B= A Teorema 2-2: Sea A un subconjunto de B. Entonees la unién de 4 y B es precisameme-B, es decir: ACB implica AU B= B Teorema 2-3: Sea 4 un subconjunto de 8, Entoncés B’ es un subconjunto de 4°, es decir: ACB implica BC 4° Se ilustra el Teorema 2-3 con los diagramas de Venn de las Figs. 2°5 y 2-6. Notese que el drea de BY est incluida en In de 4 G@)* Bo rayado 410 rayado 3 Fig. 25 Fig.26 ‘Teorema 2-4:. Sea A un subconjunto de B. Entonces la unién de 4 y (B — A) es précisamente B, es decir ACB implica 4 (B— A) = Bcap. 2] OPERACIONES FUNDAMENTALES CON CONIUINTOS 21 Problemas resueltos UNION 3 5. En los diagramas de Venn que siguen, rayar A unién B, 0 sea AU B: @ > © Solucién: La umidn de 4 y Bes el conjunto de todos los elementos que pertenecen a A oa 0 a ambos. Se rayan entonces las dreas de 4 y de B como sigue: Se 7S =| —S ) (0) fo AU Blo ado Sea A= {l, 2, 3, 4}, B= (2, 4, 6, 8} y C= (3, 4 5, 6}. Hallar @ AUB, (6) AUC fo) BUC, (d) BUB. Solucién: Para formar la unin de 4 y B se retinen todas los elementos de A con todos los elementos de B. De modo que AUB = (1,2,3,4,6.8) Be igual mrangra, AUC = {1,2,3,4,5,8) BUC = {2,4,6,8,3,51 BUB = (2,468) (2 Notese que BJ B es precisamente B Sean A, By C los conjuntos del Problema 2. Hallar (1) (AU B)U.C, 2) AU BUC). Solucidn: (1) Se determina primero 4 J B = {1,2,3.4, 6, 8). Entonoes la unién de A U By Ces AU BIUC= 11, 2,3,4, 6.8.5] (2), Se determina primero BWC = {2. 4,6, 8.3, 5}. Entonees fa union de, 4 y BL Ces AU (BU C)= 1,.2,3.4,6, 8,5} Notese que (4 BJU C= 4U (BUC), Sean el conjunto X = {Tomés, Ricardo, Enrique}, el conjunto ¥ = {Tomis, Marcos, Emilio} y Z= (Marcos, Emilio, Eduardo}. Hallar (a) ¥U ¥, (6) YUZ, () XUZ ‘Soluct Para hallar XU ¥ se hace la lista de los nombres de X’ con los nombres de Y; asi XU ¥ = (Tomés, Ricardo, Enrique, Marcos, Emilio} Del mismo modo ¥ YZ = (Tomas, Mateos, Emilio, Eduardo} XU Z = (Tomas, Ricardo, Enrique, Marcos, Emilio, Eduardo} Sean A y B dos conjuntos que no son comparables. Hacer el diagrama lineal de los conjuntos A By AUB. Solucin [Notese primeramente, segiin la Observacién 2-2, que 4 y B son ambos subconjuntas de 4 2, es decir, que ACUUB) y BCIAUB) De acuerdo con esto, ol diagrama lineal de 4, By A\ Bes AUR woo™s2 OPERACIONES FUNDAMENTALES CON CONJUNTOS [car. 2 6. Demostrar la Observacién 2-2: A y B son subconjuntos de AU B. Solucié Puesta que 4. B= BUA Solo se requiers demostrar que A es subconjunto de AU B, esto es, que vea implica xe AU B. Sea x un elemento de 4. Se sigue entonces que x es elemento de Ao de B, es decir, que xe. 4 B. Ast aque AC AUB). 7. Demostrar: AUA ‘Solueién: ‘Segiin la Definicién 1-1, bay que demostrar que 4 C (4 UA) y que (4 \) A) C A. Segimn la Observacisn 2-2, ACA A), Sea shora un xe (4 U A), Entonecs, segiin la definicién de union, x4 0x 6 4; asi que x per- tenece a A. Por tanto, (4 U AVC Ay, por la Definicién 1-1, 4 = (AU AL | & Demostrar: UJ A = U, donde Y es el conjunto universal. Solucidn: vuR Up KeAg Por la Observacién 2:2, UC (UU 4}. Como todo conjunto ¢s tn subconjunto del conjunto universal, (UU ANC Uy le conclusion se sigue de la Definicién t-1 9 Demostrar: UA Soluctin: Por la Observacién 2-2, A C (A U @)). Sea ahora un xe (4 U @),entonces xe Ao xe J, Por la definicién de conjunto vacio, x ¢ @5; de modo que. 4. Se ha demostrado que xe(A ( @5) implica x ¢ A, es decir, que (AU @) CA. Por la Definicion 11, 4 = BUA. 10. Demostrar: 4 B= @ implica A= @ y B= @. Solucién: Por la Observacién 2-2, A C (4 U B), es decir, A CG. Pero Qi es subconjunto de todo conjunto: en par- sewlar, 2 C4. Luego, por la Definicién 1-1, 4 = @. De igual manera se puede demostrar que B = 3. INTERSECCION 11. En los diagramas de Venn del Problema 1, rayar la interseccion de A y B, esto es, de 4 7) B. Soluetén: La interseecién de A y B consiste en cl érea que’es comun tanto a 4 como a B. Para encontrar 4) B, se raya primero 4 con trazos oblieuos hacia Ia derecha (///) y luego se raya B con traz0s oblicuos inclinados @ Ia Entonces 4 () B es clea que tiene los dos sayados, El resultado final, que es A () B, se raya ahora con lineas tains, oe eat CO @ @ @ 6 a @ wo Notese que 4) B es vacta en (e) en que 4 y B son disjuntos.CAP. 2] OPERACIONES FUNDAMENTALES CON CONJUNTOS 2B 12 Sean A= {1, 2, 3, 4}, B= 12, 4, 6 Bh y C= (BAC @ BAB. Solucén: Para formar Ia interseocidn de A y B se inscriben todos los elementos commnes a.d y Basi A (B= (2.4) De igual manera, AC = (3. 4), BVC = 4, 6) y BV B = (2, 4, 6 8}, Nétese que BIB es clectiva mente B. 13. Sean 4, B y C los conjuntos det Problema 12. Hallar (a) (4) B)\C, (6) AA (BNC). Soluciéa: (@) A.B = {2, 4}, Asi que Ia interseocién dg (2, 4} con Ces (4 BY C = {4} (0) BAC = {4,6}, La interseccién de este conjunto con el A es [4}, esto 65, A VBC) = {4} Notese que (ABYC = AN BNC). 3, 4, 5, 6}. Hallar (a) 4B, (0) ANC, 14. Sean A-y B dos conjuntos no comparables. Hacer el diagrama lineal de A, B y A B. ‘Solucién: « Porla Observacién 2-4, A () Besun subconjunto tanto de A comode B,estoes, (A) B)C AY (AB) B. ‘De acuerdo com esto se tiene el siguiente diagrama lineal: aot B ANB 15. Demostrar Ia Observacién 2-4: A) B es un subconjunto de A y de B. Solucién: ‘Sea x un elemento cualquiera We 4 () B. Por definicién de Ia interseccidn, x pertenece a ambos conjuntos Ay B; en particular, xe 4, Se ha demostrado que x6 (4 B) implica x6 4, esto es, que (4) B) CA. De igual modo, (41 8) CB. 16, Demostrar: A(\4= 4 Soluectén: Por la Observacién 2-4, (4 () 4) C A. Sea x un elemento cualquiera de 4; entonces es obvio que x perte- ‘nove los conjuntos A y A, es decir, x pertenece a A) A. Se demuestra asi que x A implicd x6 (A 7 A), & decir, que 4 C (4 (7) A). Por la Deflaicién 1-1, A) 4 = 4 17. Demostrar: UA = A, donde U es el conjunto universal Sotucién: Por la Observacién 2-4, (U(.) C A. Sea x wn elemento cualquiera de A. Como U es et conjunto univer- sal x pertencce también a U. Como xe 4 y x U, por la defiicida de interseccién, x 8 (U7) A). Se hia demos- trado que xe A implica xe (U/ () A), &s decir, que se ha demostrado que 4 C(U() A). Por la Definiciéa 1-1, UnA=4 18, Demostrar: AND = B. Solucién: Por la Observacidn 2-4, (4) @) CW. Pero el conjunto vacio es subconjunto de todo conjunto; en par- teular, BC AMD. Por tanto, AM B= DIFERENCIA 19 Sea A= (I, 2, 3, 4}, B= 12, 4, 6, 8} ¥ C= (3, 4, 5, 6}. Hallar (a) (A — B), (b) (C— A), (©) (BC), @ B= A), (©) BB) Soluciéa: (@) El conjunto A — # consiste en los elementos de A que ao estén en B, Come 4 = (1, 2,34) ¥2,4eB, entonces A— B= {1,3} (6) Los inicos elementos de € que no estan en A son 5 y 6; por tanto, C ~ 4 = (5, 6} © B-C= 2,8). @) B-4~ {6,8}. B- Baw