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.