Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Es decir,
Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún elemento de
A está relacionado consigo mismo mediante R, entonces decimos que es antirreflexiva,
antirrefleja o irreflexiva, lo que denotamos formalmente por:
Representación
Sea R una relación reflexiva o antirreflexiva aplicada sobre un conjunto A, entonces R
tiene una representación particular para cada forma de describir una relación binaria.
Como
pares
ordenados
Es decir,
Representación
Sea R una relación simétrica o asimétrica aplicada sobre un conjunto A, entonces R tiene
una representación particular para cada forma de describir una relación binaria.
Notació
Relación simétrica Relación asimétrica
n
Como
pares
ordenad
os
Relación antisimétrica
De Wikipedia, la enciclopedia libre
Es decir,
Representación
Sea R una relación antisimétrica aplicada sobre un conjunto A, entonces R tiene una
representación particular para cada forma de describir una relación binaria.
Como grafo, éste no contendrá ciclos, pero sí podrá tener bucles en sus nodos.
Ejemplos
Sea A un conjunto cualquiera:
Sea , ("mayor o igual que") es antisimétrica, al igual que ("mayor estricto
que"), pues en este último caso, el antecedente de la definición nunca se cumple.
La relación "ser más alto que" es antisimétrica, pues el hecho que a sea más alto que b
y b sea al mismo tiempo más alto que a, es imposible.
Antisimetría simetría
La antisimetría no es lo opuesto de la simetría.
Relación asimétrica
Asimétrico a menudo medios, simplemente: no simétrico. En este sentido relación asimétrica es
Ser asimétrico en este sentido es igual que siendo ambos antisimétrico y irreflexive.
reversa no celebra. Las relaciones vacías son, vacuously, asimétrico (en el segundo sentido
solamente) y simétrico.
Relación transitiva
Ejemplo: Si a es mayor que b, y b es mayor que c, entonces, a es mayor que c.
Esto es:
Ejemplos
Así por ejemplo dado el conjunto N de los números naturales y la relación binaria
"menor o igual que" vemos que es transitiva:
En general las relaciones de orden (ser menor, mayor, igual, menor o igual, mayor o
igual) son transitivas.
Dado que 3|12 (3 divide a 12) y 12|48 (12 divide a 48), la transitividad establece que 3|
48 (3 divide a 48).
Sin embargo, no todas las relaciones binarias son transitivas. La relación "no es
subconjunto" no es transitiva. Por ejemplo, si X = {1,2,3}, Y={2,3,4,5}, Z={1,2,3,4}.
Entonces
Otro ejemplo de relación binaria que no es transitiva es "ser la mitad de": 5 es la mitad
de 10 y 10 es la mitad de 20, pero 5 no es la mitad de 20.
Representación
Una relación binaria se puede representar como pares ordenados, mediante una matriz
de adyacencia o mediante un grafo. Para el caso de una relación transitiva, cada una de
estas representaciones tiene características especiales:
Como grafo, cada vez que desde un nodo v1 se pueda llegar a otro v3, pasando primero
por un nodo intermedio v2, entonces también existirá la arista (v1,v3).