完备性
定义. 若距离空间 E E E 满足: E E E 中的任意 Cauchy 序列 { x n } \{x_{n}\} {xn} 收敛于 E E E 中的元.
Cauchy 序列的性质:
(1) 收敛序列是 Cauchy 序列;
(2) Cauchy 序列是有界的;
(3) 若 { x n } \{x_{n}\} {xn} 是 Cauchy 序列, 并且存在一个子列 { x n k } \{x_{n_{k}}\} {xnk} 收敛于 x x x, 则 { x n } \{x_{n}\} {xn} 收敛于 x x x.
证明: (1) 若 { x n } \{x_{n}\} {xn} 是任一收敛序列, 极限为 x x x, 要证明对于 ∀ ϵ > 0 \forall \epsilon \gt 0 ∀ϵ>0, 存在正整数 N N N, 使得对于任意 m , n ≥ N m, n \geq N m,n≥N, ∣ x m − x n ∣ ≤ ϵ |x_{m}-x_{n}|\leq \epsilon ∣xm−xn∣≤ϵ. 由收敛的定义, 则对 ϵ 2 > 0 \frac{\epsilon}{2} \gt 0 2ϵ>0, 存在正整数 N N N, 使得当 n ≥ N n\geq N n≥N 时, ∣ x n − x ∣ ≤ ϵ |x_{n}-x|\leq \epsilon ∣xn−x∣≤ϵ, 则对于任意 m , n ≥ N m, n \geq N m,n≥N, ∣ x m − x n ∣ ≤ ∣ x m − x ∣ + ∣ x n − x ∣ ≤ ϵ |x_{m}-x_{n}|\leq |x_{m}-x|+|x_{n}-x|\leq \epsilon ∣xm−xn∣≤∣xm−x∣+∣xn−x∣≤ϵ, 证毕.
(2) 若 { x n } \{x_{n}\} {xn} 是任一 Cauchy 序列, 任取正数 ϵ > 0 \epsilon \gt 0 ϵ>0, 存在正整数 N N N, 使得对于任意 m , n ≥ N m, n \geq N m,n≥N, ∣ x m − x n ∣ ≤ ϵ |x_{m}-x_{n}|\leq \epsilon ∣xm−xn∣≤ϵ, 即 ∣ x m − x n ∣ ≤ ∣ x m ∣ + ∣ x n ∣ ≤ ϵ |x_{m}-x_{n}|\leq |x_{m}|+|x_{n}|\leq \epsilon ∣xm−xn∣≤∣xm∣+∣xn∣≤ϵ, ∣ x m ∣ ≤ ϵ |x_{m}|\leq \epsilon ∣xm∣≤ϵ, x n ≤ ϵ x_{n}\leq \epsilon xn≤ϵ, 所以当 n ≥ N n\geq N n≥N 时. ∣ x n ∣ ≤ ϵ |x_{n}|\leq \epsilon ∣xn∣≤ϵ, 因此 ∣ x n ∣ ≤ max { ∣ x 1 ∣ , … , ∣ x N ∣ , ϵ } |x_{n}|\leq \max\{|x_{1}|, \dots, |x_{N}|, \epsilon\} ∣xn∣≤max{∣x1∣,…,∣xN∣,ϵ}, 证毕.
(3) 即证明 lim n → ∞ ∣ x n − x ∣ = 0 \lim\limits_{n\rightarrow \infty}|x_{n}-x|=0 n→∞lim∣xn−x∣=0, 对于任意正整数 k k k, ∣ x n − x ∣ ≤ ∣ x n − x n k ∣ + ∣ x n k − x ∣ |x_{n}-x|\leq |x_{n}-x_{n_{k}}|+|x_{n_{k}}-x| ∣xn−x∣≤∣xn−xnk∣+∣xnk−x∣, 由于 { x n } \{x_{n}\} {xn} 是 Cauchy 列, 所以 lim n → ∞ k → ∞ ∣ x n − x n k ∣ = 0 \lim\limits_{n\rightarrow \infty \atop {k\rightarrow\infty}}|x_{n}-x_{n_{k}}|=0 k→∞n→∞lim∣xn−xnk∣=0, lim n → ∞ k → ∞ { ∣ x n − x n k ∣ − ∣ x n k − x ∣ } = 0 \lim\limits_{n\rightarrow \infty \atop {k\rightarrow\infty}}\{|x_{n}-x_{n_{k}}|-|x_{n_{k}}-x|\}=0 k→∞n→∞lim{∣xn−xnk∣−∣xnk−x∣}=0, 显然 ∣ x n − x ∣ ≥ 0 |x_{n}-x|\geq 0 ∣xn−x∣≥0, 所以由夹逼定理可知 lim n → ∞ k → ∞ ∣ x n − x ∣ = 0 \lim\limits_{n\rightarrow \infty \atop {k\rightarrow\infty}}|x_{n}-x|=0 k→∞n→∞lim∣xn−x∣=0, 即 lim n → ∞ ∣ x n − x ∣ = 0 \lim\limits_{n\rightarrow \infty}|x_{n}-x|=0 n→∞lim∣xn−x∣=0.
完备的距离空间称为 Banach 空间.
E E E 是完备的距离空间的充要条件是:
对于 E E E 中任意一列半径趋于 0 0 0 且嵌套的闭球, 记为 { S n } , S n = { x ∣ d ( x , x n ) ≤ r n } \{S_{n}\}, S_{n}=\{x|d(x,x_{n})\leq r_{n}\} {Sn},Sn={x∣d(x,xn)≤rn}, 其中 r n → 0 r_{n}\rightarrow 0 rn→0, 且对于 ∀ n ∈ N + \forall n \in \mathbb{N}^{+} ∀n∈N+, S n ⊆ S n + 1 S_{n}\subseteq S_{n+1} Sn⊆Sn+1, 则存在唯一的点 x ∈ ⋂ n = 1 ∞ S n x\in \bigcap\limits_{n=1}^{\infty}S_{n} x∈n=1⋂∞Sn.
证明:
必要性:
首先证明存在性: 在每个闭球
S
n
S_{n}
Sn 内任取一点
x
n
x_{n}
xn, 构成一个序列
{
x
n
}
\{x_{n}\}
{xn}, 该序列满足:
x
m
∈
S
n
,
∀
n
,
m
≥
n
x_{m}\in S_{n}, \forall n, m\geq n
xm∈Sn,∀n,m≥n
进而有
d
(
x
m
,
x
n
)
≤
r
n
∀
n
,
m
≥
n
d(x_{m}, x_{n})\leq r_{n} \forall n, m\geq n
d(xm,xn)≤rn∀n,m≥n
由于
r
n
→
0
r_{n}\rightarrow 0
rn→0, 所以对于
∀
ϵ
>
0
\forall \epsilon \gt 0
∀ϵ>0, 存在
N
N
N, 当
n
≥
N
n\geq N
n≥N 时
∣
r
n
∣
≤
ϵ
|r_{n}|\leq \epsilon
∣rn∣≤ϵ, 即对于
∀
m
,
n
≥
N
\forall m,n\geq N
∀m,n≥N,
d
(
x
m
,
x
n
)
≤
ϵ
d(x_{m},x_{n})\leq \epsilon
d(xm,xn)≤ϵ, 因此
{
x
n
}
\{x_{n}\}
{xn} 是 Cauchy 列, 由完备性可知其收敛于
x
∈
E
x\in E
x∈E. 此外, 由于
{
x
n
}
\{x_{n}\}
{xn} 是
S
1
S_{1}
S1 中的序列且
S
1
S_{1}
S1 是闭集, 因此
x
∈
S
1
x\in S_{1}
x∈S1, 因此
x
∈
⋂
n
=
1
∞
S
n
x\in \bigcap\limits_{n=1}^{\infty}S_{n}
x∈n=1⋂∞Sn.
唯一性: 若还存在 x ′ x' x′ 满足 x ′ ∈ ⋂ n = 1 ∞ S n x'\in \bigcap\limits_{n=1}^{\infty}S_{n} x′∈n=1⋂∞Sn, 则 d ( x , x ′ ) ≤ r n d(x, x')\leq r_{n} d(x,x′)≤rn, ∀ n ∈ N + \forall n\in \mathbb{N}^{+} ∀n∈N+, 令 n → ∞ n\rightarrow\infty n→∞ 可得 d ( x , x ′ ) ≤ 0 d(x,x')\leq 0 d(x,x′)≤0, 因此 d ( x , x ′ ) = 0 d(x,x')=0 d(x,x′)=0, x = x ′ x=x' x=x′, 矛盾, 因此存在唯一的点 x ∈ ⋂ n = 1 ∞ S n x\in \bigcap\limits_{n=1}^{\infty}S_{n} x∈n=1⋂∞Sn.
充分性:
即证明 E E E 中的任一 Cauchy 序列 { x n } \{x_{n}\} {xn} 收敛于 E E E 中的元. 对于 E E E 中的任一 Cauchy 序列 { x k } \{x_{k}\} {xk}, 由 Cauchy 序列的定义可知, 对于 ϵ = 1 n , ∀ n ∈ N + \epsilon = \frac{1}{n}, \forall n\in \mathbb{N}^{+} ϵ=n1,∀n∈N+, 存在 K n K_{n} Kn, 使得对于 ∀ p , q ≥ K n \forall p,q\geq K_{n} ∀p,q≥Kn, d ( x p , x q ) ≤ ϵ d(x_{p}, x_{q})\leq \epsilon d(xp,xq)≤ϵ, 进而 { x m ∣ m ≥ K n } ⊆ U ( x K n , ϵ ) ‾ \{x_{m}|m\geq K_{n}\}\subseteq \overline{U(x_{K_{n}}, \epsilon)} {xm∣m≥Kn}⊆U(xKn,ϵ), 由此可得到 E E E 中一列半径趋于 0 0 0 且嵌套的闭球 { U ( x K n , 1 n ) ‾ } \{\overline{U(x_{K_{n}}, \frac{1}{n})}\} {U(xKn,n1)}, 由题设条件可知, 存在唯一的点 x ∈ ⋂ n = 1 ∞ U ( x K n , 1 n ) ‾ x\in \bigcap\limits_{n=1}^{\infty}\overline{U(x_{K_{n}}, \frac{1}{n})} x∈n=1⋂∞U(xKn,n1). 下面证明 x x x 是 { x k } \{x_{k}\} {xk} 的极限: 取 { x k } \{x_{k}\} {xk} 的极限 { x K n } \{x_{K_{n}}\} {xKn}, 显然 d ( x K n , x ) ≤ 1 n d(x_{K_{n}},x)\leq \frac{1}{n} d(xKn,x)≤n1, ∀ n ∈ N + \forall n\in \mathbb{N}^{+} ∀n∈N+, 由于 lim n → ∞ 1 n = 0 \lim\limits_{n\rightarrow \infty}\frac{1}{n}=0 n→∞limn1=0 且 d ( x K n , x ) ≥ 0 d(x_{K_{n}},x)\geq 0 d(xKn,x)≥0, 由夹逼定理可知 lim n → ∞ d ( x K n , x ) = 0 \lim\limits_{n\rightarrow \infty}d(x_{K_{n}},x)=0 n→∞limd(xKn,x)=0, 所以 { x K n } \{x_{K_{n}}\} {xKn} 收敛于 x x x, 进而 { x n } \{x_{n}\} {xn} 收敛于 x x x.