Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question

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.

So: the image of a compact operator cannot contain an infinite-dimensional Banach space.

share|cite|improve this answer

A compact operator has a closed range iff it has a finite dimensional range. Without loss of generality,we can assume that the range of A is closed,otherwise we can consider the restriction of A to E where E=T−1(F),In all cases the theorem assures that F is finite dimensional. to prove the theorem,consider the canonical map associated with A and the fact that the closedness of the range of the operator imply the invertibility of canonical map and hence the finite dimensionality of the range (the identity is compact).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.