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

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

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

Глава 10 . Евклидово пространство

369

Теорема Ортогональные матрицы (и только они) в E n могут

10.4.1.служить матрицами перехода от одного ортонормиро- ванного базиса к другому.

Доказательство.

 

Рассмотрим

 

 

два

 

различных

 

ортонормированных

 

базиса

 

{e , e

2

,..., e

n

} и {e, e,..., e}

в E n

с матрицей перехода

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

от первого базиса ко второму. Поскольку в этих базисах матрица

 

 

Грама

единичная,

то

 

из

 

соотношения

 

 

 

 

 

 

Γ

 

 

 

e

 

 

=

 

 

 

 

S

 

 

 

T

 

 

 

 

Γ

 

 

 

e

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следует равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ε

 

 

=

 

S

 

T

 

 

Ε

 

 

S

 

 

, или

 

E

 

 

 

 

=

 

 

 

 

S

 

T

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

невырожденная, то оконча-

 

Поскольку матрица перехода

 

 

 

 

тельно имеем

 

S

 

 

 

 

1 =

 

 

S

 

 

T .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В развернутой форме равенство

 

E

 

 

=

 

S

 

 

 

 

 

 

 

 

T

 

 

S

 

 

 

 

 

 

принимает вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δkl = σTki σil ;

 

k, l = [1, n] , частный случай которого для n = 3

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

был получен в § 2.9.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема

 

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

10.4.2.го в E n ортогональную матрицу, равны по модулю

единице.

Доказательство.

Из равенства

ˆ

 

 

 

 

f

 

g = λ

 

f

g следует, что

A

 

g

 

 

 

 

 

 

 

 

 

f

 

T

 

ˆ

 

 

 

T

= λ

 

f

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

A

 

 

 

g

 

 

g .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

370

 

 

 

 

 

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

 

 

Перемножив почленно эти равенства, получим соотношение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

T

 

 

 

 

 

 

 

ˆ

 

 

 

T

 

 

 

 

ˆ

 

 

 

 

 

f

 

 

 

2

 

 

 

 

 

f

 

 

 

T

 

 

 

f

 

g .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

A

 

 

 

g

 

 

 

 

A

 

g

 

 

 

 

 

 

g = λ

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

=

 

 

 

 

 

 

 

 

В силу ортогональности

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

имеем

 

 

 

ˆ

 

 

 

ˆ

 

 

ˆ

 

 

 

, а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

g

 

 

 

 

A

 

 

 

 

 

 

A

 

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1 ,

 

 

 

 

 

 

 

f

 

 

 

 

T

 

 

 

f

 

 

 

 

2

 

 

 

 

f

 

T

 

 

 

 

 

 

 

f

 

g , и, наконец,

2

 

 

 

по-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

потому

 

 

 

 

g

 

 

 

 

 

 

 

 

g = λ

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

λ

 

 

 

 

 

скольку собственные векторы

 

 

f

 

 

ненулевые.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Ортогональные матрицы также играют важную роль в вычисли- тельных методах алгебры, что, например, иллюстрирует

Теорема Если матрица

 

A

невырожденная, то ее разложение

10.4.3.

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

Q

 

 

R

 

, где

 

Q

 

ортогональная мат-

вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рица, а R верхняя треугольная матрица с поло-

жительными диагональными элементами, существует и единственно.

Доказательство.

Предположим, что имеется14 два разложения

A = Q1 R1 = Q2 R2 .

Из невырожденности A следует невырожденность R1 и

R2 , поскольку Q1 и Q2 ортогональные и, очевидно,

невырожденные. Тогда последнее равенство можно переписать

14 Обоснование существования такого разложения выходит за рамки данного курса. Здесь мы ограничимся рассмотрением лишь вопроса о его единствен- ности.

 

 

Глава 10 . Евклидово пространство

 

 

 

 

 

371

 

 

в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

T

 

 

 

Q

 

 

 

 

=

 

 

 

R

2

 

R

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

также верхняя треугольная матрица.

 

 

Заметим,

 

что

 

R2

 

 

 

 

 

R1

 

 

 

1

есть диагональная матрица. Дей-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ствительно, с одной стороны, она верхняя треугольная матрица

 

 

как

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

верхних

треугольных.

 

С

другой стороны,

 

 

 

R2

 

 

 

R1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

должна быть и нижней треугольной, поскольку

 

 

она ортогональная (как произведение двух ортогональных мат-

 

 

 

 

 

 

Q2

 

 

 

 

 

T

 

 

 

 

Q1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

риц

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) и ее обратная матрица совпадает с транс-

понированной.

Очевидно, что диагональная ортогональная матрица может иметь на диагонали лишь элементы, равные по модулю едини-

це.

Но диагональные элементы

 

R1

и

R2

 

положительны

по

условию,

поэтому

остается

возможным

лишь случай

 

R

2

 

R

 

1

=

 

 

 

E

 

 

 

,

откуда и следует единственность раз-

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ложения.

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

Отметим, что в силу теоремы 10.4.3 решение неоднородной систе-

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

A

 

x

=

 

 

b

 

 

может быть сведено к раз-

ложению невырожденной матрицы

 

A

 

 

на произведение верхней

 

 

 

треугольной

 

и ортогональной

 

Q

 

,

поскольку в этом случае

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

система преобразуется к легко решаемому виду

R

 

x

 

=

 

Q

 

 

 

T

 

 

 

b

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

372

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

§10.5. Ортогональные дополнения и ортогональные проекции в евклидовом пространстве

Пусть в

E

задано подпространство

E1 . Рассмотрим множество

E2 E элементов x , ортогональных всем элементам из E1 .

 

 

 

Определение

В евклидовом пространстве E

совокупность элемен-

10.5.1.

 

тов x , таких, что (x, y)

= 0

y E1 E называ-

 

 

 

 

ется ортогональным дополнением множества E1 .

Теорема

Ортогональное дополнение

k -мерного подпростран-

10.5.1.ства E1 E n является подпространством размерно-

сти n k .

Доказательство.

Пусть в E E n

со стандартным скалярным произведением

1

 

дан ортонормированный базис и пусть E2 ортогональное до-

полнение к E1 .

 

Выберем некоторый базис в E1 {g1 , g2 ,..., gk }.

Тогда из ус-

ловия ортогональности произвольного элемента

x E2 каж-

дому элементу E1 , следует (см. теорему 7.4.1), что

 

( x, gi ) = 0 ; i = [1, n]

 

 

или же в координатной форме:

 

 

 

ε11ξ1 + ε21ξ2

+ ... + εn1ξn

= 0,

 

ε12 ξ1 + ε22 ξ2

+ ... + ε n2 ξn

= 0,

 

 

 

 

 

..........................................

 

ε1k ξ1 + ε2k ξ2

+ ... + εnk ξn

= 0,

 

Глава 10 . Евклидово пространство

373

 

 

 

 

 

 

 

 

 

 

 

ε1i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

gi

 

 

 

e

=

ε2i

 

 

 

; i = [1, k] и

 

 

 

x

 

 

 

e

=

 

 

 

ξ2

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

εni

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξn

 

 

 

 

Эта однородная система линейных уравнений (неизвестными в которой являются компоненты элемента x ), определяющая ор-

тогональное дополнение

E2 , имеет ранг k

в силу линейной

независимости элементов

{g1 , g2 ,..., gk } .

Тогда по теореме

6.7.1

у нее есть n k линейно независимых решений, обра-

зующих базис подпространства E2 .

 

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

 

 

Убедимся теперь в справедливости следующего утверждения.

Теорема

Если E2 ортогональное дополнение подпространст-

10.5.2.

ва E1 E , то E1 является ортогональным дополне-

нием E2 .

Доказательство.

Для каждого элемента x E2 по условию следствия имеет ме-

сто равенство ( y, x) = 0; y E1 . Но это означает, что для каждого y E1 справедливо (x, y) = 0 ; x E2 , то есть E1

является ортогональным дополнением к E2 в E .

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

Определение В евклидовом пространстве E элемент y называется

10.5.2.ортогональной проекцией элемента x на подпро-

странство E , если

1°. y E ;

2°. (x y, z) = 0 z E .

 

374

 

 

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

 

Теорема

Если

E E является

k -мерным подпространст-

 

10.5.3.

вом, то элемент y ортогональная

проекция x E

 

 

 

на E

существует и единственен.

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

в

E

существует

базис

{g , g

2

,..., g

k

} , то элемент

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

y E

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

может быть представлен в виде

 

y = ξi gi .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

Условие

(x y, z) = 0 z E равносильно

ортогонально-

 

 

сти

x y

каждому из базисных элементов подпространства

 

 

E ,

то

есть

(x y, g j ) = 0 j = [1, k ] ,

и,

следовательно,

 

 

числа ξi , i = [1, k] могут быть найдены из системы линейных

 

 

уравнений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x ξi gi , g j ) = 0 j = [1, k ]

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(gi , g j i = (x, g j ) j = [1, k] .

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку основная матрица этой системы (как матрица Грама

 

 

набора

линейно независимых

элементов

g1 , g2 ,..., gk , см.

 

 

следствие 10.3.1) невырожденная, то по теореме 6.4.1 (Краме-

 

 

ра) решение данной системы существует и единственно.

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что если базис {e , e , ... , e

k

}

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

E

 

 

 

 

 

 

1

2

 

 

 

 

 

 

 

 

E

 

ортонормированный, то ортогональная проекция элемента x на

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

есть элемент вида

y = (x, ei )ei .

 

 

 

 

 

 

 

 

 

 

i =1

Глава 10 . Евклидово пространство

375

Задача

В евклидовом пространстве E 4

со стандартным скаляр-

10.5.1.ным произведением в некотором ортонормированном ба- зисе система линейных уравнений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ1 + ξ2 − ξ3 − ξ4 = 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2ξ1 + ξ2

 

 

 

 

 

 

 

 

 

= 0

 

задает подпространство E . Найти в этом базисе мат-

 

рицу оператора ортогонального проектирования элемен-

 

тов E 4 на E .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1°.

За базис подпространства

 

можно принять пару элементов

 

g1 и g2 , координатные представления которых в исходном ба-

 

зисе {e1 , e2 , e3 , e4 }

являются линейно независимыми решения-

 

ми однородной системы линейных уравнений, задающей E ,

 

например,

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g1

 

 

 

 

 

e =

2

 

 

;

 

 

 

 

 

g 2

 

 

 

 

 

 

 

=

2

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

e

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2°.

Поскольку dim E

= 2, то размерность ортогонального допол-

 

нения к E согласно теореме 10.5.1 также равна 2. За базис в

 

этом ортогональном дополнении удобно принять элементы g3 и

 

g4 , такие, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

=

 

 

 

 

1

 

;

 

 

 

 

 

g

 

 

 

 

 

 

 

 

=

 

 

 

 

1

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

e

 

 

 

 

 

1

 

 

 

 

 

 

 

 

4

 

 

 

e

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

376

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

поскольку они линейно независимы и ортогональны каждому

элементу из подпространства E , как образованные из коэффи- циентов заданной в условии задачи системы линейных уравне- ний.

3°. Элементы g1 , g 2 , g3 и g 4 линейно независимые по построе-

нию и образуют базис в E 4 , и каждый элемент из E 4 может быть представлен и притом единственным образом как линейная

комбинация элементов этого базиса {g1 , g 2 , g3 , g 4 } .

Искомый оператор $ ортогонального проектирования элемен-

A

тов E 4 на E должен, очевидно, удовлетворять соотношениям

ˆ

= g1 ;

ˆ

= g 2 ;

ˆ

= o;

ˆ

= o,

Ag1

Ag 2

Ag3

Ag 4

в силу которых его матрица в базисе {g1 , g 2 , g3 , g 4 } будет иметь следующий вид:

 

 

 

 

1

0

0

0

 

ˆ

 

 

=

0

1

0

0

.

A

 

g

0

0

0

0

 

 

 

 

 

 

 

0

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4°. С другой стороны, матрица перехода от базиса {e1 , e2 , e3 , e4 } к

базису {g1 , g 2 , g3 , g 4 }

 

 

 

 

 

 

 

 

 

 

 

 

− 1

− 1

1

2

 

 

 

 

 

 

 

 

 

 

 

S

 

=

2

2

1

1

 

 

 

,

 

 

 

 

1

0

− 1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

− 1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Глава 10 . Евклидово пространство

377

 

 

 

 

 

 

 

 

но поскольку

 

ˆ

 

 

=

 

S

 

 

 

1

 

 

 

 

ˆ

 

 

 

 

 

 

S

 

и, следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

=

 

 

 

 

 

ˆ

 

 

 

 

g

 

 

 

 

 

1

,

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

то,

 

воспользовавшись § 5.1 и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§ 6.8, найдем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

1 1

1 2

 

 

 

 

1 0 0 0

 

 

 

 

1 1

1 2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

2

 

2

 

 

1

 

 

1

 

 

0

 

 

 

 

 

1

 

 

 

0

0

 

 

 

2

 

2

1

1

 

=

 

 

1

 

0 1 0

 

 

 

 

0 0 0 0

 

 

 

 

1

 

0 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

1 1 0

 

 

0 0 0 0

 

 

 

0

 

1 1 0

 

 

 

 

 

 

 

 

 

 

2

 

4

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

1

 

 

 

 

 

4

8

2

 

2

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

5

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание: геометрическая интерпретация ортогонального проекти- рования вполне очевидна, однако эта операция исполь- зуется и в других приложениях. Например, если E есть евклидово пространство непрерывных на [α,β] функ-

ций со скалярным произведением

β

(x, y) = x(τ) y(τ)dτ ,

α

а E подпространство алгебраических многочленов

n

 

Pn (τ) = α k τk

степени не выше, чем n , то ортого-

k =0

x(τ) элемента E на E может

нальная проекция

рассматриваться как наилучшее на [α,β] приближение x(τ) линейной комбинацией степенных многочленов.

Подробно эта задача рассмотрена в § 12.3.

378

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

§10.6. Сопряженные операторы в евклидовом пространстве

Поскольку евклидово пространство является частным случаем ли- нейного пространства, то все изложенные в главе 8 утверждения справедливы и для линейных операторов, действующих в евклидовом пространстве. Однако операция скалярного произведения позволяет выделять в евклидовых пространствах специфические классы линей- ных операторов, обладающих рядом полезных свойств.

Определение Линейный оператор $ + , заданный в евклидовом

A

10.6.1.пространстве E , называется сопряженным линейно-

 

$

если

x, y E имеет место ра-

 

му оператору A ,

 

$

$

+

y) .

 

венство ( Ax, y) =

( x, A

Пример

В евклидовом пространстве, образованном бесконечно

10.6.1.дифференцируемыми функциями, равными нулю вне не-

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

+∞

нием (x, y) = x(τ) y(τ)dτ для линейного оператора

 

 

 

 

 

−∞

ˆ

d

 

 

 

 

A =

 

 

(дифференцирования) сопряженным будет опе-

dτ

 

 

 

ˆ

+

= −

d

ратор

A

 

.

dτ

Действительно, согласно правилу интегрирования несоб- ственных интегралов по частям имеют место равенства

ˆ

+∞ dx(τ)

 

 

 

 

 

( Ax, y) =

 

 

y(τ)dτ =

 

 

 

dτ

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

+ ∞

+∞

dy(τ)

 

 

 

 

 

 

 

 

= x(τ) y(τ)

 

x(τ)

dτ =

 

 

 

 

 

 

 

 

− ∞

−∞

dτ