Compact Self-Adjoint Operator has Countable Point Spectrum

From ProofWiki
Jump to: navigation, search

Theorem

Let $H$ be a Hilbert space.

Let $T \in B_0 \left({H}\right)$ be a compact, self-adjoint operator.


Then its point spectrum $\sigma_p \left({T}\right)$ is countable.


Proof


Sources