§2. Определители 1. Вспомогательные определения ОПРЕДЕЛЕНИЕ. Пусть n – натуральное число. Факториалом числа n (обозначают: n!) называют произведение натуральных чисел от 1 до n включительно, т.е. n!= 1·2·3·…·n. Кроме того, факториал числа 0 полагают равным 1. ОПРЕДЕЛЕНИЕ. Расположение n чисел в любом порядке называется перестановкой этих чисел. Пусть дана некоторая перестановка n чисел α 1, α 2, …, α i, …, α k, …, α n. Говорят, что два числа α i и α k образуют инверсию в перестановке, если большее число стоит левее меньшего, т.е. если α i > α k. Количество пар, образующих инверсию в перестановке, называется числом инверсий в перестановке.

2. Определение определителя Пусть A=(a ij ) – квадратная матрица порядка n. ОПРЕДЕЛЕНИЕ. Определителем матрицы A (определителем порядка n) называется число, равное алгебраической сумме n! слагаемых, удовлетворяющих следующим условиям: 1) каждое слагаемое есть произведение n элементов матрицы, взятых по одному из каждой строки и каждого столбца; 2) слагаемое берется со знаком «плюс», если число инверсий в перестановке первых индексов сомножителей и число инверсий в перестановке вторых индексов сомножителей в сумме дают четное число. В противном случае слагаемое берется со знаком «минус». Определитель матрицы A обозначают |A|, detA или

Элементы, строки, столбцы матрицы называются соответственно элементами, строками, столбцами определителя матрицы. Определитель второго порядка равен разности произведений элементов главной диагонали и элементов побочной диагонали. Определитель третьего порядка равен алгебраической сумме шести произведений. Со знаком «плюс» берутся произведение элементов главной диагонали и произведения элементов, стоящих в вершинах двух равнобедренных треугольников, основания которых параллельны главной диагонали. Со знаком «минус» берутся произведение элементов побочной диагонали и произведения элементов, стоящих в вершинах двух равнобедренных треугольников, основания которых параллельны побочной диагонали. Т.е.

3. Свойства определителей 1) При транспонировании матрицы ее определитель не меняется. 2) При перестановке любых двух строк (столбцов) определитель меняет знак. 3) Общий множитель элементов любой строки (столбца) можно выносить за знак определителя. 4) Если все элементы k-й строки определителя |A| являются суммами двух элементов, то определитель равен сумме двух определителей |A 1 | и |A 2 |, у которых все строки кроме k-й совпадают со строками определителя |A|, а k-я строка в определителе |A 1 | состоит из первых слагаемых, а в определителе |A 2 | – из вторых слагаемых.

5) Определитель равен нулю если: а) он имеет строку (столбец), состоящую из нулей; б) он имеет хотя бы две одинаковые строки (столбца); в) он имеет хотя бы две пропорциональные (т.е. отличающиеся множителем) строки (столбца); г) хотя бы одна строка (столбец) является линейной комбинацией нескольких других строк (столбцов). 6) Определитель не изменится, если к каждому элементу i-й строки (столбца) прибавить соответствующий элемент k-й строки (столбца), умноженный на число α 0.

Замечание. i-ю строку (i-й столбец) определителя |A| называют линейной комбинацией его строк (столбцов) i 1,i 2,…,i k с коэффициентами λ 1,λ 2,…,λ k, если каждый элемент i-й строки (столбца) является линейной комбинацией соответствующих элементов строк (столбцов) i 1,i 2,…,i k с коэффициентами λ 1,λ 2,…,λ k. Т.е. 7) Если A и B – квадратные матрицы порядка n, то существует AB и BA, причем |AB|=|BA|=|A|·|B|.

4. Теорема Лапласа и ее следствие ТЕОРЕМА (Лапласа). Пусть в определителе порядка n выбрано k строк (столбцов) (где 1 k n–1). Тогда определитель равен сумме произведений всех миноров k-го порядка, содержащихся в выбранных строках (столбцах), на их алгебраические дополнения. СЛЕДСТВИЕ 1 (теоремы Лапласа). Определитель равен сумме произведений всех элементов любой строки (столбца) на их алгебраические дополнения, т.е. |A|=a i1 A i1 +a i2 A i2 +…+a in A in (3) |A|=a 1j A 1j +a 2j A 2j +…+a nj A nj (4) СЛЕДСТВИЕ 2 (теоремы Лапласа). Сумма произведений элементов i-й строки (столбца) определителя на алгебраический дополнения соответствующих элементов k-й строки (столбца) этого определителя равна нулю. Т.е. a i1 A k1 +a i2 A k2 +…+a in A kn =0 (5) a 1j A 1k +a 2j A 2k +…+a nj A nk =0 (6)