ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 16.10.2024
Просмотров: 145
Скачиваний: 1
д) ДОБАВЛЕНИЕ СТРОКИ К СТРОКЕ, УМНОЖЕННОЙ НА ЧИСЛО
Как было показано, |
добавление строки, |
умноженной на число, |
||||
к другой строке не влияет на величину определителя. Так, для |
||||||
а. |
bi |
C l |
|
оу+ Аа2 |
&14- АЬ2 |
Ci + Ас2 |
Л | = а2 |
bz С2 |
И |Д| |
аг |
Ь2 |
|
|
|
|
|
|
|
|
|
а3 |
Ь з |
C3 |
|
« 3 |
Ь з |
с3 |
мы показали, что | В \ — \ А \ . Заметим, однако, что добавление строки к другой строке, умноженной на число, не является тем же самым и приводит к иным результатам. Например, добавляя вторую строку к А раз взятой первой строке, получим определитель
|
Aflj -j"#2 |
Щ + Ь2 |
АI А |
\ С |
«2 |
К |
|
|
а3 |
Ьз |
|
Это происходит в связи с тем, что | С | получают из | А | путем умноже ния первой строки | А ] на А и добавления к ней второй строки. Первый из этих двух шагов, как было показано, изменяет | А | на А | А | , а вто рой не изменяет этой величины. Отсюда j С \ = А | А | .
Таким образом, в то время как строка, умноженная на число и до бавленная к строке, не оказывает влияния на определитель, добавле ние строки к строке, умноженной на число, имеет своим последствием то, что определитель оказывается умноженным на этот множитель.
Пример. |
|
|
|
|
|
- 2 |
1 |
—2 |
1 |
Ю, |
|
4 |
3 |
0 |
5 |
||
|
|||||
но |
|
|
0 |
5 |
|
2( —2) 4-4 |
2(1) + 3 |
||||
4 |
|
3 |
4 |
= 2 (-Ю ). |
|
|
3 |
4.СЛОЖЕНИЕ И ВЫЧИТАНИЕ ОПРЕДЕЛИТЕЛЕЙ
Вобщем случае сумма двух определителей (или их разность) не мо жет быть записана в виде одного определителя:
А I |
IД ! |
а и |
O J 2 |
Ь 11 |
Ь 12 |
|
|
-V |
|
||
|
|
а 21 |
а 22 |
Ь 21 |
Ь 22 |
- О.Ц а22—а12 а2г-Т Ьп 622—612 Ь21.
Эта сумма не может быть выражена через определители иначе, чем \А\ + | В \; например, она не может быть записана как | А + В | . То же самое можно сказать о разности | А \ — | В \ .
84
Так как определитель представляет собой скалярную величину, то оба выражения |Л| + | В | и | Л | — | Б | имеют смысл даже в том случае, когда Л и Б — квадратные матрицы разного порядка. Это свойство от лично от свойств матриц, для которых выражения Л + 8 и Л — Б имеют смысл только тогда, когда матрицы пригодны для суммирования (имеют один и тот же размер).
5. ПРОИЗВЕДЕНИЕ о п р е д е л и т е л е й
Можно показать, что, если Л и Б — квадратные матрицы одного порядка, то определители двух расчлененных матриц, включающих матрицы Л и Б, имеют следующий вид:
О |
Л |
А |
(7) |
|
— I |
В |
|||
|
|
и
ЛО
X в |
\ В \ , |
(8) |
|
|
где X — любая матрица того же порядка, что и Л, а О — нулевая мат рица (доказательство приведено в приложении к данной главе, см. раздел д).
Рассмотрим определитель |
|
Л |
О |
Добавляя Л раз взятые стро |
—/ |
Б |
|||
ки [—I В] к строкам [Л О], |
получим |
|
||
Определитель теперь равен |
Оw |
АВп и |
. Эта операция не повлияла на ве |
|
j |
^ |
|||
личину определителя. |
|
|
|
|
Следовательно, |
|
|
|
0 |
0 |
ЛБ |
Л |
||
—/ |
|
Б |
— I |
в |
Однако в соответствии с (7) |
левая сторона выражения (9) равна | АВ | , |
||
а согласно (8) правая сторона (9) равна |Л | \ |
В \ . |
||
Таким образом, |
|
|
|
|
JЛБ J = |
I Л 1| Б |. |
|
Кроме того, в связи с тем, |
что |Л | |
|Б | = |В | |
|Л | = | ВА | , получим |
|Л В |= |В Л |= |Л | |Б |.
Следовательно, мы приходим к важному выводу, согласно которому определитель произведения двух квадратных матриц одного порядка равен произведению определителей этих матриц.
85
П рим ер . Д о п у с т и м , |
что |
|
|
|
|
|
|
А |
2 |
8 |
и |
В —- |
5 |
11 |
|
|
|
|
30 |
||||
АВ = |
17 |
36 |
и |
ВА =-- |
|
8 |
|
44 |
94 |
|
103 |
||||
тогда |
|
|
[27 |
||||
и |
I АВ 1= |
1А \ |5 П |
|
в\ |
ЛП £Л -= 14. |
||
| Л | = 2, | В | = 7 |
|
||||||
|
|
|
|
|
= 1 |
|
6. ДИАГОНАЛЬНОЕ РАЗЛОЖЕНИЕ
Иногда расчет определителя может быть упрощен следующим обра зом: его матрицу представляют в виде суммы двух матриц, одна из ко
торых диагональная, т. е. в виде (A + П),гдеЛ |
= { а ц } > А / |
= 1 , 2 , . . . , |
п и D — диагональная матрица порядка п. |
(Напомним, |
что диаго |
нальная матрица есть квадратная матрица, у которой все недиагональ ные элементы равны нулю; см. параграф 6 главы I). Покажем, что определитель (А + D) может быть выражен в виде многочлена, состоя щего из элементов D.
Прежде всего введем сокращенные обозначения для миноров. Пусть
а11 |
<2i2 а1з . а1п |
||
a2i |
а 22 |
а 23 |
••• «2п |
|Л| = asX |
а 32 |
азз ■•• а 3п |
|
ani |
а п2 |
а пЗ |
& п п |
Обозначим теперь миноры с помощью только их диагональных ЭЛеМеН-
тов. |
|
^Ц |
а12 |
запишем как | ап |
, |
^ |
||
Например, |
|
агг \, таким же образом |
||||||
а12 |
ахз |
*21 |
*22 |
|
|
|
|
|
|
как |я12 |
а23|. Подобно этому | ап а 32| озна |
||||||
|
запишется |
|||||||
а,22 а,23 |
второго |
порядка, |
имеющий |
на |
диагонали |
элементы а21 |
||
чает |
минор |
|||||||
и а 32. Из |
записи |A j видно, |
что в этих |
же |
строках |
и столбцах со |
|||
держатся элементы а22 и asl, так что |
|
|
|
Й 2 1
I а21 ^"32 I "
а 31
а 22
Я( СО О
Аналогичным образом запишем минор третьего порядка:
а21
азх
a 4i
со со со со (N
a 2i
a3 i
ам
86
Предположим теперь, что В есть сумма двух матриц 2X2:
В = А -f- D, |
где А |
#11 |
#12 |
и D ----- |
хг |
О |
|
# 2 1 |
# 2 2 |
О |
Хп |
||||
|
|
|
|||||
Тогда определитель для В составит: |
|
|
|
|
|||
151 |
\A + D\ |
#11+*1 |
*1 2 |
|
|
||
|
*21 |
- г - X |
, |
|
|||
|
|
|
|
||||
Прямое разложение дает |
|
|
|
|
|
||
| В 1= (#ц “Ь Xi)(#22 Х2) |
#12#21- |
|
|||||
Преобразуя это выражение, приходим к следующему выводу: |
|||||||
5| —Ху х2 ! Ху Q-22 Т х2#ц |
*11 |
*12 |
(10) |
||||
•*21 |
|
||||||
|
|
|
|
|
|
Аналогичным путем этот результат может быть получен для определи теля 3x3:
|
|
# 1 1 + Х у |
й у 2 |
d y 3 |
|
|
|
|||
|
|
|
# 2 1 |
# 2 2 Т " Х 2 |
# 2 3 |
= |
|
|
||
|
|
|
# 3 1 |
|
# 3 2 |
# 3 3 ~ г х я |
|
|
||
|
— Х у |
Х 3 |
-f-Х у |
Х 2 #33 Х у |
Х 3 #22 -Т х2Х 3 й у у |
-Т |
|
|||
|
|
|
#11 |
|
|
|
# ц |
# 1 2 |
# 1 3 |
|
# 2 2 |
# 2 3 |
|
# 1 3 |
|
|
*12 |
||||
2 |
+ хз *21 |
# 2 2 |
# 2 3 |
|||||||
# 3 2 |
# 3 3 |
# 3 1 |
# 3 3 |
# 2 1 |
||||||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
# 3 1 |
# 3 2 |
# 3 3 |
Последнее выражение можно представить в сокращенной записи:
Х ] Х 2Х з ~Т X jX 2# 3 3 + |
ХуХ3а -2 2 |
Х 2Х - f l y y ~Т |
|
|
" Ь Ху I # 2 2 |
# 3 3 I “Ь Х2 1# 1 1 |
# 3 3 | |
|
|
~ Ь Х 3 1 й у у |
#22 I |
I #11 # 2 2 |
# 3 3 I • |
( И ) |
Рассматривая этот многочлен, заметим, что коэффициент при произ ведении всех х равен единице, коэффициенты у членов, содержащих про изведение двух х, являются диагональными элементами А, а коэффи циенты при х представляют собой миноры матрицы А второго поряд ка, у которых диагональные элементы совпадают с диагональными эле ментами | А |; наконец, независимый от х член равен самому определи телю | А | . Миноры А, играющие роль коэффициентов, а именно те ми норы, диагональные элементы которых совпадают с диагональными эле ментами | А | , называются главными минорами \ А \ .
Этот метод разложения известен как разложение по диагональным элементам или кратко — диагональное разложение. Он особенно эф
87
фективен тогда, когда многие из главных миноров А равны нулю, по скольку в таком случае разложение | А + D | с помощью этого метода в значительной мере упрощается.
Пример. Если
|
7 |
2 |
2 |
|
|
|
1в 1-- 2 |
8 |
2 |
9 |
|
|
|
|
2 |
2 |
9 |
|
|
|
записать;- |
|
|
|
|
|
|
2 |
2 |
2 |
|
'5 |
0 |
■0' |
\ B \ - - \ А- п - 2 |
2 2 -j - 0 6 0 |
|||||
2 |
2 |
2 |
|
0 |
0 |
7 |
Каждый элемент А равен 2, так что | А | и все миноры 2x2 равны нулю. Соответственно j В \, определяемое по формуле (11), состоит только из первых четырех членов:
| В | = 5 (6)7 + 5 (6)2 + 5 (7)2 + 6 (7)2 424.
Расчет определителя с помощью такого метода также эффективен
вслучае, когда все элементы диагональной матрицы/? равны друг дру гу, т. е. когда все величины х совпадают между собой. Разложение (11)
вэтом случае можно представить как
Xя 4~ х 2 (а и С" а + « з з ) 4~ х ( | й ц « 22 1 4~ | « и « з з I 4~ |
(1 2 ) |
4- [ а 22 « з з I ) + I 41 |. |
|
Пусть trx (Л) есть след матрицы А (напомним, что это — сумма диаго нальных элементов, см. параграф 6 главы I), а tr2 (Л) — сумма миноров второго порядка этой матрицы. Тогда выражение (12) может быть за писано в виде
х3 + |
х2 trx (Л) 4 -х tr2 (Л) + |
| Л | . |
(13) |
||
Разложение по диагонали определителя |
порядка п, |
записанное |
|||
в общем виде, будет выглядеть следующим образом: |
|
||||
xi ~Ь xi |
а12 |
«13 |
|
«1П |
|
а21 |
« 2 2 4“ Х 2 |
« 2 3 |
|
« 2 П |
|
ая1 |
К з 2 ^ 3 3 4-*з ■ |
« 3 и |
|
||
ап1 |
а п2 |
«ПЗ |
•• |
Опп + Хп |
|
Это выражение включает сумму всех возможных произведений г пе
ременных Xi, где г = п, п — 1 , .... 2, |
1 , 0; причем каждое |
произве |
||
дение умножено на |
дополнительный |
главный минор порядка |
п — г |
|
определителя j Л | . |
Под дополнительным главным минором |
матрицы |
||
Л понимают главный минор, чьи диагональные элементы |
отли |
|||
чаются от соответствующих элементов |
в | Л + D | при умножении |
8 8