Algebra
.pdfимеют одинаковое содержание, а их употребление в конкретных случаях диктуется стремлением подчеркнуть те или иные интуитивные обстоятельства.
Приведем некоторые употребительные частные случаи отображений. Пример 1. Отображение J : A A , которое действует по правилу
J (x) x, x A, называется тождественным отображением.
Пример 2. Отображение : A B , которое каждому элементу x из A ставит в соответствие один и тот же элемент b из B , (x) b, x A , называется постоянным отображением.
Пример |
3. Пусть |
дано отображение |
: A B |
и |
|
|
|||||||
A A, A . |
|||||||||||||
Отображение, которое каждому элементу |
x |
|
из |
|
|
|
|
|
|||||
|
|
A ставит в соответствие элемент |
|||||||||||
|
B , |
называется |
ограничением |
(или |
|
сужением) |
отображения |
на |
|||||
(x ) из |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
множество A |
и обозначается : A B или |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
A |
|
|
|
Через ( A) обозначается совокупность всех образов элементов множества
Aпри отображении : A B . Ясно, что ( A) B . Если ( A) B , отображение
: A B называется сюръективным (или сюръекцией).
Отображение : A B называется инъективным (или инъекцией), если для любых элементов x1 и x2 из A x1 x2 .
Если отображение : A B одновременно сюръективно и инъективно, оно называется биективным (или биекцией). Биективные отображения называются
также взаимнооднозначными. |
|
|
Пусть задано отображение : A B |
и b B . Рассмотрим уравнение |
|
x b относительно неизвестной |
x , x A. |
Сюръективность отображения |
означает, что для любого b из B это уравнение имеет хотя бы одно решение. Инъективность отображения означает, что это уравнение при любом b из B не может иметь более одного решения, т.е. для некоторых b решений может не существовать, но если b таково, что решение уравнения существует, то оно единственно. Биективность отображения : A B означает, что уравнениеx b разрешимо при любых b из B и имеет единственное решение x , x A.
Впоследнем случае существует биективное отображение : B A,
действующее по правилу y x , где x – прообраз элемента y ( x A, y B ) при отображении . Отображение называется обратным к отображению и
обозначается 1 . |
Существование |
обратного |
отображения |
1 : B A |
|||
является необходимым |
и достаточным |
условием |
биективности отображения |
||||
: A B . |
|
|
|
|
|
|
|
Пусть |
заданы отображения : A B |
и : B C . |
Если |
x A, то |
|||
y x B |
и определен элемент z y x , z C . |
Следовательно, |
определено отображение : A C , действующее по правилу: x x . Это
отображение называется композицией |
отображений |
и |
и обозначается |
||
(или ). |
|
|
|
|
|
Заметим, что символы и |
имеют в общем случае различный |
||||
смысл. Если существует отображение , |
то отображения может, вообще |
||||
говоря, не существовать. Но даже |
если |
оба отображения |
|
и |
51
существуют, они в общем случае не равны, т.е. композиция отображений некоммутативна.
Достаточное количество соответствующих примеров доставляют элементарные функции школьного курса математики ( sin x, cosx, xn , a x и т.д.), которые можно рассматривать как отображения на R . В этом случае композиция отображений является сложной функцией. Например, sin x2 sin x 2 , x R .
Вто же время композиция отображений обладает свойством
ассоциативности. А именно, если : A B , |
: B C , |
: C D три |
|
произвольных отображения, то |
, |
|
|
|
(3.6) |
т.е. отображения, стоящие в обеих частях этого равенства, одновременно определены на множестве A , действуют в одно и то же множество D и при этом
для всех x из A
x x .
В самом деле, для любых x из A
x x x ,x x x ,
и поэтому (3.6) выполняется в силу условия равенства двух отображений. Наконец, отметим, что если : A B – биекция, то композиции 1 и
1 всегда определены и представляют собой тождественные отображения соответственно J : B B , и J : A A , так как
1 ( y) 1 ( y) y, y B , |
1 (x) 1 (x) x, x A. |
3.3 Перестановки n-ой степени |
|
Пусть M – конечное множество, состоящее из n элементов. Поскольку в |
дальнейшем природа элементов этого множества для нас значения не имеет,
будем считать, что |
M 1, n {1, 2, ..., n}. |
Через Sn |
обозначим множество всех |
||||
взаимнооднозначных |
отображений |
множества M |
в себя. Элементы этого |
||||
множества называются перестановками n -ой степени. |
|||||||
Пусть Sn . В развернутой форме отображение записывается как |
|||||||
|
|
k k , k |
|
, |
|
||
|
|
1, n |
|
||||
или |
|
|
|
|
|
|
|
|
1 |
2 |
... n |
|
|||
|
|
: |
|
|
|
|
|
|
|
i1 |
i2 |
|
in |
|
52
с указанием всех образов ik k , k 1, n , представляющих собой переставленные символы 1, 2, ..., n , откуда и идѐт название перестановка. В связи с этим перестановку обычно изображают таблицей
1 |
2 |
... |
n |
|
|
|
|
|
|
, |
(3.7) |
|
i2 |
... |
|
|
|
i1 |
in |
|
|
где ik k , k 1, n . В верхнем ряду таблицы (3.7) числа 1, 2, ..., n не обязательно
должны стоять в порядке возрастания слева - направо. Важно, чтобы под символами верхнего ряда стояли их образы при отображении .
Например, |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
2 |
4 |
3 |
1 |
(3.8) |
||||
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
2 |
4 |
1 |
3 |
|
|
4 |
3 |
1 |
2 |
|
|
|
|
|
|
|
В связи с этим перестановку из Sn |
будем иногда записывать в виде |
|
||||||||
|
|
i |
i |
|
... |
i |
|
|
|
|
|
1 |
|
2 |
|
|
n |
|
, |
(3.9) |
|
|
|
|
i2 |
... |
|
|
|
|
|
|
|
i1 |
in |
|
|
где i1, i2 , ..., in – произвольным образом переставленные символы 1, 2, ..., n , а запись перестановки в виде (3.7) будем называть канонической.
Перестановка |
|
|
|
|
|
|
|
|
|
|
i |
|
i |
|
... |
i |
|
|
|||
|
1 |
|
|
|
2 |
|
|
|
n |
|
|
|
|
|
i2 ... |
|
in |
|
|||
i1 |
|
|
|
|
|
|||||
является обратной к перестановке вида (3.9) |
и обозначается 1 . |
|||||||||
Например, если имеет вид (3.8), |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
4 |
1 |
3 |
|
|
|
|
|
|
|
|
|
|
. |
|
|
||
|
|
|
1 |
2 |
3 |
4 |
|
|
|
|
|
|
|
|
|
|
Операция умножения перестановок n -ой степени вводится как композиция отображений,
def
i i i , i 1, n .
Например, если
1 |
2 |
3 |
4 |
1 |
2 |
3 |
4 |
, |
||||
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
2 |
4 |
1 |
3 |
|
|
4 |
2 |
3 |
1 |
|
|
|
|
|
|
|
то
53
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
|
|
|
|
|
|
1 |
2 |
3 |
4 1 |
2 |
3 |
4 |
|
|
|
|
|
1 |
2 |
3 |
4 |
|
|
4 |
2 |
3 |
1 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
. |
||||||
|
2 |
4 |
1 |
|
2 |
3 |
|
|
|
|
|
|
|
4 |
1 |
|
|
|
3 4 |
1 |
|
|
|
|
|
3 |
2 |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
3 |
4 |
1 |
2 |
|
|
|
|
|
Множество Sn |
замкнуто относительно операции композиции отображений, т.е. |
произведение перестановок n -ой степени является перестановкой n -ой степени. Действительно, композиция обратимых отображений и является
обратимым отображением и 1 1 1 , т.к.
1 1 J , 1 1 J 1 1
1 1 J 1 1 J
ианалогично 1 J .
Но тогда по критерию обратимости отображения (см.п.3.2) –биективное
отображение, т.е. перестановка n -ой степени. |
|
|||
Множество Sn содержит тождественное отображение, которое обозначается |
||||
|
|
|
|
|
буквой e , e(i) i, i 1, n , |
|
|
||
|
|
1 |
2 ... |
n |
|
|
e |
|
|
|
|
|
2 ... |
|
|
|
1 |
n |
и называется единичной перестановкой. Очевидно, что e e для всех
из Sn , т.е. e играет роль единицы для операции умножения перестановок. Учитывая, что Sn 1 Sn , причем
1 1 e ,
получаем, что множество Sn перестановок n -ой степени по операции умножения перестановок образует группу.
Покажем, что Sn n!, т.е. число различных перестановок n -ой степени равно n!. При построении перестановки вида (3.7) элемент вида i1 можно выбрать n способами, тогда для выбора элемента i2 остаѐтся n 1 возможность, а пара { i1 ,i2 } может быть выбрана n(n 1) способами. Для выбора элемента i3 остаѐтся n 2 возможности, а тройка { i1 ,i2 ,i3 } может быть выбрана n(n 1)(n 2) способами. Продолжая этот процесс, получаем, что набор { i1,i2 ,i3 ,...,in 1 } из n 1
различных элементов множества 1, n может быть выбран
n (n 1) (n 2) ...3 2 n! способами. После этого последний элемент in выбирается автоматически как единственный оставшийся элемент множества 1, n . Таким образом Sn n!.
54
3.4 Четные и нечетные перестановки
Перестановка n -ой степени называется циклической, если еѐ можно представит в виде
i |
i |
|
... |
i |
|
1 |
i |
|
i |
k 1 |
... |
i |
|
|
1 |
|
2 |
|
|
k |
|
k |
|
|
|
n . |
(3.10) |
||
|
i3 |
... |
ik |
|
i1 |
ik 1 |
... |
|
|
|
||||
i2 |
|
in |
|
Относительно |
элементов |
|
i1 |
,i2 ,...,ik |
будем говорить, что они вовлечены |
||||||||||||
|
|
|
i j |
i j 1 , |
j |
|
|
|
|
|
|||||||
перестановкой |
в |
цикл |
1, k 1, ik i1 , |
а относительно |
|||||||||||||
|
|
|
|
i j i j , |
|
|
|
||||||||||
элементов ik 1,...,in , – что |
|
оставляет их на месте, |
j k 1, n . Для |
||||||||||||||
циклической перестановки вводится специальное обозначение |
|
|
|
||||||||||||||
|
|
|
|
|
i1, i2 , ..., ik , |
|
|
|
|
||||||||
и в этом случае |
называется |
циклом |
длины |
k, 2 k n . Например, |
|||||||||||||
перестановка |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
5 |
6 |
|
1, 4, 5, 3 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
4 |
2 |
1 |
5 |
3 |
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
является циклом длины 4. Заметим, что при использовании этого обозначения необходимо указывать степень перестановки, поскольку циклические перестановки разной степени, но с одинаковым набором вовлеченных в цикл элементов, обозначаются одинаково. Например,
|
1 |
2 |
3 |
4 |
5 |
1, 4, 5, 3 , |
|
|
|
|
|
|
|
|
4 |
2 |
1 |
5 |
|
|
|
3 |
|
но , т.к. S6 , а S5 . |
|
|
|
|
|
|
||
Два цикла и называются независимыми, если числа, |
участвующие в их |
|||||||
однострочной записи, различны. В противном случае циклы и называются |
||||||||
зависимыми. Например, циклы 1, 4, 7, |
2 и 3, 5, |
6 независимы, а циклы |
||||||
1, 4, 7, 2 и 3, 5, 6, |
7 зависимы. |
|
|
|
|
|
||
Предложение 3.1. Любую перестановку , e , |
можно представить в |
|||||||
виде произведения конечного числа независимых циклов. |
|
|
|
|||||
|
◄ Пусть Sn и i1 произвольный элемент такой, что i1 i1 . Обозначив |
|||||||
2 i |
i и далее по индукции m i m 1 i , цикл |
1 |
строим так, |
|||||
1 |
1 |
|
|
1 |
1 |
|
|
|
|
|
i |
, i , 2 |
i |
, ..., m1 1 i , |
|
|
|
|
1 |
1 |
1 |
1 |
1 |
|
|
|
где m1 i – первый элемент, совпадающий с одним из предыдущих элементов в |
||||||||||
|
1 |
|
|
|
m1 i |
i . |
|
|
|
|
записи |
этого |
цикла. Отсюда |
следует, |
что |
В |
самом деле, если |
||||
|
|
|
|
|
1 |
|
1 |
|
|
|
m1 i |
k i , |
где 1 k m , |
тогда k 1 i |
m1 1 |
i |
и |
m |
не |
удовлетворяет |
|
1 |
1 |
1 |
|
1 |
|
1 |
|
1 |
|
|
указанному выше условию. После того, |
как цикл |
1 |
построен, |
в качестве i2 |
55
берем любой элемент, не вошедший в однострочную запись цикла 1 и удовлетворяющий условию i2 i2 , и аналогично циклу 1 строим цикл 2 ,
2 i2 , i2 , 2 i2 , ..., m2 1 i2 .
Ввиду того, что есть биективное отображение, циклы 1 и 2 независимы. Продолжая этот процесс, после конечного числа шагов мы получим r независимых циклов 1, 2 , ..., r , обладающих тем свойством, что каждый элемент 1 i n , удовлетворяющий условию i i , попадает в запись одного и только одного цикла. Непосредственной проверкой с применением принципа
равенства отображений легко убедиться, что |
1 2 3... r 1 r . ► |
|
||||||||||
Пример 4. Следующую перестановку |
|
|
|
|
|
|
||||||
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
(3.11) |
|
5 |
7 |
1 |
4 |
3 |
9 |
2 |
10 |
8 |
6 |
|
|
|
|
|
Разложить в произведение независимых циклов.
◄ Применяя алгоритм, описанный при доказательстве предложения 3.1, получаем,
4 |
6 |
8 |
9 |
10 |
1, 5, 3 2, 7 6, 9, 8, 10 , (3.12) |
|||
|
|
|
|
|
|
|
|
|
|
|
4 |
9 |
10 |
8 |
6 |
|
|
|
|
|
где все циклы, стоящие в правой части, являются перестановками десятой степени, т.е.
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
|
1, 5, 3 |
|
|
|
|
|
|
|
|
|
|
|
5 |
2 |
1 |
4 |
3 |
6 |
7 |
8 |
9 |
|
|
10 |
и аналогично для циклов 2, 7 и 6, 9, 8, 10 . ►
Цикл i1 , i2 длины 2 называется транспозицией. Транспозиция i1 , i2 называется простой, если i1 i2 1.
Предложение 3.2. Любую перестановку степени n , n 1, можно представить как в виде произведения конечного числа транспозиций, так и в виде произведения конечного числа простых транспозиций.
◄ Для доказательства справедливости первой части утверждения достаточно проверить, что любой цикл можно представить в виде произведения конечного числа транспозиций, а после этого воспользоваться предложением 3.1. В самом деле, пусть i1, ..., ik цикл длины k , k 2 . Непосредственной
проверкой, применяя принцип равенства отображений, можно убедиться в том, что
i1, i2 , ...,ik 1, ik i1, ik i1, ik 1 ... i1, i2 . |
(3.13) |
56
Тогда в силу предложения 3.1 любую перестановку , отличную от e , можно представить в виде произведения конечного числа транспозиций. Если же e , тогда t 2 , где t – произвольная транспозиция, так как
|
|
|
|
t 2 t t i , i |
i , i |
2 |
e . |
|
|
|
|
|
|
|
|
1 |
2 |
1 |
|
|
|
|
|
|
Теперь покажем, что любую транспозицию можно представить в виде |
||||||||||
произведения |
нечетного числа простых |
транспозиций. Пусть |
|
t i1, i2 , |
где |
||||||
|
i1 i2 |
|
k, 1 k . Тогда транспозицию t |
можно записать в виде |
t i, i k , |
где |
|||||
|
|
||||||||||
i min{i1, i2}. |
Непосредственной проверкой |
|
убеждаемся в |
справедливости |
|||||||
равенства |
t i, i k i, i 1 i 1, i 2 ... i k 2, i k 1 |
|
|
||||||||
|
|
|
|
|
|
||||||
|
|
|
|
i k 1, i k i k 2, i k 1 ... i 1, i 2 i, i 1 , |
(3.14) |
||||||
в правой части которого стоит произведение 2k 1 простых транспозиций. |
Для |
доказательства справедливости второй части утверждения остается воспользоваться его первой частью. ►
Пример 5. Перестановку вида (3.11) разложить в произведение транспозиций.
◄ Обратимся к разложению (3.12) перестановки в произведение циклов. Так как второй цикл 2, 7 – транспозиция, в произведение транспозиций
нужно разложить лишь циклы 1, 5, 3 и |
6, 9, 8, 10 . Воспользовавшись |
формулами (3.13), получаем, что
1, 5, 3 1, 3 1, 5 , 6, 9, 8, 10 6, 10 6, 8 6, 9 .
Поэтому искомое разложение перестановки имеет вид
1, 3 1, 5 2, 7 6, 10 6, 8 6, 9 . ►
Пример 6. Следующую перестановку разложить в произведение простых транспозиций.
|
1 |
2 |
3 |
4 |
5 |
6 |
|
|
|
|
|
|
|
|
. |
|
6 |
5 |
4 |
3 |
2 |
1 |
|
|
|
◄Разлагая в произведение циклов, получаем, что
1, 6 2, 5 3, 4 ,
где все циклы являются транспозициями, причем 3, 4 – простая транспозиция. По формуле (3.14)
1, 6 1, 2 2, 3 3, 4 4, 5 5, 6 4, 5 3, 4 2, 3 1, 2 ,
2, 5 2, 3 3, 4 4, 5 3, 4 2, 3 ,
Откуда
1, 2 2, 3 3, 4 4, 5 5, 6 4, 5 3, 4 2, 3 1, 22, 3 3, 4 4, 5 3, 4 2, 3 3, 4 . ►
57
Перестановка называется четной, если она разлагается в произведение четного числа транспозиций, и нечетной, если она разлагается в произведение нечетного числа транспозиций. На данном этапе введенное определение не является корректным, так как не обсуждена возможность (а точнее невозможность) одновременного разложения произвольной перестановки в произведения как четного, так и нечетного числа транспозиций. На самом деле четность числа транспозиций, на произведение которых разлагается данная перестановка, не зависит от способа еѐ разложения в это произведение. Для того, чтобы доказать этот факт, нужно ввести и изучить еще одно понятие, связанное с перестановками, понятие инверсии.
Пусть Sn , n 1, и элементы i |
и j где 1 i j n , переводятся |
перестановкой соответственно в элементы i и j . |
|
Будем говорить, что пара { i , j } |
образует инверсию в перестановке , |
если i j , а i j . В противном случае будем говорить, что пара { i , j } инверсии не образует.
Пример 7. |
Пусть |
|
1 |
2 |
3 |
4 |
|
{3, 2}, {3, 1}, {2, 1}, взятые из |
|
|
|
|
|
|
. Пары |
||||
|
|
|
|
3 |
2 |
1 |
4 |
|
|
|
|
|
|
|
|
||||
нижнего ряда |
записи |
перестановки |
, |
|
инверсии образуют, так как 1 2 , а |
||||
3 1 2 2, 1 3, |
|
а 3 1 3 1, 2 3, |
а 2 2 3 1. В то же |
||||||
время пары {1, 4}, {2, 4}, {3, 4}, также |
взятые |
из нижнего ряда записи , |
|||||||
инверсии не образуют, |
так как 3 4 |
и 1 3 4 , 2 4 и 2 2 4 4, |
|||||||
1 4 и 3 1 4 4 . |
|
|
|
|
|
|
|||
Ясно, что относительно каждой пары { i , j } можно сказать, образует ли |
|||||||||
она инверсию или нет. |
|
В связи с этим через inv обозначим число инверсий, |
имеющихся в перестановке . Очевидное правило подсчета этого числа состоит
в следующем. Если задана своей канонической записью, тогда число |
inv |
|||||||
таково, столько раз в нижней строке большее число стоит левее меньшего. |
|
|||||||
Пример 8. Для перестановки, |
|
|
|
|
|
|
||
|
2 |
3 |
1 |
4 |
5 |
|
inv 3, |
|
|
|
|
|
|
|
|
|
|
|
4 |
3 |
1 |
2 |
5 |
|
|
|
|
|
|
|
так как |
|
|
|
|
|
1 |
2 |
3 |
4 |
5 |
|
|
|
|
|
|
, |
|
4 |
3 |
2 |
5 |
|
1 |
|
а в ряду 1, 4, 3, 2, 5 большее число стоит левее меньшего три раза: |
4 3 , |
4 2 , |
3 2 . |
|
|
Предложение 3.3. Умножение произвольной перестановки , |
Sn , |
n 1, |
справа на простую транспозицию меняет четность числа inv . |
|
|
◄ На самом деле, умножение перестановки справа |
на простую |
транспозицию i, i 1 , i 1, n 1, меняет число inv на 1. Действительно,
58
1 ... |
|
i 1 |
i |
|
i 1 |
|
i 2 ... |
n |
|
1 |
|
|
|
|
|
|
|
|
|
i, i |
|
|
i 1 |
i |
i 1 i 2 ... |
|
|
|
||||
1 ... |
n |
|
||||||||
1 |
... |
i 1 |
|
|
i |
i 1 |
i 2 |
... |
n |
|
|
|
|
|
|
|
|
|
|
. |
|
|
... |
i 1 |
i 1 |
i |
i 2 |
|
|
|
||
1 |
... n |
|
Если i i 1 , то |
пара { i , i 1 } в инверсии не образовывала, а после |
||||||
умножения на |
|
инверсию образует. Если i i 1 , |
то эта |
пара в |
|||
инверсию образовывала, а после умножения |
на инверсии |
не |
образует. |
||||
Остальные элементы |
k , k i, i 1, |
после умножения |
на |
|
в записи |
||
перестановки |
остались на месте. |
Поэтому |
порождаемое |
ими количество |
|||
инверсий не изменилось. Итак, inv inv 1. |
► |
|
|
|
Следующее предложение позволяет обосновать корректность определения четных и нечетных перестановок.
Предложение 3.4. Для того, чтобы произвольную перестановку n -ой степени можно было представить в виде произведения четного (нечетного) числа транспозиций, необходимо и достаточно, чтобы число inv было четным (нечетным).
◄ Необходимость. Пусть t1t2...t2k , где ti – транспозиция. В силу
предложения 3.2 каждая транспозиция ti |
разлагается в произведение нечетного |
|||||
числа простых |
транспозиций. Но тогда |
перестановка |
представима |
в виде |
||
произведения четного числа простых транспозиций 1 2 ... 2s , где 2s |
– сумма |
|||||
четного числа |
(числа |
2k ) нечетных чисел (чисел |
простых транспозиций). |
|||
Транспозиция |
1 |
имеет одну инверсию, invt1 1. В |
силу предложения 3.3 |
|||
умножение 1 |
на |
2s 1 простую транспозицию справа меняет четность числа |
||||
invt1 , т.е. число inv – четное. |
|
|
|
|||
Достаточность. |
Пусть число inv |
– четное. Допустим противное, что |
перестановка представима в виде произведения нечетного числа транспозиций
1 2 ... 2k 1 . |
Так как транспозиция i |
представима |
в виде произведения |
нечетного числа простых транспозиций, |
i 1,2k 1, то |
перестановка тоже |
|
представима в |
виде произведения нечетного числа |
простых транспозиций |
|
1 2 ... 2s 1, |
где 2s 1 – сумма нечетного числа нечетных чисел. Рассуждая |
дальше так же как и при доказательстве необходимости, получаем, что число inv – нечетное. Полученное противоречие говорит о том, что предположение о представимости в виде произведения нечетного числа транспозиций неверно, т.е. перестановка может быть представлена лишь в виде произведения четного числа транспозиций. ►
Предложение 3.5. Как четные, так и нечетные перестановки составляют половину всех перестановок n -ой степени, n 1.
59
◄ |
На множестве |
S n |
введем отображение f Sn Sn , действующее по |
|
правилу |
f t , |
где |
t |
– фиксированная транспозиция. Отображение f |
обратимо, |
так как |
f 2 J , |
и следовательно, взаимнооднозначно. Но при этом |
отображении все четные перестановки переходят в нечетные, а все нечетные – в четные. Поэтому числа всех четных и всех нечетных перестановок n -ой степени должны быть одинаковы и равны 12 n! . ►
Другие свойства перестановок читатель найдет в [3], гл.1, §8.
3.5 Суммирование по множеству
Пусть M – непустое конечное множество элементов произвольной природы, M n , и задано произвольное отображение из M в R , т.е. каждому элементу x из M поставлено в соответствие некоторое действительное число ax ,
x ax , x M , ax R .
Часто возникает необходимость в оперировании с суммой или произведением всех образов ax , когда x пробегает множество M .
На практике такая ситуация встречается постоянно. Простейшей моделью является множество M предметов, загружаемых в контейнер. В этом случае в качестве отображения из M в R может быть рассмотрен перечень загружаемых предметов с указанием веса каждого из них, а суммой всех образов этого отображения является вес этого груза. Другим примером является зарплата коллектива работников цеха, отдела или предприятия (в качестве множества M ). Отображением из M в R в этом случае является платежная ведомость, по которой каждый работник получает деньги в кассе.
Основной способ введения обозначений для указанных выше суммы и произведения (он уже применялся выше при введении обозначений для перестановок n -ой степени) состоит в том, что мы, игнорируя природу элементов множества M , проводим их произвольную перенумерацию от 1 до n ,
вследствие чего множество M может быть заменено множеством 1, n {1, ..., n}, а элемент ak этого множества – его номером k . Тогда по определению
n |
def |
|
|
n |
def |
|
ak |
a1 |
a2 |
... an , |
ak |
a1a2...an . |
(3.15) |
k 1 |
|
|
|
k 1 |
|
|
Переменный индекс k , по которому идет суммирование и перемножение в левых частях равенства (3.15), называется иногда немым. Первое правило замены переменного в сумме и произведении состоит в том, что немой индекс k может быть заменен на любой другой переменный индекс, например на индекс i ,
n |
n |
n |
ak ai , ak |
||
k 1 |
i 1 |
k 1 |
n
ai .
i 1
В связи с тем, что операции сложения и умножения действительных чисел обладают свойствами коммутативности и ассоциативности, порядок расположения элементов ak в правых частях равенства (3.15) безразличен и при
его произвольном изменении значения всей суммы и всего произведения не
60