陶哲轩实分析 5.2 节习题试解

陶哲轩实分析 5.2 节习题试解

5.2.1

设 $(a_n)_{n=0}^{\infty}$ 是个 Cauchy 序列，$(b_n)_{n=0}^{\infty}$ 是与 $(a_n)_{n=0}^{\infty}$ 等价的序列，证明 $(b_n)_{n=0}^{\infty}$ 也是 Cauchy 序列。

证明：

因为 $(a_n)_{n=0}^{\infty}$ 是个 Cauchy 序列。所以对于任意的 $\varepsilon > 0$，都存在一个 $N \geq 0$， 当$i, j \geq N$ 时，满足 $|a_i - a_j| < \varepsilon /3$。

因为 $(b_n)_{n=0}^{\infty}$ 是与 $(a_n)_{n=0}^{\infty}$ 等价的序列。所以对于任意的 $\varepsilon > 0$，都存在一个 $N' \geq 0$ ，当 $n \geq N'$ 时满足 $|a_n - b_n| < \varepsilon /3$。

对于任意的 $\varepsilon > 0$，设 $M = \max(N, N')$。则，当$i, j \geq N'$ 时，有：

$$\begin{eqnarray} |b_i - b_j| & \leq & |b_i - a_i + a_j - b_j + a_i - a_j| \\ & \leq & |b_i - a_i | + |a_j - b_j| + |a_i - a_j| \\ & \leq & \varepsilon /3 + \varepsilon /3 + \varepsilon /3 \\ & = & \varepsilon \end{eqnarray}$$

所以 $(b_n)_{n=0}^{\infty}$ 也是 Cauchy 序列。

5.2.2

设 $(a_n)_{n=0}^{\infty}$ 是个有界序列，$(b_n)_{n=0}^{\infty}$ 是与 $(a_n)_{n=0}^{\infty}$ 终极 $\varepsilon$- 接近的，证明 $(b_n)_{n=0}^{\infty}$ 也是有界序列。

证明：
$(a_n)_{n=0}^{\infty}$ 是个有界序列。那么存在一个 $M \geq 0$，对任意的 $i \geq 0$，满足 $|a_i| < M$。
因为 $(b_n)_{n=0}^{\infty}$ 是与 $(a_n)_{n=0}^{\infty}$ 终极 $\varepsilon$- 接近的。
所以存在一个 $N \geq 0$，当 $n \geq N$ 时，有 $|a_n - b_n| < \varepsilon$。
所以当 $n \geq N$ 时，有 $|b_n| \leq |a_n| + \varepsilon \leq M + \varepsilon$

$(b_n)_{n=0}^{N-1}$ 是个有限长度序列，必然是有界的，也就是说存在一个 $M'$，满足：
当 $n < N$ 时，$|b_n| \leq M'$。

取 $M'' = \max(M, M')$。则对任意的 $b_n$ 都有 $|b_n| \leq M''$。
所以 $(b_n)_{n=0}^{\infty}$ 是个有界序列。