Isometrie/C/Diagonalisierbar/Fakt

Aus Wikiversity
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.