title: Relación asimétrica
text: # Relación asimétrica
  
  Una relación binaria R sobre un conjunto A, es asimétrica cuando si se da que un elemento está relacionado con otro mediante R, entonces el segundo nunca está relacionado con el primero. Es decir:
  
      $\forall x,y\in A:\quad xRy\quad \Rightarrow \quad \neg (yRx)$
  
  En tal caso se dice que R cumple con la relación de asimetría.
  
  También podemos decir que R es asimétrica si:
  
      $\forall x,y\in A:\quad \neg (xRy)\quad \lor \quad \neg (yRx)$
  
  ## Representación
  
  Sea R una relación asimétrica aplicada sobre un conjunto A, entonces R tiene una representación particular para cada forma de describir una relación binaria.
  
  | Notación | Relación asimétrica |
  | - | - |
  | Como pares ordenados | $\forall x,y\in A,\ (x,y)\in R\Rightarrow (y,x)\not \in R$ |
  | Como matriz de adyacencia | Matriz $M\,$ cuya diagonal solo tiene ceros, es decir, $\forall i=\{1,...,n\},\;(a_{i,i})_{n\times n}=0,$ y además $M+M^{t}\,$ produce una matriz simétrica. |
  | Como grafo | Es un grafo dirigido sin bucles ni ciclos. |
  
  ## Relación simétrica
  
  Cuando una relación es lo opuesto a la asimétrica, nos referimos a que si dado un elemento que está relacionado con otro, entonces ese segundo siempre está relacionado con el primero, o lo que es lo mismo:
  
      $\forall x,y\in A:\quad xRy\quad \Rightarrow \quad yRx$
  
  Estamos entonces ante una relación simétrica.
  
  ## Ejemplos de asimetría
  
  Sea A un conjunto cualquiera:
  
  * Sea $(A,>)\,$, $>\,$ ("mayor estricto que"), al igual que $<\,$ ("menor estricto que"). Sin embargo, no ocurre lo mismo para ≤ ("menor o igual que") o ≥ ("mayor o igual que").
  * Sea $(A,\subset )$, $\subset$ (la inclusión estricta de conjuntos).
  * En A = {1, 2, 3, 4} la relación R = { (1, 3), (4, 2), (2, 3) }. En caso de encontrarnos en A = {1, 2} y tener la relación R = { (1, 2), (2, 1) } estaríamos ante una relación simétrica
  * "Ser hijo de" o "ser padre de" conformarían una relación asimétrica, sin embargo, "ser hermano de" no.
  
  ## Reflexividad
  
  Una relación asimétrica no puede ser a su vez reflexiva, ya que si x = y entonces:
  
      $\quad xRy\quad \land \quad yRx$
  
  Esto es algo que no puede ocurrir por la propia definición. Es decir, toda relación asimétrica es irreflexiva.
  
  ## Diferencia entre asimétrica y antisimétrica
  
  Como ya se ha visto, la relación asimétrica y la simétrica son opuestas entre sí, pues nunca se va a dar una relación que sea ambas a la vez, y una que no sea simétrica siempre será asimétrica, y viceversa. Pero esto no ocurre con la antisimétrica.
  
  Una relación antisimétrica es aquella que verifica que si dos elementos de A se relacionan entre sí mediante R, entonces esos dos elementos son iguales:
  
      $\forall a,b\in A\;:\quad aRb\quad \land \quad bRa\quad \Rightarrow \quad a=b$
  
  Una relación puede ser a la vez o simétrica o asimétrica, y antisimétrica.
  
  