jos e de jesus lavalle mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 relaciones i.pdf · 2021. 1....

172
Relaciones I Jos´ e de Jes´ us Lavalle Mart´ ınez Benem´ erita Universidad Aut´onoma de Puebla Facultad de Ciencias de la Computaci´ on Estructuras Discretas CCOS 009 Primavera 2021 Jos´ e de Jes´ us Lavalle Mart´ ınez (FCC-BUAP) Relaciones I Primavera 2021 1 / 46

Upload: others

Post on 31-Mar-2021

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones I

Jose de Jesus Lavalle Martınez

Benemerita Universidad Autonoma de PueblaFacultad de Ciencias de la Computacion

Estructuras Discretas CCOS 009

Primavera 2021

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 1 / 46

Page 2: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Contenido

1 Motivacion

2 Relaciones binarias

3 Relaciones sobre un conjunto

4 Propiedades de las Relaciones

5 Combinando Relaciones

6 Ejercicios

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 2 / 46

Page 3: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion I

1 Las relaciones entre elementos de conjuntos ocurren en muchoscontextos.

2 Todos los dıas tratamos con relaciones como las que existen entre unaempresa y su numero de telefono, un empleado y su salario, unapersona y un familiar, etc.

3 En matematicas estudiamos relaciones como las que existen entre unnumero entero positivo y otro que divide, un numero entero y otroque es congruente con modulo 5, un numero real y otro mayor que el,un numero real x y el valor f(x) donde f es una funcion, y asısucesivamente.

4 Relaciones como la que existe entre un programa y una variable queutiliza, y la que existe entre un lenguaje de programacion y unadeclaracion valida en este lenguaje, surgen a menudo en las cienciasde la computacion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 3 / 46

Page 4: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion I

1 Las relaciones entre elementos de conjuntos ocurren en muchoscontextos.

2 Todos los dıas tratamos con relaciones como las que existen entre unaempresa y su numero de telefono, un empleado y su salario, unapersona y un familiar, etc.

3 En matematicas estudiamos relaciones como las que existen entre unnumero entero positivo y otro que divide, un numero entero y otroque es congruente con modulo 5, un numero real y otro mayor que el,un numero real x y el valor f(x) donde f es una funcion, y asısucesivamente.

4 Relaciones como la que existe entre un programa y una variable queutiliza, y la que existe entre un lenguaje de programacion y unadeclaracion valida en este lenguaje, surgen a menudo en las cienciasde la computacion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 3 / 46

Page 5: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion I

1 Las relaciones entre elementos de conjuntos ocurren en muchoscontextos.

2 Todos los dıas tratamos con relaciones como las que existen entre unaempresa y su numero de telefono, un empleado y su salario, unapersona y un familiar, etc.

3 En matematicas estudiamos relaciones como las que existen entre unnumero entero positivo y otro que divide, un numero entero y otroque es congruente con modulo 5, un numero real y otro mayor que el,un numero real x y el valor f(x) donde f es una funcion, y asısucesivamente.

4 Relaciones como la que existe entre un programa y una variable queutiliza, y la que existe entre un lenguaje de programacion y unadeclaracion valida en este lenguaje, surgen a menudo en las cienciasde la computacion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 3 / 46

Page 6: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion I

1 Las relaciones entre elementos de conjuntos ocurren en muchoscontextos.

2 Todos los dıas tratamos con relaciones como las que existen entre unaempresa y su numero de telefono, un empleado y su salario, unapersona y un familiar, etc.

3 En matematicas estudiamos relaciones como las que existen entre unnumero entero positivo y otro que divide, un numero entero y otroque es congruente con modulo 5, un numero real y otro mayor que el,un numero real x y el valor f(x) donde f es una funcion, y asısucesivamente.

4 Relaciones como la que existe entre un programa y una variable queutiliza, y la que existe entre un lenguaje de programacion y unadeclaracion valida en este lenguaje, surgen a menudo en las cienciasde la computacion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 3 / 46

Page 7: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion II

Las relaciones entre elementos de dos conjuntos se representanmediante la estructura denominada relacion binaria, que es solo unsubconjunto del producto cartesiano de los conjuntos.

Las relaciones se pueden utilizar para resolver problemas tales comodeterminar que pares de ciudades estan vinculadas por vuelos deaerolıneas en una red o encontrar un orden viable para las diferentesfases de un proyecto complicado.

Introduciremos una serie de propiedades diferentes que puedendisfrutar las relaciones binarias.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 4 / 46

Page 8: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion II

Las relaciones entre elementos de dos conjuntos se representanmediante la estructura denominada relacion binaria, que es solo unsubconjunto del producto cartesiano de los conjuntos.

Las relaciones se pueden utilizar para resolver problemas tales comodeterminar que pares de ciudades estan vinculadas por vuelos deaerolıneas en una red o encontrar un orden viable para las diferentesfases de un proyecto complicado.

Introduciremos una serie de propiedades diferentes que puedendisfrutar las relaciones binarias.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 4 / 46

Page 9: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Motivacion II

Las relaciones entre elementos de dos conjuntos se representanmediante la estructura denominada relacion binaria, que es solo unsubconjunto del producto cartesiano de los conjuntos.

Las relaciones se pueden utilizar para resolver problemas tales comodeterminar que pares de ciudades estan vinculadas por vuelos deaerolıneas en una red o encontrar un orden viable para las diferentesfases de un proyecto complicado.

Introduciremos una serie de propiedades diferentes que puedendisfrutar las relaciones binarias.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 4 / 46

Page 10: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias I

La forma mas directa de expresar una relacion entre elementos de dosconjuntos es utilizar pares ordenados formados por dos elementosrelacionados.

Por esta razon, los conjuntos de pares ordenados se denominanrelaciones binarias.

En esta seccion presentamos la terminologıa basica utilizada paradescribir las relaciones binarias.

Definicion 1

Sean A y B conjuntos. Una relacion binaria de A a B es un subconjuntode A×B.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 5 / 46

Page 11: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias I

La forma mas directa de expresar una relacion entre elementos de dosconjuntos es utilizar pares ordenados formados por dos elementosrelacionados.

Por esta razon, los conjuntos de pares ordenados se denominanrelaciones binarias.

En esta seccion presentamos la terminologıa basica utilizada paradescribir las relaciones binarias.

Definicion 1

Sean A y B conjuntos. Una relacion binaria de A a B es un subconjuntode A×B.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 5 / 46

Page 12: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias I

La forma mas directa de expresar una relacion entre elementos de dosconjuntos es utilizar pares ordenados formados por dos elementosrelacionados.

Por esta razon, los conjuntos de pares ordenados se denominanrelaciones binarias.

En esta seccion presentamos la terminologıa basica utilizada paradescribir las relaciones binarias.

Definicion 1

Sean A y B conjuntos. Una relacion binaria de A a B es un subconjuntode A×B.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 5 / 46

Page 13: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias I

La forma mas directa de expresar una relacion entre elementos de dosconjuntos es utilizar pares ordenados formados por dos elementosrelacionados.

Por esta razon, los conjuntos de pares ordenados se denominanrelaciones binarias.

En esta seccion presentamos la terminologıa basica utilizada paradescribir las relaciones binarias.

Definicion 1

Sean A y B conjuntos. Una relacion binaria de A a B es un subconjuntode A×B.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 5 / 46

Page 14: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias II

En otras palabras, una relacion binaria de A a B es un conjunto R depares ordenados, donde el primer elemento de cada par ordenadoproviene de A y el segundo elemento proviene de B.

Usamos la notacion aRb para denotar que (a, b) ∈ R y a��Rb paradenotar que (a, b) /∈ R. Ademas, cuando (a, b) pertenece a R, se diceque a esta relacionado con b mediante R.

Las relaciones binarias representan relaciones entre los elementos dedos conjuntos. Introduciremos relaciones n−arias, que expresanrelaciones entre elementos de mas de dos conjuntos, mas adelante eneste capıtulo.

Omitiremos la palabra “binario” cuando no haya peligro de confusion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 6 / 46

Page 15: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias II

En otras palabras, una relacion binaria de A a B es un conjunto R depares ordenados, donde el primer elemento de cada par ordenadoproviene de A y el segundo elemento proviene de B.

Usamos la notacion aRb para denotar que (a, b) ∈ R y a��Rb paradenotar que (a, b) /∈ R. Ademas, cuando (a, b) pertenece a R, se diceque a esta relacionado con b mediante R.

Las relaciones binarias representan relaciones entre los elementos dedos conjuntos. Introduciremos relaciones n−arias, que expresanrelaciones entre elementos de mas de dos conjuntos, mas adelante eneste capıtulo.

Omitiremos la palabra “binario” cuando no haya peligro de confusion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 6 / 46

Page 16: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias II

En otras palabras, una relacion binaria de A a B es un conjunto R depares ordenados, donde el primer elemento de cada par ordenadoproviene de A y el segundo elemento proviene de B.

Usamos la notacion aRb para denotar que (a, b) ∈ R y a��Rb paradenotar que (a, b) /∈ R. Ademas, cuando (a, b) pertenece a R, se diceque a esta relacionado con b mediante R.

Las relaciones binarias representan relaciones entre los elementos dedos conjuntos. Introduciremos relaciones n−arias, que expresanrelaciones entre elementos de mas de dos conjuntos, mas adelante eneste capıtulo.

Omitiremos la palabra “binario” cuando no haya peligro de confusion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 6 / 46

Page 17: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones binarias II

En otras palabras, una relacion binaria de A a B es un conjunto R depares ordenados, donde el primer elemento de cada par ordenadoproviene de A y el segundo elemento proviene de B.

Usamos la notacion aRb para denotar que (a, b) ∈ R y a��Rb paradenotar que (a, b) /∈ R. Ademas, cuando (a, b) pertenece a R, se diceque a esta relacionado con b mediante R.

Las relaciones binarias representan relaciones entre los elementos dedos conjuntos. Introduciremos relaciones n−arias, que expresanrelaciones entre elementos de mas de dos conjuntos, mas adelante eneste capıtulo.

Omitiremos la palabra “binario” cuando no haya peligro de confusion.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 6 / 46

Page 18: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 1

Ejemplo 1

Sea A el conjunto de estudiantes de su escuela y B el conjunto de cursos. Sea Rla relacion que consta de aquellos pares (a, b), donde a es un estudiantematriculado en el curso b.

Por ejemplo, si Jason Goodfriend y Deborah Sherman estan inscritos enCS518, las parejas (Jason Goodfriend, CS518) y (Deborah Sherman, CS518)pertenecen a R.

Si Jason Goodfriend tambien esta inscrito en CS510, entonces la pareja(Jason Goodfriend, CS510) tambien esta en R.

Sin embargo, si Deborah Sherman no esta inscrita en CS510, entonces lapareja (Deborah Sherman, CS510) no esta en R.

Tenga en cuenta que si un estudiante no esta inscrito actualmente en ninguncurso, no habra pares en R que tengan a este estudiante como primerelemento.

Del mismo modo, si un curso no se ofrece actualmente, no habra pares en Rque tengan este curso como segundo elemento.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 7 / 46

Page 19: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 1

Ejemplo 1

Sea A el conjunto de estudiantes de su escuela y B el conjunto de cursos. Sea Rla relacion que consta de aquellos pares (a, b), donde a es un estudiantematriculado en el curso b.

Por ejemplo, si Jason Goodfriend y Deborah Sherman estan inscritos enCS518, las parejas (Jason Goodfriend, CS518) y (Deborah Sherman, CS518)pertenecen a R.

Si Jason Goodfriend tambien esta inscrito en CS510, entonces la pareja(Jason Goodfriend, CS510) tambien esta en R.

Sin embargo, si Deborah Sherman no esta inscrita en CS510, entonces lapareja (Deborah Sherman, CS510) no esta en R.

Tenga en cuenta que si un estudiante no esta inscrito actualmente en ninguncurso, no habra pares en R que tengan a este estudiante como primerelemento.

Del mismo modo, si un curso no se ofrece actualmente, no habra pares en Rque tengan este curso como segundo elemento.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 7 / 46

Page 20: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 1

Ejemplo 1

Sea A el conjunto de estudiantes de su escuela y B el conjunto de cursos. Sea Rla relacion que consta de aquellos pares (a, b), donde a es un estudiantematriculado en el curso b.

Por ejemplo, si Jason Goodfriend y Deborah Sherman estan inscritos enCS518, las parejas (Jason Goodfriend, CS518) y (Deborah Sherman, CS518)pertenecen a R.

Si Jason Goodfriend tambien esta inscrito en CS510, entonces la pareja(Jason Goodfriend, CS510) tambien esta en R.

Sin embargo, si Deborah Sherman no esta inscrita en CS510, entonces lapareja (Deborah Sherman, CS510) no esta en R.

Tenga en cuenta que si un estudiante no esta inscrito actualmente en ninguncurso, no habra pares en R que tengan a este estudiante como primerelemento.

Del mismo modo, si un curso no se ofrece actualmente, no habra pares en Rque tengan este curso como segundo elemento.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 7 / 46

Page 21: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 1

Ejemplo 1

Sea A el conjunto de estudiantes de su escuela y B el conjunto de cursos. Sea Rla relacion que consta de aquellos pares (a, b), donde a es un estudiantematriculado en el curso b.

Por ejemplo, si Jason Goodfriend y Deborah Sherman estan inscritos enCS518, las parejas (Jason Goodfriend, CS518) y (Deborah Sherman, CS518)pertenecen a R.

Si Jason Goodfriend tambien esta inscrito en CS510, entonces la pareja(Jason Goodfriend, CS510) tambien esta en R.

Sin embargo, si Deborah Sherman no esta inscrita en CS510, entonces lapareja (Deborah Sherman, CS510) no esta en R.

Tenga en cuenta que si un estudiante no esta inscrito actualmente en ninguncurso, no habra pares en R que tengan a este estudiante como primerelemento.

Del mismo modo, si un curso no se ofrece actualmente, no habra pares en Rque tengan este curso como segundo elemento.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 7 / 46

Page 22: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 1

Ejemplo 1

Sea A el conjunto de estudiantes de su escuela y B el conjunto de cursos. Sea Rla relacion que consta de aquellos pares (a, b), donde a es un estudiantematriculado en el curso b.

Por ejemplo, si Jason Goodfriend y Deborah Sherman estan inscritos enCS518, las parejas (Jason Goodfriend, CS518) y (Deborah Sherman, CS518)pertenecen a R.

Si Jason Goodfriend tambien esta inscrito en CS510, entonces la pareja(Jason Goodfriend, CS510) tambien esta en R.

Sin embargo, si Deborah Sherman no esta inscrita en CS510, entonces lapareja (Deborah Sherman, CS510) no esta en R.

Tenga en cuenta que si un estudiante no esta inscrito actualmente en ninguncurso, no habra pares en R que tengan a este estudiante como primerelemento.

Del mismo modo, si un curso no se ofrece actualmente, no habra pares en Rque tengan este curso como segundo elemento.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 7 / 46

Page 23: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 1

Ejemplo 1

Sea A el conjunto de estudiantes de su escuela y B el conjunto de cursos. Sea Rla relacion que consta de aquellos pares (a, b), donde a es un estudiantematriculado en el curso b.

Por ejemplo, si Jason Goodfriend y Deborah Sherman estan inscritos enCS518, las parejas (Jason Goodfriend, CS518) y (Deborah Sherman, CS518)pertenecen a R.

Si Jason Goodfriend tambien esta inscrito en CS510, entonces la pareja(Jason Goodfriend, CS510) tambien esta en R.

Sin embargo, si Deborah Sherman no esta inscrita en CS510, entonces lapareja (Deborah Sherman, CS510) no esta en R.

Tenga en cuenta que si un estudiante no esta inscrito actualmente en ninguncurso, no habra pares en R que tengan a este estudiante como primerelemento.

Del mismo modo, si un curso no se ofrece actualmente, no habra pares en Rque tengan este curso como segundo elemento.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 7 / 46

Page 24: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 2

Ejemplo 2

Sea A el conjunto de ciudades de EE. UU. Y B el conjunto de los 50estados de EE. UU. Defina la relacion R especificando que (a, b) pertenecea R si una ciudad con el nombre a esta en el estado b .

Por ejemplo, (Boulder, Colorado), (Bangor, Maine), (Ann Arbor,Michigan), (Middletown, Nueva Jersey), (Middletown, Nueva York),(Cupertino, California) y (Red Bank, Nueva Jersey) estan en R. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 8 / 46

Page 25: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 3

Ejemplo 3

Sean A = {0, 1, 2} y B = {a, b}. Entonces una relacion de A a B es{(0, a), (0, b), (1, a), (2, b)}.

Esto significa, por ejemplo, que 0Ra, pero que 1��Rb.

Figura 1: Mostrando los pares ordenados en la relacion R del Ejemplo 3.

2Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 9 / 46

Page 26: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Relaciones sobre un conjunto

Definicion 2

Una relacion sobre un conjunto A es una relacion de A a A.

En otras palabras, una relacion sobre un conjunto A es un subconjunto deA×A.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 10 / 46

Page 27: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 4

Ejemplo 4

Sea A el conjunto {1, 2, 3, 4}. ¿Que pares ordenados estan en la relacionR = {(a, b)|a divide a b}?

Solucion: Debido a que (a, b) esta en R si y solo si a y b son numerosenteros positivos que no excedan 4 tales que a divide a b, vemos que

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.

Figura 2: Mostrando los pares ordenados en la relacion R del Ejemplo 4.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 11 / 46

Page 28: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 4

Ejemplo 4

Sea A el conjunto {1, 2, 3, 4}. ¿Que pares ordenados estan en la relacionR = {(a, b)|a divide a b}?

Solucion: Debido a que (a, b) esta en R si y solo si a y b son numerosenteros positivos que no excedan 4 tales que a divide a b, vemos que

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.

Figura 2: Mostrando los pares ordenados en la relacion R del Ejemplo 4.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 11 / 46

Page 29: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 4

Ejemplo 4

Sea A el conjunto {1, 2, 3, 4}. ¿Que pares ordenados estan en la relacionR = {(a, b)|a divide a b}?

Solucion: Debido a que (a, b) esta en R si y solo si a y b son numerosenteros positivos que no excedan 4 tales que a divide a b, vemos que

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.

Figura 2: Mostrando los pares ordenados en la relacion R del Ejemplo 4.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 11 / 46

Page 30: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 5 I

Ejemplo 5

Considere las siguientes relaciones sobre el conjunto de enteros:

R1 ={(a, b)|a ≤ b},R2 ={(a, b)|a > b},R3 ={(a, b)|a = b o a = −b},R4 ={(a, b)|a = b},R5 ={(a, b)|a = b+ 1},R6 ={(a, b)|a+ b ≤ 3}.

¿Cuales de estas relaciones contienen cada uno de los pares (1, 1), (1, 2), (2, 1),(1,−1) y (2, 2)?

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 12 / 46

Page 31: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 5 II

R1 ={(a, b)|a ≤ b},R2 ={(a, b)|a > b},R3 ={(a, b)|a = b o a = −b},R4 ={(a, b)|a = b},R5 ={(a, b)|a = b+ 1},R6 ={(a, b)|a+ b ≤ 3}.

Solucion: El par (1, 1) esta en R1, R3, R4 y R6; (1, 2) esta en R1 y R6;(2, 1) esta en R2, R5 y R6; (1,−1) esta en R2, R3 y R6; y finalmente,(2, 2) esta en R1, R3 y R4. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 13 / 46

Page 32: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 6

Ejemplo 6

¿Cuantas relaciones hay en un conjunto con n elementos?

Solucion:

Una relacion sobre un conjunto A es un subconjunto de A×A.

Como A×A tiene n2 elementos cuando A tiene n elementos, y unconjunto con m elementos tiene 2m subconjuntos, hay 2n

2

subconjuntos de A×A.

Por lo tanto, hay 2n2

relaciones en un conjunto con n elementos.

Por ejemplo, hay 232= 29 = 512 relaciones sobre el conjunto {a, b, c}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 14 / 46

Page 33: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 6

Ejemplo 6

¿Cuantas relaciones hay en un conjunto con n elementos?

Solucion:

Una relacion sobre un conjunto A es un subconjunto de A×A.

Como A×A tiene n2 elementos cuando A tiene n elementos, y unconjunto con m elementos tiene 2m subconjuntos, hay 2n

2

subconjuntos de A×A.

Por lo tanto, hay 2n2

relaciones en un conjunto con n elementos.

Por ejemplo, hay 232= 29 = 512 relaciones sobre el conjunto {a, b, c}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 14 / 46

Page 34: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 6

Ejemplo 6

¿Cuantas relaciones hay en un conjunto con n elementos?

Solucion:

Una relacion sobre un conjunto A es un subconjunto de A×A.

Como A×A tiene n2 elementos cuando A tiene n elementos, y unconjunto con m elementos tiene 2m subconjuntos, hay 2n

2

subconjuntos de A×A.

Por lo tanto, hay 2n2

relaciones en un conjunto con n elementos.

Por ejemplo, hay 232= 29 = 512 relaciones sobre el conjunto {a, b, c}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 14 / 46

Page 35: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 6

Ejemplo 6

¿Cuantas relaciones hay en un conjunto con n elementos?

Solucion:

Una relacion sobre un conjunto A es un subconjunto de A×A.

Como A×A tiene n2 elementos cuando A tiene n elementos, y unconjunto con m elementos tiene 2m subconjuntos, hay 2n

2

subconjuntos de A×A.

Por lo tanto, hay 2n2

relaciones en un conjunto con n elementos.

Por ejemplo, hay 232= 29 = 512 relaciones sobre el conjunto {a, b, c}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 14 / 46

Page 36: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 6

Ejemplo 6

¿Cuantas relaciones hay en un conjunto con n elementos?

Solucion:

Una relacion sobre un conjunto A es un subconjunto de A×A.

Como A×A tiene n2 elementos cuando A tiene n elementos, y unconjunto con m elementos tiene 2m subconjuntos, hay 2n

2

subconjuntos de A×A.

Por lo tanto, hay 2n2

relaciones en un conjunto con n elementos.

Por ejemplo, hay 232= 29 = 512 relaciones sobre el conjunto {a, b, c}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 14 / 46

Page 37: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 6

Ejemplo 6

¿Cuantas relaciones hay en un conjunto con n elementos?

Solucion:

Una relacion sobre un conjunto A es un subconjunto de A×A.

Como A×A tiene n2 elementos cuando A tiene n elementos, y unconjunto con m elementos tiene 2m subconjuntos, hay 2n

2

subconjuntos de A×A.

Por lo tanto, hay 2n2

relaciones en un conjunto con n elementos.

Por ejemplo, hay 232= 29 = 512 relaciones sobre el conjunto {a, b, c}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 14 / 46

Page 38: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Reflexiva I

Hay varias propiedades que se utilizan para clasificar relaciones en unconjunto.

Aquı presentaremos las mas importantes.

En algunas relaciones, un elemento siempre esta relacionado consigomismo.

Por ejemplo, sea R la relacion en el conjunto de todas las personasque consta de parejas (x, y) donde x y y tienen la misma madre y elmismo padre. Entonces xRx para cada persona x.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 15 / 46

Page 39: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Reflexiva I

Hay varias propiedades que se utilizan para clasificar relaciones en unconjunto.

Aquı presentaremos las mas importantes.

En algunas relaciones, un elemento siempre esta relacionado consigomismo.

Por ejemplo, sea R la relacion en el conjunto de todas las personasque consta de parejas (x, y) donde x y y tienen la misma madre y elmismo padre. Entonces xRx para cada persona x.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 15 / 46

Page 40: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Reflexiva I

Hay varias propiedades que se utilizan para clasificar relaciones en unconjunto.

Aquı presentaremos las mas importantes.

En algunas relaciones, un elemento siempre esta relacionado consigomismo.

Por ejemplo, sea R la relacion en el conjunto de todas las personasque consta de parejas (x, y) donde x y y tienen la misma madre y elmismo padre. Entonces xRx para cada persona x.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 15 / 46

Page 41: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Reflexiva I

Hay varias propiedades que se utilizan para clasificar relaciones en unconjunto.

Aquı presentaremos las mas importantes.

En algunas relaciones, un elemento siempre esta relacionado consigomismo.

Por ejemplo, sea R la relacion en el conjunto de todas las personasque consta de parejas (x, y) donde x y y tienen la misma madre y elmismo padre. Entonces xRx para cada persona x.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 15 / 46

Page 42: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Reflexiva II

Definicion 3

Una relacion R sobre un conjunto A se llama reflexiva si (a, a) ∈ R paracada elemento a ∈ A.

Observacion 1

Usando cuantificadores vemos que la relacion R sobre el conjunto A esreflexiva si ∀a((a, a) ∈ R), donde el universo de discurso es el conjunto detodos los elementos en A.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 16 / 46

Page 43: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Reflexiva II

Definicion 3

Una relacion R sobre un conjunto A se llama reflexiva si (a, a) ∈ R paracada elemento a ∈ A.

Observacion 1

Usando cuantificadores vemos que la relacion R sobre el conjunto A esreflexiva si ∀a((a, a) ∈ R), donde el universo de discurso es el conjunto detodos los elementos en A.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 16 / 46

Page 44: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 7 I

Ejemplo 7

Considere las siguientes relaciones sobre {1, 2, 3, 4}:

R1 ={(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)},R2 ={(1, 1), (1, 2), (2, 1)},R3 ={(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)},R4 ={(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)},R5 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)},R6 ={(3, 4)}.

¿Cuales de estas relaciones son reflexivas?

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 17 / 46

Page 45: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 7 II

R1 ={(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)},R2 ={(1, 1), (1, 2), (2, 1)},R3 ={(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)},R4 ={(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)},R5 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)},R6 ={(3, 4)}.

Solucion:

Las relaciones R3 y R5 son reflexivas porque ambas contienen todoslos pares de la forma (a, a), a saber, (1, 1), (2, 2), (3, 3) y (4, 4).

Las otras relaciones no son reflexivas porque no contienen todos estospares ordenados.

En particular, R1, R2, R4 y R6 no son reflexivos porque (3, 3) no seencuentra en ninguna de estas relaciones. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 18 / 46

Page 46: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 7 II

R1 ={(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)},R2 ={(1, 1), (1, 2), (2, 1)},R3 ={(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)},R4 ={(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)},R5 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)},R6 ={(3, 4)}.

Solucion:

Las relaciones R3 y R5 son reflexivas porque ambas contienen todoslos pares de la forma (a, a), a saber, (1, 1), (2, 2), (3, 3) y (4, 4).

Las otras relaciones no son reflexivas porque no contienen todos estospares ordenados.

En particular, R1, R2, R4 y R6 no son reflexivos porque (3, 3) no seencuentra en ninguna de estas relaciones. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 18 / 46

Page 47: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 7 II

R1 ={(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)},R2 ={(1, 1), (1, 2), (2, 1)},R3 ={(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)},R4 ={(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)},R5 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)},R6 ={(3, 4)}.

Solucion:

Las relaciones R3 y R5 son reflexivas porque ambas contienen todoslos pares de la forma (a, a), a saber, (1, 1), (2, 2), (3, 3) y (4, 4).

Las otras relaciones no son reflexivas porque no contienen todos estospares ordenados.

En particular, R1, R2, R4 y R6 no son reflexivos porque (3, 3) no seencuentra en ninguna de estas relaciones. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 18 / 46

Page 48: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 7 II

R1 ={(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)},R2 ={(1, 1), (1, 2), (2, 1)},R3 ={(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)},R4 ={(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)},R5 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)},R6 ={(3, 4)}.

Solucion:

Las relaciones R3 y R5 son reflexivas porque ambas contienen todoslos pares de la forma (a, a), a saber, (1, 1), (2, 2), (3, 3) y (4, 4).

Las otras relaciones no son reflexivas porque no contienen todos estospares ordenados.

En particular, R1, R2, R4 y R6 no son reflexivos porque (3, 3) no seencuentra en ninguna de estas relaciones. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 18 / 46

Page 49: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 7 II

R1 ={(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)},R2 ={(1, 1), (1, 2), (2, 1)},R3 ={(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)},R4 ={(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)},R5 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)},R6 ={(3, 4)}.

Solucion:

Las relaciones R3 y R5 son reflexivas porque ambas contienen todoslos pares de la forma (a, a), a saber, (1, 1), (2, 2), (3, 3) y (4, 4).

Las otras relaciones no son reflexivas porque no contienen todos estospares ordenados.

En particular, R1, R2, R4 y R6 no son reflexivos porque (3, 3) no seencuentra en ninguna de estas relaciones. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 18 / 46

Page 50: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 8

Ejemplo 8

¿Cuales de las relaciones del ejemplo 5 son reflexivas?

Solucion:

Las relaciones reflexivas del ejemplo 5 son R1 (porque a ≤ a paratodo entero a, R3 y R4.

Para cada una de las otras relaciones en este ejemplo, es facilencontrar un par de la forma (a, a) que no esta en la relacion.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 19 / 46

Page 51: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 8

Ejemplo 8

¿Cuales de las relaciones del ejemplo 5 son reflexivas?

Solucion:

Las relaciones reflexivas del ejemplo 5 son R1 (porque a ≤ a paratodo entero a, R3 y R4.

Para cada una de las otras relaciones en este ejemplo, es facilencontrar un par de la forma (a, a) que no esta en la relacion.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 19 / 46

Page 52: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 8

Ejemplo 8

¿Cuales de las relaciones del ejemplo 5 son reflexivas?

Solucion:

Las relaciones reflexivas del ejemplo 5 son R1 (porque a ≤ a paratodo entero a, R3 y R4.

Para cada una de las otras relaciones en este ejemplo, es facilencontrar un par de la forma (a, a) que no esta en la relacion.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 19 / 46

Page 53: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 8

Ejemplo 8

¿Cuales de las relaciones del ejemplo 5 son reflexivas?

Solucion:

Las relaciones reflexivas del ejemplo 5 son R1 (porque a ≤ a paratodo entero a, R3 y R4.

Para cada una de las otras relaciones en este ejemplo, es facilencontrar un par de la forma (a, a) que no esta en la relacion.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 19 / 46

Page 54: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 9

Ejemplo 9

¿Es reflexiva la relacion “divide” en el conjunto de enteros positivos?

Solucion:

Como a|a siempre que a es un numero entero positivo, la relacion“divide” es reflexiva.

Tenga en cuenta que si reemplazamos el conjunto de enteros positivoscon el conjunto de todos los enteros, la relacion no es reflexivaporque, por definicion, 0 no divide a 0.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 20 / 46

Page 55: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 9

Ejemplo 9

¿Es reflexiva la relacion “divide” en el conjunto de enteros positivos?

Solucion:

Como a|a siempre que a es un numero entero positivo, la relacion“divide” es reflexiva.

Tenga en cuenta que si reemplazamos el conjunto de enteros positivoscon el conjunto de todos los enteros, la relacion no es reflexivaporque, por definicion, 0 no divide a 0.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 20 / 46

Page 56: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 9

Ejemplo 9

¿Es reflexiva la relacion “divide” en el conjunto de enteros positivos?

Solucion:

Como a|a siempre que a es un numero entero positivo, la relacion“divide” es reflexiva.

Tenga en cuenta que si reemplazamos el conjunto de enteros positivoscon el conjunto de todos los enteros, la relacion no es reflexivaporque, por definicion, 0 no divide a 0.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 20 / 46

Page 57: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 9

Ejemplo 9

¿Es reflexiva la relacion “divide” en el conjunto de enteros positivos?

Solucion:

Como a|a siempre que a es un numero entero positivo, la relacion“divide” es reflexiva.

Tenga en cuenta que si reemplazamos el conjunto de enteros positivoscon el conjunto de todos los enteros, la relacion no es reflexivaporque, por definicion, 0 no divide a 0.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 20 / 46

Page 58: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica I

En algunas relaciones, un elemento esta relacionado con un segundoelemento si y solo si el segundo elemento tambien esta relacionadocon el primer elemento.

La relacion que consiste en pares (x, y), donde x y y son estudiantesen su escuela con al menos una clase comun tiene esta propiedad.

Otras relaciones tienen la propiedad de que si un elemento estarelacionado con un segundo elemento, este segundo elemento no estarelacionado con el primero.

La relacion que consta de los pares (x, y), donde x y y sonestudiantes en su escuela, donde x tiene un promedio de calificacionesmas alto que y tiene esta propiedad.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 21 / 46

Page 59: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica I

En algunas relaciones, un elemento esta relacionado con un segundoelemento si y solo si el segundo elemento tambien esta relacionadocon el primer elemento.

La relacion que consiste en pares (x, y), donde x y y son estudiantesen su escuela con al menos una clase comun tiene esta propiedad.

Otras relaciones tienen la propiedad de que si un elemento estarelacionado con un segundo elemento, este segundo elemento no estarelacionado con el primero.

La relacion que consta de los pares (x, y), donde x y y sonestudiantes en su escuela, donde x tiene un promedio de calificacionesmas alto que y tiene esta propiedad.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 21 / 46

Page 60: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica I

En algunas relaciones, un elemento esta relacionado con un segundoelemento si y solo si el segundo elemento tambien esta relacionadocon el primer elemento.

La relacion que consiste en pares (x, y), donde x y y son estudiantesen su escuela con al menos una clase comun tiene esta propiedad.

Otras relaciones tienen la propiedad de que si un elemento estarelacionado con un segundo elemento, este segundo elemento no estarelacionado con el primero.

La relacion que consta de los pares (x, y), donde x y y sonestudiantes en su escuela, donde x tiene un promedio de calificacionesmas alto que y tiene esta propiedad.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 21 / 46

Page 61: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica I

En algunas relaciones, un elemento esta relacionado con un segundoelemento si y solo si el segundo elemento tambien esta relacionadocon el primer elemento.

La relacion que consiste en pares (x, y), donde x y y son estudiantesen su escuela con al menos una clase comun tiene esta propiedad.

Otras relaciones tienen la propiedad de que si un elemento estarelacionado con un segundo elemento, este segundo elemento no estarelacionado con el primero.

La relacion que consta de los pares (x, y), donde x y y sonestudiantes en su escuela, donde x tiene un promedio de calificacionesmas alto que y tiene esta propiedad.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 21 / 46

Page 62: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica II

Definicion 4

Una relacion R sobre un conjunto A se llama simetrica si (b, a) ∈ Rsiempre que (a, b) ∈ R, para todo a, b ∈ A. Una relacion R sobre unconjunto A tal que para todo a, b ∈ A, si (a, b) ∈ R y (b, a) ∈ R, entoncesa = b se llama antisimetrica.

Observacion 2

Usando cuantificadores, vemos que la relacion R sobre el conjunto A essimetrica si ∀a∀b((a, b) ∈ R→ (b, a) ∈ R). De manera similar, la relacionR sobre el conjunto A es antisimetrica si∀a∀b(((a, b) ∈ R ∧ (b, a) ∈ R)→ (a = b)).

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 22 / 46

Page 63: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica II

Definicion 4

Una relacion R sobre un conjunto A se llama simetrica si (b, a) ∈ Rsiempre que (a, b) ∈ R, para todo a, b ∈ A. Una relacion R sobre unconjunto A tal que para todo a, b ∈ A, si (a, b) ∈ R y (b, a) ∈ R, entoncesa = b se llama antisimetrica.

Observacion 2

Usando cuantificadores, vemos que la relacion R sobre el conjunto A essimetrica si ∀a∀b((a, b) ∈ R→ (b, a) ∈ R). De manera similar, la relacionR sobre el conjunto A es antisimetrica si∀a∀b(((a, b) ∈ R ∧ (b, a) ∈ R)→ (a = b)).

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 22 / 46

Page 64: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 65: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 66: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 67: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 68: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 69: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 70: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Simetrica III

En otras palabras, una relacion es simetrica si y solo si a estarelacionada con b siempre implica que b esta relacionada con a.

Por ejemplo, la relacion de igualdad es simetrica porque a = b si ysolo si b = a.

Una relacion es antisimetrica si y solo si no hay pares de elementosdistintos a y b con a relacionado con b y b relacionados con a.

Es decir, la unica forma de tener a relacionado con b y b relacionadocon a es que a y b sean el mismo elemento.

Por ejemplo, la relacion menor o igual a es antisimetrica, para veresto, tenga en cuenta que a ≤ b y b ≤ a implica que a = b.

Los terminos simetrico y antisimetrico no son opuestos, porque unarelacion puede tener estas dos propiedades o puede carecer de ambas.

Una relacion no puede ser simetrica y antisimetrica si contiene algunpar de la forma (a, b) en la que a 6= b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 23 / 46

Page 71: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 72: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 73: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 74: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 75: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 76: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 77: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 I

Ejemplo 10

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R2 y R3 son simetricas, porque en cada caso (b, a)pertenece a la relacion siempre que (a, b) lo hace.

Para R2, lo unico que se debe verificar es que tanto (2, 1) como (1, 2)estan en la relacion.

Para R3, es necesario comprobar que tanto (1, 2) como (2, 1)pertenecen a la relacion, y tambien (1, 4) y (4, 1) pertenecen a larelacion.

El lector debe verificar que ninguna de las otras relaciones seansimetricas.

Esto se hace encontrando un par (a, b) tal que este en la relacion pero(b, a) no lo este.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 24 / 46

Page 78: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 II

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?

Solucion:

R4, R5 y R6 son todas antisimetricas.

Para cada una de estas relaciones no hay un par de elementos a y bcon a 6= b tal que tanto (a, b) como (b, a) pertenezcan a la relacion.

El lector debe verificar que ninguna de las otras relaciones seanantisimetricas.

Esto se hace encontrando un par (a, b) con a 6= b tal que (a, b) y(b, a) esten ambos en la relacion. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 25 / 46

Page 79: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 II

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?Solucion:

R4, R5 y R6 son todas antisimetricas.

Para cada una de estas relaciones no hay un par de elementos a y bcon a 6= b tal que tanto (a, b) como (b, a) pertenezcan a la relacion.

El lector debe verificar que ninguna de las otras relaciones seanantisimetricas.

Esto se hace encontrando un par (a, b) con a 6= b tal que (a, b) y(b, a) esten ambos en la relacion. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 25 / 46

Page 80: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 II

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?Solucion:

R4, R5 y R6 son todas antisimetricas.

Para cada una de estas relaciones no hay un par de elementos a y bcon a 6= b tal que tanto (a, b) como (b, a) pertenezcan a la relacion.

El lector debe verificar que ninguna de las otras relaciones seanantisimetricas.

Esto se hace encontrando un par (a, b) con a 6= b tal que (a, b) y(b, a) esten ambos en la relacion. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 25 / 46

Page 81: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 II

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?Solucion:

R4, R5 y R6 son todas antisimetricas.

Para cada una de estas relaciones no hay un par de elementos a y bcon a 6= b tal que tanto (a, b) como (b, a) pertenezcan a la relacion.

El lector debe verificar que ninguna de las otras relaciones seanantisimetricas.

Esto se hace encontrando un par (a, b) con a 6= b tal que (a, b) y(b, a) esten ambos en la relacion. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 25 / 46

Page 82: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 II

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?Solucion:

R4, R5 y R6 son todas antisimetricas.

Para cada una de estas relaciones no hay un par de elementos a y bcon a 6= b tal que tanto (a, b) como (b, a) pertenezcan a la relacion.

El lector debe verificar que ninguna de las otras relaciones seanantisimetricas.

Esto se hace encontrando un par (a, b) con a 6= b tal que (a, b) y(b, a) esten ambos en la relacion. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 25 / 46

Page 83: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 10 II

¿Cuales de las relaciones del ejemplo 7 son simetricas y cualesantisimetricas?Solucion:

R4, R5 y R6 son todas antisimetricas.

Para cada una de estas relaciones no hay un par de elementos a y bcon a 6= b tal que tanto (a, b) como (b, a) pertenezcan a la relacion.

El lector debe verificar que ninguna de las otras relaciones seanantisimetricas.

Esto se hace encontrando un par (a, b) con a 6= b tal que (a, b) y(b, a) esten ambos en la relacion. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 25 / 46

Page 84: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 85: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 86: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 87: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 88: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 89: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 90: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 I

Ejemplo 11

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R3, R4 y R6 son simetricas.

R3 es simetrica, porque si a = b o a = −b, entonces b = a o b = −a.

R4 es simetrica porque a = b implica que b = a.

R6 es simetrica porque a+ b ≤ 3 implica que b+ a ≤ 3.

El lector debe verificar que ninguna de las otras relaciones seasimetrica.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 26 / 46

Page 91: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?

Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 92: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 93: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 94: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 95: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 96: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 97: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 98: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 11 II

¿Cuales de las relaciones del Ejemplo 5 son simetricas y cualesantisimetricas?Solucion:

Las relaciones R1, R2, R4 y R5 son antisimetricas.

R1 es antisimetrica porque las desigualdades a ≤ b y b ≤ a implicanque a = b.

R2 es antisimetrica porque es imposible que a > b y b > a.

R4 es antisimetrica, porque dos elementos estan relacionados conrespecto a R4 si y solo si son iguales.

R5 es antisimetrica porque es imposible que a = b+ 1 y b = a+ 1.

El lector debe verificar que ninguna de las otras relaciones seaantisimetrica. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 27 / 46

Page 99: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 12

Ejemplo 12

¿Es simetrica la relacion “divide” en el conjunto de enteros positivos? ¿Esantisimetrica?

Solucion:

Esta relacion no es simetrica porque 1|2, pero 2 6 |1.

Sin embargo, es antisimetrica.

Para ver esto, tenga en cuenta que si a y b son numeros enterospositivos con a|b y b|a, entonces a = b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 28 / 46

Page 100: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 12

Ejemplo 12

¿Es simetrica la relacion “divide” en el conjunto de enteros positivos? ¿Esantisimetrica?

Solucion:

Esta relacion no es simetrica porque 1|2, pero 2 6 |1.

Sin embargo, es antisimetrica.

Para ver esto, tenga en cuenta que si a y b son numeros enterospositivos con a|b y b|a, entonces a = b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 28 / 46

Page 101: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 12

Ejemplo 12

¿Es simetrica la relacion “divide” en el conjunto de enteros positivos? ¿Esantisimetrica?

Solucion:

Esta relacion no es simetrica porque 1|2, pero 2 6 |1.

Sin embargo, es antisimetrica.

Para ver esto, tenga en cuenta que si a y b son numeros enterospositivos con a|b y b|a, entonces a = b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 28 / 46

Page 102: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 12

Ejemplo 12

¿Es simetrica la relacion “divide” en el conjunto de enteros positivos? ¿Esantisimetrica?

Solucion:

Esta relacion no es simetrica porque 1|2, pero 2 6 |1.

Sin embargo, es antisimetrica.

Para ver esto, tenga en cuenta que si a y b son numeros enterospositivos con a|b y b|a, entonces a = b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 28 / 46

Page 103: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 12

Ejemplo 12

¿Es simetrica la relacion “divide” en el conjunto de enteros positivos? ¿Esantisimetrica?

Solucion:

Esta relacion no es simetrica porque 1|2, pero 2 6 |1.

Sin embargo, es antisimetrica.

Para ver esto, tenga en cuenta que si a y b son numeros enterospositivos con a|b y b|a, entonces a = b.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 28 / 46

Page 104: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Transitiva I

Sea R la relacion que consta de todos los pares (x, y) de estudiantesde su escuela, donde x ha obtenido mas creditos que y.

Suponga que x esta relacionado con y y y esta relacionado con z.Esto significa que x ha obtenido mas creditos que y y y ha obtenidomas creditos que z. Podemos concluir que x ha tomado mas creditosque z, por lo que x esta relacionado con z. Lo que hemos demostradoes que R tiene la propiedad transitiva, que se define como sigue.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 29 / 46

Page 105: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Transitiva II

Definicion 5

Una relacion R sobre un conjunto A se llama transitiva si siempre que(a, b) ∈ R y (b, c) ∈ R, entonces (a, c) ∈ R, para todo a, b, c ∈ A.

Observacion 3

Usando cuantificadores vemos que la relacion R sobre un conjunto A estransitiva si tenemos

∀a∀b∀c(((a, b) ∈ R ∧ (b, c) ∈ R)→ (a, c) ∈ R).

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 30 / 46

Page 106: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Propiedad Transitiva II

Definicion 5

Una relacion R sobre un conjunto A se llama transitiva si siempre que(a, b) ∈ R y (b, c) ∈ R, entonces (a, c) ∈ R, para todo a, b, c ∈ A.

Observacion 3

Usando cuantificadores vemos que la relacion R sobre un conjunto A estransitiva si tenemos

∀a∀b∀c(((a, b) ∈ R ∧ (b, c) ∈ R)→ (a, c) ∈ R).

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 30 / 46

Page 107: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 108: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 109: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 110: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 111: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 112: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 113: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 13

Ejemplo 13

¿Cuales de las relaciones del ejemplo 7 son transitivas?

Solucion:

R4 es transitiva, porque (3, 2) y (2, 1); (4, 2) y (2, 1); (4, 3) y (3, 1);ademas de (4, 3) y (3, 2) son los unicos conjuntos de pares de estetipo, y (3, 1), (4, 1) y (4, 2) pertenecen a R4.

El lector debe verificar que R5 y R6 sean transitivas.

R1 no es transitiva porque (3, 4) y (4, 1) pertenecen a R1, pero (3, 1)no.

R2 no es transitiva porque (2, 1) y (1, 2) pertenecen a R2, pero (2, 2)no.

R3 no es transitiva porque (4, 1) y (1, 2) pertenecen a R3, pero (4, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 31 / 46

Page 114: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 115: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 116: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 117: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 118: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 119: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 120: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 121: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 14

Ejemplo 14

¿Cuales de las relaciones del ejemplo 5 son transitivas?

Solucion:

R1 es transitiva porque a ≤ b y b ≤ c implican que a ≤ c.

R2 es transitiva porque a > b y b > c implican que a > c.

R3 es transitiva porque a = ±b y b = ±c implican que a = ±c.

R4 es claramente transitiva, como debe verificar el lector.

R5 no es transitiva porque (2, 1) y (1, 0) pertenecen a R5, pero (2, 0)no.

R6 no es transitiva porque (2, 1) y (1, 2) pertenecen a R6, pero (2, 2)no. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 32 / 46

Page 122: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 15

Ejemplo 15

¿Es la relacion “divide” en el conjunto de enteros positivos transitiva?

Solucion:

Suponga que a divide a b y b divide a c.

Entonces hay enteros positivos k y l tales que b = ak y c = bl.

Por lo tanto, c = a(kl), entonces a divide a c.

De ello se deduce que esta relacion es transitiva.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 33 / 46

Page 123: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 15

Ejemplo 15

¿Es la relacion “divide” en el conjunto de enteros positivos transitiva?

Solucion:

Suponga que a divide a b y b divide a c.

Entonces hay enteros positivos k y l tales que b = ak y c = bl.

Por lo tanto, c = a(kl), entonces a divide a c.

De ello se deduce que esta relacion es transitiva.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 33 / 46

Page 124: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 15

Ejemplo 15

¿Es la relacion “divide” en el conjunto de enteros positivos transitiva?

Solucion:

Suponga que a divide a b y b divide a c.

Entonces hay enteros positivos k y l tales que b = ak y c = bl.

Por lo tanto, c = a(kl), entonces a divide a c.

De ello se deduce que esta relacion es transitiva.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 33 / 46

Page 125: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 15

Ejemplo 15

¿Es la relacion “divide” en el conjunto de enteros positivos transitiva?

Solucion:

Suponga que a divide a b y b divide a c.

Entonces hay enteros positivos k y l tales que b = ak y c = bl.

Por lo tanto, c = a(kl), entonces a divide a c.

De ello se deduce que esta relacion es transitiva.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 33 / 46

Page 126: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 15

Ejemplo 15

¿Es la relacion “divide” en el conjunto de enteros positivos transitiva?

Solucion:

Suponga que a divide a b y b divide a c.

Entonces hay enteros positivos k y l tales que b = ak y c = bl.

Por lo tanto, c = a(kl), entonces a divide a c.

De ello se deduce que esta relacion es transitiva.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 33 / 46

Page 127: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 15

Ejemplo 15

¿Es la relacion “divide” en el conjunto de enteros positivos transitiva?

Solucion:

Suponga que a divide a b y b divide a c.

Entonces hay enteros positivos k y l tales que b = ak y c = bl.

Por lo tanto, c = a(kl), entonces a divide a c.

De ello se deduce que esta relacion es transitiva.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 33 / 46

Page 128: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Combinando Relaciones

Debido a que las relaciones de A a B son subconjuntos de A×B, dosrelaciones de A a B se pueden combinar de cualquier manera que sepuedan combinar dos conjuntos.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 34 / 46

Page 129: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 16

Ejemplo 16

Sean A = {1, 2, 3} y B = {1, 2, 3, 4}. Las relacionesR1 = {(1, 1), (2, 2), (3, 3)} y R2 = {(1, 1), (1, 2), (1, 3), (1, 4)} se puedencombinar para obtener

R1 ∪R2 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (3, 3)},R1 ∩R2 ={(1, 1)},R1 −R2 ={(2, 2), (3, 3)},R2 −R1 ={(1, 2), (1, 3), (1, 4)}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 35 / 46

Page 130: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 16

Ejemplo 16

Sean A = {1, 2, 3} y B = {1, 2, 3, 4}. Las relacionesR1 = {(1, 1), (2, 2), (3, 3)} y R2 = {(1, 1), (1, 2), (1, 3), (1, 4)} se puedencombinar para obtener

R1 ∪R2 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (3, 3)},

R1 ∩R2 ={(1, 1)},R1 −R2 ={(2, 2), (3, 3)},R2 −R1 ={(1, 2), (1, 3), (1, 4)}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 35 / 46

Page 131: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 16

Ejemplo 16

Sean A = {1, 2, 3} y B = {1, 2, 3, 4}. Las relacionesR1 = {(1, 1), (2, 2), (3, 3)} y R2 = {(1, 1), (1, 2), (1, 3), (1, 4)} se puedencombinar para obtener

R1 ∪R2 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (3, 3)},R1 ∩R2 ={(1, 1)},

R1 −R2 ={(2, 2), (3, 3)},R2 −R1 ={(1, 2), (1, 3), (1, 4)}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 35 / 46

Page 132: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 16

Ejemplo 16

Sean A = {1, 2, 3} y B = {1, 2, 3, 4}. Las relacionesR1 = {(1, 1), (2, 2), (3, 3)} y R2 = {(1, 1), (1, 2), (1, 3), (1, 4)} se puedencombinar para obtener

R1 ∪R2 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (3, 3)},R1 ∩R2 ={(1, 1)},R1 −R2 ={(2, 2), (3, 3)},

R2 −R1 ={(1, 2), (1, 3), (1, 4)}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 35 / 46

Page 133: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 16

Ejemplo 16

Sean A = {1, 2, 3} y B = {1, 2, 3, 4}. Las relacionesR1 = {(1, 1), (2, 2), (3, 3)} y R2 = {(1, 1), (1, 2), (1, 3), (1, 4)} se puedencombinar para obtener

R1 ∪R2 ={(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (3, 3)},R1 ∩R2 ={(1, 1)},R1 −R2 ={(2, 2), (3, 3)},R2 −R1 ={(1, 2), (1, 3), (1, 4)}.

2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 35 / 46

Page 134: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 I

Ejemplo 17

Sean A y B el conjunto de todos los estudiantes y el conjunto detodos los cursos de una escuela, respectivamente.

Suponga que R1 consta de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b,

y R2 consta de todos los pares ordenados (a, b), donde a es unestudiante que requiere el curso b para graduarse.

¿Cuales son las relaciones R1 ∪R2, R1 ∩R2, R1 ⊕R2, R1 −R2 yR2 −R1?

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 36 / 46

Page 135: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 I

Ejemplo 17

Sean A y B el conjunto de todos los estudiantes y el conjunto detodos los cursos de una escuela, respectivamente.

Suponga que R1 consta de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b,

y R2 consta de todos los pares ordenados (a, b), donde a es unestudiante que requiere el curso b para graduarse.

¿Cuales son las relaciones R1 ∪R2, R1 ∩R2, R1 ⊕R2, R1 −R2 yR2 −R1?

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 36 / 46

Page 136: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 I

Ejemplo 17

Sean A y B el conjunto de todos los estudiantes y el conjunto detodos los cursos de una escuela, respectivamente.

Suponga que R1 consta de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b,

y R2 consta de todos los pares ordenados (a, b), donde a es unestudiante que requiere el curso b para graduarse.

¿Cuales son las relaciones R1 ∪R2, R1 ∩R2, R1 ⊕R2, R1 −R2 yR2 −R1?

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 36 / 46

Page 137: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 I

Ejemplo 17

Sean A y B el conjunto de todos los estudiantes y el conjunto detodos los cursos de una escuela, respectivamente.

Suponga que R1 consta de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b,

y R2 consta de todos los pares ordenados (a, b), donde a es unestudiante que requiere el curso b para graduarse.

¿Cuales son las relaciones R1 ∪R2, R1 ∩R2, R1 ⊕R2, R1 −R2 yR2 −R1?

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 36 / 46

Page 138: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 II

Solucion:

La relacion R1 ∪R2 consta de todos los pares ordenados (a, b), dondea es un estudiante que ha tomado el curso b o necesita el curso b paragraduarse.

R1 ∩R2 es el conjunto de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b y necesita este curso paragraduarse.

R1 ⊕R2 consta de todos los pares ordenados (a, b), donde elestudiante a ha tomado el curso b pero no lo necesita para graduarseo necesita el curso b para graduarse pero no lo ha tomado.

R1 −R2 es el conjunto de pares ordenados (a, b), donde a ha tomadoel curso b pero no lo necesita para graduarse; es decir, b es un cursoelectivo que ha tomado a.

R2−R1 es el conjunto de todos los pares ordenados (a, b), donde b esun curso que a necesita para graduarse pero que no lo ha tomado. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 37 / 46

Page 139: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 II

Solucion:

La relacion R1 ∪R2 consta de todos los pares ordenados (a, b), dondea es un estudiante que ha tomado el curso b o necesita el curso b paragraduarse.

R1 ∩R2 es el conjunto de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b y necesita este curso paragraduarse.

R1 ⊕R2 consta de todos los pares ordenados (a, b), donde elestudiante a ha tomado el curso b pero no lo necesita para graduarseo necesita el curso b para graduarse pero no lo ha tomado.

R1 −R2 es el conjunto de pares ordenados (a, b), donde a ha tomadoel curso b pero no lo necesita para graduarse; es decir, b es un cursoelectivo que ha tomado a.

R2−R1 es el conjunto de todos los pares ordenados (a, b), donde b esun curso que a necesita para graduarse pero que no lo ha tomado. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 37 / 46

Page 140: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 II

Solucion:

La relacion R1 ∪R2 consta de todos los pares ordenados (a, b), dondea es un estudiante que ha tomado el curso b o necesita el curso b paragraduarse.

R1 ∩R2 es el conjunto de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b y necesita este curso paragraduarse.

R1 ⊕R2 consta de todos los pares ordenados (a, b), donde elestudiante a ha tomado el curso b pero no lo necesita para graduarseo necesita el curso b para graduarse pero no lo ha tomado.

R1 −R2 es el conjunto de pares ordenados (a, b), donde a ha tomadoel curso b pero no lo necesita para graduarse; es decir, b es un cursoelectivo que ha tomado a.

R2−R1 es el conjunto de todos los pares ordenados (a, b), donde b esun curso que a necesita para graduarse pero que no lo ha tomado. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 37 / 46

Page 141: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 II

Solucion:

La relacion R1 ∪R2 consta de todos los pares ordenados (a, b), dondea es un estudiante que ha tomado el curso b o necesita el curso b paragraduarse.

R1 ∩R2 es el conjunto de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b y necesita este curso paragraduarse.

R1 ⊕R2 consta de todos los pares ordenados (a, b), donde elestudiante a ha tomado el curso b pero no lo necesita para graduarseo necesita el curso b para graduarse pero no lo ha tomado.

R1 −R2 es el conjunto de pares ordenados (a, b), donde a ha tomadoel curso b pero no lo necesita para graduarse; es decir, b es un cursoelectivo que ha tomado a.

R2−R1 es el conjunto de todos los pares ordenados (a, b), donde b esun curso que a necesita para graduarse pero que no lo ha tomado. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 37 / 46

Page 142: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 II

Solucion:

La relacion R1 ∪R2 consta de todos los pares ordenados (a, b), dondea es un estudiante que ha tomado el curso b o necesita el curso b paragraduarse.

R1 ∩R2 es el conjunto de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b y necesita este curso paragraduarse.

R1 ⊕R2 consta de todos los pares ordenados (a, b), donde elestudiante a ha tomado el curso b pero no lo necesita para graduarseo necesita el curso b para graduarse pero no lo ha tomado.

R1 −R2 es el conjunto de pares ordenados (a, b), donde a ha tomadoel curso b pero no lo necesita para graduarse; es decir, b es un cursoelectivo que ha tomado a.

R2−R1 es el conjunto de todos los pares ordenados (a, b), donde b esun curso que a necesita para graduarse pero que no lo ha tomado. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 37 / 46

Page 143: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 17 II

Solucion:

La relacion R1 ∪R2 consta de todos los pares ordenados (a, b), dondea es un estudiante que ha tomado el curso b o necesita el curso b paragraduarse.

R1 ∩R2 es el conjunto de todos los pares ordenados (a, b), donde aes un estudiante que ha tomado el curso b y necesita este curso paragraduarse.

R1 ⊕R2 consta de todos los pares ordenados (a, b), donde elestudiante a ha tomado el curso b pero no lo necesita para graduarseo necesita el curso b para graduarse pero no lo ha tomado.

R1 −R2 es el conjunto de pares ordenados (a, b), donde a ha tomadoel curso b pero no lo necesita para graduarse; es decir, b es un cursoelectivo que ha tomado a.

R2−R1 es el conjunto de todos los pares ordenados (a, b), donde b esun curso que a necesita para graduarse pero que no lo ha tomado. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 37 / 46

Page 144: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 I

Ejemplo 18

Sea R1 la relacion menor que en el conjunto de numeros reales y sea R2 larelacion mayor que en el conjunto de numeros reales, es decir,R1 = {(x, y)|x < y} y R2 = {(x, y)|x > y}. ¿Cuales son R1 ∪R2,R1 ∩R2, R1 −R2, R2 −R1 y R1 ⊕R2?

Solucion:

Observamos que (x, y) ∈ R1 ∪R2 si y solo si (x, y) ∈ R1 o(x, y) ∈ R2.

Por lo tanto, (x, y) ∈ R1 ∪R2 si y solo si x < y o x > y.

Debido a que la condicion x < y o x > y es la misma que lacondicion x 6= y, se sigue que R1 ∪R2 = {(x, y)|x 6= y}.En otras palabras, la union de la relacion menor que y la relacionmayor que es la relacion no iguales.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 38 / 46

Page 145: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 I

Ejemplo 18

Sea R1 la relacion menor que en el conjunto de numeros reales y sea R2 larelacion mayor que en el conjunto de numeros reales, es decir,R1 = {(x, y)|x < y} y R2 = {(x, y)|x > y}. ¿Cuales son R1 ∪R2,R1 ∩R2, R1 −R2, R2 −R1 y R1 ⊕R2?

Solucion:

Observamos que (x, y) ∈ R1 ∪R2 si y solo si (x, y) ∈ R1 o(x, y) ∈ R2.

Por lo tanto, (x, y) ∈ R1 ∪R2 si y solo si x < y o x > y.

Debido a que la condicion x < y o x > y es la misma que lacondicion x 6= y, se sigue que R1 ∪R2 = {(x, y)|x 6= y}.En otras palabras, la union de la relacion menor que y la relacionmayor que es la relacion no iguales.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 38 / 46

Page 146: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 I

Ejemplo 18

Sea R1 la relacion menor que en el conjunto de numeros reales y sea R2 larelacion mayor que en el conjunto de numeros reales, es decir,R1 = {(x, y)|x < y} y R2 = {(x, y)|x > y}. ¿Cuales son R1 ∪R2,R1 ∩R2, R1 −R2, R2 −R1 y R1 ⊕R2?

Solucion:

Observamos que (x, y) ∈ R1 ∪R2 si y solo si (x, y) ∈ R1 o(x, y) ∈ R2.

Por lo tanto, (x, y) ∈ R1 ∪R2 si y solo si x < y o x > y.

Debido a que la condicion x < y o x > y es la misma que lacondicion x 6= y, se sigue que R1 ∪R2 = {(x, y)|x 6= y}.En otras palabras, la union de la relacion menor que y la relacionmayor que es la relacion no iguales.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 38 / 46

Page 147: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 I

Ejemplo 18

Sea R1 la relacion menor que en el conjunto de numeros reales y sea R2 larelacion mayor que en el conjunto de numeros reales, es decir,R1 = {(x, y)|x < y} y R2 = {(x, y)|x > y}. ¿Cuales son R1 ∪R2,R1 ∩R2, R1 −R2, R2 −R1 y R1 ⊕R2?

Solucion:

Observamos que (x, y) ∈ R1 ∪R2 si y solo si (x, y) ∈ R1 o(x, y) ∈ R2.

Por lo tanto, (x, y) ∈ R1 ∪R2 si y solo si x < y o x > y.

Debido a que la condicion x < y o x > y es la misma que lacondicion x 6= y, se sigue que R1 ∪R2 = {(x, y)|x 6= y}.En otras palabras, la union de la relacion menor que y la relacionmayor que es la relacion no iguales.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 38 / 46

Page 148: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 I

Ejemplo 18

Sea R1 la relacion menor que en el conjunto de numeros reales y sea R2 larelacion mayor que en el conjunto de numeros reales, es decir,R1 = {(x, y)|x < y} y R2 = {(x, y)|x > y}. ¿Cuales son R1 ∪R2,R1 ∩R2, R1 −R2, R2 −R1 y R1 ⊕R2?

Solucion:

Observamos que (x, y) ∈ R1 ∪R2 si y solo si (x, y) ∈ R1 o(x, y) ∈ R2.

Por lo tanto, (x, y) ∈ R1 ∪R2 si y solo si x < y o x > y.

Debido a que la condicion x < y o x > y es la misma que lacondicion x 6= y, se sigue que R1 ∪R2 = {(x, y)|x 6= y}.

En otras palabras, la union de la relacion menor que y la relacionmayor que es la relacion no iguales.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 38 / 46

Page 149: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 I

Ejemplo 18

Sea R1 la relacion menor que en el conjunto de numeros reales y sea R2 larelacion mayor que en el conjunto de numeros reales, es decir,R1 = {(x, y)|x < y} y R2 = {(x, y)|x > y}. ¿Cuales son R1 ∪R2,R1 ∩R2, R1 −R2, R2 −R1 y R1 ⊕R2?

Solucion:

Observamos que (x, y) ∈ R1 ∪R2 si y solo si (x, y) ∈ R1 o(x, y) ∈ R2.

Por lo tanto, (x, y) ∈ R1 ∪R2 si y solo si x < y o x > y.

Debido a que la condicion x < y o x > y es la misma que lacondicion x 6= y, se sigue que R1 ∪R2 = {(x, y)|x 6= y}.En otras palabras, la union de la relacion menor que y la relacionmayor que es la relacion no iguales.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 38 / 46

Page 150: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 II

Observe que es imposible que un par (x, y) pertenezca tanto a R1

como a R2 porque es imposible que x < y y x > y.

De ello se deduce que R1 ∩R2 = ∅.R1 −R2 = R1.

R2 −R1 = R2.

R1 ⊕R2 = R1 ∪R2 −R1 ∩R2 = {(x, y)|x 6= y}. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 39 / 46

Page 151: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 II

Observe que es imposible que un par (x, y) pertenezca tanto a R1

como a R2 porque es imposible que x < y y x > y.

De ello se deduce que R1 ∩R2 = ∅.

R1 −R2 = R1.

R2 −R1 = R2.

R1 ⊕R2 = R1 ∪R2 −R1 ∩R2 = {(x, y)|x 6= y}. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 39 / 46

Page 152: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 II

Observe que es imposible que un par (x, y) pertenezca tanto a R1

como a R2 porque es imposible que x < y y x > y.

De ello se deduce que R1 ∩R2 = ∅.

R1 −R2 = R1.

R2 −R1 = R2.

R1 ⊕R2 = R1 ∪R2 −R1 ∩R2 = {(x, y)|x 6= y}. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 39 / 46

Page 153: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 II

Observe que es imposible que un par (x, y) pertenezca tanto a R1

como a R2 porque es imposible que x < y y x > y.

De ello se deduce que R1 ∩R2 = ∅.R1 −R2 = R1.

R2 −R1 = R2.

R1 ⊕R2 = R1 ∪R2 −R1 ∩R2 = {(x, y)|x 6= y}. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 39 / 46

Page 154: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 18 II

Observe que es imposible que un par (x, y) pertenezca tanto a R1

como a R2 porque es imposible que x < y y x > y.

De ello se deduce que R1 ∩R2 = ∅.R1 −R2 = R1.

R2 −R1 = R2.

R1 ⊕R2 = R1 ∪R2 −R1 ∩R2 = {(x, y)|x 6= y}. 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 39 / 46

Page 155: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Composicion de Relaciones

Definicion 6

Sea R una relacion de un conjunto A en un conjunto B y S una relacionde B en un conjunto C. La composicion de R y S es la relacion queconsta de pares ordenados (a, c), donde a ∈ A, c ∈ C, y para el cual existeun elemento b ∈ B tal que (a, b) ∈ R y (b, c) ∈ S. Denotamos lacomposicion de R y S por S ◦R.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 40 / 46

Page 156: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 I

Ejemplo 19

¿Cual es la composicion de las relaciones R y S?, donde R es la relacionde {1, 2, 3} a {1, 2, 3, 4} y S es la relacion de {1, 2, 3, 4} a {0, 1, 2} con:

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Solucion:

S ◦R se construye utilizando todos los pares ordenados en R y lospares ordenados en S, donde el segundo elemento del par ordenado enR concuerda con el primer elemento del par ordenado en S.Por ejemplo, los pares ordenados (2, 3) en R y (3, 1) en S producen elpar ordenado (2, 1) en S ◦R.Calculando todos los pares ordenados en la composicion, encontramos

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 41 / 46

Page 157: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 I

Ejemplo 19

¿Cual es la composicion de las relaciones R y S?, donde R es la relacionde {1, 2, 3} a {1, 2, 3, 4} y S es la relacion de {1, 2, 3, 4} a {0, 1, 2} con:

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Solucion:

S ◦R se construye utilizando todos los pares ordenados en R y lospares ordenados en S, donde el segundo elemento del par ordenado enR concuerda con el primer elemento del par ordenado en S.Por ejemplo, los pares ordenados (2, 3) en R y (3, 1) en S producen elpar ordenado (2, 1) en S ◦R.Calculando todos los pares ordenados en la composicion, encontramos

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 41 / 46

Page 158: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 I

Ejemplo 19

¿Cual es la composicion de las relaciones R y S?, donde R es la relacionde {1, 2, 3} a {1, 2, 3, 4} y S es la relacion de {1, 2, 3, 4} a {0, 1, 2} con:

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Solucion:

S ◦R se construye utilizando todos los pares ordenados en R y lospares ordenados en S, donde el segundo elemento del par ordenado enR concuerda con el primer elemento del par ordenado en S.

Por ejemplo, los pares ordenados (2, 3) en R y (3, 1) en S producen elpar ordenado (2, 1) en S ◦R.Calculando todos los pares ordenados en la composicion, encontramos

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 41 / 46

Page 159: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 I

Ejemplo 19

¿Cual es la composicion de las relaciones R y S?, donde R es la relacionde {1, 2, 3} a {1, 2, 3, 4} y S es la relacion de {1, 2, 3, 4} a {0, 1, 2} con:

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Solucion:

S ◦R se construye utilizando todos los pares ordenados en R y lospares ordenados en S, donde el segundo elemento del par ordenado enR concuerda con el primer elemento del par ordenado en S.

Por ejemplo, los pares ordenados (2, 3) en R y (3, 1) en S producen elpar ordenado (2, 1) en S ◦R.

Calculando todos los pares ordenados en la composicion, encontramos

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 41 / 46

Page 160: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 I

Ejemplo 19

¿Cual es la composicion de las relaciones R y S?, donde R es la relacionde {1, 2, 3} a {1, 2, 3, 4} y S es la relacion de {1, 2, 3, 4} a {0, 1, 2} con:

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Solucion:

S ◦R se construye utilizando todos los pares ordenados en R y lospares ordenados en S, donde el segundo elemento del par ordenado enR concuerda con el primer elemento del par ordenado en S.Por ejemplo, los pares ordenados (2, 3) en R y (3, 1) en S producen elpar ordenado (2, 1) en S ◦R.

Calculando todos los pares ordenados en la composicion, encontramos

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 41 / 46

Page 161: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 II

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Figura 3: Construccion de S ◦R para el Ejemplo 19.

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 42 / 46

Page 162: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 II

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Figura 3: Construccion de S ◦R para el Ejemplo 19.

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 42 / 46

Page 163: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 19 II

R ={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}S ={(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}

Figura 3: Construccion de S ◦R para el Ejemplo 19.

S ◦R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}.2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 42 / 46

Page 164: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Potencias de una Relacion

Definicion 7

Sea R una relacion sobre el conjunto A. Las potencias Rn, n = 1, 2, 3, . . . ,se definen recursivamente por

R1 = R y Rn+1 = Rn ◦R.

La definicion muestra que R2 = R ◦R, R3 = R2 ◦R = (R ◦R) ◦R, y asısucesivamente.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 43 / 46

Page 165: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 20

Ejemplo 20

Sea R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Encuentre las potenciasRn, n = 2, 3, 4, . . . .

Solucion:

Como R2 = R ◦R, encontramos que

R2 = {(1, 1), (2, 1), (3, 1), (4, 2)}.

Ademas, debido a que R3 = R2 ◦R,

R3 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Un calculo adicional muestra que R4 es lo mismo que R3, por lo que

R4 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Tambien se deduce que Rn = R3 para n = 4, 5, 6, 7, . . . . 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 44 / 46

Page 166: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 20

Ejemplo 20

Sea R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Encuentre las potenciasRn, n = 2, 3, 4, . . . .

Solucion:

Como R2 = R ◦R, encontramos que

R2 = {(1, 1), (2, 1), (3, 1), (4, 2)}.

Ademas, debido a que R3 = R2 ◦R,

R3 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Un calculo adicional muestra que R4 es lo mismo que R3, por lo que

R4 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Tambien se deduce que Rn = R3 para n = 4, 5, 6, 7, . . . . 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 44 / 46

Page 167: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 20

Ejemplo 20

Sea R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Encuentre las potenciasRn, n = 2, 3, 4, . . . .

Solucion:

Como R2 = R ◦R, encontramos que

R2 = {(1, 1), (2, 1), (3, 1), (4, 2)}.

Ademas, debido a que R3 = R2 ◦R,

R3 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Un calculo adicional muestra que R4 es lo mismo que R3, por lo que

R4 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Tambien se deduce que Rn = R3 para n = 4, 5, 6, 7, . . . . 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 44 / 46

Page 168: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 20

Ejemplo 20

Sea R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Encuentre las potenciasRn, n = 2, 3, 4, . . . .

Solucion:

Como R2 = R ◦R, encontramos que

R2 = {(1, 1), (2, 1), (3, 1), (4, 2)}.

Ademas, debido a que R3 = R2 ◦R,

R3 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Un calculo adicional muestra que R4 es lo mismo que R3, por lo que

R4 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Tambien se deduce que Rn = R3 para n = 4, 5, 6, 7, . . . . 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 44 / 46

Page 169: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 20

Ejemplo 20

Sea R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Encuentre las potenciasRn, n = 2, 3, 4, . . . .

Solucion:

Como R2 = R ◦R, encontramos que

R2 = {(1, 1), (2, 1), (3, 1), (4, 2)}.

Ademas, debido a que R3 = R2 ◦R,

R3 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Un calculo adicional muestra que R4 es lo mismo que R3, por lo que

R4 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Tambien se deduce que Rn = R3 para n = 4, 5, 6, 7, . . . . 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 44 / 46

Page 170: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejemplo 20

Ejemplo 20

Sea R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Encuentre las potenciasRn, n = 2, 3, 4, . . . .

Solucion:

Como R2 = R ◦R, encontramos que

R2 = {(1, 1), (2, 1), (3, 1), (4, 2)}.

Ademas, debido a que R3 = R2 ◦R,

R3 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Un calculo adicional muestra que R4 es lo mismo que R3, por lo que

R4 = {(1, 1), (2, 1), (3, 1), (4, 1)}.

Tambien se deduce que Rn = R3 para n = 4, 5, 6, 7, . . . . 2

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 44 / 46

Page 171: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejercicios I

1 Para cada una de estas relaciones sobre el conjunto {1, 2, 3, 4}, decidasi es reflexiva, si es simetrica, si es antisimetrica y si es transitiva.

1 {(2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}.2 {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (4, 4)}.3 {(2, 4), (4, 2)}.4 {(1, 2), (2, 3), (3, 4)}.5 {(1, 1), (2, 2), (3, 3), (4, 4)}.6 {(1, 3), (1, 4), (2, 3), (2, 4), (3, 1), (3, 4)}.

2 Sean

R1 = {(1, 2), (2, 3), (3, 4)} y

R2 = {(1, 1), (1, 2), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (3, 4)}

relaciones de {1, 2, 3} a {1, 2, 3, 4}. Encontrar

1 R1 ∪R2.2 R1 ∩R2.

3 R1 −R2.4 R2 −R1.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 45 / 46

Page 172: Jos e de Jesus Lavalle Mart nezaleteya.cs.buap.mx/~jlavalle/ed/2 Relaciones I.pdf · 2021. 1. 19. · Relaciones binarias I La forma m as directa de expresar una relaci on entre elementos

Ejercicios II

3 Sean R la relacion {(1, 2), (1, 3), (2, 3), (2, 4), (3, 1)} y sea S larelacion {(2, 1), (3, 1), (3, 2), (4, 2)}. Encuentre S ◦R.

4 Sea R la relacion del conjunto {1, 2, 3, 4, 5} que contiene los paresordenados (1, 1), (1, 2), (1, 3), (2, 3), (2, 4), (3, 1), (3, 4), (3, 5),(4, 2), (4, 5), (5, 1), (5, 2) y (5, 4). Encontrar

1 R2. 2 R3. 3 R4. 4 R5.

Jose de Jesus Lavalle Martınez (FCC-BUAP) Relaciones I Primavera 2021 46 / 46