Relation réflexive, symétrique, antisymétrique et transitive
Cet article présente les propriétés importantes des relations binaires : réflexivité, symétrie, antisymétrie et transitivité, des concepts clés en mathématiques de niveau supérieur.
Relation réflexive, symétrique, antisymétrique et transitive
Soit une relation binaire sur un ensemble .
– est réflexive si pour tout , .
– est symétrique si pour tous , .
– est antisymétrique si pour tous , .
– est transitive si pour tous , .
Exemples sur « Relation réflexive, symétrique, antisymétrique et transitive »
1. Soit et la relation « est inférieur ou égal à », notée . est réflexive, antisymétrique et transitive. Elle n’est pas symétrique.
2. Soit l’ensemble des droites du plan et la relation de parallélisme. est réflexive, symétrique et transitive. Elle n’est pas antisymétrique (deux droites distinctes peuvent être parallèles).
3. Soit et . est réflexive et symétrique, mais ni antisymétrique ni transitive (on a et mais , et on a et mais pas si on enlève les boucles réflexives).
4. Soit un ensemble quelconque et la relation vide (aucun élément n’est en relation avec aucun autre). est symétrique et transitive, mais pas réflexive.
Ces propriétés permettent de classifier les relations et sont essentielles pour définir des structures mathématiques comme les ordres et les relations d’équivalence.