Parseval identity for a Hilbertian basis
= Parseval identity for a Hilbertian basis
{c}
For a Hilbertian basis $(e_i)$,
$$
\langle x,y\rangle
=\sum_i\langle x,e_i\rangle\overline{\langle y,e_i\rangle},
\qquad
\lVert x\rVert^2=\sum_i|\langle x,e_i\rangle|^2.
$$