泛函分析——武大精品课2-4
泛函分析习题标准答案

第二章 度量空间作业题答案提示 1、试问在R 上,()()2,x y x y ρ=-能定义度量吗?答:不能,因为三角不等式不成立。
如取则有(),4x y ρ=,而(),1x z ρ=,(),1z x ρ= 2、试证明:(1)()12,x y x y ρ=-;(2)(),1x y x y x yρ-=+-在R 上都定义了度量。
证:(1)仅证明三角不等式。
注意到21122x y x z z y x z z y ⎛⎫-≤-+-≤-+- ⎪⎝⎭故有111222x yx z z y-≤-+-(2)仅证明三角不等式 易证函数()1xx xϕ=+在R +上是单调增加的, 所以有()()a b a b ϕϕ+≤+,从而有1111a b a b a ba b a b a b++≤≤+++++++令,,x y z R ∀∈,令,a z x b y z =-=- 即111y x z x y zy x z x y z---≤++-+-+-4.试证明在[]b a C ,1上,)12.3.2()()(),(⎰-=ba dt t y t x y x ρ定义了度量。
证:(1)0)()(0),(≡-⇔=t y t x y x ρ(因为x,y 是连续函数) 0),(≥y x ρ及),(),(x y y x ρρ=显然成立。
[]),(),()()()()()()()()()()(),()2(y z z x dtt y t z dt t z t x dtt y t z dt t z t x dtt y t x y x bab ab aba ρρρ+≤-+-≤-+-≤-=⎰⎰⎰⎰5.试由Cauchy-Schwarz 不等式证明∑∑==≤⎪⎭⎫⎝⎛ni in i i x n x 1221证:∑∑∑∑=====⋅≤⎪⎭⎫ ⎝⎛ni in i n i i n i i x n x x 1212122118.试证明下列各式都在度量空间()11,ρR 和()21,R R 的Descartes 积21R R R ⨯=上定义了度量{}212/1222121,max ~~)3(;)(~)2(;)1(ρρρρρρρρρ=+=+= 证:仅证三角不等式。
泛函分析搜索目录

南昌大学泛函分析下册搜索目录第六章(3-63)§11.1距离空间的定义及例距离的定义,以及满足的三个条件P3距离空间的定义,以及满足的三个条件P4例1 n维欧式空间R n,元素为n维实向量(),按照距离(1)(1′)是一个距离空间P4-5,由例1得在一个集合中定义距离的方式不是唯一的柯西不等式P5C n,元素为n维复向量(),按照距离(1)是一个距离空间P6例2 空间C[a,b],元素为所有实(或复)连续函数,按照距离(3)是一个距离空间P6-7例3 L p(F)(1≤p<无穷,且为可测集),元素为p幂可积函数,按照(4)是一个距离空间P7例4 空间L无穷(F),元素为本性有界的可测函数,按照距离(5)是一个距离空间P7-8例5 空间l p(1≤p<无穷),元素为实(或复)数列,按照(9)是一个距离空间P8-10例6 空间l无穷,元素为一切有界的实(或复)数列,按照(10)是一个距离空间P111.2距离空间中的收敛及其性质定义1.2:点列{x n}收敛于x0,称x0为{x n}的极限P11定理1.1 设{x n}是距离空间X中的收敛点列,则下列性质成立:①{x n}的极限唯一;②对任意的y0∈X,数列{ρ(x n,y0)}有界。
P11定理1.2设{x n}是距离空间X中的收敛点列,且收敛,则{x n}的任一子列{x nk}也收敛,且收敛于同一极限。
反之,若{x n}的任一子列收敛,则{x n}本身也收敛P12 R n收敛的充分必要条件是P12C[a,b]收敛的充分必要条件是P12-13对于任何一个非空集合,我们都可以定义距离;定义距离的方式不唯一;如果一个非空集合中定义了两个或两个以上的距离,那么由它们本身导出的收敛可以等价也可以不等价。
当不等价时,便得到本质上不同的两个或两个以上的距离空间。
P14§22.1几种特殊的点集定义2.1 开球、闭球、球形领域、领域的概念P15定义2.2 内点、内部、开集(空集规定为开集)的概念。
泛函分析答案

14
第一步线索小结
进一步,由 T 的齐次性,
U (" ,r ) TB(" ,n)
U
("
,
r n
)
TB(" ,1)
取
=
r 3n
,即得U
(" ,3
)
TB(" ,1).
15
第二步证 TB(" ,1) U (" , ) .
即 y0 U (" , ), 要证 x0 B (" ,1) , 使得
§3 纲与开映象定理
3.1 纲与纲推理
与定义1.2.2 的稠密概念相联系,
引入疏集的概念.
定义2.3.1 设 ( X , ) 是一个度量
空间,集 E X ,称 E 是
疏的,如果 E 的内点在 X 内是
空的.或 E 不包含任一开球.
命题2.3.3 设 ( X , ) 是一度量空
间.为了 E X 是疏集必
( ) En0 B xn0 , rn0 =
矛盾.
3.2 开映象定理
设 X ,Y 都是 B 空间,算子 T 称
为是单射,是指 T 是1-1的,算子 T
称为是满射,是指 T ( X ) = Y .
如果 T 是一个单射,那么可以定义
T 1 ,它是线性的,但其
定义域却未必是全空间 Y .仅当它
还是一个满射时, T 1 才是 Y
下证 y0 Tw, y0 是 Tw 的内点. 事实上,
y0 Tw, x0 w, 使得 Tx0 = y0 .
因为 w 是开集, 所以 r > 0,
使得
B( x0,r ) W TB( x0,r ) Tw.
泛函分析第四讲

Tx M x ,
则称 T是 DT Y 中的有界线性算子.
当 DT X时,称 T 是 X Y 中的有界线性算子.
第二章 泛函分析
第二节 赋范线性空间及Banach空间
二、有界线性算子和连续线性泛函
泛函分析
2.2 赋范线性空间及Banach空间
第二章 泛函分析
一、赋范线性空间
1. 赋范线性空间的定义
定义1 设 X 是复(或实)的线性空间,
如果对于 X 中的每个 x ,对应于一个实数 x ,
且满足 (1) x 0,x 0 x 0;
(2) x x , R 或 C;
(非负性) (齐次性)
第二章 泛函分析
第二节 赋范线性空间及Banach空间
三、线性算子空间和共轭空间
定理5 ƁX Y 按通常的线性运算及算子范数
构成一个赋范线性空间. 证Ax sup Ax
x 1
x 1
x 1
A
(3)A B sup A Bx sup Ax Bx
x D, x 0
第二章 泛函分析
第二节 赋范线性空间及Banach空间
二、有界线性算子和连续线性泛函
定理3 设 X ,Y 是两个赋范线性空间, T : X Y 的线性算子,则T连续的充要条件是 T有界.
证明 必要性 若T连续但无界
xn X,xn 0n 1,2, 使 Txn n xn
令
yn
定理2 设 X ,Y 是两个赋范线性空间,T是定义在 X 的子空间D上而值域含在 Y 中的线性算子,则 T 是有界的充要条件是 T将D中任一有界集映成 Y 中有界集.
证明 必要性
《泛函分析》课程教学大纲

《泛函分析》课程教学大纲课程编码:171210140课程性质:专业方向限选课程适用专业:统计学专业所需先修课数学分析高等代数实变函数论学时学分:32学时1.5学分编写单位:数学与信息科学系一、课程说明1、课程简介:泛函分析课程是数学与应用数学专业的专业课程,是数学分析的后续课程,是近代数学中的一个重要分支,在古典分析、线性代数、线性微分方程、积分方程、变分学、逼近论等的开展基础上逐渐形成。
其内容已渗透到逼近论、偏微分方程、概率论、最优化理论等各方面.近年来,在工程技术上更是获得了广泛而有效的应用.它的开展受到了数学物理方程和量子力学的推动,后来又整理、概括了经典分析和函数论的许多成果,因此学习泛函分析时需要学生掌握分析、代数、概率论、拓扑学等基本知识,是数理方程、稳定性理论等后续课程的必要基础课程.2、教学目的要求:通过泛函分析的教学,使学生了解和掌握度量空间,赋范线性空间,有界线性算子,Hilbert空间,Banach空间的基本概念和基本理论,培养学生理论思维能力,为学习数学的其它专业课打下扎实的理论基础.3、教学重点难点教学重点:离散度量空间、序列空间、有界空间、可测函数空间的性质、度量空间中极限、稠密集、可分空间的概念、用极限的形式和集合对应关系给出两个重要定理、空间的结构理论,度量收敛;完备度量空间的定义、压缩映照原理及其应用、对向量组的线性相关、线性无关定义的理解和判定向量组的线性相关性、三个定理的内容;有界线性算子与连续线性泛函,算子的范数,经典空间,l p的共地空间、内积空间,施瓦茨不等式,直交投影,希尔伯特空间中的规范正交系,贝塞尔不等式,帕塞瓦尔不等式,同构映射,连续线性泛函,自共朝,本章难点柯西积分定理的证明、刘维尔定理的应用.本章内容第一节复积分的概念及其简单性质1.1复变函数积分的定义1.2复变函数积分的计算问题1.3复变函数积分的基本性质第二节柯西积分定理2.1不定积分2.2柯西积分定理的推广2.3柯西积分定理推广到复围线的情形第三节柯西积分公式及其推论3.1柯西积分公式3.1解析函数的无穷可微性3.2柯西不等式与刘维尔定理3.3摩勒拉定理第四章解析函数的幕级数表示法(8学时)教学目标1、使学生掌握复级数的基本概念及其相关性质,能够深刻认识理解复级数与实级数在概念、性质、定理上的区别与联系;2、使学生理解并掌握解析函数零点的孤立性及唯一性定理.本章重点.1、理解并掌握复级数的基本性质;2、理解并掌握幕级数敛散性的判别,收敛域的求法以及和函数的求法;3、能够熟练掌握并运用直接展法和间接展法,将某些解析函数展成泰勒级数,牢记sin z,cosz,—匚,一匚的展式,并注意展式的可展范围; 1-Z 1 + Z4、深刻理解解析函数零点的孤立性、唯一性定理及最大模定理,并能够综合运用证明有关数学问题.本章难点事级数的和函数在其收敛圆周上的状况、解析函数零点的孤立性、唯一性定理、最大模原理.本章内容第一节复级数的基本性质1.1复数项级数1.2一致收敛的复函数项级数1.3解析函数项级数第二节累级数1.1塞级数的敛散性1.2收敛半径的求法、柯西一阿达玛公式1.3基级数的解析性第三节解析函数的泰勒展式3.1泰勒定理3.2累级数的和函数在其收敛圆周上的状况3.3 一些初等函数的泰勒展式第四节解析函数零点的孤立性、唯一性定理4.1解析函数零点的孤立性4.3最大模原理第五章解析函数的罗朗展式与孤立奇点(6学时)教学目标使学生理解并掌握解析函数的罗朗展式的概念与展法,并注意与泰勒级数进行相关性质的比拟.深刻理解并牢固掌握可去奇点、极点、本性奇点的概念及等价定义.为下一章残数理论的学习打下坚实的基础.本章重点1、理解并掌握解析函数的罗朗展式以及罗朗级数与泰勒级数的关系.熟练掌握解析函数在孤立奇点邻域内的罗朗展式的基本方法与技巧;5.理解并深刻认识孤立奇点的三种类型及分类方法,熟练掌握可去奇点、极点、本性奇点的概念及等价定义;6.了解解析函数在无穷远点处的性质.本章难点解析函数在孤立奇点邻域内的罗朗展式的基本方法与技巧.本章内容第一节解析函数的罗朗展式1.1双边塞级数1.2解析函数的罗朗展式1.3罗朗级数与泰勒级数的关系1.4解析函数在孤立奇点邻域内的罗朗展式第二节解析函数的孤立奇点2.1孤立奇点的三种类型2.2可去奇点2.3极点2.4本质奇点第六章留数理论及其应用(6学时)教学目标1、使学生理解并掌握留数的定义及留数定理,会利用留数定理求解复积分与实积分,并知晓其内在联系与区别.深刻理解留数定理与柯西积分定理、柯西积分公式之间的关系;2、理解并掌握辐角原理、儒歇定理,会判定复方程根的个数及存在范围. 本章重点1、理解并掌握留数的定义及留数的求法;2、深刻理解并熟练掌握留数定理并能够灵活运用留数定理求解复积分3、了解用留数定理计算实积分的理论及基本方法;4、深刻理解并熟练掌握辐角原理、儒歇定理,会判定复方程根的个数及存在范围.本章难点留数定理与柯西积分定理、柯西积分公式之间的关系.本章内容第一节留数1.1留数的定义及留数定理1.2留数的求法1.3函数在无穷远点的留数1.4用留数定理计算实积分简介第二节辐角原理及其应用2.1对数留数2.2辐角原理2.3儒歇定理三、使用教材及参考书指定教材:钟玉泉编,复变函数论(第三版),高等教育出版社,2001年.参考书:[1]张锦豪、邱维元编,复变函数论,高等教育出版社,2001年.[2]钟玉泉编,复变函数学习指导书,高等教育出版社,1996年.[3]刚家泰,谭欣欣编,复变函数全程学习指导与解题能力训练,大连理工大学出版社,2001年.共辗算子,巴拿赫空间,汉恩一巴拿赫定理,一致有界性定理,逆算子定理,闭图像定理.教学难点:连续映射、空间完备性的证明、压缩映照原理及其应用、对向量组的线性相关、线性无关定义的理解和掌握一些判定定理、Holder不等式和Minkowski不等式的内容;有界线性算子与连续线性泛函;经典空间广〃的共辗空间,各种收敛性之间的各种联系,投影定理,斯捷克洛夫定理,汉恩一巴拿赫定理,一致有界性定理,逆算子定理,闭图像定理.5、教学手段及教学方法建议主要以教师讲授为主,适当的时候可以应用多媒体辅助教学.4、考核方式1)考核形式:考查2)开卷笔试3)期末总评成绩评定方法考试:试卷总分值100分,其中平时作业、期中考试及考勤占总评成绩的40%, 期末考查成绩占总评成绩的60%.5、学时分配表本课程的教学包括如下环节:课堂讲授,主要以教师讲授为主,要求学生课下预习;辅导或习题课,师生互动,边讲边练,解决学生学习过程中出现的一些问题;课外作业,通过对作业的批改,使学生加深巩固对所学内容的理解与掌握。
泛函分析讲义02

泛函分析讲义第二讲:距离空间中的点集关 键 词:领域、内点、开集、聚点、导集、闭集、闭包; 稠密子集、可分的主要内容:介绍距离空间中的开集、闭集定义及其性质; 介绍可分空间的定义一、 开集与闭集本节将直线上有关点集的基本概念推广到距离空间中去。
定义1. 设0x ),(ρX ∈,0>r ,以0x 为中心,以r 为半径的开球),(0r x S 称为0x 的一个球形邻域,简称为邻域。
设,,G x X G ∈⊂ 若存在x 的一个邻域,),(0G r x S ⊂则称x 是G 的一个内点。
若G 中每一个点都是它的内点,则称G 为开集。
例1.开球都是开集。
证明:设),(0r x S 为开球。
任取),(0r x S x ∈, 即r x x <),(0ρ,令0,(x x r ρε-=),),(εx S y ∈∀, 即ερ<),(y x ,则r r y x x x y x =+-<+≤εερρρ),(),(),(00∴).(),(,0r x S x S ⊂ε 即),(0r x S 为开集.定理1 设),(ρX 为距离空间, 则 (1) 空集φ全空间X 是开集. (2) 任意多个开集之并是开集. (3) 有限个开集之交是开集.证明:设I a a G ∈}{是一族开集,证明 IG ∈αα为开集。
对 IG x ∈∈∀αα,0α∃,使0αG x ∈,由0αG 是开集,则存在x 的一个邻域⊂),(r x S0αG ,从而⊂),(r x S IG ∈αα. ∴ x 是 IG ∈αα的一个内点,从而 IG ∈αα为开集。
(3). 设i G 是开集,n i ,...,2,1=,证明 ni i G 1=是开集。
对∈∀x ni i G 1=,则∈x i G n i ,...,2,1=,由i G 是开集,则存在x 的一个邻域⊂),(i r x S i G ,令},...,,min{21n r r r r =,则 从而),(),(i r x S r x S ⊂,n i ,...,2,1=. 从而),(r x S ni i G 1=⊂,所以 ni i G 1=为开集。
“泛函分析”课程学习指南

“泛函分析”课程学习指南本课程主要分为四部分内容:绪论,空间理论,算子理论和算子谱理论。
绪论从分析和代数中的若干问题出发,运用类比、联想、化归等方法,引入泛函分析中的一些基本概念和研究方法,诠释数学研究的基本思想。
空间理论中主要介绍距离空间,赋范空间和内积空间三类空间结构,重点讲授Hilbert 空间的几何特征。
算子理论中主要介绍了Banach 空间中有界线性算子的基本定理和它们的应用,即:一致有界原则,开映射定理,闭图像定理和Hahn-Banach 定理,这是本门课程的核心内容。
算子谱理论中主要介绍有界线性算子的基本性质,重点讲述了有界自共轭算子和紧算子谱的性质。
为了让学生更好地理解和掌握这些内容,下面按章列出知识要点,重点难点和学习要求。
绪论1. 知识要点泛函分析中十分抽象的基本概念(空间的结构、收敛性、按坐标分解等)的来源和背景2. 重点难点从有限维空间到无穷维空间的过渡,数学研究的基本方法:化归,类比,归纳,联想。
3. 学习要求从分析和代数中具体的实例中感悟数学研究的思想方法。
第一章 距离空间1. 知识要点距离空间的定义; 收敛性; 开集; 闭集; 连续映射;可分的距离空间;距离空间中的列紧集;完备的距离空间;距离空间的完备化;压缩映射原理2. 重点难点一些具体的距离空间(如:[,], , , , p p C a b L l S s )的完备性,可分性及收敛的具体含义。
3. 学习要求(1) 掌握距离空间的定义及例;(2) 掌握距离空间中点集的拓扑概念;(3) 清楚具体的距离空间的拓扑性质和收敛的具体含义;(4) 掌握压缩映射原理的内容及证明,并能利用压缩映射原理解决一些具体问题。
第二章 赋范空间1. 知识要点赋范空间和Banach 空间的定义;范数与距离的关系;Riesz 引理;有限维空间的几何特征;赋范空间中的级数;赋范空间的商空间2. 重点难点(1) 范数与距离的关系;(2) Riesz引理的内容与应用。
“泛函分析”课程学习指南

“泛函分析”课程学习指南本课程主要分为四部分内容:绪论,空间理论,算子理论和算子谱理论。
绪论从分析和代数中的若干问题出发,运用类比、联想、化归等方法,引入泛函分析中的一些基本概念和研究方法,诠释数学研究的基本思想。
空间理论中主要介绍距离空间,赋范空间和内积空间三类空间结构,重点讲授Hilbert空间的几何特征。
算子理论中主要介绍了Banach空间中有界线性算子的基本定理和它们的应用,即:一致有界原则,开映射定理,闭图像定理和Hahn-Banach定理,这是本门课程的核心内容。
算子谱理论中主要介绍有界线性算子的基本性质,重点讲述了有界自共轭算子和紧算子谱的性质。
为了让学生更好地理解和掌握这些内容,下面按章列出知识要点,重点难点和学习要求。
绪论1.知识要点泛函分析中十分抽象的基本概念(空间的结构、收敛性、按坐标分解等)的来源和背景2.重点难点从有限维空间到无穷维空间的过渡,数学研究的基本方法:化归,类比,归纳,联想。
3.学习要求从分析和代数中具体的实例中感悟数学研究的思想方法。
第一章距离空间1.知识要点距离空间的定义;收敛性;开集;闭集;连续映射;可分的距离空间;距离空间中的列紧集;完备的距离空间;距离空间的完备化;压缩映射原理2.重点难点一些具体的距离空间(如:[,],,,,p pC a b L l S s)的完备性,可分性及收敛的具体含义。
3.学习要求(1)掌握距离空间的定义及例;(2)掌握距离空间中点集的拓扑概念;(3)清楚具体的距离空间的拓扑性质和收敛的具体含义;(4)掌握压缩映射原理的内容及证明,并能利用压缩映射原理解决一些具体问题。
第二章赋范空间1.知识要点赋范空间和Banach空间的定义;范数与距离的关系;Riesz引理;有限维空间的几何特征;赋范空间中的级数;赋范空间的商空间2.重点难点(1)范数与距离的关系;(2)Riesz引理的内容与应用。
3.学习要求(1)掌握赋范空间的定义和典型例子;(2)能够证明一些具体空间是赋范空间及它的完备性;(3)准确掌握Riesz引理的背景,内容和应用;(4)掌握有限维空间的几何特征;(5)了解赋范空间中的级数和商空间的含义。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1第12讲 Hahn -Banach 延拓定理教学目的掌握线性泛函延拓定理的证明思想及其推论。
授课要点1、 实空间线性泛函的控制延拓定理。
2、 复空间线性泛函的控制延拓定理。
3、保范延拓定理。
4、 延拓定理的推论及其意义。
对于一个线性赋范空间来说,对它上面的线性泛函知道得越多,对这个空间本身就了解得越多(参见第9讲思考题1). 有时候为了某种目的,要求有满足一定条件的线性泛函存在,Hahn -Banach 定理为这样的线性泛函的存在提供了保证.定义1 设()D T 与()1D T 分别是算子T 与1T 的定义域,若()()1D T D T ⊂,并且1,T x Tx =()x D T ∀∈,则称算子1T 是T 的延拓.定义2 线性空间X 上的实泛函()p x 称为是次可加的,若()()()p x y p x p y +≤+,,x y X ∀∈称为是正齐性的,若()()p x p x αα=,x X ∀∈,0α≥.显然线性空间上的每个半范数都是次可加正齐性泛函.定理1(Hahn -Banach ) 设X 是实线性空间,:p X R →是X 上的正齐性次可加泛函,M X ⊂是线性子空间,则(1)对于M 上定义的每个线性泛函0f ,存在0f 从M 到X 的延2拓f :X R →,()()0f x f x =,x M ∀∈ (2)若()()0f x p x ≤,x M ∀∈,可选取f 满足()()f x p x ≤,x X ∀∈ ()1 证 明 1设M X ≠,取0\x X M ∈,记'M =span {}0,x M ,则x M ′′∀∈,0x x tx ′=+,其中x M ∈,t R ∈. 此分解式是唯一的,否则另有110x x t x ′=+,1x M ∈,则()110x x t t x −=−−,若1t t ≠,则101x x x t t −=−M ∈,与0x 的取法矛盾,于是1t t =,并且1x x =. 对于任何常数c ,令()()0f x f x tc ′=+,0x x tx ′∀=+.则容易验证f 是M ′上的线性泛函. 实际上f 是0f 从M 到M ′的延拓,因为当x M ′∈时,0t =,从而()()0f x f x ′=.2 我们将证明当x M ∀∈,()()0f x p x ≤时,适当选择c ,可使()()f x p x ′′≤,x M ′′∀∈.实际上,x y M ∀∈,由于()()()()000f x f y f x y p x y +=+≤+()()00p x x p x y ≤−++,即()()()()0000f x p x x p x y f y −−≤+−,故存在c 满足()()00sup x Mf x p x x c ∈−−≤()()00inf y M p x y f y ∈≤+−, ()23我们将取这样的c 作成所要的线性泛函.此时若0x x tx ′=+,0t >,由()()00p x y f y c +−≥对于每个y M ∈成立,用1t x −代替y ,则()()1100p x t x f t x c −−+−≥,从而()()()()00f x f x tc p x tx p x ′′=+≤+=.若0x x tx ′=+,0t <,由()()00f x p x x c −−≤对于每个x M ∈成立,用1t x −−代替x ,则()()1100f t x p t x x c −−−−−−≤,即()()00f x p x tx tc −++≥. 从而()()()()00f x f x tc p x tx p x ′′=+≤+=.当0t =时,显然()()()()0f x f x p x p x ′′==<. 故f 是0f 从M 到M ′上满足()1的延拓。
3 现在让我们应用Zorn 引理完成定理的最后证明.设G 是0f 的所有延拓的集合,即对于每个g G ∈, (1) g 在X 的子空间g M 上有定义,g M M ⊂, (2) x M ∀∈,()()0g x f x =, (3) ()()g x p x ≤,g x M ∈.在G 中规定半序:g g ′≤当且仅当g g M M ′⊂,并且()()g x g x ′=()g x M ∈,容易验证,G 确实是半序集.若0G 是G 的全序子集,令 0gg G MM∈=∪,当g x M ∈时,定义()()h x g x =. 由于0G 是全序的, M为线性子空间:例如当 ,x x M ′∈时,若g x M ∈,'g x M ′∈,不妨设'g g M M ⊂, 则 gx x M M αβ′′+∈⊂,此时4()()()()'h x x g x x g x g x αβαβαβ′′′′′+=+=+()()h x h x αβ′=+,h 是线性泛函. 显然 M M ⊂并且当x M ∈时,()()()0h x g x f x ==.此外若 x M ∈,不妨设gx M ∈,则()()()h x g x p x =≤,从而h G ∈,h g ≥()0g G ∀∈,h 是0G 的上界.根据Zorn 引理,G 有极大元f ,f 即是定理中所需要的延拓. 为此只需证明.f M X = 如若不然,必存在0\f x X M ∈,由1有f G ′∈,f M ′=span 0{,},x M f f M M ′≠,故f f ′≥,f f ′≠,这与f 为极大元矛盾.现在我们转到复空间上的线性泛函f . 不妨设()()()12f x f x if x =+,其中12,f f 分别是f 的实部和虚部,根据f 的线性,容易验证12,f f 是实线性泛函. 又由f 的复线性以及实际计算得到()()()()12if x f ix f ix if ix ==+, ()()()12if x if x f x =−.从而()()21f x f ix =−,故()()()11f x f ix if ix =− ()2 由此知道,复空间上任何复线性泛函可以通过它的实部表达出来.但应注意,对于实线性泛函1f ,一般来说()()11f ix if x ≠.定理 2 设X 是复线性空间,p 是X 上的半范数. 若M 是X 的线性子空间,0f 是M 上的复线性泛函,满足()()0f x p x ≤,x M ∀∈,则存在X 上的线性泛函F ,使得()()0F x f x =,x M ∀∈,5()()F x p x ≤,x X ∀∈. (3)证 明 在M 上,设()()()011f x f x if ix =−,把M 看成实线性子空间(同样的,把X 看成实线性空间),由假设()()()()110f x f x f x p x ≤≤≤,x M ∀∈,由定理1,存在实线性泛函1:F X R →,使得 ()()11F x f x =,x M ∀∈,()()1F x p x ≤,x X ∀∈.考虑复泛函()()()11F x F x iF ix =−,由于()()()11F x y F x y iF ix iy +=+−+()()()()1111F x F y iF ix iF iy =+−− ()()F x F y =+,,x y X ∀∈若α为实数,()()()11F x F x iF i x ααα=−()()11F x iF ix αα=−()F x α=又()()()11F ix F ix iF x =−−()()()11iF x iF ix iF x =−=由此,对于任意复数,αβ与任意,x y X ∈,()()()F x y F x F y αβαβ+=+F 是复线性的. 若x M ∈,则()()()()()()11110F x F x iF ix f x if ix f x =−=−=故F 是0f 的延拓. 若设()i F x re θ=,则()i F ex r θ−=为实数,此时()()()()()1i i i F x F e x F e x p e x p x θθθ−−−==≤=.()F x 即是所要求的复线性泛函.定理 3 设X 是(实或复)线性赋范空间,M X ⊂是线性子空间,0f 是M 上的连续线性泛函. 则存在X 上的线性泛函f ,使得6()()0f x f x =,x M ∀∈,0f f =. (4)(称f 是0f 的保范线性延拓).证 明 令()0p x f x =,()p x 是X 上的半范数并且()()00f x f x p x ==,x M ∀∈在复空间情况,由定理2,存在X 上的线性泛函f ,使得()()0f x f x =,x M ∀∈,并且()()0f x p x f x ≤=,x X ∀∈在实空间情况,由定理1,存在X 上的线性泛函f 使得 ()()0(),f x p x p x f x x X ±≤±==∀∈.从而()0f x f x ≤,0f f ≤,f 连续. 另一方面,()()001,1,supsupx x M x x Mf f x f x ≤∈≤∈==()1,supx x Xf x f ≤∈≤=, ()5总之,0f f =.注意,()5说明了任一线性泛函(或算子)延拓后范数不会减少。
推论1 设X 是线性赋范空间,0x X ∈,00x ≠,则存在f X ∗∈使得1f =,()00f x x =.证 明 考虑子空间{}0;M x αα=∈Φ和M 上的线性泛函()000f x x αα=,0f 在M 上连续. 实际上,对于0,x x α=()0000()f x f x x x αα===,所以01f =. 又显然()000f x x =,由定理3,存在f X ∗∈,1f =.当x M ∈时()()0f x f x =,特别地,()()0000f x f x x ==.推论2 设X 是线性赋范空间,12,x x X ∈,12x x ≠,则存在7f X ∗∈,()()12f x f x ≠.证明 由120x x −≠,根据推论1,存在f X∗∈,()12120f x x x x −=−≠,故()()12f x f x ≠.从直观上说,推论1表明,对于一个非零线性赋范空间,一定存在非零连续线性泛函. 推论2则表明非零连续线性泛函是足够多的,以至于每两个不同的点都可以由某个连续线性泛函区分开来. 有时简单的说,X ∗在X 上可以区分点.推论3 设X 是线性赋范空间,12,x x X ∈,若对于任何f X ∗∈,()()12f x f x =,则12x x =.这是由推论2的逆否命题.推论4 设X 为线性赋泛空间,0x X ∈,则()001sup f x f x ≤=. ()6证 明 首先由1f ≤,则 ()00f x fx ≤0x ≤,于是()001sup f f x x ≤≤. 再由推论1,存在f X ∗∈,1f =,()00f x x =,故()001sup f x f x ≤≤,从而等式()5成立.。