Доказательство. Пусть ¹ — отношение нестрогого порядка на
множестве X. Для каждого элемента a ∈ X рассмотрим множество
S
a
= {x ∈ X | x ¹ a}. Ясно, что S
a
⊆ X для любого a ∈ X. Покажем,
что система подмножеств {S
a
| a ∈ X}, упорядоченная отношением
включения, есть искомая система подмножеств. Рассмотрим отображение
ϕ : X → {S
a
| a ∈ X}
такое, что ϕ(a) = S
a
. Если S
a
= S
b
, то, поскольку a ∈ S
a
, то b ∈ S
a
и, следовательно, b ¹ a. Аналогично a ¹ b. Таким образом, в силу
антисимметричности отношения ¹, a = b. Значит, отображение ϕ
инъективно. С другой стороны, у любого множества S
a
есть прообраз
a. Значит, ϕ сюрьективно. Следовательно ϕ — биекция.
Пусть a ¹ b. Тогда из x ¹ a в силу транзитивности отношения следует
x ¹ b, а значит S
a
⊆ S
b
. Пусть S
a
⊆ S
b
. Тогда, поскольку a ∈ S
a
, то
a ∈ S
b
и, следовательно, a ¹ b. Таким образом биекция ϕ сохраняет
отношение нестрогого порядка.
¤
1.3.5 Лексикографический порядок
Заслуживающим отдельного упоминания является лексикографический
порядок. Лексикографический порядок - это порядок, в котором
выстроены слова, например, в русско-английских словарях.
Лексикографический порядок может быть введен на множестве слов над
любым множеством, на котором уже введен линейный порядок.
Пусть на множестве X введен строгий линейный порядок ≺. Введем
отношение ≺
lex
на множестве X
∗
= {(x
1
, x
2
, ..., x
k
) | k ∈ N, x
i
∈ X} всех
слов над множеством X. Пусть ex
k
= (x
1
, ..., x
k
) ∈ X
∗
, ey
l
= (y
1
, ..., y
l
) ∈
X
∗
, ex
k
6= ey
l
и k ≤ l .
Будем говорить, что ex
k
≺
lex
ey
l
, если 1) существует такой индекс t,
1 ≤ t ≤ k, что x
i
= y
i
, i = 1, t − 1 и x
t
≺ y
t
, или 2) k < l и x
i
= y
i
, i = 1, k.
В противном случае ey
l
≺
lex
ex
k
.
Замечание 1.3.3 . На множестве слов одинаковой длины определение
лексикографического порядка упростилось бы и приняло бы вид:
ex
k
≺
lex
ey
k
⇔ ∃t ∈ {1, ..., k} : x
i
= y
i
, i = 1, t − 1, x
t
≺ y
t
.
33