Trichotomie (mathématiques)
En mathématiques, le principe de la trichotomie indique que tout nombre réel est soit positif, soit négatif, soit nul[1]. sur un ensemble X tel que pour tous x et y, seulement l'une des relations suivantes tient: , ou .
En notation mathématique, ceci est noté
En supposant que la commande est irréflexive et transitive, cela peut être simplifié tel que
En logique classique, l'axiome de la trichotomie tient à la comparaison ordinaire entre les nombres réels, et donc aussi pour les comparaisons entre entiers et entre nombres rationnels. Le principe ne tient en général pas en logique intuitionniste.
Dans la théorie des ensembles de Zermelo-Fraenkel et de Bernays, le principe de la trichotomie tient entre les nombres cardinaux des ensembles bien ordonnés même sans l'axiome du choix. Si l'axiome du choix est retenu, la trichotomie se maintient entre des nombres cardinaux arbitraires (car ils sont tous bien ordonnés dans ce cas)[2].
Plus généralement, une relation binaire R sur X est trichotomique si pour tout x et y dans X exactement une des relations xRy, yRx ou x = y tient. Si une telle relation est aussi transitive, c'est un ordre strict total; C'est un cas particulier d'un ordre strict faible. Par exemple, dans le cas de l'ensemble de trois éléments {a, b, c}, la relation R donnée par aRb, aRc, bRc est un ordre total strict.
Une relation trichotomique ne peut pas être réflexive, car xRx doit être faux. Si une relation trichotomique est transitive, elle est trivialement antisymétrique et aussi asymétrique, puisque xRy et yRx ne peuvent pas les maintenir.
Articles connexes
[modifier | modifier le code]- Begriffsschrift
- Dichotomie
- Principe de non-contradiction
- Principe du tiers exclu
- Comparaison trilatérale
Références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Trichotomy (mathematics) » (voir la liste des auteurs).
- (en) « Trichotomy Law -- from Wolfram MathWorld », sur wolfram.com (consulté le ).
- (en) Bernays, Paul, Axiomatic Set Theory, New York, Dover Publications, , 227 p. (ISBN 0-486-66637-9)