а прямые скобки, а перед буквенным выражением указывается слово det.Определитель матрицы A обозначается:
|
a11 |
a12 ... a1n |
|
|
|
|
|
||||
det A |
a21 |
a22 ... |
a2n |
|
. |
... ... ... ... |
|
||||
|
an1 |
an 2 ... |
ann |
|
|
В дальнейшем мы будем говорить об элементах, строках или столбцах определителя, подразумевая под этими терминами соответственно элементы, строки или столбцы отвечающей этому определителю матрицы.
Вычисление определителей 1-го, 2-го и 3-го порядков
Если порядок n матрицы равен единице, то эта матрица состоит из одного элемента a11. Определителем первого порядка, соответствующим такой матрице, является величина ее единственного элемента:
det A a11 a11
Пример. Если A 7 , то
det A 7 7
Если порядок n матрицы равен двум, т. е. если эта матрица имеет вид
a11 |
a12 |
|
|
|
|
|
, |
A |
a22 |
|
|
a21 |
|
|
то определителем второго порядка, соответствующим такой матрице, назовем число, равное a11a22 – a12a21. Таким образом, определитель второго порядка, соответствующий вышеуказанной матрице, равен разности произведения элементов, стоящих на главной диагонали этой матрицы, и произведения элементов, стоящих на побочной ее диагонали:
det A |
|
a11 |
a12 |
|
a11a22 a12a21 . |
|
|
||||
|
|
a21 |
a22 |
|
|
66
Пример. Если |
1 |
2 |
|
, то |
|
|
|
|||
A |
|
|
|
|
|
|
||||
|
|
3 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
det A |
|
1 |
2 |
|
1 4 2 3 2. |
||
|
|
|
|
|
||||||
|
|
|
|
|
|
|
3 |
4 |
|
|
Если порядок n матрицы равен трем, эта матрица будет иметь вид
a11 |
a12 |
a13 |
|
|
|
|
|
A a21 |
a22 |
a23 |
, |
|
a32 |
|
|
a31 |
a33 |
|
и ее определитель можно вычислить следующим образом:
detA |
|
a11 |
a12 |
a13 |
|
|
|
||||
|
a21 |
a22 |
a23 |
a11a22a33 a21a32a13 a11a12a23 a13a22a31 a23a32a11 a33a12a31 . |
|
|
|
a31 |
a32 |
a33 |
|
Следует запомнить правило, по которому оно получается. Три первых слагаемых представляют собой произведения элементов, находящихся на главной диагонали матрицы, и элементов, находящихся на двух диагоналях параллельных главной, соответственно. Для построения этих диагоналей перенесем элемент a13, а также элементы a12, a23 вниз.
det A |
|
a11 |
a12 |
a13 |
|
a11a22a33 a21a32a13 a11a12a23 ... |
|
|
|||||
|
a21 |
a22 |
a23 |
|
||
|
|
a31 |
a32 |
a33 |
|
|
|
|
|
a12 |
a13 |
||
|
|
|
|
a23 |
||
Четвертое, пятое и шестое слагаемые представляют собой произведения элементов, находящихся на побочной диагонали матрицы, и элементов, находящихся на двух диагоналях параллельных побочной, взятые с противоположным знаком. Для построения этих диагоналей перенесем вниз элементы a13 и a23.
67
det A |
|
a11 |
a12 |
a13 |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
||||||||
|
a21 |
a22 |
a23 |
|
|
a11a22a33 a21a32a13 a11a12a23 a13a22a31 a23a32a11 a33a12a31 |
||||||||
|
|
|
a31 |
a32 |
a33 |
|
|
|
|
|
|
|
||
|
|
|
a11 |
a12 |
a13 |
|
|
|
|
|
||||
|
|
|
a21 |
|
a23 |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
2 |
4 |
5 |
||
|
|
|
|
|
|
|
|
|
|
|
3 |
0 |
1 |
|
Пример. Если A |
, то |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
2 |
4 |
5 |
|
|
( 2) |
0 0 |
4 2 ( 5) ( 1) ( 4) 1 ( 5) 0 ( 1) 1 2 ( 2) |
||||||
|
|
|||||||||||||
det A |
3 |
0 |
1 |
|
|
|||||||||
|
1 |
2 |
0 |
|
|
|
|
|
|
|
( 1) ( 4) 1 0 40 4 0 4 4 36 |
|||
|
|
|
|
|
|
|
|
|
|
|||||
|
2 |
4 |
5 |
|
|
|
|
|
||||||
31
Вычисление определителей 4-го и последующих порядков сводится к вычислению определителей 2-го и 3-го порядков.
Миноры и алгебраические дополнения элементов матрицы
Если в определителе n-го порядка вычеркнуть какую-нибудь строку и какой-нибудь столбец, то оставшиеся элементы образуют определитель (n-1)-го порядка, называемый минором элемента, стоящего на пересечении вычеркнутых рядов.
Минор элемента aij обозначается Mij.
|
|
1 |
1 |
3 |
||
Пример. Минором для элемента a 23 |
матрицы |
|
2 |
1 |
1 |
|
A |
|
|||||
|
|
|
4 |
2 |
5 |
|
|
|
|
|
|||
является
M 23 |
|
a 11 |
a 12 |
|
|
|
1 |
1 |
2 |
|
6. |
|
|
|
|
||||||||
|
|
a 21 |
a 22 |
|
|
|
4 |
|
|
|
Алгебраическим дополнением элемента aij называется минор этого элемента, взятый со знаком (-1). Обозначается Aij
Aij ( 1)i j M ij .
68
Пример 16. Алгебраическим дополнением элементаa 23 матрицы
|
1 |
1 |
3 |
||
A |
|
2 |
1 |
1 |
|
|
|
||||
|
|
4 |
2 |
5 |
|
|
|
|
|||
является |
|
|
|
|
|
A 23 ( 1)2 3 * M 23 |
|
( 1)5 * ( 6) 6 . |
|||
Вычисление определителей n-ого порядка
Естественно возникает вопрос, нельзя ли использовать для получения величины определителя матрицы их элементы и отвечающие им миноры. Ответ на этот вопрос дает следующая теорема.
Теорема Лапласа (1749-1827). Определитель любой матрицы можно вычислить как сумму произведений элементов любой строки или любого столбца на их алгебраические дополнения.
n |
|
|
|
|
|
|
det A aij Aij |
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
|
|
|
|
|||||
Пример. Найдем определитель четвертого порядка |
3 |
0 |
0 |
1 |
|
. |
|
8 |
1 |
2 |
6 |
|
|
|
3 |
9 |
8 |
0 |
|
|
Для начала выберем строку или столбец, по которым можно разложить определитель. Естественно, нас удовлетворят строка или столбец, содержащие наибольшее количество нулевых элементов. Представим определитель матрицы в виде суммы произведений элементов второй строки на алгебраические дополнения этих элементов.
|
1 |
2 |
3 |
4 |
|
|
|
|
|
||||
|
3 0 0 |
1 |
|
а21 А21 а22 А22 а23 А23 а24 А24 . |
||
|
8 |
1 |
2 |
6 |
|
|
|
3 |
9 |
8 |
0 |
|
|
Теперь достаточно вычислить только А21 и А24, так как произведения 0∙А22 и 0∙А232 равны нулю.
A21 |
( 1)2 1 М21 |
|
1 26 |
|
26. |
|
|
69 |
|
|
|
A24 |
( 1)3 4 М24 |
|
1 81 |
81. |
Подставив найденные значения в вычисления получим окончательное решение:
|
1 |
2 |
3 |
4 |
|
|
|
|
|
||||
|
3 |
0 |
0 |
1 |
|
3 ( 26) 1 81 78 81 3. |
|
8 |
1 |
2 |
6 |
|
|
|
3 |
9 |
8 |
0 |
|
|
Свойства определителей
Ниже устанавливается ряд свойств, которыми обладает произвольный определитель n-го порядка.
1) Свойство равноправности строк и столбцов.
При транспонировании величина определителя сохраняется. 2) Свойство антисимметрии.
При перестановке местами двух строк (или двух столбцов) определитель сохраняет свою абсолютную величину, но меняет знак на противоположный.
3) Линейное свойство определителя.
Будем говорить, что некоторая строка (a1, a2, ..., an) является линейной комбинацией строк (b1, b2, … , bn), (c1, c2, … , cn), ..., (d1, d2, … , dn) с
коэффициентами x, y, ..., z, то есть
ai = xbi + yci + ... + zdi для всех i =1,2,..., n.
Тогда линейное свойство определителя можно сформулировать так: если в определителе п-го порядка D некоторая i-я строка (a1, a2, ..., an) является линейной комбинацией двух строк (b1, b2, … , bn), (c1, c2, … , cn), с коэффициентами x и y , то D = xBi +yCi, где Bi – определитель, у которого i-я строка равна (b1, b2, … , bn), а все остальные строки те же, что и у D, а Ci – определитель, у которого i-я строка равна (c1, c2, … , cn), а все остальные строки те же, что и у D.
Следующие пять свойств являются логическими следствиями трех основных свойств.
Следствие 1. Определитель с двумя одинаковыми строками или
столбцами равен нулю.
70