Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Relaciones
• Propiedades
Logro de la sesión
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
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
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
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.