1 3-Relaciones

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.
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.
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}
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)
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
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
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}
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
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}
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.
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.
Relacin binaria
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
Relacin binaria
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)}
Relacin binaria
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
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
)}
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
Relacin binaria
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
)}
Relacin binaria
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)}
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.
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

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
Relacin binaria
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
.
Relacin binaria
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
!
Relacin binaria
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
Relacin binaria
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

Relacin binaria
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
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
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
)}
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}
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
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.
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, ...
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.
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.
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.
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.
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.
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
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
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:

=
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.
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.
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, . . . }
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]
=
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.
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)}
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.
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.
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)}
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
Entonces el cierre simtrico de R es
s(R) = {(1, 2), (2, 3), (2, 1), (3, 2)}
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
Entonces el cierre transitivo de R es
t(R) = {(1, 2), (2, 3), (1, 3)}
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)}
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
Teorema 8
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
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
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

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

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).
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}.
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
)
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

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}.
Cierre de equivalencia
Teorema 10
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.
Teorema 11
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)}
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.
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
Ejercicio
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.
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.
Ejercicio
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.
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.
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
)
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.
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, ...
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)

1 3-Relaciones

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

1 3-Relaciones

Încărcat de

Drepturi de autor:

Formate disponibile

Relaciones

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

este producto coincide con el producto habitual de matrices, pero

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

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

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

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

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

La particin correspondiente al cierre de equivalencia de R es

S-ar putea să vă placă și