Vektorraum mit Skalarprodukt/Endliche Dimension/Orthonormalisierungsverfahren/Fakt/Beweis

Beweis

Die Aussage wird durch Induktion über ${}i$ bewiesen, d.h. es wird sukzessive eine Familie von orthonormalen Vektoren konstruiert, die jeweils den gleichen Untervektorraum aufspannen. Für ${}i=1$ muss man lediglich ${}v_{1}$ normieren, also durch ${}u_{1}={\frac {v_{1}}{\Vert {v_{1}}\Vert }}$ ersetzen. Sei die Aussage für ${}i$ schon bewiesen und sei eine Familie von orthonormalen Vektoren ${}u_{1},\ldots ,u_{i}$ mit ${}\langle u_{1},\ldots ,u_{i}\rangle =\langle v_{1},\ldots ,v_{i}\rangle$ bereits konstruiert. Wir setzen

$w_{i+1}=v_{i+1}-\left\langle v_{i+1},u_{1}\right\rangle u_{1}-\cdots -\left\langle v_{i+1},u_{i}\right\rangle u_{i}\,.$

Dieser Vektor steht wegen

${}{\begin{aligned}\left\langle w_{i+1},u_{j}\right\rangle &=\left\langle v_{i+1}-\left\langle v_{i+1},u_{1}\right\rangle u_{1}-\cdots -\left\langle v_{i+1},u_{i}\right\rangle u_{i},u_{j}\right\rangle \\&=\left\langle v_{i+1},u_{j}\right\rangle -\sum _{k\leq i,k\neq j}\left\langle v_{i+1},u_{k}\right\rangle \left\langle u_{k},u_{j}\right\rangle -\left\langle v_{i+1},u_{j}\right\rangle \left\langle u_{j},u_{j}\right\rangle \\&=\left\langle v_{i+1},u_{j}\right\rangle -\left\langle v_{i+1},u_{j}\right\rangle \\&=0\end{aligned}}$

senkrecht auf allen ${}u_{1},\ldots ,u_{i}$ und offenbar ist

${}\langle u_{1},\ldots ,u_{i},w_{i+1}\rangle =\langle v_{1},\ldots ,v_{i},v_{i+1}\rangle \,.$

Durch Normieren von ${}w_{i+1}$ erhält man ${}u_{i+1}$.

Zur bewiesenen Aussage