Файл: Иохвидов, И. С. Ганкелевы и теплицевы матрицы и формы. Алгебраическая теория.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 21.10.2024
Просмотров: 145
Скачиваний: 0
§ 3] |
ВЫЧИСЛЕНИЕ НЕКОТОРЫХ ОПРЕДЕЛИТЕЛЕЙ |
|
25 |
|||||||||||||
|
|
Pft+l |
— |
|
р k+2 |
|
|
|
P/i+Z |
|
|
|
|
|||
|
|
■Vi |
= |
4, |
V 2 = |
2, |
..., v |
ft |
= |
к, |
|
|
|
|||
v ft+1 — п — |
^ |
|
|
v Л+2 — п |
— |
I |
+ |
2 , |
|
V h+l |
— |
П, |
||||
так что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ph+1 <С pft+2 < |
•••< |
Pft+z < |
011 < |
0.2 < |
аг <1 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
< |
Pi < Рг < ••• < |
Pft, |
||||
V i |
< v , < |
. . . < |
v |
ft < |
Pa |
< |
p 2 < . . . |
< |
p r |
< V |
ft+1 < |
|
|
|||
Поэтому |
|
|
|
|
|
|
|
|
|
< v |
fe+2 < |
... < v |
ftfi. |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
(J\x = |
к |
( l |
- j - r ) , |
CTv |
— |
|
|
|
|
|
||
и формула (3.2) дает (cp. [25]) |
|
|
|
|
|
|
|
|
||||||||
м<г)(д =мй(£,г1) = |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
ап . . . |
|
а1к |
|
|
|
|
|
|
•• а1п |
|
|
|
||
|
|
ап . . . |
|
а1к |
|
. . . |
ai,r |
|
|
•. |
Т), |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
................... |
|
А |
|
|
|
|
|
|
|
|
|
|||
|
|
& . . . |
|
«С, ft |
|
|
°а,т |
|
*' * аа, п |
|
|
|
||||
|
|
н |
|
|
5ft |
|
|
|
ап, |
т |
|
|
апп |
|
|
|
|
|
|
ft |
|
|
a „ -k+Bi e) |
z |
|
|
|
|
|
(3.7) |
|||
= (- 1f l+rm,)Ar П (g„ - |
П ha,- a*. пг+ш) |
|||||||||||||||
(где a = n — к + 1, x = |
n — l + |
1). |
|
|
|
|
|
|
|
|||||||
|
В частности, при ап_й+ш,ш= |
а, |
|
= |
£( со = |
1, 2, |
,.,/с); |
|||||||||
Cai,n-z+a, = |
Ъ, г)м = |
т] (ш = 1, 2, |
.., I) (этот случай |
встре |
||||||||||||
тится в гл. III) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
M ?z (£, Р) - |
( - |
1)Шг(Ш) Ат(| - |
a f |
(q - |
Ъ)1. |
(3.8) |
Еще более простой вид та же формула принимает, когда матрица 4 э р м и т о в а и к = I. Теперь Ъ= а, и если,
26 |
ОБЩАЯ |
ТЕОРИЯ |
МАТРИЦ |
И ФОРМ |
[ГЛ. I |
кроме того, положить ц = |
£, то получим |
|
|||
|
Mi% (£, 1) = |
m V (l) = ( - |
1)» A r\ l - а Г |
(3.9) |
Аналогично в случае (комплексной) симметрической мат рицы А при к — I и ц = ^ имеем вместо (3.8)
m V, (S, g) = m V (I) = ( - i)k а гц - a f . (зло)
В заключение заметим, что совершенно аналогично предложению 1° устанавливается предложение
2°. Определитель MVi (£, р) не изменится, если все его элементы, столикие в левом нижнем и правом верхнем углах соответственно ниже и выше диагоналей ...
..., и Ци ..., ц /I на схеме (3.7), заменить произвольными числами.
Ясно, что этот результат, в частности, расширяет сфе ру применимости формул (3.8) — (3.10).
Примеры и упражнения |
|
|
|
|
||
1. Пусть |
3 |
0 |
4 |
- 5 |
2 |
1 |
— 1 |
||||||
3 |
2 |
— 2 |
5 |
7 |
0 |
— 4 |
2 |
5 |
— 2 |
9 |
2 |
2 |
— 3 |
1 |
8 |
— 2 |
13 |
— 3 |
4 |
— 2 |
— 4 1 |
2 |
— 1 - 1 2 |
2 |
5 |
||
- 3 |
9 |
0 |
12 |
- 1 5 |
6 |
3 |
5 |
7 |
— 4 |
14 |
9 |
2 |
— 7 |
Здесь п = |
7, г = |
2 (все строки являются линейными комбинациями |
|||||||||||
первых двух независимых строк). Возьмем |
(г = |
|
2) |
р = |
2, = 2, |
||||||||
h = 4, £3 = |
6, £4 = |
7; |
/i = 1, 72 = |
3, / 3= 5 , |
/4 = |
6, т. е. (см. (3.1)) |
|||||||
|
|
= m V = а ( 2 4 6 Л= |
3 |
— 2 |
|
7 |
0 |
||||||
Р |
|
1 — 2 |
|
— 3 4 |
|||||||||
|
2 |
|
|
\1 3 5 бУ |
— 3 |
|
0 |
|
— 15 6 |
||||
Положим |
|
|
|
|
|
|
|
5 |
- 4 |
|
|
9 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pi = |
i4 = 7, |
|
pa = £1= 2, |
vi = |
/1 = |
1, |
V2= / 3 = |
5, |
|||||
Т, е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
ах = гг = 4, а2 = £3= 6; |
Рг = /г = 3 , |
Ра = /4 = 6, |
|||||||||||
/4Г = |
Аг = |
Л |
* “ Л = А / 4 6\ |
I— 2 |
|
4 |
= — 12, |
||||||
а |
В»/ |
\3 |
6 / |
| |
0 |
|
6 |
§ 3] |
ВЫЧИСЛЕНИЕ НЕКОТОРЫХ ОПРЕДЕЛИТЕЛЕЙ |
27 |
|||||
|
Теперь, о одной стороны, |
|
|
|
|
||
|
3 |
— 2 |
Сз 0 |
2 |
0 Сз + з |
— 4 |
|
|
1 |
— 2 - 3 4 |
1 |
-2 |
— 3 |
4 |
|
|
— 3 |
0 |
- -15 6 — |
— 3 |
0 |
- 1 5 |
6 |
|
|
5г — 4 |
|
9 2 |
C l - 2 |
|
0 |
15 — 6 |
|
||||||
|
|
|
|
= — 2 |
2 |
|
5з + |
з |
- 4 |
6 |
= |
|
|
|
|
|
|
|
|
— 3 |
|
-15 |
|
|
|
|
|||||
= |
— 2 [— (С* + 3) (18 - |
|
C l - 2 |
15 |
— 6 |
|
30)] = |
|
|
||||||
6?! + 1 2 ) - |
4 ( - |
45 + |
155i - |
|
|
||||||||||
= |
2 [(52 + 3) (30 - |
65,) + |
4 (155, - |
75)] = |
|
|
|
|
|
|
|||||
= |
2 [— б (5з + 3) (Сх — 5) -f 60 (5, — 5)] = |
|
— 12 (5, — 5) (5з + |
3 — 10) = |
|||||||||||
= - 1 2 ( 5 , - 5 ) (5 2 -7 ). |
|
|
|
|
|
|
|
|
|
|
|||||
|
С другой стороны, в наборах |
|
|
|
|
|
|
|
|
||||||
|
(М-и Рз, « 1, аз] |
= |
{7, |
2, 4, |
6}, |
{vj, |
v2, 0,, |
03} = |
{1, 5, 3, 6} |
|
|||||
количества |
инверсий равны: |
= 3, |
crv = |
1. |
Таким образом |
(см. |
|||||||||
формулу (3.2)), |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
( - |
l)°li+°'' |
А г (5, |
- |
а71) (52 - |
а15) = |
|
|
|
|
|
|
|
|||
|
= |
( - I)4 |
( - |
12) |
(5, - |
5) |
(52 - |
7) = |
- |
12 (5, - |
5) (52 - |
7) |
—в полном соответствии с леммой 3.1,
2.Вычислить (не раскрывая!) определитель
— 1 |
0 |
4 |
т |
2 |
1 |
3 |
— 2 |
5 |
7 |
112 |
— 4 |
2 |
— 2 |
9 |
2 |
2 |
Т]3 |
1 |
— 2 |
13 |
— 3 |
4 |
— 2 |
- 4 |
2 |
— 1 |
— 12 |
2 |
5 |
& |
— 4 |
14 |
9 |
2 |
— 7 |
|
Ответ. |
Д = |
24 (|, — 5) (т), + |
5) rja (т]3 + 3). |
|||||
У к а з а н и е . Рассмотреть минор AfjjT] = |
|
|
/1 |
2 3 4 5 7 |
|||||
М^\ — А |
3 4 5 6 7 |
||||||||
|
|
|
|
|
|
|
|
l l |
|
матрицы А примера 1 и воспользоваться формулой (3.7). |
|||||||||
3. |
Найти, не производя вычислений, корни многочлена третьей |
||||||||
степени |
3 |
0 |
4 |
— |
5 |
2 |
1 |
|
|
|
|
|
|||||||
|
2 |
— 2 |
5 |
|
7 |
0 |
— 4 |
|
|
|
8 |
— 2 |
13 |
— |
3 |
4 |
— 2 |
|
|
|
Рs W = 1 |
2 — 1 — 12 2 |
X |
|
|
||||
|
9 |
0 |
12 |
— 15 |
X |
— 8 |
|
|
|
|
7 |
4 |
14 |
|
X |
11 |
— 3 |
|
|
|
|
|
|
Ответ. Я,, = |
5, |
Я3= |
6, Х3 = 9. |
28 |
о вй и я ТЕОРИЯ |
МАТРИЦ |
И ФОРМ |
[гл. |
i |
||
У к а з а н и е . Снова, |
отправляясь от матрицы А примера |
1, |
|||||
использовать формулу (3.4) и предложение 1°. |
|
|
|||||
4. |
Вычислить (не раскрывая) определитель |
|
|
||||
|
1 |
£ |
- 1 |
\ |
0 |
|
|
|
— £ |
1 |
£ |
— 1 |
l |
|
|
|
- 1 |
— £ |
1 |
i |
— 1 |
|
|
|
|
— 1 |
— £ |
1 |
£ |
|
|
|
— 2 |
|
— 1 |
— i |
1 |
|
|
|
|
Ответ. |
Д = |\ — £|4. |
У к а з а н и е . Подобрав соответствующую матрицу А , ис |
|||
пользовать лемму 3.1 |
в форме (3.9) и предложение 2°. |
||
5. |
Обобщить |
предложения 1° и 2°, заметив, |
что в их условия |
требование расположения элементов, заменяемых произвольными
числами, |
строго п о |
о д н у (да еще вполне определенную) сторону |
|||||
от |
диагонали |
на |
схеме |
(3.4) и диагоналей |
. . ., |
и |
|
тц, |
.., тц |
на схеме |
(3.7), |
несущественно. |
|
|
|
|
§ 4. Матрицы и линейные операторы. Спектр |
|
|||||
|
4.1. |
Напомним, |
что |
собственными значениями |
ил |
собственными числами (в другой терминологии — харак
теристическими числами) матрицы А = ||Яо'||и= 1 назы ваются корни (здесь каждый корень повторен с учетом его
кратности) |
Х2, ..., |
Хп характеристического многочлена |
|||
|
|
|
ап — X |
Й12 |
■ ат |
1 |
ьГ |
|
ап |
022 — X . |
■ а2п |
II |
|
|
|||
|
|
|
ап1 |
ап2 |
■ ап п ~ Х |
= (— ^)п + |
|
(а1г + а22 + •. •+ |
апп) (— ^)n_1 + •.. + |А |(4.1) |
этой матрицы. Заметим (для нас это в дальнейшем будет существенно), что в силу приведенного выше определения
собственные числа матрицы являются непрерывными функ циями ее элементов *).
*) В самом деле, коэффициенты характеристического многочле на являются, как видно из (4.1), целыми рациональными, а потому
непрерывными функциями элементов матрицы. |
Корни же в с я |
|||
к о г о многочлена |
Рп (X) = сцЛ71+ аД п-1 + |
... -|- ап_1 X + |
ап |
|
(«о =f= 0) непрерывно |
зависят от его коэффициентов. Точный смысл |
|||
последнего |
утверждения таков: если при фиксированных значениях |
|||
do, cti, ..., |
а п различные корни Xi, Х2, ..., Хг многочлена Рп (X) |
име- |
§ 4J |
МАДРИДЫ Й ЛИНЕЙНЫЕ ОПЕРАТОРЫ. СПЕКТР |
29 |
Собственные значения матрицы имеют простой геомет рический смысл. Пусть Еп — комплексное п-мерное ли нейное пространство, a fa, е2, ..., еп} — некоторый его
базис. Матрице А = |a£j-||".j= 1 и этому базису можно, как известно, поставить в соответствие действующий в
пространстве Еп линейный оператор А , |
определив его на |
|
элементах базиса (а тем самым и во всем |
пространстве Еп) |
|
формулами *) |
|
|
Aej = aJtet + aj2e2 + ■•• + a}rien (/ = |
1,2, |
/г). (4.2) |
Тогда числа Х±, Х2, ...,Хп, определенные выше, и только они
являются собственными значениями |
оператора А, т. е. |
|||||||||
для каждого X = |
Xj (/ = |
1,2, |
п) существует такой век |
|||||||
тор |
Х — £iei |
+ ^2б2 + •••+ Ьпе п |
{=h 9) |
|||||||
|
||||||||||
из Еп, что Ах = |
Хх. |
|
|
|
|
|
|
|
||
Это утверждение получается немедленно, если заме |
||||||||||
тить, что равенство Ах = |
Хх равносильно системе линей |
|||||||||
ных однородных уравнений |
|
|
|
|
||||||
(ап — X) |
+ |
а21£2 + |
•••+ |
|
= |
О, |
||||
|
®12^1 + |
(®22 |
‘ |
|
|
®n2^n |
|
|||
OlnEl “Ь а2п ? 2 + |
•••“Н fain |
X) |
|
О, |
||||||
допускающей ненулевое решение х = |
{£ь £2, ..., |п} в том |
|||||||||
и только |
в |
том |
случае, |
когда X — корень уравнения |
||||||
|А—ХЕ \= |
0. |
Вектор ж называется в этом случае собствен |
||||||||
ным вектором оператора |
А, отвечающим собственному |
|||||||||
значению X. |
|
|
|
|
|
|
|
|
|
|
ют кратности si, sa, ..., sr |
соответственно |
(si + |
sa + |
... + sr = n), |
||||||
то для любого |
б > |
0 существует 6 > |
0 такое, что при |5, — а £|< |
|||||||
< б (i = 0, |
1, ..., п) в |
е-окрестности каждого из чисел Х)Сбудет на |
ходиться точно sh (с учетом кратности) корней многочлена Рп (К) =
= |
Ъ.оХп |
+ aiXn~1 - ) - ...+ &п_]Х -f- а п (k = 1, 2 ,..., г) — доказательст |
во |
см., |
например, в [10], § 73. |
|
*) |
Ясно, что и обратно: если линейный оператор А в простран |
стве Еп как-то задан, то формулы (4.2) однозначно относят ему и вы бранному базису {ei, ег, ..., еп} матрицу А = |а;, ||" 3-= г