应用数学基础 第三章-赋范线性空间和有界线性算子
第三章 有界线性算子空间(续)
![第三章 有界线性算子空间(续)](https://img.taocdn.com/s3/m/b49c9409cfc789eb172dc8ba.png)
定义代数运算: f f1 f 2 和 f f1 其含义是指对于 x H 和 C 都有:
f ( x) f1 ( x) f 2 ( x) f ( x) f1 ( x)
H * 构成线性空间。
定义内积:
( f , f ) (, )*
xA x 1
由于 L sup
xA x 0
Lx x
Lx x
L
x1
x
对于 0 必 x1 A 使
Lx1 x1
x x1 L
L
改写成 L 令 x2
x1 x1
即总 x2 A ,且 x2 1使 Lx2 L
4.1 线性泛函的概念 线性泛函是线性赋范空间 A 到复数域 C 的映射,且对 x, y A 及
, K ,有
f ( x y) f ( x) f ( y)
线性泛函的性质: ①连续性:一定连续 处处连续 ②有界性:有界 连续 有界是指 x A ,有 | f ( x) | K x 对于数域,范数用| |代替。
L( x) L1 x L2 ( x) L1 ( x) L2 ( x) K1 x K 2 x K x
其中 K K1 K2 还可证明满足加法的 a、b、c、d 四条。 对于加法中的 0 元素的解释:
x A y B
L 0 是指对于 x A ,都有 Lx 0
x 0
sup Lx
xA x 1
L 的完备性定理: L 完备的充分条件是 A 完备。
定理是说:A 完备, L 一定完备。但 A 不完备, L 可能完备也可 能不完备。 证明略。
数值分析(03)赋范线性空间讲义.
![数值分析(03)赋范线性空间讲义.](https://img.taocdn.com/s3/m/506783f4b9f3f90f76c61b8d.png)
数值分析
3.C [a , b] : f ( x ) C [a , b]也有以下的三种常用范数. 1 范数 : f 2 范数 : f 范数 : f
1
f ( x ) dx
a
b
2
( f ( x ) dx )
a
b
2
1 2
max f ( x )
x a , b
用范数定义V中元素之间的距离
数值分析
数值分析
例:f ( x) x, g( x ) e x , x [0,1]
( f , g) || x e ||p , p 1,2,
x
( f , g ) || x e ||1 | x e | dx
b
(3)
f g 1 = f ( x ) g( x ) dx ( f ( x ) g( x ) )dx
a a
f ( x ) dx g( x ) dx f
a a
b
b
b
1
g 1,
f ( x ), g( x ) C [a , b]
所以 f 1 = f ( x ) dx 为f ( x )在C [a , b]中的范数.
2 1 2
可以证明 : x R n 有 关 系 式 1 x2 x x2 n x x2 n x x x1n x
数值分析
数值分析
例:证明
|| x || || x ||2 n || x ||
2 xn n max | xi |2 n max | xi | 1 i n 1 i n
1 p
欧氏范数
2 1 2
i 1 n
Cauchy Schwarz 不等式 ( xi yi )
数值分析(03)赋范线性空间(1)
![数值分析(03)赋范线性空间(1)](https://img.taocdn.com/s3/m/05e8237a27284b73f24250cd.png)
m ax x i
1 i n
s=0; for i=1:n if abs(x(i))>s,s=abs(x(i));end end
作业 1 用 for 语 句 、 if 语 句 编 写 计 算 矩 阵 1 范 数 A 1 的 程 序 。 2 用 for 语 句 、 if 语 句 编 写 计 算 矩 阵 范 数 A
对 1 5,解齐次方程组 ( 5 I A ) x 0,有
1 2 1
x1 x 3 x2 2 x3
0 2 0
1 1 2 0 0 1
0 1 0
1 2 0
T
基础解系为 1 (1, 2 ,1 )
n n n n n n
上的一个矩阵的范数,也记为 A .
大多数情况下 , 矩阵范数常与向量范数 混合在一起 使用 , 这就要求矩阵的范数和 向量的范数具有相容性 , 即 Ax A x
数值分析
数值分析
常用的矩阵范数有两种 : (1 ) Forbeniu s范 数 (即 矩 阵 的 欧 氏 范 数 ) A
T
x1 x 3
基础解系为 1 ( 0 ,1,0 ) , 2 ( 1,0 ,1 )
矩阵 A 属于 2 , 3 3的全部特征向量为 x
(2)
T
k 1 1 k 2 2 k 1 ( 0 ,1 , 0 ) k 2 ( 1 , 0 ,1 )
T
T
k 1 , k 2 不全为 0 .
( 2 ) A 的不同特征值的特征向 量是线性无关的 .
数值分析
; 值 征 特 零 无A 异 奇 非A 阵 矩
数值分析
(3)实 对 称 矩 阵 的 特 征 值 都 是 实 数 , 且 一 定 有 n个 线 性 无 关 的 特 征 向 量 . (4)实 对 称 矩 阵 属 于 不 同 特 征 值 的 特 征 向 量 一定是互相正交的.
应用数学基础第三章
![应用数学基础第三章](https://img.taocdn.com/s3/m/22a47504a31614791711cc7931b765ce05087ae1.png)
应⽤数学基础第三章⼀、判断1.设和是有限维线性空间X上的两种范数,.若且,则.() 2.设和是线性空间X上的两种等价范数,.若且,则.()3.由矩阵A确定的线性算⼦是有界的.()4.由矩阵A确定的线性算⼦是连续的.()5.设矩阵A,定义映射,对任意,,则A是有界线性算⼦.()6.设X和Y都是赋范线性空间,T:是线性算⼦,若T在处连续,则T在X上是有界的.()7.若是⼀赋范空间,则.()8.若赋范线性空间X的⼦集是紧的,则任何⾮空的闭⼦集也是紧的.()9.上全体有理系数多项式构成的集合P是实空间(C,)(其中)中的完备⼦空间.()10.上全体实系数多项式构成的集合P是实空间(c,)(其中)中的闭集.()11.设是赋范线性空间,若是有限维的,则是完备的.()12.若赋范线性空间X是列紧的,则X是B a n a c h空间.()13.设是赋范线性空间,,若,都有,则. ()14.设是内积空间,,若有,则.()15.设有内积空间若对任意的均有,则. ()16.若赋范线性空间X的⼦集是紧的,则任何⾮空的闭⼦集是有界的. ()17.可数多个开集的交仍是开集.()18.可数多个闭集的并仍是闭集.()19.设是赋范线性空间的⼀列紧⼦集,则也为紧⼦集.()20.设均为赋范线性空间的紧⼦集,则也为紧⼦集.()21.设是赋范线性空间,,且,则存在有界线性泛函,使得,.()22.都是可分的赋范线性空间.()23.都是可分的赋范线性空间.()24.上的范数和是等价的.()25.上的⽅阵范数与是等价范数.()26.设为赋范线性空间中的两个C a u c h y列,则必收敛. ()⼆、填空1.是上所有有连续⼀阶导数的函数的全体构成的的⼦空间,().若线性算⼦:的定义为,则是.2.是上所有有连续⼀阶导数的函数的全体构成的的⼦空间,(),线性算⼦:的定义为,则是.3.设,则=,=,=,=.4.设,则=.5.设是赋范线性空间,则是.6.设是赋范线性空间,若是有限维的,则是.7.设是任意赋范线性空间,则到的所有线性算⼦构成的赋范线性空间是.8.设是任意赋范线性空间,则是.9.设是H i l b e r t空间的完全正交系,,则=.10.设是H e r mi t e矩阵,,则的谱范数为.11.若有界线性算⼦T:的定义为(T x)(t)=,则=.12.设是⾣矩阵,则其谱范数.13.设是赋范线性空间,设,则按范数收敛于.14.设是赋范线性空间,,若,都有,则.四、证明题1.对任意,定义,则是上的⽅阵范数,,定义,.证明是上与⽅阵范数相容的向量范数.2.对任意,定义,则是上的⽅阵范数.对任意且,定义,.证明是上的范数且与⽅阵范数相容.3.设是上的⽅阵范数,D是阶可逆⽅阵.对任意,定义,证明是上的⽅阵范数.4.设是上的⽅阵范数,、是可逆矩阵且,.对任意,定义,证明是上的⽅阵范数.5.设C[0,1]上的范数为定义算⼦为.试证:是有界线性算⼦,并求.6.设C[0,1]上的范数为定义算⼦为.试证:是有界线性算⼦并求.7.设定义如下:其中(1)判断是否为有界线性算⼦;(2)若为有界线性算⼦,则求的算⼦范数.8.设为有界数列,,定义映射T如下:证明:T为X到X的有界线性算⼦,且.9.设算⼦定义为.证明:为有界线性算⼦.10.(1)设X和Y是赋范线性空间,是有界线性算⼦,试证:若A是X中的列紧集,则T(A)是Y中的列紧集;(2)若是X中的紧集,则仍是X中的紧集.11.设X和Y是赋范线性空间,是连续映射,试证:若A是X中的列紧集,则T(A)是Y中的列紧集,并且紧空间的有限维⼦空间是紧的.12.(1)设X是赋范线性空间,是有界线性泛函,试证:若A是X中的紧集,则是R中的紧集;(2)若是X中的紧集,则仍是X中的紧集.13.设是连续的向量值函数,若,试证:T(A)是中的紧集.14.设为算⼦赋范线性空间,为连续算⼦.证明:当在中稠密时,在中稠密.15.设且证明:16.设,为赋范线性空间的两个C a u c h y列.证明必收敛.17.设是赋范线性空间,证明:任意的,其零空间均为的闭线性⼦空间.18.设为赋范线性空间的线性⼦空间.证明:也是的线性⼦空间.。
第三章 有界线性算子-黎永锦
![第三章 有界线性算子-黎永锦](https://img.taocdn.com/s3/m/3926bab1960590c69ec37612.png)
第3章 有界线性算子音乐能激发或抚慰情怀,绘画使人赏心悦目,诗歌能动人心弦,哲学使人获得智慧,科学可 改善物质生活,但数学能给予以上的一切.Klein F .(克萊恩) (1849-1925,德国数学家)Banach S .在1922年建立了完备赋范线性空间的公理,证明了一些基本定理后,就讨论了定义在一个完备赋范线性空间上而取值为另一个完备赋范线性空间的算子,在这类算子中最重要的是连续加法算子,所谓加法算子是指对所有x ,y ,都有Ty Tx y x T +=+)(.容易证明,T 是连续加法算子时,必有Tx x T αα=)(成立.Banach S .证明了若T 是连续的加法算子,则存在常数0>M ,使得||||||||x M Tx ≤.另外他还证明了若}{n T 是连续加法算子序列,T 也是加法算子,且对任意X x ∈,都有Tx x T n n =∞→lim ,则T 也是连续的.Hahn H .在1922年证明了,若X 是一个完备赋范空间,}{n f 为X 上的一列线性连续泛函,且对任意X x ∈,)}({x f n 都有上界,则||}{||n f 一定是有界的.Banach S .和Steinhaus H .在1927年证明了,若n T 为完备赋范空间X 到赋范空间Y的线性连续算子,且对任意X x ∈,||}{||x T n 都有界,则||}{||n T 一定有界,这就是Banach 空间理论中最重要的定理之一,即一致有界原理.Neumann Von J ..在1929年至1930年还引进并讨论了算子的几种收敛性.在1932年,Banach S .出版了线性算子理论(aires e lin rations e op des orie e Th ''')一书,书中包括了当时有关赋范线性空间的绝大部分结果,而非常著名闭图像定理就是该书中一个定理的推论.3.1 有界线性算子算子就是从一个空间到另一个空间映射,算子可分为线性算子与非线性算子.定义3.1.1 设X 和Y 都是赋范空间,T 是从X 到Y 的算子,且满足(1) Ty Tx y x T +=+)(, X y x ∈,任意; (2) Tx x T αα=)(, K X x ∈∈α,任意.则称T 为X 到Y 的线性算子.明显地,若Y 是数域K ,则X 到K 的线性算子就是线性泛函.例 3.1.1 定义从∞l 到0c 算子)2()(i i i xx T =则对任意∈)(i x ∞l ,有0>M ,使得∞<≤M x i ||sup .故)0(02|2|→→≤i M x i i i .因此0)(c x T i ∈ ,即T 是∞l 到0c 的算子,并且Ty Tx y x y x y x T iii i iii βαβαβαβα+=+=+=+)2()2()2()( 所以T 是∞l 到0c 的线性算子.例 3.1.2 设T 是从0c 到nR 的算子,且对任意0)(c x x i ∈=,定义)(i y Tx =,这里n i ≤时,i i x y =, n i >时,0=i y ,则T 是从0c 到nR 的线性算子.类似于线性连续泛函,对于线性连续算子,容易看出下面定理成立.定理 3.1.1 设T 是赋范空间X 到Y 的线性算子,则T 在X 上连续当且仅当T 在某个X x ∈0处连续.线性算子的连续与有界性有着密切的联系.定义 3.1.2 设T 是赋范空间X 到Y 的线性算子,若存在数0>M ,使得||||||||x M Tx ≤,X x ∈对任意成立.则称T 是有界线性算子,否则称为无界的.类似于线性有界泛函,有下面的定理.定理3.1.2 设T 是赋范空间X 到Y 的线性算子,则T 是有界的当且仅当T 是连续的.由上面定理可知,当T 是X 到Y 的线性连续算子时,必有0>M ,使得||||||||x M Tx ≤由此对0≠x ,有+∞<≤M x Tx ||||||||. 定义3.1.3 若T 是X 到Y 的线性连续算子,则称||||||||sup||||0x Tx T x ≠= 为T 的范数.容易看出,||||sup ||||sup ||||sup ||||1||||1||||1||||Tx Tx Tx T x x x <≤====.例 3.1.3 设X 是赋范空间,I 是X 到X 的恒等算子,则I 是连续的,且1||||sup ||||sup ||||1||||1||||=====x Ix I x x .有限维赋范空间上的线性算子的连续性显得特别简单明了.定理 3.1.3 若X 是有限维赋范空间,Y 是任意赋范空间,则X 到Y 的任意线性算子T 都是连续的.证明 设X 是n 维赋范空间,},,{1n e e 是X 的Schauder 基,则对任意X x ∈,有∑==ni i i e x 1α.由于T 是线性的,故∑==ni i i Te Tx 1α).||||}(max{||||||||||||||||111∑∑∑===≤≤=ni ii i ni ini ii Te Te TeTx ααα对任意X x ∈,定义∑==ni ix 11||||||α,则1||||⋅是X 上的范数,因此1||||⋅与||||⋅等价,即存在0>C ,使得||||||||||11x C x ni i≤=∑=α令||}m ax {||i Te C M =,则||||||||x M Tx ≤所以,T 是X 到Y 的连续线性算子.若用),(Y X L 记所有从赋范空间X 到赋范空间Y 的线性连续算子,则),(Y X L 在线性运算x T x T x T T 2121)(βαβα+=+下是一个线性空间,在空间),(Y X L 中,由算子范数的定义有||||||||||||2121T T T T +≤+和||||||||||T T λλ=,以及0||||=T 时0=T 成立.因此),(Y X L 在算子范数||||⋅下是一个赋范空间,并且当Y 是Banach 空间时,),(Y X L 也是Banach 空间.定理 3.1.4 设X 是赋范空间,Y 是Banach 空间,则),(Y X L 是Banach 空间. 证明 设}{n T 为),(Y X L 的Cauchy 列,因此对任意0>ε,存在N ,使得N n m >,时ε<-||||n m T T对任意X x ∈,有||||||||||||||)(||||||x x T T x T T x T x T n m n m n m ε<⋅-≤-=-因此}{x T n 为Y 中的Cauchy 列,由Y 的完备性质可知,存在Y y ∈,使得y x T n n =∞→lim定义X 到Y 的算子, x T y Tx n n ∞→==lim ,易知T 是线性的.由于0||||||||||||||→-≤-n m n m T T T T ,因此||}{||n T 为R 中的Cauchy 列,从而存在0>M ,使得.,||||都成立对任意N n M T n ∈≤故||||||||lim ||||x M x T Tx n m ≤=∞→,从而T 是X 到Y的线性连续算子.由上面证明可知对任意0>ε,存在N ,使得N n m >,时,有都成立对任意X x x x T T x T x T n m n m ∈<⋅-≤-||,||||||||||||||ε.令∞→m ,则 因此ε<-=-∈≠||||||||||||,0x Tx x T SupT T n Xx x n对任意N n >成立,从而T T n →,所以,),(Y X L 是完备的. 由于数域K 完备,因此容易看到下面结论成立.推论3.1.1 对于任意赋范空间X ,),(K X L 一定完备.后面都将),(K X L 记为*X ,称之为X 的共轭空间,因此所有赋范空间X 的共轭空间*X 都是完备的.3.2 一致有界原理设X 和Y 是Banach 空间.}|{∧∈ααT 是),(Y X L 中的一族有界线性算子,一致有界原理指的是若对于任意}|||{||,∧∈∈ααx T X x 是有界集,则}|||{||∧∈ααT 一定是有界集,即+∞<∧∈||||sup ααT .其实,这一定理的一些特殊情形,许多数学家早就注意到了,如Hellinger Lebesgue ,和Toeplitz 等,Hahn H .在1922年总结了他们的结果,证明了对Banach 空间X 上的一列线性泛函}{n f ,若任意|})({|,x f X x n ∈有界,则||}{||n f 一定有界.独立地,Banach S .证明了比Hahn H .更一般的情形,即设}{n T 是Banach 空间X 到Banach 空间Y 的一列算子,若对任意||}{||,x T X x n ∈有界,则||}{||n T 一定有界,最后在1927年Banach S .与Steinhaus H .利用Baire 在1899年证明的一个引理,证明了一致有界原理.||||||||x x T x T n ε<-引理 3.2.1 (Baire 引理) 设}{n F 是Banach 空间X 中的一列闭集,若≠∞=01)( n n F φ,则存在某个N 使得≠0N F φ.下面举两个例子.例 3.2.1 在R 中,]12,11[n n F n -+=, 则)2,1(1=∞= n n F 有内点,故必有某个≠0N F φ.例 3.2.2 在R 中,},,2,1{n F n =,则对任意n ,=0N F φ,且,,2,1{1=∞=n nF},1, +n n , 所以=∞=01)( n n F φ.在1912年,Helly 建立了],[b a C 上的一致有界性原理,Banach 空间上的一致有界性原理是Banach [1922],Hahn [1922]和t Hildebrand 给出的,Steinhaus H .1927年以B a n a c h 和他两个人的名义在《数学基础》第9卷上发表了该定理.它断言,在Banach 空间X 上,如果有一列算子n T ,能对每个X x ∈,数列),2,1||}({|| =n x T n 都有上界x M ,那么必存在常数M ,使得||}{||n T 有界.这个由各点x 的局部有界性推广到在一个单位球上整体地一致有界性的深刻定理就叫Steinhaus Banach -定理.定理 3.2.1 (一致有界原理) 设X 是Banach 空间,Y 是赋范线性空间,}|{∧∈ααT 是),(Y X L 中的一族有界线性算子,若对任意X x ∈,有+∞<||}sup{||x T α则+∞<||}sup{||αT证明 对任意n ,令 ∧∈≤∈=αα}|||||{n x T X x F n ,则n F 是X 闭集,且X F n n =∞= 1,由于≠=∞=001)(X F n n φ,因此由Baire 引理可知存在某个N ,使得≠0N F φ,故存在n F x ∈0及0>r ,使得N F r x U ⊂),(0,因为N F 是闭集,所以N F r x B r x U ⊂=),(),(00因此对于任意X x ∈, 1||||=x ,有N F r x B rx x ⊂∈+),(00故对任意α,有N rx x T ≤+||)(||0α又由于||)(||||||||||00rx x T x T x rT +≤-ααα, 故+∞<+≤+≤∧∈||)||sup (1||)||(1||||00x T N r x T N r x T αααα令||)||sup (10x T N r M αα∧∈+=,则M 与x 无关,且+∞<M .所以+∞<≤==M x T T x ||||sup ||||1||||αα问题 3.2.1 在一致有界原理中,X 的完备性能否去掉? 例 3.2.3 设X 为全体实系数多项式,对任意X x ∈||max ||||,)(111i ni i ni i x tt x x αα≤<-====∑ ,则||)||,(⋅X 是赋范空间,但不完备,在X 上一致有界原理不成立.事实上,对任意X x ∈,x 可以写成11)(-=∑=i ni i tt x α,这里存在某个x N ,使得xN i >时,0=i α,在X 上定义一列泛函n f :∑==ni in x f 1)(α, 这里11)(-=∑==i ni i tt x x α由|||||||)(|1x n x f ni in ≤=∑=α可知),(R X L f n ∈,且对于任意X x ∈,有∑∑∞=--===1111i i i i mi i ttx αα故∑∑==≤=ni ini i n x f 11|||||)(|αα(对于固定的n x ,是固定的),因此+∞<≤∞<≤|||||)(|sup 1x m x f n n . 但对于任意N k ∈,取kt t t x +++= 1)(0,有1}1,,1,1,1m ax {||||0=⋅⋅⋅=x ,且.)(|})(sup{|||}sup{||00k x f x f f k n n =≥≥由k 的任意性可知}||sup{||+∞=n f ,因此,}{n f 不是一致有界的.推论3.2.1 设X 是赋范空间,X x ⊂∧∈}|{αα,若对任意*∈X f ,有+∞<∧∈|)(|sup ααx f ,则+∞<∧∈||||sup ααx .证明 定义R X T →*:α为)()(ααx f f T =则αT 是线性算子,且对固定的α,有|||||||||)(||)(|αααx f x f f T ⋅≤=故αT 是线性有界算子.由于+∞<=∧∈∧∈|)(|sup |)(|sup ααααx f f T ,对任意固定的*∈X f 都成立,并且*X 是完备的,所以由一致有界原理可知+∞<∧∈||||sup ααT但|||||)(|sup |)(|sup ||||1||||1||||ααααx x f f T T f f =====,所以+∞<∧∈||||sup ααx .Neumann Von J ..在赋范空间),(Y X L 中引进几种不同的收敛性.定义3.2.1 设X ,Y 是赋范空间,),(Y X L T n ∈, ),(Y X L T ∈,则(1) 若0||||→-T T n ,称n T 一致算子收敛于T ,记为T T n −→−⋅||||; (2) 若对任意 0||||,→-∈Tx x T X x n ,称n T 强算子收敛于T ,记为T T sn −→−; (3)若对任意X x ∈, *∈Y f ,有0|)()(|→-Tx f x T f n ,称n T 弱算子收敛于T ,记为T wT n −→−.由上面的定义容易看出,算子的收敛性有如下关系:定理 3.2.2 (1) 若T T n −→−⋅||||,则T T sn −→−;(2) 若T T s n −→−,则T T wn −→−.值得注意的是上定理中反方向的推导一般不成立.例3.2.4 在1l 中,定义11:l l T n →为),,,0,,0(21 ++=n n n x x x T则),(11l l L T n ∈,且对任意 1l x ∈,有∑∞+=++→==-1210||||),,,0,,0(||||||n i in n n xx x x x T θ因此θ−→−sn T ,但 1||),0,1,0,,0(||||||||sup ||||11||||==≥=-+= n n n x n e T x T T θ所以,n T 不一致收敛于零算子θ.定理 3.2.3 设X 是Banach 空间,X 是赋范空间),(Y X L T n ∈,若对任意}{,x T X x n ∈收敛,则一定存在),(Y X L T ∈,使得n T 强算子收敛于T .证明 由于}{x T n 的收敛对任意x 都成立,故可定义x T Tx n n ∞→=lim ,由n T 的线性可知T 是线性的.由于对任意}{,x T X x n ∈收敛,因此||}{||x T n 也是收敛的,从而+∞<||}sup{||x T n ,根据一致有界原理,有+∞<≤M T n }||sup{||,因而||||||||||||sup ||||lim ||||x M x T x T Tx n n n ≤≤=∞→.即),(Y X L T ∈,显然T T sn −→−.定理 3.2.4 设X , Y 是Banach 空间,),(Y X L T n ∈, 则}{n T 强算子收敛的充要条件为(1)存在0>C ,使得+∞<≤C T n ||}sup{||;(2)存在 X M ⊂,使得X M =且对于任意 }{,x T M x n ∈收敛.证明 若T T sn −→−,则(2)明显成立. 若对于任意 X x ∈,有Tx x T n n =∞→lim . 故+∞<||}sup{||x T n ,由一致有界原理可知||}{||n T |是有界的.反之,若(1),(2)成立, 对任意X x ∈及任意0>ε,由X M =知一定存在M y ∈,使得Cy x 3||||ε<-因为对任意M y ∈,}{y T n 收敛,所以存在N ,使得N n m >,时,有3||||ε<-y T y T n m故CCCCy x T y x T x T y T y T y T y T x T x T x T n m n n n m m m n m 333||||||||3||||||||||||||||||||||||εεεε++≤-++-≤-+-+-≤-.由于Y 是完备的,因而}{x T n 是收敛的,定义x T Tx n n ∞→=lim ,则),(Y X L T ∈,所以 T T sn −→−. 推论3.2.2 设X 是Banach 空间,Y 是赋范空间,),(Y X L T n ∈,若T T sn −→−,则 ||||lim ||||n n T T ∞→≤证明 由T T sn −→−可知,对任意X x ∈,有 x T Tx n n ∞→=lim由于是Banach 空间,并对任意X x ∈,有∞<||}sup{||x T n ,因此∞<||}s up {||n T,从而,||||||||lim ||||lim ||||lim ||||x T x T x T Tx n n n n n n ⋅≤==∞→∞→∞→,所以||||lim ||||n n T T ∞→≤.例题3.2.1设X 是有限维范空间,Y 是赋范空间,∧∈∈αα),,(Y X L T . 若对任意X x ∈,有+∞<∧∈||||sup x T αα,试不用一致有界原理证明+∞<∧∈||||sup ααT .证明 在X 上定义||}||sup ||,max{||||||1x T x x αα∧∈=. 由于(1)对任意X x ∈, +∞<≤1||||0x ;(2)当0||||1=x 时,0||||=x 从而0=x .且0=x 时,显然有0||||1=x ;(3)11||||||||||x x αα=;(4)||})(||sup ||,max{||||||1y x T y x y x ++=+α||}||sup ||,max{||||}||sup ||,max{||||}||sup ||||sup ||,max{||y T y x T x y T x T y x αααα+≤++≤11||||||||y x +=因此,1||||⋅是X 上的一个范数.由于X 是有限维范空间,因此范数||||⋅和1||||⋅是等价的,故存在0>C ,使得||||||||1x C x ≤,对所有的X x ∈都成立,因而||||||||sup x C x T <∧∈αα,所以+∞<∧∈||||sup ααT .3.3 开映射定理与逆算子定理定义 3.3.1 设X 和Y 是赋范空间,Y X T →:, 若T 把X 中的开集映成Y 中的开集,则称T 为开映射.例 3.3.1 设X 是实赋范空间,则X 上的任意非零线性泛函f f ,一定是X 到R 的开映射.问题 3.3.1 设X ,Y 是Banach 空间,),(Y X L T ∈, 问T 何时一定是开映射?定理 3.3.1 (开映射定理)设X 和Y 是Banach 空间,),(Y X L T ∈,若T 是满射,即Y TX =,则T 是开映射.开映射定理的证明要用到下面的引理, 它是Schauder 在1930年得到的.引理 3.3.1 设X ,Y 是Banach 空间,),(Y X L T ∈,若Y TX =,则存在0>ε,使得)1,0(),0(TU U ⊂ε.引理的几何意义是如果)1,0(U 是X 中的开球,则)1,0(TU 为Y 中的点集,且Y 中的0点一定是)1,0(TU 的内点.开映射定理的证明设U 是X 中的任意开集,则对任意TU y ∈0,存在U x ∈0,使得00Tx y =,下面只须证明0Tx 为)(U T 的内点.由于U 是开集,因此存在0>r ,使得U r x U ⊂),(0,故),0(),0()},0(|{)},0(|{),(00000r TU y r TU Tx r U x Tx Tx r U x x x T r x TU TU +=+=∈+=∈+=⊃.由上面引理可知,存在0>ε,使得)1,0(),0(TU U ⊂ε,因此),0(),0(r TU r U ⊂ε, 所以),(),0(),0(000εεr y U r U y r TU y TU =+⊃+⊃,即0y 为TU 的内点, 因而 TU 为 Y 的开集.推论3.3.2 若X 是Banach 空间,则对所有f f X f ,0,≠∈*一定是开映射.证明 不失一般性,不妨设R K =,则由于0≠f ,因此存在X x ∈0,使得1)(0=x f ,故对任意R ∈α,有X x y ∈=0α,使得αα==)()(0x f y f ,因而f 是X 到R 的满射.所以,由开映射定理可知f 为开映射.思考题3.3.1 若f 是开映射,则1-f存在时是否1-f 一定连续?定义 3.3.2 若X ,Y 为赋范空间,),(Y X L T ∈,若对任意y x X y x ≠∈,,时,必有Ty Tx ≠,则算子X TX T →-:1, 称为T 的逆算子.明显地,若),(Y X L T ∈,1-T 存在,则1-T 也是线性的.例题 3.3.1 设X ,Y 是赋范空间,),(Y X L T ∈,则),(1X Y L T ∈-,当且仅当存在),(X Y L S ∈,使得Y X I S T I T S =⋅=⋅,且此时一定有S T=-1. 证明 若),(1X Y L T ∈-,令1-=T S ,明显地,有Y X I T T S T I T T T S =⋅=⋅=⋅=⋅--11,反之,如果存在),(X Y L S ∈,使得Y X I S T I T S =⋅=⋅,则对任意y x ≠,有Ty S y x Tx S ⋅=≠=⋅,因此Ty Tx ≠,故T 是单射,从而1-T 存在.对任意Y y ∈,有X Sy ∈故y y I Sy T Y ==)()(,令Sy x =,则y Tx =,因而T 是满射,明显地,1-T 是线性的,因此1-T 为Y 到X 的线性算子,又因为S S T T S T T I T Y =⋅⋅=⋅=---)()(111,所以 S T =-1),(X Y L ∈.逆算子定理是Banach S .在1929年给出的,利用开映射定理,容易证明逆算子定理成立.定理3.3.5. (Banach 逆算子定理)设X ,Y 是Banach 空间,),(Y X L T ∈,若T 是双射,则1-T 存在,且),(1X Y L T ∈-.证明 由于T 是一一对应,且满的,因此1-T 存在且是线性的.由于X ,Y 是Banach 空间,且Y TX =,因而由开映射定理可知T 开映射,从而对任意开集X U ⊂,有TU U T =--11)(也是开集,所以1-T 连续,即),(1X Y L T ∈-.在逆算子定理中,完备性的条件必不可少.例 3.3.2 设},0,,|)0,,0,,,{(1=≥∈=i i n x n i n R x x x X 时对某个 ||sup ||||i x x =,则||)||,(⋅X 是赋范空间.定义X X T →:为),31,21,(321 x x x Tx =则),(X X L T ∈,且1-T 存在,但1-T 是无界的,这是因为对X x n ∈=),0,1,,0( , 有n x T n x T n n ==--||||),,0,,,0(11 ,因此n T ≥-||||1对任意n 成立,所以1-T 不是连续线性算子.推论 3.3.3 设||||⋅和1||||⋅是线性空间上的两个范数,且||)||,(⋅X 和)||||,(1⋅X 都是Banach空间,若存在0>β, 使得||||||||1x x β≤,则||||⋅与1||||⋅等价. 证明 定义恒等算子→⋅||)||,(:X I )||||,(1⋅X 为x Ix =,则由||||||||||||11x x Ix β≤=可知I 是连续的.显然I 是双射,因而由逆算子定理可知,1-I存在且有界. 令||||11-=I α,则 111||||||||||||||||x I x x I --≤= 所以11||||||||||||1x x I ≤-, 即||||||||||||1x x x βα≤≤.问题 3.3.1 设X 为[0,1]上的全体实系数多项式,对任意X x ∈,,)(11-=∑==i n i it t x x α定义∑=≤≤==n i i t x t x x 12101|||||||,)(|sup ||||α ,则21||||||||⋅⋅和都是X 的范数,并且21||||||||x x ≤对所有的X x ∈成立,但11||||||||⋅⋅和不是等价的范数,为什么?实际上,对于,)1()(1211-=+∑-==i n i i t t x x 则1|)(|sup ||||101==≤≤t x x t , n x ni i 2||||||12==∑=α,因此不存在常数0>β,使得12||||||||x x β≤对所有的X x ∈成立,所以21||||||||⋅⋅和不是等价的范数.3.4 闭线性算子与闭图像定理在量子力学和其他一些实际应用中,有一些重要的线性算子并不是有界的,例如有一类在理论和应用中都很重要的无界性算子--闭线性算子,在什么条件下闭线性算子是连续呢?这一问题的研究,Hellinger E .和Toeplitz O .1910年在关于Hilbert 空间对称算子的工作中就开始了,然后是Hilbert 空间中共轭算子连续性的研究,1932年才发展成闭线性算子在赋范空间上的结果,这就是非常著名闭图像定理.若||)||,(⋅X 和||)||,(⋅Y 是赋范线性空间,则在乘积Y X ⨯空间中可以定义范数,使之成为赋范空间,对),(11y x 和K Y X y x ∈⨯∈λ,),(22,线性空间Y X ⨯的两种代数运算是),(),(),(21212211y y x x y x y x ++=+),(),(y x y x λλλ=并且范数定义为||||||||||),(||y x y x +=例3.4.1 乘积空间},|),{(2R y x y x R R R ∈=⨯=,且||||||||||),(||y x y x +=.明显地,有如下的结论.定理 3.4.1 设X 和Y 都是赋范空间Y X y x z n n n ⨯∈=),(,则),(y x z z n =→Y X ⨯∈当且仅当Y y X x n n ∈∈,且y y x x n n →→,.定理3.4.2 若X 和Y 都是Banach 空间,则Y X ⨯也是Banach 空间.在下面,考虑从定义域X T D ⊂)(到Y 的线性算子,)(T D 为X 的子空间.定义3.4.1 设X ,Y 是赋范空间,Y T D T →)(:是定义域X T D ⊂)(上的线性算子,若T 的图像}),(|),{()(Tx y T D x y x T G =∈=在赋范空间Y X ⨯中是闭的,则称T 为闭线性算子.定理3.4.3 设X ,Y 是赋范空间,Y T D T →)(:是线性算子,则T 是闭线性算子当且仅当对任意)(}{T D x n ⊂,满足y Tx x x n n →→,时,必有)(T D x ∈且y Tx =.证明 若T 是闭线性算子,则是)(T G 闭集,则对于任意)(T D x n ∈,当y Tx x x n n →→,时, 有),(),(y x Tx x n n →,因此)(),(T G y x ∈,由)(T G 的定义,有)(T D x ∈,y Tx =.反之,若)(),(T G Tx x n n ∈,且),(),(y x Tx x n n →时一定有)(T D x ∈,y Tx =, 从而)(),(),(T G Tx x y x ∈=.所以,)(T G 是闭集,即T 是闭线性算子.定理3.4.4 设X ,Y 是赋范空间,Y T D T →)(:是线性连续算子,若)(T D 是闭集,则T 一定是闭线性算子.证明 设)(T D x n ∈,y Tx x x n n →→,,则由T 是连续的知Tx Tx n →,故Tx y =. 由于)(T D 是闭集,因此)(T D x ∈,所以T 是闭线性算子.推论3.4.1 若Y X T →:是线性连续算子,则T 一定是闭线性算子.这是因为这时X T D =)(是闭集,反过来,一般来说,闭线性算子不一定连续.例3.4.2 设)(|)({]1,0[1t x t x C =为]1,0[上具有连续导数的},|)(|sup ||||10t x x t ≤≤=,则 ||)||],1,0[(1⋅C 是一个赋范空间,在]1,0[1C 上定义线性算子T 如下:]1,0[]1,0[:1C C T →]1,0[)(],1,0[),()(1C t x x t t x dt d t Tx ∈=∈=任意任意 则T 是]1,0[1C 到]1,0[C 的闭线性算子,但T 不是线性连续的.事实上,若]1,0[1C x n ∈ , y Tx x x n n →→,,则)(t x n 在]1,0[上“一致收敛”于)(t x ,并且n x '在]1,0[上也“一致收敛”于)(t y ,因而)(t x 具有连续的导函数)('t x ,且)()('t y t x =,所以]1,0[1C x ∈,且y Tx =,即T 是闭线性算子.令n n n t t x x ==)(,则]1,0[1C x n ∈且1||sup ||||10==≤≤n t n t x ,但n nt Tx n t n ==-≤≤||sup ||||110,因此T 不是线性连续算子.问题3.4.1 若T 是X T D ⊂)(到Y 的闭线性算子,则T 是否把闭集映为闭集呢? 例3.4.3 对任意0)(c x x i ∈=,定义线性算子00:c c T →为)2(i ix Tx = 则T 是0c 到0c 的线性连续算子,且0)(c T D =,因此T 是闭线性算子.对于闭集0c ,0Tc 不是0c 的闭子集.事实上,对于)0,,0,21,,21,21(2 n n y =, 0c y n ∈,且有)0,,0,1,,1,1( =n x ,0c x n ∈,使得n n y Tx =,故0Tc y n ∈,但因为n y 趋于),21,21,,21,21(12 +=n n y ,故不存在0c x ∈,使得y Tx =,所以0Tc y ∉,即0Tc 不是0c 的闭子集.在什么条件下闭线性算子一定是连续呢?这就是闭图像定理所研究的问题.定理3.4.5(闭图像定理)设X 与Y 是Banach 空间,Y T D T →)(:是闭线性算子,(这里X T D ⊂)(),若)(T D 在X 中是闭集,则T 一定是)(T D 到Y 的线性连续算子.证明 由于X 和Y 是Banach 空间,因此Y X ⨯也是Banach 空间,又由于X 是Banach 空间,且)(T D 是X 的闭子集,因此)(T D 作为X 子空间是完备的.由T 是闭线性算子可知)(T G 是Y X ⨯的闭子集,由于T 是线性的,因而)(T G 是Y X ⨯的子空间,从而)(T G 是Y X ⨯的完备子空间.定义从Banach 空间)(T G 到Banach 空间)(T D 的线性算子P :)()(:T D T G P →).(),(,),(T G Tx x x Tx x P ∈=任意则P 是线性算子,且||),(||||||||||||||||),(||Tx x Tx x x Tx x P =+≤=.故1||||≤P ,从而))(),((T D T G L P ∈.由P 的定义可知P 是双射,因而由逆算子定理可知1-P 存在,且))(),((1T D T G L P∈-,故对任意)(T D x ∈,有 ||||||||||||||),(||||||||||||||11x P x P Tx x Tx x Tx ⋅≤==+≤--所以,T 是)(T D 到Y 的线性连续算子.若T 的定义域X T D =)(,即T 是X 到Y 的线性算子,则闭图像定理有下面简明形式. 推论 3.4.2 设X ,Y 是Banach 空间,且T 是X 到Y 的线性算子,则),(Y X L T ∈当且仅当T 是闭线性算子.例题 3.4.1 设X ,Y ,Z 是Banach 空间,若),(Z X L A ∈,),(Z Y L B ∈,并对任意的 X x ∈,方程By Ax =都有唯一解y ,试证明由此定义的算子y Tx Y X T =→,:,有),(Y X L T ∈.证明 容易验证T 是线性算子,要证明T 是线性连续算子,只需证明T 是闭算子.对于X x n ∈, Y y Tx x x n n ∈→→,,有n n BTx Ax =.由于B A ,都是连续的,因此By BTx Ax Ax n n n n ===∞→∞→lim lim从而y Tx =所以,T 是闭算子,由闭图像定理可知,),(Y X L T ∈.习题三3.1 设算子0:c l T →∞,∞∈==l x x x Tx i i i)(),2(任意,试证明T 是线性有界算子,并求||||T . 3.2 设1)(l x i ∈,算子11:l l T →, 1)(),3(l x x x Tx i ii ∈==任意,试证明T 是线性有界算子,并求||||T . 3.3 对任意0c x ∈,定义∑∞==1!)(i i i x x f ,试证明*∈0c f ,并求||||f . 3.4 设),(Y X L T ∈,试证明||||sup ||||1||||Tx T x <=.3.5 设X 和Y 是实赋范空间,T 为X 到Y 的连续可加算子,试证明),(Y X L T ∈.3.6 设c 是所有收敛实数列全体,范数||sup ||||i x x =,}{i α为实数列,若对任意c x ∈,都有∞<=∑∞=|||)(|1i i i x x f α,试证明i i i x x f ∑∞==1)(α为c 上的线性连续泛函,并且∞<=∑∞=||||||1i i f α.3.7 设X ,Y 是赋范空间,}0{≠X , 试证明Y 是Banach 空间当且仅当),(Y X L 是Banach 空间.3.8 设X 是Banach 空间,*X f n ∈且对任意)()(lim ,x f x f X x n n =∈∞→,试证明*∈X f . 3.9设X 是实赋范空间,X x n ⊂}{, 试证明对所有的*∈X f ,都有∞<∑∞=|)(|1i i x f 当且仅当存在0>M ,使得对任意的正整数n 和1±=i δ,都有M x in i i <∑=||||1δ. 3.10 设X ,Y 是赋范空间,Y X T →:是线性算子,且T 是满射,若存在0>M ,使得||||||||x M Tx ≥对任意X x ∈成立,试证明1-T 是线性连续算子,且MT 1||||1≤-. 3.11 设T 为赋范空间X 到赋范空间Y 的闭线性算子,且1-T 存在,试证明1-T 是闭线性算子.3.12 设X 是Banach 空间,f 是X 上的非零线性泛函,试证明f 一定是开映射.3.13 设X 是赋范空间,T 是从X 到X 的线性算子,X T D =)(,S 是从*X 到*X 的线性算子,*=X S D )(若对任意*∈∈X f X x ,,有)())((Tx f x Sf =,试证明T 和S 都是线性连续算子.3.14 设X ,Y 是赋范空间,T 为X 到Y 的闭线性算子,F 为X 的紧集,试证明)(F T 为Y 的闭集.3.15 设X 为Banach 空间,T 为X 到X 的线性算子,若T T =2,且)(T N 和)(T R 都是闭的,试证明),(X X L T ∈.3.16 设X ,Y 赋范空间,),(,Y X L T T n ∈,若n T 强收敛于T ,试证明n T 弱收敛于T .3.17 设22:l l P n →,)0,,0,,,,(),,,,,(21121 n n n n x x x x x x x P =+,试证明n P 强收敛于I ,但n P 不一致收敛于I .哈恩Hans Hahn 于1879年9月27日出生于奥地利的维也纳,他在维也纳大学跟Gustav Ritter von Escherich攻读博士学位, 1902获得博士学位,博士论文题目为Zur Theorie der zweiten Variationeinfacher Integrale.他是切尔诺夫策(Chernivtsi)大学(1909–1916),波恩大学(1916–1921)和维也纳大学(1921–1934)的教授.Hahn的最早的结果对古典的变分法做出贡献,他还发表了关于非阿基米德系统的重要论文, Hahn是集合论和泛函分析的创始人之一,泛函分析的重要定理之一, Hahn-Banach定理就是Hans Hahn(1879-1934) 以他的名字命名的.他在1903 到1913间对变分法做出了重要的贡献.在1923他引进了Hahn 序列空间.他还写了关于实函数的两本书Theorie der reellen Funktionen (1921)和Reelle Funktionen (1932).Hahn获得过很多荣誉,包括1921年的Lieban奖,他是奥地利科学院院士,他还是Calcutta 数学学会名誉会员.Hahn对数学的成就主要包括著名的Hahn-Banach定理, 其实很少人知道,实际上Hahn 独立地证明了(Banach和斯坦豪斯得出的)一致有界原理. 其他定理还有Hahn分离定理、维他利-哈恩-萨克斯定理(Vitali-Hahn-Saks theorem)、哈恩-马祖凯维奇定理(Hahn-Mazurkiewicz theorem)和哈恩嵌入定理(Hahn embedding theorem)等. Hahn的数学贡献不限于泛函分析,他对拓扑学、集合论、变分法、实分析等都有很好的贡献.同时,他也活跃于哲学界,是维也纳学派的一员.。
第三章赋范线性空间
![第三章赋范线性空间](https://img.taocdn.com/s3/m/81022cfa866fb84ae55c8d60.png)
空间
§3.2 按范数收敛
赋范线性空间中点列的收敛性及概念,只要在由
范数导出的距离 (x, y) x y 之下来讨论,就可以得
到相应的结论。
1) 定义 设 E 是赋范线性空间,点列 xn及x E ,如果
lim
n
xn x
0
则称点列 xn 按范数收敛于 x ,或称 xn 强收敛于 x ,记作
lim
注:由于(E, )在 (x, y) x y 定义下也是 (E, ) , 所以在(E, )中可类似定义——邻域、开集、闭集、极 限点、收敛点列、柯西点列等,并可讨论相关的结论: 完备性、可分性、紧性等。
4)巴拿赫空间(Banach) 如果赋范线性空间(E, )按范数导出的距离空间
(E, ) 是完备的,则称 E 是 Banach 空间。 同样的,不完备的赋范线性空间可以完备化。
2)赋范线性空间 (1)定义 设 E 是实数(或复数)域 K 上的线性空间。 若xE 按规一则定 实数 x 0,且满足下列三条(范数公理)
(1)正定性: x 0,当且仅当x 0时, x 0 (2)齐次性: x x (3)三角不等式x, y E, 有 x y x y x y
则称实数 x 为 x 的范数,称 E 为赋范线性空间,记作
3)范数的等价性
定义
设线性空间 E 中定义了两种范数
x和 1
x 2
如果由 xn 1 0 xn 2 0 ,称 x 1比 x 2更强;
若又由
xn
0
2
xn
0 ,即
1
x
2比
x 1更强,
则称范数 x 1与 x 2等价。
注:范数等价具有传递性
例如:可以证明 Rn 中三种范数
x、 1
第三章 有界线性算子
![第三章 有界线性算子](https://img.taocdn.com/s3/m/b3b8720e0b1c59eef9c7b406.png)
第三章 有界线性算子一 有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射 ,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。
称)(T D 是T 的定义域。
特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。
如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。
此外取算子范数作为空间中的范数。
定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。
定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。
2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。
在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。
此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。
由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。
在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。
事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。
如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。
第三章 线性算子与线性泛函
![第三章 线性算子与线性泛函](https://img.taocdn.com/s3/m/70beb07931b765ce050814aa.png)
∫
b
a
x(t )t ≈
0≤ k ≤ n
∑
Ak x(tk )(a ≤ t0 < t1 < < tn = b) (3)
需要讨论的是什么条件下,当n → ∞时,上式的误差趋于0? 现在可证公式(3)对每个连续函数x ∈ C[a, b]都收敛,即
0≤ k ≤ n
∑
Ak x(tk ) → ∫ x(t )dt
1, x = x1 1 || F ||= , F ( x) = inf{|| x1 m ||: m ∈ M } 0, x ∈ M
定理3的证明:由于f 是M 的有界线性泛函,那么 | f ( x) |≤|| f ||M || x ||, 这里 || f ||M = sup{| f (m) |; m ∈ M }.
y ′′∈M y ′∈M
2 做出f 满足以下条件的全部延拓; f |M = f f ( x ) ≤ p ( x ) ,x ∈ X 记这些延拓的全体为Γ . 那么我们有 g |M = f Γ = g | g是D ( g ) 上的线性泛函, . g ( x ) ≤ p ( x ) ,x ∈ D ( g ) M
推论2:设 x1 ∈ X 且x1 ≠ θ ,则存在X上的有界 线性泛函满足 F ( x1 ) =|| x1 || 且 || F ||= 1。
注:这表明只要X多有一点,则X上必存在非零的 连续线性泛函。
第三章 有线性算子
![第三章 有线性算子](https://img.taocdn.com/s3/m/511f7f3ef524ccbff121849a.png)
第三章 有界线性算子一 有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射 ,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。
称)(T D 是T 的定义域。
特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。
如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。
此外取算子范数作为空间中的范数。
定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。
定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。
2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。
在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。
此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。
由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。
在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。
事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。
如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。
赋范线性空间
![赋范线性空间](https://img.taocdn.com/s3/m/96e5d07827284b73f24250d7.png)
(1) 线性性: ∀x = (x1, , xn ) , y = ( y1, , yn ) ∈ R , α, β ∈ R
T T n
1
T (α x + β y) = A(α x + β y) = α Ax + β Ay = αTx + βTy
∀x = ( x1 , , xn )T ∈ R n , Tx = Ax = ( z1 , , zm )T ∈ R m (2)有界性:
T 定义: E、 1 是赋范线性空间, : D(T ) ⊂ E → N (T ) ⊂ E1 。 设 E
(1)线性算子:若 ∀x, y ∈ D(T ), α ∈ K (数域) ,有
⎧T ( x + y ) = Tx + Ty ⎨ 即 T (α x + β y) = αTx + β Ty T (α x) = α Tx ⎩
3)范数的等价性 定义 设线性空间 E 中定义了两种范数 x 1和 x 2 如果由 xn 1 → 0 ⇒ xn 2 → 0 ,称 x 1比 x 2 更强; 若又由 xn 2 → 0 ⇒ xn 1 → 0 ,即 x 2 比 x 1更强, 则称范数 x 1与 x 2 等价。 注:范数等价具有传递性
例如:可以证明 Rn 中三种范数 x 1、 x 2 、 x ∞ 相互等价
m n
T 2
⎛ ⎞ = ∑ z = ∑ ⎜ ∑ aij x j ⎟ i =1 i =1 ⎝ j =1 ⎠
m 2 i
⎛ ⎞ ⎛ m n 2⎞ ≤ ∑ ⎜ ∑ aij x j ⎟ ≤ ⎜ ∑∑ aij ⎟ i =1 ⎝ j =1 ⎠ ⎝ i=1 j =1 ⎠
2
x2 = M x ∑ j
j =1
赋范空间及其性质
![赋范空间及其性质](https://img.taocdn.com/s3/m/baba6c7b590216fc700abb68a98271fe910eaf2c.png)
赋范空间及其性质赋范空间是数学分析中一个非常重要的概念,也是线性代数、拓扑学的重要内容之一。
本文将对赋范空间的概念、性质以及应用进行介绍。
一、赋范空间的概念赋范空间是一种向量空间,它在向量空间上还定义了一个范数,这个范数满足三条公理:1.非负性:对于 x∈X,有||x||≥0并且||x||=0当且仅当x=0;2.齐次性:对于 x∈X 和λ∈K(其中 K 是实数域或者复数域),有||λx||=|λ| ||x||;3.三角不等式:对于 x,y∈X,有||x+y||≤||x||+||y||。
赋范空间的一个重要特点是它是一个可度量的向量空间。
在赋范空间中,有一个用于度量向量长度的函数,这个函数可以用来衡量向量的大小和方向。
二、赋范空间的性质1. 赋范空间是一个度量空间。
2. 赋范空间的所有范数是等价的。
具体来说,如果∥⋅∥ 1 和∥⋅∥ 2 是同一向量空间 X 上的两个范数,则存在两个正数 A 和 B,对于所有 x∈X,有A∥x∥1≤∥x∥2≤B∥x∥1。
3. 赋范空间中的所有有界子集都是可列紧的。
这是紧性的一种形式,它告诉我们在赋范空间中的有界集合一定可以在有限的步骤内被完全覆盖。
4. 赋范空间中的任意 Cauchy 序列都收敛。
这个性质在分析中有重要的应用,因为它确保了我们在无穷维空间中仍然可以定义连续的函数。
5. 赋范空间中的每一闭凸子集是可分离的。
这个性质在拓扑学中有重要的应用,因为它告诉我们可以通过分别考虑凸集合来分析空间的性质。
三、赋范空间的应用赋范空间在分析学中有着广泛的应用。
例如,在微积分、偏微分方程、泛函分析、概率论等领域中,我们需要通过赋范空间来定义函数空间和算子空间。
此外,赋范空间还被广泛应用于类似于图像处理和模式识别等问题的机器学习和计算机视觉领域中。
总之,赋范空间是一种非常重要的数学概念,它在数学和其他领域中有着广泛的应用。
它的重要性在于,它通过引入范数将向量空间扩展为可度量的空间,从而使分析成为可能。
第三节线性算子 ppt课件
![第三节线性算子 ppt课件](https://img.taocdn.com/s3/m/e15ef3c8fe4733687e21aacd.png)
(2.)T : L1[a, b] L1[a, b]时 , || T || b a
•一 般 来 说 , 求 一 个 具 体 算 子 的 范 数 并 不 容 易 , 很 多 场合中只能对其范数做出估计
2020/4/13
• 注:设f是赋范线性空间X上的线性泛函,则 (1) f连续当且仅当f的零空间N(f)是X的闭
2020/4/13
•设X是赋范线性空间,a是一常数。映射T:T(x)ax称为 相似算子,a1时,称为恒定算子或单位算子,记为I。
•例1.定义:Tx(t)at x()d, f(x)abx()d,xC[a,b],
则T是C[a,b]上的一个线性算子,f是一个线性泛函。
• 例2. 区间[0,1]上的连续可微函数全体按极大模是赋sinnt},显然||sinnt||1,但 || d (sinnt)||n||cosnt||n(n)
dt 因此,微分算子d :C1[0,1]C[0,1]是无界算子。
dt
2020/4/13
定理2:线性算子T是连续的充要条件是T是有界的。
•算 子 T的 范 数 || T ||:式 || T ( x) || M || x || , x D (T )中 M 的 下 确 界 。
2 . 赋 范 线 性 空 间 X 上 的 有 界 线 性 泛 函 的 全 体 B ( X , R ), 按 前 面 引 入 的 运 算 与 范 数 || f || su p || f ( x ) || 构 成 一 个 B an ach
|| x || 1
空 间 , 我 们 称 之 为 X 的 共 轭 空 间 , 记 为 X *; (a)如 果 赋 范 线 性 空 间 X 等 距 同 构 于 X *,则 称 X 是 自 共 轭 的 ; ( b ) 如 果 赋 范 线 性 空 间 X 等 距 同 构 于 ( X *)* , 则 称 X 是 自 反 的 。
第三章有界线性算子
![第三章有界线性算子](https://img.taocdn.com/s3/m/036fcc00657d27284b73f242336c1eb91b37335e.png)
第三章有界线性算子第三章有界线性算子一有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。
称)(T D 是T 的定义域。
特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。
如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。
此外取算子范数作为空间中的范数。
定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。
定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。
2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。
在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。
此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。
由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。
在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。
事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。
如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。
应用数学基础第三章-赋范线性空间和有界线性算子详解
![应用数学基础第三章-赋范线性空间和有界线性算子详解](https://img.taocdn.com/s3/m/972ddec552d380eb63946d1b.png)
定义4
设 X 为赋范线性空间,{xn}n≥1∈X,如 果对 0,自然数,对一切 n,m>N,
均有 ||xm-xn||<,则称 {xn}n≥1 为 X 中
Cauchy 序列
形象而言, 一个序列为 Cauchy 序列, 是指当n
充分大时,序列中点落在一个很小的局部邻域内.
由 Cauchy 序列的定义可推导:
(1) 收敛序列为 Cauchy 序列,反之不真;
()
如果
lim
n
xn
x0,则对 0,,
当 n>N 时, ||xn-x0||< , 从而
||xn-xm||=||xn-x0+ x0-xm||≤||xn-x0||+||xm-x0||<2
故 {xn} 为 Cauchy 序列
() 反例:X={(1,2,···)|i∈C,其中仅有有限个 i≠0} 对 x=(1,2, ···),y=(1, 2,···) ∈X,∈ C 令 x+y=(1+ 1 ,2+ 2 ···) x=(1, 2,···)
(3) 对x, y, z X , d(x, y) d(x, z) d(z, y)
则称 d 为 X 上的度量,(X, d) 为度量空间。
如果(X , )为赋范线性空间,则对 x, y X 令 d(x, y) x y ,则 (X, d) 为度量空间。
40 由范数导出的度量满足:
d(x z, y z) d(x, y) d(x,y) d(x, y)
(3) 如果 Cauchy 序列的某个子序列收敛,则 Cauchy 序列也收敛,并且极限相同。
定义5:如果赋范线性空间 X 中每个 Cauchy序列
都收敛,则称 X 为完备的。完备的赋范线性空间 称为 Banach 空间。如果内积空间是完备的,则 称它为 Hilbert 空间
3.2有界线性算子
![3.2有界线性算子](https://img.taocdn.com/s3/m/ae3e1e04763231126edb11f9.png)
D(T ) 上是连续的(即在一点连续,则在定
义域上处处连续) 。
定理 3. 2. 4(连续性与有界性) 设 X , Y 是赋范空间, T : D(T ) X Y 是线性算 子,则 T 为连续的充分必要条件为 T 是有界 的。 证明(不要) 。
3.2.3 线性算子空间
定理 3.2.6(线性算子空间) 设 X , Y 是数域 K 上的赋范空 间, B( X , Y ) 是定义在全空间 X 上、值域在 Y 中的有界线性算 子的全体,若在 B( X , Y ) 上定义如下的代数运算:
举例:
1、恒等算子
2、零算子
微分算子
4、积分算子 5、矩阵
定理 3. 2. 2 (有限维空间上线性算子的有界性) 如果赋范空间 X 是有穷维的,则 X 上的每一个线性算子均是有界的。
定理 3. 2. 3(算子的连续性) 设 X , Y 是赋 范空间, T : D(T ) X Y 是线性算子, 若 T 在 某 一 点 x0 D(T ) 连 续 , 则 T 在
3.2 有界线性算子
3. 2. 1 有界线性算子 定义 3. 2. 1(有界线性算子) 设 X , Y 为同一数域 K 上的 赋范线性空间, T : D(T ) X Y 是线性算子。如果存在常数
C 0 ,使得对一切 x D(T ) 有
Tx
Y
C x
X
那么就称 T 为有界线性算子,否则称为无界的。
T B( X , Y )
则 B( X , Y ) 构成一赋范线性空间。
(T1 T2 ) x T1 x T2 x , T1 , T2 B( X , Y ), x X
(T ) x Tx , K , T B( X , Y ), x X
第三节线性算子
![第三节线性算子](https://img.taocdn.com/s3/m/5cc989335a8102d276a22faa.png)
当X = Y时,称T 是线性变换,当Y = K时,称T 是线性泛函。 相关概念:核空间ker T、线性同构。 称T 在x点连续,是指对任意点列{xn }, 若xn → x, 则Txn → Tx; 若T 在X 的每一点都连续,则称T 在X 上连续。 定理1.设X , Y 是赋范线性空间,T : X → Y 是线性算子,则 (a)T 在X 上连续当且仅当T 在X 中的某点x0处连续;特别的 等价于若xn → θ ( X 中零元),则Txn → θ (Y中零元). (b)当X 的维数有限时,T 在X 上是连续的。
fx0有界线性算子空间110111supsupsup1sup0002supsupxxxxxxtxtbxyttxtxxttxttbxyttxtxt????????????????????????算子的范数验证算子算子范数满足以下条件
赋范线性空间
内积空间
三个空间的关系
赋范线性空间都是距离空间:ρ(x,y )= || x y ||; 反之,要求距离满足条件 : ρ (ax, θ ) =| a | ρ ( x, θ ), 范数定义 || x ||= ρ ( x, θ )。 内积空间都是赋范线性空间 :|| x ||= ( x, x) 2 ;反之, 范数满足中线公式: x + y ||2 + || x y ||2 = 2 || x ||2 +2 || y ||2 , || 内积定义 1 (x,y )= (|| x + y ||2 || x y ||2 +i || x + yi ||2 i || x + yi ||2 ) 4
因为任何n维赋范线性空间都与n维欧式空间线性同构,所 以有限维的赋范线性空间是线性同构的当且仅当它们的维 数相等。 绝大多数的泛函分析课程都是讲述特殊的线性空间和线性 算子的性质,而自然界中的现象更多是非线性的,非线性 问题是更广阔更具有挑战性的领域,有着多样性和复杂性。 人们在处理这类问题的方法: 一、推广线性情形时的有关理论的想法和方法; 二、化整为零,在局部范围内运用线性方法,将非线性问 题转化为线性问题
赋范线性空间
![赋范线性空间](https://img.taocdn.com/s3/m/33057a678762caaedc33d46a.png)
第二章赋范线性空间一赋范空间的基本概念1赋范空间的定义定义设X是域K上的线性空间,函数||』:X R满足条件:1)对任意x X , 0 ;且||x|卜0,当且仅当x = 0 ;2)对任意x X及K , x|卜| | ||x|| (齐次性);3)对任意x, y X , x y|卜|| x|| || y||(三角形不等式)称1111 是X 上的一个范数,X上定义了范数|| ||称为赋范(线性)空间,记为(X,|「||),有时简记为X。
在一个赋范线性空间(X ,|| • II)中,通过范数可以自然地定义一个距离,d(x,y)=||x- y||, x,^ X (1)称赋范空间这个距离是由范数诱导的距离,这个赋范空间是一个距离空间。
2赋范空间的基本性定理1.1设(X,|| II)是赋范空间,则1) 范数是一个连续函数,即当时x 、nx (n 、)时, llXnir ||x||(n …);2) 线性运算是连续的,即当x Tn x及y n >y时,Xn % X y ;当a n‘ a及x n x时,d x n ax (n )定理1.2 设(X,|| ||)是赋范空间,如果是完备的且级数:」|X k IF ||X i II +|| X2 ||+…+||X2 ||+…⑷收敛,则级数7 X n收敛,且|「X n |^ V||X n ||。
反之,如果在n -1 n 4n -1 1一人赋范空间中,任意无穷级数(4)收敛有级数二x n收敛,则空n 二间是Banach空间3凸集凸集是线性空间中一个重要的几何概念,它在泛函分析中有着十分广泛应用。
定义设X是线性空间,A是X子集,如果对任意X,y A,及满足0疳〉<1的数〉,x (1 )y A称A是X中的凸集。
从定义不难看出,任意个凸集的交集还是凸集。
设A是空间X 中任意子集,所有包含集A的凸集交集是凸集,称这个凸集是集A生成的凸集或集A的凸包,记为Co(A)。
4赋范空间的例例1空间R n。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
n
绝对收敛
定义3 设 X 和 Y 是两个赋范线性空间, XY x0X,如果对 0, 0, 当 x x0 时,
f ( x) f ( x0 ) ,则称 f 在点 x0 处连续。 如果 f 在 X 中每一点都连续,则称 f 在空间 X 上 连续。
由连续映射的定义易知:
(1) f 在点 x0 X 处连续 对 {xn } X 果 ,如
xn x0 ,则 f ( xn ) f ( x0 ) ;
(2) 范数 ||•||: R 是连续映射; X (3) X 上线性运算(加法与数乘)也是连续映射; (4) 内积空间中内积运算是连续映射。
1.3 Cauchy 序列与 Banach 空间
x y (1 1 , 2 2 ,, n n ,)
x (1 , 2 ,, n ,)
则( X ,,)构成复数域 C 上的线性空间。 再令 d ( x, y ) 2
i 1 i
i i 1 i i
则 d 为 X 上的度量,但这种度量不满足
n 1 j n i 1 n
2
(F-范数) (列和范数) (行和范数)
A 1 max aij
A max aij
1i n j 1
Notes:
10 内积空间按内积诱导的范数构成赋范线性空间;
20 并不是所有的赋范线性空间都可由内积空间按内积诱导 成空间;
例1:设 f : X→Y,则 f 为连续映射 开集的
原象为开集 闭集的原象为闭集。
2.2 集合的闭包
定义2: 设 X 为赋范线性空间,AX, xX, 如果对 r >0,均有 B( x, r ) A ,则称 x 为
A 的接触点(也称聚点)。A 的所有接点组成的集合 称为 A 的闭包,记为 A 。
例1:
X C
nn
, Am aij
, (m 1)
(m)
m
A0 aij
(0)
max 在 X 中定义如下范数: A 1i , jn aij
则 lim Am A0 lim Am A0 0
m
lim max a
m 1 i , j n m m
n P x p i (1 p ) i 1 则 ||•|| 和 ||•||p 均为 C n 中的范数,称 ||•|| 为最大值范数, ||•||p 为 p 范数。
由于范数的定义不同,故 (X , ||•|| ) 与 (X, ||•||p )是 两个不同的赋范线性空间。
iN
则 ( X, ||•|| ) 为赋范线性空间。
取 {xn}n≥1 ∈X, xn=(1,1/2, ·,1/n,0,0, ·) ,n=1,2·, · · · · · · 则 {xn} 为 X 中 Cauchy 序列,但 {xn} 不为 X 中收敛 序列。 (2) Cauchy 序列为有界序列; (3) 如果 Cauchy 序列的某个子序列收敛,则 Cauchy 序列也收敛,并且极限相同。
d (x,y ) d ( x, y )
1.2 收敛函数与连续映射
{ 定义2:设 X 为赋范线性空间,xn }n1 X
如果存在 x0 X ,使得 lim xn x0 0 , n 则称 {xn} 依范数收敛于 x0,记为
lim xn x0
n
这时也称 x0 为序列 {xn }n1 的极限。
b a
x(t ) dt
2
1 2
例3: X C nn
A m max aij
1i , j n
A (aij ) nn X
(最大值范数)
p
A ( p)
n n aij i 1 j 1
1 2
1 p
(1 p )
AF
n n aij i 1 j 1
n
由收敛序列的定义易知:
(1) 收敛序列的极限唯一;
(2) 收敛序列必为有界序列;
(两集合的距离;集合的直径;有界的条件)
(3)
x
n 1
n
s lim Sn S,其中 Sn xi
n
n
i 1
若 t n || xi || 收敛,称
i 1
n
Sn xi
i 1
定义4 设 X 为赋范线性空间,{xn}n≥1∈X,如 果对 0,自然数,对一切 n,m>N,
均有 ||xm-xn||<,则称 {xn}n≥1 为 X 中
Cauchy 序列
形象而言, 一个序列为 Cauchy 序列, 是指当n
充分大时,序列中点落在一个很小的局部邻域内.
由 Cauchy 序列的定义可推导:
l 空间为 Banach 空间。
p
例4 C[0,1] 关于最大值范数构成 Banach 空间,但 关于积分1-范数不构成 Banach 空间。 例5 P[0,1] 关于 x max x (t ) 不构成 Banach
t[ 0 ,1]
空间。
关于绝对收敛的结论:设X是赋范线性空间,X中每 一个绝对收敛的级数都收敛,当且仅当X是完备的。
令 d ( x, y ) x y ,则 (X, d) 为度量空间。 40 由范数导出的度量满足:
d (x, y ) d ( x, y )
d ( x z, y z ) d ( x, y)
50 度量空间中度量未必均可由范数诱导。 例如: X {(1 , 2 ,, n ,) i C , i 1,2,} 对 x (1,2 ,,n ,) y (1 ,2 ,,n ,) C 令
取 x0 (1,1,0,,0) l , 1
p
y0 (1,1,0,,0) l p
x0 y0 2 ,
p
x0 y0 x0 y0 2
2
x0 y0
2
x0 y0
2 x0
2
y0
2
30 赋范线性空间可构成度量空间;
度量空间:X,如果存在 d: X×XR ,满足
1.4
等价范数
如果存在正实数 a 和 b,使得对一切 xX,均有: a ||x||2 ≤ ||x||1 ≤b ||x||2 则称 ||•||1 与 ||•||2 等价
定义6:设 ||•||1 和 ||•||2 是线性空间 X 中的两个范数,
10 如果 ||•||1 和 ||•||2 等价,则{xn} 为 (X, ||•||1) 中的 Cauchy 序列 {xn} 为 (X, ||•||2) 中的 Cauchy 序列; 20 如果 ||•||1 与 ||•||2 等价,则 {xn} 依范数 ||•||1 收敛于x {xn} 依范数 ||•||2 收敛于 x; 30 如果 ||•||1 与 ||•||2 等价,则 (X, ||•||1) 为 Banach 空间 (X, ||•||2) 为 Banach 空间; 40* 有限维空间中任何两种范数都等价。
定义5:如果赋范线性空间 X 中每个 Cauchy序列
都收敛,则称 X 为完备的。完备的赋范线性空间 称为 Banach 空间。如果内积空间是完备的,则 称它为 Hilbert 空间
例1 空间 R 和 C 均为 Banach 空间。
例2 Rn 和 Cn 关于 p 范数构成 Banach 空间。特 别 p=2 时,构成Hilbert空间。 例3
第三章
§1 赋范线性空间
1.1 定义及示例 定义1:设 X 是数域 K 上的线性空间, 如果存在映射 ||•||:X→R,并满足:
(1) 非负性:对 xX, ||x||0, 并且 ||x||=0 x=0 (2) 齐次性:对 xX,K,||x||=||||x|| (3) 三角不等式:对 x,yX,||x+y|| ||x||+||y||
§2 赋范线性空间中点集
2.1 开集与闭集
设 X 为赋范线性空间, x0∈X, 记 B(x0, r)={x | x∈X, ||x-x0||<r} r>0 开球(邻域) 闭球 球面
B ( x0 , r )={x | x∈X, ||x-x0||≤r}
S (x0,
r)={x | x∈X, ||x-x0||=r}
(1) 收敛序列为 Cauchy 序列,反之不真; () 如果 lim
xn x0,则对 0,, n
当 n>N 时, ||xn-x0||< , 从而 ||xn-xm||=||xn-x0+ x0-xm||≤||xn-x0||+||xm-x0||<2 故 {xn} 为 Cauchy 序列 () 反例:X={(1,2,·)|i∈C,其中仅有有限个 i≠0} · · 对 x=(1,2, ·),y=(1, 2,·) ∈X,∈ C · · · · 令 x+y=(1+ 1 ,2+ 2 ·) · · x=(1, 2,·) · · ||x||= max i
则称 ||•|| 为 X 上的范数,(X, ||•||) 为赋范线 性空间。
例1: C n {(1 , 2 ,, n ) i C , i 1,2,, n} X K C
对 x (1 , 2 ,, n ),令
x
max i
1 i n
1 P
性质: x A d ( x, A) 0 存在 {xn} A xn→x,x A
(m) ij
a
(0) ij
0
( ( lim aijm ) aij0 ) 0 ( ( lim aijm ) aij0 )
例2: