，它在两个相互垂直的坐标轴上的投影的平方和一般会小于它自身的长度的平方，除非它就在这两个坐标轴构成的平面上。对于一个希尔伯特空间中的向量来说，它在任意一个正交序列上的投影的平方和也是小于等于它自身的长度的平方。这就是贝塞尔不等式。贝塞尔不等式的等号成立当且仅当正交序列是完全序列。这时贝塞尔不等式转化为帕塞瓦尔定理。
定理的叙述.设formula_1 是一个装备了内积：formula_2 的希尔伯特空间。考虑一组规范正交向量的序列：formula_3。那么，对于任意一个formula