# Spectral Theorem for Compact Hermitian Operators

Jump to navigation
Jump to search

## Theorem

Let $\HH$ be a Hilbert space.

Let $T \in \map {B_0} \HH$ be a compact Hermitian operator.

Then there exists a (possibly finite) sequence $\sequence {\lambda_n}$ of distinct nonzero eigenvalues of $T$ such that:

- $(1): \quad P_n P_m = P_m P_n = 0$ if $n \ne m$
- $(2): \quad \ds \lim_{k \mathop \to \infty} \norm {T - \sum_{n \mathop = 1}^k \lambda_n P_n}$, that is, $T = \ds \sum_{n \mathop = 1}^\infty \lambda_n P_n$

where:

- $P_n$ is the orthogonal projection onto the eigenspace of $\lambda_n$
- $\norm {\, \cdot \,}$ denotes the norm on bounded linear operators.

This page has been identified as a candidate for refactoring of basic complexity.In particular: Split corollaries to subpagesUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

### Corollary 1

There exists a (possibly finite) sequence $\sequence {\mu_n}$ of real numbers and a basis $E = \sequence {e_n}$ for $\paren {\ker T}^\perp$ such that:

- $\forall h \in H: T h = \ds \sum_{n \mathop = 1}^\infty \innerprod h {e_n}_\HH \mu_n e_n$

### Corollary 2

If $T$ has trivial kernel, then $\HH$ is finite dimensional.

## Proof

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Also see

- Spectral Theorem for Compact Normal Operators, a more general result

## Sources

- 1990: John B. Conway:
*A Course in Functional Analysis*(2nd ed.) ... (previous) ... (next): $\text {II}.5.1-5, 9$