Prove the following statement. In an arbitrary real Hilbert space \(H\) an orthonormal system \((\phi _1,\phi _2,\ldots ,\phi _n,\ldots )\) is complete if and only if the equality \[ \lVert f\rVert ^2=\sum _{n=1}^{\infty }\langle f,\phi _n\rangle ^2 \] holds for any \(f\in H\).
Question
Math 6420 • PDE
Fall 1999 • Question 5