
МФТИ 2012 Умнов АЕ АГ+ЛА Стр001-544
.pdf
Глава 8 . Линейные зависимости в линейном пространстве 289
Типы линейных отображений
Как было отмечено в § 8.1, в тех случаях, когда область значений оператора не принадлежит области определения, следует говорить об отображении.
В § 7.5 было использовано понятие взаимно однозначного отобра- жения, называемого иногда биекцией. Для отображений также выде- ляются специальные случаи так называемых инъективных и сюръек- тивных отображений. Рассмотрим эти случаи подробнее.
|
Определение |
|
Отображение |
ˆ |
x Ω, |
y Θ множества |
|
|
|
y = Ax , |
|||||
|
8.4.3. |
|
Ω в множество Θ называется инъективным (или инъ- |
||||
|
|
||||||
|
|
|
екцией), если из условия |
ˆ |
ˆ |
|
|
|
|
|
Ax1 = |
Ax2 вытекает |
|||
|
|
|
|
x1 = x2 , |
x1 , x2 Ω . |
||
|
|
|
|
||||
|
В случае инъекции множество всех значений оператора |
||||||
|
|
|
y = Ax , x Ω, y Θ |
|
|
||
|
|
|
ˆ |
|
|
|
|
|
может не совпадать с Θ . |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
Определение |
|
Отображение |
ˆ |
x Ω, |
y Θ множества |
|
|
|
y = Ax , |
|||||
|
8.4.4. |
|
Ω на множество Θ называется сюръективным (или |
||||
|
|
||||||
|
|
|
сюръекцией), |
если каждый элемент из Θ имеет про- |
|||
|
|
|
образ в Ω . |
|
|
|
|
|
|
|
|
|
|
|
|
В случае сюръекции прообраз любого элемента из Θ всегда су-
ществует в Ω , но, вообще говоря, он не единственен. В таблице 8.4.1 для сравнения приведены примеры отображений различных типов.
Заметим, что в частном случае, когда линейный оператор $ ото-
A
бражает элементы Λn в элементы Λn с базисом {g1, g2 ,..., gn}, то
есть является преобразованием в Λn , оказывается возможным сле- дующее дополнение к определению 8.3.1.

290 |
Аналитическая геометрия и линейная алгебра |
||
|
|
|
Таблица 8.4.1 |
|
Примеры отображений различных типов |
||
|
|
|
|
Тип отображения |
Инъективное |
Неинъективное |
|
|
|
|
|
|
Сюрьективное |
|
|
|
|
|
|
Несюрьективное |
|
|
|
|
|
|
|
Определение |
Квадратная матрица |
|
ˆ |
|
|
порядка n , столбцы кото- |
|
|
|
|
|||||
|
A |
|
g |
||||
8.4.5. |
|
|
|
|
|
||
рой есть координатные представления элементов |
|||||||
|
|||||||
|
ˆ |
ˆ |
ˆ |
||||
|
Ag1 |
, Ag |
2 ,..., Ag n |
||||
|
в базисе {g1 , g 2 ,..., g n } , |
называется матрицей ли- |
нейного преобразования $ в базисе
A {g1 , g 2 ,..., g n }.
Отметим также, что в конечномерном случае сюръективность ото-
ˆ |
n |
m |
m |
а |
бражения A : Λ → Λ |
означает выполнение условия Θ = Λ , |
|||
инъективность – |
условия |
ˆ |
|
|
ker A = {o}. Альтернативную форму усло- |
вий инъективности и сюръективности в конечномерном случае дает

Глава 8 . Линейные зависимости в линейном пространстве 291
Теорема Ранг матрицы линейного оператора, являющегося
8.4.5.сюръективным отображением, равен числу ее строк, а ранг матрицы инъективного отображения равен числу ее столбцов.
Доказательство.
1º. Пусть в базисах {g1 , g 2 ,..., g n } |
и { f1 , f 2 ,..., f m } |
отображе- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
ние |
|
|
|
ˆ |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
m |
|
|
имеет |
матрицу |
|
ˆ |
|
|
|
|
, причем |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
A : |
Λ → Λ |
|
|
|
A |
|
|
|
fg |
|||||||||||||||||||||||||||||||||||||||||||||
rg |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
= m . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Тогда |
система |
линейных уравнений |
вида |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
A |
|
fg |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
ˆ |
|
|
|
|
|
|
|
|
|
g = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
по теореме 6.6.1 (Кронекера− Капелли) |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
A |
|
|
|
fg |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
имеет решение |
|
|
|
|
y |
|
f |
Λm , |
поскольку для ее расширенной |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
матрицы rg |
|
|
|
|
ˆ |
|
y |
|
|
|
|
= m . Значит, |
|
$ |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
A |
|
|
|
|
|
для A каждый образ имеет |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$ |
|
сюръективно. |
|
|
|
|
|
|
|
|
|||||
хотя бы один прообраз и A − |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
2º. Пусть |
|
rg |
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
= n . |
Тогда, |
по теореме 6.4.1 |
(Крамера), |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
A |
|
|
|
fg |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
x1 , x2 Λn |
|
|
|
|
|
система |
линейных |
уравнений |
вида |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
ˆ |
|
|
fg ( |
|
|
|
|
|
|
|
|
|
|
|
|
|
g − |
|
|
|
|
|
|
|
|
|
|
|
|
) = |
|
o |
|
|
|
|
имеет единственное |
реше- |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
A |
|
|
|
|
|
x2 |
|
|
|
|
|
x1 |
|
g |
|
|
|
f |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
ние, |
|
которое очевидно тривиальное. Поэтому разные образы |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
имеют разные прообразы, и, следовательно, |
$ |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
A − инъективно. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Теорема доказана. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Иными словами, |
для |
|
|
|
|
ˆ |
|
|
n |
|
|
|
m |
инъективность равносильна |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
A : Λ → Λ |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
выполнению равенств |
|
|
|
|
|
|
ˆ |
|
|
|
|
ˆ |
|
|
|
|
n |
а сюръек- |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
rg A = rg |
|
A |
|
fg |
= dim(Λ ) = n , |
||||||||||||||||||||||||||||||||||||||||||||||||||||
тивность − |
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
m |
) = m . |
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
rg A = rg |
|
|
A |
|
|
|
|
fg |
= dim(Λ |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Наконец, отображение, являющееся одновременно и инъективным и сюръективным, будет взаимно однозначным, или биекцией.

292Аналитическая геометрия и линейная алгебра
Вобщем случае, исследование свойств оператора, у которого об- ласть значений не содержится в области его определения, может ока- заться достаточно сложной задачей. Если же область значений при- надлежит конечномерному линейному пространству, то пользуясь теоремой 7.5.1 (об изоморфизме), можно попытаться свести исследо- вание отображения к исследованию преобразования, установив изо- морфизм между областью значений отображения и некоторым под- пространством области его определения.
Λ
Пример 1°. Оператор Pr , ставящий в соответствие каждой точке
8.4.1.трехмерного геометрического пространства ее ортого- нальную проекцию на некоторую фиксированную пря- мую, проходящую через начало координат, очевидно,
есть отображение Λ3 → Λ1 , которое, однако, можно рассматривать и как преобразование трехмерного про- странства в одномерное подпространство.
Отметим, что, хотя в данном случае и отображение и преобразование реализуют геометрически одну и ту же функцию, вид задающих их матриц может быть раз- личным.
Например, пусть в ортонормированной системе коор-
→ → →
динат {O, e1 , e2 , e3} прямая, на которую выполняет-
ся ортогональное проектирование, задана направляю-
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
щим вектором |
e |
|
|
|
|
= |
|
|
|
1 1 |
|
1 |
|
|
|
T . В этом случае ра- |
||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
диус-вектор |
r |
ортогональной проекции точки r с |
||||||||||||||||||||||||||
|
→ |
|
|
|
= |
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
r |
|
|
|
x |
y |
z |
|
|
|
равен |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
e |
|
|
|
|
→ |
|
|
|
|
|
|
→ → |
|
→ |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( r , e |
|
) |
||||||||||
|
|
|
|
|
|
|
|
|
r = |
|
e |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

Глава 8 . Линейные зависимости в линейном пространстве 293
|
x |
|
|
x + y + z |
|
|
|
|
||
|
|
|
|
|
||||||
|
|
|
3 |
|
|
|
|
|
||
или |
y |
= |
|
x + y + z |
|
|
|
|
, и, следовательно, матрица |
|
3 |
||||||||||
|
z |
|
|
|
|
|
|
|
||
|
|
|
x + y + z |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
Λ |
|
|
|
|
|
|
Λ |
|
|
|
|
|
|
|
1 |
|
1 |
1 |
|
|
1 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|||||||||||||
преобразования Pr имеет вид |
|
Pr |
|
|
|
|
|
1 |
1 |
|
|
1 |
. |
|||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e 3 |
1 |
1 |
|
|
1 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
||
Но, с другой стороны, |
приняв вектор e |
за базисный |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|||||||
в Λ1 , получим, согласно определению 8.4.5, матрицу |
||||||||||||||||||||||||||||||||
Λ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
отображения Pr в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Λ |
|
|
|
|
|
= |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Pr |
|
|
|
|
|
|
1 |
|
1 |
|
|
|
1 |
. |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
e e |
|
3 |
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2°. Пусть линейный оператор |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
A ставит в соответствие |
|||||||||||||||||||||||||||||||
каждой матрице второго порядка |
|
|
|
|
|
α11 |
α12 |
|
|
|
дву- |
|||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
α 21 |
α |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
22 |
|
|
|
|
|
|||||
мерный столбец вида |
|
α11 + α12 |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
α |
21 |
+ α |
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Исследование свойств данного отображения можно свести к исследованию свойств преобразования, ста- вящего в соответствие квадратным матрицам квадрат- ные матрицы вида
α11 |
+ α12 |
0 |
|
|
|
. |
|
|
|||||
α 21 |
+ α22 |
0 |
|
|
|
|
|
|
|
|


Глава 8 . Линейные зависимости в линейном пространстве 295
К этому же заключению можно прийти, приняв во вни- мание, что
|
1 |
2 |
3 |
|
|
|
|
|
|
1 |
|
|
|
|
2 |
3 |
|
|
|
|
|
|
||||||
rg |
2 3 4 |
= rg |
|
0 1 2 |
= 2 < 3 |
|||||||||||||||||||||||
|
3 |
5 |
7 |
|
|
|
|
|
|
0 |
|
|
|
|
0 |
0 |
|
|
|
|
|
|
||||||
– числа столбцов матрицы отображения. |
|
|||||||||||||||||||||||||||
2°. Область значений линейного отображения |
ˆ |
|||||||||||||||||||||||||||
A состоит из |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
Ω . В коор- |
|||||||||
элементов y Θ, таких, что y = Ax x |
||||||||||||||||||||||||||||
динатной форме принадлежность элемента |
y ко множе- |
|||||||||||||||||||||||||||
ству значений означает совместность системы линейных |
||||||||||||||||||||||||||||
уравнений |
|
|
|
|
|
|
|
|
|
|
ξ1 |
|
|
|
|
|
|
|
|
|
η1 |
|
|
|
|
|
||
|
|
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
2 |
3 |
4 |
|
|
|
|
|
|
|
ξ2 |
|
|
|
|
= |
|
|
|
|
η2 |
|
|
|
, |
|
|
|
|
3 |
5 |
7 |
|
|
|
|
|
|
|
ξ3 |
|
|
|
|
|
|
|
|
|
η3 |
|
|
|
|
|
|
следовательно, |
нам |
необходимо |
выяснить, при каких |
значениях η1 , η2 , η3 данная система линейных уравне-
ний совместна. Это можно сделать, например, при по- мощи теоремы 6.6.1 (Кронекера– Капелли), сравнив ран- ги основной и расширенной матриц данной системы. За- тем из условия
|
|
|
|
1 |
2 |
3 |
|
η1 |
|
|
|
|
|
|
|
|
|||||||
rg |
|
|
|
2 |
3 |
4 |
|
η2 |
|
|
= |
|
|
|
|
3 |
5 |
7 |
|
η3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
|
η1 |
|
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
= rg |
|
|
|
0 |
1 |
2 |
|
2η1 − η2 |
|
|
|
= rg |
|
|
|
2 |
3 |
4 |
|
|
= 2 |
|
|
|
|
0 |
0 |
0 |
|
− η1 − η2 + η3 |
|
|
|
|
|
|
|
3 |
5 |
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

296 |
Аналитическая геометрия и линейная алгебра |
|
найдем, что для совместности необходимо и достаточно, |
|
чтобы η1 + η2 − η3 = 0 , что, в свою очередь, означает, |
|
$ |
|
что множество значений отображения A состоит из эле- |
|
ментов вида |
η1 |
|
|
|
− 1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
η2 |
|
|
= λ1 |
1 |
|
|
|
+ λ 2 |
|
|
|
0 |
|
|
λ1 , λ 2 , |
η3 |
|
|
|
0 |
|
|
|
|
|
|
|
1 |
|
|
|
являющихся решениями уравнения η1 + η2 − η3 = 0 .
Заметим, наконец, что поскольку не каждый элемент y Θ = Λ3 имеет прообраз в Ω = Λ3 , то данное ото-
бражение не является и сюръективным.
§8.5. Инвариантные подпространства
исобственные векторы
Определение |
Подпространство Λ |
линейного пространства Λ |
|||||
8.5.1. |
|
называется |
инвариантным |
подпространством |
|||
|
|
||||||
|
|
линейного оператора |
$ |
|
|
||
|
|
A , если |
|
||||
|
|
|
|
|
|
ˆ |
|
|
|
|
|
x Λ : |
Ax |
Λ . |
|
Пример |
1°. |
Множество |
радиу- |
|
|
|
|
8.5.1. |
|
сов-векторов |
точек |
|
|
|
|
|
|
некоторой прямой на |
|
|
|
||
|
|
плоскости |
Oxy , |
|
|
|
|
|
|
проходящей |
через |
|
|
|
|
|
|
начало |
координат, |
|
|
|
|
|
|
является |
инвариант- |
|
|
|
|
|
|
ным подпространст- |
|
|
Рис. 8.5.1 |
||
|
|
вом оператора пово- |
|
|
|


298 |
Аналитическая геометрия и линейная алгебра |
Доказательство.
Докажем достаточность. Пусть матрица оператора $ имеет
A
указанный в формулировке теоремы вид. Тогда образ любой линейной комбинации элементов {g1, g2 ,..., gr } будет при-
надлежать их линейной оболочке, поскольку в силу определения 8.3.1 каждый столбец матрицы линейного оператора составлен из компонентов образа соответствующего базисного элемента.
r |
|
Λ , то и |
|
|
Иначе говоря, если ∑λ k g k |
|
|||
k =1 |
|
|
|
|
r |
|
|
|
|
A(∑λ k g k ) = |
|
|
|
|
ˆ |
|
|
|
|
k =1 |
|
|
|
|
r |
λ k |
|
r |
r |
= ∑ |
( Ag k ) = ∑λ k ∑αik gi = |
|||
|
|
ˆ |
|
|
k =1 |
|
|
k =1 |
i=1 |
r |
r |
|
|
r |
= ∑(∑αik λ k )gi = ∑βi gi Λ . |
||||
i=1 |
k =1 |
|
i=1 |
|
Из теоремы 7.4.1 следует, что Λ – |
подпространство. Доста- |
|||
точность доказана. |
|
|
|
|
Докажем необходимость. Пусть Λ есть инвариантное подпро-
странство линейного оператора $ , являющееся линейной обо-
A
лочкой подмножества базисных векторов{g1, g2 ,..., gr }. Тогда образ любого, в том числе и базисного, элемента, принадлежа-
щего Λ , также будет принадлежать |
Λ . Это в свою очередь |
|||
означает, что |
|
|
|
|
ˆ |
r |
n |
|
|
= ∑αik gi |
+ ∑0gi |
; k = [1, r] |
||
Ag k |
||||
|
i=1 |
i=r +1 |
|
и в сочетании с определением 8.4.5 доказывает необходимость.
Теорема доказана.