Show that inner product on $\ell^2$ is well-defined

cauchy-schwarz-inequalityinner-productssequences-and-series

Define $$ \ell^2 = \{(z_n)\in \mathbb{C}^{\mathbb{N}}: \sum_{j=1}^{\infty}|z_j|^2<+\infty\}.$$ One can show that $\ell^2$ is a $\mathbb{C}$-vector space and, moreover, that $\ell^2$ is an inner product space for $$ \langle(z_n),(u_n)\rangle=\sum_{j=1}^{\infty}z_j\overline{u_j}.$$ It's not too challenging to show that this map is indeed an inner product, but I'm also trying to show that it is well-defined; i.e. that $$ |\langle(z_n),(u_n)\rangle|<+\infty,\quad \forall(z_n),(u_n)\in \ell^2.$$ I want to show something like this $$|\langle(z_n),(u_n)\rangle|^2 = \left| \sum_j z_j\overline{u_j}\right|^2\le \dots\le \left(\sum_j |z_j|^2\right)\left( \sum_j|u_j|^2\right) < +\infty.$$ I can't use Cauchy-Schwarz' inequality since I have yet to show that $\ell^2$ is an inner product space.

Any hints?

Best Answer

$\sum\limits_{n=1}^{N}|u_nv_n| \leq \sqrt {\sum\limits_{n=1}^{N}|u_n|^{2}} \sqrt {\sum\limits_{n=1}^{N}|u_n|^{2}} $ for all $N$ (by Cauchy-Schwarz inequality in $\mathbb C^{N}$). Since the right side is bounded it follows that the series $\sum u_nv_n$ is absolutely convergent.