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

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

证明引理 7.1.4

（a） 设 $m \leq n < p$ 是整数，并设 $a_i$ 是实数，对应于每个整数 $m \leq i \leq p$。 那么我们有

$$\sum^n_{i=m} {a_i} + \sum^p_{i=n+1} {a_i} = \sum^p_{i=m} {a_i}$$

数学归纳法：
当 $p = n + 1$ 时

$$\sum^n_{i=m} {a_i} + \sum^p_{i=n+1} {a_i} = \sum^n_{i=m} {a_i} + a_{n+1} = \sum^{n+1}_{i=m} {a_i}$$
假设当 $p = q, q > n+1$ 时成立：

$$\sum^n_{i=m} {a_i} + \sum^q_{i=n+1} {a_i} = \sum^q_{i=m} {a_i}$$

那么当 $p = q + 1$ 时有：

$$\begin{eqnarray} \sum^n_{i=m} {a_i} + \sum^{q+1}_{i=n+1} {a_i} &=& \sum^n_{i=m} {a_i} + \sum^{q}_{i=n+1} {a_i} + a_{q+1} \\ &=& \sum^{q}_{i=m} {a_i} + a_{q+1} \\ &=& \sum^{q+1}_{i=m} {a_i} \end{eqnarray}$$

（b）设 $m \leq n$ 是整数，$k$ 是另一个整数，并设 $a_i$ 是对应于每个整数 $m \leq i \leq n$ 的实数，那么我们有

$$\sum_{i=m}^{n} a_i = \sum_{j = m+k}^{n+k} a_{j-k}$$

对 $n$ 用数学归纳法：

当 $n = m$ 时

$$\sum_{i=m}^{m} a_i = a_m = \sum_{j = m+k}^{m+k} a_{j-k}$$

假设当 $n = p$ 时成立。

$$\sum_{i=m}^{p} a_i = \sum_{j = m+k}^{p+k} a_{j-k}$$
那么当 $n = p + 1$ 时有：
$$\begin{eqnarray} \sum_{i=m}^{p+1} a_i &=& \sum_{i=m}^{p} a_i + a_{p+1}\\ &=& \sum_{j = m+k}^{p+k} a_{j-k} + a_{p+1}\\ &=& \sum_{j = m+k}^{p+k} a_{j-k} + \sum_{j = p+1+k}^{p+1+k} a_{j-k}\\ &=& \sum_{j = m+k}^{p=1+k} a_{j-k} \end{eqnarray}$$

（c）设 $m \leq n$ 是整数，并设 $a_i, b_i$ 是对应于每个整数 $m \leq i \leq n$ 的实数，那么我们有

$$\sum_{i=m}^{n} ( a_i + b_i) = \sum_{i=m}^{n} a_i + \sum_{i=m}^{n} b_i$$

对 $n$ 用数学归纳法：
当 $n = m$ 时

$$\sum_{i=m}^{m} ( a_i + b_i) = a_m + b_m = \sum_{i=m}^{m} a_i + \sum_{i=m}^{m} b_i$$

假设对于 $n = p$ 成立:

$$\sum_{i=m}^{p} ( a_i + b_i) = \sum_{i=m}^{p} a_i + \sum_{i=m}^{p} b_i$$

那么当 $n = p + 1$ 时，有：

$$\begin{eqnarray} \sum_{i=m}^{p+1} ( a_i + b_i) &=& \sum_{i=m}^{p} ( a_i + b_i) + (a_{p+1} + b_{p+1}) \\ &=& \sum_{i=m}^{p} a_i + \sum_{i=m}^{p} b_i + (a_{p+1} + b_{p+1}) \\ &=& \sum_{i=m}^{p+1} a_i + \sum_{i=m}^{p+1} b_i \end{eqnarray}$$

（d）设 $m \leq n$ 是整数，并设 $a_i$ 是对应于每个整数 $m \leq i \leq n$ 的实数，设 $c$ 是实数，那么我们有

$$\sum_{i=m}^{n} (c a_i) = c \left(\sum_{i=m}^{n} a_i\right)$$

对 $n$ 用数学归纳法：

当 $n = m$ 时

$$\sum_{i=m}^{m} (c a_i) = c a_m = c \left(\sum_{i=m}^{m} a_i\right)$$

假设对于 $n = p$ 成立。

$$\sum_{i=m}^{p} (c a_i) = c \left(\sum_{i=m}^{p} a_i\right)$$
那么当 $n = p + 1$ 时，有：
$$\begin{eqnarray} \sum_{i=m}^{p+1} (c a_i) &=& \sum_{i=m}^{p} (c a_i) + c a_{p+1} \\ &=& c \left(\sum_{i=m}^{p} a_i + a_{p+1} \right) \\ &=& c \left(\sum_{i=m}^{p+1} a_i\right) \end{eqnarray}$$

（e）（关于有限级数的三角不等式）设 $m \leq n$ 是整数，并设 $a_i$ 是对应于每个整数$m \leq i \leq n$ 的实数，那么我们有：

$$\left|\sum_{i=m}^{n} a_i\right| \leq \sum_{i=m}^{n} |a_i|$$

对 $n$ 用数学归纳法：

当 $n = m$ 时

$$\left|\sum_{i=m}^{m} a_i\right| = |a_m| \leq \sum_{i=m}^{m} |a_i|$$

假设对于 $n = p$ 成立。

$$\left|\sum_{i=m}^{p} a_i\right| \leq \sum_{i=m}^{p} |a_i|$$

那么当 $n = p + 1$ 时，有：

$$\begin{eqnarray} \left|\sum_{i=m}^{p+1} a_i\right| &=& \left|\sum_{i=m}^{p} a_i + a_{p+1}\right| \\ &\leq& \left|\sum_{i=m}^{p} a_i\right| + |a_{p+1}| \\ &\leq& \sum_{i=m}^{p} |a_i| + |a_{p+1}| = \sum_{i=m}^{p+1} |a_i| \end{eqnarray}$$

（f）（有限级数的比较法则）设 $m \leq n$ 是整数， $a_i$ 是对应于每个整数$m \leq i \leq n$ 的实数，并设对于一切 $m \leq i \leq n$, $a_i \leq b_i$，那么我们有：

$$\sum_{i=m}^{n} a_i \leq \sum_{i=m}^{n} b_i$$
对 $n$ 用数学归纳法：

当 $n = m$ 时

$$\sum_{i=m}^{m} a_i = a_m \leq b_m = \sum_{i=m}^{m} b_i$$

假设对于 $n = p$ 成立。

$$\sum_{i=m}^{p} a_i \leq \sum_{i=m}^{p} b_i$$

那么当 $n = p + 1$ 时，有：

$$\begin{eqnarray} \sum_{i=m}^{p+1} a_i &=& \sum_{i=m}^{p} a_i + a_{p+1}\\ &\leq& \sum_{i=m}^{p} b_i + a_{p+1} \\ &\leq&\sum_{i=m}^{p} b_i + b_{p+1} \\ &\leq&\sum_{i=m}^{p+1} b_i \end{eqnarray}$$

7.1.2 证明引理 7.1.11

（a）如果 $X$ 是空集，并且$f: \rightarrow \mathbb{R}$ 是函数（即 $f$ 是空函数），那么我们有：

$$\sum_{x \in X} f(x) = 0$$

证明：
构造一个一一映射：$h : \emptyset \rightarrow \emptyset$，那么有

$$\sum_{x \in X} f(x) = \sum_{i=0}^{-1} f(h(0)) = 0$$

（b）如果 $X$ 是由一个单个元素组成：$x = {x_0}$，并且 $f: X \rightarrow \mathbb R$ 是函数，那么我们有：

$$\sum_{x \in X} f(x) = f(x_0)$$

证明：
构造一个一一映射 $h: \{0\} \rightarrow X$ 满足 $h(0) = x_0$
那么：

$$\sum_{x \in X} f(x) = \sum_{i=0}^{0} f(h(i)) = f(x_0)$$

（c）（代入法 I） 如果 $X$ 是有限集合，$f: X \rightarrow \mathbb R$ 是函数，并且 $g: Y \rightarrow X$ 是双射，那么

$$\sum_{x \in X} f(x) = \sum_{y \in Y} f(g(y))$$

设 $X$ 有 N 个元素，构造一个双射 $h: \{1,2,\cdots ,N\} \rightarrow X$ 那么：

$$\sum_{x \in X} f(x) = \sum_{i=1}^{N} f(h(i))$$

另外 $p = g^{-1}. h : \{1,2,\cdots ,N\} \rightarrow Y$ 也是双射。

$$\sum_{y \in Y} f(g(y)) = \sum_{i=1}^{N} f(g(p(i))) = \sum_{i=1}^{N} f(h(i))$$

所以：

$$\sum_{x \in X} f(x) = \sum_{y \in Y} f(g(y))$$

（d）（代入法 II）设 $n \leq m$ 是整数，并设 $X$ 是集合

$$X : \{i \in \mathbb Z : n \leq i \leq m\}$$

如果 $a_i$ 是实数，对应于每个整数 $i \in X$，那么

$$\sum_{i=n}^{m} a_i = \sum_{i \in X} a_i$$

构造一个双射 $h(i) = i$。
那么

$$\sum_{i \in X} a_i = \sum_{i = n}^{m} a_{h(i)} = \sum_{i=n}^{m} a_i$$

（e）设 $X,Y$ 是不相交的有限集合，并且 $f: X \bigcup Y \rightarrow \mathbb R$ 是函数，那么

$$\sum_{x \in X \bigcup Y } f(z) = \left( \sum_{x \in X} f(x) \right) + \left( \sum_{y \in Y} f(x) \right)$$

设 $X$ 有 $N_x$ 个元素，构造一个双射 $h_x: \{1,2 \cdots , N_x\} \rightarrow X$，设 $Y$ 有 $N_y$ 个元素，构造一个双射 $h_y: \{N_x+1,2 \cdots , N_x+N_y\} \rightarrow Y$。那么 $h: \{1,2 \cdots , N_x + N_y\} \rightarrow X \bigcup Y$ 满足：
$$

h(i) = \left{

$$\begin{array}{ll} h_x(i) & x \in \{1,2 \cdots , N_x\}\\ h_y(i) & x \in \{N_x+1,2 \cdots , N_x+N_y\} \end{array}$$
\right.
$$

也是双射。

那么：

$$\begin{eqnarray} \sum_{x \in X \bigcup Y } f(z) &=& \sum_{i=1}^{N_x+ N_y} f(h(i)) \\ &=& \sum_{i=1}^{N_x} f(h_x(i)) + \sum_{i=N_x + 1}^{N_x + N_y} f(h_y(i)) \\ &=& \left( \sum_{x \in X} f(x) \right) + \left( \sum_{y \in Y} f(x) \right) \end{eqnarray}$$

（f）（线性性质I）设 $X$ 是有限集合，设 $f:X \rightarrow \mathbb R$ 和 $g: X \rightarrow \mathbb R$ 都是函数，那么

$$\sum_{x \in X} (f(x)+g(x)) = \sum_{x \in X} f(x) + \sum_{x \in X} g(x)$$

设 $X$ 有 $N$ 个元素，构造一个双射 $h: \{1,2 \cdots , N\} \rightarrow X$
那么：

$$\begin{eqnarray} \sum_{x \in X} (f(x)+g(x)) &=& \sum_{i=1}^N (f(x)+g(x))\\ &=& \sum_{i=1}^N f(x)+ \sum_{i=1}^N g(x) \\ &=& \sum_{x \in X} f(x) + \sum_{x \in X} g(x) \end{eqnarray}$$

（g）（线性性质II）设 $X$是有限集合，设　$f: X \rightarrow \mathbb R$ 是函数，并设 $c$ 是实数，那么

$$\sum_{x \in X} c f(x) = c \sum_{x \in X} f(x)$$
设 $X$ 有 $N$ 个元素，构造一个双射 $h: \{1,2 \cdots , N\} \rightarrow X$
那么：

$$\begin{eqnarray} \sum_{x \in X} c f(x) &=& \sum_{i = 1}^{N} c f(h(i))\\ &=& c \sum_{i = 1}^{N} f(h(i))\\ &=& c \sum_{x \in X} f(x) \end{eqnarray}$$

（h） （单调性）设 $X$ 是有限集合，并设 $f: X \rightarrow \mathbb R$ 和 $g: X \rightarrow \mathbb R$ 都是函数，他们对于一切的 $x \in X$ 满足$f(x) \leq g(x)$。那么

$$\sum_{x \in X} f(x) \leq \sum_{x \in X} g(x)$$

证明：
设 $X$ 有 $N$ 个元素，构造一个双射 $h: \{1,2 \cdots , N\} \rightarrow X$
那么：

$$\begin{eqnarray} \sum_{x \in X} f(x) &=& \sum_{i = 1}^{N} f(h(i))\\ &\leq& \sum_{i = 1}^{N} g(h(i)) = \sum_{x \in X} g(x) \end{eqnarray}$$

（i）（三角不等式）设 $X$ 是有限集合，并设 $f: X \rightarrow \mathbb R$ 是函数，那么

$$\left|\sum_{x \in X}f(x)\right| \leq \sum_{x \in X} |f(x)|$$

设 $X$ 有 $N$ 个元素，构造一个双射 $h: \{1,2 \cdots , N\} \rightarrow X$
那么：

$$\begin{eqnarray} \left|\sum_{x \in X}f(x)\right| &=& \left|\sum_{i=1}^{N} f(h(i))\right| \\ &\leq& \sum_{i=1}^{N} |f(h(i))| = \sum_{x \in X} |f(x)| \end{eqnarray}$$

7.1.3 构做有限乘积 $\prod_{i=1}^{n} a_i$ 和 $\prod_{x \in X} f(x)$ 的定义。

$$
\prod_{i=m}^{n} a_i := 1 , \ 如果 n < m \

\prod_{i=m}^{n} a_i :=\left( \prod_{i=m}^{n-1} a_i \right) \times a_n \

\prod_{x \in X} f(x) = \prod_{i=1}^{n} f(h(i))
$$

7.1.4 证明二项公式

$$(x+y)^n = \sum_{j=0}^{n} \frac{n!}{j!(n-j)!} x^j y^{n-j}$$
对一切自然数成立。

数学归纳法：
当 $n = 0$ 时

$$(x+y)^0 = 1= \sum_{j=0}^{0} \frac{0!}{0!\ 0!} x^0 y^{0}$$

假设对于 $n = m$ 时成立

$$(x+y)^m = \sum_{j=0}^{m} \frac{m!}{j!(m-j)!} x^j y^{m-j}$$

那么当 $n = m + 1$ 时

$$\begin{eqnarray} (x+y)^{m+1} &=& (x+y)^{m} (x+y) \\ &=& (x+y) \sum_{j=0}^{m} \frac{m!}{j!(m-j)!} x^j y^{m-j} \\ &=& \sum_{j=0}^{m} \frac{m!}{j!(m-j)!} x^{j+1} y^{m-j} + \sum_{j=0}^{m} \frac{m!}{j!(m-j)!} x^j y^{m+1-j} \\ &=& \sum_{j=1}^{m+1} \frac{m!}{(j-1)!(m+1-j)!} x^{j} y^{m+1-j} + \sum_{j=0}^{m} \frac{m!}{j!(m-j)!} x^j y^{m+1-j} \\ &=& x^{m+1} + \sum_{j=1}^{m} \frac{m!}{(j-1)!(m+1-j)!} x^{j+1} y^{m-j} + \sum_{j=1}^{m} \frac{m!}{j!(m-j)!} x^j y^{m+1-j} + y^{m+1} \\ &=& x^{m+1} + \sum_{j=1}^{m} \left(\frac{j \times m!}{j!(m+1-j)!} +\frac{(m+1-j)\times m!}{j!(m+1-j)!}\right) x^j y^{m+1-j} + y^{m+1} \\ &=& x^{m+1} + \sum_{j=1}^{m} \frac{(m+1)!}{j!(m+1-j)!} x^j y^{m+1-j} + y^{m+1} \\ &=& \sum_{j=0}^{m+1} \frac{(m+1)!}{j!(m+1-j)!} x^j y^{m+1-j} \end{eqnarray}$$

7.1.5 设 $X$ 是有限集合，设 $m$ 是整数，并且对于每个 $x \in X$ 令 $a_n(x)_{n=m}^{\infty}$ 是一个收敛的实数序列。证明序列 $(\sum_{x \in X} a_n(x))_{n=m}^{\infty}$是收敛的。并且

$$\lim_{n \rightarrow \infty} \sum_{x \in X} a_n(x) = \sum_{x \in X} \lim_{n \rightarrow \infty} a_n(x)$$
设 $X$ 的元素个数为 $N$。

当 $N = 1$ 时

$$(\sum_{x \in X} a_n(x))_{n=m}^{\infty} = (a_n(x))_{n=m}^{\infty}$$
是收敛的实数序列。

假设当 $N = M$ 时

$$(\sum_{x \in X} a_n(x))_{n=m}^{\infty} = (b_n)_{n=m}^{\infty}$$

也是收敛的实数序列。

那么当 $N = M+1$ 时

$$(\sum_{x \in X} a_n(x))_{n=m}^{\infty} = (b_n + a_n(x_{M+1}))_{n=m}^{\infty}$$
也是收敛的实数序列。

当 $N = 1$ 时

$$\lim_{n \rightarrow \infty} \sum_{x \in X} a_n(x) = \sum_{x \in X} \lim_{n \rightarrow \infty} a_n(x)$$
成立。

假设当 $N=M$ 时

$$\lim_{n \rightarrow \infty} \sum_{x \in X} a_n(x) = \sum_{x \in X} \lim_{n \rightarrow \infty} a_n(x)$$
成立。
那么当 $N= M+1$ 时
$$\begin{eqnarray} \lim_{n \rightarrow \infty} \sum_{x \in X} a_n(x) &=& \sum_{x \in X /x_0} \lim_{n \rightarrow \infty} a_n(x) + \lim_{n \rightarrow \infty}a_n(x_0)\\ &=& \sum_{x \in X} \lim_{n \rightarrow \infty} a_n(x) \end{eqnarray}$$
成立。