自反空间

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

详细定义

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

$\Vert f{\Vert }^{\prime }=\sup \{|f(x)|:x\in X,\Vert x\Vert \le 1\}.$

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

$J(x)(f)=f(x),f\in X^{\prime },$

这个$J(x)$是一个从$X^{\prime }$射到标量域$𝔽$上的连续线性泛函，所以$J(x)\in X^{″}$。因而可以定义一个映射：

$J:X\to X^{″}$

这个映射称作“赋值映射”，是一个线性映射。根据哈恩－巴拿赫定理，映射$J$是单射，并且保持范数：

$\mathrm{\forall }x\in X\Vert J(x){\Vert }^{″}=\Vert x\Vert ,$

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

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

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

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

例子

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

  $\mathrm{\forall }a={\left(a_n\right)}_{n\in \mathbb{N}}\in c_0,\Vert a\Vert =\underset{n\in \mathbb{N}}{\sup }\{a_n\}$

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

• 所有的希尔伯特空间都是自反空间。比如说，$L^2$空间是自反空间Template:R。另外，当$1<p<\mathrm{\infty }$时，$L^p$空间都是自反空间。根据更一般的结论（Template:Link-en），所有一致凸的巴拿赫空间都是自反空间。$L^1(\mu )$空间和$L^{\mathrm{\infty }}(\mu )$空间在维数是无穷维的时候都不是自反空间。与此类似的，由区间[0, 1]上的连续函数构成的巴拿赫空间${𝒞}^0([0,1])$也不是自反空间。Template:R

性质

巴拿赫空间

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