Трихотомия (математика) - Trichotomy (mathematics)

В математика, закон трихотомия заявляет, что каждый настоящий номер может быть положительным, отрицательным или нулевым.^[1]

В более общем плане бинарное отношение р на набор Икс является трихотомический если для всех Икс и у в Икс, ровно один из xRy, yRx и Икс = у держит. Письмо р как <, это выражается в формальной логике как:

${ Displaystyle forall x in X , forall y in X , ([x$

Свойства

• Отношение трихотомично тогда и только тогда, когда оно асимметричный и полуконнекс.
• Если трихотомическое отношение также транзитивно, то это строгий общий порядок; это частный случай строгий слабый порядок.^[2][3]

Примеры

• На съемочной площадке Икс = {а,б,c}, Соотношение р = { (а,б), (а,c), (б,c)} транзитивен и трихотомичен, а значит, строгий общий заказ.
• На этом же множестве циклическое отношение р = { (а,б), (б,c), (c,а)} трихотомичен, но не транзитивен; это даже антитранзитивный.

Трихотомия по номерам

А закон трихотомии на каком-то наборе Икс чисел обычно выражает, что некоторое неявно заданное отношение порядка на Икс является трихотомическим. Примером может служить закон «Для произвольных действительных чисел Икс и у, ровно один из Икс < у, у < Икс, или Икс = у применяется "; некоторые авторы даже исправляют у быть нулем,^[1] полагаясь на добавку действительного числа линейно упорядоченная группа структура. Последний является группа снабжена трихотомическим орденом.

В классической логике это аксиома трихотомии справедливо для обычного сравнения действительных чисел и, следовательно, также для сравнений между целые числа и между рациональное число.^{[требуется разъяснение ]} Закон в целом не соблюдается интуиционистская логика.^{[нужна цитата ]}

В Теория множеств Цермело – Френкеля и Теория множеств Бернейса, закон трихотомии выполняется между Количественные числительные удобных наборов даже без аксиома выбора. Если выбранная аксиома верна, то трихотомия выполняется между произвольными количественными числами (поскольку в этом случае все они хорошо упорядочиваются).^[4]

Смотрите также

• Begriffsschrift содержит раннюю формулировку закона трихотомии
• Дихотомия
• Закон непротиворечивости
• Закон исключенного среднего
• Трехстороннее сравнение

использованная литература