2有界线性算子空间和共轭空间.pptVIP

§2.有界线性算子空间和共轭空间 * * 教学目标：1：了解有界线性算子空间的概念 2：了解共轭空间的概念 教学重点：会求已知空间的共轭空间 教学难点：求已知空间的共轭空间 一：有界线性算子全体所成空间 设X和Y是两个赋泛线性空间， 以表示由X到Y中有界线性算子全体。当A和B属于 ， 是所讨论数域中的数，定义 中加法运算及数乘运算如下 下面证明按上述线性运算及算子范数成为赋范空间 因为A及B是有界线性算子，所以 由此可知 并有 成立 显然有 证明：设 为 中的柯西点列，则由柯西点列定义 由此由此 由此得到 最 最后 ︳ ︳ ︳ ︳定理1：当Y是 空间， 于 当 时成立 所以当 固定时，点列 由 Y中的柯西点列，由 Y的完备性 知道T是X到Y 中的线性算子。在（2）令 由范数的连续性的，当 时，对X中所有 成立 由（3）知 故故 是Banach空间，证毕 设 令 显然AB是线性算子，称为A与B的乘积。且有 二：共轭空间 1：共轭空间的定义 一般，设X是赋范线性空间，如果X中定义了两个向量的乘积，并且满足 则称X是赋范代数，当X完备时，则称X的共轭空间 定理2：任何赋范线性空间的共轭空间是Banach空间 2：保距算子，同构映射的定义 设X和Y是两个赋范线性空间，T是X到Y中的线性映射，并且对所有 有 ，则称T是X到Y中的的保距算子，如果T又是映射到Y上的 则称T是同构映射，此时X与Y同构。 3：例题讲解 例1： 的共轭间为 即 证明： 显然 并且对每个 ，有 有因为 所以对一切自然数 有 由此可得 即 反之，对每个 做 上泛函 显然 是 上线性泛函 显然T是线性映射，且有前面证明知T是到上的，由（5）式， 又由（4 有 ），对每个 于是 即T是 到 上的同构映射。 作 作业： 1 ： 按范数 ， 成赋范线性空间，问 的共轭空间是什么？ 2：设 表示极限为0的实数列全体。按通常的加法和数乘，以及