Hahn - Banach延拓定理及其应用
[论文摘要]本文首先概述Hahn - Banach延拓定理发展的历史、其对泛函分析及微分方程乃至物理学的重要意思，然后介绍了Hahn - Banach延拓定理包括它的推论和推广，最后以例题的形式给出了Hahn - Banach延拓定理的一些应用。
[关键字]Hahn - Banach定理 Zorn引理 延拓
[Abstract]In this passage,we introduce the history of Hahn-Banach theorem.Then
we introduce the Hahn-Banach theorem and the deduction.At the end,we introduce some application of the Hahn-Banach theorem.
[Key Word] Hahn-Banach theorem Zorn lemma application
1
目 录
摘要 1 目 录 2 1 引 言 3
1.1 选题背景 3 1.2 本文的主要内容 3 2 Hahn—Banach定理 5
2.1 Hahn—Banach定理的定义 5 2.2 Hahn—Banach定理的推论 6 3 Hahn—Banach定理的推广 13 4 Hahn—Banach定理的应用 43 参考文献 45
2
1 引 言
1.1 选题背景
Banach空间理论是由波兰数学家S.Banach在192O年创立的，数学分析及泛函分析中许多常用的空间都是巴拿赫空间及其推广，它们有许多重要的应用。以Banach空间为基础的Hahn - Banach定理跟共鸣定理及闭图象定理是泛函分析的三大基本定理。其应用十分广泛, 而且越来越深入地渗透于现代数学的各个领域乃至物理等其它学科。其中Hahn - Banach延拓定理，在泛函分析中扮演着重要的角色。该定理保证了赋范线性空间上具有“足够多”的连续线性泛函，并且还刻划了连续线性泛函的值可以事先被指定的程度，这就使得建立共轭空间具有实质性的意义。而这些理论也是赋范空间一般理论的根本部分。从这个意义上来说，Hahn－Banach定理是关于有界线性算子最重要的定理之一。
Hahn - Banach定理是1923年S.Banach在研究不变测度时，首先提出来的。在1929年S.Banach又得出了定理的一般形式。而Hahn在1927年及Ascoli在1932年也相互独立的得出了一般定理。随后H．F．Bahnenblust与Sobczyk(1938)将其推广到复向量空间上。从几何上看该定理表现成凸集的分离性质，而这个分离性质是研究与凸集有关的Banach空间几何学的基本出发点。由Hahn—Banach定理可以导出一些很有用的结果，如短量定理、最佳逼近的对偶关系和凸集分离定理等等，这些结果在泛函分析理论、远近论、控制论和数学规划中均有重要作用。而且Hahn - Banach延拓定理在偏微分方程及概率论等方面有着广泛的应用，而在确信一般的局部凸线性拓扑空间中非平凡连续线性泛函的存在时也要用到它。 1.2 本文的主要内容
本文拟对Hahn - Banach定理进行一点探讨, 分为三大部分。第一部分首先给出Hahn - Banach延拓定理，然后以推论的形式给出本定理的若干特殊形式。第二部分给出本定理的推广。第三部分则以例题的形式给出Hahn - Banach定理的一些应用。值得注意的是, Hahn-Banach定理的推广实际上也是Hahn - Banach定理的重要应用。 3
2 Hahn - Banach延拓定理
2.1 Hahn—Banach定理的定义
一般的说，延拓问题就是研究定义在给定集X的一个子集Z上的数学对象(例如：映射)能否延拓到整个集X上，并且要求原对象的某些性质在延拓后能否继续保留的问题。 Hahn—Banach定理中，被延拓的对象是定义在线性空间X的子空间Z上的线性泛函f，要求这个泛函具有—定的有界性质，而这个有界性质是用次线性泛函来描述的。所谓次线性泛函，是定义在线性空间X上的一个实值泛函P，P是是次可加，所谓次可加即指存在常数K>0，有 p(x+y) ￡ K[p(x)+p(y)] \x、y?X 而且P还是正齐次的，所谓正其次即指\a?0，均有 p(ax)=ap(x)
(注：赋范空间上的范数就是这样的一个泛函。)
我们假定，要延拓的泛函f在Z上用定义在X上的这样一个泛函P来强制，并且在将f从Z延拓到X上后，仍保留其线性的性质及被强制的条件，所以延拓到X上的泛函f仍然是线性的和仍为P所强制。这也是定理的难点。 下面给出Hahn—Banach定理： 设 X是实线性空间, P是定义在X上的次线性泛函, S是X的实线性子空间, X0是X的实线性子空间，f0是X0上的实线性泛函并满足
f0(x)￡P(x)(\x?X0)。那么X上必有一个实线性泛函f，满足： （1）f(x)￡P(x) (\x?X) （受P控制条件） （2）f(x)＝f0(x) (\x?X0)（延拓条件）
具体证明可参考泛函分析讲义，在这里就不给出了。在这里所要分析的是加拿大的欧文·克雷斯齐格所提出的一个问题，即不用Zorn引理能够证明这个定理吗？这个问题很有意思，特别是引理没有结出一个构造性的方法。因此只有在某
4
些特殊情况下才可以做到，当然，对一些特殊的空间整个情形可能要变得简单些。希尔伯特空间就是这种类型，因为为该空间上的线性泛函有黎斯表示。有兴趣的可以查看欧文·克雷斯齐格的《泛函分析导论及应用》。 2.2 Hahn—Banach定理的推论
下面我们给出Hahn - Banach定理的若干特殊形式，而在实践中应用比较广泛的就是这些特殊形式。
推论 1 设 Y是实数域 F上的线性空间 X的子空间, 如果 x ∈X , infy?Y‖x - y ‖=d > 0, x*(x ) =d , 而且**x?X那么, 存在, 使得‖x*‖= 1, \y?Y,x*(y)＝0。 推论 2 设 X是线性赋范空间, X≠{0},那么\x?得‖x*‖ = 1, x * (x )=‖x ‖。 特别地, 如果 x ≠y , 则存在x *∈x*, 使得x*(x ) -x*(y ) =‖x -y ‖≠0。 上述推论 2 是Hahn - Banach定理的一个重要结果, 这一断言有着许多有趣的应用。其中之一就是定义在 R上的有界子集类上的有限可加的测度问题, 它是一个平移不变量, 而且是Leesgue 测度的推广。 推论 3 设X是赋范空间，x0喂X,x0下列条件：
（1） f(x0)=x0． （2）
0，则在X上存在有界线性泛函f满足
X, 存在x*?X*, 使f=1
由此推论可知，每一个赋范空间X (X1{0})的对偶空间X*中都含有充分
多的非零元素。这一结论保证了建立在X的对偶空间X*上的研究是有意义的。这是Hahn—Banach定理在对偶空间理论的一个基本问题上的应用。
5
Banach延拓定理及其应用(精)
