Euklidischer Raum/Abstand zu Unterraum/Skalarprodukt/Fakt

Aus Wikiversity

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