Está en la página 1de 19

Relaciones

Mariam Cobalea
Universidad de Mlaga
Dpto. de Matemtica Aplicada
Curso 13/14
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 1 / 75
Relaciones
Relacin binaria: R A
1
A
2
I
Denicin de relacin binaria. Dominio y Rango.
I
Operaciones con relaciones.
I
Relacin inversa. Composicin de relaciones.
I
Representacin matricial de relaciones binarias.
Relacin binaria denida sobre un conjunto R A A
I
Propiedades: Reexiva, Simtrica, Antisimtrica, Transitiva, Conexa,
I
Relaciones de orden.
I
Relaciones de equivalencia. Particiones.
I
Cierres de relaciones. Algoritmo de Warshall. Cierre de equivalencia.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 2 / 75
Relaciones
Introduccin
Las conexiones entre elementos de conjuntos se representan usando una
estructura llamada relacin.
Cada da tratamos con relaciones tales como las de
I
una empresa, su nmero de telfono y su direccin;
I
un empleado, su antigedad y su salario;
I
una persona y un pariente
Las relaciones se pueden usar para resolver problemas tales como
I
determinar qu pares de ciudades estn unidas por una lnea area en
una red,
I
encontrar un orden viable para las diferentes fases de un proyecto
complicado,
I
disear una manera til de almacenar informacin en una base de datos.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 3 / 75
Relacin binaria
Terminologa bsica
Denicin 1 (Par ordenado)
Un par ordenado (a
1
, a
2
) es una coleccin ordenada que tiene a
1
como su
primer elemento y a
2
como su segundo elemento.
Denicin 2
Decimos que los pares ordenados (a
1
, a
2
) y (b
1
, b
2
) son iguales si, y slo si,
a
i
= b
i
, i : 1, 2
* Se observa que los pares (a, b) y (b, a) son iguales si, y slo si, a = b.
Denicin 3 (Producto cartesiano)
El producto cartesiano de los conjuntos A y B, denotado A B, es el
conjunto de todos los pares ordenados (a, b), donde a A y b B.
A B = {(a, b) | a A b B}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 4 / 75
Relacin binaria
Terminologa bsica
Ejemplo 1
Dados los conjuntos A = {1, 2, 3, 4}, B = {r , s}, el producto cartesiano es
A B = {(1, r ), (1, s), (2, r ), (2, s), (3, r ), (3, s), (4, r ), (4, s)}
B
r s
1 (1,r) (1,s)
A 2 (2,r) (2,s)
3 (3,r) (3,s)
4 (4,r) (4,s)
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 5 / 75
Relacin binaria
Terminologa bsica
La manera ms directa de expresar una relacin entre elementos de dos conjuntos
es usar pares ordenados formados por dos elementos relacionados. Por esta razn,
los conjuntos de pares ordenados se llaman relaciones binarias.
Denicin 4 ( Relacin binaria )
Se llama relacin binaria de A en B a todo subconjunto de A B
R A B
Dada una relacin R A B, si (a, b) R, se dice que
el elemento a est relacionado con el elemento b
y se puede escribir aRb.
Ejemplo 2
Dados los conjuntos A = {1, 2, 3, 4}, B = {r , s}, se denen las relaciones:
1
R
1
= {(1, r ), (1, s), (3, r ), (4, r )} A B
2
R
2
= {(1, r ), (2, r ), (4, r )} A B
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 6 / 75
Relaciones binarias
Ejemplos
Ejemplo 3
Sean los conjuntos A = {a
1
, a
2
, a
3
, a
4
, a
5
} y B = {b
1
, b
2
, b
3
, b
4
}
La relacin
R = {(a
1
, b
1
), (a
1
, b
2
), (a
3
, b
4
), (a
4
, b
3
)}
se puede representar
A B
a
1
a
2
a
3
a
4
a
5
b
1
b
2
b
3
b
4
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 7 / 75
Relacin binaria
Dominio y rango
Denicin 5 (Dominio y Rango de una relacin binaria)
Sea R una relacin binaria denida del conjunto A en el conjunto B.
Se llama dominio de la relacin al subconjunto de elementos de A que se
relacionan con algn elemento de B. Se denota Dom(R).
Dom(R) = {a A | b B, (a, b) R}
Se llama rango de la relacin al conjunto de elementos de B con los que se
relaciona algn elemento de A.
Rango(R) = {b B | a A, (a, b) R}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 8 / 75
Relacin binaria
Dominio y rango
Ejemplo 4
A = {1, 2, 3, 4}, B = {r , s}
1
R
1
= {(1, r ), (1, s), (3, r ), (4, r )}
I
Dominio de R
1
= {1, 3, 4} A
I
Rango de R
1
= {r , s} = B
2
R
2
= {(1, r ), (2, r ), (4, r )}
I
Dominio de R
2
= {1, 2, 4} A
I
Rango de R
2
= {r } B
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 9 / 75
Relacin binaria
Dominio y rango
Ejercicio
Dados los conjuntos
A = {x R | 5 x 5} y B = {y R | 4 y 4}
se dene la relacin R = {(x, y) A B |
x
2
9
+
y
2
4
= 1}
Halla el dominio y el rango de dicha relacin.
Solucin
El dominio de R est formado por aquellos elementos x A
para los que existe y B tal que
x
2
9
+
y
2
4
= 1.
Dominio de R = {x A | 3 x 3}
El rango de R est formado por aquellos elementos y B
para los que existe x A tal que
x
2
9
+
y
2
4
= 1.
Rango de R = {y B | 2 x 2}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 10 / 75
Relacin binaria
Dominio y rango
Ejercicio
Halla el dominio y el rango de cada una de las siguientes relaciones:
R
1
N N denida xR
1
y x
2
+ 2y = 100
R
2
R
+
R denida R
2
= {(x, y) R
+
R | x = y
2
}
Ejercicio
Determina el dominio y el rango de cada una de las relaciones siguientes:
R N R, denida n R y n = y
2
.
S R N, denida x S m x
2
= m 1.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 11 / 75
Relacin binaria
Operaciones con relaciones binarias
Ya que las relaciones son conjuntos, podemos combinar dos o ms relaciones
con las distintas operaciones entre conjuntos que hemos aprendido
anteriormente: unin, interseccin, diferencia y diferencia simtrica de
relaciones.
Adems, tambin podremos realizar otras operaciones, como la relacin
inversa y la composicin.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 12 / 75
Relacin binaria
Operaciones con relaciones binarias
Denicin 6
Sean los conjuntos A y B y sean las relaciones R
1
A B y
R
2
A B.
1
R
1
R
2
= {(a, b) A B | (a, b) R
1
(a, b) R
2
}
2
R
1
R
2
= {(a, b) A B | (a, b) R
1
y (a, b) R
2
}
3
R
1
R
2
= {(a, b) A B | (a, b) R
1
y (a, b) / R
2
}
4
R
1
= {(a, b) A B | (a, b) / R
1
}
5
R
1
4R
2
= {(a, b) A B | (a, b) R
1
R
2
y (a, b) / R
1
R
2
}
Ejercicio
Sean los conjuntos A = {1, 2, 3} y B = {x, y, z, t} y las relaciones
R
1
= {(1, x), (2, y), (3, z)} R
2
= {(1, x), (1, y), (3, z), (3, t)}
Halla (1) R
1
R
2
(2) R
1
R
2
(3) R
1
R
2
(4) R
1
(5) R
1
4R
2
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 13 / 75
Relacin binaria
Operaciones con relaciones binarias
Solucin
A = {1, 2, 3}, B = {x, y, z, t}
R
1
= {(1, x), (2, y), (3, z)} R
2
= {(1, x), (1, y), (3, z), (3, t)}
(1) R
1
R
2
= {(1, x), (2, y), (3, z), (1, y), (3, t)}
(2) R
1
R
2
= {(1, x), (3, z)}
(3) R
1
R
2
= {(2, y)}
(4) R
1
= (A B) R
1
(5) R
1
4R
2
= {(2, y), (1, y), (3, t)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 14 / 75
Relacin binaria
Operaciones con relaciones binarias
Ejercicio
Sean A el conjunto de todos los estudiantes de la E. T. S. I. I. y
B el conjunto de asignaturas que se imparten en dicho centro.
Se denen las relaciones R
1
y R
2
de la siguiente manera:
(a, b) R
1
el estudiante a ha cursado la asignatura b
(a, b) R
2
el estudiante a necesita aprobar la asignatura b
para graduarse
Describe las relaciones:
(1) R
1
R
2
(2) R
1
R
2
(3) R
1
R
2
(4) R
1
4R
2
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 15 / 75
Relacin binaria
Relacin inversa
Denicin 7 (Relacin inversa)
Sea R una relacin binaria de A en B. Se llama relacin inversa de R
a la relacin binaria de B en A denida por:
R
1
= {(b, a) B A | (a, b) R}
Ejemplo 5
Sean los conjuntos A = {a
1
, a
2
, a
3
, a
4
, a
5
} y B = {b
1
, b
2
, b
3
, b
4
}
La relacin inversa de
R = {(a
1
, b
1
), (a
1
, b
2
), (a
3
, b
4
), (a
4
, b
3
)}
es
R
1
= {(b
1
, a
1
), (b
2
, a
1
), (b
4
, a
3
), (b
3
, a
4
)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 16 / 75
Relacin binaria
Composicin de relaciones
Denicin 8 (Composicin de relaciones)
Sean los conjuntos A, B y C y las relaciones binarias
R A B y S B C
La composicin de las relaciones R y S es el subconjunto de A C
R S = {(a, c) A C | b B, (a, b) R y (b, c) S}
= {(a, c) A C | b B, aRb y bSc}
a(R S)c b B, aRb y bSc
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 17 / 75
Relacin binaria
Composicin de relaciones
Ejemplo 6
Sean los conjuntos
A = {a
1
, a
2
, a
3
, a
4
, a
5
}, B = {b
1
, b
2
, b
3
, b
4
} y C = {c
1
, c
2
, c
3
, c
4
, c
5
, c
6
}
La composicin de las relaciones
R = {(a
1
, b
1
), (a
1
, b
2
), (a
3
, b
4
), (a
4
, b
3
)}
S = {(b
1
, c
2
), (b
2
, c
1
), (b
2
, c
4
), (b
3
, c
3
)}
es la relacin
R S = {(a
1
, c
1
), (a
1
, c
2
), (a
1
, c
4
), (a
4
, c
3
)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 18 / 75
Relacin binaria
Composicin de relaciones
Ejemplo 6 (Representacin grca de la composicin)
A = {a
1
, a
2
, a
3
, a
4
, a
5
}, B = {b
1
, b
2
, b
3
, b
4
}, C = {c
1
, c
2
, c
3
, c
4
, c
5
, c
6
}
R = {(a1, b1), (a1, b2), (a3, b4), (a4, b3)} S = {(b1, c2), (b2, c1), (b2, c4), (b3, c3)}
A B
C
a1
a2
a3
a4
a5
b1
b2
b3
b4
c1
c2
c3
c4
c5
c6
R S = {(a1, c1), (a1, c2), (a1, c4), (a4, c3)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 19 / 75
Relacin binaria
Ejercicio
Dadas las relaciones:
R N R, denida n R y n = y
2
S R N, denida x S m x
2
= m 1
Encuentra, si es posible, una expresin para las relaciones
(1) R S (2) S R (3) (R S)
1
(4) (S R)
1
Adems determina el dominio y el rango de cada una de ellas.
Ejercicio
Usa el ejercicio anterior para demostrar que la composicin de relaciones binarias
no es conmutativa.
Teorema 1
Sean A, B, C y D conjuntos y R
1
A B, R
2
B C y R
3
C D
relaciones binarias. Entonces R
1
(R
2
R
3
) = (R
1
R
2
) R
3
3 La composicin de relaciones binarias verica la propiedad asociativa.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 20 / 75
Relacin binaria
Representacin matricial
Denicin 9 (Matriz de adyacencia)
Sea R una relacin binaria denida del conjunto A = {a
1
, a
2
, ..., a
m
} en el
conjunto B = {b
1
, b
2
, ..., b
n
}. Se llama matriz de adyacencia asociada a R
a la matriz M
R
= (m
ij
) dada por
m
ij
=
(
1, si (a
i
, b
j
) R
0, si (a
i
, b
j
) 6 R
Ejemplo 7
La relacin R = {(a
1
, b
1
), (a
1
, b
2
), (a
3
, b
4
), (a
4
, b
3
)}, denida de
A = {a
1
, a
2
, a
3
, a
4
, a
5
} en B = {b
1
, b
2
, b
3
, b
4
}, se representa matricialmente
M
R
=

1 1 0 0
0 0 0 0
0 0 0 1
0 0 1 0
0 0 0 0

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 21 / 75


Relacin binaria
Operaciones con matrices booleanas
Las matrices de adyacencia son ejemplos de matrices booleanas, es decir,
matrices cuyos elementos estn en el conjunto {0, 1}.
Las matrices de adyacencia permiten traducir las operaciones entre relaciones
en operaciones entre matrices, que a su vez se expresan a partir de
operaciones simples en el conjunto {0, 1} :
x y = max{x, y}
1 1 = 1
1 0 = 1
0 1 = 1
0 0 = 0
1 0
1 1 1
0 1 0
x y = min{x, y}
1 1 = 1
1 0 = 0
0 1 = 0
0 0 = 0
1 0
1 1 0
0 0 0
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 22 / 75
Relacin binaria
Operaciones con matrices booleanas
Las operaciones denidas anteriormente, inducen varias operaciones entre matrices
booleanas:
1
(m
ij
) (n
ij
) = (m
ij
n
ij
)
2
(m
ij
) (n
ij
) = (m
ij
n
ij
)
3
(m
ij
) (n
ij
) =

_
k
(m
ik
n
kj
)

este producto coincide con el producto habitual de matrices, pero


sustituyendo
P
por
W
.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 23 / 75
Relacin binaria
Operaciones con matrices booleanas
Ejemplo 8
1

0 1 1
1 0 0
!

1 1 0
0 0 1
!
=

1 1 1
1 0 1
!
2

0 1 1
1 0 0
!

1 1 0
0 1 1
!
=

0 1 0
0 0 0
!
3

1 1 0
0 1 0
!

0 1
1 0
0 0

1 1
1 0
!
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 24 / 75
Relacin binaria
Operaciones con matrices booleanas
Teorema 2
Sean R y S relaciones binarias de A en B. Entonces
1
M
RS
= M
R
M
S
2
M
RS
= M
R
M
S
3
M
R
1 = M
t
R
(matriz transpuesta)
Teorema 3
Sean los conjuntos A, B y C y las relaciones binarias R A B y
S B C. Entonces
4
M
RS
= M
R
M
S
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 25 / 75
Relacin binaria
Operaciones con matrices booleanas
Ejemplo 9
A = {a
1
, a
2
, a
3
, a
4
, a
5
}, B = {b
1
, b
2
, b
3
, b
4
}, C = {c
1
, c
2
, c
3
, c
4
, c
5
, c
6
}
R = {(a1, b1), (a1, b2), (a3, b4), (a4, b3)} S = {(b1, c2), (b2, c1), (b2, c4), (b3, c3)}
R S = {(a1, c1), (a1, c2), (a1, c4), (a4, c3)}
MR MS = MRS

1 1 0 0
0 0 0 0
0 0 0 1
0 0 1 0
0 0 0 0

0 1 0 0 0 0
1 0 0 1 0 0
0 0 1 0 0 0
0 0 0 0 0 0

1 1 0 1 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 1 0 0 0
0 0 0 0 0 0

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 26 / 75


Relacin binaria
Operaciones con matrices booleanas
Ejercicio
Dados los conjuntos A = {a
1
, a
2
, a
3
}, B = {b
1
, b
2
, b
3
, b
4
} y
C = {c
1
, c
2
, c
3
}, se establecen las relaciones R
1
, R
2
y R
3
siguientes:
R
1
= {(a
1
, b
1
), (a
2
, b
4
), (a
3
, b
1
), (a
3
, b
2
), (a
3
, b
4
)}
R
2
= {(a
1
, b
3
), (a
2
, b
2
), (a
3
, b
1
)}
R
3
= {(b
2
, c
1
), (b
2
, c
3
), (b
3
, c
2
), (b
4
, c
3
)}
Usa las matrices asociadas para determinar las relaciones:
a) R
1
R
2
b) R
1
1
R
1
2
c) R
2
R
3
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 27 / 75
Relacin binaria denida en un conjunto
Denicin 10
Una relacin binaria denida sobre un conjunto A es cualquier subconjunto
R A A.
I = {(a, a) | a A} es la relacin identidad.
Ejemplo 10
1
Dado un conjunto S, una relacin binaria denida en el conjunto P(S) es
la inclusin .
2
La relacin entre nmeros reales.
3
La relacin | de divisibilidad denida en N.
* Para relaciones de un conjunto en s mismo, tiene sentido componer una
relacin consigo misma; en adelante, utilizaremos la siguiente notacin:
R
2
= R R
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 28 / 75
Relacin binaria denida en un conjunto
Ejercicio
Dado un conjunto de ciudades C = {c
1
, . . . , c
5
}, en la tabla se dan los precios
c(c
i
, c
j
) del vuelo entre cada par de ciudades.
c
1
c
2
c
3
c
4
c
5
c
1
140 100 150 200
c
2
140 200 160 220
c
3
100 200 190 250
c
4
150 160 190 150
c
5
200 220 250 150
Se considera la relacin R denida c
i
Rc
j
c(c
i
, c
j
) 180.
Escribe los pares que pertenecen a la relacin R.
Solucin
R = {(c
1
, c
2
), (c
1
, c
3
), (c
1
, c
4
), (c
2
, c
1
), (c
2
, c
4
), (c
3
, c
1
),
(c
4
, c
1
), (c
4
, c
2
), (c
4
, c
5
), (c
5
, c
4
)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 29 / 75
Relacin binaria denida en un conjunto
Ejercicio
Se considera la relacin binaria R Z Z denida
a R b a b + 1
Determina cada uno de los siguientes subconjuntos:
i ) {x Z | (x, 1) R} ii ) {x Z | (1, x) R}
iii ) {x Z | (x, 4) R} iv) {x Z | (4, x) R}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 30 / 75
Relacin binaria denida en un conjunto
Propiedades que puede vericar una relacin binaria
Denicin 11
Sea R una relacin binaria denida sobre un conjunto A. Se dice que
R es reexiva si para todo a A : aRa
R es simtrica si para todo a, b A : aRb = bRa
R es antisimtrica si para todo a, b A : aRb y bRa = a = b
R es transitiva si para todo a, b, c A : aRb y bRc = aRc
R es conexa si para todo a, b A : aRb, o bien bRa
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 31 / 75
Relacin binaria denida en un conjunto
Ejercicio
Estudia qu propiedades verica la relacin R = {(a, b), (b, d), (c, b), (a, d)}
denida en el conjunto A = {a, b, c, d}.
Ejercicio
En el conjunto A = {2, 3, 4, 5, 6} se considera la relacin R denida
xRy x | y
Escribe los pares que pertenecen a la relacin R.
Estudia qu propiedades verica.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 32 / 75
Relacin binaria denida en un conjunto
Propiedades
Ejercicio
Completa la tabla, indicando qu propiedades verican las siguientes relaciones
binarias: entre nmeros reales, | divisibilidad entre nmeros naturales,

m
congruencia mdulo m entre enteros, inclusin entre conjuntos,
|| paralelismo entre rectas, perpendicularidad entre rectas.
|
m
||
Reexiva 3 3 3
Simtrica 3
Antisimtrica 3
Transitiva 3
Conexa 3
3: se verica; : no se verica.
Ejemplo 11
1
Son relaciones reexivas:
entre nmeros, entre conjuntos, semejanza de tringulos, ...
2
Son relaciones simtricas:
semejanza de tringulos, paralelismo entre rectas, perpendicularidad entre
rectas, ...
3
Son relaciones antisimtricas:
entre nmeros, entre conjuntos,
| divisibilidad entre nmeros naturales, ...
4
Son relaciones transitivas:
entre nmeros, semejanza de tringulos, paralelismo entre rectas,
inclusin entre conjuntos, | divisibilidad entre nmeros naturales, ...
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 33 / 75
Relacin binaria denida en un conjunto
Propiedades
Ejercicio
En el conjunto A = {1, 2, 3, 4, 5} se considera la relacin S denida
xSy si y slo si y = x + 2
Escribe los pares que pertenecen a la relacin S.
Estudia qu propiedades verica.
Ejercicio
En el conjunto A = {1, 2, 3, 4, 5} se dene la relacin
R = {(1, 2), (2, 1), (3, 3), (4, 5)}
Estudia si R R
2
es una relacin transitiva.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 34 / 75
Relaciones de orden
Es frecuente querer comparar los elementos de un conjunto.
En un conjunto de personas podemos establecer comparaciones segn la
estatura, la edad, el sueldo, ... ;
En un proyecto, el conjunto de tareas que se han de realizar se pueden
ordenar segn el momento de su ejecucin.
El modelo matemtico para describir este tipo de organizacin de los
elementos de un conjunto es la teora de las relaciones de orden.
Aunque no siempre ser posible efectuar una comparacin entre dos
elementos cualesquiera del conjunto.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 35 / 75
Relaciones de orden
Denicin 12 (Relacin de orden parcial)
Sea R una relacin binaria denida sobre un conjunto no vaco A.
Se dice que R es una relacin de orden parcial si es reexiva, antisimtrica
y transitiva.
El par (A, R) se llama conjunto parcialmente ordenado.
Ejemplo 12
(P(S), ) es un conjunto parcialmente ordenado.
* Las relaciones de orden permiten comparar los elementos de un conjunto.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 36 / 75
Relaciones de orden
Notacin: Para denotar las relaciones de orden usaremos los smbolos
v
Vocabulario : Cuando a b, se dice que:
el elemento a es anterior al elemento b,
el elemento b es posterior al elemento a,
el elemento a precede al elemento b,
el elemento b supera al elemento a.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 37 / 75
Relaciones de orden
Ejemplo 13
En el conjunto A = {2, 4, 5, 10, 12, 20} se considera la relacin | de
divisibilidad:
2 | 2, 2 | 4, 2 | 10, 2 | 12, 2 | 20, 4 | 4, 4 | 12,
4 | 20, 5 | 5, 5 | 10, 5 | 20, 10 | 10, 10 | 20, 12 | 12, 20 | 20
R
|
= {(2, 2), (2, 4), (2, 10), (2, 12), (2, 20), (4, 4), (4, 12), (4, 20),
(5, 5), (5, 10), (5, 20), (10, 10), (10, 20), (12, 12), (20, 20)}
Ejercicio
Se considera la relacin binaria R Z Z denida
aRb a b + 1
Estudia si es una relacin de orden.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 38 / 75
Relaciones de orden
Representacin: Diagramas de Hasse
Denicin 13
Sea (A, ) un conjunto parcialmente ordenado y sean a y b A. Se dice
que son elementos comparables si a b o bien b a.
Se dice que el elemento b es sucesor inmediato del elemento a si se
verican las siguientes condiciones:
1
a b
2
6c A, a c b.
Se denota a b.
Ejemplo 14
En el conjunto parcialmente ordenado (A = {2, 4, 5, 10, 12, 20}, | ),
20 es sucesor inmediato de 4, pero no es sucesor inmediato de 5,
ya que existe 10 tal que 5 | 10 y 10 | 20
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 39 / 75
Relaciones de orden
Representacin: Diagramas de Hasse
Teniendo en cuenta estos conceptos, podemos describir una representacin grca
de una relacin de odren parcial en un conjunto nito: el diagrama de Hasse.
Se representa cada elemento del conjunto A con un punto del plano,
se colocan de abajo hacia arriba y
se dibuja una lnea ascendente desde cada elemento hasta cada uno de sus
sucesores inmediatos.
Ejemplo 15
El diagrama de Hasse del
conjunto parcialmente ordenado
(A = {2, 4, 5, 10, 12, 20}, | ) es:
2 5
4 10
12 20
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 40 / 75
Relaciones de equivalencia
Denicin 14 (Relacin de equivalencia)
Sea R una relacin binaria denida en un conjunto A. Se dice que R es una
relacin de equivalencia si es reexiva, simtrica y transitiva.
Ejemplo 16
Son relaciones de equivalencia:
1
La relacin de igualdad entre fracciones
p
q
=
r
s
p s = q r
2
La relacin denida en Z como:
a
3
b a b es mltiplo de 3
Notacin: Para denotar las relaciones de equivalencia usaremos los smbolos:


=
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 41 / 75
Relaciones de equivalencia
Ejercicio
En el conjunto A = {1, 2, 3, 4} se establece una relacin binaria
R = {(1, 1), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4), (4, 2), (4, 3), (4, 4)}
Justica que R es una relacin de equivalencia.
Ejercicio
Demuestra que son relaciones de equivalencia:
1
R Z Z denida aRb si y slo si a = b bien a = b.
2
R R R denida aRb si y slo si a b Z.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 42 / 75
Relaciones de equivalencia
Clases de equivalencia
Denicin 15 (Clases de equivalencia)
Sea una relacin de equivalencia denida en un conjunto A y sea a A.
La clase de equivalencia de a es el subconjunto de elementos de A que son
equivalentes al elemento a. Se denota [a]

.
[a]

= {x A | x a}
3 Si b [a]

, se dice que b es un representante de esta clase de


equivalencia.
3 Cualquier elemento de una clase se puede usar como representante de dicha
clase.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 43 / 75
Relaciones de equivalencia
Clases de equivalencia
Ejemplo 17
1
Las clases de equivalencia de la relacin
R = {(1, 1), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4), (4, 2), (4, 3), (4, 4)}
denida en el conjunto A = {1, 2, 3, 4} son
[1] = {1}, [2] = {2, 3, 4} = [3] = [4]
2
La clase de equivalencia de 0 para la relacin
3
es
[0]
3
= {. . . , 6, 3, 0, 3, 6, . . . }
3
La clase de equivalencia de 1 para la relacin
3
es
[1]
3
= {. . . , 5, 2, 1, 4, 7, . . . }
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 44 / 75
Relaciones de equivalencia
Relaciones de equivalencia y Particiones
Teorema 4
Sea una relacin de equivalencia denida en un conjunto A
y sean a, b A. Entonces:
[a]

= [b]

a b
[a]

6= [b]

= [a]

[b]

=
* Las clases de equivalencia de dos elementos de A son idnticas o disjuntas.
a, b A, [a]

= [b]

bien [a]

[b]

=
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 45 / 75
Relaciones de equivalencia
Relaciones de equivalencia y Particiones
Teorema 5
Sea una relacin de equivalencia denida en un conjunto A. Entonces la
coleccin de todas las clases de equivalencia forma una particin de A que se
llama conjunto cociente y se denota A
/
.
Ejemplo 18
Para la relacin de equivalencia
R = {(1, 1), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4), (4, 2), (4, 3), (4, 4)}
denida en el conjunto A = {1, 2, 3, 4}, el conjunto cociente A
/R
es
n
{1}, {2, 3, 4}
o
* Las relaciones de equivalencia permiten clasicar los elementos de un
conjunto.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 46 / 75
Relaciones de equivalencia
Relaciones de equivalencia y Particiones
Teorema 6
Si es una particin de un conjunto A, entonces podemos denir una
relacin de equivalencia cuyas clases de equivalencia sean los bloques de la
particin.
Ejemplo 19
Dado el conjunto A = {1, 2, 3, 4, 5, 6}, la coleccin de conjuntos
n
A
1
= {1, 3, 5}, A
2
= {2}, A
3
= {4, 6}
o
forma una particin de A.
La relacin de equivalencia inducida es
R

= {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1), (5, 3), (5, 5),
(2, 2), (4, 4), (4, 6), (6, 4), (6, 6)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 47 / 75
Relaciones de equivalencia
Relaciones de equivalencia y Particiones
Ejercicio
En el conjunto Z se dene la relacin binaria
aRb a
2
b
2
= a b
Demuestra que R es una relacin de equivalencia.
Determina el conjunto cociente.
Ejercicio
Sea R una relacin binaria denida en un conjunto A. Se dice que R es
circular si para todos los elementos a, b y c A se verica que

aRb y bRc

= cRa
Demuestra que una relacin reexiva y circular es de equivalencia.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 48 / 75
Cierres de relaciones
Introduccin
1
Dada una relacin R denida sobre un conjunto A buscamos la
mnima relacin que la contiene y que cumple una determinada propiedad
(reexiva, simtrica, transitiva...).
2
Dadas dos relaciones de equivalencia R
1
y R
2
, buscamos:
I
la mxima relacin de equivalencia que est contenida en R
1
y R
2
I
la mnima relacin de equivalencia que contiene a R
1
y R
2
Estas relaciones buscadas son los respectivos cierres.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 49 / 75
Cierres de relaciones
Denicin 16 (Cierre reexivo)
Sea R una relacin binaria denida sobre un conjunto A. El cierre reexivo
de R es la mnima relacin reexiva que contiene a R. Se denota r(R).
As, el cierre reexivo de R es una relacin r(R) tal que:
1
r(R) es reexiva.
2
R r(R)
3
Para toda relacin R
0
reexiva, si R R
0
, entonces r(R) R
0
Ejemplo 20
Sea el conjunto A = {1, 2, 3} y sea la relacin R = {(1, 2), (2, 3)}.
Entonces el cierre reexivo de R es
r(R) = {(1, 2), (2, 3), (1, 1), (2, 2), (3, 3)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 50 / 75
Cierres de relaciones
Denicin 17 (Cierre simtrico)
Sea R una relacin binaria denida sobre un conjunto A.
El cierre simtrico de R es la mnima relacin simtrica que contiene a R.
Se denota s(R). As, el cierre simtrico de R es una relacin s(R) tal que :
1
s(R) es simtrica.
2
R s(R)
3
Para toda relacin R
0
simtrica, si R R
0
, entonces s(R) R
0
Ejemplo 21
Sea el conjunto A = {1, 2, 3} y sea la relacin R = {(1, 2), (2, 3)}.
Entonces el cierre simtrico de R es
s(R) = {(1, 2), (2, 3), (2, 1), (3, 2)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 51 / 75
Cierres de relaciones
Denicin 18 (Cierre transitivo)
Sea R una relacin binaria denida sobre un conjunto A.
El cierre transitivo de R es la mnima relacin transitiva que contiene a R.
Se denota t(R). As, el cierre transitivo de R es una relacin t(R) tal que :
1
t(R) es transitiva.
2
R t(R)
3
Para toda relacin R
0
transitiva, si R R
0
, entonces t(R) R
0
Ejemplo 22
Sea el conjunto A = {1, 2, 3} y sea la relacin R = {(1, 2), (2, 3)}.
Entonces el cierre transitivo de R es
t(R) = {(1, 2), (2, 3), (1, 3)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 52 / 75
Cierres de relaciones
Ejemplo 23
Sea el conjunto A = {1, 2, 3, 4} y sea la relacin
R = {(1, 3), (1, 4), (2, 2), (3, 3), (4, 1)}
Entonces
r(R) = {(1, 1), (1, 3), (1, 4), (2, 2), (3, 3), (4, 1), (4, 4)}
s(R) = {(1, 3), (1, 4), (2, 2), (3, 1), (3, 3), (4, 1)}
t(R) = {(1, 1), (1, 3), (1, 4), (2, 2), (3, 3), (4, 1), (4, 3), (4, 4)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 53 / 75
Cierres de relaciones
Teorema 7
Sea R una relacin binaria denida en un conjunto A. Entonces
1
R es reexiva r(R) = R
2
R es simtrica s(R) = R
3
R es transitiva t(R) = R
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 54 / 75
Cierres de relaciones
Teorema 8
Sea R una relacin binaria denida en un conjunto A. Entonces
1
r(R) = R I
2
s(R) = R R
1
3
t(R) = R R
2
R
3
=

[
i =1
R
i
Teorema 9
Sea R una relacin binaria denida en un conjunto A = {a
1
, a
2
, ..., a
n
}.
Entonces
t(R) =
n
[
i =1
R
i
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 55 / 75
Cierres de relaciones
Como consecuencia, para cada relacin binaria R denida en un conjunto
A = {a
1
, a
2
, ..., a
n
} se verica:
M
r(R)
= M
RI
= M
R
M
I
= M
R
I
M
s(R)
= M
RR
1 = M
R
M
R
1 = M
R
M
t
R
M
t(R)
= M
R
M
R
2 M
R
n = M
R
M
2
R
M
n
R
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 56 / 75
Cierres de relaciones
Ejemplo 24
Halla el cierre reexivo y el cierre simtrico de la relacin R cuya matriz
asociada es
M
R
=

1 0 0 1
0 0 0 1
1 0 0 0
0 1 0 0

Solucin
M
r(R)
= M
R
I =

1 0 0 1
0 1 0 1
1 0 1 0
0 1 0 1

M
s(R)
= M
R
M
t
R
=

1 0 1 1
0 0 0 1
1 0 0 0
1 1 0 0

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 57 / 75


Cierres de relaciones
Ejemplo 25
Halla el cierre transitivo de la relacin R cuya matriz asociada es
M
R
=

1 0 0 1
0 0 0 1
1 0 0 0
0 1 0 0

Solucin
M
2
R
=

1 1 0 1
0 1 0 0
1 0 0 1
0 0 0 1

M
3
R
=

1 1 0 1
0 0 0 1
1 1 0 1
0 1 0 0

M
4
R
=

1 1 0 1
0 1 0 0
1 1 0 1
0 0 0 1

M
t(R)
= M
R
M
2
R
M
3
R
M
4
R
=

1 1 0 1
0 1 0 1
1 1 0 1
0 1 0 1

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 58 / 75


Cierres de relaciones
Ejercicio
En el conjunto A = {2, 3, 4, 5, 6} se establece la relacin binaria R denida de
la siguiente forma
xRy mcd(x, y) = 1
1
Escribe el conjunto de pares ordenados de R y halla la matriz asociada.
2
Calcula r(R), s(R) y t(R).
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 59 / 75
Cierres de relaciones
Ejercicio
Halla el cierre transitivo de las siguientes relaciones:
1
R = {(a, b), (a, d), (b, c), (b, d), (d, a), (d, d)} denida en el conjunto
A = {a, b, c, d}.
2
S = {(a, b), (b, c), (c, b), (d, b), (d, e), (e, a)} denida en el conjunto
A = {a, b, c, d, e}.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 60 / 75
Cierre transitivo: Algoritmo de Warshall
Dado un conjunto A = {a
1
, a
2
, , a
n
}, determinamos el cierre transitivo de
una relacin R denida en A calculando una secuencia de matrices
W
0
, W
1
, , W
k1
, W
k
, , W
n
donde
W
0
= M
R
y W
n
= M
t(R)
y cada W
k
se halla a partir de W
k1
de la siguiente manera:
W
k
= (w
(k)
ij
), w
(k)
ij
= w
(k1)
ij
(w
(k1)
ik
w
(k1)
kj
)
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 61 / 75
Cierre transitivo: Algoritmo de Warshall
Ejemplo 26
Usa el algoritmo de Warshall para hallar
el cierre transitivo de la relacin R
cuya matriz asociada es
M
R
=

1 0 0 1
0 0 0 1
1 0 0 0
0 1 0 0

Solucin
W
0
=

1 0 0 1
0 0 0 1
1 0 0 0
0 1 0 0

W
1
=

1 0 0 1
0 0 0 1
1 0 0 1
0 1 0 0

W
2
=

1 0 0 1
0 0 0 1
1 0 0 1
0 1 0 1

= W
3
W
4
=

1 1 0 1
0 1 0 1
1 1 0 1
0 1 0 1

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 62 / 75


Cierres de relaciones
Ejercicio
Utiliza el algoritmo de Warshall para hallar el cierre transitivo de las siguientes
relaciones:
1
R = {(a, b), (a, d), (b, c), (b, d), (d, a), (d, d)} denida en el conjunto
A = {a, b, c, d}.
2
S = {(a, b), (b, c), (c, b), (d, b), (d, e), (e, a)} denida en el conjunto
A = {a, b, c, d, e}.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 63 / 75
Cierres de relaciones
Cierre de equivalencia
Teorema 10
Sea R una relacin binaria denida en un conjunto A. Entonces
1
Si R es reexiva, entonces s(R) y t(R) son reexivas.
2
Si R es simtrica, entonces r(R) y t(R) son simtricas.
3
Si R es transitiva, entonces r(R) es transitiva.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 64 / 75
Cierres de relaciones
Cierre de equivalencia
Teorema 11
Sea R una relacin binaria denida en un conjunto A. Entonces
1
rs(R) = sr(R)
2
rt(R) = tr(R)
3
st(R) ts(R)
Ejemplo 27
Sea el conjunto A = {1, 2, 3} y sea la relacin R = {(1, 2), (2, 3)}. Entonces
t(R) = {(1, 2), (2, 3), (1, 3)}
st(R) = {(1, 2), (2, 1)(2, 3), (3, 2), (1, 3), (3, 1)}
s(R) = {(1, 2), (2, 3), (2, 1), (3, 2)}
ts(R) = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 65 / 75
Cierres de relaciones
Cierre de equivalencia
Teorema 12
Sea R una relacin binaria denida en un conjunto A. Entonces la mnima
relacin de equivalencia que contiene a R es tsr(R).
(Esta relacin se llama cierre de equivalencia de la relacin R )
Ejemplo 28
En el conjunto A = {a
1
, a
2
, a
3
, a
4
, a
5
} se dene la relacin binaria
R = {(a
1
, a
3
), (a
2
, a
4
), (a
3
, a
5
), (a
4
, a
2
)}
Halla el cierre de equivalencia de R y la particin correspondiente.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 66 / 75
Cierres de relaciones
Cierre de equivalencia
Solucin A = {a
1
, a
2
, a
3
, a
4
, a
5
} R = {(a
1
, a
3
), (a
2
, a
4
), (a
3
, a
5
), (a
4
, a
2
)}
M
R
=

0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
0 1 0 0 0
0 0 0 0 0

M
r(R)
=

1 0 1 0 0
0 1 0 1 0
0 0 1 0 1
0 1 0 1 0
0 0 0 0 1

M
sr(R)
=

1 0 1 0 0
0 1 0 1 0
1 0 1 0 1
0 1 0 1 0
0 0 1 0 1

M
tsr(R)
=

1 0 1 0 1
0 1 0 1 0
1 0 1 0 1
0 1 0 1 0
1 0 1 0 1

La particin correspondiente al cierre de equivalencia de R es


n
{a
1
, a
3
, a
5
}, {a
2
, a
4
}
o
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 67 / 75
Cierres de relaciones
Cierre de equivalencia
Ejercicio
En el conjunto A = {1, 2, 3, 4, 5} se dene la relacin
R = {(1, 2), (3, 4), (5, 2)}
1
Usa el algoritmo de Warshall para hallar la mnima relacin de equivalencia
que contiene a R y determina el conjunto cociente.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 68 / 75
Cierres de relaciones
Cierre de equivalencia
Ejercicio
En el conjunto A = {2, 3, 4, 5, 6} se considera la relacin R denida
xRy x | y
1
Halla los pares que pertenecen a R.
2
Estudia si es una relacin de equivalencia.
3
Si no lo es, calcula el cierre de equivalencia y el conjunto cociente.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 69 / 75
Cierres de relaciones
Cierre de equivalencia
Ejercicio
En el conjunto A = {1, 2, 3, 4, 5} se dene la relacin
R = {(1, 2), (2, 1), (3, 3), (4, 5)}
1
Prueba que S = R R
2
es una relacin transitiva.
2
Usa el algoritmo de Warshall para encontrar mnima relacin de equivalencia
que contiene a S y determina el conjunto cociente.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 70 / 75
Cierres de relaciones
Cierre de equivalencia
Ejercicio
Sean R
1
y R
2
relaciones de equivalencia denidas sobre un conjunto A.
Completa la siguiente tabla
R
1
R
2
R
1
R
2
Reexiva
Simtrica
Transitiva
escribiendo SI o NO segn se conserve o no la propiedad dada al efectuarse la
operacin indicada.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 71 / 75
Cierres de relaciones
Cierre de equivalencia
Ejercicio
Sean R
1
y R
2
relaciones binarias denidas sobre un conjunto A.
Usa el ejercicio anterior para demostrar los siguientes enunciados:
1
La mxima relacin de equivalencia que est contenida en R
1
y en R
2
es
R
1
R
2
2
La mnima relacin de equivalencia que contiene a R
1
y R
2
es
t(R
1
R
2
)
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 72 / 75
Cierres de relaciones
Cierre de equivalencia
Ejercicio
Sea R una relacin binaria denida en un conjunto A. Demuestra o refuta:
1
Si R es simtrica y transitiva, entonces R es reexiva.
2
Si R es simtrica, el cierre transitivo contiene al cierre reexivo:
r(R) t(R)
3
Si R es transitiva, entonces su cierre simtrico s(R) es tambin una
relacin transitiva.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 73 / 75
Cierres de relaciones
Denicin 19
Sea R una relacin binaria denida en un conjunto A. Se denen las
relaciones:
R
+
= t(R)
R

= tr(R)
Las relaciones R
+
y R

se usan al estudiar:
lenguajes formales,
modelos de computacin,
diseo de compiladores, ...
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 74 / 75
Relaciones
Bibliografa
Matemtica Discreta N.L.Biggs (Ed. Vicens Vives)
Matemtica Discreta F. Garca Merayo (Ed. Paraninfo)
Problemas resueltos de Matemtica Discreta F. Garca Merayo,
G. Hernndez Pealver y A. Nevot Luna (Ed. Thomson)
Matemticas Discreta y combinatoria R.P. Grimaldi (Ed. Addison Wesley)
Matemtica Discreta R. Johnsonbaugh (Ed. Prentice Hall)
Estructuras de Matemticas Discretas para la Computacin
B. Kolman y R.C. Busby (Ed. Prentice Hall)
2000 Problemas resueltos de Matemtica Discreta
S. Lipschutz y M. Lipson (Ed. McGraw Hill)
Matemtica Discreta y sus aplicaciones K. Rosen (Ed. McGraw Hill)
Matemtica Discreta K.A. Ross y C.R.B. Wright (Ed. Prentice Hall)
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Relaciones 75 / 75