Ортогональні підпростори та ортогональні доповнення
Нехай U – підпростір евклідового (унітарного) простору V. Ортогональними доповненнями
простору U називають множину тих векторів x
V, для яких (х, u) = 0 для кожного вектора u
U.
Легко переконатися в тому, що для довільної підмножини А
V множина
є підпросторами простору
і
для кожного
.
Зокрема,
- піпростір простору V.
Два простори
та
називають ортогональними, якщо 
Для довільних векторів
та
.
Зрозуміло, що U i
- ортогональні підпростори.
Теорема 3.2.2. Евклідовий (унітарний) простір V розкладається у пряму суму довільного свого підпростору U та його ортогонального доповнення
.
Приклад 6. Застосовуючи процес ортогоналізації, побудувати ортогональну базу лінійної оболонки векторів
,
,
,
.
Розв’язання. Як відомо, процес ортогоналізації застосований лише до лінійно незалежних систем векторів. Тому починати процес слід з перевірки даної системи на лінійну залежність. Складаємо матрицю з координат даних векторів і знаходимо її ранг
.
Отже,
і вектори
утворюють лінійно незалежну систему.
За перший вектор
візьмемо
:

Вектор
шукатимемо у вигляді

Підбираємо
так, щоб
були ортогональними:
,
Звідси

Але
,
, значить,
, і

Вектор
, очевидно також ортогональний до вектора
, але має цілі координати. Тому як
зручніше брати не
, а 
Отже,
=
.
Далі записуємо

і підбираємо
так, щоб
був ортогональним до
і 



.
Але
,
,
,
, 

Вектор
, очевидно, також ортогональний до векторів
,
. Тому візьмемо 
Отже ми одержали ортогональну базу даної лінійної оболонки :

= 
.
Ортогональним доповненням підпростору L1 простору L називається множина всіх векторів простору L , які ортогональні до кожного вектора з L1.
Приклад. 7 Базисом простору L трьох вимірного евклідового простору V є система векторів
=(1,1,2),
=(1,1,1).Знайти ортогональну проекцыю і ортогональну складову вектора
=(1,2,1) на підпросторі L.Координати векторів дані в ортонормованому базисі простору V.
Розв'язок. Перш за все зноходим скалярний добутку (
,
)=5;(
,
)=4;(
,
)=6;(
,
)=4;(
,
)=3.
Звідси отримуємо наступну систему лінійних рівнянь:
61+42=5;
41+32=4.
Розвязоючи її знаходим, що 1=-1/2;2=2,звідки
=-1/2
+2
=(3/2,3/2,1);
=
-
=(-1/2,1/2,0).
Деякі задачі пов’язані з поняттям ортогональної складової і ортогональної проекції х евклідового простору V на даний простір L.
Вектор
з L називається ортогональною проекцією x на L
=
-
ортогональної складової
, або
ортогональний до всіх векторів простору L топто ортогональний до L. Покажем, як знаходити
і
.
Нехай
,…,
деякий базис простору L.
Тоді, очевидно, що кожний вектор, ортогональний L , буде ортогональнй до кожного вектора базису
,…,
. Таким чином отримаємо ,що (
,
)=0, або (
-
,
)=0, або, нарешті,(
,
)=(
,
),i=1,…,m. Після опису вектора
в вигляді
=1
+…+m
,систему рівнянь(
;
)=(
,
) можна записати в розгорнутому виді (
,
)1+…+(m,
)m=(
,
), i=1,…,m.
Вийшла система з m лінійних рівнянь з m невідомими. Так як визначник матриці відмінний від нуля , то система рівнянь сумісна і має єдиний розв’язок. Якщо a1,…,am ортонормований базис простору L ,то i=(
,
).
Покажем ще , що довжина ортогональної проекції
=
-
вектора
на підпросторі L є найменша з відстаней між
і будьяким вектором
з L. Насправді,так як
ортогонально L,то за теоремою
Піфагора, 2(
,
)=2 (
,
)+2(
,
)>=2(
,
),звідки випливає,що (
,)>=(
,
).
Відстань (
,
) називається зазвичай відстанню між вектором
і підпростором L. Приклад 5. Використовуючи процес ортогоналізації ,перетворити базис простору L
=(1,-1,0,0);
= (0,1,-1,0);
=(0,0,1,-1);
=(1,0,0,1) 
в ортонормований базис.
Розв’язування. Покажем перш за все, що функція (x,y), визначається за формулою (1), насправді виявляється скалярним добутком векторів даного простору. Ясно,що матриця А =
з коефіцієнтів виразу (1) є симетричним. Далі можна впевнитись, що квадратна форма (x,x) = 21 – 2 1 2 +2 22 -2 2 3+2 23-2 3 4+2 24= (1- 2)2+(2- 3)2+(3- 4)2+ 24. Таким чином, (x,x)>=0 при будь-яких дійсних значеннях 1, 2, 3, 4, при чому (х,х)=0 тільки тоді, коли 1- 2=0; 2- 3=0; 3-4=0; 4=0, тобто, коли 4= 3= 2=1=0. Ми бачим, що квадратна форма (х,х) є додатньо визначеною. Тепер підійдемо до процесу ортогоналізації. Припустимо,
=
;
=
+
, де довільне число. Підбираємо так, щоб
і
стали ортогональними:
(
,
)=(
,
+e1)=(
,
)+(
,
), звідки =-(
,
)/(
,
).Але
(
,
)=5;(
,
)=-4,відповідно =4/5 і
=
+4/5
=
=(4/5,1/5,-1,0).Вектор 5
=(4,1,-1,0) відповідно також ортогональний до вектора
,але має чілі координати.Тому в якості
добре брати не (4/5,1/5,-1,0),а (4,1,-1,0).Тобто припустим
(4,1,-5,0).
Далі припустимо
=
+2
+1
і підбираєм 1,2 так щоб u3 став ортогональним до
і
: (
,
)=(
+2
+1
)=(
,
)+2(
,
)+1(
,
)=(
,
)+ +1(
,
)=0;
1= (
,
)/(
,
);
(
,
)=(
,
+2
+1
)=(
,
)+ +2(
,
)+1(
,
)= (
,
)+2(
,
)=0; 2=(
,
)/ (
,
) .
Так як, згідно з формулою (1),
(
,
)=5; (
,
)=1;(
,
)=70; (
,
)=-16,
1= -
; 2=
i
=
-
+
=(
,
,-
,-1).
Вектор 7
=(5,3,-1,-7) , очевидно , також ортогональний до векторів
,
.Тому припустимо
=(5,3,-1,-7).
На кінець, підбираєм числа 1, 2, 3 так , щоб вектор
=
+
+3
+ 2
+1
став ортогональним до векторів
,
,
.
Опустивши деякі очевидні деталі ,отримаємо
(
,
)=(
,
)+1(
,
)=0;
(
,
)=(
,
)+2(
,
)=0;
(
,
)=(
,
)+3(
,
)=0.
Звідки 1=-
; 2=-
;3=
і
=(
,
,
,
).
Замість цього вектора можна вз’яти вектор 15
=(10,9,7,4),також ортогональний до
,
,
.Тому отримаємо
=(10,9,7,4).І так ми отримали ортогональний базис простору :
=(1,-1,0,0);
=(4,1,-5,0);
=(5,3,-1,-7);
=
=(10,9,7,4).Нормуєм вектори
,
,
,
, в результаті чого прийдемо до ортонормованого базису:
V1=
/
=
=(
,-
,0,0);
V2=
/
=
= 
V3=
/ 
V4=
/ 
Завдання 1. Дослідити на лінійну залежність систему векторів:
2.1. 
2.2. 
2.3. 
2.4. 
2.5. 
2.6. 
2.7. 
2.8. 
2.9. 
2.10. 
2.11. 
2.12. 
2.13. 
2.14. 
2.15. 
2.16. 
2.17. 
2.18. 
2.19. 
2.20. 
2.21. 
2.22. 
2.23. 
2.24. 
2.25. 
2.26. 
2.27. 
2.28. 
2.29. 
2.30. 
2.31. 
Задача 3. Знайти який-небудь базис і визначити розмірність лінійного простору розв’язків системи.































Задача 4. Знайти координати вектора х у базисі
, якщо він заданий у базисі
.
4.1. 
4.2. 
4.3. 
4.4. 
4.5. 
4.6. 
4.7. 
4.8. 
4.9. 
4.10. 
4.11. 
4.12. 
4.13. 
4.14. 
4.15. 
4.16. 
4.17. 
4.18. 
4.19. 
4.20. 
4.21. 
4.22. 
4.23. 
4.24. 
4.25. 
4.26. 
4.27. 
4.28. 
4.29. 
4.30. 
4.31. 