In Pedersen's *Analysis Now*, for example, you learn that a bounded operator on Hilbert space $T: \mathcal{H} \to \mathcal{H}$ is compact if and only if the image $T(B)$ of the unit ball is compact. It is pretty easy to see therefore that any bounded operator which carries the unit sphere to a compact set is compact. Does the converse hold, that is, if $T: \mathcal{H} \to \mathcal{H}$ is compact, is $T(S)$ compact, where $S$ is the unit sphere in $\mathcal{H}$?


With apologies if this is extremely obvious.



Detect compactness on unit sphere
It may fail to be closed. If *T* is injective and compact on an infinite dimensional Hilbert space, then $0$ is in the closure of $T(S)$, and not in it.


