3.Перестановки n чисел, их свойства, четные и нечетные перестановки, транспозиции.

Даны n элементов a₁,a₂,…,a_n (всюду далее считаем, что эти элементы – 1,2,…,n). Всевозможные расположения этих элементов 1,2,…,n называются перестановками. 1,2,…,n – главная перестановка. Число всех перестановок из n элементов равно n! i₁,i₂,…,i_n – перестановка

Элементы i_k и i_l образуют порядок, если k<l, i_k<i_l.

В противном случае говорят, что элементы образуют инверсию.

Перестановка называется четной, если в ней четное число инверсий (нечетной – если в ней нечетное число инверсий).

542316

Правило подсчета числа инверсий в перестановке:

542316  4

54236  2

5436  2

546  1

56

Число инверсий – 9 Перестановка нечетная.

Опр: Взаимное перемещение 2 элементов перестановки местами называется транспозицией. При этом не важно, стоят ли перемещаемые элементы рядом, или между ними имеется группа элементов.

5 4 2 3 1 6 5 1 2 3 4 6 (1 транспозиция элементов 1 и 4)

Утв 1. Все n! перестановок из n элементов можно упорядочить так, чтобы каждая следующая перестановка получалась из предыдущей путем одной транспозиции (причем начинать такое упорядочивание можно с любой перестановки).

Доказательство: При n=2 утверждение очевидно. Предполагается, что утверждение справедливо при каком-то значении n-1, т.е. все (n-1)! перестановки из n-1 элемента можно упорядочить нужным образом. Берем любую перестановку из n элементов i₁, i₂,…,i_n

Перестановка из n-1 Сначала упорядочим все перестановки, у которых на первом месте стоит элемент i₁. Согласно предположению индукции, мы можем должным образом такие перестановки упорядочить. В последней из полученных перестановок совершим одну транспозицию, поменяв местами элементы i₁ и i₂.

Применяя предположение индукции к перестановкам, у которых на первом месте элемент i₂, продолжаем процесс, пока не дойдем до i_n.

Следствие: Из любой перестановки элементов 1,2,…,n любую другую перестановку этих же элементов можно получить путем конечного числа транспозиций.

4. Определитель.

Определителем матрицы первого порядка, или определителем первого порядка, называется элемент а11:

Определителем матрицы второго порядка, или определителем второго порядка, называется число, которое вычисляется по формуле:

Определителем матрицы третьего порядка, или определителем третьего порядка, называется число, которое вычисляется по формуле:

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

Знаки, с которыми члены определителя матрицы входят в формулу нахождения определителя матрицы третьего порядка можно определить, пользуясь приведенной схемой, которая называется правилом треугольников или правилом Сарруса. Первые три слагаемые берутся со знаком плюс и определяются из левого рисунка, а последующие три слагаемые берутся со знаком минус и определяются из правого рисунка.