User:Caliburn/s/fa/Eigenspace Corresponding to Non-Zero Eigenvalue of Compact Operator is Finite Dimensional
< User:Caliburn | s | fa
Jump to navigation
Jump to search
Theorem
Let $\struct {\HH, \innerprod \cdot \cdot_\HH}$ be a Hilbert space.
Let $T : \HH \to \HH$ be a compact Hermitian operator.
Let $\lambda$ be a non-zero eigenvalue of $T$.
Let $E_\lambda$ be the eigenspace corresponding to $\lambda$.
Then:
- $\dim E_\lambda = \infty$