Euklidischer Raum/Abstand zu Unterraum/Skalarprodukt/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein euklidischer Vektorraum, ein Untervektorraum und . Es sei eine Orthonormalbasis von . Dann ist

Zum Beweis, Alternativen Beweis erstellen