Documentos de Académico
Documentos de Profesional
Documentos de Cultura
RELACIONES
6 de julio de 2018
Definición
R es una relación de A en B ⇔ R ⊂ A × B
A×B
b b
b
B R
a b
1 2 3
| {z }
A
D(R) = {x ∈ A | (x, y ) ∈ R}
I (R) = {y ∈ B | (x, y ) ∈ R}
R −1 = {(y , x) | (x, y ) ∈ R}
o bien (y , x) ∈ R −1 ⇔ (x, y ) ∈ R
Ejemplo: Sean los conjuntos A = {1, 2, 3, 4} y B = {3, 4, 5}
Se define R ∈ A × B mediante
xRy ⇔ x + y = 6
A 4b B A B
4b
b
3 b
3
3b R 3b R −1
b
4 b
4
2b 2b
b
5 b
5
1b 1b
|1 2 {z 3 4} |3 4
{z 5}
A B
R ∈ A×B y S ∈B ×C
S ◦ R = {(x, z) | ∃ y ∈ B ∧ (x, y ) ∈ R ∧ (y , z) ∈ S}
y
x b b b
z
S ◦R
i) (T ◦ S) ◦ R = T ◦ (S ◦ R)
ii ) (S ◦ R)−1 = R −1 ◦ S −1
Demostración de la propiedad ii )
Sean las relaciones R ⊂ A × B y S ⊂ B × C . En efecto:
(z, x) ∈ (S ◦ R)−1 ⇔ (x, z) ∈ S ◦ R def. de Inversa
⇔ ∃ y ∈ B ∧ (x, y ) ∈ R ∧ (y , z) ∈ S def. de comp. de relaciones
⇔ ∃ y ∈ B ∧ (y , x) ∈ R −1 ∧ (z, y ) ∈ S −1 def. de Inversa
⇔ ∃ y ∈ B ∧ (z, y ) ∈ S −1 ∧ (y , x) ∈ R −1 ley conmutativa
⇔ (z, x) ∈ R −1 ◦ S −1 def. de comp. de relaciones
xRy ⇔ y = x ∨ y = 2x
A × A = A2
4 b R b
b
3
A
b b
2
b
1
|1 2 {z 3 4}
A
R es reflexiva ⇔ ∀x : x ∈ A ⇒ xRx
a b
b b
d
b c
b
R es no reflexiva ⇔ ∃x | x ∈ A ∧ x Rx
a b
b b
d
b c
b
R es arreflexiva ⇔ ∀x : x ∈ A ⇒ x Rx
a b
b b
c
b d
b
R es simétrica ⇔ ∀x∀y ∈ A : x Ry ⇒ y Rx
1R4 ⇒ 4R1
2R3 ⇒ 3R2
1 2
b b
4
b 3
b
3R1 ∧ 1R3
4R3 ∧ 3R4
1 2
b b
4
b 3
b
1 2
b b
4
b 3
a b
b b
d
b c
b
a b
b b
d c
b
b
a b
b b
d c
b
b
1R2 ∧ 2R1 ⇒ 1 = 2, es V
3R4 ∧ 4R3 ⇒ 3 = 4, es V
4R1 ∧ 1R4 ⇒ 4 = 1, es V
1 2
b b
4 3
b
b