ベッセルの不等式

3行要約

1. ヒルベルト空間の元を直交系で展開した際、係数の2乗和が元のノルムを超えない性質。
2. フーリエ級数において、有限項の近似が元の関数より大きなエネルギーを持たないことを示す。
3. 等号が成立する場合はパーセバルの等式と呼ばれ、完全性の判定基準となる。