P. 1
conjuntos

conjuntos

|Views: 172|Likes:
Publicado porChristopher Zuñiga

More info:

Published by: Christopher Zuñiga on Feb 23, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/14/2013

pdf

text

original

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

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

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

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

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

2.2} y B={2.6. 4. 5.1. 9 .4. en caso negativo.1.10}. Defina por comprensión los conjuntos A y B del anterior ejercicio. a) b) c) d) e) Los hombres altos.Matemática Discreta Conjuntos y Relaciones Aquí.Pág. 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. Diga cuándo dos conjuntos son distintos y estudie todos los casos posibles. indique porqué no lo hacen y ejemplifique. El conjunto de todas las letras "m" de esta página. Estrictamente hablando. 3. 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. de los primeros nueve naturales. Sea U={1. Las estrellas brillantes del cielo austral.6. 4.3. establecemos una relación entre dos nombres de una misma entidad.1. para destacarlas como tal.10}. _____________________________________________________________ EJERCICIOS 4. el conjunto universal de referencia y sean A ={1. 1. Diga si las siguientes expresiones definen algún conjunto. en realidad nos estamos refiriendo a dos representaciones o caracterizaciones del mismo conjunto. Capítulo 4 . En caso afirmativo.4.8. Las proposiciones lógicas de la lógica tradicional.1 4. 6.1. 7} 4. 4.4.1.1. 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. 4.7. 7.6. Los temas del capítulo de lógica matemática de este texto.1. 6. Defina por comprensión y extensión los siguientes conjuntos: a) b) c) d) e) Los naturales pares menores que diez. 2. defina el conjunto en símbolos y diga si es finito o infinito. cuando decimos que dos conjuntos son iguales.9.5. 7} {1.3. se han utilizado los conocidos conectivos lógicos (en C y D).2. 3. 1} {2. Los actuales habitantes de la Luna. Los números enteros negativos mayores que menos cuatro. 3. Los algoritmos de exactamente cuatro instrucciones. Los cuadrados menores que diez.8. 5.5. 7.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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. 25 .10. Estamos diciendo más o menos lo mismo. 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. 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. pueden establecerse otras relaciones útiles entre cualquier conjunto A y los conjuntos universal U y vacío ∅.8: Algunas propiedades de las operaciones de conjuntos. Además. estableceremos el siguiente principio. Conmutatividad: a) De la intersección: A ∩ B = B ∩ A b) De la unión: A∪B=B∪A 4.Matemática Discreta Conjuntos y Relaciones 1. 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. sino que emana de la estructura del sistema formal construído. Idempotencia: a) De la intersección: A ∩ A = A b) De la unión: A∪A=A 3. Nótese la similitud entre la anterior tabla de propiedades y la tabla de leyes lógicas de la figura 3. con otras palabras. el cual es también válido para la lógica proposicional (con los arreglos de notación correspondientes): Capítulo 4 .Pág. 4. Involución: ~(~A) = A 2. claramente esta semejanza no es una casualidad. Leyes de DeMorgan: a) ~(A ∪ B) = ~A ∩ ~B b) ~(A ∩ B) = ~A ∪ ~B Fig.

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

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

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

B={1.6.5. página 22.8. B. Sean los conjuntos U={0. la siguiente fórmula (un poco más complicada) enuncia el principio de adición aplicado a tres conjuntos A. los conjuntos del ejercicio anterior.Pág. Demostrar todas las propiedades de las operaciones con conjuntos de la figura 4..A .B = A + B . C} ¿es una partición del conjunto U-{9}? Justifique su respuesta utilizando diagramas de Venn. para otros sobre el tema conteo.3.2.3.T.2.9}. C={1.C 9) A x B 10) B x A 11) ~A x B 12) (A ∩ C) ∩ ~B c) Defina dos particiones de A. 1984.2. dos de B y dos de C. PrenticeHall. (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. Capítulo 4 .B = A ∪ B . (Nota: recuerde que la distributividad debe demostrarse a derecha y a izquierda) 4.1.12).3.Matemática Discreta Conjuntos y Relaciones A . 29 . sus cardinalidades.N. B y C.B∩C + A∩B∩C _____________________________________________________________ EJERCICIOS 4.1.3 4.C. Busby.A ∪ B y: A .4. de donde fue extraído este ejercicio. determine para los conjuntos definidos en los puntos (b.2}. Una encuesta editorial realizada en la U. Por último.A∩B .Kolman / R.3.6. 4.7. 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.3.7}.5.4.A∩C .C. A={2.5.B y muchos otros.8. B y C.R. cualesquiera: A∪B∪C = A + B + C . Sea A cualquier conjunto y U el conjunto universal. determinó en 1995 que12: 64 estudiantes leen la revista BYTE 12 Véase Estructuras de Matemáticas Discretas para la Computación. e) La familia de conjuntos L={A-B.3.4.-F. a) Defina por comprensión los conjuntos A. 4.1) a (b.3. Siendo A.8}. B y C. d) Determine el conjunto potencia de B.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->