книги / Линейная алгебра.-1
.pdf
|
|
1. ПОНЯТИЕ ЛИНЕЙНОГО ОПЕРАТОРА |
|
|
|
121 |
||||||||
в У. Д ействительно, в этом случае из условия А х |
= 0 |
вы текает х |
= |
О, |
||||||||||
а это означает, что различны м x i и Х2 отвечаю т различны е у \ |
= |
A x i |
||||||||||||
и у 2 |
= А х 2 (если бы у ! = |
у 2, то А (х 2 — x i) |
= 0 |
, т. е. x i |
= |
х 2 |
и |
|||||||
элем енты x i |
и Х2 |
не бы ли бы различны ). |
|
|
|
|
|
|
|
|||||
Таким образом, согласно доказанном у вы ш е утверж дению |
условие |
|||||||||||||
ker А |
= 0 я в ля е т с я |
необходим ы м и дост ат очны м |
для т ого, чтобы |
|||||||||||
оператор А |
и м ел обратный. |
|
|
|
|
|
|
|
|
|||||
О п р едел ен и е |
3. |
Образом |
линейного оператора А |
н азы вается |
||||||||||
м нож ество всех |
элементов |
у п ространства У , |
представим ы х |
в ви |
||||||||||
де у |
= А х . |
О браз |
линейного |
оператора А |
обозначается символом |
|||||||||
im А |
1) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
З а м е ч а н и е |
2 |
. О тм етим , |
что если ker А |
= |
0 , то im A |
= |
У, |
и |
||||||
наоборот. П оэтому |
н аряду |
с отмеченны м вы ш е |
условием |
ker А |
= |
О |
||||||||
условие im A |
= |
У |
т акж е |
я в ля е т с я необходим ы м |
и дост ат очны м |
|||||||||
для т ого, чтобы оператор А и м ел обратный. |
|
|
|
|
|
|
|
|||||||
З а м е ч а н и е |
3. |
О чевидно, |
ядро ker А и |
образ |
im A — линейны е |
подпространства п ространства У. П оэтом у мож но рассм атри вать раз м ерност и dim (ker А ) и dim (im A ) этих подпространств.
С праведлива следую щ ая теорем а.
Т еорем а 5.1. П уст ь разм ерност ь dim У прост ранст ва V равна п,
и пуст ь А — ли н ей н ы й оператор из L (У, У ). Тогда
dim (im A ) + dim (ker А ) = n.
Д о к а з а т е л ь с т в о . Т ак как |
ker А |
представляет собой подпрос |
|||||||||||
транство |
У, |
то |
мож но |
указать такое подпространство V\ |
простран |
||||||||
ства У, что У будет представлять собой прям ую сумму V\ |
и ker А 2) . |
||||||||||||
С огласно |
теореме |
2.10 |
dim V\ + dim (ker A ) = n. П оэтом у д л я до каза |
||||||||||
тельства теорем ы достаточно убедиться, что d im C i = dim (im A ). |
|||||||||||||
П усть |
d im C i |
= |
р, |
d i m ( i m A ) |
= g и |
y i , |
у 2 , ... , |
у п ~ б а з и с в |
i m A . |
||||
Т ак как |
линейны й оператор А действует |
взаим но |
однозначно |
из V\ |
|||||||||
в im А 3) , то |
каж дом у |
элементу |
у |
из |
im A |
мож но |
поставить в |
соот |
|||||
ветствие |
единственны й |
элемент х |
£ |
V\ |
такой, что |
А х = у. П оэтому |
|||||||
0 Символ im следует отличать от символа Im, используемого для обозначения |
|||||||||||||
мнимой части комплексного числа. |
|
|
|
|
|
|
|
|
|||||
2) Чтобы убедиться в этом, выберем в У |
такой базис e i, |
ег, ..., |
е п , что пер |
||||||||||
вые г векторов |
e i, ег, ..., |
е г образуют |
базис |
в ker А, тогда |
линейная оболочка |
||||||||
векторов e r + i, |
..., |
е п представляет собой |
V\ |
(см. подробнее гл. 4). |
|
|
3) По аналогии с линейными операторами, действующими взаимно однозначно из У в У, можно ввести понятие линейного оператора А, действующего взаимно однозначно из линейного пространства У в линейное пространство W . Эти опе раторы характеризую тся тем, что различным элементам x i и Х2 пространства У
122 |
|
|
|
|
|
|
ГЛ. 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
|
|
|
|
|
|
||||||||||
в Vi определены элем енты |
x i, |
Х2 , ... , x q такие, что |
Ах& |
= |
|
у к, |
к = |
||||||||||||||||
= |
1 , 2 |
, . . q. |
Э лементы |
x i, |
Х2 |
, . . х д линейно |
независимы , |
|
ибо |
если |
|||||||||||||
a ± x i + |
<л2 х 2 |
+ |
. .. + |
a qx q |
= |
0 , то А (а д х 1 |
+ <л2 х 2 |
+ |
. .. + oiqx q) = |
a a y i + |
|||||||||||||
+ |
« 2 У2 + . .. |
+ |
OLqy q = 0 |
, а |
так |
как |
элем енты |
y i, У2 , ... , |
y q линейно |
||||||||||||||
независимы , |
то |
cui = |
а 2 |
= |
. .. |
= |
a q |
= |
0 , т. е. и |
x i, |
Х2 , ... , |
x g |
линей |
||||||||||
но независимы . Таким образом, в V\ |
имеется q линейно независимы х |
||||||||||||||||||||||
элементов. С ледоват ельно, р ^ |
q (напомним, что p = dimVi) . |
|
|
|
|||||||||||||||||||
|
П редполож им , |
чт о |
р |
> |
q. |
Д обавим |
|
к |
линейно |
независи |
|||||||||||||
мым элементам |
x i, |
Х2 , ... , |
x g |
элем енты |
x g + i, |
x g + 2 |
5 • • |
х р |
так, |
что |
|||||||||||||
x i , х 2, ... , |
Хр образую т базис в V \. Т ак |
как р |
> q и q — dim (im А ), то |
||||||||||||||||||||
элем енты |
A x i, |
А Х 2 |
, ... , |
А х р, принадлеж ащ ие |
im А , линейно |
зависи |
|||||||||||||||||
мы, и |
поэтому |
сущ ествую т |
не |
все равны е нулю |
числа Ai, А2 |
, ... , Хр |
|||||||||||||||||
такие, |
что |
Ai A x i + А2 А Х 2 |
+ . .. + |
ХрА х р |
= |
|
0 . |
О тсю да |
|
следует, |
|||||||||||||
что A( A I XI |
+ A 2 X2 + |
. . . +АрХр) |
= |
0. |
Т ак |
как |
А |
действует из V\ |
|||||||||||||||
в |
im A |
взаим но однозначно, |
то |
из |
последнего |
равенства |
|
получаем |
|||||||||||||||
А1 Х1 ТА2Х2 Т ... Т Хрхр = 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
Но x i , Х2 , ... , х р — базис в |
V \. П оэтому Ai |
= |
А2 = . .. = |
Хр |
— 0. |
|||||||||||||||||
Вы ш е |
указы валось, |
|
что |
не |
все Ai, А2 , . .. , Хр равны нулю . |
|
С ледова |
||||||||||||||||
тельно, предполож ение р |
> q ведет к противоречию . Таким |
|
образом , |
р= q. Т еорема доказана.
Имеет место такж е следую щ ая теорем а, в определенном отнош ении
обратн ая теореме 5.1. |
|
|
|
|
|
|
|
|
|
|
||||
Т е о р е м а 5 .2 . |
П уст ь |
V\ |
и |
V2 — два |
т а ки х |
подпрост ранст ва |
||||||||
п -м ерного |
прост ранст ва |
V , чт о |
d i m V i + d i m V 2 |
= d i m H . |
Тогда су |
|||||||||
щ ест вует |
т акой ли н ей н ы й оператор А |
из L (У, У), чт о V\ = i m А и |
||||||||||||
У2 = ker А. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
П усть |
dim H i |
= |
р, |
бпнУ 2 |
= |
q. Вы бе |
|||||||
рем |
в пространстве У |
базис |
e i, в 2 , ... , |
е п |
так, |
чтобы |
элементы |
|||||||
е р |_ 1 |
, ер |_ 2 |
, . .. , |
е п п ринадлеж али |
У2 . Д алее в |
пространстве |
V\ вы бе |
||||||||
рем |
некоторы й |
базис g i, |
g 2 |
, . .. , |
gp . |
|
|
|
|
|
|
|||
О пределим |
теперь значения линейного оператора А |
на базисны х |
||||||||||||
отвечаю т различные |
элементы |
y i = |
A x i и у 2 |
= |
А х 2 пространства |
W . Таким |
свойством обладает рассматриваемый оператор А , действующий из пространства Vi в пространство im A .
Действительно, если x i G Е , Х2 G Е , Х2 - х Д О, то Х2 — x i Е У , и поэтому А х 2 ф A X I (A X I G г т А , А х 2 G i m A , ибо если бы А х 2 = A x i , то А (х 2 — x i ) =
= О, т. е. Х2 — x i |
GkerA, что противоречило бы принадлежности Х2 — x i G У |
и условию Х2 — x i |
ф О (У и kerA составляют прямую сумму и поэтому имеют |
общим лиш ь нулевой элемент).
|
|
1. ПОНЯТИЕ ЛИНЕЙНОГО ОПЕРАТОРА |
123 |
|||||||
векторах e i, е2, ..., |
е п п ространства У следую щ им образом: |
|||||||||
|
|
|
А е х |
= |
g b А е 2 = g2, • • |
А е р = |
g p, |
|
||
|
|
А вр )_ i |
|
0, А вр )_ 2 |
0, .. . 5 А е п |
0. |
|
|||
Д алее, |
если х |
= |
аде! |
+ |
х 2е 2 + . .. |
+ х ре р |
+ х р + 1 ^ р+1 + |
. .. + жпе п , |
||
то А х |
= x ig i |
+ |
x 2g 2 |
+ |
• • • + Xpgp. |
О чевидно, оператор А |
линейны й |
и обладает требуемы ми свойствам и. Т еорема доказана.
Введем понятие ранга линейного оператора А .
Н азовем рангом линейного оператора А число, обозначаем ое сим
волом rang А |
и равное rang А |
= dim (im А ) . |
|
|
|
|
|
|||||||
О тм етим |
следую щ ее очевидное следствие из теорем ы 5.1 |
и из за |
||||||||||||
м ечания 2 |
этого пункта. |
|
|
|
|
|
|
|
|
|
|
|
||
С л е д с т в и е |
и з т е о р е м ы |
5 .1 . Д л я того |
чтобы |
оператор А из |
||||||||||
L (У, У) |
и м ел |
обратный А - 1 , |
необходимо |
|
и дост ат очно, чтобы |
|||||||||
rang А = dim У = п. |
|
|
|
|
|
|
|
|
|
|
|
|||
П усть А и В — линейны е операторы из L (У, У ). С праведлива сле |
||||||||||||||
дую щ ая теорема. |
|
|
|
|
|
|
|
|
|
|
|
|||
Т е о р е м а |
5 .3 . И м ею т м ест о следую щ ие соот нош ения : |
|
||||||||||||
|
|
|
rang А В |
^ |
rang A , |
rang А В |
^ |
rang В . |
|
|
||||
Д о к а з а т е л ь с т в о . |
|
Д окаж ем |
|
сн ачала |
первое |
из |
отм е |
|||||||
ченны х соотнош ений. |
О чевидно, |
im А В |
|
С im А |
4) . |
П оэтому |
||||||||
d i m ( i m A B ) ^ d i m ( i m A ) , |
т. е. ra n g A B |
^ rang А . |
|
|
|
|||||||||
Д л я доказательства |
второго |
соотнош ения |
воспользуемся |
следую |
||||||||||
щ им очевидны м вклю чением 5)б : ker В С ker А В . |
|
|
|
|||||||||||
И з этого |
вклю чения |
следует, |
что |
dim (ker В ) |
^ |
dim (ker А В ). |
||||||||
И з последнего |
неравенства, |
в |
свою |
очередь, следует |
неравенство |
|||||||||
dim У — dim (ker А В ) ^ |
dim У — |
dim (ker В ), |
а |
из него, согласно тео |
||||||||||
реме 5.1, |
получаем d i m ( i m A B ) ^ d i m ( i m B ) , |
т. е. ra n g A B ^ |
ra n g B . |
|||||||||||
Т еорема доказана. |
|
|
|
|
|
|
|
|
|
|
|
Д окаж ем еще одну теорему о рангах линейны х операторов.
Т е о р е м а 5 .4 . П уст ь А |
и 'В — лин ейны е |
операторы |
из |
L (У, У) |
|
и п — разм ерност ь У . Тогда ra n g A B ^ rang А + rang В — п. |
|
||||
Д о к а з а т е л ь с т в о . Согласно теореме 5.1, |
|
|
|
||
d i m ( i m A B ) |
+ |
dim (ker А В ) |
= n. |
|
(5.5) |
4) Символ С здесь и в дальнейшем |
обозначает включение, т. е. запись А С В |
||||
обозначает, что А является подмножеством В . |
|
|
|
||
б) Так как А В и В А различные, |
вообще говоря, |
операторы, |
то |
включение |
im А В С im В может не иметь места, и поэтому для доказательства второго соот ношения rang А В <С rang В требую тся специальные рассуждения.
124 |
ГЛ. 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
|
Т ак как rang А В = dim (im A B ), то из (5.5) получаем |
|
|
|
ra n g A B — п — d im (k e rA B ) . |
(5.6) |
П оскольку, согласно теореме 5.1, |
|
|
d i m ( k e r A ) |
+ d i m ( k e r B ) = 2 п — (rang А + rang В ), |
(5.7) |
то д л я доказательства теорем ы достаточно установить неравенство
d i m ( k e r A B ) ^ d i m ( k e r A ) + d i m ( k e r B ) . |
(5.8) |
Д ействительно, из этого неравенства и из соотнош ения (5.6) следует неравенство
ra n g A B ^ п — ( d i m ( k e r A ) + d i m ( k e r B ) ) ,
из которого, согласно (5.7), сразу ж е вы текает справедливость утвер
жд ен и я теоремы .
Итак, перейдем к обоснованию неравенства (5.8). П усть
|
|
|
|
|
|
d i m ( k e r B ) = |
q. |
|
|
|
(5.9) |
||||
|
Согласно теореме 5.3 dim (ker А В ) ^ |
q. П оэтому справедливо соот |
|||||||||||||
нош ение |
|
d i m ( k e r A B ) |
= |
р + q, |
где р |
^ 0. |
|
|
(5.10) |
||||||
|
|
|
|
|
|
|
|||||||||
|
Т ак |
как |
ker В C k e r A B , |
то |
в подпространстве к е г А В |
мож но |
вы |
||||||||
брать |
|
базис x i , Х2 , ... , х р + д так, |
что элем енты x p + i, ... , |
х р + д |
об |
||||||||||
разую т базис |
в ker В . П ри |
таком |
вы боре x i, х 2, ... , х р + д |
элементы |
|||||||||||
B x i , |
В х 2, ... , |
В х р линейно |
независим ы |
(если |
линейная |
ком бинация |
|||||||||
]Tfc= |
i |
A f e B x f c |
= 0, то в (J2k = i A f c X f e ) = |
0, т. е. YJk = 1 A f e X fe |
С |
ker В, |
|||||||||
а |
это |
|
м ож ет |
бы ть, в |
силу |
вы бора x i, |
х 2, . .. , |
х р , лиш ь |
при |
А /, |
= |
||||
= |
0, |
к |
= |
1, 2, . . . , р ) . |
П оэтом у |
элем енты B x i , |
В х 2, ... , В х р принад |
леж ат ker А , т. е. р ^ dim (ker А ). И з этого неравенства и соотнош ений
(5.9) и (5.10) вы текает требуемое неравенство (5.8). Теорема доказана.
С ледстви е из |
теорем 5.3 и 5.4. Е сли rang А |
= |
п (п — разм ер |
ност ь V ), то rang А В = rang В А = rang В. |
|
|
|
У казанное следствие вы текает из неравенств |
|
|
|
|
ra n g A B ^ rang В (теорема 5.3), |
|
|
ra n g A B |
^ rang В (теорем а 5.4 при rang А |
= |
п). |
И з этих неравенств получим, что ra n g A B = rang В.
А налогично доказы вается соотнош ение rang В А = rang В.
§ 2. МАТРИЧНАЯ ЗАПИСЬ ЛИНЕЙНЫХ ОПЕРАТОРОВ |
125 |
§ 2. М атричная запись линейны х операторов
1.М атрицы линейны х операторов в задан н ом бази се ли
нейного |
пространства |
V . Ф иксируем |
в линейном |
пространстве V |
|||||||
базис ei, |
в 2 , . . е п. П усть х — произвольны й элемент V и |
||||||||||
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
|
х |
= |
|
х ке к |
|
|
(5.11) |
|
|
|
|
|
|
|
к = |
1 |
|
|
|
|
разлож ение х по данном у базису. |
|
|
|
|
|
|
|||||
|
П усть А — линейны й оператор из L (V , V ). Тогда из (5.11) получаем |
||||||||||
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
А х |
= |
^ |
x k A e k . |
|
|
(5.12) |
||
|
|
|
|
|
к = |
1 |
|
|
|
|
|
П олагая |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
А |
е к |
= |
|
а к е i ’ |
|
|
(5ЛЗ) |
|
|
|
|
|
|
|
3 = 1 |
|
|
|
|
|
перепиш ем (5.12) в следую щ ей ф орме: |
|
|
|
|
|||||||
|
|
п |
|
п |
|
|
п |
/ |
п |
\ |
|
|
|
А х = |
i = l |
а1ез |
= Л |
[ Л |
ai xk |
ei- |
|||
|
|
к = 1 |
|
|
j = l \& = 1 |
/ |
|
||||
|
Таким |
образом, если |
у |
= |
А х |
и элемент |
у |
имеет |
координаты у 1, |
||
у 2, |
у п , то |
П |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
У3 = |
Y l |
а кх к > |
•?’ = |
!> 2>•••> п - |
(5.14) |
||||
|
|
к = |
1 |
|
|
|
|
|
|
|
|
|
Рассм отрим квадратн ую |
м атрицу А с элементами а3к : |
^= К ) .
|
Э та м атри ц а назы ваем ся м а т рицей линейного оператора в задан |
||||||||||
ном базисе ei, в 2 |
, . .. , |
е п. |
|
|
|
|
|
|
|||
|
Н аряду |
с |
ранее указанны м |
способом записи линейного операто |
|||||||
р а |
используется |
при |
заданном |
базисе |
e i, |
в 2 , ... , еп м атри чн ая |
ф о р |
||||
м а |
записи: |
у |
= |
А х, |
причем, |
если |
х |
= |
(ж1, ж2, ..., жп), |
то |
у = |
= |
(у 1, у 2, |
... , |
у п), где y i , j = |
1 , 2 |
, ... , п, |
определяю тся с |
помощ ью |
||||
соотнош ений |
(5.14), а элем енты |
а3к |
м атрицы А вы числяю тся по ф о р |
||||||||
м улам (5.13). |
|
|
|
|
|
|
|
|
|
126 |
ГЛ. 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
З а м е ч а н и е |
1. Если оператор А нулевой, то все элем енты м ат |
рицы А этого оператора равны нулю в лю бом базисе, т. е. А — нулевая
м атрица.
З а м е ч а н и е 2 . Если оператор А единичны й, т. е. А = I, то м ат
рица этого оператора будет единичной в лю бом базисе. И ны ми слова ми, в этом случае А = Е , где Е — единичная м атрица. В дальнейш ем
единичную м атрицу мы будем обозначать такж е символом / .
М ы вы яснили, что каж дом у линейному оператору А из L (У, V )
при заданном базисе линейного п ространства V отвечает м атри ц а А этого оператора. Естественно, возникает обратны й вопрос — каж дой ли данной м атрице А при заданном базисе в V м ож но поставить в
соответствие линейны й оператор А , м атрицей которого будет дан н ая
м атрица. В аж н о такж е вы яснить вопрос о единственности |
м атрицы |
|||
линейного оператора в заданном базисе. |
|
|||
С праведливо следую щ ее утверж дение. |
|
|||
Т е о р е м а |
5 .5 . П уст ь |
в |
ли н ей н о м прост ранст ве V задан базис |
|
e i, в 2 , ... , е п , |
и пуст ь А |
= |
(aJk ) — квадрат ная м а т р и ц а , |
содерж а |
щ ая п ст рок и п ст олбцов. С ущ ест вует единст венны й ли н ей н ы й опе
рат ор А, м а т рицей которого в заданном базисе я в ля е т с я м ат рица А . Д о к а з а т е л ь с т в о . Д окаж ем сн ачала сущ ествование оператора
А . Д л я этой цели определим значения А е^ этого оператора на базис ны х векторах е/, с помощ ью соотнош ения (5.13), полагая в этом соот нош ении а Д равны м и соответствую щ им элементам заданной м атрицы
А . Значение оператора А на произвольном векторе х Е V , разлож ение которого по базисны м векторам e i, в 2 , ... , е п дается ф орм улой (5.11), определим по ф орм уле (5.12).
О чевидно, построенны й оператор линейны й и м атрицей этого опе
р ато р а явл яется м атри ц а А .
Е динственность оператора А , м атрицей которого в базисе e i, в 2 ,
... , е п явл яется м атри ц а А , следует из соотнош ений (5.13): с помощ ью этих соотнош ений единственны м образом определяю тся значения опе р ато р а на базисны х векторах.
З а м е ч а н и е 3. П усть А и В — квадратн ы е м атрицы порядка п,
А и В — отвечаю щ ие им линейны е операторы в заданном базисе {е/Д
п ространства V . И з доказательства теорем ы |
5.5 следует, что м атрице |
||
А + Х В , где Л — некоторое число, отвечает линейны й оператор А + |
ЛВ |
||
(напомним, что А, В и А + |
ЛВ при н адлеж ат L (V, V )). |
|
|
Д окаж ем следую щ ую теорему. |
|
|
|
Т е о р е м а 5 .6 . Ранг линейного оператора А |
равен рангу м ат рицы А |
||
эт ого операт ора: rang А = rang А . |
|
|
|
Д о к а з а т е л ь с т в о . По |
определению |
rang А = dim (im А ), |
а |
§ 2. МАТРИЧНАЯ ЗАПИСЬ ЛИНЕЙНЫХ ОПЕРАТОРОВ |
127 |
im А — линейная оболочка векторов g*.:
п
g к = ^2 аке3 |
(5 Л 5 ) |
3 = 1 |
|
(см. м атричную ф орм у записи оператора и определение im А ). |
|
П оэтом у rang А равен м аксим альном у числу |
линейно независи |
м ы х векторов gfc. Т ак как векторы e i, в 2 , . .. , е п линейно независимы , то, согласно (5.15), м аксим альное число линейно независим ы х векто ров g/, совпадает с м аксим альны м числом линейно независим ы х строк
(а]., а^, . .. , ак ) м атрицы А , т. е. с рангом А . Т еорема доказана.
П усть Аж В — произвольны е квадратн ы е м атрицы , содерж ащ ие п
строк и п |
столбцов. И з теорем 5.3, 5.4, 5.5 и 5.6 вы текаю т следую щ ие |
||||||||||
следствия. |
|
|
|
|
|
|
|
|
|
|
|
С ледстви е |
1. Р ан г rang А В |
произведения А ж В удовлетворяет |
|||||||||
соотнош ениям |
|
|
|
|
|
|
|
|
|
|
|
|
|
rangA £? ^ rang A, |
|
rang А ^ rang В , |
|
||||||
|
|
rang А ^ |
rang А |
+ |
rang В — п. |
|
|
||||
С ледстви е |
2. О братны й |
оператор |
А -1 д л я оператора А |
сущ е |
|||||||
ствует только тогда, когда ранг м атрицы А оператора А равен п (п = |
|||||||||||
= сЙ тУ ). О тметим, что в этом случае |
сущ ествует |
такж е и обратная |
|||||||||
м атри ц а А - 1 д л я м атрицы А. |
|
|
|
|
|
|
|||||
2 . |
П р еобр азов ани е |
матрицы |
линейного |
оп ератора при п е |
|||||||
р еходе к новом у базису. П усть V — линейное пространство, А — ли |
|||||||||||
нейны й оператор из L (У, |
У), |
e i, |
в2, ..., |
еп и ei, 6 2 , ..., ёп —д в а бази |
|||||||
са в У и |
|
|
|
п |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
к |
= |
1 , 2 , - . . , п |
|
(5.16) |
|
|
|
2 |
= 1 |
|
|
|
|
|
|
|
— ф орм улы перехода от базиса {е^} к базису {ё/,}. О бозначим через U |
|||||||||||
м атрицу |
(игк): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
= |
( 4 ) . |
|
|
(5.17) |
|
О тм етим , что rang U = |
п. П усть |
|
|
|
|
|
|
||||
|
|
|
Л |
= |
( 4 ) |
|
и |
А |
= ( 4 ) |
|
(5.18) |
— м атрицы оператора |
А в указанны х |
базисах. Н айдем связь |
м еж ду |
||||||||
этими м атрицам и . |
|
|
|
|
|
|
|
|
|
||
С праведливо следую щ ее утверж дение. |
|
|
128 |
|
ГЛ. 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
|
||||||||||
Т е о р е м а 5 .7 . М ат рицы А |
и А оператора А |
в базисах { е Д |
и { ё Д |
||||||||||
соот вет ст венно связаны соот нош ением |
|
|
|
|
|||||||||
|
|
|
|
|
А |
= |
U - 1 Л и , |
|
|
|
|
||
где U ~ 1 обрат ная м ат рица |
6) |
для м ат рицы |
U , определенной равен |
||||||||||
ст вом (5.17). |
|
|
|
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
О бращ аясь к |
понятию |
м атрицы линейного |
||||||||||
оператора, получим, согласно |
(5.18), |
|
|
|
|
|
|||||||
|
|
|
|
п |
|
|
|
|
п |
|
|
|
|
|
А е * |
= |
5 2 |
аке *’ |
А ё * |
= |
У |
Й1 ё *‘ |
(5Л 9) |
||||
|
|
|
|
2 = |
1 |
|
|
|
2 |
= |
1 |
|
|
И з определения линейного оператора, из ф орм ул (5.16) и из второй |
|||||||||||||
из ф орм ул |
(5.19) следую т соотнош ения |
|
|
|
|
|
|||||||
А ё * = |
А |
( Уu *e i ) > |
А ё * |
= |
Уа * У и <ел- |
|
|||||||
|
|
|
\2 = |
1 |
|
/ |
|
|
* = |
1 |
i = i |
|
|
П оэтому |
справедливо |
|
равенство |
|
^ Д = 1 Д А щ |
= |
|||||||
= ЕД1(Е”=1йЩД |
|
|
|
|
|
|
|
|
|
|
|||
П одставляя в левую часть этого равен ства вы раж ение А щ |
по пер |
||||||||||||
вой из ф орм ул (5.19), найдем |
|
|
|
|
|
|
|
|
|||||
|
22 |
/ 2 |
2 |
|
|
|
|
22 |
/ 2 2 |
|
ei- |
|
|
|
I] |
I] «*«< ei = У |
У |
|
|
||||||||
|
j = l \г = 1 |
|
/ |
|
|
j = l \г = 1 |
|
/ |
|
||||
Т ак как |
{еД — базис, то из последнего соотнош ения вы текаю т р а |
||||||||||||
венства |
22 |
|
|
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
У « ) А |
= |
У |
|
Й) Л> |
|
= |
1, 2, |
п. |
(5.20) |
|||
|
2=1 |
|
|
2=1 |
|
|
|
|
|
|
|
|
|
Если обратиться к |
м атрицам |
А, |
А и |
U (см. (5.17) и (5.18)), то со |
|||||||||
отнош ения |
(5.20) |
эквивалентны |
следую щ ему |
м атричном у равенству: |
и А = А и .
У м нож ая обе части этого равенства слева на м атрицу U ~ 1, получим требуемое соотнош ение А = U ~ 1AU .
Т еорема доказана.
6) Так как rang U = п, то обратная матрица U 1 для матрицы U существует.
§ 2. МАТРИЧНАЯ ЗАПИСЬ ЛИНЕЙНЫХ ОПЕРАТОРОВ |
129 |
|||
З а м е ч а н и е |
1 . О братим ся |
к ф орм уле А |
= Н _ 1 АН . У м нож ая |
|
обе части этого |
м атричного равенства слева на |
м атрицу U и справа |
||
на £/- 1 , получим соотнош ение |
|
|
|
|
|
А = |
U A U ~ \ |
|
(5.21) |
представляю щ ее собой другую ф орм у связи м еж ду м атрицам и А и А
линейного оператора А в разн ы х базисах.
З а м е ч а н и е 2 . П усть А и В — квадратн ы е м атрицы порядка п,
А и В — отвечаю щ ие им линейны е операторы в заданном базисе {щ } . К а к уж е отм ечалось (см. зам ечание 3 преды дущ его пункта), м атрице
А + Х В отвечает линейны й оператор А + АВ. В ы ясним вид м атрицы
этого оператора в базисе {ё/,}. П усть А и В — м атрицы операторов А и В в базисе {ё/,}. Тогда, согласно (5.21), имеем
А = |
U A U ~ l , |
В |
= U B U ~ l . |
(5.22) |
М атрица линейного |
оператора |
А |
+ АВ в базисе |
{ё/,} имеет, со |
гласно (5.21), следую щ ий вид: U ( A + |
AB ) U ~ 1. И спользуя распредели |
тельное свойство ум нож ения м атриц, перепиш ем последню ю ф орм улу следую щ им образом (напомним, что эта ф орм ула представляет собой м атрицу линейного оператора А + АВ в базисе {ё/,}:
|
|
U A U ~ l + A ( U B U - 1). |
|
|
|
|
|
|
О бращ аясь к |
соотнош ениям (5.22), видим, что |
м атри ц а |
операто |
|||||
р а А |
+ АВ в базисе {ё/,} записы вается следую щ им образом: |
|
|
|
||||
|
|
|
А + АВ . |
|
|
|
|
|
В |
частности, |
если В — единичная м атрица, В |
= |
/ , то |
В |
= |
/ |
|
(см. зам ечание 2 преды дущ его пункта и теорем у 5.5) и |
поэтому |
м ат |
||||||
рица линейного оператора А + AI в базисе {ё^} имеет вид А |
+ |
XI. |
||||||
С л е д с т в и е и з т е о р е м ы 5 .7 . d e t A = d e t A . |
|
|
|
|
|
|||
В самом деле, так как |
определитель произведения м атриц |
р а |
||||||
вен произведению определителей этих м атриц, то из равенства А |
= |
|||||||
= U ~ 1A U следует, что |
|
|
|
|
|
|
||
|
|
d e t A |
= det U~ M et A det U. |
|
|
|
(5.23) |
|
П оскольку det |
M et H = |
1, то и з соотнош ения (5.23) |
получаем |
р а |
||||
венство det А = |
det А. Таким образом, определитель м атрицы линей |
|||||||
ного оператора не зависит |
от вы бора базиса. П оэтом у |
мож но ввести |
||||||
понятие определит еля det А линейного оператора А , полагая |
|
|
||||||
|
|
|
det А = det А, |
|
|
|
(5.24) |
9 В .А . И л ьи н , Э .Г. П о зн я к
130 |
ГЛ. 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
где А — м атри ц а линейного оператора А в лю бом базисе.
3. |
Х арактеристический м ногочлен линейного |
оператора. |
|
П усть |
А — линейны й оператор, а |
I — тож дественны й |
оператор из |
L ( V , V ) . |
|
|
|
О п р едел ен и е. М ногочлен относительно Л |
|
||
|
d et(A |
- AI) |
(5.25) |
назы вается характ ерист ическим м ногочленом оператора А . |
|||
П усть в пространстве V задан |
базис {е/,} и А = (а^) — м атрица |
оператора А в этом базисе. Тогда, согласно (5.24), характеристический м ногочлен (5.25) оператора А запиш ется следую щ им образом:
|
а\ — А |
aj |
а 1 |
|
det (А - AI) = |
« 2 |
<4 - А .. |
а2 |
(5.26) |
|
|
|
||
|
|
а \ |
■ < - А |
|
Запиш ем характеристический м ногочлен (5.25), обозначая через dk
коэф ф и ц и ен т при Хк
det (А |
- AI) = |
Y , dkXk . |
(5.27) |
|
|
к = О |
|
З а м е ч а н и е 1. Т ак как |
значение |
определителя det (А |
— AI) не |
зависит от вы бора базиса, то коэф ф и ц и ен ты dk характеристического
м ногочлена в правой части (5.27) такж е не зависят от вы бора базиса.
Таким образом, коэф ф ициент ы dk характ ерист ического м ногочлена
оператора А предст авляю т собой инвариант ы — величины , значения
которы х не зави сят от вы бора базиса. |
|
|
|
||
В |
частности, |
коэф ф и ц и ен т |
dn _ 1 |
равны й, |
очевидно, |
а\ + |
+ . .. + а™, явл яется инвариантом . Э тот инвариант н азы вается |
||||
следом |
оператора А |
и обозначается |
символом |
t r A (от |
английского |
слова trace — след):
tr А — а \ + aj + ... + а |
(5.28) |