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.