Zum Inhalt springen

Euklidischer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Beweis

Aus Wikiversity
Beweis

Es ist

Für ein solches und ein beliebiges ist

da liegt wegen der Invarianz von . Also ist wieder .