Полурешетка

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

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

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

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

Содержание

  • 1 Теоретико-упорядоченное определение
  • 2 Алгебраическое определение
  • 3 Связь между обоими определениями
  • 4 Примеры
  • 5 Морфизмы полурешеток
  • 6 Эквивалентность с алгебраическими решетками
  • 7 Дистрибутивные полурешетки
  • 8 Полные полурешетки
  • 9 Свободные полурешетки
  • 10 См. Также
  • 11 Примечания
  • 12 Ссылки
  • 13 Внешние ссылки

Теоретико-упорядоченное определение

A set S частично упорядоченное с помощью бинарного отношения ≤ является встречно-полурешеткой, если

Для всех элементов x и y из S существует наибольшая нижняя граница множества {x, y}.

Наибольшая нижняя граница набора {x, y} называется встречаются x и y, обозначаемые x ∧ y.

Замена «наибольшей нижней границы» на «наименьшей верхней границы » приводит к двойственной концепции соединения-полурешетки. Наименьшая верхняя граница {x, y} называется соединением x и y и обозначается x ∨ y. Встреча и соединение - это бинарные операции на S. Простой аргумент индукции показывает, что существование всех возможных парных супремумов (инфима), согласно определению, подразумевает существование всех не- пустая конечная супрема (инфима).

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

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

Алгебраическое определение

Встречающаяся полурешетка - это алгебраическая структура ⟨S, ∧⟩ {\ displaystyle \ langle S, \ land \ rangle}\ langle S, \ land \ rangle , состоящий из набора S с двоичной операцией ∧, называемой meet, так что для всех элементов x, y и z из S, выполняются следующие тождества :

Ассоциативность
x ∧ (y ∧ z) = (x ∧ y) ∧ z
Коммутативность
x ∧ y = y ∧ x
Идемпотентность
x ∧ x = x

Встреча-полурешетка ⟨S, ∧⟩ {\ displaystyle \ langle S, \ land \ rangle}\ langle S, \ land \ rangle ограничена если S включает в себя элемент идентичности 1 такой, что x ∧ 1 = x для всех x в S.

Если символ called, называемый join, заменяет ∧ в По только что данному определению структура называется полурешёткой соединения. Можно неоднозначно относиться к конкретному выбору символа для операции и говорить просто о полурешетках.

Полурешетка - это коммутативная, идемпотентная полугруппа ; то есть коммутативный бэнд. Ограниченная полурешетка - это идемпотентный коммутативный моноид.

Частичный порядок индуцируется на встречной полурешетке, полагая x ≤ y всякий раз, когда x ∧ y = x. Для полурешетки соединения порядок индуцируется положением x ≤ y, если x ∨ y = y. В ограниченной встречной полурешетке единица 1 является наибольшим элементом в S. Точно так же единичный элемент в полурешетке соединений является наименьшим элементом.

Связь между обоими определениями

Теоретико-упорядоченная полурешетка ⟨S, ≤⟩ приводит к бинарной операции ∧ такой, что ⟨S, ∧⟩ является алгебраической встреча-полурешетка. И наоборот, встречающаяся полурешетка ⟨S, ∧⟩ порождает бинарное отношение ≤, которое частично упорядочивает S следующим образом: для всех элементов x и y в S x ≤ y тогда и только тогда, когда x = х ∧ у.

Введенное таким образом отношение ≤ определяет частичный порядок, из которого может быть восстановлена ​​двоичная операция ∧. Наоборот, порядок, индуцированный алгебраически определенной полурешеткой ⟨S, ∧⟩, совпадает с порядком, индуцированным ≤.

Следовательно, оба определения могут использоваться взаимозаменяемо, в зависимости от того, какое из них более удобно для конкретной цели. Аналогичный вывод верен для джойн-полурешеток и двойственного порядка ≥.

Примеры

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

  • A решетка является как полурешеткой соединения, так и встречной. Взаимодействие этих двух полурешеток посредством закона поглощения - вот что действительно отличает решетку от полурешетки.
  • компактные элементы алгебраической решетки при индуцированном частичном упорядочении образуют ограниченную полурешетку соединения.
  • Любая конечная полурешетка ограничена по индукции.
  • A полностью упорядоченное множество является дистрибутивной решеткой, следовательно, в частности, полурешетка и полурешетка соединения: любые два различных элемента имеют больший и меньший один, которые являются их пересечением и соединением.
    • A хорошо упорядоченное множество также является ограниченной полурешёткой соединения, поскольку множество в целом имеет наименьший элемент, следовательно, оно ограничено.
      • Неотрицательные целые числа ℕ, с их обычным порядком ≤, представляют собой ограниченную полурешетку соединения с наименьшим элементом 0, хотя у них нет наибольшего элемента: они представляют собой наименьшее бесконечное упорядоченное множество.
  • Любое однокорневое дерево (с единственным корнем в качестве наименьшего элемента) высоты ≤ ω {\ displaystyle \ leq \ omega}{\ displaystyle \ leq \ omega} представляет собой (обычно неограниченную) встречно-полурешетку. Рассмотрим, например, набор конечных слов в некотором алфавите, упорядоченных в порядке префикса . Он имеет наименьший элемент (пустое слово), который является аннулирующим элементом операции встречи, но не имеет наибольшего (идентичного) элемента.
  • A Домен Скотта является полурешеткой встречи.
  • Членство в любом наборе L можно рассматривать как модель полурешетки с базовым набором L, потому что полурешетка улавливает сущность набора расширяемости. Пусть a∧b обозначает a∈L b∈L. Два набора, различающиеся только одним или обоими из следующих:
  1. Порядок, в котором перечислены их элементы;
  2. Множественность одного или нескольких элементов,
фактически является одним и тем же набором. Коммутативность и ассоциативность ∧ гарантируют (1), идемпотентность, (2). Эта полурешетка является свободной полурешеткой над L. Она не ограничена L, потому что множество не является членом самого себя.
  • Классическая экстенсиональная мереология определяет полурешетку соединения, с соединением читается как двоичное слияние. Эта полурешетка ограничена сверху мировым индивидом.
  • Для данного множества S набор разбиений ξ {\ displaystyle \ xi}\ xi из S является полурешеткой соединения. Фактически, частичный порядок задается следующим образом: ξ ≤ η {\ displaystyle \ xi \ leq \ eta}{\ displaystyle \ xi \ leq \ eta} , если ∀ Q ∈ η, ∃ P ∈ ξ {\ displaystyle \ forall Q \ in \ eta, \ существует P \ in \ xi}{\ displaystyle \ forall Q \ in \ eta, \ exists P \ in \ xi} такое, что Q ⊂ P {\ displaystyle Q \ subset P}{\ displaystyle Q \ subset P} и соединение двух разделов задается ξ ∨ η = {P ∩ Q ∣ P ∈ ξ Q ∈ η} {\ Displaystyle \ xi \ vee \ eta = \ {P \ cap Q \ mid P \ in \ xi \ \ \ Q \ in \ eta \}}{\ displaystyle \ xi \ vee \ eta = \ {P \ cap Q \ mid P \ in \ xi \ \ \ Q \ in \ eta \}} . Эта полурешетка ограничена, причем наименьшим элементом является одноэлементное разбиение {S} {\ displaystyle \ {S \}}{ \ displaystyle \ {S \}} .

Морфизмы полурешеток

Приведенное выше алгебраическое определение полурешетки предлагает понятие морфизм между двумя полурешетками. Для двух полурешеток соединения (S, ∨) и (T, ∨) гомоморфизм (соединенных-) полурешеток - это функция f: S → T такая, что

f (x ∨ y) = f (x) ∨ f (y).

Следовательно, f является просто гомоморфизмом двух полугрупп, связанных с каждой полурешеткой. Если S и T оба содержат наименьший элемент 0, то f также должен быть гомоморфизмом моноида, т.е. мы дополнительно требуем, чтобы

f (0) = 0.

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

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

Эквивалентность с алгебраическими решетками

Существует хорошо известная эквивалентность между категорией S {\ displaystyle {\ mathcal {S}}}{\ mathcal {S}} соединенных полурешеток с нулем с (∨, 0) {\ displaystyle (\ vee, 0)}(\ vee, 0) -гомоморфизмами и категорией A {\ displaystyle {\ mathcal {A}}}{\ mathcal {A}} из алгебраических решеток с компактностью -сохраняющими полными гомоморфизмами соединения, следующим образом. С полурешеткой соединения S {\ displaystyle S}S с нулем мы связываем ее идеальную решетку Id ⁡ S {\ displaystyle \ operatorname {Id} \ S}\ operatorname {Id} \ S . С (∨, 0) {\ displaystyle (\ vee, 0)}(\ vee, 0) -гомоморфизмом f: S → T {\ displaystyle f \ двоеточие S \ to T}е \ двоеточие S \ к Т из (∨, 0) {\ displaystyle (\ vee, 0)}(\ vee, 0) -полурешеток, мы связываем карту Id ⁡ f: Id ⁡ S → Id ⁡ T { \ displaystyle \ operatorname {Id} \ f \ двоеточие \ operatorname {Id} \ S \ to \ operatorname {Id} \ T}\ operatorname {Id} \ f \ двоеточие \ operatorname {Id} \ S \ to \ operatorname {Id} \ T , что с любым идеалом I {\ displaystyle I}I из S {\ displaystyle S}S связывает идеал T {\ displaystyle T}T , сгенерированный f (I) {\ displaystyle f (I)}f (I) . Это определяет функтор Id: S → A {\ displaystyle \ operatorname {Id} \ двоеточие {\ mathcal {S}} \ to {\ mathcal {A}}}\ operatorname {Id} \ двоеточие {\ mathcal {S}} \ to {\ mathcal {A}} . И наоборот, с каждой алгебраической решеткой A {\ displaystyle A}A мы связываем (∨, 0) {\ displaystyle (\ vee, 0)}(\ vee, 0) -полурешетку K (A) {\ displaystyle K (A)}K (A) из всех компактных элементов из A {\ displaystyle A}A и с каждому сохраняющему компактность полному гомоморфизму соединения f: A → B {\ displaystyle f \ двоеточие A \ to B}f \ двоеточие от A \ до B между алгебраическими решетками мы связываем ограничение K (f): K ( A) → К (В) {\ Displaystyle К (е) \ двоеточие К (А) \ к К (В)}K (f) \ двоеточие K (A) \ to K (B) . Это определяет функтор K: A → S {\ displaystyle K \ двоеточие {\ mathcal {A}} \ to {\ mathcal {S}}}K \ двоеточие {\ mathcal {A}} \ to {\ mathcal {S}} . Пара (Id, K) {\ displaystyle (\ operatorname {Id}, K)}(\ operatorname {Id}, K) определяет эквивалентность категорий между S {\ displaystyle {\ mathcal {S}}}{\ mathcal {S}} и A {\ displaystyle {\ mathcal {A}}}{\ mathcal {A}} .

Распределительные полурешетки

Удивительно, но к полурешеткам применимо понятие "распределенность", даже если условно распределенность требует взаимодействия двух бинарных операций. Это понятие требует всего одной операции и обобщает условие дистрибутивности для решеток. Джойн-полурешетка является дистрибутивной, если для всех a, b и x с x ≤ a ∨ b существуют a '≤ a и b' ≤ b такие, что x = a '∨ b'. Дистрибутивные встречные полурешетки определяются двойственно. Эти определения оправданы тем фактом, что любая дистрибутивная полурешетка соединений, в которой существуют бинарные пересечения, является дистрибутивной решеткой. См. Статью дистрибутивность (теория порядка).

Джойн-полурешетка дистрибутивна тогда и только тогда, когда решетка ее идеалов (при включении) дистрибутивна.

Полные полурешетки

В настоящее время термин «полная полурешетка» не имеет общепринятого значения, и существуют различные взаимно несовместимые определения. Если для полноты требуется наличие всех бесконечных объединений или всех бесконечных соединений, в зависимости от случая, а также конечных, это немедленно приводит к частичным порядкам, которые фактически являются полными решетками. О том, почему существование всех возможных бесконечных объединений влечет за собой существование всех возможных бесконечных совпадений (и наоборот), см. Статью полнота (теория порядка).

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

Другое использование термина «полная встреча-полурешетка» относится к ограниченной полной cpo. Полная встречающаяся полурешетка в этом смысле, возможно, является «наиболее полной» встречной полурешеткой, которая не обязательно является полной решеткой. Действительно, полная встреча-полурешетка имеет все непустые пересечения (что эквивалентно ограниченно полной полноте) и все направленные соединения. Если такая структура также имеет наибольший элемент (пересечение пустого множества), она также является полной решеткой. Таким образом, полная полурешетка оказывается «полной решеткой, возможно, без волчка». Это определение представляет особый интерес для теории областей, где ограниченные полные алгебраические cpos изучаются как области Скотта. Поэтому области Скотта были названы алгебраическими полурешетками.

Понятия полноты для полурешеток с ограничением мощности редко рассматриваются в литературе.

Свободные полурешетки

Этот раздел предполагает некоторые знания теории категорий. В различных ситуациях существуют свободные полурешетки. Например, забывчивый функтор из категории джойн-полурешеток (и их гомоморфизмов) в категорию множеств (и функций) допускает сопряженный слева. Следовательно, свободная полурешетка соединения F (S) над множеством S строится путем взятия набора всех непустых конечных подмножеств в S, упорядоченных по включению подмножеств. Ясно, что S может быть встроен в F (S) с помощью отображения e, которое переводит любой элемент s из S в одноэлементный набор {s}. Тогда любая функция f из a S в полурешётку соединения T (более формально, в базовое множество T) индуцирует единственный гомоморфизм f 'между полурешётками соединения F (S) и T, такой, что f = f 'o e. Явно f 'задается как f' (A) = ∨ {\ displaystyle \ vee}\ vee {f (s) | s в A}. Теперь очевидной единственности f 'достаточно для получения требуемого присоединения - морфизм-часть функтора F может быть получен из общих соображений (см. присоединенные функторы ). Случай свободных встреч-полурешеток двойственен, поскольку в качестве упорядочения используется включение противоположного подмножества. Для соединений-полурешеток с основанием мы просто добавляем пустое множество к вышеуказанному набору подмножеств.

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

См. Также

Примечания

Ссылки

Часто бывает, что стандартные трактовки теории решеток определяют полурешетку, если это так, и не говорят больше. См. Ссылки в статьях теория порядка и теория решеток. Более того, нет литературы по полурешеткам, сопоставимой по величине с литературой по полугруппам.

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

Последняя правка сделана 2021-06-07 09:46:07
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте