Algebra
.pdfA |
|
1 7 |
a11 |
a12 |
a23 |
a24 |
1 8 |
a11 |
a13 |
a22 |
a24 |
1 9 |
a11 |
a14 |
a22 |
a23 |
|
|||||||||||
|
||||||||||||||||||||||||||||
|
|
|
|
a31 |
a32 |
a43 |
a44 |
|
|
a31 |
a33 |
a42 |
a44 |
|
|
a31 |
a34 |
a42 |
a43 |
|
||||||||
|
|
|||||||||||||||||||||||||||
|
a13 |
|
a21 |
a24 |
|
a12 |
a14 |
|
a21 |
a23 |
|
a13 |
a14 |
|
a21 |
a22 |
|
|||||||||||
1 9 |
a12 |
|
1 10 |
|
1 11 |
|
. |
|||||||||||||||||||||
|
|
|
a32 |
a33 |
|
a41 |
a44 |
|
|
a32 |
a34 |
|
a41 |
a43 |
|
|
a33 |
a34 |
|
a41 |
a42 |
|
3.9 Разложение определителя по элементам строки или столбца
Мы не будем останавливаться на доказательстве теоремы Лапласа в общем случае, отсылая читателя к учебнику [2], а докажем лишь частный случай этой
теоремы, когда k 1.
Предложение 3.15. Пусть A M n R . Тогда A равен сумме произведений
всевозможных элементов какой-либо строки (какого-либо столбца) на их алгебраические дополнения,
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
A |
aij Aij |
(или |
A |
a ji Aji ), i |
1, n |
, |
|
||||||||
|
|
|
|
|
|
|
|
j 1 |
|
|
|
|
|
j 1 |
|
|
|
|
|
|
где через Aij обозначается алгебраическое дополнение элемента aij . |
|
|||||||||||||||||||
◄ Принимая во внимание предложение 3.6, доказательство проведем |
|
|||||||||||||||||||
лишь в случае разложения определителя по произвольной строке. Вначале |
|
|||||||||||||||||||
рассмотрим частный случай, когда i n, а матрица А имеет вид |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
a |
a |
... |
a |
a |
|
|
|||||
|
|
|
|
|
|
|
|
|
11 |
12 |
|
|
|
1,n 1 |
1,n |
|
|
|||
|
|
|
|
|
|
|
|
|
a21 |
a22 |
|
|
... a2,n 1 |
a2, n |
|
|
||||
|
|
|
|
|
|
|
A ... |
... |
... |
... |
... |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
an 1,2 |
|
|
... an 1,n 1 |
|
|
|
||||
|
|
|
|
|
|
|
|
an 1,1 |
|
|
an 1,n |
|
||||||||
|
|
|
|
|
|
|
|
|
0 |
0 |
... |
0 |
a |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n,n |
|
|
|||
и покажем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
a11 ... |
a1,n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
A |
ann Ann ann |
... ... |
... |
. |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
an 1,1 ... |
an 1,n 1 |
|
|
|||||
Действительно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
A |
|
sgn a1 1 ...an 1 n 1 an n sgn a1 1 ...an 1 n 1 ann |
|
||||||||||||||||
|
|
|
||||||||||||||||||
|
|
|
S |
n |
|
|
|
|
|
S |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
ann sgn a1 1 ...an 1 n 1 , |
(3.28) |
|||||||||||
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n -ой степени вида |
|
|||||||||||
где Sn – множество всех перестановок |
|
71
1 |
n 1 |
n |
|
|
|
n 1 |
n |
|
, |
1 |
|
|
||
|
|
|
|
обладающих свойством n n . Рассмотрим множество всех отображений вида
|
|
|
|
|
|
|
|
|
|
|
1 |
... |
n 1 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
(3.29) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
n 1 |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
есть перестановка степени |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
где Sn . Так как { 1 , 2 , ..., n 1 } 1, n 1, |
|||||||||||||||||||||
n 1. Но различные перестановки |
из |
|
порождают различные перестановки |
||||||||||||||||||
Sn |
|||||||||||||||||||||
|
|
|
|
|
n 1 !. Поэтому множество перестановок |
вида (3.29), |
где |
||||||||||||||
|
|
||||||||||||||||||||
из Sn 1 и |
|
Sn |
|
||||||||||||||||||
|
|
|
|
|
|
с Sn 1 . |
|
Кроме |
того, |
|
|
по |
|
построению |
inv inv |
и, |
|||||
Sn , совпадает |
|
|
|
|
|
||||||||||||||||
следовательно, sgn sgn . Возвращаясь к равенству (3.28), получим, что |
|
||||||||||||||||||||
|
|
|
|
|
|
A |
|
ann |
sgn a1 1 ...an 1 n 1 |
ann Ann . |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
Sn 1 |
|
|
|
|
|
|
|
|
|
|
|
||
Пусть теперь все элементы строки Ai |
кроме, возможно, aij равны нулю, |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
/ |
/ |
/ |
/ |
/ |
/ |
/ |
|
|
|
||||
|
|
|
|
|
|
|
|
|
/ |
/ |
/ |
/ |
/ |
/ |
/ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
A 0 ... |
0 |
a |
0 |
... |
0 i . |
|
(3.30) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
ij |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/ |
/ |
/ |
/ |
/ |
/ |
/ |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
/ |
/ |
/ |
/ |
/ |
/ |
/ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
j
Последовательными взаимными переменами места соседних строк и соседних
столбцов переведем строку A на место |
|
|
A , а после этого – столбец A j на место |
||||||||||||||||||||
|
|
|
|
|
|
|
i |
|
|
n |
|
|
|
|
|
|
|
||||||
A |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в силу предложения 3.7 |
|
|
. Определитель полученной после этого матрицы A |
||||||||||||||||||||||
будет равен |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n i n j |
|
A |
|
|
M ij |
|
|
, |
||||
|
|
|
|
|
|
||||||||||||||||||
|
|
|
A |
|
|
1 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
aij |
|
|
где M ij – минор, дополнительный к |
|
элементу |
aij , а |
первые n-1 элементов |
|||||||||||||||||||
последней строки матрицы |
|
|
|
По доказанному выше, |
|||||||||||||||||||
A равны 0. |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
aijMij |
|
|
|
|
|
|
i j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
A |
|
1 |
A |
. |
|
|||||||||||
Откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
A |
|
a 1 i j M |
ij |
a A . |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
ij |
|
|
|
|
|
ij |
ij |
|
72
Переходя к общему случаю, представим строку Ai |
|
в виде суммы n векторов- |
||||||||||||||||
строк A k i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, k 1, n, порядка n , |
|
|
||||||||||||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ai A k ai1, 0,..., 0 0, ai 2 , 0,..., 0 ... 0,..., 0, ain . |
||||||||||||||||
|
|
|
k 1 |
i |
|
|
||||||||||||
В силу предложения 3.11 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
n |
|
|
||||||
|
|
|
|
|
|
|
|
A |
|
|
|
A k |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
||||||
где матрица |
A k получена из матрицы A заменой еѐ строки Ai на строку |
|||||||||||||||||
A k 0,...,0, aik ,0,...,0 . |
По доказанному выше |
|
A k |
|
aik Aik . Поэтому |
|||||||||||||
|
|
|||||||||||||||||
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
||||||
|
|
|
|
|
A |
|
aik Aik . ► |
|
|
|||||||||
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
||||||
|
|
|
|
|
|
|
|
Лекция XII. |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
План |
|
|
3.10.Определитель произведения матриц.
3.11.Формула обратной матрицы.
3.12.Теорема Крамера.
3.10Определитель произведения матриц
Сейчас мы рассмотрим ещѐ одно общее свойство определителя, важность которого для построения дальнейшей теории заставляет нас уделить ему особое внимание.
Предложение 3.16. Пусть A, B Mn (R) , тогда
|
|
|
|
|
|
|
|
AB |
|
|
|
A |
|
|
|
B |
|
. |
|
|
|
|
|
|
|
|
(3.31) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
◄ Из предложения 3.14 следует, что для матрицы A |
найдется такая |
|||||||||||||||||||||||||||
|
|
A FA является верхнетреугольной и |
|
A |
|
|
|
|||||||||||||||||||||
матрица F , что матрица |
|
|
A |
, а для |
||||||||||||||||||||||||
матрицы B найдется такая матрица |
G , |
|
что |
матрица |
B BG |
является |
||||||||||||||||||||||
верхнетреугольной и |
B |
|
B |
. Заметим, что при этом матрицы F и G являются |
||||||||||||||||||||||||
произведениями элементарных матриц, порождаемых трансвекциями. |
|
|
|
|||||||||||||||||||||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/ |
|
/ |
|
|
|
|
|
/ |
|
|
/ |
/ |
/ |
|
|
|||||
|
|
|
|
|
|
|
11 |
|
22 |
|
|
|
|
|
|
|
|
|
|
11 |
22 |
|
|
|
|
|
||
F AB G FA BG |
A B |
|
0 |
|
/ |
|
|
|
|
|
/ |
|
0 |
/ |
/ |
|
|
|||||||||||
... |
... |
... |
|
|
/ |
... ... |
... |
/ |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
0 |
... |
|
|
|
||||
|
|
|
|
|
|
|
|
... nn |
nn |
|
73
|
|
/ |
/ |
/ |
|
|
|
11 11 |
22 22 |
|
|
|
|
|
0 |
/ |
/ |
|
||
|
... |
... |
... |
/ |
. |
|
|
|
|||||
|
|
|
|
|||
|
0 |
0 |
... |
|
|
|
|
nn nn |
На основании свойства 5 элементарных преобразований (см. Лекцию III, 1.10) матрицы F и G при умножении матрицы AB не меняют еѐ определителя. Отсюда, учитывая предложение 3.13, получаем, что
AB F AB G A B 11 11 22 22... nn nn 11 22... nn 11 22... nn
A B A B . ►
3.11Формула обратной матрицы
Вкачестве первого приложения рассмотренного выше свойства определителя мы получим новый критерий обратимости квадратной матрицы и, самое главное, формулу обратной матрицы для квадратной матрицы общего вида. Но вначале докажем одно вспомогательное утверждение.
Предложение 3.17. (Лемма о «трансплантации»). |
Пусть A Mn (R) , а |
|||||||||||||||||||||||
матрица |
B получена из матрицы A путем «трансплантации» произвольного |
|||||||||||||||||||||||
вектора-строки b |
|
|
|
|
Rn |
|
|
|
|
|
|
|
|
|
||||||||||
, |
2 |
, ..., |
n |
вместо строки A , |
i 1, n . (Из матрицы |
|||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
||
A вырезается строка Ai |
, а на еѐ место вставляется строка b .) Тогда |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
k Aik , i |
1, n |
, |
|
(3.32) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
где Aik , |
k 1, n |
– |
|
|
алгебраические |
дополнения |
элементов строки |
|||||||||||||||||
Ai i1, i2 , ..., in . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
||||||||||||||||||
◄ Применим к матрице B предложение 3.15, проводя разложение |
B |
по |
||||||||||||||||||||||
строке Bi , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
12 |
|
... |
1n |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
... |
|
|
... ... ... |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
i 1,1 |
i 1,2 |
|
... i 1,n |
n |
n |
|
|
|
|
|
||||||||
|
|
B |
|
|
1 |
|
|
2 |
|
... |
n |
k Bik |
k Aik , |
|||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
i 1,1 |
i 1,2 |
|
... i 1,n |
k 1 |
k 1 |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
... |
|
|
... ... ... |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
n1 |
|
n2 |
|
... |
nn |
|
|
|
|
|
|
|
|
|
так как Bik Aik , k 1, n . Здесь мы пользуемся тем свойством, что алгебраические
дополнения элементов какой-либо строки матрицы не зависят от самих элементов этой строки. ►
74
Предлагаем читателю самостоятельно сформулировать и доказать аналог
леммы о «трансплантации» для случая столбцов. |
|
|
||||||||||
Предложение 3.18. Пусть A ij M n (R), тогда |
|
|||||||||||
n |
|
|
A |
|
, |
если i j, |
|
|||||
|
|
|
||||||||||
ik Ajk |
|
|
|
|
|
|
если i |
|
(3.33) |
|||
|
|
|
||||||||||
k 1 |
0, |
j, |
|
|||||||||
n |
|
|
A |
|
, |
если i j, |
|
|||||
|
|
|
||||||||||
ki Akj |
|
|
|
|
если i |
|
(3.34) |
|||||
|
|
|
||||||||||
k 1 |
0, |
j, |
|
|||||||||
◄ Докажем, например, |
формулу |
(3.33). |
Случай i j рассмотрен в |
предложении 3.15. Пусть i j . Тогда по лемме о «трансплантации» (см. (3.32))
|
|
A1 |
|
|
|
|
|
|
|||
|
|
... |
|
|
|
n |
|
Ai |
|
|
|
|
|
|
|
|
|
ki Ajk |
|
... |
|
|
0, |
k 1 |
|
Ai |
|
|
|
|
|
|
|
||
|
|
... |
|
|
|
|
|
An |
|
|
так как определитель имеет две одинаковые строки Ai на i-ом и на j-ом местах. Формула (3.34) доказывается аналогичным образом. ►
Определение. Матрицу A Mn (R) будем называть вырожденной, если A 0 . В противном случае матрица A называется невырожденной.
Предложение 3.19 (Критерий обратимости матрицы). Для того, чтобы матрица A Mn (R) была обратимой, необходимо и достаточно, чтобы она
была невырожденной.
Если матрица A невырожденная, тогда
|
|
A 1 |
|
|
|
1 ~ |
|
|
|||
|
|
|
|
|
|
|
A , |
|
(3.35) |
||
|
|
|
|
A |
|
|
|
||||
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
где матрица |
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
A |
... A |
|
|
|||||
|
|
11 |
21 |
|
|
|
n1 |
|
|
||
~ |
|
A12 |
A22 |
... An2 |
|
(3.36) |
|||||
A |
... ... |
... ... |
|
||||||||
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A1n |
A2n |
|
|
|
|
|
|
||
|
|
... Ann |
|
75
представляет собой транспонированную матрицу алгебраических дополнений элементов матрицы A .
◄ Необходимость. Пусть |
A GMn (R) . Тогда существует такая матрица |
||||||||||||||||||||||||||||||
B Mn (R) , что |
|
AB E . |
В |
силу предложения 3.16 |
|
AB |
|
|
|
A |
|
|
|
B |
|
|
|
|
|
E |
|
1. |
|||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Следовательно |
|
A |
|
0 . |
|
|
|
|
1 ~ |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Достаточность. Пусть |
|
A |
|
0 . Тогда существует матрица B |
|
|
|
|
|
A . Для |
|||||||||||||||||||||
|
|
|
|
A |
|
|
|||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
того, чтобы доказать, что B A 1 , нужно проверить два равенства
AB E и BA E .
Проверим, например, первое равенство. Используя свойство 5) операции умножения матриц (см. Лекция I, 1.7) и формулу (3.33), получаем, что
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
12 |
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
1 |
|
|
|
|
1 |
~ |
|
|
1 |
21 |
22 |
... |
||||||||||||
|
|
|
~ |
|
|
|
|
|
|
|
||||||||||||||
AB A |
|
|
|
|
|
A |
|
|
|
|
|
|
AA |
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
A |
|
|
|
|
A |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... ... ... |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 ... |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n1 |
1n2n
...
nn
A11A12
...
A1n
A |
... |
A |
|
|
|
21 |
|
n1 |
|
|
|
A22 |
... |
An2 |
|
|
|
... |
... |
... |
|
||
|
|||||
|
|
|
|
|
|
A2n |
... |
|
|
|
|
Ann |
|
|
|
|
|
|
|
|
A |
|
|
0 |
... |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
1 0 |
A |
... |
0 |
|
|
E . |
|||||||
|
|
|
|
|
... |
... |
|
|
|
|
||||||
|
|
A |
|
|
|
|
||||||||||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
... |
|
... |
|
|||||||||
|
|
|
|
|
|
0 |
... |
|
A |
|
|
|
||||
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
0 |
|
|
|
|
Равенство BA E предлагаем читателю проверить самостоятельно. ►
Пример 9. Пусть |
|
|
|
|
|
|
|
|
|
|
|
M |
|
(R) и |
|
A |
|
0. |
|
A |
|
|
|
|
|
||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда по формулам (3.35), (3.36)
A 1 |
1 |
|
|
|
|
|
|
|
. |
(3.37) |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
Эту формулу удобно применять на практике. Однако, для матриц более высокого порядка ( n 2 ) формулы (3.35), (3.36) с вычислительной точки зрения мало пригодны ввиду их громоздкости. И поэтому в этом случае следует использовать описанный в предыдущей главе алгоритм отыскания обратной матрицы методом Гаусса.
3.12 Теорема Крамера
76
В лекции VIII, 3.1 были приведены формулы Крамера для СЛАУ порядка два (см. (3.5)). Теперь же в качестве приложения формул (3.35), (3.36) получим формулы Крамера в общем случае. На самом деле, мы получим более общий
результат, касающийся неоднородной СЛАУ с квадратной матрицей. |
|
|||||||||||||||||||||||
Предложение 3.20. Пусть A |
ij |
M |
n |
(R) , b |
j |
|
Rn . Для того, чтобы |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
система уравнений |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 1 |
12 2 |
... 1n n |
1, |
|
|
|
|
||||||||||||||
|
|
|
21 1 |
22 2 |
... 2n n |
2 |
, |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
(3.38) |
||||||||||||||||||
|
|
... ... |
... ... |
|
|
|
... .. |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
n1 1 |
n2 2 |
... nn n |
n |
, |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||
была определенной, необходимо и достаточно, чтобы |
|
A |
|
0 . |
|
|||||||||||||||||||
|
|
|
||||||||||||||||||||||
Если последнее условие выполнено решение |
x 1, 2 , ..., n T |
системы |
||||||||||||||||||||||
(3.38) имеет вид |
|
|
|
|
|
A j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
, |
j 1, n , |
|
|
|
|
|
(3.39) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
где матрица |
A j |
получается из матрицы |
A заменой столбца A j на столбец |
|||||||||||||||||||||
свободных |
членов |
системы (иными |
словами |
A j получается |
из A |
|||||||||||||||||||
«трансплантацией» столбца b вместо столбца A j |
). |
|
|
|
|
|
|
◄Необходимость. Пусть система (3.38) определенная. Покажем, что
|
|
A |
|
0 . Допустим противное, что |
|
A |
|
0. В силу |
предложения 1.5 A BDrC , где |
||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||
B, C GMn (R) . |
|
Из предложения 3.16 следует, |
что |
|
A |
|
|
|
B |
|
|
|
Dr |
|
|
|
C |
|
0 , то есть |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
Dr |
|
0 , так как |
|
B |
|
0 , |
|
C |
|
0 в силу предложения 3.19. Следовательно, r n . |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
Так как СЛАУ (3.38) равносильна матричному уравнению |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ax b , |
(3.40) |
то последнее имеет единственное решение. Но уравнение (3.40) равносильно системе уравнений
|
|
1 |
|
Dr y d, |
d B |
b, |
(3.41) |
y Cx. |
|
|
|
Поэтому уравнение Dr y d имеет единственное решение, что невозможно, так как применение к соответствующей СЛАУ метода Гаусса,
|
|
1 |
|
|
d |
|
|
|
|
|
|
|
|||
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
d2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
||
D |
|
d |
1 |
|
d |
|
|
|
|
|
|||||
r |
|
|
|
|
|
r |
|
|
|
|
|
||||
|
|
|
|
0 |
dr 1 |
||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
dn |
|
|
|
|
|
|
|
77
показывает (см. Лекцию VII), что система (3.41), а с ней и уравнение (3.40) либо не имеют решений, либо имеют более одного решения.
Достаточность. Пусть |
|
A |
|
0 . |
Тогда матрица A |
обратима и в |
силу |
|
|
||||||
предложения 1.8 уравнения |
(3.40) |
при любой правой |
части b Rn |
имеет |
единственное решение x A 1b . По формулам (3.35), (3.36) с использованием леммы о «трансплантации» (предложение 3.17) получаем, что
|
|
|
|
|
|
|
|
1 |
|
|
|
x |
|
2 |
|
|
|
|
|
|
|||
|
|
||||
|
|
|
|
||
|
|
|
|||
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A11 |
A21 |
... An1 |
1 |
|
|
|
|
|
|
k Ak1 |
|
|
|
|
|
|
|
A 1 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
n |
|
|
|
|
|
A 2 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
1 A12 |
A22 |
... An2 |
|
|
|
1 |
|
|
|
k Ak 2 |
|
|
1 |
|
|
|
|
|
|
|
. |
||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
A |
|
|
... |
... |
... ... |
|
|
|
|
A |
|
|
k 1 |
|
|
A |
|
|
|
|
... |
||||||
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
A2n |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
A n |
|
|||||
|
|
|
|
|
A1n |
... Ann |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k Akn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Откуда и следуют формулы Крамера (3.39). ► Сделаем заключительные замечания по рассматриваемой теме.
Замечание 1. Приложение определителей во всех областях математики столь велико, что невозможно дать сколько-нибудь полного обзора на эту тему. Поэтому ограничимся характерными примерами из алгебры, геометрии и анализа.
Пример 10. Определитель Вандермонда ([3], гл.3, §2)
|
|
1 |
|
1 |
2 |
n 1 |
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
||
|
|
1 |
|
|
2 |
n 1 |
|
|
|
|
|
W 1, 2 , |
, n 1 |
2 |
i |
j , i, j 1, n (3.42) |
|||||||
|
|
2 |
2 |
||||||||
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
i j |
|
|
|
|
|
|
1 |
|
n |
2 |
n 1 |
|
|
|
|
|
|
|
|
|
n |
n |
|
|
|
|
встречается во многих разделах алгебры, анализа и др., а формула (3.42) дает простой способ его вычисления. Например,
1 |
1 |
1 |
1 |
|
1 |
2 |
4 |
8 |
2 1 3 1 4 1 3 2 4 2 4 3 12. |
1 |
3 |
9 |
27 |
|
1 |
4 |
16 |
64 |
|
Пример 11. Определитель Грама ([4], гл.4, §2)
78
|
|
|
|
a1, a1 |
|
a1, a2 |
|
a1, an |
|
|
|
|
|
|
|
||||||
|
Г a , a , , a |
n |
|
a2 , a1 |
|
a2 , a2 |
|
a2 , an |
|
, |
|
1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
an , a1 |
an , a2 |
an , an |
|
|
||
где a , a , |
, a Rn , совпадает с квадратом объема n мерного параллелепипеда, |
|||||||||
1 2 |
n |
|
|
|
|
|
|
|
|
|
натянутого на векторы a1,a2 , |
|
, an. |
|
|
|
|
|
|
Элементами определителя могут быть не только числа, но и многочлены, функции, матрицы и т.д.
Пример 12. Определитель
|
|
|
|
|
|
|
|
|
11 |
|
12 |
1n |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
A E |
|
|
|
|
|
21 |
|
22 |
2n |
|
|
||||
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
n1 |
|
n2 |
nn |
|
|
является многочленом |
от |
|
|
|
|
|
|
степени |
n и |
называется характеристическим |
||||||
многочленом матрицы |
A |
|
ij |
|
|
|
|
Mn R . |
Характеристический многочлен играет |
|||||||
|
|
|
|
важную роль в спектральной теории матриц и будет детально изучаться в третьей части данного курса ([4], гл.2, §3, [7], гл.4, 4.1).
Пример 13. Функциональный определитель Якоби системы n дифференцируемых функций от n переменных
|
y f |
|
x , x , |
, x |
, |
||||||
|
|
1 |
1 |
1 |
2 |
n |
|
||||
|
y2 f2 |
x1, x2 , |
, xn |
, |
|||||||
|
|
|
|
|
|
|
|
|
|
|
(3.43) |
|
|
|
|
|
|
x , x , |
|
|
, |
||
|
y |
n |
f |
n |
, x |
||||||
|
|
|
|
1 |
2 |
n |
|
||||
имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
y1 |
|
y1 |
|
|
y1 |
|
|
|||
|
|
|
|
||||||||
|
x1 |
|
x2 |
|
xn |
|
|||||
|
y2 |
|
y2 |
|
y2 |
|
|
||||
|
x1 |
|
x2 |
|
xn |
, |
|||||
|
yn |
|
yn |
|
yn |
|
|
||||
|
x1 |
|
x2 |
|
xn |
|
называется якобианом системы (3.43) и имеет большое значение в анализе функций многих переменных ([3], Приложение 1).
79
Замечание 2. Значение теории определителей для математики столь существенно, что созданы различные варианты построения этой теории, отличные от того варианта, которым мы воспользовались выше. Здесь мы остановимся еще на одном определении «по индукции», заметив, что более подробный обзор на эту тему содержится в учебнике [3], гл. 3, §4.
Будем считать, что определитель матрицы A 11 M1 R равен числу11 . Определители матриц второго и третьего порядков вводим соответственно
по формулам (3.4) и (3.20). |
Пусть определители порядков 1,2, , n 1 уже |
||||||||||||||||||
определены. Назовем определителем матрицы A Mn R величину |
|||||||||||||||||||
|
|
A |
|
1 n 1 |
M |
n1 |
1 n 2 |
n2 |
M |
n2 |
|
1 2n |
nn |
M |
nn |
, |
|||
|
|
||||||||||||||||||
|
|
|
|
|
|
|
n1 |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
порядка n 1 |
|
||||||||
где Mni , i 1,n |
миноры |
|
|
матрицы |
|
A |
|
получающиеся |
|||||||||||
вычеркиванием в A |
строки |
A |
и столбца |
Ai . |
Легко убедиться, что выражения |
||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
при n 2,3 совпадают с формулами (3.4), (3.20).
Новое определение определителя равносильно его определению, данному в пункте 3.6, и порождает эквивалентную теорию определителей, описанную выше.
80