Consider the question: In an inner product space $V$, when does the Fourier series of $x$, $\sum\limits_{n=1}^k\langle e_n,x\rangle e_n$ converges to $x$ as $k\to\infty$? Well, certainly is converges for all $x$ if $V$ is a Hilbert space. But what if $V$ is not a Hilbert space? Is the completeness property that a Hilbert space possesses necessary to ensure the Fourier series converges in $V$ for all $x\in V$?
Might there be incomplete inner product space $V$, e.g. maybe $c_{00}$ - sequences in $\mathbb{F}$ with finitely many non-zero entries, along with associated inner product $\langle(a_n),(b_n)\rangle = \sum\limits_{n=1}^\infty a_n \overline{b_n}$. Then we choose the obviously countable orthonormal basis. Isn't it true that for each $x$ the Fourier series converges? If this is the case then what can we say about such inner product space whose Fourier series of $x$ converges to any given $x$ in the space, assuming the space is not a Hilbert space, i.e. not complete? Is the point that these spaces are arbitrary and the completeness property will guarantee us Fourier convergence? Perhaps Hilbert spaces are, in turn, easier to deal with in general because they guarantee us nice properties.
Also (more basic question), can we always find an ONB of a well-defined inner product space?
Edit: I just realized Gram-Schmidt does this for us in all Hilbert spaces. I guess the question still remains for incomplete inner product spaces.
Apologies for my lack of LaTeX skills....
So yeah lots of questions. Hopefully someone can tell me if I am on the right lines of thought. Thanks