Перестановки и подстановки. Число перестановок из n символов. Транспозиция.
Перестановка порядка N – называется любое расположение первых n-натуральных чисел в некотором фиксированном порядке.
Теорема1: Число различных перестановок порядка n равно n!=1*2*3*…*(n-1)*n.
Док-во:
α1 α2 α3... αn
α1 – n-способов
α2 – (n-1)-способов
α1* α2 – n(n-1)-способов
α1* α2*α3 – n(n-1)(n-2)-способов
n=3; 3!=1*2*3=6;
123; 132; 213; 231; 312; 321.
Транспозиция – если в некоторой перестановке поменять местами какие-либо два числа, а остальные оставить на месте, то мы получим новую перестановку.
n=5
2 3 1 4 5 2 4 1 3 5
транспозиция
Теорема2:
Все n! перестановок из n чисел можно расположить в таком порядке, что каждая следующая будет получаться из предыдущей с помощью одной транспозиции.
Подстановкой n-го порядка, называется взаимнооднозначное отображение множества натуральных чисел от 1 до n на себя.
1 2 3... n
α1 α2 α3... αn
Например:
1 2 3 4 5 1 5 3 4 2 2 1 3 4 5
3 4 5 1 2 3 2 5 1 4 3 4 5 1 2
Для подстановок справедливы теоремы 1-4.
Инверсия. Четность перестановки. Теорема о транспозиции и четности.
Инверсия – нарушение нормального порядка двух элементов в перестановке независимо от того, стоят ли эти два элемента рядом или отделены друг от друга какими-либо элементами.
α1 α2 α3... αi αj... αn
Числа αi и αj образуют инверсию, если i<j, на αi>αj.
n=6
1 2 3 4 5 6 – 0 инверсий
3 2 1 4 5 6; 3 2, 3 1; 2 1; 4 1. 4 – инверсии, четная перестановка.
Если число инверсий чётное, то перестановка – чётная.
Если число инверсий нечётное, то перестановка – нечётная.
Теорема3:
Любая транспозиция меньше чётности перестановки.
Теорема4:
Число чётной перестановки из n-чисел равно числу нечётной равной n!/2
Определитель произвольного порядка. Определитель транспонированной матрицы.
a11 a12 … a1n
|
..........................
an1 an2 … ann
Определителем n-го порядка – называется алгебраическая сумма n!-членов, которые представляют собой всевозможные произведения n-элементов матрицы, взятых по одному из каждой строки и столбца. Члены определителя берутся со знаком +, если его индексы составляют чётную подстановку и со знаком - если нечетную.
Транспортировать матрицу – строки сделать столбцами.
Определитель не меняется при транспонировании (det).
det A = det AT
Док-во:
|
a21 a22 … a2n a21 a22 … a2n
......................................................
an1 an2 … ann an1 an2 … ann
I II
Любой член определителя I или вид. a1α1 a2α2 … anαn при чем все множители остаются в разных строках и разных столбцах, поэтому такое произведение также является и членом определителя II.
Определитель, содержащий нулевую строку. Перестановка строк.
Если одна из строк определителя состоит из нулей, то определитель равен 0.
Док-во: a1α1*…* anαn
От перестановки двух строк у определителя меняется только знак
a11 a12 … a1n
i aj1 aj2 … ajn
j ai1 ai2 … ain
an1 an2 … ann
i и j строки поменяем местами.
Получим определитель, который будет состоять из тех же членов, что и исходный определитель.
а1αi *…* аiαi*…* аjαj*…* аnαn
|
α1αi…αi…αj…αn
|
α1αi…αi…αj…αn
φ1 и φ2 – отличаются на одну транспозицию.