05 Определители
.pdfСвойства определителей (3)
Предложение 3
Если матрица имеет порядок n > 2, то при перестановке местами двух ее различных строк ее определитель умножается на 1.
Доказательство. Это утверждение, как и предложение 1, мы докажем индукцией по порядку матрицы. Пусть A = (aij )n n.
База индукции. Если n = 2, то
a11 |
a12 |
= a21a12 a22a11 |
= (a11a22 |
a12a21) = |
a21 |
a22 |
: |
|||
a21 |
a22 |
|
|
|
|
|
a11 |
a12 |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Шаг индукции. Пусть теперь n > 2. Предположим, что доказываемое утверждение выполняется для матриц порядка < n и докажем его для матриц порядка n. Матрицу, полученную из A перестановкой строк, обозначим через A0. По предположению индукции A01i = A1i для всякого 2 6 i 6 n. Если среди переставляемых строк не было первой, то
jA0j = a11A011 +a12A012 + +a1nA01n = a11A11 a12A12 a1nA1n = jAj:
Предположим теперь, что среди переставляемых строк была первая. Для определенности будем считать, что переставлялись первая и вторая строки (в общем случае доказательство абсолютно аналогично).
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (4)
Если i; j; k; ` 2 f1; 2; : : : ; ng, причем i 6= k и j 6= `, то через Mijk` мы обозначаем минор матрицы A, полученный вычеркиванием из нее i-й и
k-й строк и j-го и `-го столбцов. Разлагая сначала определитель матрицы A по первой строке, а затем каждый из миноров вида M1j по его первой строке, имеем
jAj = a11A11 + a12A12 + + a1nA1n =
=a11M11 a12M12 + + ( 1)1+na1nM1n =
=a11 a22M2211 a23M2311 + + ( 1)na2nM211n
|
a |
12 |
a21M12 |
|
a23M12 |
+ |
|
|
|
+ ( |
|
1)na2nM12 |
+ |
|
||
. . |
. . |
. .+. |
. .21. . |
. . |
. . . .1.n.23. . |
. . |
. |
. |
. |
.1.n. |
. |
. . |
. . . . . . . .2.n.n. |
. . . . . . .1.n. . . . |
.: |
|
+ ( 1)n |
1a1n a21M21 a22M22 |
+ + ( 1) a2 n 1M2 n 1 |
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (5)
Если проделать аналогичные действия с определителем матрицы A0, то мы получим алгебраическую сумму тех же самых миноров с теми же самыми множителями. Осталось лишь проверить, что знаки соответствующих слагаемых в разложениях для определителей матриц A и A0 будут противоположными. В самом деле, поскольку
|
|
|
|
|
|
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a21 a22 : : : a2n |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
A0 = B a. 11. . .a.12. . |
.::.::.::. .a.1.n. |
C; |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
B an1 |
an2 |
|
ann |
C |
|
|
|
|
|
|
|
|
|
|
имеем |
|
|
|
|
|
|
|
@ |
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
jA0j = a21A110 + a22A120 |
+ + a2nA10 n = |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
= a21M110 a22M120 + + ( 1)n+1a2nM10n: |
|
|
|||||||||||||||
Далее, (M0)21jm = M12mj для всех j; m = 1; 2; : : : ; n, j 6= m, и потому |
|
|
||||||||||||||||||||
j |
A0 |
j |
= a21 a12M1221 |
|
a13M1321 + |
|
+ ( |
|
1)na1nM121n |
|
|
|
|
|||||||||
|
|
a22 |
|
22 |
22 |
+ ( |
n |
22 |
|
|
||||||||||||
|
|
|
|
a11M11 |
|
a13M13 + |
. . |
|
1) |
a1nM1n |
+ |
|
|
|
|
|
||||||
|
|
|
. . |
. . . . |
. .n.+.1. |
. . . |
. . |
. . . .2.n. . . . . |
.2.n. . |
. . |
. . . |
. . . . . . . |
n. |
. |
. |
|
. . . . |
. |
2.n. . . . |
:. |
||
|
|
|
+ ( 1) |
a2n a11M11 a12M12 + |
+ ( 1) a1 n 1M1 n 1 |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (6)
Ясно, что a11a22M2211 = a22a11M1122. Но в разложение для jAj это слагаемое входит со знаком плюс, а в разложение для jA0j со знаком минус. Аналогично, a12a21M2112 = a21a12M1221. Но в разложение для jAj это слагаемое входит со знаком минус, а в разложение для jAj со знаком
плюс. Аналогично требуемый факт устанавливается для всех остальных слагаемых. Предложение доказано.
Предложение 4
Если матрица имеет две одинаковые строки, то ее определитель равен нулю.
Доказательство. Это утверждение легко вытекает из предложения 3. В самом деле, если две одинаковые строки поменять местами, то определитель с одной строны сменит знак на противоположный (в силу предложения 3), а с другой не изменится, так как матрица останется прежней. Следовательно, определитель равен нулю.
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (7)
Предложение 5
Если каждый элемент некоторой строки матрицы представлен в виде двух слагаемых, то ее определитель равен сумме определителей двух матриц, в первой из которых элементы этой строки равны первым слагаемым, а во второй вторым слагаемым, а все остальные строки в обеих матрицах те же, что и в исходной матрице.
Доказательство. Надо доказать, что
|
. |
.a. 11. . |
. . . . |
. . |
a. .12. |
. . . |
.:.:.:. |
. |
. .a. 1.n. |
. . |
|
|
|
|
|
|||
|
0 |
|
+ |
00 |
0 |
+ |
00 |
: : : |
|
0 |
+ |
00 |
|
= |
|
|
|
|
ai1 |
|
ai1 ai2 |
|
ai2 |
|
|
|
ain |
|
ain |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
. |
|
. . . |
. . . . . |
. |
. . . |
. . . |
. |
. . . |
. |
. . |
. . . |
. . |
|
|
|
|
|
|
|
an1 |
|
|
an2 |
|
: : : |
|
ann |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a. 11 a.12 |
|
|
|
|
|
a. 11 a.12 |
|
|
|
|
|
|||||
|
|
:.:.:. .a.1.n. |
|
:.:.:. .a.1.n. |
|
|||||||||||||
= |
|
0 |
0 |
: : : |
0 |
|
+ |
|
00 |
00 |
: : : |
00 |
|
: |
||||
|
|
ai1 |
ai2 |
|
|
ain |
|
|
ai1 |
ai2 |
|
|
ain |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . . |
. . . . . |
. |
. . . |
. . . |
|
|
|
. . . . |
. . |
. . |
. |
. . . |
. . . |
|
|
|
|
|
|
|
: : : |
ann |
|
|
|
|
|
|
: : : |
ann |
|
|
||
|
|
an1 an2 |
|
|
|
|
an1 an2 |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (8)
Вновь воспользуемся индукцией по порядку матрицы. Если n = 1, то доказываемое утверждение очевидно. Предположим, что оно доказано для матриц порядка < n. Матрицы, входящие в равенство, приведенное на предыдущем слайде, обозначим через A, B и C (в том порядке, в котором они появляются в этом равенстве). Рассмотрим сначала случай, когда
i = 1. Тогда A1j = B1j = C1j для всякого 1 6 j 6 n (поскольку все строки со второй по n-ную в матрицах A; B и C совпадают). Имеем
jAj = (a110 + a1100 )A11 + (a120 + a1200 )A12 + + (a10n + a100n)A1n =
=(a110 A11 + a120 A12 + + a10nA1n) + (a1100 A11 + a1200 A12 + + a100nA1n) =
=(a110 B11 + a120 B12 + + a10nB1n) + (a1100 C11 + a1200 C12 + + a100nC1n) =
=jBj + jCj:
Предположим теперь, что i > 1. Тогда, в силу предположения индукции, A1j = B1j + C1j для всякого 1 6 j 6 n. Следовательно,
jAj = a11A11 + a12A12 + + a1nA1n =
=a11(B11 + C11) + a12(B12 + C12) + + a1n(B1n + C1n) =
=(a11B11 + a12B12 + + a1nB1n) + (a11C11 + a12C12 + + a1nC1n) =
=jBj + jCj:
Предложение доказано.
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (9)
Предложение 6
Если к некоторой строке матрицы прибавить другую ее строку, умноженную на некоторое число, то определитель матрицы не изменится.
Доказательство. Это утверждение легко вытекает из предложений 1, 2 и 5. В самом деле, предположим, что мы прибавили к i-й строке матрицы ее
j-тую строку, умноженную на t. Используя сначала предложения 5 и 1, а затем предложение 2, имеем
. . . |
a.11. . . . . |
. . . . |
a.12. . . . . |
.:.:.:. |
. . . |
.a.1.n. . . |
|
|
|||||
|
a |
|
|
a |
i2 |
: : : |
|
a |
in |
|
|
||
|
i1 |
|
|
|
|
|
|
= |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . . |
. . |
. . . . . |
. . . |
. |
. |
. . . . . |
. . . . |
. . . |
. |
. |
. . . |
|
|
|
+ |
tai1 |
aj2 |
+ |
tai2 |
: : : |
ajn |
+ |
tain |
|
|
||
aj1 |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . . |
. . |
. . . . . |
. . . |
. |
. |
. . . . . |
. . . . |
. . . |
. |
. |
. . . |
|
|
|
an1 |
|
an2 |
: : : |
|
ann |
|
|
|||||
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (10)
|
a. 11. . .a.12. . .:.:.:. .a.1.n. |
|
|
|
|
a. 11. . .a.12. . .:.:.:. .a.1.n. |
|
|
|||||||||||
|
a |
i1 |
a |
i2 |
: : : a |
in |
|
|
|
|
a |
i1 |
a |
i2 |
: : : a |
|
|
||
= |
|
|
|
|
|
+ |
|
|
|
|
|
in |
|
= |
|||||
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|||
|
. . |
. . |
. . |
. . |
. . . . |
. . |
. |
|
|
|
. . |
. . |
. . |
. . |
. . . . |
. . . |
|
|
|
|
|
|
|
|
: : : |
ajn |
|
|
|
|
|
|
|
|
: : : |
ain |
|
|
|
|
aj1 aj2 |
|
|
|
|
|
ai1 ai2 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . |
. . |
. . |
. . |
. . . . |
. . |
. |
|
|
|
|
. . |
. . |
. . |
. . |
. . . . |
. . . |
|
|
|
|
|
|
|
: : : |
ann |
|
|
|
|
|
|
|
|
: : : |
ann |
|
|
|
|
an1 an2 |
|
|
|
|
|
an1 an2 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a. 11. . .a.12. . . |
:.:.:. .a.1.n. |
|
|
|
|
|
|
a. 11. . |
||||||
|
a |
i1 |
a |
i2 |
: : : a |
in |
|
|
|
|
|
|
a |
i1 |
|
= |
|
|
|
|
|
+ |
|
|
|
= |
|
||||
|
|
|
|
|
|
|
|
t |
|
0 |
|
|
|||
|
. . |
. . |
. . |
. . |
. . . . |
. . |
. |
|
|
|
|
. . |
. |
||
|
|
|
|
|
: : : |
ajn |
|
|
|
|
|
|
|
||
|
aj1 aj2 |
|
|
|
|
|
|
|
aj1 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . |
. . |
. . |
. . |
. . . . |
. . |
. |
|
|
|
|
|
|
. . |
. |
|
|
|
|
|
: : : |
ann |
|
|
|
|
|
|
|
|
|
|
an1 an2 |
|
|
|
|
|
|
|
an1 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Предложение доказано.
a12
. . . .
ai2
. . . .
aj2
.. . .
an2
: : : a1n
. . . . . . . .
: : : ain
. . . . . . . . :
: : : ajn
. . . . . . . .
: : : ann
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (11)
Предложение 7
Сумма произведений элементов некоторой строки матрицы на их алгебраические дополнения равна определителю матрицы.
Иными словами,
jAj = ai1Ai1 + ai2Ai2 + + ainAin
для всякого 1 6 i 6 n. Это равенство называется разложением определителя по i-й строке.
Доказательство. Если i = 1, то доказываемое утверждение есть не что иное, как определение определителя n-го порядка. Предположим теперь, что i > 1. Переставляя последовательно i-тую строку с (i 1)-й, (i 2)-й,
. . . , наконец, с первой, и используя предложение 3, имеем
Б.М.Верников |
Лекция 5: Определители |
Свойства определителей (12)
a11 a12 : : : a1n
a. .i1. . |
a. .i2. . |
:.:.:. . .a.in. |
= ( 1)i 1 |
|
|
|
|
|
|
|
|
. . . . . . . . . . . . . . .
an1 an2 : : : ann
ai1 |
ai2 : : : ain |
a11 a12 : : : a1n
. . . . . . . . . . . . . . . . . . . . .
ai 1 1 ai 1 2 : : : ai 1 n =
ai+1 1 ai+1 2 : : : ai+1 n
. . . . . . . . . . . . . . . . . . . . .
an1 an2 : : : ann
=( 1)i 1 ai1( 1)1+1Mi1 + ai2( 1)1+2Mi2 + + ain( 1)1+nMin =
=ai1( 1)i+1Mi1 + ai2( 1)i+2Mi2 + + ain( 1)i+nMin =
=ai1Ai1 + ai2Ai2 + + ainAin:
Предложение доказано.
Б.М.Верников |
Лекция 5: Определители |