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

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

6.4.1 设 $(a_n)_{n \rightarrow m}^{\infty}$ 是收敛到实数 $c$ 的序列。那么 $c$ 是 $(a_n)_{n \rightarrow m}^{\infty}$ 的极限点。并且是仅有的极限点。

1. 先证明 $c$ 是 $(a_n)_{n \rightarrow m}^{\infty}$ 的极限点。

因为$(a_n)_{n \rightarrow m}^{\infty}$ 收敛到 $c$。所以对于任意的 $\varepsilon >0$ 都有 $(a_n)_{n \rightarrow m}^{\infty}$ 是终极 $\varepsilon-$ 接近 $c$ 的，所以$(a_n)_{n \rightarrow m}^{\infty}$也是终极 $\varepsilon-$ 附着于 $c$ 的 。所以 $c$ 是极限点。

1. 再证明 $c$ 是唯一的极限点。

假设 $(a_n)_{n \rightarrow m}^{\infty}$ 还有另外一个极限点 $c' \neq c$。设 $\varepsilon = |c - c'|/2$。
由于 $(a_n)_{n \rightarrow m}^{\infty}$ 收敛到 $c$。所以存在一个 $N > 0$，当 $n > N$ 时有$|a_n - c| < \varepsilon$，$|a_n - c'| = | c - c' + a_n - c | \geq 2\varepsilon - \varepsilon = \varepsilon$

这与 $c'$ 是 $(a_n)_{n \rightarrow m}^{\infty}$ 的极限点矛盾。所以 $c$ 是 $(a_n)_{n \rightarrow m}^{\infty}$ 仅有的极限点。

6.4.2 设 $(a_n)_{n=m}^{\infty}$ 是一个实数列，$c$ 是实数，并且 $m' > m$ 是整数。证明： （1） $c$ 是 $(a_n)_{n=m}^{\infty}$ 的极限点，当且仅当 $c$ 是 $(a_n)_{n=m'}^{\infty}$ 的极限点。 （2） $c$ 是 $(a_n)_{n=m}^{\infty}$ 的上极限，当且仅当 $c$ 是 $(a_n)_{n=m'}^{\infty}$ 的上极限。

（1）如果 $c$ 是 $(a_n)_{n=m}^{\infty}$ 的极限点，那么对于任意的 $\varepsilon > 0$ 和任意的 $N > m$，我们都能找到一个 $n > N$ 满足 $|a_n - c| < \varepsilon$。 所以对任意的 $N > m'$，我们都能找到一个 $n > N$ 满足 $|a_n - c| < \varepsilon$。 所以 $c$ 是 $(a_n)_{n=m'}^{\infty}$ 的极限点。 如果 $c$ 是 $(a_n)_{n=m'}^{\infty}$ 的极限点，那么对于任意的 $\varepsilon > 0$ 和任意的 $N > m'$，我们都能找到一个 $n > N$ 满足 $|a_n - c| < \varepsilon$。那么对于任意 $N > m$，我们取 $N' = \max(N, m')$，自然也可以找到一个 $n > N'$ 满足 $|a_n - c| < \varepsilon$。这个 $n$ 也满足 $n > N$。所以对于任意 $N > m$，我们都能找到一个 $n > N$ 满足 $|a_n - c| < \varepsilon$。所以 $c$ 是 $(a_n)_{n=m}^{\infty}$ 的极限点。
所以 $c$ 是 $(a_n)_{n=m}^{\infty}$ 的极限点 和 $c$ 是 $(a_n)_{n=m'}^{\infty}$ 的极限点是等价的。

(2) $(a_n)_{n=m}^{\infty}$的上极限是 $L_1^+=\inf(a_{N}^{+})_{N=m}^{\infty}$，$(a_n)_{n=m'}^{\infty}$的上极限是 $L_2^+=\inf(a_{N}^{+})_{N=m'}^{\infty}$

$a_N^+ = \sup(a_n)_{n=m}^{\infty}$ 是单调减数列。所以$L_1^+ = L_2^+$。

6.4.3 证明引理 6.4.12

（c）$\inf(a_n)_{n=m}^\infty \leq L^{-} \leq L^{+} \leq \sup(a_n)_{n=m}^\infty$

$a_N^{-} = \inf(a_n)_{n=N}^{\infty}$ 是单调增数列。
$\inf(a_n)_{n=m}^\infty \leq a_N^{-} \leq \sup(a_N^{-})_{n=m}^{\infty} = L^{-}$

$a_N^{+} = \sup(a_n)_{n=N}^{\infty}$ 是单调减数列。
$\sup(a_n)_{n=m}^\infty \geq a_N^{-} \geq \inf(a_N^{+})_{n=m}^{\infty} = L^{+}$

$a_N^{+} \geq a_N^{-}$ 所以 $L^+ \geq a_N^{-}$ 对任意的 N 成立，所以 $L^{+} \geq L^{-}$。
所以：$\inf(a_n)_{n=m}^\infty \leq L^{-} \leq L^{+} \leq \sup(a_n)_{n=m}^\infty$

（d）如果 $c$ 是 $(a_n)_{n=m}^{\infty}$ 的极限点，那么 $L^- \leq c \leq L^+$.

反证法：如果 $c > L^+$ 那么设 $\varepsilon = |c - L^+| /2$
那么有极限点的定义可知，对于无论多大的 $N > m$ 都有 $n >N$ 满足 $|a_n - c| < \varepsilon$，也就是说 $a_n > L^+ + \varepsilon$。
可是由 (a) 可知，存在一个 $N>m$ 当 $n > N$ 时，所有的 $a_n < L^+ + \varepsilon$
产生矛盾，所以 $c < L^+$
同样方法，可以证明 $c > L^-$
所以 $L^- \leq c \leq L^+$.

（e）如果 $L^+$ 是有限的，那么它是 $(a_n)_{n=m}^{\infty}$ 的极限点。

由 （a）（b） 可知：对任意的$\varepsilon > 0$ 以及每个 $N > m$ 都存在着一个 $n > N$ 满足 $L^+ \geq a_n \geq L^+ - \varepsilon$。所以 $L^+$ 是极限点。

（f）设 $c$ 是实数，如果 $(a_n)_{n=m}^{\infty}$ 收敛到 $c$，那么必有 $L^+ = L^- = c$。反之也成立。

反证法：假设 $c \neq L^+$ ,那么必有 $c < L^+$，设 $\varepsilon = |L^+ - c| / 2$。
那么存在一个 $N > m$ 对任意的 $n >N$ 都有 $a_n < c + \varepsilon$
而 (b) 却表明我们可以找到一个 $n > N$ 满足 $a_n > c + \varepsilon$ 产生矛盾，所以 $c = L^+$
同样方法，可以证明 $c = L^-$

如果 $L^+ = L^- = c$ 那么由 (a) 可知对于任意的 $\varepsilon > 0$ 都存在一个 $N>m$ 使得对于一切的 $n > N$ 都有 $a_n < L^+ + \varepsilon$ 和 $a_n > L^- -\varepsilon$。所以 $|a_n - c| < \varepsilon$ 所以 $(a_n)_{n=m}^{\infty}$ 收敛到 $c$。

6.4.4 证明引理 6.4.13

对一起 $n > m$ 都有 $a_n \leq b_n$ 。
（a）证明 $\sup(a_n)_{n=m}^{\infty} \leq \sup(b_n)_{n=m}^{\infty}$
反证法：设 $A = \sup(a_n)_{n=m}^{\infty}, B =\sup(b_n)_{n=m}^{\infty}$
假设 $A > B$ 设 $\varepsilon = |A - B|/2$
那么存在至少一个 $n > m$ 满足 $a_n > A - \varepsilon = B + \varepsilon$
所以 $b_n \geq a_n > B + \varepsilon$
这与 $B = \sup(b_n)_{n=m}^{\infty}$ 矛盾。所以 $\sup(a_n)_{n=m}^{\infty} \leq \sup(b_n)_{n=m}^{\infty}$

（b）$\inf(a_n)_{n=m}^{\infty} \leq \inf(b_n)_{n=m}^{\infty}$
与 (a) 类似的方法可以证明。

（c）$\lim_{n \rightarrow \infty} \sup(a_n) \leq \lim_{n \rightarrow \infty} \sup(b_n)$

$a_N^+ = \sup(a_n)_{n=N}^{\infty}$
$b_N^+ = \sup(b_n)_{n=N}^{\infty}$
$\lim_{n \rightarrow \infty} \sup(a_n) = \inf(a_N^+)_{N=m}^{\infty}$
$\lim_{n \rightarrow \infty} \sup(b_n) = \inf(b_N^+)_{N=m}^{\infty}$

因为 $a_N^+ \leq b_N^+$，所以有 $\inf(a_N^+)_{N=m}^{\infty} \leq \inf(b_N^+)_{N=m}^{\infty}$
所以 $\lim_{n \rightarrow \infty} \sup(a_N)_{N=n}^{\infty} \leq \lim_{n \rightarrow \infty} \sup(b_N)_{N=n}^{\infty}$

（d）$\lim_{n \rightarrow \infty} \inf(a_n) \leq \lim_{n \rightarrow \infty} \inf(b_n)$

因为 $\inf(a_n)_{n=m}^{\infty} \leq \inf(b_n)_{n=m}^{\infty}$
所以 $\lim_{n \rightarrow \infty} \inf(a_N)_{N=n}^{\infty} \leq \lim_{n \rightarrow \infty} \inf(b_N)_{N=n}^{\infty}$

6.4.5 证明 6.4.14

设 $(a_n)_{n=m}^{\infty}$ ， $(b_n)_{n=m}^{\infty}$ ， $(c_n)_{n=m}^{\infty}$ 是实数列。
$a_n \leq b_n \leq c_n$

若 $(a_n)_{n=m}^{\infty}$ 和 $(c_n)_{n=m}^{\infty}$ 都收敛到 $L$ 则 $(b_n)_{n=m}^{\infty}$ 也收敛到 $L$。

$L_a^{+} = \lim_{n \rightarrow \infty} \sup(a_n)$
$L_b^{+} = \lim_{n \rightarrow \infty} \sup(b_n)$
$L_c^{+} = \lim_{n \rightarrow \infty} \sup(c_n)$
$L_a^{-} = \lim_{n \rightarrow \infty} \inf(a_n)$
$L_b^{-} = \lim_{n \rightarrow \infty} \inf(b_n)$
$L_c^{-} = \lim_{n \rightarrow \infty} \inf(c_n)$

由上一题结论可知 $L_a^{+} \leq L_b^{+} \leq L_c^{+}$, $L_a^{-} \leq L_b^{-} \leq L_c^{-}$

因为 $L_a^{+} = L_c^{+} = L$ 所以 $L_b^{+} = L$
因为 $L_a^{-} = L_c^{-} = L$ 所以 $L_b^{-} = L$

所以 $(b_n)_{n=m}^{\infty}$ 也收敛到 $L$。

6.4.6

$a_n = 0, b_n = -1/n$
则：$\sup(a_n)_{n = 1}^{\infty} = \sup(b_n)_{n = 1}^{\infty}$

6.4.7 设 $(a_n)_{n=m}^{\infty}$ 是实数列。那么极限 $\lim_{n \rightarrow \infty} a_n$ 存在并等于零当且仅当极限 $\lim_{n \rightarrow \infty} |a_n|$ 存在并等于零。

先证 $\lim_{n \rightarrow \infty} a_n = 0$ 可推出 $\lim_{n \rightarrow \infty} |a_n| = 0$
因为 $\lim_{n \rightarrow \infty} a_n = 0$ ，对任意的 $\varepsilon >0$ 都存在 $N$ 当 $n > N$ 时有 $|a_n| < \varepsilon$，所以 $\lim_{n \rightarrow \infty} |a_n| = 0$

再证 $\lim_{n \rightarrow \infty} |a_n| = 0$ 可推出 $\lim_{n \rightarrow \infty} a_n = 0$
因为 $-|a_n| \leq a_n \leq |a_n|$
所以 $\lim_{n \rightarrow \infty} |a_n| = 0$ 可推出 $\lim_{n \rightarrow \infty} a_n = 0$

6.4.8

当 $(a_n)_{n=m}^{\infty}$ 有上界时，命题 6.4.12 已经证明了 $L^+$ 大于其他的极限点。当 $(a_n)_{n=m}^{\infty}$ 没有上界时，$L^+ = \infty$，自然也大于其他极限点。

当 $(a_n)_{n=m}^{\infty}$ 有下界时，命题 6.4.12 已经证明了 $L^-$ 小于其他的极限点。当 $(a_n)_{n=m}^{\infty}$ 没有下界时，$L^- = -\infty$，自然也小于其他极限点。

6.4.9

$$a_n = (-1)^n n$$

6.4.10

对任意的$\varepsilon > 0$ 和任意的 $N>m$ 都能找到一个 $i > N$ 满足 $|b_i-c| < \varepsilon/ 2$
又因为 $b_i$ 是 $(a_n)_{n=m}^{\infty}$ 的极限点。所以 能找到一个 $j > N$ 满足 $|a_j - b_i| < \varepsilon/2$
所以 $|a_j - c| < \varepsilon$
所以 $c$ 是$(a_n)_{n=m}^{\infty}$ 的极限点