**自反空间**是泛函分析中的概念。如果一个巴拿赫空间（或更一般地，一个局部凸拓扑向量空间）的连续对偶空间的连续对偶空间"是"其自身，就称这个空间为自反空间。其中的"是"表示两者无论作为线性向量空间还是作为拓扑空间都是等价的。自反的巴拿赫空间常常可以通过它们的集合特性来刻画。

详细定义
----

设X为标量域\mathbb{F}（{\displaystyle \mathbb {F} =\mathbb {R} }或{\displaystyle \mathbb {C} }）上的赋范向量空间，其中的范数记作\|\cdot \|。考虑它的对偶赋范空间X'。依定义，X'是由所有从X射到标量域\mathbb{F}上的连续线性泛函{\displaystyle f\;\;:\;X\to {\mathbb {F} }}构成的空间（也称为连续对偶空间），装备了对偶范数{\displaystyle \|\cdot \|'}：

{\displaystyle \|f\|'=\sup\{|f(x)|\,:\,x\in X,\ \|x\|\leq 1\}.}
对偶空间X'因此也是赋范空间（可以证明是巴拿赫空间），而它的对偶赋范空间{\displaystyle X''=(X')'}则称为元空间X的**二次对偶空间**（或称双对偶空间）。二次对偶空间由所有从X'射到标量域\mathbb{F}上的连续线性泛函{\displaystyle h\;\;:\;X'\to {\mathbb {F} }}构成的赋范空间，其中的范数{\displaystyle \|\cdot \|''}是{\displaystyle \|\cdot \|'}的对偶范数。空间X中的任意向量x\in X都可以诱导一个标量函数{\displaystyle J(x):X'\to {\mathbb {F} }}，由以下的方法定义：

{\displaystyle J(x)(f)=f(x),\qquad f\in X',}
这个{\displaystyle J(x)}是一个从X'射到标量域\mathbb{F}上的连续线性泛函，所以{\displaystyle J(x)\in X''}。因而可以定义一个映射：

{\displaystyle J:X\to X''}
这个映射称作"**赋值映射**"，是一个线性映射。根据哈恩－巴拿赫定理，映射J是单射，并且保持范数：

{\displaystyle \forall x\in X\qquad \|J(x)\|''=\|x\|,}
这说明，映射J将空间X等距地映射到其在{\displaystyle X''}中的像：{\displaystyle J(X)}上。而映射的像{\displaystyle J(X)}不一定是{\displaystyle X''}的全部，有可能只是{\displaystyle X''}的一个拓撲子空間。而空间X被称为**自反空间**，如果它满足以下几个等价条件中的一个：

1. 赋值映射{\displaystyle J:X\to X''}是满射；
2. 赋值映射{\displaystyle J:X\to X''}是赋范空间之间的等距同构；
3. 赋值映射{\displaystyle J:X\to X''}是赋范空间之间的同构。

自反空间必然是巴拿赫空间，因为它和自身的二次对偶空间同构，而后者必然是巴拿赫空间。

自反空间通过赋值映射与其二次对偶空间等距同构。然而也存在这样的巴拿赫空间X，它与自身的二次对偶空间通过另外的方式等距同构（在另外的范数下），但如果考察赋值映射J，则它只将元空间X和它的二次对偶空间的一个子空间进行等距同构。这样的空间称为准自反空间。如果赋值映射J将X同构到它的二次对偶空间的某个子空间，而这个子空间的余维数为*d*，则称元空间X为*d*阶准自反空间。

例子
--

* 每个有限维赋范向量空间都是自反空间。这是因为有限维赋范向量空间的对偶空间的维数等于元空间（因此二次对偶空间的维数也等于元空间）。因此，如果考虑赋值映射J，根据秩－零化度定理，J是同构。
* 考虑由所有极限为零的实数列{\displaystyle \left(a\_{n}\right)\_{n\in \mathbb {N} }}构成的向量空间c\_{0}，并考虑其上的范数：
{\displaystyle \forall a=\left(a\_{n}\right)\_{n\in \mathbb {N} }\in c\_{0},\;\;\|a\|=\sup \_{n\in \mathbb {N} }\{a\_{n}\}}

赋范向量空间c\_{0}不是自反空间。由以下提到的基本性质可以推出，序列空间\ell ^{1}和\ell ^{\infty }也不是自反空间。因为\ell ^{1}是c\_{0}的对偶空间，{\displaystyle \ell ^{\infty }}是\ell ^{1}的对偶空间。

* 所有的希尔伯特空间都是自反空间。比如说，L^{2}空间是自反空间。另外，当{\displaystyle 1<p<\infty }时，L^p空间都是自反空间。根据更一般的结论（米尔曼－佩提斯定理（英语：）），所有一致凸的巴拿赫空间都是自反空间。{\displaystyle L^{1}(\mu )}空间和{\displaystyle L^{\infty }(\mu )}空间在维数是无穷维的时候都不是自反空间。与此类似的，由区间[0, 1]上的连续函数构成的巴拿赫空间{\displaystyle {\mathcal {C}}^{0}([0,1])}也不是自反空间。

性质
--

### 巴拿赫空间

注意：本节中的"对偶空间"指的是拓扑意义上的"连续对偶空间"
* 如果一个巴拿赫空间*Y*和某个自反巴拿赫空间*X*同构，那么*Y*也是自反空间。
* 自反巴拿赫空间的任意闭合子空间都是自反空间。
* 自反巴拿赫空间空间对自身的任一个闭合子空间的商空间也是自反空间。
* 如果一个巴拿赫空间*E*的某个闭合子空间*F*以及*E*对*F*的商空间*E/F*都是自反空间，那么*E*自身也是巴拿赫空间。
* 设*X*是巴拿赫空间，那么以下的命题相互等价：
	1. *X*是自反空间；
	2. *X*的对偶空间是自反空间。
	3. *X*中的闭单位球在弱拓扑中紧致（角谷静夫定理）。
	4. *X*中的有界序列都有弱收敛的子列。
	5. *X*中的任何连续线性泛函都在*X*中的闭单位球上达到最大值（James定理）。

参见
--

参考来源
----

1. 1 2  N. L. Carothers.. Cambridge University Press. 2005. ISBN 9780521603720 （英语）.
2. 1 2 3 4 5 6  Marián Fabian.. Springer. 2011. ISBN 9781441975157 （英语）.
3. 1 2 3 4 5 6 7 8  Bernard Beauzamy.. Elsevier. 2011. ISBN 9780080871790 （英语）.
4. ↑  R. C. James.. Proc. Natl. Acad. Sci. U.S.A. 1951, **37**: 174–177 （英语）.
5. 1 2 3 4  Corneliu Constantinescu.. Elsevier. 2001. ISBN 9780080528373 （英语）.

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

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

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

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

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

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

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

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

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

 |

 |