Matemática Discreta

Conjuntos y Relaciones

UNIVERSIDAD TECNOLÓGICA NACIONAL
FACULTAD REGIONAL CÓRDOBA 
Carrera de Ingeniería en Sistemas de Información

CONJUNTOS Y RELACIONES


Los temas del presente capítulo, corresponden a la segunda y última parte de la Unidad Temática 3, asignatura de Matemática Discreta, Área de Programación, correspondiente al primer cuatrimestre del primer año de la carrera.


Período Lectivo 1996 - Prof. Ing. Juan C.Vázquez

Capítulo 4 - Pág. 1

Matemática Discreta

Conjuntos y Relaciones

_____________________________________________________________ Capítulo 4 CONJUNTOS Y RELACIONES _____________________________________________________________
4.0. Introducción. 4.1. Notación. 4.2. Subconjuntos. 4.3. Operaciones con conjuntos. 4.4. Relaciones.

_____________________________________________________________
Casi todos los objetos con que trabaja la matemática, 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" algún tema), hemos tenido contacto con el concepto de conjuntos, su conformación y las operaciones que sobre ellos podemos efectuar. Tal vez por esto, las ideas matemáticas 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 matemática moderna merece nuestra más esmerada atención, siendo por supuesto la exposición presentada en este capítulo y a nuestros fines, una "cuidada" revisión de los temas ya estudiados en anteriores etapas. Términos como conjuntos y elementos, son considerados en el contexto de la teoría de conjuntos como primitivos, en el sentido que no pueden ser definidos estrictamente sin caer en circularidades, sino más bien, descriptos en forma intuitiva. Diremos pues que, "un conjunto, es cualquier colección bien definida de objetos", los cuales reciben el nombre de miembros o elementos del conjunto. La expresión "bien definida" es fundamental en la definición 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. Además, hay que señalar que la palabra "objetos", se refiere en este contexto no sólo a objetos materiales, sino también a objetos abstractos o entes, que es "de lo que la matemática se alimenta".

Capítulo 4 - Pág. 2

Matemática Discreta

Conjuntos y Relaciones

_____________________________________________________________
Tema 4.0

INTRODUCCIÓN _____________________________________________________________
4.0.1. Breve reseña histórica. 4.0.2. Comentario a la definición intuitiva. 4.0.3. Objetivos. 4.0.4. Conocimientos previos.

_____________________________________________________________
4.0.1. Breve reseña histórica. Si bien las clases ya eran conocidas como entes abstractos desde la antigüedad, fue George Boole (del cual ya hablamos en el capítulo anterior), quien desarrolló el álgebra de clases, a mediados del siglo XIX. Luego de él, otros muchos continuaron puliendo la idea de una lógica aritmetizada, extrayendo nuevas conclusiones, ampliando los conceptos y sus relaciones, y en definitiva, desarrollando en poco tiempo lo que durante más de dos mil años se mantuvo en un profundo letargo . Se atribuye al matemático ruso1 Georg Cantor (1845-1918), la sistematización de la teoría de conjuntos como tal, con las ideas publicadas en seis memorias, entre 1878 y 1884 en los Anales Matemáticos alemanes. Además, este científico con sus estudios sobre el concepto de infinito y de los llamados ordenes de infinitud, llevaron a reconsiderar aspectos centrales como continuidad, límites, densidad, etc., de fundamental importancia en toda la matemática y en particular en el análisis matemático moderno2. Cantor, murió en 1918 internado en un manicomio, loco y torturado por las críticas despiadadas que de sus estudios le infirieron sus contemporáneos, en particular, su ex-profesor Leopold Kronecker (1823-1891) quien al parecer lo combatió intensamente.

4.0.2. Comentario a la definición intuitiva. En el concepto de conjunto presentado, hicimos incapié en la expresión "bien definida" y en el sentido del vocablo "objeto" utilizado. Analicemos un poco más estos aspectos. Por ejemplo, las letras vocales a, e, i, o, u del alfabeto español, conforman un conjunto, ya que dada cualquier letra x, podemos decidir inequívocamente 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 matemático alemán. Según el Ing. A.R.López, 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 matemático de nacionalidad rusa, aunque su actividad profesional fue desarrollada casi íntegramente en Alemania. (Nota extraída de Matemática Moderna I, A.R.Lopez, Stella, 1971, página 17) 2 Véase El Romance de los Números, G.Masini, C. Internazionale del Libro, 1980, páginas 155 a 160, para un comentario sobre la obra de Cantor y su influencia en la matemática actual.

Capítulo 4 - Pág. 3

Matemática Discreta

Conjuntos y Relaciones

conforman un conjunto, ya que debe especificarse del alfabeto de qué lengua estamos hablando, debido al hecho que letras como la ñ (eñe), por ejemplo, pertenecen al alfabeto español y no al inglés, la ç (c con cedilla) pertenece al alfabeto francés y no al japonés, etcétera; en definitiva, no conforman un conjunto porque la colección no está bien definida. Otro punto importante en la definición intuitiva de conjuntos, es la idea de colección de objetos. Cuando hablamos de colección, aún en el lenguaje cotidiano, no hacemos referencia a un orden específico 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 colección sólo nos interesará si tenemos o no canicas de color azul.

4.0.3. Objetivos. Por otra parte, la teoría de conjuntos desde el punto de vista de la lógica matemática (teoría de clases), estudia las propiedades de la agrupación de objetos de cualquier tipo, lo que permite extender sus conclusiones a los más variados campos del saber. En matemática, interesarán principalmente conjuntos de entes abstractos (objetos matemáticos como números, vectores, espacios, funciones, etc.) y en informática, agregaremos a los anteriores en particular, los conjuntos de símbolos que representen letras, lenguajes, instrucciones, estados de una máquina, etc., lo que nos permitirá utilizar el poderoso formalismo matemático en estos temas y teorizar sobre la información y la computación con rigor científico. Repasaremos en lo que sigue, distintos conceptos sobre los conjuntos y las operaciones que se pueden realizar con ellos, ideas ya conocidas desde la enseñanza preuniversitaria, poniendo especial énfasis en su conexión con la lógica matemática y presentando la mayoría de los temas, como conclusiones o aplicaciones derivadas de ella. Además, recordaremos los importantes conceptos de relación y función, que utilizaremos ampliamente en los más 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 lógica matemática del capítulo anterior y haber ejercitado los mismos, lo que asegurará la fluidez en su manejo.

Capítulo 4 - Pág. 4

4. Igualdad de conjuntos. b. Como con las clases (tema 3.. o. c. encerrados entre llaves e individualizados separándolos con coma o con punto y coma.1. 4.1. a los conjuntos y con letras minúsculas a.2. de los elementos del anterior conjunto finito aludido).Matemática Discreta Conjuntos y Relaciones _____________________________________________________________ Tema 4. u} Capítulo 4 ... Conjuntos especiales. Determinación de un conjunto. 5 . denotaremos en general con letras mayúsculas A. i. y lo leeremos "el elemento a no pertenece al conjunto A". Pertenencia. como: a ∉A denotando que "el objeto a no es miembro del conjunto A".Pág.1.. o un número infinito de elementos (como el conjunto formado por las concatenaciones o yuxtaposiciones de longitud arbitraria. Determinación de un conjunto.3. Por ejemplo: V = {a. a los elementos de los mismos.1.1. _____________________________________________________________ 4. Un conjunto puede tener un número finito de elementos (como el conjunto de las letras vocales del alfabeto español indicado en la introducción). . Esto suele hacerse.1. Si el conjunto está formado por un número finito de elementos.. C. nombrando todos los elementos que lo componen. B. y escribiremos: a ∈A para denotar la proposición "el objeto a es miembro del conjunto A". .1. colocando primero el nombre del conjunto. y lo leeremos "el elemento a pertenece al conjunto A".1.. 4. 4. De forma similar. puede determinarse o definirse inequívocamente al mismo.4). luego un sígno de igualdad y a continuación todos los elementos que lo conforman.2. 4.1 NOTACIÓN _____________________________________________________________ 4. Pertenencia. e. escribiremos la negación de la anterior proposición (~(a ∈A)).

aunque finito. u. En este caso. indicando con puntos suspensivos que existen más elementos que los efectivamente indicados como en: Un conjunto finito como el de "todos los habitantes de la ciudad de Córdoba. que el conjunto está determinado o definido por comprensión o por propiedad. y se conviene definir entonces al conjunto. que son abonados al servicio telefónico por cable". 6 . a. Argentina. abusando de la intuición y de las analogías. i. o. Asumiendo el contexto de las letras del alfabeto español. i.Matemática Discreta Conjuntos y Relaciones (que se lee "conjunto V formado por los elementos a. Esto no es un descuido sino. a. con una propiedad o característica que es común a todos los elementos del conjunto. Otras veces. suele también definirse un conjunto infinito de elementos por extensión. i. Cabe reiterar que. i. o. i} representan al mismo conjunto V definido anteriormente. la esencia misma de la idea de conjunto como colección de objetos. Por ejemplo: V = {x / x es una vocal del alfabeto español} (que se lee "el conjunto V está formado por los elementos x tales que x es una vocal del alfabeto español). e. y en particular cuando tratamos con conjuntos de una cantidad infinita de elementos. también define al conjunto de las letras vocales españolas sin lugar a dudas. siendo P(x) la función proposicional x es una vocal española. Se dice en este caso. sin embargo. tal que P(x) es verdadera). i. A veces. puede definirse por extensión. u} B = {i. o resumidamente: V = {x/ P(x)} (el conjunto V está formado por todo x. u"). describe claramente el conjunto V de las letras vocales hispanas. y sólo a ellos. i. se dice que el conjunto está determinado o definido por extensión o por enumeración. e.Pág. la enumeración de miembros no aparece como una notación adecuada3. en otros contextos como el de esta nota. e. o. Así: A = (a. las siguientes proposiciones: a ∈V n ∉V b ∉V o ∈V e ∈V k ∉V que resultan verdaderas en virtud de la anterior definición del conjunto V. se hace referencia al orden o a la repetición de elementos. ni en la noción de conjunto. pueden escribirse por ejemplo. resulta claramente más conveniente una definición por propiedad. 3 Capítulo 4 . esto se expresará como una función proposicional cuantificada: V = {∀x: P(x)} (el conjunto V está formado por todo x que verifique P). En términos lógicos. como lo demuestra la existencia de una guía telefónica. ni en las dos formas en las que puede definirse un determinado conjunto.

6 Tal vez un nombre más apropiado sería conjunto referencial. . no caeremos en tales arrebatos en este texto. aaa. San Juan.Constable) 4 Capítulo 4 . daremos una notación especial a los siguientes conjuntos: N Z Q R N0 Z+ = = = = = = {x/ x es un número natural} {x/ x es un número entero} {x/ x es un número racional} {x/ x es un número real} {x/ x es un número natural o x es el número cero} {x/ x es un número entero positivo} y supondremos conocido desde la escuela. San Luis} (por extensión) C = {x/ x es una provincia argentina de Cuyo} (por comprensión)♦ En el primer caso. está implícito en el término vocales que estamos hablando de letras y no de frutas cítricas o de extraterrestres..1. En los ejemplos anteriores.Matemática Discreta Conjuntos y Relaciones V* = {a. determinamos el conjunto diciendo que formarán parte de él. qué se entiende por natural.Pág. Solución: C = {Mendoza. entero. y por que los utilizaremos para ejemplificar variados conceptos. La notación V* para el conjunto de las combinaciones de símbolos. pero utilizaremos el de universal para no crear confunsión con la bibliografía de consulta sugerida. 7 . Conjuntos especiales. J. Denotaremos con "U". normalmente se supone un determinado universo de discurso al cual pertenecen naturalmente todos los objetos a los que se hace referencia en el estudio. página 60) 5 Se hacen estas consideraciones aquí. Al igual que en clases. a aquel que posea un sólo elemento5. Ejemplo: Exprese en símbolos el conjunto de los números naturales pares mayores a diez y menores a cien. Además. ya que los conceptos de conjunto vacío y conjunto unitario.G. en el segundo. se extiende el concepto de conjunto definiendo el conjunto vacío (denotado por ∅). aaaa. Ejemplo: Determine por extensión y comprensión el conjunto de las provincias cuya-nas de la República Argentina. (Nota debida a la Prof. aa. }4 pero de ser posible. provienen de la operación llamada estrella de Kleene. (Referencia de Teoría de la Computación.3. no se corresponden con la noción de conjunto presentada. aaaaa. etcétera. al hablar de conjuntos. la cual en realidad define la cadena vacía λ como parte del conjunto. al conjunto universal del cual son miembros todos los elementos de los conjuntos bajo estudio6. Addison-Wesley. como aquel que no contiene elemento alguno y considerando como conjunto (y nombrándolo como conjunto unitario). L.. sólo aquellos objetos que satisfagan una cierta propiedad. Por su importancia en matemáticas. Aún así.Brookshear. enumeramos o enlistamos todos los elementos que componen el conjunto. 4. serán tratados como conjuntos.

se dice que son iguales.x. 2. propiedades que contradicen la escencia de los objetos a los que se les atribuye. cualquier propiedad que un objeto x nunca pueda satisfacer. o sea. sii están formados por exactamente los mismos elementos. 7 Capítulo 4 . no tienen efectos sobre la determinación efectiva del mismo. 8 .Lipschutz. Teniendo esto en cuenta: Definición: Dados dos conjuntos A y B. que los elementos de A son exactamente aquellos miembros de U que tienen la propiedad P". el conjunto de todos los hombres que son inmortales.1. donde se encuentra tal denominación. Ejemplo: Dado el conjunto A={1. Solución: B = {2. hay un conjunto A tal. S.. 1} C = {x/ x∈N ∧ x < 4} D = {x/ (x=1) ∨ (x=2) ∨ (x=3)}♦ Véase Matemáticas para Computación. la repetición de elementos y el orden de presentación de los mismos en la definición de un conjunto en particular. el conjunto de todas las proposiciones lógicas que son verdaderas y falsas al mismo tiempo. Principio de extensión7. Ejemplo: Defina por comprensión. Como ya se indicó. para que sean considerados miembros del conjunto P en cuestión. nos servirá para definirlo por comprensión. Así: P = {a/ a∈N ∧ ∃(x∈N)/ a=2x ∧ a>10 ∧ a<100}♦ Aquí.Matemática Discreta Conjuntos y Relaciones Solución: La definición de paridad de números naturales. 1. Además. 3}. 4. como por ejemplo. En símbolos: A = B ↔ ∀x: x∈A → x∈B ∧ ∀y: y∈B → y∈A Se suele llamar también a la anterior definición. etc. 1992. si existe algún natural x tal que a pueda escribirse como 2. página 132. Igualdad de conjuntos. dice que un número natural a es par. el conjunto vacío (sin elementos). Tomaremos la más sencilla: ∅ = {x/ x ≠ x}♦ También podríamos haber dado otras expresiones para el conjunto vacío. el autor presenta el Principio de Abstracción diciendo: "dado cualquier conjunto U y cualquier propiedad P.Pág. Solución: Por el concepto de conjunto vacío.4. defina otros tres iguales al mismo. Creo que estos principios concuerdan con nuestra noción de determinación por extensión y por comprensión. 3. McGraw-Hill. (y lo denotamos por A=B). hemos impuesto una propiedad que los números a deberán cumplir.

1. 4.1.6.8. Los actuales habitantes de la Luna. 4.2} y B={2. 5. 1} {2.8. en caso negativo. 5. 4. para destacarlas como tal.4. de los primeros nueve naturales. 6. 9 . 4. 3. Indique la verdad o falsedad de las siguientes proposiciones: a) b) c) d) e) 1∈A 9∈A 9∈B 9∉B 2∉A f) g) h) i) j) 1∈A ∨ 1∈B 4∈A ∧ 4∈U 3∈A → 8∈U 3∉A → 8∈U 4∈A ∨ 5∉U 4. en realidad nos estamos refiriendo a dos representaciones o caracterizaciones del mismo conjunto.Pág. Capítulo 4 .2. Las estrellas brillantes del cielo austral. Defina por comprensión los conjuntos A y B del anterior ejercicio. Los cuadrados menores que diez.5. 7} 4. 4.6. Estrictamente hablando. 2.2.1.6.10}. Diga cuándo dos conjuntos son distintos y estudie todos los casos posibles.4. 3.10}. 3.7. se han utilizado los conocidos conectivos lógicos (en C y D).9. defina el conjunto en símbolos y diga si es finito o infinito.Matemática Discreta Conjuntos y Relaciones Aquí.1. establecemos una relación entre dos nombres de una misma entidad.1 4.1. 6. 7} {1. Los temas del capítulo de lógica matemática de este texto.1. indique porqué no lo hacen y ejemplifique. Sea U={1. a) b) c) d) e) Los hombres altos. para conformar la proposición que caracteriza a los elementos del conjunto y se han separado con paréntesis "innecesarios" las funciones proposicionales de pertenencia.3. Los algoritmos de exactamente cuatro instrucciones. Defina por comprensión y extensión los siguientes conjuntos: a) b) c) d) e) Los naturales pares menores que diez. cuando decimos que dos conjuntos son iguales. Indique cuáles de los siguientes conjuntos son iguales: A= B= C= D= E= {x/ (x∈N) ∧ (x es primo) ∧ (x<10)} {x/ (x∈Z) ∧ (x<8)} {1.4. el conjunto universal de referencia y sean A ={1. 7.1. En caso afirmativo. El conjunto de todas las letras "m" de esta página. Los números enteros negativos mayores que menos cuatro.5.1. 7. _____________________________________________________________ EJERCICIOS 4. Diga si las siguientes expresiones definen algún conjunto.3. Las proposiciones lógicas de la lógica tradicional.

4. Familias de conjuntos.4. Propiedades de la inclusión. B A . • B contiene a A. En símbolos: A ⊆ B ↔ ∀x: x∈A → x∈B Según la variada bibliografía existente sobre el tema.2. los diagramas de Venn ya presentados en el punto (3. diremos que A está incluido en B (y lo denotaremos A⊆B ó B⊇A). • A está contenido en B.Pág.2 SUBCONJUNTOS _____________________________________________________________ 4. si todo elemento de A es también elemento de B.a .3.2.2.c U Fig. 4. 4.1: Diagrama de Venn de la inclusión A ⊆ B. 4. Definición: Dados dos conjuntos A y B. _____________________________________________________________ Utilizaremos en lo que sigue. Capítulo 4 .Matemática Discreta Conjuntos y Relaciones _____________________________________________________________ Tema 4. 10 .4). Inclusión. Inclusión. con la misma significación y modo de construcción indicados allí.2. • A es un subconjunto de B.1.1.4. 4. pero aplicados al concepto de conjunto.b .2. • B es un superconjunto de A. Cardinalidad de un conjunto. • B incluye a A. las siguientes expresiones son consideradas equivalentes: • A está incluido en B.2.

1. ya que si A ⊆ B. Solución: a) La definición por extensión de los conjuntos es: A = {a. Nuevamente. A resulta ser un subconjunto propio de B. al número n de elementos que pertenecen a él. b∈B. y en cierta forma. recuerda el uso del símbolo menor (<) utilizado entre números. indica que si A es un subconjunto propio de B. tiene menor cantidad de elementos. el símbolo "⊂" utilizado para representar la inclusión estricta. n elementos con n∈N). tiene menor o igual cantidad de elementos. puede suceder que A ⊂ B o que A = B.2.♦ El símbolo "⊆" utilizado para representar la inclusión. b. como c∈B y c∉A. recuerda el uso del símbolo menor o igual (≤) utilizado usualmente como relación entre números. En símbolos: A = n Capítulo 4 . se dice que el primero es un subconjunto propio del segundo. no puede decirse que B esté incluido en A. 4. Defina los conjuntos por exten-sión y establezca la relación de inclusión entre ellos. los conjuntos de la figura 4.Matemática Discreta Conjuntos y Relaciones Ejemplo: Sean A y B. Si llamamos conjunto finito a aquel que posee un número finito de elementos (esto es. si todo elemento de A es también elemento de B. (y lo denotaremos con A). 11 . Por otra parte.Pág. En símbolos: A ⊂ B ↔ (∀x: x∈A → x∈B) ∧ (∃y/ y∈B ∧ y∉A) Si un conjunto A está estrictamente incluido en un conjunto B. c} b) Ya que a∈A. Definición: Dados dos conjuntos A y B. pero existe al menos un elemento en B que no es elemento de A. b∈A y a∈B. y en cierta forma. la inclusión amplia engloba al concepto de inclusión estricta. diremos que A está estrictamente incluido en B (y lo denotaremos A⊂B ó B⊃A). por definición de inclusión: A⊆B Sin embargo. expresamos que: Definición: Dado un conjunto finito A. indica que si A es un subconjunto de B.2. b} B = {a. Cardinalidad de un conjunto. En el anterior ejemplo. llamaremos cardinalidad de A.

Tesis: A⊆A Demostración: Por definición de inclusión: A ⊆ A ↔ ∀x: x∈A → x∈A implicación que es verdadera para cualquier elemento de A. Entonces: A = 3 B = 2♦ 4. que por definición de inclusión demuestra la tesis. 12 . Así. B y C. pueden ahora demostrarse algunas propiedades de la inclusión (con carácter de teoremas). (i) Capítulo 4 . dos conjuntos tales que A⊆B y B⊆A. de (i) e (ii) se obtiene: x∈A → x∈C. tres conjuntos tales que A⊆B y B⊆C. y el conjunto vacío no es en rigor.Matemática Discreta Conjuntos y Relaciones Por convención. Hipótesis: Sean A y B. y algunas relaciones entre las cardinalidades de conjuntos. por hipótesis B⊆C y la definición de inclusión. Propiedades de la inclusión. si bien el cero no es un número natural. finito. como el número cardinal de A. 1) PROPIEDAD REFLEXIVA: Todo conjunto es parte de sí mismo. Tesis: A=B Demostración: Por definición de igualdad de conjuntos: A = B ↔ ∀x: x∈A → x∈B ∧ ∀y: y∈B → y∈A. Hipótesis: Sea A.3.b}.♦ 2) PROPIEDAD TRANSITIVA: Si un conjunto es subconjunto de otro y éste subconjunto de un tercero. Ejemplo: Sean A={1.3} y B={a. entonces los conjuntos son iguales.Pág. entonces el primero es subconjunto del tercero.2. (ii) y por la ley del silogismo hipotético de la lógica. Hipótesis: Sean A. ∅ = 0 También nos referiremos a la cardinalidad de un conjunto A.♦ 3) PROPIEDAD ANTISIMÉTRICA: Si un conjunto es subconjunto de otro y éste subconjunto del primero. Entonces se tiene simultáneamente: x∈A → x∈B. se asigna el número cero como cardinalidad del conjunto vacío. Tesis: A⊆C Demostración: Sea x un elemento cualquiera de A. y x∈B → x∈C. un conjunto cualquiera.2. por hipótesis A⊆B y la definición de inclusión.

♦ 4) VACÍO SIEMPRE PRESENTE: El conjunto vacío está incluído en cualquier conjunto. Demostración: Supongamos que existe otro conjunto vacío ∅'. serán enunciadas luego y su demostración será dejada como ejercicio. siempre que un elemento esté en A. entonces la cardinalidad del primero es menor o igual a la del segundo. queda demostrada la tesis.Pág. Hipótesis: Sea A cualquier conjunto.♦ 6) Si un conjunto finito. (ii) De (i) e (ii). está incluído en otro. el mismo debe pertenecer a B para que la implicación sea verdadera. con lo cual la implicación de antecedente falso y conclusión verdadera. también finito. o sea que el conjunto A tiene exactamente n elementos y el B.♦ 5) UNICIDAD DEL VACÍO: El conjunto vacío es único. 13 . Tesis: ∅ es único. la tesis puede escribirse como: ∀x: x∈∅ → x∈A lo cual es verdadero. Tesis: A ≤ B Demostración: Supongamos que A= n y que B= m. al ser las premisas verdaderas. la misma definición permite que existan elementos de B que no pertenezcan al conjunto A. por lo cual. Tesis: ∅⊆A Demostración: Por definición de inclusión.♦ Algunas otras propiedades respecto de la inclusión de conjuntos. Capítulo 4 . demuestra trivialmente la tesis. Hipótesis: Sean A y B dos conjuntos finitos tales que A ⊆ B. exactamente m elementos. B tendría entonces además de todos los elementos de A. o sea que n es por lo menos igual a m. lo cual. (i) Además. esto puede escribirse: A = B ↔ (A ⊆ B) ∧ (B ⊆ A). con lo cual queda demostrada la tesis. algunos más. se tiene por hipótesis que: ∀x: x∈A → x∈B lo que dice que.Matemática Discreta Conjuntos y Relaciones pero por definición de inclusión. por lo cual m resultaría mayor que n. B contiene al menos tantos elementos como A. entoces por la propiedad (4) debe cumplirse: (∅ ⊆ ∅') ∧ (∅' ⊆ ∅) lo que por la propiedad antisimétrica significa que ∅ = ∅'. ya que un antecedente falso (como x∈∅) siempre hace verdadero el condicional. Hipótesis: Sea ∅ el conjunto vacío. Por definición de inclusión. resultará también verdadera. Si éste fuera el caso.

c}. o sea conocer la pertenencia o no de un conjunto X al conjunto potencia de A.a . y se les denomina usualmente. {b. pertenece a su conjunto potencia. {b}.c}. el problema de determinar P(A). {c}. más aún. se desprende fácilmente que el conjunto vacío pertenece a P(A) y que el mismo conjunto A. un conjunto puede contener como miembros.Matemática Discreta Conjuntos y Relaciones 4.b U . Existen algunos conjuntos que tienen como elementos a otros conjuntos. {a. denotado por P(A).2. c}} ♦ Capítulo 4 . a como elemento. se reduce al problema de establecer si X está efectivamente incluído en A. Ejemplo: Sea A={a. En símbolos: P(A) = {X/ X⊆A} Así. c}. Ejemplo: Sea A = {{a}. Por las propiedades que enunciamos sobre la inclusión de conjuntos y de la definición de conjunto potencia. Entonces puede escribirse: {a} ∈ A b∈A {b} ⊆ A {{a}} ⊆ A Sin embargo. 14 . Solución: En el siguiente diagrama de Venn. Familias de conjuntos. clase de conjuntos o familia de conjuntos. {a. {a}.b. b}. b} un conjunto. conjunto de conjuntos. no pertenece al conjunto A y el conjunto {a} no está incluído en A sino que es un elemento del mismo. {a.c quedando entonces el conjunto potencia definido por: P(A) = {∅. Determine su conjunto potencia. b. se representan las distintas asociaciones que se pueden formar con los elementos de A: A .Pág. otros conjuntos y algunos elementos que no son conjuntos. es el denominado conjunto potencia de un conjunto A. en símbolos: a∉A {a} ⊄ A♦ Un familia de conjuntos cuya aplicación es importante.4. la cual se define como aquella que tiene por elementos a todos los posibles subconjuntos de A.

1.c. Puede encontrarse una demostración en Teoría de la Computación.Matemática Discreta Conjuntos y Relaciones Se puede demostrar (aunque no lo haremos aquí8) que: si A es un conjunto finito.2.f. en-tonces su conjunto potencia P(A) tendrá 2A elementos. 2. páginas 4-6.g.3} ⊆ A {1.h}. u. indique la verdad o falsedad de: a) b) c) d) e) A ∈ P(A) A ⊂ P(A) {t.i}. i.{i}} ∈ P(A) f) g) h) i) j) {{t}.g. o.2. donde el autor procede por inducción matemática.Pág. verificar respectivamente que se cumplen: a) A = A b) A = B ↔ B = A c) (A=B ∧ B=C) → A=C 4. 3} ⊆ A ∅⊆A 4∈A {4} ∈ A {4} ⊂ A f) g) h) i) j) 0∉A {0} ⊆ A {1.2} y la cardinalidad del mismo. _____________________________________________________________ EJERCICIOS 4.e} ⊂ A 4.3.i.i} ∉ P(A) {∅} ⊆ P(A) ∅ ∈ P(A) 4. Determine el conjunto potencia de A={1.d. Indique todos los subconjuntos que se pueden formar con las letras de la palabra "autómata".g. 4.g.3} ⊂ A 2 ∈A 4.2.i.i} y B={b. m}. Demuestre las propiedades reflexiva. t}.c.4.2 4.{i}} ⊂ P(A) {t.2. Confeccione el diagrama de Venn suponiendo que U es el conjunto universal. 15 . 8 Capítulo 4 . la cardinalidad de cada uno y cuáles de ellos son subconjuntos propios de {a. Si A={b. Esto es.f.5.6. A={a.d. Addison-Wesley.c.i} ∈ P(A) {t. Dado el conjunto A={x / x∈N ∧ x2 < 16}.2. simétrica y transitiva de la igualdad de conjuntos.2. Sean U={a. J.c.Brookshear.e.e. 1.2. y determine la validez de las siguientes proposiciones.{i}} ⊆ P(A) {{t}.G.b} ⊆ P(A) {{t}. justificando su respuesta: a) b) c) d) e) a∈A {a} ∈ A B⊆A B∈U B⊆U f) g) h) i) j) a⊆A {a} ⊆ A c ∉ A → B ∈U {a. indique si son verdaderas: a) b) c) d) e) {0.h.2. t.2.b.e} ⊆ A {a.

y el conjunto universal U. y con la misma argumentación utilizada para los conectivos lógicos (tema 3. y.3. a las proposiciones categóricas que definen conjuntos. que operen sobre proposiciones lógicas del tipo "a pertenece al conjunto A"). 4.3.3. 4.3. Complementación. cuando hablamos de elementos de un determinado conjunto A. (que leeremos complemento de A o A complemento). sólo nos interesarán algunas operaciones de todas las posiblemente definibles. para obtener otros conjuntos (o lo que es lo mismo.3. refuerza la idea de negación de la proposición que establece la pertenencia al conjunto (~(x∈A) o no es el caso que el elemento x Capítulo 4 . siendo las demás sólo combinaciones de ellas. que no pertenecen al conjunto A. que accionen sobre conjuntos.3 OPERACIONES CON CONJUNTOS _____________________________________________________________ 4. o. se definirán tres operaciones y se estudiarán sus propiedades.6. 4.1. vimos que se puede afirmar que es verdadera (a∈A) o que es falsa (a∉A). llamaremos complemento de A al conjunto ~A. Conjuntos finitos. Además. Unión. al cual pertenecen naturalmente todos los objetos de los conjuntos bajo estudio (y posiblemente otros que no pertenecen a ninguno de ellos). _____________________________________________________________ Tanto la igualdad de conjuntos como la inclusión.4. Complementación. introduciremos el concepto de par ordenado y basado en él.2. Por esto. Al igual que en esa oportunidad. compartiendo alguna característica común. 4. han sido definidas básicamente sobre la noción de pertenencia de elementos a conjuntos. Definición: Dado un conjunto A. En símbolos: ~A = {x/ x∈U ∧ x∉A} El símbolo "~" utilizado para denotar el complemento.2). Intersección. formado por todos los elementos del conjunto universal.3. de la lógica. pueden definirse cuatro operadores unitarios y dieciséis binarios.Pág. 4. Propiedades de las operaciones con conjuntos. el conjunto universal U.1. el de producto cartesiano de dos conjuntos.3. Hemos destacado ya el hecho que. 16 .Matemática Discreta Conjuntos y Relaciones _____________________________________________________________ Tema 4. Producto cartesiano.3. de la relación de pertenencia.5. A continuación. correspondientes a la aplicación de los conectivos no. 4. estamos presuponiendo la existencia de un universo de discurso.

o complemento de A con respecto a B). b} (todo elemento de B que no esté en A) (todo elemento de A que no esté en B) Capítulo 4 . llamaremos complemento de A respecto de B. 4.A = {x} A . llamado a veces diferencia entre los conjuntos A y B.A = {x/ x∈B ∧ x∉A} Suele también denotarse al complemento de A respecto de B como ABc o AB'. Definición: Dados dos conjuntos A y B. se sigue que: B . A ~A U Fig. b.B = {a. c} y B={c.3: Complemento de un conjunto A respecto de otro B (área sombreada).B.A y A . (que leeremos B menos A. 4. x}. el complemento de un conjunto A respecto de otro cualquiera B. 17 . suele también utilizarse el símbolo "" como sombrero del conjunto a complementar o las notaciones A' o Ac.Pág.Matemática Discreta Conjuntos y Relaciones pertenezca al conjunto A). en la bibliografía. al conjunto B-A. También se define en forma análoga. formado por todos los elementos de B que no pertenecen al conjunto A. determine B .2: Complemento de un conjunto A (área sombreada). Ejemplo: Dados A={a. A B-A B U Fig. Solución: Del diagrama de Venn y de la definición de complementación respecto de un conjunto. En símbolos: B .

La idea intuitiva de intersección en el lenguaje ordinario.c . "hereda" de la negación la propiedad de involución y otras.4: Intersección de dos conjuntos (área sombreada). 10}. 9} y B={5. tiene la forma suavizada del símbolo de conjunción de la lógica matemática. Además. Formalmente: Definición: Dados dos conjuntos A y B. determine A∩B.c . formado por todos los elementos comunes de A y de B. 4. a la esquina de dos calles. referida a conjuntos. etcétera. A B AnB U Fig. 18 .Matemática Discreta Conjuntos y Relaciones A . 4. que serán luego enunciadas formalmente y se presentarán como ejercicio para su demostración. llamaremos intersección de A y B. Esta misma idea es la que el término expresa. se refiere a puntos comunes de dos líneas que se cortan. 4. y efectivamente este conectivo tiene acción decisiva en la definición precedente. el anterior ejemplo demuestra por contraejemplo que la complementación de conjuntos no es conmutativa. resulta ser binaria ya que aplicándola a dos conjuntos se obtiene otro conjunto.a . Ejemplo: Dados A={1. 6. Capítulo 4 . En símbolos: A∩B = {x/ x∈A ∧ x∈B} La operación así definida. al conjunto A∩B. (que leeremos A intersección B). 6. Intersección.x B U A-B B-A U ♦ Esta operación.a . 7.3.Pág.2. 7. 3.b . El símbolo "∩" utilizado para denotar la intersección de conjuntos.b . 2. 8.x B A . 8.

5: Posibilidades en la intersección de dos conjuntos. por definición de intersección. reemplazando las proposiciones. pueden darse con respecto a la intersección. propiedad asociativa de conjunción.Matemática Discreta Conjuntos y Relaciones Solución: Estando los conjuntos definidos por extensión pueden verse claramente los elementos comunes a ambos conjuntos. 19 .Pág. ∩ A = i=1 A I 1 2 n n i Dados dos conjuntos A y B. B y C tres conjuntos cualesquiera. Ejemplo: Demuestre que la intersección de conjuntos cumple la propiedad asociativa. 4. reemplazando las proposiciones. Solución: Hipótesis: Sean A. cuatro situa-ciones diferentes a saber: A B A B U (a) Conjuntos disjuntos A B B C (b) A U U (c) Conjuntos iguales (d) A C B U Fig. 8}♦ La operación de intersección heredará de la conjunción.♦ q: x∈B r: x∈C Que la intersección goce de la propiedad asociativa. nos permite generalizar la operación de intersección a n conjuntos Ai. Definamos las siguientes proposiciones lógicas: p: x∈A entonces: (A∩B)∩C = {x/ (x∈A ∧ x∈B) ∧ x∈C} = {x/ (p ∧ q) ∧ r} = {x/ p ∧ (q ∧ r)} = {x/ x∈A ∧ (x∈B ∧ x∈C)} = A∩(B∩C) por definición de intersección. las propiedades que la misma cumple en el ámbito de las proposiciones lógicas.ción y de las propiedades de la conjunción de proposiciones lógicas. en cuyo caso se suele escribir: A ∩ A ∩ . 7. por lo cual A∩B={6. Tesis: (A∩B)∩C = A∩(B∩C) Demostración: La demostración surge naturalmente de la definición de intersec.. Capítulo 4 ..

si hablamos de inclusión y no de inclusión estricta.5(d)). los casos (c) y (d) se funden en uno sólo. 4. 4.6: Unión de dos conjuntos (área sombreada).5(b). el conjunto vacío: A∩B = ∅ b) Si los conjuntos tienen algunos elementos en común y otros no. Capítulo 4 . 4.3. llamaremos unión de A y B al conjunto A∪B. en el sentido que relaciona las proposiciones de pertenencia de elementos utilizando el conectivo "o". A B AUB U Fig. entonces la intersección de ellos es el subconjunto (el de menor cardinalidad). se dice que los mismos son disjuntos y su intersección es. A∩B = A d) Si se trata del caso que (como en la fig. por lo tanto. A∩B = C c) Si los conjuntos son iguales. Unión.3.Pág. (que leeremos A unión B). formado por todos los elementos de A y todos los de B.Matemática Discreta Conjuntos y Relaciones a) Si los conjuntos no tienen elementos en común. resulta ser también binaria ya que genera un nuevo conjunto a partir de dos conjuntos dados. En símbolos: A∪B = {x/ x∈A ∨ x∈B} La operación así definida. entonces su inter-sección estará compuesta por los elementos ubicados en el área común a ambos en la fig. A∩B = A En realidad. 20 . La operación de unión de conjuntos. 4. aplica la idea de disyunción lógica al ámbito de los conjuntos. uno de los conjuntos es subconjunto propio del otro. entonces la intersección es el mismo conjunto A. Formalmente: Definición: Dados dos conjuntos cualesquiera A y B.

Pág. 5. nos permite generalizarla a una familia de n con. determine A∪B. 10}♦ La operación de unión heredará naturalmente de la disyunción. con lo cual obtenemos: A∪B = {1.♦ La propiedad asociativa de la unión. 3. tiene la forma suavizada del símbolo "∨" de la disyunción lógica y. ∪ A = i=1 A U 1 2 n n i Con las operaciones ya establecidas de intersección y unión de conjuntos. Solución: Hipótesis: Sean A. para determinar el conjunto unión de A y B. 9} y B={5. 4..Matemática Discreta Conjuntos y Relaciones El símbolo "∪" utilizado para denotar la unión de conjuntos. 10} Pero por definición de conjunto. por definición de unión. sólo tenemos que listar primero los elementos de A y a continuación los de B. Así: A∪B = {1. es coherente la semejanza. 10}. 8. Definamos como antes. B y C tres conjuntos cualesquiera. 7. 3. 6. reemplazando las proposiciones.. en cuyo caso se suele escribir: A ∪ A ∪ . 6. definiremos el importante concepto de partición de un conjunto como sigue: Capítulo 4 . 2. propiedad asociativa de disyunción. 21 . Tesis: (A∪B)∪C = A∪(B∪C) Demostración: La demostración surge de la definición de uniión y de las propie-dades de la disyunción de proposiciones lógicas. 7. 4. 2. 8. 3. 8. las propiedades que la misma cumple para el cálculo proposicional. 9.juntos Ai. Ejemplo: Dados A={1. 9. 7. Solución: La respuesta es sencilla. 4. 6. 2. 5. 8. 7. suelen no listarse los elementos repetidos (ya que no aportan nada a la determinación del conjunto). Ejemplo: Demuestre que la unión de conjuntos cumple la propiedad asociativa. 6. 7. 8. reemplazando las proposiciones. 6. como puede verse claramente en la definición presentada de la operación. las siguientes proposiciones lógicas: p: x∈A q: x∈B r: x∈C entonces: (A∪B)∪C = {x/ (x∈A ∨ x∈B) ∨ x∈C} = {x/ (p ∨ q) ∨ r} = {x/ p ∨ (q ∨ r)} = {x/ x∈A ∨ (x∈B ∨ x∈C)} = A∪(B∪C) por definición de unión.

3.. n b) B = A1∪ A2∪ .Matemática Discreta Conjuntos y Relaciones Definición: Dados los conjuntos no vacíos A1.. 2} ∩ {2.. llamaremos partición de B (o recubrimiento de B. u}.∪ An La anterior definición puede ser extendida a una familia infinita de conjuntos. o. e. y el conjunto B. Solución: Hay que verificar si las condiciones de la definición se cumplen: a) {1. o} ∩ {u} = ∅ Capítulo 4 .. 2} ∩ {4} = ∅ {2. A2.. A2. 22 . j=1. En símbolos: La familia L={A1. 4}. e... no son disjuntos! {1. veamos ahora que realmente se pueden establecer particiones en algún conjunto. An} es una partición de B sii: a) Ai ∩ Aj = ∅.. A2. o}. . {2. es una partición de A = {1. An} si se verifica que los conjuntos Ai son disjuntos de a pares y si para cada elemento x de B. 4} Como puede verse... 3} ∪ {4} = {1. por lo cual L resulta no ser una partición de A. i. x pertenece a algún Ai con i=1. extendiendo la unión generalizada a infinitos conjuntos Ai.♦ Para no ser pesimistas en nuestros ejemplos. ya que se cumple: {a.. a la familia L={A1.. o conjunto cociente de B). 3. B A 2 A1 A 3 A 4 U Fig. .. 4. 2} ∪ {2.n. An. 3} = {2} . A3. 3} ∩ {4} = ∅ b) {1. 2}. 2. A2. Solución: a) L1 = {{a. con i ≠ j e i. 2. {4}}. 3}. e. .. . 2. i... . i. 2. Ejemplo: Diga si L = {{1. la intersección de algunos conjuntos de L no es vacía.. A4} del conjunto B. Ejemplo: Determine dos particiones distintas de V = {a.7: Una partición L = {A1.Pág. {u}} es una partición de V.

Una definición más estricta9 de par ordenado. {e}} es también una partición de V. llamaremos par ordenado. El Ateneo. e. b} = {b. Definiremos ahora. o} ∪ {e}. b}} permitiendo aplicar las operaciones de conjuntos y las propiedades de las mismas. b) ≠ (b. Reverté. páginas 67 y 68. b) = {{a}. Así. hemos expresado que: {a. el orden de los elementos que al mismo pertenecen. b) = (c. En la idea de conjunto. i}.Rojo. sus componentes correspondientes son iguales. 1972. i} ∩ {e} = ∅ {u. a menos que se verifique a = b y. A.3. 10 Algunos autores opinan que la historia fue en este caso injusta con otro francés. definiremos una nueva operación de conjuntos que recibe el nombre de producto cartesiano en honor al matemático y filósofo francés René Descartes (1596-1650).♦ 4. i} ∪ {u. a). quien es considerado el fundador de la geometría analítica10. b) L2 = {{a.Spivak. no tiene ninguna significación en cuanto a su determinación. (a. b). si y sólo si.4.O. se dice que un par ordenado es igual a otro.o}. En símbolos: (a. o} = ∅ {a. M. De la definición precedente se desprende que. un ente matemático en el cual el orden en que aparecen sus componentes sí tiene importancia: Definición: Dados dos objetos a y b. i} ∩ {u. {a. al arreglo ordenado de los mismos. o} ∩ {e} = ∅ y V = {a. pues se cumplen: {a. quien fue el primero en explisitar la representación gráfica de los pares ordenados.Pág. o} ∪ {u}. lo define como la familia de conjuntos: (a. Producto cartesiano. página 53 y una explicación más detallada del concepto puede verse en Calculus. Capítulo 4 . a} ya que ambos miembros de la igualdad son en realidad. en general. {u. y lo denotaremos con (a. 1970.Matemática Discreta Conjuntos y Relaciones y V = {a. d) ↔ a = c ∧ b = d. a este nuevo concepto. y diremos que a es la primer componente y que b es la segunda componente del par ordenado. basado en este hecho. 9 Una definición tal se encuentra en Algebra I. el mismo conjunto. 23 . Utilizando este ente. el matemático Piere Fermat (1601-1665). i.

3} y {a. se cumplen las siguientes propiedades: Capítulo 4 .b). an).b). 24 .5. podemos extender el producto cartesiano a una familia de n conjuntos no vacíos. evidentemente el producto cartesiano no es conmutativo. (1.. (2.a). En símbolos: A x B = {(a. intersección y unión de conjuntos respectivamente. x An = {(a1. al conjunto A x B (que leeremos A por B) cuyos elementos son los pares ordenados que tienen como primer componente. un elemento de B. 4. (3. construyendo y analizando los diagramas de Venn de las distintas situaciones a las que ellas hacen referencia.a). Ejemplo: Determine el producto cartesiano de {1. denotaremos con An al producto cartesiano de A por sí mismo n veces. an) / a1∈A1 ∧ a2∈A2 ∧ . B y C tres conjuntos cualesquiera y sean ∼.. un elemento de A y como segunda componente. 2. De las infinitas igualdades de conjuntos que podemos construir utilizando las operaciones que hemos definido.b)}♦ Si extendemos el concepto de par ordenado a n objetos diciendo que.. La demostración de estas propiedades (tratadas así como teoremas).Matemática Discreta Conjuntos y Relaciones Definición: Dados dos conjuntos no vacíos A y B. Entonces. a2. b}.a).3... una n-tupla es un arreglo ordenado de objetos (a1.. × A = 1 2 n CA i=1 n i y como es usual. será por definición: A x B = {(1. b}. (3. A x A. se listarán a continuación.. llamaremos conjunto producto de A y B o producto cartesiano de A y B.. Sean A. .. b) / a∈A ∧ b∈B} En particular utilizaremos la notación A2 para referirnos al producto cartesiano de un conjunto por sí mismo. puede ser efectuada algebráicamente apelando a las propiedades que satisfacen los conectivos lógicos y gráficamente. Solución: El producto de A = {1. ∩ y ∪ los símbolos de las operaciones de complementación. a2. pueden demostrarse varias propiedades como por ejemplo. . 2. Propiedades de las operaciones con conjuntos. en ese orden. expresando: A1 x A2 x .. 3} y B = {a.. (2. Por definición de par ordenado. que es distributivo a derecha o a izquierda respecto de la unión. además.Pág. sólo algunas de ellas (y algunas otras en la ejercitación del presente capítulo). ∧ an∈An} lo que también suele escribirse como: A × A × .. como en el caso de los conectivos lógicos y por su utilidad en matemáticas.

Matemática Discreta Conjuntos y Relaciones 1. el cual es también válido para la lógica proposicional (con los arreglos de notación correspondientes): Capítulo 4 . Con los comentarios que hemos ido haciendo sobre la relación entre los operadores de conjuntos y los operadores lógicos involucrados en sus definiciones. sino que emana de la estructura del sistema formal construído. Involución: ~(~A) = A 2. Distributividad: a) De la intersección respecto de la unión: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) b) De la unión respecto de la intersección: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) 6. estableceremos el siguiente principio. Conmutatividad: a) De la intersección: A ∩ B = B ∩ A b) De la unión: A∪B=B∪A 4. Idempotencia: a) De la intersección: A ∩ A = A b) De la unión: A∪A=A 3. con otras palabras. Nótese la similitud entre la anterior tabla de propiedades y la tabla de leyes lógicas de la figura 3. Leyes de DeMorgan: a) ~(A ∪ B) = ~A ∩ ~B b) ~(A ∩ B) = ~A ∪ ~B Fig. Estamos diciendo más o menos lo mismo. 4.8: Algunas propiedades de las operaciones de conjuntos. Asociatividad: a) De la intersección: A ∩ B ∩ C = A ∩ (B ∩ C) = (A ∩ B) ∩ C b) De la unión: A ∪ B ∪ C = A ∪ (B ∪ C) = (A ∪ B) ∪ C 5.10. como las que siguen: i) ii) iii) iv) A ∪ ~A = U A∪∅=A A∪U=U ~U = ∅ v) vi) vii) viii) A ∩ ~A = ∅ A∩∅=∅ A∩U=A ~∅ = U Por último. Además.Pág. pueden establecerse otras relaciones útiles entre cualquier conjunto A y los conjuntos universal U y vacío ∅. claramente esta semejanza no es una casualidad. 25 .

es verdadero por el cálculo de proposiciones. y siendo equivalente a (iii).Pág. entonces el dual de T. (V→V) ∧ (V→V). establecemos p:x∈A y q:x∈U (omitiendo la variable x por comodidad pero sin perder de vista el cuantificador universal).6. la proposición q siempre es verdadera. (Nótese que todas las propiedades en las cuales intervienen los símbolos ∩. por definición de conjunto universal (toda x debe pertenecer a él). construido reemplazando los símbolos U. cualquiera que sea A) entonces. queda la anterior expresión como: ∀x: V → V que es una tautología.3. ∪. Solución: Hipótesis: Sean A cualquier conjunto y U el conjunto universal. U enunciadas anteriormente. bienen de "a pares") 4. establece que si A⊆U. queda demostrada la tesis. para cualquier conjunto A. es verdadero por la definición de universal (A⊆U. ∩. Tesis: A∪U = U. Capítulo 4 . ∪ de T por los símbolos ∅. es también un teorema. es verdadero por el cálculo de proposiciones. Conjuntos finitos.Matemática Discreta Conjuntos y Relaciones Principio de Dualidad: Si T es un teorema del álgebra de conjuntos. la expresión A∪U=U se transforma en A∩∅=∅ el cual también es un teorema del álgebra de conjuntos. V → (p∨V) ≡ V→V. reescribimos lo anterior como: ∀x: (p→q) → ((p∨q) → q) ∧ (q → (p ∨ q)) En esta expresión. ∅. por lo cual: (p∨V) → V ≡ V→V. ∩. respectivamente. Demostración: El teorema. Ejemplo: Demostrar que A ∪ U = U. es verdadero por el cálculo de proposiciones. ∅.♦ Si aplicamos el principio de dualidad al anterior teorema. entonces A∪U es igual a U. U. enunciado como una proposición lógica. denotado por T*. (p→q). 26 . En símbolos: (A⊆U) → (A∪U=U) (iii) Por definición de inclusión y de igualdad de conjuntos. ∪. podemos escribir: ∀x: (x∈A → x∈U) → ((x∈A ∨ x∈U) → (x∈U)) ∧ ((x∈U) → (x∈A ∨ x∈U)) Si para abreviar.

Sin embargo. Claramente. ya que los algoritmos son conjuntos finitos de instrucciones. ya que aunque finitas.Matemática Discreta Conjuntos y Relaciones Como ya se indicó. los podremos enumerar como primero. .. Son de especial interés para las ciencias informáticas el primer tipo de conjuntos mencionado. Esto es. Para demostrar esto último.. b) Luego.. tercero. Diga si A* es numerable y si es finito11. de la siguiente manera: a) Primero se colocarán todas las posibles cadenas de un sólo símbolo. . podremos escribir: Primera: Segunda: Tercera: Cuarta: Quinta: Sexta: Séptima: . En caso contrario. y suponiendo A={a. segundo. las cadenas de símbolos formadas por cualquier cantidad de elementos de A (con repeticiones) resultan ser infinitas. ordenados en forma alfabética (o si son numerales. Ejemplo: Sea A un conjunto finito de símbolos y sea además.. Solución: Claramente. b}. . A* es contable. ordenaremos las cadenas formadas con símbolos de A. o sea enumerarlos. ordenados alfabéticamente entre ellas. los lenguajes de programación son un conjunto finito de sentencias y reglas para manejarlas. n-ésimo. la memoria de una computadora es un conjunto finito de celdas donde alojar símbolos. Diremos que un conjunto es numerable (o contable) si se puede establecer una correspondencia uno a uno con los números naturales. se dice que un conjunto es finito si tiene exactamente n elementos con n∈N. . . y así sucesivamente.. con lo cual se ha conseguido una forma de enumerar el conjunto infinito A*..Pág. .. se dice que el conjunto es no numerable (o no contable o incontable).♦ 11 Véase referencia (4) en la página seis del presente capítulo. Ordenando de esta forma. todo conjunto finito resulta ser numerable ya que teniendo n elementos. a b aa ab ba bb aaa . . 27 . según un orden ascendente de los valores que ellos representan). por nuestra definición de conjunto finito. Capítulo 4 . a cada elemento del conjunto lo podremos nombrar como primero. iésimo. A* no es finito... segunto. etc. todas las cadenas formadas por dos símbolos de A. e infinito si lo conforman un número infinito de elementos. un comentario sobre esta notación. A* (leído como A es-trella) el conjunto de todas las combinaciones finitas de elementos de A..

Por esto. En símbolos: A ∪ B = A + B . se sigue que: A ∩ B = A . se sigue inmediatamente que: Capítulo 4 . A través de estos teoremas. 28 . es igual a la cardinalidad de A menos la cardinalidad de la intersección de los conjuntos.A ∩ B c) TEOREMA: Dados dos conjuntos finitos A y B. pueden establecerse como corolarios. como la cantidad de elementos (distintos por definición de conjunto) que el mismo posee.1 y d.b}) y en estos casos suelen denominarse alfabeto al conjunto A y palabras a los elementos del conjunto A* (o también cadenas. cuya demostración puede ser efectuada mediante un análisis de los respectivos diagramas de Venn y/o de las definiciones de los operadores.B d. a) TEOREMA: Dados dos conjuntos finitos A y B. conocer la cantidad de elementos que contiene un conjunto. obtenido combinando otros mediante las operaciones de complementación.3) COROLARIO: De los colorarios d. como por ejemplo: d. recibe usualmente el nombre de Principio de conteo o de Principio de Adición. es igual al producto de las cardinalidades de cada uno de ellos. la cardinalidad del producto cartesiano de A y B. En símbolos: A . la cardinalidad del complemento de A respecto de B. intersección. unión y producto cartesiano.2) COROLARIO: Del principio de adición. se sigue que: A ∩ B = A + B .1) COROLARIO: Del teorema (a).2.Matemática Discreta Conjuntos y Relaciones En el anterior ejemplo.A ∪ B d.A . se enunciarán los siguientes teoremas. secuencias o el familiar vocablo del idioma inglés "strings"). B El teorema (b). se definió ya la cardinalidad de un conjunto finito. En símbolos: A x B = A . Resulta importante en muchos problemas.Pág. Por otro lado. el conjunto A puede no estar formado de números (como {a.A ∩ B b) TEOREMA: Dados dos conjuntos finitos A y B. es igual a la suma de las cardinalidades de cada uno de ellos menos la cardinalidad de la intersección de los mismos. la cardinalidad de la unión de ellos.B = A . otros que permitan calcular la cardinalidad de cualquier combinación de operaciones de conjuntos.

2. para otros sobre el tema conteo.1) a (b.B = A + B .Pág. a) Defina por comprensión los conjuntos A.3. (respecto de U) b) Determine utilizando diagramas de Venn y exprese por extensión: 1) A ∪ B 2) A ∪ C 3) A ∩ U 4) (A ∪ B) ∩ C 5) ~A ∩ C 6) A ∩ ~C 7) ~(A ∩ C) 8) B .3.3.3. dos de B y dos de C. determine para los conjuntos definidos en los puntos (b. Una encuesta editorial realizada en la U.2.B = A ∪ B .B y muchos otros.1. (Nota: recuerde que la distributividad debe demostrarse a derecha y a izquierda) 4.12).4.R. B y C.8.C 9) A x B 10) B x A 11) ~A x B 12) (A ∩ C) ∩ ~B c) Defina dos particiones de A. B y C. B y C. determinó en 1995 que12: 64 estudiantes leen la revista BYTE 12 Véase Estructuras de Matemáticas Discretas para la Computación.-F.6.5. Capítulo 4 . sus cardinalidades. 1984.5. Demuestre que: i) ii) iii) iv) A ∪ ~A = U A∪∅=A A∪U=U ~U = ∅ v) vi) vii) viii) A ∩ ~A = ∅ A∩∅=∅ A∩U=A ~∅ = U 4. Siendo A.5. B. B={1. A={2.3. 29 . Sea A cualquier conjunto y U el conjunto universal.9}. Por último.Matemática Discreta Conjuntos y Relaciones A . Busby. 4.A∩B . Sean los conjuntos U={0.3.C.N.A ∪ B y: A . PrenticeHall.Kolman / R. e) La familia de conjuntos L={A-B. 4.4.8. de donde fue extraído este ejercicio.3. página 22.A . C} ¿es una partición del conjunto U-{9}? Justifique su respuesta utilizando diagramas de Venn. cualesquiera: A∪B∪C = A + B + C .C.6. C={1.A∩C .. la siguiente fórmula (un poco más complicada) enuncia el principio de adición aplicado a tres conjuntos A.3.2}.4.7}.8}.3 4. d) Determine el conjunto potencia de B.T. Demostrar todas las propiedades de las operaciones con conjuntos de la figura 4.7.1.B∩C + A∩B∩C _____________________________________________________________ EJERCICIOS 4.2. los conjuntos del ejercicio anterior.

6.6. pero que en general no es distributivo respecto de esta operación.3.11.3. Demuestre las propiedades de los números cardinales de conjuntos. dibuje su diagrama de Venn y demuestre que cumple la propiedad conmutativa. Demuestre que el producto cartesiano es distributivo a derecha y a izquierda respecto de la unión de conjuntos.o sea. genera el conjunto de todos los elementos que pertenecen a A y a B.3. 4. Justifique su respuesta.3.4.3.c}.Pág. determine por extensión: a) b) c) d) AxB BxA AxA BxB e) f) g) h) AxAxA AxAxB AxBxA BxBxB 4. ¿Es P(A) una partición del conjunto A?. indicadas en los teoremas (a) y (b) del punto 4. Dados los conjuntos A={1. Sea A un conjunto finito y P(A) su conjunto potencia.b}. siendo A={a. leen sólo la revista PC-Magazine? (Nota: Este tipo de problemas. exprese la diferencia simétrica como una combinación de operaciones de complemento relativo y uniones e intersecciones entre los conjuntos. 4.Matemática Discreta Conjuntos y Relaciones 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. Se define como diferencia simétrica de conjuntos (simbolizada por ∆ o por ⊕). determine: a) ¿Cuántos de los estudiantes de la encuesta no leen ninguna de las revistas indicadas? b) ¿Cuántos de los estudiantes encuestados.9. e indique cuáles de sus elementos son subconjuntos propios de A. Defina estrictamente la operación. La diferencia simétrica de conjuntos. pero no a ambos. a la operación que aplicada a dos conjuntos A y B. (Utilice diagramas de Venn) 4. Determine el conjunto potencia P(A).8.10. leen sólo la revista Compumagazine? c) ¿Cuántos de los estudiantes encuestados. Utilizando el diagrama de Venn construido en el ejercicio anterior.7. leen sólo la revista Byte? d) ¿Cuántos de los estudiantes encuestados. ¿es asociativa?. recibe el nombre de problemas de conteo) (Sugerencia: Utilice el principio de adición para tres conjuntos) 4.3. que se verifican: Capítulo 4 .b. 30 . Explique.3. 4.13.2} y B={a.3. (hay varias formas) 4. 4.12.

Demuestre que al producto cartesiano es distributivo respecto de la intersección de conjuntos. en el mismo sentido que el indicado en el ejercicio 4. 4. an} y P(A) su conjunto potencia. Justifique. entonces a=c.3.15.3.b}}.. entonces a≠c ∧ b≠d.16..b) ∪ (c. demuestre que: a) Si b) Si c) Si d) Si e) Si K=((a.3.3. 4. . 31 .. K=2. las situaciones indicadas en los distintos pun-tos del ejercicio 4.b) ∩ (c. siendo B⊂A Capítulo 4 .d)) K=((a.d)) K=((a. Tomando la definición de par ordenado (a.13 para la unión. K=1.b) ∪ (c.Pág.3.20. 4.a2.Matemática Discreta Conjuntos y Relaciones a) A x (B ∪ C) = (A x B) ∪ (A x C). b) (B ∪ C) x A = (B x A) ∪ (C x A).3.17. 4. K=1. K=2. 4. d) (B ∪ C) x A ≠ (A x B) ∪ (A x C). siendo B⊂A d) P(A) ∩ P(B). entonces a=c=b=d. 4. ¿Existe algún conjunto X que verifique X≤A para todo A?.3. Represente en diagramas de Venn. Dados los conjuntos A y B. Justifique. ¿Existe algún conjunto X que verifique X≥A para todo A?. Sea A un conjunto finito {a1.3. pero que en general: c) A x (B ∪ C) ≠ (B x A) ∪ (C x A).d)) y y y y y K=0.b) ∩ (c.b) ∩ (c.18.b) = {{a}. 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. determine: a) (A ∩ B) ∩ (A ∆ B) b) U ∆ ∅ c) P(A) ∩ B.d)) K=((a. entonces a=c ∧ b=d.14.19. entonces a=c ∧ b=d.3. {a.d)) K=((a. ¿Qué hecho hace que no se cumpla la distributividad completa entre estas operaciones?.15.

difiere del conjunto que la misma define. usaremos simplemente el término relación toda vez que hagamos referencia a una relación binaria. desde la programación de computadoras hasta la sociología. Definición. Si bien las relaciones entre objetos pueden ser n-arias. de estructura.4.Matemática Discreta Conjuntos y Relaciones __________________________________________________________ Tema 4.4. En símbolos. Capítulo 4 . 4.5.4. esto mismo hicimos con las proposiciones al estudiar las leyes lógicas y con los conjuntos al tratar sus operaciones. pues el concepto podrá luego extenderse a más conjuntos.3.).1. 4. Además. 4. R es una relación de A en B sii: R ⊆ AxB Si bien la relación binaria como concepto abstracto de correspondencia entre objetos. etc.4 Relaciones __________________________________________________________ 4. notas. Así. Clasificación de relaciones según sus propiedades. siendo una herramienta de inestimable valor al momento de efectuar estudios estadísticos. Por esto. Relación inversa. La idea de relación es sencilla y muy intuitiva. __________________________________________________________ El concepto de relación es fundamental en toda la matemática y su uso se extiende a muchas otras disciplinas. Clases de equivalencia y particiones. alumnos.4. números naturales. entre los números naturales y sus cuadrados.4. sabemos que existe una relación entre padres e hijos. 4.6. etcétera.4. Si bien estas relaciones son todas muy diferentes. a todo subconjunto R del producto cartesiano A x B.4. Definición. llamaremos relación binaria de A en B. prescindiendo del tipo de objetos que el conjunto posea (hombres. Representación.2. de hecho. sin perder generalidad. etcétera.4. salvo que se especifique lo contrario.Pág. 4. ya que coincide con el uso cotidiano del vocablo. se formalizará el concepto como relacion entre conjuntos. 4. Definición: Dados dos conjuntos no vacíos A y B. entre los alumnos y sus notas en una planilla de calificación.1. 32 . Concepto de función. serán tratados en lo sucesivo como sinónimos. en general comparten ciertas propiedades que resultan difíciles de establecer claramente mediante el uso del lenguaje natural. trataremos aquí las relaciones binarias que establecen cierta correspondencia entre los objetos de sólo dos conjuntos.

Pág. Capítulo 4 .♦ Definición: Sea R una relación de A en B. que de ser verdadera se denota aRb y en caso contrario aRb. al conjunto formado por todas las primeras componentes de los pares ordenados que efectivamente pertenecen a la relación. b) ∈R. diremos que R ⊆ AxA es "una relación en A" o "una relación sobre A". un subconjunto de A x C.4.5. Lucía} un conjunto de alumnos que rindieron esa asignatura. (Pedro. al conjunto formado por todas las posibles segundas componentes de los pares ordenados de la relación (o sea. la siguiente planilla de notas: Notas de MAD Alumnos Calificaciones Juan 8 Pedro Lucía 3 7 establece una relación R de A en C {(Juan.4. (Lucía.8.7. Representación. (R) = {x/ x∈A ∧ (x. 7)}.9. y) ∈R para algún x∈A} 4.3. (R) = A • Rango de la relación o conjunto de llegada. en vez de una relación de A en A.6. 33 . se dice que "a está relacionado con b" por medio de R o que "b es la imagen de a" a través de R. entonces se denominan: • Alcance de la relación o conjunto de partida.10} el conjunto de notas posibles de los alumnos de Matemática Discreta y sea A={Juan. (R) = B • Dominio de la relación.Matemática Discreta Conjuntos y Relaciones Si (a. Además. las expresiones anteriores representan una proposición lógica. al conjunto B). 3). Ejemplo: Sea C={1.2. al conjunto formado por todas las posibles primeras componentes de los pares ordenados de la relación (o sea. al conjunto A). Pedro. y) ∈R para algún y∈B} • Imagen de la relación o contradominio o codominio. En este sentido. al conjunto formado por todas las segundas componentes de los pares ordenados que pertenecen efectivamente a la relación.2. Entonces. si la relación se establece entre elementos de un mismo conjunto A. 8). (R) = {y/ y∈B ∧ (x.

Por ejemplo. . los conjuntos alcance y rango de la relación (con la posible omisión del recuadro correspondiente al conjunto universal). y . la punta de la flecha.Juan Vvv es amigo de Marcelo Mmm. C 1. reciben el nombre de vértices o nodos y las flechas que los relacionan el nombre de arcos dirigidos o aristas con sentido. • Sea Z el conjunto de los números enteros y x. se muestran las relaciones entre elementos. 6.Leticia Ccc es amiga de Gabriela Aaa. 34 . y toma el nombre de grafo dirigido o digrafo. cualquiera que sea. Por ejemplo: R = {(x. 5. 2. el siguiente digrafo. y mediante flechas. este gráfico suele ser dibujado omitiendo el círculo que representa al conjunto en cuestión. la cual se transformará en proposición verdadera para valores (a. esto es.Matemática Discreta Conjuntos y Relaciones Existen muchas formas de definir y/o representar una relación entre conjuntos pero. siendo la primer componente de cada par ordenado de R el origen de una flecha y la segunda componente. que determinen sin ambigüedades el alcance. b) Por fórmulas: Se especifica un alcance y un rango claramente. e inequívocamente determinados los pares ordenados que la conforman. Argentina. En este contexto.Pág. 3. Pedro . a es potencia entera de b. Decimos que "x" está relacionado con "y" si y sólo si x divide a y en Z. los puntos que representan los elementos del conjunto (o normalmente diminutos círculos etiquetados con el nombre del elemento).y∈Z.y)/ x. se sabe que : . 10.Juan Vvv es amigo de Carlos Ddd. A . Lucía Si la relación se establece entre elementos de un mismo conjunto. sea C el conjunto de calificaciones posibles del ejemplo anterior. b)∈R existirá en la representación una flecha de a hacia b. 9. Por ejemplo: • Entre los hombres y mujeres de la ciudad de Córdoba. debe asegurar que la relación esté bien definida. el rango y cuáles de los elementos del primero están relacionados con cuáles del segundo.y∈N ∧ x > y} c) Diagramas de Venn: Se dibujan según las normas ya estudiadas para la construcción de estos diagramas. representa la relación sobre C. b) relacionados y en proposición falsa para valores (u. Juan . claramente establecidos su alcance y rango. Destacaremos las siguientes por su amplia utilización y facilidad de comprensión (en particular para conjuntos finitos): a) Coloquialmente: La relación se define mediante expresiones del lenguaje cotidiano. Capítulo 4 . 8. Así. 4. y se indica una función proposicional en dos variables (una perteneciente al alcance y otra al rango). v) no relacionados. si (a. 7.

9 . si el par (a. y cada columna con los elementos del segundo conjunto. en la intersección de la fila x con la columna y.1 .4 . se colocará cero si (x. y)∈R como se ejemplifica a a continuación: R Juan Pedro Lucía 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 También pueden utilizarse V o F en lugar de unos y ceros para indicar la pertenecia o no del par ordenado a la relación. en la cual se etiqueta cada fila con los elementos del primer conjunto del producto cartesiano. Relación inversa.10 . Capítulo 4 . ubicando los elementos del alcance en el eje de abscisas (horizontal) y los del rango en el eje de ordenadas (vertical). indicando en la cabecera de la misma la relación a representar y el nombre del alcance.8 .Pág. un arreglo rectangular de números (o tabla de doble entrada). b) pertenece a R. y)∉R. yε C 10 9 8 7 6 5 4 3 2 1 Juan Pedro Lucía xε A 4. f) Gráfico cartesiano: Por último. y marcando un punto en la intersección de las rectas paralelas a los ejes que pasen por la abscisa a y la ordenada b. 35 . en la primera columna y el del rango. el valor de x en la primer columna y el valor de y en la segunda columna de la una misma fila.5 d) Tablas: Es la representación utilizada en la planilla de calificaciones del ejemplo anterior. Así.Matemática Discreta Conjuntos y Relaciones .4. Se confecciona una tabla de dos columnas. e) Matriz: Esto es.7 . en el caso que (x.2 . y) en R. luego se anotan para cada par (x. en la segunda columna. y uno.3 .6 .3. la conocida representación en un sistema de coordenadas cartesianas ortogonales.

a). al subconjunto de pares ordenados (b. si le pertenecen los puntos de la diagonal. llamaremos relación inversa de una relación R de A en B.b) } la misma resulta reflexiva y algunas de sus representaciones son: Capítulo 4 .Pedro). En un digrafo. su rango. x) es un elemento de R. la reflexividad se observará como un lazo existente en cada nodo.4. tales que (a. a) del producto cartesiano BxA. llamaremos diagonal de un producto cartesiano. (b.Matemática Discreta Conjuntos y Relaciones Siempre que una relación R esté definida. Ejemplo: Dado el conjunto A={a. Formalmente: Definición: Dados dos conjuntos no vacíos A y B.Juan). (a. este nombre está inspirado en la ubicación que los mismos ocupan en una representación cartesiana del conjunto producto. 36 . diremos que R es reflexiva si para cualquier elemento x de A. b)∈R. (3. x) ∈R Si la relación está representada en un sistema de ejes coordenados. y todos los pares ordenados que la verifican. a)/ (a. En símbolos: R-1 = { (b.4. diremos que su relación inversa es: R-1 = { ( 8. Si la relación es sobre un conjunto. estableciéndose una nueva relación. Los llamaremos lazos. los elementos de la diagonal antes definida. R⊆A2 es reflexiva sii: ∀x: x∈A → (x. En símbolos. diremos que es reflexiva. un mismo nodo. destacaremos siempre que podamos. al subconjunto formado por todos los pares ordenados que tienen iguales sus componentes primera y segunda.b} y la relación R de A en B definida por: R = { (a. se presentan en su digrafo como arcos que salen de y llegan a.Lucía) }♦ 4. Por su importancia en posteriores estudios y por la claridad que aportan al tema. (7. (b. Definición: Dado un conjunto A y una relación R sobre A. podrán intercambiarse las primeras y segun-das componentes de éstos. Las relaciones pueden ser clasificadas según las propiedades que cumplen. esto es. cómo influyen estas propiedades en las gráficas que las representan. y la denotaremos por R-1.a).b)∈R } Ejemplo: Tomando la relación de los alumnos y sus calificaciones antes definida por tabla. Clasificación de relaciones según sus propiedades. el par ordenado (x.Pág.b). A este fin. se conozcan su alcance.

x) con x∈R. Solución: a) Un elemento de la diagonal de R es el par ordenado (1. b) Por otro lado. proposición evidentemente falsa. 37 . En los digrafos esto significa que. Entonces.1) no pertenece a la relación y la misma es al menos no reflexiva. Probando la relación dada con el mismo. y)∈R → (y. se la denomina no reflexiva y en el caso que ningún elemento de la diagonal pertenece a la relación. la cual siendo falso nos dice que la relación no es simétrica. para cualquier par ordenado de R.Matemática Discreta Conjuntos y Relaciones yε A b a lazo diagonal a b a b xε A lazo Fig. proba-remos la relación con el par ordenado de componentes conmutadas (2. x) ∈R Gráficamente. la misma recibe el nombre de irreflexiva o arreflexiva. determine si es reflexi-va y si es simétrica. siempre que exista un arco desde un nodo a hacia un nodo b. se obtiene 1=2.y)/ x. 4. verificará la relación pues en tal caso se llegaría a la contradicción 0=2. siendo (1. también pertenece a R.♦ Ejemplo: Sea R = { (x. por las propiedades de los números reales y sus operaciones. En símbolos.1)∈R pero (2. Ejemplo: Dada sobre los números reales R la relación y=x+2. Operan-do con estos valores.y∈A) : (x. el par obtenido permutando sus componentes. Definición: Dado un conjunto A y una relación R sobre A. la relación definida resulta ser en irre.flexiva.♦ Si a la relación le pertenecen sólo algunos elementos de la diagonal y otros no. R⊆A2 es simétrica sii: ∀(x.1). Además.2) un elemento de la relación (verifica y=x+1). obtenemos 1=3. por lo cual la relación no es reflexiva.♦ Capítulo 4 .9: Gráficas características de una relación reflexiva. Así. podemos escribir: y=x+2 ↔ y-x=2 lo que muestra que ningún par (x. diremos que R es simétrica si y sólo si.1). se encuentran espejados respecto de la diagonal del primer y tercer cuadrante de un sistema de coordenadas. los puntos que representan a los pares ordenados de una relación simétrica. también existirá uno de b hacia a.2)∉R. por lo cual (1. (1.Pág.y∈N ∧ y=x2 } una relación sobre los naturales.

para cualquier par ordenado (x. tendrá un lazo en cada nodo y a lo sumo un arco dirigido entre dos nodos distintos.c} definida por {(a.b} x {a. z) ∈R) → (x. para todo par de elementos (x.y). para todo (x. y)∈R ∧ (y.b. Obsérvese que su digrafo. Si además.9.z)∈R El digrafo de una relación transitiva.b)∈R y también que (b. entonces (y. (y.y∈A) : (x.z∈A) : ((x. y)∈R se verifica que (y. sin embargo. x) ∈R → x = y El digrafo de una relación antisimétrica. existe algún (x. tiene la siguiente propiedad: cada vez que exista un arco dirigido de x hacia y. R⊆A2 es antisimétrica sii: ∀(x. y)∈R. (b. En un sistema de coordenadas cartesianas. diremos que R es transitiva. y otro de y hacia z. el caso de relaciones no simétricas que. a b c ♦ Ejemplo: La relación representada en la figura 4.b).♦ Si R es una relación en la cual. x)∉R.x)). En símbolos.♦ Definición: Dado un conjunto A y una relación R sobre A. Capítulo 4 . Ejemplo: La relación sobre A={a.a). y)∈R ∧ (y.Matemática Discreta Conjuntos y Relaciones Ejemplo: La relación representada en la figura 4. En símbolos. y)∈R tal que (y.c)} es trivialmen-te antisimétrica.b}. la denominaremos asimétrica. diremos que R es antisimétrica si y sólo si. y) de R. la relación se dice que es no simétrica.z) de la relación. tiene más de un arco dirigido entre a y b. el par obtenido permutando sus componentes. los puntos de la diagonal pertenecerán a la relación. Definición: Dado un conjunto A y una relación R sobre A. no es antisimétrica ya que si bien incluye a la diagonal de {a. x)∉R. o no pertenece a R o x = y.a)∈R. R⊆A2 es transitiva sii: ∀(x. Es de especial interés. 38 .z) también pertenece a la relación. ya que sólo posee elementos de la diagonal de AxA y ningún otro. contienen a la diagonal (pares de la forma (x. pero no se distinguirá simetría "espeja-da" respecto de la diagonal en los otros puntos. (c.Pág.9. existirá un arco dirigido de x a z. si y sólo si. x) ∈R. se tiene que (a.y. es simétrica ya que para todo par ordenado se verifica que si (x. se verifica que (x.

Solución: En fórmulas.Pág. Formalmente: Definición: Dados tres conjuntos no vacíos A.2.y)∈R1 ∧ (y.5}. B) sii A⊆B.y)/ x∈A ∧ y∈B ∧ y=x2} y R2={(y.0. podemos pensar la inclusión (⊆) de conjuntos como una relación binaria de UxU. para algún y∈B} En el sentido que una relación establece una proposición lógica de pertenencia de un par ordenado a un conjunto R. B y C son subconjuntos de U tales que A⊆B y B⊆C. y aplicar directamente R que verifica xRz. aplicar una relación R1 que verifique xR1y y seguidamente una R2 que verifique yR2z. la inclusión entre conjuntos es una relación transitiva. En un digrafo. suele escribirse también la expresión aRb como b=R(a). podría pensarse en algún tipo de equivalencia entre. en el sentido que. De esta manera.z)∈R2. B y C. xRz son verdaderas. siendo los elementos de la misma. 2} y U={x/ x∈R}.z)/ y∈B ∧ z∈C ∧ z=y/2}.♦ La transitividad de una relación. Ejemplo: Sean A={-2. a la relación de A en C. y dos relaciones R1 de A en B y R2 de B en C. se cumple que A⊆C. si xRy.Matemática Discreta Conjuntos y Relaciones y x z Ejemplo: Dado un conjunto universal U. 1. C={0. la hace funcionar como una relación después de otra. Con esta notación.3. B={1. podemos escribir más intuitivamente R2°R1(a) = R2((R1(a)). estas serian dos formas distintas de llegar de un nodo x a un nodo z. llamaremos composición de R1 y R2 (y la denotaremos por R2°R1). yRz. Si definimos las relaciones: R1={(x. 39 .-1.z)/ x∈A ∧ z∈C ∧ ∃y∈B/ z = y/2 ∧ y=x2} y su diagrama de Venn es: Capítulo 4 .1. resultante de aplicar primero R1 y luego R2. En símbolos: R2°R1 = {(x. se tiene que: R2°R1={(x.2}. determine R2°R1.z) / (x. si A.4. pares ordenados de conjuntos (A. en la notación dada para la composición de relaciones. ya que (por las propiedades ya vistas de esta operación). lo que justifica el orden en que se presentan las relaciones originales.

R⊆AxA es una relación de equivalencia si: i) ∀x∈A : (x. si y sólo si es reflexiva.1 . simétrica y transitiva. y otro formado por la concatenación de arcos dirigidos de A a B y de B a C.2).y)∈R → (y. En símbolos. se llama relación de equivalencia.2)}.3 . si y sólo si.z∈A : (x.z)∈R La primera. se llama relación de orden parcial.x)∈R → y=x iii) ∀x. (2. Así. La segunda. Ejemplo: Tomemos nuevamente nuestra conocida inclusión de conjuntos. z) con x∈A y z∈C.-2 .1 . antisimétrica y transitiva. para hacer más legible el gráfico (en realidad tienen elementos en común por lo que habría que dibujarlos intersecándose). aquellos pares ordenados (x.1 . que están conectados mediante la dos arcos. En símbolos. B y C.y∈A : (x. si bien existe un arco de -1∈A a 1∈B.2 R1 B 1 .5 R2 C .2 .y. entonces y según las anteriores definiciones.z)∈R →(x.Pág.♦ Debe notarse en el gráfico del ejemplo anterior.y.z)∈R Definición: Una relación sobre un conjunto A.x)∈R iii) ∀x. es reflexiva. Definición: Una relación sobre un conjunto A.y)∈R ∧ (y. que sólo pertenecen a la relación compuesta R2 °R1.x)∈R ii) ∀x.1)∉R2° R1 ya que no existe un arco de 1∈B hacia algún elemento de C. reviste gran importancia ya que permite definir un criterio de ordenación para los elementos de un conjunto a través de R.0 .x)∈R ii) ∀x. el par (-1. son de alguna forma semejantes o equivalentes bajo R.z∈A : (x. como una relación sobre algún U2. dice que aquellos elementos relacionados por medio de una relación de equivalencia.y)∈R ∧ (y.-1 .y∈A : (x.0 . Identificando los pares verifican a R (líneas punteadas). la inclusión es una relación de orden parcial ya que por el álgebra de conjuntos estudiada. R⊆AxA es de orden parcial si: i) ∀x∈A : (x.z)∈R →(x. se cumplen: Capítulo 4 .2 R 2 R1 donde se han dibujado separados los conjuntos A. daremos un nombre especial a las relaciones que cumplen simultáneamente algunas de las propiedades definidas hasta el momento. obtene-mos : R2°R1={(-2.y)∈R ∧ (y.Matemática Discreta Conjuntos y Relaciones A . Por último. uno directamente desde al conjunto A hacia el C. 40 .4 .

Definimos para ello lo siguiente: Definición: Sea R una relación de equivalencia sobre el conjunto no vacío A y sea "a" un elemento de A.y. para cualquier terna de conjuntos A. la misma no es una relación simétrica. (y se la denota por [a]). por lo menos a∈[a] (propiedad reflexiva de la relación).a)∈R} Deben recalcarse dos consecuencias importantes de esta definición: a) La clase de equivalencia de un elemento a∈A. a través de una relación de equivalencia R⊆AxA. Clases de equivalencia y particiones.♦ 4.3. ya que por ser R una relación de equivalencia. para cualquier conjunto A. por lo tanto.3. que conecta los conceptos de clases de equivalencia recién definido y el de partición de un conjunto definido la sección 4. es una partición de A. es siempre un subconjunto de A.♦ Ejemplo: Estudiemos la siguiente relación sobre los números reales: R = {(x.y∈R ∧ y=x} Por las propiedades de los números reales. B y C. al no ser la inclusión conmutativa en general (de A⊆B no puede deducirse que B⊆A.5. se verifican: a) ∀ x∈R : x = x. Dada una relación de equivalencia R sobre un conjunto. se dice de las componentes de los pares ordenados que pertenecen a ella. b) A⊆B ∧ B⊆A → A=B.4. TEOREMA: El conjunto de todas las clases de equivalencia de elementos de un conjunto A. Sin embargo. b) ∀ x. siendo R ⊆ A2: [a] = {x∈A/ (x.Matemática Discreta Conjuntos y Relaciones a) A⊆A. b) [a] resulta ser siempre no vacía. Capítulo 4 . que son equivalentes a través de R. no constituye una relación de equivalencia. Se establecerá ahora un importante resultado. R (la igualdad de números reales) resulta ser una relación de equiva-lencia. c) ∀ x. determinar todos los elementos del conjunto que son equivalentes a uno dado y sus propiedades. En símbolos. se llama clase de equivalencia del elemento "a".Pág.z∈R : x=y ∧ y=z → x=z.y)/ x. al subconjunto de todos los elementos de A equivalentes con el elemento "a" a través de R. a menos que A=B). c) A⊆B ∧ B⊆C → A⊆C. 41 . Nos interesará en particular.y∈R : x=y → y=x. para cualquier par de conjuntos A y B. y por lo tanto.

que las distintas clases de equivalencia de elementos de A son disjuntas por pares. con un razonamiento similar al anterior.a)∈R ∧ (a. sabemos que toda clase [x] es un subconjunto de A. por definición de clases y de intersección. pero por (iii). por la transitividad de R. ya que para cualquier elemento x∈[a]. por definición de clase de equivalencia. entonces tenemos que: 1) [a] = {x∈A/ (x.c)} Se pide: a) Indique la clasificación de la relación según sus propiedades.a)∈ R. 3) [b] = {x∈A/ xRb}. a) Por definición de clase de equivalencia. Demostración: Para demostrar que la familia L es una partición de A.b)∈R. resulta igual a A. (a. Entonces. y luego. por lo menos u∈[u].b)∈[b].a)∈R}. Luego: (u. 2) (x.b). se sigue que.b)∈R. por lo cual no existen elementos en [x] que no estén en A. se deberá probar primero que A puede escribirse como la unión de todas sus clases de equivalencia a través de R. De (i) e (ii). (2) y (3). muestre las clases de equivalencia de A a través de R.b)∈R entonces [a]⊆[b] (i).b. la simetría de R asegura que si (a. resulta de (1).b∈A. además se tiene que para cada clase de equivalencia [u] de elementos de A. por definición de clase de equivalencia. 42 .b).b)∈R → (x. la unión de todas las clases de equivalencia de elementos de A a través de R. (c.a).Matemática Discreta Conjuntos y Relaciones Hipótesis: Sea A un conjunto no vacío y R una relación de equivalencia en A. se prueba que [b]⊆[a] (ii). sean además a. b) Supongamos primero que (a.b)∈R debe cumplirse que (b. lo que dice que si (a.Pág. si (a. que x∈[b]. esto implica que [u]=[a] ∧ [u]=[b] lo cual es un absurdo ya que se supuso que [a]≠[b].b)∈R entonces [a]=[b] (iii). Tesis: L={[a]/ a∈A} es una partición de A. (b. Así. no existe un tal u∈A. Supóngase ahora que [a] y [b] son dos elementos cualesquiera de la familia L con [a]≠[b] y que existe algún u∈A tal que u∈[a]∩[b].a). por lo cual [a]∩[b]=∅ lo que concluye la demostración de la tesis. Capítulo 4 . Además. b) ¿Es R una relación de equivalencia? c) De ser cierto.a)∈[a] y (u. por lo cual.c} y la relación sobre AxA definida por: R={(a. (b.♦ Ejemplo: Sea A={a.

la segunda.b)∈f (o (f) = A ∧ (f) = A) b) ∀(a∈A). f ⊆ AxB es una función sii: a) ∀a∈A: ∃b∈B/ (a.b)∈R ∧ (b. Concepto de función. Definición: Sean A y B conjuntos no vacíos y f una relación de A en B.c∈B): ((a. En símbolos. de todo nodo deberá partir uno y sólo un arco (condición (a)) y sólo podrá llegar al mismo un arco (condición (b)).Pág. el alcance coincide con el dominio de la relación y además.c)∈f) → b=c La primera condición establece que todo elemento del conjunto de partida. a)2) y a)3). como un tipo muy importante de relación y de la más amplia utilización en ciencias. tendrá a lo sumo un punto en común con la gráfica de la función. Por último. 4. la segunda condición estable-ce que una recta vertical (perpendicular al eje de abscisas). b} [b] = {a. introduciremos el concepto de función. indica que para cada elemento del conjunto de partida.4.a)∈R ∧ (b. si y sólo si. la relación resulta transitiva.a)∈R → (a. y siendo los únicos pares fuera de la diagonal.b)∈f ∧ (a. resultan iguales sus segundas componentes.Matemática Discreta Conjuntos y Relaciones a c b Solución: a) 1) (a.b)∈R ∧ (c.c)∈R.b)∈R ∧ (b.a)∈R. resulta que la familia L={[a]. indican que la relación es simétrica.a)∈R. Capítulo 4 . 43 . (b. es una primer componente de algún par ordenado de la relación. dados dos pares ordenados cualesquiera de f con sus primeras componentes iguales. en un sistema de coordenadas cartesianos. por lo que la relación es reflexiva. existe un sólo elemento en el conjunto de llegada. donde se ha omitido la clase de equivalencia [b] por la definición de conjunto que obvia los elementos repetidos para su determinación. c) [a] = {a. 3) (a. Entonces "f" recibe el nombre de función. la relación R es de equivalencia en A. y (1).6. En un digrafo. 2) (a. Gráficamente. b) De a)1).[c]} es una partición de A. b} [c] = {c}♦ Como [a]=[b].

ya que algún elemento de A tendría por f más de una imagen.Pág.f(x)) del plano cartesiano. En general. clasificaciones de las relaciones.b)∈f. distinguen función de aplicación asignando a ésta última dicha condición. Ejemplo: Sean A={1. si una función se establece mediante fórmula. 44 . etc. relaciones. y la función misma es a veces nombrada como aplicación (f aplica A en B)13.b). haciendo referencia a las propiedades gráficas involucradas. la condición de coincidencia entre alcance y dominio. x recibe el nombre de variable independiente y en un gráfico cartesiano se anotan sus valores sobre el eje de abscisas. como en y=f(x). g. Se estila además. con su primer componente perteneciente al conjunto A. el alcance de f igual al dominio de f y la imagen de A a través de f igual a {a. la misma deja de ser función ya que el alcance no sería igual al dominio. (2. interesan en muchas aplica-ciones prácticas. composición de relaciones. también dejaría de ser función. Capítulo 4 .c} el alcance y rango de la relación: f = {(1. o como transformación de A en B. a saber: 13 Algunos autores omiten en la definición de función. obteniendo así funciones de varias variables.) son también aplicables a funciones ya que las mismas son en primera instancia. Todos los conceptos que estudiamos (relación inversa. h.Matemática Discreta Conjuntos y Relaciones Utilizaremos normalmente letras minúsculas f. por otro lado. el nombre de argumento de la función. La gráfica de la función queda así formada por los puntos (x.♦ Si en el ejemplo anterior.3. el b el de imagen de a bajo f o el de valor de f en a. (3. Así.. y recibe el nombre de variable dependiente y sus valores se ubican sobre el eje de ordenadas. si agregamos cualquier otro par ordenado distinto de los enlistados. para denotar aquellas relaciones que sean funciones.b.2. quitamos de la relación cualquiera de los pares ordenados que la componen. por otro lado. 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. En particular.a)} Entonces f es función. (4. De igual forma que las relaciones.b} ⊂B.4} y B={a.a). el concepto de función puede ser extendido a más de dos conjuntos. denotar que f es una función de A en B de la siguiente forma: f: A → B y si (a. se representa al elemento b∈B como f(a): b=f(a) El elemento a recibe también.a). etc. dos propiedades que una función puede cumplir.

la que suele escribirse f(A)=B. Ejemplo: Sean como antes A={1.3. esta es la forma de enunciar correctamente la numerabilidad de un conjunto.3.c). f:A→B es suprayectiva sii: ∀b∈B: ∃a∈A/ b=f(a) También se dice que f es sobreyectiva o suryectiva si cumple la propiedad enunciada en la anterior definición. f:A→B es inyectiva sii: ∀a.a). (2. el alcance y rango de la rela-ción: f = {(1. ya que existe un elemento c∈B que no es imagen por f de ningún elemento del dominio. como una función f:N→{a. (3. b}* inyectiva y suprayectiva. como en: g = {(1. En símbolos. (4.4} y B={a. En símbolos. b}* es contable (sección 4.b. (3. (4.b∈A: a ≠ b → f(a) ≠ f(b)) ∧(∀b∈B: ∃a∈A/ b=f(a)) Capítulo 4 . Además.c}. La definición de suryectividad establece en pocas palabras.6. Entonces "f" recibe el nombre de suprayectiva si y sólo si. En el ejemplo de función citado precedentemente. al mismo tiempo. puede verse que por el primer y último par. si cambiamos el tercer par orde-nado.a)} resulta ahora g. es a la vez inyectiva y suprayectiva. página 26). todo elemento de B es imagen de algún elemento de A. Sin embargo.a).Matemática Discreta Conjuntos y Relaciones Definición: Sea f:A→B una función de A en B. 45 .a). claramente f resulta ser no inyectiva. f:A→B es biyectiva sii: (∀a. Definición: Sea f:A→B una función de A en B. se reconocerá a la aplicación concebida en aquella oportunidad. ser una función suprayectiva.♦ Si se recuerda el razonamiento seguido para demostrar que el conjunto {a. Por otro lado: Definición: Sea f:A→B una función de A en B. Entonces "f" recibe el nombre de inyectiva si y sólo si. si y sólo si.b). que el rango de la relación debe coincidir con la imagen de la misma.b). abusando de la notación establecida (pero intuitivamente clara). De hecho. (2.2. g no es inyectiva ya que aplica el elemento 1∈A y el 4∈A en la misma imagen a∈B. a elementos distintos del dominio corresponden elementos distintos de la imagen. En símbolos.Pág.a)} la misma no es suprayectiva. Entonces "f" recibe el nombre de biyectiva (y se dice que es una biyección).b∈A: a ≠ b → f(a) ≠ f(b) También se dice que f es una función uno a uno de A en B. ya que f(1)=a y f(3)=a.

46 . Justifique sus respuestas.3.4. Grafique la relación en un diagrama de ejes coordenados y muestre su digrafo. tabla y matriz. en la ejercitación que sigue.2. la relación inversa del ejercicio 4.1. ¿es la relación "≥" una relación de orden parcial?. _____________________________________________________________ EJERCICIOS 4.4. Dada la siguiente relación sobre el conjunto de los números enteros Z: R = {(-2.-8).4 4. Enumere sus pares ordenados. ¿Es además esta relación de equivalencia?.4. Indique: ¿Cuál es el alcance de la relación? ¿Cuál es el rango de la relación? ¿Cuál es el dominio de la relación? ¿Cuál es el codominio de la relación? Represente la relación por tabla y matriz. analice si la misma es una biyección. exceden el ámbito de este texto. figurando algunas otras pro-piedades de las mismas. e indique: a) ¿Cuál es el alcance de la relación? b) ¿Cuál es el rango de la relación? c) ¿Cuál es el dominio de la relación? d) ¿Cuál es el codominio de la relación? e) ¿Es esta relación una función? 4. (1.1). su simetría y su transitividad. (0. (2. 4. pero una discusión detallada de las propiedades de las funciones y sus consecuencias matemáticas.8). analice si la misma es una biyección. correspondiendo su estudio formal al Análisis Matemático y al Álgebra.1. En caso afirmativo. (3. (-1.Pág. Defina por extensión. h) Establezca si R es una función.0). Sea R la relación que se establece entre un país de América del Sur integrante del Mercosur a la fecha. finalizaremos aquí nuestro estudio de funciones.Matemática Discreta Conjuntos y Relaciones El tema de funciones es extremadamente extenso y sus aplicaciones muy variadas. En los números naturales. g) Clasifique la relación según su reflexividad. y su ciudad capital.1). a) b) c) d) e) f) g) Capítulo 4 .4.27)} indique: a) b) c) d) e) f) ¿Cuál es el alcance de la relación? ¿Cuál es el rango de la relación? ¿Cuál es el dominio de la relación? ¿Cuál es el codominio de la relación? Represente la relación por fórmula. En caso afirmativo. Por esto.4. 4. Grafique la relación en un diagrama de Venn.4. Establezca si R es una función.

si f es una función biyectiva. ¿son funciones?.y) / y = x} c) R = {(x.y) / y = x(1/2)} 4. Utilizando el concepto de relación inversa.y) / y = 4x} e) R = {(x. Cite al menos dos ejemplos de relaciones: a) Reflexivas b) Simétricas c) Transitivas d) De orden parcial e) Irreflexivas f) Antisimétricas g) No transitivas h) De equivalencia 4.Matemática Discreta Conjuntos y Relaciones 4.4. Dé al menos de dos ejemplos de funciones que: a) Sean inyectivas pero no suprayectivas. entonces R-1 es una relación antisimétrica. antisimétricas.4. l) Si R es una relación reflexiva.4. i) Si R y S son relaciones reflexivas.5. analice además si son una biyección. k) Si R es una relación simétrica. h) Si R y S son relaciones simétricas. a) R = {(x. En el caso de que la proposición sea verdadera. 4. b) Sean suprayectivas pero no inyectivas. Demuestre que. entonces R ∪ S es una relación reflexiva. entonces R ∩ S es una relación transitiva. a) Si R y S son relaciones transitivas. son re-flexivas.6. en caso contrario. En caso afirmativo. su función inversa también es una biyección.7. f) Si R y S son relaciones reflexivas. entonces R-1 es una relación transitiva.4. entonces R ∪ S es una relación simétrica. entonces R-1 es una relación simétrica. entonces R ∪ S es una relación transitiva. entonces R ∩ S es una relación simétrica. Capítulo 4 . e) Si R y S son relaciones simétricas. entonces R ° S es una relación transitiva. transitivas. c) Si R y S son relaciones reflexivas.Pág. 47 . Diga si las siguientes relaciones en el conjunto de los números enteros. 4. c) Sean biyectivas. m) Si R es una relación antisimétrica. d) Si R y S son relaciones transitivas. Determine la verdad o falsedad de las siguientes proposiciones. entonces R ∩ S es una relación reflexiva. entonces R ° S es una relación simétrica. de orden parcial y/o de equivalencia. g) Si R y S son relaciones transitivas.10.4. f es una función biyectiva. proporcione una demostración. b) Si R y S son relaciones simétricas. entonces R-1 es una relación reflexiva.4.11.y) / y < x} d) R = {(x. simétricas. entonces R ° S es una relación reflexiva.8. j) Si R es una relación transitiva.4.y) / y = x2} b) R = {(x. 4.9. indique un contraejemplo. 4. demuestre que f-1 (la relación inversa de f) es función si y sólo si. Las relaciones del ejercicio anterior.

4. d) ¿Es R una función?.14. si la proposición p es verdadera. Sea A un conjunto y sea U el conjunto universal. sii m divide a (ab) en Z.4.4. 4.1} la función de veracidad proposicional definida por: v(p) = 1. como una proposición lógica p:x∈A. Si R y S son relaciones de equivalencia.b∈Z y sea m∈Z+.2}. entonces cC(x)=cA(x) .18. ¿Es R ° S una relación de equivalencia? 4. Sea A={1.12.19. 4. b) Demuestre que si C=∼A.15. ¿Cuántas clases de equivalencia pueden definirse en A? 4.Pág.3.13.16. y cA(x) = 0. y se lo denota por: a ≡ b (mod m) Demuestre que la congruencia módulo m en Z es una relación de equivalencia. Se dice que a es congruente con b módulo m. entonces cC(x)=cA(x) + cB(x).5} y B={1. Capítulo 4 . a) ¿Es efectivamente v una función? b) ¿Es esta función inyectiva? c) ¿Es suprayectiva? 4. ∀x∈U. entonces cC(x) = 1 . Si pensamos en la pertenencia de un elemento a un conjunto.4. ¿Y la doble implicación? 4.4.4. ∀x∈U. si la proposición p es falsa. d) Demuestre que si C=A∩B. Demuestre que la equivalencia lógica es una relación de equivalencia. y se define como: cA(x) = 1.4. cB(x). y v(p) = 0. así definida: a) Determine alcance.Matemática Discreta Conjuntos y Relaciones 4. rango. c) ¿Es R una relación de equivalencia?. b) Clasifique a R según sus propiedades. dominio e imagen de R.17. dominio e imagen de c.2. Sea además la relación R de A en B definida por a es múltiplo entero de b. la función de veracidad proposicional del ejercicio anterior recibe el nombre de función característica de A en U. 4. si x no es un elemento de A. si x es un elemento de A.cA(x). ∀x∈U. 48 .4. Sea P el conjunto de todas las proposiciones lógicas y sea v:P→{0. Para esta función. ¿Es la implicación simple una relación de orden en el conjunto de las proposiciones lógicas?.4. c) Demuestre que si C=A∪B. Sean a. Sea R una relación de equivalencia sobre un conjunto finito A. a) Determine alcance. rango.

49 .Pág.Matemática Discreta Conjuntos y Relaciones Capítulo 4 .

Sign up to vote on this title
UsefulNot useful