查看“︁自反空间”︁的源代码

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

== 详细定义 ==
设<math>X</math>为标量[[域 (數學)|域]]<math>\mathbb{F}</math>（<math>\mathbb{F} = \mathbb{R}</math>或<math>\mathbb {C}</math>）上的[[赋范向量空间]]，其中的[[范数]]记作<math>\|\cdot\|</math>。考虑它的[[对偶空间|对偶赋范空间]]<math>X'</math>。依定义，<math>X'</math>是由所有从<math>X</math>射到标量域<math>\mathbb{F}</math>上的[[连续函数|连续]][[线性泛函]]<math>f \; \; : \; X\to {\mathbb F}</math>构成的空间（也称为连续对偶空间），装备了[[对偶范数]]<math>\|\cdot\|'</math>：
:<math>\|f\|' = \sup \{ |f(x)| \,:\, x \in X, \ \|x\| \le 1 \}.</math>

对偶空间<math>X'</math>因此也是赋范空间（可以证明是[[巴拿赫空间]]），而它的对偶赋范空间<math>X''=(X')'</math>则称为元空间<math>X</math>的'''二次对偶空间'''（或称双对偶空间）。二次对偶空间由所有从<math>X'</math>射到标量域<math>\mathbb{F}</math>上的连续线性泛函<math>h \; \; : \; X'\to {\mathbb F}</math>构成的赋范空间，其中的范数<math>\|\cdot\|''</math>是<math>\|\cdot\|'</math>的对偶范数。空间<math>X</math>中的任意[[向量]]<math>x\in X</math>都可以诱导一个标量函数<math>J(x):X'\to{\mathbb F}</math>，由以下的方法定义：
:<math>
J(x)(f)=f(x),\qquad f\in X',
</math>
 
这个<math>J(x)</math>是一个从<math>X'</math>射到标量域<math>\mathbb{F}</math>上的连续线性泛函，所以<math>J(x)\in X''</math>。因而可以定义一个映射：
:<math> J: X \to X'' </math>
这个映射称作“'''赋值映射'''”，是一个线性映射。根据[[哈恩－巴拿赫定理]]，映射<math>J</math>是[[单射]]，并且保持范数：
:<math>
\forall x\in X\qquad \|J(x)\|''=\|x\|,
</math>
这说明，映射<math>J</math>将空间<math>X</math>[[等距同构|等距]]地映射到其在<math>X''</math>中的[[像 (數學)|像]]：<math>J(X)</math>上。而映射的像<math>J(X)</math>不一定是<math>X''</math>的全部，有可能只是<math>X''</math>的一个[[拓撲子空間]]。而空间<math>X</math>被称为'''自反空间'''，如果它满足以下几个等价条件中的一个：
:# 赋值映射<math>J:X\to X''</math>是[[满射]]；
:# 赋值映射<math>J:X\to X''</math>是[[赋范空间]]之间的[[等距同构]]；
:# 赋值映射<math>J:X\to X''</math>是[[赋范空间]]之间的[[同构]]{{r|nlc|mf|page1=15|page2=129}}。
自反空间必然是巴拿赫空间，因为它和自身的二次对偶空间同构，而后者必然是巴拿赫空间{{r|bb|page1=49}}。

自反空间通过赋值映射与其二次对偶空间等距同构。然而也存在这样的巴拿赫空间<math>X</math>，它与自身的二次对偶空间通过另外的方式等距同构（在另外的范数下），但如果考察赋值映射<math>J</math>，则它只将元空间<math>X</math>和它的二次对偶空间的一个子空间进行等距同构。这样的空间称为准自反空间<ref>{{cite journal
 | author = R. C. James
 | title = A non-reflexive Banach space isometric with its second conjugate space
 | journal = Proc. Natl. Acad. Sci. U.S.A. 
 | volume = 37
 | pages = 174–177
 | language = en
 | year = 1951 }}</ref>{{r|nlc|mf|page1=15|page2=130}}。如果赋值映射<math>J</math>将<math>X</math>同构到它的二次对偶空间的某个子空间，而这个子空间的余维数为{{math|''d''}}，则称元空间<math>X</math>为{{math|''d''}}阶准自反空间。

== 例子 ==
*每个有限维赋范向量空间都是自反空间。这是因为有限维赋范向量空间的对偶空间的维数等于元空间（因此二次对偶空间的维数也等于元空间）。因此，如果考虑赋值映射<math>J</math>，根据[[秩－零化度定理]]，<math>J</math>是同构。
*考虑由所有[[极限 (数学)|极限]]为零的实数列<math> \left( a_n \right)_{n\in \mathbb{N}}</math>构成的向量空间<math>c_0</math>，并考虑其上的范数：
*:<math>\forall a = \left( a_n \right)_{n\in \mathbb{N}} \in c_0, \; \; \| a \| = \sup_{n \in \mathbb{N}} \{ a_n \}</math>
赋范向量空间<math>c_0</math>不是自反空间{{r|bb|mf|page1=49|page2=130}}。由以下提到的基本性质可以推出，序列空间<math>\ell^1</math>和<math>\ell^\infty</math>也不是自反空间。因为<math>\ell^1</math>是<math>c_0</math>的对偶空间，<math>\ell^\infty </math>是<math>\ell^1</math>的对偶空间。
*所有的[[希尔伯特空间]]都是自反空间。比如说，<math>L^2</math>空间是自反空间{{r|bb|mf|page1=49|page2=130}}。另外，当<math>1<p<\infty</math>时，[[Lp空间|<math>L^p</math>空间]]都是自反空间。根据更一般的结论（{{link-en|米尔曼－佩提斯定理|Milman–Pettis theorem}}），所有一致凸的巴拿赫空间都是自反空间。<math>L^1(\mu)</math>[[Lp空间|空间]]和<math>L^\infty(\mu)</math>空间在维数是无穷维的时候都不是自反空间。与此类似的，由区间[0, 1]上的连续函数构成的巴拿赫空间<math>\mathcal{C}^0([0, 1])</math>也不是自反空间。{{r|bb|page1=50-51}}

==性质 ==
===巴拿赫空间===
:<div class="noprint" style="font-size:small">注意：本节中的“对偶空间”指的是拓扑意义上的“连续对偶空间”</div> 
*如果一个巴拿赫空间{{math|''Y''}}和某个自反巴拿赫空间{{math|''X''}}同构，那么{{math|''Y''}}也是自反空间{{r|cc|page1=242}}。
*自反巴拿赫空间的任意闭合子空间都是自反空间。{{r|bb|page1=49}}
*自反巴拿赫空间空间对自身的任一个闭合子空间的商空间也是自反空间{{r|cc|page1=242}}。
*如果一个巴拿赫空间{{math|''E''}}的某个闭合子空间{{math|''F''}}以及{{math|''E''}}对{{math|''F''}}的商空间{{math|''E/F''}}都是自反空间，那么{{math|''E''}}自身也是巴拿赫空间{{r|cc|page1=242}}。
*设{{math|''X''}}是巴拿赫空间，那么以下的命题相互等价：
*#{{math|''X''}}是自反空间；
*#{{math|''X''}}的对偶空间是自反空间{{r|bb|mf|page1=49-50|page2=130}}。
*#{{math|''X''}}中的闭单位球在弱拓扑中[[紧致]]（角谷静夫定理）{{r|bb|mf|page1=49|page2=130}}。
*#{{math|''X''}}中的有界序列都有弱收敛的子列{{r|cc|page1=244}}。
*#{{math|''X''}}中的任何连续线性泛函都在{{math|''X''}}中的闭单位球上达到最大值（James定理）{{r|bb|page1=49-50}}。

==参见==

==参考来源==
{{reflist|
refs=
<ref name="nlc">{{cite book|author=N. L. Carothers|title=A Short Course on Banach Space Theory|url=https://archive.org/details/shortcourseonban0000caro|year=2005|publisher=Cambridge University Press|isbn=9780521603720|language = en}}</ref>
<ref name="bb">{{cite book|author=Bernard Beauzamy|title=Introduction to Banach spaces and their geometry|year=2011|publisher=Elsevier|isbn=9780080871790|language = en}}</ref> 
<ref name="cc">{{cite book|author=Corneliu Constantinescu|title=Banach Spaces|year=2001|publisher=Elsevier|isbn=9780080528373|language = en}}</ref>
<ref name="mf">{{cite book|author=Marián Fabian|title=Banach Space Theory: The Basis for Linear and Nonlinear Analysis|year=2011|publisher=Springer|isbn=9781441975157|language = en}}</ref> 

}}
{{泛函分析}}
[[Category:对偶理论]]
[[Category:泛函分析]]