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. #m/thm/anal/fun

Proof

Let

then

meanwhile

so . Now

so

implying

for all .

#statetidy | #lang/en | #SemBr