## Compactness of operators, and a lot of projections

Let $\mathcal{H}$ be an infinite-dimensional Hilbert space. Claim: an operator $T\colon\mathcal{H}\to\mathcal{H}$ is compact if and only if $Te_n\to 0$ for every orthonormal sequence $\lbrace e_n\rbrace$.
Continue reading “Compactness of operators, and a lot of projections”