Понятие определителя n-ого порядка. Основные свойства определителей.

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

(1)

Горизонтальные ряды в определителе (1) называют строками, вертикальные – столбцами, числа - элементами определителя (первый индекс означает номер строки, второй – номер столбца, на пересечении которых стоит элемент; i = 1, 2,..., n; j = 1, 2,..., n). Порядок определителя – это число его строк и столбцов.

Воображаемая прямая, соединяющая элементы определителя, у которых оба индекса одинаковы, т.е. элементы

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

Определителем n -го порядка называется число, являющееся алгебраической суммой n! членов, каждый из которых – произведение n его элементов, взятых только по одному из каждой n строк и из каждого n столбцов квадратной таблицы чисел, причём половина (определённых) членов берётся с их знаками, а остальные – с противоположными.

Покажем, как вычисляются определители первых трёх порядков.

Определитель первого порядка – это сам элемент т.е.

.

Определитель второго порядка есть число, получаемое следующим образом:

(2)

где

- элементы определителя, а

и

- его члены.

Равенство (2) показывает, что со своим знаком берётся член, являющийся произведением элементов главной диагонали, а с противоположным – член, представляющий собой произведение элементов противоположной диагонали.

Свойство 1. При замене строк столбцами (транспонировании) значение определителя не изменится, т.е.

Свойство 2. Если хотя бы один ряд (строка или столбец) состоит из нулей, то определитель равен нулю. Доказательство очевидно.

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

Свойство 3. Если в определителе поменять местами два соседних параллельных ряда (строки или столбцы), то определитель поменяет знак на противоположный, т.е.

 

Свойство 4. Если в определителе имеются два одинаковых параллельных ряда, то определитель равен нулю:

Свойство 5. Если в определителе два параллельных ряда пропорциональны, то определитель равен нулю:

Свойство 6. Если все элементы определителя, стоящие в одном ряду, умножить на одно и то же число, то значение определителя изменится в это число раз:

Следствие. Общий множитель, содержащийся во всех элементах одного ряда, можно вынести за знак определителя, например:

 

Свойство 7. Если в определителе все элементы одного ряда представлены в виде суммы двух слагаемых, то он равен сумме двух определителей:

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

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

Справедливость этого равенства вытекает из свойства 8.

 

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

Минор

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

При выписывании определителя (n-1) -го порядка, в исходном определителе элементы находящиеся под линиями в расчет не принимаются.

Пример 1. Составить минор , полученную из исходной матрицы:

Решение:

.