Weak Convergence implies boundedness and componentwise convergence

Answer to the first part of your question easily follows from uniform boundedness principle.

For each $n\in\mathbb{N}$ we define linear operator (in fact linear functional) $$ T_n:\ell_2\to\mathbb{C}:y\mapsto\langle y, a_n\rangle $$ Let's compute their norm. From Cauchy Schwarz inequality it follows that for all $y\in\ell_2$ we have $$ |T_n(y)|=|\langle y,a_n\rangle|\leq\Vert a_n\Vert\Vert y\Vert $$ hence $$ \Vert T_n\Vert\leq\Vert a_n\Vert\tag{1} $$ On the other hand $\Vert T_n(a_n)\Vert=\langle a_n,a_n\rangle=\Vert a_n\Vert^2$, so $$ \Vert T_n\Vert\geq \Vert T(a_n)\Vert/\Vert a_n\Vert=\Vert a_n\Vert\tag{2} $$ From $(1)$ and $(2)$ it follows that $$ \Vert T_n\Vert=\Vert a_n\Vert\tag{3} $$ Now fix $y\in \ell_2$, then by assumption $\lim\limits_{n\to\infty} T_n(y)=\lim\limits_{n\to\infty}\langle y,a_n\rangle=\langle a,y\rangle$. This means that the sequnce $\{T_n(y):n\in\mathbb{N}\}$ is convergent and, as the consequence is bounded. Thus for each $y\in\ell_2$ we have $$ \sup\{| T_n(y)|:n\in\mathbb{N}\}<+\infty $$ Then from uniform boundedness principle it follows that $$ \sup\{\Vert T_n\Vert:n\in\mathbb{N}\}<+\infty $$ Using $(3)$ we conclude that $\{\Vert a_n\Vert:n\in\mathbb{N}\}$ is bounded. In fact there is more general and much more short proof, but it involves additional usage of standard embedding into the double dual which is isometric for normed spaces.

As for the second part of the question. It is much more easier. Fix $i\in\mathbb{N}$ and consider vector $y_i\in\ell_2$ such that $$ y_i(k)=\begin{cases}1&\quad\text{ if }\quad k=i\\0&\quad\text{ if }\quad k\neq i\end{cases} $$ Obviously $$ \langle y_i,a_n\rangle=\sum\limits_{k=1}^\infty a_n(k)\overline{y_i(k)}=a_n(i)\\ \langle y_i,a\rangle=\sum\limits_{k=1}^\infty a(k)\overline{y_i(k)}=a(i) $$ Since for all $y\in\ell_2$ we have $\lim\limits_{n\to\infty}\langle y,a_n\rangle=\langle y,a\rangle$ then $$ \lim\limits_{n\to\infty} a_n(i)=\lim\limits_{n\to\infty}\langle y_i,a_n\rangle=\langle y_i,a\rangle=a(i) $$ This s exactly what we wanted to prove.

P.S.

There is NO absolutely elementary proof for your question without appealing to any theorem. Want you or not, you MUST use completeness of $\ell_2$. For incomplete inner product spaces the first result doesn't hold. For counterexample see answer to the question What facts about the weak topology fail in spaces that aren't Banach?. Well, one can modify my proof so it won't use uniform boundedness principle, but this modification will significantly enlarge the proof and in fact one WILL prove uniform boundedness principle for this particular case, but without explicitly giving things their names.


To show that a weakly convergent sequence is norm-bounded, usually the uniform boundedness principle is applied, see also this link. The convergence in the $n$-the component follows immediately, if you choose $y$ as the $n$-th unit vector in $l^2$.