§2.6赋范空间习题课
1.在l ∞ 中按坐标定义线性运算,且对x={ξ k }∈l ∞ ,定义
∥x∥=sup n |ξ n |
证明:l ∞ 是一个赋范空间.
分析:根据范数的定义(定义2.1.1)证明即可.
证明:(i)∥x∥=sup n |ξ n |≥0(非负性);
(ii)∥x∥=0⇔sup n |ξ n |=0⇔ξ n =0⇔x=0(正定性);
(iii)∥αx∥=sup n |αξ n |=|α|sup n |ξ n |=|α|∥x∥(正齐次);
(iv)∥x+y∥=sup n |ξ n +η n ∥≤sup n |ξ n |+sup n |η n |=∥x∥+∥y∥
(三角不等式)
故(l ∞ ,∥⋅∥)是赋范线性空间.
2.设在线性空间X中定义的距离d满足平移不变性和相似性,即
d(x+z,y+z)=d(x,y)(0.0.1)
d(αx,αy)=|α|d(x,y)(0.0.2)
令∥x∥=d(x,0).证明(X,∥⋅∥)是赋范线性空间.
分析:根据范数的定义(定义2.1.1),只需验证满足范数的4个条件.
注意(0.0.1)和(0.0.2)是范数诱导的距离要满足的必要条件,见定理2.1.5.
证明:
(i)∥x∥=d(x,0)≥0(非负性);
(ii)∥x∥=0⇔d(x,0)=0⇔x=0(正定性);
(iii)根据相似性(0.0.2),
d(αx,0)=d(αx,α0)=|α|d(x,0),我们有
∥αx∥=d(αx,0)=|α|d(x,0)=|α|∥x∥(正齐次);
(iv)由距离的三角不等式,
∥x+y∥=d(x+y,0)≤d(x+y,y)+d(y,0)
根据平移不变性(0.0.1)可得d(x+y,y)=d(x,0),
故∥x+y∥≤d(x,0)+d(y,0)=∥x∥+∥y∥(三角不等式)
所以(X,∥⋅∥)是赋范线性空间.
3.设(X,∥⋅∥)是赋范空间,对于x,y∈X,令
d(x,y)={0,x=y;∥x−y∥+1,x≠y. (0.0.3)
证明:d是距离,但不是由范数诱导的距离.
即不存在X上的范数∥⋅∥ 1 ,使得
d(x,y)=∥x−y∥ 1 ,x,y∈X.
分析:注意一般距离和范数诱导距离(定理2.1.5)的区别.
一般的距离满足:
(1)d(x,y)≥0(非负性);
(2)d(x,y)=0当且仅当x=y(严格正);
(3)d(y,x)=d(x,y)(对称性);
(4)d(x,y)≤d(x,z)+d(z,y)(三角不等式).
范数诱导的距离除了满足以上4个性质,还需满足:
(5)d(x,y)=d(x+z,y+z)(平移不变性);
(6)d(αx,αy)=|α|d(x,y)(相似性).
证明:d(x,y)满足非负性、严格正、对称性是明显的.
下证距离三角不等式成立.
若x=y,则
d(x,y)=0≤d(x,z)+d(z,y);
若x≠y,d(x,y)=∥x−y∥+1,
根据范数(2.1.1)三角不等式,我们有:
d(x,y)=∥x−y∥+1≤∥x−z∥+∥z−y∥+1.
由于z不能同时等于x和y,不妨假定x≠z,上式成为:
d(x,y)=∥x−y∥+1≤∥x−z∥+∥z−y∥+1
=d(x,z)+∥z−y∥≤d(x,z)+d(z,y)
注意:根据定义,d(z,y)≥∥z−y∥总成立.
即三角不等式成立.所以d(x,y)是距离.
但因为
d(αx,0)={∥αx∥+1,x≠0;0,x=0
显然若α∉{1,−1,0},x≠0,则d(αx,0)≠|α|d(x,0),即不
满足正齐次性,所以d(x,y)不是范数诱导的距离.
注:在2−3题中,注意赋范空间中距离和一般距离空间中的距离的不同点.
4.设(X,∥⋅∥)是赋范空间,X≠{0}.
证明:X为Banach空间的充要条件是X中单位球面
S={x∈X|∥x∥=1}
是完备的.
分析:赋范空间X完备⇔X中的任意Cauchy列{x n }都收敛.
证明:必要性:设{x n }⊂S为基本列,因为X完备,所以
存在x∈X使得x n →x.则由范数的连续性(定理2.1.4),
我们有
∥x∥=∥lim n→∞ x n ∥=lim n→∞ ∥x n ∥=1,
故x∈S,即S完备.
充分性:设S完备,任取X中基本列{x n },因为
|∥x n ∥−∥x m ∥|≤∥x n −x m ∥→0(n,m→∞),
所以{∥x n ∥}为收敛数列.
(1)若lim n→∞ ∥x n ∥=0,则lim n→∞ x n =0;
(2)若lim n→∞ ∥x n ∥=a>0,
则n充分大时∥x n ∥≥a2 >0,令x ′ n =x n ∥x n ∥ ,则x ′ n ∈S.
∥x ′ n −x ′ m ∥=∥∥x m ∥x n −∥x n ∥x m ∥x n ∥⋅∥x m ∥
≤∥x n −x m ∥∥x n ∥ +|∥x m ∥−∥x n ∥|∥x n ∥
≤2a (∥x n −x m ∥+|∥x m ∥−∥x n ∥|)(n充分大)
我们有
lim n,m→∞ ∥x ′ n −x ′ m ∥=0,
所以{x ′ n }为S中的基本列.
因为S完备,必存在x ′ ∈S,使得x ′ n →x ′ (n→∞)
于是
x n =∥x n ∥x ′ n →ax ′ ∈X,
即X完备.
5.证明l p (1≤p<∞)是可分的Banach空间.
分析:可分性和完备性是拓扑性质,赋范空间的可分性
和完备性在范数诱导的距离下来考虑.
X完备⇔任意的X中的Cauchy列收敛.
X可分是指X中存在可数稠密子集.
证明:我们知道l p ,1≤p<∞上的范数为
∥x∥ p =(∑ k=1 ∞ |ξ k | p ) 1p ,
且由范数诱导的距离是
d(x,y)=(∑ n=1 ∞ |ξ n −η n | p ) 1p
(i)完备性:
设x n ⊂l p 为基本列,其中x n ={ξ i (n)},
则对任给的ε>0,存在N,当n,m≥N时,有
d(x n ,x m )=(∑ n=1 ∞ |ξ (n) i −ξ (m) i | p ) 1p <ε(0.0.4)
则当n,m≥N时,
|ξ (n) i −ξ (m) i }<ε(i=1,2,3,⋯)(0.0.5)
故对每个i,数列{ξ (n) i }收敛.设
ξ i =lim n→∞ ξ (n) i ,x={ξ i } ∞ i=1
下面证明x∈l p ,且x n →x.
由(0.0.4)式知,对任意的自然数k都有
∑ i=1 k |ξ (n) i −ξ (m) i | p <ε p (n,m≥N),
固定n≥N,上m→∞,得
∑ i=1 k |ξ (n) i −ξ i | p ≤ε p (n≥N),
再令k→∞,得
∑ i=1 ∞ |ξ (n) i −ξ i | p ≤ε p (n≥N)
故x∈l p ,x n →x,完备性得证.
(ii)可分性,令
E 0 ={x:x=(r 1 ,⋯,r n ,0,⋯),n∈N + ,r i ∈Q},
这里不妨设l p 为实的,则E 0 为l p 的一个可数子集.
下面证明E 0 在l p 中稠密.
对于∀x={ξ i }∈l p ,∀ε>0,存在N,使得
∑ i=N+1 ∞ |ξ i | p <ε p 2 ,
对ξ i (i=1,2,⋯,N)(注意这里是N项,是有限项),
存在r 1 ,r 2 ,⋯,r N ∈Q,使得
∑ i=1 N |ξ i −r i | p <ε p 2 ,
故存在点x 0 =(r 1 ,r 2 ,⋯,r N ,0,0,⋯)∈E 0 ,使得
d(x,x 0 )=(∑ i=1 N |ξ i −r i | p +∑ i=N+1 ∞ |ξ i | p ) 1p
<(ε p 2 +ε p 2 ) 1p =ε,
即l p 可分.
注1:证明的第一部分中,注意如何在有限和无穷中转化,
注2:证明的第二部分中,使用了无穷级数证明中的重要方
法,把无穷级数分成两部分,后一部分很小,前面的部分是
有限项.有限项容易处理.
6.设x(t)是[a,b]上连续函数,令
∥x∥ p =(∫ b a |x(t)| p dt) 1p ,∥x∥ ∞ =max a≤t≤b |x(t)|,
证明:lim p→∞ ∥x∥ p =∥x∥ ∞
证明:若x(t)≡0,命题显然成立.
若x(t)不恒等于零,|x(t)|是连续函数.由闭区间上的
连续函数的性质,存在t 0 ∈[a,b]使得
|x(t 0 )|=max a≤x≤b |x(t)|=∥x∥ ∞ >0.
∵∥x∥ p =(∫ b a |x(t)| p dt) 1p
≤(∫ b a |x(t 0 )| p dt) 1p =∥x∥ ∞ (b−a) 1p
于是
lim p→∞ ¯ ¯ ¯ ¯ ¯ ¯ ∥x∥ p ≤∥x∥ ∞ (0.0.6)
另一方面,由|x(t)|在t 0 点处的连续性,对任意的
ε>0,存在δ>0,使得
|x(t)|>|x(t 0 )|−ε>0,∀t∈(t 0 −δ,t 0 +δ)⊂[a,b]
于是
∥x∥ p =(∫ b a |x(t)| p dt) 1p
≥(∫ t 0 +δ t 0 −δ (|x(t 0 )−ε) p dt) 1p =(∥x∥ ∞ −ε)(2δ) 1p ,
所以
lim − − − p→∞ ∥x∥ p ≥∥x∥ ∞ −ε
由ε的任意性可知
lim − − − p→∞ ∥x∥ p ≥∥x∥ ∞ (0.0.7)
结合(0.0.6)和(0.0.7)可得
∥x∥ ∞ ≥lim ¯ ¯ ¯ ¯ ¯ p→∞ ∥x∥ p ≥lim − − − p→∞ ∥x∥ p ≥∥x∥ ∞ ,
综上可知lim p→∞ ∥x∥ p =∥x∥ ∞
注1:这里用到的仅仅是数学分析的知识,但是反映出泛函
分析中的赋范空间范数之间的关系.
注2:如果x(t)∈L ∞ ,命题亦然成立.
考虑证明有什么不同?
7.设X为m维赋范线性空间,E 0 是X的真闭子空间,
证明存在x 0 ∈X,使得∥x 0 ∥=1,且
d(x 0 ,E 0 )=inf x∈E 0 ∥x 0 −x∥=1
分析:利用Riesz引用2.3.11和有限维空间有界集的列紧性证明.
证明:取ε n =12 n ,根据Riesz引理2.3.11,
对每个n,存在x n ∈X,使得∥x n ∥=1满足
d(x n ,E 0 )>1−12 n
因为X是有限维空间,根据定理(2.4.17),有限维空间中
的有界集是列紧的.
因为{x n }在X中有界,于是列紧,即存在{x n }的子列
{x n k }收敛.
设x n k →x 0 (k→∞),则∥x 0 ∥=1.我们有
(d(x 0 ,E 0 )=lim k→∞ d(x n k ,E 0 )≥1,
另一方面,因为0∈E 0 ,
1=∥x 0 ∥=∥x 0 −0∥≥inf x∈E 0 ∥x 0 −x∥=d(x 0 ,E 0 ),
故d(x 0 ,E 0 )=1.
注:注意有限维空间的和无穷维空间的不同.
在无穷维空间Riesz引理(2.3.11)中的结论是
“>1−ε”,一般不能改进为“=1”.