# Subspaces in the image of compact operator

Let $X$ and $Y$ be some infinite dimensional Banach spaces. Let $T:X\longrightarrow Y$ be some compact linear operator. It is easy to understand that $T$ cannot be surjective: the Open Mapping Theorem due to Banach, states that surjective operators should be open, and it follows that the image of the unit ball $\mathbb{B}_{1,X}$ should contain an open ball $\{||y||<r\}$ for some $r>0$, so its closure can't be compact. Is it true that the image of $T$ cannot contain any closed subspace of infinite dimension?

-

Let $F\subset T(X)$ be a closed (in $Y$) subspace. Then $E = T^{-1}(F)$ is a closed subspace of $X$, and $T\lvert_E \colon E \to F$ is a compact surjective operator. Since $F$ is closed in $Y$, the open mapping theorem implies that $F$ is finite-dimensional.