【泛函分析】距离空间的完备性

完备性

定义. 若距离空间 $E$ 满足: $E$ 中的任意 Cauchy 序列 { x n } \{x_{n}\} {xn​} 收敛于 $E$ 中的元.

Cauchy 序列的性质:

(1) 收敛序列是 Cauchy 序列;

(2) Cauchy 序列是有界的;

(3) 若 { x n } \{x_{n}\} {xn​} 是 Cauchy 序列, 并且存在一个子列 { x n k } \{x_{n_{k}}\} {xnk​​} 收敛于 $x$, 则 { x n } \{x_{n}\} {xn​} 收敛于 $x$.

证明: (1) 若 { x n } \{x_{n}\} {xn​} 是任一收敛序列, 极限为 $x$, 要证明对于 $\forall ϵ>0$, 存在正整数 $N$, 使得对于任意 $m,n\ge N$, $|x_m-x_n|\le ϵ$. 由收敛的定义, 则对 $\frac{ϵ}{2}>0$, 存在正整数 $N$, 使得当 $n\ge N$ 时, $|x_n-x|\le ϵ$, 则对于任意 $m,n\ge N$, $|x_m-x_n|\le |x_m-x|+|x_n-x|\le ϵ$, 证毕.

(2) 若 { x n } \{x_{n}\} {xn​} 是任一 Cauchy 序列, 任取正数 $ϵ>0$, 存在正整数 $N$, 使得对于任意 $m,n\ge N$, $|x_m-x_n|\le ϵ$, 即 $|x_m-x_n|\le |x_m|+|x_n|\le ϵ$, $|x_m|\le ϵ$, $x_n\le ϵ$, 所以当 $n\ge N$ 时. $|x_n|\le ϵ$, 因此 ∣ x n ∣ ≤ max ⁡ { ∣ x 1 ∣ , … , ∣ x N ∣ , ϵ } |x_{n}|\leq \max\{|x_{1}|, \dots, |x_{N}|, \epsilon\} ∣xn​∣≤max{∣x1​∣,…,∣xN​∣,ϵ}, 证毕.

(3) 即证明 $\underset{n\to \infty }{\lim }|x_n-x|=0$, 对于任意正整数 $k$, $|x_n-x|\le |x_n-x_{n_k}|+|x_{n_k}-x|$, 由于 { x n } \{x_{n}\} {xn​} 是 Cauchy 列, 所以 $\underset{\genfrac{}{}{0ex}{}{n\to \infty }{k\to \infty }}{\lim }|x_n-x_{n_k}|=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|\ge 0$, 所以由夹逼定理可知 $\underset{\genfrac{}{}{0ex}{}{n\to \infty }{k\to \infty }}{\lim }|x_n-x|=0$, 即 $\underset{n\to \infty }{\lim }|x_n-x|=0$.

完备的距离空间称为 Banach 空间.

$E$ 是完备的距离空间的充要条件是:

对于 $E$ 中任意一列半径趋于 $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\to 0$, 且对于 $\forall n\in {\mathbb{N}}^{+}$, $S_n\subseteq S_{n+1}$, 则存在唯一的点 $x\in \bigcap _{n=1}^{\infty }{S}_n$.

证明:

必要性:

首先证明存在性: 在每个闭球 $S_n$ 内任取一点 $x_n$, 构成一个序列 { x n } \{x_{n}\} {xn​}, 该序列满足:
$$x_m\in S_n,\forall n,m\ge n$$
进而有
$$d(x_m,x_n)\le r_n\forall n,m\ge n$$
由于 $r_n\to 0$, 所以对于 $\forall ϵ>0$, 存在 $N$, 当 $n\ge N$ 时 $|r_n|\le ϵ$, 即对于 $\forall m,n\ge N$, $d(x_m,x_n)\le ϵ$, 因此 { x n } \{x_{n}\} {xn​} 是 Cauchy 列, 由完备性可知其收敛于 $x\in E$. 此外, 由于 { x n } \{x_{n}\} {xn​} 是 $S_1$ 中的序列且 $S_1$ 是闭集, 因此 $x\in S_1$, 因此 $x\in \bigcap _{n=1}^{\infty }{S}_n$.

唯一性: 若还存在 $x^{\prime }$ 满足 $x^{\prime }\in \bigcap _{n=1}^{\infty }{S}_n$, 则 $d(x,x^{\prime })\le r_n$, $\forall n\in {\mathbb{N}}^{+}$, 令 $n\to \infty$ 可得 $d(x,x^{\prime })\le 0$, 因此 $d(x,x^{\prime })=0$, $x=x^{\prime }$, 矛盾, 因此存在唯一的点 $x\in \bigcap _{n=1}^{\infty }{S}_n$.

充分性:

即证明 $E$ 中的任一 Cauchy 序列 { x n } \{x_{n}\} {xn​} 收敛于 $E$ 中的元. 对于 $E$ 中的任一 Cauchy 序列 { x k } \{x_{k}\} {xk​}, 由 Cauchy 序列的定义可知, 对于 $ϵ=\frac{1}{n},\forall n\in {\mathbb{N}}^{+}$, 存在 $K_n$, 使得对于 $\forall p,q\ge K_n$, $d(x_p,x_q)\le ϵ$, 进而 { 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$ 中一列半径趋于 $0$ 且嵌套的闭球 { U ( x K n , 1 n ) ‾ } \{\overline{U(x_{K_{n}}, \frac{1}{n})}\} {U(xKn​​,n1​)​}, 由题设条件可知, 存在唯一的点 $x\in \bigcap _{n=1}^{\infty }\overline{U(x_{K_n},\frac{1}{n})}$. 下面证明 $x$ 是 { x k } \{x_{k}\} {xk​} 的极限: 取 { x k } \{x_{k}\} {xk​} 的极限 { x K n } \{x_{K_{n}}\} {xKn​​}, 显然 $d(x_{K_n},x)\le \frac{1}{n}$, $\forall n\in {\mathbb{N}}^{+}$, 由于 $\underset{n\to \infty }{\lim }\frac{1}{n}=0$ 且 $d(x_{K_n},x)\ge 0$, 由夹逼定理可知 $\underset{n\to \infty }{\lim }d(x_{K_n},x)=0$, 所以 { x K n } \{x_{K_{n}}\} {xKn​​} 收敛于 $x$, 进而 { x n } \{x_{n}\} {xn​} 收敛于 $x$.