У математиці закон трихотомії стверджує, що кожне дійсне число є або додатним, або від'ємним, або рівним нулю.
Загальніше, бінарне відношення R на множині X є трихотомічним, якщо для всіх x і y в X виконується рівно одне з xRy, yRx і x=y. Позначивши R як <, у формальній логіці це виражається так:
За такого визначення закон трихотомії каже, що < — це трихотомічне відношення на множині дійсних чисел. Іншими словами, якщо x і y — дійсні числа, то істинне рівно одне з таких значень: x<y, x=y, y<x.
Властивості
Відношення є трихотомічним тоді й лише тоді, коли воно асиметричне і повне. Якщо трихотомічне відношення також є транзитивним, то це строгий повний порядок; це окремий випадок . & Michael J. Hoffman (1993) Elementary Classical Analysis, page 27, H.S. Bear (1997) An Introduction to Mathematical Analysis, page 11,
Приклади
На множині X = {a,b,c} відношення R = { (a,b), (a,c), (b,c) } транзитивне і трихотомічне, отже, маємо строгий повний порядок. На тій самій множині циклічне відношення R = { (a,b), (b,c), (c, a) } є трихотомічним, але не транзитивним; воно навіть антитранзитивне.
Трихотомія чисел Закон трихотомії для деякої множини чисел зазвичай каже, що деяке неявне відношення впорядкування для є трихотомічним. Прикладом є закон «Для довільних дійсних чисел і виконується рівно одне зі значень , або ». (Деякі автори приймають значення рівним нулю, спираючись на дійсних чисел відносно додавання.)
У класичній логіці ця аксіома трихотомії справедлива для звичайних порівнянь між дійсними числами і, отже, також для порівнянь між цілими числами і раціональними числами. В інтуїціоністській логіці цей закон у цілому не виконується.
У теорії множин Цермело — Френкеля і теорії множин Бернайса закон трихотомії справедливий для кардинальних чисел добре впорядкованих множин, але не обов'язково для всіх кардинальних чисел. Якщо аксіома вибору справджується, то між довільними кардинальними числами існує трихотомія (оскільки в цьому випадку всі вони добре впорядковуються).
Див. також містить раннє формулювання закону трихотомії Дихотомія Закон суперечності Закон виключеного третього Тришляхове порівняння
Примітки