Show $c_{00}$ is dense in $\ell_2$. (Some calculus help needed.)

Question

I want to show $c_{00}$ is dense in $\ell_2$. But I stuck in some calculus part.

And my attempt: Equip $c_{00}$ with $\|\cdot\|_2$. Let $x=(x_n)\in\ell_2$. The sequence $(y_n)=\{x_1,x_2,\cdots,x_n,0\cdots\}$ is a sequence in $c_{00}$. To show $c_{00}$ is dense in $\ell_2$, we only need to show that $y_n\rightarrow x$ in $\|\cdot\|_2$. And we have $\|y_n-x\|_2=(\sum_{k=n+1}^{\infty}|x_k|^2)^{\frac{1}{2}}.$ Let $\epsilon>0$. And I want to show $\|y_n-x\|_2<\epsilon$. It suffices to show $\sum_{k=N}^{\infty}|x_k|^2<\epsilon$ for some $N\in\mathbb{N}$. That is where I am stuck. I know we have $\sum_{k=N}^{\infty}|x_k|<\infty$. But how to get $\sum_{k=N}^{\infty}|x_k|^2<\epsilon$ for some $N\in\mathbb{N}$?

Thank you in advance!

Answer 1

This will solve your problem

Theorem: If $\sum_{n=1}^\infty a_n$ converges then $\lim_{N\rightarrow\infty} \sum_{n=N}^\infty a_n=0$.

The word "This" in the first sentence of this answer is linked to a proof of this Theorem.

Answer 2

You have to use that $x\in\ell^2$, so $\sum_{k=1}^\infty | x_k|^2<\infty$.

This implies that $$ \sum_{k=m}^\infty | x_k|^2 \to 0 \quad\text{for}\;m\to\infty. $$

Then you can choose $m\in\mathbb N$ that has the property that you want.