Originally Posted by

**surjective** Hey,

I would like to show that the sequence $\displaystyle \{ \delta_{k} \}_{k=1}^{\infty}=(0,0,0,\ldots,1,0,0,\ldots)$ (the k'th entry is 1) is an orthonormal basis for the space

$\displaystyle l^{2}(\mathbb{N})=\Big\{\{x_{k}\}_{k=1}^{\infty} \vert x_{k}\in \mathbb{C} \forall k\in \mathbb{N}, \sum_{k \in \mathbb{N}}|x_{k}|^{2} < \infty \Big\}$

I know that to show this I must:

1) Show that $\displaystyle \{ \delta_{k} \}_{k=1}^{\infty}$ is a basis

for $\displaystyle l^{2}(\mathbb{N})$

2) Show that $\displaystyle <\delta_{k},\delta_{k}>=1,\forall k$

3) Show that $\displaystyle <\delta_{k},\delta_{k}>=0, k\neq j$

My questions is only concerning point 1): I have already shown that $\displaystyle \{ \delta_{k} \}_{k=1}^{\infty}=(0,0,0,\ldots,1,0,0,\ldots)$ is a basis for $\displaystyle l^{1}(\mathbb{N})$. Can the sequence be a basis for both spaces? If yes, would it be acceptable to use the method used in the case of $\displaystyle l^{1}(\mathbb{N})$?

Thanks.