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

Линейная алгебра. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
698 Кб
Скачать

Определение 2.1.4. Суммой операторов ^

 

^

 

и

называется оператор

^ ^

 

 

 

+ , определенный формулой

 

 

 

( ^ + ^)( ) = ^( ) + ^( ).

(2.9)

Определение 2.1.5. Произведением оператора

 

^

 

 

 

на скаляр называ-

 

^

 

 

ется оператор , определенный формулой

 

 

 

( ^)( ) = ( ^( )).

 

(2.10)

Определение 2.1.6. Произведением операторов

^ ^

 

 

 

и называется опе-

ратор ^

^

 

 

 

· , определенный формулой

 

 

 

( ^ · ^)( ) = ^ ( ^( )).

 

(2.11)

В соответствии с определением В.2 (см. с. 5) множество линейных операторов, действующих на данном ЛП, является алгеброй с определенными только что операциями.

Теорема 2.1.3 (об алгебре линейных операторов). Пусть ^ ^

 

 

 

и — ли-

нейные операторы ЛП . Тогда справедливы следующие утверждения:

1) сумма ^

^

^

^

 

+ линейных операторов

и есть линейный оператор;

^

2) произведение линейного оператора на скаляр есть линейный оператор;

3) произведение ^ · ^ линейных операторов есть линейный оператор.

Доказательство. Очевидное следствие из определения операций. Действительно, проверим, например, линейность произведения ЛО:

, ,

^

^

^

^

 

 

^ ^

^

, , (

· )( + ) = ( ( + )) = ( ( ) + ( )) =

 

^ ^

^ ^

^

·

^

^

^

 

 

= ( ( )) + ( ( )) = (

)( ) + (

· )( ).

 

Остальные утверждения проверяются аналогично. Теорема доказана.

Теорема 2.1.4 (о связи алгебры операторов и алгебры матриц).

Пусть — ЛП над полем , Б—базис этого пространства. Тогда справедливы следующие утверждения:

^^

1)( + )Б = Б + Б;

^·

2)( )Б = Б;

51

 

^

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) (

· )Б = Б · Б.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Проведем доказательство для суммы операторов, исполь-

зуя введенные ранее матричные обозначения (2.7):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

^

 

 

 

 

 

 

 

e · ( Б + Б) = e · Б + e · Б = (e) + (e) =

 

 

 

 

^

^

^

 

^

^

 

 

 

^

 

 

^

 

 

^

 

 

= ( ( 1) . . . ( )) + ( ( 1) . . . ( )) = ( ( 1) + ( 1) . . . ( ) + ( )) =

 

=

^ ^

^

^

 

^ ^

 

 

 

 

=

 

 

 

^ ^

 

 

(( + )( 1) . . . ( + )( )) = ( + )(e)

 

 

e·( + )Б

 

 

 

 

 

 

 

(

 

+

 

)

 

 

 

 

 

опред. ^

^

 

 

 

 

 

 

опред. матрицы ЛО

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б = Б + Б.

 

 

 

в силу однозначности координат

 

 

 

Теорема доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 2.1.4. В пространстве

 

2 задан базис Б

 

 

},

причем

 

 

 

 

 

 

 

 

 

 

 

 

= { ,

 

 

 

 

 

 

 

 

и вектор

 

. Требуется найти операторы ^

 

^

^

| | = | | = 1,

 

= +

 

 

 

 

 

 

^

=

+ и

^

^

^

^

 

 

 

 

 

 

 

 

 

 

 

 

 

= · . Причем ЛО — поворот на угол =

4

и ЛО — ортогональная

проекция на направление вектора .

 

 

 

 

 

 

 

 

 

 

 

 

Геометрическое описание линейных операторов

^

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и достаточно громозд-

кое. Например, действие ЛО ^

 

^ ^

 

 

 

 

 

 

 

 

это сначала

 

 

 

 

= · на каждый вектор —

 

 

 

проекция на ,

 

 

^

 

 

 

 

 

 

 

 

=

 

 

а затем образ ( ) поворачивается на угол

4 . Проще

иконструктивнее описать ЛО ^

на координатном языке в некотором базисе.

Другими словами, найдем матрицы ЛО ^ и

^ в базисе Б

 

}.

По теореме

 

 

= { ,

 

о связи алгебры операторов и алгебры матриц 2.1.4 для этого достаточно най-

ти матрицы ЛО

^

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и ЛО . Однако эти стандартные задачи были решены в

примере 2.1.3. Итак, имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

2

2

)

 

 

 

 

 

 

 

 

 

 

( 1+

2

 

1+

 

2

)

1

1

 

 

 

 

 

 

 

 

 

 

1+

 

2

 

1−

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

.

 

2

2

 

 

 

 

 

 

Б = Б + Б =

2

 

 

 

 

2

 

 

 

Б =

1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

cos 4

 

sin 4

 

 

 

 

 

 

0

 

0

 

 

 

 

Б =

 

 

 

 

 

 

 

Б

Б

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

cos

 

 

 

=

 

·

 

 

=

 

√ √

)

 

 

 

sin 4

 

4

)

 

 

 

 

 

(

22

 

 

22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Такое алгебраическое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

описание ЛО позволяет найти образ любого вектора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

Б · [ ]Б.

по его координатам в базисе Б с помощью формулы [ ( )]Б =

Значит, задача решена и оператор найден.

2.2. Подпространства, связанные с линейным оператором

2.2.1. Ядро и образ линейного оператора

Определение 2.2.1. Ядром линейного оператора ^

(обозначение

ЛП

52

^

 

 

 

 

 

Ker ) называется множество всех векторов из , образ которых под дей-

ствием оператора

^

 

 

 

 

 

— нулевой вектор ЛП . Образ линейного оператора

 

^

^

 

^

 

(обозначение Im или ( )) относительно действия — множество всех

векторов вида

^

 

 

 

 

Ker ^ = {

( ).

Im ^ = ^( ) = {

= ^( ), }. (2.12)

^( ) = },

 

 

 

 

 

 

Теорема 2.2.1 (о ядре и образе линейного оператора)

. Ядро и образ ли-

нейного оператора

^

 

 

 

странства .

 

: → являются подпространствами линейного про-

 

 

 

 

 

Доказательство. Достаточно проверить критерий подпространства (теорема 1.4.1):

 

 

^

 

{

^

 

 

 

 

 

Ker ,

 

( ) = ,

 

 

 

 

 

{ Ker ^

^( ) =

 

 

 

^

 

^

 

^

 

 

 

 

^

( + ) = ( ) + ( ) =

 

+ Ker .

 

Im ^,

 

 

 

^( 1) = ,

 

{

Im ^

1, 1

: { ^( 1) =

 

 

 

 

 

 

 

 

 

 

 

 

^

^

 

^

 

 

 

 

^

+ = ( 1) + ( 1) = ( 1 + 1)

+ Im .

Теорема доказана.

 

 

 

 

 

 

 

 

Определение 2.2.2. Размерность ядра оператора

 

^

 

 

 

 

 

 

 

 

называется дефектом

 

^

 

 

линейного оператора (обозначение d( )). Размерность образа линейного опе-

ратора ^

 

^

^

называется рангом линейного оператора (обозначение Rg( )).

^

^

^

^

d( ) = dim Ker ,

Rg( ) = dim Im .

Теорема 2.2.2 (о ранге линейного оператора). Если Б — матрица опе-

ратора ^

^

 

в базисе Б линейного пространства , то Rg( Б) = Rg( ).

Доказательство. Пусть Б = { 1, . . . , } — базис ЛП .

По определению базиса всякий вектор есть линейная комбинация базисных векторов:

= 1 1 + . . . + .

Тогда в силу линейности оператора

^

 

 

:

^

^

^

( ) = 1 ( 1) + . . . + ( ).

53

Что, по определению линейной оболочки, означает

 

^

^

^

 

 

( ) =< ( 1), . . . , ( ) > .

 

И если Б0 = { ^ ( 1 ) , . . . , ^ ( )}

— максимальная линейно независимая под-

система (МЛНС) системы векторов Б = { ^ ( 1) , . . . , ^ ( )}, то

^

^

^

^

^

( ) =< ( 1), . . . , ( ) >=< ( 1 ) , . . . , ( ) >

^

и Б0 является базисом линейного пространства ( ).

В силу теоремы 1.2.6 о линейной зависимости в координатах система столбцов

{ }

координат ^ ^ является МЛНС для системы столбцов,

[ ( 1 )]Б, . . . , [ ( )]Б

{

^ ^

составляющих матрицу оператора Б: [ ( 1)]Б, . . . , [ ( )]Б

^ ^

Rg( Б) = = dim ( ) = Rg( ).

Теорема доказана.

}

, т. е.

Теорема 2.2.3 (о сумме ранга и дефекта линейного оператора). Для

любого линейного оператора ^ линейного пространства имеет место ра-

^ ^

венство Rg( ) + d( ) = dim .

Теорему примем без доказательства.

Замечание. Утверждение теоремы о размерностях подпространств не означает, что пространство раскладывается в сумму ядра и образа линейного

оператора. Действительно, рассмотрим в качестве ^

 

 

^

 

 

 

 

 

 

 

 

произведение оператора

поворота плоскости на угол

 

 

 

 

 

^

 

 

2 против часовой стрелки на оператор проеци-

с осью (то есть состоит из всех

 

(

)

 

 

 

 

 

 

 

^

 

^ ^

. Ядро оператора

^

 

 

рования плоскости на ось : ( ) =

( )

 

совпадает

( ) = Ker (, но

)

 

векторов, коллинеарных оси

 

). Образ

 

 

Rg( ) + d( ) = 1 + 1 = 2 = dim

^

пространства: ^

^

^

 

 

 

 

 

 

 

 

( ) =

( )

тоже совпадает с осью , то есть с Ker .

Получилось ^

 

^

 

равенство

^

^

 

 

вы-

полняется.

Как для всякой функции, для любого ЛО можно поставить вопрос о существовании обратной к нему функции. Ответ на этот вопрос связан с видом ядра ЛО.

Определение 2.2.3. Линейный оператор

^

 

называется невырожденным

^

, в противном случае, ЛО ^

тогда и только тогда, когда Ker = { }

на-

зывается вырожденным.

54

Определение 2.2.4. Линейный оператор ^−1 называется обратным к опе-

ратору ^ тогда и только тогда, когда имеют место равенства

^ ^−1 = ^ и

^−1 ^ = ^. Где ^ — тождественный оператор, т. е.

 

 

 

^

( ) = .

 

 

 

 

 

Следует отметить, что термин «обратный» обусловлен тем, что линейный

оператор ^−1 является обратной к ^ функцией.

Теорема 2.2.4 (критерий невырожденности оператора). Линейный

оператор ^ невырожденный тогда и только тогда, когда он обратим.

Доказательство. Необходимость. Пусть ЛО ^

 

 

 

невырожденный. Тогда, по

 

^

 

^

определению 2.2.3, Ker = { } и dim Ker = 0. По теореме 2.2.3 о сумме

ранга и дефекта имеем

 

 

^

^

^

^

dim Ker + dim Im = 0 + dim Im = dim dim Im = dim .

 

 

 

^

Тогда, по теореме 2.2.2, если Б — матрица оператора в базисе Б линейного

пространства , то

 

 

 

 

 

^

^

 

Rg( Б) = Rg( ) = dim Im = dim .

Но если ранг матрицы равен ее размерности, то она невырожденная, т. е. су-

−1 ^−1 −1, в

ществует к ней обратная Б. Оператор , определяемый матрицей Б

силу теоремы о связи алгебры ЛО и алгебры матриц 2.1.4, обладает нужными свойствами:

^ ^−1 ^−1 ^ ^

= = .

Достаточность. Если оператор ^

 

обратим, то существует к нему обратный

^−1. Снова применяя теорему 2.1.4, получим, что матрица

Б обратима и,

^

 

значит, Rg( Б) = dim и Ker = { }.

 

Теорема доказана.

В следующей теореме перечисляются свойства вырожденных операторов. Приведем ее без доказательства.

Теорема 2.2.5 (признаки вырожденности оператора). Пусть ^

— линейный оператор линейного пространства , Б — базис линейного простран-

ства . Следующие утверждения эквивалентны:

 

 

 

 

1)

^

 

 

 

 

^

 

 

 

 

 

 

— вырожденный оператор;

2) Ker ̸= { };

 

 

 

 

 

^

 

 

 

 

^

 

 

 

 

 

3)

d( ) ̸= 0;

 

 

4) Rg( ) < dim ; LБ

 

1, 2, . . . ,

 

7)

(

)

 

 

 

 

 

 

 

 

5)

Rg

LБ < dim ;

^

^

6) определитель

 

= 0;

}

 

 

 

^

 

 

 

{

 

 

существует линейно независимая система векторов

 

 

 

8)

^( ) < , то есть{^

( 1) = .2

 

 

 

}

 

 

 

 

такая, что система

( ), (

), . . . , (

)

линейно зависима;

 

̸

55

2.2.2. Инвариантные подпространства

Определение 2.2.5. Пусть ^

— линейный оператор ЛП . Подпростран-

 

^

 

ство из ЛП называется -инвариантным подпространством, если

 

 

^

для любого вектора имеет место включение ( ) .

Очевидно, определение можно записать так:

 

^

^

^ ^

≤ , − -инвариантное

( )

Im = ( ) ≤ .

Иными словами, оператор ^ ни один из векторов подпространства не «вы-

брасывает наружу», «за пределы» подпространства .

Теорема 2.2.6 (об алгебре инвариантных подпространств). Пусть

^

 

 

— линейный оператор ЛП . Тогда справедливы следующие утверждения:

1)

сумма ^

^

 

-инвариантных подпространств является

-инвариантным

подпространством;

^

2)

пересечение ^

 

-инвариантных подпространств является -инвариант-

ным подпространством.

Доказательство. Первое утверждение доказывается по определениям суммы подпространств и инвариантного подпространства:

 

 

 

^

^

}

 

 

 

,

+ = +

 

 

, ( ) ≤ ,

( ) ≤

 

 

 

^( ) = , ^( ) = ,

 

 

^( ) = ^( + ) = ^( ) + ^( ) = + + .

Итак, если

 

 

 

^

 

^

 

+ , то ( ) + , т.

е. + — -инвариантное под-

пространство. Также просто, по определению пересечения, доказывается второе

утверждение. Теорема доказана.

Замечание. Ядро и образ линейного оператора являются инвариантными подпространствами.

Пример 2.2.1 (инвариантные подпространства).

3ЛО ^

1.Рассмотрим в ЛП проекции на направление вектора . Понятно,

что если проекция вектора

 

равна

то

.

А множество всех образов

 

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

образует «прямую», параллельную вектору . Таким образом, имеем

 

Ker ^ = {

^ ( ) = 0} =

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

{

 

 

}

 

 

 

^

^

3

) =

 

 

 

=

^

,

 

3

} =

 

.

Im =

(

 

{

 

 

( )

 

{

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

( )

56

Поскольку ядро ЛО ^ ненулевое, оператор является вырожденным. В частно-

сти, он необратим, т. е. не существует ^−1. Заметим также, что, кроме ядра и

образа, нет других ^

-инвариантных подпространств (рис. 2.4, a).

а

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

Im

 

 

 

 

 

( )

 

 

 

 

 

 

7

6^

 

 

 

 

 

 

 

 

 

 

 

 

 

6

HH

 

 

 

 

 

 

 

 

H

Ker

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

HHH

 

 

 

 

б ^ ( ^ )

^ = ( )

( ) 6

7

Hj YH

1

A

AU

^

( )

Рис. 2.4. Инвариантные подпространства и обращение операторов: а – ядро и образ ортогональной проекции вектора на направление вектора ; б – взаимно обратные

повороты вектора на углы и

3ЛО ^

2.Рассмотрим в ЛП поворота на угол . Поскольку поворот ненулевого вектора дает ненулевой вектор, имеем

Ker ^ = {

^ ( ) = 0} = {0},

Im ^ = ^ ( 3) = 3.

 

 

В частности, ЛО

 

 

 

 

^

1

 

^ является

невырожденным и обладает обратным ЛО

.

Легко понять, что обратное преобразование к преобразованию поворота на угол

есть поворот на угол

:

^−1

= ^

. Далее заметим, что если = , то

 

 

 

 

̸

нетривиальных, т. е. отличных от нулевого и самого

3,

^

 

-инвариантных под-

пространств нет (рис. 2.4, б).

 

 

 

 

 

3. Рассмотрим в

ЛП

многочленов 3( ) ЛО

дифференцирования

^

( ( )) = ( ). Поскольку производная понижает степень многочлена на единицу, имеем

Ker

^

= { ( ) =

3

3

+

2

 

+ +

 

 

^

( ( )) =

( ) =

 

≡ 0} =

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ( ) = + + +

 

( ) ≡ ,

R = 0( ),

 

 

 

{

 

 

 

Im ^ = ^( 3( )) =

 

 

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ( ) =

3 + 2 + 1 + 1

 

( ) = 3 + 2 + + : ( ) = = =

{

 

1

= 1( ) = 1 2 + 1 + 1

 

1

, 1, 1

 

R = 2( ).

}

 

 

 

{

 

 

 

 

 

 

 

 

= ( )

 

}

 

 

 

 

 

 

 

 

 

 

( ( ))

 

 

 

 

 

Поскольку ядро ненулевое, ЛО

 

^

 

 

 

 

 

является вырожденным и не

обладает обратным. В данном случае, кроме ядра и образа, -инвариантным

подпространством является также множество многочленов степени не выше, чем 1. Цепочка инвариантных подпространств:

= 3( ) > 2( ) > 1( ) > 0( ) > { } .

57

2.3. Собственные векторы

В этом разделе рассматривается специальный случай инвариантных подпространств — одномерные подпространства, т. е. будем интересоваться «прямыми», которые остаются неподвижными при действии данного ЛО.

2.3.1. Определение и свойства собственных векторов

^

 

Определение 2.3.1. Пусть — ЛП над полем , — ЛО на . Вектор

 

^

называется собственным вектором линейного оператора , отвеча-

ющим собственному значению , если выполнены два условия:

 

^

(2.13)

1) , ̸= ; 2) ( ) = , .

Определение 2.3.2. Множество всех собственных значений линейного опе-

ратора ^ ^называется его спектром. Обозначение: spec .

Теорема 2.3.1 (о подпространствах собственных векторов).

Если ^

 

— ЛО на ЛП над полем , то верны следующие утверждения:

 

^

1) ненулевой вектор является собственным вектором для ЛО то-

гда и только тогда, когда

^

-инвариантное подпространство;

2) множество всех собственных векторов, отвечающих собственному зна-

^

чению , вместе с нулевым вектором – -инвариантное подпространство .

Доказательство. Оба утверждения очевидно следуют из определений соб-

ственного вектора и ^-инвариантного подпространства.

Докажем пункт 2 теоремы. По критерию подпространства (теорема 1.4.1), достаточно проверить, что линейная комбинация векторов, отвечающих собственному значению , есть снова собственный вектор, отвечающий тому же

собственному значению :

 

 

 

{

^

^

^

^

, .

,

 

^( ) =

= + = ( + )

 

 

( ) = ,

( + ) = ( ) + ( ) = ;

+

Таким образом, множество образует подпространство. Это подпростран-

ство ^

 

-инвариантное, действительно:

 

≤ ,

^

( ) = .

Теорема доказана.

Теорема 2.3.2 (о линейной независимости собственных векторов).

Система собственных векторов { 1, 2, . . . , }

линейного оператора

^

 

,

58

отвечающих попарно различным собственным значениям 1, 2, . . . , ,̸= , ̸= , является линейно независимой.

Доказательство. Докажем утверждение теоремы индукцией по количеству векторов . Действительно, для = 1 система состоит из одного вектора 1 ненулевого, так как он собственный. Такая система из одного вектора линейно независима.

Предположим, что для системы из ( − 1) вектора утверждение доказано. Рассмотрим линейную комбинацию векторов системы { 1, 2, . . . , }:

1 1 + 2 2 + . . . + = .

Подействуем на это равенство оператором

^

^

 

 

 

 

 

, учитывая, что ( ) = :

^

1

+ 2 2

^

^

^

^

( 1

+. . .+ ) = ( )

1 ( 1)+ 2 ( 2)+. . .+ ( ) =

1 1 1 + 2 2 2 + . . . + = .

Умножим первое равенство на 1 и вычтем из последнего:

1 1 1 + 2 2 2 + . . . + − ( 1 1 1 + 2 1 2 + . . . + 1 ) =

1 ( 1 1) 1 + 2 ( 2 1) 2 + . . . + ( − 1) = .

 

 

 

 

 

 

̸

 

 

 

̸

 

 

=0

 

 

=0

 

 

=0

 

По предположению индукции система векторов { 2, . . . , } линейно независима, поэтому в последней линейной комбинации все коэффициенты равны нулю:

 

 

 

 

 

̸=0

 

 

 

 

 

2 ( 2 1) = 0

2 = . . . = = 0.

. . .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

) = 0

 

 

 

 

 

1

 

 

 

 

 

 

 

̸=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

{

1 1 + 2 2 + . . . + =

1 1 = , но 1

̸= , тогда 1 = 0.

2 = . . . = = 0

Таким образом, если линейная комбинация векторов

{ 1, 2, . . . , } равна

нулевому вектору, то она тривиальная. Что и требовалось доказать.

Пример 2.3.1 (собственные векторы).

3ЛО ^

1.Рассмотрим в ЛП проекции на направление вектора . В при-

мере 2.2.1 были найдены два одномерных ^ -инвариантных подпространства:

59

прямая, параллельная вектору и прямая, перпендикулярная . На языке соб-

ственных векторов, эти прямые образуют подпространства собственных векторов . Действительно:

^

 

^

 

( ) = ·

‖ ( )

[

^

·

 

 

 

 

 

=1.

^ ( ) = = 1

 

 

( ) = = 0

 

 

 

 

 

 

=0;

 

 

·

 

 

 

 

Понятно, что только такие собственные векторы и собственные значения для

 

 

 

^

 

 

 

проекции на ось существуют и spec = {0, 1}.

 

 

 

2. Рассмотрим в ЛП

3

ЛО ^

поворота на угол

.

Если

̸= , то нет

 

 

нетривиальных ^ -инвариантных подпространств (пример 2.2.1), т. е. нет и

одномерных инвариантных. На языке собственных векторов, преобразование поворота не имеет собственных векторов и собственных значений. В частности, это понятно и из геометрических соображений: никакой вектор при повороте не переходит в себе коллинеарный ( ̸= ).

3. Рассмотрим в ЛП многочленов 3( ) ЛО дифференцирования

^

( ( )) = ( ). Среди инвариантных подпространств — единственное одномерное подпространство 0( ) многочленов нулевой степени. На языке

собственных векторов: ^

= 0 и

имеет единственное собственное значение

=0 = 0( ). Действительно,

 

^( ( )) = · ( ) ( ) = 0 · ( ) =0 = 0( ).

 

2.3.2. Вычисление координат собственного вектора

Пусть Б = { 1, . . . , } — базис линейного пространства и Б — матрица

оператора ^

^

 

в базисе Б. Нам надо решить уравнение ( ) = относительно

элемента поля и вектора линейного пространства . Перейдем к коор-

динатной форме записи этого равенства и воспользуемся теоремой 2.1.1 о ко-

[ ]

ординатах образа вектора: ^( ) Б = Б [ ]Б, а также свойством координат

[ ]Б = [ ]Б. В итоге получим

[ ]

^ ^ Б

( ) = ( ) Б = [ ]

Б [ ]Б = [ ]Б Б [ ]Б − [ ]Б = [ ]Б.

Последнее равенство перепишем в «стандартной» матричной форме:

( Б )[ ]Б = [ ]Б.

(2.14)

60

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]