[精品]泛函分析论文

《[精品]泛函分析论文》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、泛函分析论文泛函分析是20世纪30年代形成的数学分科。是从变分问题，积分方程和理论物理的研究中发展起来的。它综合运用函数论，几何学，现代数学的观点来研究无限维向量空间上的函数，算子和极限理论。它可以看作无限维向量空间的解析几何及数学分析。主要内容有拓扑线性空间等。泛函分析在数学物理方程，概率论，计算数学等分科中都有应用，也是研究具有无限个自由度的物理系统的数学工具。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。泛函分析是分析数学中最“年轻”的分支，它是古典分析观点的推广，它综合函数论、儿何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在

2、二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。一、度量空间和赋范线性空间1、度量空间现代数学中一种基本的、重要的、最接近于欧儿里得空间的抽象空间。19世纪末叶，德国数学家G.康托尔创立了集合论，为各种抽象空间的建立奠定了基础。20世纪初期，法国数学家M.-R.弗雷歇发现许多分析学的成果从更抽象的观点看来，都涉及函数间的距离关系，从而抽象出度量空间的概念。度量空间中最符合我们对于现实直观理解的是三维欧氏空间。这个空间中的欧几里德度量定义两点之间距离为连接这两点的直线的长度。定义：设X为一个集合，一个映射d：XXX->Ro若对于任何x,y,z属于X,有(I)(正定性)d

3、(x,y)$0,且d(x,y)二0当且仅当x二y；(II)(对称性)d(x,y)二d(y,x)；(TTT)(三角不等式)d(x,z)Wd(x,y)+d(y,z)则称d为集合X的一个度量(或距离)。称偶对(X,d)为一个度量空间，或者称X为一个对于度量d而言的度量空间。2、赋范线性空间泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间，巴拿赫空间中最重要的特例被称为希尔伯特空间。(一)、希尔伯特空间希尔伯特空间可以利用以下结论完全分类，即对于任意两个希尔伯特空间，若其基的基数相等，则它们必彼此同构。对于有限维希尔伯特空间而言，其上的连续线性算子即是线性代数中所

4、研究的线性变换。对于无穷维希尔伯特空间而言，其上的任何态射均可以分解为可数维度(基的基数为50)上的态射，所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真不变子空间。该问题在某些特定情况下的答案是肯定的。(一)、巴拿赫空间巴拿赫空间理论(Banachspace)是1920年市波兰数学家巴拿赫(S.Banach)-手创立的，数学分析中常用的许多空间都是巴拿赫空间及其推广，它们有许多重要的应用。大多数巴拿赫空间是无穷维空间，可看成通常向量空间的无穷维推广。IHI=supg巴拿赫空间(Banachsp

5、ace)是一种赋有''长度〃的线性空间，泛函分析研究的基本对象之一。数学分析各个分支的发展为巴拿赫空间理论的诞生提供了许多丰富而生动的素材。从外尔斯特拉斯，K.(T.W.)以来，人们久已十分关心闭区间［a,b］上的连续函数以及它们的一致收敛性。甚至在19世纪末，G.阿斯科利就得到b,b］上一族连续函数之列紧性的判断准则，后來十分成功地用于常微分方程和复变函数论中。二、线性算子出现在各个数学领域中具有线性性质的运算(例如线性代数屮的线性变换；微分方程论、积分方程论中大量出现的微分、积分运算、积分变换等)的抽象概括。它是线性泛函分析研究的重要对象。关于线性算子的理论不仅在数学的许多分支中有很

6、好的应用，同时也是量子物理的数学基础之一。中国物理学界习惯上把算子称为算符。线性算子与线性泛函设左、r是两个(实数或复数域上的)线性空间，卩是X到卩的映射。卩的定义域和值域分别记为D(T)、R(T)。如果对任何数Q、0和&、卫满足(1馅+0卫£〃(刀，并且TiaXi4£兀2)=+0Tx2则称丁是以D5为定义域的x到/的线性算子。特别当Dgx,Y是实数域或复数域时，称厂是x上的线性泛函。例1,设［0,1］（［0,1］上连续可微函数全体），K=^［0,1］（【0,1】上有界函数全体），定义（氐）0）=壬蛇）,则7是X到r的线性算了。例2,设尸C【方】（【0,刃上的连续函数全体），tys）是【

7、Sb】X【a"】上的二元连续函数，定义（ZW）=加$）心$,则7是X到X的线性算子。例3,设尸aO,刃，则3=匸蚯）山，心它仏）仏是【Q,b屮取定的一个点）都是X上的线性泛函。线性算子的运算设1、Z是x到F的线性算子,它们的定义域分别是DgDg对任一数Q,规定a7；表示以〃（71）为定义域，而对任何xED（T）,WTJ尸a（7；x）的算子;规定表示以〃（7；）Q竝）为定义域，而对任何*€Dgng）,⑴+S=恥+3的算子。易知aT