Las relaciones antisimétricas y asimétricas permiten modelar vínculos no recíprocos, como órdenes, jerarquías, dependencias estrictas y comparaciones entre elementos.
En el tema anterior vimos relaciones reflexivas, simétricas y transitivas. Ahora estudiaremos dos propiedades que restringen la reciprocidad: antisimetría y asimetría.
Estas propiedades son importantes para representar órdenes, dependencias, jerarquías y relaciones donde no debe existir una vuelta equivalente entre dos elementos distintos.
Una relación R sobre un conjunto A es antisimétrica si, cada vez que aparecen (a, b) y (b, a), necesariamente a y b son el mismo elemento.
Esto significa que dos elementos distintos no pueden estar relacionados en ambos sentidos. Los pares del tipo (a, a) sí pueden existir.
La relación “menor o igual que” sobre números es antisimétrica.
Por ejemplo, si 3 ≤ 3 y 3 ≤ 3, ambos elementos son iguales. Pero no puede ocurrir que 2 ≤ 5 y 5 ≤ 2 al mismo tiempo.
Esta relación es antisimétrica porque no contiene pares opuestos entre elementos distintos. Aparece (1, 2), pero no aparece (2, 1). Aparece (2, 3), pero no aparece (3, 2).
Una relación R es asimétrica si, cada vez que aparece (a, b), no aparece (b, a).
Además, una relación asimétrica no puede contener pares del tipo (a, a), porque eso implicaría una relación de un elemento consigo mismo en ambos sentidos.
La relación “menor que” sobre números es asimétrica.
Por ejemplo, si 2 < 5, entonces no puede ser cierto que 5 < 2. Además, ningún número es menor que sí mismo.
| Propiedad | Permite pares (a, a) | Permite ida y vuelta entre distintos | Ejemplo |
|---|---|---|---|
| Antisimétrica | Sí | No | menor o igual que |
| Asimétrica | No | No | menor que |
Toda relación asimétrica es antisimétrica, pero no toda relación antisimétrica es asimétrica.
| Situación | Tipo de relación | Interpretación |
|---|---|---|
| Dependencia estricta entre módulos | Asimétrica | Si A depende de B, no debería ocurrir que B dependa de A. |
| Prioridad menor o igual | Antisimétrica | Dos tareas pueden tener la misma prioridad, pero no ordenarse mutuamente como distintas. |
| Jerarquía de carpetas | Asimétrica | Si una carpeta contiene a otra, la segunda no contiene a la primera. |
| Orden por fecha | Antisimétrica | Si un evento ocurre antes o al mismo tiempo que otro y viceversa, son el mismo instante. |
Para verificar antisimetría, buscamos pares opuestos entre elementos distintos. Si encontramos (a, b) y (b, a) con a !== b, la relación no es antisimétrica.
const R = [
[1, 1],
[2, 2],
[3, 3],
[1, 2],
[2, 3]
];
function contienePar(relacion, a, b) {
return relacion.some(([x, y]) => x === a && y === b);
}
function esAntisimetrica(relacion) {
return relacion.every(([a, b]) => {
return a === b || !contienePar(relacion, b, a);
});
}
console.log(esAntisimetrica(R));Para verificar asimetría, ningún par puede tener su inverso. Esto incluye los pares reflexivos, porque (a, a) sería su propio inverso.
const R = [
[1, 2],
[1, 3],
[2, 3]
];
function contienePar(relacion, a, b) {
return relacion.some(([x, y]) => x === a && y === b);
}
function esAsimetrica(relacion) {
return relacion.every(([a, b]) => {
return a !== b && !contienePar(relacion, b, a);
});
}
console.log(esAsimetrica(R));Una relación deja de ser antisimétrica si contiene ida y vuelta entre elementos distintos.
Esta relación no es antisimétrica porque 1 y 2 son distintos y aparecen ambos pares. Tampoco es asimétrica por la misma razón.
Una relación con pares reflexivos puede ser antisimétrica, pero no puede ser asimétrica.
Esta relación puede ser antisimétrica, pero no es asimétrica porque contiene (1, 1).
La antisimetría es una propiedad clave en las relaciones de orden. Por ejemplo, una relación de orden parcial suele ser reflexiva, antisimétrica y transitiva.
La asimetría aparece en órdenes estrictos, como <, > o “depende estrictamente de”.
Las relaciones antisimétricas y asimétricas ayudan a representar estructuras donde la reciprocidad está limitada o prohibida. Son esenciales para comprender órdenes, jerarquías, dependencias y comparaciones estrictas.
En el próximo tema estudiaremos relaciones de equivalencia, que combinan reflexividad, simetría y transitividad para agrupar elementos relacionados entre sí.