this might be a basic question : If we consider a Hilbert space $H$ with the scalar product $\cdot$ and the norm induced by it : $\mid . \mid$, then, is it true that every vector $v$ in $H$ can be written as : $$v=\sum_{i=1}^{N}(v_j\cdot v)v_j$$ where $(v_j)_{j=1,...,N}$ is a orthonormal system in $H$.
Thanks,