Алгебраические дополнения и миноры

Пусть имеем определитель третьего порядка: .

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

Например, минором M₁₂, соответствующим элементу a₁₂, будет определитель , который получается вычёркиванием из данного определителя 1-ой строки и 2-го столбца.

Таким образом, формула, определяющая определитель третьего порядка, показывает, что этот определитель равен сумме произведений элементов 1-ой строки на соответствующие им миноры; при этом минор, соответствующий элементу a₁₂, берётся со знаком “–”, т.е. можно записать, что

.

(1)

Аналогично можно ввести определения миноров для определителей второго порядка и высших порядков.

Введём ещё одно понятие.

Алгебраическим дополнением элемента a_ij определителя называется его минор M_ij, умноженный на (–1)^i+j.

Алгебраическое дополнение элемента a_ij обозначается A_ij.

Из определения получаем, что связь между алгебраическим дополнением элемента и его минором выражается равенством A_ij = (–1)^i+j M_ij.

Например,

Пример. Дан определитель . Найти A₁₃, A₂₁, A₃₂.

Легко видеть, что используя алгебраические дополнения элементов, формулу (1) можно записать в виде:

.

Аналогично этой формуле можно получить разложение определителя по элементам любой строки или столбца.

Например, разложение определителя по элементам 2-ой строки можно получить следующим образом. Согласно свойству 2 определителя имеем:

Разложим полученный определитель по элементам 1-ой строки.

.

(2)

Отсюда т.к. определители второго порядка в формуле (2) есть миноры элементов a₂₁, a₂₂, a₂₃. Таким образом, , т.е. мы получили разложение определителя по элементам 2-ой строки.

Аналогично можно получить разложение определителя по элементам третьей строки. Используя свойство 1 определителей (о транспонировании), можно показать, что аналогичные разложения справедливы и при разложении по элементам столбцов.

Таким образом, справедлива следующая теорема.

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

Всё вышесказанное справедливо и для определителей любого более высокого порядка.