全连续线性算子（3课时）.docVIP

§4.3全连续线性算子（3课时） 教学内容与要求：理解和掌握全连续线性算子的定义和基本性质. 教学重点和难点：1、理解全连续线性算子的定义; 2、理解和掌握全连续线性算子的基本性质. 教学内容： Def 4.3.1: 设为赋范线性空间, 是线性算子, 若将中任一有界集映为中列紧集, 则称为全连续线性算子. 例4.3.1 设,定义算子 , . 为全连续线性算子. 证明: 设是有界的, 即有. 又因为, 所以有. 因此 即为有界集. 另一方面, 由于是二元连续函数 , 所以 时, 有 . 因此对, 有 . 即 为中的等度连续集. 所以 为中的列紧集. 即 为全连续线性算子. 注1. 全连续线性算子的基本性质: 全连续线性算子必是连续的. 为全连续线性算子将中的闭球映为中的列紧集. Th4.3.2 设是全连续线性算子, 则是全连续线性算子. 证明: (1) 为证明是全连续线性算子,只需证中任意有界集, 是中的列紧集. 在中任取一点列 由的全连续性知, 列紧, 从而有收敛子列. 又由的全连续性知, 列紧, 从而有收敛子列, 显然由为收敛点列知亦为收敛点列. 所以是的收敛点列. 因此列紧 即是全连续线性算子. 同理可证也是全连续线性算子. Th4.3.3 设是赋范线性空间, 为Banach空间, 若,,是全连续线性算子, 且. 则为全连续性算子. 证明: 只需证中任一点列在之下的像为中的列紧集.可用对角线法在中取一收敛点列. 全连续收敛; 全连续收敛; …….. 全连续收敛; …….. 选取序列, , 都有收敛. 所以 0, ,. 设. 因为, 所以 0, ,. 因此 + . 又因为为完备的 , 所以为收敛列. 注2:上述定理说明, 当为Banach空间时,全连续线性算子全体构成有界线性算子空间B(X,Y)的完备子空间. Th4.3.4 设都是赋范线性空间， ,，若，中有一个是全连续线性算子，则 全连续线性算子. Th4.3.5设都是赋范线性空间，全连续线性算子， 为可分的. 证明: ，令. 则由为中的有界集及的全连续性知,为中的列紧集，因为列紧集必为可分集，所以为可分的，从而为可分的. （补充：习题与作业） 例1：设都是赋范线性空间，，若为有限的为全连续线性算子. 证明: 由于为有限的，不妨设 . 设A为中的任一有界集 , . 则无穷点列为中的点列. 由于为有限的，所以 至少有一个取值不妨设为无穷次重复，把这个值对应的原像点记为，即，显然收敛. 即全连续线性算子 例2 （P149， 5） 证明过程可仿照Th4.2.3. §4.4 Hahn-Banach延拓定理 教学目的与要求: 1. 理解和掌握Hahn-Banach延拓定理的定理和推论 2. 灵活运用 Hahn-Banach延拓定理 教学重点和难点:1. 理解和掌握 Hahn-Banach延拓定理的定理和推论 2.灵活运用 Hahn-Banach延拓定理 教学内容: 前面讨论了某些共轭空间中每个元素的表示形式.一般来说, 从理论上讲我们还不知道当时, 中是否确有非零元?然而,已知任意赋范线性空间都有有限维子空间, 这样的子空间都有非零有界线性泛函. 本节将指出, 的子空间上的有界线性泛函可以延拓到全空间上, 且保持范数不变, 从而指出:对任意的赋范线性空间,中有足够多的元素. Th4.4.1 （Hahn-Banach延拓定理）设是赋范线性空间, 是的线性子空间, 则D上的任一有界线性泛函可以延拓到整个空间上, 并且保持范数不变, 即上的有界线性泛函F, (1) (2) . 证明: 仅就为可分空间的情形证明.不可分的情形也成立,可参考有关文献. 设,, 先将延拓到包含与D的最小子空间上. 易证: 中任一元素的表示法唯一. (注意到中任一元素,这里的,都是由唯一确定的) 事实上, 若又有 其中. 则，但是且，所以 . 即 . 因此 . 对 , . 所以. 令 , 所以,, 对 , 定义如下: . 现证明为上的有界线性泛函, 且 .的线性是显然的. 又因为 所以 (4.4.1) 另一方面, 设, 有 即 . 同理, 所以 而当0时, 同样可推得.=0时, 上式显然成立.因此 对于, 均有 所以 . 结合(4.4.1)式可知, . 至此, 完成了从到的保范延拓. 若可分, 则有稠密子集,依次将泛函延拓到, ,…上, 使得范数保持不变(当, 规定上的泛函与上的泛函一致), 将延拓成为上的线性子集上的有界线性泛函,且. 任取, 因在中稠密, 所以 , 使得 . 定义泛函如下: . 可以证明:这样