Banach空间及其相关定理

《Banach空间及其相关定理》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

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

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

3、始，将Banach空间中Hahn-Banach定理、开映射、闭图像以及逆算子定理这几个重要定理逐一做出介绍并给出相应定理的证明。关键词：Banach空间；一致有界定理；Hahn-Banach定理；开映射、闭图像、逆算子定理1绪论巴拿赫空间（Banachspace）是一种赋有“长度”的线性空间，泛函分析研究的基本对象之一。数学分析各个分支的发展为巴拿赫空间理论的诞生提供了许多丰富而生动的素材。从魏尔斯特拉斯，K.(T.W.)以来，人们久已十分关心闭区间[a，b]上的连续函数以及它们的一致收敛性。甚

4、至在19世纪末，G.阿斯科利就得到[a，b]上一族连续函数之列紧性的判断准则，后来十分成功地用于常微分方程和复变函数论中。1909年里斯，F.(F.)给出[0，1]上连续线性泛函的表达式，这是分析学历史上的重大事件。还有一个极重要的空间，那就是由所有在[0，1]上次可勒贝格求和的函数构成的空间。在1910～1917年，人们研究它的种种初等性质；其上连续线性泛函的表示，则照亮了通往对偶理论的道路。人们还把弗雷德霍姆积分方程理论推广到这种空间，并且引进全连续算子的概念。当然还该想到希尔伯特空间。正是

5、基于这些具体的、生动的素材，巴拿赫，S.与维纳，N.相互独立地在1922年提出当今所谓巴拿赫空间的概念，并且在不到10年的时间内便发展成一部本身相当完美而又有着多方面应用的理论[1]。由于其在数学和其他学科中的广泛运用，在20世纪30年代就得到了很大的发展，并很快成为一门独立的学科[2]。Banach空间理论还是泛函分析的主要组成部分，是泛函分析涵盖的其他三个主要研究方向：算子理论，应用泛函分析以及Banach代数的理论基础，影响着他们的发展[3]。20世纪60年代以后，不仅Banach空间理论

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

7、Banach空间之前，本文先用一些定义来解释一下Banach空间并就相关的基本概念做一个介绍。2.1拟范数定义及例子定义2.1.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=θ16(6)λ(μx)=λμx（结合律）(7)(λ+μ)x=λx+μx（数乘分配律）(8)λ(x+y)=λx+λy定义2.1.2

8、设K是实数域R或复数域C，X为数域K上的一个线性空间，若

9、

10、·

11、

12、是X到R的映射并且满足：(1)

13、

14、x

15、

16、=0当且仅当x=0，x∈X(2)存在C≥1对所有的x，y∈X，

17、

18、x+y

19、

20、≤C

21、

22、x

23、

24、+C

25、

26、y

27、

28、(3)若x∈X而α∈K，则

29、

30、αx

31、

32、=

33、α

34、

35、

36、x

37、

38、其中(2)中的常数C不依赖于x，y，则称

39、

40、·

41、

42、为X上拟范数，而

43、

44、x

45、

46、称为x的拟范数，这时，称(X，

47、

48、·

49、

50、)为拟赋范线性空间[4]。定义2.1.3设(X，

51、

52、·

53、

54、)为拟赋范线性空间，

55、

56、x

57、

58、为x的拟范数，则有

59、

60、-x

61、

62、