Isometrie/C/Diagonalisierbar/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Spektralsatz für komplexe Isometrien

Es sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt und sei

eine Isometrie.

Dann besitzt eine Orthonormalbasis aus Eigenvektoren zu . Insbesondere ist diagonalisierbar.

Zum Beweis, Alternativen Beweis erstellen