Линейная алгебра. Учебное пособие
.pdfОпределение 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
