Разложение определителя по элементам строки или столбца
Date: 2015-10-07; view: 444.
Мы не будем останавливаться на доказательстве теоремы Лапласа в общем случае, отсылая читателя к учебнику [2], а докажем лишь частный случай этой теоремы, когда .
Предложение 3.15. Пусть . Тогда равен сумме произведений всевозможных элементов какой-либо строки (какого-либо столбца) на их алгебраические дополнения,
(или ), ,
где через обозначается алгебраическое дополнение элемента .
◄ Принимая во внимание предложение 3.6, доказательство проведем лишь в случае разложения определителя по произвольной строке. Вначале рассмотрим частный случай, когда а матрица А имеет вид

и покажем, что
.
Действительно,

, (3.28)
где – множество всех перестановок -ой степени вида

обладающих свойством . Рассмотрим множество всех отображений вида
, (3.29)
где . Так как , есть перестановка степени . Но различные перестановки из порождают различные перестановки из и . Поэтому множество перестановок вида (3.29), где , совпадает с . Кроме того, по построению и, следовательно, . Возвращаясь к равенству (3.28), получим, что
.
Пусть теперь все элементы строки кроме, возможно, равны нулю,
. (3.30)
j
Последовательными взаимными переменами места соседних строк и соседних столбцов переведем строку на место , а после этого – столбец на место . Определитель полученной после этого матрицы в силу предложения 3.7 будет равен
,
где – минор, дополнительный к элементу , а первые n-1 элементов последней строки матрицы равны 0. По доказанному выше,
.
Откуда
.
Переходя к общему случаю, представим строку в виде суммы векторов-строк порядка ,
. 
В силу предложения 3.11
,
где матрица получена из матрицы заменой её строки на строку
. По доказанному выше . Поэтому
. ►
Лекция XII.
План
3.10. Определитель произведения матриц.
3.11. Формула обратной матрицы.
3.12. Теорема Крамера.
|