Matematicas Discretas Conjuntos y Relaciones

Matemtica Discreta
Conjuntos y Relaciones
UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL CRDOBA
Carrera de Ingeniera en Sistemas de Informacin
CONJUNTOS Y RELACIONES
Los temas del presente captulo, corresponden a la segunda y ltima parte de la Unidad Temtica 3, asignatura de Matemtica Discreta, rea de Programacin, correspondiente al primer cuatrimestre del primer ao de la carrera.
Perodo Lectivo 1996 - Prof. Ing. Juan C.Vzquez
Captulo 4 - Pg. 1
Matemtica Discreta
_____________________________________________________________ Captulo 4 CONJUNTOS Y RELACIONES _____________________________________________________________

4.0. Introduccin. 4.1. Notacin. 4.2. Subconjuntos. 4.3. Operaciones con conjuntos. 4.4. Relaciones.
_____________________________________________________________
Casi todos los objetos con que trabaja la matemtica, son conjuntos u operadores que de alguna manera relacionan o modifican conjuntos, por lo cual puede afirmarse que el estudio de los mismos constituye el basamento de esta disciplina. Tempranamente ya, desde la escuela primaria (mi hijo, que actualmente cursa el sexto grado de la escuela, interviene en mis conversaciones sobre conjuntos para "discutirme" algn tema), hemos tenido contacto con el concepto de conjuntos, su conformacin y las operaciones que sobre ellos podemos efectuar. Tal vez por esto, las ideas matemticas sobre conjuntos nos resultan tan familiares e intuitivas, al punto de asumirlas en muchos casos como triviales. Sin embargo, siendo el cimiento de la llamada matemtica moderna merece nuestra ms esmerada atencin, siendo por supuesto la exposicin presentada en este captulo y a nuestros fines, una "cuidada" revisin de los temas ya estudiados en anteriores etapas. Trminos como conjuntos y elementos, son considerados en el contexto de la teora de conjuntos como primitivos, en el sentido que no pueden ser definidos estrictamente sin caer en circularidades, sino ms bien, descriptos en forma intuitiva. Diremos pues que, "un conjunto, es cualquier coleccin bien definida de objetos", los cuales reciben el nombre de miembros o elementos del conjunto. La expresin "bien definida" es fundamental en la definicin intuitiva de conjunto, ya que podr decirse que un conjunto est definido, si dado cualquier objeto x, puede determinarse la pertenencia del mismo o no, al conjunto. Adems, hay que sealar que la palabra "objetos", se refiere en este contexto no slo a objetos materiales, sino tambin a objetos abstractos o entes, que es "de lo que la matemtica se alimenta".
Captulo 4 - Pg. 2
Matemtica Discreta
_____________________________________________________________
Tema 4.0
INTRODUCCIN _____________________________________________________________
4.0.1. Breve resea histrica. 4.0.2. Comentario a la definicin intuitiva. 4.0.3. Objetivos. 4.0.4. Conocimientos previos.
_____________________________________________________________
4.0.1. Breve resea histrica. Si bien las clases ya eran conocidas como entes abstractos desde la antigedad, fue George Boole (del cual ya hablamos en el captulo anterior), quien desarroll el lgebra de clases, a mediados del siglo XIX. Luego de l, otros muchos continuaron puliendo la idea de una lgica aritmetizada, extrayendo nuevas conclusiones, ampliando los conceptos y sus relaciones, y en definitiva, desarrollando en poco tiempo lo que durante ms de dos mil aos se mantuvo en un profundo letargo . Se atribuye al matemtico ruso1 Georg Cantor (1845-1918), la sistematizacin de la teora de conjuntos como tal, con las ideas publicadas en seis memorias, entre 1878 y 1884 en los Anales Matemticos alemanes. Adems, este cientfico con sus estudios sobre el concepto de infinito y de los llamados ordenes de infinitud, llevaron a reconsiderar aspectos centrales como continuidad, lmites, densidad, etc., de fundamental importancia en toda la matemtica y en particular en el anlisis matemtico moderno2. Cantor, muri en 1918 internado en un manicomio, loco y torturado por las crticas despiadadas que de sus estudios le infirieron sus contemporneos, en particular, su ex-profesor Leopold Kronecker (1823-1891) quien al parecer lo combati intensamente.
4.0.2. Comentario a la definicin intuitiva. En el concepto de conjunto presentado, hicimos incapi en la expresin "bien definida" y en el sentido del vocablo "objeto" utilizado. Analicemos un poco ms estos aspectos. Por ejemplo, las letras vocales a, e, i, o, u del alfabeto espaol, conforman un conjunto, ya que dada cualquier letra x, podemos decidir inequvocamente si es miembro o no del conjunto aludido. Sin embargo, si nos referimos a las letras del alfabeto a, b, ..., z, estrictamente hablando no
1 En muchos libros se nombra a Cantor como matemtico alemn. Segn el Ing. A.R.Lpez, persona de mi absoluta confianza en cuanto a la seriedad con que encara los temas de estudio, Georg Cantor naci en San Petesburgo (hoy Leningrado) por lo cual lo ubicaremos como matemtico de nacionalidad rusa, aunque su actividad profesional fue desarrollada casi ntegramente en Alemania. (Nota extrada de Matemtica Moderna I, A.R.Lopez, Stella, 1971, pgina 17) 2 Vase El Romance de los Nmeros, G.Masini, C. Internazionale del Libro, 1980, pginas 155 a 160, para un comentario sobre la obra de Cantor y su influencia en la matemtica actual.
Captulo 4 - Pg. 3
Matemtica Discreta
conforman un conjunto, ya que debe especificarse del alfabeto de qu lengua estamos hablando, debido al hecho que letras como la (ee), por ejemplo, pertenecen al alfabeto espaol y no al ingls, la (c con cedilla) pertenece al alfabeto francs y no al japons, etctera; en definitiva, no conforman un conjunto porque la coleccin no est bien definida. Otro punto importante en la definicin intuitiva de conjuntos, es la idea de coleccin de objetos. Cuando hablamos de coleccin, an en el lenguaje cotidiano, no hacemos referencia a un orden especfico en el cual deban encontrarse los objetos coleccionados ni a si tenemos repeticiones de los mismos ya que, si bien no es lo mismo tener dos canicas azules que cuatrocientas canicas azules, en el concepto abstracto de coleccin slo nos interesar si tenemos o no canicas de color azul.
4.0.3. Objetivos. Por otra parte, la teora de conjuntos desde el punto de vista de la lgica matemtica (teora de clases), estudia las propiedades de la agrupacin de objetos de cualquier tipo, lo que permite extender sus conclusiones a los ms variados campos del saber. En matemtica, interesarn principalmente conjuntos de entes abstractos (objetos matemticos como nmeros, vectores, espacios, funciones, etc.) y en informtica, agregaremos a los anteriores en particular, los conjuntos de smbolos que representen letras, lenguajes, instrucciones, estados de una mquina, etc., lo que nos permitir utilizar el poderoso formalismo matemtico en estos temas y teorizar sobre la informacin y la computacin con rigor cientfico. Repasaremos en lo que sigue, distintos conceptos sobre los conjuntos y las operaciones que se pueden realizar con ellos, ideas ya conocidas desde la enseanza preuniversitaria, poniendo especial nfasis en su conexin con la lgica matemtica y presentando la mayora de los temas, como conclusiones o aplicaciones derivadas de ella. Adems, recordaremos los importantes conceptos de relacin y funcin, que utilizaremos ampliamente en los ms variados estudios.
4.0.4. Conocimientos previos. Por lo antedicho, es prerequisito para el estudio de los temas a desarrollar en lo que sigue, estar familiarizado con los conceptos de la lgica matemtica del captulo anterior y haber ejercitado los mismos, lo que asegurar la fluidez en su manejo.
Captulo 4 - Pg. 4
Matemtica Discreta
_____________________________________________________________
Tema 4.1
NOTACIN _____________________________________________________________
4.1.1. Pertenencia. 4.1.2. Determinacin de un conjunto. 4.1.3. Conjuntos especiales. 4.1.4. Igualdad de conjuntos.
_____________________________________________________________
4.1.1. Pertenencia. Un conjunto puede tener un nmero finito de elementos (como el conjunto de las letras vocales del alfabeto espaol indicado en la introduccin), o un nmero infinito de elementos (como el conjunto formado por las concatenaciones o yuxtaposiciones de longitud arbitraria, de los elementos del anterior conjunto finito aludido). Como con las clases (tema 3.4), denotaremos en general con letras maysculas A, B, C, ..., a los conjuntos y con letras minsculas a, b, c, ..., a los elementos de los mismos, y escribiremos: a A para denotar la proposicin "el objeto a es miembro del conjunto A", y lo leeremos "el elemento a pertenece al conjunto A". De forma similar, escribiremos la negacin de la anterior proposicin (~(a A)), como: a A denotando que "el objeto a no es miembro del conjunto A", y lo leeremos "el elemento a no pertenece al conjunto A".
4.1.2. Determinacin de un conjunto. Si el conjunto est formado por un nmero finito de elementos, puede determinarse o definirse inequvocamente al mismo, nombrando todos los elementos que lo componen. Esto suele hacerse, colocando primero el nombre del conjunto, luego un sgno de igualdad y a continuacin todos los elementos que lo conforman, encerrados entre llaves e individualizados separndolos con coma o con punto y coma. Por ejemplo: V = {a, e, i, o, u}
Captulo 4 - Pg. 5
Matemtica Discreta
(que se lee "conjunto V formado por los elementos a, e, i, o, u"), describe claramente el conjunto V de las letras vocales hispanas. En este caso, se dice que el conjunto est determinado o definido por extensin o por enumeracin. Asumiendo el contexto de las letras del alfabeto espaol, pueden escribirse por ejemplo, las siguientes proposiciones: a V n V b V o V e V k V
que resultan verdaderas en virtud de la anterior definicin del conjunto V. Otras veces, y en particular cuando tratamos con conjuntos de una cantidad infinita de elementos, la enumeracin de miembros no aparece como una notacin adecuada3, y se conviene definir entonces al conjunto, con una propiedad o caracterstica que es comn a todos los elementos del conjunto, y slo a ellos. Por ejemplo: V = {x / x es una vocal del alfabeto espaol} (que se lee "el conjunto V est formado por los elementos x tales que x es una vocal del alfabeto espaol), tambin define al conjunto de las letras vocales espaolas sin lugar a dudas. Se dice en este caso, que el conjunto est determinado o definido por comprensin o por propiedad. En trminos lgicos, esto se expresar como una funcin proposicional cuantificada: V = {x: P(x)} (el conjunto V est formado por todo x que verifique P), o resumidamente: V = {x/ P(x)} (el conjunto V est formado por todo x, tal que P(x) es verdadera), siendo P(x) la funcin proposicional x es una vocal espaola. Cabe reiterar que, ni en la nocin de conjunto, ni en las dos formas en las que puede definirse un determinado conjunto, se hace referencia al orden o a la repeticin de elementos. Esto no es un descuido sino, la esencia misma de la idea de conjunto como coleccin de objetos. As: A = (a, e, i, i, i, i, o, u} B = {i, i, e, a, a, o, u, i} representan al mismo conjunto V definido anteriormente. A veces, abusando de la intuicin y de las analogas, suele tambin definirse un conjunto infinito de elementos por extensin, indicando con puntos suspensivos que existen ms elementos que los efectivamente indicados como en:
Un conjunto finito como el de "todos los habitantes de la ciudad de Crdoba, Argentina, que son abonados al servicio telefnico por cable", puede definirse por extensin, como lo demuestra la existencia de una gua telefnica; sin embargo, aunque finito, en otros contextos como el de esta nota, resulta claramente ms conveniente una definicin por propiedad.
Captulo 4 - Pg. 6
Matemtica Discreta
V* = {a, aa, aaa, aaaa, aaaaa, ... }4 pero de ser posible, no caeremos en tales arrebatos en este texto. Ejemplo: Determine por extensin y comprensin el conjunto de las provincias cuya-nas de la Repblica Argentina. Solucin: C = {Mendoza, San Juan, San Luis} (por extensin) C = {x/ x es una provincia argentina de Cuyo} (por comprensin) En el primer caso, enumeramos o enlistamos todos los elementos que componen el conjunto; en el segundo, determinamos el conjunto diciendo que formarn parte de l, slo aquellos objetos que satisfagan una cierta propiedad.
4.1.3. Conjuntos especiales. Al igual que en clases, se extiende el concepto de conjunto definiendo el conjunto vaco (denotado por ), como aquel que no contiene elemento alguno y considerando como conjunto (y nombrndolo como conjunto unitario), a aquel que posea un slo elemento5. Adems, al hablar de conjuntos, normalmente se supone un determinado universo de discurso al cual pertenecen naturalmente todos los objetos a los que se hace referencia en el estudio. En los ejemplos anteriores, est implcito en el trmino vocales que estamos hablando de letras y no de frutas ctricas o de extraterrestres. Denotaremos con "U", al conjunto universal del cual son miembros todos los elementos de los conjuntos bajo estudio6. Por su importancia en matemticas, y por que los utilizaremos para ejemplificar variados conceptos, daremos una notacin especial a los siguientes conjuntos:
N Z Q R N0 Z+
= = = = = =
{x/ x es un nmero natural} {x/ x es un nmero entero} {x/ x es un nmero racional} {x/ x es un nmero real} {x/ x es un nmero natural o x es el nmero cero} {x/ x es un nmero entero positivo}
y supondremos conocido desde la escuela, qu se entiende por natural, entero, etctera. Ejemplo: Exprese en smbolos el conjunto de los nmeros naturales pares mayores a diez y menores a cien.
La notacin V* para el conjunto de las combinaciones de smbolos, provienen de la operacin llamada estrella de Kleene, la cual en realidad define la cadena vaca como parte del conjunto. (Referencia de Teora de la Computacin, J.G.Brookshear, Addison-Wesley, pgina 60) 5 Se hacen estas consideraciones aqu, ya que los conceptos de conjunto vaco y conjunto unitario, no se corresponden con la nocin de conjunto presentada. An as, sern tratados como conjuntos. 6 Tal vez un nombre ms apropiado sera conjunto referencial, pero utilizaremos el de universal para no crear confunsin con la bibliografa de consulta sugerida. (Nota debida a la Prof. L.Constable)
Captulo 4 - Pg. 7
Matemtica Discreta
Solucin: La definicin de paridad de nmeros naturales, dice que un nmero natural a es par, si existe algn natural x tal que a pueda escribirse como 2.x. As: P = {a/ aN (xN)/ a=2x a>10 a<100} Aqu, hemos impuesto una propiedad que los nmeros a debern cumplir, para que sean considerados miembros del conjunto P en cuestin. Ejemplo: Defina por comprensin, el conjunto vaco (sin elementos). Solucin: Por el concepto de conjunto vaco, cualquier propiedad que un objeto x nunca pueda satisfacer, nos servir para definirlo por comprensin. Tomaremos la ms sencilla: = {x/ x x} Tambin podramos haber dado otras expresiones para el conjunto vaco, como por ejemplo, el conjunto de todos los hombres que son inmortales, el conjunto de todas las proposiciones lgicas que son verdaderas y falsas al mismo tiempo, etc., o sea, propiedades que contradicen la escencia de los objetos a los que se les atribuye.
4.1.4. Igualdad de conjuntos. Como ya se indic, la repeticin de elementos y el orden de presentacin de los mismos en la definicin de un conjunto en particular, no tienen efectos sobre la determinacin efectiva del mismo. Teniendo esto en cuenta: Definicin: Dados dos conjuntos A y B, se dice que son iguales, (y lo denotamos por A=B), sii estn formados por exactamente los mismos elementos. En smbolos: A = B x: xA xB y: yB yA Se suele llamar tambin a la anterior definicin, Principio de extensin7. Ejemplo: Dado el conjunto A={1, 2, 3}, defina otros tres iguales al mismo. Solucin: B = {2, 3, 1, 1} C = {x/ xN x < 4} D = {x/ (x=1) (x=2) (x=3)}
Vase Matemticas para Computacin, S.Lipschutz, McGraw-Hill, 1992, pgina 132, donde se encuentra tal denominacin. Adems, el autor presenta el Principio de Abstraccin diciendo: "dado cualquier conjunto U y cualquier propiedad P, hay un conjunto A tal, que los elementos de A son exactamente aquellos miembros de U que tienen la propiedad P". Creo que estos principios concuerdan con nuestra nocin de determinacin por extensin y por comprensin.
Captulo 4 - Pg. 8
Matemtica Discreta
Aqu, se han utilizado los conocidos conectivos lgicos (en C y D), para conformar la proposicin que caracteriza a los elementos del conjunto y se han separado con parntesis "innecesarios" las funciones proposicionales de pertenencia, para destacarlas como tal. Estrictamente hablando, cuando decimos que dos conjuntos son iguales, en realidad nos estamos refiriendo a dos representaciones o caracterizaciones del mismo conjunto; establecemos una relacin entre dos nombres de una misma entidad.
_____________________________________________________________
EJERCICIOS 4.1 4.1.1. Diga si las siguientes expresiones definen algn conjunto. En caso afirmativo, defina el conjunto en smbolos y diga si es finito o infinito; en caso negativo, indique porqu no lo hacen y ejemplifique. a) b) c) d) e) Los hombres altos. Los actuales habitantes de la Luna. Los algoritmos de exactamente cuatro instrucciones. Las proposiciones lgicas de la lgica tradicional. Las estrellas brillantes del cielo austral.
4.1.2. Sea U={1,2,3,4,5,6,7,8,9,10}, el conjunto universal de referencia y sean A ={1,2} y B={2,4,6,8,10}. Indique la verdad o falsedad de las siguientes proposiciones: a) b) c) d) e) 1A 9A 9B 9B 2A f) g) h) i) j) 1A 1B 4A 4U 3A 8U 3A 8U 4A 5U
4.1.3. Defina por comprensin los conjuntos A y B del anterior ejercicio. 4.1.4. Indique cules de los siguientes conjuntos son iguales: A= B= C= D= E= {x/ (xN) (x es primo) (x<10)} {x/ (xZ) (x<8)} {1, 2, 3, 4, 5, 6, 7} {1, 7, 7, 3, 1} {2, 3, 4, 5, 6, 1, 7}
4.1.5. Defina por comprensin y extensin los siguientes conjuntos: a) b) c) d) e) Los naturales pares menores que diez. Los cuadrados menores que diez, de los primeros nueve naturales. Los nmeros enteros negativos mayores que menos cuatro. Los temas del captulo de lgica matemtica de este texto. El conjunto de todas las letras "m" de esta pgina.
4.1.6. Diga cundo dos conjuntos son distintos y estudie todos los casos posibles.
Captulo 4 - Pg. 9
Matemtica Discreta
_____________________________________________________________
Tema 4.2
SUBCONJUNTOS _____________________________________________________________
4.2.1. Inclusin. 4.2.2. Cardinalidad de un conjunto. 4.2.3. Propiedades de la inclusin. 4.2.4. Familias de conjuntos.
_____________________________________________________________
Utilizaremos en lo que sigue, los diagramas de Venn ya presentados en el punto (3.4.4), con la misma significacin y modo de construccin indicados all, pero aplicados al concepto de conjunto.
4.2.1. Inclusin. Definicin: Dados dos conjuntos A y B, diremos que A est incluido en B (y lo denotaremos AB BA), si todo elemento de A es tambin elemento de B. En smbolos: A B x: xA xB Segn la variada bibliografa existente sobre el tema, las siguientes expresiones son consideradas equivalentes: A est incluido en B. A est contenido en B. A es un subconjunto de B. B incluye a A. B contiene a A. B es un superconjunto de A.
B A .b .a
.c
Fig. 4.1: Diagrama de Venn de la inclusin A B.
Captulo 4 - Pg. 10
Matemtica Discreta
Ejemplo: Sean A y B, los conjuntos de la figura 4.1. Defina los conjuntos por exten-sin y establezca la relacin de inclusin entre ellos. Solucin: a) La definicin por extensin de los conjuntos es: A = {a, b} B = {a, b, c}
b) Ya que aA, bA y aB, bB, por definicin de inclusin: AB Sin embargo, como cB y cA, no puede decirse que B est incluido en A. El smbolo "" utilizado para representar la inclusin, recuerda el uso del smbolo menor o igual () utilizado usualmente como relacin entre nmeros, y en cierta forma, indica que si A es un subconjunto de B, tiene menor o igual cantidad de elementos. Definicin: Dados dos conjuntos A y B, diremos que A est estrictamente incluido en B (y lo denotaremos AB BA), si todo elemento de A es tambin elemento de B, pero existe al menos un elemento en B que no es elemento de A. En smbolos: A B (x: xA xB) (y/ yB yA) Si un conjunto A est estrictamente incluido en un conjunto B, se dice que el primero es un subconjunto propio del segundo. Por otra parte, la inclusin amplia engloba al concepto de inclusin estricta, ya que si A B, puede suceder que A B o que A = B. En el anterior ejemplo, A resulta ser un subconjunto propio de B. Nuevamente, el smbolo "" utilizado para representar la inclusin estricta, recuerda el uso del smbolo menor (<) utilizado entre nmeros, y en cierta forma, indica que si A es un subconjunto propio de B, tiene menor cantidad de elementos.
4.2.2. Cardinalidad de un conjunto. Si llamamos conjunto finito a aquel que posee un nmero finito de elementos (esto es, n elementos con nN), expresamos que: Definicin: Dado un conjunto finito A, llamaremos cardinalidad de A, (y lo denotaremos con A), al nmero n de elementos que pertenecen a l. En smbolos: A = n
Captulo 4 - Pg. 11
Matemtica Discreta
Por convencin, se asigna el nmero cero como cardinalidad del conjunto vaco, si bien el cero no es un nmero natural, y el conjunto vaco no es en rigor, finito. = 0 Tambin nos referiremos a la cardinalidad de un conjunto A, como el nmero cardinal de A. Ejemplo: Sean A={1,2,3} y B={a,b}. Entonces: A = 3 B = 2
4.2.3. Propiedades de la inclusin. As, pueden ahora demostrarse algunas propiedades de la inclusin (con carcter de teoremas), y algunas relaciones entre las cardinalidades de conjuntos. 1) PROPIEDAD REFLEXIVA: Todo conjunto es parte de s mismo. Hiptesis: Sea A, un conjunto cualquiera. Tesis: AA Demostracin: Por definicin de inclusin: A A x: xA xA implicacin que es verdadera para cualquier elemento de A. 2) PROPIEDAD TRANSITIVA: Si un conjunto es subconjunto de otro y ste subconjunto de un tercero, entonces el primero es subconjunto del tercero. Hiptesis: Sean A, B y C, tres conjuntos tales que AB y BC. Tesis: AC Demostracin: Sea x un elemento cualquiera de A. Entonces se tiene simultneamente: xA xB, por hiptesis AB y la definicin de inclusin, y xB xC, por hiptesis BC y la definicin de inclusin. (ii) y por la ley del silogismo hipottico de la lgica, de (i) e (ii) se obtiene: xA xC, que por definicin de inclusin demuestra la tesis. 3) PROPIEDAD ANTISIMTRICA: Si un conjunto es subconjunto de otro y ste subconjunto del primero, entonces los conjuntos son iguales. Hiptesis: Sean A y B, dos conjuntos tales que AB y BA. Tesis: A=B Demostracin: Por definicin de igualdad de conjuntos: A = B x: xA xB y: yB yA, (i)
Captulo 4 - Pg. 12
Matemtica Discreta
pero por definicin de inclusin, esto puede escribirse: A = B (A B) (B A), lo cual, al ser las premisas verdaderas, demuestra trivialmente la tesis. 4) VACO SIEMPRE PRESENTE: El conjunto vaco est includo en cualquier conjunto. Hiptesis: Sea A cualquier conjunto. Tesis: A Demostracin: Por definicin de inclusin, la tesis puede escribirse como: x: x xA lo cual es verdadero, ya que un antecedente falso (como x ) siempre hace verdadero el condicional, con lo cual queda demostrada la tesis. 5) UNICIDAD DEL VACO: El conjunto vaco es nico. Hiptesis: Sea el conjunto vaco. Tesis: es nico. Demostracin: Supongamos que existe otro conjunto vaco '; entoces por la propiedad (4) debe cumplirse: ( ') ( ' ) lo que por la propiedad antisimtrica significa que = '. 6) Si un conjunto finito. est includo en otro, tambin finito, entonces la cardinalidad del primero es menor o igual a la del segundo. Hiptesis: Sean A y B dos conjuntos finitos tales que A B. Tesis: A B Demostracin: Supongamos que A= n y que B= m, o sea que el conjunto A tiene exactamente n elementos y el B, exactamente m elementos. Por definicin de inclusin, se tiene por hiptesis que: x: xA xB lo que dice que, siempre que un elemento est en A, el mismo debe pertenecer a B para que la implicacin sea verdadera, por lo cual, B contiene al menos tantos elementos como A, o sea que n es por lo menos igual a m. (i) Adems, la misma definicin permite que existan elementos de B que no pertenezcan al conjunto A, con lo cual la implicacin de antecedente falso y conclusin verdadera, resultar tambin verdadera. Si ste fuera el caso, B tendra entonces adems de todos los elementos de A, algunos ms, por lo cual m resultara mayor que n. (ii) De (i) e (ii), queda demostrada la tesis. Algunas otras propiedades respecto de la inclusin de conjuntos, sern enunciadas luego y su demostracin ser dejada como ejercicio.
Captulo 4 - Pg. 13
Matemtica Discreta
4.2.4. Familias de conjuntos. Existen algunos conjuntos que tienen como elementos a otros conjuntos, y se les denomina usualmente, conjunto de conjuntos, clase de conjuntos o familia de conjuntos; ms an, un conjunto puede contener como miembros, otros conjuntos y algunos elementos que no son conjuntos. Ejemplo: Sea A = {{a}, b} un conjunto. Entonces puede escribirse: {a} A bA {b} A {{a}} A
Sin embargo, a como elemento, no pertenece al conjunto A y el conjunto {a} no est includo en A sino que es un elemento del mismo; en smbolos: aA {a} A
Un familia de conjuntos cuya aplicacin es importante, es el denominado conjunto potencia de un conjunto A, denotado por P(A), la cual se define como aquella que tiene por elementos a todos los posibles subconjuntos de A. En smbolos: P(A) = {X/ XA} As, el problema de determinar P(A), o sea conocer la pertenencia o no de un conjunto X al conjunto potencia de A, se reduce al problema de establecer si X est efectivamente includo en A. Por las propiedades que enunciamos sobre la inclusin de conjuntos y de la definicin de conjunto potencia, se desprende fcilmente que el conjunto vaco pertenece a P(A) y que el mismo conjunto A, pertenece a su conjunto potencia. Ejemplo: Sea A={a,b,c}. Determine su conjunto potencia. Solucin: En el siguiente diagrama de Venn, se representan las distintas asociaciones que se pueden formar con los elementos de A:
A .a .b U .c
quedando entonces el conjunto potencia definido por: P(A) = { , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}
Captulo 4 - Pg. 14
Matemtica Discreta
Se puede demostrar (aunque no lo haremos aqu8) que: si A es un conjunto finito, en-tonces su conjunto potencia P(A) tendr 2A elementos.
_____________________________________________________________
EJERCICIOS 4.2 4.2.1. Sean U={a,b,c,d,e,f,g,h,i}, A={a,c,e,g,i} y B={b,d,f,h}. Confeccione el diagrama de Venn suponiendo que U es el conjunto universal, y determine la validez de las siguientes proposiciones, justificando su respuesta: a) b) c) d) e) aA {a} A BA BU BU f) g) h) i) j) aA {a} A c A B U {a,g,c,i,e} A {a,g,c,i,e} A
4.2.2. Demuestre las propiedades reflexiva, simtrica y transitiva de la igualdad de conjuntos. Esto es, verificar respectivamente que se cumplen: a) A = A b) A = B B = A c) (A=B B=C) A=C
4.2.3. Dado el conjunto A={x / xN x2 < 16}, indique si son verdaderas: a) b) c) d) e) {0, 1, 2, 3} A A 4A {4} A {4} A f) g) h) i) j) 0A {0} A {1,2,3} A {1,2,3} A 2 A
4.2.4. Determine el conjunto potencia de A={1,2} y la cardinalidad del mismo. 4.2.5. Si A={b, i, t}, indique la verdad o falsedad de: a) b) c) d) e) A P(A) A P(A) {t,i} P(A) {t,b} P(A) {{t},{i}} P(A) f) g) h) i) j) {{t},{i}} P(A) {{t},{i}} P(A) {t,i} P(A) { } P(A) P(A)
4.2.6. Indique todos los subconjuntos que se pueden formar con las letras de la palabra "autmata", la cardinalidad de cada uno y cules de ellos son subconjuntos propios de {a, u, t, o, m}.
Puede encontrarse una demostracin en Teora de la Computacin, J.G.Brookshear, Addison-Wesley, pginas 4-6, donde el autor procede por induccin matemtica.
Captulo 4 - Pg. 15
Matemtica Discreta
_____________________________________________________________
Tema 4.3
OPERACIONES CON CONJUNTOS _____________________________________________________________

4.3.1. Complementacin. 4.3.2. Interseccin. 4.3.3. Unin. 4.3.4. Producto cartesiano. 4.3.5. Propiedades de las operaciones con conjuntos. 4.3.6. Conjuntos finitos.
_____________________________________________________________
Tanto la igualdad de conjuntos como la inclusin, han sido definidas bsicamente sobre la nocin de pertenencia de elementos a conjuntos; de la relacin de pertenencia, vimos que se puede afirmar que es verdadera (aA) o que es falsa (aA). Por esto, y con la misma argumentacin utilizada para los conectivos lgicos (tema 3.2), pueden definirse cuatro operadores unitarios y diecisis binarios, que accionen sobre conjuntos, para obtener otros conjuntos (o lo que es lo mismo, que operen sobre proposiciones lgicas del tipo "a pertenece al conjunto A"). Al igual que en esa oportunidad, slo nos interesarn algunas operaciones de todas las posiblemente definibles, siendo las dems slo combinaciones de ellas. A continuacin, se definirn tres operaciones y se estudiarn sus propiedades, correspondientes a la aplicacin de los conectivos no, y, o, de la lgica, a las proposiciones categricas que definen conjuntos. Adems, introduciremos el concepto de par ordenado y basado en l, el de producto cartesiano de dos conjuntos.
4.3.1. Complementacin. Hemos destacado ya el hecho que, cuando hablamos de elementos de un determinado conjunto A, estamos presuponiendo la existencia de un universo de discurso, el conjunto universal U, al cual pertenecen naturalmente todos los objetos de los conjuntos bajo estudio (y posiblemente otros que no pertenecen a ninguno de ellos), compartiendo alguna caracterstica comn. Definicin: Dado un conjunto A, y el conjunto universal U, llamaremos complemento de A al conjunto ~A, (que leeremos complemento de A o A complemento), formado por todos los elementos del conjunto universal, que no pertenecen al conjunto A. En smbolos: ~A = {x/ xU xA} El smbolo "~" utilizado para denotar el complemento, refuerza la idea de negacin de la proposicin que establece la pertenencia al conjunto (~(xA) o no es el caso que el elemento x
Captulo 4 - Pg. 16
Matemtica Discreta
pertenezca al conjunto A); en la bibliografa, suele tambin utilizarse el smbolo "" como sombrero del conjunto a complementar o las notaciones A' o Ac.
~A
Fig. 4.2: Complemento de un conjunto A (rea sombreada).
Tambin se define en forma anloga, el complemento de un conjunto A respecto de otro cualquiera B, llamado a veces diferencia entre los conjuntos A y B. Definicin: Dados dos conjuntos A y B, llamaremos complemento de A respecto de B, al conjunto B-A, (que leeremos B menos A, o complemento de A con respecto a B), formado por todos los elementos de B que no pertenecen al conjunto A. En smbolos: B - A = {x/ xB xA} Suele tambin denotarse al complemento de A respecto de B como ABc o AB'.
A B-A
Fig. 4.3: Complemento de un conjunto A respecto de otro B (rea sombreada).
Ejemplo: Dados A={a, b, c} y B={c, x}, determine B - A y A - B. Solucin: Del diagrama de Venn y de la definicin de complementacin respecto de un conjunto, se sigue que: B - A = {x} A - B = {a, b} (todo elemento de B que no est en A) (todo elemento de A que no est en B)
Captulo 4 - Pg. 17
Matemtica Discreta
A .a .b .c .x
A .a .c .b .x
U A-B B-A
Esta operacin, "hereda" de la negacin la propiedad de involucin y otras, que sern luego enunciadas formalmente y se presentarn como ejercicio para su demostracin. Adems, el anterior ejemplo demuestra por contraejemplo que la complementacin de conjuntos no es conmutativa.
4.3.2. Interseccin. La idea intuitiva de interseccin en el lenguaje ordinario, se refiere a puntos comunes de dos lneas que se cortan, a la esquina de dos calles, etctera. Esta misma idea es la que el trmino expresa, referida a conjuntos. Formalmente: Definicin: Dados dos conjuntos A y B, llamaremos interseccin de A y B, al conjunto A B, (que leeremos A interseccin B), formado por todos los elementos comunes de A y de B. En smbolos: A B = {x/ xA xB} La operacin as definida, resulta ser binaria ya que aplicndola a dos conjuntos se obtiene otro conjunto.
AnB
Fig. 4.4: Interseccin de dos conjuntos (rea sombreada). El smbolo " " utilizado para denotar la interseccin de conjuntos, tiene la forma suavizada del smbolo de conjuncin de la lgica matemtica, y efectivamente este conectivo tiene accin decisiva en la definicin precedente. Ejemplo: Dados A={1, 2, 3, 4, 6, 7, 8, 9} y B={5, 6, 7, 8, 10}, determine A B.
Captulo 4 - Pg. 18
Matemtica Discreta
Solucin: Estando los conjuntos definidos por extensin pueden verse claramente los elementos comunes a ambos conjuntos, por lo cual A B={6, 7, 8} La operacin de interseccin heredar de la conjuncin, las propiedades que la misma cumple en el mbito de las proposiciones lgicas. Ejemplo: Demuestre que la interseccin de conjuntos cumple la propiedad asociativa. Solucin: Hiptesis: Sean A, B y C tres conjuntos cualesquiera. Tesis: (A B) C = A (B C) Demostracin: La demostracin surge naturalmente de la definicin de interseccin y de las propiedades de la conjuncin de proposiciones lgicas. Definamos las siguientes proposiciones lgicas: p: xA entonces: (A B) C = {x/ (xA xB) xC} = {x/ (p q) r} = {x/ p (q r)} = {x/ xA (xB xC)} = A (B C) por definicin de interseccin. reemplazando las proposiciones. propiedad asociativa de conjuncin. reemplazando las proposiciones. por definicin de interseccin. q: xB r: xC
Que la interseccin goce de la propiedad asociativa, nos permite generalizar la operacin de interseccin a n conjuntos Ai, en cuyo caso se suele escribir:
A A ... A = i=1 IA
1 2 n
Dados dos conjuntos A y B, pueden darse con respecto a la interseccin, cuatro situa-ciones diferentes a saber:
U (a) Conjuntos disjuntos A B B
C (b) A
U (c) Conjuntos iguales (d) A C B
Fig. 4.5: Posibilidades en la interseccin de dos conjuntos.
Captulo 4 - Pg. 19
Matemtica Discreta
a) Si los conjuntos no tienen elementos en comn, se dice que los mismos son disjuntos y su interseccin es, por lo tanto, el conjunto vaco: A B = b) Si los conjuntos tienen algunos elementos en comn y otros no, entonces su inter-seccin estar compuesta por los elementos ubicados en el rea comn a ambos en la fig. 4.5(b). A B = C c) Si los conjuntos son iguales, entonces la interseccin es el mismo conjunto A. A B = A d) Si se trata del caso que (como en la fig. 4.5(d)), uno de los conjuntos es subconjunto propio del otro, entonces la interseccin de ellos es el subconjunto (el de menor cardinalidad). A B = A En realidad, si hablamos de inclusin y no de inclusin estricta, los casos (c) y (d) se funden en uno slo.
4.3.3. Unin. La operacin de unin de conjuntos, aplica la idea de disyuncin lgica al mbito de los conjuntos, en el sentido que relaciona las proposiciones de pertenencia de elementos utilizando el conectivo "o". Formalmente: Definicin: Dados dos conjuntos cualesquiera A y B, llamaremos unin de A y B al conjunto A B, (que leeremos A unin B), formado por todos los elementos de A y todos los de B. En smbolos: A B = {x/ xA xB} La operacin as definida, resulta ser tambin binaria ya que genera un nuevo conjunto a partir de dos conjuntos dados.
AUB
Fig. 4.6: Unin de dos conjuntos (rea sombreada).
Captulo 4 - Pg. 20
Matemtica Discreta
El smbolo " " utilizado para denotar la unin de conjuntos, tiene la forma suavizada del smbolo "" de la disyuncin lgica y, como puede verse claramente en la definicin presentada de la operacin, es coherente la semejanza. Ejemplo: Dados A={1, 2, 3, 4, 6, 7, 8, 9} y B={5, 6, 7, 8, 10}, determine A B. Solucin: La respuesta es sencilla; para determinar el conjunto unin de A y B, slo tenemos que listar primero los elementos de A y a continuacin los de B. As: A B = {1, 2, 3, 4, 6, 7, 8, 9, 5, 6, 7, 8, 10} Pero por definicin de conjunto, suelen no listarse los elementos repetidos (ya que no aportan nada a la determinacin del conjunto), con lo cual obtenemos: A B = {1, 2, 3, 4, 6, 7, 8, 9, 5, 10} La operacin de unin heredar naturalmente de la disyuncin, las propiedades que la misma cumple para el clculo proposicional. Ejemplo: Demuestre que la unin de conjuntos cumple la propiedad asociativa. Solucin: Hiptesis: Sean A, B y C tres conjuntos cualesquiera. Tesis: (A B) C = A (B C) Demostracin: La demostracin surge de la definicin de uniin y de las propie-dades de la disyuncin de proposiciones lgicas. Definamos como antes, las siguientes proposiciones lgicas: p: xA q: xB r: xC entonces: (A B) C = {x/ (xA xB) xC} = {x/ (p q) r} = {x/ p (q r)} = {x/ xA (xB xC)} = A (B C) por definicin de unin. reemplazando las proposiciones. propiedad asociativa de disyuncin. reemplazando las proposiciones. por definicin de unin.
La propiedad asociativa de la unin, nos permite generalizarla a una familia de n conjuntos Ai, en cuyo caso se suele escribir:
A A ... A = i=1 UA
1 2 n
Con las operaciones ya establecidas de interseccin y unin de conjuntos, definiremos el importante concepto de particin de un conjunto como sigue:
Captulo 4 - Pg. 21
Matemtica Discreta
Definicin: Dados los conjuntos no vacos A1, A2, ..., An, y el conjunto B, llamaremos particin de B (o recubrimiento de B, o conjunto cociente de B), a la familia L={A1, A2, ..., An} si se verifica que los conjuntos Ai son disjuntos de a pares y si para cada elemento x de B, x pertenece a algn Ai con i=1, 2, ...,n. En smbolos: La familia L={A1, A2, ..., An} es una particin de B sii: a) Ai Aj = , con i j e i, j=1, 2, ..., n b) B = A1 A2 ... An La anterior definicin puede ser extendida a una familia infinita de conjuntos, extendiendo la unin generalizada a infinitos conjuntos Ai.
B A 2
A1 A 3 A 4 U
Fig. 4.7: Una particin L = {A1, A2, A3, A4} del conjunto B. Ejemplo: Diga si L = {{1, 2}, {2, 3}, {4}}, es una particin de A = {1, 2, 3, 4}. Solucin: Hay que verificar si las condiciones de la definicin se cumplen: a) {1, 2} {2, 3} = {2} , no son disjuntos! {1, 2} {4} = {2, 3} {4} = b) {1, 2} {2, 3} {4} = {1, 2, 3, 4} Como puede verse, la interseccin de algunos conjuntos de L no es vaca, por lo cual L resulta no ser una particin de A. Para no ser pesimistas en nuestros ejemplos, veamos ahora que realmente se pueden establecer particiones en algn conjunto. Ejemplo: Determine dos particiones distintas de V = {a, e, i, o, u}. Solucin: a) L1 = {{a, e, i, o}, {u}} es una particin de V, ya que se cumple: {a, e, i, o} {u} =
Captulo 4 - Pg. 22
Matemtica Discreta
y V = {a, e, i, o} {u}. b) L2 = {{a, i}, {u,o}, {e}} es tambin una particin de V, pues se cumplen: {a, i} {u, o} = {a, i} {e} = {u, o} {e} = y V = {a, i} {u, o} {e}.
4.3.4. Producto cartesiano. En la idea de conjunto, el orden de los elementos que al mismo pertenecen, no tiene ninguna significacin en cuanto a su determinacin. As, hemos expresado que: {a, b} = {b, a} ya que ambos miembros de la igualdad son en realidad, el mismo conjunto. Definiremos ahora, un ente matemtico en el cual el orden en que aparecen sus componentes s tiene importancia: Definicin: Dados dos objetos a y b, llamaremos par ordenado, y lo denotaremos con (a, b), al arreglo ordenado de los mismos, y diremos que a es la primer componente y que b es la segunda componente del par ordenado. Una definicin ms estricta9 de par ordenado, lo define como la familia de conjuntos: (a, b) = {{a}, {a, b}} permitiendo aplicar las operaciones de conjuntos y las propiedades de las mismas, a este nuevo concepto. De la definicin precedente se desprende que, en general, (a, b) (b, a), a menos que se verifique a = b y, basado en este hecho, se dice que un par ordenado es igual a otro, si y slo si, sus componentes correspondientes son iguales. En smbolos: (a, b) = (c, d) a = c b = d. Utilizando este ente, definiremos una nueva operacin de conjuntos que recibe el nombre de producto cartesiano en honor al matemtico y filsofo francs Ren Descartes (1596-1650), quien es considerado el fundador de la geometra analtica10.
9 Una definicin tal se encuentra en Algebra I, A.O.Rojo, El Ateneo, 1972, pgina 53 y una explicacin ms detallada del concepto puede verse en Calculus, M.Spivak, Revert, 1970, pginas 67 y 68. 10 Algunos autores opinan que la historia fue en este caso injusta con otro francs, el matemtico Piere Fermat (1601-1665), quien fue el primero en explisitar la representacin grfica de los pares ordenados.
Captulo 4 - Pg. 23
Matemtica Discreta
Definicin: Dados dos conjuntos no vacos A y B, llamaremos conjunto producto de A y B o producto cartesiano de A y B, al conjunto A x B (que leeremos A por B) cuyos elementos son los pares ordenados que tienen como primer componente, un elemento de A y como segunda componente, un elemento de B. En smbolos: A x B = {(a, b) / aA bB} En particular utilizaremos la notacin A2 para referirnos al producto cartesiano de un conjunto por s mismo, A x A. Ejemplo: Determine el producto cartesiano de {1, 2, 3} y {a, b}, en ese orden. Solucin: El producto de A = {1, 2, 3} y B = {a, b}, ser por definicin: A x B = {(1,a), (1,b), (2,a), (2,b), (3,a), (3,b)} Si extendemos el concepto de par ordenado a n objetos diciendo que, una n-tupla es un arreglo ordenado de objetos (a1, a2, ..., an), podemos extender el producto cartesiano a una familia de n conjuntos no vacos, expresando: A1 x A2 x ... x An = {(a1, a2, ..., an) / a1A1 a2A2 ... anAn} lo que tambin suele escribirse como:
A A ... A =
1 2 n
CA
i=1
y como es usual, denotaremos con An al producto cartesiano de A por s mismo n veces. Por definicin de par ordenado, evidentemente el producto cartesiano no es conmutativo; adems, pueden demostrarse varias propiedades como por ejemplo, que es distributivo a derecha o a izquierda respecto de la unin.
4.3.5. Propiedades de las operaciones con conjuntos. De las infinitas igualdades de conjuntos que podemos construir utilizando las operaciones que hemos definido, como en el caso de los conectivos lgicos y por su utilidad en matemticas, se listarn a continuacin, slo algunas de ellas (y algunas otras en la ejercitacin del presente captulo). La demostracin de estas propiedades (tratadas as como teoremas), puede ser efectuada algebricamente apelando a las propiedades que satisfacen los conectivos lgicos y grficamente, construyendo y analizando los diagramas de Venn de las distintas situaciones a las que ellas hacen referencia. Sean A, B y C tres conjuntos cualesquiera y sean , y los smbolos de las operaciones de complementacin, interseccin y unin de conjuntos respectivamente. Entonces, se cumplen las siguientes propiedades:
Captulo 4 - Pg. 24
Matemtica Discreta
1. Involucin: ~(~A) = A 2. Idempotencia: a) De la interseccin: A A = A b) De la unin: AA=A 3. Conmutatividad: a) De la interseccin: A B = B A b) De la unin: AB=BA 4. Asociatividad: a) De la interseccin: A B C = A (B C) = (A B) C b) De la unin: A B C = A (B C) = (A B) C 5. Distributividad: a) De la interseccin respecto de la unin: A (B C) = (A B) (A C) b) De la unin respecto de la interseccin: A (B C) = (A B) (A C) 6. Leyes de DeMorgan: a) ~(A B) = ~A ~B b) ~(A B) = ~A ~B Fig. 4.8: Algunas propiedades de las operaciones de conjuntos.
Ntese la similitud entre la anterior tabla de propiedades y la tabla de leyes lgicas de la figura 3.10. Con los comentarios que hemos ido haciendo sobre la relacin entre los operadores de conjuntos y los operadores lgicos involucrados en sus definiciones, claramente esta semejanza no es una casualidad, sino que emana de la estructura del sistema formal construdo. Estamos diciendo ms o menos lo mismo, con otras palabras. Adems, pueden establecerse otras relaciones tiles entre cualquier conjunto A y los conjuntos universal U y vaco , como las que siguen: i) ii) iii) iv) A ~A = U A=A AU=U ~U = v) vi) vii) viii) A ~A = A= AU=A ~ = U
Por ltimo, estableceremos el siguiente principio, el cual es tambin vlido para la lgica proposicional (con los arreglos de notacin correspondientes):
Captulo 4 - Pg. 25
Matemtica Discreta
Principio de Dualidad: Si T es un teorema del lgebra de conjuntos, entonces el dual de T, denotado por T*, construido reemplazando los smbolos U, , , de T por los smbolos , U, , , respectivamente, es tambin un teorema. Ejemplo: Demostrar que A U = U, para cualquier conjunto A. Solucin: Hiptesis: Sean A cualquier conjunto y U el conjunto universal. Tesis: A U = U. Demostracin: El teorema, enunciado como una proposicin lgica, establece que si AU, entonces A U es igual a U. En smbolos: (AU) (A U=U) (iii) Por definicin de inclusin y de igualdad de conjuntos, podemos escribir: x: (xA xU) ((xA xU) (xU)) ((xU) (xA xU)) Si para abreviar, establecemos p:xA y q:xU (omitiendo la variable x por comodidad pero sin perder de vista el cuantificador universal), reescribimos lo anterior como: x: (pq) ((pq) q) (q (p q)) En esta expresin, la proposicin q siempre es verdadera, por definicin de conjunto universal (toda x debe pertenecer a l), por lo cual: (pV) V VV, es verdadero por el clculo de proposiciones. V (pV) VV, es verdadero por el clculo de proposiciones. (VV) (VV), es verdadero por el clculo de proposiciones. (pq), es verdadero por la definicin de universal (AU, cualquiera que sea A) entonces, queda la anterior expresin como: x: V V que es una tautologa, y siendo equivalente a (iii), queda demostrada la tesis. Si aplicamos el principio de dualidad al anterior teorema, la expresin A U=U se transforma en A = el cual tambin es un teorema del lgebra de conjuntos. (Ntese que todas las propiedades en las cuales intervienen los smbolos , , , U enunciadas anteriormente, bienen de "a pares") 4.3.6. Conjuntos finitos.
Captulo 4 - Pg. 26
Matemtica Discreta
Como ya se indic, se dice que un conjunto es finito si tiene exactamente n elementos con nN, e infinito si lo conforman un nmero infinito de elementos. Son de especial inters para las ciencias informticas el primer tipo de conjuntos mencionado, ya que los algoritmos son conjuntos finitos de instrucciones, la memoria de una computadora es un conjunto finito de celdas donde alojar smbolos, los lenguajes de programacin son un conjunto finito de sentencias y reglas para manejarlas, etc.. Diremos que un conjunto es numerable (o contable) si se puede establecer una correspondencia uno a uno con los nmeros naturales. Esto es, a cada elemento del conjunto lo podremos nombrar como primero, segundo, tercero, ..., o sea enumerarlos. En caso contrario, se dice que el conjunto es no numerable (o no contable o incontable). Claramente, por nuestra definicin de conjunto finito, todo conjunto finito resulta ser numerable ya que teniendo n elementos, los podremos enumerar como primero, segunto, ..., isimo, ..., n-simo. Ejemplo: Sea A un conjunto finito de smbolos y sea adems, A* (ledo como A es-trella) el conjunto de todas las combinaciones finitas de elementos de A. Diga si A* es numerable y si es finito11. Solucin: Claramente, A* no es finito, ya que aunque finitas, las cadenas de smbolos formadas por cualquier cantidad de elementos de A (con repeticiones) resultan ser infinitas. Sin embargo, A* es contable. Para demostrar esto ltimo, ordenaremos las cadenas formadas con smbolos de A, de la siguiente manera: a) Primero se colocarn todas las posibles cadenas de un slo smbolo, ordenados en forma alfabtica (o si son numerales, segn un orden ascendente de los valores que ellos representan). b) Luego, todas las cadenas formadas por dos smbolos de A, ordenados alfabticamente entre ellas, y as sucesivamente. Ordenando de esta forma, y suponiendo A={a, b}, podremos escribir: Primera: Segunda: Tercera: Cuarta: Quinta: Sexta: Sptima: . . . a b aa ab ba bb aaa . . .
con lo cual se ha conseguido una forma de enumerar el conjunto infinito A*.
11
Vase referencia (4) en la pgina seis del presente captulo, un comentario sobre esta notacin.
Captulo 4 - Pg. 27
Matemtica Discreta
En el anterior ejemplo, el conjunto A puede no estar formado de nmeros (como {a,b}) y en estos casos suelen denominarse alfabeto al conjunto A y palabras a los elementos del conjunto A* (o tambin cadenas, secuencias o el familiar vocablo del idioma ingls "strings"). Por otro lado, se defini ya la cardinalidad de un conjunto finito, como la cantidad de elementos (distintos por definicin de conjunto) que el mismo posee. Resulta importante en muchos problemas, conocer la cantidad de elementos que contiene un conjunto, obtenido combinando otros mediante las operaciones de complementacin, interseccin, unin y producto cartesiano. Por esto, se enunciarn los siguientes teoremas, cuya demostracin puede ser efectuada mediante un anlisis de los respectivos diagramas de Venn y/o de las definiciones de los operadores.
a) TEOREMA: Dados dos conjuntos finitos A y B, la cardinalidad del complemento de A respecto de B, es igual a la cardinalidad de A menos la cardinalidad de la interseccin de los conjuntos. En smbolos: A - B = A - A B
b) TEOREMA: Dados dos conjuntos finitos A y B, la cardinalidad de la unin de ellos, es igual a la suma de las cardinalidades de cada uno de ellos menos la cardinalidad de la interseccin de los mismos. En smbolos: A B = A + B - A B
c) TEOREMA: Dados dos conjuntos finitos A y B, la cardinalidad del producto cartesiano de A y B, es igual al producto de las cardinalidades de cada uno de ellos. En smbolos: A x B = A . B
El teorema (b), recibe usualmente el nombre de Principio de conteo o de Principio de Adicin. A travs de estos teoremas, pueden establecerse como corolarios, otros que permitan calcular la cardinalidad de cualquier combinacin de operaciones de conjuntos, como por ejemplo:
d.1) COROLARIO: Del teorema (a), se sigue que: A B = A - A - B d.2) COROLARIO: Del principio de adicin, se sigue que: A B = A + B - A B
d.3) COROLARIO: De los colorarios d.1 y d.2, se sigue inmediatamente que:

Captulo 4 - Pg. 28
Matemtica Discreta
A - A - B = A + B - A B y: A - B = A B - B y muchos otros. Por ltimo, la siguiente frmula (un poco ms complicada) enuncia el principio de adicin aplicado a tres conjuntos A, B y C, cualesquiera: A B C = A + B + C - A B - A C - B C + A B C
_____________________________________________________________
EJERCICIOS 4.3 4.3.1. Demostrar todas las propiedades de las operaciones con conjuntos de la figura 4.8. (Nota: recuerde que la distributividad debe demostrarse a derecha y a izquierda) 4.3.2. Sea A cualquier conjunto y U el conjunto universal. Demuestre que: i) ii) iii) iv) A ~A = U A=A AU=U ~U = v) vi) vii) viii) A ~A = A= AU=A ~ = U
4.3.3. Sean los conjuntos U={0,1,2,3,4,5,6,7,8,9}, A={2,4,6,8}, B={1,2}, C={1,2,3,5,7}. a) Defina por comprensin los conjuntos A, B y C. (respecto de U) b) Determine utilizando diagramas de Venn y exprese por extensin: 1) A B 2) A C 3) A U 4) (A B) C 5) ~A C 6) A ~C 7) ~(A C) 8) B - C 9) A x B 10) B x A 11) ~A x B 12) (A C) ~B
c) Defina dos particiones de A, dos de B y dos de C. d) Determine el conjunto potencia de B. e) La familia de conjuntos L={A-B, C} es una particin del conjunto U-{9}? Justifique su respuesta utilizando diagramas de Venn. 4.3.4. Siendo A, B y C, los conjuntos del ejercicio anterior, determine para los conjuntos definidos en los puntos (b.1) a (b.12), sus cardinalidades. 4.3.5. Una encuesta editorial realizada en la U.T.N.-F.R.C., determin en 1995 que12: 64 estudiantes leen la revista BYTE
12
Vase Estructuras de Matemticas Discretas para la Computacin, B.Kolman / R.C. Busby, 1984, PrenticeHall, pgina 22, de donde fue extrado este ejercicio, para otros sobre el tema conteo.
Captulo 4 - Pg. 29
Matemtica Discreta
94 estudiantes leen la revista COMPUMAGAZINE 58 estudiantes leen la revista PC-MAGAZINE 28 estudiantes leen las revistas BYTE y PC-MAGAZINE 26 estudiantes leen las revistas BYTE y COMPUMAGAZINE 22 estudiantes leen las revistas PC-MAGAZINE y COMPUMAGAZINE 14 estudiantes leen las tres revistas Siendo 260 la cantidad total de estudiantes encuestados, determine: a) Cuntos de los estudiantes de la encuesta no leen ninguna de las revistas indicadas? b) Cuntos de los estudiantes encuestados, leen slo la revista Compumagazine? c) Cuntos de los estudiantes encuestados, leen slo la revista Byte? d) Cuntos de los estudiantes encuestados, leen slo la revista PC-Magazine? (Nota: Este tipo de problemas, recibe el nombre de problemas de conteo) (Sugerencia: Utilice el principio de adicin para tres conjuntos) 4.3.6. Se define como diferencia simtrica de conjuntos (simbolizada por o por ), a la operacin que aplicada a dos conjuntos A y B, genera el conjunto de todos los elementos que pertenecen a A y a B, pero no a ambos. Defina estrictamente la operacin, dibuje su diagrama de Venn y demuestre que cumple la propiedad conmutativa. 4.3.7. Utilizando el diagrama de Venn construido en el ejercicio anterior, exprese la diferencia simtrica como una combinacin de operaciones de complemento relativo y uniones e intersecciones entre los conjuntos. (hay varias formas) 4.4.8. La diferencia simtrica de conjuntos, es asociativa?. Justifique su respuesta. 4.3.9. Dados los conjuntos A={1,2} y B={a,b,c}, determine por extensin: a) b) c) d) AxB BxA AxA BxB e) f) g) h) AxAxA AxAxB AxBxA BxBxB
4.3.10. Determine el conjunto potencia P(A), siendo A={a,b}, e indique cules de sus elementos son subconjuntos propios de A. 4.3.11. Demuestre las propiedades de los nmeros cardinales de conjuntos, indicadas en los teoremas (a) y (b) del punto 4.3.6. (Utilice diagramas de Venn) 4.3.12. Sea A un conjunto finito y P(A) su conjunto potencia. Es P(A) una particin del conjunto A?. Explique. 4.3.13. Demuestre que el producto cartesiano es distributivo a derecha y a izquierda respecto de la unin de conjuntos, pero que en general no es distributivo respecto de esta operacin,o sea, que se verifican:
Captulo 4 - Pg. 30
Matemtica Discreta
a) A x (B C) = (A x B) (A x C). b) (B C) x A = (B x A) (C x A). pero que en general: c) A x (B C) (B x A) (C x A). d) (B C) x A (A x B) (A x C). 4.3.14. Demuestre que al producto cartesiano es distributivo respecto de la interseccin de conjuntos, en el mismo sentido que el indicado en el ejercicio 4.3.13 para la unin. Qu hecho hace que no se cumpla la distributividad completa entre estas operaciones?. 4.3.15. Sea A un conjunto finito {a1,a2, ..., an} y P(A) su conjunto potencia. Determine: a) A P(A) b) A P(A) c) A P(A) d) P(A) A e) {A} P(A) f) {A} P(A)
4.3.16. Represente en diagramas de Venn, las situaciones indicadas en los distintos pun-tos del ejercicio 4.3.15. 4.3.17. Tomando la definicin de par ordenado (a,b) = {{a}, {a,b}}, demuestre que: a) Si b) Si c) Si d) Si e) Si K=((a,b) (c,d)) K=((a,b) (c,d)) K=((a,b) (c,d)) K=((a,b) (c,d)) K=((a,b) (c,d)) y y y y y K=0, entonces a c b d. K=1, entonces a=c. K=2, entonces a=c b=d. K=2, entonces a=c b=d. K=1, entonces a=c=b=d.
4.3.18. Existe algn conjunto X que verifique XA para todo A?. Justifique. 4.3.19. Existe algn conjunto X que verifique XA para todo A?. Justifique. 4.3.20. Dados los conjuntos A y B, determine: a) (A B) (A B) b) U c) P(A) B, siendo BA d) P(A) P(B), siendo BA
Captulo 4 - Pg. 31
Matemtica Discreta
__________________________________________________________
Tema 4.4
Relaciones __________________________________________________________
4.4.1. Definicin. 4.4.2. Representacin. 4.4.3. Relacin inversa. 4.4.4. Clasificacin de relaciones segn sus propiedades. 4.4.5. Clases de equivalencia y particiones. 4.4.6. Concepto de funcin.
__________________________________________________________
El concepto de relacin es fundamental en toda la matemtica y su uso se extiende a muchas otras disciplinas, desde la programacin de computadoras hasta la sociologa, siendo una herramienta de inestimable valor al momento de efectuar estudios estadsticos, de estructura, etctera. La idea de relacin es sencilla y muy intuitiva, ya que coincide con el uso cotidiano del vocablo. As, sabemos que existe una relacin entre padres e hijos, entre los alumnos y sus notas en una planilla de calificacin, entre los nmeros naturales y sus cuadrados, etctera. Si bien estas relaciones son todas muy diferentes, en general comparten ciertas propiedades que resultan difciles de establecer claramente mediante el uso del lenguaje natural. Por esto, se formalizar el concepto como relacion entre conjuntos, prescindiendo del tipo de objetos que el conjunto posea (hombres, notas, alumnos, nmeros naturales, etc.); de hecho, esto mismo hicimos con las proposiciones al estudiar las leyes lgicas y con los conjuntos al tratar sus operaciones.
4.4.1. Definicin. Si bien las relaciones entre objetos pueden ser n-arias, trataremos aqu las relaciones binarias que establecen cierta correspondencia entre los objetos de slo dos conjuntos, sin perder generalidad, pues el concepto podr luego extenderse a ms conjuntos. Definicin: Dados dos conjuntos no vacos A y B, llamaremos relacin binaria de A en B, a todo subconjunto R del producto cartesiano A x B. En smbolos, R es una relacin de A en B sii: R AxB Si bien la relacin binaria como concepto abstracto de correspondencia entre objetos, difiere del conjunto que la misma define, sern tratados en lo sucesivo como sinnimos. Adems, usaremos simplemente el trmino relacin toda vez que hagamos referencia a una relacin binaria, salvo que se especifique lo contrario.
Captulo 4 - Pg. 32
Matemtica Discreta
Si (a, b) R, se dice que "a est relacionado con b" por medio de R o que "b es la imagen de a" a travs de R. En este sentido, las expresiones anteriores representan una proposicin lgica, que de ser verdadera se denota aRb y en caso contrario aRb. Adems, si la relacin se establece entre elementos de un mismo conjunto A, diremos que R AxA es "una relacin en A" o "una relacin sobre A", en vez de una relacin de A en A. Ejemplo: Sea C={1,2,3,4,5,6,7,8,9,10} el conjunto de notas posibles de los alumnos de Matemtica Discreta y sea A={Juan, Pedro, Luca} un conjunto de alumnos que rindieron esa asignatura. Entonces, la siguiente planilla de notas: Notas de MAD Alumnos Calificaciones Juan 8 Pedro Luca 3 7
establece una relacin R de A en C {(Juan, 8), (Pedro, 3), (Luca, 7)}, un subconjunto de A x C. Definicin: Sea R una relacin de A en B; entonces se denominan: Alcance de la relacin o conjunto de partida, al conjunto formado por todas las posibles primeras componentes de los pares ordenados de la relacin (o sea, al conjunto A). (R) = A Rango de la relacin o conjunto de llegada, al conjunto formado por todas las posibles segundas componentes de los pares ordenados de la relacin (o sea, al conjunto B). (R) = B Dominio de la relacin, al conjunto formado por todas las primeras componentes de los pares ordenados que efectivamente pertenecen a la relacin. (R) = {x/ xA (x, y) R para algn yB} Imagen de la relacin o contradominio o codominio, al conjunto formado por todas las segundas componentes de los pares ordenados que pertenecen efectivamente a la relacin. (R) = {y/ yB (x, y) R para algn xA}
4.4.2. Representacin.
Captulo 4 - Pg. 33
Matemtica Discreta
Existen muchas formas de definir y/o representar una relacin entre conjuntos pero, cualquiera que sea, debe asegurar que la relacin est bien definida, esto es, claramente establecidos su alcance y rango, e inequvocamente determinados los pares ordenados que la conforman. Destacaremos las siguientes por su amplia utilizacin y facilidad de comprensin (en particular para conjuntos finitos): a) Coloquialmente: La relacin se define mediante expresiones del lenguaje cotidiano, que determinen sin ambigedades el alcance, el rango y cules de los elementos del primero estn relacionados con cules del segundo. Por ejemplo: Entre los hombres y mujeres de la ciudad de Crdoba, Argentina, se sabe que : - Juan Vvv es amigo de Carlos Ddd, - Leticia Ccc es amiga de Gabriela Aaa, y - Juan Vvv es amigo de Marcelo Mmm. Sea Z el conjunto de los nmeros enteros y x,yZ. Decimos que "x" est relacionado con "y" si y slo si x divide a y en Z. b) Por frmulas: Se especifica un alcance y un rango claramente, y se indica una funcin proposicional en dos variables (una perteneciente al alcance y otra al rango), la cual se transformar en proposicin verdadera para valores (a, b) relacionados y en proposicin falsa para valores (u, v) no relacionados. Por ejemplo: R = {(x,y)/ x,yN x > y} c) Diagramas de Venn: Se dibujan segn las normas ya estudiadas para la construccin de estos diagramas, los conjuntos alcance y rango de la relacin (con la posible omisin del recuadro correspondiente al conjunto universal), y mediante flechas, se muestran las relaciones entre elementos, siendo la primer componente de cada par ordenado de R el origen de una flecha y la segunda componente, la punta de la flecha. As, si (a, b)R existir en la representacin una flecha de a hacia b.
C 1. 4. 5. 2. 10. 9. 8. 6. 3. 7. A . Juan . Pedro . Luca
Si la relacin se establece entre elementos de un mismo conjunto, este grfico suele ser dibujado omitiendo el crculo que representa al conjunto en cuestin, y toma el nombre de grafo dirigido o digrafo. En este contexto, los puntos que representan los elementos del conjunto (o normalmente diminutos crculos etiquetados con el nombre del elemento), reciben el nombre de vrtices o nodos y las flechas que los relacionan el nombre de arcos dirigidos o aristas con sentido. Por ejemplo, sea C el conjunto de calificaciones posibles del ejemplo anterior; el siguiente digrafo, representa la relacin sobre C, a es potencia entera de b.
Captulo 4 - Pg. 34
Matemtica Discreta
.4 .1 .2 .8
.3
.7 .6 .10
.9
.5
d) Tablas: Es la representacin utilizada en la planilla de calificaciones del ejemplo anterior. Se confecciona una tabla de dos columnas, indicando en la cabecera de la misma la relacin a representar y el nombre del alcance, en la primera columna y el del rango, en la segunda columna; luego se anotan para cada par (x, y) en R, el valor de x en la primer columna y el valor de y en la segunda columna de la una misma fila. e) Matriz: Esto es, un arreglo rectangular de nmeros (o tabla de doble entrada), en la cual se etiqueta cada fila con los elementos del primer conjunto del producto cartesiano, y cada columna con los elementos del segundo conjunto. As, en la interseccin de la fila x con la columna y, se colocar cero si (x, y)R, y uno, en el caso que (x, y)R como se ejemplifica a a continuacin: R Juan Pedro Luca 1 0 0 0 2 0 0 0 3 0 1 0 4 0 0 0 5 0 0 0 6 0 0 0 7 0 0 1 8 1 0 0 9 0 0 0 10 0 0 0
Tambin pueden utilizarse V o F en lugar de unos y ceros para indicar la pertenecia o no del par ordenado a la relacin. f) Grfico cartesiano: Por ltimo, la conocida representacin en un sistema de coordenadas cartesianas ortogonales, ubicando los elementos del alcance en el eje de abscisas (horizontal) y los del rango en el eje de ordenadas (vertical), y marcando un punto en la interseccin de las rectas paralelas a los ejes que pasen por la abscisa a y la ordenada b, si el par (a, b) pertenece a R.
y C 10 9 8 7 6 5 4 3 2 1 Juan Pedro Luca x A
4.4.3. Relacin inversa.
Captulo 4 - Pg. 35
Matemtica Discreta
Siempre que una relacin R est definida, esto es, se conozcan su alcance, su rango, y todos los pares ordenados que la verifican, podrn intercambiarse las primeras y segun-das componentes de stos, establecindose una nueva relacin. Formalmente: Definicin: Dados dos conjuntos no vacos A y B, llamaremos relacin inversa de una relacin R de A en B, y la denotaremos por R-1, al subconjunto de pares ordenados (b, a) del producto cartesiano BxA, tales que (a, b)R. En smbolos: R-1 = { (b, a)/ (a,b)R } Ejemplo: Tomando la relacin de los alumnos y sus calificaciones antes definida por tabla, diremos que su relacin inversa es: R-1 = { ( 8,Juan), (3,Pedro), (7,Luca) }
4.4.4. Clasificacin de relaciones segn sus propiedades. Las relaciones pueden ser clasificadas segn las propiedades que cumplen. Por su importancia en posteriores estudios y por la claridad que aportan al tema, destacaremos siempre que podamos, cmo influyen estas propiedades en las grficas que las representan. A este fin, llamaremos diagonal de un producto cartesiano, al subconjunto formado por todos los pares ordenados que tienen iguales sus componentes primera y segunda; este nombre est inspirado en la ubicacin que los mismos ocupan en una representacin cartesiana del conjunto producto. Si la relacin es sobre un conjunto, los elementos de la diagonal antes definida, se presentan en su digrafo como arcos que salen de y llegan a, un mismo nodo. Los llamaremos lazos. Definicin: Dado un conjunto A y una relacin R sobre A, diremos que R es reflexiva si para cualquier elemento x de A, el par ordenado (x, x) es un elemento de R. En smbolos, RA2 es reflexiva sii: x: xA (x, x) R Si la relacin est representada en un sistema de ejes coordenados, diremos que es reflexiva, si le pertenecen los puntos de la diagonal. En un digrafo, la reflexividad se observar como un lazo existente en cada nodo. Ejemplo: Dado el conjunto A={a,b} y la relacin R de A en B definida por: R = { (a,a), (a,b), (b,a), (b,b) } la misma resulta reflexiva y algunas de sus representaciones son:
Captulo 4 - Pg. 36
Matemtica Discreta
y A b a
lazo diagonal a b a b
x A
lazo
Fig. 4.9: Grficas caractersticas de una relacin reflexiva. Ejemplo: Sea R = { (x,y)/ x,yN y=x2 } una relacin sobre los naturales. Entonces, (1,1)R pero (2,2)R, por lo cual la relacin no es reflexiva. Si a la relacin le pertenecen slo algunos elementos de la diagonal y otros no, se la denomina no reflexiva y en el caso que ningn elemento de la diagonal pertenece a la relacin, la misma recibe el nombre de irreflexiva o arreflexiva. Definicin: Dado un conjunto A y una relacin R sobre A, diremos que R es simtrica si y slo si, para cualquier par ordenado de R, el par obtenido permutando sus componentes, tambin pertenece a R. En smbolos, RA2 es simtrica sii: (x,yA) : (x, y)R (y, x) R Grficamente, los puntos que representan a los pares ordenados de una relacin simtrica, se encuentran espejados respecto de la diagonal del primer y tercer cuadrante de un sistema de coordenadas. En los digrafos esto significa que, siempre que exista un arco desde un nodo a hacia un nodo b, tambin existir uno de b hacia a. Ejemplo: Dada sobre los nmeros reales R la relacin y=x+2, determine si es reflexi-va y si es simtrica. Solucin: a) Un elemento de la diagonal de R es el par ordenado (1,1). Probando la relacin dada con el mismo, se obtiene 1=2, proposicin evidentemente falsa, por lo cual (1,1) no pertenece a la relacin y la misma es al menos no reflexiva. Adems, por las propiedades de los nmeros reales y sus operaciones, podemos escribir: y=x+2 y-x=2 lo que muestra que ningn par (x, x) con xR, verificar la relacin pues en tal caso se llegara a la contradiccin 0=2. As, la relacin definida resulta ser en irreflexiva. b) Por otro lado, siendo (1,2) un elemento de la relacin (verifica y=x+1), proba-remos la relacin con el par ordenado de componentes conmutadas (2,1). Operan-do con estos valores, obtenemos 1=3, la cual siendo falso nos dice que la relacin no es simtrica.
Captulo 4 - Pg. 37
Matemtica Discreta
Ejemplo: La relacin representada en la figura 4.9, es simtrica ya que para todo par ordenado se verifica que si (x, y)R, entonces (y, x) R. Si R es una relacin en la cual, existe algn (x, y)R tal que (y, x)R, la relacin se dice que es no simtrica. Si adems, para todo (x, y)R se verifica que (y, x)R, la denominaremos asimtrica. Es de especial inters, el caso de relaciones no simtricas que, sin embargo, contienen a la diagonal (pares de la forma (x,x)). Definicin: Dado un conjunto A y una relacin R sobre A, diremos que R es antisimtrica si y slo si, para cualquier par ordenado (x, y) de R, el par obtenido permutando sus componentes, o no pertenece a R o x = y. En smbolos, RA2 es antisimtrica sii: (x,yA) : (x, y)R (y, x) R x = y El digrafo de una relacin antisimtrica, tendr un lazo en cada nodo y a lo sumo un arco dirigido entre dos nodos distintos. En un sistema de coordenadas cartesianas, los puntos de la diagonal pertenecern a la relacin, pero no se distinguir simetra "espeja-da" respecto de la diagonal en los otros puntos. Ejemplo: La relacin sobre A={a,b,c} definida por {(a,a), (b,b), (c,c)} es trivialmen-te antisimtrica, ya que slo posee elementos de la diagonal de AxA y ningn otro.
Ejemplo: La relacin representada en la figura 4.9, no es antisimtrica ya que si bien incluye a la diagonal de {a,b} x {a,b}, se tiene que (a,b)R y tambin que (b,a)R. Obsrvese que su digrafo, tiene ms de un arco dirigido entre a y b. Definicin: Dado un conjunto A y una relacin R sobre A, diremos que R es transitiva, si y slo si, para todo par de elementos (x,y), (y,z) de la relacin, se verifica que (x,z) tambin pertenece a la relacin. En smbolos, RA2 es transitiva sii: (x,y,zA) : ((x, y)R (y, z) R) (x,z)R El digrafo de una relacin transitiva, tiene la siguiente propiedad: cada vez que exista un arco dirigido de x hacia y, y otro de y hacia z, existir un arco dirigido de x a z.
Captulo 4 - Pg. 38
Matemtica Discreta
y x z
Ejemplo: Dado un conjunto universal U, podemos pensar la inclusin () de conjuntos como una relacin binaria de UxU, siendo los elementos de la misma, pares ordenados de conjuntos (A, B) sii AB. De esta manera, la inclusin entre conjuntos es una relacin transitiva, ya que (por las propiedades ya vistas de esta operacin), si A, B y C son subconjuntos de U tales que AB y BC, se cumple que AC. La transitividad de una relacin, la hace funcionar como una relacin despus de otra, en el sentido que, si xRy, yRz, xRz son verdaderas, podra pensarse en algn tipo de equivalencia entre, aplicar una relacin R1 que verifique xR1y y seguidamente una R2 que verifique yR2z, y aplicar directamente R que verifica xRz. En un digrafo, estas serian dos formas distintas de llegar de un nodo x a un nodo z. Formalmente: Definicin: Dados tres conjuntos no vacos A, B y C, y dos relaciones R1 de A en B y R2 de B en C, llamaremos composicin de R1 y R2 (y la denotaremos por R2R1), a la relacin de A en C, resultante de aplicar primero R1 y luego R2. En smbolos: R2R1 = {(x,z) / (x,y)R1 (y,z)R2, para algn yB} En el sentido que una relacin establece una proposicin lgica de pertenencia de un par ordenado a un conjunto R, suele escribirse tambin la expresin aRb como b=R(a). Con esta notacin, podemos escribir ms intuitivamente R2R1(a) = R2((R1(a)), lo que justifica el orden en que se presentan las relaciones originales, en la notacin dada para la composicin de relaciones. Ejemplo: Sean A={-2,-1,0,1,2}, B={1,2,3,4,5}, C={0, 1, 2} y U={x/ xR}. Si definimos las relaciones: R1={(x,y)/ xA yB y=x2} y R2={(y,z)/ yB zC z=y/2}, determine R2R1. Solucin: En frmulas, se tiene que: R2R1={(x,z)/ xA zC yB/ z = y/2 y=x2} y su diagrama de Venn es:
Captulo 4 - Pg. 39
Matemtica Discreta
.-2 .-1 .0 .1 .2
R1
B
1
.1 .2 .3 .4 .5
R2
C .0 .1 .2
R 2 R1
donde se han dibujado separados los conjuntos A, B y C, para hacer ms legible el grfico (en realidad tienen elementos en comn por lo que habra que dibujarlos intersecndose). Identificando los pares verifican a R (lneas punteadas), obtene-mos : R2R1={(-2,2), (2,2)}. Debe notarse en el grfico del ejemplo anterior, que slo pertenecen a la relacin compuesta R2 R1, aquellos pares ordenados (x, z) con xA y zC, que estn conectados mediante la dos arcos, uno directamente desde al conjunto A hacia el C, y otro formado por la concatenacin de arcos dirigidos de A a B y de B a C. As, si bien existe un arco de -1A a 1B, el par (-1,1)R2 R1 ya que no existe un arco de 1B hacia algn elemento de C. Por ltimo, daremos un nombre especial a las relaciones que cumplen simultneamente algunas de las propiedades definidas hasta el momento. Definicin: Una relacin sobre un conjunto A, se llama relacin de orden parcial, si y slo si, es reflexiva, antisimtrica y transitiva. En smbolos, RAxA es de orden parcial si: i) xA : (x,x)R ii) x,yA : (x,y)R (y,x)R y=x iii) x,y,zA : (x,y)R (y,z)R (x,z)R
Definicin: Una relacin sobre un conjunto A, se llama relacin de equivalencia, si y slo si es reflexiva, simtrica y transitiva. En smbolos, RAxA es una relacin de equivalencia si: i) xA : (x,x)R ii) x,yA : (x,y)R (y,x)R iii) x,y,zA : (x,y)R (y,z)R (x,z)R La primera, reviste gran importancia ya que permite definir un criterio de ordenacin para los elementos de un conjunto a travs de R. La segunda, dice que aquellos elementos relacionados por medio de una relacin de equivalencia, son de alguna forma semejantes o equivalentes bajo R. Ejemplo: Tomemos nuevamente nuestra conocida inclusin de conjuntos, como una relacin sobre algn U2; entonces y segn las anteriores definiciones, la inclusin es una relacin de orden parcial ya que por el lgebra de conjuntos estudiada, se cumplen:
Captulo 4 - Pg. 40
Matemtica Discreta
a) AA, para cualquier conjunto A. b) AB BA A=B, para cualquier par de conjuntos A y B. c) AB BC AC, para cualquier terna de conjuntos A, B y C. Sin embargo, al no ser la inclusin conmutativa en general (de AB no puede deducirse que BA, a menos que A=B), la misma no es una relacin simtrica, y por lo tanto, no constituye una relacin de equivalencia. Ejemplo: Estudiemos la siguiente relacin sobre los nmeros reales: R = {(x,y)/ x,yR y=x} Por las propiedades de los nmeros reales, se verifican: a) xR : x = x. b) x,yR : x=y y=x. c) x,y,zR : x=y y=z x=z. por lo tanto, R (la igualdad de nmeros reales) resulta ser una relacin de equiva-lencia.
4.4.5. Clases de equivalencia y particiones. Dada una relacin de equivalencia R sobre un conjunto, se dice de las componentes de los pares ordenados que pertenecen a ella, que son equivalentes a travs de R. Nos interesar en particular, determinar todos los elementos del conjunto que son equivalentes a uno dado y sus propiedades. Definimos para ello lo siguiente: Definicin: Sea R una relacin de equivalencia sobre el conjunto no vaco A y sea "a" un elemento de A; se llama clase de equivalencia del elemento "a", (y se la denota por [a]), al subconjunto de todos los elementos de A equivalentes con el elemento "a" a travs de R. En smbolos, siendo R A2: [a] = {xA/ (x,a)R} Deben recalcarse dos consecuencias importantes de esta definicin: a) La clase de equivalencia de un elemento aA, es siempre un subconjunto de A. b) [a] resulta ser siempre no vaca, ya que por ser R una relacin de equivalencia, por lo menos a[a] (propiedad reflexiva de la relacin). Se establecer ahora un importante resultado, que conecta los conceptos de clases de equivalencia recin definido y el de particin de un conjunto definido la seccin 4.3.3. TEOREMA: El conjunto de todas las clases de equivalencia de elementos de un conjunto A, a travs de una relacin de equivalencia RAxA, es una particin de A.
Captulo 4 - Pg. 41
Matemtica Discreta
Hiptesis: Sea A un conjunto no vaco y R una relacin de equivalencia en A; sean adems a,bA. Tesis: L={[a]/ aA} es una particin de A. Demostracin: Para demostrar que la familia L es una particin de A, se deber probar primero que A puede escribirse como la unin de todas sus clases de equivalencia a travs de R, y luego, que las distintas clases de equivalencia de elementos de A son disjuntas por pares. a) Por definicin de clase de equivalencia, sabemos que toda clase [x] es un subconjunto de A, por lo cual no existen elementos en [x] que no estn en A; adems se tiene que para cada clase de equivalencia [u] de elementos de A, por lo menos u[u]. As, la unin de todas las clases de equivalencia de elementos de A a travs de R, resulta igual a A. b) Supongamos primero que (a,b)R; entonces tenemos que: 1) [a] = {xA/ (x,a)R}, por definicin de clase de equivalencia. 2) (x,a)R (a,b)R (x,b)R, por la transitividad de R. 3) [b] = {xA/ xRb}, por definicin de clase de equivalencia. lo que dice que si (a,b)R entonces [a][b] (i), ya que para cualquier elemento x[a], resulta de (1), (2) y (3), que x[b]. Adems, la simetra de R asegura que si (a,b)R debe cumplirse que (b,a) R, por lo cual, con un razonamiento similar al anterior, se prueba que [b][a] (ii). De (i) e (ii), se sigue que, si (a,b)R entonces [a]=[b] (iii). Supngase ahora que [a] y [b] son dos elementos cualesquiera de la familia L con [a] [b] y que existe algn uA tal que u[a] [b]. Luego: (u,a)[a] y (u,b)[b], por definicin de clases y de interseccin. pero por (iii), esto implica que [u]=[a] [u]=[b] lo cual es un absurdo ya que se supuso que [a] [b]. Entonces, no existe un tal uA, por lo cual [a] [b]= lo que concluye la demostracin de la tesis. Ejemplo: Sea A={a,b,c} y la relacin sobre AxA definida por: R={(a,a), (a,b), (b,a), (b,b), (c,c)} Se pide: a) Indique la clasificacin de la relacin segn sus propiedades. b) Es R una relacin de equivalencia? c) De ser cierto, muestre las clases de equivalencia de A a travs de R.
Captulo 4 - Pg. 42
Matemtica Discreta
a c b
Solucin: a) 1) (a,a)R (b,b)R (c,c)R, por lo que la relacin es reflexiva. 2) (a,b)R (b,a)R, y (1), indican que la relacin es simtrica. 3) (a,b)R (b,a)R (a,a)R, y siendo los nicos pares fuera de la diagonal, la relacin resulta transitiva. b) De a)1), a)2) y a)3), la relacin R es de equivalencia en A. c) [a] = {a, b} [b] = {a, b} [c] = {c} Como [a]=[b], resulta que la familia L={[a],[c]} es una particin de A, donde se ha omitido la clase de equivalencia [b] por la definicin de conjunto que obvia los elementos repetidos para su determinacin.
4.4.6. Concepto de funcin. Por ltimo, introduciremos el concepto de funcin, como un tipo muy importante de relacin y de la ms amplia utilizacin en ciencias. Definicin: Sean A y B conjuntos no vacos y f una relacin de A en B. Entonces "f" recibe el nombre de funcin, si y slo si, el alcance coincide con el dominio de la relacin y adems, dados dos pares ordenados cualesquiera de f con sus primeras componentes iguales, resultan iguales sus segundas componentes. En smbolos, f AxB es una funcin sii: a) aA: bB/ (a,b)f (o (f) = A (f) = A)
b) (aA), (b,cB): ((a,b)f (a,c)f) b=c La primera condicin establece que todo elemento del conjunto de partida, es una primer componente de algn par ordenado de la relacin; la segunda, indica que para cada elemento del conjunto de partida, existe un slo elemento en el conjunto de llegada. Grficamente, en un sistema de coordenadas cartesianos, la segunda condicin estable-ce que una recta vertical (perpendicular al eje de abscisas), tendr a lo sumo un punto en comn con la grfica de la funcin. En un digrafo, de todo nodo deber partir uno y slo un arco (condicin (a)) y slo podr llegar al mismo un arco (condicin (b)).
Captulo 4 - Pg. 43
Matemtica Discreta
Utilizaremos normalmente letras minsculas f, g, h, etc., para denotar aquellas relaciones que sean funciones. Se estila adems, denotar que f es una funcin de A en B de la siguiente forma: f: A B y si (a,b)f, se representa al elemento bB como f(a): b=f(a) El elemento a recibe tambin, el nombre de argumento de la funcin, el b el de imagen de a bajo f o el de valor de f en a, y la funcin misma es a veces nombrada como aplicacin (f aplica A en B)13, o como transformacin de A en B, haciendo referencia a las propiedades grficas involucradas. En general, si una funcin se establece mediante frmula, como en y=f(x), x recibe el nombre de variable independiente y en un grfico cartesiano se anotan sus valores sobre el eje de abscisas; por otro lado, y recibe el nombre de variable dependiente y sus valores se ubican sobre el eje de ordenadas. La grfica de la funcin queda as formada por los puntos (x,f(x)) del plano cartesiano. De igual forma que las relaciones, el concepto de funcin puede ser extendido a ms de dos conjuntos, obteniendo as funciones de varias variables. Ejemplo: Sean A={1,2,3,4} y B={a,b,c} el alcance y rango de la relacin: f = {(1,a), (2,b), (3,a), (4,a)} Entonces f es funcin, ya que cada elemento de A tiene una nica imagen en B: f(1) = a f(2) = b f(3) = a f(4) = a
resultando, el alcance de f igual al dominio de f y la imagen de A a travs de f igual a {a,b} B . Si en el ejemplo anterior, quitamos de la relacin cualquiera de los pares ordenados que la componen, la misma deja de ser funcin ya que el alcance no sera igual al dominio; por otro lado, si agregamos cualquier otro par ordenado distinto de los enlistados, con su primer componente perteneciente al conjunto A, tambin dejara de ser funcin, ya que algn elemento de A tendra por f ms de una imagen. Todos los conceptos que estudiamos (relacin inversa, composicin de relaciones, clasificaciones de las relaciones, etc.) son tambin aplicables a funciones ya que las mismas son en primera instancia, relaciones. En particular, interesan en muchas aplica-ciones prcticas, dos propiedades que una funcin puede cumplir, a saber:
13
Algunos autores omiten en la definicin de funcin, la condicin de coincidencia entre alcance y dominio. As, distinguen funcin de aplicacin asignando a sta ltima dicha condicin.
Captulo 4 - Pg. 44
Matemtica Discreta
Definicin: Sea f:AB una funcin de A en B. Entonces "f" recibe el nombre de inyectiva si y slo si, a elementos distintos del dominio corresponden elementos distintos de la imagen. En smbolos, f:AB es inyectiva sii: a,bA: a b f(a) f(b) Tambin se dice que f es una funcin uno a uno de A en B. En el ejemplo de funcin citado precedentemente, claramente f resulta ser no inyectiva, ya que f(1)=a y f(3)=a. Por otro lado: Definicin: Sea f:AB una funcin de A en B. Entonces "f" recibe el nombre de suprayectiva si y slo si, todo elemento de B es imagen de algn elemento de A. En smbolos, f:AB es suprayectiva sii: bB: aA/ b=f(a) Tambin se dice que f es sobreyectiva o suryectiva si cumple la propiedad enunciada en la anterior definicin, la que suele escribirse f(A)=B, abusando de la notacin establecida (pero intuitivamente clara). La definicin de suryectividad establece en pocas palabras, que el rango de la relacin debe coincidir con la imagen de la misma. Ejemplo: Sean como antes A={1,2,3,4} y B={a,b,c}, el alcance y rango de la rela-cin: f = {(1,a), (2,b), (3,a), (4,a)} la misma no es suprayectiva, ya que existe un elemento cB que no es imagen por f de ningn elemento del dominio. Sin embargo, si cambiamos el tercer par orde-nado, como en: g = {(1,a), (2,b), (3,c), (4,a)} resulta ahora g, ser una funcin suprayectiva. Adems, puede verse que por el primer y ltimo par, g no es inyectiva ya que aplica el elemento 1A y el 4A en la misma imagen aB. Si se recuerda el razonamiento seguido para demostrar que el conjunto {a, b}* es contable (seccin 4.3.6, pgina 26), se reconocer a la aplicacin concebida en aquella oportunidad, como una funcin f:N{a, b}* inyectiva y suprayectiva, al mismo tiempo. De hecho, esta es la forma de enunciar correctamente la numerabilidad de un conjunto. Definicin: Sea f:AB una funcin de A en B. Entonces "f" recibe el nombre de biyectiva (y se dice que es una biyeccin), si y slo si, es a la vez inyectiva y suprayectiva. En smbolos, f:AB es biyectiva sii: (a,bA: a b f(a) f(b)) (bB: aA/ b=f(a))
Captulo 4 - Pg. 45
Matemtica Discreta
El tema de funciones es extremadamente extenso y sus aplicaciones muy variadas, pero una discusin detallada de las propiedades de las funciones y sus consecuencias matemticas, exceden el mbito de este texto, correspondiendo su estudio formal al Anlisis Matemtico y al lgebra. Por esto, finalizaremos aqu nuestro estudio de funciones, figurando algunas otras pro-piedades de las mismas, en la ejercitacin que sigue.
_____________________________________________________________
EJERCICIOS 4.4 4.4.1. Dada la siguiente relacin sobre el conjunto de los nmeros enteros Z: R = {(-2,-8), (-1,1), (0,0), (1,1), (2,8), (3,27)} indique: a) b) c) d) e) f) Cul es el alcance de la relacin? Cul es el rango de la relacin? Cul es el dominio de la relacin? Cul es el codominio de la relacin? Represente la relacin por frmula, tabla y matriz. Grafique la relacin en un diagrama de ejes coordenados y muestre su digrafo. g) Clasifique la relacin segn su reflexividad, su simetra y su transitividad. h) Establezca si R es una funcin. En caso afirmativo, analice si la misma es una biyeccin. 4.4.2. Sea R la relacin que se establece entre un pas de Amrica del Sur integrante del Mercosur a la fecha, y su ciudad capital. Indique: Cul es el alcance de la relacin? Cul es el rango de la relacin? Cul es el dominio de la relacin? Cul es el codominio de la relacin? Represente la relacin por tabla y matriz. Enumere sus pares ordenados. Grafique la relacin en un diagrama de Venn. Establezca si R es una funcin. En caso afirmativo, analice si la misma es una biyeccin. 4.4.3. Defina por extensin, la relacin inversa del ejercicio 4.4.1. e indique: a) Cul es el alcance de la relacin? b) Cul es el rango de la relacin? c) Cul es el dominio de la relacin? d) Cul es el codominio de la relacin? e) Es esta relacin una funcin? 4.4.4. En los nmeros naturales, es la relacin "" una relacin de orden parcial?. Es adems esta relacin de equivalencia?. Justifique sus respuestas. a) b) c) d) e) f) g)
Captulo 4 - Pg. 46
Matemtica Discreta
4.4.5. Diga si las siguientes relaciones en el conjunto de los nmeros enteros, son re-flexivas, simtricas, antisimtricas, transitivas, de orden parcial y/o de equivalencia. a) R = {(x,y) / y = x2} b) R = {(x,y) / y = x} c) R = {(x,y) / y < x} d) R = {(x,y) / y = 4x} e) R = {(x,y) / y = x(1/2)} 4.4.6. Las relaciones del ejercicio anterior, son funciones?. En caso afirmativo, analice adems si son una biyeccin. 4.4.7. Utilizando el concepto de relacin inversa, demuestre que f-1 (la relacin inversa de f) es funcin si y slo si, f es una funcin biyectiva. 4.4.8. Demuestre que, si f es una funcin biyectiva, su funcin inversa tambin es una biyeccin. 4.4.9. Cite al menos dos ejemplos de relaciones: a) Reflexivas b) Simtricas c) Transitivas d) De orden parcial e) Irreflexivas f) Antisimtricas g) No transitivas h) De equivalencia
4.4.10. D al menos de dos ejemplos de funciones que: a) Sean inyectivas pero no suprayectivas. b) Sean suprayectivas pero no inyectivas. c) Sean biyectivas. 4.4.11. Determine la verdad o falsedad de las siguientes proposiciones. En el caso de que la proposicin sea verdadera, proporcione una demostracin; en caso contrario, indique un contraejemplo. a) Si R y S son relaciones transitivas, entonces R S es una relacin transitiva. b) Si R y S son relaciones simtricas, entonces R S es una relacin simtrica. c) Si R y S son relaciones reflexivas, entonces R S es una relacin reflexiva. d) Si R y S son relaciones transitivas, entonces R S es una relacin transitiva. e) Si R y S son relaciones simtricas, entonces R S es una relacin simtrica. f) Si R y S son relaciones reflexivas, entonces R S es una relacin reflexiva. g) Si R y S son relaciones transitivas, entonces R S es una relacin transitiva. h) Si R y S son relaciones simtricas, entonces R S es una relacin simtrica. i) Si R y S son relaciones reflexivas, entonces R S es una relacin reflexiva. j) Si R es una relacin transitiva, entonces R-1 es una relacin transitiva. k) Si R es una relacin simtrica, entonces R-1 es una relacin simtrica. l) Si R es una relacin reflexiva, entonces R-1 es una relacin reflexiva. m) Si R es una relacin antisimtrica, entonces R-1 es una relacin antisimtrica.
Captulo 4 - Pg. 47
Matemtica Discreta
4.4.12. Sea R una relacin de equivalencia sobre un conjunto finito A. Cuntas clases de equivalencia pueden definirse en A? 4.4.13. Si R y S son relaciones de equivalencia. Es R S una relacin de equivalencia? 4.4.14. Sea P el conjunto de todas las proposiciones lgicas y sea v:P{0,1} la funcin de veracidad proposicional definida por: v(p) = 1, si la proposicin p es verdadera, y v(p) = 0, si la proposicin p es falsa. a) Es efectivamente v una funcin? b) Es esta funcin inyectiva? c) Es suprayectiva? 4.4.15. Sea A un conjunto y sea U el conjunto universal. Si pensamos en la pertenencia de un elemento a un conjunto, como una proposicin lgica p:xA, la funcin de veracidad proposicional del ejercicio anterior recibe el nombre de funcin caracterstica de A en U, y se define como: cA(x) = 1, si x es un elemento de A, y cA(x) = 0, si x no es un elemento de A. Para esta funcin, as definida: a) Determine alcance, rango, dominio e imagen de c. b) Demuestre que si C=A, entonces cC(x) = 1 - cA(x), xU. c) Demuestre que si C=A B, entonces cC(x)=cA(x) + cB(x), xU. d) Demuestre que si C=A B, entonces cC(x)=cA(x) . cB(x), xU. 4.4.16. Demuestre que la equivalencia lgica es una relacin de equivalencia. 4.4.17. Es la implicacin simple una relacin de orden en el conjunto de las proposiciones lgicas?. Y la doble implicacin? 4.4.18. Sea A={1,2,3,4,5} y B={1,2}. Sea adems la relacin R de A en B definida por a es mltiplo entero de b. a) Determine alcance, rango, dominio e imagen de R. b) Clasifique a R segn sus propiedades. c) Es R una relacin de equivalencia?. d) Es R una funcin?. 4.4.19. Sean a,bZ y sea mZ+. Se dice que a es congruente con b mdulo m, sii m divide a (ab) en Z, y se lo denota por: a b (mod m) Demuestre que la congruencia mdulo m en Z es una relacin de equivalencia.
Captulo 4 - Pg. 48
Matemtica Discreta
Captulo 4 - Pg. 49

Matematicas Discretas Conjuntos y Relaciones

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Matematicas Discretas Conjuntos y Relaciones

Cargado por

Copyright:

Formatos disponibles

Matemtica Discreta

UNIVERSIDAD TECNOLGICA NACIONAL

Perodo Lectivo 1996 - Prof. Ing. Juan C.Vzquez

_ Captulo 4 CONJUNTOS Y RELACIONES _

Fig. 4.1: Diagrama de Venn de la inclusin A B.

OPERACIONES CON CONJUNTOS _____________________________________________________________

Fig. 4.2: Complemento de un conjunto A (rea sombreada).

Fig. 4.3: Complemento de un conjunto A respecto de otro B (rea sombreada).

U (a) Conjuntos disjuntos A B B

U (c) Conjuntos iguales (d) A C B

Fig. 4.5: Posibilidades en la interseccin de dos conjuntos.

Fig. 4.6: Unin de dos conjuntos (rea sombreada).

con lo cual se ha conseguido una forma de enumerar el conjunto infinito A*.

d.3) COROLARIO: De los colorarios d.1 y d.2, se sigue inmediatamente que:

4.4.3. Relacin inversa.

También podría gustarte