泛函分析基础10-巴拿赫空间中的基本定理6:逆算子定理

逆算子定理又称开映射定理,是泛函分析最基本的定理之一,它反映了有界线性算子极为深刻的特征

定理1(逆算子定理)

X X X Y Y Y 都 是巴拿赫空间,如果 T T T 是从 X X X Y Y Y 上 的一对一有界线性算子,则 T T T 的逆算子 T − 1 T ^ { - 1 } T1 也 是有界线性算子

为了证明本定理,首先给出一个引理.

引理

T T T 是 巴拿赫空间 X X X 到巴拿赫空间 Y Y Y 上 的有界线性算子,则 X X X中 单位开球

U 0 = U ( 0 , 1 ) = { x : ∥ x ∥ < 1 } U _ { 0 } = U ( 0 , 1 ) = \{ x : \| x \| < 1 \} U0=U(0,1)={ x:x<1}

的像 T U 0 T U _ { 0 } TU0 包含一个以零点为心的球

证明
我们分以下几步证明:
(a) U 1 = U ( 0 , 1 2 ) U _ { 1 } = U \left( 0 , \frac { 1 } { 2 } \right) U1=U(0,21) 的像的闭包 T U 1 ‾ \overline { T U _ { 1 } } TU1 含有一个开球 U ∗ ; U ^ { * } ; U;
(b) U n = U ( 0 , 2 − n ) U _ { n } = U \left( 0 , 2 ^ { - n } \right) Un=U(0,2n) 的像的闭包 T U n ‾ \overline { T U _ { n } } TUn 含有以 0 ∈ Y 0 \in Y 0Y 为中心的球;
(c) T U 0 T U _ { 0 } TU0 包含以 0 ∈ Y 0 \in Y 0Y 为中心的球.

(a)的证明先引入两个记号,设 A ⊂ X , α A \subset X , \alpha AX,α 是数, ω ∈ X , \omega \in X , ωX, 则令

α A = { α x : x ∈ A } , A + ω = { x + ω : x ∈ A } . \begin{aligned} \alpha A = \{ \alpha x : x \in A \} , \\ A + \omega = \{ x + \omega : x \in A \} . \end{aligned} αA={ αx:xA},A+ω={ x+ω:xA}.

考虑 U 1 = U ( 0 , 1 2 ) . U _ { 1 } = U \left( 0 , \frac { 1 } { 2 } \right) . U1=U(0,21). 对任何 x ∈ X , x \in X , xX, 总有正整数 k , k , k, 使 x ∈ k U 1 , x \in k U _ { 1 } , xkU1, 这只要取 k > 2 ∥ x ∥ k > 2 \| x \| k>2∥x 即可.于是 X = ⋃ k = 1 ∞ k U 1 . X = \bigcup _ { k = 1 } ^ { \infty } k U _ { 1 } . X=k=1kU1. 由 假设, T T T是映射 X X X Y Y Y 上 的,故

Y = T X = T ( ⋃ k = 1 ∞ k U 1 ) = ⋃ k = 1 ∞ k T U 1 . Y = T X = T \left( \bigcup _ { k = 1 } ^ { \infty } k U _ { 1 } \right) = \bigcup _ { k = 1 } ^ { \infty } k T U _ { 1 } . Y=TX=T(k=1kU1)=k=1kTU1.

Y Y Y 完备,由纲定理知,必存在某个 k 0 , k _ { 0 } , k0, 使 k 0 T U 1 k _ { 0 } T U _ { 1 } k0TU1 含有一开球,这意味着 T U 1 ‾ \overline { T U _ { 1 } } TU1也含有一开球,设为 U ( y 0 , ε ) , U \left( y _ { 0 } , \varepsilon \right) , U(y0,ε), 记为 U ∗ . U ^ { * } . U.这就证明了 U ∗ ⊂ T U 1 ‾ . U ^ { * } \subset \overline { T U _ { 1 } } . UTU1.

(b)的证明
因为 U ∗ = U ( y 0 , ε ) ⊂ T U ‾ 1 , U ^ { * } = U \left( y _ { 0 } , \varepsilon \right) \subset \overline { T U } _ { 1 } , U=U(y0,ε)T

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值