Está en la página 1de 241
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 4 OPERACIONES FUNOAMENTALES CON CONIUNTOS| (eam 20, En Jos diagramas de Venn del Problema t, rayar A menos B..0 sea 4 — B. Fn cada caso ol vonjumin 4 — # consists en los eomentos de 4 que do estén on 2, es devin, et dsca ea 4 ‘que no esti en la de B © © © G te) hy rey ~ Blo rayado Nétese que, como on (eh, A ~ B si A es subsonyumto de B. 4 si A y Bson disjuntos. Notese también que, come en {d). A — B= & 21, Dados dos conjuntos 4 y 8 no comparables, construir el dlagrama linea! de los conjuntos A BA ~ Bl (B= A), By el universal Y Solucin Notae primero, segin la Observecion 2-6, que (A ~ B)C Ay que(B = AVC B. (A ~ B)y(B ~ A)n0 son com- Como F es subconjunto de todo cunjunte y como, por la Observacion 2 parables, se puede truzae primet BA — a A-B o Como 4 {4 ~ B)y BD(B— A). se ataden A y Bal diagrams como sigue 4 B a ge ‘Como Uf contione « todo conjunto, se completa el diagram asi u ae | B BoA SS aes Sino se incluyera U o Zen el diagrama, entonces el diagrams lines! no se cerraria. 22. Demostear la Observacién 2-6: (4 ~ B)C 4 Solueiin: 4 | 4 Sea x cualquier clemento del conjunto -1 — 8. Por defiriciéa de diferencia. vs 4 y x ¥ 2: en particular, 1 pertencce w A. Se ha demostrade que xe (4 — B) implica xe Az ee decir, que (4 — A) A. 23, Demostrar: (4 — B)B = @. Solucién: Sea x pertenevicnte a (A ~ 8) B. Pot la definicion de intersecci6n. x @ (4 — B)y ve B. Pero por la de- finicion de diferencia, ved y x#R Como no hay singin elemento que curupla x6 B y x #8, entonces = 20 R= B, COMPLEMENTO WA, Sean U = {1, 2.3.2... 8.9, 4 = (12,3, 4 B= (2 4, 6 8] y C= (3, 4, 5, 6. Hallar @) A) BLO ANCY 4 UB. ee) YI B= CY Solucida: (a) 61 conjunto 4° consiste ea Jos elementos gue estin en U pero no en 4. Por tanto, A’ = {5, 6.7, 8,9) cap. 2] OPERACIONES FUNDAMENTALES CON CONJUNTOS (6) El conjunto de ls elementos de U que no estén en B es A” = [1 3, 5.7.9} (ey AM O)= [R4) y entonces (4 71 CY » (1,2, 5.5, 7,8, 9h (2) (AUB) AL.2, 3,4, 6.8) y emtonoes (4 BY = (5,7. 9} (e) A" = (5,6 7.8.9} yeatonces (4° = (1,2, 3.4} es deci, (4) UD (8 = C= (2.5) y emtonces (8 — CY =41,3,4,5, 6.7.9) 25, En cl diagrams de Venn siguiente, rayar (a) 8, (6H4 U BY, (c) (B = AY) AB. (a) Como 2 complemento de B, conste de fos elementos que no estén en 8, se aya el area exterior a 2, Blo eayado, 9, (A UB) es el ites exterior a (A UB). oii 4 Blo cayado [aU By o tayado (©) Primero se raya @ — 4: y asi (B A)! exe dea exterior a BA \ : Ba To rayedo (8 ~ AV’ eayade (d) Primero se raya 4’. e] area exterior a A, con trazos oblicuos inclinados a In derecha |!) y se raya eon trazos oblicuos inclinados # la zquierda (NJ. entonces A” 7) B' resulta ser el area con doble rayado. A" y B con doble raysdo Nbwese que el rea de (4 LJ BY es la misma que la de A’) B 26 OPERACIONES FUNDAMENTALES CON CONIUNTOS lear. 2 26. Demostrar ¢l Tcorema de De Morgan: (4 U By’ iB. os Souci: A) xe YEO KEA) xe Sea r0(A U BY: pc ee Rey A y 2 oa dec, FEA y re By poria denon deleenee ea aEOMURIE Sct un ¢(4 Bienen ef Fr sa -deéle, qos au CINE) Sen shor 17. Ac oe 2.4 6 09 porto Prien: eae ee wancausy for comiguiens, por a Deion Ls = U4 Uy Xe Bi PROBLEMAS DIVERSOS 2. Sean U = (a, b,c, d, €}, A = (a, B dh y B— {b. d, e}. Hallar (a) AUB. 6) 8) 4, 1) B (4) B- Ae) A 0B) AUB AB th) B— 4’, (0) (A BY) AB. Soluciée: (a) La unin de 4 y B consta de los elementos de A y los elementos de B, es decir. 4 B= Ja. bee (@) La interseccion de 4 y B consta de los elemeatas que son comunes a 4 y B, os decie. AM B= jb. {e)’ El complemento de B consta de las letras que estén ea U/ pero no en B: asi que 2 = a. (d) El conjunto 8 — A esta formado por los elementos de B que no estén en 4. esto es, B - 4 = |e () A= (ey B= {hdc}: asique B= fe} (N 4m {add} y B= {a,c}; asique AU = fa bd} () 4’ = [cel B= a,c}: entonces A” OB = fe}. a) B—A'= (ah © Segun (0), 4B = {bd}; luego (A BY = fee el U) Segin (a) AB = {a. 6, d, ef tuego (4 U BY = (c} 28, -En el diagrama de Venn que sigue, rayar (1) AQ\(BUC), (2) (4 B)UIA NC). BIAUIBNO) 4 AU BRAUUC ————_ (\ eee’ Ld (1), Primero ayar 4 con trazos inclinados ais derecha y rayar B () C con trazos inclinados a ta inquierda: en tonces 47) (BL) C) es el érea con doble rayado. Soluciim: Ay BU Caparecen rayados 4 (1B UCHIo rayado 2) Primero rayar 4 () B con trazos inclinados @ la derecha y 7) C con trazos incliaados a la izquierda: en tonves (4B) (a 7) C) resulta ser el area total cayisla como se muestra en Segui CAP. 2 OPERACIONES FUNDAMENTALES CON CONILINTOS un AN BYAN Clo riyado “AN BULAN Clo raved Notese que ABU C)= [A BUN. 8) Primero se raya 4 con traxos inclinados a la derecha y se raya B (] C con taz0s inclinadas a la izquierda: asi results ser A \) (BC) l area total rayada, AY BE\C 0 rayado 4 UE Ole rayado (4) Primero se raya 4 UB Gon taz0s inclinados a la dereeha y se raya A Ui C con trazos inclinados a Ia iz= quierda: (4 JB} (4 UC) es. azea con doble rayado. AUBY AU Clo rayado tese que A LIB C)= AU AVIA C) 29. Demostrar: B — A es un subconjunto de 4’. Solucion: Sea x perteneciente 2B ~ A. Entonees x6 By xé4; por tanto, x es elemento de 4 a Como xe.B~ A implica xe 4’, 8 — A es subconjanto de A c 30. Demostrar: B- A= BOA xe B XFA Solucién: xe K x Boat = (| ack, fay pl agp xfA} = BNA Gon Problemas propuestos 3K, Sea el conjunto unversat U = (a,b, doe, ah ystan a= fa.2,6 deh B= leg y Cm eke Malla a ave (c-B ae aor oar Bnd ale (@) Buc ena (10) (404 28 Be S38 BREERE . Demostrar: A — B es un subconjunto de AU B. Zz OrERACIONES FUNDAMENTALES CON CONJUNTOS [car 2 Demostrar: Si) B = i, entonces ACB’ En los diagraimas de Venn que siguen, rayar (1) VW, (2) 9", 8) — V4) US) 0) 6) — @ @ Hacer un diagrama de Venn con tres conjuntos no vacios 4, By Cde mado que A, By C tengan las siguientes ca racteristicas: @) ACB, Cea, Anc=9 @) Ac, Axo, Bnc=9 @) ACB, CEB, ance p ® Ac(Bao, Bcc, c#B, ac Determinar: @) Una ao (9) A’0A. @ UA ©) Ana ava (4) Qua wu (ALA (20) gina. ‘Completa las siguientes afiemaciones insertando C, > 0 ne (mo comparables) entre cada par de conjuntos. Agul Ay Bson conjuntos arbitrarios @a24a-s @D) (3) A. PBA @) 4.2.48 () A. Sauk ANEB—A La formula A ~ B= 4B puede definir la diferencia de dos conjuntos mediante las solag operaciones de interseocin y complemento, Encontrar una férmula que defina la unin de dos conjunion, (7 B, mediante ‘sts dos operaciones de intersecciSn y complemento. oa _ KeR X¢O Demostar el Terems 24:4 Bimplica Ar\a= 4, %* CAY6) Demostar:SiA (B= Gyentonces BAA = 8 XEA, KEC. Demostrarel Teorems 22: 4C Bimplica AU 2-8. ve(A~@) Demostar: A’ — B= B— A Demostar et Teorema 23:4 C B implica BC Demostrer: S147) B= Qi entonces AUB = B Demostrar: (4 7)BY = 4° 2% Demostrar el Teorema 24: dC Bimplca 4 U(B— A) = & Respuestas a los problemas propuestos wu bn on O) =the hot ©) tba fat ©) face) od (8) Wahoo (8) laedh ao 7 Demostracion: Sea x & 4. Como A y B son disjuntos, x ¢ B; luego x pertenece a B’. Queda demostrado que we. implica xe BY es decir, que AC BY. Xen Aue : @ ay 3) 3) @)) | (2) (4) = 6) — (2 2 5 Wo rayado YU Wo rayado = Wo wayado CAP 3] OPERACIONES FUNDAMENTALES CON CONIUNTOS 29 way 5) © Ry 1 W lo vayaio VW to eayade = % © — We cavado U Wie ravado V = Wo rayndo Mat) @ Og (2h (a) (i) 1) BAA BA MV HA BH OP MU BU WA AHO % GD > BI Bc ne (ne 31. AUB = (AB. Capitulo 3 Conjuntos de nimeros CONJUNTOS DE NUMEROS. Aunque 1a worla de conjuntos es completamente genersl, en la matematica elemental se encuen- ican ya conjuntes importantes que son conjuntos de numeros, De particular interés. en especial en el aanalisis, es el conjunto de los rimeros reales, gue se denota por R En este capitulo se supone de hecho, al menos que se diga ctra cosa, que el conjunto universal es el con- Junto de los mimeros reales. Se revisardn en primer lugar algunas propiedades elementales de los ni- ‘meros reales antes de aplicar los principios fundamentales de la teoria de conjuntos a conjuntos de niimeros. El conjunto de los nimeros reales con sus propicdades sé llama el sistema de fos nimeros reales. NUMEROS REALES, R Una de las propiedades més importantes de los nimeros reales es el poderlos representur por pun- tos de una linea recta. Como en la Fig. 3-1, se elige un punto lamado origen, para representar el 0, y ‘otro punto, por lo comin a la derecha, para representar e| 1, Resulta asi de manera natural una co- rrespondencia entre los puntos de la recta y los niimeros reales, es decir, que cada punto representa un nniimero real Gnico y que cada niimero real viene representado por un punto tinico, Llamando a esta recta la recta real, podcén emplearse uno por otro los conceptos de punto y de niimero. evans. Los numeros a la derecha del (), 0 sea al mismo lado que el 1, son los llamados mimeros positivos, y los nlimeros a la izquierda del 0 son los llamados nimeros negatitos. BLO mismo no es ni positive ai negative. ‘ ENTEROS, Z Los enteros son los nimeros reales Se denotan los enteros por Z; asi que se escriby, Beers en tO be B,. -n-0} 30 AP. 3] CONJUNTOS DE NUMEROS 31 Propiedad importante de los enteros es que'ton «cerrados respecto de las operaciones de adicién, rmultiplicacion y sustraccién es decir, que Ia suma, producto y diferencia de dos enteros es a su vez un entero, Notese que el cociente de dos enteros, por ejemplo, 3 y 7, no es necesariamente un entero; asi que los enteros no son cerrados respecto de la operacién divisién o NUMEROS RACIONALES, 9 FATS 9 PES Los mimeros racionates son los reales que se pueden expresar como razin de dos enteros. Se de- nota el conjunto de jos numeros racionales por Q, asi que. Qa ix Obsérvese que todo entero es un nimero racional subconjunto de Q Los niimecos racionales son cerrados no solo respecto de las operaciones de adicién, multiplica- Sn y sustracci6n, sino tambien respecio de la division (excepto por 0). Es decir, que sumta, produc- to, diferencia y cociente (excepto por O) de dos mimeros racionales es un numero racional nuc- vamente, pig donde peZ, eZ) fa que, por ejemplo, $= $/1; por tanto, Z es un NUMEROS NATURALES, Los nimeros naturales son los enteros positives, Se denota el conjunto de los némeros natu- rales por N: asi que: N= {1 Los niimeros naturales fueron el primer sistema de nlimeros que se formd y se les ussba primor- dialmente antes para cantar. Notease las relaciones siguientes enire los anteriores sistemas de némeros 4 5. wi NCZCOCR Los ndmeros naturales son cerrados respecto de las operaciones de adicién y multiplicacién so lamente. La diferencia y el coviente de dos nimeros naturales no es necesariamente un nimero natural Los sntaneros printos son los naturales p. excluido el 1, que solo son divisibles por 1 y por p mismo. He aqui los primeras nlimecos. primas: 23.517, TI AT. 19, 4 Wd 60! NUMEROS IRRACIONALES, Q) |) { i Los mimeros irracionales son los reales que no son racionales, esto es, el conjunto de los nuimeros irracionales es el complemento del conjunto de los numeros racionales Q en los nuimeros reales R: por eso se denotan los nimeros irracionales por @ Ejemplos de nimeros irracionales son Br. V3, me V2. te DIAGRAMA LINEAL DE LOS SISTFMAS NUMERICOS La Fig. 3-2 siguiente es un diagrama lineal de los distintos conjuntos de nimeros vistos busts ahora {Para que quede completo, se incluye en el diagrama el conjunta de los niimeros complejas. que son los de la forma a + hi, con ay b reales. Obsdrvese que el conjunio de los nimeros complejos es un su pereonjunto del conjunto de los nimeros reales.) 32 CONJUNTOS DE NUMEROS (oar. 3 ‘Naimeros compos Nameros reales ‘Niimeros irraionales ‘Nimeros eacionales Entcros Binsentin ial ag Sey ae a) Fig. 3-2 DECIMALES Y NUMEROS REALES Todo numero real se puede representar por un «decimal con infinitas cifras». La representacion decimal de un nimero racional p/q se encuentra «dividiendo el numerador p por el denominador Si la division dicha se acaba, como en 3/8 = 0,375 se escribe 3/8 = 0,375000 . o bien 3/8 = 0.374999. Si la division p por g no acaba, se sabe entonces que hay un tramo de cifras que se repite continuamen- te; por ejemplo: aA = 0,181818.. Ahora bien, Io que caracteriza a los niimeros reales respecto de los decimales, es que en tanto que Jos niémeros racionales cotresponden precisamente a los decimales en que se repite continuamente un tramo de cifras, los nimeros irracionales corresponden a los otros decimales de infinitas cifras. DESIGUALDADES Se introduce el concepto de vorden» en el sistema de los niimeros reales por fa Definic El nemero real a es menor que el nimero real 6, lo que se escribe: acd si b =a es un mimero positive. Se pueden demostrar las propiedades siguientes de la relacién @ < 6. Sean los niimeros reales a. by c; entonces: © bien a -8 La notacién x < $ significa que x es un nimero real menor que 5; asi que x esté ata izquier- dda de 5 en la recta real La notacién 2 < x <7 significa 2 1), (e]x=2}, (2! 2< 3), D = {r|2=4), B= (r|eeR} se Haman intervalas infinitos y se les denota también por A=(i, 0), B=[2, 0, C= (-w, 3) D=]-m, 4, Fs Se representan estos intervalos infinitos sobre la recta real como sigue: el > 1 2 = ” 4 cst repintido Des antago eepintade CONJUNTOS ACOTADOS Y NO ACOTADOS Sea A un conjunto de nimeros; se dice que A es un conjunto acotado si A es subconjunto de un intervalo finito. Una definicién equivalente de acotacion es Definicién 3-1: El conjunto 4 ¢s acotado si existe un niimero positivo M, tal que |x] a0 para todo xe 4. Un conjunto se dice no acoiado si no es acotado. Nétese que. entonces, A es un subconjunto del intervalo finito [—M, 4]. Bjemplo 41: Sea A= {1. 1/2, 1/3, 6.4). 4 es acotado, pues es un subconjumto de) intervalo ce rrado [0. 1] Ejemplo 42: Sea 4 = (2.4.6, .-.]. 4 es un conjunto no seotedo. Ejemplo 4-3: El conjunto A = {7,/ 2, —473, 2322, 42} es acorado, Observacién 3-3: Si un conjunto 4 es finito, entonces es necesariamente acotado, Si un conjunto es infinito, puede ser acotado, como en el Ejemplo 4-1, 0 no acotado, como en cl Ejemplo 42. 36 CONJUNTOS DF NUMEROS : [ear 3 Problemas resueltos CONJUNTOS DE NUMEROS En los problemas siguientes, R, Q, Q', Z, Ny P designan, respectivamente, los nimeros reales, racionales, irracionales, enteros, naturales y primos. 1. Entre lo que sigue, decir qué es verdadero y qué falso. () -TeN (6) -62Q (1) VBeN (2) vEeq" (7) lleP (12) VO Q" (@) 402 (8) $eZ (13) 22 (4) 9eP (9) V-BeQ (14) eR (5) Bre Q (10) 1eR (15) Ya R Soca (1), Falso, NY solo contene los enteros positives; ~7 es negative {2) Ciera. «/Ano se puede exprisar como razin de dos entros, asi que /2 noes raciona {3} Ginna. 2, el sonjute de los enteros,contone todos los eneros, posits y negatives. (4) Faso. 3 dhide a9, ac que 900 es primo, {3}. Pals. x a0 es raioral ni tampaco Se {6}. Giero, Los nmerosracionalesincluyen a los enters. Asi, ~ {7}, Clero. 1 no tiene dvisores excepto 1 y 1; ast que ex primo. (8) Falso. Jno. enero (9) Falso, 0 = a) 8.7..-9 (3) 8.2.7 (4) 5.5.8 Solueida: Se escribe a b si b — aes negativo ya = bib 8. Entonces (1) 35-9, @) 49-8, @) 97, )-5<3, )3t=9, |W — So tambien 8 < p. @ 2<0, G) 3 wyw>lobienw< Sy 1 w > 1 inquierda de 6 sobre la reeta real. De acuerdo con esto, 3B CONJUNTOS DE NUMEROS fear. 3 It, Dar la definicién precisa de la funcién valor absoluto, es decir, definir |, Solucién: Por definicién, ‘ zszeo 12. Dado |x| £0. Averiguar x. ‘Sotucin: ‘Téngase en cuenta que el valor absoluto de un nimero es siempre no negativo, es decir, que para todo ni- mero x, [x| = 0. Por hipétesis, [x] = 0; por tanto, |x| = 0. Por consiguiente, x = 0. 13. Caleular: (@) (3-5) (6) |-8) 418-1) (2) |-34+5 (] 12-5)- 4-7 (3) |-3~5] (8) 18 + |-1-4)-3 - 9] (4) |-2\-|-6 (8) |I+2| — |-6]| (5) |3—7|-|-8)' (10) |~|-5|j Solucién: 3 (1) [a8] = [=| = 2 (2) |-a+5) = [a] = 2 () |-3-5] = Fal = 8 (@) [-2]-I-6) = 2-6 = ~4 (8) |@—T]~|-8} = Inti = |-8] = 4-5 = - (6) |-8)+ B=a] = [8+ a] = 342 (7) [2-5] ~ b—7| = |-3|—|+8) = 3 (8) 19+ {-1-4|— 8 = [-8] = 134 |b) a —|-8) = 27 (9) [-2)~[-8)| = @—o) = [4] = 4 19) |—[-8| = +e] = 5 14, Escribir de manera que x quede sola entre los signos de desigualdad: Q) 8<2-4<8 /4 @) -9<32<12 (3) 8<22-5<7 Q) -1<248<2 (4) -6<-B0<4 (6) ~7< -2r438<5 Por P, simese 4a cada lado de 3 bosia (1) U7. yaquel > —7 Q) -2=-9, pues -2 > -9 G) Tanto 2° <8 como 2° = 8 son cicttos, ya que 2 = & () 3.57, puesto que 3 <7. (5) Tanto 3? <9 como 3 = 9 son ciettos, porque 34 = 9. , © ¥ = —U, porque ¥ > —1: INTERVALOS. 18. Escribir los intervalos siguientes en forma constructiva conjuntista: a) M=[-3, 5f, (2) S= 3. 8, @) T=[0, 4], 4) w=]-7, -2). Soluciéa: Recuérdese que el corchete investido sigaifica que el extremo no pertenece al imtervalo; y que el'corchete significa que el extremo pertenece al intervalo. Asi, pues: (2 | -a=2<5) fe| 3<2<8) | =4) fe | -7<2=-3 19. Representar los intervaios R = J~1, 2], Soluci6n: ara representar 2, sefdlese primero cada extremo suyo ~1 y 2 con un circulo: [-2, 2, T= JO, ILy W = [1, 3] sobre la recta real. ptt a a ° 1 2 3 « Como el extremo 2 pertenece @ R, repintar el circulo que rodea cl 2: Representacida de 40 CONJUNTOS DE NUMEROS (cap. 3 De ta misma manera, + 3 caine ° 7 ? a “ Represenicion de 5 = o T 2 $ @ Reprosentacion de 20, Dados ios numeros reales a y b, a —1), Representar los conjuntos sobre la recta real y escribir luegc ‘os conjuntos en notacién de intervalos. Soluctn: Los conjuntos som todos intervalos infnitos. Enciérrese con un elulo el extremo y dibijese una semi- rrecta irigida hacia el lado del extrema en que est el conjunto, como se ravesra en seguida eee ee) 7 T 2 : ‘ ia a ° i 7 7 B ee 7-3 2 7 . 2 3 t c te or a © T > z 7 D ‘Con ls notacién de intervalos, los conjuntos se definen asi: A = J—ao, 3[, B= [2, oo. C= ]—m, Ny D=]=1, cof, Notese que se usa corchete al reves del lado de! simboto de indnito. OPERACIONES CON INTERVALOS 2. Scan 4 =[-3, IL y B= (-1, 2] (1) Representar Ay B sobre la misma recta real 2) Mediante (1), representar 4 B, A) By A — B sobre rectas reales. (3) Escribir AU B, A) By A — B en notacién de intervalos. Solucin: (1). Sobre la recta real, rayar A con trazos inclinados a la derecha (j/i/) y rayar B con trazos inclinados a la inquierda (\\): a ° . ° 3 a Ay Rrayados cap. 3] CONJUNTOS DE NUMEROS 4 (2) AU B contiene tos puntos de cada imtervalo, esto es,os puntos rayados en la figura: AU Blo repintado 4M Beonticne solamente los puntos que estin tanto en A como en B, 0 sea los puntos eubiertos con doble rayado: Sp t a a ° ? 2 7 41) Blo epiniado A ~ Bontiene los puntos de A que no estén en B, 0 sea los puntos rayados con ji pero fuera del doble rayado: a = Eh aa ° r ? 2 4 (2) Los praficos anteriores indican que AU B = [-3,2}.4 B= [-1 Iya — B= [-3,1L 2B. jn qué casos la unién de dos intervalos disjuntos es un intervalo? Solucién: Primeramente, ¢] extremo derecho de uno de los intervalos debe ser el extremo izduierdo del otro. En se- ‘gundo lugar, en el extremo comtin uno ée los intervalos debe ser cerrado y el oto abierto. Per ejemplo, sean M= [—3,4L y N= (4, TL. El extremo derecho de M es el exiremo izquierdo de N; y M es abieno en 4 en tamto que N es cerrado en 4. MUN = [-3, IL y MAN = @. 24. Dibujar sobre la recta real y escribir el conjunto que resulta en notacién de intervalos: {o) (@|#=—1) Oe |-B2} =3) U (2 | 2c) 0} 9 (2 | -2<2<3) Solucidn: En cada caso, representar el conjunto de la izquierda con trazos /// y el de la derecka con trazos \\. @ oO eee 2 . 2 3 ¢ La interseecion abarca los puntos doblemente rayados, o sea el conjuate [~1, 2[. wm 6 La imtersecsidn ¢s el coujunte vacio, ya que no hay puntos con doble rayado, es decir, no hay ningin pun to que esté en ambos intervalos wy Remnant eed o 7 2 . t La uni6n es el intervato infinite Jo, 3) © LO PEOXLEBERBE BOP LLL ALLO a ° 7 2 2 t La interseccién ¢s el conjunto de puntos con doble sayado, es decir. el conjunto ]—2, 0} 42 CONJUNTOS DE NUMEROS car. 3 CONJUNTOS ACOTADOS Y NO ACOTADOS 25. Decir-cuéles de los conjuntos que siguen son acotados 0 no acotados. (@) (| 2<8} (@) (x | x es potencia positiva de 2) (0) 03,5...) (2) (2.5.2.5, 00.5 (e) (2",8-4,5, 0,8") (Oy -1, 12,172, 1/3, -1/8, 1/4, Soluciéa: (a). Este conjunto no es acotado, pues hay niimezos negativos cuyo valor absoluto es arbitrariamente grande. ‘De hecho, este conjunto es un intervalo infinito ]~co, 3[, que no puede estar contenido en un intervalo ito (6) Este conjunto, el de los nimeros impares, no es acotado. [c) Aunque los numeros de este conjunto son muy grandes, el conjunto es acotado, sin embargo, porque es finito, Se le puede acotar con el niimero mayor. (d) El conjunto de las potencias postivas de 2, que son 2, 4,8, 16, ..., €s un conjunto no acotado. {e) Como este conjunto contiene solamente los dos nuimeros 2 y 5, e8 acotado. (P) Si bien en este conjunto hay un mimero infinito de niimeros, el conjunto es acotado, ya que ciertamente se ccontiene en el intervalo [ 1, 1] 26. Si dos conjuntos Wy V son acotados, qué se puede decir de la unin y de la interseccién de estos conjuntos? # Solucién: “Tanto la unign como la intersceci6n de eonjuntos acotados son acotadas. 27. Si dos conjuntos Ry S no son acotados, ‘qué se puede decir de la unién y de la interseecion de estos conjuntos? Solaeién La unin de R y S debe ser no acotada, pero la imtersecciéa de R y $ podria ser ya scotada, ya no acotnda. Por ejemplo, si R = J— 0, 3L y co, la interseecion de estos intervalos infnitos es el inter- valo finto y, por tanto, acotado, (~2, 3[. Pero si R= J3, of y S = [-2, «of, la interseccidn resulta infinite ¥, Por tanto, no acotada; es el intervalo J, of. Problemas propuestos CONJUNTOS DE NUMEROS 28, Entre lo que sigue decir qué es cierto y qué es falso: @reQ )-SeN @) TP (1) -5e2 19) Be P GY w8ez (2) 30% (9) Veg 46) VOeN ) Vr3eR (10) V2e@ (2 2eQ 29, Hacer un diagrama lineal de los conjuntos 2, Z, Q' y P. 30, Entte los conjuntos R, Q, 0’, Z, Ny P, gcuiles no son cerrados respecto de las operaciones de (1) multiplicacién, (2) division (excepto por 0)? 3A. Dados tos conjuntos d= Ce, WeN} = (24,816, 0) B = (| 2=8n, ne Nt = {3,6,9,12 ...) © = bef ram me 2) = b..-6)-3,0,5,6, 03 ouiles de estos conjuntos son cerrados respecto dela operacién de (1) adicién, (2) sustracci6n, (3) multiplicacién? 32, Entre Jo que sigue, decir qué es (a) siempre cierto, (6) cierto a veces, (e) nunca cierto. Aqui es at Oy b +0. () eeZ,be@ y a-deNn. () aeP,beP y atber. @) ack de@ y ade@ @) ae, beg y atbeQ. @) aeN bee y abez (ack beQ y aden, () ae, be@ y aed, @) acP,beZ y decd car. 3] CONJUNTOS DE NUMEROS 43 DESIGUALDADES Y VALORES ABSOLUTOS 33, Escribir las afirmaciones siguientes con fa notacin de orden: (1) no es mayor que ». (3) rno es menor que ¥. Q)_ El valor absolute de x es menor que 4 4) res mayor o igual que # 34, Entre Jos siguientes pares de niimeros insertar el slmbolo correcta: <, > 9 =, siendo x un aiimero real cual- auiera. ws Pk (8) F229 ate (2) aw 2/3 () miel 8) 5 36. Escribir las relaciones geométricas entre los nimeros utilizando la notacién de las desigualdades: (1) a estd a la devecta de 6. (@) x esté ala iaquierda de y. () resté entre —Sy 36. Calewlar: @ (2) (31-5 (7) a-8|- 2-3) @) 4-3} (5) 2-31 + |-6) (8) |/-3)~ [911 @ 44a (6) |-2) + 1-51 (9) [/2=8)- = 9)) 37, Fseribir de modo que x quede sola entre los signos de cesigualdad: () -2<2-a<4 (@) 1 <4r <8 () -1<2r-3< i) Scared (45-22 < 10 ) -3< 5-22 < 38. Escribic sin el signo de valor absolute: Ui) 8, 2-3) <8, Bead ce, 39. Escribir con el signo de valor absoluto: () -3< 2% 9, 2) 25278, (8) Te rst Demostrar Pg: Sia < 6 y ces negutivo, entonces be < ae. (Nota: Se da por sentado que el producto de un nt ‘mero negativo y un aumero positive ¢s negativo.) INTERVALOS 41, Escribir Ios siguientes intervalos en forma constructiva: Aa(-31L Bel} Ca J-13) B= 1-420 42. Entre los conjuntos del Problema 41, ,eudl es (1) un intervalo abierto, (2) un intervalo cerrado? 43, Repreventar los conjuntos del Problema 41 sobre la recta real 44, Bscrbit los siguientes intervalos infinitos con la notacion de intervalor: R= (e222, S= (z]2>-h Ps ele 45. Representar los eonjuntos del Problems 44 sobre la recta real, 46, Sein A= [—4,2f, B= J-1, 6, C= Jon, 1]. Hallar y escribir con notacién de intervalos ) AuR @a-B wy Aue (a-c (9) BUC ay B-¢ (@) ANB () B-A () anc i e-a (10) Bae (2) C-B CONJUNTOS ACOTADOS ¥ NO ACOTADOS 447. Escribir cada uno do los siguientes conjuatas cn forma tabular y decir cuales son acotados y cuales no acotados. E = te | e=(h, ne Ny @ = tl e=QyneN Fe (p | z=3 nem HS te | pe Nye < 2570) 48, Son las afirmaciones siguientes (a) siempre ciertas, (4) a veces ciertas, (e) nunca ciertas? (1) Si Acs finito, 4 es acotado, (3) Si 4 es un subconjunto de [—23, 79], A es Bnito (2) Si Aes infinito, A es acotado, (4). Si d es un subconjuato de [—23, 79], 4 cs no acotado. “4 CONJUNTOS DE NUMEROS (car. 3 Respuestas a los problemas propuestos 2B AVF, (2) Ys 1) B14) BS) G6) MAT) RE, lO) YT, 2) wm UA @ i 30) QyP Q) OLZNYP. a) ByC. GB) ABYC 32 (1) Clerto a veoes. ) Siempre cierto, (5) A veces cierto. (7) A veces cierto. 2). Nunca cierto (4) Nunca cierto. (6). Siempre. cierto. (8) Siempre cierto, Bowery QD ijst Brey Wrme MoD? @> B= WS He < M< w> BU arbor bse @) acy 18) —B Bla definida por el diagrama +t En lo sucesivo se dird simplemente dominio en ver de dominio de definicién cuando no haya peligro de conusién. 4 La nomenclatura mis generalizads hoy en dia es ésta: Dados dos conjuntos 4, de wpartidas,y 8, de wllegadan, se Hama funcidn /de 4 en B, lo que se cscribe f: A—> R, una re- lacién que vincula a un clemento x4 un clemento nico » «2. Exe elemento ye B se dice que ccorrespondey al ea y se llama imagen del x por Ia funcidn f, cosa que se indiea eseibiendo y = f(x). El conjumta ¥° de los elementos ¥e A que tienen imagen en B se llama dominio de definiciin dela funcion fy es claro que NC Asan easo de ser Y= A se dice que la funciéa es una aplicacién de A en B. El conjunto ¥ de los elementos j £8 que som imagen de elementos x se llama damunio de mdpenes dela funcién fy es ela- ro que YC A; si Bes un conjunto de niimeros se dice con preferencia que Y es el dominio de valores de J- Dominio de definicién es, pues, lo que se lame dominio, a seeas, en las obras inglesas (fomain). y conjunto de Hegada alli el codominio (co-domuin), en tanto que e! dominio de imagenes 0 de valores es el llamado «ambito» (range) en estos lie bros. Las funciones inyectivas se decian antes biunivecas (one-one), clifeacion hoy abandonada por ne A es frecuente entonces llamar & f operador 0 transformacién sobre A. Como sz veri Inego, los operadores son casos especiales importantes de funciones. © por el diagrama FUNCIONES IGUALES Si fy g son funciones definidas en el mismo dominio D y si fla) = g(a) para todo ae D, entonces las funciones 7 y g son iguales y s¢ eseribe ies Bjemplo 2-4: Sea le) = x, siendo x un namero real. Sea glx) = tonces fno es igual & g, pues tien dominios diferenies Fjemplo 2-2: Sea la funcion / definida por el diagrama Sea ahora una funeiéa ¢ definida por Is f6rmula g(x) = +, slendo el dominio de g el con jumo {1,2}. Entonces J = g, pues ambas tienen el mismo dominio de definicién y tate f ‘ome & asignan la misma imagen a coda elemento del dominio, Ejemplo 2.9: Sean f: R-» Ry ¢: R— R, Supsngese que f std dofinida por fx) ~ x7 y que g le esti por 800) =. Bntonces fy g son Tanciones iguales, es decir, fg. Observese que «© son site plemente variables mudas en las formulas que definen las funciones. endo € un niimero complejo, En DOMINIO DE IMAGENES DE UNA FUNCIONt Sea funa aplicacion de A en B, es decir. sea f: A + B. No es preciso qué todo elemento de B sea imagen de un elemento de A. Ahora bien, el conjunto de los elementos de B que son imégenes de un elemento de A por lo menos, se llama dominio de imdgenes+ de f. Se simboliza el dominio de imagenes de f:A > B por : f(A) Es de observar que f(4) es un subconjunto de # Bjemplo 41: Sea le funcién /:R > R definida por la frmula fx) = 2°, El dominio de imagenes de es el conjunto de los nuimeros positives y el cero, Hjemplo 32: Sea f: 4 B la funsi6n del Eyemplo 1-3, Entonces fl) = {b, ¢} t Cuando el codaminio es un conjunto de numeros s dice con preferencia dominio de valores: i P CAP. 4} FUNCIONES a FUNCIONES INYECTIVASt Sea funa aplicacion de A en B. Entonces f'se dice inyectiva si elementos distintos de B correspon- den a elementosdistintos de A, es decir, si dos elementos distintos de A tienen imagenes distintas. Dicho brevemente, /: 4 — B es inycctiva si fla) = f(a’) implica a = a’, 0 lo que es lo mismo, si a + a’ im- plica fla) = fla. Ejemplo 41: Sea ta funcién f:R— R defnida por la férmula f(x) = x. f no es inyectiva, pues fi2) = J(-2)'~ 4,0 sea que dos numeros reales diferentes, 2 y —2, tienen la misma imagen, el ai mero 4 Sea la funcién f: R—+ R definida por Is frmule fix) = x. f-es ona aplicaciin inyectiva puesto que los cubos de dos niimeros reales distintos son distintos ellos mismas. ‘La funeién f que asigna a cada pais del mundo su ciudad capital es inyectiva, ya que paises distntos tienen capitales diferentes, es decir, ninguna cwudad es Ja capital de dos paises di- ferentes. FUNCIONES SOBREYECTIVAS+ Sea funa funcién de 4 en B. El dominio de imagenes (4) de la funcién fes un subconjunto de B, esto es, fd) CB. Si fld) = B, es decir, si todo elemento de # es imagen de al menos un clemento de A, se dice entonces que «fes una funcién sobreyectiva de A en B» o que jes una funcidn de A sobre Bo, © bien que «f aplica 4 sobre Bo. Ejemplo $1: Sea la funcién f+ R-» R definida pos la frmula flr) = x2. f no es sobreyectiva porque los ‘nmeros negativas no aparecen en el dominio de imagenes de f, esto es, ningun numero ne- gativo es cuadrade de un numero real, Ejemplo §-2: Sea f:4—» 8 la funcién del Ejemplo 1-3. Nowese que /(A) = (5. }. Como B= fa, b, ¢}, el dominio de imagenes de fo ¢s igual al codominio, es decir. f no es sobceyectiva. Ejemplo §-3: Sea fA > B la funcion del Ejemplo 1-5, Notese que fal = ye = B esto es, que el dominio de imagenes de f'es igual al codominio B, Asi, pues, faplica 4 sobre B. 0 sea que Jes una aplicacién sobresectiva. FUNCION IDENTICA Sea 4 un conjunto cualquiera, La funcién f : 4 > A, definida por fly) — x, 0 sea Ja funcién f que hace corresponder a cada elemento de A ¢l misino elewento, se lama funcidn idéntica o transformacién identica sobre 4. Se la denota por 1 0 también por 1, FUNCIONES CONSTANTES Una funcién fde 4 en B se llama funcién consiante si a cada elemento de se le asigna el mismo elemento 6 ¢ B. © dicho de otro modo: f: 4 + 8 es una funcién constante si el dominio de imagenes de f consta de un elemento solamente. jemplo 61: Sea /lafuncién definida por el ¢iagrama - _F no es entonces una funcidn constante, pues el dominio de imagenes consta de tos dos ele- mentos 1 y 2. Ejemplo 62: Sea fla funcidn definida por el disgrama ‘Fes una funcidn constant, puesto que 3 se le hace corresponder a todo elemento de A. vis nia pein FUNCIONES [cap 4 , Ejemplo 63: Sea f R-+ RK dofinida por la fSrmula fix) = $. fes una funcién constante, ya que a todo clemento le carresponde 5. FUNCION PRODUCTO COMPOSICION Sea funa funcién de Aen B y sea una funcién de B, el codominio de f. en C, como se ilustra en ~ Ome Sea ae A; su imagen f(a) est en B, que es el dominio de definicion de g. De acuerdo con esto, se puede encontrar la imagen de f(a) por la aplicacién g, es decir, se puede hallar gif(a)). Asi sc tiene, pues, que 8 cada elemento a ¢ A se hace corresponder un ciemento g(/(a)) € C. En otras palabras, se tiene una fun- ign de A en C. Esta nueva funcion se llama fiascidn producto composicién, o simplemente funcién pro~ ductot de fy g y se denota por (oof o wh Mis brevemente, si f: A By g: BC, se define una uneién (gf): A + C por (92 fa) = 9{fla)) para significar «igual por definicién». Ahora se puede completar el diagrama: Se usa aqui Ss ten Elemplo Tos Sean fod» By ¢: 8+ C definidas por los dingramss 4 ' B UJ iT Calculendo (gs): A -> C por le definicién: (ene = aay = ot) i916) = abn) = ote) weed = aed) = gu = ¢ Névese que la funcisn (g =) es cquivalente a atcguir la flecha» desde A» Cen los diagramass de las funciones fy Ejemplo 7-2: A cada nimero rea hagisele corrsponder por fsu cuudrado, es desir sea f(x) = x2, Ahora 2 cada atinero real hagasele costesponder por g cse misino miimero mis 3, e8 decir, sea ' . g(x) =x +3, Entonces (Fon) = Kol) = 15) = (M2) = a2 = gis) = 7 [Notese que las funciones producto (¢ -f) y [f ) no son la misma fancidn. Calculando una férmula general para estas funciones producto resulta Wem, = Ketan — flee 3) (et Bt = ate oro @eNled = gz) ~ ge) = eS Observacion 41; Sea f: 4 ~ B. Entonces BMN=—f y fess © sea que el producto de cualquier funcida’ y Ia funcién idéntica es la funeisn misma + 0 funvién compueste, preferentememte CAP. 4] FUNCIONES 49 ASOCIATIVIDAD DE PRODUCTOS DE FUNCIONES Sean fA B, g:B— Cy h: C+ D. Entonces, como se muestra en la Fig. 4-1, se pueden fore mat las funciones producto (g D y luego la funcion (he g)=f: A D. Fitz Ambas hi» (g =) y (k= g) of son funciones de 4 en D. Un teorema fundamental sobre las funciones afirma que estas funeiones son iguales, a saber: Teorema 41: Sean f:A>B,9:B>C y hiC+D, Emonees (heg)ef = heo(gef) En vista de este Teorema 4-1, se puede escribir Aogof:A>D sin ningun paréntesis IMAGEN RECIPROCA DE UNA FUNCION 9. in\avs4 Sea funa funcién de A en B, y sea 6 ¢ B. Entonces la imagen reciproca de b, que se denota por 7 *(b) consiste en los elementos de 4 que estén aplicados sobre 6, esto es, de aquellos elementos de 4 que tienen ‘8 b por imagen. Dicho mis brevemente: si f: A -+ B, entonces F*(b) ix | te A, fix) =) ‘Notese que f(b) es siempre un subconjunto de A. Se lee {~? «f reciprocan, Ejemplo &1: Sea la funcién f: 4 —~ B definida por el diagrama Entonces /~' (x) = (5, cf, pues tanto como ¢ tienen a x por imagen, Asi también, J-' Y) = {a}, ya que solo a se aplica en y La reeiproce de 2. J! (2). ¢5 el conjumto vacio @. ya que ningin elemento de 4 se apliea en Ejemplo 2: Sea f: RR, siendo R los nimeros reales, definida por la formula fix) = x*, Entonces F°* @) = (2, —2}, puesto que 4 es la imagen de 2 y de ~2 y no hay otro nimerct real euyo ‘wadrado sea cuatro, Nétese que f-! (—3) = Zi. ya que no hay elemento de R cvyo cua- drado sca —3 sf FUNCIONES. tear 4 jemplo 8-3; Sen J una funcién de fos nimeros eomplejos Gh Tos nimeros vomplejos. estaado f Uefinida 3), —/3 19a que el euulrado de cada poe Ja feria fl Entonces f' ( uno de estos nuimeros es —3, Es de notar que lay funciones de los Ejemplos 8-2 y 8-3 son diferentes a pesar de que estén defini- das por fa misma férmula. Generalizando ahora ta defintcién de reciproea de una funcién, seu f: 4 + By sea D un subcon- junto dg B, es decir, DC B. El conjunto de los elementos de 4 que se aplican sobre algiin elemento de D es la reciproca de D por la aplicacion f y se denota por f(D). Mas brevemente PD) = ty | wed, feed} Ejemplo 9-1: Sen la fncién f* 4 + definida por el diagram A B Aqulf-' (tr. 9) = {y}, ya qué solamente yse aplica en ros. Del misma moda f (Jr, 1}) = Esvov 2} =A, pus todo elemento de 4 tiene por imagen ro 1 Ejemplo 9-2: Sea f: K-» R definida por f(x) = x, y sea D = epg) Fotoness 4) Ejemplo 93: Sea fa -+ B una foncien cualquiera, Aqui f~!(B) = 4, pues cada clemento de 4 tiene su sage en B. Si fia] designs el dominio de imégenes dela funsién J. entonces ryan = a -2 F'O) = te! ers Boe Adems, ih, entonces Fe) = 11D) * ‘Aqui {tiene dos sentidos: como reciproca de-un elemento de B y como revipcoca de un subecajunto de B FUNCION RECIPROCA Sea funa funcidn de‘ en B. En general, f~"(h) puede tener mas de un elemento o ain ser el con- Junto vacio @. Ahora bien, si f: 4 B es una funcién inyectiva y sobreyectiva, entonces para cada +b € B, la reciproca /~'(b) consta de un solo elemento de A. Se tiene entonces una correspondencia que asigna @ cada 6 8 un elemento tinico f '(p) de 4. Asi que, entonces. f+ es una funcion de Ben A y se puede escribir: pair En este caso, cuando /: A -+ B es inyectiva_y sobreyectivat, 7! se llama la funcién reciproca de la / SBjemplo 10-1: Sea la funeion /: 4+ B definiéa por el diagrama A i B at Nétese que fs inyectiva y sobreyectiva. Por tunto, existe f~*, la funcién reciproca. Se des- cnibe fs B+ A por el diagrama t z fe A one + La funcién fs dice emonces biyectiva cap] FUNCIONES 31 Notese ademas que si se ponen las flechas en la direccién opuesta en el primer diagrama ef se tiene precisamente el diagrama de f-! Ejemplo 10-2: Ses la funcidn f: A B definida por el diagrama 4 f zB jt Como fla) = » ¥ fle) =) Ia funeiin {no es inyectiva, Asi que la funcién reviproce ~ no existe. Como f-" (y) = (8, ¢} no se pueden asignar a y ¢ al elemento ye B. Ffemplo 10-3: Sea f: RR, definida por ftx) = x°, Nétese que fes inyectiva y sobreyectiva. Por tanto, P'S RR existe, Se tiene ciertamente una formula que define la funcién reciproca, S'0)= oe TEOREMAS SOBRE LA FUNCION RECIPROCA Sea una funcién f: A > B que tiene una funcién reciproca f"': B+ A. Se ve entonces por el diagrama que se puede formar Ja funcién producto de composicién (f-" »f) que aplica A en A, y se ve por el diagrama que se puede formar el producto de composicién (ff) que aplica Ben 2. Los teoremas fundamen- tales sobre la funcién reciproca son: Teorema 42: Sea la funcion f:A—+ B inyectiva y sobreyectiva, o sea que Ja funcién reciproca 1B 4 existe. Entonces el producto de composicion (Plef:aAra @s la funcién idéntica sobre 4, y el producto de composicién (ep yiBaB es la funcidn idéntica sobre B. Teorema 4-3: Sean f:A— By g: B- A. Sila funcién producto de composicién (g «f): A + A es la funcién identica sobre A y si (f> 2): B+ B es la funcidn idéntica sobre B, g ex la funckin reciprpea de f, es decit, g =f. ‘Ambas condiciones son necesarias en el Teorema 4-3, como se ve en el Ejemplo Ul: Sean A = (x, »} y B= {a Bc). Definida una funcidn f: A -» B por ef diagrama (a) que sign . p< te definase una funcién g : B+ A por el diagrama (6) anterior. Caleulando ahora (g=f): A -> A, se tiene (ee fkey = aii) = ler = = Wwe fite) = wife = ola) = y Por tanto, la funcién producto ig f) es la Suncién idéntica sobre 4. Pero g no es la funcion reciproca de / porque la funcién producto (f= g] no es la funcién idéntica sobre B, ya que _frno es una funcién sobreyectiva, 52 FUNCIONES Teap. 4 Problemas resueltos DEFINICION DE FUNCION 1. En Toy diagramas que siguen, decir cuando se define 0 no una funcién de 4 By |x, y, 2h. Solucidn: (1) No. Al elemento h ¢ 4 no le cortesponde nada, 2) No. Al elemento ce 4 le eortesponden dos elementos, x y zi y en una funcidn, a un elemento del dominio solo le puede corvespinder un elemento, G)_ Si, Ew una funci6n bien puede ef mismo clemento del cedominia corresponder a més de un elemento del dominio, 2. Dar una férmula para definit lay siguientes funciones (1) A cade nimero real asignarle por J, su cubo (2) A cada numero real asignarle por % el ndimero 5. (3) Hacer corresponder a todo numero positive por fy su cuadrado, y a los otros nimeros rea les por f, el ntimero 4 sai: wea = {P3028 - {Cuil de los enunciados que siguen es diferente de,los otros y por qué? (1) fes una funcién de A en B. (3) f:x—+f(x).' (5) f es una aplicacién de 4 en B. GQ) fia B. (4) ASB sit 4. Definida una funcién en el intervalo cerrado —: (DFG, 21-3), 8) Me — 3) Solucion: I) fla) = 4 = 16 - (2) J{—3) varece de sentido, es decir, no esta definida porque —3 no esté en el dominio de ta funcién. (3) Jc — 3) = (1 = 3) = F~ 6t +9, Pero esta fSrmula es cierta solamente cuando 1 — 3 pertenece al do- minia, es decir, cuando ~2.< ¢ ~ 3.4 8. 0 seu que f debe cumplir I= t= 11 =x 28 por fx) averiguar 5S. Sea la funciéa f: R— R definida por f(a} 1 six es racional m1 si.ves irracionitl fa) Expresar f verbalmente, (6) Hallar f(4). flr), f(21313...) ¥ s0/). Solucion: (a) La funcion fasigna €l nimero | 4 (odo ndmero racional y el miimero — 1 a todo aulmero icracional. car FUNCIONES 38 (5) Como 4 es racional, f(1) = 1, Siendo x irravional, ffx) = —1, Como 2.0313 5 un decimal peribivo. due representa un alimero eacional, 2.1313 |= 1. ¥ como \/2 es iracional, fi/2) = —! 6. Sea la funcidn f: R—> R definida por far-1 si roa fa) = jb s -2e2 ay) Bet Hallar (a) £12), (6) £04), (eo) IU), (a) fl sine-2 pertenece al intervalo cerrade [-2, 3] vale la férmula fey = xt — 2. Asi que fl2)=2? — (6) Como 4 pertenece a (3, 22}, vale Ta formula f(xy = 3x — 1 Asique fla) = 84) —1= 12-351, 1) Como ~1 est en el iatervalo [=2.3] s¢apli ta formula fix) = x? = 2. Hecho ef eilevlo, ff—1) = =i (a). Siendo —3 menor gue —2, —3 pertenece al] 20, ~2[ yseaplic ta frmula f(x) = 2 + 3. Asi que enton ces f(-3) = 2-3) + B= 64 T= — ‘Néiese que solamente se a dofinido una fneibn Faunque se wticen tres formulas pars definir af: No se ha de confundir frmulas con funciones 7. Sean los conjuntos 4 = {a,b cl y B= les son? Solucién: Representundo con iiagramas todas las funciones posibles de A en B se tiene asignando cada elemento desl loelo, iin K {1, 0}. {Cuantas funciones diferentes de 4 en B hay y cua- be 4) (Ce (A= A Hay ocho funciones. a 3 I DOMINIO DE IMAGENES DE UNA FUNCION 8 Sea A= {1, 2.3.4, 5}. Definir una funcidn fA 4 por el diagrama Pr > pe {Cual es el dominio de imagenes de la funcién /? Solueidn: El dominio de imagenes consta de todos los puntos imagen. Como solo los milmeros 2.3 y 5 som imagenes. el dominio de imagenes de fes el conjunto {2, 3, 5) 54 * FUNCIONES: car. 4 Con WY = fa, b, ¢,d}, definase una funcién fde Wen W por fla) =@,f16) = fle) = aia) Hallar ef dominio de imagenes de la funcion f : W— W. Solucion: Como el dominio de imagenes de fes el conjunto de elementos que son imfgenes y solarente ay ¢ apare cen como iniagenes de elementos de HV, entonces el dominio de imagenes de fes (a. ¢). ~ 1. Scan ¥={ 0, 1,2} y Ia funcién g: ¥ + R definida asi ai) =a 41 Hallar el dominio de imagenes de . = Sol ‘ CCaleulando la imagen de cada elemento de ¥ o(-2) = CaF +1 o-) = Cr+ (0) = (oF +1 ou) = G41 = 14 o@) = @F+1 = 442 asi que el dominio de imagenes (o de valores) de g es el conjunto {5, 2, 1,2, 5}. es decir, el conjunto {5. 2.1} 11. Cada una de las siguientes frmulas define una funcién de Ren R. Determinar ¢l dominio de valo- res de cada una. i ° (1) fiz) = (2) ofr) = enc, (8) Af) = 41 Solueién: (1), Todo nimero real a tiene eaiz cubica real fa; luego Way = (Wart Es decir, el dominio de valores de /es todo el conjunto de los niimeros reales, 2). El seno de todo niimero reat percenece al intervalo vecrado [—1, {}, © sea que todo numero de este inter- valo serd el seno de algin niimero real. En consecuencia, el dominio de valores de g es el intervalo [—1, 1] (8) Sumando 1 al euadrado de todo nimero seal se tiene el conjunto de Tos nimeros mayores oiguales que | sea que el dominio de valores de hes el intervalo infinite [1, sof. FUNCIONES IGUALES 12, Sean las funciones f;, fz, fs. fe de R en R definidas asi (a) f(z) = 2 Ce) fale) = (0) foly) = —(@) fa asignundo a cada ndmero teal suc Entre estas funciones, goudles son iguales? Solucion: ‘Tadas son iguales entre si, Las Jetras son simplemente variables mudas. Cada funcién asigna el mismo’ ni- mero a todo niimero real. 13. Sean las funciones f, g yh definidas por (@) fla) =2 donde 0=2=1 @) aly) = # donde 22y=8 (2) h(z)= 2 donde zeR ¢Cudles de estas funciones son iguales? Soluciéa No las hay iguales. Si bien se enunéian las mismas correspondencias, los domi las funeiones son distintas, jos son diferentes. Asi que car. 4] FUNCIONES 38 FUNCIONES INYECTIVAS 14. Sea A = (a,b, 6. d,e} y Bel conjunto de letras del alfabeto. Definidas las funciones /, ¢ yh de Aen B por () flay=r fibi=a, Ke)=s, fld)=r, fle) =e (2) g{a) =a, g(b) =e, gle} gdj=r, glehas (8) h(a) =z, hb) = y, ley = 2, Md) = y, hie Decir si son 0 no inyectivas. Soluci ‘Téngase en cuenta que para und funcidn ser inyectiva, distintos elementos del dominio han de tener dié- tuntas imayenes. (1) fno es inyectiva, puesto quejasigna r tanto aa como a d, es decir, la) = fd) 2) ges inyectiva (3) noes inyectiva porque Ma) = hie) IS. Entre las siguientes funciones, decir cudles son inyectivas ¥ cudles no. (1) A cada persona que vive en la tierra asignarle el numero de sus afios. (2) A cada pais del mundo hacerle corresponder el mimerb de sus habitantes (3) A todo libro escrito por un solo autor, asignarle ¢l autor. (4) A todo pais del mundo que tiene primer ministro, hacerle corresponder su primer ministro. (1) Muchas personas Uenen la misma edad, asi que ests funcidn no es inyectiva, (2). Si bien es posible que dos paises tengan Jz misma poblacién, las estadisticas mucstran hiby que esto no es asi; asi que esta funcion es inyectiva, (3) Dos libros diferentes pueden ser del mismo autor, asi que esta funcién no es inyectiva (8) Dos paises dstintos no pueden tener el mismo primer ministro; la funcién es inyectiva, 16, Scand = [-1,1] = {x| -1 =x <1}, B= [1,3] yC = [-3, 1]. Sean las funciones f, 4 + R, fri B> Ry fy: C+ R definidas asi: A cada numero le corresponde su cuadrado. ¢Cudles son inyectivas? . = Solu La fimeidn f, : A “+ R nv es inyectiva porque f, (3) = f; (—3). 0 sen que dos mimeros distntos del dominio, tienen a misma imagen. La funcién f:B— es inyectiva porque los cuadrados de nimeros positives diferentes son diferentes Igualmente, fg | C— R es inyectiva porque los cuadrados de miimeros nepativos diferentes son diferentes. Notese una vez mas que wna fSrmula por si misma no define una funcién. Ya se ha visto que la misma formula define funciones distintas con propiedades diferentes. 17, Hallar el intervalo «mas amplion D en que Ia formula f(x) = x7 define una funcidn inyectiva Soluetin: ie En tanto que e] intervalo D contenga bien numeros positives, bien numeros negatives, pero no de ambos, la funciéa seri inyectiva. Asi que D puede ser el intervalo infinito [0, wf 0 el ]~ <0, 0], Pueden darse otros intervalos infinitos en los cuales f sea inyectiva, pero serian subconjuntos de alguno de estos dos. 18. Puede ser inyectiva una funcién constante? Re kd Solucién: Si el dominio de una fancién consta de un solo ¢lemento, la funcién ser constante ¢ inyectiva 56 FUNCIONES Tear. 4 19, Sobre qué conjuntos 4 la funcion idéntica 1:4 + A es inyectiva’? Sutueion 4 puede ser cualquier conjunto. La funcidn idéntica es siempre inyectiva 20, En el Problema 7 se enunciaron todas las funciones posibles de 4 = fa. b, ¢} en B= {1.0}. De estas funciones, {cuales son inycctivas? Solucidn Ninguna bes. En cada funeiéa, por fo menos dos elementos tienen la roisoma imagen, FUNCIONES SOBREYECTIVAS 21. Sea fA» B. Hallar fA). 0s decir, el dominio de imigenes de f. si / es una funcién sobreyectiva Soluelén: Si fos sobreyectiva, entoness todo elemento dol codominio de f pertences al dominio de imagenes; asi que says 8 \ 22. En'el Problema 8, la funcién f: 4 —> A jes sobreyectiva? Soluetén: Los nilmeros I y 4 del eodominio no son im fencidn sobreyectiva, O lo que es lo mismo. lA} 185 de-ninguin elemento dsl dominio; por tanto, fno es una {2,3. $} es un subeonjunto propio de A. 2B. Sea 4 =[ 1, 1]. De tas funciones f; g y f de A en A definidas por: (i) fo =, 2) gy = x {Cudl es sobreyectiva, si la hay? Solueiin: (7) Como en el dominio de valores de /no hay ningin numero negativo, entonces fno es funcién sabreyectiv. (2) La funcién g es sobreyestiva, esto es, 1A) = 4 (3) La fancidn A no es sobreyectiva, pues en A no hay ningiin nlmero x tel que sen x = 1 (3) dex) = sen x 24, (Puede ser sobreyectiva una funcién constante? Soluctéa: ‘Siel,codominio de una funcion f eonsta de un solo elemento, entonces fes siempre una funcién constante y-es sobeeyectiva, 25, {Sobre qué conjuntos 4 seri sobreyectiva la funcién idéntica 14:4 + A? Soluctén: Lu funcidn idéncica es siempre sobreyectiva, asi que A puede ser cualquier conjunto, 26. Encl Problema 7 aparecen todas las funciones posibles de A = {a, 6, c} en B = geuales son sobreyectivas. si las hay? Soluetin: Todas les funciones son sobreycctives menos fy ¥ fx 1, 0}. Entre éstas, FUNCIONES PRODUCTO DE COMPOSICION 27, Sean las funciones f: 4 + B yg: B+ C definidas por cl diagrama A f B o g ee CAP. 4} FUNCIONES. ST 29. (a) Encontrar la funcién producto (g= ft: 4+ (6) Encontrar los dominios de imagenes de fi g y gf Solucidn: (a) Mediante la definicién de la funciéa praducto se obticne: wef — gin = let Wendy = yuibN = gi We pel = when = gy Obsérvese que se legs al mismo resultado ésiguiendo la Mecha eet iss ensure (6) Sogin el diagram, of dominio de imagenes de fes (x. »} y el de g es fr 1} Spin (a), e! dominio de imagenes de fe {s, 1) Notose que los dominios de imagenes de ey de e *fson diferentes Sca 4 = {1, 2.3, 4, 5) y sean las funciones f:4 + A y g:4 > 4 definidas por f0) = 8, (2) = 5, f@) = 3, 74) = 1, M5) = 2 90) = 4, 92) =1, 98) =1, 94) = 2, 9(5) = 8 Hallar las funciones producto de composicidn fg y ¢ Solucién: Por la definiciin de producto de composicién de funciones se tiene: (> ay) = fot = Fe (Feal® = Aen =f) (eal = Awe = 40) We gia) = flaish) = fe) : (F298) = fais) = 10) 4 (@ 2a) = aan = (8) = 2 fia) = ge) = 9) (9°13) = g'8)) = 98) f° nia) = g(a = gay (a fi5) = tft) = 012) Se ve que las funciones foe vg 0f'no son igus. Sean las funciones f: RR y g:R-» R definidas por: A(x) = 22 +1, (2) = 2-2 Dar férmulas para las funciones producto g- fy fg. Solucién: Caleulando primero ¢- f: R-» Ry teniendo en cuenta que de lo que se trara esencialmente es de sustiult la expresion de dentro de la formula de g. se tiene por la definicidn del producto de fnciones (oN) = ge) = g2z+1) = Getz = a tae—1 Tal vez parezea mis familiar el proceso definiendo las funciones asi ys fil = arth 2 = ay) = oe y eliminando y de las dos férmulas 25 f-2 = @r-1h-2 = ast tar Hay que familiarizarse con el primer método, pues es necesario tener en claro que x es solamente una variable muda, Caleulando ahora fg: RR: Weave) = Kotz) fat—2) = at) 41 = Bat 3 58 FUNCIONES fear. 30, Sean las funciones f y g sobre los niimeros reales R definidas por fa) = st4+22-8, gle) = 82-4 (1) Dar férmulas para las funciones producto g=fy fog. @) Verificar las férmulas mostrando que (¢ »/\(2) = e/(2)) y que (f= 2h2) = fie2)). Solucién: () 2 Ale) = olla) = ole +22—3) = aiet+22—3)—4 Fe aN2) = foe = fOx—4) = Be—4t + 232-4) ~3 @) (oN) = (98462) —13 = 4s = a2) = (2 +22) —3) = (8) = 35) 4 = 1 (Fe a)Q) = 92) ~18@) +5 = 36-26 +5 Hg2) = #@(2)—$) = f@) = F + 22)- 3 31. Demostrar: Si f': A> B es sobreyectiva y si g: B+ C es sobreyectiva, entonees la funcién pro- ducto (gf)i A> C es también sobreyectiva. Solucién: Sea c un clemento de C. Puesto que g es sobreyectiva, hay un elemento be B tal gee (6) = c. Como tam- bien j es sobreyectiva, hay un elemento ae 4 tal que f(a) =f. Pero (g= fa) = aiflel) = 218) = ¢. Asi, pues, para todo ce C, queda demostrado que hay al menos un elemento ae 4 tal que @ = fa) = < Por consiguiente, of es una funciin sobreyectiva 32. Demostrar ef Teorema 4-1: Sean f: 4 8, ¢:B— Cy h: CD; entonces the gyof= howe) ‘Soca: Las dos funciones son iguales si hacen corresponder la misma imagen a cada elemento del dominio, es decir, s : hope Me) = hoi fiNlz} para todo x6 A. Calculando, how) ofa) = (he g)ifte)) = Aletfey) ¥ (hoo MMe) = Mig fle) = Ao(fleD) Entonces 7 (hegyef = hoigof, IMAGEN RECIPROCA DE UNA FUNCION 33. Sea 4 = {1, 2, 3, 4, 5}. Dada la funcién f:4 +A definida por el diagrama Hallar (1) (2), (2) #-"(3), (8) #44), 4) F123, (5) FA BAY. Solucion: (1) f7" (2) consiste en los elementos cuya imagen es 2, Solo 4 tiene 2 por imagen, asi que f-! (2) = {4}, (2) $7'3)= @, pues 3 no es imagen de ningin elemento del dominio, (3) F714) = 11, 3, 5}, pues 11) = 4, 13) = 4/15) = 4y 4 no es la imagen de nimgiim otro elemento. (8) £-* (1,2) esl conjunto de elementos cuya imagen ¢s 1 6 2; por comsiguiente, (1.2) — {2, 4) 18) F-"{2, 3.4) = (4, 1, 3,5}, puesto que estos mtimeros y solo ellos tienen 2,3 y 4 por imagen cap. 4] PUNCIONES 39 34, Sea la funcién f: RR definida por fix) = 2%, Hallar: (HPS, DLN, BF MAB UD Fd Oo), (5) (4, 25). Solucidn: (1) f7! (25) = 45, —5}, pues (5) = 25 y /A—S) = 25 y ningin otro nimero tiene por cuadrado 25, (2) f7'(-9) = @. ya que ningin numero real tiene por eusdrude —¥, 0 to que es lo mismo. la ecuacivin =9 no tiene rate real 6) F811) = [1 11 ye que [sl 21 implica fis) = oF ambien perteneee al [=1. 1] 44) (8 =.) = {0}, puesto que 0? = Oe ]~ 20.0] y ningun otro namero tiene su cuadrado-en el J~ 0] 15) f° ({4, 25)) es a conjunto de atimeros cuyo cuadrado pertenece al 4. 25], e8 desir. los nimeros tales Gque 412 37 25. AS, pues, 5 1,¢s decir, que si x pentenene al [~1, 1], entonces (4.25) = (1222750 2) 38. Sea /: 4 +B Hallar f-"(/(A)), es decir, hallar la reciproca del dominio de imagenes de /. Solucin Como la imagen de cada clomento de A est en el dominio de imagenes de. pigian= 4 en todos es casos FUNCION RECIPROCA 36. Scan fA B y la funcién reciproca de f. f-':B +A. Diganse dos propiedades de la funcién f. Solve: La funcién f debe sor invectiva y sobreyectiva, 37. Sea W = [1, 2, 3,4, 5} y sean las funciones f WW, gs W > Wy hs WW definidas por los diagramas siguientes: f o ¥ z i. 7A Pe {Qual de estas funciones, si las hay, tiene una funcién reciproca’! Solucié Para que una funcion tenga reciproca, debe scr inycctiva y sobreycetiva, Solamente hes inyeetiva y sobre yeetiva; ast que h. y solamente i, tiene funcién reciproca 38. Dado A =[~ 1. 1]. sean las funciones fy. fo. fy ya de A en A definidas por (1) ftv) = a, (2) fats) = 9°, 8) fale) = sem x, (4) fate) = sen dv Decir cuales de estas funciones tienen 0 no funciéa reciproca. Solucin: (1) 4; noes inyeetiva mi sobreyectva: asi gue f carece de restproca 1) fresinyectiva. yaque x + yimplica x + y9.faes también sobreyeetiva, Por tunto.j, iene funeién reeiprocs. 1G) fyes inyectiva, pero no sobreycetiva: por tanta, fy no tiene funcidn reciproc. (4) fa tione funcidn ceciproca porque es inyeetivn y sobreyectiva a FUNCIONES car. 4 39, Demostrar: Sif: 4+ B y ¢:B—C tienen funciones reciprocas f-' : B— A y g-4:C +B. entonces la funcién producto de composicién gf: A C tiene una funcidn reeiproca que es Peg Ca Solu Segin e) Teorema 4-3, hay que demostrar que Weegee =1 y wenerter = 4 Reiterando la aplication det Teorema 4-1, la ley asociativa de la composicién de funciones resulta Felgteigep) = fete taen Frode = fief =1 reg yeuen Obsérvese que se utiliza la propiedad de que g~7 R definida por fix) 4x + 3. Halas (11/04), 2) f(—3), 3) ~ 22), A) fle — 2), [ot-ae i=? Sea la funcion g:R~ Refit por gl) = Yee eck Hallar (1) (5), 2) 200), {3} g(—21 “ROAr & Sea T= [—3, 5] y sea la funcion f: T+ R definida por fix} # — 7, Caleular (a} (12) () (06), (61 fle = 2. [2x8 sizao Sea la funcidn he R— R definida por Aix) = ye*—|2i si xe [-2, 8) lea’ si peo Caleutar (a) AC), (4 ALL2), (€) A —15), (4) ACIS, e decir 1215), Sean N= [2.46 ¥ = [1.2 9 UC Eunlone rons hay de en 2 DOMINIO DE IMAGENES DE UNA FUNCION , Los diagramas siguientes definen funciones f;e ¥ # que aplieun el conjunto |1. 2. 3.4} en si mismo, / ad = At “Averiguar |1) el dominio de imagenes de / (2) el de p, (3) el det B Dado H’ = {—1, 0,2. 5. 11}, Sea la funcion f: > R definida por flay = 2? — x 2. {Cuil es el dominio de imagenes de Considérence las seis funciones siguiemes Mh s[-2.2]-2 Fhe J-%. ~5)>R sofa i [0.3] R Jsi[-hL afar SfoE-3 018 oh t[-S AR Si cada funeién viene dstinda por a mises Formula, fis es decir si cada funciSn asigna a cada numero x el 24, A) fa. (9) fe. (61 fo aleular el dominio de imagenes de (1) fy. 2) fs GDF AP. 4] FUNCIONES 8 LAST Dadas las seis funciones del Problema S4, delinida cada una por la férmula for 09 sea que a cada niimero + cada funcidn le asigna el x, encontrar el dominio de valores de (1) fy. 2) fs. B) fs. = A fa (DF. O fe (£6, Silas funciones del Problema 54 se definen por la ficmula fey hallar el dominio de imagens’ de (i) f,, (2). (3) fa. (4) far (1Ss, (6) Se [34 lus usm del Prabla 4 den po a mala foy= e+ 4 averiguar ¢l dominio de imagenes de (1) f,, (2) fy. 3B) Sa (4) fay (51 Fs, Sa: 98, Seaf: 4+ B. En lo que sigue, 2qué es cierto siempre? (AA) CB, Q)flA) = BB) fA) DB. my FUNCIONES INYECTIVAS 59. Sea f- X'— ¥. Decie entre las condiciones siguientes cuindo se define © mo una funcién inyectiva: U1) fle) =f) implica e = 5 @)_fla) + fb) implica @ + 6. (2) “a= bimplica fla) = fib). 4). a. # B implica fla) + M18). Decir de cada funcidn del Problema 54 si es 0 mo inyectiva 61. Decir de vade funciéa del Problema $5 si es 0 no inyectiva 64. Davie de cada funcisn del Problema 52 ses 0 no inyestiva (68, Demostrar: Si fz A+ B es inyectiva y sig: B+ C es inyectiva la funciin producto g =f: A» C es inyectva FUNCIONES PRODUCTO 64. Enel siguiente diagrama se representan las funciones f:A > Bg: B+ A, 2 C+ BL F:B + Cy GAC. Decir en Jo que sigue cuando se define una funcién producto, y siendo el caso, determinar su dominio y su ¢o- dominio, Wet Gk BFL AGL Goch Fen Thee B) hog 68, Dadas las funciones fg y A del Probleme 52, hallar las funciones producto (1) f=. 2) efi G1 g= 8, 0 sea 8 66. Scan las funciones f: R-» Ry g: K+ R definidas por fie) = #43241, ols) = 2x3 Dar férmulas para las funciones producto (I) fea, @) 9°f, @) geo, () F*f 67, Sean las funciones f: R> Ry g: R—+ R delinidas por flay = xt Dial, gle) = HT Hallar (a) (9° DG, 1) Fe wN-B, (6 WEN), Fo 96). 64 FUNCIONES car. 4 RECIPROCA DE UNA FUNCION 8 o. 0. Sea f: R~» R definida por f(x) = x? + 1. Hallar (1)~ (5). 21F-# (0), @)F-* (10), DF" (50. (5) F710, 26)). (6)F * (0. Sp, OF C-S, DB C3, 5D. Sea g: R—+ R definids por g(x) = sen x. Hallar (1) g°* (0) @)~! (1), G)g7 (2), 4) a7" (C= 1, 1D} Sea fi A+ B. Averiguirf-! (2). PROBLEMAS DIVERSOS a a B. ™ B. 54, Sea f:R-+ R definida por flx) = 3x + 4. fes, pues, inyectiva y sobreyectiva, Dar una férmula que defina f—* Sean. 4 = R— {Hy B= R— {1}. Seaf: 4 B defnida por fe) = @-aiee+1 Botonces f es inyectiva y sobreyectiva, Haller una fSrmula para definir f—' Sea Ws [0, cof. Dadas las funciones f: Wi» Wag: W—+ Wy hs Wi» W definidas por fe =a oe = +1, Aa) Sate ‘oual de estas funciones, sila hay, ¢s sobreyectiva? Sea la funcién f: R-+ R definida por fix) = x + x— 2. Hallar (@) 713) () fe-2)(e) fuy ) Meth fay (i F109) 8) @ 1-9-7) MUM) e+ GO FOE org Sean f:A—+ Bg: B— Ay gf = 14a funcién idéntica sobre 4. Decir qué es cierto 0 falso entre Jo que sigue: W) gest 3) es una funcién inyectiva. (5). ¢4 una funcién inyectiva (2) Fes una funcién sobroyeetiva. (4). es una funcién sobreyectiva Respuestas a los problemas propuestos (1) No, (2)Si, (3) No, six a3 (Jl) = 2 + 3. Q)gte) = 3+ | eee ix.) ax) = { (1)3, @) 24, B)y? = dye 4 det — y+ Be + 3, 4) BETS, (1) 10, 2)2, 0. {a) I, (b) No definido, pues 6 no pertenece al dominio de defniciSn, (c) 27 — 81 + Isi Leta. (a¥6, (6)29, (¢) —19, (d) 4S. Nucve. 1) (1.2.4), 2) U1, 23.4), 3) (1, 3} 10, =2, 18, 108}, (1) [0, 4), (2) [0, 9}, (3) [0. 9}, (4) [25. oof. (5) [0, 16f, (6) [0. 25} cap. 4] FUNCIONES 65 55. (8.8), @)0, 27], 8)[-27, 0}. 4) 25). (Sp 1, 64, 6) [=125, 270 $6. W)[-S, 1, 21-30} CL-6. 3), (6) J~ eo, ~8]. 49-4. IL, 161 [-8, OL 57. (1) (0, 8} @) [4, 10}, @) [—2, 4]. (4) Je, 6} (8) (2, 121. 6) [-6, 106 8 NAC 59, (1) Si, (2) No, (3) No. (4) Si. ©. (1)No, (2) Si (8) Si, (4) Si. (5) No, (6) No 61. Todas son inyectvas 62, Solo g es inyestiva 6. Hay que demostrar que (gs fa) = (@- JX) implica @ = A. Sea (g » fa) = (g fb). Entonces, por ta def- nicidn de funeidn producto, gifia)h = [e* fila) = lg f(b) = gU16)). Como g es inyertiva, fla) = fib), y come (Fes inyectiva, a = b, Por eonsiguiente, g fes inyectiva GA U1) geJ:A-r A, Q) No definido, (2) Fof:A-v€, (4) No definido, 5) goh: C+ A, 16) Fok: C6, (he G eB B, Bp hoG Ae. 6s, hep 98 P< Sa re] |< 6.) owe) = ate tt (emia) = ar-v (2) Went) = Bet oe (a) Wo nita) = 9 69 = Met + Se 8 67. (a) 10, {b) 15, ¢e) 85, (a) OD 60) E22) eB (FL Bae BO oe am oo 9 ( fx] 84242 @ be sea} 0) fy 2 8,0, Bk) mG | =m donde n€ 2} (2) fe | x= (2/2) + Ben donde ne Z}. 2) (a) Reel canjunto de todos los mtimeras reales 70. J-(B)> A Pa) = b= ay, TL fhe) B+ XMM ~ 2x) 73. Sole fes sobreyectiva. 74. ta) 10 we (a) eh th (oo (ten? (e) afar Uh oa ork bh eth Ho 75, (1) Falso, (2) Falso, (3) Cierto, (4) Cierto, (5) Falso. Capitulo 5 Conjuntos producto y grafos de funciones PARES ORDENADOS Intuitivamente, un par ordenado consta de dos elementos, a y , por ciemplo, que é el par se desig- ‘nan como primero y segundo elementos respectivamente. Un par ordenado se simboliza por (@, 6) Dos pares ordenados (a, 4) y (cy d) son iguales si, y solamente si, a =e y b= d. Ejemplo 1-1: Los pares ordenados (2, 3)y (3. 2) son diferentes. Ejemplo 1-2: Los puntgs de! plano cartesiano de Ia Fig, 5-1 representan pares ordenados de niimeras reales. Bjemplo 1-3: El conjunto (2, 3} no es un par ordenado, pues los elementos 2 y 3 no se distinguen. Ejemplo 1-4: Puede haber pares ordenados que tengan iguales el primero y el segundo clementos tales como 1,0, AY 1S. 9) ‘Observacién 5-1: Un par ordenado (a, 6) se pucde definir rigurosamente por fa, b} = {fa}, fa, bY} _ Segin esta definicién, la propiedad fundamental de los pares ordenados se puede demostrar (a, b) = (¢, d) implica a=c y6=d CONJUNTO PRODUCTO Dados dos conjuntos 4 y B, se llama conjimto producto de A y B el conjunto de todos los pares or- denados (a, 6) con asd y be. Se le denota por AxB que se kee «A cruz By, Mas brevemente AXB_= ((a,0) | a6A,deB) Ejemplo 21: Sean 4 = (1, 2,3] y 8 = {a,b}. El producto conjunto es entonces AB = {ita 1b), Gra, 2.0, BO, (800 jemplo 22: Sea i = {5,1}. Se tiene WW = Gosh lent aad, (ot jemplo 2-3: El plano cartesiano de la Fig. 5-1 ¢s el conjunto producto de los ndmeros reales por si mis- mos, es decir, R xR. El conjunto producto A x B s¢ llama tambien producto cartesiano de A y B, por el matemético Descartes, quien, en el siglo diccisiete fue el primero cn investigar el conjunto R xR, También, por la misma razén, se llama plano cartesiano a la representacidn de R x R en la Figura 5-1 66 CAP. 5] CONIUNTOS PRODUCTO ¥ GRAFOS DE FUNCIONES 0 Observacién 5-2: Si el conjunto 4 tiene n elementos y el conjunto & tiene m elementos, entonces el conjunto producto 4 x B tiene n veces m elementos, esto es, wm elementos. Si uno de los conjuntos Ao B es vacio, entonces A x Bes vacio. Y, en fin, si uno de tos 4-0 Bes infinito y el otro no es vacio, entonces A x B es infinito. Observacién 5-3: £) producto cartesiano de dos conjuntos no ¢s conmutative, es decir, que AxBLBMA a menos que 4 Bo que uno de los factores sea vacio. DIAGRAMAS DE COORDENADAS ‘Ya se esté familiarizado con el plano cartesiano R x R, como se muestra en la Fig, 5-1. Cada pun- to P representa un par ordenado (a, 6) de ntimeros reales, Una recta vertical por P corta al eje horizon- tal en a y una secta horizontal por P corta al eje vertical en 5, como se ve en la Figura 5-1 2b ea Fig. 5-1 Fig.5-2 El producto cartesiano de dos conjuntos que no tengan muchos elementos, se puede representar en un diagrama de coordenadas en forma semejante. Pot ejemplo, si A = (a, b, c,d} y B= {x, 9,2}, ‘entonces el diagrama de coordenadas ded x Bes como se ve en la Fig. 5-2. Aqui los elementos de A se representan sobre el eje horizontal y los de B sobre el oje vertical. Se ve que las lineas verticales que pasan por los elementos de y las horizontales que pasan por los elementos de B sc cortan en 12 puntos, que Fepresentan, como es claro, cl producto A x B. El punto P es el par ordenado (e, 9). GRAFO DE UNA FUNCION Sca f una funcidn de 4 en B, es decir, sta f: A -» B. El grafo f* de la funcién f es el con- Junto de todos los pares ordenados en los que a 4 esta como primer elemento y su imagen como sc gundo elemento. Es decir, re = {(a,b) | aed, b= flay} Se ve que /*, el grafo de f:A—» B, es un subconjunto de A x B Ejemplo 3-1: Sea la funcién f: 4 +B definida por el diggrama A B eS a Entoneces fia) ~ 2, f(b) = 3, fle) = 2 y fid) = 1. De donde el grafo de f es Pt = Ma, 2), 16.3) (6.2) (d, D} 68 CONJUNTOS PRODUCTO ¥ GRAFOS DE FUNCIONES car. 5 1.2.3.4) La fumcién f; + R definida por Ejemplo 32: Sea wv Fieyaxe3 tiene pot grafo SF = M2 9,2, 644.7) Fjemplo 3-5: 81. es el conjunto de los nimeros naturales 1, 2,3, .... la fmeibn @: N+ W definida por , siya tiene por grafo 87 = {UL 1), 2.8) G27), 14,682... 3 PROPIEDADES DEL GRAFO DE UNA FUNCION Sea /: 4 B. Se sabe entonces que & cada elemento a A le corresponde un elemento de B y que cn B solo un elemento le corresponde a cada a ¢ A. En consecuencia, de estas dos propiedades de f «1 grafo f* de f tiene las dos propiedades siguientes Propiedad 1: Por cada ae A, hay un par ordenado (a, b)£/* Propiedad 2: Cada ae 4 es el primer elemento en un par ordenado de f* solamente, es decir, (a, d)e/*, (a, clef implica b wen, sean A = (1, 2, 3.4) y B= (3, 4, 5, 6}, En los cjemplos que El conjunto de pares ordenados (4, 9), 33, 4,6) no puede ser el grafo de uma funcién de A en B, pues no cumple la propiedad 1, ya que, por ejemplo, 3€ 4 y en ninguno de los pares ordenados esté 3 de primer elemento. jemplo 4.2: El conjunto de pares ordenados {0,9 2.3) 8, 6), 4,6, 2, 4)) ‘o puede ser el grafo de una funcién de A en B, pues no cumple la propiedad 2, 0 sea que st elemento 2. 4 esta como primer elemento en dos pares ordenados diferentes (2. 3)y (2 4). GRAFOS Y DIAGRAMAS DE COORDENADAS Sea" el grafo de una funcién £: A ~» B. Como f* es un subconjunto de A x B, se puede represen- tar con el diagrama de coordenadas de A x B. Elemplo 1; Sea x) = x? la definicdn de una funcin en el intervalo —2 = x = 4. Fl grafo de f aparece en la Fig. $3 en la forma usual [4 : 4. Be) HE eb ed Fig. 5-3 Fig. Set Fig.5-5 Flemplo $-2: Sea una funcién /: 4 — 8 definiéa por el diagrama de la Figura 5-4 Aqui el srafo f* de f comsiste en los pares ordenados (a, 2), (b, 3) (es 1) y Ud, 2) Se Feprescnts /* en el diagrams de coordenadas de 4 x B en la Figura 5-5, car. 5] CONJUNTOS PRODUCTO ¥ GRAFOS DE PUNCIONES 69 PROPIEDADES DE LOS GRAFOS DE FUNCIONES EN DIAGRAMAS Sea f:4 + B. Bl grafo f* de f tiene las propiedades ya dichas Propiedad 1: Por cada ae A hay un par ordenado (a, b)ef*. Propiedad 2: Si (a, b)as* y (a, es, sigue que b =e. Por tanto, si se representa f* en el diagrama de coordenadas de 4 x B, tiene las propiedades si- guientes: Propiedad 1: Cada linea vertical contiene al menos un punto de /*. Propiedad 2: Cada linea vertical contiene solo un punto de /*. Ejemplo 6-1: Sean A = {a 6. ¢] y B= {1.2.3}. Examinense los conjuntos de puntos de los dos diagra- mas de coordenadas de. x B siguientes: Hee Ht she att 1 pe i rm oh e aoe wy @ En (1), la vertical por ® no contiene ningiin punto del conjunto; luego el conjunc de puntos dado no puede ser el grafo de una funcidn de A en B. En (2), la vertical por a contiene dos puntos del conjunto: asi, pues, este conjunte de puntos no puede ser ef grafo de una funcida de A en B. Ejemplo 6-2: El cireulo x? + y# = 9, que aparece abajo, no puede ser el grafo de wna funcién porgue hay verticales gue contienen. mas de un punto del circulo. Representacién dex? + 9 LAS FUNCIONES COMO CONJUNTOS DE PARES ORDENADOS: Sea f* un subconjunto de A x B. el producto cartesiano de los conjumtos 4 y B: y supdngase que Jf* tiene las dos propiedades antes dichas: Propiedad 1; Por cada ae, hay un par ordenado (a, 6) /* Propiedad 2: No hay dos pares ordenados diferentes en f* que tengan el mismo primer elememo, Se tiene asi una correspondencia que asigna a cada elemento ae 4 el elemento b 6 B que aparece en el par ordenado (a, 6) «/*. La propiedad | asegura que cada elemento de 4 tendrd una imagen, y la pro- iedad 2 asegure que la imagen dicha es dnica. De acuerdo con esto, f* es una funcién de 4 en B. En vista de la correspondencia entre funciones f: A ~+ By subconjuntos de 4 x B que tenen las Propiedades 1 y 2 anteriores, se hace de una funcién la Definicién S-1: Una fimeién f de A en B es un subconjunto de A x Ben el cual cada ae 4 aparece como primer elemento en un par ordenado de f y solo en uno. 0 CONJUNTOS PRODLICTO Y GRAFOS DE FUNCIONES [cap. 5 ‘Aunque esta definicién de una funcién pueda parecer artficiosa, tiene la ventaja de que no emplea conceptos definidos, como son los de «asignar», «hacer correspondem. Ejemplo 7-1: Sean 4 = a6, c} y.B = {ly 2, 3). Sea ademas f= (lea, 2) (6, 1h (4,29) _f tiene las propiedades 1 y 2, siendo, por tanto, una funsién de 4 en B, que se ilustre en el diagrama siguiente a Ejemplo 7-2: Sean V = (1, 2,3} y = a, 4, 0,1) Sea también (0,2), 2.0) 8,0, Qh Aqui fino es una funcién de V en IY, pues dos pares ordenadas diferentes de f, los (2, €b {2 1), tienen el mismo primer elemento, Si fha de ser una funcién de Ven FY, entonces no puede asignar ambos elementos ¢ y wal elemento 2 © ¥- Ejemmplo 7-3: Sean S = (1, 2,3.4}y T= {1,3, 5}. Sea F= (0,1, 2 5), 4, DP Aqui f no es una funcién de S en 7, ya que 3 ¢ 5 no aparece como primer elemento en nin- ‘gin par ordenado perteneciente a f La consecuencia geométrica de la Definicién 5-1 se enuncia en la Observacién 5-4: Sea fun conjunto de puntos en el diagrama de coordenadas de 4 x B. Si toda ver- tical contiene un punto y solo uno de f entonces f es una funcién de A en B. Observacién 5-5: Sea la funcién f: A —+ B inyectiva y sobreyectiva. Entonces la funcién reciproca F-* consta de ios pares ordenados que al invertirse, 0 sea al ser permutados sus clementos, pertenecen x f. Es decir, que 2 = (ba) | (ab) ef CONJUNTOS PRODUCTOS GENERALIZADOS El concepto del conjunto producto se puede extender al caso de mas de dos conjuntos natural- mente. El producto cartesiano de los conjuntos 4, By C, denotado por AxBxG esel conjunto de todas las ternas (a, b, c) en las que ae A, be By 6 C. Andlogamente, el producto cartesiano de los m conjuntos Ay, 42, .... dn que se denota por Ay X APX ++ X An es el conjunto de todos los n-tuples orcienados (a, 42.4) COM 4, € Ay «+ dy® Ape Aqui un n-tuple ordenado tiene un significado claramente intuitivo, es decir, que el n-tuple consiste en n elementos, no necesariamente distintos, donde uno de ellos sé designa como primer elemento, otro como segundo elemento, ¢te. Ejemplo 81: En la geometria tridimensional euclidiana cada punto representa una terna ondenada, 0 sea su componente x, su componente» y su componente = Bjemplo 82: Sco A = {a,b}, B= (1,28) ¢ C= te. y). Entonces AXBXC = {lala was 22 (a2, (a, 8,2), (2, 3,2, (b, 12, (bp Leh, (O22), 2,9). 8,3, 2 (03,01) car. 5] CONIUNTOS PROBUCTO Y GRAFOS DE FUNCIONES n Problemas resueltos PARES ORDENADOS ¥ CONJUNTOS PRODUCTO 1. Sean W/= {Juan, José, Toms} y 7 = {Inés, Marfa}, Hallar W x ¥. Solucién: Wx V eonsiste en todos los pares ordenados (a, A) en los que ae Wy b« F Por tanto, W x ¥ = {(luan, Inés), Juan, Maria), (losé, Inés) Lost, Maria) (Tomas. Inés, (Tomds, Maria)} 2. Suponiendo que los pares ordenados (x + y, 1) y (3, x — ¥) som iguales, averiguar x e y. Solucién: Si (X + ¥. 1) = G, x — 9) por la propiedad fundamental de los pares ordenados xtysd oy lex-y La solucidn de este sistema de ecuaciones 2s x = 2, » Hallar los pares ordenados que corresponden a los puntos P., Py Pay Pz que aparecen en el diagrama de coordena- dus dea x Benla Fig. 5-6. Aqui, 4 = (2.6, ¢.d.e}y B= (a eho, u). Sohuci La linea vertical por P, cruza el eje 4 en 8 y Ia horizomtal por Py cruza el eje Ben i; asi Py corresponde al par ordenado (b, i). Aniloga- (e,e) mente, P; = (a, a), Py = (dhudy Py 3, 4). Hallar BUA OC), BAX (BAC, (Ax BNA x CD Sean 4 = {a, b}. B= {2.3} y ()Ax(BUO, @)(Ax Solucion: (1). Se averigua primero BL C Ax (BUC) = {la 2, 3. 4}. Entonces te BN (a A 1B, 2 (B, 3), bs A} (2) Caleular primero 4 x By Ax €: Ax B= {(a,2), ta, 3) (6.24 (8, 3p 4x C= (la. 3) (a. 4). (0,3), (0. 4)) ‘Ahora se busca la unida de los dos conjuntes: (A BY) UA & Cy = fla, 2h, (a, 3) 2h, 1 3), (2. 2h 4 Por (1)¥ (2) ve que Ax BUCH Ax BU O (3) Caleuie primero #9 € = {3}, Emtonees Ax BOC = tla. 3), (6.3) (4) En (2) se calcularon A < By A x C. La imterseccida de 4 x By A x Cs el conjuato de los pares orde- nados que pertenecen a ambos eonjuntos, es decir, (Ax BA & C= {la 3h 6,30} Por (3) y (4) se ve que AX BOO =AX DNAX n CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES [cars 5. Representar el conjunto producto iz | lSecdy x [2] 223} sombreando el area apropiada en el diagrama cartesiano de R x R. Solucién: ‘Trioense dos rectus verticales delpadas por 1 y 4 det eje horizontal y otras dos horizontales delgadas por — y Adel cje vertical como se ve en la Figura $7. FI rea rectangular comorneada por las cuatro rectas, junto com tres de sus lados, representa ef producto. de lox conjuntos. Sombrear el diagrama como se ve on la Figura 5.8 Notese que el lado del rectingulo que no pertenece al producto de los conjuntos se traza con linea de puntos. Fig.5-7 Fig.58 Demostrar que ACB y CCD implican (4 x C)C (Bx D). Solucién: Sea (x.y) un elemento cualquiera de A x C, con lo que x4 e y= C. Por hipétesis, Acs un subconjunto de By C es un subconiunto de D; asi que x2B'c yeD. y el par ordenado (x, ») pertenece a B x D. Quedi emostrado que (x, yjeA x C implica (x, ye 8 x D: por consiguiente, A x Ces un subconjunto de B x D. 7. Sean A = {1, 2,3} 8 Solucida: ‘Un método apropiado pata encontrar 4 x B x Ces el del «diagrama en érbol» que se muestra en seguida: £39) 24 ied) aa 5 (1,28) 4, 4,3) wan as) 42,28) (224) (2,2, 5) (2, 4, 3) aa @.45) 3.2.8) 24) 25) (3.4.3) aae B45) A= Bx Ces el conjunto de ternas que estan a Is derecha del «abot» (204, 5}. Hallar 4 x Bx C. CAP. 5] CONJUNTOS PRODUCTO ¥ GRAFOS DE FUNCIONES B 8B. Demostrar: A x (BC) = (A x 8) (A x Ch Soluetin: Se demuestra primero que 4 x (B (> C)es um subconjunto de (4 x B)( (4 x C). Sea (x, y) un clemento ded x (BMC) Entonces x Ae y eB) C. Por la definicion de interseccion y pertensce tanto a B como = Puesto que xe de ye B, entonces (x, y)e 4 x B. Por tanto, puesto que xe de ye C, resulta que (x, yet = © Se tiene, pues, que (x, ») pertenece a Ia interseccién de A x By A x C, Con lo que queda demostrado que AXIBNOCIA* BVA xO. Se demuestra nego que (A x 8) (A x C)es un subconjunto de A x (27) C). Sea (=, w) tin elements de (A x B\() (A x C); entonces {z, u) pertenece a A x By (c, #) pertencce a4 x C, De lo que se sigue que zed yweB, y quezed y weC. Como w pertenece tanto a B como a C, enionces 6 BC. Se tiene pues, 26 y weB x C entonoes (2, w)e4 x (BC) C). Queda demostrado que (4 x B\(\(4 x C) es un subconjunto de 4 x (B/) C). Por la Definieién {-1, los eonjuntos son iguales % Sean S = {a,b}, W= (1,23, 4, Jy v= Soluctim: El conjunto producto (S x 1) () (S x V) se puede hallar calsulando primero S x Wy Sx Vy averiguan do luego la interseecién de estos eonjuntos. Pero, por el Problema §, (x MAS *H=S« (WOK) 3, 5,7, 9}. Hallar (S$ x W)M(S x V) Asi que WV = (3, Shy (Sx MOS & Y= S «HV = {la 3h (0, 5). (6, 3) 6, SI} GRAFOS DE FUNCIONES 10. Dados W = {1, 2, 3, 4) y la funcién f: W— R definida por la formula f(x) = x grafo J* de Ia funcidn f. Sotucién: Primero se caloalan f(l) = 1? = 1, f(2) =P = 4, 3) = 3° = 9, fid) = 4 = 16, Bl grafo f* de 7 cons- ta de fos pares ordenados (x, fle), 0 Sea de los (x, 2). donde re W. Ast, pues, f= (1, D,@. 4), 9), (4, 16). hallar el UL. Sean el conjunto ¥ = {a, b, c, d} y la funcin g : V+ V definida por el diagrama de la Fig. 5-9. Hallar cl grafo g* de la funcién g y representar g* en el diagtama de coordenadas de V x V. a of pial af \ ates b> Po. i : a sree Fig 10 Solucién: Segim cl diagrama, g(a) = b, #(6) = c, alc) = b y gid) = a. Por tanto, g* = ((a, b), (bel, (Bl (dh a. En el diagrama de coordenadas de V x se seftalan los pares ordenados de g* como se ve en la Figura 5-10. 12. Sea la funcién A: R-> R definida por A(x) = x + 3. Decir cudles de los pares siguientes perte- necen o no al grafo A* de la funcién 4: (a) (2, 6), (6), 11), (e) (10, 12, (@) (4, 7), (€) (—6, —9), (A (-1, 2) ‘Soluetén: (@) HQ) = 2+ 3 = S;asi (2, 6)n0 pertencce a he. (d) hea (6) AB) = 8 +3 = 11; asi (8, 11) pertenece a ft. (©) K-69 =-6+3= {c) A(10) = 10 + 3 = 13; asi (10, 12) 8 ) Ma) -1 + 3 = 2 asi (1, ert me CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES [ears 13, Seal conjunto 5 = {a,¢, io, u} Sea g la funcién que a cada letra de S asigna la letra que le sigue an cl alfabeto. Hallar el grafo g* de la funcion g. Solucién: Se averiguan primero gia} = 0. gfe) = J. gti) = J gle) = 7 ¥ RO = 6. Asi B= {0.1 eA. 1p) wh} FUNCIONES COMO PARES ORDENADOS: 14, Sea el conjunto V = {1, 2, 3, 4}, Entre los siguientes conjuntos de pares ordenados decir cuties sono no funciones de 1” enV. Q) f= (23),4.4, 2,0, 6.2). 2) fe = 48,1), 4,2), 111) @) fe = 12.0), 84), 04), 2,13. 44) (4) fa = 42,3), 1,6), 2), (4) Sohuetén: Notese primero que. segtn ly DefiniciGn $-1. un subconjunto de ¥* x ¥es una Runcin f: 1° 1’ si cada sre ¥ aparece como primer elemento en un par ordenado de fy solo en uno. (1) Come dos pares ordenados diferentes (2. 3)£, ¥ (2, Hef; tienen el mismo primer elemento. f; no es unit funcién de ¥ en V. (2) Elclemento 2 ¢ 1 no aparece como primer ...aento en ningiin par ordenado perteneciente a f;. Asi, pues. f, noes una funeisn de Ven (3) El conjunto f; es una funcién de #/ en 1” Aunque ? esti de primer elemento en dos pares ordenudos. estos dos pares son iguales. (4} Si bien cada elemento de V’ apersce coma primer elemento en uno. y solo en uno, dé Tos pares ordenados de J, €l conjunto J, no ¢s una funcién de Ven 1’ porque f, no es un subconjunto de F x 1’, En efecto, (16) 6fe. peto (1, DEK x F. 15, Dado W = (a, 4, ¢, d), decir en qué casos los siguientes conjuntos de puntos de cada diagrama de coordenadas de Wx W’ constituyen una funcion de Wen W es bt}-+tt Eat aerirT eh} apt ft of Ly . ota tt eee SE ! | I zee ze ee eb ed eb e ad 0 ° @ “ Solucion: “Tener en cuenta primero que un conjunta de pumos en un diagrama de coordenadas es una funciéa siem- pre que cada recta \ertieal contenga uno, y solo uno, de los puntos del conjunto. 11). La vertical por b contiene dos puntos del conjunto; luego el eonjunte no es uaa funciéa de Wen W (2) Como cada vertical contiene un punto, y solo uno, del conjunto, este conjunto si es ung funcidn de Wen W. El hecho de que Ja horizontal por ¢ contenga tres puntos no contraria las propiedades de una funcidn (3). La vertical por ¢ no contiene ningiin punto del conjunto; por tanto, este coajunto no es una funcion de Wea W. (4) Por la mismna razén que en (2), este conjunto si es una funcion de Wen WY CAP. 3) CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES s 16. Dados R= {1, 2, 3, 4,5, 6) y S= (1, 2, 3, 4}, seag el conjunto de puntos en cl diagrama de coordenadas 44 de R x S que aparece a la derecha y que es una funcién de Ren S. (a) Hallar g(2), 9(4), ¢(6). (b) Hallarg~*(2),¢~*@3),27"(4). (c) Hallar {x |x © R,g(x) < 3} H Solucién: (a) Para,averiguar ¢(2) se busca el panto de z que esta en la vertical por 3: 1 punto es (2, 4)y, por tanto, (2) = 4, cl segundo clemen- to del par ordcnado. La vertical por 4 eontiene al punto (4, 1) de g, asi que gi) = 1 La vertical por 6 contiene al punto (6, 4}; por tanto, 9(6) = 4 (6) Para averiguar g~* (2) se buscan los puntos que estan sobre Ia horizontal por 2. Son (1, 2) (S. 2.8 * @) cconsisteen los primeros elementos de estos pares ordenados, esto es, ¢~* 2) = {1.5}. Natese que los pares ‘ordenados (1, 2)y (5.2) deg significan que e(1) = 2 y g(S) = La horizontal por 3 contine solamente el punto (3,3) de g; entonces @°! (3) = {3}. La horizontal por 4 contiene los puntos (2,4) y (6, 4) de g. Entonces e”' (4) = {2,61 (c)_ Notar primeramente que git) = 2, 6(2) = 4, 8(3) = 3. (4) = 1, a(5) = 2.816) = 4. Elconjunto tx [ve R, x(x) < 3} comsiste en los elementos de R cuya imagen e3 menor que 3, es decir, cuya imagen es 1 6 2. El conjunto es {1, 4, 5}. Geometricamente, este conjunto es el de los primeros elementos de los puntos de g que quedan debajo de la horizontal por 3 17, Sea h el conjunto de puntos del diagrama de coordenadas de Ex F que es una funcién de Een F. (a) Si cada horizontal contiene a lo mas un punto de A, gqué tipo de funcién es A? () Si cada horizontal contiene al menos un punto de f, iqué tipo de funcién es A? Soluctom: (a). Sicada horizontal contiene a lo més un punto de h, entonees, para todo xe F, AW (x) €8 vacio 0 consiste en un elemento de E. Asi que f es una funcién inyectiva () $i cada horizontal contiene al menos un punto de h, entonces.-para todo xe F, A”! (x) no ¢s vacio, Luego ‘es una funcién sobreyectva 18. {En qué condiciones cl conjunto de pares ordenados f= {CL 5), G1. 4 7) (2, -3)! define una funcién de A en B? ‘Solucion: Bl conjunto f definira una funcidn’ de A en B si f'es un subconjunto de A x B y si cada elemento de 4 ‘aparece como primer elemento en un par ordenado de f, y solo en uno. Seguin esto, A debe ser igual al con- junto de los primeros elementos de f, es decir, 4 = (1, 3,4, ~2}: y B debe contener al conjunto de los segun- dos elementos de f. esto es, {5, 1, 7. —3} CB. 19, Sea W = [—4, 4]. Entre los siguientes conjuntos de puntos representados en el diagrama de coor- denadas de W x W decir cual es 0 cul no es una funcién de Wen W. a a 16 CONIUNTOS PRODUCTO Y GRAFOS DE FUNCIONES car. 5 @ o Solucién: Segiin la Observacién $-4, tener en cuenta que us conjuato de puntos de un disgrama de coordenadas es una funcidn si eada linea vertical contiene un punto del conjunto, y solo uno. (1) Camo las verticales contienen dos puntos del conjunto, el conjunto de puntos no es una funcion de HY en 17. (2) Como las verticales préximas al ee vertical no contienen ningun punto del conjunto, el conjunto de pun- 0s no es una funcion de Wen W. (3) Las vertcales que cortan el efrculo contendrin dos puntos del conjunto: entonces el conjunto de puntos no es una funcion de W en W. (4) El conjunto de puntos es una funcién de Wen W porque cada vertical contiene un punto del conjunto, solo uno, 20. Sea A= fa, 6, ¢, d}. El conjunto (a, 6), (6, d}, (a). (d. od} e5 una funcidn inyectiva y sobreyectiva de 4 en A. Encontrar la funcién reciproca, Solueiéa: Para encomirar la funcidn resiproca, permiitense Jos elementos en cadn par ordenado. Asi, la funcién te ciproca es (06. a, (4, bd, (a. ©, (es) Problemas propuestos PARES ORDENADOS Y CONJUNTOS PRODUCTO 21. Suponiendo que (» ~ 2, 2x + 1) = (x — Ly + 2). hallar vey. 22, Hallar os pares ordenados que corresponden a los puntos Py, P,, Py y Ps que aparecen en el diagrama de coor- denadas de {1, 2. 3,4] © (2, 4,6, 8} que sigue rea 23. Sea W = {Marcos, Barique, Pablo} y sea ¥ = (Enrique, David}. Averiguar (1) Wx ¥, (2) 7 x W,Q) 1 x ¥. 24, Representar, sombreando el rea apropiada, cadls uno de los conjuntos producto siguientes en un diagrama de eoordenadas de RR Ww (3.3) x [-1,2} @) [3.1 x ]-«, 2) @) 7-23)xP30f 4) E-3 IL x J-2.2). 25. Sean A = (2.3), B= {1,3,5} y C= {344}. Construie el adiggrama en drbolv de A x B x C como en el Pro blema 7 averiguar entonces A x B x C. car. 3] CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES 1 26, Sean $= (0,5. }. T= {b.6.4}y W = {a,d}. Construir el wdiagrama en arboln de $x Tx Wy hallar luego Se Tx W. 27, Sean los conjuntos , Wy Z con 3.4 y 5 elementos, respectivamente. ;Cudintos elementos hay en (1) "x Wx Z, OQ)ZxV EW OW KZ x? 28, Sea A = B/\C. ,Qué hay cierto en lo que sigue, silo hay? UW) AxA= WX BIOICKO) QO) AK ARB KONIC x Bi GRAFOS DE, FUNCIONES 29, Dados Mf = {1, 2,3. 4,5} y la funcidn f: M — R defnida por fle) = x? + x halla el grate de f 30. Sean Wm (1, 2.3.4) yl foncién g: W-+ Wdefnida por el diagram = Lt (1) Hallar ef grafo de g. (2) Representar el grafo de g en el diagrams de coordenadas de Wx W, 31. Sea la funcién fi: KR definida por ta formula Hox) = 2x — Decir silos siguientes pares ordenados pertenecen o no al graf de f (a) (3, 5), 2, = 5), (6) (4 =7), (€) (8.17), ) (3, —$). U1) 4. 7. 32. Sea ta funcion g que asigna a cada nombre del conjunto (Berta, Martin, David, Abel, Rebeca} ol mimero de letras distintas que se nccesitan para escribir ef nombre. Hallar el grafo de g. 33. Cada una de Jas siguientes férmulas define uma funcién de R en R. Hacer el grafo de cada funcién en el diagra- ‘ma cattesiano de R x R. wie @ Ke 22-1 @) fe) Ho ae 4 as FUNCIONES COMO PARES ORDENADOS 34. Sea W = {a,b, c,d}. Decir de os siguientes conjuntes de pares ordenados cuales son y cuales no son funciones de Wen W. (1) b.0), (ea), a), (ed, (aah) (8) 4000), (6,0), (eB) (2B (2) Cd, (ea), (0,6), OP AY Maa), Gra), (ash, (eed 35. Dado ¥ = {1, 2, 3, 4} decir cusles de los conjuatos de puntos de los siguientes diggramas de coordenadas de V x ¥ son 0 no funciones de V en ia 4. 4 thf det | ~ 4] 4] + so ty | | + | + fe 1 A + Ti WH reas ret reas rea ay @) a @) 8 CONIUNTOS PRODUCTO Y GRAFOS DE FUNCIONES Loar. s 36. Dados 4 = (1, 2.3.4, 5}-,cel conjunto de puntos que se representan en primer diagrama de A x Ay el von- junto de puntos representados en el segundo diagrama 5 + 8 * ‘ sant aL a a 41+ H 2 : iby + t . Represenasin de F Representaciin de ¢ Resulta que fy g son funciones de A en 4. Averiguar O71 8 FO © FO () funcidn producto fog) te | He) = @) a6) @) 9A) funcim producto g°F (8) F-*(41,2)) 0) f= | ste) > 2 37, Sea la funcién f; 4B representada cn un disgrama de coordenudus de 4 x B. {Qué propiedad geométrica tiene /'s (1) fes inyectiva, (2) fes una funcion constante. (3) si fes sobreyectiva, (4) Si ftiene una reciproca f-* 38. Dado B= [~4,4], decir cudndo los puntos representados en cada uno de los diagrumas de coordenadas de B » 8 que siguen es una funcion de Ben 8. IY (0) (i (3) IN = My DIC AA PROBLEMAS DIVERSOS 39. Representar, sombreando el area apropiada, cada uno de los conjuntos productos que siguen en un diagrama cartesiano de R « R. x de | -2= 243) () (| -t} 40. Cada una de las férmulas qu siguen define uns funcién de R en R. Represemar cade una de esas fonciones en un diagrams cartesano de R x R 2 ae faasi apn ) fe) = de— et 2) fey = 24 2c] He fe K2S0 wy yeyaye sills? 2 since car. 5] CONIUNTOS PRODUCTO Y GRAFOS DE FLINCIONES Respuestas a los problemas propuestos as 2 > 2 ay 4) P, 28) P= 4.6, = B.2h (Pablo, David) 2 (1) Wx F = {(Marcos, Enrique), (Marcos, David), (Enrique, Enrique), (Enrique, David), (Pablo, Enrique), 2) Fx Wm {(Bnrique, Marcos), (David, Marcos), (Bnrique, Enrique), (David, Enrique), (Enrique, Peblo), (Dayid, Pablo), G)_ Vx = {(Enrique, Enrique), Enrique, David), (David, Enrique), (David, David)} a. a) @ @ ay ie 28, Ver Fig. 5-11 AX BHC = (21,2) (21,4, 28,3), (2,84), (2,513), (2,514), (81,3), (81,4), (8,8.8), (88,4), ,5,3), (8,5,4)) 26. Ver Fig, 5-12. SxTKW = ©), (0,b,d), (26,0), (8,6,2), (a, 4a), (dsc, ,b.a), (bb, d), (brea), (Berd), (da), (.4,<), (6a), 0), Ceseva, (eed), (e.dsa), (eds ous 3 2 =} ws} 2 at acs cd 3 svi a ‘ > —! to a ‘ m= = sy pry a cid aes Fig. S11 Fig. 5:12 80 mn co a. em 3 Me 35. % 3. CONJUNTOS PRODUCTO Y GRAFOS DE FUNCIONES [cap. 5 Cada uno tiene 60 elementos. ‘Ambas son ciertas AKA = (BKBINCKG = BX ONICxB) {,21, 1, (8,14), (4,28), (,38)) (2) 4,8), 2, (8.4), (4,2)) 2) apt ate al epete {a) Si, (6) Si, (c) No. (d) No. fe) No. (/) Si (Berta, 4). (Martin, 6), (David. 4), (Abel, 4), (Rebeca, 5)} a @ @ @ (1) Si, (2) No, (3) $i, (4) No, (1) No, (2) No. (3) Si, (4) No. ae @ 8) (2,25) at 6) (01,3), (2,0, 0, (4,9), 5,9) (8) (2,2,4,5) 3) (4,5) (1) 1,2), (2,8) 2, 4,8), (5,2) (10) 42,3,4) (#) 8) (1) Cada horizontal contiene a lo mas un punto. (2) Una horizontal contiene todos los puntos, (3) Cada horizontal contiene al menas us punto, (4) Cada horizontal contiene un punto, y solo uno. (1) i, (2) No, (3) No, (4) Si, (5) No, (6) Si. Capitulo 6 Relaciones ‘ FUNCIONES LOGICAS, ENUNCIADOS FORMALES Se llama funcidn lgica definida sobre el producto cartesiano A x B de dos conjuntos 4 y B, una expresién denotada por Pix, ¥) que se caracteriza porque cuando en P(x, y) se sustituyen las variables x e y, respectivamente, por ay b, se convierte en un enunciado ya verdadero, ya falso, para todo par ordenado (a, b) (1) Escribir & como conjunto de pares ordenados, es decir, hallar el conjunto de solucién de &. 2) Representar Gen un diagrama de coordenadas de E x F. Soluetén: of 4 1 (0) Examinense los dicestis elementos dle # x Fy elljanse aquellos pax FJ res ordeaudos eu gue el primer clemento divida al segundo: entonces 2, 3, 4, 5} y F = (3, 6. 7, 10) definida por ef enunciado formal Gi = (12.6), 2,10), 8,3), 8,6), (5. 10)} shy (2) & aparece representada cn el diagrams de coordenadas de Ex F . 20 lh figura dela derecha =a 6 3. Sea M = (a, 6, ¢, d) y sea una relacién ® en M represen tada por los puntos que se muestran en el diagrama de coot- @ | denadas de M x Af on [a figura de la derecha. i (1) Decir qué es verdadero y qué falso en lo que sigue e (a) Bb, b) da, (c) ae, ) BRA 2 ff (2) Hallar {x| (x, 6) eR), es decie, encontrar todos los é elementos de Bf que estin relacionados con b. 3a, Jy + (3) Hallar {x | (4. x)2@}, esto es, encontrar todos los | clementos de Af que se relacionan cond.) qb} eb ed Solueién: ; (1), Notar primero que x Ot res verdadero si, y solamente si, (x, y) pertenece a BR fa) Falso, puts (c, 6)26. —(e) Verdadero, pues (a, ¢) £0 () also, pues (d,a)eG. (d)_Falso, pues (6. 6)¢ i 2) La horizontal por & contiene todos los puntos de ® en los que b aparece de segundo elemento; contiene los pares ordenadas (a,b). (6, 6) y (d. 6) de®. Asi que el conjunto pedido es (a, b, d}, (3) La vertical por d contiene todos los puntos de ® en que d aparece como primer elemento; comtiene los pun: 105 (d, a) y (d, 6) de B. Asi que (a, 6} es el conjunto pedido. 4. Cada uno de los enunciados formales siguientes define una relacién en los nuimeros reales, Repre- sentar cada relacién en un diagrama cartesiano de R x R. Qya2 @) y<3-a @) yea Q) yext (4) y=senz (©) y>a? Soluci Para represemtur una relaci6n en los nimeros reales definida por un enunciado formal tal como CAP. 6] RELACIONES 89 (@ v= ie) ( y>se (© y= fe) @ ¥< fa) (9) wf (x) como es usual, Entonces Ja relacién, o sea el conjunte buscado, constard de los a) dey = fx) () encima de y = fix) {el encima de yen ld) debayo de » = fis) (e) debajo de yen » = fle) lo primero representar » puntos feo YY sf estas relaciones se representan como sigue: Vd Bs a) wae @) vat @ v, 2) representar primero f(x,y) = 0. La curva f(x») = 0, en los casos simples, divide el pla- ‘ho en varias regiones. La relacin contendra todos los puntos de una o mas regiones posiblemente. Ensayar con uno © mis puntos de cada regién para determinar si todos los puntos de la regidin pertenssen o no @ 18 relacién La representacién de cada una de las relaciones anteriores es como sigue: a eo a Beye <0 oa: 90, RELACIONES Toar. 6 e ® ety = 8 vray ce DOMINIOS DE DEFINICION, DOMINIOS DE IMAGENES Y RECIPROCAS 6. Sea la relacién ® = {(1, 5), (4. 5), (1, 4), (4, 6). 3 7) (7, 6). Averiguar (I)el dominio de definicién de &, (2)el dominio deimiigenes de @, (3)lareciproca de ®. Soluc (1) El dominio de definicion de Gt es el conjunto de los primeros elemensas de R; ese dominio de Bes {1.4.3.7} (2) El dominio de imgenes de es el conjunte de los segundos elementos de Gl; ast que este dominio de inna Sa 15,4.6.7} (3) La reciproca de & consise en los mismos pares que Gk, pero en orden inverso; entonces GT = (15,1), 5,4), (4,1, 6.4), (7. 3), (6, DE 7. Sea T = (1, 2, 3, 4, 5}, y sea una relacién Gt en T representada por el conjunto de puntos que se indican en el siguiente diagrama de coordenadas de T x T. +h +. Teer e Hallar (1) el dominio de definicién de ®, (2) el dominio de imagenes de @, (3) Ia reciproca de ®. (4) Representar Gt-* en el ciagrama de coordenadas de T x T. Soluetin: () El elemento xe 7 esta en el dominio de definicion de @ si, y solamente si, Ia vertical por x contiene un punto de @. Asi que el dominio de defincion de es al conjunso {2, 4, 5), pues la vertical por eada uno de estos elementos, y solo por éstos, contiene puntos de ® (2) El elemento xe 7 ests en el dominio de imagenes de «si, y solamente si, la horizontal por x contiene wn punto de &. Asi que dicho dominio de imagenes de 61 es el conjunto {1, 2, 4), pues la horizontal por cada uno de estos elementos, y solo por éstos, contiene al menos un punta de @. 8) Como GH = 4142.4), 4,2). 4, 44.65, 29} = {U1 2), 4 2), 2.4), 4,4), SH (i arp er ag rR OS H+ i HoH Tease Represeataciin de 7! RELACIONES: an {x y)|xeR, yeR, 4x? + 9)? = 36}. La representacién de @ en el diagrama de Hallar (1) el dominio de definicién de ®, (2) el dominio de imagenes de &, (3) &°*. ‘Soluci (1) El dominio de definicion de & es el intervalo [—3. 3], pues la vertical por cada uno de estos nimeros, y solo éstos, contiene al menos un punto de 0 (2) El dominio de imagenes de tes el intervalo [—2. 2]. pucs la horizontal por cada uno de estos elementos, y solo por éstos, contiene al menos un punto de ot. G)_ G@" se encuentra interearbiando x e y en el enunciado formal que define a SR tuege. G' = (is y) [ve R yER I? + ay? = 30} {Qué relaciones, si las hay, existen entre el dominio de definicién y el de imagenes de una rela- cidn Gy entre los mismos dominios de @™"? Solucién: Como @-? tiene los mismos pares que ® excepto que los tiene en orden inverso, eada primer elemento en ies segundo elemento en "', y cada segundo elemento en 6 es primer elemento en G~'. En consecuencia, ci dominio de definiciSn de & cs cl dominio de imagenes de Gt-* y cl dominio de imagenes de Gi es el dominio de definicidn de Ot 10, Sea @ Ja relacién en los niimeros naturales N x + y = 10», es decir, B= {ix y) KEN, EN, 2x + y = 10} Dar (i) el dominio de definicién de &, (2) el dominio de imagenes de ®, (3) R-* Soluciéa: ‘Observar primero que el conjunto de solucidn de 2x + y = 10 es = {0,8}, 2, 64 G4), (4,29) ro obstante haber infinitos elementos en N. (1) El dominio de definicién de @., que consiste en los primeros elementos de @ es {1, 2.3.4} (2) El dominio de imagenes de Ot, que consiste en los segundos elementos de @i, es [8, 6, 4, 2} (3) @™ se obtiene intercambiando x y en el enunciado formal que define a @; por tanto, (1, 2,3)... } definida por el enunciado formal G' = [TEN ON x+y = 10} Si, pues coi R™ contione los mismos pares que MR pero en orden inverso, R* se puede definir por Go" = (08,14 6,2), 4,3... 4)} RELACIONES REFLEXIVAS 11, {Cuindo una relacién R en un conjunto 4 es no rellexiva’? Soluctén: Bes no reflexiva si hay al menos un elemento a A tal que (a, a) 2 12, Sean W = {1,2 3, 4} y R= [Oy 1h (Ly 3h (2 2 (3, 1h (4, 4}. GES reflexive RP Soluefin: es no releniva porque 36 H’y (160 92 2B. 14, 15. RELACIONES IcaP. 6 Sea A un conjunto cualquiera y sea D la «diagonal» de A x A, es decir, D es el conjunto de todos los (a, a) con ae A. {Qué relacién hay entre todas las relaciones reflexivas Gen A y D? Solucién: ‘Toda relacign reflexiva & en A debe contener la ediagonaly. es decit, que D es un subconjunto de ® si Gt fs reflexiva Los siguientes enunciados formales definen cada uno una relacién @ en los nimeros naturales N. Decir en cada caso si la relacidn es 0 no reflexiva (1) «x es menor o igual que y». G) «+ y= 10», Q) «x divide a y>. (4) « © y son primos relativos». Solucién: (1) Como a a para todo aN, (a, a) €. Asi que Ot es reflexiva 2) Pussto que todo niimero se divide a si mismo. la relacion es reflexiva G) Siendo 3 + 3 + 10, 3 no esta relacionado sonsigo mismo y, por tanto, no es refleniva. (4) Et maximo comin divisor de 5 y Ses 5: asi, pues, (5. 5) #4, com lo que ® no es reflexiva, Sea E = {1, 2, 3}. Examinense las siguientes relaciones en E: = {0, 2, @, 2h @ 2 2 3}} By = {U, 2)} {(, 2, 2 3), Gd. 3} Gy EXE Gs = {, I, (2 2) 2 3), GB. 2) G, 3)} Decir de cada una de estas relaciones si es 0 no reflexiva. Soluciin: Si una relacisn en E es reflexiva, entonces (1, 1), (2, 2)y (3, 3) deben pertenecer a la relacion. Asi, pues, nicamente Ry y Gl, son reflexivas. RELACIONES SIMETRICAS 16. v7. 1». {Cuando una relacién ® en un conjunto 4 es no simétrica? Solucisa: i es no simétsica si hay elementos ae 4, 0 A tales que (a, b)28, DER Notese que a # sino (a, b)¢ implica (6, a) € Dados V = {1, 2, 3, 4} y @= {(1, 2) B. 4h @ 1s G3}, ees R Soluelén: Gis no simétrica, puesto que Je 7.4, G,AeRy 4. 3)EB. {Hay algin conjunto A en que toda relacién en A sea simétrica? Solucidn: Si Aes cl conjunto vacio 0 si A solamente tiene un elemento, entonces toda relacidn en A es simétrica Cada uno de los enunciados formales siguientes define una relacidin ® en los nimeros naturales N. Decir de cada una si es 0 no una relacién simétrica, (1) «x es menor 0 igual que y». 3) ae ty (2) «x divide a y», (@) wx +2y 0. 10 Solucidn: (1) Coma 35 5 pero $$ 3, (3, Sey 45, 3) FR. Asi que @ no es simétrics 12) Como 2 divide a 4 pero no divide a 2, (2, 4) ¢ 0 y (6, 2) 4G. ¥ asi, pues, Gt es no simétrics car. 6] RELACIONES. 93 (3) Sia + b= 10,64 a= 10; es decit, que si (a, b)e® aqui se sigue que (6, a) € GR. Ges, pues, simeriea, (A) Se ve que (2, 4) ¢0 pero que (4, 29864, es decir, que 2+ 204) = 19 pero 4 + 2(2) # 10. Gres no simé- trea, 20, Dado E = {1, 2, 3}, sean las siguientes relaciones en F: = (1, 22,6.2,A9) &= (0,0, 8,2, 3) @, = {(1, 1} = EXE = (1, 2} Establecer si estas relaciones son o no simétticas. Soluctén: (1) By es no simétrce puesto que 2, 1) GR, pero (1, 2)¢,- (4). Ry es simétrca 2) js simétrica, (5) es simétrca GB) Gy noes simetrica ya que (1, 2)e8y pero (2. 0s, 21. Demostrar: Sean ® y ®’ relaciones simétricas en un conjunto A; entonces ® 7 @’ es una relacion simétrica en A. Solueién: Siendo & y @ subconjuntos de 4 x A, emtonces @ 7) ®’ también es un subconjunto de A X 4 y, por con- siguiente, ¢s una relacién en A Sea (a, b) eR. Enconces (a, 6) Gy (a, 6) & B’. Como Gy G’ son simetricas, (b, a} pertenece también Wy (b, a) pertenece también a B’; luego (b, ajeR 7G. Queda demostrado que (a, 4) eR.) implica (4, a) ¢H.7 Gy que, por tanto, GL) MR’ es simétrica, RELACIONES ANTISIMETRICAS 22, (Cuiindo una relacién & en un conjunto A es no antisimétrica? Solucién: cs no antisimétrica si hay elementos ae 4. b¢ A, 2 # b, tales que (a, 6) eGR y (>, a) ER 23, Sea W = {1,2,3, 4} y= {1 2), (3, 4} 2,2), (3,3), (2, 1)}. GEs ® antisimétricn? Solucién: ‘Ges no antisimétrica, porque 1¢ W,2eW,1#2,U,DeRy 2, Nea 24, {Puede una relacién ® en un conjunto A ser simétrica y antisimétrica? Solucién: . ‘Cualquier subconjunto de la cdiagonaby de 4 x 4, esto es, cualquier relaciéa @ en A en la que (a, 6} 208 implique a = 4 fs tanto simétrica eomo antisimétcica, 25, Sea E = {1, 2, 3}. Considérense las siguientes relaciones en E: G = {0 V1. 2,6,2,03) = {0,0 29), BB a. Q, = (1, Dp EXE Bs = {, D) Decir de cada relacién si es 0 no amisimétrica, Soluciéa: (1), no es antisimétrica, pues (3, 2)€R, y (2, 2€ A. @) @, es antisimettica @) yes antisimétrica, (4) ®y no es antisimétrica, porque @2, 3) eR y (3. 2)¢ Oy. (5) Bz no es antisimétvica, por la misma razén que en Ry. 94 RELACIONES [cap 6 26, Sea E= {1, 2, 3}. Dar un ejemplo de una relacion en E que no sea simétrica ni anii- simétrica. Soluctéa: La relacién & = {(1, 2), (2, 1), 2, 3)} no es simétrica porque (2, 3) ¢ & pero (3, 2)# 6. ‘GK tampoco es amtisimettica porque (1, 2)¢Ry @, 1c. 27. Cada uno de los siguientes enunciados formales define una relacién ® en los nimeros naturales N. Decir de cada relaciém si es 0 no antisimétrica. (1) «x es menor o igual que y> (3) «x + 2 = 10» (2) @x es menor que > (4) «x divide ay» Soluctén: (1) Come a by 6S a itmplican a = 6, 0 es antisimétrica 2) Sia gb, entonces bien a < bo bien h < a; asi que Mes antisimétrica. GB} Elconjunto de solucidn es * = {(2. 4), (4 3), (6,2) (6, 1}. Obsérvese que B) R-! = cconjunto de In diagonal» de N x N. Asi que & es antisimernca (4) Como a divide a 6 y b divide a a implican a = 6, es antisimétrica ‘que es un sub- RELACIONES TRANSITIVAS 28. {Cuando una relacién en un conjunto A es no transitiva’? Sobectén: Ges no transitva si hay elementos a, 6 y c de A no necesariamente distintos, tales que (a, OE, (6, VER pero (a. cleg 29. Sean W = {1, 2, 3, 4) y @ = (1, 2), (4, 3) 2h @ 1h GV}. cEs @ wansitiva? Soluciéa: no es transitiva, pues (4, 3) eR, (3, 1) e64 pera (4, 1) 6.6%. 30. Sean W= (1, 2,3, 4} y R= (2, 2, 2, 3), (4), G, 2}. ZEs W transitiva? Solueida: G no es transitiva, puesto que (3, 2) eH, (2. 3) €R pero (3, 312K. 31, Cada uno de los enunciados formales que siguen define una relacién 6t en los niimeros naturales N. Decir de cada relacién si es transitiva 0 no. (1) «x es menor © igual ay» GB) «xt y= 100 (2) «x divide y» (4) «x 4 2p = So Solveiéa: (1) Como aig by bc implican a ¢, la relacion es transitiva @) Si xdividea ye y divide a 2, entonces x divide a =, esto es, (& XE, 216K implica tx, 168 Asi que es transitiva (3) Obsérvese que 2+ 8 = 10,8+2=10y2 424 10, -sdecir, ©, 828, 8, 2eR pero (2,2¢R Asi que @ no es transitiva, (4) G no es transitiva, puesto que (3, 1), (1, 2)€G pero (3, 2) £.6R; esto es, Br U1) = 51+ 2225 pero 3+ 2YHS CAP. 6] RELACIONES 95 32 Demostrar: Si una relacién @ es transitive, entonces su relacién reciproca R~! tambin lo es. Soluetia: Sean (a, b) y (bs €) elementos de G-'; entonces (c, brew y (b, a)eGl, Como R es transitiva, (¢, a) también pertenece a Gi; luego (a, ¢)€ R-! Queda demostrado que (o, b)€6t~', (5c) eR™? implican (a,c) eR; ego G's transitva 33. Dado £ = {1, 2, 3}, sean las siguientes relaciones en F: ®, = {(1, 2 2 2p aR B, = (0, 2,23, 0, 3, 21, Ww Bs = {(l, 2) (ay EXE Establecer en cada relacién si es 0 no transitiva. Saluciéa: ‘Todas las relaciones son transitivas menos la ®;, que no lo es porque QNER, (1, DEH, pero @, 2eR, RELACIONES Y FUNCIONES 34, Dado W = {1, 2, 3, 4}, seam las relaciones siguientes en W’ (1, 2) G, 4), 4, 1} (2, 1), (4, 4), GB. 1), 2, 3)} A, = {1 2,23, 4, GD = (UL, 1), 1, 2), (1, 3), 1, 49} as @; = (0, 1), 21. BD, D} Decir de cada una de estas relaciones si es o no una funcién de Wen W. Solueida: Primero tener en cuenta que una relacién Gl en W es una funcién de Wen Wi, y solamente aparece como primer elemento en un par ordenade ie ®, y solo en uno, (0) G5 una funcidn, : (2) @ noes una funcién porque 1 ¢ W’y 1 aparece como primer elemento en (1, 1} ety y en (1, 2)€0, 8) ses una funcidn. (4) no es una funcién porque 2 ¢ W’, pero 2.no aparece de primer elemento en ningiin par ordenado de By. (5) @, no es una funcién porque los dos pares ordenados diferentes (2, 1) y (2, 3), que pertenecen a Wty, tienen cl mismo primer elemento, todoae W 35. Sean la relacién ® entre A y B representada en el diagrama de coordenadas de A x B. ;Cémo se podria determinar geométricamente si @ es 0 no es una funcién de A en BY Solciéa: ‘Si toda vertical contiene solamente un punto de ®, entonces Gl es una funcién de A en B. 36, Sean A = [-4, 4], B= [0, 4], C= [-2, 0] y D = [—4, 0] y el enunciado formal P(x, v) que dice «x? + y? = 16». De la consideracién de las siguientes relaciones () @,= (4, B Poy) A) = A, GP») Q) @, = (B, A, Plx, y)) (5) ts = (A, D, POs, y)) G) @, = (B, B. P(x, ¥) concluir cudles son funciones y cudles no lo son. Solacidn: Niétexe primero que la relacién 6 en los aimeros reales definida por x? + y* = 16 comprende lot puntos de un cireulo de radio 4 con centro en el origen, como se ve en la Figura 6-6. 96 RELACIONES: Tap. 6 4 x Been sombreado Represenacién de Representacion de B Fig.6-6 Fig. 67 (1) Representar A x Ben el diagrama cartesiano de R x indicando ® por sombreado del rea apropiads como se ve en la Figura 6-7. La interseccién del circulo ® con A x Bes ly. Nétese que cada vertical por 4 contiene precisamente tun punto de ®, Io que hace que Gt, sea una funcién. (2) Representar B x A y Gen un diagrama cartesiano como se ve en la Figura 6.8. Gz = GI (B x A) Se ve que hay vertical por elementos de B que contienen dos puntos de Gt; lue- go @, no es una funcién, B x A en sombreado Bx Ben sombreado Representacon ve Representucidn de 6 Fig. 6-8 Fig. 6.9 (3) Representar B x By Gl en el diagrama cartesiano de R x R como se ve en la Figura 6-9. Cada vertical por cada elemento de 2 contiene precisamente un punto de @, = (Bx B); asi que @ es una funcion, (4) Representar 4 x Cy Genel diagrama cartesiano de R x R como en la Figura 6-10. La vertical por 0¢ 4 no contiene ningin punto de Ry, Re= GAM (4 x Ch; ego Ry no es una funcisn, 4 * Cen sembreado Ax Den sombresdo Representasion de 8 Representacida ée 6 is Fig.6-11 (5) Reprosentar A % D y Gt en un diagrama de coordenadas de R x R como en Ia Figura 6-11. Noter que cada vertical por cualquier elemento cle A contiene precisamente un punto de ts = GMA * D)y, por tanto, &, es una funcidn de Aen D. PROBLEMAS DIVERSOS 37. Sea Gt Ia relacidn en los nuimeros naturales NV definida por el enunciado formal «(x — y) es divisi- ble por 5»; es decir, G = {lx, y)|xeN, yen, (x — y) es divisible por 5} Demostrar que @ es una relacion de equivalencia. Soluciéa: Sea a@.N; entonces (a ~ a) = Oes divisible por 5 y, por tanto, (a, 2), con lo que Gs reflexiva,