Sőt, (5), hogy a konvergenciaprogram, mindig van:
<math> \ int _ {a} ^ {b} f ^ 2 (x) \, dx \ ge \ sum _ {k = 1} ^ {\ infty} c ^ {2} _ {k} </ math>, intézmény, amely az úgynevezett Bessel (Bessel) egyenlőtlenség. Ezen kívül, (6) képlet egyszerűen elindítja a ortogonalitás, mert a készülék ortogonális alapját semmilyen <math> \ {e_i \} ^ {N} _ {i = 1} </ math>,, vektor x in <math> e_i </ math>, vetítés a teljes <math> <x,e_i> </ math>,.
|