第 4 讲 完备性与纲定理
教学目的：掌握完备空间的概念，完备空间的基本性质并认识完备
性在分析中的重要意义。
授课要点：
1、 完备性的定义和常见空间的完备性。
2、 完备空间的基本性质。
3、 纲的概念及初步应用。
4、 完备化定理：任何度量空间都可以完备化。
在实数理论中我们知道著名的 Cauchy 准则，即实数序列是收敛的当且仅当它是满足
Cauchy 条件的．当我们把视线从实数域转到一般的度量空间时我们会提出类似的问题．度
量空间也有序列的收敛概念，那么是否也有相应的 Cauchy 准则呢 ? 实际上只须看一下有理
数域 Q的情况，其中的 Cauchy 序列不一定都收敛于 Q中的元，所以 Cauchy 准则对于 Q并
不成立．造成这一现象的原因并不是序列的分析性质不好，而在于空间中的点“不够多” ，
以至于存在“孔洞” ．
定义 1 设 ),( dX 是度量空间， Xx
n
∈ ， 1≥n ．
（ 1）若 0),(lim
,
=
∞→
nm
nm
xxd ，称 }{
n
x 为 Cauchy 序列．
（ 2）若 X 中的每个 Cauchy 序列 }{
n
x 是收敛序列，即 Xx∈? ，使得 0),(lim =
∞→
xxd
n
n
，
则称 X 是完备的．
由三角不等式容易得出每个收敛序列一定是 Cauchy 序列，反之却未必．
完备的线性赋范空间称为 Banach 空间，完备的内积空间称为 Hilbert 空间．
例 1 空间 ],[ baP 不完备．
],[ baP 是区间 ],[ ba 上实（或复）系数多项式的全体．对于每个 ],[ baPp∈ ，定义
|)(|max|||| tpp
bta ≤≤
= ．
由定义可直接验证， ],[ baP 是线性赋范空间，但 ],[ baP 不是完备的．例如取
!!1
1)(
n
tt
tp
n
n
+++= null ，
显然 ],[ baPp
n
∈ . 若记 |}||,max{| bac = ，则 nm>? ，
|)()(|max|||| tptppp
nm
bta
nm
?=?
≤≤
∑∑
+=
≤≤
+=
≤≤
≤=
m
ni
i
bta
m
ni
i
bta
i
t
i
t
11
!
max
!
max
1
0, .
!
im
in
c
mn
i
=+
≤→≥→∞
∑
故
n
p 是 Cauchy 序列．
我们知道
11
max | ( ) | max 0, .
!!
iim
t
n
aib aib
in in
tc
pt e n
ii
∞
≤≤ ≤≤
=+ =+
? =≤→→∞
∑∑
但 ],[ baPe
t
∈ ．同时注意到， ],[ baP 上的范数收敛相当于在 ],[ ba 上的一致收敛，从而点点
收敛．于是极限函数是惟一的，
n
p 不可能有其他极限，故 ],[ baP 不完备．
例 2 ],[ baC 完备．
设 }{
n
x 是 ],[ baC 中的 Cauchy 序列． 0ε? > ，存在
0
n ，当
0
, nnm ≥ 时， ε<? ||||
nm
xx ．此
时 ],[ bat∈? ，
ε<?≤? |||||)()(|
nmnm
xxtxtx ， （ 1）
于是 )}({ tx
n
是 Cauchy 数列．故 [,]tab?∈ 有 )(
0
tx 使得
)()(
0
txtx
n
→ ．
在不等式（ 1）中固定 n，令 ∞→m ，则得到
ε≤? |)()(|
0
txtx
n
， ],[ bat∈ ． （ 2）
现在取
0
nn≥ ，由 )(tx
n
在 ],[ ba 上的连续性，取 0>δ ，使得 δ<? ||
21
tt 时
ε<? |)()(|
21
txtx
nn
，则
01 02 01 1 1 2 2 02
| ( ) ( )| | ( ) ( )| | ( ) ( )| | ( ) ( )| 3
nnnn
xt xt xt xt xt xt xt xt ε? ≤?+?+?<．
故
0
x 连续，即 ],[
0
baCx ∈ ．不等式（ 2）中的不等式关于 [,]tab∈ 是一致的，这说明
ε≤? ||||
0
xx
n
，
从而以 ],[ baC 中的范数
0
lim xx
n
n
=
∞→
．
],[ baC 是完备的．
例 3
p
L )1( ∞<≤ p 完备．
设 }{
n
f 是
p
L 中的 Cauchy 序列． 0>?ε ，存在
0
n ，使得当
0
,mn n≥ 时
p
p
nm
p
pnm
tftfff εμ
?
<?=?
∫
d|)()(||||| ．
若 0σ > ，令 }|)()(|,{)( σσ ≥?= tftftE
nmmn
，则
μσμσ
σ
d|)()(|))((
p
E
nmmn
p
tftfE
∫
?≤
p
p
nm
tftf εμ
?
<?≤
∫
d|)()(| ．
于是
n
f 在依测度收敛意义下是 Cauchy 序列．由实变函数的知识，存在可测函数 f ，使
得
n
f 依测度收敛于 f ．
根据 Riesz 定理，有子序列 }{
k
n
f ..ea 收敛于 f ．现在我们证明依照
p
L 中的范数
ff
k
n
→ ．实际上，当
0
, nnn
ki
≥ 时
pp
pnn
ki
ff ε<? |||| ．
另一方面，固定
k
n ，当 ∞→
i
n 时，
p
n
p
nn
tftftftf
kki
|)()(||)()(| ?→? ， ..ea
由 Fatou 引理，
|()()|dlim|()()|d
kik
i
ppp
nnn
n
ft ft ft ftμ με
??→∞
?≤ ?≤
∫∫
． （ 3）
故
p
n
Lff
k
∈? ，
p
L 是线性空间，从而 ()
kk
p
nn
f ff f L= ?+∈．
不等式（ 3）还说明 ε≤?
pn
k
ff |||| )(
0
nn
k
≥ ．注意 }{
n
f 是 Cauchy 序列，只要
0
nn≥ ，
0
nn
k
≥ ，则
ε2|||||||||||| <?+?≤?
pnpnnpn
ffffff
kk
．
故 ff
n
n
=
∞→
lim ．
证毕．
p
L 中序列的依范数收敛，通常称为 p 方平均收敛．由证明还可知道， p 方平均收敛的
序列必定依测度收敛，反之则未必．
验证度量空间的完备性通常都要从给定的 Cauchy 序列找出一个“目标元” （在例 2 中
是
n
x 点点收敛的极限函数， 在例 3 中是
n
f 的依测度收敛的极限函数） ， 而后验证此 “目标元”
属于该空间，并且在空间度量意义下，该元是所给 Cauchy 序列的极限．
思考题
验证空间
∞
L ，
p
l )1( ∞≤≤ p ，
0
,cc的完备性．
在数学分析中我们知道，仅在有理数域中考虑极限运算会有不可想象的困难，这就是要
用实数域取代它的原因。 由此想见，较之一般的度量空间， 完备空间具有更为优良的性
质．下面让我们考察这方面的问题．
定理 1 设 X 是完备度量空间， XF
n
? 是一列非空递缩闭集，即
1+
?
nn
FF )1( ≥n 并且
0diam →
n
F ，则 ?≠
∞
=
n
n
F
1
∩ ．
证明 取
nn
Fx ∈ ， 1≥n ， 由
1+
?
nn
FF 知道
nm
Fx ∈ ， nm≥? ． 从而 0diam),( →≤
nnm
Fxxd ．
这说明 {}
n
x 是 Cauchy 序列．
X 是完备的，故有 Xx∈ ， xx
n
n
=
∞→
lim ．已经知道
nm
Fx ∈ )( nm≥ ，由于
n
F 是闭集，故
有
n
Fx∈ )1( ≥n ，或者
n
n
Fx
∞
=
∈
1
∩ ．
线性赋范空间 X 中的一个向量级数
∑
∞
=1i
i
x 称为是可和（收敛）的，若存在 Xx∈ ，使得
部分和序列
∑
=
=
n
i
in
xs
1
依 X 的范数收敛于 x，
n
ss→ ，此时记
∑
∞
=
=
1i
i
xx ．
∑
∞
=1i
i
x 称为绝对可和
的， 若 ∞<
∑
∞
=1
||||
i
i
x ． 与数值级数不同， 一个绝对可和的向量级数可能不是可和的， 见例 1． 下
面定理说明这个问题与空间的完备性有密切联系．
定理 2 设 X 是线性赋范空间， X 是完备的当且仅当其中任一绝对可和级数可和．
证明 若 X 完备， Xx
i
∈ ， ∞<
∑
∞
=1
||||
i
i
x ．设
∑
=
=
n
i
in
xs
1
，则
0||||||||||||
11
→≤=?
∑∑
+=+=
m
ni
i
m
ni
inm
xxss ， ),( ∞→nm
于是 }{
n
s 是 Cauchy 序列．从而存在 Xx∈ ， xs
n
→ ，即
∑
∞
=
=
1i
i
xx ．
反之，若 X 中任一绝对可知级数可和， }{
n
s 是 X 中的 Cauchy 序列． 1≥?k ，取
k
n 是
使
knm k
ss
2
1
|||| <? )(
k
nm≥? 成立的自然数，不妨设
k
n 是递增的．令
1
1 n
sx = ，
1?
?=
kk
nnk
ssx )2( ≥k ，则
∑∑
∞
=
∞
=
?
?+=
21
||||||||||||
11
k
nnn
i
i
kk
sssx ∞<+≤ 1||||
1
n
s ，
即级数
∑
∞
=1k
k
x 绝对可和．由假设，存在 Xx∈ ，使得 xsx
i
n
i
k
k
→=
∑
=1
． 0>?ε ，存在
0
n ，使得
0
nn
i
≥ 时，
2
||||
ε
<?xs
i
n
．另一方面， }{
n
s 为 Cauchy 序列，只要
0
n 足够大，当
0
, nnn
i
≥ 时，
2
||||
ε
<?
nn
ss
i
．此时
ε<?+?≤? |||||||||||| xsssxs
ii
nnnn
，
即 xs
n
→ ， X 是完备的．
思考题
你能否建立一些关于向量级数收敛的比较判别法？试总结之。
为了叙述完备空间的另一个重要性质，让我们先来介绍稠密性和 Baire 纲的概念．
定义 2 设 X 是度量空间， XE ? ．
（ 1）称 E 在 X 中稠密，若 XE ? ．
（ 2）称 E 在 X 中无处稠密，若 ?=
0
)(E ．
（ 3）称 E 是第一纲的，若 E 可以写成至多可数多个无处稠密集的并．
X 中不是第一纲的集合称为是第二纲的．
（ 4）称空间 X 具有 Baire 性质，若 X 中可数多个稠密开集之交仍在 X 中稠密．
例如，有理数的全体 Q在整个实数域 R 中是稠密的．而 Cantor 的三分点集 E 在 ]1,0[ 中
是无处稠密的．
下面两个命题可以将这些抽象的概念“直观化”一些．
命题 1 设 X 是度量空间， XE ? ，则以下条件等价：
（ 1） E 在 X 中稠密．
（ 2）对于 X 中任一非空开集 U ， ?≠UE∩ ．
（ 3）对于任何 Xx∈ ，存在 Xx
n
∈ ，使得 xx
n
→ ．
证明 （ 1） ?（ 2） 设 U 是 X 中的非空开集． 由于 XEEE ?′= ∪ ， 要么有 ?≠UE∩ ，
此时结论为真． 要么 ?≠′ UE ∩ ． 此时由 E 的性质 （第二讲命题 4（ 3） ） ， 存在 Ex
n
∈ ， xx
n
≠ ，
xx
n
→ ．显然必有某个 Ux
n
∈ ，所以也有 ?≠UE∩ ．
（ 2） ?（ 3） Xx∈? ，取 ),(
nn
rxOU = ， 0→
n
r ，由（ 2）中条件， EUx
nn
∩∈? ，
于是 xx
n
→ ． （ 3） ?（ 1）是明显的．
命题 2 设 X 是度量空间， XE ? ，则以下条件等价：
（ 1） E 在 X 中无处稠密．
（ 2） E 在 X 中无处稠密．
（ 3）对于 X 中任一非空开球 U ，存在非空开球 UV ? ，使得 ?=EV ∩ ．
（ 4）
c
E)( 在 X 中稠密．
证明 （ 1）与（ 2）的等价性直接由定义得到．
（ 1） ?（ 3） 若 E 在 X 中无处稠密，即 ?=
0
)(E ，则对于任何开球 U ， ?≠EU \ ．注
意 EU \ 是开集，从而存在开球 EUV \? ，使得 ?=EV ∩ ．
（ 3） ?（ 1） 若 ?≠
0
)(E ，取
0
)(EU = ，则对于任何开球 UV ? ， EV ? ，由命题 1
（ 1） ?（ 2）的证明知 ?≠EV ∩ ，此与（ 3）矛盾．
（ 1） ?（ 4） 记
c
EB )(= ，若 XB ≠ ，则 ?≠?= BXBXE \\ ．后者是开集，故
0
()E ≠?，从而 E 不是无处稠密的．矛盾．
（ 4） ?（ 2）
c
E)( 在 X 中稠密，则 E 不含内点，即 ?=
0
)(E ．
定理 3
（ 1）完备度量空间具有 Baire 性质．
（ 2）具有 Baire 性质的空间本身是第二纲集．
证明 1°设 X 是完备的，
i
B 是 X 中一列稠密开集，只须证明对于 X 中任一开球 U ，
?≠
∞
=
UB
i
i
∩∩
1
．
1
B 在 X 中稠密，故 ?≠UB
i
∩ ．此时 Xx ∈?
1
， 0
1
>r ，使得 UBrxO ∩
111
),( ? ．于是闭
球 UB
r
xS ∩
1
1
1
2
, ??
?
?
?
?
?
．
2
B 在 X 中稠密，故 ?≠?
?
?
?
?
?
2
,
1
12
r
xOB ∩ ．从而 Xx ∈?
2
和 0
2
>r ?
?
?
?
?
?
<
2
1
2
r
r不妨设 ，使得
UB
r
xOBrxO ???
?
?
?
?
?
?
2
1
1222
2
,),( ∩ ，此时闭球 null,
2
,
2
,
1
1
2
2
?
?
?
?
?
?
??
?
?
?
?
? r
xS
r
xS ．
如此做下去，一般地得到闭球
UBrxO
r
xS
nnn
n
n
∩???
?
?
?
?
?
),(
2
, ， 1,n≥
显然序列
?
?
?
?
?
?
?
?
2
,
n
n
r
xS ， 1≥n 满足定理 1 的条件，实际上，
1
1
,,
22
nn
rr
Sx Sx
?
?
??? ?
?
??? ?
??? ?
并且
1 1
2
0.
22 2
nn
n
rr r
?
≤≤≤→null
X 完备，所以 Xx∈? ，
UBrxO
r
xSx
n
n
nn
n
n
n
n
∩∩∩∩
∞
=
∞
=
∞
=
???
?
?
?
?
?
∈
111
),(
2
,
故
n
n
B
∞
=1
∩ 在 X 中稠密．
2° 若
n
n
EX
∞
=
=
1
∪ ，其中
n
E 是无处稠密集，显然
n
n
EX
∞
=
=
1
∪ ．令
nn
EXB \= ，则
n
B 是开集
并且由命题 2（ 4） ，
n
B 在 X 中稠密．现在
n
n
n
n
n
n
BEXEX
∞
=
∞
=
∞
=
===?
111
)\(\ ∩∩∪ ，
这与 X 具有 Baire 性质矛盾，所以 X 只能是第二纲集．
定理证毕．
下面让我们介绍一些关于映射的记号和基本知识．
设 X ， Y 是任意点集， T 是从 X 到 Y 中的映射（算子） ， XA? ， YB? ，今后记
},;{)( AxTxyYyAT ∈?=∈= ，
},;{)(
1
ByTxyXxBT ∈?=∈=
?
．
称 )(AT 是集合 A的像， )(
1
BT
?
是集合 B 的原像．
定义 3 设 X ， Y 是两个度量空间， YXT →: 是一个映射．
（ 1）称 T 是在 Xx ∈
0
连续的，若对于任何 Xx
n
∈ ，
0
xx
n
→ ，则
0
TxTx
n
→ ．
（ 2）若 T 在 X 的每一点连续，称 T 在 X 上连续．
T 在
0
x 连续的定义也可以用邻域的说法来表述， 即 T 在
0
x 连续当且仅当对于
0
Tx 的任一
邻域 )(
0
TxO 存在
0
x 的邻域 )(
0
xO 使得 )())((
00
TxOxOT ? ．甚至于可以用 δε ? 语言来叙述连
续性，它们彼此是等价的．读者不妨作为练习直接验证之．
定理 4 设 X ， Y 是度量空间， YXT →: 是一映射．
（ 1） T 在 X 上连续当且仅当对于任一开集 YB? ， )(
1
BT
?
是 X 中的开集．
（ 2）上面开集换为闭集结论仍成立．
证 明 分别以 )(xO ， )(TxO 表示 x在 X 中和 Tx在 Y 中的邻域，它们是包含该点的任一
开集．
1°设 T 在 X 上连续， YB? 为开集．对于任意的 )(
1
BTx
?
∈ ，由于 BTxy ∈= ，存在
BTxO ?)( ． T 在 x连续，从而有 )(xO ， BTxOxOT ?? )())(( ，于是 )()(
1
BTxO
?
∈ ， )(
1
BT
?
为开集．
反之，若对于任意开集 YB? ， )(
1
BT
?
开，则对于任意的 Xx∈ 和 Tx 的邻域 )(TxO ，
))(()(
1
TxOTxO
?
= 为开集．显然 )(xOx∈ ， )())(( TxOxOT ? ，故 T 在 x连续，从而在 X 上连
续．
2°从等式 )(\)\(
11
BTXBYT
??
= )( YB?? 即得之．
定义 4 设 X ， Y 是线性空间， YXT →: 是一映射．
（ 1）称 T 为线性映射或算子，若 Xxx ∈?
21
, ， Φβα ∈, ，
2121
)( TxTxxxT βαβα +=+ .
（ 2）当 Φ=Y 时， （ 1）中的线性算子 T 称为 X 上的线性泛函．
关于映射（算子） ，以下事实应该注意：
1°对于 YXT →: ，我们记 )()( XTTR = ．则可以验证 )(TR 是 Y 的线性子空间，称 )(TR
是 T 的值空间．若 YTR =)( ，称 T 是到上的（满射） ．若对于任何 )(,
21
TRTxTx ∈ ，由
21
TxTx =
可推出
21
xx = ，则称 T 是一一的（单射） ．既是满射又是单射的映射又称为双射．
2°若 T 是线性的，则 00 =T ．记 }0;{)( =∈= TxXxTN ，容易验证 )(TN 是 X 的线性子
空间并且 T 是一一的当且仅当 }0{)( =TN ．称 )(TN 是 T 的 0 空间．
3°对于线性算子 T ，若 T 是一一映射，则对于每个 )(TRy∈ ， yT
1?
是 X 中惟一的元
素．此时称映射 XTRT →
?
)(:
1
， （其中 yTx = 时令 xyT =
?1
）是 T 的逆映射．容易验证此时
1?
T 也是线性算子．
线性算子与线性泛函在代数、几何和经典分析中是经常遇到的 , 现举例如下．
例 4 设
n
X Φ= ，
m
Y Φ= ．对于每个 nm× 阶矩阵 )(
ij
aA= ，定义
∑
=
=
n
i
ijij
xay
1
， mj ,,1null= （ 4）
容易验证 YXT →: ， ),,(),,(
11 mn
yyxxT nullnull = 是线性算子．若用矩阵表示，则上式即
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
=
?
?
?
?
?
?
?
?
?
?
nmnm
n
m
x
x
aa
aa
y
y
null
null
nullnullnull
null
null
1
1
1111
,,
,,
.
例 5 在 ],[ baC 上定义
∫
=
t
a
ssxtTx d)())(( ， ],[ bat∈ ；
∫
=
b
a
ssxxS d)()( ；
则 T ， S 分别是 ],[ baC 上的线性算子与线性泛函．
例 6 在 )(
)(
?
k
C 上定义的微分算子
α
α
α
α
t
tu
tCtDu
k
?
?
=
∑
≤
)(
)())((
||
（这里 u
t
tu
=
?
?
0
0
)(
， )(tC
α
在 ? 上连续）
都是线性算子．
现在让我们回到本节开头所说的问题．一个度量空间可能不是完备的，那么是否可以补
充某些元素使之成为完备空间呢 ? 我们将证明这样的完备化定理是成立的． 为此需要下面概
念．
定义 5 （ 1）设 X ， Y 是度量空间，称 X 与 Y 彼此同构，若存在一一的到上的映射
YXT →: 使得 T 与
1?
T 均连续．若 T 是到上的并且 Xxx ∈?
21
, ， ),(),(
21
yxdTxTxd = ，则 称 T
是等距同构．
（ 2）若 X ， Y 是线性赋范空间，称 X 与 Y 同构，若存在一一的到上的线性映射，
YXT →: 使得 T 与
1?
T 都连续．若 T 到上并且 Xx∈? ， xTx = ，则称 X ， Y 等距同构．
容易验证一个到上的等距同构映射 T 一定是双方连续的，因此是同构映射．此外等距同
构的两个空间除了表示它们的元素的符号不同之外是无法区分的，因此可以看成同一个空
间．下面仅对于线性赋范空间证明完备化定理．实际上对于一般度量空间，结论仍成立。
定理 5 设 X 是线性赋范空间，则存在 Banach 空间 X
~
使得 X 与 X
~
的一个稠密子空间
等距同构．在等距同构意义下， X
~
是包含 X 的最小完备空间，从而是唯一的．
称 X
~
是 X 的完备化空间．
证明 记 X 中的 Cauchy 序列全体为 E ．称 X 中的序列 )(
n
x 是 0 序列，若 0→
n
x ．称
两个序列 )(
n
x ， )(
n
y 是等价的，记为 )(~)(
nn
yx ，若 0→?
nn
yx ．直接验证可知关系“ ~ ”
满足自反性，对称性，传递性，因此是 E 上的等价关系（见附表） ．以 ~/
~
EX = 记如此的等
价类的全体．我们首先验证 X
~
是线性赋范空间．
将 X
~
中的元记为 ξ
~
， η
~
，定义
ηξηξ
~
~
~
+=+ ， ξααξ
~
~
= ， Φα∈? （ 5）
这种定义是合理的．实际上若 ξ
~
)(),(
21
∈
nn
xx , η
~
)(),(
21
∈
nn
yy ，则
0)()(
21212211
→?+?≤+?+
nnnnnnnn
yyxxyxyx
所以 )(
11 nn
yx + 与 )(
22 nn
yx + 属于同一等价类，这说明
~
ηξ + 不会有歧意出现．同样地，数乘
也是合理的．例行的验证表明在此运算下， X
~
是线性空间．
X
~~
∈?ξ ，定义
n
n
x
∞→
= lim
~
ξ ， Xx
n
~
)(
~
∈=?ξ ．
这里 ξ
~
也不会有歧意．因为若 ξ
~
)(),(
21
∈
nn
xx ，则 0
21
→?
nn
xx ，于是
n
n
n
n
xx
21
limlim
∞→∞→
= ．
为证 ξ
~
是 X
~
上的范数，注意若 0
~
=ξ ，即 0→
n
x ，这说明 ξ
~
是 X
~
中的 0 元．现在若
)(
~
n
x=ξ ， )(
~
n
y=η ，则
ηξηξηξ
~
~
limlimlim
~
~
~
+=+≤+=+=+
∞→∞→∞→
n
n
n
n
nn
n
yxyx
ξααααξξα
~
limlim
~
~
====
→∞→∞
n
n
n
n
xx
．
故考虑 X 中的特殊序列 ),,( nullxx ． 记它所在的等价类为 x
~
． 其全体记为
0
~
X ， 容易知道
0
~
X
是 X
~
的线性子空间．我们证明 X 与
0
~
X 等距同构，
0
~
X 在 X
~
中稠密．实际上定义
0
~
: XXT → ， xx
~
null ，其中 ),,(
~
nullxxx = ，
则 T 是一一的，到上的并且
||||||||lim||
~
|||||| xxxTx
n
===
∞→
， Xx∈? ．
所以 T 是等距的映射． X
~~
∈?ξ ，不妨设 )(
~
n
x=ξ ，其中 Xx
n
∈ ．对于每个 n ，记
),,(
~
null
nnn
xxx = ，则
0
~
~
Xx
n
∈ ，由于 )(
n
x 是 Cauchy 序列所以 0>?ε ，
0
n? 使得
0
, nnk ≥ 时
ε<? ||||
nk
xx ．从而
εξ ≤?=?
∞→
||||lim||
~
~
||
nk
n
k
xxx ‖，
0
nk ≥ （ 6）
即 ξ
~
~
lim =
∞→
k
k
x ．
最后证明 X
~
是完备的．设 )(
~
knk
x=ξ 是 Cauchy 序列， 0>?ε ，
0
k? ，当
0
, kkk ≥′ 时，
εξξ <?=?
′
∞→
′
||||lim||
~~
||
nkkn
k
kk
xx ．
对于每个
k
ξ
~
，由以上所证，存在
0
~
),,(
~
Xxxx
kkk
∈= null 使得
k
xxx
kkn
n
kk
1
||||lim||
~
~
|| <?=?
∞→
ξ ， 1≥?k ． （ 7）
令 ),,(
~
21
nullxx=ξ ，由（ 7） ，当 n足够大时
k
xx
k
xxxxxxxx
nkknknknkknknkkk
′
+?+<?+?+?≤?
′′′′′
1
||||
1
||||||||||||||||
所以 k ， k′足够大时， ||||
kk
xx
′
? 可任意小，于是 )(
k
x 是 Cauchy 序列， X
~~
∈ξ ．现在由（ 6） ，
（ 7）得到
0||
~
~
||lim||
~
~
||lim||
~~
||lim =?+?≤?
∞→∞→∞→
ξξξξ
k
k
kk
k
k
k
xx ．
总之， X
~
是 X 的完备化空间．
若 X′
~
是包含 X 的另一完备空间， X 与 X′
~
的子空间等距同构，则 X
~~
∈?ξ ，不妨设
0
~
~
Xx
n
∈ 使得 ξ
~
~
→
n
x ．此时 Xx
n
∈ 从而 Xx
n
′∈
~
~
．于是由 X′
~
的完备性，必有 X′∈′
~~
ξ 使得
ξ′→
~
~
n
x ．定义 ξξ? ′′→
~~
,
~~
: nullXX ，则
||
~
||||
~
||lim||
~
||||)
~
(|| ξξξ? ==′=
∞→
n
n
x ， X
~~
∈?ξ
所以 ? 是 X
~
到 X′
~
的子空间的等距同构．于是 XX ′?
~~
， X
~
是最小的．
定理证毕．
实际上每个内积空间也有完备化定理，内积空间的完备化空间仍然是保持内积不变的。
要验证一个空间 X
~
是另一个空间 X 的完备化空间，只需检验（ 1） ， XX
~
? ，此时要特
别注意二者的度量或范数是一致的； （ 2） ， X
~
是完备空间； （ 3） ， X 在 X
~
中稠密．
前面我们已举出例子， ],[ baC 与 )1( ∞≤≤ pL
p
是 Banach 空间， 实际上 )1( ∞≤≤ pl
p
， c ，
0
c ， ],[
0
baV 都是 Banach 空间． 另外第 3 讲例 9 中的空间 )(
~
,
?
pm
H 依其范数一般不是完备的，
它的完备化空间记为 )(
,
?
pm
H ，称为 Sobolev 空间．一般地， Sobolev 空间是建立在广义函
数空间之上的，这里不再引述了．
思考题
1、 验证本讲例 1 中 ],[ baP 的完备化空间是 ],[ baC ．
2、 考虑下述空间
{ }
[,]; ()
b
a
X xCabx xtdt=∈ =
∫
，
X 不是完备的．根据 Lyzin 定理证明， X 的完备化空间是 ],[
1
baL ．
