Заказ продукта

Диаграмма Хассе заказа продукции на × ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$

В математике задан частичный порядок и на множестве и соответственно порядок произведения ^{[1] [2] [3] [4]} (также называемый покоординатным порядком ^{[5] [3] [6]} или покомпонентным порядком ^{[2] ] [7]} ) является частичным упорядочением декартова произведения. Даны две пары и объявляем , что если и ${\displaystyle \preceq }$ ${\displaystyle \sqsubseteq }$ ${\displaystyle A}$ ${\displaystyle B}$ ${\displaystyle \leq }$ ${\displaystyle A\times B.}$ ${\displaystyle \left(a_{1},b_{1}\right)}$ ${\displaystyle \left(a_{2},b_{2}\right)}$ ${\displaystyle A\times B,}$ ${\displaystyle \left(a_{1},b_{1}\right)\leq \left(a_{2},b_{2}\right)}$ ${\displaystyle a_{1}\preceq a_{2}}$ ${\displaystyle b_{1}\sqsubseteq b_{2}.}$

Другой возможный порядок — лексикографический порядок . Это тотальный порядок, если оба и полностью упорядочены. Однако заказ продукции из двух общих заказов , как правило , не является общим; например, пары и несравнимы в товарном порядке заказа с самим собой. Лексикографическая комбинация двух полных заказов является линейным расширением их порядка продуктов, и, таким образом, порядок продуктов является суботношением лексикографического порядка. ^[3] ${\displaystyle A\times B}$ ${\displaystyle A}$ ${\displaystyle B}$ ${\displaystyle (0,1)}$ ${\displaystyle (1,0)}$ ${\displaystyle 0<1}$

Декартово произведение с порядком произведения — категориальное произведение в категории частично упорядоченных множеств с монотонными функциями . ^[7]

Порядок произведения обобщается на произвольные (возможно, бесконечные) декартовы произведения. Предположим , что это набор и для каждого есть предупорядоченный набор. Тогда ${\displaystyle A\neq \varnothing }$ ${\displaystyle a\in A,}$ ${\displaystyle \left(I_{a},\leq \right)}$предварительный заказ продукта определяется путем объявления для любогоивэтом ${\displaystyle \prod _{a\in A}I_{a}}$ ${\displaystyle i_{\bullet }=\left(i_{a}\right)_{a\in A}}$ ${\displaystyle j_{\bullet }=\left(j_{a}\right)_{a\in A}}$ ${\displaystyle \prod _{a\in A}I_{a},}$

${\displaystyle i_{\bullet }\leq j_{\bullet }}$тогда и только тогда, когда для каждого ${\displaystyle i_{a}\leq j_{a}}$ ${\displaystyle a\in A.}$

Если каждый заказ является частичным, то и предварительный заказ продукта тоже. ${\displaystyle \left(I_{a},\leq \right)}$

Более того, для данного набора порядок произведения по декартову произведению можно отождествить с порядком включения подмножеств из ^[4] ${\displaystyle A,}$ ${\displaystyle \prod _{a\in A}\{0,1\}}$ ${\displaystyle A.}$

Это понятие в равной степени применимо и к предварительным заказам . Порядок произведения также является категориальным произведением в ряде более богатых категорий, включая решетки и булевы алгебры . ^[7]

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

1. Неггерс, Дж.; Ким, Хи Сик (1998), «4.2 Порядок продуктов и лексикографический порядок», Basic Posets, World Scientific, стр. 64–78, ISBN 9789810235895
2. Судхир Р. Горпаде; Балмохан В. Лимайе (2010). Курс многомерного исчисления и анализа . Спрингер. п. 5. ISBN 978-1-4419-1621-1.
3. Эгберт Харцхайм (2006). Заказанные наборы . Спрингер. стр. 86–88. ISBN 978-0-387-24222-4.
4. Виктор В. Марек (2009). Введение в математику выполнимости . ЦРК Пресс. п. 17. ISBN 978-1-4398-0174-1.
5. Дэйви и Пристли, Введение в решетки и порядок (второе издание), 2002, с. 18
6. Александр Шен; Николай Константинович Верещагин (2002 г.). Базовая теория множеств . Американское математическое соц. п. 43. ИСБН 978-0-8218-2731-4.
7. Пол Тейлор (1999). Практические основы математики . Издательство Кембриджского университета. стр. 144–145 и 216. ISBN. 978-0-521-63107-5.

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

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