新讲 第2章 极 限 第9题
📝 题目
例 9 考察序列
$$
{\alpha }_{n} = \frac{1}{{\left( n + 1\right) }^{2}} + \cdots + \frac{1}{{\left( 2n\right) }^{2}},\;n = 1,2,\cdots .
$$
因为
$$
0 \leq {\alpha }_{n} \leq \underset{n\text{ 项 }}{\underbrace{\frac{1}{{n}^{2}} + \cdots + \frac{1}{{n}^{2}}}} = \frac{1}{n},
$$
所以 $\left\{ {\alpha }_{n}\right\}$ 是无穷小序列.
💡 答案解析
证明 对于 $\varepsilon = 1$ ,存在 $N \in \mathbb{N}$ ,使得只要 $n > N$ ,就有
$$
\left| {\alpha }_{n}\right| < 1\text{ . }
$$
记
$$
K = \max \left\{ {\left| {\alpha }_{1}\right| ,\cdots ,\left| {\alpha }_{N}\right| ,1}\right\} ,
$$
则显然有
$$
\left| {\alpha }_{n}\right| \leq K,\;\forall n \in \mathbb{N}.
$$
定理 1 关于有界序列与无穷小序列, 有以下结果:
(1)两个有界序列的和与乘积都是有界序列. 即如果 $\left\{ {x}_{n}\right\}$ , $\left\{ {y}_{n}\right\}$ 都是有界序列,那么
$$
\left\{ {{x}_{n} + {y}_{n}}\right\} \text{ 与 }\left\{ {{x}_{n}{y}_{n}}\right\}
$$
都是有界序列.
(2) 两个无穷小序列 $\left\{ {a}_{n}\right\}$ 与 $\left\{ {\beta }_{n}\right\}$ 之和
$$
\left\{ {{\alpha }_{n} + {\beta }_{n}}\right\}
$$
也是无穷小序列.
(3)无穷小序列 $\left\{ {\alpha }_{n}\right\}$ 与有界序列 $\left\{ {x}_{n}\right\}$ 的乘积 $\left\{ {{\alpha }_{n}{x}_{n}}\right\}$ 是无穷小序列.
(4) $\left\{ {\alpha }_{n}\right\}$ 是无穷小序列 $\Leftrightarrow \left\{ \left| {\alpha }_{n}\right| \right\}$ 是无穷小序列.
证明(1)我们有
$$
\left| {x}_{n}\right| \leq K,\forall n \in \mathbb{N};\;\left| {y}_{n}\right| \leq L,\forall n \in \mathbb{N}.
$$
于是
$$
\left| {{x}_{n} + {y}_{n}}\right| \leq \left| {x}_{n}\right| + \left| {y}_{n}\right| \leq K + L,\;\forall n \in \mathbb{N};
$$
$$
\left| {{x}_{n}{y}_{n}}\right| = \left| {x}_{n}\right| \left| {y}_{n}\right| \leq {KL},\;\forall n \in \mathbb{N}.
$$
(2)对任意 $\varepsilon > 0$ ,存在 ${N}_{1} \in \mathbb{N}$ 和 ${N}_{2} \in \mathbb{N}$ ,分别使得
$$
\left| {\alpha }_{n}\right| < \varepsilon /2,\;\forall n > {N}_{1},
$$
和
$$
\left| {\beta }_{n}\right| < \varepsilon /2,\;\forall n > {N}_{2}.
$$
取 $\displaystyle{N = \max \left\{ {{N}_{1},{N}_{2}}\right\}}$ ,则 $n > N$ 时,就有
$$
\left| {{\alpha }_{n} + {\beta }_{n}}\right| \leq \left| {\alpha }_{n}\right| + \left| {\beta }_{n}\right| < \frac{\varepsilon }{2} + \frac{\varepsilon }{2} = \varepsilon .
$$
(3)根据定义,存在 $K \in \mathbb{R}$ 使得
$$
\left| {x}_{n}\right| \leq K,\;\forall n \in \mathbb{N}.
$$
不妨设 $K > 0$ . 对任意 $\varepsilon > 0$ ,我们有 $\varepsilon /K > 0$ . 因而存在 $N \in \mathbb{N}$ ,使得 $n > N$ 时,有
$$
\left| {\alpha }_{n}\right| < \varepsilon /K\text{ . }
$$
这时就有
$$
\left| {{\alpha }_{n}{x}_{n}}\right| = \left| {\alpha }_{n}\right| \left| {x}_{n}\right| < \frac{\varepsilon }{K}K = \varepsilon .
$$
(4)我们有显然的关系
$$
\left| \right| {\alpha }_{n}\left| \right| = \left| {\alpha }_{n}\right| .
$$
推论 我们有:
(5)两个无穷小序列 $\left\{ {\alpha }_{n}\right\}$ 和 $\left\{ {\beta }_{n}\right\}$ 的乘积 $\left\{ {{\alpha }_{n}{\beta }_{n}}\right\}$ 也是无穷小序列；
(6)实数 $c$ 与无穷小序列 $\left\{ {\alpha }_{n}\right\}$ 的乘积 $\left\{ {c{\alpha }_{n}}\right\}$ 也是无穷小序列；
(7)有限个无穷小序列之和仍是无穷小序列, 有限个无穷小序列之乘积也是无穷小序列.
证明(5)无穷小序列 $\left\{ {\beta }_{n}\right\}$ 是有界序列.
(6)常数 $c$ 可以视为有界序列:
$$
{x}_{n} = c,\;n = 1,2,\cdots .
$$
(7)利用数学归纳法就可证明.