Let $\lbrace x_n\rbrace\in l_2$ be a sequence weakly converges to $x$.
I want to prove that there is a subsequence $\lbrace x_{n_k}\rbrace $ such that the Cesàro means $\frac{1}{k}(x_{n_1}+x_{n_2}+\dots+ x_{n_k})$ converge to $x$ in $l_2$.
Isn't it true that $x_n$ weakly converges to $x$ implies that there is a subsequence $x_{n_k}$ which converges to $x$?
Then, I think that if the sequence converges to $x$ in $l_2$ then the Cesàro mean of the sequence also converges to $x$ in $l_2$.
Isn't it?
Best Answer
First of all, the following are equivalent
That 2. implies 1. is a nice exercise in applying the polarization identity.
A standard example of a weakly convergent sequence that doesn't contain a norm-convergent sequence is an orthonormal system, as can be seen from Bessel's inequality, for example.
However, the result you're asking about is true. Slightly more generally we have:
The proof is not hard: Let $\|x_n\| \leq C/2$ for all $n$. Since the closed ball of radius $C/2$ in the span of the $(x_n)$ is compact metrizable in the weak topology, we may assume that the sequence converges weakly in the first place. By translating the sequence, we may even assume that it converges weakly to zero, and the sequence will certainly be bounded by $C$.
Now choose the sub-sequence $y_k = x_{n_k}$ inductively, using weak convergence to zero:
Estimate $$\left\Vert \frac{1}{n} \sum_{k=1}^{n} y_{k} \right\Vert^{2}$$ and show that it converges to zero. If you lose yourself in the estimates here, don't worry, strengthen them by Nate's suggestion which makes the argument a little easier.
Finally, the result you're asking about follows from the Banach-Saks theorem by applying the uniform boundedness principle to see that a weakly convergent sequence is bounded.