Vektorraum mit Skalarprodukt/Endlichdimensional/Orthogonales Komplement/Direkte Summe/Fakt

Es sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt und ein Untervektorraum.

Dann ist

d.h. ist die direkte Summe aus und seinem orthogonalen Komplement.