МАТЕМАТИЧЕСКАЯ МОРФОЛОГИЯ

Электронный математический и медико-биологический журнал

Русская версия 2.0 - 1997 Том 3. Выпуск 2.1999

ТЕОРИЯ СИММЕТРИИ И МОРФОЛОГИЯ

УДК 51

Лекция

БИНАРНЫЕ ОТНОШЕНИЯ. ОТНОШЕНИЕ ПОРЯДКА

 1999 г. Е. П. Емельченков, В. Е. Емельченков

В заметке рассматривается одно из наиболее употребительных

бинарных отношений – отношение порядка.

1. Что такое порядок?

Порядок играет огромную роль в нашей жизни. Люди на протяже-

нии всей истории пытались упорядочить отношения между собой, окру-
жающие явления. Без порядка невозможно представить жизнь человека.
Попробуйте представить общество, в котором царит анархия или словарь,
в котором слова расположены хаотично. Но что такое порядок? С некото-
рыми упорядочениями мы настолько свыклись, что часто их просто не
осознаем, как, например, грамматический порядок слов в предложении. В
данной статье дано формальное определение порядка, которое использу-
ется в математике.
Определение 1.1. Бинарное отношение α на множестве X называется
отношением порядка, если оно транзитивно:

(∀ a, b, c ∈ X ) (a α b & b α c ⇒ a α c)

и антисимметрично:

(∀ a, b ∈ X ) (a α b & b α a ⇒ a = b).

Пример 1.1. Рассмотрим отношение «старше» на множестве людей.

Очевидно, что оно транзитивно и антисимметрично, и, следовательно, яв-
ляется отношением порядка.
Пример 1.2. Иерархия животных, построенная по этапам эволюции,
является отношением порядка (рис.1).
 Е. П. Емельченков, В. Е. Емельченков

Рис. 1. Основные этапы эволюции эукариотических организмов

Определение 1.2. Множество X с определенным на нем отношением

порядка α называется упорядоченным множеством и обозначается
< X ;α > .
Упорядоченное множество < M ; α > с небольшим числом элементов
наглядно представляется ориентированным графом. При этом элементам
множества M сопоставляются вершины графа (обозначаются на рисунке
точками), а элементам отношения α - дуги (линии со стрелками).
Так, например, на рисунке 2 приведен ориентированный граф, пред-
ставляющий отношение α = {(a, a), (a, b), (a, c), (b, c)} на множестве M =
{a, b, c, d}.

Рис. 2. Граф упорядоченного множества

Задать порядок на множестве можно различными способами. Так,

например, на рисунке 3 приведено три способа упорядочения четырех
стран.

29
Математическая морфология Том 3. Выпуск 2. 1999

Площадь Россия США Франция Англия

Население США Россия Франция Англия
Плотность Англия Франция США Россия
населения

Рис. 3. Три способа упорядочения

На рисунке 4 приведены ориентированные графы, представляющие

отношения «делится» и «меньше» на множестве M = {1, 2, 3, 4} натураль-
ных чисел.

Рис. 4. Графы отношений "делится" (а) и "меньше" (б) на множестве

{1,2,3,4}

2. Разновидности отношений порядка

Определение 2.1. Отношение порядка α называется отношением не-

строгого порядка на множестве X, если α рефлексивно:
(∀ a ∈ X ) (a α a).
Отношение нестрогого порядка обычно обозначается символом ≤ .
Если x ≤ y , то говорят, что «элемент x предшествует элементу y» или «y
следует за x».
Пример 2.1. Отношение x ≤ y на множестве действительных чисел
является отношением нестрогого порядка.
Пример 2.2. На совокупности подмножеств некоторого универсаль-
ного множества U отношение A ⊆ B является отношением нестрогого по-
рядка.
Пример 2.3. Отношение подчиненности в учреждении является не-
строгим порядком на множестве сотрудников учреждения.

30
 Е. П. Емельченков, В. Е. Емельченков

Пример 2.4. Отношение m | n (m делит n) на произвольном подмно-

жестве натуральных чисел является нестрогим порядком. На рисунке 5
приведен граф, соответствующий упорядоченному множеству
< {2, 3, 6, 7, 14}, | > .

2 3

Рис. 5. Граф нестрого упорядоченного множества

Пример 2.5. Тождественное отношение является как отношением эк-

вивалентности, так и отношением нестрогого порядка.
Определение 2.2. Два элемента x, y ∈ X называются сравнимыми
элементами упорядоченного множества X, если либо x α y , либо y α x .
Несравнимыми элементами в упорядоченном множестве из примера
4 являются, например, элементы 7 и 2, 2 и 3, 3 и 7.
Определение 2.3. Отношение порядка α называется отношением
строгого порядка на множестве X, если α антирефлексивно:
∀ x, y ∈ X ( x α y ⇒ x ≠ y ) .
Отношение строгого порядка обозначается символом <.
Пример 2.6. Пусть f и g - функции с одинаковыми областями опреде-
ления. Определим отношение > следующим образом: f > g, если для любо-
го x из области определения функции f(x) > g(x). Очевидно, что данное от-
ношение является отношением строгого порядка.
Для функций f и g, изображенных на рисунке 6, имеет место соот-
ношение f > g. Пары функций f и h, а также g и h несравнимы.

Рис. 6. Три функции

31
Математическая морфология Том 3. Выпуск 2. 1999

Пример 2.7. Алфавитный порядок является отношением строгого

порядка на множестве букв.
Пример 2.8. Пусть на множестве X задано отношение строго порядка
α . Как можно задать отношение строгого порядка на множестве X × X , то
есть, как сравнивать пары элементов из множества X? Один из возможных
вариантов состоит в следующем. На множестве X определим отношение β
условием:
(a, b) β (c, d ) ⇔ (a α b) & (c α d ).

Отношение β является строгим порядком.

Пример 2.9. Другой способ задания строгого порядка на множестве
X × X состоит в следующем. Будем считать, что выполнено соотношение
(a, b) γ (c, d), если
(a α c) ∨ (a = c) & (b < d ).

Это отношение порядка называется лексикографическим. В общем случае

оно определяется следующим образом. Для слов v и w одинаковой длины
полагается v < w, если существует такой номер k, что v1 = w1 , v2 = w2 , ...,
vk −1 = wk −1 , vk = wk , где vi , wi - i-ые буквы слов v и w соответственно. Для
слов v = v1v2 Κ vn и w = w1 w2 Κ wn wn +1 Κ wn + k (k > 0) разной длины считается v
< w, если v1v2 Κ vn < w1w2 Κ wn или v1 v 2 Κ v n = w1 w2 Κ wn , и w < v, если
w1 w2 Κ w < v1v2 Κ vn . Такой способ упорядочения используется в словарях.
В этом порядке, например:

детство < отрочество < юность,

институт < школа < ясли,
12 < 123 < 4.

Как уже отмечалось, упорядоченные множества удобно изображать

в виде графов. При этом если α - отношение строго порядка, то граф от-
ношения α не содержит циклов. Верно и обратное: для любого графа G без
циклов существует отношение α строгого порядка такое, что граф, ассо-
циированный с данным отношением, совпадает с транзитивным замыка-
нием графа G. (Транзитивным замыканием графа G называется граф, по-
лученный из графа G добавлением дуг, связывающих каждую вершину a с
вершинами, достижимыми из a.) Действительно, пусть G - граф без конту-
ров. Определим на множестве M вершин этого графа отношение α : x α y ,
если существует путь по направлению дуг, ведущий из x в y. Легко видеть,
что ввиду отсутствия циклов отношение α является строгим порядком.

32
 Е. П. Емельченков, В. Е. Емельченков

Определение 2.4. Множество X с бинарным отношением α называ-

ется связным, если для любых двух различных элементов x и y из X либо
x α y , либо y α x .
Определение 2.5. Связное отношение порядка на множестве X назы-
вается отношением линейного порядка.
Пример 2.10. Лексикографический порядок слов в словаре является
линейным порядком.
Пример 2.11. Отношение включения на множестве фигур линейным
порядком не является (рис. 7).

Рис. 7. Две несравнимые фигуры

Пример 2.12. Отношение «старше» на множестве людей является

линейным порядком.
Пример 2.13. Рассмотрим множество людей. Их можно упорядочить
различным образом, например, по росту (рис. 8).

Рис. 8. Шеренга

Упорядочение элементов множества X с помощью отображения его

элементов на какое-нибудь упорядоченное множество Y - довольно типич-
ный пример определения порядка.
Соответствующий общий прием упорядочения некоторого множест-
ва состоит в следующем. Пусть на множестве X определена инъективная
функция

f: X → R,

33
Математическая морфология Том 3. Выпуск 2. 1999

принимающая вещественные числовые значения. Зададим отношение < на

X условием: x < y, если f(x) < f(y). Так определенное отношение < антиреф-
лексивно, так как не может быть f(x) < f(x). Транзитивность и антисиммет-
ричность отношения < столь же очевидна. Наконец, для любой пары раз-
личных элементов x, y из X верно либо f(x) < f(y), либо f(y) < f(x), так как f -
инъекция. Значит порядок < является линейным. Функция f взаимно одно-
значно отображает наше множество X на некоторое подмножество множе-
ства R вещественных чисел, так что соотношение x < y для любых элемен-
тов множества X равносильно неравенству f(x) < f(y).
Определение 2.6. Пусть на множестве X задано отношение строгого
порядка <. Элемент x ∈ X такой, что для всякого y из X, не совпадающего с
x, выполнено соотношение x < y (x > y) называется наименьшим (наиболь-
шим).
Определение 2.7. Пусть на множестве X задано отношение строго
порядка <. Тогда элемент x∈ X называется минимальным (максимальным)
в упорядоченном множестве <X, < >, если не существует никакого элемен-
та y, для которого y < x (соответственно y > x).
Если, как обычно, в случае x < y проводить стрелку от x к y, то в гра-
фе отношения минимальный элемент - это тот, в который не входят стрел-
ки, а максимальный - из которого не выходят стрелки.
В случае линейного строго порядка минимальный элемент x облада-
ет тем дополнительным свойством, что для всякого x ≠ y выполнено x < y.
Тем самым для случая линейных порядков понятие минимального элемен-
та совпадает с понятием наименьшего элемента. В общем случае может
оказаться так, что элемент x минимален, но не находится в соотношении
x < y с какими-то иными элементами. Например, на рисунке 5 элемент 2
является минимальным, но не сравним с элементами 3 и 7.
Чтобы понять различие между минимальным и наименьшим элемен-
тами, рассмотрим пример.
Пример 2.14. На рисунке 9 изображена диаграмма упорядоченного
множества, в котором нет ни наименьшего, ни наибольшего элементов, но
в то же время есть ровно 1 минимальный и ровно 1 максимальный эле-
мент.

Рис.9. Упорядоченное множество

34
 Е. П. Емельченков, В. Е. Емельченков

Рассмотрим подробнее конечные строго упорядоченные множества.

Лемма 2.1. Если на конечном (непустом) множестве X задан линей-
ный строгий порядок, то существует наименьший элемент, и он единстве-
нен.
Доказательство. Возьмем произвольный элемент y0 ∈ X . Если y0 -
наименьший элемент, то существование искомого элемента доказано. Если
нет, то поскольку < - линейный строгий порядок, существует такой эле-
мент y1 ≠ y0 , что y1 < y0 . Опять же либо y1 - наименьший, либо существует
y2 ≠ y1 , такой, что y2 < y1 . Будем продолжать это процесс. Предположим,
что уже выбрано n + 1 элементов, для которых

yn < yn −1 , yn −1 < yn − 2 , Κ , y1 < y0 .

В силу транзитивности ясно, что yi < y j при i > j. Значит, в силу ан-
тирефлексивности, все выбранные элементы попарно не равны. Стало
быть, ввиду конечности множества X процесс выбора должен прерваться
за конечное число шагов. Элемент yn , выбранный на последнем шаге, бу-
дет, очевидно, искомым. Итак, для любого z ≠ yn выполнено yn < z . Пока-
жем, что этот элемент единственен. В самом деле, пусть существует дру-
гой элемент z ≠ yn ' такой, что, для всякого z ≠ yn , yn ' < z . Тогда одновре-
менно выполняется yn < yn ' и yn ' < yn , что невозможно в силу антисиммет-
ричности. Лемма доказана.
Теорема 2.1. Пусть дано отношение линейного строгого порядка <
на конечном множестве X. Тогда на X можно выбрать такую нумерацию
X = {x1 , x2 , Κ , xn } , что соотношение xi < x j будет выполняться в том и
только в том случае, когда i < j.
Доказательство. Пусть x1 - наименьший элемент во множестве X,
выбранный согласно лемме 1. Обозначим через X 1 множество X \ {x1} .
Обозначим через x2 наименьший элемент множества X 1 . Ясно, что x1 < x2 .
Удалим из X 1 элемент x2 и оставшееся множество обозначим через X 2 .
Его наименьший элемент x3 удовлетворяет условию: x2 < x3 . Процедура
нумерации уже ясна: перебирая по указанному методу последовательно
все элементы из X, мы их выстроим в цепочку:

x1 < x2 < Κ , < x p ,

где p - количество элементов в X. В силу транзитивности и антисиммет-

ричности ясно, что xi < x j в том и только в том случае, когда i < j. Теорема
доказана.

35
Математическая морфология Том 3. Выпуск 2. 1999

Эта теорема в сущности означает, что любой линейный строгий по-

рядок на конечном множестве X равносилен обычному порядку на некото-
ром отрезке натурального ряда.
С отношением порядка непосредственно связано отношение доми-
нирования.
Определение 2.8. Пусть < X , α > - упорядоченное множество, x и y -
его элементы. Будем говорить, что x доминирует над y, если
( x α y ) & ( x ≠ y ) , но не существует такого элемента z ∈ X, что
xα z & zα y .
С помощью отношения доминирования можно ввести другой на-
глядный способ изображения упорядоченных множеств - диаграммы Хас-
се. На диаграммах каждый элемент изображается точкой на плоскости, и
если y доминирует над x, то точки x и y соединяют отрезком, причем точ-
ку, соответствующую x, располагают ниже y.
Рассмотрим три отношения частичного порядка и построим для них
диаграммы Хассе.
Пример 2.15. Пусть A = {1, 2, 3}. На множестве всех подмножеств
множества A рассмотрим отношение «быть подмножеством». Диаграмма
этого упорядоченного множества приведена на рисунке 10(а).
Пример 2.16. Пусть X = {1, 2, 3, 5, 6, 10, 15, 30}. Введем на этом
множестве отношение «делится». Диаграмма этого упорядоченного мно-
жества приведена на рисунке 10(б).
Пример 2.17. На множестве X = {1, 2, 3, 4, 5, 6, 7, 8} рассмотрим от-
ношение линейного порядка <. Его диаграмма изображена на рисунке
10(в).

Рис. 10. Диаграммы Хассе

Заметим, что диаграммы Хассе первых двух отношений совпадают.

Это означает, что эти частично упорядоченные множества имеют одина-
ковую структуру, причем отличную от структуры третьего упорядоченно-

36
 Е. П. Емельченков, В. Е. Емельченков

го множества, хотя оно тоже содержит восемь элементов. Более точно та-
кая общность структуры определяется понятием изоморфизма.
Определение 2.9. Два упорядоченных множества < X , α > и < Y , β >
называются изоморфными, если существует биекция ϕ : X → Y , сохра-
няющая отношение порядка. Иными словами, x α y тогда и только тогда,
когда ϕ ( x) β ϕ ( y ) , где α и β - отношения порядка, заданные на множест-
вах X и Y соответственно.
Упорядоченные множества, рассмотренные в примерах 1 и 2 изо-
морфны.
Теорема 2.2. Всякое нестрого упорядоченное множество < X , ≤ >
изоморфно некоторой системе подмножеств множества X, нестрого упо-
рядоченной отношением включения.
Доказательство. Для каждого элемента a ∈ X рассмотрим множе-
ство S a = {x ∈ X | x ≤ a} . Тогда S a ⊆ X и {S a | a ∈ X } - совокупность всех та-
ких подмножеств. Докажем, что эта система подмножеств, нестрого упо-
рядоченная отношением включения, изоморфна < X , ≤ > . Рассмотрим ото-
бражение ϕ : X →{S a | a ∈ X } такое, что ϕ (a) = S a . Тогда ϕ - биекция. Дей-
ствительно, если S a = S b , то, поскольку a ∈ S a , в силу рефлексивности ≤ ,
имеем a ∈ Sb и a ≤ b . Аналогично получаем b ≤ a и в силу антисиммет-
ричности ≤ имеем a = b, т. е. отображение ϕ инъективно. Кроме того, ϕ
сюръективно, так как у любого подмножества S a есть прообраз a. Дока-
жем теперь, что отображение сохраняет отношение частичного порядка.
Пусть a ≤ b . Тогда для любого x ∈ S a из x ≤ a в силу транзитивности отно-
шения ≤ следует x ≤ b , а значит, и S a ⊆ Sb . Если S a ⊆ Sb , то, поскольку
a ∈ S a , имеем a ∈ S b , поетому a ≤ b .

3. Операции над отношениями порядка

Перейдем теперь к обсуждению вопросов, связанных с упорядоче-

нием по разным критериям. Пусть у нас имеется несколько отношений по-
рядка. Как по ним построить новое отношение порядка?
Исходя из операций над множествами, мы можем определить ряд
операций над отношениями. Далее будем полагать, что все отношения за-
даны на одном и том же множестве X.
Возьмем два отношения α и β . Каждому из них соответствует не-
которое множество пар (подмножества α ⊆ X × X и β ⊆ X × X ).
Определение 3.1. Пересечением отношений α ∩ β называется отно-
шение, определяемое пересечением соответствующих подмножеств. Ясно,

37
Математическая морфология Том 3. Выпуск 2. 1999

что x (α ∩ β ) y выполнено тогда и только тогда, когда одновременно вы-

полнены соотношения x α y и.
Пример 3.1. Пусть X – множество вещественных чисел, α - отноше-
ние «быть не меньше», β - отношение «быть строго больше». Тогда α ∩ β
есть отношение «быть строго больше».
Определение 3.2. Объединением отношений α ∪ β называется отно-
шение, определяемое объединением соответствующих множеств. Соотно-
шение x (α ∪ β ) y выполнено тогда и только тогда, когда выполнено хотя
бы одно их соотношений x α y или x β y .
Пример 3.2. Если α - отношение «больше» на множестве чисел, а β
- отношение «равно», то α ∪ β - это отношение ≥ .
Можно ввести операции непосредственно не сводящиеся к теорети-
ко-множественным.
Определение 3.3. Обратным отношением называется отношение,
определяемое условием: x α −1 y ⇔ x α y .
Пример 3.3. Пусть α - отношение «делит», тогда α −1 – отношение
«делится».
Определение 3.4. Произведением отношений называется отношение,
определяемое следующим образом: соотношение x αβ y равносильно то-
му, что существует такой элемент z∈ X , для которого выполнены соотно-
шения x α z и z β y .
Пример 3.4. Пусть α - отношение «быть женой», а β - отношение
«быть отцом». Что означает в этом случае соотношение x αβ y ? По опре-
делению существует такой z, что «x – жена z» и «z – отец y». Другими сло-
вами, «x есть жена отца y», т.е. «x – мать или мачеха y».
Пример 3.5. Пусть α - отношение «быть братом», а β - отношение
«быть родителем». Тогда произведение αβ есть отношение «быть братом
одного из родителей», т.е. «быть дядей».
Прежде чем мы перейдем к теоремам, относящимся к отношению
порядка, рассмотрим несколько вспомогательных утверждений (ввиду их
простоты мы приводим их без доказательства).
Лемма 3.1. Если отношения α и β рефлексивны, то рефлексивны и
следующие отношения:
α ∩ β , α ∪ β , α −1 , αβ .

Лемма 3.2. Если отношения α и β симметричны, то симметричны и

следующие отношения:
α ∩ β , α ∪ β , α −1 .

38
 Е. П. Емельченков, В. Е. Емельченков

Лемма 3.3. Чтобы произведение αβ симметричных отношений α и

β было симметрично, необходимо и достаточно, чтобы отношения α и β
коммутировали.
Лемма 3.4. Если отношения α и β - антисимметричны, то антисим-
метричны также и следующие отношения: α ∩ β , α −1 .
Антисимметричность может не сохраняться при объединении и про-
изведении.
Лемма 3.4. Если отношения α и β транзитивны, то транзитивны
также следующие отношения: α ∩ β , α −1 .
Из лемм 3.1, 3.2, 3.3, 3.4 вытекают следующие две теоремы.
Теорема 3.1. Если α и β - строгие порядки (нестрогие порядки), то
пересечение α ∩ β также является строгим порядком (нестрогим поряд-
ком).
Замечание. Пересечение строгого и нестрогого порядка есть строгий
порядок.
Свойство «быть линейным порядком» не обязано сохраняться при
пересечении. Это проще всего увидеть из следующих соображений. Пусть
α - линейный порядок (строгий или нестрогий), тогда α ∩ α −1 = ∅ (или =
E). Значит, α ∩ α −1 на множестве более чем из одного элемента не является
линейным порядком.
Теорема 3.2. Если отношение α является строгим (нестрогим, ли-
нейным) порядком, то и отношение α −1 является строгим (нестрогим, ли-
нейным) порядком.
Объединение порядков в общем случае не является порядком. Это
хорошо видно на таком примере. Пусть α - линейный нестрогий порядок,
тогда α −1 – есть отношение того же типа. Однако, объединение α ∪ α −1
есть полное отношение, и, следовательно, не является порядком. Ниже
приведены без доказательства условия, при которых объединение поряд-
ков является порядком.
Теорема 3.3. Если α и β - строгие порядки, то объединение α ∪ β
является строгим порядком в том и только том случае, когда

βα ∪αβ ⊆ α ∪ β .

Теорема 3.4. Для того чтобы объединение α ∪ β нестрогих порядков

α и β было нестрогим порядком, необходимо и достаточно выполнение
условий
βα ∪αβ ⊆ α ∪ β ,
α ∩ β −1 ⊆ E .

39
Математическая морфология Том 3. Выпуск 2. 1999

Произведение порядков αβ также не обязано быть порядком. Это

видно из того хотя бы, что для линейного нестрогого порядка α произве-
дение
αα −1 ⊇ α ∪ α −1

есть полное отношение. Достаточным условием является, например, такое.

Теорема 3.5. Если α и β - строгие порядки и выполнены соотноше-
ния
βα = αβ ,
α ∩ β −1 = ∅ ,
то αβ - строгий порядок.

Заключение

В данной лекции мы рассмотрели определения, разновидности и

свойства отношений порядка. Однако, при этом не был затронут достаточ-
но важный вопрос, как на практике строить отношения порядка? Этой
проблемой занимаются такие разделы математики как теория выбора и
принятия решений, теория голосования в больших и малых группах. Ука-
занный вопрос мы рассмотрим в одной из следующих лекций.

ЛИТЕРАТУРА

1. Пухначев Ю., Попов Ю. Математика без формул. - М.: АО «Сто-

летие», 1995.
2. Биркгоф Г., Барти Т. Современная прикладная алгебра. - М.: Мир,
1976.
3. Шрейдер Ю. А. Равенство, сходство, порядок. - М.: Наука, 1971.
4. Нефедов В. Н., Осипова В. А. Курс дискретной математики. - М.:
Издательство МАИ, 1992.

Je. P. Emelchenkov, V. Je. Emelchenkov

THE BINARY RELATIONS. RELATIONS OF ORDER

Abstract. The relation of order and its characteristics are considered in

the article.

Кафедра информатики
Смоленский государственный педагогический университет
Поступила в редакцию 20.10.99.

40