Skip to main content
3 of 7
added 2 characters in body

T is compact if and only if $\sigma_{ess}(T)=\{0\}$

Theorem: Let $T$ be a bounded self-adjoint operator on a complex infinite dimensional Hilbert space $H$. Then $T$ is compact if and only if $\sigma_{ess}(T)=\{0\}$.

Proof: If $T$ is compact then by Hilbert-Schmidt I know that $\sigma_{ess}(T)\subset\{0\}$. Furthermore if $E$ is the spectral resolution of $T$ then for all $\varepsilon>0$ we have $$I-(E_\varepsilon-E_{-\varepsilon})\leq E(\{\lambda:|\lambda|>\varepsilon/2\})$$ but since $T$ is compact the operator $E(\{\lambda:|\lambda|>\varepsilon/2\})$ has finite range. So $\mathrm{rg}(I-(E_\varepsilon-E_{-\varepsilon}))=\ker(E_\varepsilon-E_{-\varepsilon})$ is finite dimensional but $$H=\ker(E_\varepsilon-E_{-\varepsilon})\oplus\mathrm{rg}(E_\varepsilon-E_{-\varepsilon}),$$ thus $\mathrm{rg}(E_\varepsilon-E_{-\varepsilon})=\infty$ and $0\in\sigma_{ess}(T).$

I dont know how to proof the converse. I think I can use the following: $$T\text{ is compact if and only if for all }\varepsilon>0,\text{ }\dim(\mathrm{rg}(E_\varepsilon-E_{-\varepsilon}))<\infty.$$

Can someone give me an idea? Thank you!

Remark: Here $E_\lambda:=E((-\infty,\lambda])$ for all $\lambda\in\mathbb{R}$.