# Compact operator maps weakly convergent sequences into strongly convergent sequences

I found the following property of compact operators in a proof, and I can't prove it.

Prove that if $T \in \mathcal{L}(E,F)$ is compact, and if $u_n \rightharpoonup u$ (the sequence converges weakly to $u$ in $\sigma(E,E^*)$) then $Tu_n \to Tu$ strongly in $F$.

I was able to prove that $Tu_n$ has a convergent subsequence ($u_n \rightharpoonup u$ implies that $(u_n)$ is bounded in $E$. Then, because $T$ is compact it must follow that $(Tu_n)$ must contain some strong convergent subsequence), but didn't manage to finalize the proof.

Any reference or hints are welcome.

-
@all: please ignore my vote to close. I'm pretty sure this was discussed several times already, but I can't seem to find the thread at the moment. The thread I linked to is not a duplicate of this question. Beni, sorry about that. –  t.b. Oct 6 '11 at 18:19
@t.b.: It's ok. I was wondering why it was voted to close. I also searched the site before posting, and didn't find it. –  Beni Bogosel Oct 6 '11 at 18:21

Make use of the following topological lemma.

Lemma Let $X$ be a topological space and $\mathbf{x}=(x_n)_{n\in \mathbb{N}}$ be a sequence of elements of $X$. If every subsequence of $\mathbf{x}$ contains a subsequence convergent to $x$ then $x_n \to x$.

-
This surely is a very nice argument. Thank you. –  Beni Bogosel Oct 6 '11 at 18:22
You're welcome! This little lemma is simple yet useful to know, IMHO. –  Giuseppe Negro Oct 6 '11 at 21:29

This is also true by the following reason:

Since you've already proved that there is a strongly convergent subsequence, let's say $Tu_{n_k} \to u^*$ for $k \to \infty$. Then by the weak convergence of $u_n \rightharpoonup u$ you get immediately that $Tu_n \rightharpoonup Tu$. Now since strong convergence implies weak convergence and from the uniqueness of the limit of a weak convergent sequence it must be true that

$u^*= Tu$.

Therefore $Tu$ is a limit point of the sequence $(Tu_n)_{n \in \mathbb{N}}$. Now there's just one thing left to prove your statement

Claim: There's no other limit point, hence it must be the limit.

Proof: Suppose there's another limit point $z$ of the sequence $(Tu_n)_{n \in \mathbb{N}}$. Again there must be a subsequence $(Tu_{n_m})_{m \in \mathbb{N}}$ converging to $z$. Hence this subsequence $u_{n_m} \rightharpoonup u$. Last step, use the same argumentation as above to conclude that $z = Tu = u^*$.

Therefore $Tu_n \to Tu$ as $n\to \infty$.

To be precisly, at this point you know,

$Tu_{n_k} \to Tu$ and that the limit $Tu$ is the only limit point of $(Tu_n)_{n\in \mathbb{N}}$. Use now a contradiction argument to prove that $Tu_n\to Tu$.

-
Why is it "immediate" that you get $Tu_n \rightharpoonup Tu$ from the weak convergence of the $u_n$? –  maximumtag 2 hours ago