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.