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

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

7.2.1 级数 $\sum_{n=1}^{\infty} (-1)^n$ 是收敛还是发散？

发散。

7.2.2 证明命题 7.2.5

设 $S_n = \sum_{i = 0}^{n} a_i$ 是部分和。
那么 $(S_n)_{n=0}^{\infty}$ 收敛当且仅当 $(S_n)_{n=0}^{\infty}$ 是柯西列。
等价于 $|\sum_{n=p}^{q}a_n| \leq \varepsilon$ 对于一切的 $p,q \geq N$

7.2.3 证明推论 7.2.6

设 $S_n = \sum_{i = 0}^{n} a_i$ 是部分和。
那么 $(S_n)_{n=0}^{\infty}$ 收敛当且仅当 $(S_n)_{n=0}^{\infty}$ 是柯西列。
对任意的 $\varepsilon > 0$ 都存在 $N > 0$，当 $p,q \geq N$ 时有 $|S_p - S_q| \leq \varepsilon$

如果我们取 $q = p - 1$ 那么

$$|S_p - S_q| = |S_p - S_{p-1} | = |a_p| \leq \varepsilon$$
所以
$$\lim_{n \rightarrow \infty} a_n = 0$$

7.2.4 证明命题 7.2.9

因为 $\sum_{n=m}^{\infty} a_n$ 是绝对收敛的，所以对任意的 $\varepsilon > 0$，都存在整数 $N \geq m$ 使得

$$\left|\sum_{n=p}^{q} |a_n|\right| = \sum_{n=p}^{q} |a_n| \leq \varepsilon$$
所以
$$\left|\sum_{n=p}^{q} a_n \right| \leq \sum_{n=p}^{q} |a_n| \leq \varepsilon$$

所以 $\sum_{n=m}^{\infty} a_n$ 是条件收敛的。

$$\left|\sum_{n=p}^{\infty} a_n \right| = \lim_{q \rightarrow \infty} \left|\sum_{n=p}^{q} a_n \right| \leq \varepsilon$$
$$\begin{eqnarray} \left|\sum_{n=m}^{\infty} a_n \right| &=& \left|\sum_{n=m}^{p} a_n + \sum_{n=p}^{\infty} a_n \right| \\ &\leq& \left|\sum_{n=m}^{p} a_n \right| + \varepsilon\\ &\leq& \sum_{n=m}^{p} |a_n| + \varepsilon \\ &\leq& \sum_{n=m}^{\infty} |a_n| + \varepsilon \end{eqnarray}$$

所以

$$\left|\sum_{n=m}^{\infty} a_n \right| - \varepsilon \leq \sum_{n=m}^{\infty} |a_n|$$
因为 $\varepsilon$ 可以为任意小的正数。所以有

$$\left|\sum_{n=m}^{\infty} a_n \right| \leq \sum_{n=m}^{\infty} |a_n|$$

7.2.5 证明命题 7.2.14

（a） 设 $S_a(N) = \sum_{n=m}^{N} a_n$，$S_b(N) = \sum_{n=m}^{N} b_n$，$S_{ab}(N) = \sum_{n=m}^{N} (a_n+b_n)$

对任意的实数 $\varepsilon > 0$ 都存在 $N$ 当 $p, q > N$ 时有

$$\left|\sum_{n=m}^{\infty} a_n \right| \leq \frac{\varepsilon}{2} \\ \left|\sum_{n=m}^{\infty} b_n \right| \leq \frac{\varepsilon}{2} \\ $$
所以
$$\left|\sum_{n=m}^{\infty} (a_n+b_n) \right| \leq \left|\sum_{n=m}^{\infty} a_n \right| + \left|\sum_{n=m}^{\infty} b_n \right| \leq \varepsilon$$

所以 $\sum_{n=m}^{\infty} (a_n+b_n)$ 是收敛的。

那么有

$$S_{ab}(N) = S_a(N) + S_b(N)\\ \lim_{N \rightarrow \infty }S_{ab}(N) = \lim_{N \rightarrow \infty }S_a(N) + \lim_{N \rightarrow \infty }S_b(N)$$

所以

$$\sum_{n=m}^{\infty} (a_n+b_n) = \sum_{n=m}^{\infty} a_n + \sum_{n=m}^{\infty} b_n$$

（b）设 $S_a(N) = \sum_{n=m}^{N} a_n$，设 $S_{ca}(N) = \sum_{n=m}^{N} c \times a_n$

对任意的实数 $\varepsilon > 0$ 都存在 $N$ 当 $p, q > N$ 时有

$$\left|\sum_{n=m}^{\infty} a_n \right| \leq \frac{\varepsilon}{|c|} \\ $$
所以
$$\left|\sum_{n=m}^{\infty} c a_n \right| \leq \varepsilon\\ $$

所以 $\sum_{n=m}^{\infty} c a_n$ 是收敛的。
那么有

$$S_{ca}(N) = c S_a(N)\\ \lim_{N \rightarrow \infty} S_{ca}(N) = c \lim_{N \rightarrow \infty} S_a(N)$$
所以
$$\sum_{n=m}^{\infty} c a_n = c \times \sum_{n=m}^{\infty} a_n$$

（c）
假设 $\sum_{n=m}^{\infty} a_n$ 是收敛的。那么对任意的实数 $\varepsilon > 0$ 都存在 $N > m$ 当 $p, q > N$ 时有

$$\left|\sum_{n=p}^{q} a_n \right| \leq \varepsilon \\ $$

那么自然当 $p, q > N + k$ 时有

$$\left|\sum_{n=p}^{q} a_n \right| \leq \varepsilon \\ $$

所以 $\sum_{n=m+k}^{\infty} a_n$ 是收敛的。

假设 $\sum_{n=m+k}^{\infty} a_n$ 是收敛的。那么对任意的实数 $\varepsilon > 0$ 都存在 $N > m + k$ 当 $p, q > N$ 时有

$$\left|\sum_{n=p}^{q} a_n \right| \leq \varepsilon \\ $$
所以 $\sum_{n=m}^{\infty} a_n$ 是收敛的。

设 $S_1(N) = \sum_{n=m}^{N} a_n$， $S_2(N) = \sum_{n=m+k}^{N} a_n$

当 $N > m + k$ 时有

$$S_1(N) = \sum_{n=m}^{m+k-1}a_n + S_2(N)\\ \lim_{N \rightarrow \infty} S_1(N) = \sum_{n=m}^{m+k-1}a_n + \lim_{N \rightarrow \infty} S_2(N)$$

所以

$$\sum_{n=m}^{\infty} a_n = \sum_{n=m}^{m+k-1}a_n +\sum_{n=m+k}^{\infty} a_n$$

（d）
因为

$$\sum_{n=m}^{\infty} a_n = x$$

所以对任意的实数 $\varepsilon > 0$ 都存在 $N > m$ 当 $p, q > N$ 时有

$$\left| \sum_{n=p}^{q} a_n \right| \leq \varepsilon$$

那么

$$\left| \sum_{n=p+k}^{q+k} a_{n-k} \right| \leq \varepsilon$$

也就是说当 $p, q \geq N + k$ 时有

$$\left| \sum_{n=p}^{q} a_{n-k} \right| \leq \varepsilon$$

所以 $\sum_{n=m+k}^{\infty} a_{n-k}$ 是收敛的。

设 $S_1(N) = \sum_{n=m}^{N} a_n$， $S_2(N) = \sum_{n=m+k}^{N+k} a_{n-k}$

那么有

$$S_1(N) = S_2(N) \\ \lim_{N \rightarrow \infty} S_2(N) = \lim_{N \rightarrow \infty} S_1(N) = x$$

所以 $\sum_{n=m+k}^{\infty} a_{n-k} = x$

7.2.6 证明引理 7.2.15

设 $(a_n)_{n=0}^{\infty}$ 是实数列，收敛到 $0$，那么级数 $\sum_{n=0}^{\infty}(a_n-a_{n+1})$ 收敛到 $a_0$。

数学归纳法证明部分和 $S_N = a_0 - a_{N+1}$

当 $N = 0$ 时，

$$S_0 = a_0 - a_1$$

假设当 $N = n$ 时

$$S_N = a_0 - a_{N+1}$$
那么当 $N = n + 1$ 时
$$S_{N+1} = S_N + (a_{N+1} - a_{N+2}) = a_0 - a_{N+2}$$

所以

$$S_N = a_0 - a_{N+1}$$

$$\lim_{n \rightarrow \infty} S_N = \lim_{n \rightarrow \infty}(a_0 - a_{N+2}) = a_0$$