Понятие определителя

Пусть A = || a_{i j} || – произвольная квадратная матрица n -го порядка, и пусть { k ₁, k ₂, k ₃,..., k _n}– некоторая перестановка упорядоченного множества S={1,2,3,..., n }первых n натуральных чисел.
Составим произведение a _{1 k 1} a _{2 k 2}... a_nkn, (1)

содержащее n элементов, в котором каждая строка и каждый столбец матрицы A представлены одним и только одним из своих элементов. Например, первый сомножитель в этом произведении является элементом первой строки и k ₁-го столбца, второй сомножитель представляет вторую строку и k ₂-ой столбец и так далее.
Согласно Теореме 2, существует n! различных перестановок { k ₁, k ₂, k ₃,..., k _n}, каждой из которых соответствует произведение вида (1) и, следовательно, существует n! различных произведений такого типа.
Сопоставим каждому из полученных произведений знак плюс или минус – в зависимости от четности или нечетности перестановки { k ₁, k ₂, k ₃,..., k _n}.
Чтобы формально описать такое сопоставление, введем число инверсий в перестановке { k ₁, k ₂, k ₃,..., k _n}, которое обозначим символическим выражением P { k ₁, k ₂, k ₃,..., k _n}.
Заметим, что

(2)

Алгебраическая сумма всех возможных произведений вида

(3)

называется определителем (или детерминантом) матрицы A:

(4)

Для записи определителя используется также обозначение в виде массива матричных элементов в вертикальных скобках:

(5)

Представляется уместным отметить некоторые важные обстоятельства, относящиеся к понятию определителя матрицы:

1. В формуле (4), выражающей собой определение det A, строки и столбцы матрицы A представлены равноправно. Лишь для удобства изложения первый элемент в произведении (3) выбирался из первой строки, второй элемент – из второй строки и так далее. В результате суммирования по всем возможным перестановкам индексов, нумерующих столбцы, выражение (4) включает в себя все произведения рассматриваемого типа, представленные в определенной последовательности.
   Формальное равноправие строк и столбцов в определении det A можно выразить следующим эквивалентным выражением:

.

(6)

1. Число четных перестановок { k ₁, k ₂, k ₃,..., k _n}в сумме (4) совпадает с числом нечетных перестановок и равно n!/2.
2. Определитель является одной из важнейших характеристик матрицы. При этом наиболее существенным часто оказывается не его конкретное числовое значение, а сам факт его равенства нулю или отличия от нуля. Например, матрица A имеет обратную лишь в том случае, когда det A ¹ 0 (что будет доказано в одном из ближайших разделов).
3. Не следует путать определитель матрицы с самой матрицей: Матрица представляет собой массив чисел, тогда как определителем матрицы является одно единственное число.

Дата добавления: 2014-12-16