Vektorraum mit Skalarprodukt/Endomorphismus/Selbstadjungiert/Spektralsatz/Fakt

Spektralsatz für selbstadjungierte Endomorphismen

Es sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt und sei

ein selbstadjungierter Endomorphismus.

Dann gibt es eine Orthonormalbasis von aus Eigenvektoren zu .