Algebra
.pdfизменяется. Иными словами, если – произвольная перестановка n -ой степени, то в равенствах (3.15) справедливо следующее правило замены переменного,
n |
|
n |
|
ak |
a k a 1 |
a 2 ... a n , |
|
k 1 |
|
k 1 |
|
n |
|
n |
|
ak a k a 1 a 2 ...a n . |
|||
k 1 |
k 1 |
|
|
Однако, в ряде случаев |
игнорирования |
природы элементов множества M |
доставляет определенные неудобства и при суммировании и перемножении
элементов ak желательно в качестве индекса вместо номера k |
сохранить его |
|
первоначальное значение |
x . В связи с этим в качестве |
обозначений, |
эквивалентных обозначениям (3.15), применяются обозначения: |
|
|
|
ax , |
(3.16) |
|
x M |
|
читается: сумма ax по всем элементам x множества M , и |
|
|
|
ax , |
(3.17) |
|
x M |
|
читается: произведение ax |
по всем элементам x множества |
M . При этом |
сформулированные выше правила замены переменного в сумме и произведении вида (3.15) справедливы также для суммы (3.16) и произведения (3.17). Именно,
ax ay a x , ax ay a x .
x M y M x M x M y M x M
где – произвольная перестановка элементов множества M .
Лекции IX и X.
План
3.6Определитель n -го порядка.
3.7Свойства определителя.
3.6Определитель n-го порядка
Пусть A M n (R) , |
A |
aij |
. |
Определителем матрицы A |
называется |
||||||
|
|
|
|
|
|
|
|
||||
действительное число |
A |
, которое вычисляется по правилу |
|
||||||||
|
|
|
|
a11 |
a12 |
... |
a1n |
|
|
||
|
|
|
|
|
|
||||||
|
A |
|
|
a21 |
a22 |
... |
a2n |
sgn a1 1 a2 2 ...an n , |
(3.18) |
||
|
|
||||||||||
|
|
|
|
... ... ... ... |
Sn |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an1 |
an2 |
... |
ann |
|
|
где
61
|
1, |
если четная, |
|
sgn |
|
|
(3.19) |
1, |
если нечетная. |
|
Определитель матрицы A также называется детерминантом матрицы A , |
и |
|||||
в этом случае используется обозначение det A, эквивалентное обозначению |
|
A |
|
. |
|
|
|
|
|
|
|||
Разберем подробно случаи n 1, 2, 3 . |
|
|
|
|
|
|
|
|
1 |
, |
|||
1) n 1. Множество S состоит из одной единичной перестановки e |
|
|||||
1 |
|
|
|
|
||
|
|
1 |
|
которую по аналогии с единичными перестановками более высоких степеней
естественно считать четной. Поэтому определитель матрицы |
A |
|
|
|
a11 |
|
имеет вид |
|||||||
|
|
|
||||||||||||
|
A |
|
a11 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
2) n 2 . Множество S2 перестановок второй степени состоит из одной |
|||||||||||
|
|
|
1 |
2 |
|
, |
|
1 |
|
|
2 |
|
, inv 1. |
|
четной и одной нечетной перестановки e |
|
, inve 0 |
|
|
|
|
|
|
|
|||||
|
|
|
|
2 |
|
|
|
2 |
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
Поэтому сумма (3.18) имеет два слагаемых,
|
a11 |
a12 |
sgne a |
|
a |
sgn a |
|
(1) |
a |
|
|
a a |
22 |
a |
|
|
a |
. |
|||||||||||||||||||||||
|
a21 |
a22 |
|
|
|
|
|
1e(1) |
|
2e(2) |
|
|
|
|
|
|
|
1 |
|
|
2 (2) |
|
|
11 |
|
12 21 |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
3) n 3 . Множество S3 |
состоит из шести перестановок третьей степени, |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
|
0, |
|
|
|
|
|
1 |
2 |
|
3 |
|
|
|
|
2, |
|
|||||||||||||
|
|
|
|
1 |
|
|
|
|
, inv |
1 |
|
2 |
|
|
|
|
|
|
, inv |
2 |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
3 |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
1 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
1 |
2 |
|
3 |
|
|
|
|
|
|
2, |
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
|
|
1, |
|
|||||||
|
|
|
|
3 |
|
|
|
|
|
, inv |
|
3 |
4 |
|
|
|
|
|
, inv |
4 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
3 |
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
2 |
1 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
1 |
2 |
|
3 |
|
|
|
|
|
|
3, |
|
|
|
|
|
1 |
2 |
|
3 |
|
|
|
|
|
|
1. |
|
||||||
|
|
|
|
5 |
|
|
|
|
|
, inv |
5 |
|
6 |
|
|
|
|
|
|
, inv |
6 |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
3 |
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
2 |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||||||||
Перестановки |
1, 2 , 3 |
– |
четные, |
|
|
а |
перестановки 4 , 5 , 6 |
|
|
– |
|
нечетные. |
|||||||||||||||||||||||||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a11 |
a12 |
a13 |
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
a21 |
a22 |
a23 |
sgn k |
a1 k 1 a2 k 2 a3 k 3 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
a31 |
a32 |
a33 |
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
a11a22a33 a12a23a31 a13a21a32 a12a21a33 a13a22a31 a11a23a32. |
(3.20) |
||||||||||||||||||||||||||||||||||||||||
При |
n 4 формула |
(3.18) содержит уже 24 слагаемых, в связи с чем |
|||||||||||||||||||||||||||||||||||||||
становится |
ясно, что |
|
для |
вычисления |
определителей |
|
достаточно |
|
высокого |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
62 |
порядка она мало пригодна. Нашей ближайшей задачей является изучение таких свойств определителя, которые бы, в частности, позволили разработать достаточно простой способ их вычисления, отличный от прямого счѐта по формуле (3.18). Такой способ вычисления будет изложен ниже в пункте 3.10. Эффективность его настолько высока, что, как правило, этот способ целесообразно применять даже для вычисления определителей третьего порядка, избегая при этом использования формулы (3.20).
Принимая во внимание запись определителя A в виде таблицы (3.18), ниже
будем использовать следующие термины с очевидным их содержанием: определитель порядка n , элемент определителя, строка определителя, столбец определителя.
3.7 Свойства определителя
(3.21)
и называется членом определителя n -го порядка. Член определителя является произведением n элементов, взятых точно по одному из каждой строки и каждого столбца определителя, и числа sgn . Действительно, присутствие в произведении (3.21) по одному элементу из каждой строки является очевидным.
Кроме того, из определения перестановки n -ой степени |
ясно, что |
||
{ 1 , 2 , ..., n } |
|
, и следовательно, в произведении (3.21) |
|
1, n |
присутствует |
точно по одному элементу из каждого столбца определителя. Верно и обратное,
любое произведение из n элементов определителя |
A |
, |
||
a1 j |
a2 j |
... anj , |
(3.22) |
|
1 |
2 |
n |
|
|
взятых точно по одному из каждой его строки и каждого столбца, входит в сумму (3.18) либо со своим, либо с противоположным знаком. Перестановка , порождающая соответствующий член определителя, имеет вид
|
1 |
2 |
... |
n |
|
|
|
|
|
. |
(3.23) |
|
j1 |
j2 |
... |
|
|
|
jn |
|
Если – четная перестановка, то произведение (3.22) входит в сумму (3.18) со своим знаком, а если – нечетная перестановка, то – с противоположным знаком. В связи с этим основному определению предыдущего пункта можно
придать другую эквивалентную |
ему форму: |
определителем |
матрицы |
A , |
|
A M n (R) , называется |
сумма |
всевозможных |
произведений |
(число |
этих |
произведений равно n!) |
по n элементов этой матрицы, взятых по одному из |
каждой еѐ строки и каждого еѐ столбца, причем каждое произведение входит в указанную сумму со своим знаком, если порождаемая нумерацией его элементов перестановка (3.23) четная, и – с противоположным знаком, если эта перестановка нечетная.
63
Рассмотрим основные свойства определителя. Всюду ниже будем предполагать, не подчеркивая этого всякий раз, что матрица A M n (R) .
Предложение 3.6 . А А .
◄Первое доказательство. Введем обозначение B A ij . Ясно, что
ij aij , i, j 1, n . По определению
B sgn 1 1 2 2 ... n n
Sn |
|
sgn a 1 1 a 2 2 ... a n n . |
(3.24) |
Sn |
|
Покажем, что эта сумма совпадает с суммой (3.18). Действительно, каждое |
|
произведение |
|
sgn a 1 1 a 2 2 ... a n n |
(3.25) |
является членом определителя A , так как содержит точно по одному элементу из каждого столбца и каждой его строки ( – перестановка n -ой степени). Именно,
a 1 1 a 2 2 |
... a n n |
a1 1 a2 2 ... an n , |
|||
где |
|
|
|
|
|
1 |
2 |
... |
n |
1 . |
|
|
|
|
|
|
|
|
1 |
2 |
... |
|
|
|
n |
|
Одновременно, sgn sgn sgn 1 , |
так |
как разложив перестановку в |
||
произведение транспозиций произвольным образом |
||||
|
t1t2 ...tk 1tk , |
|||
замечаем, что |
|
|
|
|
|
1 t t |
k 1 |
...t t , |
|
|
k |
|
2 1 |
|
т.е. перестановки |
и 1 одновременно |
четные или нечетные. Поскольку |
различные слагаемые суммы (3.24) совпадают с различными членами определителя A , ясно, что A B A .
Второе доказательство. Сумму (3.24) запишем в виде
B sgn a j j
S |
n |
|
|
|
j 1,n |
и в соответствии с принципом замены переменного индекса проведем две замены: вначале в произведении, а потом в сумме. Зафиксируем перестановку .
|
1 является |
|
|
|
|
|
|
|
|
|
|||
Так как |
перестановкой |
элементов |
множества 1, n и |
||||||||||
1 j |
|
|
|
|
|
|
|
|
|
замена j 1 j |
|||
j, j 1, n , то в |
соответствии с |
пунктом 3.5 |
|||||||||||
приводит к равенству |
|
a j j a j 1 j , |
|
|
|
||||||||
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1,n |
j 1,n |
|
|
|
|
т.е.
|
B |
|
|
sgn a1 1 1 a2 1 2 ... an 1 n |
(3.26) |
|||
|
|
|||||||
|
|
|
|
|
|
|
||
|
|
|
Sn |
|
|
|
|
|
Отображение f 1 |
является перестановкой элементов множества S |
n |
, так |
|||||
|
|
|
|
|
|
|
|
|
как оно обратимо, |
|
|
|
|
|
|||
f 1 |
f , |
1 |
. |
|
|
|||
f 2 f f 1 |
|
|
Проводя в сумме (3.26) замену 1 и учитывая, что sgn sgn 1 , получаем, что
B sgn a1 1 a2 2 ... an n A . ►
Sn
Из только что доказанного свойства следует, что строки и столбцы определителя равноправны в том смысле, что любое свойство его строк верно также и для его столбцов и наоборот, любое свойство столбцов определителя выполняется также для его строк. С учетом этого замечания последующие свойства определителя будем формулировать, в основном, в терминах его строк.
Предложение 3.7. Если матрица B получена из матрицы A элементарным преобразованием Ck Cl , k, l 1, n, k 1, тогда B A .
Иными словами, при перемене местами двух строк определителя он меняет знак на противоположный.
◄ В матрице B ij
Ai , i k, l,
Bi Al , i k, , т.е.
Ak , i l,
Поэтому, считая для определенности k l ,
aij , i k, l,
ij alj , i k,akj , i l.
получаем, что
|
B |
|
sgn 1 1 ... k k |
|
... l l |
|
... n |
n |
|
|
|
||
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Sn |
|
|
|
|
|
|
|
|
|
|
sgn a1 1 ... al k ... ak l ... an n . |
(3.27) |
||||||||||||
|
Sn |
|
|
|
|
|
|
|
|
|
|
||
Рассмотрим следующую перестановку f элементов множества Sn , f t , где t |
|||||||||||||
–транспозиция. Действительно, отображение |
f Sn Sn |
обладает свойством |
|||||||||||
f 2 t t t2 e и поэтому |
обратимо, |
f 1 |
f . |
Вводя обозначение |
t , замечаем, что
i , i k, l,
i l , i k,
k , i l,
и sgn sgn , так как перестановки и имеют различную четность. Учитывая это и проводя замену переменной t в сумме (3.27), получаем, что
65
B sgn a1 1 ... al l ... ak k ... an n A . ►
Sn
В качестве иллюстрации замечания о равноправии строк и столбцов определителя покажем, что при перемене местами двух столбцов определитель меняет знак на противоположный.
◄Пусть матрица B получена из матрицы A элементарным
преобразованием Ci C j . Тогда матрица B получается |
из матрицы A |
||||||||||||||||||||||||||||
элементарным преобразованием C C |
j |
, |
и по доказанному |
B |
|
|
A |
. Откуда, |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
используя предложение 3.6, получаем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
B |
|
|
B |
|
|
|
|
A |
|
|
.► |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
Предложение 3.8. Если матрица B получена из матрицы A элементарным |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
преобразованием Ck , 0, k 1, n , тогда |
B |
A |
. |
|
|
|
|
||||||||||||||||||||||
|
|
|
◄ В матрице B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
ij |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
a |
, i k, |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ij |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ij |
|
|
, i k. |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
a |
kj |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
B |
|
sgn 1 1 ... k k ... n n |
|
sgn a1 1 ... ak k ... an n |
||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||
|
|
|
Sn |
|
Sn |
|
|
|
|
sgn a1 1 ... ak k ... an n A . ►
Sn
Вкачестве следствия этого свойства получаем, что
|
|
|
A |
|
|
|
n |
|
A |
|
, 0 . |
|
|
|||||||||
|
|
|
|
|
|
|||||||||||||||||
Из предложения 3.8 вытекает также следующее правило выноса числового |
||||||||||||||||||||||
множителя за знак определителя, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
A |
|
|
|
B |
|
, 0 , |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
где B получается из матрицы A делением всех |
элементов какой-нибудь еѐ |
|||||||||||||||||||||
строки или какого-нибудь еѐ столбца на . Например, |
||||||||||||||||||||||
|
3 |
2 |
|
|
|
|
|
|
|
|
|
1 |
3 |
2 |
|
|||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
4 |
8 |
|
|
|
|
22 |
2 |
2 |
4 |
11 |
. |
||||||||||
|
1 |
3 |
9 |
|
|
|
|
|
|
|
|
|
1 |
3 |
9 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Здесь проведен вынос числа 2 за знак определителя из второй строки.
Предложение |
3.9. Если матрица содержит нулевую строку, еѐ |
|
определитель равен нулю. |
|
|
Предложение |
3.10. |
Если матрица A содержит две пропорциональные |
строки, еѐ определитель равен нулю.
66
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
что 0 , так |
||||||||||||||||||||||||||
|
|
|
◄ |
Пусть |
Ai Aj , i j, |
|
|
|
i, j 1, n, R . Можно считать, |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
как случай |
|
0 |
|
содержится |
в |
предложении 3.9. |
Если |
|
1, |
|
т.е. |
|
|
|
Ai Aj , |
в |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
матрице |
A проводим элементарное преобразование Ci C j . |
При этом в силу |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
предложения 3.7 определитель меняет знак. В то же время матрица A , а с нею и |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|
не изменились, т.е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Если 1, |
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
A |
|
2 |
|
A |
|
0 |
|
A |
|
0 . |
|
|
|
|
|
|
|
|
|
|
1C . |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
в матрице A проводим элементарное преобразование |
После |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
||
этого получаем матрицу B с равными |
|
|
строками, |
Bi Bj |
Aj . В |
|
|
силу |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
предложения 3.8 с учетом предыдущего случая |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
B |
|
|
1 |
|
A |
|
|
|
|
A |
|
0. ► |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
Предложение 3.11. Если строка Ai |
|
|
|
матрицы A представима в виде суммы |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
двух векторов-строк порядка n , |
Ai |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
еѐ определитель |
|
A |
|
|
|
|
|
|
|
|
|
|
|
, где |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ai |
|
Ai |
|
|
A |
|
|
|
A |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
матрица |
|
получается из матрицы |
|
|
|
A |
заменой |
|
|
|
|
|
|
|
а матрица |
|
|
|
– |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
A |
|
|
|
|
Ai Ai , |
|
|
A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
заменой Ai Ai . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
◄ Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
Ai ai1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
ai2 , ..., ain Ai Ai |
|
ai1 |
ai2 |
, ..., ain ai1, ai2 |
, ..., ain |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
ai1 ai1, ai2 |
ai2 |
, ..., ain ain . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
Тогда |
|
|
|
|
|
|
sgn a1 1 ... ai i ... an n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
Sn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
sgn a1 1 ... ai |
ai i ... an n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
Sn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
i ... an n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i ... an n |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
sgn a1 1 ... ai |
sgn a1 1 ... ai |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
Sn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
► |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
Предложение 3.12. Если матрица B получена из матрицы |
|
A с помощью |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
элементарного преобразования Ci C j , i j , тогда |
|
B |
|
|
|
A |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
◄ В матрице B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A , |
|
|
|
|
|
|
|
|
|
|
k i, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bk |
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
, |
k i. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
строки Bi |
и Bj |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Выделяя в определителе |
B |
|
, |
|
учитывая при этом, что остальные |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
A |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
строки совпадают с соответствующими |
|
строками |
определителя |
, в |
|
|
силу |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
предложения 3.11 имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
67
B |
|
|
i |
|
Ai Aj |
|
|
|
i |
|
|
Ai |
|
|
|
i |
|
Aj |
|
|
|
A |
|
O |
|
A |
|
, |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
j |
|
|
Aj |
j |
|
Aj |
j |
|
|
|
Aj |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
так как второй определитель имеет пропорциональные строки и, следовательно, равен нулю. ►
Предложение 3.13 Определитель матрицы верхнетреугольного или нижнетреугольного вида равен произведению его диагональных элементов.
◄ Пусть, например,
|
|
|
a11 |
0 |
0 |
0 |
|
A |
|
|
a21 |
a22 |
0 |
0 |
. |
|
|||||||
|
... ... ... |
0 |
|||||
|
|||||||
|
|
|
an1 |
an2 ... |
ann |
|
Очевидно, что все члены этого определителя, не содержащие a1 1 в качестве элемента первой строки, равны нулю. Из второй строки к этому элементу можно добавить лишь a22 , так как a21 брать нельзя, поскольку первый столбец уже
занят, а все остальные элементы второй строки равны нулю. Продолжая аналогичные рассуждения для последующих строк, получаем, что единственно возможным ненулевым членом определителя остается произведение a11a22...ann ,
порождаемее перестановкой e, inve 0 , т.е.
A a11a22...ann. ►
Предложение 3.14. Любую матрицу можно привести к верхнетреугольному или нижнетреугольному виду только строчными (только столбцовыми) элементарными преобразованиями, не меняя еѐ определителя.
◄ Рассмотрим случай верхнетреугольной матрицы и строчных элементарных преобразований. Если A1 O , тогда первый столбец матрицы A уже имеет нужный вид, и можно переходить ко второму столбцу. Если A1 O , но a11 0, существует ненулевой элемент ai1, i 2, n . Совершая вспомогательное преобразование C1 Ci , добиваемся выполнения условия a11 0 .
Пусть a11 0 . В матрице A проводим следующую цепочку элементарных преобразований,
|
|
|
|
|
|
|
ai1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
C , i 2, n . |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
i |
a11 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В силу предложения 3.12 получаем, что |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
a11 |
a12 ... |
a1n |
|
a11 |
/ |
/ |
/ |
|
|||
|
|
|
|
|
|
|
||||||||||
|
|
A |
|
|
a21 |
a22 ... |
a2n |
|
0 |
|
22 |
... |
2n |
. |
||
|
|
|
|
|||||||||||||
|
|
|
|
|
... ... ... ... |
|
... ... ... ... |
|
||||||||
|
|
|
||||||||||||||
|
|
|
|
|
an1 |
an2 ... |
ann |
|
0 |
|
n2 |
... |
nn |
|
68
Если все элементы второго столбца последнего определителя, начиная со второго, равны нулю, переходим к его третьему столбцу. В противном случае, строчными элементарными преобразованиями, не меняя определителя, добиваемся выполнения условия 22 0 . Проводя цепочку элементарных
преобразований
|
|
|
|
|
i 2 |
|
|
|
|
|
|
|
|
|
|
C |
C |
2 |
, i 3, n , |
|
|
||||
|
|
|
||||||||||
|
|
|
|
i |
22 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
||
приходим к определителю |
|
|
|
|
|
|
|
|
||||
|
|
|
|
a11 |
/ |
|
|
/ |
/ |
|
/ |
|
|
|
|
|
|
|
|
|
|||||
|
0 |
22 |
|
/ |
/ |
|
/ |
|
||||
|
A |
|
|
0 |
0 |
|
33 ... |
3n |
. |
|||
|
|
|
||||||||||
|
... ... ... ... ... |
|
||||||||||
|
0 |
0 |
|
n3 ... |
nn |
|
Ясно, что продолжая этот процесс, на n -ом шаге мы получим матрицу верхнетреугольного вида, определитель которой равен определителю A ,
|
|
|
a11 |
/ |
/ |
/ |
/ |
|
|
0 |
2 2 |
/ |
/ |
/ |
|
||
A |
|
|
0 |
0 |
3 3 |
/ |
/ |
. |
|
||||||||
|
... ... ... ... ... |
|||||||
|
||||||||
|
0 |
0 |
0 |
... |
/ |
|
||
|
0 |
0 |
0 |
... |
nn |
|
Для того, чтобы матрицу A строчными элементарными преобразованиями привести к нижнее треугольному виду, не меняя еѐ определителя, нужно с помощью элемента ann получить нули в последнем столбце и т.д. Случай
столбцовых преобразований рассматривается аналогично. ►
Лекция XI.
План
3.8 . Теорема Лапласа.
3.9.Разложение определителя по элементам строки или столбца.
3.8Теорема Лапласа
Пусть A M n R , если в матрице A вычеркнуть k строк и k столбцов, k 1, n , то на пересечении этих строк и столбцов образуется матрица порядка k .
69
Определитель этой матрицы будем называть минором порядка k , составленным из элементов матрицы A , или просто минором k -ого порядка матрицы A . Элементы матрицы A , не принадлежащие ни одной из вычеркнутых строк и ни
одному из вычеркнутых столбцов, порождают минор порядка n k ( k 1, n 1), который будем называть минором, дополнительным к данному. Алгебраическим дополнением данного минора называется его дополнительный минор,
умноженный на 1 , где – сумма номеров вычеркнутых строк и столбцов. Например, в матрице
a |
a |
a |
a |
a |
|
|
|
11 |
12 |
13 |
14 |
15 |
|
a21 |
a22 |
a23 |
a24 |
a25 |
|
|
A a |
a |
a |
a |
a |
|
|
|
31 |
32 |
33 |
34 |
35 |
|
a41 |
a42 |
a43 |
a44 |
a45 |
|
|
|
|
a52 |
a53 |
a54 |
|
|
a51 |
a55 |
при вычеркивании строк A , A и столбцов A2 , A3 образуется минор M второго |
||||||
3 |
5 |
|
|
|
|
|
порядка |
|
|
|
|
|
|
|
|
|
a33 |
|
|
|
|
M |
a32 |
. |
|
||
|
|
|
a52 |
a53 |
|
|
Его дополнительный минор M д имеет вид |
|
|
||||
|
|
a11 |
a14 |
a15 |
|
|
|
|
|
||||
|
M д |
a21 |
a24 |
a25 |
. |
|
|
|
a41 |
a44 |
a45 |
|
Так как 3 5 2 3 13, то алгебраическим дополнением минора M является 1 13 Mд Mд .
Теорема Лапласа. Пусть A M n R и k 1, n 1. Определитель матрицы
A равен сумме произведений всевозможных миноров k -ого порядка, взятых из данных k строк (столбцов), на их алгебраические дополнения.
Например, проведем разложение определителя
|
a11 |
a12 |
a13 |
a14 |
A |
a21 |
a22 |
a23 |
a24 |
a31 |
a32 |
a33 |
a34 |
|
|
a41 |
a42 |
a43 |
a44 |
на основании теоремы Лапласа по первой и третьей строкам ( k 2 ),
70