Es sei V {\displaystyle {}V} ein euklidischer Vektorraum, U ⊆ V {\displaystyle {}U\subseteq V} ein Untervektorraum und v ∈ V {\displaystyle {}v\in V} . Es sei u 1 , … , u m {\displaystyle {}u_{1},\ldots ,u_{m}} eine Orthonormalbasis von U {\displaystyle {}U} .
Dann ist
ein
euklidischer Vektorraum,
ein
Untervektorraum
und
.
Es sei 
eine
Orthonormalbasis
von 
.
