Определители. Перестановкой чисел 1, 2, , n называется любое расположение этих чисел в определенном порядке

Перестановкой чисел 1, 2,…, n называется любое расположение этих чисел в определенном порядке. В элементарной алгебре доказывается, что число всех перестановок, которые можно образовать из n чисел, равно 12…n = n!. Например, из трех чисел 1, 2, 3 можно образовать 3!=6 перестановок: 123, 132, 312, 321, 231, 213. Говорят, что в данной перестановке числа i и j составляют инверсию (беспорядок), если i > j, но i стоит в этой перестановке раньше j, то есть если большее число стоит левее меньшего.

Перестановка называется четной (или нечетной), если в ней соответственно четно (нечетно) общее число инверсий. Операция, посредством которой от одной перестановки переходят к другой, составленной из тех же n чисел, называется подстановкой n-ой степени.

Подстановка, переводящая одну перестановку в другую, записывается двумя строками в общих скобках, причем числа, занимающие одинаковые места в рассматриваемых перестановках, называются соответствующими и пишутся одно под другим. Например, символ обозначает подстановку, в которой 3 переходит в 4, 1→2, 2→1, 4→3. Подстановка называется четной (или нечетной), если общее число инверсий в обеих строках подстановки четно (нечетно). Всякая подстановка n-ой степени может быть записана в виде , т.е. с натуральным расположением чисел в верхней строке.

Пусть нам дана квадратная матрица порядка n

Рассмотрим все возможные произведения по n элементов этой матрицы, взятых по одному и только по одному из каждой строки и каждого столбца, т.е. произведений вида:

,

где индексы q₁, q₂,…, q_n составляют некоторую перестановку из чисел 1, 2,…, n. Число таких произведений равно числу различных перестановок из n символов, т.е. равно n!. Знак произведения (4.4) равен (– 1)^q, где q – число инверсий в перестановке вторых индексов элементов.

Определителем n – го порядка, соответствующим матрице (4.3), называется алгебраическая сумма n! членов вида (4.4). Для записи определителя употребляется символ

A = или det A=

(детерминант, или определитель, матрицы А).