Unitärer Vektorraum/Isometrie/Eigenwerte/Fakt/Beweis

Beweis

Es sei mit , d.h. ist ein Eigenvektor zum Eigenwert . Wegen der Isometrieeigenschaft gilt

Wegen folgt daraus . Im Reellen bedeutet dies .