泛函分析——武大精品课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)了解赋范空间中的级数和商空间的含义。
泛函分析讲义
第三章 赋范空间3.1. 范数的概念“线性空间”强调元素之间的运算关系,“度量空间”则强调元素之间的距离关系,两者的共性在于:只研究元素之间的关系,不研究元素本身的属性。
为了求解算子方程,需要深入地了解函数空间的结构与性质,为此,我们不仅希望了解函数之间的运算关系和距离关系,还希望了解函数本身的属性。
那么,究竟需要了解函数的什么属性呢?3.1.1. 向量的长度为了回答上述问题,我们需要从最简单的函数空间——欧氏空间——中寻找灵感。
回想一下,三维欧氏空间中的元素被称为“向量”,向量最重要的两大属性是:长度和方向,向量的许多重要性质都是由其长度和方向所决定的。
这一章的任务就是将欧氏空间中向量的长度推广为(以函数空间为原型的)一般线性空间中元素的广义长度,下一章的任务就是将欧氏空间中向量的方向推广为(以函数空间为原型的)一般线性空间中元素的广义方向。
可以想象:其元素具有广义长度和广义方向的线性空间必将像欧氏空间那样,呈现出丰富多彩的性质,并且这些性质必将有助于求解算子方程。
图3.1.1. 三维欧氏空间中向量的大小和方向矩阵论知识告诉我们:可以为欧氏空间中的向量赋予各种各样的长度,并且可以根据问题需要来选择最合适的向量长度。
实际上,可以在数域F 上的n 维欧式空间n F 上定义向量12(,,,)n x x x x 的如下三种长度(称为“范数”):● 2-范数(也称为欧氏范数):2x =● 1-范数:11n k k x x ==∑;● ∞-范数:1max k k nx x ∞≤≤=。
图3.1.2. 三种向量范数对应的“单位圆” 图3.1.3. “单位圆”集合的艺术形式下一节将谈到:就分析性质而言,这三种向量范数没有任何区别。
我们注意到:通常将2或3中两个向量之间的距离定义为两者的差向量的长度。
由此可知:如果有了长度的概念,就可以诱导出距离;反之则不然。
因此,长度是比距离更本质的概念。
3.1.2. 范数的定义我们希望将向量范数的概念推广到(以函数空间为原型的)无限维线性空间的场合。
泛函分析ppt课件
∈X都有ρ(Tx, Ty)<aρ(x, y),则称T是压缩映照
定理:完备距离空间 X 上的压缩映照T,必 存 唯一的不动点x*,使得Tx*=x*. (Banach压 缩映 照定理)
距离空间:不动点原理
应用:微分方程,代数方程,积分方程解的唯一存在 性
n
S f (i )xi
i 1
若其极限存在则称Riemann可积
b
n
(R) a f (x)dx lxim0 i1 f (i )xi
从Riemann积分到Lebesgue积分
Riemann积分的思想是,将曲边梯形分成若干个小 曲 边梯形,并用每一个小曲边梯形的面积用小矩形 来代 替,小矩形的面积之和就是积分值的近似。剖 分越精 细,近似程度越好。
距离空间:定义
设 X 是非空集合,对于X中的任意两元素x与y,按某一法则都
对 应唯一的实数ρ(x, y),并满足以下三条公理(距离公理)
:
1. 非负性: ρ(x, y) ≥0, ρ(x, y) =0当且仅当x=y; 2. 对称性: ρ(x, y) =ρ(y, x);
3. 三角不等式;对任意的x, y, z
例子:Fredholm第二类积分方程
b
x(s) f (s) a K (s,t)x(t)dt
对充分小的| λ |,可证
当f ∈ C[a, b], K(s, t)∈ C[a, b; a, b]时有唯一连续解 当f ∈ L2[a, b], K(s, t)∈ L2 [a, b; a, b]时有唯一平方可积解
(x, y) (a b )2 1/ 2 i i i
则 Rn是距离空 间
距离空间: Lp[a,b]
泛函分析讲义
泛函分析讲义第五章Banach代数1代数准备知识2 Banach代数2.1 Banach代数的定义2.2 Banach代数的极大理想与Gelfand表示3例与应用4 c’代数5 Hilbert空间上的正常算子5.1 Hilbert空间上正常算子的连续算符演算5.2正常算子的谱族与谱分解定理5.3正常算子的谱集6在奇异积分算子中的应用第六章无界算子1 闭算子2 cayley变换与自伴算子的谱分解2.1 cayley变换2.2自伴算子的谱分解3无界正常算子的谱分解3.1 B0rel可测函数的算子表示3.2无界正常算子的谱分解?4 自伴扩张4.1 闭对称算子的亏指数与自伴扩张4.2 自伴扩张的判定准则5自伴算子的扰动5.1稠定算子的扰动5.2自伴算子的扰动5.3 自伴算子的谱集在扰动下的变化?6无界算子序列的收敛性6.1预解算子意义下的收敛性6.2图意义下的收敛性第七章算子半群1无穷小生成元1.1无穷小生成元的定义和性质1.2 Hme—Yosida定理2无穷小生成元的例子3单参数酉群和Stone定理3.1单参数酉群的表示——stone定理3.2 stone定理的应用1.B0chner定理2.Schr6dinger方程的解3.遍历(ergodic)定理3.3 Trotter乘积公式4 Markov过程4.1 Markov转移函数4.2扩散过程转移函数5散射理论5.1波算子5.2广义波算子6发展方程第八章无穷维空间上的测度论1 C[O,T]空间上的wiener测度1.1 C[O,T]空间上wiener 测度和wiener积分1.2 Donsker泛函和Donske卜Lions定理1.3 Feynman—Kac公式2 Hilbert空间上的测度2.1 Hilbert—Schmidt算子和迹算子2.2 Hilbert空间上的测度2.3 Hilbert空间的特征泛函3 Hilbert空间上的Gauss测度3.1 Gauss测度的特征泛函3.2 Hilbert空间上非退化Gauss测度的等价性清词丽句必为邻2015-09-21 04:05 | 豆瓣:烟波浩渺1980杜甫的《戏为六绝句》(其五)不薄今人爱古人,清词丽句必为邻。
《泛函分析》课程教学大纲
《泛函分析》课程教学大纲《泛函分析》课程教学大纲一、课程基本信息课程代码:课程名称:泛函分析英文名称:Functional analysis课程类别:选修课学时:54学分:3适用对象: 数学类本科生考核方式:考察先修课程:数学分析,高等代数,实变函数二、课程简介《泛函分析》是现代教学中的一门较新的数学分支,是高等师范院校数学专业的一门重要专业课,它是在学生掌握了数学分析、高等代数的理论知识的基础上,继实变函数之后开设的。
本课程主要内容包括:⑴度量空间和赋范线性空间;⑵有界线性算子和连续线性泛函;⑶内积空间和希尔伯特(Hilbert)空间;(4)巴拿赫空间中的基本定理;(5) 线性算子的谱等。
通过该课程的学习,学生不仅能学到泛函分析的基本理论和方法,而且对学习其他数学分支以及把他应用到数理经济,现代控制论,量子场论,工程技术等领域有很大帮助。
三、课程性质与教学目的1、本课程是数学基础之一,授课对象为数学专业学生。
在讲授和学习时,应注重提高学生分析问题和解决问题的能力,培养学生良好的逻辑思维习惯,让学生掌握全面考虑问题的思维方法,这将有助于学生们顺利地学习其他现代专业数学理论课。
2、本课程主要内容包括:⑴度量空间和赋范线性空间;⑵有界线性算子和连续线性泛函;⑶内积空间和希尔伯特(Hilbert)空间;(4)巴拿赫空间中的基本定理;(5) 线性算子的谱等内容。
3、本大纲的教学总时数为54学时(含习题课),各章节教学时数的具体分配,请参考附表。
4、本课程以课堂讲授为主,讨论辅导为辅,课堂练习与课外作业相结合。
5、在制定本教学大纲时,为了明确对教学大纲中所列具体内容的要求程度,将本要求分为由低到高的三个等级,即对概念和理论性的知识,由低到高分别用“知道”、“了解”、“理解”三级区分,对运算、方法和应用方面的知识,由低到高分别用“会或能”、“掌握”、“熟练掌握”三级区分。
四、理论教学内容与教学基本要求1、第一章度量空间和赋范线性空间(14学时)(1) 度量空间的进一步例子(2) 度量空间中的极限,稠密集,可分空间(几类特殊的点集,稠密性与可分性)(3) 连续映射(度量空间上的连续映射)(4) 柯西(Cauchy)点列和完备度量空间(5) 度量空间的完备化(完备的距离空间,第一第二类型集,距离空间的完备化)(6) 压缩映射原理及其应用(7) 线性空间(8) 赋范线性空间和巴拿赫(Banach)空间教学目的及要求:要求学生掌握距离空间的一些基本概念,为后面学习打下基础。
泛函分析讲义
2.2.5 线性泛函的连续性和有界性 . . . . . . . . . . . . . . . . . . . . . . . 71
2.2.6 赋范空间中的Hahn-Banach定理 . . . . . . . . . . . . . . . . . . . . . 75
2.2.7 赋范线性空间中的分离性定理 . . . . . . . . . . . . . . . . . . . . . . 78
1.6 稠密性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.6.1 稠密性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.2 Riesz引理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.2 有界线性算子 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
目录
iii
3.3 开映照定理、闭图像定理和共鸣定理 . . . . . . . . . . . . . . . . . . . . . . 104 3.3.1 开映照定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 3.3.2 闭图象定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 3.3.3 共鸣定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
“泛函分析”课程教学大纲
“泛函分析”课程教学大纲(本教学大纲按适用专业分(A)、(B)两类)“泛函分析”课程教学大纲(A)课程编号:00834250课程名称:泛函分析英文名称:FunctionalAnalysis课程学分:4课程学时数:64开课学期:春季适用专业:数理学基地班,数学与应用数学先修课程:数学分析,高等代数,实变函数一、基本教学目的和任务泛函分析是20世纪初从变分法、微分方程、积分方程、函数论、量子物理等研究中发展起来的数学分支学科,它综合函数论、几何和代数的观点与方法研究解决数学中提出的重要问题。
泛函分析是大学数学系的一门重要的专业主干基础课。
本课程主要讲述线性泛函分析。
使学生了解和掌握空间、线性算子以及线性算子空间、线性算子谱理论的基本概念和基本理论。
本课程的基本目的是使学生把具体的分析、代数、几何中的问题抽象到一种更加纯粹的形式中加以研究,使学会综合运用分析、代数、几何手段处理问题的方法。
本课程在数学系的课程体系中具有承上启下的作用,可以使学生从全新的视点审视和处理数学基础课程的内容和问题,为学生进一步学习近代数学、近代物理、从事数学和应用数学研究打下基础。
二、课程内容与建议学时本课程的内容包括以下几个部分:绪论、距离空间、赋范空间、内积空间与Hilbert空间、有界线性算子、共轭空间和共轭算子以及线性算子的谱理论。
绪论从有限维空间元素的分解、对称矩阵按照特征值对角化等实例出发,采用类比、归纳等方法引入无穷维空间、线性算子、谱理论这样一些抽象概念;通过数学分析、线性代数、微分方程中一些熟悉的例子,研究和探讨如何类比地建立起无穷维空间框架,把有限维空间的数学方法自然地推广到无穷维空间。
内容的前三章侧重于泛函分析中的空间理论,特别是Hilbert空间的几何特征。
第四章介绍了有界线性算子以及有界线性算子空间的概念,系统地讲述Banach空间中的基本定理和它们的应用,即:一致有界原理,开映像定理和闭图像定理。
武汉大学泛函分析授课教案
授课班级:XX级XX班授课时间:2023年X月X日授课教师:XXX教学目标:1. 使学生掌握泛函分析的基本概念和基本性质。
2. 使学生能够运用泛函分析的理论和方法解决实际问题。
3. 培养学生的逻辑思维能力和创新意识。
教学内容:1. 泛函分析的基本概念2. 线性赋范空间3. 线性算子4. 共鸣定理及其应用5. 自反空间与一致凸空间教学过程:一、导入1. 回顾实变函数和复变函数的基本知识,引出泛函分析的概念。
2. 强调泛函分析在数学和自然科学中的应用。
二、基本概念1. 泛函分析的基本概念:函数空间、线性赋范空间、线性算子等。
2. 通过实例讲解,使学生理解这些概念。
三、线性赋范空间1. 定义线性赋范空间,并举例说明。
2. 讲解线性赋范空间的性质,如闭性、完备性等。
3. 介绍一些常见的线性赋范空间,如Lp空间、C空间等。
四、线性算子1. 定义线性算子,并举例说明。
2. 讲解线性算子的性质,如连续性、有界性等。
3. 介绍一些常见的线性算子,如积分算子、微分算子等。
五、共鸣定理及其应用1. 介绍共鸣定理的定义和证明。
2. 通过具体例子分析共鸣定理在经典分析中的应用。
3. 讲解如何将经典分析中的问题转化为泛函分析中的问题。
六、自反空间与一致凸空间1. 定义自反空间和一致凸空间,并举例说明。
2. 讲解自反空间和一致凸空间的性质,如自然嵌入映射、等距同构等。
3. 介绍一些常见的自反空间和一致凸空间,如Lp空间、Lq空间等。
七、总结1. 总结本节课的主要内容,强调泛函分析在数学和自然科学中的应用。
2. 布置课后作业,巩固所学知识。
教学评价:1. 通过课堂提问、讨论等方式,了解学生对本节课内容的掌握程度。
2. 课后作业的完成情况作为评价学生掌握知识的重要依据。
3. 定期进行测试,了解学生对泛函分析的整体掌握情况。
泛函分析讲义(中文版-武汉大学)-4a786423a5e9856a5612604e
X 中的每个元是一个 n 数组 x = ( x1 , ( x1 , , xn ) + ( y1 , , yn ) = ( x1 + y1 ,
a( x1 ,
, xn ) = (ax1 ,
, axn ) , (a ∈Φ ) .
这些 n 数组构成线性空间,其维数为 n .即 dim X = n . 例2 无穷序列空间 Φ ∞ .
i =1
n
m
j =1
rx + (1 − r ) y = ∑ rri xi + ∑ (1 − r ) s j y j ,
i =1 j =1
n
m
由于
rri + ∑ (1 − r ) s j =r + (1 − r ) = 1 ; 上 式 是 x , y ∑ j i
=1 =1
i
n
m
j
的 凸 组 合 , 由 co E 的 定 义 知 道
∀α , β ∈ Φ, α E + β E ⊂ E.
5、设 X 是线性空间,证明 E ⊂ X 是 X 的凸子集当且仅当
∀t , s > 0, (t + s ) E = tE + sE.
第2讲
度量空间及其拓扑
教学目的:介绍度量空间的公理及其拓扑性质。 授课要点: 度量空间、赋范空间、内积空间的公理体系以及三者的相 互关系。
线性空间 X 中的元素 x1 ,
, xn 称为是线性无关的,若 ∀a1 , a1 x1 + + an xn = 0
, an ∈Φ ,当
时 a1 =
= an = 0 . X 的子集合 E 称为是线性无关集,若 E 中任意有限多个元素都线性无
泛函分析第二讲
x R :
x
r,F x
x3
第二章 泛函分析
第一节 距离空间
四、压缩映射原理
定理4 (Banach不动点定理)设 X 是完备的距 离空间,T 是 X 上的压缩映射,那么 T 有且只有
一个不动点.
例6 证明隐函数存在定理:设二元函数 f (x, y)在
带状区域{(x, y) a x b, y }中处处连续,
定义7 设映射T:X X ,如果有 x X ,使 Tx x ,
称 x为映射T 的不动点.
定义8 设X , d 是一个距离空间, T:X X. 如果存在一个常数 0 1,使对所有 x, y X,
成立 dTx,Ty dx, y,则称 T 是压缩映射.
例
设 0r
1 3
,
Sr 0
定义6 如果距离空间 X 中任何Cauchy均收敛,
则称 X是完备的.
定理2 完备距离空间 X中的任何闭子空间 Y 也是完备的.
第二章 泛函分析
第一节 距离空间
三、完备性
例3 空间 Rn是完备距离空间.
证明 设 xk 是 Rn 中的任一Cauchy列,
xk = 1k ,2k , ,nk k 1, 2, ,
(1)对于任一 x X ,当 xn X 且收敛于 x 时,
有f (xn )收敛于 f (x);
(2)对于 Y 中任意开集 G ,它的原像f 1(G)是X中
的开集;
(3)对于 Y 中任意闭集 F ,它的原像f 1(F )是X中
的闭集;
第二章 泛函分析
第一节 距离空间
三、完备性
Cauchy收敛准则
xn 收敛
且处处有关于 y的偏导数 fy (x, y) .如果存在常数 m, M 满足0 m fy (x, y) M ,则方程 f (x, y) 0 在区间[a,b]上必有唯一的连续函数解 y (x) ,使得
- 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成立.。