设是内积空间H的一个标准正交系，则x的Fourier级数必收敛于x.