数列极限：习题详解

数学分析笔记——总目录

数列极限：习题详解

该博客持续更新中……

基础篇

数列极限的基本概念

关于 N 的取值问题

按照数列极限的定义，要证明 $\underset{n\to \infty }{\lim }{a}_n=a$，则需要寻找满足条件的 $N$，在原始定义中，$N$ 限定为 正序数，即正整数（$N\in {\mathbb{N}}_{+}$）。当然，在实际证明时，会发现，$N$ 并不限于正整数。这样的改变并不影响证明过程的正确性。事实上，我们并不会过分关注 $N$ 的取值类型，我们关注的是 满足条件的正整数 $n$ 是否合乎定义。

例题. \quad 证明 $\underset{n\to \infty }{\lim }\frac{n}{n+3}=1$。

证明 1：解不等式法。

对于任意给定的 $ϵ>0$，令
$$\left|\frac{n}{n+3}-1\right|=\left|\frac{3}{n+3}\right|<ϵ$$
解得 $n>\frac{3}{ϵ}-3$。显然有
$$\frac{3}{ϵ}-3<\frac{3}{ϵ}$$
为保证 $N$ 为正整数，取 $N=\left[\frac{3}{ϵ}\right]+1$，则当 $n>N$ 时，显然成立 $\left|\frac{n}{n+3}-1\right|<ϵ$。

即 $\underset{n\to \infty }{\lim }\frac{n}{n+3}=1$ 得证。

证毕

注：严格按照定义证明，就要时刻保证 $N$ 是正整数。但是直接取 $N=\left[\frac{3}{ϵ}\right]$也没有错误，只是如果$ϵ$ 取得足够大时，此时的 $N$ 可能为 $0$，违反了正整数的设定，而 $n>0$，自然意为对所有的正整数 $n$ 都成立。

证明 2：放大法。

对于任意给定的 $ϵ>0$，令
$$\left|\frac{n}{n+3}-1\right|=\left|\frac{3}{n+3}\right|<\frac{3}{n}<ϵ$$
解得 $n>\frac{3}{ϵ}$。

取 $N=\left[\frac{3}{ϵ}\right]$​，则当 $n>N$​ 时，显然成立 $\left|\frac{n}{n+3}-1\right|<ϵ$。

即 $\underset{n\to \infty }{\lim }\frac{n}{n+3}=1$ 得证。

证毕

例题. \quad 证明：$\underset{n\to \infty }{\lim }\frac{3n^2}{n^2-3}=3$。

证明：放大法。

当 $n\ge 3$ 时，有
$$\left|\frac{3n^2}{n^2-3}-3\right|=\left|\frac{9}{n^2-3}\right|<\left|\frac{9}{n}\right|$$
对于任意给定的 $ϵ>0$，令
$$\left|\frac{3n^2}{n^2-3}-3\right|=\left|\frac{9}{n^2-3}\right|<\left|\frac{9}{n}\right|<ϵ$$
解得 $n>\frac{9}{ϵ}$。

取 N = max ⁡ { 3 , 9 ϵ } N=\max\{3,\frac{9}{\epsilon}\} N=max{3,ϵ9​}，则当 $n>N$ 时，显然成立 $\left|\frac{3n^2}{n^2-3}-3\right|<ϵ$。

即 $\underset{n\to \infty }{\lim }\frac{3n^2}{n^2-3}=3$ 得证。

证毕

注：按照严格的定义证明，应取 N = max ⁡ { 3 , [ 9 ϵ ] } N = \max \{3,\left[\frac{9}{\epsilon}\right]\} N=max{3,[ϵ9​]}，但是直接取 $N=\frac{9}{ϵ}$也没有错误，只是此时的 $N$ 无法保证正整数的设定，只能保证其为正数。也就是说，实际上，$N$ 并不限于正整数，保证其为正数即可。反正不管怎样， $n$ 是大于数 $N$ 的正整数。

结论：
在求解关于 $N$ 的不等式时，得到 $n>f(ϵ)$ 的形式，这时无论取 $N=\left[f(ϵ)\right]$ 还是 $\left[f(ϵ)\right]+1$ 或是其它形式，只要满足条件 $n>N$ 的 $n$ 满足定义即可。

经典例题

以下几个例题非常有用，在多数情况下，甚至可以作为结论直接使用，不过这些“特殊结论”的证明方式需要有一定的掌握和了解。

例题. \quad 设 $\alpha >0$，证明 $\underset{n\to \infty }{\lim }\frac{1}{n^{\alpha }}=0$。

证明：

对于任意给定的 $ϵ>0$，令
$$\left|\frac{1}{n^{\alpha }}-0\right|<ϵ$$
解得 $n>{\left(\frac{1}{ϵ}\right)}^{\frac{1}{\alpha }}$。

取 $N=\left[{\left(\frac{1}{ϵ}\right)}^{\frac{1}{\alpha }}\right]+1$，则当 $n>N$ 时，显然成立 $\left|\frac{1}{n^{\alpha }}-0\right|<ϵ$。

即 $\underset{n\to \infty }{\lim }\frac{1}{n^{\alpha }}=0$ 得证。

证毕

例题. \quad 设 $|q|<1$，证明：$\underset{n\to \infty }{\lim }{q}^n=0$。

证明 1：

当 $q=0$ 时，结论显然成立。

当 $0<|q|<1$ 时，对于任意给定的 $ϵ>0$，令
$$\left|q^n-0\right|<ϵ$$
解得 $n>\frac{\ln ϵ}{\ln |q|}$。

取 N = max ⁡ { [ ln ⁡ ϵ ln ⁡ ∣ q ∣ ] , 1 } N=\max \{\left[\frac{\ln \epsilon}{\ln |q|}\right],1\} N=max{[ln∣q∣lnϵ​],1}，则当 $n>N$ 时，显然成立 $\left|q^n-0\right|<ϵ$。

即 $\underset{n\to \infty }{\lim }{q}^n=0$ 得证。

证毕

证明 2：

当 $q=0$ 时，结论显然成立。

当 $0<|q|<1$ 时，$\frac{1}{|q|}>1$ 显然成立。令 $h=\frac{1}{|q|}-1>0$，则有
$$|q|=\frac{1}{1+h},|q{|}^n=\frac{1}{(1+h{)}^n}$$
由不等式 $(1+h{)}^n\ge 1+nh$ 可得
$$|q{|}^n=\frac{1}{(1+h{)}^n}\le \frac{1}{1+nh}<\frac{1}{nh}$$
对于任意给定的 $ϵ>0$，令
$$|q{|}^n<\frac{1}{nh}<ϵ$$
解得 $n>\frac{1}{hϵ}$。

取 $N=\left[\frac{1}{hϵ}\right]$，则当 $n>N$ 时，显然成立 $|q{|}^n<ϵ$。

即 $\underset{n\to \infty }{\lim }{q}^n=0$ 得证。

证毕

提升篇

参考文献

[1] 陈纪修，于崇华，金路著. 数学分析 上册. 第2版. 北京：高等教育出版社, 2004.06.
[2] 华东师范大学数学系编. 数学分析 上册. 第4版. 北京：高等教育出版社, 2010.07.