Vektorraum mit Skalarprodukt/R/Endlichdimensional/Orthogonales Komplement/Direkte Summe/Fakt
Erscheinungsbild
Es sei ein endlichdimensionaler reeller Vektorraum mit einem Skalarprodukt und ein Untervektorraum.
Dann ist
d.h. ist die direkte Summe aus und seinem orthogonalen Komplement.