Определитель матрицы (стр. 1 из 2)
Дисциплина: Высшая математика
Тема: Определитель матрицы
1. Понятие определителя
Матрица - это прямоугольная таблица, составленная из чисел. Особое место среди матриц занимают квадратные матрицы. Рассмотрим произвольную квадратную матрицу порядка
или просто 
: 
.Оказывается, что с такой матрицей всегда можно связать вполне определенную числовую характеристику.
Определение 1. Численная характеристика квадратной матрицы называется ее определителем.
Рассмотрим матрицу первого порядка
.Определение 2. Численной характеристикой матрицы первого порядка, то есть определителем первого порядка, называется величина ее элемента 
.
Обозначается определитель одним из символов
.Определение 3. Определителем второго порядка, соответствующим матрице второго порядка, называется число, равное 
.
Обозначается определитель одним из символов
.Очевидно, что для составления определителя второго порядка, необходимо найти разность произведения элементов, стоящих на главной диагонали матрицы, и произведения элементов, стоящих на побочной диагонали этой матрицы.
Поскольку одна из форм обозначения определителя и обозначения матрицы имеют много общего (записывается таблица из чисел), то так же, как и у матрицы, говорят о столбцах, строках и элементах определителя.
После того как рассмотрены определители 1-го и 2-го порядков, можно перейти к понятию определителя любого порядка. Но перед этим введем понятие минора.
Определение 4. Минором любого элемента 
квадратной матрицы порядка называется определитель порядка 
, соответствующий той матрице, которая получается из первоначальной матрицы в результате вычеркивания 
-ой строки и 
-го столбца, на пересечении которых стоит элемент .
Обычно минор элемента обозначается
.Определение 5. Определителем порядка , соответствующим матрице порядка , называется число, равное
.
Обозначается определитель одним из символов
.Приведенное выражение представляет собой правило вычисления определителя
-го порядка по элементам первой строки соответствующей ему матрицы и по минорам элементов этой строки, которые являются определителями порядка . Для 
это правило дает: 
.В приведенном правиле вычисления определителя фигурирует лишь первая строка. Возникает вопрос, а нельзя ли вычислить определитель, используя элементы других строк?
Теорема 1. Каков бы ни был номер строки ( 
), для определителя -го порядка справедлива формула
,
называемая разложением этого определителя по -ой строке.
Нетрудно заметить, что в этой формулировке степень при (-1) равна сумме номеров строки и столбца, на пересечении которых стоит элемент
.Докажем сначала эту теорему для
. В этом случае может быть равно только 2, так как 
входит в основное определение величины определителя. Итак: 
.Полученное выражение совпадает с тем, которое было дано в определении, следовательно, для определителя 2-го порядка теорема доказана.
Для произвольного
данная теорема доказывается методом математической индукции.Итак, показано, что определитель может быть разложен по любой строке. Возникает вопрос, а нельзя ли сделать то же самое, использовав произвольный столбец.
Теорема 2. Каков бы ни был номер столбца ( 
), для определителя -го порядка справедлива формула
,
называемая разложением этого определителя по -му столбцу.
Докажем теорему для
: 
.Данное выражение равно величине определителя, введенной по определению.
Итак, на основании теорем можно сказать, что для вычисления определителя
-го порядка необходимо его разложить по произвольной строке или столбцу.2. Свойства определителей
Рассмотрим ряд свойств, которыми обладают определители.
1. Равноправность строк и столбцов.
Определение 1. Транспонированием определителя называется операция, в результате которой меняются местами строки и столбцы с сохранением порядка их следования.
Определитель, полученный в результате транспонирования, называется транспонированным по отношению к исходному и обозначается
.Свойство 1. При транспонировании величина определителя сохраняется, то есть 
.
Доказательство этого свойства вытекает из того, что разложение определителя по первой строке тождественно совпадает с разложением по первому столбцу. Данное свойство указывает на равноправность строк и столбцов, поэтому все дальнейшие свойства можно рассматривать лишь для строк.
2. Антисимметрия при перестановке двух строк.
Свойство При перестановке местами двух строк определитель сохраняет свою абсолютную величину, но меняет знак на противоположный.
Докажем для определителя второго порядка. Действительно,
; 
.Для определителя
-го порядка докажем это свойство по индукции. Пусть свойство справедливо для определителя -го порядка. Разложим определитель -го порядка по любой строке, отличной от переставленных. Тогда переставленные строки входят во все миноры, на которые умножаются элементы , но эти миноры являются определителями -го порядка и меняют свой знак при перестановке строк. Следовательно, и определитель -го порядка также меняет свой знак.3. Линейное свойство определителя.
Определение Некоторая строка ( 
) является линейной комбинацией строк ( 
) и ( 
) с коэффициентами 
и 
, если 
.