linear_algebra_2
.pdfДоказательство.
Сведем матрицу A с помощью элементарных преобразований к треугольной матрице. Поскольку матрица невырожденная, то мы можем найти в первом столбце ненулевой элемент. Меняя строки местами, поставим этот элемент в первую строку. Итак, a11 6= 0. Для каждого
значения i = 2; 3; :::; n прибавим к i-й строке первую стороку, умноженную на ai1=a11. После этои преобразований мы получим новую матрицу вида
23
|
|
|
|
|
a11 |
a12 |
|
::: |
a1n |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
A1 = |
6: |
0 |
a220 |
|
::: a20 |
n |
7 |
: |
|
|
|
|
|
|
|
|
|
||||
|
|
0 |
a |
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
6 |
|
|
n0 2 |
|
::: |
|
nn0 |
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
: : : : : : : : : : : : : : : : |
5 |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
В дальнейших преобразованиях 1-я строка участвовать не будет. |
|||||||||||||||||||||||
Òàê êàê |
A1 |
= a11 |
|
a320 |
a330 |
::: |
|
a30 |
n |
= 0; |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
a22 |
a23 |
::: |
|
a2n |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
: : : : : : : : : : : : : : : : : |
|
|
|
|
|
|
|
|
|
|
||||||||
j j |
|
|
|
a |
a |
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
n0 |
3 |
::: |
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n0 2 |
|
|
nn0 |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
() |
|
|
|
|
|
|
|
|
|
|
|
|
|
15 февраля 2012 г. 61 / 82 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то среди элементов второго столбца a22; a32; :::; an2 существует нену-
левой. Переставим строки так, чтобы этот элементоказался во второй строке. Таким образом, a22 6= 0. Теперь для каждого значения
i = 3; :::; n прибавим к i-й строке вторую строку, умноженную наai2=a22. После этого матрица примет вид
23
|
|
a11 |
a12 |
::: |
a1n |
|
|
|
|
|
0 |
a220 |
::: |
a20 |
n |
|
|
|
6: : : : : : : : : : : : : : :00:n:7 |
|
||||||
A2 = |
6 |
|
|
::: |
a3 |
|
7 |
: |
|
6 |
|
|
|
|
|
7 |
|
|
6 |
|
|
|
|
|
7 |
|
|
4 |
0 |
0 |
::: |
ann00 |
5 |
|
|
|
|
|
|
Продолжив этот процесс, придем к треугольной матрице
|
2 |
a11 |
a12 |
a13 |
::: |
|
0 |
00 |
a0 |
|
|
|
|
0 |
a22 |
a23 |
::: |
6: : : : : : : : : : : 00: : : : : : |
|||||
|
6 |
|
|
|
::: |
An 1 |
= |
|
|
33 |
|
|
6 |
0 |
0 |
0 |
|
|
4 |
|
|
|
|
|
6 |
|
|
|
::: |
()
a1n 3
a20 n 7
a00 7
3n 77:
5
ann(n 1)
15 февраля 2012 г. |
62 / 82 |
На главной диагонали матрицы An 1 стоят элементы, отличные от íóëÿ.
Элементарные преобразования строк матрицы равносильны умножению матрицы слева на соответствующие матрицы элементарных преобразований. Поэтому процесс преобразования матрицы к треугольному виду можно представить в виде последовательного умножения слева исходной матрицы на матрицы элементарных преобразований :
En 1 En 2 ::: E2 E1 A = An 1:
Продолжим элементарные преобразования матрицы An 1. Óìíî-
жим первую строку на 1=a11, вторую на 1=a220 , и т.д., последнюю на 1=ann(n 1). В итоге получим матрицу с единицами на главной диаго-
íàëè :
() |
|
15 февраля 2012 г. |
63 / 82 |
23
1 |
a12 |
a13 |
::: |
a1n |
60 |
1 |
a23 |
::: |
a2n7 |
67
An = |
|
0 |
0 |
1 |
::: |
a3n |
7 |
: |
|
60 |
0 |
0 |
::: |
1 |
|
||
|
6 |
|
|
|
|
7 |
|
|
|
4 |
: : : : : : : : : : : : : : : : : : : : |
5 |
|
||||
|
|
|
|
|
|
|
Теперь будем последовательно прибавлять к первым n 1 строкам последнюю, умноженную соответственно на a1n; a2n; ::: ; a_n 1;n è
придем к матрице, у которой первые n 1 элементов последнего столб-
ца равны нулю. Действуя аналогичным образом, опираясь на предпоследнюю строку, получаем в первых n 2 позициях предпоследнего
столбца нули. Продолжая совершать подобные элементарные преобразования, окончательно получаем
Ak |
|
E = |
20 |
1 |
::: |
03 |
: |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
1 |
0 |
::: |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
60 |
0 |
::: |
17 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
6 |
|
|
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
: : : : : : : : : : : |
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
() |
|
|
|
|
|
|
|
|
|
|
|
15 февраля 2012 г. 64 / 82 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, совершив k элементарных преобразований в мат- рице A, мы привели ее к единичной. Используя матрицы элементарных преобразований, запишем результат в матричной форме :
Ek Ek 1 ::: E2 E1 A = E : |
(1.6) |
Способ построения обратной матрицы
Умножим обе части равенства (1.6) на матрицу A 1 справа :
Ek Ek 1 ::: E2 E1 A A 1 = E A 1: |
|
После пребразований мы получим равенство |
|
Ek Ek 1 ::: E2 E1 = A 1: |
(1.7) |
Это равенство лежит в основе способа построения обратной матрицы. Пусть A невырожденная матрица, и E единичная матрица такого же размера. Составим расширенную матрицу [AjE ].
() |
|
15 февраля 2012 г. |
65 / 82 |
Будем совершать над расширенной матрицей элементарные преобразования, равносильные умножению этой матрицы слева на элементарные матрицы Ek ; Ek 1; ::: ; E2; E1. Получим
[Ek ::: E2 E1 A j Ek ::: E2 E1 E ] :
Подставив равенство (1.7) в полученную расширенную матрицу, будем иметь [E jA 1].
Примечание 7
Применяя элементарные преобразования к расширенной матрице [AjB], можно получить матрицу [E jA 1B]. Матрица A 1B широко ис-
пользуется при решениии систем линейных уравнений.
Пример
Найти матрицу, обратную к
23
20 1
A = 41 1 05:
01 1
() |
|
15 февраля 2012 г. |
66 / 82 |
Составим расширенную матрицу и проведем последовательность элементарных преобразований :
2 |
1 |
|
1 |
|
0 |
|
|
0 |
|
1 |
03 |
==== |
2 |
2 |
|
0 |
|
1 |
|
1 |
0 |
|
|
03 |
====== |
|||||||||||||||||||
|
2 |
|
0 |
|
1 |
|
1 |
|
0 0 |
|
I1 I2 |
|
1 1 0 |
|
0 1 0 |
|
I2:=I2 2 I1 |
|||||||||||||||||||||||||||
|
0 |
1 |
|
1 |
|
|
0 |
|
0 1 |
|
|
|
) |
|
0 |
|
1 1 |
0 0 1 |
|
|
|
|
|
|
) |
|||||||||||||||||||
4 |
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
1 |
|
1 |
|
0 |
|
|
0 |
|
1 0 |
|
I2 I3 |
|
|
1 |
|
1 0 |
|
0 |
|
|
|
1 0 |
|
I3:=I3 2 I2 |
|||||||||||||||||||
2 |
0 |
2 |
|
1 |
|
|
1 |
|
2 |
|
|
|
|
|
2 |
0 |
1 |
|
|
0 |
|
|
|
0 |
|
13 |
||||||||||||||||||
|
|
|
|
|
|
|
03 ==== |
|
|
|
1 |
|
|
|
|
====== |
||||||||||||||||||||||||||||
|
0 |
|
1 |
|
1 |
|
|
0 |
|
0 1 |
|
|
) |
|
0 |
|
|
2 1 |
|
1 |
|
|
|
2 0 |
|
) |
||||||||||||||||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
1 |
|
1 |
|
|
0 |
|
|
0 |
|
|
1 |
|
|
0 |
I3:= |
1 I3 |
|
1 |
|
1 |
0 |
|
|
|
|
0 1 0 |
|
|
|
|
|||||||||||||
2 |
0 |
1 |
|
|
|
|
|
0 |
|
|
0 |
|
|
13 |
2 |
0 |
|
1 |
|
|
|
0 |
0 |
13 |
|
|
|
|
||||||||||||||||
|
|
|
1 |
|
|
|
|
|
===== |
|
1 |
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
0 |
|
0 |
|
|
1 |
|
|
1 |
|
|
2 |
|
|
2 |
|
|
|
) |
0 |
|
0 1 |
|
|
|
1 2 2 |
|
|
|
|
||||||||||||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
I2:=I2 I3 |
|
1 |
|
|
|
1 |
0 |
|
|
0 |
1 |
|
|
0 |
I1:=I1+I2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
2 |
0 |
|
|
|
0 |
|
|
1 |
2 |
|
|
13 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
===== |
|
|
|
|
1 |
|
|
|
===== |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
) |
|
0 |
|
|
|
0 1 |
|
|
1 |
2 |
|
2 |
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
2 |
1 |
0 |
|
0 |
|
|
|
1 |
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 0 |
|
|
1 |
|
2 |
|
|
13: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
0 |
0 |
|
1 |
|
|
|
1 |
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
() |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
15 февраля 2012 г. 67 / 82 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, обратная матрица равна
A 1 = |
2 |
1 |
2 |
13 |
: |
|
|
1 |
1 |
1 |
|
|
4 1 |
2 |
25 |
|
Ранг матрицы
Понятие ранга матрицы одно из фундаментальных в линейной алгебре.
Определение 1.19
В матрице A размера m n вычеркиванием каких-либо строк или
столбцов можно образовать квадратную матрицу k-го порядка. Определитель Mk такой матрицы называется минором k-го порядка. У матрицы размера m n есть миноры от первого до k-го порядка, где
k = min(m; n).
() |
|
15 февраля 2012 г. |
68 / 82 |
Определение 1.20
Рангом матрицы A называется наивысший порядок отличных от
m n
нуля миноров этой матрицы. Ранг матрицы обозначается rank (A) èëè r(A).
Свойства ранга
1)Ранг нулевой матрицы равен нулю;
2)r(A) min(m; n);
3)r(A) = n у квадратной матрицы n-го порядка тогда и только тогда, когда jAj =6 0.
Пример
Найти ранг матрицы
23
|
|
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
= 40 1 0 |
05 |
: |
|
|
|
|
|
|
|
|
|
|
|
||
|
3 4 |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
() |
|
|
|
|
|
|
|
15 февраля 2012 г. 69 / 82 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для матрицы A ðàíã r(A) min(3; 4) = 3. Чтобы проверить,
3 4
может ли ранг быть равным 3, вычислим все миноры 3-го порядка, которые можно образовать из матрицы вычеркиванием одного столб-
öà : |
0 1 0 |
|
|
1 1 0 |
|
1 0 0 |
|
||||||
M3(1) = |
= 0; M3(2) = |
= 0; M3(3) = |
= 0; |
||||||||||
|
0 |
1 |
0 |
|
|
1 |
1 |
0 |
|
1 |
0 |
0 |
|
|
1 0 0 |
|
|
0 0 0 |
|
0 1 0 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4) |
|
1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
= |
|
|
|
= 0: |
|
|
|
|
|
|
|
|
|
M3 |
1 0 1 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
0 |
|
|
|
|
|
Следовательно, ранг не может быть равным 3. Легко найти минор 2-го порядка, отличный от нуля, например
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M2 = |
1 |
0 |
= 1: |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда r(A) = 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
() |
|
|
|
|
|
15 февраля 2012 г. |
70 / 82 |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|