Определители. Математическая часть

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

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

Определение. Если квадратная матрица имеет порядок 1, то ее определитель равен . Если порядок квадратной матрицы А больше 1, то алгебраическим дополнением элемента в матрице А называется число , которое будет обозначаться (здесь - определитель матрицы . Определителем матрицы называется сумма произведений элементов первой строки на соответствующие им алгебраические дополнений:

Пример. Вычислим определитель матрицы второго порядка:

.

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

Теорема 2.2. Определитель квадратной матрицы А, порядок которой больше 1, равен сумме произведений элементов любой строки (столбца) на соответствующие им алгебраические дополнения:

().

Эти равенства называются разложением определителя по -й строке ( -му столбцу).

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

Свойство 2.1. Если квадратная матрица содержит нулевую строку (нулевой столбец), то ее определитель равен 0.

Свойство 2.2. При перестановке любых двух строк (столбцов) определитель меняется на противоположное число.

Доказательство. Предположим, что в А переставляются две соседние строки: -я и . Вновь полученную матрицу обозначим В. Очевидно, что для каждого .Но . Поэтому Разложим теперь определитель матрицы В по - й строке:

.

Теперь предположим, что нужно переставить -ю и -ю строки в матрице А. Эту перестановку можно осуществить посредством перестановок соседних строк:

…, , …,

(в скобках указаны переставляемые строки). Поэтому для полученной после этих перестановок матрицы В верно следующее:

,

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

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

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

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

.

Аналогичное утверждение верно и для столбцов.

Доказательство. Заменим в А -ю строку -й строкой. В полученной матрице В -я и -я строки уже одинаковы, т.е. по свойству 2.3. Разложим по -й строке:

что и требовалось доказать.

Свойство 2.5. Пусть - матрица, полученная при умножении строки (столбца) квадратной матрицы А на число . Тогда .

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

Теорема 2.2. Определитель матрицы остается неизменным при элементарных преобразованиях строк (столбцов) типа 2.

Доказательство. Предположим, что матрица В получена из матрицы А прибавлением к -й строке -й строки, умноженной на . Разложим определитель матрицы В по -й строке. Тогда с учетом имеем:

так как по свойству 2.4. Теорема доказана.

Теорема 2.2. подсказывает практический способ вычисления определителя, который состоит в следующем. Если -я строка (столбец) в матрице А состоит из одного ненулевого элемента , то по теореме 2.1 Тем самым вычисление определителя порядка сводится к вычислению определителя порядка . Хотя в матрице А может не оказаться строк (столбцов) с нужным числом нулей, тем не менее с помощью элементарных преобразований типа 2 А можно преобразовать к нужному виду. При этом величина определителя останется неизменной в силу теоремы 2.2.

Поиск по сайту: