泛函分析整理笔记

整理文档很辛苦,赏杯茶钱您下走!

免费阅读已结束,点击下载阅读编辑剩下 ...

阅读已结束,您可以下载文档离线阅读编辑

资源描述

《泛函分析》读书笔记课程题目:泛函分析任课教师:高云兰博士学生姓名:崔继峰学生学号:200810582008年12月10日1《泛函分析》读书笔记ReadingNotesaboutFunctionalAnalysis崔继峰所谓的泛函呢,就是一般函数,泛函分析当然就是一般函数的分析研究。在学习泛函之前,需要有扎实的《实变函数》知识。大学期间,曾用半年时间学过由南开大学刘炳初教授编著,科学出版社出版的《泛函分析》,讲课的是哈尔滨工业大学的包革军教授,他讲泛函的最大特点是把泛函与几何图形有机结合,把艰深的纯理论讲的惟妙惟肖。在进入研究生学习阶段,《泛函分析》作为计算数学研究生的基础理论课程,是必选的。我们选用的教材是由武汉大学刘培德教授主编,武汉大学出版社出版的《泛函分析(第二版)》,该教材是面向本科生的,系里之所以考虑选择此教材,是由于考虑到有些学生在本科阶段没有或者很粗浅的认识了《泛函分析》这门课程,主讲该课程的是高云兰博士,她的方向就是算子方面的研究,所以讲解该课程那是轻车熟路了。课时大约是48学时(粗略估计)。由于以下两方面的原因:1)对于《泛函分析》认识很粗浅;2)第一次写读书笔记(尤其是专业课类),不知道如何从略。所以读书笔记可能从在诸多问题,希望老师见谅!下面我从几个方面写本学期学习《泛函分析》的感受和认识。我本着这样态度写该笔记:1)了解泛函是什么,泛函的发展(很多教材把这个从略)2)把空间的理论知识系统学习,对于其他理论的学习作抛砖引玉之用。3)学习泛函的实际作用(也就是附录里的滤波器理论的应用)。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。它是20世纪30年代形成的。从变分法、微分方程、积分方程、函数论以及量子物理等的研究中发展起来的,它运用几何学、代数学的观点和方法研究分析学的课题,可看作无限维的分析学。一、泛函分析的产生十九世纪以来,数学的发展进入了一个新的阶段。这就是,由于对欧几里德第五公设的研究,引出了非欧几何这门新的学科;对于代数方程求解的一般思考,最后建立并发展了群论;对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。本世纪初,瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中,出现了把分析学一般化的萌芽。随后,希尔伯特和海令哲来创了“希尔伯特空间”的研究。到了二十年代,在数学界已经逐渐形成了一般分析学,也就是泛函分析的基本概念。由于分析学中许多新部门的形成,揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如,代数方程求根和微分方程求解都可以应用逐次逼近法,并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关,有些乍看起来很不相干的东西,都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。非欧几何的确立拓广了人们对空间的认知,n维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响。这样,就显示出了分析和几何2之间的相似的地方,同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广,以至最后把欧氏空间扩充成无穷维数的空间。这时候,函数概念被赋予了更为一般的意义,古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。这里我们先介绍一下算子的概念。算子也叫算符,在数学上,把无限维空间到无限维空间的变换叫做算子。研究无限维线性空间上的泛函数和算子理论,就产生了一门新的分析数学,叫做泛函分析。在二十世纪三十年代,泛函分析就已经成为数学中一门独立的学科了。二、泛函分析的特点和内容泛函分析的特点是它不但把古典分析的基本概念和方法一般化了,而且还把这些概念和方法几何化了。比如,不同类型的函数可以看作是“函数空间”的点或矢量,这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象,也包括了不同的函数空间。泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动,实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说,从质点力学过渡到连续介质力学,就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。正如研究有穷自由度系统要求n维空间的几何学和微积分学作为工具一样,研究无穷自由度的系统需要无穷维空间的几何学和分析学,这正是泛函分析的基本内容。因袭,泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法,也就是用线性的对象去逼近非线性的对象,完全可以运用到泛函分析这门学科中。泛函分析是分析数学中最“年轻”的分支,它是古典分析观点的推广,它综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。半个多世纪来,泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象,和某些研究手段,并形成了自己的许多重要分支,例如算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论等等;另一方面,它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用,还是建立群上调和分析理论的基本工具,也是研究无限个自由度物理系统的重要而自然的工具之一。今天,它的观点和方法已经渗入到不少工程技术性的学科之中,已成为近代分析的基础之一。泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来,泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去,起着重要的作用。三、《泛函分析》空间知识认识泛函中存在诸多空间,这里对于几个重要的空间予以认识。1.度量空间3我们在作物理、化学、生物等实验时,通过观察会得到很多值,但总是近似的,这时自然要考虑近似值与准确值的接近程度,反映在数学上这是一个极限问题。数学分析中定义R中点列nx的极限是x时,我们是用||xxn来表示nx和x的接近程度,事实上,||xxn可表示为数轴上nx和x这两点间的距离,那么实数集R中点列nx收敛于x也就是指nx和x之间的距离随着n而趋于0,即0),(limxxdnn。于是人们就想,在一般的点集X中如果也有“距离”,那么在点集X中也可借这一距离来定义极限,而究竟什么是距离呢?1.1度量空间的定义Definition1.1设X为一非空集合。若存在二元函数RXXd:,使得Xzyx,,,均满足以下三个条件:(1),0),(yxd且yxyxd0),((非负性)(2)),(),(xydyxd(对称性)(3)),(),(),(zydyxdzxd(三角不等式),则称d为X上的一个距离函数,(dX,)为度量空间或距离空间,),(yxd为yx,两点间的距离。Notes:若(dX,)为度量空间,Y是X的一个非空子集,则(dY,)也是一个度量空间,称为(dX,)的子空间。我们可以验证:欧式空间nR,离散度量空间,连续函数空间],[baC,有界数列空间l,p次幂可和的数列空间pl,p次幂可积函数空间],[baLp)1(p,均满足距离空间的性质。Appendix:p次幂可积函数空间],[baLp)1(p介绍}Lb][a,|)(||)({],[可积上在pptftfbaL,在],[baLp中,我们把几乎处处相等的函数视为同一函数。],[baLp有下列重要性质:(1)对线性运算是封闭的。即若],[,baLgfp,则],[],,[baLgfbaLfpp,其中是常数。(2))1](,[],[pbaLbaLp。设],[baLfp,令)1|(|fEA,],[),1|(|baEfEB,则dmfdmfdmfBAba||||||)(||abdmfAp)(||abdmfpba故),(baLf。(3)],[,baLgfp,定义),(gfdpppbadmtgtf1|)()(|(2.6)则pd是一个距离函数。称)],,[(ppdbaL为p次幂可积函数空间,简记为],[baLp。1.2度量空间有重要的定理4Theory1对度量空间),(dX有(1)任意个开集的并集是开集;有限个开集的交集是开集;(2)任意个闭集的交集是闭集;有限个闭集的并集是闭集;(3)X与既是开集又是闭集.Theory2设),(dX是度量空间,XEXx,0,则0x是E的聚点的充要条件是存在E中点列)(0xxxnn,使)(0),(0nxxdn.Theory3设),(dX是度量空间,ExXE,,则下面的三个陈述是等价的:(1)Ex;(2)x的任一邻域中都有E的点;(3)有点列Exn,使)(0),(0nxxdn.Theory4设),(dX是度量空间,E是X的非空子集,则E为闭集的充要条件是EE.要比较透彻的研究度量空间,不得不提到一下内容:2.映射的连续与一致连续性Definition2.1设X,Y是距离空间,f是X到Y的一个映射。Xx0如果对任何0,存在0当),(0xx时,有),(0fxfx则称f在0x连续。又若f在X中每一点都有连续,则称f是X上的连续映射。若对任何0,存在0)(,只要Xxx21,,且),(21xxd,就有))(),((21xfxf成立,则称f在X上一致连续。Example1),(0xx是距离空间X上的连续函数,其中0x是X的一固定点。proof:任取xX。因为对Xx,),(),(),(),(),(0000xxxxxxxxxx=),(xx),(),(),(),(),(0000xxxxxxxxxx=),(xx所以),(),(),(00xxxxxx.于是任给0,只要取,当),(xx时,就有),(),(00xxxx,因此,),(0xx是X上的连续函数。Theory2.1设),(dX,),(Y是距离空间,YXf:,Xx0,则下列各命题等价。(1)f在0x连续;5(2)对于0fx的任一邻域B(0Tx,),都存在0x的一个邻域),(0xB使得),(),(00TxBxBf;(3)对于X中的任意点列{xn},若)(0nxxn,则))(()(0nxfxfn。proof:(1)(2):由f在x0连续的定义知,任给0,存在0,当),(0xx时有),(0fxfx.注意),(0xx即),(0xBx,而),(0fxfx即),(0TxBTx。所以),()),((00TxBxBf。(2)(3):由假设0xxn,即对0,存在N,当nN时,),(0xBxn.由(2)有)),(()(0xfBxfn,即),((0fxxfn,因此)()(0xfxfn,(3)(1):反证法。假设f在x0不连续,则必存在某个正数0,使得对于每一个),2,1(1nn有nx满足nxxn1),(0,但00))(),((xfxfn这与)()(0xfxfn矛盾。Theory2.2设),(dX,),(Y是距离空间,YXf:。则f是连续映射的充分必要条件是,对Y中的任一开集G,其原象})(,)(1GxfXxxGf是开集。proof:必要性,不妨设)(1Gf非空。任取)(10Gfx,即Gxf)(0。因G是开集,故存在0,使GxfB)),((0。由于f连续,所以对0,有0,使得GxfBxBf)),(()),((00。即)(),(10Gfxf。说明0x是

1 / 16
下载文档,编辑使用

©2015-2020 m.777doc.com 三七文档.

备案号:鲁ICP备2024069028号-1 客服联系 QQ:2149211541

×
保存成功