Orthogonales Komplement/K/Test auf Erzeugendensystem/Aufgabe
Es sei ein Vektorraum über mit einem Skalarprodukt und sei ein Untervektorraum. Es sei , , ein Erzeugendensystem von . Zeige, dass ein Vektor genau dann zum orthogonalen Komplement gehört, wenn
für alle ist.