- 1、本文档共20页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第3章 有界线性算子
音乐能激发或抚慰情怀,绘画使人赏心悦目,
诗歌能动人心弦,哲学使人获得智慧,科学可
改善物质生活,但数学能给予以上的一切.
(克萊恩)
(1849-1925,德国数学家)
在1922年建立了完备赋范线性空间的公理,证明了一些基本定理后,就讨论了定义在一个完备赋范线性空间上而取值为另一个完备赋范线性空间的算子,在这类算子中最重要的是连续加法算子,所谓加法算子是指对所有,,都有.容易证明,是连续加法算子时,必有成立.证明了若是连续的加法算子,则存在常数,使得.另外他还证明了若是连续加法算子序列,也是加法算子,且对任意,都有,则T也是连续的.
在1922年证明了,若是一个完备赋范空间,为上的一列线性连续泛函,且对任意,都有上界,则一定是有界的.
和在1927年证明了,若为完备赋范空间到赋范空间的线性连续算子,且对任意,都有界,则一定有界,这就是空间理论中最重要的定理之一,即一致有界原理.
在1929年至1930年还引进并讨论了算子的几种收敛性.
在1932年,出版了线性算子理论()一书,书中包括了当时有关赋范线性空间的绝大部分结果,而非常著名闭图像定理就是该书中一个定理的推论.
3.1 有界线性算子
算子就是从一个空间到另一个空间映射,算子可分为线性算子与非线性算子.
定义3.1.1 设和都是赋范空间,是从到的算子,且满足
(1) , ;
(2) , .
则称为到的线性算子.
明显地,若是数域,则到的线性算子就是线性泛函.
例 3.1.1 定义从到算子
则对任意,有,使得.故.因此 ,即是到的算子,并且
所以是到的线性算子.
例 3.1.2 设是从到的算子,且对任意,定义,这里时,, 时,,则是从到的线性算子.
类似于线性连续泛函,对于线性连续算子,容易看出下面定理成立.
定理 3.1.1 设是赋范空间到的线性算子,则在上连续当且仅当在某个处连续.
线性算子的连续与有界性有着密切的联系.
定义 3.1.2 设是赋范空间到的线性算子,若存在数,使得
,成立.
则称是有界线性算子,否则称为无界的.
类似于线性有界泛函,有下面的定理.
定理3.1.2 设是赋范空间到的线性算子,则是有界的当且仅当是连续的.
由上面定理可知,当是到的线性连续算子时,必有,使得
由此对,有.
定义3.1.3 若是到的线性连续算子,则称
为的范数.
容易看出,.
例3.1.3 设是赋范空间,是到的恒等算子,则是连续的,且.
有限维赋范空间上的线性算子的连续性显得特别简单明了.
定理3.1.3 若是有限维赋范空间,是任意赋范空间,则到的任意线性算子都是连续的.
证明 设是n维赋范空间,是的基,则对任意,有.
由于是线性的,故
对任意,定义,则是上的范数,因此与等价,
即存在,使得
令,则
所以,是到的连续线性算子.
若用记所有从赋范空间到赋范空间的线性连续算子,则在线性运算下是一个线性空间,在空间中,由算子范数的定义有和,以及时成立.因此在算子范数下是一个赋范空间,并且当是空间时,也是空间.
定理 3.1.4 设是赋范空间,是空间,则是空间.
证明 设为的列,因此对任意,存在,使得时
对任意,有
因此为中的列,由的完备性质可知,存在,使得
定义到的算子, ,易知是线性的.
由于,因此为中的列,从而存在,使得故,从而是到的线性连续算子.
由上面证明可知对任意,存在,使得时,有
.
令,则
因此
对任意成立,从而,所以,是完备的.
由于数域完备,因此容易看到下面结论成立.
推论3.1.1 对于任意赋范空间,一定完备.
后面都将记为,称之为的共轭空间,因此所有赋范空间的共轭空间都是完备的.
3.2 一致有界原理
设和是空间.是中的一族有界线性算子,一致有界原理指的是若对于任意是有界集,则一定是有界集, 即.其实,这一定理的一些特殊情形,许多数学家早就注意到了,如和等,在1922年总结了他们的结果,证明了对空间上的一列线性泛函,若任意有界,则一定有界.独立地,证明了比更一般的情形,即设是空间到空间的一列算子,若对任意有界,则一定有界,最后在1927年与利用在1899年证明的一个引理,证明了一致有界原理.
引理 3.2.1 (Baire引理) 设是空间中的一列闭集,若,则存在某个使得.
下面举两个例子.
例 3.2.1 在中,, 则有内点,故必有某个.
例 3.2.2 在中,,则对任意,,且
, 所以.
在1912年,建立了上的一致有界性原理,空间上的一致有界性原理是[
您可能关注的文档
- 任务11路基横断面构造.ppt
- 亿通培训第3讲.ppt
- 企业的环境保护法律责任-从新环保法及其四个配套办法谈起.ppt
- 任务驱动型材料作文写作.ppt
- 第三章方差分析同济大学经济与管理学院.ppt
- 第三章施工过程组织原理第3节(免费阅读).ppt
- 住院部医疗风险防范.ppt
- 第三章旅游者(旅游学概论课件全集之四).ppt
- 第三章旅游者zj.ppt
- 优质课世界是普遍联系的.ppt
- 2024年05月山东交通职业学院招考聘用博士研究生50人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月安徽芜湖市弋江区老年学校(大学)工作人员特设岗位公开招聘2人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东东营河口区教育类事业单位招考聘用22人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东交通职业学院招考聘用100人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东威海职业学院招考聘用高层次人才2人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月安徽石台县事业单位工作人员33人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东滨州市博兴县事业单位公开招聘考察笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月安徽蚌埠固镇县湖沟镇选聘村级后备干部7人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东省安丘市教育和体育局所属事业单位学校公开2024年招考232名工作人员笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东临沂临港经济开发区工作人员(5人)笔试历年典型题及考点剖析附带答案含详解.docx
文档评论(0)