Атом (теория порядка) - Atom (order theory)

в математический поле теория порядка, элемент а из частично заказанный набор с наименьший элемент 0 является атом если 0 < а и нет Икс такой, что 0 < Икс < а.

Эквивалентно, можно определить атом как элемент, который минимальный среди ненулевых элементов или, альтернативно, элемент, который охватывает наименьший элемент 0.

Атомарные порядки

Рис. 2: The решетка делителей 4, с порядком "является делитель из", является атомарным, причем 2 является единственным атомом. Это не атомистическое, так как 4 не может быть получено как наименьший общий множитель атомов.
рисунок 1: The набор мощности набора {Икс, y, z} с заказом "является подмножество из"является атомистическим частично упорядоченным набором: каждый набор элементов может быть получен как союз из всех одиночка под ним.

Обозначим <: отношение покрытия в частично упорядоченном множестве.

Частично упорядоченный набор с наименьшим элементом 0 является атомный если каждый элемент б > 0 имеет атом а под ним, то есть есть какие-то а такой, что б ≥ а :> 0. Каждое конечное частично упорядоченное множество с 0 атомарен, но множество неотрицательных действительные числа (упорядоченный обычным образом) не является атомарным (и фактически не имеет атомов).

Частично упорядоченный набор относительно атомный (или же сильно атомный) если для всех а < б есть элемент c такой, что а <: c ≤ б или, что то же самое, если каждый интервал [аб] является атомарным. Каждый относительно атомарный частично упорядоченный набор с наименьшим элементом является атомарным. Каждый конечный ч.у. относительно атомарен.

Частично упорядоченный набор с наименьшим количеством элементов 0 называется атомистический если каждый элемент является наименьшая верхняя граница набора атомов. Линейный порядок с тремя элементами не является атомистическим (см. Рис. 2).

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

Coatoms

Условия Коатом, коомик, и коомистический определяются двойственно. Таким образом, в частично упорядоченном множестве с величайший элемент 1, говорят, что

  • а Коатом это элемент, охватываемый 1,
  • набор коомик если каждый б < 1 есть пальто c над ним, и
  • набор коомистический если каждый элемент является наибольшая нижняя граница набора кофт.

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

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

внешняя ссылка