有界线性算子和连续线性泛函.pptVIP

第八章 有界线性算子和连续线性泛函 §1 有界线性算子和连续线性泛函 §2 有界线性算子空间和共轭空间 §3 广义函数大意 §1有界线性算子与连续线性泛涵 线性算子与线性泛涵的定义 线性算子与线性泛涵的定义 * * 有界线性算子与连续线性泛函 有界线性算子和连续线性泛涵的例子 教学目标：1 初步掌握线性算子和线性泛函的定义及苏相关的例子 2 掌握有界线性 算子和连续线性泛函的定义和两个充要条件 3 初步掌握有界线性算子的性质及应用 教学重点： 有界线性算子和连续线性泛函的定义和两个充要条件 教学难点： 有界线性算子和连续线性泛函的两个充要条件的证明过程 课型： 新课型 教学方法：讲解法 定义1 设 和 是两个同为实（或复）的线性空间， 是 的线性子空间， 为 到 中的映射，如果对任何 ，及数 ，成立 （1） （2） 则称 为 到 中的线性算子，其中 称为 的定义域， 记为 ， 称为 的值域，记为 ，当 取值于实（或复）域时，就称 为实（或复）的线性泛函。 如果 为线性算子， 在（2）中取 ，立即可得 ， 即 ，其中 表示算子 的零空间 下面举一些线性算子和线性泛函的例子 例1 设 是线性空间， 是一给定的数，对任何 令 显然 是 到 中的线性算子，称为相似算子， 特别当 时，称为恒等算子， 记为 或 ，当 时，称为零算子，记为 。 例2 设 为 区间上的多项式全体，对每个 定义 由求导运算的线性性质，立即可知 是 到 中的 线性算子， 称为微分算子， 如果任取 ，对任 何 定义 则 是 上线性泛函。 例3 对每个 ，定义 由积分的线性性质，可知 是 到 中的线性算子，若令 则 是 上的线性泛函。 例4 对任何 ，令 易知 是线性算子，称为乘法算子， 它在物理及算子普理论中是非常有用的一种算子。 例5 设 是 维线性空间，在 中取一组基 ，则 对任何的 ， 可以唯一的表示成 ，对每一 个 方阵 。作 到 中算子 如下： 当 时， 令 其中 显然这样定义的 是线性算子， 这个算子在 线性 代数中称为线性变换，算子 显然由方阵 唯一确定，有时 就记为 。 反过来， 设 是 到 中线性算子，令 则当 时，由 的线性性可得 ，这里 ，即 是对应于 方阵 的算子。 由此可知，在有限维空间上， 当基选定以后，线性算子与矩阵是相对应的。 设 是一组数，当 时，定义 易知 为 上的线性泛函。反之，如果 为 上的线性 泛函，记 则当 时，由 的线性， 由此可见 ， 维线性空间上线性泛函与数组 相对应。 有界线性算子与连续线性泛函 定义2 设 和 是两个赋范线性空间。 是 的线性子 空间 到 中的 线性算子，如果存在常数 ，使对所 有 ，有 （3） 则称 是 到 中的有界线性算子，当 时，称 为 到 中的 有界线性 算子，简称为有界算子，对于不 满足条件（3）的算子，称为无界算子。本书主要 讨论有界算子。 定理1 设 是赋范空间 到赋范空间 中的线性算子， 则 为有界算子的充要条件为 是 上连续算子。 证明 若 有界，由 （3）式，当 时，因为 所以 ，即 ，因此 连续。 反之若 在 上连续，但 无界，这时在 中必有一列 向量 使 但 令 则 ，所以 ， 由 的连续性，得到 ，但由于 是线性算 子，又可以 得到 对一切正整数 ，成立 这与 矛盾，所以 是有界算子，证毕。 对于线性泛涵，我们还有下面的定理 定理2 设 是赋范线性空间， 是 上线性泛涵，那 么 是 上连续泛涵 的 充要条件为 的零空间 是 中的闭子空间。 证明 设 是连续线性泛涵，当 并且 时，由 的连续性，有 ，因此 ，所以 是闭集。 反之 若 是闭集，而 无界，则在 中存在一 列向量 ， 使得对每个 ，成立 令 ，则 ，且 ，作 那么 ，因此 ，然而由于 所以 但是 即 ，这与 是闭集的 条件矛盾，因此 是线性有界泛涵。证毕。 我们最感兴趣的是使（3）式对一切 成立的“最 小”的数 ，为此引入 下面的基本概念。 定义3 为赋范线性空间 的子空间 到赋范线性 空间 中的线性算子，称 （4） 为算子 在 上的范数