
МФТИ 2012 Умнов АЕ АГ+ЛА Стр001-544
.pdf
Глава 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 . |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|


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


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