数学分析原理答案——第三章习题24

书中玉

已于 2024-09-17 10:13:03 修改

阅读量465

点赞数 20

文章标签：数学分析原理鲁丁 rudin 习题级数

于 2024-09-16 21:05:17 首次发布

本文链接：https://blog.csdn.net/tianwangwxm/article/details/142307127

版权

【第三章习题24】

设 $X$ 是度量空间

a. 称 $X$ 中的两个Cauchy序列 ${ p_{n}\}$ ， ${ q_{n}\}$ 是等价的，如果

$\lim_{n \rightarrow \infty}{d\left( p_{n},q_{n} \right)} = 0$

证明这是一个等价关系

b. 设 $X^{*}$ 是这样得到的一切等价类的集。如果 $\in X^{*}$ ， $\in X^{*}$ ， $\left\{ p_{n} \right\} \in P$ ， $\left\{ q_{n} \right\} \in Q$ ，定义

$\mathrm{\Delta}(P,Q) = \lim_{n \rightarrow \infty}{d\left( p_{n},q_{n} \right)}$

根据习题23，这个极限是存在的。如果把 $\left\{ p_{n} \right\}$ 和 ${ q_{n}\}$ 各代以等价序列，试证：数 $\mathrm{\Delta}(P,Q)$ 不变，从而 $\mathrm{\Delta}$ 是 $X^{*}$ 里的距离函数。

c. 证明所得的度量空间 $X^{*}$ 是完备的。

d. 对于每个 $\in X$ ，有一个各项都是 $p$ 的Cauchy序列；设 $P_{p}$ 是 $X^{*}$ 中包含这个序列的成员。证明对于一切 $\in X$ ，有

$\mathrm{\Delta}\left( P_{p},P_{q} \right) = d(p,q)$

换句话说，由等式 $\varphi(p) = P_{p}$ 确定的映射，是从 $X$ 到 $X^{*}$ 内的等距映射（亦即保持距离的映射）。

e. 证明 $\varphi(X)$ 在 $X^{*}$ 中稠密，并且当 $X$ 完备时， $\varphi(X) = X^{*}$ 。

【解】

a. 自反性和对称性可根据距离函数 $d$ 的特性得出，下面证明传递性。

设三个Cauchy序列 ${ p_{n}\}$ ， ${ q_{n}\}$ ， ${ r_{n}\}$ ，其中 ${ p_{n}\}$ ， ${ q_{n}\}$ 是等价的、 ${ q_{n}\}$ ， ${ r_{n}\}$ 是等价的。由于

$\leq d\left( p_{n},r_{n} \right) \leq d\left( p_{n},q_{n} \right) + d\left( q_{n},r_{n} \right)$

所以

$\leq \lim_{n \rightarrow \infty}{d\left( p_{n},q_{n} \right)} \leq \lim_{n \rightarrow \infty}{d\left( p_{n},q_{n} \right)} + \lim_{n \rightarrow \infty}{d\left( q_{n},r_{n} \right)} = 0$

也就是说， ${ p_{n}\}$ ， ${ r_{n}\}$ 是等价的，这种关系是传递的。

b. 根据习题23，序列 $\left\{ d\left( p_{n},q_{n} \right) \right\}$ 是实数域上的柯西序列，由于实数域的完备性，所以序列 $\left\{ d\left( p_{n},q_{n} \right) \right\}$ 收敛，也就是说这个极限是存在的。

任取 $\left\{ p_{n}^{*} \right\} \in P$ ， $\left\{ q_{n}^{*} \right\} \in Q$ ，根据度量空间的特性

$d\left( p_{n}^{*},q_{n}^{*} \right) \leq d\left( p_{n}^{*},p_{n} \right) + d\left( p_{n},q_{n} \right) + d\left( q_{n},q_{n}^{*} \right)$

$d\left( p_{n},q_{n} \right) \leq d\left( p_{n},p_{n}^{*} \right) + d\left( p_{n}^{*},q_{n}^{*} \right) + d\left( q_{n}^{*},q_{n} \right)$

所以

$d\left( p_{n},q_{n} \right) - d\left( p_{n},p_{n}^{*} \right) - d\left( q_{n}^{*},q_{n} \right) \leq d\left( p_{n}^{*},q_{n}^{*} \right) \leq d\left( p_{n}^{*},p_{n} \right) + d\left( p_{n},q_{n} \right) + d\left( q_{n},q_{n}^{*} \right)$

所以

$\mathrm{\Delta}(P,Q) - 0 - 0 \leq \lim_{n \rightarrow \infty}{d\left( p_{n}^{*},q_{n}^{*} \right)} \leq \mathrm{\Delta}(P,Q) + 0 + 0$

即

$\lim_{n \rightarrow \infty}{d\left( p_{n}^{*},q_{n}^{*} \right)} = \mathrm{\Delta}(P,Q)$

c. 设 $\left\{ P_{n} \right\}$ 为 $X^{*}$ 上的Cauchy序列，

$d_{1} = \frac{1}{2}$

那么必然存在 $N_{1}$ 满足

$\forall i,j \geq N_{1}\left\lbrack \mathrm{\Delta}\left( P_{i},P_{j} \right) < d_{1} \right\rbrack$

在 $P_{i}$ 中取代表序列 $\left\{ p_{n}^{(i)} \right\}$ ，由于它是Cauchy序列，那么必然存在 $N_{1}^{(i)}$ 满足

$\forall s,t \geq N_{1}^{(i)}\left\lbrack d\left( p_{s}^{(i)},p_{t}^{(i)} \right) < d_{1} \right\rbrack$

设

$p_{1}^{*} = p_{s}^{(i)}$

于是这个来源于代表序列 $\left\{ p_{n}^{(i)} \right\}$ 中的点 $p_{1}^{*}$ 满足

$\forall k \geq N_{1},\exists N_{1}^{(k)} \in N^{+},\forall r \geq N_{1}^{(k)}\left\lbrack d\left( p_{1}^{*},p_{r}^{(k)} \right) < 2d_{1} = 1 \right\rbrack$

其中 $\left\{ p_{n}^{(k)} \right\}$ 是 $P_{k}$ 中的代表序列。

类似地，设

$d_{2} = \frac{1}{2^{2}}\ \ \ d_{3} = \frac{1}{2^{3}}\ldots d_{n} = \frac{1}{2^{n}}\ldots$

可以找到 $N_{2}、N_{3}\ldots N_{n}\ldots$ 满足

$\forall i,j \geq N_{n}\left\lbrack \mathrm{\Delta}\left( P_{i},P_{j} \right) < d_{n} \right\rbrack$

其中

$N_{1} < N_{2} < N_{3} < \ldots < N_{n} < \ldots$

在满足条件

$\forall n\left\lbrack d\left( p_{n - 1}^{*},p_{*} \right) \right\rbrack < {2d}_{n - 1}$

所有 $p_{*}$ 中，同样可以挑选得到点 $p_{2}^{*}、p_{3}^{*}\ldots p_{n}^{*}\ldots$ 满足

$\forall k \geq N_{n},\exists N_{n}^{(k)} \in N^{+},\forall r \geq N_{n}^{(k)}\left\lbrack d\left( p_{n}^{*},p_{r}^{(k)} \right) < 2d_{n} = 2^{n - 1} \right\rbrack$

由于

$\forall n\left\lbrack d\left( p_{n}^{*},p_{n + 1}^{*} \right) \right\rbrack < {2d}_{n}$

所以

$\forall i,j \geq n\lbrack d\left( p_{i}^{*},p_{j}^{*} \right) < 4d_{n}\rbrack$

这样，序列 $\left\{ p_{n}^{*} \right\}$ 就是Cauchy序列，不妨设

$\left\{ p_{n}^{*} \right\} \in P^{*} \in X^{*}$

因为对于任意的 $\varepsilon > 0$ ，总有 $2^{n - 1} < \varepsilon$ ，也总有 $N_{n}$ 且当 $k > N_{n}$ 时满足

$\mathrm{\Delta}\left( P^{*},P_{k} \right) = \lim_{n \rightarrow \infty}{d\left( p_{n}^{*},p_{n}^{(k)} \right)} \leq 2^{n - 1}$

从而

$\lim_{k \rightarrow \infty}{\mathrm{\Delta}\left( P^{*},P_{k} \right)} = 0$

所以 $P^{*}$ 是 $\left\{ P_{n} \right\}$ 的序列的极限，也就是说 $X^{*}$ 是完备的

d. 可取各项都是 $p 、 q$ 的Cauchy序列做代表，这样

$\mathrm{\Delta}\left( P_{p},P_{q} \right) = \lim_{n \rightarrow \infty}{d\left( p_{n},q_{n} \right)} = \lim_{n \rightarrow \infty}{d(p,q)} = d(p,q)$

e. 考虑 $X^{*}$ 中点 $P$ 的代表序列 $\left\{ p_{n} \right\}$ ，对于任意的 $\varepsilon > 0$ 都存在 $N$ 使得

$\forall k,m > N\left| p_{k} - p_{m} \right| < \varepsilon$

所以总存在 $\varphi\left( p_{k} \right)$ ，满足

$\mathrm{\Delta}\left( \varphi\left( p_{k} \right),P \right) \leq \varepsilon$

从而 $\varphi(X)$ 在 $X^{*}$ 中稠密。

当 $X$ 完备时，Cauchy序列都会在 $X$ 中收敛到一点，即所有 $X^{*}$ 中的元素均能用 $\varphi(X)$ 来表示。而度量空间里面的收敛序列必是Cauchy序列，即 $\varphi(X)$ 中的元素均在 $X^{*}$ 中，从而 $\varphi(X) = X^{*}$ 。