PROPIEDADES DE LAS
RELACIONES
Hay dos clases especiales de relaciones, las relaciones de
equivalencia y las relaciones de orden. El prototipo de una
relación de equivalencia es la noción ordinaria de igualdad
numérica, =. La relación prototípica de ordenación es ≤.
• Una relación que tiene tres de las propiedades que
discutiremos:
[Link]
[Link]ía
[Link]
se dice que es una relación de equivalencia; de alguna
manera se asemejara =.
• Una relación que tiene otro conjunto de tres
propiedades:
[Link]
[Link]-simetría
[Link]
se llama relación de orden; se asemejará ≤.
Adicionalmente, existe una propiedad conocida como
irreflexividad que muchas relaciones tienen.
Propiedades
• Si R es una relación sobre A, entonces R es reflexiva si y
sólo si (a, a) es un elemento de R para cada elemento a
de A. Además, toda relación reflexiva puede
identificarse con un bucle propio en cada vértice de un
grafo dirigido y todos los «1» a lo largo de la diagonal
principal de la matriz de incidencia.
Por ejemplo, si el conjunto A = {a,b} entonces R es
reflexivo si y sólo si R = {(a,a), (b,b)}.
Si A={a, b}, entonces R es reflexiva si.
R={(a,a),(b,b)}
Cada vertice tiene un bucle propio
La diagonal principal tiene todo 1
Si R es una relación sobre A, entonces R es irreflexiva si y
sólo si (a, a) no es un elemento en R para todo a en A.
Esto significa, que toda relación irreflexiva no tendrá
bucles propios en cada vértice de un grafo dirigido, y la
diagonal principal de la matriz de incidencia será todo
«0s».
Por ejemplo: Supongamos que el conjunto A = {a,b}
entonces R es irreflexivo si y sólo si (a,a) y (b,b) no están
en R.
Si el conjunto A={a,b}, entonces R es irreflexiva si.
(a,a) ∉ R y (b,b) ∉ R
Cada vertice no tiene un bucle propio
La diagonal principal tiene todo 0
Si R es una relación en A, entonces R es simétrica si (a,b)
es un elemento en R y (b, a) es también un elemento de
R para todos a y b en A. Esto significa, para una relación
simétrica, cada par de vértices está conectado por
ninguna o exactamente dos líneas dirigidas en
direcciones opuestas, y la matriz de incidencia será una
«imagen especular» de la diagonal principal.
Por ejemplo: Ahora, pongamos que A = {a,b} entonces R
es simétrico si
Si el conjunto A={a,b}, entonces R es simétrica si.
(a,b) ∈ R y (b,a) ∈ R
cada par de vértices está conectado por ninguna o sólo
dos líneas dirigidas en direcciones opuestas
mij = mji de la diagonal principal
Si R es una relación en A, entonces R es antisimétrica si
(a,b) y (b,a) están en R sólo si a = b. Por lo tanto, la única
manera de que tanto (a,b) y (b, a) están en la relación es
si a es igual a b. Gráficamente, esto significa que cada
par de vértices está conectado por ninguna o
exactamente una línea dirigida para una relación
antisimétrica, y la matriz de incidencia no será una
«imagen especular» de la diagonal principal.
Por ejemplo: En este caso, si el conjunto A = {a,b}
entonces R es antisimétrico si
Si el conjunto A={a,b}, entonces R es antisimétrico si.
Si (a,b) ∈ R y (b,a) ∈ R, entonces a = b
cada par de vértices está conectado por ninguna o
exactamente una línea dirigida
mij ≠ mji de la diagonal principal
Si R es una relación sobre A, entonces R es transitiva si
(a,b) y (b,c) entonces (a,c) están en R. En otras palabras,
para cada camino no dirigido que une tres vértices a,b y
c, en ese orden, existe también una línea dirigida que
une a con c. Y el cuadrado de la matriz de incidencia
revelará un 1 o un 2 para cada entrada correspondiente a
la matriz original.
Por ejemplo: Si el conjunto A = {a,b} entonces R es
transitivo si
Si el conjunto A={a,b}, entonces R es transitiva si.
Si (a,b) ∈ R y (b,c) ∈ R entonces (a,c) ∈ R
cada parte que une tres vértices a, b y c, existe también
una línea dirigida que une a con c
Transitiva:
No transitiva:
Es importante señalar que una relación puede ser
reflexiva, irreflexiva, ambas o ninguna. Además, una
relación puede ser simétrica, antisimétrica, ambas o
ninguna. En consecuencia, es esencial comprobar todas
las propiedades.
