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

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

6.3.1 设 $a_n = \frac{1}{n}$，证明 $\sup(a_n)_{n=1}^{\infty} = 1$，$\inf(a_n)_{n=1}^{\infty} = 0$

$1 \geq a_n$，所以 $1$ 是 $a_n$ 的上界。
对任意的 $x < 1$，都有 $a_1 > x$。所以 $1$ 是 $a_n$ 最小的上界，所以 $\sup(a_n)_{n=1}^{\infty} = 1$。

$a_n > 0$ 所以 $0$ 是 $a_n$ 的下界。对于任意的 $x > 0$，设 $N = [1/x] + 1$，那么任意的 $n > N$ 都有 $a_n < x$。所以任意的 $x > 0$都不是 $a_n$ 的下界。所以 $\inf(a_n)_{n=1}^{\infty} = 0$。

6.3. 2 设 $(a_n)_{n=m}^{\infty}$ 是实数列，并设 $x$ 是广义实数 $x:= \sup(a_n)_{n=m}^{\infty}$。那么对于一切 $n \geq m$ 有 $a_n \leq x$。另外，只要 $M \in R^*$ 是 $(a_n)_{n=m}^{\infty}$ 的一个上界，就有 $x \leq M$。最后，对于每个满足 $y < x$ 的广义实数 $y$，至少存在一个 $n \geq m$，使得 $y < a_n \leq x$。

因为 $(a_n)_{n=m}^{\infty}$ 是 $R^*$ 的子集，由定理6.2.11 有 $a_n \leq x$， $x \leq M$。

反证法：如果对于所有的 $n \geq m$ 都有 $a_n \leq y$，那么 $y$ 就是 $(a_n)_{n=m}^{\infty}$上界，必然有 $y \geq x$，与题目中 $y < x$ 的条件矛盾。所以 对于每个满足 $y < x$ 的广义实数 $y$，至少存在一个 $n \geq m$，使得 $y < a_n \leq x$。

6.3.3 设 $(a_n)_{n=m}^{\infty}$ 是具有有限上界 $M$ 的实数列，并且它是单调增的。那么 $(a_n)_{n=m}^{\infty}$ 收敛。并且有： $\lim_{n \rightarrow \infty} (a_n)_{n=m}^{\infty} = \sup(a_n)_{n=m}^{\infty} \leq M$

因为 $(a_n)_{n=m}^{\infty}$ 有界，所以 $(a_n)_{n=m}^{\infty}$ 有上确界。设 $x = \sup(a_n)_{n=m}^{\infty} \leq M$

对任意的 $\varepsilon > 0$ 都有 $x - \varepsilon < x$。所以至少存在一个 $a_N > x -\varepsilon$。又由于 $(a_n)_{n=m}^{\infty}$ 是单调增的，所以对任意的 $n > N$ 都有 $a_n > x - \varepsilon$，也就是 $|a_n - x| < \varepsilon$。所以对于任意的 $\varepsilon > 0$，$(a_n)_{n=m}^{\infty}$ 都是终极 $\varepsilon-$ 接近 $x$ 的。所以 ：$\lim_{n \rightarrow \infty} (a_n)_{n=m}^{\infty} = \sup(a_n)_{n=m}^{\infty} \leq M$

6.3.4 证明当 $x > 1$ 时，命题 6.3.10 不成立。

$n > 1$ 时 $(x^n)_{n=m}^{\infty}$ 是单调增的，但是没有上界。
假设 $(x^n)_{n=m}^{\infty}$ 是收敛的： $\lim_{n \rightarrow \infty} (x^n)_{n=m}^{\infty} = X$

我们有恒等式 $x^n \frac{1}{x}^n = 1$，所以有

$$\lim_{n \rightarrow \infty} ((x^n) (\frac{1}{x})^n)_{n=m}^{\infty} = 1 \\ \lim_{n \rightarrow \infty} (x^n)_{n=m}^{\infty} \times \lim_{n \rightarrow \infty} ((\frac{1}{x})^n)_{n=m}^{\infty} = 1 \\ 0 \times X = 1$$

上面的式子是不合理的。所以 $\lim_{n \rightarrow \infty} (x^n)_{n=m}^{\infty}$ 不存在。