§ 3. Определители n-ого порядка.
Введем теперь понятие определителя 4-ого порядка. Аналогично определениям минора и алгебраического дополнения элементов матрицы 3-го порядка, можно ввести эти понятия для элементов матрицы 4-го порядка :
,
понимая под минором
(
)
ее элемента
определитель
матрицы 3-го порядка, которая получается
вычеркиванием из матрицы
–ой
строки и
–ого
столбца, а под алгебраическим
дополнением
– произведение
.
Определение 1. Определителем 4-ого порядка называется число
. (1)
Аналогичным образом можно ввести понятие определителя 5-ого порядка, опираясь на определение определителя 4-ого порядка.
В общем случае, предположим, что мы определили, что такое определитель
( n- 1)-ого порядка, тогда можно ввести понятие определителя n-ого порядка.
Определение 2. Определитель n-ого порядка квадратной матрицы -ого порядка
есть число
,
(2)
где
- алгебраическое дополнение элемента
матрицы
,
- минор элемента
матрицы
,
т.е. определитель матрицы
-ого
порядка, которая получается вычеркиванием
из матрицы
1–ой строки и
–ого
столбца.
Формула (2) называется разложением
определителя
по элементам 1-ой строки.
В качестве примера вычислим определитель 4-ого порядка, опираясь на его определение.
§4. Свойства определителей.
При транспонировании квадратной матрицы величина ее определителя не меняется:
.
Если поменять местами две строки (или два столбца), то определитель изменит знак на противоположный.
Определитель с двумя одинаковыми строками (столбцами) равен 0.
Определитель, содержащий нулевую строку (столбец), т.е. строку (столбец) состоящую только из нулей, равен нулю.
Общий множитель всех элементов строки (столбца) можно выносить за знак определителя, например,
(за знак определителя мы вынесли «2» - общий множитель элементов 1-ой строки).
Определитель с двумя пропорциональными строками (столбцами) равен нулю.
Если каждый элемент –ой строки ( –ого столбца) определителя
представлен в виде суммы двух слагаемых,
то
,
где
в определителях
и
все строки (столбцы), кроме
–ой
строки (
–ого
столбца) такие же, как и в определителе
;
–ая
строка (
–ый
столбец) в определителе
состоит из первых слагаемых
–ой
строки (
–ого
столбца) определителя
,
а в определителе
- из вторых слагаемых этой строки
(столбца).
Поясним сказанное на примере.
.
В силу свойства 7
.
Величина определителя не изменится, если ко всем элементам некоторой строки (столбца) прибавить соответствующие элементы другой строки (столбца), умноженные на одно и тоже число.
Например,
.
Каждый элемент 2-го столбца мы умножили на «2» и прибавили к соответствующему элементу 3- его столбца. Предлагаем читателю вычислить каждый из определителей и убедиться в их равенстве.
Определитель равен сумме произведений элементов любой строки (столбца) на соответствующие алгебраические дополнения.
,
(1)
,
(2)
Равенство (1) называется разложением определителя по элементам –ой строки, а равенство (2) - разложением по элементам -ого столбца.
Сумма произведений элементов строки (столбца) на алгебраические дополнения (см. определение 3 §2) элементов другой строки (столбца) равна нулю.
Опираясь на свойства 8 и 9 можно преобразовать заданный определитель так, чтобы все элементы какой-либо строки (столбца), кроме, быть может, одного, равнялись нулю, а затем разложить определитель по элементам этой строки (столбца), что значительно облегчит вычисления.
Пример. Преобразуем определитель
так, чтобы в первой строке все элементы,
кроме, быть может, одного, стали нулями.
Мысленно умножим элементы первого
столбца определителя на «–3» (
)
и прибавим результат к соответствующим
элементам третьего столбца, получим
определитель
.
Теперь умножим все элементы 1-го столбца
определителя
на «–2» (
)
и прибавим результат к соответствующим
элементам второго столбца:
.
В силу свойства 8
.