La relazione antisimmetrica

Cosa sono le relazioni antisimmetriche

Una relazione è antisimmetrica in un insieme X se, dati due elementi diversi tra loro, per ogni elemento a in relazione con b, l'elemento b non è in relazione con a. $$ a R b \ , \ a \ne b \ \Rightarrow b \require{cancel} \cancel{R} a $$

Nelle relazioni antisimmetriche non ci sono collegamenti biunivoci tra gli elementi.

Ad esempio, la relazione A è madre di B è antisimmetrica perché B non è madre di A.

Le relazioni antisimmetriche sono un sottoinsieme delle relazioni definite in un insieme.

Un esempio pratico

Considero l'insieme

$$ I = \{ 1,2,3,4 \} $$

La relazione R è "x è maggiore di y"

$$ R = \{ (4;3),(4;2),(4;1),(3;2),(3;1),(2;1) \} $$

E' una relazione antisimmetrica perché se un elemento x è maggiore di y, allora y non è maggiore di x.

Nota. Ad esempio, l'elemento 4 è maggiore di 3. $$ 4>3 $$ Viceversa, l'elemento 3 non è maggiore di 4 $$ 3<4 $$ Quindi, la relazione è antisimmetrica.

Se rappresento la relazione in un grafo tra ogni coppia di nodi non ci sono archi in entrambi i versi.

Osservazioni

Alcune osservazioni sulle relazioni antisimmetriche

• Esistono relazioni che non sono né simmetriche, né antisimmetriche. Pertanto, se una relazione non è antisimmetrica, non è detto che sia simmetrica e viceversa.

  Esempio. Considero l'insieme $$ I = \{ -2,2,3,9,15 \} $$ e la relazione R "x è divisore proprio di y". $$ R = \{ (-2;2), (2;-2), (3;9), (3;15) \} $$ La relazione R non è antisimmetrica nell'insieme I perché tra gli elementi 2 e -2 c'è una relazione simmetrica. D'altra parte la relazione R non è nemmeno simmetrica nell'insieme I perché tra gli elementi 3 e 9 c'è una relazione antisimmetrica. Quindi, la relazione R non è né simmetrica, né antisimmetrica. Nel grafo della relazione R si nota un collegamento biunivoco tra due nodi (2 e -2) ma non tra ogni coppia di nodi.
  

E così via.