Теория порядка

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

Раздел математики

Теория порядка - раздел математики, который исследует интуитивные понятия порядка с использованием бинарных отношений. Он обеспечивает формальную основу для описания таких утверждений, как «это меньше, чем это» или «это предшествует тому». Эта статья знакомит с полем и дает основные определения. Список терминов теории порядка можно найти в глоссарии теории порядка.

Содержание

  • 1 Предпосылки и мотивация
  • 2 Основные определения
    • 2.1 Частично упорядоченные множества
    • 2.2 Визуализация посета
    • 2.3 Специальные элементы внутри заказа
    • 2.4 Двойственность
    • 2.5 Создание новых заказов
  • 3 Функции между заказами
  • 4 Специальные типы заказов
  • 5 Подмножества упорядоченных наборов
  • 6 Связанные математические области
    • 6.1 Универсальная алгебра
    • 6.2 Топология
    • 6.3 Теория категорий
  • 7 История
  • 8 См. Также
  • 9 Примечания
  • 10 Ссылки
  • 11 Внешние ссылки

Предпосылки и мотивация

Приказы повсюду в математике и смежных областях, таких как информатика. Первый порядок, который часто обсуждается в начальной школе, - это стандартный порядок натуральных чисел, например. «2 меньше 3», «10 больше 5» или «У Тома меньше файлов cookie, чем у Салли?». Эту интуитивно понятную концепцию можно распространить на заказы по другим наборам чисел, таким как целые числа и вещественные. Идея быть больше или меньше другого числа - одна из основных интуиций систем счисления (сравните с системами счисления ) в целом (хотя обычно также интересует фактическая разница двух чисел, не указанная в заказе). Другими известными примерами упорядочения являются алфавитный порядок слов в словаре и генеалогическое свойство линейного происхождения внутри группы людей.

Понятие порядка является очень общим, выходящим за рамки контекстов, которые имеют непосредственное интуитивное ощущение последовательности или относительной величины. В других контекстах приказы могут отражать понятия сдерживания или специализации. Абстрактно, этот тип приказа составляет отношение подмножества , например, «Педиатры - врачи » и «Круги - просто особые -case эллипсы. "

Некоторые порядки, такие как «меньше» для натуральных чисел и алфавитный порядок для слов, имеют особое свойство: каждый элемент можно сравнить с любым другим элементом, то есть он меньше (раньше), чем, больше (позже) чем, или идентично. Однако многие другие заказы этого не делают. Рассмотрим, например, порядок подмножеств в коллекции наборов : хотя набор птиц и набор собак являются подмножествами набора животных, ни птицы, ни собаки не составляют подмножество другого. Такие порядки, как отношение «подмножество», для которых существуют несравнимые элементы, называются частичными порядками ; заказы, для которых каждая пара элементов сопоставима, - это общие заказы.

Теория порядка отражает интуитивное представление о порядках, которое возникает из таких примеров в общих условиях. Это достигается путем определения свойств, которые отношение ≤ должно быть математическим порядком. Этот более абстрактный подход имеет много смысла, потому что можно вывести множество теорем в общих условиях, не сосредотачиваясь на деталях какого-либо конкретного порядка. Эти идеи могут быть легко перенесены во многие менее абстрактные приложения.

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

Основные определения

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

Частично упорядоченные множества

Заказы - это особые бинарные отношения. Предположим, что P - множество и ≤ - отношение на P. Тогда ≤ - частичный порядок, или просто порядок, если предполагаемое значение ясно, если это рефлексивный, антисимметричный и транзитивный, то есть для всех a, b и c в P мы имеем, что:

a ≤ a (рефлексивность)
если a ≤ b и b ≤ a, тогда a = b (антисимметрия)
если a ≤ b и b ≤ c, то a ≤ c (транзитивность).

Набор с a частичный порядок на нем называется частично упорядоченным набором, poset или просто упорядоченным набором, если предполагаемое значение ясно. Проверяя эти свойства, сразу видно, что хорошо известные порядки натуральных чисел, целых, рациональных чисел и вещественных чисел являются заказы в указанном выше смысле. Однако эти примеры обладают дополнительным свойством быть connex, т. Е. Для всех a и b в P мы имеем следующее:

a ≤ b или b ≤ a (связность).

A Частичный заказ Connex называется полным заказом. Эти заказы также можно назвать линейными заказами или цепочками . Хотя многие классические порядки являются линейными, подмножество порядок на множествах является примером, когда это не так. Другой пример - отношение делимости (или «есть-коэффициент -из») |. Для двух натуральных чисел n и m мы пишем n | m, если n делит m без остатка. Легко видеть, что это дает частичный порядок. Отношение тождества = на любом множестве также является частичным порядком, в котором каждые два различных элемента несравнимы. Это также единственное отношение, которое одновременно является отношением частичного порядка и отношением эквивалентности . Многие расширенные свойства посетов интересны в основном для нелинейных порядков.

Визуализация poset

диаграммы Хассе множества всех делителей 60, частично упорядоченных по делимости

Диаграммы Хассе могут визуально представлять элементы и отношения частичного упорядочения. Это чертежи графа, где вершины являются элементами poset, а отношение упорядочения указывается как ребрами , так и относительным расположением вершин. Ордера рисуются снизу вверх: если элемент x меньше (предшествует) y, то существует путь от x к y, направленный вверх. Часто бывает необходимо, чтобы кромки, соединяющие элементы, пересекались друг с другом, но элементы никогда не должны располагаться внутри кромки. Поучительное упражнение - нарисовать диаграмму Хассе для набора натуральных чисел, меньших или равных 13, в порядке следования | (отношение делит ).

Даже некоторые бесконечные множества можно изобразить, наложив многоточие (...) на конечный подпорядок. Это хорошо работает для натуральных чисел, но не работает для действительных чисел, где нет непосредственного преемника выше 0; однако довольно часто можно получить интуицию, связанную с подобными диаграммами.

Специальные элементы в заказе

В частично упорядоченном наборе могут быть элементы, которые играют особую роль. Самый простой пример дается наименьшим элементом из poset. Например, 1 является наименьшим элементом положительных целых чисел, а пустой набор является наименьшим набором в порядке подмножества. Формально элемент m является наименьшим элементом, если:

m ≤ a для всех элементов a порядка.

Обозначение 0 часто встречается для наименьшего элемента, даже если числа не рассматриваются. Однако в порядках наборов чисел это обозначение может быть неуместным или двусмысленным, поскольку число 0 не всегда является наименьшим. Пример дается указанным выше порядком делимости |, где 1 - наименьший элемент, поскольку он делит все остальные числа. Напротив, 0 - это число, которое делится на все остальные числа. Следовательно, это наибольший элемент заказа. Другими частыми терминами для наименьшего и наибольшего элементов являются нижний и верхний или ноль и единица .

наименьший и наибольшие элементы может не существовать, как показывает пример реальных чисел. Но если они есть, то всегда уникальны. Напротив, рассмотрим отношение делимости | на множестве {2,3,4,5,6}. Хотя в этом наборе нет ни верха, ни низа, элементы 2, 3 и 5 не имеют элементов ниже, а элементы 4, 5 и 6 не имеют верхних частей. Такие элементы называются минимальным и максимальным соответственно. Формально элемент m является минимальным, если:

a ≤ m влечет a = m для всех элементов a порядка.

Замена ≤ на ≥ дает определение максимальности. Как показывает пример, может быть много максимальных элементов, а некоторые элементы могут быть как максимальными, так и минимальными (например, 5 выше). Однако, если есть наименьший элемент, то это единственный минимальный элемент порядка. Опять же, в бесконечных множествах максимальные элементы не всегда существуют - множество всех конечных подмножеств данного бесконечного множества, упорядоченных по включению подмножеств, дает один из многих контрпримеров. Важным инструментом для обеспечения существования максимальных элементов при определенных условиях является Лемма Цорна.

Подмножества частично упорядоченных множеств наследуют порядок. Мы уже применяли это, рассматривая подмножество {2,3,4,5,6} натуральных чисел с индуцированным порядком делимости. Теперь есть также элементы poset, которые являются специальными по отношению к некоторому подмножеству порядка. Это приводит к определению верхних границ. Для данного подмножества S некоторого ч.у. P верхняя граница S - это элемент b из P, который находится над всеми элементами S. Формально это означает, что

s ≤ b для всех s в S.

Lower границы снова определяются путем инвертирования порядка. Например, -5 - это нижняя граница натуральных чисел как подмножества целых чисел. Для данного набора наборов верхняя граница для этих наборов при упорядочении подмножеств задается их union. Фактически, эта верхняя граница довольно особенная: это наименьшее множество, которое содержит все множества. Следовательно, мы нашли наименьшую верхнюю границу набора наборов. Эта концепция также называется supremum или join, и для набора S пишут sup (S) или ⋁ S {\ displaystyle \ bigvee S}\ bigvee S для его точной верхней границы. И наоборот, наибольшая нижняя граница известна как infimum или соответствует и обозначается inf (S) или ⋀ S {\ displaystyle \ bigwedge S}\ bigwedge S . Эти концепции играют важную роль во многих приложениях теории порядка. Для двух элементов x и y также записывается x ∨ y {\ displaystyle x \ vee y}x \ vee y и x ∧ y {\ displaystyle x \ wedge y}x \ wedge y для sup ({x, y}) и inf ({x, y}) соответственно.

Например, 1 - это нижняя грань положительных целых чисел как подмножества целых чисел.

В качестве другого примера снова рассмотрим отношение | на натуральные числа. Наименьшая верхняя граница двух чисел - это наименьшее число, которое делится на оба из них, то есть наименьшее общее кратное чисел. Наибольшие нижние границы, в свою очередь, даются наибольшим общим делителем.

Двойственность

В предыдущих определениях мы часто отмечали, что понятие может быть определено путем простого изменения порядка в предыдущем определении. Это справедливо для «наименьшего» и «наибольшего», для «минимального» и «максимального», для «верхней границы» и «нижней границы» и так далее. Это общая ситуация в теории порядка: данный порядок можно инвертировать, просто поменяв его направление, наглядно перевернув диаграмму Хассе сверху вниз. Это приводит к так называемому дуальному, обратному или противоположному порядку .

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

Построение новых заказов

Есть много способов построить заказы из заданных заказов. Двойной порядок - один из примеров. Другая важная конструкция - это декартово произведение двух частично упорядоченных наборов, взятых вместе с порядком произведения на парах элементов. Порядок определяется как (a, x) ≤ (b, y), если (и только если) a ≤ b и x ≤ y. (Обратите внимание, что есть три различных значения для символа отношения ≤ в этом определении.) дизъюнктное объединение двух множеств - еще один типичный пример построения порядка, где порядок - это просто (непересекающееся) объединение оригинальные заказы.

Каждый частичный порядок ≤ порождает так называемый строгий порядок <, by defining a < b if a ≤ b and not b ≤ a. This transformation can be inverted by setting a ≤ b if a < b or a = b. The two concepts are equivalent although in some circumstances one can be more convenient to work with than the other.

Функции между порядками

Разумно рассматривать функции между частично упорядоченными множествами, обладающие некоторыми дополнительными свойствами, которые связанных с отношениями упорядочения двух наборов. Самым фундаментальным условием, возникающим в этом контексте, является монотонность. Функция f из ч.у. P в ч.у. Q является монотонной или сохраняющей порядок, если из a ≤ b в P следует f (a) ≤ f (b) в Q ( Отметим, что, строго говоря, эти два отношения здесь разные, поскольку они применяются к разным наборам.). Обратное к этому выводу приводит к функциям, которые отражают порядок, то есть функциям f, как указано выше, для которых f (a) ≤ f (b) подразумевает a ≤ b. С другой стороны, функция также может быть изменением порядка или антитоном, если a ≤ b подразумевает f (a) ≥ f (b).

order-embedding - это функция f между заказами, которая одновременно сохраняет порядок и отражает порядок. Примеры для этих определений найти легко. Например, функция, отображающая натуральное число в его преемника, явно монотонна по отношению к естественному порядку. Любая функция из дискретного порядка, то есть из набора, упорядоченного по порядку тождества «=», также является монотонной. Сопоставление каждого натурального числа с соответствующим действительным числом дает пример вложения порядка. Дополнение набора на powerset является примером функции антитонирования.

Важный вопрос - когда два порядка «по существу равны», т.е. когда они одинаковы до переименования элементов. Изоморфизмы порядка - это функции, которые определяют такое переименование. Изоморфизм порядка - это монотонная биективная функция, которая имеет монотонную обратную функцию. Это эквивалентно сюръективному встраиванию порядка. Следовательно, образ f (P) упорядоченного вложения всегда изоморфен P, что оправдывает термин «вложение».

Более сложный тип функций представлен так называемыми связями Галуа. Монотонные связи Галуа можно рассматривать как обобщение изоморфизмов порядка, поскольку они составляют пару двух функций в противоположных направлениях, которые «не совсем» обратны друг другу, но все же имеют тесные отношения.

Другим особым типом самотображений на poset являются операторы замыкания, которые не только монотонны, но также идемпотентны, т. Е. F (x) = f (f (x)) и extensive (или инфляционный), то есть x ≤ f (x). У них есть много применений во всевозможных «замыканиях», которые появляются в математике.

Помимо совместимости с простыми отношениями порядка, функции между позициями могут также хорошо вести себя в отношении специальных элементов и конструкций. Например, когда мы говорим о позах с наименьшим количеством элементов, может показаться разумным рассматривать только монотонные функции, которые сохраняют этот элемент, т.е. которые отображают наименьшее количество элементов на наименьшее количество элементов. Если двоичная infima ∧ существует, то разумным свойством может быть требование, чтобы f (x ∧ y) = f (x) ∧ f (y) для всех x и y. Все эти свойства и многие другие могут быть скомпилированы под меткой функции сохранения предела.

Наконец, можно инвертировать представление, переключаясь с функций заказов на порядки функций. В самом деле, функции между двумя позициями P и Q можно упорядочить с помощью поточечного порядка . Для двух функций f и g мы имеем f ≤ g, если f (x) ≤ g (x) для всех элементов x из P. Это происходит, например, в теории областей, где функциональные пространства играют важную роль.

Специальные типы порядков

Многие структуры, изучаемые в теории порядка, используют отношения порядка с дополнительными свойствами. На самом деле особый интерес представляют даже некоторые отношения, не являющиеся частичными порядками. В основном следует упомянуть концепцию предварительного заказа . Предварительный порядок - это отношение, которое является рефлексивным и транзитивным, но не обязательно антисимметричным. Каждый предварительный заказ индуцирует отношение эквивалентности между элементами, где a эквивалентно b, если a ≤ b и b ≤ a. Предварительные заказы можно превратить в заказы, указав все элементы, эквивалентные этому отношению.

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

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

Многие другие типы заказов возникают, когда наличие infima и suprema определенных наборов гарантировано. Сосредоточившись на этом аспекте, обычно называемом полнота порядков, получаем:

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

x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z), для всех x, y, и z.

Это состояние называется дистрибутивностью и приводит к распределительным решеткам. Есть еще несколько важных законов распределенности, которые обсуждаются в статье о распределенности в теории порядка. Некоторые дополнительные структуры порядка, которые часто задаются с помощью алгебраических операций и определяющих тождеств, - это

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

Существует много других важных свойств позет. Например, poset является локально конечным, если каждый закрытый интервал [a, b] в нем является конечным. Локально конечные множества порождают алгебры инцидентности, которые, в свою очередь, могут использоваться для определения эйлеровой характеристики конечных ограниченных множеств.

Подмножества упорядоченных наборов

В упорядоченном наборе можно определить множество типов специальных подмножеств на основе заданного порядка. Простым примером являются верхние наборы ; т.е. наборы, которые содержат все элементы, расположенные над ними в порядке. Формально верхнее замыкание множества S в ч.у.м. P задается множеством {x in P | в S есть y такой, что y ≤ x}. Множество, равное своему верхнему замыканию, называется верхним множеством. Младшие наборы определяются двойственно.

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

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

Связанные области математики

Хотя в большинстве областей математики порядок используется тем или иным способом, существует также несколько теорий, взаимосвязи которых выходят далеко за рамки простого применения. Некоторые из них, а также их основные точки соприкосновения с теорией порядка, будут представлены ниже.

Универсальная алгебра

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

Топология

В топологии порядки играют очень важную роль. Фактически, набор открытых множеств представляет собой классический пример полной решетки, точнее полной алгебры Гейтинга (или «фрейм », или «языковой стандарт "). Фильтры и сети - это понятия, тесно связанные с теорией порядка, и оператор замыкания наборов может использоваться для определения топологии. Помимо этих отношений, топологию можно рассматривать исключительно в терминах открытых решеток множеств, что ведет к изучению бессмысленной топологии. Кроме того, естественный предварительный порядок элементов базового набора топологии задается так называемым порядком специализации, который на самом деле является частичным порядком, если топология T0.

. Наоборот, в теории порядка один часто использует топологические результаты. Существуют различные способы определения подмножеств порядка, которые можно рассматривать как открытые множества топологии. Рассматривая топологии на чугуре (X, ≤), которые, в свою очередь, индуцируют ≤ как порядок своей специализации, лучшая такая топология - это топология Александрова, заданная путем принятия всех верхних множеств как открытых. И наоборот, самая грубая топология , которая индуцирует порядок специализации, - это верхняя топология, имеющая дополнения к главным идеалам (т. Е. Множества вида {y in X | y ≤ x} для некоторого x) в качестве подбазы. Кроме того, топология с порядком специализации ≤ может быть согласованной по порядку, что означает, что их открытые множества «недоступны для направленной супремы» (относительно ≤). Топология согласованной топологии наилучшего порядка - это топология Скотта, которая является более грубой, чем топология Александрова. Третьей важной топологией в этом духе является топология Лоусона. Между этими топологиями и концепциями теории порядка существует тесная связь. Например, функция сохраняет направленную супрему тогда и только тогда, когда она непрерывна по отношению к топологии Скотта (по этой причине это свойство теории порядка также называется непрерывностью Скотта ).

Теория категорий

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

Когда они оснащены всеми транзитивными ребрами, эти графы, в свою очередь, представляют собой просто специальные категории, где элементы являются объектами, и каждый набор морфизмов между двумя элементами является не более чем одиночными. Функции между порядками становятся функторами между категориями. Многие идеи теории порядка - это всего лишь концепции теории категорий в малом. Например, инфимум - это всего лишь категориальный продукт. В более общем смысле, можно захватить инфиму и верхнюю границу с помощью абстрактного понятия категориального предела (или копредела, соответственно). Еще одно место, где возникают категориальные идеи, - это концепция (монотонной) связи Галуа, которая в точности совпадает с парой сопряженных функторов.

. Но теория категорий также оказывает влияние на теорию порядка. в большем масштабе. Классы положений с соответствующими функциями, как обсуждалось выше, образуют интересные категории. Часто также можно указать конструкции заказов, такие как заказ продукта, в терминах категорий. Дальнейшее понимание происходит, когда категории заказов оказываются категорически эквивалентными другим категориям, например топологическим пространствам. Это направление исследований приводит к различным теоремам представления, которые часто собираются под названием двойственность Стоуна.

История

Как объяснялось ранее, порядки в математике встречаются повсеместно. Однако самые ранние явные упоминания о частичных заказах, вероятно, можно найти не ранее 19 века. В этом контексте большое значение имеют работы Джорджа Буля. Более того, в работах Чарльза Сандерса Пирса, Ричарда Дедекинда и Эрнста Шредера также рассматриваются концепции теории порядка. Конечно, в этом контексте можно назвать и другие, и, конечно, есть более подробный материал по истории теории порядка.

Термин poset как аббревиатура для частично упорядоченного множества был введен Гарреттом Биркгофом во втором издании его влиятельной книги «Теория решеток».

См. Также

Примечания

Ссылки

  • Биркгоф, Гаррет (1940). Теория решеток. 25 (3-е пересмотренное издание). Американское математическое общество. ISBN 978-0-8218-1025-5. CS1 maint: ref = harv (ссылка )
  • Burris, SN; Sankappanavar, HP (1981). Курс универсальной алгебры. Springer. ISBN 978-0-387-90578-5.
  • Дэви, BA; Пристли, HA (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. ISBN 0-521-78451-4.
  • Gierz, G.; Hofmann, KH; Keimel, K.; Mislove, M.; Scott, DS (2003). Непрерывные решетки и области. Энциклопедия математики и ее приложений. 93 . Cambridge University Press. ISBN 978-0-521-80338-0.

Внешние ссылки

Найдите заказ в Wiktionary, бесплатном словаре.
Последняя правка сделана 2021-06-01 14:12:12
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте