Euklidischer Vektorraum/Orthonormalbasis/Fakt/Beweis

Beweis

Da eine Basis vorliegt, gibt es eine eindeutige Darstellung

${}v=\sum _{j=1}^{n}a_{j}u_{j}\,.$

Die Behauptung ergibt sich somit aus

${}\left\langle v,u_{i}\right\rangle =\left\langle \sum _{j=1}^{n}a_{j}u_{j},u_{i}\right\rangle =\sum _{j=1}^{n}a_{j}\left\langle u_{j},u_{i}\right\rangle =a_{i}\,.$

Zur bewiesenen Aussage