资源描述：
《第三章 有界线性算子-黎永锦》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第3章有界线性算子 音乐能激发或抚慰情怀,绘画使人赏心悦目,诗歌能动人心弦,哲学使人获得智慧,科学可改善物质生活,但数学能给予以上的一切.(克萊恩)(1849-1925,德国数学家)在1922年建立了完备赋范线性空间的公理,证明了一些基本定理后,就讨论了定义在一个完备赋范线性空间上而取值为另一个完备赋范线性空间的算子,在这类算子中最重要的是连续加法算子,所谓加法算子是指对所有,,都有.容易证明,是连续加法算子时,必有成立.证明了若是连续的加法算子,则存在常数,使得.另外他还证明了若是连续加法算
2、子序列,也是加法算子,且对任意,都有,则T也是连续的.在1922年证明了,若是一个完备赋范空间,为上的一列线性连续泛函,且对任意,都有上界,则一定是有界的. 和在1927年证明了,若为完备赋范空间到赋范空间的线性连续算子,且对任意,都有界,则一定有界,这就是空间理论中最重要的定理之一,即一致有界原理.在1929年至1930年还引进并讨论了算子的几种收敛性.在1932年,出版了线性算子理论（）90一书,书中包括了当时有关赋范线性空间的绝大部分结果,而非常著名闭图像定理就是该书中一个定理的推论.
3、3.1有界线性算子算子就是从一个空间到另一个空间映射,算子可分为线性算子与非线性算子.定义3.1.1设和都是赋范空间,是从到的算子,且满足（1）,；（2）,.则称为到的线性算子.明显地,若是数域,则到的线性算子就是线性泛函.例3.1.1定义从到算子则对任意,有,使得.故.因此,即是到的算子,并且所以是到的线性算子.例3.1.2设是从到的算子,且对任意,定义,这里时,,时,,则是从到的线性算子.类似于线性连续泛函,对于线性连续算子,容易看出下面定理成立. 定理3.1.1设是赋范空间到的线性算子,
4、则在上连续当且仅当在某个处连续.90线性算子的连续与有界性有着密切的联系. 定义3.1.2设是赋范空间到的线性算子,若存在数,使得,成立.则称是有界线性算子,否则称为无界的.类似于线性有界泛函,有下面的定理. 定理3.1.2设是赋范空间到的线性算子,则是有界的当且仅当是连续的.由上面定理可知,当是到的线性连续算子时,必有,使得由此对,有.定义3.1.3若是到的线性连续算子,则称为的范数.容易看出,.例3.1.3设是赋范空间,是到的恒等算子,则是连续的,且.有限维赋范空间上的线性算子的连续性显
5、得特别简单明了.定理3.1.3若是有限维赋范空间,是任意赋范空间,则到的任意线性算子都是连续的.证明设是n维赋范空间,是的基,则对任意,有.由于是线性的,故90对任意,定义,则是上的范数,因此与等价,即存在,使得令,则所以,是到的连续线性算子.若用记所有从赋范空间到赋范空间的线性连续算子,则在线性运算下是一个线性空间,在空间中,由算子范数的定义有和,以及时成立.因此在算子范数下是一个赋范空间,并且当是空间时,也是空间.定理3.1.4设是赋范空间,是空间,则是空间.证明设为的列,因此对任意,存在,
6、使得时对任意,有因此为中的列,由的完备性质可知,存在,使得定义到的算子,,易知是线性的.由于,因此为中的列,从而存在,使得故,从而是到90的线性连续算子. 由上面证明可知对任意,存在,使得时,有.令,则因此对任意成立，从而,所以,是完备的. 由于数域完备,因此容易看到下面结论成立.推论3.1.1对于任意赋范空间,一定完备.后面都将记为,称之为的共轭空间,因此所有赋范空间的共轭空间都是完备的.3.2一致有界原理设和是空间.是中的一族有界线性算子,一致有界原理指的是若对于任意是有界集,则一定是有
7、界集,即.其实,这一定理的一些特殊情形,许多数学家早就注意到了,如和等,在1922年总结了他们的结果,证明了对空间上的一列线性泛函,若任意有界,则一定有界.独立地,证明了比更一般的情形,即设是空间到空间的一列算子,若对任意有界,则一定有界,最后在1927年与利用在1899年证明的一个引理,证明了一致有界原理.90引理3.2.1(Baire引理)设是空间中的一列闭集,若,则存在某个使得. 下面举两个例子.例3.2.1在中,,则有内点,故必有某个.例3.2.2在中,,则对任意,,且,所以. 在1
8、912年,建立了上的一致有界性原理,空间上的一致有界性原理是[1922],[1922]和给出的,1927年以和他两个人的名义在《数学基础》第9卷上发表了该定理.它断言,在Banach空间上,如果有一列算子,能对每个,数列都有上界,那么必存在常数,使得有界.这个由各点的局部有界性推广到在一个单位球上整体地一致有界性的深刻定理就叫定理.定理3.2.1(一致有界原理)设是空间,是赋范线性空间,是中的一族有界线性算子,若对任意,有则证明对任意,令,则是闭集,且,由于,因此由引理可知存在某个,使得,故存在
