Математическая энциклопедия

ЧАСТИЧНО УПОРЯДОЧЕННОЕ МНОЖЕСТВО

непустое множество, на к-ром зафиксирован нек-рыйпорядок.
Ч. у. м. является примероммодели.
Примеры Ч. у. м.: 1) множество натуральных чисел с обычным порядком; 2) множество натуральных чисел, где означает, что аделит b; 3) множество всех подмножеств нек-рого множества, где означает, что 4) множество всех действительных функций на отрезке [0, 1], где означает, что для всех 5) множество конечных возрастающих последовательностей натуральных чисел, где


означает, что иаi=biпри (см.Дерево);6) произвольное непустое множество, где означаета=b(такое Ч. у. м. наз. тривиальным, или дискретным).
Каждое Ч. у. м. Рможно рассматривать какмалую категорию,объектами к-рой служат элементы множестваР,а множество морфизмов Н(а, b)одноэлементно, если и пусто в остальных случаях. В свою очередь, каждая малая категория, где каждое из множеств H(а, b)содержит не более одного элемента, определяет Ч. у. м.
Если на Ч. у. м. Ропределить отношение полагая если то это отношение оказывается порядком.Возникающее таким образом Ч. у. м. наз. дуальным, или двойственным, кР.
Отображение Ч. у. м. Р в Ч. у. м.Р'наз. (анти)изотонным, или (анти)гомоморфизмом, если в Рвлечет вР'.Взаимно однозначный (анти)гомоморфизм наз. (анти)изоморфизмом. Тождественное отображение Ч. у. м. Р на себя является антиизоморфизмом этого Ч. у. м. на дуальное ему. Изоморфизм является частным случаемрезидуалъного отображения.Последовательное выполнение двух антигомоморфизмов дает гомоморфизм. Совокупность всех Ч. у. м. образуеткатегорию,если морфизмами считать изотопные отображения. Всякое непустое подмножество Ч. у. м. является Ч. у. м. относительно индуцированного на нем порядка.
Если А- непустое подмножество Ч. у. м.Р,то нижний конус (верхний конус определяется как совокупность всех таких элементов что для всех Если и то подмножество наз. интервалом (хотя с точки зрения словоупотребления, принятого в математич. анализе, здесь следовало бы говорить лотрезок

  1. частично упорядоченное множество—матем. см. Упорядоченные и частично упорядоченные множества....Большая Советская энциклопедия II
  2. частично упорядоченное множество—mathensemble dlments partiellement ordonns...Политехнический русско-французский словарь
  3. частично упорядоченное множество—часткова парадкаванае мноства...Русско-белорусский математический словарь