Hilbertraum/Operator/Selbstadjungiert/Kompakt/Spektralsatz/Fakt

Spektralsatz für kompakte Operatoren

Es sei ein -Hilbertraum und sei ein selbstadjungierter kompakter Operator.

Dann besitzt ein vollständiges Orthonormalsystem aus Eigenvektoren zu .