Orthonormal dense basis

Parseval's relation

Let be a Hilbert space and be an orthonormal dense basis. Then for any we have #m/thm/anal/fun

Proof

#missing/proof

#state/develop | #lang/en | #SemBr