Естественным примером предзаказа является отношение деления «x делит y» между целыми числами, полиномами или элементами коммутативного кольца . Например, отношение деления является рефлексивным, поскольку каждое целое число делит само себя. Но отношение делит не является антисимметричным, потому что делит и делит . Именно к этому предпорядку относятся «наибольший» и «наименьший» во фразах « наибольший общий делитель » и « наименьшее общее кратное » (за исключением того, что для целых чисел наибольший общий делитель также является наибольшим для естественного порядка целых чисел). ).
Предпорядки тесно связаны с отношениями эквивалентности и (нестрогими) частичными порядками . Оба они являются частными случаями предпорядка: антисимметричный предпорядок — это частичный порядок, а симметричный предпорядок — это отношение эквивалентности. Более того, предварительный порядок на множестве можно эквивалентно определить как отношение эквивалентности на , вместе с частичным порядком на множестве класса эквивалентности. Подобно частичным порядкам и отношениям эквивалентности, предварительные порядки (на непустом множестве) никогда не являются асимметричными .
Предварительный порядок можно визуализировать как ориентированный граф , элементы которого соответствуют вершинам, а отношение порядка между парами элементов соответствует направленным ребрам между вершинами. Обратное неверно: большинство ориентированных графов не являются ни рефлексивными, ни транзитивными. Антисимметричный предварительный порядок больше не имеет циклов; это частичный порядок и соответствует ориентированному ациклическому графу . Симметричный предварительный порядок является отношением эквивалентности; это можно рассматривать как потерю маркеров направления на краях графа. В общем, соответствующий ориентированный граф предзаказа может иметь множество несвязных компонентов.
В качестве бинарного отношения предварительный порядок может обозначаться или . Другими словами, когда можно сказать, что b покрывает a , или что a предшествует b , или что b сводится к a . Иногда также используются обозначения ← или →.
Определение
Пусть — бинарное отношение на множестве, так что по определению является некоторым подмножеством и вместо обозначения используется обозначение. Тогда называется предпорядком или квазипорядком , если оно рефлексивно и транзитивно ; то есть, если оно удовлетворяет:
Используя это отношение, можно построить частичный порядок на фактормножестве эквивалентности , которое представляет собой множество всех классов эквивалентности . находится в -цикле с
В любом случае, можно определить тогда и только тогда, когда
То, что это корректно определено, то есть его определяющее условие не зависит от того, какие представители и выбраны, следует из определения Это легко проверить, что это дает частично упорядоченное множество.
Пример : Пусть есть формальная теория , представляющая собой набор предложений с определёнными свойствами (подробности о которых можно найти в статье по теме ). Например, это может быть теория первого порядка (например, теория множеств Цермело–Френкеля ) или более простая теория нулевого порядка . Одним из многих свойств является то, что он замкнут по логическим следствиям, так что, например, если предложение логически подразумевает какое-то предложение , которое будет написано как и также как тогда обязательно (по modus ponens ). Отношение является предварительным порядком, потому что всегда выполняется и всякий раз, когда и оба выполняются, то также выполняется
Кроме того, для любого тогда и только тогда, когда ; то есть два предложения эквивалентны тогда и только тогда, когда они логически эквивалентны . Это конкретное отношение эквивалентности обычно обозначается собственным специальным символом , поэтому этот символ можно использовать вместо. Класс эквивалентности предложения, обозначаемого как, состоит из всех предложений , которые логически эквивалентны (то есть все такие, что ). Частичный порядок на , который также будет обозначаться тем же символом, характеризуется тогда и только тогда, когда условие правой части не зависит от выбора представителей и классов эквивалентности. Все, что было сказано до сих пор, можно также сказать и о его обратном отношении.
Предварительно упорядоченный набор является направленным набором, потому что if и if обозначает предложение, образованное логическим союзом, тогда и где Частично упорядоченный набор, следовательно, также является направленным набором. Соответствующий пример см. в алгебре Линденбаума – Тарского .
Отношение к строгим частичным заказам
Если рефлексивность заменить на иррефлексивность (при сохранении транзитивности), то мы получим определение строгого частичного порядка на . По этой причине термин строгий предварительный заказ иногда используется для обозначения строгого частичного порядка. То есть это бинарное отношение, которое удовлетворяет:
Иррефлексивность или антирефлексивность: не для всего , что есть, ложно для всего и
Любой предварительный порядок приводит к строгому частичному порядку, определяемому тогда и только тогда, когда и not . Используя введенное выше отношение эквивалентности , тогда и только тогда, когда
и поэтому выполняется следующее
Используя приведенную выше конструкцию, несколько нестрогих предварительных порядков могут создавать один и тот же строгий предварительный порядок, поэтому без дополнительной информации о том, как он был построен (например, такого знания отношения эквивалентности ), может быть невозможно восстановить исходный нестрогий предварительный порядок из Возможного. (нестрогие) предварительные заказы, которые вызывают данный строгий предварительный порядок, включают следующее:
Определить как (то есть взять рефлексивное замыкание отношения). Это дает частичный порядок, связанный со строгим частичным порядком « » посредством рефлексивного замыкания; в этом случае эквивалентность является равенством, поэтому символы и не нужны.
Определить как " " (то есть взять обратное дополнение отношения), что соответствует определению как "ни "; эти отношения и вообще не транзитивны; однако, если они есть, то это эквивалентность; в этом случае " " является строгим слабым порядком . Результирующий предварительный заказ является связным (ранее назывался общим); то есть тотальный предзаказ .
Если то
Обратное верно (т.е. ) тогда и только тогда, когда всякий раз, когда то или
Примеры
Теория графов
Отношение достижимости в любом ориентированном графе (возможно, содержащем циклы) порождает предварительный порядок, причем предварительный порядок тогда и только тогда, когда в ориентированном графе существует путь от x до y . И наоборот, каждый предварительный порядок — это отношение достижимости ориентированного графа (например, графа, который имеет ребро от x до y для каждой пары ( x , y ) с ). Однако многие разные графы могут иметь одинаковый предварительный порядок достижимости. Точно так же достижимость ориентированных ациклических графов , ориентированных графов без циклов, приводит к появлению частично упорядоченных множеств (предпорядков, удовлетворяющих дополнительному свойству антисимметрии).
Отношение граф -минор также является предварительным порядком.
Информатика
В информатике можно найти примеры следующих предзаказов.
Предварительный порядок охвата набора терминов , определяемый тем , является ли подтерм t экземпляром замены s .
Тета-подчинение , [3] — это когда литералы в дизъюнктивной формуле первого порядка содержатся в другой после применения замены к первой.
Теория категорий
Категория , имеющая не более одного морфизма любого объекта x в любой другой объект y, является предпорядком. Такие категории называются тонкими . Здесь объекты соответствуют элементам, и для связанных объектов существует один морфизм, в противном случае — ноль. В этом смысле категории «обобщают» предварительные порядки, допуская более одного отношения между объектами: каждый морфизм представляет собой отдельное (именованное) отношение предпорядка.
С другой стороны, предварительно упорядоченный набор можно понимать как обогащенную категорию , обогащенную по категории.
Другой
Дальнейшие примеры:
Каждое конечное топологическое пространство порождает предварительный порядок в своих точках, определяя тогда и только тогда, когда x принадлежит каждой окрестности y . Таким образом , каждый конечный предпорядок может быть сформирован как предпорядок специализации топологического пространства. То есть существует взаимно однозначное соответствие между конечными топологиями и конечными предпорядками. Однако связь между бесконечными топологическими пространствами и предпорядками их специализации не является однозначной.
Отношение, определяемое формулой if , где f — функция некоторого предпорядка.
Отношение, определяемое тем , существует ли некоторая инъекция из x в y . Инъекция может быть заменена сюръекцией или любым типом функции, сохраняющей структуру, такой как гомоморфизм колец или перестановка .
Каждое бинарное отношение в множестве может быть расширено до предварительного порядка с помощью транзитивного замыкания и рефлексивного замыкания . Транзитивное замыкание указывает на соединение путей в том и только в том случае, если существует путь от до .
Левый остаточный предварительный порядок, индуцированный бинарным отношением
Учитывая бинарное отношение, дополненная композиция образует предварительный порядок, называемый левым остатком , [4] где обозначает обратное отношение и обозначает отношение дополнения , а обозначает композицию отношения .
Предварительный заказ является полным , если или для всех
Предварительно заказанный класс — это класс, оснащенный предзаказом. Каждый набор является классом, и поэтому каждый предварительно упорядоченный набор является предварительно упорядоченным классом.
Использование
Предварительные заказы играют решающую роль в нескольких ситуациях:
Каждому предзаказу может быть присвоена топология — топология Александрова ; и действительно, каждый предварительный порядок на множестве находится во взаимно однозначном соответствии с топологией Александрова на этом множестве.
Предварительные порядки могут использоваться для определения внутренних алгебр .
Как объяснялось выше, между предварительными заказами и парами существует соответствие 1 к 1 (раздел, частичный порядок). Таким образом, количество предварительных заказов представляет собой сумму количества частичных заказов в каждом разделе. Например:
для
1 раздел из 3, даю 1 предзаказ
3 раздела по 2+1 , выдача предзаказов
1 раздел 1 + 1 + 1 , дающий 19 предзаказов
Т.е. всего 29 предзаказов.
для
1 раздел из 4, дающий 1 предзаказ
7 разделов с двумя классами (4 из 3+1 и 3 из 2+2 ), дающие предзаказы
6 разделов 2+1+1 , выдача предзаказов
1 раздел 1 + 1 + 1 + 1 , дающий 219 предзаказов
Т.е. всего 355 предзаказов.
Интервал
Ибо интервалом называется набор точек x , удовлетворяющий также написанному: он содержит по крайней мере точки a и b . Можно распространить определение на все пары. Все дополнительные интервалы пусты.
Используя соответствующее строгое отношение " ", можно также определить интервал как набор точек x, удовлетворяющих и также записанных. Открытый интервал может быть пустым, даже если
^ Робинсон, Дж. А. (1965). «Машинно-ориентированная логика, основанная на принципе разрешения». АКМ . 12 (1): 23–41. дои : 10.1145/321250.321253 . S2CID 14389185.
^ В данном контексте « » не означает «установочную разницу».
^ Кунен, Кеннет (1980), Теория множеств, Введение в доказательства независимости , Исследования по логике и основам математики, том. 102, Амстердам, Нидерланды: Elsevier.
Рекомендации
Шмидт, Гюнтер, «Реляционная математика», Энциклопедия математики и ее приложений, том. 132, Издательство Кембриджского университета, 2011, ISBN 978-0-521-76268-7