Let \(\{\phi_i\}\) be a (finite or infinite) orthonormal set in a
Hilbert space. Prove that for every vector \(f\) in the space
\[
\lVert f\rVert^2\le \sum_i |\langle f,\phi_i\rangle|^2.
\]
If inequality in above equation is replaced by strict equality, what can be said about the
set \(\{\phi_i\}\)?
Question
Math 6420 • PDE
Fall 1997 • Question 4