6
$\begingroup$

I am reading a book about functional analysis and have a question:

Let $X$ be a infinite-dimensional Banach-space and $A:X \rightarrow X$ a compact operator. How can one show that $A$ can not be surjective?

  • 0
    Then there can be surjection for sure. Take $Y = \mathbb R$ for example and a non zero functional $f: X\to \mathbb R$. @charlestoncrabb2016-09-01

3 Answers 3

12

By popular request ^^ this comment is made into an answer.

Jonas has already given an answer, but here's another one. You can remember that in the context of Banach spaces (or more generally complete metrizable topological vector spaces), surjective (continuous) linear maps are automatically open. Thus you would have $c B_X\subset A(B_X)$ where $c$ is a positive real number and $B_X$ is the unit ball in $X$. The left hand side has compact closure iff $X$ is finite dimensional by a theorem of Riesz, while the right hand side has compact closure by definition of $A$ being compact. So $X$ must be finite dimensional for $A$ to be compact and surjective.

  • 1
    @r.pomegranate finite rank continuous linear maps are always compact.2015-05-15
3

Suppose that $A$ is invertible. Then $I = A^{-1}A$ must also be compact. But $I$ cannot be compact in a infinite-dimensional space.

To prove the last statement note that since $X$ is infinite dimensional, the space contains a sequence of unit vectors $\{x_n\}_n$ in $X$ which does not contain a convergent subsequence (Riesz's lemma). Hence $\{I x_n\} = \{x_n\}$ does not contain a convergent subsequence, hence $I$ cannot be compact.

  • 0
    I'm sorry, I'm not fresh enough now to explain why we can reduce to non-invertibility. I'll check it out tomorrow.2011-10-19
3

I would appeal to Banach open mapping theorem. Suppose $A$ is surjective: then, since $X$ is complete it needs be an open mapping. So $A$ maps the unit ball into some precompact open set, which cannot exist in a infinite-dimensional normed space because of Riesz's lemma - the same Jonas mentions. Indeed, a precompact open set $U$ of $X$ would contain a ball of radius $r$. Call $y_n=\frac{r}{2}x_n$, where $x_n$ is the sequence of unit vectors prescribed by the lemma. Then $y_n \in U$ and so it should have a convergent subsequence, which is a contradiction.

Note [EDIT This example is wrong, see comment by nullUser below.] It is important to assume completeness of $X$. This hypothesis enables us to summon Banach open mapping theorem and without it the claim is false. For example, consider the space $c_{00}= \{\mathbf{x}=(x_n)_{n \in \mathbf{N}} \mid x_n=0\ \text{for all sufficiently large}\ n\} $ equipped with the norm $\lVert \mathbf{x}\rVert^2=\sum_{n=1}^\infty \lvert x_n\rvert^2.$ This space is not complete and, indeed, the operator $T\colon c_{00} \to c_{00}$ defined by $T(\mathbf{x})=(x_1, \frac{x_2}{2}, \frac{x_3}{3}, \ldots)$ is compact and surjective.

  • 0
    @nullUser: I guess that you are right. I had hastily classified that operator as 'compact' because indeed it is a compact operator from $\ell^2$ into $\ell^2$.2013-04-17