Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A Linear map between Banach spaces $C:X\rightarrow U$ is compact if it maps if the closure of the image of the unit ball is precompact in U.

If a map $C:X\rightarrow U$ maps every weakly convergent sequence into strongly convergent can we say that the map is compact?

The converse can be seen here: Compact operator maps weakly convergent sequences into strongly convergent sequences

share|improve this question
    
Is $C$ a linear map? If not, your definition of compact is wrong. –  Tomás Dec 5 '12 at 12:47
    
yes thanks, I changed it! –  Johan Dec 5 '12 at 13:58

2 Answers 2

up vote 2 down vote accepted

If $C$ is not linear the correct definition is: $C$ is compact if $C(A)$ is pre compact whenever $A$ is bounded. If $C$ is linear we get the usual definition by homogeneity.

Now, if $X$ is reflexive the answer is true. To see this, let $v_n\in C(A)$ where $A\subset X$ is a bounded set and note tat $v_n=C(u_n)$, with $u_n \in A$. Because $X$ is reflexive we can extract a subsequence of $u_n$ (not relabeled), such that, $u_n\rightarrow u$ weakly in $X$. Hence, by using the hypothesism we get that $C(u_n)\rightarrow C(u)$ strongly in $\overline{T(A)}$.

share|improve this answer
1  
nice! why cant we extract this if $X$ is not reflective!? –  Johan Dec 5 '12 at 13:56
    
If $X$ is not reflexive, you cant ensure the existence of weakly convergent subsequence. In fact you can guarantee the existence of a weakly star convergent subsequence and if $X$ is reflexive, the weak star topology and the weak topology coincide, hence, you can conclude weak convergence. Take a look in David Mitra example, note that $\ell_1$ is not reflexive. –  Tomás Dec 5 '12 at 14:22

No. For example, in $\ell_1$ ($=\ell_1(\Bbb N)$) every weakly convergent sequence is norm convergent. Thus the identity operator, $I$, on $\ell_1$ maps weakly convergent sequences to norm convergent sequences. But $I$ is not a compact operator.

Incidentally, operators that map weakly convergent sequences to norm convergent sequences are called completely continuous. If $X$ is a reflexive space, then every completely continuous operator on $X$ to a Banach space $Y$ is compact (as a result that the closed unit ball of $X$ is weakly compact for reflexive $X$).

share|improve this answer
    
Thanks! great counterexample! –  Johan Dec 5 '12 at 13:57

Your Answer

 
discard

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.