Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Relation asymétrique
Résumé
En mathématiques, une relation (binaire, interne) R est dite asymétrique si elle vérifie :
ou encore, si son graphe est disjoint de celui de sa relation réciproque.
L'asymétrie est parfois appelée « antisymétrie forte », par opposition à l'antisymétrie (usuelle, ou « faible »). En effet, une relation est asymétrique si et seulement si elle est à la fois antisymétrique et antiréflexive.
les relations d'ordre strict, qui sont les relations transitives et asymétriques ;
dans les entiers, la relation "est le successeur de" ;
dans un ensemble de personnes, la relation « est enfant de » : personne n'est enfant d'un de ses enfants.
Une relation ne peut pas être à la fois symétrique et asymétrique, sauf si son graphe est vide.
Dans un ensemble à n éléments, il existe relations asymétriques.
Aucun des n couples n'appartient au graphe.
Pour les paires , il y a trois possibilités : soit seul appartient au graphe, soit seul , soit aucun des deux (ils ne peuvent y appartenir tous les deux).
Les relations d'ordre strict, qui sont en bijection avec les relations d'ordre, ne possèdent pas de formule de dénombrement "fermée" ; voir la .
Les relations d'ordre strict total sont en nombre .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.