Свойства определителя

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

Свойство 1. Равноправность строк и столбцов. Определитель не меняет своего значения при замене всех его строк соответствующими столбцами

(11.4)

Т.е. .

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

В связи с этим свойством в дальнейшем вместо слов «строка» или «столбец» будем говорить просто «ряд», подразумевая их равноправность.

Свойство 2. При перестановке двух параллельных рядов определителя его модуль сохраняет прежнее значение, а знак меняется на противоположный

Пример: .

Для доказательства этого свойства достаточно вычислить по правилу треугольника определители, стоящие в правой и левой частях равенства.

Следствие 1: Определитель с двумя одинаковыми рядами равен нулю.

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

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

Действительно, все такие разложения представляют из себя определители, содержащие два одинаковых ряда:

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

.

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

Следствие 1. Если все элементы какого-либо ряда равны нулю, то определитель равен нулю.

Следствие 2. Если все элементы какого-либо ряда определителя пропорциональны соответствующим элементам параллельного ряда, то определитель равен нулю.

Действительно,

Свойство 4. Линейное свойство определителя. Если в определителе -го порядка некоторая -ая строка представляет собой сумму двух слагаемых, то определитель может быть представлен в виде суммы двух определителей. Первый определитель будет иметь в -ой строке первые из упомянутых слагаемых , элементы в остальных строках будут такими же, как и в исходном определителе, а второй определитель в -ой строке будет иметь вторые из упомянутых слагаемых, а остальные строки будут совпадать с исходным определителем, т.е.

.

Это свойство следует из определения определителя, если разложить его по элементам -ой строки, а затем воспользоваться распределительным законом суммы.

Определение. Элементарными преобразованиями матрицы называются следующие преобразования:

1) умножение строки (столбца) на число отличное от нуля;

2) прибавление к одной строке (столбцу) другой строки (столбца);

3) перестановка строк (столбцов).

Свойство 5. Если к элементам некоторой строки (столбца) определителя прибавить соответствующие элементы другой строки (столбца), умноженные на произвольный множитель , то величина определителя не изменится.

Свойство 6. Определитель треугольной матрицы равен произведению диагональных элементов.

= .

нижний треугольный верхний треугольный

определитель определитель

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