线性算子与线性泛函.docVIP

第二章 线性算子与线性泛函 第一节 有界线性算子 一、线性算子 本段中只需假设等是上的向量空间。 定义： 若一个映射满足 ， 则称为从到的线性算子。 容易看出，上述等式可推广到更一般的情形：。 命题2.1.1 设是一线性算子，则以下结论成立： （1）任给子空间与子空间，与分别为与的子空间。特别，与（值域）是的子空间；是的子空间（称为的核或零空间）。 （2）若向量组线性相关，则亦线性相关；若是的子空间且，则。 （3）是单射。 说明：若，则称为零算子，就记为0；若为常数，则称为纯量算子（或相似变换，若），记作，当与1时，分别是零算子和单位算子。 对线性算子可定义两种自然的运算：线性运算与乘法。若是线性算子，，则是一个线性算子，它定义为 若是另一个算子，则由 定义出一个线性算子，称它为与的乘积。实际上，线性算子的乘积就是它们的复合。容易原子能正验证，如上定义的运算有以下性质： 只要以上等式的一端有意义。若线性算子为双射，则称它为线性同构，此时其逆映射亦为线性算子。是线性同构的充要条件是，存在线性算子，使得 二、有界线性算子 定义2.1.2 设是一个线性算子。令 若，则称为从到的有界线性算子，且称为的算子范数，简称为范数。若，则称为无界算子。 约定以记从到的有界线性算子之全体，简写为。 注1：的有界的等价刻画： （1），有或 （2）映中的有界集为中的有界集。 注2：若，则对任给的