‎‎$‎T:\ell^{‎2‎} \rightarrow ‎\ell^{‎2‎}‎$ ‎‎defined ‎by ‎‎$‎T(\{x_{n}\})=\{2^{-n}x_{n}\}$ ‎is ‎compact Please help me to proof of problem :
Show ‎that ‎the ‎operator ‎‎$‎T:\ell^{‎2‎} \rightarrow ‎\ell^{‎2‎}‎$ ‎‎defined ‎by ‎‎$‎T(\{x_{n}\})=\{2^{-n}x_{n}\}$ ‎is ‎compact‎.
Tanks for your hint.
 A: Define $T_k:\ell^2\rightarrow\ell^2$ by $$T_k(\{x_n\})=\Big(\frac{x_1}{2},\frac{x_2}{2^2},...,\frac{x_k}{2^k},0,0,...\Big)$$
What can you say about $T_k$?
A: $\ell^2$ is Hilbert, thus $T$ is compact iff the image of any weakly convergent sequence under $T$ converges. You can show that $T$ is compact as follows:
Let $x^k\stackrel{\omega}{\rightarrow}x$, since $\ell^2$ is complete, it is enough to show that $\{Tx^k\}_k$ is Cauchy. Notice that $||Tx^k-Tx^l||_{\ell^2}^2=\sum_{n\geq1}2^{-2n}|x_n^k-x_n^l|^2$. We have convergence for every term, since the projection on a term of the sequence is a linear operator and we have weak convergence. For every $\epsilon >0$ we can choose $n_0,\ k_0\in\mathbb{N}$ such that for every $n\leq n_0$ and $k,\ l>k_0$ we have $|x_n^k-x_n^l|<\epsilon$ and $\sum_{n>n_0}2^{-2n}<\frac{\epsilon}{||x^k -x^l||_{\ell^2}^2}$. Then:
$$||Tx^k-Tx^l||_{\ell^2}^2=\sum_{n\geq1}2^{-2n}|x_n^k-x_n^l|^2 = \sum_{n=1}^{n_0}2^{-2n}|x_n^k-x_n^l|^2 + \sum_{n>n_0}2^{-2n}|x_n^k-x_n^l|^2<$$
$$<\sum_{n=1}^{n_0}2^{-2n}\epsilon^2 + \sum_{n>n_0}2^{-2n}||x_n^k-x_n^l||_{\ell^2}^2<n_0\epsilon^2 + \epsilon$$
And this concludes the proof.
