Ouvrir le menu principal

Relation antisymétrique

Page d'aide sur l'homonymie Pour les articles homonymes, voir Relation et Antisymétrie.

En mathématiques, une relation (binaire, interne) R sur un ensemble E est dite antisymétrique si elle vérifie :

ou encore, si l'intersection de son graphe avec celui de sa relation réciproque est incluse dans la diagonale de E.

On peut également ajouter la définition de l'antisymétrie d'une relation ρ à partir de la relation identité id et de sa relation réciproque :

L'antisymétrie est parfois appelée « antisymétrie faible », par opposition à l'« antisymétrie forte » qu'est l'asymétrie (une relation asymétrique est une relation antisymétrique et antiréflexive).

Une relation ne peut pas être à la fois symétrique et antisymétrique, sauf si son graphe est inclus dans la diagonale (le graphe de l'égalité).

En général, un préordre n'est ni une relation d'équivalence, ni une relation d'ordre, c'est-à-dire qu'il n'est ni symétrique, ni antisymétrique.

PropriétésModifier

En particulier, on peut noter la propriété suivante quant aux relations antisymétriques :

Soit σ et ρ, deux relations antisymétriques d'un ensemble A. Il vient alors que la relation   est également antisymétrique dans A.

Preuve de la propriété :

On veut montrer que :  , où   et  .

Preuve directe :

Considérons n'importe quelle paire   de A x A telle que :  . Il vient de   que   et de   que   . Par antisymétrie de σ, on obtient :  .