Relation transitive

En mathématiques, une relation transitive est une relation binaire pour laquelle une suite d'objets reliés consécutivement aboutit à une relation entre le premier et le dernier. Formellement, la propriété de transitivité s'écrit, pour une relation R {\displaystyle {\mathcal {R}}} définie sur un ensemble E {\displaystyle E} : ∀ x , y , z ∈ E ( x R y ∧ y R z ) ⇒ x R z . {\displaystyle \forall x,y,z\in E\quad (x{\mathcal {R}}y\land y{\mathcal {R}}z)\Rightarrow x{\mathcal {R}}z.} Une relation binaire non transitive est donc une relation pour laquelle la propriété universelle ci-dessus est fausse, c'est-à-dire qu'il existe un élément en relation avec un deuxième qui lui-même est en relation avec un troisième, sans que le premier soit en relation avec le troisième : ∃ x , y , z ∈ E x R y ∧ y R z ∧ ¬ ( x R z ) . {\displaystyle \exists x,y,z\in E\quad x{\mathcal {R}}y\land y{\mathcal {R}}z\land \lnot (x{\mathcal {R}}z).} C'est le cas de l'orthogonalité de droites, par exemple. Cette négation de la transitivité est différente de la propriété d'antitransitivité, qui interdit les enchainements de relations sur tous les triplets de l'ensemble : ∀ x , y , z ∈ E ( x R y ∧ y R z ) ⇒ ¬ ( x R z ) . {\displaystyle \forall x,y,z\in E\quad (x{\mathcal {R}}y\land y{\mathcal {R}}z)\Rightarrow \lnot (x{\mathcal {R}}z).} C'est le cas de l'orthogonalité de droites dans le plan, mais pas dans l'espace, où il existe des triplets de droites deux à deux orthogonales. En revanche, la relation binaire de graphe vide (qui ne relie rien) est antitransitive et transitive à la fois.