泛函中三大定理的认识.pdf

泛函中三大定理及其应用 泛函分析科学体系的建立得益于20 世纪初关于巴拿赫空间的三大基本定理， 即Hahn-Banach 定理，共鸣定理和开映射、逆算子及闭图像定理。其中：一致有 界定理，该定理描述一族有界算子的性质；谱定理包括一系列结果，其中最常用 的结果给出了希尔伯特空间上正规算子的一个积分表达，该结果在量子力学数学 描述中起核心作用；罕-巴拿赫定理（Hahn-Banach Theorem）研究了如何保范地 将某算子从某子空间延拓到整个空间。另一个相关结果则是描述对偶空间非平凡 性的；开映射定理和闭图像定理。 1、Hahn-Banach 延拓定理 定理：设G 为线性赋范空间X 的线性子空间，f 是G 上的任一线性有界泛函，则存在X 上的线性有界泛函F ，满足： (1) 当x G 时，F (x)  f (x) ； (2) F X  f G ； 其中 F X 表示F 作为X 上的线性泛函时的范数； f G 表示 G 上的线性泛函的范数． 延拓定理被应用于 Riesz 定理、Liouville 定理的证明及二次共轭空间等的研究中． 2、逆算子定理 在微积分课程中介绍过反函数的概念，并且知道“单调函数必存在反函数”， 将此概念和结论推广到更一般的空间． 定义 1逆算子(广义上)：设X 和Y 是同一数域K 上的线性赋范空间，G  X ， 算子T ：G  Y ，T 的定义域为D (T )  G ；值域为R (T ) ．用T  1 表示从R (T )  D (T ) 的逆映射(蕴含T 是单射)，则称T  1 为T 的逆算子(invertiable operator)． 定义 2 正则算子：设X 和Y 是同一数域K 上的线性赋范空间，若算子T ： G( X )  Y 满足 (1)T 是可逆算子； (2) T 是满射，即R (T )  Y ； (3) T  1 是线性有界算子， 则称T 为正则算子(normal operator)． 注： ①若T 是线性算子，T  1 是线性算子吗？②若T 是线性有界算子，T  1 是 线性有界算子吗？ 性质 1 若T ：G( X )  Y 是线性算子，则T  1 是线性算子． 证明 ：y , y Y ， , K ，由T 线性性知： 1 2 T (T  1 ( y 1   y 2 )   T  1y 1   T  1y 2 )  TT  1 ( y 1   y 2 )   TT  1y 1   TT  1y 2  ( y 1   y 2 )   y 1   y 2  0 由于T 可逆，即T 不是零算子，于是T  1 ( y 1   y 2 )   T  1y 1   T  1y 2 ，故T  1 是线性算 子．□ 定理 2 逆算子定理：设T 是 Banach 空间X 到 Banach 空间Y 上的双射 (既单 又满)、线性有界算子，则T  1 是线性有界算子． 例 1 设线性赋范空间X 上有两个范数  1 和  2 ，如果(X ,  1) 和(X ,  2 ) 均是 Banach 空间，而且  比  强，那么范数  和  等价．(等价范数定理) 2 1 1 2 证明：设I 是从由(X ,  2 ) 到(X ,  1) 上的恒等映射，由于范数  2 比  1 强，所以 存在M  0 ，使得x X 有 Ix  x  M x 1 1 2 于是I 是线性有界算子，加之I 既