Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Линейная алгебра.-1

.pdf
Скачиваний:
1
Добавлен:
20.11.2023
Размер:
10.82 Mб
Скачать

 

 

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)