泛函分析基础7-1-度量空间4-2-6：完备度量空间-例04【令P[a,b]表示闭区间[a,b]上实系数多项式全体，则P[a,b]作为C[a,b]的子空间是不完备的度量空间】

柯西点列

设 $X=(X,d)$ 是度量空间， { x n } \left\{ x _ { n } \right\} {xn​} 是 $X$中点列，如果对任意给定的正数 $\epsilon >0,$存在正整数 $N=N(\epsilon ),$ 使当 $n,m>N$ 时，必有

$$d\left(x_n,x_m\right)<\epsilon ,$$

则称 { x n } \left\{ x _ { n } \right\} {xn​} 是 $X$中的柯西点列或基本点列。

如果度量空间 $(X,d)$ 中每个柯西点列都在$(X,d)$ 中收敛，那么称 $(X,d)$ 是完备的度量空间。

注意：这里要求在 $X$ 中存在一点，使该柯西点列收敛到这一点。

---

下面举几个不完备空间的例子.

例4
令 $P[a,b]$ 表示闭区间 $[a,b]$ 上实系数多项式全体，则$P[a,b]$ 作为 $C[a,b]$的子空间是不完备的度量空间.

事实上存在多项式列$P_k,k=1,2,\cdots$ 在 $[a,b]$ 上一致地收敛于某个非多项式的连续函数，也就是说 $P[a,b]$ 不是 $C[a,b]$的闭子空间，由上述定理知 $P[a,b]$ 不是完备度量空间.

设 $X$ 表示闭区间 $[0,1]$ 上连续函数全体，对任意 $x,y\in X,$ 令

$$d(x,y)={\int }_0^1|x(t)-y(t)|\mathrm{d}t,$$

那么 $(X,d)$ 成 为度量空间.事实上，容易验证 $d$ 满足第二章$\mathrm{S}$ 1 中关于距离的条件 $2^{\circ }.$ 现验证 $d$ 满足条件 $1^{\circ }.$ 事实上， $d$ 非负显然，如果$x(t)\equiv y(t),t\in [0,1],$ 则显然 $d ( x , y ) =$0,反之如果 $d(x,y)=0,$ 因为$|x(t)-y(t)|⩾0,$ 所以 $x(t)=y(t)a.e.$于 $[0,1],$ 但几乎处处相等的连续函数必然恒等（请读者自证），所以 $x=y.$

例5
上面定义的度量空间 $(X,d)$ 不完备

证明
令（图7.1）

$$x_m(t)=\{\begin{array}{ll}1,& \frac{1}{2}+\frac{1}{m}⩽t⩽1,\\ m\left(x-\frac{1}{2}\right),& \frac{1}{2}<t<\frac{1}{2}+\frac{1}{m},\\ 0,& 0⩽t⩽\frac{1}{2}.\end{array}$$

那么， { x i } \left\{ x _ { i } \right\} {xi​} 是 $(X,d)$中的柯西点列.事实上，对任何正数 $\epsilon >0,$ 当 $n>m>\frac{1}{\epsilon }$ 时，

$$d\left(x_n,x_m\right)={\int }_0^1\left|x_n(t)-x_m(t)\right|\mathrm{d}t={\int }_{\frac{1}{2}}^{\frac{1}{2}+\frac{1}{m}}\left|x_n(t)-x_m(t)\right|\mathrm{d}t⩽\frac{1}{m}<\epsilon ,$$

但对每个 $x\in X,$

$$\begin{array}{rl}d\left(x_m,x\right)& ={\int }_0^1\left|x_m(t)-x(t)\right|\mathrm{d}t\\ & ={\int }_0^{\frac{1}{2}}\mid x\left(t\right)\mid dt+{\int }_{\frac{1}{2}}^{\frac{1}{2}+\frac{1}{m}}|x_m\left(t\right)-x\left(t\right)\mid dt+{\int }_{\frac{1}{2}+\frac{1}{m}}^1\mid 1-x\left(t\right)\mid dt.\end{array}$$

如果$d\left(x_m,x\right)\to 0(m\to \infty ),$必有

$${\int }_0^{\frac{1}{2}}|x(t)|\mathrm{d}t=0,{\int }_{\frac{1}{2}}^1|1-x(t)|\mathrm{d}t=0,$$

但由于 $x(t)$ 在 $[0,1]$ 上连续，所以 $x(t)$ 在$\left[0,\frac{1}{2}\right]$ 上恒为0，在$\left(\frac{1}{2},1\right]$ 上恒为1，所以这与 $x(t)$ 在 $[0,1]$ 上连续矛盾，因此 $(X,d)$ 不完备，${\lim }_{t-\frac{1}{2}0}x(t)=0,{\lim }_{t\to \frac{1}{2}-0}x(t)=1,$