Назад
линейного порядка.
3) ρ
= {(x, y) | x, y R, x y} является отношением нестрогого
линейного порядка.
4) Отношение A B всех пар подмножеств (A, B) заданного
универсального множества U, таких что A является подмножеством
множества B называют отношением включения. Отношение
включения является отношением нестрогого порядка и не является
отношением линейного порядка.
Определение 1.3.12 . Пусть на множестве X введено отношение
строгого порядка . Пусть элемент x X таков, что
y X, y 6= x x y.
Тогда элемент x называют наименьшим.
Лемма 1.3.9 . Если на конечном непустом множестве X задан
линейный строгий порядок, то существует наименьший элемент, и он
единственен.
Доказательство. Самостоятельно.
¤
Теорема 1.3.10 . Пусть на конечном непустом множестве X задано
отношение линейного строгого порядка . Тогда на X можно выбрать
такую нумерацию элементов X = {x
1
, x
2
, ..., x
n
}, что соотношение x
i
x
j
будет выполняться в том и только в том случае, когда i < j.
Доказательство. Согласно лемме 1.3.9 для множества X существует
наименьший элемент x
1
X, такой что x
1
y для любых y X. Удалим
элемент x
1
из множества X.
Множество X \ {x
1
} также удовлетворяет условиям леммы 1.3.9 и,
значит, в нем тоже существует наименьший элемент x
2
.
Мы можем повторять этот процесс до тех пор, пока в множестве X
не закончатся элементы. Очевидно, по способу выбора элементов x
i
,
{x
1
, x
2
, ..., x
n
} и есть искомая нумерация.
¤
31
Определение 1.3.13 . Два нестрого упорядоченных множества X и
Y называются изоморфными, если существует биекция ϕ : X Y ,
сохраняющая отношение нестрогого порядка. Иными словами, если ¹
x
и ¹
y
отношения нестрогого порядка соответственно множеств X и
Y , то
x
1
¹
x
x
2
ϕ(x
1
) ¹
y
ϕ(x
2
).
Пример 1.3.8 . Рассмотрим множество 2
A
всех подмножеств
множества A = {1, 2, 3}, упорядоченное отношением включения, и
множество X = {1, 2, 3, 5, 6, 10, 15, 30}, упорядоченное отношением
x ¹ y y делится на x.
Из рисунка 7 хорошо видно, что эти два упорядоченных множества
изоморфны.
a)
b)
{1}
{2}
{3}
{1,2}
{1,3}
{2,3}
{1,2,3}
1
2
3
5
6
10
15
30
Рисунок 7: Изоморфные нестрого упорядоченные множества
Теорема 1.3.11 . Всякое нестрого упорядоченное множество X
изоморфно некоторой системе подмножеств множества X, нестрого
упорядоченной отношением включения.
32
Доказательство. Пусть ¹ отношение нестрогого порядка на
множестве 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
Пример 1.3.9 . Выпишем все возможные перестановки чисел {1, 2, 3,
4} выстроенные в лексикографическом порядке:
1 2 3 4
1 2 4 3
1 3 2 4
1 3 4 2
1 4 2 3
1 4 3 2
2 1 3 4
2 1 4 3
2 3 1 4
2 3 4 1
2 4 1 3
2 4 3 1
3 1 2 4
3 1 4 2
3 2 1 4
3 2 4 1
3 4 1 2
3 4 2 1
4 1 2 3
4 1 3 2
4 2 1 3
4 2 3 1
4 3 1 2
4 3 2 1
Заметим, что здесь мы привели только перестановки
последовательности из различных символов. Если мы захотим
выписать все слова в данном алфавите, их окажется гораздо больше.
Подробнее о перестановках смотри раздел 1.4.
Отметим также, что существует еще так называемый
антилексикографический порядок. Он не является обратным
лексикографическому порядку бинарным отношением. Список всех
перестановок n чисел в антилексикографическом порядке может быть
получен следующим образом: сначала нужно выстроить все такие
перестановки в лексикографическом порядке, а затем развернуть
список в обратном порядке и развернуть каждое слово, описывающее
перестановку. Такой порядок может быть полезен, например, для
словаря окончаний.
Используя те же обозначения и договоренности, что и при введении
лексикографического порядка, антилексикографический порядок можно
определить следующим образом:
Будем говорить, что ey
l
alex
ex
k
, если 1) существует такой индекс t,
1 t k, что x
ki
= y
ki
, i = 1, t 1 и x
kt
y
kt
, или 2) k < l и
x
ki
= y
li
, i = 1, k. В противном случае ey
l
alex
ex
k
.
Замечание 1.3.4 . На множестве слов одинаковой длины определение
приняло бы следующий вид:
ex
k
alex
ey
k
t {1, ..., k} : x
i
= y
i
, i = t + 1, k, y
t
x
t
.
34
Пример 1.3.10 . Приведем все возможные перестановки чисел {1, 2,
3, 4} выстроенные в антилексикографическом порядке:
1 2 3 4
2 1 3 4
1 3 2 4
3 1 2 4
2 3 1 4
3 2 1 4
1 2 4 3
2 1 4 3
1 4 2 3
4 1 2 3
2 4 1 3
4 2 1 3
1 3 4 2
3 1 4 2
1 4 3 2
4 1 3 2
3 4 1 2
4 3 1 2
2 3 4 1
3 2 4 1
2 4 3 1
4 2 3 1
3 4 2 1
4 3 2 1
Лексикографический и антилексикографический порядки являются
отношениями строгого линейного порядка.
35
1.4 Перестановки
1.4.1 Понятие перестановки
Определение 1.4.1 . Перестановкой на множестве {1, ..., n}
называется инъективная функция
π : {1, ..., n} {1, ..., n}.
Число n называется порядком перестановки π.
Замечание 1.4.1 . Как любая инъективная на конечном множестве
функция, перестановка является биективной.
Замечание 1.4.2 . В общем случае, перестановкой произвольного
множества X называют биекцию
π : X X.
Обозначим σ
n
множество всех перестановок порядка n. Очевидно, что
|σ
n
| = n!
Существует несколько способов задания перестановки. Явное задание
перестановки
π =
µ
1 2 ... n
π(1) π(2) ... π(n)
.
В записи выше первая строка всегда одинакова. Для задания
перестановки достаточно второй строки
π = π(1)π(2)...π(n).
Также можно задать перестановку перечислением ее циклов, о чем мы
скажем позже.
Определение 1.4.2 . Пусть π
1
, π
2
σ
n
. Произведением перестановок
π
2
и π
1
называют композицию этих функций: π
2
π
1
(i) = π
2
(π
1
(i)),
i = 1, n.
Докажем, что произведение перестановок есть перестановка.
Очевидно, что π
2
π
1
: {1, ..., n} {1, ..., n}. Покажем инъективность.
36
Пусть i, j {1, ..., n} и i 6= j. Поскольку π
1
инъективна, π
1
(i) 6= π
1
(j), а
поскольку инъективна π
2
, π
2
(π
(
i)) 6= π
2
(π
1
(j)). Следовательно,
π
2
π
1
(i) = π
2
(π
1
(i)) 6= π
2
(π
1
(j)) = π
2
π
1
(j).
То есть π
2
π
1
инъективна, а значит является перестановкой.
1.4.2 Группа перестановок
Определение 1.4.3 . Группой называется непустое множество G
с определенной на нем бинарной операцией ¦, удовлетворяющей трем
аксиомам:
1 ассоциативность: для любых a, b, c G верно, что
(a ¦ b) ¦ c = a ¦ (b ¦ c);
2 наличие нейтрального элемента: существует такой элемент
e G, что для любого a G справедливо
a ¦ e = e ¦ a = a;
3 наличие обратного элемента: для любого элемента a G найдется
такой элемент a
1
G, что
a
1
¦ a = a ¦ a
1
= e.
Произведение перестановок ассоциативно:
((π
3
π
2
) π
1
)(i) = (π
3
π
2
)(π
1
(i)) = π
3
(π
2
(π
1
(i)) =
= π
3
((π
2
π
1
)(i)) = (π
3
(π
2
π
1
))(i)
Нейтральным элементом для множества σ
n
будет служить
тождественная перестановка e =
µ
1 2 ... n
1 2 ... n
. Легко заметить,
что для любой перестановки π σ
n
верно π e = e π = π.
Для любой перестановки π σ
n
, как для любой биективной функции,
существует обратная функция π
1
: π
1
π = π π
1
= e. Для любых i
{1, ..., n} π(i) = j π
1
(j) = i. Функция π
1
обратная для биективной
функции π также будет биективной фукнцией: π
1
: {1, ..., n}
{1, ..., n}. То есть, π
1
σ
n
.
37
Замечание 1.4.3 . Заметим, что обратная перестановка π
1
для
данной перестановки π единственна. Действиетльно, если бы
существовала еще одна такая перестановка π
0
, что π π
0
= e, то
π
0
= e π
0
= π
1
π π
0
= π
1
e = π
1
;
если перестановка π
00
такова, что π
00
π = e, то
π
1
= e π
1
= π
00
π π
1
= π
00
e = π
00
.
Таким образом мы доказали, что множество перестановок σ
n
с
операцией произведения перестановок образуют группу. Эту группу
называют группой перестановок или симметрической группой.
Замечание 1.4.4 . Произведение перестановок в общем случае не
коммутативно.
Пример 1.4.1 . Пусть
π
1
=
µ
1 2 3
2 1 3
, π
2
=
µ
1 2 3
3 1 2
.
Тогда
π
2
π
1
=
µ
1 2 3
1 3 2
6=
µ
1 2 3
3 2 1
= π
1
π
2
.
1.4.3 Циклы перестановки
Будем обозначать
π
k
= π π · · · π
| {z }
k
; π
0
= e;
π
k
= π
1
π
1
· · · π
1
| {z }
k
.
Определение 1.4.4 . Циклом длины l называется такая перестановка
π которая тождественна на всём множестве {1, 2, ..., n}, кроме
подмножества {x
1
, ..., x
l
}. Кроме того π(x
l
) = x
1
и π(x
i
) = x
i+1
,
i = 1, l 1.
Цикл обычно обозначается
(x
1
, ..., x
l
) = (x
1
, π(x
1
), ..., π
l1
(x
1
)).
38
Определение 1.4.5 . Транспозиция - перестановка элементов
множества {1, 2, ..., n}, которая меняет местами только два
элемента.
Замечание 1.4.5 . Транспозиция цикл длины 2.
Утверждение 1.4.1 . Пусть π σ
n
и i {1, ..., n}. Тогда существует
такое число k N, что π
k
(i) = i.
Доказательство. Пусть для любого k N верно π
k
(i) 6= i.
Так как множество {1, ..., n} конечно, то элементы последовательности
i, π(i), π
2
(i), ..., π
s
(i), ... начинают повторяться начиная с некоторого
момента. Тогда последовательность имеет вид:
a
1
= i, a
2
, ..., a
l
, b
1
, b
2
, ..., b
m
, b
1
, b
2
, ..., b
m
, b
1
, ...
где l 1, i / {a
2
, ..., a
l
, b
1
, b
2
, ..., b
m
} и {a
1
, a
2
, ..., a
l
} {b
1
, b
2
, ..., b
m
} = .
Но тогда π(a
l
) = π(b
m
) = b
1
и по инъективности перестановки π
получаем a
l
= b
m
.
¤
Для произвольной перестановки π σ
n
введем бинарное отношение ρ
π
на множестве {1, 2, ..., n}:
π
y k Z : y = π
k
(x).
Покажем, что ρ
π
σ
n
отношение эквивалентности.
1) Рефлексивность. Для любого x {1, ..., n } x = π
0
(x)
π
x.
2) Симметричность. Для любых x, y {1, ..., n}, для которых
π
y,
существует k Z: y = π
k
(x). Следовательно x = π
k
(y) и yρ
π
x.
3) Транзитивность. Пусть x, y, z { 1, 2, ..., n},
π
y и yρ
π
z. Тогда
существуют k
1
, k
2
Z: y = π
k
1
(x), z = π
k
2
(y). Следовательно
z = π
k
2
(π
k
1
(x)) = π
k
1
+k
2
(x).
То есть
π
z.
Пусть {1, 2, ..., n} = B
1
B
2
... B
m
разбиение {1, 2, ..., n}
на классы эквивалентности относительно ρ
π
. B
i
называются орбитами
перестановки.
39
Утверждение 1.4.2 . Пусть π σ
n
. Пусть B
1
B
2
...B
m
разбиение
множества {1, 2, ..., n} на классы эквивалентности, порожденное отно-
шением ρ
π
, и пусть x
i
B
i
.
1) для любого i {1 , 2, ..., m} существует n
i
N:
B
i
= {x
i
, π(x
i
), ..., π
n
i
1
(x
i
)}.
2) перестановка π представима в виде произведения циклов:
π = (x
1
, π(x
1
), ..., π
n
1
1
(x
1
)) (x
2
, π(x
2
), ..., π
n
2
1
(x
2
))
· · · (x
m
, π(x
m
), ..., π
n
m
1
(x
m
)).
Доказательство. 1) По определению, B
i
состоит из всех таких y для
которых существует s Z: y = π
s
(x
i
). По утверждению 1.4.1, для
x
i
существует k N: π
k
(x
i
) = x
i
. Пусть n
i
наименьшее из таких
чисел. Тогда x
i
, π(x
i
), ..., π
n
i
1
(x
i
) различные элементы из {1, 2, ..., n}
и {x
i
, π(x
i
), ..., π
n
i
1
(x
i
)} B
i
.
Пусть y B
i
\ {x
i
, π(x
i
), ..., π
n
i
1
(x
i
)}. Тогда существует такое s Z,
что y = π
s
(x
i
) и s / {1, 2, ..., n
i
1}. s = p · n
i
+ q, p Z \ {0},
q {0, 1, ..., n
i
1}. Следовательно,
y = π
s
(x
i
) = π
q
(π
p·n
i
(x
i
)).
Если p > 0, то
π
p·n
i
(x
i
) = π
n
i
π
n
i
· · · π
n
i
| {z }
p
(x
i
) = x
i
. ()
Пусть теперь p < 0. Тогда, используя равенство (), получим
π
p·n
i
(x
i
) = π
n
i
π
n
i
· · · π
n
i
| {z }
p
(x
i
) =
= π
n
i
π
n
i
· · · π
n
i
| {z }
p
(π
n
i
π
n
i
· · · π
n
i
| {z }
p
(x
i
)) = x
i
,
поскольку
π
n
i
π
n
i
(i) = π
1
π
1
... π
1
| {z }
n
i
π π ... π
| {z }
n
i
(i) = i.
40