Functional analysis MOC

Bessel’s inequality

Let be a Hilbert space, and be an orthonormal sequence in . Then for any

and thus the infinite series on the left converges. fun

Proof

Let

then

meanwhile

so . Now

so

implying

for all .

---

statetidy | en | sembr