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

МФТИ 2012 Умнов АЕ АГ+ЛА Стр001-544

.pdf
Скачиваний:
42
Добавлен:
03.06.2015
Размер:
6.64 Mб
Скачать

Глава 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

 

 

 

 

 

 

 

294

Аналитическая геометрия и линейная алгебра

 

 

 

 

 

 

ˆ

 

3

3

в некотором базисе

Задача Линейное отображение A :

Λ → Λ

8.4.1.

 

 

 

 

 

 

1

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

задано матрицей

 

ˆ

 

 

 

=

 

2

3

4

. Найти его ядро и

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

3

5

7

 

 

 

 

 

 

 

 

 

 

 

 

 

множество значений. Выяснить, является ли данное ото- бражение инъективным или сюръективным.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

η1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. 1°. Пусть

 

 

 

 

x

 

 

 

=

ξ2

 

 

 

 

и

 

y

 

 

 

=

 

η2

координатные пред-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

η3

 

 

 

 

 

 

 

 

 

ставления соответственно прообраза и образа оператора

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

множество элементов

x , таких,

y = Ax . Тогда ядро

 

ˆ

= o , задается

в

 

координатном

представлении

что Ax

 

системой линейных уравнений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ1 + 2ξ

2 + 3ξ3 = 0,

 

ˆ

 

 

 

 

x

 

=

 

o

 

или

 

 

 

 

+ 3ξ2 + 4ξ3

= 0,

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

2ξ1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3ξ + 5ξ

2

+ 7ξ

3

= 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

общее решение которой есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ2

 

 

 

 

 

= λ

− 2

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ3

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

Отсюда заключаем, что ядро линейного отображения A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

есть линейная оболочка элемента

− 2

, и поскольку

1

оно не состоит только из нулевого элемента, то данное отображение неинъективное.

Глава 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

 

 

вом оператора пово-

 

 

 

Глава 8 . Линейные зависимости в линейном пространстве 297

Теорема

8.5.1.

рота на угол π этих радиусов-векторов вокруг оси

Oz (см. рис. 8.5.1).

 

 

 

 

 

 

2°.

Для оператора дифференцирования в линей-

ном

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

функций

f (τ) ,

имеющих на

(α,β) производную любого порядка,

n -мерным ин-

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

является линейная

оболочка совокупности элементов вида

 

{ e

λ1τ

, e

λ

2τ

 

λ nτ

},

 

 

 

, ... , e

 

где

λ 1 , λ 2 ,..., λ n

некоторые,

попарно различные

константы.

 

 

 

 

 

 

 

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

$

 

 

A , заданного в ли-

нейном пространстве Λn с базисом {g1 , g 2 ,..., g n } ,

тогда и только тогда имеет вид

α11

...

α1r

α1,r +1

...

α1n

 

 

 

 

 

 

... ... ...

...

... ...

 

 

 

 

αr1

...

αrr

αr ,r +1

...

αrn

 

 

 

,

0

...

0

α r +1,r +1

...

α r +1,n

 

 

 

 

 

 

 

... ... ...

...

... ...

 

 

 

 

0

...

0

α n,r +1

...

α nn

 

 

 

 

когда линейная оболочка подмножества базисных элементов {g1 , g2 ,..., gr } есть инвариантное подпро-

странство оператора $

A .

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 доказывает необходимость.

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