§4.4.开映射定理与逆算子定理
4.4.1逆算子
∙若对任给的y∈R(T),只有唯一的x∈X,使得
y=Tx,则称T是单射,
这时可定义从值域R(T)到X的算子T −1 ,称T −1
为T的逆算子.
∙众多数学问题,都可以归结为求方程Tx=y的解,
即考虑T −1 是否存在、是否唯一以及T −1 是否连续
(保证解的稳定性).
∙我们在Banach空间的框架下研究这些问题,
将得到开映射定理和逆算子定理.
定义4.4.1(逆算子)设T是从线性空间X到线性空间X 1 中的线性算子.
如果存在X 1 到X中的线性算子T 1 ,使得
T 1 Tx=x(x∈D(T)⊆X),
TT 1 y=y(y∈R(T)⊆X 1 ),
则称算子T有逆算子,T 1 称为T的逆算子,记为T −1 .
注1:T存在逆算子充要条件是:T是空间X中到空间X 1
中一对一映射.
∙一对一映射:对于∀x 1 ,x 2 ∈D(T),
x 1 ≠x 2 ⇒Tx 1 ≠Tx 2 ,
⇔Tx=0⇒x=0.
注2:如果T −1 存在,则T −1 是唯一的.
T −1 :R(T)→D(T),y 0 ↦x 0 (y 0 =Tx 0 ).
注3:可以证明T −1 也是线性算子,即
T −1 (αy 1 +βy 2 )=αT −1 y 1 +βT −1 y 2 .
注4:(T −1 ) −1 =T.
∙问题:什么条件下存在有界的逆算子T −1 ?
定理4.4.2设T是赋范空间X中到赋范空间X 1 中的线性算子,
如果存在m>0,使得
∥Tx∥≥m∥x∥(x∈D(T))(4.4.1)
则T存在有界的逆算子T −1 .
反之,如果定义在R(T)上的逆算子T −1 存在且有界,那么
一定存在一个正数m,使得(4.4.1)式成立.
注1:T −1 是从R(T)到D(T)的映射,R(T)不一定是全空间X 1 ,
D(T)不一定是全空间X.
注2:这里并未要求T有界,只要T下方有界即可.
分析:(1)首先证明T有逆算子,即证明T是一对一的映射.
这只需要证明Tx 1 −Tx 2 =0⇒x 1 =x 2 .
(2)再证明T −1 是有界的.
证明(1)证T是一对一的.
如果Tx 1 =Tx 2 ,则T(x 1 −x 2 )=0,但
∥T(x 1 −x 2 )∥≥m∥x 1 −x 2 ∥,
因此,∥x 1 −x 2 ∥=0,即x 1 =x 2 .故T是一对一的,
于是逆算子T −1 :R(T)→D(T)存在.
(2)对于任意的y∈R(T),T −1 y∈D(T).由条件
∥T(T −1 y)∥≥m∥T −1 y∥,
即∥y∥≥m∥T −1 y∥,于是我们有
∥T −1 y∥≤1m ∥y∥,∀y∈R(T)(4.4.2)
T −1 是有界线性算子.
(3)反之,如果定义在R(T)上的逆算子T −1 存在且有界,
但是(4.4.1)式不成立,则对每个正整数n,存在
x n ∈D(T),使得∥Tx n ∥<1n ∥x n ∥.
设y n =Tx n ,x n =T −1 y n ,则n∥y n ∥<∥T −1 y n ∥,
由此推出T −1 无界,矛盾.
4.4.2开映射定理
下面证明与逆算子相关的一个重要定理−−开映射定理.
首先给出“开映射”的定义.
定义4.4.3设T是X→X 1 的一个映射,若T把X中
的任何一个开集映成X 1 中的开集,则称T是开映射.
定理4.4.4(开映射定理)设T是Banach空间X上到
Banach空间X 1 上的有界线性算子,则T是开映射.
▼说明:
(1)定理要求条件:
D(T)=X,R(T)=X 1 ,TX=X 1 .
(2)定理表明:当T是有界线性算子时,若TX=X 1 ,
X,X 1 都是Banach空间,则对开集G,TG一定是开集.
(3)注意T是开映射与T是连续的区别.
T是开映射:T把一个开集映射成开集.
T连续⇔开集的原像是开的,即
G⊂X 1 ,G是开集⇒T −1 (G)是开集.
(4)如果线性算子T是开映射,且T的逆算子存在,则
T的逆算子T −1 是连续的,即T −1 是有界线性算子.
事实上,G在T −1 的值域里,如果G是开的,
由于T是开映射,T(G)是开的,
即对于T −1 来说,开集G的原像是T(G),
而T(G)是开的,所以逆算子T −1 是连续的,
T −1 是有界线性算子.
证明思路:
∗目标:G是X中的开集,要证TG是X 1 中的开集.
x∈G,x↦Tx∈TG,要证Tx是TG的内点.
即要证明存在r>0,使得:
B 1 (Tx,r)⊂TG(4.4.3)
▶已知:G是开的,对于x∈G,存在r 1 >0,使得
B(x,r 1 )⊂G,
进一步有0<r 2 <r 1 ,使得
B ¯ ¯ ¯ (x,r 2 )⊂B(x,r 1 )⊂G.
于是有:TB ¯ ¯ ¯ (x,r 2 )⊂TG.
▶问题:是否存在r>0使得
B 1 (Tx,r)⊂TB ¯ ¯ ¯ (x,r 2 )⊂TG(4.4.4)
∙注意到T是线性算子:
B 1 (Tx,r)=Tx+B 1 (0,r)(4.4.5)
TB ¯ ¯ ¯ (x,r 2 )=T(x+B ¯ ¯ ¯ (0,r 2 ))=Tx+TB ¯ ¯ ¯ (0,r 2 )(4.4.6)
∙问题转化为:是否存在r>0,使得
B 1 (0,r)⊂TB ¯ ¯ ¯ (0,r 2 )(4.4.7)
▼我们把定理的证明分为以下6个步骤.
(1)考虑X=⋃ k=1 ∞ B ¯ ¯ ¯ (0,k),X 1 =TX=⋃ k=1 ∞ TB ¯ ¯ ¯ (0,k).
由于X 1 是Banach空间,由Baire纲定理知,X 1 是
第二纲集,于是存在k 0 ,TB ¯ ¯ ¯ (0,k 0 )不是疏集.
∴TB ¯ ¯ ¯ (0,k 0 )在某个小球B 1 (y 0 ,r 0 )中稠,即:
B 1 (y 0 ,r 0 )⊂TB ¯ ¯ ¯ (0,k 0 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ (4.4.8)
(2)通过T的线性性质(平移、压缩)和球形邻域是平衡的,
我们可以得到TB ¯ ¯ ¯ (0,k 0 )在小球B 1 (0,r 0 )中稠,即:
B 1 (0,r 0 )⊂TB ¯ ¯ ¯ (0,k 0 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ (4.4.9)
∙事实上,∀z∈B 1 (0,r 0 ),z 1 =y 0 +z,z 2 =y 0 −z∈B 1 (y 0 ,r 0 ),
结合(4.4.8)式有2z=z 1 −z 2 ∈TB ¯ ¯ ¯ (0,2k 0 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ,即z∈TB ¯ ¯ ¯ (0,k 0 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
(3)由T的线性性质推出
TB ¯ ¯ ¯ (0,1)在小球B 1 (0,r 0 k 0 )中稠,即:
B 1 (0,r 0 k 0 )⊂TB ¯ ¯ ¯ (0,1) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ (4.4.10)
(4)进一步可得到,对于∀ε>0,
TB ¯ ¯ ¯ (0,ε)在小球B 1 (0,εδ)中稠,其中δ=r 0 k 0 .即:
B 1 (0,εδ)⊂TB ¯ ¯ ¯ (0,ε) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ (4.4.11)
(5)我们要证明的是包含关系,而不仅仅是稠密:
B 1 (0,r)⊂TB ¯ ¯ ¯ (0,r 2 )(4.4.7)
下面通过(4.4.11)式中稠密性推出上式中的包含关系.
∙我们下面分4步证明(4.4.7)式,即:
y∈B 1 (0,r)⇒y∈TB ¯ ¯ ¯ (0,r 2 ).
即要证明存在x∈B ¯ ¯ ¯ (0,r 2 ),使得Tx=y.
(i)已知:TB ¯ ¯ ¯ (0,ε)在B 1 (0,εδ)中稠.
对于任意的y∈B 1 (0,δ2 )(ε=12 ),
所以TB ¯ ¯ ¯ (0,12 )在B 1 (0,δ2 )中稠密,
即B 1 (0,δ2 )⊂TB ¯ ¯ ¯ (0,12 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ,
于是存在x 1 ∈B ¯ ¯ ¯ (0,12 ),使得
∥y−Tx 1 ∥<δ2 2 .
令y 1 =y−Tx 1 ∈B 1 (0,δ2 2 ).
(ii)再由于TB ¯ ¯ ¯ (0,12 2 )在B 1 (0,δ2 2 )中稠密(ε=12 2 ),
于是存在x 2 ∈B ¯ ¯ ¯ (0,12 2 ),使得
∥y 1 −Tx 2 ∥<δ2 3 .
令y 2 =y 1 −Tx 2 =y−T(x 1 +x 2 )∈B 1 (0,δ2 3 ).
⋯⋯
(iii)这样继续下去,可以得到点列{x n },
x n ∈B ¯ ¯ ¯ (0,12 n )(n=1,2,⋯),
且∥y−T(x 1 +x 2 +⋯+x n )∥<δ2 n+1 (4.4.12)
(iv)因为X是Banach空间及∑ n=1 ∞ ∥x n ∥≤∑ n=1 ∞ 12 n =1,
由定理2.5.1可知级数∑ n=1 ∞ x n 收敛,
即存在x∈X,使得
x=∑ n=1 ∞ x n ,并且∥x∥≤1(4.4.13)
由于T是连续线性算子,结合(4.4.12)式,有
y=lim n→∞ T(∑ k=1 n x k )=T(lim n→∞ ∑ k=1 n x k )
=T(∑ k=1 ∞ x k )=Tx(4.4.14)
这说明y∈TB ¯ ¯ ¯ (0,1).
因为对∀y∈B 1 (0,δ2 )⇒y∈TB ¯ ¯ ¯ (0,1),于是有
B 1 (0,12 δ)⊂TB ¯ ¯ ¯ (0,1)(4.4.15)
由T的线性性质,对于r 2 >0,
B 1 (0,12 r 2 δ)⊂TB ¯ ¯ ¯ (0,r 2 )(4.4.16)
令r=12 r 2 δ,其中δ=r 0 k 0 ,我们有
B 1 (0,r)⊂TB ¯ ¯ ¯ (0,r 2 )
(6)结合(4.4.5)、(4.4.6)式我们有:
B 1 (Tx,r)⊂TB ¯ ¯ ¯ (x,r 2 )⊂TG(4.4.17)
这说明Tx式TG的内点,TG是X 1 中的开集.
▼小结.证明的步骤:
(1)TB ¯ ¯ ¯ (0,k 0 )在某个小球B 1 (y 0 ,r 0 )中稠,
B 1 (y 0 ,r 0 )⊂TB ¯ ¯ ¯ (0,k 0 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
(X 1 是第二纲集);
(2)TB ¯ ¯ ¯ (0,k 0 )在小球B 1 (0,r 0 )中稠,
B 1 (0,r 0 )⊂TB ¯ ¯ ¯ (0,k 0 ) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
(T线性,球形邻域是平衡的);
(3)TB ¯ ¯ ¯ (0,1)在小球B 1 (0,r 0 k 0 )中稠,
B 1 (0,r 0 k 0 )⊂TB ¯ ¯ ¯ (0,1) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
(T线性)
(4)TB ¯ ¯ ¯ (0,ε)在B 1 (0,εδ)中稠
(T线性,δ=r 0 k 0 );
(5)B 1 (0,r)⊂TB ¯ ¯ ¯ (0,r 2 ),r=12 r 2 δ,把(4)中的稠密变成包含关系,
(T线性,T连续,X是完备的);
(6)由T是线性算子推出:
B 1 (Tx,r)⊂TB ¯ ¯ ¯ (x,r 2 )⊂TG
即:X中的任意一个开集G,一定有TG是开集.
注1:T的线性性质,在定理的证明中非常重要.
注2:定理中要求X 1 是Banach空间,证明中仅用到X 1 是
第二纲集,即条件可以弱化为X 1 是第二纲集.
注3:在证明的第(5)部分,
∙由稠密性证明包含时,选出了一个点列{x n },
∙由于X是Banach空间,且∑ n=1 ∞ ∥x n ∥<∞,可知
级数收敛,即∑ n=1 ∞ x n =x.
∙这时证明的关键之一.
注4:T的连续性这个条件,定理中用在下面的推导:
从(4.4.13)、(4.4.12)式
⎧ ⎩ ⎨ lim n→∞ S n =lim n→∞ (x 1 +x 2 +⋯+x n )=x,lim n→∞ TS n =lim n→∞ T(x 1 +x 2 +⋯+x n )=y, (4.4.18)
根据T连续,我们有:
y=lim n→∞ T(∑ k=1 n x k )=T(lim n→∞ ∑ k=1 n x k )=T(∑ k=1 ∞ x k )=Tx.
即推出y=Tx.T的连续性仅用在此.
▶以后可知,只要T是闭算子,由(4.4.18)这两个条件
成立,就可以推出y=Tx,
T连续时,只要第一个条件成立,就可以推出:
y=lim n→∞ TS n =Tx.
4.4.3逆算子定理
▶下面我们用开映射定理,结合T是一个线性算子来证明逆算子定理.
定理4.4.5(Banach逆算子定理)
设T是从Banach空间X上到Banach空间X 1 上的
一对一的有界线性算子,
则T的逆算子存在,且T −1 是有界的.
∙说明:
(1)T是一对一的,保证T −1 的存在.
(2)X是Banach空,D(T)=X,X 1 是Banach空间,
R(T)=X 1 ,即T的定义域和值域都是Banach空间.
这样的条件下才能有结论:T −1 有界.
证明:(1)由条件知T −1 存在.
(2)由开映射定理可知,T是开映射.
B(0,1)是开集,所以TB(0,1)是开集.
0∈TB(0,1),即0是TB(0,1)的内点,
∴∃δ>0,使得:B 1 (0,δ)⊂TB(0,1)(4.4.19)
(3)于是对于∀y∈X 1 ,不妨设y≠0,δy2∥y∥ ∈B 1 (0,δ),
由(4.4.19)有δy2∥y∥ ∈TB(0,1),即∥T −1 δy2∥y∥ ∥≤1.
于是∥T −1 y∥≤2∥y∥δ ,所以∥T −1 ∥≤2δ ,T −1 是有界的线性算子.
注1:逆算子定理在泛函分析中有广泛的应用,包括在算子谱理论的研究中.
注2:TX=X 1 ,X是Banach空间,X 1 是Banach空间
或第二纲集这些条件不能缺少.
∙例如:X=X 1 =C[0,1],
Tx=∫ t 0 x(s)ds,x(s)∈C[0,1](4.4.20)
∙我们看到TX≠X 1 ,事实上:
TX=M={y∈C 1 [0,1]|y(0)=0}.
∙M是C[0,1]中的疏集,不是第二纲集.
∙T −1 =ddt 是一个微分算子,是无界线性算子.
定理4.4.6设X是一个线性空间,其上定义两个范数
∥⋅∥ 1 和∥⋅∥ 2 .
设X 1 =(X,∥⋅∥ 1 )和X 2 =(X,∥⋅Vert 2 )都是Banach空间,
其存在常数C>0,使得
∥x∥ 2 ≤C∥x∥ 1 ,∀x∈X,
则∥⋅∥ 1 和∥⋅∥ 2 等价.
∙分析:
由等价范数的定义,只需证明存在C 1 >0,使得
∥x∥ 1 ≤C 1 ∥x∥ 2 .
证明:考虑恒等映射I:X 1 →X 2 .
由于I是Banach空间X 1 上到Banach空间X 2 上的
一对一的有界线性算子.
因此,由Banach逆算子定理,
I −1 =I:X 2 →X 1
是有界线性算子.
所以存在C 1 >0,使得∥x∥ 1 ≤C 1 ∥x∥ 2 .即
1C 1 ∥x∥ 1 ≤∥x∥ 2 ≤C∥x∥ 1
∥⋅∥ 1 和∥⋅∥ 2 等价.