137
правок
Изменения
Новая страница: «==Ортогональная сумма подпространств== {{Определение |definition= Пусть <tex>L - </tex> подпространст...»
==Ортогональная сумма подпространств==
{{Определение
|definition=
Пусть <tex>L - </tex> подпространство унитарного линейного пространства <tex>E</tex>, тогда говорят, что <tex>x \bot L </tex>, если <tex>x \bot \forall y \in L </tex>
}}
{{Определение
|definition=
Подпространство <tex>M=\{</tex> все <tex>x \in E: \ x \bot L \}</tex> называется ортогональным дополнением к <tex>L</tex> в <tex>E</tex>, обозначается <tex>M=L^ \bot </tex>
}}
{{Теорема
|statement=
<tex>E=L \dotplus M</tex>
|proof=
'''Шаг 1.''' Рассмотрим <tex>\{e_1, e_2...e_k\}</tex> {{---}} ОРТН базис <tex>L \ (k=dimL)</tex>.
'''Шаг 2.''' Дополним <tex>\{e_i\}_{i=1}^{k}</tex> до базиса <tex>E</tex>, получим <tex>\{e_1, e_2...e_k, x_{k+1}...x_n\} \ (n=dimE)</tex>.
'''Шаг 3.''' Приведем этот набор к ОРТН базису (процесс Грама-Шмидта), в итоге получим <tex>\{e_i\}_{i=1}^{n}</tex> {{---}} ОРТН базис, при этом <tex>\{e_i\}_{i=k+1}^{n} \in M</tex> (по определению и построению)
<tex>M=</tex> ло <tex>\{e_{k+1}...e_n\}</tex>, то есть <tex>E=L+M</tex>
'''Шаг 4.''' Докажем, что сумма должна быть прямой.
<tex>\forall x=\sum\limits_{i=1}^{n}\xi^ie_i=\sum\limits_{i=1}^{k}\xi^ie_i+\sum\limits_{i=k+1}^{n}\xi^ie_i=f+g</tex>, где <tex>f \in L, g \in M</tex>
<tex>f,g</tex> {{---}} единственные. Докажем этот факт от противного.
Пусть <tex>x=f+g=f_1+g_1 \Rightarrow f-f_1=g_1-g (*)</tex>.
<tex>\left\langle (*),f-f_1 \right\rangle: \Vert f-f_1 \Vert^2=\left\langle g_1-g,f-f_1\right\rangle=0</tex> (так как <tex>(g_1-g) \in L, (f-f_1) \in M, L \bot M</tex>)
<tex>\Rightarrow f-f_1=0 \Rightarrow f=f_1 \Rightarrow g=g_1</tex>, то есть разложение единственное, теорема доказана.
}}
{{Определение
|definition=
Прямая сумма взаимно перпендикулярных пп называется '''ортогональной суммой''', обозначается как <tex>\oplus</tex>.
}}
NB: <tex>E=L \oplus M</tex>
{{Определение
|definition=
Прямая сумма попарно перпендикулярных пп называется их '''ортогональной суммой'''.
}}
<tex> \dotplus \sum\limits_{i=1}^{k} L_i= \oplus \sum\limits_{i=1}^{k}L_i (L_i \bot L_j, i \ne j)</tex>
==Ортогональный проектор==
{{Определение
|definition=
Пусть <tex>E=L \dotplus M</tex>
<tex>\mathcal{P}_{L}^{\Vert M}</tex> называется ортогональным проектором на пп <tex>L</tex> и обозначается <tex>\mathcal{P}_{L}^{\bot}x</tex>.
<tex>\mathcal{P}_{M}^{\Vert L}</tex> называется ортогональным проектором на пп <tex>M</tex> и обозначается <tex>\mathcal{P}_{M}^{\bot}x</tex>.
}}
{{Определение
|definition=
<tex>x= \mathcal{P}_{L}^{\bot}x+ \mathcal{P}_{M}^{\bot}x</tex> называется разложением вектора <tex>x</tex> в сумму ортогональной проекции на пп <tex>L</tex> и ортогональной составляющей на пп <tex>M</tex>.
}}
{{Лемма
|statement=
Пусть <tex>\{e_i\}_{i=1}^{k}</tex> {{---}} ОРТН базис <tex>L \ (dimL=k)</tex> тогда <tex>\mathcal{P}_{L}^{\bot}x= \sum\limits_{i=1}{k}\left\langle x,e_i\right\rangle e_i. </tex>
|proof=
Без ограничения общности рассмотрим <tex>\{e_1..e_k, e_{k+1}..e_n\}</tex> {{---}} ОРТН базис <tex>E</tex>, где <tex>\{e_i\}_{i=1}^{k}</tex> {{---}} ОРТН базис <tex>L</tex>, a <tex>\{e_i\}_{i=k+1}^{n}</tex> {{---}} ОРТН базис <tex>M</tex> (на остальные вектора распространим по линейности)
'''Шаг 1.''' Рассмотрим <tex>e_j \ (j=1..k): \mathcal{P}_{L}^{\bot}e_j= \sum\limits_{i=1}{k}\left\langle e_j,e_i\right\rangle e_i=\left\langle e_j,e_j\right\rangle e_j=e_j \Rightarrow \forall x \in L: \mathcal{P}_{L}^{\bot}x=x</tex>
'''Шаг 2.''' Рассмотрим <tex>e_s \ (s=k+1..n): \mathcal{P}_{L}^{\bot}e_s= \sum\limits_{i=1}{k}\left\langle e_s,e_i\right\rangle e_i=0 \Rightarrow \forall y \in M: \mathcal{P}_{L}^{\bot}y=0 </tex>
}}
{{Лемма
|statement=
<tex> \Vert \mathcal{P}_{L}^{\bot} x \Vert \leqslant \Vert x \Vert, \ \Vert \mathcal{P}_{M}^{\bot} x \Vert \leqslant \Vert x \Vert. </tex>
|proof=
по теореме Пифагора <tex> \Vert x \Vert^2 = \Vert \mathcal{P}_{L}^{\bot} x\Vert^2 + \Vert \mathcal{P}_{M}^{\bot} x \Vert^2. </tex>
Отсюда напрямую следует утверждение леммы.
}}
{{Определение
|definition=
Пусть <tex>L - </tex> подпространство унитарного линейного пространства <tex>E</tex>, тогда говорят, что <tex>x \bot L </tex>, если <tex>x \bot \forall y \in L </tex>
}}
{{Определение
|definition=
Подпространство <tex>M=\{</tex> все <tex>x \in E: \ x \bot L \}</tex> называется ортогональным дополнением к <tex>L</tex> в <tex>E</tex>, обозначается <tex>M=L^ \bot </tex>
}}
{{Теорема
|statement=
<tex>E=L \dotplus M</tex>
|proof=
'''Шаг 1.''' Рассмотрим <tex>\{e_1, e_2...e_k\}</tex> {{---}} ОРТН базис <tex>L \ (k=dimL)</tex>.
'''Шаг 2.''' Дополним <tex>\{e_i\}_{i=1}^{k}</tex> до базиса <tex>E</tex>, получим <tex>\{e_1, e_2...e_k, x_{k+1}...x_n\} \ (n=dimE)</tex>.
'''Шаг 3.''' Приведем этот набор к ОРТН базису (процесс Грама-Шмидта), в итоге получим <tex>\{e_i\}_{i=1}^{n}</tex> {{---}} ОРТН базис, при этом <tex>\{e_i\}_{i=k+1}^{n} \in M</tex> (по определению и построению)
<tex>M=</tex> ло <tex>\{e_{k+1}...e_n\}</tex>, то есть <tex>E=L+M</tex>
'''Шаг 4.''' Докажем, что сумма должна быть прямой.
<tex>\forall x=\sum\limits_{i=1}^{n}\xi^ie_i=\sum\limits_{i=1}^{k}\xi^ie_i+\sum\limits_{i=k+1}^{n}\xi^ie_i=f+g</tex>, где <tex>f \in L, g \in M</tex>
<tex>f,g</tex> {{---}} единственные. Докажем этот факт от противного.
Пусть <tex>x=f+g=f_1+g_1 \Rightarrow f-f_1=g_1-g (*)</tex>.
<tex>\left\langle (*),f-f_1 \right\rangle: \Vert f-f_1 \Vert^2=\left\langle g_1-g,f-f_1\right\rangle=0</tex> (так как <tex>(g_1-g) \in L, (f-f_1) \in M, L \bot M</tex>)
<tex>\Rightarrow f-f_1=0 \Rightarrow f=f_1 \Rightarrow g=g_1</tex>, то есть разложение единственное, теорема доказана.
}}
{{Определение
|definition=
Прямая сумма взаимно перпендикулярных пп называется '''ортогональной суммой''', обозначается как <tex>\oplus</tex>.
}}
NB: <tex>E=L \oplus M</tex>
{{Определение
|definition=
Прямая сумма попарно перпендикулярных пп называется их '''ортогональной суммой'''.
}}
<tex> \dotplus \sum\limits_{i=1}^{k} L_i= \oplus \sum\limits_{i=1}^{k}L_i (L_i \bot L_j, i \ne j)</tex>
==Ортогональный проектор==
{{Определение
|definition=
Пусть <tex>E=L \dotplus M</tex>
<tex>\mathcal{P}_{L}^{\Vert M}</tex> называется ортогональным проектором на пп <tex>L</tex> и обозначается <tex>\mathcal{P}_{L}^{\bot}x</tex>.
<tex>\mathcal{P}_{M}^{\Vert L}</tex> называется ортогональным проектором на пп <tex>M</tex> и обозначается <tex>\mathcal{P}_{M}^{\bot}x</tex>.
}}
{{Определение
|definition=
<tex>x= \mathcal{P}_{L}^{\bot}x+ \mathcal{P}_{M}^{\bot}x</tex> называется разложением вектора <tex>x</tex> в сумму ортогональной проекции на пп <tex>L</tex> и ортогональной составляющей на пп <tex>M</tex>.
}}
{{Лемма
|statement=
Пусть <tex>\{e_i\}_{i=1}^{k}</tex> {{---}} ОРТН базис <tex>L \ (dimL=k)</tex> тогда <tex>\mathcal{P}_{L}^{\bot}x= \sum\limits_{i=1}{k}\left\langle x,e_i\right\rangle e_i. </tex>
|proof=
Без ограничения общности рассмотрим <tex>\{e_1..e_k, e_{k+1}..e_n\}</tex> {{---}} ОРТН базис <tex>E</tex>, где <tex>\{e_i\}_{i=1}^{k}</tex> {{---}} ОРТН базис <tex>L</tex>, a <tex>\{e_i\}_{i=k+1}^{n}</tex> {{---}} ОРТН базис <tex>M</tex> (на остальные вектора распространим по линейности)
'''Шаг 1.''' Рассмотрим <tex>e_j \ (j=1..k): \mathcal{P}_{L}^{\bot}e_j= \sum\limits_{i=1}{k}\left\langle e_j,e_i\right\rangle e_i=\left\langle e_j,e_j\right\rangle e_j=e_j \Rightarrow \forall x \in L: \mathcal{P}_{L}^{\bot}x=x</tex>
'''Шаг 2.''' Рассмотрим <tex>e_s \ (s=k+1..n): \mathcal{P}_{L}^{\bot}e_s= \sum\limits_{i=1}{k}\left\langle e_s,e_i\right\rangle e_i=0 \Rightarrow \forall y \in M: \mathcal{P}_{L}^{\bot}y=0 </tex>
}}
{{Лемма
|statement=
<tex> \Vert \mathcal{P}_{L}^{\bot} x \Vert \leqslant \Vert x \Vert, \ \Vert \mathcal{P}_{M}^{\bot} x \Vert \leqslant \Vert x \Vert. </tex>
|proof=
по теореме Пифагора <tex> \Vert x \Vert^2 = \Vert \mathcal{P}_{L}^{\bot} x\Vert^2 + \Vert \mathcal{P}_{M}^{\bot} x \Vert^2. </tex>
Отсюда напрямую следует утверждение леммы.
}}
