Está en la página 1de 18

Matemática Discreta

Relaciones
• Propiedades
Logro de la sesión

Al finalizar la sesión, estarás preparado para:


Identificar las propiedades que satisface una
relación y determinar el espacio cociente de un
conjunto mediante una relación de equivalencia.
Bibliografía

Bibliografía textos de consulta.


• Profesores UPC – Libro digital – Relaciones: Definición y Representación

• Johnsonbaugh R. (2005). Matemáticas Discretas, sexta edición. Editorial Pearson,


México. Revisar páginas desde 116 hasta 118.

• Epp S. (2012). Matemáticas discretas con aplicaciones. México, D.F. Cengage


Learning. Revisar páginas desde 442 hasta 448.
Relación Reflexiva
Relación Reflexiva
Una relación R en un conjunto A es:
Reflexiva  [(a, a)  R ,  a  A]
Observaciones:
• Si MR = [mij] es la representación matricial de R, entonces:
R es reflexiva  mii = 1,  i
• El dígrafo asociado a una relación reflexiva tiene bucles (lazos) en todos sus vértices.
Ejemplo
En 𝐴 = {1; 2; 3; 4}, la siguiente relación es reflexiva.
𝑅 = {(1; 1), (1; 3), (2; 2), 2; 4 , (3; 3), (4; 1), (4; 4)}
Matriz Dígrafo

1 2 3 4
1 1 0 1 0 1 2
𝑀𝑅 = 2 0 1 0 1
3 0 0 1 0
4 1 0 0 1 4 3
Relación Irreflexiva
Relación Irreflexiva

Una relación R en un conjunto A es:


Irreflexiva  [(a, a)  R ,  a  A]
Observaciones:
• Si MR = [mij] es la representación matricial de R, entonces:
R es irreflexiva  mii = 0,  i
• El dígrafo asociado a una relación irreflexiva no tiene bucles (lazos) en sus vértices.

Ejemplo
En 𝐴 = {1; 2; 3; 4}, la relación 𝑅 = { 1; 2 , 1; 3 , 2; 3 , (2; 4), (4; 1)} es irreflexiva.
Matriz Dígrafo
1 2 3 4
1 0 1 1 0 1 2
𝑀𝑅 = 2 0 0 1 1
3 0 0 0 0
4 1 0 0 0 4 3
Relación Simétrica
Relación simétrica
Una relación R en un conjunto A es:
Simétrica  [(a, b)  R  (b, a)  R]
Observaciones:
• Si MR = [mij] es la representación matricial de R, entonces:
R es simétrica  (si mij = 1  mji = 1)
• Los arcos de un dígrafo asociado a una relación simétrica son de ida y vuelta.
Ejemplo
En 𝐴 = {1; 2; 3; 4}, la relación 𝑅 es simétrica:
𝑅 = { 1; 2 , 1; 3 , 1; 4 , 2; 1 , 2; 2 , 3; 1 , (4; 1)}
Matriz Dígrafo
1 2 3 4
1 0 1 1 1 1 2
𝑀𝑅 = 2 1 1 0 0
3 1 0 0 0
4 1 0 0 0 4 3
Relación Asimétrica
Relación asimétrica
Una relación R en un conjunto A es:
Asimétrica  [(a, b)  R  (b, a)  R]
Observaciones:
• Si MR = [mij] es la representación matricial de R, entonces:
R es asimétrica  [(si mij = 1  mji = 0)  mii = 0]
• Los arcos de un dígrafo en una relación asimétrica son de ida (o de vuelta) y no tiene
bucles.

Ejemplo
En 𝐴 = 1; 2; 3; 4 , la relación 𝑅 es asimétrica 𝑅 = { 1; 2 , 1; 3 , 2; 4 , 3; 2 , (4; 1)}
Matriz Dígrafo
1 2 3 4 1 2
1 0 1 1 0
𝑀𝑅 = 2 0 0 0 1
3 0 1 0 0
4 3
4 1 0 0 0
Nota: Toda relación asimétrica es irreflexiva.
Relación Antisimétrica
Relación antisimétrica
Una relación R en un conjunto A es:
Antisimétrica  [a  b  (a, b)  R  (b, a)  R]
Observaciones:
• Si MR = [mij] es la representación matricial de R, entonces:
R es antisimétrica  [si i  j  (mij = 0  mji = 0)]
• El dígrafo asociado a una relación antisimétrica no tiene arcos de ida o vuelta.

Ejemplo
En 𝐴 = {1; 2; 3; 4}, la relación 𝑅 es antisimétrica 𝑅 = { 1; 2 , 1; 3 , 2; 2 , 3; 2 , (4; 1)}
Matriz Dígrafo

1 2 3 4
1 0 1 1 0 1 2
𝑀𝑅 = 2 0 1 0 0
3 0 1 0 0
4 1 0 0 0 4 3
Nota: Toda relación asimétrica es antisimétrica.
Relación Transitiva

Relación transitiva Ejemplo


Una relación R en un conjunto A es: En 𝐴 = {1; 2; 3; 4}, la relación
Transitiva  [Si (a, b)R  (b, c)R  (a, c)R] 𝑅 = { 1; 2 , 1; 3 , 2; 2 , 4; 1 , 4; 2 , (4; 3)}
Observación: es transitiva.
• Si MR = [mij] es la representación matricial de R, 1 2 3 4
entonces: 1 0 1 1 0 1 2
R es transitiva  [si (mij = 1  m jk = 1)  mik = 1] 𝑀𝑅 = 2 0 1 0 0
3 0 0 0 0
Propiedad 4 1 1 1 0 4 3
Una relación 𝑅 en 𝐴 es transitiva, si y solo si 1 2 3 4
𝑅2 ⊆ 𝑅. 1 0 1 0 0
𝑀𝑅2 =2 0 1 0 0
3 0 0 0 0
4 0 1 1 0

Se observa que 𝑅2 ⊆ 𝑅, porque todos los unos


de la matriz de 𝑅2 están en la matriz de 𝑅 (en la
misma posición).
Ejemplos
Sean R y S relaciones definidas en el conjunto de los enteros por:
(a, b) R  a ≥ b (a, b) S  a > b
Justifique cada una de las siguientes afirmaciones:
a) R es reflexiva, antisimétrica y transitiva. b) S es irreflexiva, asimétrica y transitiva.
Solución

Parte a) Parte b)
• Reflexiva: 𝑎 ≥ 𝑎, ∀𝑎 • Irreflexiva: 𝑎 ≯ 𝑎, ∀𝑎
• Antisimétrica: 𝑎 ≠ 𝑏, (𝑎 ≥ 𝑏 → 𝑏 ≱ 𝑎) • Asimétrica: 𝑎 > 𝑏 → 𝑏 ≯ 𝑎)
• Transitiva: (𝑎 ≥ 𝑏 ∧ 𝑏 ≥ 𝑐) → (𝑎 ≥ 𝑐) • Transitiva: (𝑎 > 𝑏 ∧ 𝑏 > 𝑐) ⟶ (𝑎 > 𝑐)

Observación:
No es suficiente proponer algunos ejemplos para demostrar una propiedad, la demostración se
hace de manera general.
Particiones
Una partición o conjunto cociente de un conjunto no vacío A es una colección
 = {A1, A2, …, An} de subconjuntos no vacíos de A tales que:
• Ai  Aj = , para i  j.
• A1 A2 … An=A.

𝐴1
𝐴2
……
𝐴3
𝐴4 𝐴𝑛

Ejemplos
Dado A ={1, 2, 3, 4, 5, 6}, los siguientes conjuntos son particiones de A:
1 = {{1, 2}, {3, 5}, {4, 6}}.
2 = {{1, 2, 3}, {4, 5, 6}}.
3 = {{1}, {3, 5}, {2, 4, 6}}.
Relación de Equivalencia

Una relación R en un conjunto A es una relación de equivalencia si y solo si R es reflexiva,


simétrica y transitiva.
Si R es una relación de equivalencia en A, entonces para todo aA, se definen los conjuntos:
a = {xA / (x, a)  R}, llamados clases de equivalencia de A dada por la relación R.
A | R = { a / aA}, colección de todas las clases de equivalencia de los elementos de A.
A | R se denomina partición del conjunto A o conjunto cociente de A.
Ejemplo
Sea R una relación de equivalencia en A ⊂ ℤ definida por:
(a, b)R  a + b es par.
Si A = {2; 3; 4; 5; 6; 8}. Determine las clases de equivalencias y el espacio cociente.

2 = 𝑥𝐴 / 𝑥, 2  𝑅 Nota:
2 = {𝑥𝐴/ 𝑥 + 2 es par} 𝑎 = {𝑥 ∈ 𝐴 / (𝑥, 𝑎)  𝑅},
2 = {2; 4; 6; 8}
3 = 𝑥𝐴 / 𝑥, 3  𝑅
3 = {𝑥𝐴/ 𝑥 + 3 es par}
3 = {3; 5}
𝟐 𝟑 𝟒 𝟓 𝟔 𝟖
2 1 0 1 0 1 1
Entonces, las clases de equivalencia son: 3 0 1 0 1 0 0
[2] =[4] = [6] = [8] = {2; 4; 6; 8} y [3] = [5] = {3; 5} 𝑀𝑅 = 4 1 0 1 0 1 1
5 0 1 0 1 0 0
El espacio cociente de A es: 6 1 0 1 0 1 1
A|R = {{2; 4; 6; 8}, {3; 5}}. 8 1 0 1 0 1 1
Ejemplo
Dado el conjunto A = {1; 2; 3; 6} se define la relación R sobre A por
𝑎, 𝑏 ∈ 𝑅 ⇔ 𝑎 + 𝑏 es múltiplo de 3.
Determine si la relación R es irreflexiva, simétrica y transitiva.
Solución
𝑅 ={(1; 2), (2; 1), (3; 3), (3; 6), (6; 3), (6; 6)}
• Como (3; 3) ∈ 𝑅: 𝑅 no es irreflexiva.
• Debido a que (MR)T = MR: R es simétrica.
• (1;2) ∈ 𝑅 y (2;1) ∈ 𝑅, pero (1;1) ∉ 𝑅, por lo tanto 𝑅 no es transitiva.
Ejemplo
Dado el conjunto A = {1; 2; 3; 6} se define la relación R sobre A por
𝑎, 𝑏 ∈ 𝑅 ⇔ 𝑏 − 𝑎 > 1.
Determine si la relación R es reflexiva, antisimétrica y transitiva.
Solución
𝑅 ={(1; 3), (1; 6), (2; 6), (3; 1), (3; 6), (6; 1), (6; 2), (6; 3)}
• Como (1; 1) ∉ 𝑅: 𝑅 no es reflexiva.
• Debido a que (1; 3) ∈ 𝑅 y (3; 1) ∈ 𝑅: R no es antisimétrica.
• (1; 3) ∈ 𝑅 y (3; 1) ∈ 𝑅, pero (1; 1) ∉ 𝑅, por lo tanto 𝑅 no es transitiva.
Ejemplo
¿La relación R definida por (a, b)R  a2 = b2 es una relación de equivalencia en A ⊂ ℤ?
Solución
• R es reflexiva: a2 = a2, es decir: (a, a)  R ,  a  A.
• R es simétrica: a2 = b2, implica que b2 = a2; es decir, tanto (a, b) como (b, a) pertenecen
a R.
• R es transitiva: si (a, b)  R y (b, c)  R, implica que a2 = b2 y b2 = c2; es decir, a2 = c2;
por tanto (a, c)  R.

Determine A|R, donde A = {-2; -1; 0; 1; 2; 3}.


A|R = {{-2; 2}, {-1; 1}, {0}, {3}}
Ejercicio
Sea el conjunto A = {1; 2; 3; 4; 5} y la relación R definida en A por:
𝑎 𝑅 𝑏  el residuo de dividir a entre 2 es igual al residuo de dividir b entre 2
a) Determine si R es irreflexiva, asimétrica y antisimétrica. Justifique su respuesta.
b) ¿R es una relación de equivalencia? Justifique su respuesta.
c) Si R es una relación de equivalencia halle la clase de equivalencia del 3.
d) Si R es una relación de equivalencia halle el conjunto cociente de A.
Preguntas
Si tienes dudas sobre los temas, consulte con
el profesor del curso mediante el correo
institucional.

Continúa con las actividades semanales


propuestas en el aula virtual:

❑ Resolución de ejercicios propuestos


18

También podría gustarte