在数学分析中，以馬克-安托萬·帕塞瓦爾命名的**帕塞瓦尔恒等式**是一个有关函数的傅里叶级数的可加性的基础结论。从几何观点来看，这就是内积空间上的毕达哥拉斯定理。 

通俗地说，此恒等式表明"函数的傅里叶系数的平方和"与"函数平方后的积分值"可以直接换算

{\displaystyle \sum \_{n=-\infty }^{\infty }|c\_{n}|^{2}={\frac {1}{2\pi }}\int \_{-\pi }^{\pi }|f(x)|^{2}\,dx,}
在这里*ƒ*的傅里叶系数*c**n*可通过下式计算得到

{\displaystyle c\_{n}={\frac {1}{2\pi }}\int \_{-\pi }^{\pi }f(x)\mathrm {e} ^{-inx}\,dx.}
正式一点地说，结论成立的前提是上面提到的*ƒ*必须是平方可积函数，或者更一般地说，要是在*L*2[−π,π]中。一个与之相似的结果就是Plancherel定理（英语：）,它指出函数的傅里叶转换的平方和的积分等于函数本身平方的积分。就一维情形而言，对于*ƒ* ∈ *L*2(**R**)，我们有

{\displaystyle \int \_{-\infty }^{\infty }|{\hat {f}}(\xi )|^{2}\,d\xi =\int \_{-\infty }^{\infty }|f(x)|^{2}\,dx.}

毕达哥拉斯定理的推广
----------

首先我们回顾一下毕达哥拉斯定理的内容。在一般的欧氏平面几何中，毕达哥拉斯定理说明直角三角形的两个直角边之长度的平方加起来等于斜边的平方。从另一种角度来看，若在平面上定义了一个直角坐标系xOy（单位向量分别是{\displaystyle (e\_{x},e\_{y})}），那么一个向量和它在这两个坐标轴方向上的投影构成一个直角三角形，因此，向量的长度的平方等于它在两个坐标轴方向上的投影的长度的平方之和。

对于一个有限维的欧几里得空间\mathbb {R} ^{n} 以及其中的标准规范正交基(e\_{1},e\_{2},\cdots ,e\_{n})，空间中的一个向量{\displaystyle v=(v\_{1},v\_{2},\cdots ,v\_{n})} 的长度的平方等于它在各个基向量上的投影的长度的平方之和：

{\displaystyle \left\|v\right\|^{2}=v\_{1}^{2}+v\_{2}^{2}+\cdots +v\_{n}^{2}.}
在一般的希尔伯特空间之中，也有类似的等式。设{\mathcal {H}} 是一个具有内积：\left\langle \cdot ,\cdot \right\rangle  的希尔伯特空间。考虑{\mathcal {H}} 中的一组规范正交基：(e\_{1},e\_{2},\cdots ,e\_{n},\cdots )，那么{\mathcal {H}} 中的每一个向量的范数的平方都等于它在各个基向量上的投影的平方之和:

{\displaystyle \sum \_{k}\left|\left\langle x,e\_{k}\right\rangle \right|^{2}=\left\|x\right\|^{2}.}
更准确地说，帕塞瓦尔恒等式与毕达哥拉斯定理在如下更具一般性的情形下存在联系，下面说的是一种拓扑可分离的希尔伯特空间。假设*H*是一个具有内积〈·,·〉的希尔伯特空间。令(*e**n*)是*H*的一组正交基；也就是说，*e**n*的线性张成是*H*中的稠密集，且*e**n*彼此正交:

{\displaystyle \langle e\_{m},e\_{n}\rangle ={\begin{cases}1&{\mbox{if}}\ m=n\\0&{\mbox{if}}\ m\not =n.\end{cases}}}
利用帕塞瓦尔恒等式随即可以断言对于任何 *x* ∈ *H*,

{\displaystyle \sum \_{n}|\langle x,e\_{n}\rangle |^{2}=\|x\|^{2}.}
这个式子与毕达哥拉斯定理有着显而易见的相似性，后者指出"向量的正交分量的平方和"等于"向量长度（模）的平方"。由此也不难得到傅里叶级数版本的帕塞瓦尔恒等式，只需让*L*2[−π,π]取代*H*，并对于所有*n* ∈ **Z**.令*e**n* = e−i*nx*。

更一般地说，帕塞瓦尔恒等式在任何内积空间中都成立，而不只局限于希尔伯特空间。因此假定*H*是一个内积空间。令*B*表示*H*的一组正交基;换句话说，*B*是一个其线性张成在*H*中稠密的正交集合。然后可得

{\displaystyle \|x\|^{2}=\langle x,x\rangle =\sum \_{v\in B}\left|\langle x,v\rangle \right|^{2}.}
"**B**是全体*v*的总和"这一假定对于恒等式的有效性是不可或缺的。如果*B*不是*v*的总和，那么帕塞瓦尔恒等式中的等号必须用"≥"符号替换，恒等式此时退化为贝塞尔不等式。帕塞瓦尔恒等式的这种推广形式可以用里斯-费歇尔定理加以证明。

参见
--

* 帕塞瓦尔定理

参考文献
----

* Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4
* Johnson, Lee W.; Riess, R. Dean,  2nd, Reading, Mass.: Addison-Wesley, 1982, ISBN 0-201-10392-3 .
* Titchmarsh, E,  2nd, Oxford University Press, 1939 .
* Zygmund, Antoni,  2nd, Cambridge University Press, 19681988, ISBN 978-0-521-35885-9 .

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥（英语：）

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 (范数)
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论（英语：） | 
* 巴拿赫代数（英语：）
* C\*-代数
* 谱 (泛函分析) (谱半径)
* 谱理论（英语：）(谱定理)
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |