Двойственность (теория порядка) - Duality (order theory)

в математический зона теория порядка, каждый частично заказанный набор п рождает двойной (или же противоположный) частично упорядоченное множество, которое часто обозначают пop или же пd. Этот двойной порядок пop определяется как тот же набор, но с обратный порядок, т.е. Иксу держит в пop если и только если уИкс держит в п. Легко увидеть, что эта конструкция, которую можно изобразить, перевернув Диаграмма Хассе за п вверх ногами, действительно даст частично заказанный набор. В более широком смысле два частично упорядоченных множества также называются двойственными, если они дуально изоморфный, т.е. если один ч.у. порядок изоморфный к двойному другому.

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

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

Если утверждение или определение эквивалентно своему двойственному, то оно называется самодвойственный. Обратите внимание, что рассмотрение двойных порядков настолько фундаментально, что часто возникает неявно при записи ≥ для двойного порядка ≤ без предварительного определения этого «нового» символа.

Примеры

Ограниченная дистрибутивная решетка и двойственная ей

Естественно, существует множество примеров двойственных понятий:

Примеры самодвойственных понятий включают:

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

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

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

  1. ^ Кванторы важны: для отдельных элементов Икс, у, z, например первое уравнение может быть нарушено, но второе может выполняться; увидеть N5 решетка для примера.
  • Davey, B.A .; Пристли, Х.А. (2002), Введение в решетки и порядок (2-е изд.), Издательство Кембриджского университета, ISBN  978-0-521-78451-1