Parseval 等式是 Hilbert 空间中的一个等式,它表明 Hilbert 空间中任意元素可以用一组正交规范集线性表出的条件是有完备的正交集。
内容[]
假设
是 Hilbert 空间,
是一组正交规范集,那么下列叙述等价:
是封闭的,即
。这时称
是正交规范基;
是完备的,即
中不存在非零元与
正交(即不存在
);
- 成立 Parseval 等式:

证明[]
- 1推2:反证法,假设
不完备,即
,而封闭性蕴含
,矛盾。
- 2推3:反证法,假设存在一个
使得 Parseval 等式不成立,则由 Bessel 不等式的推论
可知,
的范数大于零,进而
然而
,这与
的完备性矛盾。
- 3推1:由该等式以及式#A1得

因此
- 证毕。
参考资料