Unitärer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Es ist

Für ein solches und ein beliebiges ist

da wegen der Invarianz von liegt. Also ist wieder .

Zur bewiesenen Aussage