Past exam of the analysis course of the University of Oxford / 2010 / A / 1 / c

Let $D$ be the set of finitely supported sequences with rational coordinates. It is countable: it is the union over $N$ of copies of ${\mathbb{Q}}^N$. Given $\alpha \in {\ell }_{1,2}$ and $\epsilon >0$, choose $N$ with ${\sum }_{j>N}{j}^2|{\alpha }_j|<\epsilon /2$. Choose rational numbers $q_j$ for $1\le j\le N$ so that ${\sum }_{j=1}^N{j}^2|q_j-{\alpha }_j|<\epsilon /2$, and put $q_j=0$ thereafter. Then $q\in D$ and $\Vert q-\alpha {\Vert }_{1,2}<\epsilon$. Thus $D$ is countable and dense, so the space is separable.