数学分析(二)-数列极限1-数列极限概念1-收敛与极限2：用“ε-N定义”来“验证”数列极限【关键步骤：根据“ε−N定义”找到以ε为自变量的N的取值N(ε)，满足当n＞N时⇒|aₙ-a|＜ε】

定义 1 【数列极限的 $\epsilon -N$ 定义】

设 { a n } \left\{a_{n}\right\} {an​} 为数列, $a$ 为定数. 若对任给的正数 $\epsilon$, 总存在正整数 $N$, 使得当 $n>N$ 时, 有

$$\left|a_n-a\right|<\epsilon ,$$

则称数列 { a n } \left\{a_{n}\right\} {an​} 收敛于 $a$, 定数 $a$ 称为数列 { a n } \left\{a_{n}\right\} {an​} 的极限, 并记作

$$\underset{n\to \infty }{\lim }{a}_n=a^{(1)}\text{, 或 }{a}_n\to a(n\to \infty )，$$

读作"当 $n$ 趋于无穷大时, { a n } \left\{a_{n}\right\} {an​} 的极限等于 $a$ 或 $a_n$ 趋于 $a$ ".

若数列 { a n } \left\{a_{n}\right\} {an​} 没有极限,则称 { a n } \left\{a_{n}\right\} {an​} 不收敛,或称 { a n } \left\{a_{n}\right\} {an​} 为发散数列.

定义 1 常称为数列极限的 $\epsilon -N$ 定义.下面举例说明如何根据 $\epsilon -N$ 定义来验证数列极限.

---

例 2 证明 $\underset{n\to \infty }{\lim }\frac{1}{n^{\alpha }}=0$, 这里 $\alpha$ 为正数.
证 由于

$$\left|\frac{1}{n^{\alpha }}-0\right|=\frac{1}{n^{\alpha }}$$

故对任给的 $\epsilon >0$, 只要取 $N=\left[\frac{1}{{\epsilon }^{\frac{1}{a}}}\right]+1$, 则当 $n>N$ 时, 便有
$$\frac{1}{n^{\alpha }}<\frac{1}{N^{\alpha }}<\epsilon ,\text{ 即 }\left|\frac{1}{n^{\alpha }}-0\right|<\epsilon .$$
这就证明了 $\underset{n\to \infty }{\lim }\frac{1}{n^{\alpha }}=0$.

例 3 证明

$$\underset{n\to \infty }{\lim }\frac{3n^2}{n^2-3}=3$$

分析 由于

$$\left|\frac{3n^2}{n^2-3}-3\right|=\frac{9}{n^2-3}⩽\frac{9}{n}(n⩾3).(1)$$

因此, 对任给的 $\epsilon >0$, 只要 $\frac{9}{n}<\epsilon$, 便有

$$\left|\frac{3n^2}{n^2-3}-3\right|<\epsilon (2)$$

即当 $n>\frac{9}{\epsilon }$ 时, (2) 式成立. 又由于 (1) 式是在 $n⩾3$ 的条件下成立的,故应取

$$N=\max \left\{3,\frac{9}{\epsilon }\right\}.(3)$$

证 任给 $\epsilon >0$, 取 $N=\max \left\{3,\frac{9}{\epsilon }\right\}$. 据分析, 当 $n>N$ 时 (2) 式成立.于是本题得证.

注 本例在求 $N$ 的过程中, (1) 式中运用了适当放大的方法, 这样求 $N$ 就比较方便. 但应注意这种放大必须 “适当”, 以根据给定的 $\epsilon$ 能确定出 $N$. 又 (3) 式给出的 $N$ 不一定是正整数.一般地, 在定义 1 中 $N$ 不一定限于正整数, 而只要它是正数即可.

例 4 证明 $\underset{n\to \infty }{\lim }{q}^n=0$, 这里 $|q|<1$.

证 若 $q=0$, 则结果是显然的. 现设 $0<|q|<1$. 记 $h=\frac{1}{|q|}-1$, 则 $h>0$. 我们有

$$\left|q^n-0\right|=|q{|}^n=\frac{1}{(1+h{)}^n},$$

并由 $(1+h{)}^n⩾1+nh$ 得到

$$\left|q^n-0\right|=|q{|}^n=\frac{1}{(1+h{)}^n}⩽\frac{1}{1+nh}<\frac{1}{nh}(4)$$

对任给的 $\epsilon >0$, 只要取 $N=\frac{1}{\epsilon h}$, 则当 $n>N$ 时, 由 (4) 式得

$$\left|q^n-0\right|=|q{|}^n=\frac{1}{(1+h{)}^n}⩽\frac{1}{1+nh}<\frac{1}{nh}<\frac{1}{Nh}=\frac{1}{\frac{1}{\epsilon h}\cdot h}=\epsilon$$

$\left|q^n-0\right|<\epsilon$. 这就证明了 $\underset{n\to \infty }{\lim }{q}^n=0$.

当 $q=\frac{1}{2}$ 时,就是前面例 1 的结果.

注 本例还可利用对数函数 $y=\lg x$ 的严格增性来证明 (见第一章 $\S 4$ 例 6 的注及 (2) 式), 简述如下:

对任给的 $\epsilon >0$ (不妨设 $\epsilon <1$ ), 为使 $\left|q^n-0\right|=|q{|}^n<\epsilon$, 只要

$$n\lg |q|<\lg \epsilon ,即n>\frac{\lg \epsilon }{\lg |q|}(这里也假定0<|q|<1).$$

于是,只要取 $N=\frac{\lg \epsilon }{\lg |q|}$ 即可.

例 5 证明 $\underset{n\to \infty }{\lim }\sqrt[n]{a}=1$, 其中 $a>0$.

证 当 $a=1$ 时,结论显然成立. 现设 $a>1$. 记 ${\alpha }_n=a^{\frac{1}{n}}-1$, 则 ${\alpha }_n>0$. 由

$$a={\left(1+{\alpha }_n\right)}^n⩾1+n{\alpha }_n=1+n\left(a^{\frac{1}{n}}-1\right),$$

得

$$a^{\frac{1}{n}}-1⩽\frac{a-1}{n}.(5)$$

任给 $\epsilon >0$, 由 (5) 式可见, 当 $n>\frac{a-1}{\epsilon }=N$ 时, 就有 $a^{\frac{1}{n}}-1<\epsilon$, 即 $|a^{\frac{1}{n}}-1|<\epsilon$. 所以 $\underset{n\to \infty }{\lim }\sqrt[n]{a}=1$. 对于 $0<a<1$ 的情形, 其证明留给读者.

例 6 证明 $\underset{n\to \infty }{\lim }\frac{a^n}{n!}=0$.

证 若 $a=0$, 结论是显然的, 现设 $a\ne 0,k=[|a|]+1$, 有

$$\left|\frac{a^n}{n!}-0\right|=\frac{|a{|}^n}{n!}=\frac{|a|\cdot |a|\cdots \cdots \cdot |a|\cdot \cdots \cdot |a|}{1\cdot 2\cdot \cdots \cdot k\cdot \cdots \cdot n}⩽K\frac{|a|}{n},$$

其中 $K=\frac{|a|\cdot |a|\cdots \cdots |a|}{1\cdot 2\cdot \cdots \cdot k}$. 所以对于任给的 $\epsilon >0$, 取 $N=\max \left\{k,\frac{K|a|}{\epsilon }\right\}$, 只要 $n>N$, 就有

$$\left|\frac{a^n}{n!}-0\right|⩽K\frac{|a|}{n}<\epsilon ,$$

这就证明了 $\underset{n\to \infty }{\lim }\frac{a^n}{n!}=0$.

关于数列极限的 $\epsilon -N$ 定义, 通过以上几个例子, 读者已有了初步的认识. 对此还应着重注意下面几点:

1. $\epsilon$ 的任意性 定义 1 中正数 $\epsilon$ 的作用在于衡量数列通项 $a_n$ 与定数 $a$ 的接近程度, $\epsilon$ 愈小,表示接近得愈好; 而正数 $\epsilon$ 可以任意地小,说明 $a_n$ 与 $a$ 可以接近到任何程度.然而,尽管 $\epsilon$ 有其任意性,但一经给出,就暂时被确定下来, 以便依靠它来求出 $N$. 又 $\epsilon$ 既是任意小的正数,那么 $\frac{\epsilon }{2},3\epsilon$ 或${\epsilon }^2$ 等同样也是任意小的正数,因此定义 1 中不等式 $\left|a_n-a\right|<\epsilon$ 中的 $\epsilon$ 可用 $\frac{\epsilon }{2},3\epsilon$ 或 ${\epsilon }^2$ 等来代替. 同时,正由于 $\epsilon$ 是任意小正数,我们可限定 $\epsilon$ 小于一个确定的正数 (如在例 4 的注给出的证明方法中限定 $\epsilon <1$ ). 另外, 定义 1 中的 $\left|a_n-a\right|<\epsilon$ 也可改写成 $\left|a_n-a\right|⩽\epsilon$.

2. $N$ 的相应性 一般说, $N$ 随 $\epsilon$ 的变小而变大, 由此常把 $N$写作 $N(\epsilon )$, 来强调 $N$是依赖于 $\epsilon$ 的,但这并不意味着 $N$ 是由 $\epsilon$ 所唯一确定的. 因为对给定的$\epsilon$, 比如当 $N=$ 100 时,能使得当 $n>N$ 时有$\left|a_n-a\right|<\epsilon$, 则 $N=101$或更大时此不等式自然也成立. 这里重要的是 $N$ 的存在性,而不在于它的值的大小. 另外, 定义 1 中的 $n>N$ 也可改写成$n⩾N$.

3. 从几何意义上看, “当 $n>N$ 时有 $\left|a_n-a\right|<\epsilon$” 意味着: 所有下标大于 $N$ 的项 $a_n$都落在邻域 $U(a;\epsilon )$内; 而在 $U(a;\epsilon )$ 之外, 数列 { a n } \left\{a_{n}\right\} {an​}中的项至多只有 $N$ 个 (有限个).反之, 任给 $\epsilon >0$, 若在$U(a;\epsilon )$ 之外数列 { a n } \left\{a_{n}\right\} {an​} 中的项只有有限个,设这有限个项的最大下标为 $N$, 则当 $n>N$ 时有$a_n\in U(a;\epsilon )$, 即当 $n>N$ 时有$\left|a_n-a\right|<\epsilon$.