泛函分析中的定理
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第四章 习题课
基本内容
1.线性有界泛函
:f D X ⊂→∧满足()()()f x y f x f y αβαβ+=+,线性. 若x D ∀∈,|()|||||f x M x ≤.——称f 有界. 2.线性有界泛函的范数 |()|
||||sup
||||
x f x f x θ
≠=. ||||1
||||1
||||sup |()|sup |()|x x f f x f x ≤===.
共轭空间(Banach 空间)*()n n R R =,*()p q l l =,*([,])p q L a b L =,*H H =. 基本定理:
①延括定理:G X ⊂是线性子空间,:f G X ⊂→∧是线性有界泛函,则*F X ∃∈,使(ⅰ)当x G ∈时,()()F x f x =; (ⅱ)||||||||X G F f =. ②两个推论:
(Ⅰ)(Hahn —Banach 定理)设X l.n.s ,0x X ∀∈,0x θ≠,则*f X ∃∈,||||1f =,00()||||f x x =.
(Ⅱ)设X l.n.s ,G X ⊂是线性子空间,0x X ∈,0(,)0d x G >,则*f X ∃∈,满足(ⅰ)x G ∀∈,()0f x =;
(ⅱ)0()f x d =; (ⅲ)||||1f =. 3.线性有界算子
1X ,2X ——l.n.s ,1D X ⊂线性子空间,2:T D X ⊂满足 ()()()T x y T x T y αβαβ+=+.
4.线性有界算子,算子范数. 5.基本定理
引理:(开映射原理):若1X ,2X 是Banach 空间,12()T B X X ∈→,且
2()R T X =,则T 为开映射.
① 逆算子定理:设1X ,2X 都是Banach 空间,12:T X X →满射,可逆的线
性有界算子,则T 的逆算子1T -是有界算子.
② 闭图像定理:设1X ,2X 都是Banach 空间,12:()T D T X X ⊂→是闭算子,
其中()D T 是1X 的闭子空间,则T 是线性有界算子.
③ 共鸣定理:设1X 是Banach 空间,2X 是l.n.s.{|}i X i A ∈是一族12
X X →的线性有界算子,则
{|||||}i T i A ∈有界1x X ⇔∀∈,{|||||}i T x i A ∈有界.
6.强收敛与弱收敛
① l.n.s 中的点列的强、弱收敛.
(ⅰ)若||||0n x x →→,称{}n x 强收敛于x ,记为n x x →; (ⅱ)若*
f X ∀∈,|()()|0n f x f x -→,称*
n x x →(弱收敛). ② 有限维空间中,强弱收敛等价. ③ 弱收敛的判别(等价条件)
*
n x x →⇔(ⅰ){||||}n X 有界;(ⅱ)**M X ∃⊂(稠密),使*f M ∀∈,
0|()()|0n f x f x -→.
④ 算子列的各种收敛性:
(ⅰ)一致收敛:||||0n T T -→; (ⅱ)强收敛:||||0n T x Tx -→;
(ⅲ)弱收敛:||()()||0n f T x f Tx -→,*2f X ∀∈,1x X ∈. 特别泛函列n f :
(ⅰ)强收敛:||||0n f f -→(对应一致收敛);
(ⅱ)弱*收敛:||()()||0n f x f x -→(对应算子列强收敛).
7.共轭算子
设1X ,2X 是同一数域∧上的l.n.s.12()T B X X ∈→, ***21:T X X →,如果对任何1x X ∈,*2f X ∈,都有
*()()()T f x f Tx = 或 *(,)(,)x T f Tx f =
成立,就称*T 是T 的共轭算子(也称伴随算子).
共轭算子的范数:
定理(共轭算子的范数):设12()T B X X ∈→,*T 是T 的共轭算子,则*T 是
**21X X →的线性有界算子,且有
*||||||||T T =.
定理(共轭算子的性质): (1)**()aT aT =; (2)***2112()T T T T ⋅=⋅; (3)***1212()T T T T +=+;
(4)12:I X X →,则***12:I X X →. 8.自共轭算子
H 是Hilbert 空间,若,x y H ∀∈,(,)(,)Tx y x Ty =.T ——自共轭算子. Th .(自共轭算子的充要条件):H 是复的Hilbert 空间,T 为自共轭算子x H ⇔∀∈,
(,)Tx x 为实数.
性质:(1)特征值为实数;
T 1X *1X *
T 2X *
2X
(2)不同特征值的特征向量正交.
投影算子:0Px x =.(0x x z =+,0x M ∈,z M ⊥∈).
举 例
例1.设21,X X 是s n l ..,)(21X X T →∈,则T X X B T ⇔→∈)(21应某个内部非空的有界集为有界集。
证:)(⇐设Φ≠⊂01,A X A (0A 是A 的内部)
2X TA ⊂有界,取A r a O ⊂),((Φ≠0A ),,0>r 令∞<=∈||||sup Tx A
x β,
,0,1≠∈∀x X x 有),(||||1r a O x x r a ∈+-,因此
β≤+-||)||||(||1x x r a T
可以推出 r x r x Ta x x r
a T Tx /||||2/||||||)||
||(||||||β≤-+= 因此T 有界。
)(⇒显然成立。
例2.设)(Y A B T →∈,A 是X 的稠密子空间,Y 完备,则∃唯一的)(Y X B T →∈,使得||||||||,T T T T A ==。 证:X x ∈∀,取,}{A x n ⊂使)(∞→→n x x n 。因
||||||||||||n m n m x x T Tx Tx -≤-
故 }{n Tx 是Y 中的Cauchy 列;由于Y 完备,必存在n n Tx ∞
→lim ,记为x T ,这
与}{n x 的选取无关(事实上,若)(A x x x n n ∈'→',取},,,,{}{2
211 x x x x y n ''=,x y →,则}{n Ty 为Cauchy 列,x T Ty n →,则x T x T n →'),这样就定义了
一个算子Y X T →:,T 显然是线性的,且T T A =。由
||||||||||||||||lim ||||lim
||||x T x T Tx x T n n n n =≤=∞
→∞→