1. Orthonormal Sequence

Let ({e}_{k } be an orthonormal sequence in a Hilbert space H, and let M=span({e}_{k }). show that for any x\in H we have a x \in \bar{M} if and only if x can be represented by \sum_{k = 1}^\infty {a}_{k} {e}_{k} with the coefficient {a}_{k} = <x, {e}_{k}.

2. By definition, $span(e_k)$ is the set of all x that can be written as a linear combination of $e_k$. So $x \in M$ if and only if $x = \sum_{k = 1}^{\infty} a_k e_k$ for some $a_k$. I believe all you need to show is how to derive a_k.

$ = <\sum_{j = 1}^{\infty} a_j e_k, e_k > = \sum_{j = 1}^{\infty} a_j = a_k$
where the last equality holds because $$ is 1 if j = k and 0 otherwise since $(e_k)$ is an orthonormal sequence.

3. Originally Posted by nehme007
By definition, $span(e_k)$ is the set of all x that can be written as a linear combination of $e_k$. So $x \in M$ if and only if $x = \sum_{k = 1}^{\infty} a_k e_k$ for some $a_k$.
I suspect that this is not completely correct. I think that M is supposed to be the set of all finite linear combinations of the $e_k.$ This is not a closed set (if the space is infinite-dimensional), and the point of the question is to show that its closure $\overline{M}$ is given by infinite sums $\sum_{k = 1}^\infty {a}_{k} {e}_{k}.$

4. Originally Posted by Opalg
I suspect that this is not completely correct. I think that M is supposed to be the set of all finite linear combinations of the $e_k.$ This is not a closed set (if the space is infinite-dimensional), and the point of the question is to show that its closure $\overline{M}$ is given by infinite sums $\sum_{k = 1}^\infty {a}_{k} {e}_{k}.$
Please can you help me to show that $\overline{M}$ is given by infinite sums $\sum_{k = 1}^\infty {a}_{k} {e}_{k}.$. This question is really confusing me