在数学里的泛函分析中，**贝塞尔不等式**（英語：）是类似于勾股定理的一种不等式。贝塞尔不等式揭示了希尔伯特空间中的一个元素和它在一个正交序列上的投影之间的关系。举例来说，平面上的一个向量的长度的平方等于它在两个相互垂直的坐标轴上的投影的平方和，而对于一个三维空间上的向量，它在两个相互垂直的坐标轴上的投影的平方和一般会小于它自身的长度的平方，除非它就在这两个坐标轴构成的平面上。对于一个希尔伯特空间中的向量来说，它在任意一个正交序列上的投影的平方和也是小于等于它自身的长度的平方。这就是贝塞尔不等式。贝塞尔不等式的等号成立当且仅当正交序列是完全序列。这时贝塞尔不等式转化为**帕塞瓦尔定理**。

定理的叙述
-----

设{\mathcal {H}} 是一个装备了内积：\left\langle \cdot ,\cdot \right\rangle  的希尔伯特空间。考虑一组规范正交向量的序列：(e\_{1},e\_{2},\cdots ,e\_{n},\cdots )。那么，对于任意一个{\mathcal {H}} 中的元素，都有：

\sum \_{k}\left|\left\langle x,e\_{k}\right\rangle \right|^{2}\leq \left\|x\right\|^{2}
其中的系数\left\langle x,e\_{k}\right\rangle  是*x* 在一个正交向量序列中元素e\_{k} 上的投影的长度。

例子
--

### 例一：平面直角坐标系

平面上的向量满足勾股定理。
在平面上，假定已经存在一个由相互垂直的向量构成的直角坐标系。根据勾股定理，一个向量的长度的平方r^{2} 等于它在*X* 轴的投影的长度的平方（x^{2}） 加上它在*Y* 轴的投影的长度的平方（y^{2}），如右图。

实际上，整个平面上的每一个向量都可以由这两个相互垂直的单位向量的有限线性组合表示。这样的一组相互垂直的向量被称为是这个平面里的一组**完全规范正交向量**：每个向量都可以被这一组向量的有限线性组合作任意程度的逼近（事实上是等于）。

### 例二：三维空间中的平面投影

当向量是在三维欧几里得空间中时，对于一个平面（比如说xOy平面）以及平面上的一个由相互垂直的向量（Ox 方向上的e\_{x} 和Oy 方向上的e\_{y}）构成的直角坐标系，向量的长度的平方会比它在*X* 轴的投影的长度平方加上它在*Y* 轴的投影的长度平方之和还要大。实际上，这个平方和正是向量在xOy平面上的投影的长度的平方。而原来的向量的长度的平方是这个投影长度的平方加上它在*Z* 轴的投影的长度平方。

这个事实说明，向量e\_{x} 和e\_{y} 不是三维欧几里得空间里的一组完全正交向量。

证明
--

证明的思路是利用一般希尔伯特空间中的"勾股定理"：如果两个向量垂直，那么它们的和的长度平方等于它们两个的长度的平方和。首先考虑规范正交向量序列有限时的情形：设序列的长度是*n*，序列中的元素是：

(e\_{1},e\_{2},\cdots ,e\_{n})
设一个向量*x* 在这个规范正交序列上的投影为向量：p(x)=\sum \_{k=1}^{n}\langle x,e\_{k}\rangle e\_{k}，而*x* 与它的投影的差则是向量：z(x)=x-p(x)=x-\sum \_{k=1}^{n}\langle x,e\_{k}\rangle e\_{k}。这两个向量的内积等于：

\langle p(x),z(x)\rangle =\langle \sum \_{k=1}^{n}\langle x,e\_{k}\rangle e\_{k},x-\sum \_{k=1}^{n}\langle x,e\_{k}\rangle e\_{k}\rangle =\sum \_{k=1}^{n}(\langle x,e\_{k}\rangle \langle e\_{k},x\rangle )-\sum \_{k=1}^{n}\sum \_{l=1}^{n}\langle x,e\_{k}\rangle {\overline {\langle x,e\_{l}\rangle }}\langle e\_{k},e\_{l}\rangle 
=\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}-\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}\langle e\_{k},e\_{k}\rangle =\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}-\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}=0
也就是说，*x* 在这个规范正交序列上的投影垂直于*x* 与它的投影的差。所以根据勾股定理，有：

\left\|x\right\|^{2}=\left\|p(x)\right\|^{2}+\left\|z(x)\right\|^{2}\geq \left\|p(x)\right\|^{2}=\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}\langle e\_{k},e\_{k}\rangle =\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}
即使规范正交向量序列是无限的，只要它是可数的，就会有相同的不等式。实际上，只需要考虑这个无穷（可数个）序列中的前面*n* 项。根据有限序列时的情形，可以证明一个元素*x* 在规范正交向量序列的前*n* 项上的投影的长度平方和\sum \_{k=1}^{n}|\langle x,e\_{k}\rangle |^{2}小于等于*x* 的长度平方。这个平方和实际上是正项无穷级数\sum \_{k}|\langle x,e\_{k}\rangle |^{2}的前*n* 项部分和，所以这个无穷级数收敛，并且其极限\sum \_{k=1}^{\infty }|\langle x,e\_{k}\rangle |^{2}也小于等于*x* 的长度平方。换句话说，向量序列p\_{n}(x)=\sum \_{k=1}^{n}\langle x,e\_{k}\rangle e\_{k} 在{\mathcal {H}} 上收敛。

参见
--

* 闵可夫斯基空间
* 柯西不等式
* 三角不等式
* 完备空间

参考来源
----

* B.A.卓里奇 著，蒋铎 钱佩玲 周美珂 邝荣雨 译.. 高等教育出版社. 2006. ISBN 978-7-04-020257-1.
* P. R. Halmos.. Chelsea Pub Co; 2 edition. August 1998. ISBN 978-0-82-181378-2.

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

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

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

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

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

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

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

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

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

 |

 |