Euklidischer Vektorraum/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. Es 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 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