有界线性算子与线性算子的基本定理g9.ppt

机动 目录 上页 下页 返回 结束 第*页 第四章 有界线性算子 有界线性算子与线性算子空间 有界线性泛函与共轭空间 微积分主要研究对象—函数 R到R的映射—一元函数 Rn到R的映射—n元函数 泛函分析主要研究对象 线性算子— 线性空间到线性空间的映射 非线性算子— 一般空间到一般空间的映射 算子 泛函 线性泛函— 线性空间到R的映射 非线性泛函— 一般空间到R的映射 线性算子空间—有界线性算子集合+算子线性运算+算子范数=线性赋范空间共轭空间—有界线性泛函集合+泛函线性运算+泛函范数=巴拿赫空间 一、有界线性算子的定义与性质 1 有界线性算子的定义 定义1 设X是线性赋范空间,D?X是线性子空间,映射T: D?Y. (1)T是线性算子??x1, x2?D及数??K,有 T(x1+x2)=Tx1+Tx2 T(?x)=?Tx (2)T是连续算子??xn, x?D,n=1,2,…, xn?x, 有Txn?Tx ??x,x0?D, x?x0, 有Tx?Tx0;?T在D上处处连续 (3)T是有界算子??x?D, ?M0, 使||Tx||?M||x||X (4)T是有界线性算子?T既是有界算子,又是线性算子 (5)T是连续线性算子?T 既是连续算子,又是线性算子 注:1)定义中,D -算子T的定义域; M -算子T的界值;T(D)={Tx|x?D}- 算子T的值域 2）有界算子与有界函数不同,例如 f (x)=x 无界函数 有界算子:|f(x)|=|x|2|x| 2 有界线性算子的性质 定理1 设X,Y是线性赋范空间,D?X是线性子空间,T: D?Y是线性算子,则 (1) T为有界算子??A?D为有界集时,T(A)={Tx|x?A}?Y也是有界集 ? ?A?D为有界集时,?x?A, ?K0, 使得 ||Tx||?K. (2) T为连续算子?T在?x0?D处连续? T在D上处处连续 证 (1) “?” 设T: D?Y是线性、有界算子，A?D为有界集 ?M0,使得||Tx||?M||x||; 且?K0, 使得||x||?K ??x?A?D, Tx?T(A)?Y ?||Tx||?M||x||?MK； ?T(A)?Y是有界集 “?” 设T: D?Y是线性算子,且对?A?D为有界集,有 T(A)={Tx|x?A}?Y也是有界集 ?对单位球面S={x| ||x||=1,x?D}?D(是有界集),有T(S)={Tx|x?S}为有界集 ??x?S, 有Tx?TS, 且?M0, 使||Tx||?M (3) T为连续算子?T为有界算子. ??x?D, x??,有 ??x?D, x??, 有 当x=??D时,有||Tx||=M||x||=? 因此?x?D, 有||Tx||?M||x||，即T为有界线性算子. (2) “?” 设T: D?Y是线性、连续算子 ??xn, x?D, xn?x, 有Txn?Tx ?T在D上处处连续(定义） “?” ?xn, x?D, xn?x, T是线性算子，且T在x0?D处连续 ?(xn-x)+x0?D, 且(xn-x)+x0?x0 ?T[(xn-x)+x0]?Tx0 （T在x0处连续定义） ?Txn=Txn-Tx+Tx0=T[(xn-x)+x0]?Tx0 (线性算子定义） ?T是线性、连续算子 “?” 若T: D?Y是线性、有界算子, ??x?D, ?M0, 使得 ||Tx||?M||x||（有界算子定义） ??xn,x?D?X, ?M0, 使得||Txn-Tx||=||T(xn-x)||?M||xn-x|| （线性、有界算子定义） ?xn,x?D?X, xn?x?||xn-x||?0 (n??) (按范数收敛) ?||Txn-Tx||?0 ?Txn?Tx (n??) ?T 是线性、连续算子. (3)“?” 设T: D?Y是线性、连续算子.如果T是线性、无界算子 ?对?n, ?xn?D, xn??, 使得||Txn||?n||xn||,n=1,2,… 对于 由于T是线性、连续算子 矛盾。故T是 线性有界算子 ? 推论：T为连续线性算子?T为有界线性算子. 3 有界线性算子的范数 定义2 设X,Y是线性赋范空间，D?X是线性子空间, T: D?Y是有界线性算子,则称||T||=inf { M | ||Tx||Y ? M||x||X, ?x?D} 为算子T的范数 定理2 设X,Y是线性赋范空间,D?X是线性子空间,T: D?Y是 有界线性算子，则T的范数具有下列性质： (1)||Tx||?||T|| ||x||,?x?D(即||T||是有界线性算子