Разложение определителя по строке.

 

Определение1. 7. Минором элемента определителя называется определитель, полученный из данного путем вычеркивания строки и столбца, в которых стоит выбранный элемент.

 

Обозначение: выбранный элемент определителя, его минор.

 

Пример. Для

 

Определение1. 8. Алгебраическим дополнением элемента определителя называется его минор, если сумма индексов данного элемента i+j есть число четное, или число, противоположное минору, если i+j нечетно, т.е.

 

Рассмотрим еще один способ вычисления определителей третьего порядка – так называемое разложение по строке или столбцу. Для этого докажем следующую теорему:

 

Теорема 1.1. Определитель равен сумме произведений элементов любой его строки или столбца на их алгебраические дополнения, т.е.

где i=1,2,3.

Доказательство.

Докажем теорему для первой строки определителя, так как для любой другой строки или столбца можно провести аналогичные рассуждения и получить тот же результат.

Найдем алгебраические дополнения к элементам первой строки:

Тогда

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

 

Пример. Вычислим определитель с помощью разложения по первому столбцу. Заметим, что при этом искать не требуется, так как следовательно, и Найдем и Следовательно,

=

 

 

Определители более высоких порядков.

 

Определение1. 9. Определитель n-го порядка

есть сумма n! членов каждый из которых соответствует одному из n! упорядоченных множеств полученных r попарными перестановками элементов из множества 1,2,…,n.

 

Замечание 1. Свойства определителей 3-го порядка справедливы и для определителей n-го порядка.

 

Замечание 2. На практике определители высоких порядков вычисляют с помощью разложения по строке или столбцу. Это позволяет понизить порядок вычисляемых определителей и в конечном счете свести задачу к нахождению определителей 3-го порядка.

 

Пример. Вычислим определитель 4-го порядка с помощью разложения по 2-му столбцу. Для этого найдем и :

Следовательно,

 

Теоре́ма Лапла́са — одна из теорем линейной алгебры. Названа в честь французского математика Пьера-Симона Лапласа (1749 — 1827), которому приписывают формулирование этой теоремы в 1772 году^[1], хотя частный случай этой теоремы о разложении определителя по строке (столбцу) был известен ещё Лейбницу.

олнение минора определяется следующим образом:

где , .

Справедливо следующее утверждение.

Теорема Лапласа Пусть выбраны любые строк матрицы . Тогда определитель матрицы равен сумме всевозможных произведений миноров -го порядка, расположенных в этих строках, на их алгебраические дополнения. где суммирование ведётся по всевозможным номерам столбцов

Число миноров, по которым берётся сумма в теореме Лапласа, равно числу способов выбрать столбцов из , то есть биномиальному коэффициенту .

Так как строки и столбцы матрицы равносильны относительно свойств определителя, теорему Лапласа можно сформулировать и для столбцов матрицы.

Разложение определителя по строке (столбцу) (Следствие 1)

Широко известен частный случай теоремы Лапласа — разложение определителя по строке или столбцу. Он позволяет представить определитель квадратной матрицы в виде суммы произведений элементов любой её строки или столбца на их алгебраические дополнения.

Пусть — квадратная матрица размера . Пусть также задан некоторый номер строки либо номер столбца матрицы . Тогда определитель может быть вычислен по следующим формулам:

Разложение по -й строке: Разложение по -му столбцу:

где — алгебраическое дополнение к минору, расположенному в строке с номером и столбце с номером . также называют алгебраическим дополнением к элементу .

Утверждение является частным случаем теоремы Лапласа. Достаточно в ней положить равным 1 и выбрать -ую строку, тогда минорами, расположенными в этой строке будут сами элементы.