第四章有界线性算子
数学主要研究的对象是函数、运算.
在这之前我们关注的空间基本上是函数空间(或数列组成的空间).
建立了距离空间、赋范空间、内积空间、Hilbert空间的概念.
运用类比、联想、归纳等数学研究方法, 把有限维空间的代数结构
和几何特征延伸、拓展到无穷维空间.
许多数学问题,例如:中学解析几何中的平移和旋转是线性变换(运算).
高等数学研究微分积分,而微分、积分也都是线性运算,
它们与
R n
空间中线性变换有很多相同的运算性质.
线性方程组、微分方程、积分方程都可以看做是特定空间中的线性
运算(或者称为线性变换或线性映射).
我们将把它们称之为线性算子.
线性算子是泛函分析中最重要的基本概念之一.
我们将全体有界线性算子看作一个线性空间,并赋予范数,
成为赋范空间,线性算子看作赋范空间中的元素.
线性算子空间是线性泛函分析研究的主要对象.
在线性算子空间的框架下,研究线性运算的性质,解决
分析、代数、几何中的问题.
在赋范空间中讨论有界线性算子的本质特征,我们可以
得到一些很深刻的结论:
一致有界原则;
开映射定理、逆算子定理;
闭图像定理.
§4.1有界线性算子与有界线性泛函
4.1.1有界线性算子与有界线性泛函的定义
微分运算是线性的:
(x+y) ′ =x ′ +y ′ ,(αx) ′ =αx ′ ,
积分运算是线性的:
∫(x+y)dt=∫xdt+∫ydt,
∫αxdt=α∫xdt,
即满足性质T(αx+βy)=αTx+βTy.
我们把具有这样性质的运算,称为线性算子
定义4.1.1设X,X 1 是赋范空间,D(T)⊂X是一个线
性子空间,T是从D(T)到X 1 的映射,满足
T(x+y)=Tx+Ty,
T(αx)=αTx,
其中x,y∈D(T),α∈K(K是数域),
则称T是从X到X 1 的线性算子.
D(T)称为T的定义域
注1:一般地,D(T)⫋X.
如果D(T)=X,则称T是从X上到X 1 的线性算子.
注2:若X 1 =K(数域),T:D(T)→K,这样的线性算子
称为是线性泛函.
即线性泛函T(或者f)是从赋范空间X到数域K的线性算子.
当K是实数域,称为是实线性泛函.
当K是复数域,称为是复线性泛函.
∗下面给出有界线性算子、有界线性泛函的定义.
定义4.1.2设T是从X到X 1 的线性算子,若存在常数
M>0,使得
∥Tx∥ 1 ≤M∥x∥,∀x∈X.(4.1.1)
则称T为有界线性算子.
如果一个线性泛函f是有界的,如果存在常数M>0,
使得
|f(x)|≤M∥x∥,∀x∈X.(4.1.2)
则称f是有界线性泛函.
注1:线性算子(泛函)的有界和函数的有界意义并不相同.
例如:在实数空R中,y=Tx=x看作普通的实函数是无界函数.
但是把Tx=x看作是从R到R的线性算子,则T是
有界线性算子((4.1.1)式中的M=1).
∙有界线性算子的有界是指映射“放大的倍数”不超过一个常数.
注2:由于内积可以产生范数,内积空间也是范数空间,因此,有关
赋范空间上有界线性算子、有界线性泛函的讨论在内积空间依然成立.
命题4.1.3有界线性算子把有界集映射称有界集.
定义4.1.4设X,X 1 是赋范空间,T是从X到X 1 的线性
算子,若x n →x 0 时,Tx n →Tx 0 ,则称T在x 0 点连续.
由于线性算子运算是线性的,关于有界线性算子的连续性
由下述结论:
定理4.1.5设X,X 1 是赋范空间,T是从X到X 1 的线性算子,
T:X→X 1 .如果T在x 0 点连续,则T在X上连续.
分析:要证T在X上连续,
需证:对于X中的任何一点y,T在y连续.
即证:若y n →y,则Ty n →Ty.
证明:设T在x 0 点连续,即
x n →x 0 ⇒Tx n →Tx 0 .
设y n →y,即y n −y→0,故y n −y+x 0 →x 0 .
于是T(y n −y+x 0 )→Tx 0 ,由于算子是线性的,有
T(y n −y)+Tx 0 →Tx 0 .
于是T(y n −y)→0.由T是线性的⇒Ty n →Ty.
注1:对于线性算子来说,一点连续意味着点点连续.
注2:线性算子T连续意味着:
lim n→∞ T(x n )=T(lim n→∞ x n ),
极限运算和T可以交换顺序.
定理4.1.6设X,X 1 是赋范空间,T是从X到X 1 的
线性算子,则T是连续的当且仅当T是有界的.
证明:“⇒”由T连续⇒T有界.
反证法.(1)假若T无界,则对于∀n>0,∃x n ,使得
∥Tx n ∥>n∥x n ∥.
(2)令y n =x n n∥x n ∥ .可见∥y n ∥→0,于是y n →0.
由于T连续,所以Ty n →T0=0.但
∥Ty n ∥=1n ∥Tx n ∥x n ∥ ∥>1.
与∥Ty n ∥→0矛盾.所以T有界.
“⇐"由T有界⇒T连续.
即证:若x n →x,则有Tx n →Tx.
事实上,若x n →x,由于T有界,存在M>0,使得
对于∀x∈X,有∥Tx∥≤M∥x∥.于是
∥Tx n −Tx∥=∥T(x n −x)∥
≤M∥x n −x∥→0(n→∞),
这表明T是连续的.
注:线性算子连续等价于有界.
线性算子T有界,则
lim n→∞ T(x n )=T(lim n→∞ x n ).
无界线性算子不连续(线性和连续非常重要).
4.1.2有界线性算子组成的赋范空间
∙下面我们把有界线性算子看作一个元素,构成一个新的
线性空间,即由全体有界线性算子构成的空间.
∙从赋范空间的角度研究线性算子的性质.
定义4.1.7设X,X 1 是赋范空间,B(X,X 1 )表示
从X到X 1 的全体有界线性算子.
如果X=X 1 ,我们把B(X,X 1 )简记为B(X).
∙在B(X,X 1 )中可以自然地定义线性运算.
∙即对于任给的A,B∈B(X,X 1 )及α∈K,定义:
(A+B)(x)=Ax+Bx,(αA)(x)=αAx.
又由于
∥(A+B)x∥=∥Ax+Bx∥
≤∥Ax∥+∥Bx∥
≤(M 1 +M 2 )∥x∥,
∥αAx∥=|α|∥Ax∥≤|α|M 1 ∥x∥.
所以B(X,X 1 )对加法、数乘运算封闭,称为线性空间.
∙下面我们把有界线性算子看成空间中的元素,定义
有界线性算子的范数.
定义4.1.8设T是从赋范空间X到X 1 的有界线性算子,
即存在M>0,使得
∥Tx∥≤M∥x∥,∀x∈X.(4.1.3)
令
∥T∥称为线性算子T的范数.
注:由(4.1.3),(4.1.4)可得
∥T∥=sup x∈X,x≠0 ∥Tx∥∥x∥ ≤sup x∈X,x≠0 M∥x∥∥x∥ =M.
这说明∥T∥的定义是有意义的(是有限非负实数).
∙由∥Tx∥∥x∥ ≤∥T∥,有∥Tx∥≤∥T∥∥x∥.
∙即∥T∥是使∥Tx∥≤M∥x∥成立的最小M,
∥T∥=inf{M|∥Tx∥≤M∥x∥,∀x∈X}.(4.1.5)
下面我们验证
⧫∥T∥是一个范数,即满足定义2.1.1的4个条件.
命题4.1.9由(4.1.4)式定义的∥T∥是线性算子空间
B(X,X 1 )上的范数,这里
∥T∥=sup x∈X,x≠0 ∥Tx∥∥x∥ .
证明:(i)(非负)∥T∥=sup x∈X,x≠0 ∥Tx∥∥x∥ ≥0;
(ii)(正定)∥T∥=sup x∈X,x≠0 ∥Tx∥∥x∥ =0⇒
∥Tx∥=0,∀x∈X,x≠0,⇒T=0;
(iii)(正齐次)∥αT∥=sup x∈X,x≠0 ∥αTx∥∥x∥ =|α|sup x∈X,x≠0 ∥Tx∥∥x∥ ;
(iv)(三角不等式)
∥T 1 +T 2 ∥=sup x∈X,x≠0 ∥(T 1 +T 2 )x∥∥x∥ ≤sup x∈X,x≠0 ∥T 1 x∥+∥T 2 x∥∥x∥
≤sup x∈X,x≠0 ∥T 1 x∥∥x∥ +sup x∈X,x≠0 ∥T 2 x∥∥x∥ =∥T 1 ∥+∥T 2 ∥.
因此∥T∥是一个范数.
注:(B(X,X 1 ),∥⋅∥)是一个赋范空间.
B(X,X 1 )中的元素是有界线性算子.
定理4.1.10设T是从赋范空间X到X 1 的有界线性算子,则
∥T∥=sup ∥x∥=1 ∥Tx∥=sup ∥x∥≤1 ∥Tx∥(4.1.6)
证明:
∥T∥=sup x∈X,x≠0 ∥Tx∥∥x∥ ≥sup x≠0,∥x∥≤1 ∥Tx∥∥x∥
≥sup x≠0,∥x∥≤1 ∥Tx∥=sup ∥x∥≤1 ∥Tx∥≥sup ∥x∥=1 ∥Tx∥(4.1.7)
另一方面,对于任意的y∈X,y≠0,
∥Ty∥y∥ ∥≤sup ∥x∥=1 ∥Tx∥,
取上确界,得
sup y∈X,y≠0 ∥Ty∥∥y∥ ≤sup ∥x∥=1 ∥Tx∥,
即∥T∥≤sup ∥x∥=1 ∥Tx∥.
结合上面的不等式(4.1.7)有:
∥Tx∥=sup ∥x∥=1 ∥Tx∥=sup ∥x∥≤1 ∥Tx∥.
∙当A,B∈B(X),还可以定义
(A⋅B)(x)=A(Bx)(记为AB).
∙显然AB也是线性算子,并且
∥AB∥≤∥A∥∥B∥(4.1.8)
∗这是因为,对于∀x∈X,
∥(AB)x∥=∥A(Bx)∥≤∥A∥∥Bx∥
≤∥A∥∥B∥∥x∥,
根据算子范数的定义,有(4.1.8)成立.
∙进一步有
∥A n ∥≤∥A∥ n .(4.1.9)
4.1.3有界线性算子的例
例4.1.11考虑n阶方阵A=(a ij )(i,j=1,2,⋯,n),
对于任意的x∈R n ,x=(ξ 1 ,⋯,ξ n ),令
Ax=(a ij )⎛ ⎝ ⎜ ⎜ ξ 1 ⋮ξ n ⎞ ⎠ ⎟ ⎟ =⎛ ⎝ ⎜ ⎜ η 1 ⋮η n ⎞ ⎠ ⎟ ⎟ =y,(4.1.10)
其中η i =∑ j=1 n a ij ξ j .则A是从R n 到R n 的线性算子.
∥Ax∥=(∑ i=1 n |η i | 2 ) 12 =(∑ i=1 n |∑ j=1 n a ij ξ j | 2 ) 12
≤(∑ i=1 n ∑ j=1 n |a ij | 2 ) 12 (∑ j=1 n |ξ j | 2 ) 12 =(∑ i=1 n ∑ j=1 n |a ij | 2 ) 12 ∥x∥.
因此A是有界线性算子.
∙一般来说,∥A∥≠(∑ i=1 n ∑ j=1 n |a ij | 2 ) 12
▶进一步:有限维空间上的线性算子都是有界线性算子.
定理4.1.12设(X,∥⋅∥)是有限维赋范空间,(Y,∥⋅∥)是任意一个赋范空间,
T是从X到Y的线性算子,则T是有界线性算子.
证明:(1)在X上定义一个新范数:
∥x∥ 1 =∥x∥+∥Tx∥(4.1.11)
显然范数前三个条件∥⋅∥ 1 都满足,且
∥x+y∥ 1 =∥x+y∥+∥T(x+y)∥=∥x+y∥+∥Tx+Ty∥
≤∥x∥+∥y∥+∥Tx∥+∥Ty∥=∥x∥ 1 +∥y∥ 1
即∥⋅∥ 1 是X上定义的另一个范数.
(2)因为X是有限维的赋范空间,根据同一个有限维空间
上定义的范数都是等价的,
于是∥⋅∥和∥⋅∥ 1 等价,即:存在K>0,使得对任意
的x∈X,有
∥x∥ 1 ≤K∥x∥(4.1.12)
(3)根据(4.1.11)式和(4.1.12)式,我们有
∥Tx∥≤∥x∥ 1 ≤K∥x∥,
这说明T是有界的.
注:定义域是有限维空间的线性算子都是有界的.
在无穷维空间我们考虑
例4.1.13无穷维矩阵(a ij ),满足:
∑ i=1 ∞ ∑ k=1 ∞ |a ik | q <∞(q>1)
对∀x∈l p (1p +1q =1),x=(ξ 1 ,ξ 2 ,⋯,ξ k ,⋯),令
η i =∑ k=1 ∞ a ik ξ k (i=1,2,⋯),
定义线性算子:Tx=y,y=(η 1 ,η 2 ,⋯,η k ,⋯),
则T是从l p 到l q 的有界线性算子.
事实上,
∑ i=1 ∞ |η i | q =∑ i=1 ∞ |∑ k=1 ∞ a ik ξ k | q
≤∑ i=1 ∞ {(∑ k=1 ∞ |a ik | q ) 1q (∑ k=1 ∞ |ξ k | p ) 1p } q
=∑ i=1 ∞ ∑ k=1 ∞ |a ik | q ∥x∥ q .
即
这说明T是l p →l q 的有界线性算子.
例4.1.14设T是从C[0,1]到实数R的一个映射:
T(x)=x(0),∀x∈C[0,1],
则T是一个有界线性泛函.
事实上,
|T(x)|=|x(0)|≤sup{|x(t)||t∈[0,1]}=∥x∥
所以∥T∥≤1.
另一方面,对于x 0 (t)≡1∈C[0,1],
T(x 0 )=1=∥x∥,
于是,我们有∥T∥=1.
线性泛函:1.是线性赋范空间到数域的映射,
2.必须是线性的.
例4.1.15设X是线性赋范空间,则X上的范数∥⋅∥
定义了一个从X到R的泛函,
f(x)=∥x∥:X→R,
f是有界的,但不是线性的.
f有界是显然的.假设f是线性的,设x≠0,则
0=∥0∥=f(0)=f(x+(−x))=f(x)+f(−x)
=∥x∥+∥−x∥=2∥x∥.
矛盾.所以范数不是线性泛函.
例4.1.16设a=(a 1 ,a 2 ,⋯,a n )∈R n .对于任意的
x=(x 1 ,x 2 ,⋯,x n )∈R n ,定义
f(x)=∑ i=1 n a i x i (4.1.13)
则f是R n 上的有界线性泛函.
证明:(1)f是R n 上的线性泛函.
f(αx+βy)=∑ i=1 n a i (αx i +βy i )
=α∑ i=1 n a i x i +β∑ i=1 n a i y i
=αf(x)+βf(y).
(2)有界性可由Ho ¨ lder不等式证出.
|f(x)|=|∑ i=1 n a i x i |≤∑ i=1 n |a i x i |
≤(∑ i=1 n |a i | 2 ) 12 (∑ i=1 n |x i | 2 ) 12 =∥a∥∥x∥
即f是R n 上的有界线性泛函.
注:以后会看到,R n 上的任何有界性性泛函一定可以写成
(4.1.13)的形式,f(x)=(a,x).
即R n 上的有界线性泛函f,可以由R n 中的元素a确定.
∗在R 3 中可看到,a=(a 1 ,a 2 ,a 3 )正是平面
f(x)=a 1 x 1 +a 2 x 2 +a 3 x 3 =0的法向量.
∗进一步的结论参阅第5章Riesz表示定理.
例4.1.17设y 0 (t)是[a,b]上的连续函数,对于任意的
x∈C[a,b],定义
f(x)=∫ b a x(t)y 0 (t)dt(4.1.14)
则f是C[a,b]上的线性泛函.
事实上,
|f(x)|≤∫ b a |x(t)y 0 (t)|dt
≤∫ b a |y 0 (t)|max a≤t≤b |x(t)|dt=(∫ b a |y 0 (t)|dt)∥x∥,
即f是C[a,b]上的有界线性泛函.
注1:可以证明∥f∥=∫ b a |y 0 (t)|dt.
注2:特别地,若y 0 (t)≡1,定积分f(x)=∫ b a x(t)dt是
C[a,b]上的有界线性泛函.
★不是所有的线性算子都是有界的,例如是否重要的
微分算子就是一类无界算子.
例4.1.18(微分算子)设X=C[0,1],
T:D(T)⊂C[0,1]→C[0,1],
Tx(t)=x ′ (t),
其中D(T)={x(t)∈C[0,1]|x(t)的导数连续}.
可以证明:T是无界的线性算子.
事实上,对于sinnt∈C[0,1],我们有:
T(sinnt)=ncosnt,∥x n ∥=1,(n≥2)
但是∥Tx n ∥=n→∞(n→∞).
即T是无界的(注意D(T)不是定义在全空间上的).
注:微分算子是一类十分重要的无界线性算子.
∙微分算子虽然是无界的,但它是闭的线性算子.
(闭算子的定义见第4.5节)
∙闭的线性算子也有“类似连续”的很好的性质.
4.1.4有界线性算子范数的计算
例4.1.19设T是如下从L[a,b]到C[a,b]的线性算子:
(Tx)(t)=∫ t a x(τ)dτ,
则T是有界的,且∥T∥=1.
证明:(1)对于任意的x∈L[a,b]满足:
∥x∥=∫ b a |x(τ)|dτ=1,
我们有
∥Tx∥=max a≤t≤b |∫ t a x(τ)dτ|
≤max a≤t≤b ∫ t a |x(τ)|dτ=∫ b a |x(τ)|dτ=1,
即∥T∥≤1.
(2)另一方面,令
x 0 (t)=1b−a ∈L[a,b],∥x 0 ∥=1,
因此
∥T∥≥∥Tx 0 ∥=max a≤t≤b |∫ t a x 0 (τ)dτ|
=max a≤t≤b ∫ t a 1b−a dτ=1.
于是∥T∥=1.
注:上列中的线性算子T若看作是从L[a,b]到L[a,b]的线性算子,
则∥T∥=b−a.
例4.1.20(积分算子)设K(t,s)是a≤t,s≤b上的
二元连续函数.令
Kx(t)=∫ b a K(t,s)x(s)ds(4.1.15)
则K是C[a,b]→C[a,b]的有界线性算子,
并且∥K∥=max a≤t≤b ∫ b a |K(t,s)|ds.
(1)事实上:
∥Kx∥=max a≤t≤b |∫ b a K(t,s)x(s)ds|
≤(max a≤t≤b ∫ b a |K(t,s)|ds)∥x∥=β∥x∥(4.1.16)
其中
β=max a≤t≤b ∫ b a |K(t,s)|ds,
即∥K∥≤β.因此K是有界线性算子.
(2)另一方面,由于∫ b a K(t,s)ds是关于t的连续函数,
注意到
β=max a≤t≤b ∫ b a |K(t,s)|ds,
故∃t 0 ∈[a,b],使得
β=∫ b a |K(t 0 ,s)|ds,
令
则x 0 (s)可测,且|x 0 (s)|≤1.
由鲁津定理,对于∀n,存在[a,b]上的连续函数x n (s),
使得|x n (s)|≤1,
且除去测度小于12Mn 的可测集E n 外,x n (s)=x 0 (s),
其中M=max a≤t≤b,a≤s≤b K(t,s).
于是
β=∫ b a |K(t 0 ,s)|ds=|∫ b a K(t 0 ,s)x 0 (s)ds|
≤|∫ b a K(t 0 ,s)x n (s)ds|+|∫ b a K(t 0 ,s)(x 0 (s)−x n (s))ds|
≤∥K∥∥x n ∥+2M⋅mE n ≤∥K∥+1n
当n→∞时,有β≤∥K∥.
结合(4.1.16)式,有∥K∥=β.