l2 sequence space (source code)

= l2 sequence space
{title2=$\ell^2$}

The space $\ell^2$ consists of scalar sequences $x=(x_n)$ satisfying $\sum_n|x_n|^2<\infty$. With inner product $\langle x,y\rangle=\sum_nx_n\overline{y_n}$, it is a <Hilbert space>.