250922

非负性和对称性显然, 下证三角不等式.

由 $f(t)=\frac {t}{1+t}=1-\frac{1}{1+t}$ 递增, 于是用复数域 $|x-y|$ 度量的三角不等式得到

又 $f'(t)=\frac{1}{(1+t)^2}<1$, 所以有 $f(|a|+|b|)\leqslant f(|a|)+f(|b|)$. 故

再对 $k$ 求和就可以得到三角不等式成立.

然后证明 $S$ 是完备的.

任取一个 $S$ 中的柯西列 $\lbrace x^{(m)}\rbrace $ ($m\to\infty, \forall p\in\mathbb{N}_+$) 即 $\forall \varepsilon>0,\exists M>0,\ s.t. \forall m\geqslant M, p\geqslant 1$ 有 $\rho(x^{(m+p)},x^{(m)})<\varepsilon$.

现关注数列的第 $k$ 项, 当 $\varepsilon<\frac{1}{2^{k+1}}$ 时, 有

移向变换可得

由于现在关注的是第 $k$ 项构成的序列 $\lbrace x_k^{(m)}\rbrace _{m=1}^\infty$ 所以我们得到 $\lbrace x_k^{(m)}\rbrace $ 是 $\mathbb{C}$ 中的柯西列, 根据复数域的完备性该序列收敛, 记收敛于 $x_k$.

如此, 我们就得到了一个新的数列 $\lbrace x_k\rbrace \in S$ 记作 $x$. 下证 $\lbrace x^{(m)}\rbrace $ 收敛于 $x$.

$\forall \varepsilon>0$, 由于 $\frac{|x_k^{(m)}-x_k|}{1+|x_k^{(m)}-x_k|}<1$, 所以

取 $n_0\geqslant\lceil-\log_2 \varepsilon\rceil+1$ 那么对于前 $n_0$ 项, 由于每一项都收敛至 $x_k$, 又是有限项, 故可以取一个一致的 $M$, 使得 $|x_k^{(m)}-x_k|<\varepsilon,\ \forall m\geqslant M$, 从而 $\rho(x^{(m)},x)<2\varepsilon,\ \forall m\geqslant M$.

即 $\lbrace x^{(m)}\rbrace $ 收敛.

综上 $S$ 是完备的度量空间.

$F$ 的完备化空间应该是所有极限为 0 的实数列的全体, 记为 $\widetilde{F}$.

先说明 $F$ 在 $\widetilde{F}$ 中稠密.

即证明 $\forall x\in\widetilde{F}, \varepsilon>0,\ \exists y\in F,\ s.t. \rho(x,y)<\varepsilon$.

设 $x=(\xi_1,\xi_2,\ldots,\xi_n,\ldots)$, 由于 $\lim\limits_{n\to\infty}\xi_n=0$, 所以存在 $N_0$ 使得 $n\geqslant N_0$ 时 $\xi_n<\varepsilon$. 故只需取 $y=(\xi_1,\xi_2,\ldots,\xi_{N_0},0,0,\ldots)$, 那么 $\rho(x,y)=\sup\limits_{n\geqslant N_0}\xi_n<\varepsilon$.

所以 $F$ 在 $\widetilde{F}$ 中稠密.

再说明 $\widetilde{F}$ 是完备的.

任取 $\lbrace x^{(n)}\rbrace $ 是柯西列.

进而对每一维 $k$ 有

即 $\lbrace \xi_k^{(n)}\rbrace _{n=1}^\infty$ 也是柯西列, 由 $\mathbb{R}$ 的完备性知其收敛, 记为 $\xi_k$. 故取 $x=(\xi_1,\xi_2,\ldots,\xi_n,\ldots)$, 下证 $x^{(n)}\to x$ 且 $x\in \widetilde{F}$.

由 $\lbrace x^{(n)}\rbrace $ 是柯西列, 可得 $\forall \varepsilon>0,\exists N,\ s.t.\forall n,m\geqslant N$ 有

再固定 $n$ 对一切 $m\geqslant N$ 和 $k$ 有

再令 $m\to\infty$ 得到

从而 $$ \rho(x^{(n)},x)=\sup\limits_{k\geqslant 1}|\xi_k^{(n)}-\xi_k|\leqslant\varepsilon,\forall n\geqslant N

$$

即 $x^{(n)}\to x$. 并且由 $\lbrace \xi_k^{(n)}\rbrace _{k=1}$ 收敛至 $0$, 我们有 $\exists K,\ s.t.\forall k\geqslant K, \ |\xi_k^{(N)}-\xi_k|<\varepsilon,\ |\xi_k^{(N)}|<\varepsilon$ 从而 $|\xi_k|<2\varepsilon$ 即 $\xi_k\overset{k}{\to}0$, $x\in \widetilde{F}$.

综上我们说明了 $\widetilde{F}$ 是 $F$ 的完备化空间.

其完备化空间应该为 $L^1([0,1])$ 即在 $[0,1]$ 上 Lebesgue 可积的函数全体.

稠密性: 由实变函数中 \ref{连续函数逼近可积函数} 对任意可积函数存在具有紧支集的连续函数逼近, 再由数学分析中魏尔斯特拉斯定理存在多项式逼近有界闭区间上的连续函数. 从而可以用多项式逼近任意可积函数.

再令 $n\to\infty$ 得

考虑数列 $\lbrace y^{(1/m)}\rbrace $, $\forall \varepsilon>0,$ 取 $N=\lceil \frac 2 \varepsilon\rceil$, 则 $n,m\geqslant N$ 时 $\rho(y^{(1/m)},y^{(1/n)})\leqslant\frac 1 n+\frac 1 m< \varepsilon$ 从而 $\lbrace y^{(1/m)}\rbrace $ 是柯西列, 又空间完备故收敛记作 $y$.

下证 $x_n\to y$.

$\forall \varepsilon>0, \exists m, \rho(y^{(1/m)},y)<\frac \varepsilon 3\wedge \frac 1 m<\frac \varepsilon 3$, 又 $y_n^{(1/m)}\to y^{(1/m)}$ 故存在 $N$ 使得 $n\geqslant N$ 时有

再根据 $\lbrace y_n^{(1/m)}\rbrace $ 定义有

所以有

即 $x_n\to y$.

所以 $\lbrace x_n\rbrace $ 收敛.

根据下确界的定义, 对任意 $n$ 存在 $x_n\in F_1,y_n\in F_2$, 使得

由 $F_1$ 的紧性, 存在子列 $\lbrace x_{n_k}\rbrace $ 收敛, 记收敛至 $x_1\in F_1$. 考虑对应的子列 $\lbrace y_{n_k}\rbrace $, 由 $F_2$ 的紧性, 该序列也存在收敛子列 $\lbrace y_{n_{k_j}}\rbrace $, 记收敛至 $x_2\in F_2$. 从而有

令 $j\to\infty$ 结合 \ref{度量二元连续} 可得 $d=\rho(x_1,x_2)$.