- 15
- 0
- 约1.26万字
- 约 18页
- 2023-08-07 发布于辽宁
- 举报
第二章线性算子与线性泛函
第一节有界线性算子
一、线性算子
本段中只需假设X, Y, Z等是K上的向量空间。
定义:若一个映射T: X T Y满足
T(以x + P y) =^Tx + PTy (以,P e K,x, y e X),
则称T为从X到Y的线性算子。
容易看出,上述等式可推广到更一般的情形: T ( x )疝 Tx。
i i i i
i i
命题2.1.1设T : X T Y是一线性算子,则以下结论成立:
任给子空间A u X与子空间B u Y,TA与T-1B分别为Y与X的子空间。特别, T(0) = 0与R(T) = TX (值域)是Y的子空间;N(TT-1(0)是X的子空间(称为T的 核或零空间)。
若向量组} u X线性相关,则{气}亦线性相关;若A是X的子空间且 dim A 3,则 dim TA dim A。
T 是单射o N(T) = {0}。
说明:若Tx = 0 e Y(x e X),则称T为零算子,就记为0;若4三ax x eX ),以e K 为常数,则称T为纯量算子(或相似变换,若a n 0),记作a I,当a= 0与1时,a I分
别是零算子和单位算子。
对线性算子可定义两种自然的运算:线性运算与乘法。若T, S: X t Y是线性算子,
a, P e K,则以T + p S : X t Y是一个线性算子,它定义为
(aT + P S)x = aTx + P Sx (x e X). (2.1.2)
若R: Y T Z是另一个算子,则由
(RT)x = R(Tx) (x e X). (2.1.3)
定义出一个线性算子RT: X T Z,称它为R与T的乘积。实际上,线性算子的乘积就是
它们的复合。容易原子能正验证,如上定义的运算有以下性质:
R(T + S) = RT + RS, 八尸?
,(分配律)
(R + R )T = RT + RT;
Q( RT) = (QR )T; (结合律)
以(RT)=(以R)T = R(aT),(以 e K)
只要以上等式的一端有意义。若线性算子T: X T Y为双射,则称它为线性同构,此时其逆 映射T-1: Y T X亦为线性算子。T是线性同构的充要条件是,存在线性算子S: Y T X, 使得
ST = \, TS = \ (2.1.4)
二、有界线性算子
定义2.1.2设T : X T Y是一个线性算子。令
ITII = sup| |润|/| M (2.1.5)
x力0
若||T||3,则称T为从X到Y的有界线性算子,且称||T||为T的算子范数,简称为范数。 若||T|| = 3,则称T为无界算子。
约定以L(X,Y)记从X到Y的有界线性算子之全体,L(X,X)简写为L(X)。
注1: T : X T Y的有界的等价刻画:
弘 0, Vx e X,有11^|| k倒;或
T映X中的有界集为Y中的有界集。
注2:若T e L(X, Y),则对任给的x e X有
网| ||T||||x|| (2.1.6)
注3:范数定义的几种等价形式
||T|| = sup ||Tx|| (2.1.7)
lx L1
||T|| = sup||Tx|| (2.1.8)
IX L1
||T|| = inf{k 0: ||Tx||k||x||(Vxe X). (2.1.9)
例2?1?3设J = [a,b](a b),给定中e C(J)。定义
Tu(x) =9 (x)u(x) (x e J,u e C(J)),
T是从C(J)到自身的线性算子。求||T||。
命题2.1.4设T: X T Y是一个线性算子,则T有界o T连续。
推论:(1)T是拓扑同构o T与T-1皆连续(即T为同胚);
(2)若T e L(X,Y),{xJ u X,Z x〃收敛,则有
T (乙)=T(lim ? ) = l】mT (乙)二 l】m £tx=Z Tx。
n k k k n
n I k =1 I k =1 I k =1 n
例2.1.5:设J = [0,兀],在Ci( J)与C(J)中均采用sup范数。显然
T = — : C 1( J) — C(J), u — u (2.1.10)
dx
是一线性算子。令un (x) = sin nx,则||』0=1,而uj = n,可见T是无界算子。
三、有界线性算子的运算与扩张
命题2.1.6: L(X, Y)依算子范数是一个赋范空间;当空间Y完备时,L(X, Y)是Banach 空间。
定理2.1.7(扩张定理):设D是X的稠密子空间,T e L(D,Y),Y完备,则T可保 持范数惟一地扩张到X上。
若线性算子T : X — Y是单射(即N(T) = {0}),则T-1: R(T) — X是一确定的线性 算子,当它有界时称为T的有界逆,并说T有有界逆
原创力文档

文档评论(0)