第二章 线性算子与线性泛函1.docVIP

第二章 线性算子与线性泛函 §1 线性算子的概念 定义1.1 设是两个线性空间, 是的一个线性子空间, 是一种映射, 称为的定义域, 有时记为 而称为的值域. 如果 那末称是一个线性算子. 注1 零子空间(也叫核子空间)总是线性子空间. 注2 事实上 取即可. 例1.1 设, 若 则是一个线性算子. 证明 注意到是一个维向量 从而 有 例1.2 设 又设微分多项式 如果 那末便是一个到的线性算子. 证明 有 . 注1 称为线性偏微分算子. 注2 若 则上面定义的算子也是线性的. 例1.3 设 若规定 那末是一个线性算子. 证明 有 定义1.2 取值于实数(复数)的线性算子称为实(复)线性泛函, 记作或(即线性函数), 记为 例1.4 设 若规定 则是一个线性函数, 但却不是线性泛函. 证明 只证不是线性泛函. 事实上 例1.5 设 若对某个指标及 规定 则是上的一个线性泛函. 定义1.3 设是空间, 线性算子 称在连续, 如果 若在的每一点都连续, 则称在内连续. 定理1.1 线性算子在内处处连续在内某一点处连续. 证明 必要性显然, 下证充分性. 取 从而于是 即 推论1.1 线性算子在内处处连续在处连续. 定义1.4 设都是空间, 线性算子称为有界的, 如果 使得 例1.6 设(显然为的子空间), 按范数成为空间. 定义上的算子为 则线性、无界. 证明 取 则 但是 定理1.2 设都是空间, 则线性算子连续有界. 证明 必要性 反证. 若连续且无界, 则 使 令 则 从而 但是 与连续矛盾. 充分性 设有界, 则 所以当时, 或这样证: 有界, 则连续. 定理1.3 设是上的线性泛函, 则 (1) 在上连续是闭子空间; (2) 非零线性泛函在上不连续是的稠密子空间. 证明 (1) 必要性 设在上连续, 则 充分性 设的零空间是闭子空间, 若不连续, 则 但 令, 则 但 这与是闭子空间相矛盾. (2) 必要性 设在上不连续, 则在不连续, 从而 但. 令, 则, 从而是的稠密子空间. 充分性 设是的稠密子空间, 则 若设在上连续, 则是闭子空间, 从而 即为零线性泛函, 与题设矛盾. 注 (2)的另一种叙述为：非零线性泛函在上不连续. 证明 充分性 设 若在上连续, 则闭, 即, 从而,于是为零线性泛函, 与题设矛盾. 必要性 设为上不连续的非零线性泛函, 则无界, 于是 使 任取 令 则 且 所以 定义1.5 用表示一切由到的有界线性算子全体, 并规定 为的范数, 称为算子范数. 特别地, 记 即表示上有界线性泛函全体, 称为的共轭空间. 注1 若有界, 则由得到算子范数不等式: 注2 若有界, 即 则 注3 的充要条件是为线性算子并将中的有界集映为中的有界集. 事实上, 必要性显然. 下证充分性. 设为中的有界集, 则 使得 于是对 有 即 注意到此式对也成立, 故 注4 有界 实际上, 必要性由注2直接得到, 而充分性由下式得到. . 注5 设 则 此因: 当时, 有 性质1.1 证明 令 则 另外, 若 则 注1 事实上, 一方面, 另一方面, 注意到 有 由此, 再令 就有 注2 设 则 实际上, 这里 定义1.6 设是空间, 则的泛函范数定义为 从而有 性质1.2 设是空间, 则 (1) (2) 证明 (1) 现先证 事实上, 一方面, 另一方面, 记 注意到 从而 由此, 后证 实际上, 一方面, 对 由前证, 而当时, 故有 另一方面, 对 注意到 则 由此 再令 则 (2) 只证 此因: 性质1.3 设是空间, 对 则 (1) (2) 证明 (1) 由性质1.1的注2可得 即得结论. (2) 由于 再由性质1.1的注2有 所以 即得结论. 例1.7 设是实空间, 求证: 不存在开球 使得是在 中的极大值或极小值. 证明 反证法. 若存在开球 使得是在中的极大值, 则由性质1.3的(1), 有 这与相矛盾. 另外, 若存在开球 使得是在中的极小值, 则依性质1.3的(2), 有 这也与相矛盾. 例1.8 设 定义积分算子 则 (1) 将看成的算子时, (2) 将看成的算子时, 证明 (1) 则 另一方面, 取 则 从而 于是 (2) 与(1)的区别在于将换成空间中的范数 即 然后 为证相反的不等式, 若仍取 虽然 但 从而只能得出 现对任何满足的 令 则 而且 所以 故 例1.9 分别在与上定义线性泛函 求 解 (1) 在上分两种情况： (i) 当时, 由H?