泛函分析论文ll.doc

试述Hilbert空间、Banach空间、 距离空间、拓扑空间的概念及空间之间的关系。 【摘要】讨论了Hilbert空间、Banach空间、距离空间、拓扑空间的概念及空间之间的关系。 【关键词】Hilbert空间、Banach空间、距离空间、拓扑空间 一、Hilbert空间 有穷维线性空间可以引进各种种范数使它成为bananch空间，但是通常欧式空间的一个重要特性是它上面定义了内积，借助于内积就可以定义向量的长和两个向量的正交性。我们把这种方法推广到无穷维空间的情形，在下面里，我们引进内积空间Hilbert空间的概念。 设H是域K上的线性空间，任意,有一个K中数(x,y)与之对应，使得对任意满足： ⑴当且仅当 ⑵ ⑶ ⑷ 称（　，　）是Ｈ上的一个内积，上定义了内积称为内积空间。 从定义可以看出，内积对于每一，是上的一个线性泛函；当时，对于每一，是上的一个共轭线性泛函，即它是可加的并且是共轭齐次的： 定理 1.11（Schwarz不等式） 设是内积空间，则对任意有 称内积空间的这个范数是由内积产生的范数，因此每一个内积空间是赋范空间.以后凡说到内积空间是赋范空间都是指范数是由内积产生的.我们称完备的内积空间为Hilbert空间. 例1.1.1 是（实）Hilbert空间. 在定义中定义 不难验证，（　， ）是一个内积，且由这个内积产生的范数为 因此是Hilbert空间. 定理1.1.2 设是内积空间，则内积是x,y的连续函数，即当 定理1.1.3 设是内积空间，则对任意，有以下关系式成立， 平行四边形法则： ； 2）极化恒等式： .发的发 注：若赋范线性空间X的范数不满足平行四边形公式，则X不能成为内积空间。 定理1.1.4 设是赋范空间，如果范数满足平行四边形法则，则可在中定义一个内积，使得由它产生的范数正是中原来的范数. Banach空间 定义2.1.1 设是域K(实数域或复数域)上的线性空间，函数，：满足条件： 1) 对任意； 2) 对任意； 3) 对任意. 称是上的一个范数，上定义了范数称为赋范（线性）空间，记为，有时简记为. 在一个赋范线性空间中通过范数可以自然地定义一距离， 事实上，由范数公理，对任意. 称赋范空间中这个距离是由范数诱导的距离.这样，赋范空间是一个距离空间，以后凡说赋范空间的距离如无特别说明都指的是由范数诱导的距离.因此，在第一张所讨论的涉及距离空间、拓扑空间的一般概念、性质（如完备性、可分性、紧性等）都可以移植到赋范空间中来.特别地，设是赋范空间中的点列，,如果 ， 称强（或按范）收敛于，记为 ， 或 . 如果赋范空间是完备的称它为Banach空间. 定理1、完备的线性赋范空间上线性泛函的有界性与连续性等价。——可以推广到算子，并且Hilbert space是完备的线性赋范空间（Banach space）的一个特例。 2、Hilbert space上线性连续泛函可以完全由内积表示，并且这种表示是一一对应的。 3、Hilbert space上存在一组正交标准基（f_1，f_2，....），使得所有g∈H均有一个表示：g=∑a_n*f_n，其中的a_n叫做第n个投影或者坐标值，a_n=g，f_n。 4、自反空间（Hilbert space是其中一种）的有界序列必有弱收敛子序列，这个性质叫做弱紧性。 5、任何H上的闭线性子空间M均满足射影性质：对任意点 f∈H，存在 g∈M，h∈M的线性补空间，使得 f=g+h。 banach空间和hilbert空间的区别与联系： 1)距离空间是一个可比较的空间.这里是点与点比较(这是从定性到定量的飞跃) 2)Banck空间加入犯数的距离空间,引进犯数,其好处在于回答,一个事,大大不过多少,小小不过多少.是在涵数比较中,告诉我们误差的度量. 3)Heibert空间是加入内积的Banach空间,无限维变换,用谱去描述无限未知的东西. 距离空间 定义3.1.1 设是任一非空集，对中任意两点有一实数与之对应且满足： ； . 称为中的一个距离，定义了距离的集称为一个距离空间，记为，在不引起混乱的情形下简记为. 例3.1.1 考虑区间上所有连续函数集，设是上任意两个连续函数，定义 , 由于也是上的连续函数，因此有最大值.距离公理显然成立.设是上任意三个连续函数，则, 所以 . 上的连续函数全体赋以上述距离是一个距离空间，记它. 例3.1.2 空间. 设是一个Lebesgue可测集，,考虑上几乎处处有穷的可测函数全体，其中凡几乎处处相等的函数看成是同一元.定义 . 这是一