Unitärer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity


Es ist

Für ein solches und ein beliebiges ist

da

wegen der Invarianz von liegt. Also ist wieder .