在数学里的泛函分析中,贝塞尔不等式(英語:Bassel's inequality)是类似于勾股定理的一种不等式。贝塞尔不等式揭示了希尔伯特空间中的一个元素和它在一个正交序列上的投影之间的关系。举例来说,平面上的一个向量的长度的平方等于它在两个相互垂直的坐标轴上的投影的平方和,而对于一个三维空间上的向量,它在两个相互垂直的坐标轴上的投影的平方和一般会小于它自身的长度的平方,除非它就在这两个坐标轴构成的平面上。对于一个希尔伯特空间中的向量来说,它在任意一个正交序列上的投影的平方和也是小于等于它自身的长度的平方。这就是贝塞尔不等式。贝塞尔不等式的等号成立当且仅当正交序列是完全序列。这时贝塞尔不等式转化为帕塞瓦尔定理。
定理的叙述
设 是一个装备了内积: 的希尔伯特空间。考虑一组规范正交向量的序列: 。那么,对于任意一个 中的元素,都有:
其中的系数 是x 在一个正交向量序列中元素 上的投影的长度。
例子
证明
证明的思路是利用一般希尔伯特空间中的“勾股定理”:如果两个向量垂直,那么它们的和的长度平方等于它们两个的长度的平方和。首先考虑规范正交向量序列有限时的情形:设序列的长度是n,序列中的元素是:
-
设一个向量x 在这个规范正交序列上的投影为向量: ,而x 与它的投影的差则是向量: 。这两个向量的内积等于:
-
-
也就是说,x 在这个规范正交序列上的投影垂直于x 与它的投影的差。所以根据勾股定理,有:
-
即使规范正交向量序列是无限的,只要它是可数的,就会有相同的不等式。实际上,只需要考虑这个无穷(可数个)序列中的前面n 项。根据有限序列时的情形,可以证明一个元素x 在规范正交向量序列的前n 项上的投影的长度平方和 小于等于x 的长度平方。这个平方和实际上是正项无穷级数 的前n 项部分和,所以这个无穷级数收敛,并且其极限 也小于等于x 的长度平方。换句话说,向量序列 在 上收敛。
参见
参考来源