Banach空间及其相关定理

1、课程论文 课 程 现代分析基础 学生姓名 学 号 院 系 专 业 指导教师 二一五年 十二月 四日 目 录1 绪论12 Banach空间基本概念12.1拟范数定义及例子12.2 Banach空间22.3 Banach空间中线性变换及其性质33 一致有界定理及其推论43.1问题43.2基本概念43.3一致有界定理及其推论53.4一致有界性定理及其推论的应用64 Hahn-Banach定理与凸集分离定理74.1实线性空间上的Hahn-Banach定理74.2复线性空间上的Hahn-Banach定理84.3赋范线性空间上的Hahn-Banach定理84.4有关Hahn-Banach定理的一些推论94

2、.5 Hahn-Banach定理的几何形式：凸集分离定理95 Banach空间中开映射、闭图像定理以及逆算子定理95.1开映射定理95.2逆算子定理115.3闭图像定理126 总结14参考文献15Banach空间及其相关定理南京理工大学自动化学院，江苏 南京摘要：本文的主要是介绍了Banach空间以及其相关定理。首先，本文讲了Banach空间产生的背景以及应用领域。然后本文介绍了Banach空间的基本概念及其相关性质。最后本文开始从一致有界定理开始，将Banach空间中Hahn-Banach定理、开映射、闭图像以及逆算子定理这几个重要定理逐一做出介绍并给出相应定理的证明。关键词： Banach

3、空间；一致有界定理；Hahn-Banach定理；开映射、闭图像、逆算子定理1 绪论巴拿赫空间（Banach space）是一种赋有“长度”的线性空间，泛函分析研究的基本对象之一。数学分析各个分支的发展为巴拿赫空间理论的诞生提供了许多丰富而生动的素材。从魏尔斯特拉斯，K.(T.W.)以来，人们久已十分关心闭区间a，b上的连续函数以及它们的一致收敛性。甚至在19世纪末，G.阿斯科利就得到a，b上一族连续函数之列紧性的判断准则，后来十分成功地用于常微分方程和复变函数论中。1909年里斯，F.(F.)给出0，1上连续线性泛函的表达式，这是分析学历史上的重大事件。还有一个极重要的空间，那就是由所有在0，

4、1上次可勒贝格求和的函数构成的空间。在19101917年，人们研究它的种种初等性质；其上连续线性泛函的表示，则照亮了通往对偶理论的道路。人们还把弗雷德霍姆积分方程理论推广到这种空间，并且引进全连续算子的概念。当然还该想到希尔伯特空间。正是基于这些具体的、生动的素材，巴拿赫，S.与维纳，N.相互独立地在1922年提出当今所谓巴拿赫空间的概念，并且在不到10年的时间内便发展成一部本身相当完美而又有着多方面应用的理论1。由于其在数学和其他学科中的广泛运用，在20世纪30年代就得到了很大的发展，并很快成为一门独立的学科2。Banach空间理论还是泛函分析的主要组成部分，是泛函分析涵盖的其他三个主要研究

5、方向：算子理论，应用泛函分析以及Banach代数的理论基础，影响着他们的发展3。20世纪60年代以后，不仅Banach空间理论本身有了深入的发展，更值得注意的是它在量子力学，物理学等许多领域都获得了广泛的应用，已经成为自然科学与工程技术理论不可缺少的重要研究工具。接下来本文将用四章的内容对Banach空间以及Banach空间中的相关定理做一个介绍。本文从第二章的Banach空间的概念开始讲起，逐步引出Banach空间中的相关定理，这其中包括一致有界性定理、Hahn-Banach定理、开映射、闭图像定理以及逆算子定理。泛函科学体系的建立正是得益于20世纪初Banach空间这几个定理的提出。2 B

6、anach空间基本概念在探讨Banach空间之前，本文先用一些定义来解释一下Banach空间并就相关的基本概念做一个介绍。2.1 拟范数定义及例子定义 线性空间：设X为一个线性空间，则在X中对加法满足：(1)x+y=y+x （交换律）(2)(x+y)+z=x+(y+z) （结合律）(3)存在零元，使+x=x(4)存在逆元x使得x+x=，x记为-x对数乘满足：(5)1·x=x，·x=(6)(x)= x （结合律）(7) (+)x=x+x （数乘分配律）(8) (x+y)= x+y定义2.1.2 设K是实数域R或复数域C，X为数域K上的一个线性空间，若|·|是X到R的

7、映射并且满足：(1)|x|=0当且仅当x=0，xX(2)存在C1对所有的x，yX，|x+y|C|x|+C|y|(3)若xX而K，则|x|=| |x|其中(2)中的常数C不依赖于x，y，则称|·|为X上拟范数，而|x|称为x的拟范数，这时，称(X，|·|)为拟赋范线性空间4。定义2.1.3 设(X，|·|)为拟赋范线性空间，|x|为x的拟范数，则有|-x|=|x|，limn0n=0，limxn0|xn|=05下面给出拟赋范线性空间的例子：例 对于0p1，lp=(xi)|xiK，i=1|xi|p<在拟范数|x|=(i=1|xi|p)1p下是拟赋范线性空间。2.2

8、 Banach空间定义2.2.1 在定义的条件下，明显的，若C=1，则(X，|·|)为线性赋范空间。一般的，拟范数|x|不一定就是X上的范数。定义2.2.2 赋范（拟赋范）线性空间X中若limn,mxn-xm=0则称点列xn为柯西点列。定义 赋范（拟赋范）线性空间X如果是完备的，即X中的每一个柯西点列xn在X中强收敛于某一点x0：limnxn-x0=0则称线性空间X为Banach空间。（有关强收敛的定义见定义）下面给出Banach空间的例子：例2.2.1 (1)在Ca，b中，|x|=maxta,b|x(t)|，x(t)Ca，b。 (2)在m中，|x|=sup1<i<|i|

9、，x=(1,2n,)m。则Ca，b，m都是Banach空间。其中范数|x|可以理解为距离，有了范数的概念，我们可以引入任意的点之间的距离。显然，由d(x，y)=|x-y|定义了X上的一个距离。容易验证，这个距离满足距离的三条公理。第一第二公理是显然的，现给出第三公理三角不等式的证明：设x，y，zX，有d(x，y)=|x-y|=|x-z+z-y|x-z|+|z-y|=d(x，z)+d(x，y)，证毕。定义 若limndxn，x=0，则称点列xn强收敛于点x，记为s-limnxn=n。命题2.2.1 在赋范（拟赋范）线性空间X中，有(1)若s-limnxn=x，则s-limn|xn|=|x|，(2

10、)若s-limnxn=x，s-limnn=，则s-limnnxn=x，(3)若s-limnxn=x，s-limnyn=y，则s-limn(xn+yn)=x+y。下面给出命题的证明：只需证明在实的拟范数意义下(2)成立即可。事实上，由于|x-nxn|(-n)x|+|n(x-xn)|故只要证明limnxn=0意味着limnxn=0对任意关于的有界集中的一致成立。(1)记pn()=|xn|是定义在实数集R1上的函数，则由(c)知pn()在R1上是连续的，因此由(c)，limnpn()=0及Egorov定理，存在Lebesgue测度大于零的可测集A，使得limnpn()=0在A上一致成立。因为Lebe

11、sgue测度关于平移是连续的，若记BC表示对称差(BC)(BC)，则当0时，|(A+) A|0。因此存在正数0，使得当|0时，|(A+) A|<|A|/2。特别的，有|(A+)A|>0。所以任何满足|0的实数可表示成=-，其中，A。故，由pn()=pn(-)pn()+ pn()，得limnpn()=0在|0|上关于一致成立。如果M是任一正数，取正整数kM/0，则由pn(k)kpn()知对所有的|M，(1)成立，证毕。2.3 Banach空间中线性变换及其性质定义2.3.1 设T是从赋范线性空间X到赋范线性空间Y的线性变换，定义其范数为T=supTxx:xX,x0若|T|<，则

12、称T是有界线性变换。注1：在上式中，|x|是X中向量x的范数，|Tx|是Y中向量Tx的范数。在几种范数同时出现时，可以根据上下文搞清楚究竟指的是哪一种范数。注2：由于|Tx|T| |x|以及T=supTxx:xX,x0=supT(Txx):x0supTx:x=1因此T=supTxx:xX,x=1这意味着T将X中的闭单位球映到Y中以0为中心，|T|为半径的闭球内。定义2.3.2 设X为Banach空间，f：XR的一个泛函。 (1)若对任意x1，x2X，f(x1+x2)=f(x1)+f(x2)，R，f(x)= f(x)则称f为X上的线性泛函。(2)若对任意xX，存在一个正数M，使|f(x)|M|x

13、|，则称f为X上的有界泛函。(3)若对任意xn，xX，xnx时，必有f(xn) f(x)，则称f为X上的连续泛函。定义2.3.3 设T是从赋范（拟赋范）线性空间X到赋范（拟赋范）线性空间Y内的线性变换，则下列命题等价： (1)T是有界的(2)T是连续的(3)T在X的某点连续3 一致有界定理及其推论上一章本文介绍了有关Banach空间的基本知识，以下的几章将从一致有界定理讲起，对Banach空间中的相关定理做一个介绍。3.1 问题设X是赋范线性空间，有界性算子族T：AB(XY)，如果满足条件：xX，T：A是X中的有界集，问T：A是否为B(XY)中的有界集？1927年，Banach（巴拿赫）和St

14、einhaus（斯蒂豪斯）给出的一致有界性定理回答了这个问题。这个定理也是Banach空间理论的基石之一6。3.2 基本概念下面介绍一些在学习一致有界定理之前需要知道的基本概念。定义 集EX称为无处稠密的，如果它的闭包E不包含X的非空开集。任意一列无处稠密集合列之并称为第一类型集；X的其他集称为第二类型集。显然，E是X中无处稠密集int(E)=。事实上，如果E是无处稠密集，而int(E)，则存在xint(E) =，故存在r>0，使得U(x,r) E，即E在U(x,r)中稠密，此与定义矛盾。反之，若int(E)=。如果M不是无处稠密集，则r>0，xX，使得U(x,r) E，xint(

15、E)，这与int(E)=矛盾。定理 (Baire-Hausdroff定理)任意一个完备的度量空间是第二类型集；或者说，X的任意一列稠密开子集的交在X中稠密。（注：这一定理的逆定理是不正确的，Bourbaki（布尔巴基）在1955年给出了反例：一个不完备的空间仍是第二类型集。）证明：设Vn是X中的一列稠密开集，W是X中的任一开集，我们需要证明当W时，W(nVn)。设d是X的度量，记S(x,r)=yX:d(y,x)<r并设S(x,r)是S(x,r)的闭包，由V1稠密，WV1是非空开集，故存在x1和r1使得 S(x,r)WV1，且0<r1<1。 （1）如果n2且xn-1和rn-1都

16、已选出，则Vn的稠密性表明WVn非空，因此存在xn和rn使 S(x,r)VnS(xn-1,rn-1)，且0<rn<1n。 （2）由归纳法，我们得到X中的一个点列xn，且当i，j>n时，xi，xjB(xn，rn)，因此d(xi，xj)<2n，从而xn是柯西点列。由于X是完备的，存在xX，使得limnxn=x。另一方面，由于i>n时，xiS(xn,rn)。于是对每一个n，xS(xn,rn)，（2）表明x在每一个Vn中，由（1），xW，证毕。3.3 一致有界定理及其推论定理3.3.1 （一致有界定理）设X是B-空间，Y是赋范线性空间，而T：A是一族有界线性算子，那么或者

17、存在某正数M>0，使得对每个A| T|M，或者对X的某个稠密G集中的所有点xsupTx=这一定理的另一叙述如下：或者Y中存在一个球B（半径为M，中心为0）使每个T映X的单位球到B内，或者存在xX，使Y中没有一个球能包含所有的Tx。证明：令x=supATx(xX)，令Vn=x:x>n(n=1,2,)。因为每个T连续，并且Y的范数是Y上的连续函数，故x| Tx|在X上连续，因此是下半连续的，并且Vn是开集。如果这些开集中有一个，例如不妨设VN不稠密于X，则一定存在x0X和r>0，使|x|<r蕴含着x0+xVN；这表明x0+xN，或对所有A和满足|x|r的所有x都有|T(x0

18、+x)|N。由于x=(x0+x)-x0，于是| Tx| T(x0+x)|+| Tx0|2N，这说明对每个A，| T|2N/r。如果每个Vn都在X中稠密，则由Baire-Hausdroff定理，nVn是X中一个稠密G集。由于对每个xnVn，x=，定理证毕。推论3.3.1 （共鸣定理）设T：A是一族定义在B-空间X上取值于赋范线性空间Y中的有界线性算子，则|Tx|：A在每一点xX有界意味着|T|：A有界。证明：由一致有界定理，对任意>0存在>0，当|x|<时总有supATx<，因此supAT/。推论3.3.2 设 T是一列定义在B-空间X上取值于赋范线性空间Y中的有界线性算

19、子，如果对每个xX，s-limnTnx=Tx存在，则T也是映X到Y的有界线性算子，并且|T|limn|Tn|证明：由范数的连续性知对每一个xX，序列| Tnx|是有界的。因此由推论6.1，supn1Tn<并且Tnxsupn1Tn|x|(n=1,2,)。再次运用范数的连续性得Tnx=limn|Tnx|=limnTn|x|。这即为所要证明的不等式。T的线性性显然成立。3.4 一致有界性定理及其推论的应用例3.4.1 （傅立叶级数的发散问题）令C2为定义在实轴上，以2为周期的实连续函数组成的集合。在C2中定义范数如下：x=max-<t<xt(xC2)则C2是B-空间。设xC2的傅立

20、叶级数是12a0+k=1(akcoskt+bksinkt)由古典分析可知，上述级数的前n+1项之和为12a0+k=1akcoskt+bksinkt=1-xs12+k=1ncosks-tds=-xssinn+12s-t2sin12s-tds,n=0,1,2,令Kns,t=sinn+12(s-t)2sin12(s-t)，称Kn(s,t)为狄利克雷（Dirichlet）核。我们的目的是证明：对任意一点t0-，C2中必有函数x(t)，它的傅立叶级数在t0发散。因为C2中的函数均以2为周期，不妨设t0=0。对每个n，作C2上的线性泛函fnx=-xsKn(s,t)ds。则fn=-Kns,0ds,n=0,1

21、,2,下面估计积分-|Kn(s,0)|ds。注意到-Kns,0ds=02Kns,0ds=1202sinn+12ssin12sds1202sinn+12ss2ds=102n+1sinuudu最后一个等式中做了变换替换u=(n+12)s。由于02n+1sinuudu=k=02nkk+1nsinuuduk=02n1k+1kk+1sinudu=k=02n2(k+1)(n)因此fn=-Kns,0dsn由推论，至少存在某函数x0C2，使|fn(x0)|发散，由fn的定义可知，x0的傅立叶级数在t0=0发散。4 Hahn-Banach定理与凸集分离定理 本文在上一章主要介绍了Banach空间中一致有界定理以

22、及其推论，这章将介绍Banach空间中的另一个重要定理。4.1 实线性空间上的Hahn-Banach定理定理4.1.1 （Hahn-Banach受控延拓定理）设X是实线性空间，p(x)是定义在X的实值函数，满足对任意的x，yX及实数，p(x+y)p(x)+p(y)，p(x)=|p(x)（称p是X上的半范数）。M是X的实线性子空间，f0是定义在M上的实线性泛函，对任意的x，yM和任意实数，有f0(x+y)= f0(x)+f0(y)。如果在M上f0(x)p(x)，则存在定义在X上的实线性泛函F满足 (1)F是f0的延拓，即对任意的xM，有F(x)= f0(x)；(2)在X上F(x)p(x)。证明：

23、首先假设X是由M及元素x0M张成，即X=x=m+x0:mM,是实的因为x0M，对X中的元素xM，上面的表示x=m+x0是唯一的。因此对任意x，yM和任意实数c，如果令F(x)=F(m+x0)= f0(m)+ c，则F是X上的实线性泛函，且是f0的延拓。下面取c，使F(x)p(x)，即f0(m)+ cp(m+x0)。这等价于如下两个条件f0(m/)+cp(m/+ x0) >0，f0(m/(-)-cp(m/(-)- x0) <0。为满足这些条件，只要选取c，使得f0m-pm-x0cpm+x0-f0m,m,mM。这种c是可取到的，因为f0m+f0m=f0m+mpm+m=pm-x0+m+x

24、0pm-x0+pm+x0；我们只需取c介于两数supmMf0m-p(m-x0)和infmMpm+x0-f0(m)之间即可。 考虑f0的所有满足g(x)p(x)，xD(g)的延拓g组成的集族，如果h是g的一个延拓，则定义h>g，则该集族构成一个偏序集。由Zorn定理，存在f0的最大线性延拓g，对所有xD(g)，满足g(x)p(x)。下面只要证明D(g)=X即可。否则，将D(g)看作M，g看作f0，则存在g的延拓F满足F(x)p(x)，xD(F)，这与g是最大延拓矛盾。4.2 复线性空间上的Hahn-Banach定理定理4.2.1 设X是复线性空间，p(x)是X上的半范数。设M是X的线性子空

25、间，f是M上的复线性泛函，且在M上|f(x)|p(x)，则存在定义在X上的复线性泛函F，使得：(1)F是f的延拓；(2)在X上|F(x)|p(x)。证明：显然如果将数乘运算限制在实数域上，复线性空间亦可看作是实线性空间。令f(x)=g(x)+ih(x)，其中g(x)和h(x)分别是f(x)的实部和虚部，则g(x)和h(x)是M上的实线性泛函，且在M上满足|g(x)|f(x)|p(x)，|h(x)|f(x)|p(x)。因为对任意xMg(ix)+ih(ix)=f(ix)=if(x)=i(g(x)+ih(x)=-h(x)+ig(x)，故对xM，h(x)=-g(ix)。因此由定理存在g的实线性延拓G，

26、满足G(x)p(x)。从而-G(x)=G(-x)p(-x)=p(x)，故|G(x)|p(x)。令F(x)=G(x)-iG(ix)则由F(ix)=G(ix)-iG(-x)=G(ix)+iG(x)=iF(x)，易得F是X上的复线性泛函。对任意xM，F(x)=G(x)-iG(ix)=g(x)-ig(ix)=g(x)+ih(x)=f(x)因此F是f的延拓。 下面证明|F(x)|p(x)。记Fx=re-i，因此Fx=eiFx=F(eix)是正实数，所以Fx=Geixpeix=eipx=px。4.3 赋范线性空间上的Hahn-Banach定理定理4.3.1 （Hahn-Banach保范延拓定理）设X是赋范

27、线性空间的子空间，M是X的线性子空间，f1是M上的连续线性泛函，则存在X上的连续线型泛函F满足：(1)F是f1的延拓；(2)|f1|=|F|。证明：令p(x)=|f1|·|x|，则p是X上的连续半范数，并且在M上|f1(x)|p(x)。由定理，存在f1的线性延拓F满足|F(x)|p(x)。因此Fsupx1px=|f1|。另一方面，因为F是f1的延拓，一定有|f1|F|，故|f|=|F|。4.4 有关Hahn-Banach定理的一些推论推论4.4.1 设X是赋范线性空间，对任意的xX，x，则存在fX*使得f(x)=|x|且|f|=1。证明：令M是x张成的一维线性子空间，则M=x|为实数

28、或复数。令f(x)=|x|则f是M上的有界线性泛函，且f(x)=|x|，|f|=1。由定理将f由M保范线性延拓成X上的有界线性泛函即可。推论4.4.2 对于赋范线性空间X内的任意向量x，由|x|=sup|f(x)|：fX*,|f|1证明：由|f(x)|f|·|x|及推论1知推论2成立。4.5 Hahn-Banach定理的几何形式：凸集分离定理推论的几何意义如下：若x，令|x|=r，由推论，存在fX*使得f(x)=|x|=r且|f|=1，当xS(,r)时，|x|r，就有|f(x)|f|·|x|=|x|r *设H=x|f(x)=r，在几何上，称H为X中的一个超平面(Hyperp

29、lane)。超平面的特性是它可以把整个空间分隔为互相隔离的两个部分H-和H+：H-=x|f(x)r，H+=x|f(x)r。其中*式表示整个闭球S(,r)位于超平面H的一侧，即包含在H-中。定理4.5.1 （凸集分离定理，Separating Theorem）设X-Banach空间，A，BX 为两个凸集，AB=，其中有一个凸集有内点，则必存在一个f*X*及超平面H=X|f(x)=使这个超平面H分离凸集A和B，即fx,xA,xB或AH-=xfx，BH-=xfx。5 Banach空间中开映射、闭图像定理以及逆算子定理 本文上一章主要叙述了Hahn-Banach定理及其相关推论，本章将重点介绍开映射和

30、闭图像这两个定理，而且本章会用到第三章提到的一些定理及定义。5.1 开映射定理命题 设X，Y是线性拓扑空间，T是X到Y内的连续线性变换，并假设T的值域R(T)是Y中的第二类型集，则对X中0的任意一个邻域U，存在Y中0的邻域V，使得VTU。证明：设W是X中0的一个邻域，满足W=-W，W+WU。对每个xX，当n时x/n0，因此对充分大的n，xnW。因此X=n=1(nW)，从而RT=n=1T(nW)。由于R(T)是第二类型集，故存在n0使得T(n0W)包含Y的非空开集。而T(nW)=n(TW)，并且因为nTW与TW同胚，TW中也包含了非空开集，设y0=Tx0(x0W)是这个开集中的一点，由于映射x-

31、x0+x是同胚的，故在Y中存在0的邻域V使得V-y0+T(W)。-y0+T(W)中的元素可以表示成-y0+T=T(-x0)，其中W。故由W的选取得-x0W+WU。 因此-y0+T(W)T(U)，取闭包-y0+T(W)T(U)，所以V-y0+T(W)T(U)。定理5.1.1 （开映射定理）设X是Banach空间，Y是线性赋范空间T：XY是有界线性算子并且R(T)是Y中的第二纲集，则T必是开算子（开映射）并且是到上的。特别的，从Banach空间到Banach空间上的有界线性算子是开算子（开映射）。证明：a.我们知道，对于线性赋范空间的任意子集A，B，A+BA+B。现在设U=xX;x<1,U1

32、=xX;x<12容易验证U1+U1U，-U1=U1。由于T的连续性 T(U1)-T(U1)=T(U1)+T(U1)TU1+T(U1)T(U) (1)我们只要证明了T(U1)含有内点，则T(U)以0为内点。注意xX,xn0，于是存在n使得xnU1，即xnU1。这说明X=n=1nU1，从而TX=n=1T(nU1)=n=1nT(U1)n=1nT(U1)。T(X)是第二纲集，故存在n使得nT(U1)具有非空内部，也即T(U1)具有非空内部。此时由上面所说，T(U)以0Y为内点。不妨设T(Ox(0,1)=T(U)Oy(0,)，其中>0。（为明确起见我们记X中0点的邻域为Ox，Y中0点的邻域为

33、Or。）由于T是线性的，故r>0我们有 OY0,r=rOY0,rTU=T(OX(0,r) (2)b.现在我们证明，由(2)可以推出 OY(0,r2)T(O(0,r) (3)实际上，y0OY(0,r2)，由(2)，OY(0,r2)T(O(0,r2)于是存在x1OX(0,r2)使得y0-Tx1<r22，即y1=y0-Tx1OY(0,r22)。再由(2)式，OY(0,r22)T(O(0,r22)于是存在x2Ox(0,r22)使得y1-Tx2<r23，即y2=y1-Tx2OY0,r23，一般来说，xnOx(0,r2n)使得yn=y0-Tx1-TxnOY(0,r2n+1)。现在一方面l

34、imnyn=0，所以y0=limnT(i=1nxi)。另一方面i=1|xi|<i=1r2i=r，X完备，故存在xn=limni=1nxi并且x0i=1xi<r，即x0OX0,r=U。T连续，故y0=limnT(i=1nxi)=T(x0)这说明(3)成立。T是开算子。c.记V=OY0,r2，像a中证明的一样，这里有Y=n=1nV，于是TX=n=1nT(U)n=1nV=Y。T是到上的。由于完备度量空间是第二纲集，故最后的结论是明显的。5.2 逆算子定理上一节我们了解了开映射定理，本文接下来将要介绍闭图像定理，但在讲闭图像定理之前，我们需要首先了解一下逆算子定理。在微积分课程中介绍过反函

35、数的概念，并且知道“单调函数必存在反函数”，将此概念和结论推广到更一般的空间。定义5.2.1 逆算子（广义上）：设X和Y是同一数域K上的线性赋范空间，GX，算子T：GY，T的定义域为D(T)=G；值域为R(T)。用T-1表示从R(T)D(T)的逆映射（蕴含T是单射），则称T-1为T的逆算子（invertiable operator）。定义5.2.2 正则算子：设X和Y是同一数域K上的线性赋范空间，若算子T：GXY满足 (1)T是可逆算子；(2)T是满射，即R(T)=Y；(3)T-1是线性有界算子，则称T为正则算子（normal operator）。性质5.2.1 若GXY是线性算子，则T-1是

36、线性算子。证明：y1，y2Y，K，由T线性性知：TT-1y1+y2-T-1y1-T-1y2=TT-1y1+y2-TT-1y1-TT-1y2=y1+y2-y1-y2=0由于T可逆，即T不是零算子，于是T-1y1+y2=T-1y1+T-1y2，故T-1是线性算子。定理5.2.1 逆算子定理：设T是Banach空间X到Banach空间Y上的双射（既单又满）、线性有界算子，则T-1是线性有界算子。例5.2.1 设线性赋范空间X上有两个范数|·|1和|·|2，如果(X，|·|1)和(X，|·|2)均是Banach空间，而且|·|2比|·|1强，

37、那么范数|·|1和|·|2等价。（等价范数定理）证明：设I是从由(X,|·|2)到(X,|·|1)上的恒等映射，由于范数|·|2比范数|·|1强，所以存在M>0，使得xX有|Ix|1=|x|1M|x|2于是I是线性有界算子，加之I既是单射有时满射，因此根据逆算子定理知I-1是线性有界算子，即存在M>0，使得xX有|I-1x|2=|x|2M|x|1故范数|·|1和|·|2等价。5.3 闭图像定理定义5.3.1 设X和Y是同一数域上的线性拓扑空间，则乘积空间X×Y按如下运算构成线性空间：x1,y1

38、+x2,y2=x1+x2,y1+y2，x,y=x,y如果称形如G1×G2=x,y:xG1,yG2的集合为X×Y中的开集，其中G1，G2分别是X和Y中的开集，则X×Y是一个拓扑线性空间。进一步，如果X和Y是拟赋范线性空间，令x,y=(x2+|y|2)12则X×Y构成拟赋范线性空间。由于s-limnxn,yn=x,y等价于s-limnxn=x，s-limnyn=y，因此如果X和Y是B-空间（F-空间），则X×Y也是B-空间（F-空间）。定义5.3.2 设T是D(T)X到Y的线性变换，T的图像是指X×Y中的集合x,Tx:xD(T)，记为G(

39、T)。设X，Y是拓扑线性空间，如果G(T)是X×Y的闭线性空间，则称T是闭线性算子。如果从D(T)X到Y的线性变换T的图像G(T)的闭包是从D(S)X到Y的线性变换S的图像，则称T是可闭的。注：当X和Y是拟赋范线性空间时，T是闭线性算子的充分必要条件是：对任意xnD(T)，s-limnxn=x和s-limnTxn=y意味着xD(T)且Tx=y。命题5.3.1 若X，Y是拟赋范线性空间，则T可闭的充分必要条件是对任意xnD(T)，s-limnxn=0和s-limnTxn=y意味着y=0。证明：必要性显然成立。充分性：如下定义T的最小闭延拓S：当且仅当存在xnD(T)且s-limnxn=x，s-limnyn=y时，xD(S)并定义Sx=y。由s-limnxn=0和s-limnTxn=y意味着y=0，y由x唯一确定。下面证明S是闭的。设nD(S)，s-limnn=且s-limnSn=u。则存在xnD(T)满足n-xnn-1,Sn-Txnn-1,(n=1,2,)因此，s-limnxn=s-limnn=，s-limnSn=n。故DS,S=u。定义 (1)设X，Y是两个集合，考虑乘积X×Y=x,y;xX,yY，若T：XY是某个映射，则称集合GT=x,Tx