§2.5赋范空间的进一步性质
内容:
(1)赋范空间中的级数;
(2)赋范空间中的商空间;
2.5.1赋范空间中的级数
在赋范空间(X,∥⋅∥)中定义无穷级数
∑ k=1 ∞ x k =x 1 +x 2 +⋯,(2.5.1)
其中x k ∈X.
若级数的前n项和序列S n =x 1 +x 2 +⋯+x n 收敛,
即存在x∈X,使得
S n →x(∥S n −x∥→0)(n→∞),
则称x是级数的和,记为x=∑ k=1 ∞ x k .
定理2.5.1设(X,∥⋅∥)是赋范空间.
(1)如果X完备,且级数
∑ k=1 ∞ ∥x k ∥=∥x 1 ∥+∥x 2 ∥+⋯(2.5.2)
收敛(正项级数收敛),
则级数(2.5.1)收敛(∑ k=1 ∞ x k =x 1 +x 2 +⋯)且
∥∑ k=1 ∞ x k ∥≤∑ k=1 ∞ ∥x k ∥(2.5.3)
(2)反之,在赋范空间X中,若任何的∑ k=1 ∞ ∥x k ∥<∞,
可以推出∑ k=1 ∞ x k 收敛,则X是Banach空间.
证明分析:(1)这一结论类似于“绝对收敛推出收敛”.
要证明∑ k=1 ∞ x k 收敛,即证明前n项和序列{S n }收敛,
因X完备,只需证明{S n }是Cauchy列.
对任意自然数p,考虑
∥S n −S n+p ∥=∥∑ k=n+1 n+p x k ∥≤∥x n+1 ∥+⋯+∥x n+p ∥
由级数∑ k=1 ∞ ∥x k ∥收敛,知{S n }是一个Cauchy列.
由于X完备,所以级数∑ k=1 ∞ x k 收敛.
由于∥∑ k=1 n x k ∥≤∑ k=1 n ∥x k ∥,由范数的连续性,有
∥∑ k=1 ∞ x k ∥=∥lim n→∞ ∑ k=1 n x k ∥=lim n→∞ ∥∑ k=1 n x k ∥
≤lim n→∞ ∑ k=1 n ∥x k ∥=∑ k=1 ∞ ∥x k ∥
(2)反之,要证明X完备,
只需证明X中的任意的Cauchy列{x n }都收敛.
我们只要找到{x n }的一个子列{x n k },使得
x n k →x(k→∞),则有x n →x(n→∞)
设{x n }是Cauchy列,于是对于ε=12 k >0,存在N,
当n,m≥N时,
∥x n −x m ∥<ε=12 k
因此,我们可以找出{x n }子列{x n k },使得
∥x n k+1 −x n k ∥<12 k
因此,
∑ k=1 ∞ ∥x n k+1 −x n k ∥<∑ k=1 ∞ 12 k <∞
于是由条件,级数
x n 1 +∑ k=1 ∞ (x n k+1 −x n k )
=x n 1 +(x n 2 −x n 1 )+⋯+(x n k −x n k−1 )+⋯
收敛.
即前k项的和S k =x n k 收敛.
设x n k →x(k→∞)
由于{x n }是Cauchy列,所以对于∀ε>0,∃N,当
n,m≥N时,
∥x n −x m ∥<ε
因此,对于充分大的k,
∥x n −x n k ∥<ε
令k→∞,由范数连续,我们有:
∥x n −x∥→0,(n→∞),所以X是完备的.
2.5.2赋范空间的商空间
通过等价关系构造新空间−−商空间.
定义2.5.2设M是X的线性子空间.∀x 1 ,x 2 ∈X,如果
x 1 −x 2 ∈M,则称x 1 和x 2 关于M等价,记为x 1 ∼x 2 .
注:等级关系具有下述性质:
(i)自反性.
因x−x=0∈M,所以x∼x.
(ii)对称性.
因x∼y,x−y∈M,又M是子空间,则
y−x=−(x−y)∈M,
所以y∼x.
(iii)传递性.
x∼y,y∼z可推出x∼z.事实上,
x−z=x−y+y−z∈M.
例2.5.3在L p (E)中,设
M={E上几乎处处为零的可测函数}.
M是子空间.
对于x 1 ,x 2 ∈L p ,如果x 1 −x 2 ∈M,则称x 1 和x 2 关于M等价.
这里等价的含义为:x 1 和x 2 在几乎处处意义下相等.
定义2.5.4商空间:X/M(关于M的商空间)
设M是X的子空间,x 1 −x 2 ∈M,称x 1 和x 2 等价.
对于x∈M,我们把与x等价的全体元素记为x ˜ (即以
x为代表的等价类),则
X ˜ ={X中元素的等价类全体}={x ˜ |x∈X}.
在X ˜ 中定义
x ˜ +y ˜ =x+y ˜ ,
αx ˜ =αx ˜ ,
这样的定义不依赖于代表元的选取.
则X ˜ 是一个线性空间.
X ˜ 称为是X关于M的商空间,记为X ˜ =X/M.
定义2.5.5设X是赋范空间,M是X的闭子空间.在
商空间X ˜ =X/M中可以定义范数
∥x ˜ ∥=inf y∈x ˜ {∥y∥}(2.5.4)
可以验证∥x ˜ ∥满足范数的正定、齐次和三角不等式,X ˜
是赋范空间.
称之为赋范空间X关于闭子空间M的赋范商空间.
商空间是一个很抽象的概念,我们从下面这一最简单的例子,
来体会商空间的正真含义.
例2.5.6复数平面C,R是C的一个闭子空间.
将x∼y定义为x−y∈R.
考虑商空间
C/R={x ˜ |x∈C}.
对于y∈x ˜ ,即y−x∈R.也就是说y和x的虚部相同,
Im x = Im y.
在商空间C/R上定义范数:
∥x ˜ ∥=inf y∈x ˜ ∥y∥=|Imx|
(C/R,∥x ˜ ∥)为赋范商空间,
x ˜ 的范数就是x虚部的绝对值.x ˜ 的“代表元”就是纯
虚数(0,xi),于是
C/R={全体纯虚数},
且
例2.5.7X={E上所有p次可积的函数},则
L p (E)=X/M(2.5.5)
其中M是E上全体几乎处处为零的可测函数.
0 ˜ ={E上全体几乎处处为零的可测函数}.
两个元素的相等就是两个函数几乎处处相等.
注:商空间“可以看作是”X中把子空间M所具有的
性质忽略不计(把M看作0元素),“得到”的空间.
定理2.5.8设X是Banach空间,M是X的闭子空间,
则赋范空间X关于M的商空间X/M是Banach空间.
分析:只要证明商空间中的任一Cauchy列收敛,为此只
需找到它的一个子列收敛即可.
证明:设{x ˜ n }是X/M中的Cauchy序列.
取ε k =12 k ,则∃n k ,使得当n≥n k 时,
∥x ˜ n −x ˜ n k ∥<12 k
不妨设n k 单调增加,为方便起见,记u ˜ k =x n k ˜ ,则{u ˜ k }
是{x ˜ n }的子序列并且∥u ˜ k+1 −u ˜ k ∥<12 k
从而由X/M中范数定义2.5.5(∥x ˜ ∥=inf y∈x ˜ ∥y∥),
存在z k ∈M,u k ∈u ˜ k ,u k+1 ∈u ˜ k+1 ,使得
∥u k+1 −u k +z k ∥<12 k
记v k =u k+1 −u k +z k ,则∑ k=1 ∞ ∥v k ∥<∞
由X完备以及定理2.5.1知存在v∈X,使得
lim n→∞ ∑ k=1 n v k =v
令u ˜ =v ˜ +u ˜ 1 ,下面证明x ˜ n →u ˜ (n→∞)
实际上,由于z j ∈M,我们有
∀k≥1,∑ j=1 k z j ∈M,∑ j=1 k z j ˜ =0 ˜ ,
注意到:v k =u k+1 −u k +z k ,u ˜ =v ˜ +u 1 ˜ 以及范数定
义(∥x ˜ ∥=inf y∈x ˜ ∥y∥),
∥u ˜ k+1 −u ˜ ∥=∥u ˜ k+1 −v ˜ −u ˜ 1 +∑ j=1 k z j ˜ ∥
≤∥u k+1 −v−u 1 +∑ j=1 k z j ∥=∥∑ j=1 k v j −v∥→0
于是u ˜ k →u ˜ ,(k→∞),即x ˜ n k →u ˜ ,(k→∞),
{x ˜ n }为Cauchy序列,其中有子列{x ˜ n k }收敛,故
{x n }收敛.
并且x ˜ n →u ˜ ,(n→∞),从而X/M完备.