Jump to content

Псевдо-порядок

(Перенаправлено с Котранзитивности )

В конструктивной математике псевдопорядок это имя, данное определенным бинарным отношениям, подходящим для моделирования непрерывного порядка.

В классической математике ее аксиомы представляют собой формулировку строгого полного порядка (также называемого линейным порядком), который в этом контексте также может быть определен другими, эквивалентными способами.

Конструктивная теория действительных чисел является типичным примером, где формулировка псевдопорядка становится решающей. Действительное число меньше другого, если существует (можно построить) рациональное число, большее первого и меньше второго. Другими словами, здесь x < y имеет место, если существует такое рациональное число z, что x < z < y .Примечательно, что для континуума в конструктивном контексте обычный закон трихотомии не выполняется, т.е. он не доказуем автоматически. Таким образом, аксиомы при описании подобных порядков слабее (при работе с использованием только конструктивной логики), чем альтернативные аксиомы строгого тотального порядка, которые часто используются в классическом контексте.

Определение

[ редактировать ]

Псевдопорядок — это бинарное отношение, удовлетворяющее трем условиям:

  • Невозможно, чтобы каждый из двух элементов был меньше другого. То есть для всех и ,
  • Любые два элемента, для которых ни один из них не меньше другого, должны быть равны. То есть для всех и ,
  • Для всех x , y и z , если x < y, то либо x < z, либо z < y . То есть для всех , и ,

Вспомогательные обозначения

[ редактировать ]

Существуют общие конструктивные переформулировки, использующие противопоставления и действительные эквиваленты. а также . Отрицание псевдопорядка двух элементов определяет рефлексивный частичный порядок . В этих терминах первое условие гласит:

и это на самом деле просто асимметрию выражает . Это подразумевает иррефлексивность , знакомую из классической теории.

Классические эквиваленты трихотомии

[ редактировать ]

Второе условие в точности выражает антисимметрию ассоциированного частичного порядка:

При двух приведенных выше переформулировках знаки отрицания могут быть скрыты в определении псевдопорядка.

Естественное отношение отделенности на псевдоупорядоченном множестве задается формулой . При этом второе условие точно утверждает, что это соотношение является тесным,

Вместе с первой аксиомой это означает, что равенство можно выразить как отрицание обособленности. Обратите внимание, что отрицание равенства, как правило, представляет собой просто двойное отрицание обособленности.

Теперь дизъюнктивный силлогизм может быть выражен как . Такое логическое следствие классически можно обратить, и тогда это условие в точности выражает трихотомию. По сути, это также формулировка связности .

Обсуждение

[ редактировать ]

Асимметрия

[ редактировать ]

Принцип непротиворечия для частичного порядка гласит, что или эквивалентно , для всех элементов. Конструктивно обоснованность двойного отрицания в точности означает, что не может быть опровержений ни одного из дизъюнкций в классическом утверждении. независимо от того, представляет ли это предложение разрешимую проблему .

Используя условие асимметрии, из вышеизложенного также следует , дважды отрицательная сильная связность . В контексте классической логики « «таким образом, представляет собой (нестрогий) тотальный порядок .

Котранзитивность

[ редактировать ]

Противоположность третьего условия в точности выражает, что ассоциированное отношение (частичный порядок) транзитивен. Это свойство называется котранзитивностью . Используя условие асимметрии, можно быстро вывести теорему о том, что псевдопорядок на самом деле транзитивен также . Транзитивность — общая аксиома классического определения линейного порядка.

Условие, также называемое сравнением (а также слабой линейностью ): для любого нетривиального интервала, заданного некоторым и некоторые над ним любой третий элемент находится либо выше нижней границы , либо ниже верхней границы. Поскольку это следствие дизъюнкции, оно также связано с законом трихотомии. И действительно, наличие псевдопорядка в ЧУМ, полном по Дедекинду-МакНилу, подразумевает принцип исключенного третьего. Это влияет на обсуждение полноты конструктивной теории действительных чисел.

Отношение к другим объектам недвижимости

[ редактировать ]

В этом разделе предполагается классическая логика. По крайней мере, тогда можно доказать следующие свойства:

Если R — котранзитивное отношение, то

Достаточными условиями для того, чтобы котранзитивное отношение R было транзитивным, также являются:

Полусвязное отношение R также является котранзитивным, если оно симметрично , лево- или право-евклидово, транзитивно или квазитранзитивно. Если несравнимость относительно R является транзитивным отношением, то R является котранзитивным, если оно симметрично, лево- или правоевклидово или транзитивно.

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Для симметричного R аксиома полупорядка 3 даже совпадает с котранзитивностью.
  2. ^ Транзитивность несравнимости требуется, например, для строгих слабых порядков .
  3. ^ если домен не является одноэлементным набором
  • Хейтинг, Аренд (1966). Интуиционизм: введение (2-е изд.). Амстердам: Паб Северной Голландии. Компания р. 106 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4e302e243b553fed0f701b1c1b4d3816__1704125940
URL1:https://arc.ask3.ru/arc/aa/4e/16/4e302e243b553fed0f701b1c1b4d3816.html
Заголовок, (Title) документа по адресу, URL1:
Pseudo-order - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)