В нашей дипломной работе пойдёт речь ещё и прямом произведении конечных упорядоченных множествах. Поэтому объясним, что это такое.

Пусть <A,≤> и <В,≤> - конечные упорядоченные множества с одинаковым порядком, тогда их прямым произведением называется конечное упорядоченное множество , элементы которого – это всевозможные пары, состоящие из двух компонент,1-ая компонента принадлежит множеству А, а вторая – В. Порядок на определяется следующим образом:

(a,b)≤(c,d)Û(a≤c и b≤d).

§2.Определение размерности упорядоченного множества

Напомним, что такое цепь на примере диаграммы Хассе для конечного упорядоченного множества <A,£>. Здесь порядок £ будет линейным.

Примером антицепи может служить множество:

Нелинейный порядок £ на конечном упорядоченном множестве А можно доупорядочить до различных линейных порядков на А.

Например, нелинейный порядок на А

можно доупорядочить до следующих линейных порядков:

Для любого нелинейного порядка конечного упорядоченного множества будет справедлива теорема.

Теорема 1. Любой нелинейный порядок ≤ на конечном упорядоченном множестве А можно продолжить до линейных порядков, дающих в пересечении исходный порядок ≤.

Доказательство:

Возьмём произвольное конечное упорядоченное множество А с нелинейным порядком £.

Рассмотрим 2 его произвольных элемента а и b.

Если они несравнимы, то доопределим (или можно взять).

Если при этом элемент x£ а, а элемент y ³b, то .

В нашем примере b и с несравнимы. Доопределим . При этом, а £b и c£e, значит, .

Если <A,> - всё ещё не цепь, то, беря новую пару несравнимых элементов, аналогично доопределяем до “большего” порядка на А.

Через несколько таких шагов получим линейный порядок на A, содержащий исходный порядок £.

Если бы мы доопределили ba, тогда получили бы другой линейный порядок, содержащий исходный порядок £. В пересечении и í линейных порядков элементы a и b окажутся несравнимыми.

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

Ч.т.д.

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

Наименьшее число линейных порядков на А, дающих в пересечении данный порядок £, называется размерностью А. И обозначается d(A).