Закон трихотомии

Закон (все действительные числа положительные, отрицательные или 0)

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

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

${\displaystyle \forall x\in X\,\forall y\in X\,([x<y\,\land \,\lnot (y<x)\,\land \,\lnot (x=y)]\,\lor \,[\lnot (x<y)\,\land \,y<x\,\land \,\lnot (x=y)]\,\lor \,[\lnot (x<y)\,\land \,\lnot (y<x)\,\land \,x=y])\,.}$

Характеристики

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

Примеры

• На множестве X = { a , b , c } отношение R = {( a , b ), ( a , c ), ( b , c )} является транзитивным и трихотомическим и, следовательно, строгим полным порядком .
• На том же множестве циклическое отношение R = {( a , b ), ( b , c ), ( c , a )} является трихотомическим, но не транзитивным; оно даже антитранзитивно .

Трихотомия по числам

Закон трихотомии некоторого множества X чисел обычно выражает, что некоторое неявно заданное отношение порядка на X является трихотомическим. Примером может служить закон «Для произвольных действительных чисел x и y применяется ровно одно из x < y , y < x или x  =  y »; некоторые авторы даже фиксируют y равным нулю, ^[1] полагаясь на аддитивную линейно упорядоченную групповую структуру вещественного числа. Последняя представляет собой группу , снабженную трихотомическим порядком.

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

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

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

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

Рекомендации

1. Закон трихотомии в MathWorld
2. Джеррольд Э. Марсден и Майкл Дж. Хоффман (1993) Элементарный классический анализ , стр. 27, WH Freeman and Company ISBN  0-7167-2105-8
3. HS Bear (1997) Введение в математический анализ , страница 11, Academic Press ISBN 0-12-083940-7 
4. Бернейс, Пол (1991). Аксиоматическая теория множеств . Дуврские публикации. ISBN 0-486-66637-9.