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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt und ein Untervektorraum.

Dann ist

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

Zum Beweis, Alternativen Beweis erstellen