1.3 函数的极限

本节的任务是类比于数列将极限的概念、理论和方法推广到函数中去.我们知道,数列是定义在正整数集 $N_{+}$ 上的函数,它的自变量$n$只能“离散地”取正整数并且仅有趋于 $+\infty$ 一种变化状态;而对于实际问题中经常碰到的函数,它的自变量$x$可以“连续地”取定义区间中的值,并且自变量$x$的变化不仅有无限趋大的情况,而且可以趋于有限值 $x_0$ .因此,研究函数的极限自然要比数列极限更复杂些.下面,我们根据函数的上述特点先将极限概念推广到函数,然后再介绍函数极限的性质、求函数极限的方法和判定函数极限的存在准则.

3.1 函数极限的概念

1. 自变量 $x$ 无限趋大时的函数极限

自变量 $x$ 无限趋大包括三种情况: $x$ 取正值无限趋大, 记作 $x\to +\infty$ ; $x$ 取负值而 $|x|$ 无限趋大, 记作 $x\to -\infty$ ; $x$ 既可取正值又可取负值并且 $|x|$ 无限趋大, 记作 $x\to \infty$ . 我们重点讨论 $x\to +\infty$ 时函数极限的定义, 至于其他情况, 可以类似地进行研究. 不妨假定函数 $f$ 的定义域 $D(f)=[\alpha ,+\infty )(\alpha \in \mathbb{R})$ . 与数列极限的描述性定义类似, 如果当 $x\to +\infty$ 时, $f(x)$ 无限接近于某个常数 $a$, 就称 $a$ 是 $f(x)$ 当 $x\to +\infty$ 时的极限, 这就是 $x\to +\infty$ 时函数极限的描述性定义. 为了给出它的精确定义, 关键在于刻画 “ $x\to +\infty$ ” 与 “ $f(x)$ 无限接近于 $a$”. 显然, “ $f(x)$ 无限接近于 $a$” 可用与数列极限定义中类似的不等式 “ $\forall \epsilon >0,|f(x)-a|<\epsilon$ ” 来刻画. 至于 “ $x\to +\infty$ ”, 根据 $x$ 在区间 $[\alpha ,+\infty )$ 内“连续”变化的特点,可用“ $\exists X>0$ ($X$ 是实数),当 x>X 时”来刻画,这是与数列极限定义中的不同之处.于是得到下述定义:

定义 3.1 $x \rightarrow +\infty$ 时的函数极限

设 $f:[\alpha ,+\infty )\to R$ 是任一函数 ( $\alpha \in R$ ). 如果存在常数 $a\in R$ , 它与 $f(x)$ 满足如下关系:

$$\forall \epsilon >0,\exists X>0,\text{使得}\forall x>X,\text{恒有}|f(x)-a|<\epsilon ,\text{\hspace{1em}(3.1)}$$

那么称 $a$ 是当 $x\to +\infty$ 时 $f(x)$ 的极限, 记作

$$\underset{x\to +\infty }{\lim }f(x)=a\text{或}f(x)\to a(x\to +\infty ).$$

与数列极限类似,也可以用邻域来定义函数极限.设 M>0,称开区间 $(M,+\infty )$ 为 $+\infty$ 的邻域,此时又称当 $x\to +\infty$ 时 $f(x)$ 极限存在或有极限.

由于 $x\to +\infty$ 时函数 $f(x)$ 的极限与 $n\to \infty$ 时数列 $a_n=f(n)$ 的极限所描述的无限变化状态类似，因此刻画两种极限的精确定义也是类似的。只是因为前者的自变量 $x$ 在 $[\alpha ,+\infty )$ 内是“连续”变化的，所以用实数 $X>0$ 代替数列极限中的正整数 $N$ ，用 $x>X$ 来刻画“ $x\to +\infty$ ”。

仿照数列极限定义2.1 的四点说明，对定义3.1 的函数极限 ${\lim }_{x\to +\infty }f(x)=a$ 做类似的说明.

$(-\infty ,-M)$ 为 $-\infty$ 的邻域， $(-\infty ,-M)\cup (M,+\infty )$ 为 $\infty$ 的邻域，分别记作 $U(+\infty ,M)$ ， $U(-\infty ,M)$ 与 $U(\infty ,M)$ ，简记为 $U(+\infty ),U(-\infty )$ 与 $U(\infty )$ . 于是，定义3.1可以用邻域来表述为：如果

$$\forall \epsilon >0,\exists X>0,\text{使得}\forall x\in U(+\infty ),\text{恒有}f(x)\in U(a,\epsilon ),\text{\hspace{1em}(3.2)}$$

那么称 $a$ 是当 $x\to +\infty$ 时 $f(x)$ 的极限.

上述定义的几何意义是:对任意的 $\epsilon >0$ , 无论如何小, 总能在 $x$ 轴上找到一点 $(X,0)$ , 使得函数 $f$ 的图像 $\mathrm{Gr}f=\{(x,y)\mid y=f(x),x\in [\alpha ,+\infty )\}$ 在直线 x=X 右边的部分全部位于平面带形 $(X,+\infty )\times (a-\epsilon ,a+\epsilon )$ 内(图 1.16).

当 $x\to -\infty$ 时，函数 $f:(-\infty ,\beta ]\to \mathbf{R}(\beta \in \mathbf{R})$ 的极限（记作 ${\lim }_{x\to \infty }f(x)$ ）与当 $x\to \infty$ 时 $f:(-\infty ,-\beta ]\cup$

图1.16

$[\alpha ,+\infty )\to \mathbf{R}(\alpha \in \mathbf{R})$ 的极限（记作 ${\lim }_{x\to \infty }f(x)$ ）可类似地定义，由读者自己写出。不难证明：

$$\underset{x\to \infty }{\lim }f(x)=a\iff \underset{x\to +\infty }{\lim }f(x)=\underset{x\to -\infty }{\lim }f(x)=a.\text{\hspace{1em}(3.3)}$$

例 3.1

用定义3.1 证明 ${\lim }_{x\to +\infty }\sin \frac{1}{x}=0.$

证明

不妨设 $x>0$ . 按定义, 只要对任给的 $\epsilon >0$ , 求得 $M>0$ , 使得 $\forall x>M$ , 恒有 $\left|\sin \frac{1}{x}-0\right|<\epsilon$ 就行了. 由于

$$\left|\sin \frac{1}{x}-0\right|=\left|\sin \frac{1}{x}\right|⩽\frac{1}{x},$$

因此, 只要取 $X=\frac{1}{\epsilon }$ . 易见, 当 x>M 时, 就有

$$\left|\sin \frac{1}{x}-0\right|<\epsilon ,$$

故 ${\lim }_{x\to +\infty }\sin \frac{1}{x}=0.$

2. 自变量 $x$ 趋于有限值时函数的极限

很多实际问题需要研究当自变量 $x$ 趋于有限值 $x_0$ 时函数的极限.例如,在绪论中已讲过的求变速直线运动的瞬时速度

$$v(t_0)=\underset{t\to t_0}{\lim }\frac{s(t)-s(t_0)}{t-t_0}$$

就属于这类极限.

$x$ 趋近于 $x_0$ 也包括三种情形: $x>x_0$ 且 $x$ 趋近于 $x_0$ ，它表示在数轴上 $x$ 从 $x_0$ 的右侧趋近于 $x_0$ ，记作 $x\to x_0^{+};x<x_0$ 且 $x$ 趋近于 $x_0$ ，它表示在数轴上 $x$ 从 $x_0$ 的左侧趋于 $x_0$ ，记作 $x\to x_0^{-};x$ 既可大于 $x_0$ 也可小于 $x_0$ 且 $x$ 趋近于 $x_0$ ，它表示在数轴上 $x$ 从 $x_0$ 的左右两侧趋于 $x_0$ ，记作 $x\to x_0$ .

下面主要讨论 $x\to x_0$ 时的函数极限. 对于这类极限, 我们关心的是当在 $x\to x_0$ 的变化过程中函数值 $f(x)$ 的变化趋势. 为此, 一方面需要知道在 $x_0$ 附近函数值 $f(x)$ 的变化状况, 这就要求 $f$ 在 $x_0$ 的邻域内有定义; 另一方面只要知道 $x\to x_0$ 时函数值 $f(x)$ 无限趋近于什么数, 与该函数在 $x_0$ 处有无定义以及若有定义与它在 $x_0$ 处值的大小无关, 因此, 只需假定 $f$ 在 $x_0$ 的去心邻域内有定义, 如同上面求瞬时速度 $v(t_0)$ 中的函数 $\frac{s(t)-s(t_0)}{t-t_0}$ 那样.

与前面类似,若当 $x\to x_0$ 时 $f(x)$ 无限接近某常数 $a$, 则称 $a$ 是 $f(x)$ 当 $x\to x_0$ 时的极限. 为了给出极限的精确定义, 可以像定义3.1 那样, 用 “ $\forall \epsilon >0$ , $|f(x)-a|<\epsilon$ ” 来刻画 “ $f(x)\to a$ ”, 但此处还要刻画 $x$ 的程度, 为此可用它们在数轴上的距离注:定义3.2中之所以采用不等式“ $x_0$ 的程度, 为此可用它们在数轴上的距离注:定义3.2中之所以采用不等式“ $0<|x-x_0|<\delta$ ”而不用“ $|x-x_0|<\delta$ ”,一方面是因为满足 $|x-x_0|<\delta$ 的$x$当然包括 $x_0$ ,若 $f(x)$ 在 $x_0$ 处无定义,则 $|f(x_0)-a|<\epsilon$ 是毫无意义的;另一方面,即使 $f(x)$ 在 $x_0$ 有定义,例如讨论

$$f(x)=\{\begin{array}{ll}\frac{x^2-1}{x-1},& x\ne 1,\\ 0,& x=1\end{array}$$

当 $x\to 1$ 时的极限, 直观上易见 $f(x)\to 2$ . 定义中若采用 $|x-1|<\delta$ , 则满足该不等式的 $x$ 包括 $x=1$ . 由于 $|f(1)-2|=2$ , 不可能任意小. 从而定义3.2就将这类函数排除在外, 失去了一般性.

$|x-x_0|$ 的大小,选取 $\delta >0$ ,通过 $|x-x_0|<\delta$ 来描述.由于满足此不等式的 $x$ 当然包括 $x_0$ ,但前面已经指出,讨论 $x\to x_0$ 时函数 $f$ 的极限实际上是考察 $x$ 无限接近于 $x_0$ 时 $f(x)$ 变化的最终趋势,与 $f$ 在 $x_0$ 处是否有定义,以及 $f(x)$ 在 $x_0$ 处的值是什么无关,因此,为保证定义的一般性,还应去掉 $x_0$ ,将“ $|x-x_0|<\delta$ ”改为“ $0<|x-x_0|<\delta$ ”,从而有

定义 3.2 $x \rightarrow x_{0}$ 时的函数极限

设 $f:\mathring{U}(x_0)\to \mathbf{R}$ 是任一函数, 若存在常数 $a\in R$ , 它与 $f(x)$ 满足如下关系:

$\forall \epsilon >0,\exists \delta >0$，使得当 $0<|x-x_0|<\delta$^① 时，恒有 $|f(x)-a|<\epsilon$

(3.4)

则称 $a$ 是当 $x\to x_0$ 时 $f(x)$ 的极限, 记作

$$\underset{x\to x_0}{\lim }f(x)=a\text{或}f(x)\to a(x\to x_0).$$

(1) 将定义3.2 用邻域表述出来；

此时,称当 $x\to x_0$ 时 $f(x)$ 的极限存在或有极限.

(2) 试用 $\epsilon -\delta$ 语言表述 ${\lim }_{x\to x_0}f(x)\ne a.$

定义3.2 的几何意义是: 对于任给的 $\epsilon >0$ , 总存在一个 $\delta >0$ , 使得函数 $f$ 的图像 $\mathrm{Gr}f=\{(x,y)\mid y=f(x),x\in \mathring{U}(x_0)\}$ 在宽为 $2\delta$ 的竖直带形内的部分全部落在长方形

$$\left(x_0-\delta ,x_0+\delta \right)\times (a-\epsilon ,a+\epsilon )$$

内(图 1.17).

与数列极限类似,利用定义来验证当 $x\to x_0$ 时 $f(x)$ 的极限是 $a$, 关键在于设法由任意给定的 $\epsilon >0$ , 求出一个仅与 $\epsilon$ 有关而与 $x$ 无关(不唯一)的 $\delta >0$ , 使得当 $0<|x-x_0|<\delta$ 时, 不等式 $|f(x)-a|<\epsilon$ 恒成立. 在证明中也常常需要利用不等式的放大技巧.

例 3.2

用定义验证 ${\lim }_{x\to 2}\frac{x^2-4}{x-2}=4.$

图1.17

证明

任给 $\epsilon >0$ ，为使

$$\left|\frac{x^2-4}{x-2}-4\right|=|x-2|<\epsilon ,$$

只要取 $\delta =\epsilon$ 就行了.因此，当 $0<|x-2|<\delta$ 时，就有 $\left|\frac{x^2-4}{x-2}-4\right|<\epsilon .$ 由定义知 ${\lim }_{x\to 2}\frac{x^2-4}{x-2}=$

4.

例 3.3

用定义验证: ${\lim }_{x\to 2}\frac{x-2}{x^2-4}=\frac{1}{4}$ .

证明

任给 $\epsilon >0$ ，由不等式

$$\left|\frac{x-2}{x^2-4}-\frac{1}{4}\right|=\frac{|x-2|}{4|x+2|}<\epsilon$$

很难求出相应的 $\delta$ . 但是, 由于题中讨论的是当 $x\to 2$ 时的函数极限, 因此可以限制 $x$ 在 $x_0=2$ 的一个小邻域内. 例如, 限定 $|x-2|<1$ , 解之可得 1 < x < 3, 故 $|x+2|>3$ . 这样就有

在例3.3 中为了方便求得满足 (3.4) 式的 $\delta$ ，将 $x$ 限制在 $x_0-2$ 的一个充分小邻域内，这是用定义验证函数极限的常用方法。之所以能这样做，是因为我们研究的是 $x\to 2$ 时的极限，不需要考虑远离 $x_0=2$ 处函数值的变化情况。

$$\left|\frac{x-2}{x^2-4}-\frac{1}{4}\right|<\frac{|x-2|}{12}.$$

因此, 只要 $\frac{1}{12}|x-2|<\epsilon$ , 即 $|x-2|<12\epsilon$ , 并且 $|x-2|<1$ 就行了. 于是我们取 $\delta =\min \{1,12\epsilon \}$ , 则当 $0<|x-2|<\delta$ 时, 就有

$$\left|\frac{x-2}{x^2-4}-\frac{1}{4}\right|<\epsilon ,$$

所以结论成立.

类似地,可以定义当 $x\to x_0^{-}$ 或 $x\to x_0^{+}$ 时函数的极限,这就是所谓的左极限与右极限,统称单侧极限.

数字资源 1.3.1·函数极限定义的推广

查看资源

设有函数 $f:(x_0-\alpha ,x_0)\to \mathbf{R}(\alpha >0$ 是常数），若存在常数 $a\in \mathbb{R}$ ，它与 $f(x)$ 满足如下关系：

$\forall \epsilon >0,\exists \delta \in (0,\alpha )$ , 使得 $\forall x\in (x_0-\delta ,x_0)$ , 恒有 $|f(x)-a|<\epsilon$ , 则称 $a$ 为当 $x\to x_0$ 时 $f(x)$ 的左极限, 记作

$$f(x_0-0)=\underset{x\to x_0^{-}}{\lim }f(x)=a\text{或}f(x)\to a(x\to x_0^{-}).$$

仿此，读者不难定义当 $x\to x_0$ 时函数 $f:(x_0,x_0+\beta )\to \mathbf{R}$ ( $\beta >0$ 为常数)的右极限，记作 $f(x_0+0)={\lim }_{x\to x_0^{+}}f(x)=a$ 或 $f(x)\to a(x\to x_0^{+})$ .

读者用 $\epsilon -\delta$ 语言写出右极限的精确定义并证明(3.5)式.

与 $x\to \infty$ 时的情形类似,也有如下结论:

$$\underset{x\to x_0}{\lim }f(x)=a\iff \underset{x\to x_0^{-}}{\lim }f(x)=\underset{x\to x_0^{\ast }}{\lim }f(x)=a.\text{\hspace{1em}(3.5)}$$

数字资源 1.3.2·单侧极限在研究函数极限时有什么作用

查看资源

这就是说, 当 $x\to x_0$ 时 $f(x)$ 的极限是 $a$ 的充要条件为 $f(x)$ 的左、右极限都存在, 而且都是 $a$. 因此, 如果 $f(x)$ 的左、右极限中有一个不存在, 或者虽然都存在但不相等, 那么当 $x\to x_0$ 时 $f(x)$ 的极限不存在. 例如, 当 $x\to 0$ 时符号函数

$$\mathrm{sgn}x=\{\begin{array}{ll}1,& x>0,\\ 0,& x=0,\\ -1,& x<0\end{array}$$

的极限不存在,这是因为 ${\lim }_{x\to 0^{-}}sgnx=-1,{\lim }_{x\to 0^{+}}sgnx=1.$

下述情况也是函数极限不存在的一种,即

$\forall M>0,\exists \delta >0$ ，使得当 $0<|x-x_0|<\delta$ 时，恒有 $|f(x)|>M$ . 但习惯上常称之为当 $x\to x_0$ 时 $f(x)$ 的极限为无穷大，记作 ${\lim }_{x\to \infty }f(x)=\infty$ .

(3.6)

3. 函数极限的归并原理

在本章第二节,我们介绍了数列极限的归并原理,它沟通了数列与其子列的极限之间的关系.下面说明,函数极限与数列极限之间也存在着密切的联系.这种联系是由著名的 Heine 定理建立的,常称之为函数极限的归并原理.

定理 3.1 Heine 定理

设 $f:\mathring{U}(x_0)\to \mathbb{R}$ 为一函数, $a$ 为一常数, 则 ${\lim }_{x\to x_0}f(x)=a$ 的充要条件为对于 $\mathring{U}(x_0)$ 中的任何数列 $\{x_n\}$ , 当 $x_n\to x_0(n\to \infty )$ 时, 相应的函数值数列 $\{f(x_n)\}$ 都收敛于 a ($a$ 为有限或 $\infty$ ).

证明

必要性 设 ${\lim }_{x\to x_0}f(x)=a$ ，由定义3.2，

$\forall \epsilon >0,\exists \delta >0$ ，使得当 $0<|x-x_0|<\delta$ 时，恒有 $|f(x)-a|<\epsilon$ . (3.7) 又由于 $x_n\in \mathring{U}(x_0)$ ，且 ${\lim }_{n\to \infty }{x}_n=x_0$ ，故对上面的 $\delta$ ，

$\exists N\in {\mathbf{N}}_{+}$ , 使得 $\forall n>N$ , 恒有 $0<|x_n-x_0|<\delta$ .

(3.8)

联合(3.7)式与(3.8)式可得

$\forall \epsilon >0,\exists N\in {\mathbf{N}}_{+}$ , 使得 $\forall n>N$ , 恒有 $|f(x_n)-a|<\epsilon$ ,

$$\underset{n\to \infty }{\lim }f(x_n)=a$$

充分性 用反证法. 假若 ${\lim }_{x\to x_0}f(x)=a$ 不成立, 就是说, 当 $x\to x_0$ 时, $f(x)$ 不以 $a$ 为极限. 根据定义3.2,

$$\exists {\epsilon }_0>0,\forall \delta >0,\exists x\in \mathring{U}(x_0,\delta ),$$

使得 $|f(x)-a|⩾{\epsilon }_0$ .

取 ${\delta }_n=\frac{1}{n}$ （ $n\in {\mathbf{N}}_{+}$ ），则注：在“必要性”的证明中，将(3.7)式中的“ $\delta$ ”作为(3.8)式中不等式 $0<|x_n-x_0|<\epsilon$ 中的“ $\epsilon$ ”。这样做的目的是建立已知条件 ${\lim }_{x\to x_0}f(x)=a$ 与 ${\lim }_{n\to \infty }{x}_n=x_0$ 之间的联系（“搭桥”），从而用这两个已知条件证明结论 ${\lim }_{n\to \infty }f(x_n)=a$ 。是一种常用的思想方法。

$\forall n\in N_{+}$ ，都 $\exists x_n\in \mathring{U}(x_0,{\delta }_n)$

$$\text{使得}\mid f(x_n)-a\mid ⩾{\epsilon }_0.$$

由于当 $n\to \infty$ 时 ${\delta }_n\to 0$ , 因此就得到 $\mathring{U}(x_0)$ 中的一个数列 $\{x_n\}$ , ${\lim }_{n\to \infty }{x}_n=x_0$ , 但是 ${\lim }_{n\to \infty }f(x_n)=a$ 却不成立. 这与已知条件相矛盾, 故必有 ${\lim }_{x\to x_0}f(x)=a$ .

由定理的证明过程可见,该定理对于 $x\to x_0^{+},x\to x_0^{-}$ 及 $x\to +\infty ,x\to -\infty ,x\to \infty$ 等情形都成立. 同数列极限的归并原理一样,也可以用定理3.1的必要性来证明某些函数的极限不存在.

数字资源 1.3.3·函数极限归并原理的重要作用

查看资源

例 3.4

证明: 当 $x\to 0$ 时函数 $f(x)=\sin \frac{1}{x}(x\ne 0)$ 的极限不存在.

证明

根据归并原理,为了证明当 $x\to 0$ 时该函数的极限不存在, 只要能在 $\stackrel{\circ }{U}(0)$ 内找到两个都收敛于 0 的不同的数列 $\{x_n\}$ , 使对应的函数值数列 $\{f(x_n)\}$ 收敛于不同的常数就可以了. 为此, 取 $x_n^{(1)}=\frac{1}{n\pi }(n\in {\mathbf{N}}_{+})$ , 则 $x_n^{(1)}\to 0$ , 且 $x_n^{(1)}\ne 0$ , 从而

$$\underset{n\to \infty }{\lim }\sin \frac{1}{x_n^{(1)}}=\underset{n\to \infty }{\lim }\sin n\pi =0.$$

再取 $x_n^{(2)}=\frac{1}{2n\pi +\frac{\pi }{2}}(n\in {\mathbf{N}}_{+})$ ，则 $x_n^{(2)}\to 0$ ，且 $x_n^{(2)}\ne 0$ ，从而

$$\underset{n\to \infty }{\lim }\sin \frac{1}{x_n^{(2)}}=\underset{n\to \infty }{\lim }\sin \left(2n\pi +\frac{\pi }{2}\right)=1.$$

故当 $x\to 0$ 时 $f(x)$ 的极限不存在.

利用 Heine 定理不但可以判断某些函数的极限不存在,而且下面将要看到,它还可以把许多函数极限的问题转化为数列极限的相应问题,然后利用数列极限中已有的相关问题的结论,推得函数极限的相应结论.

3.2 函数极限的性质

函数极限与数列极限有相类似的一些性质,这些性质既可以用证明数列极限相应性质的方法来证明,也可以利用 Heine 定理转化为数列极限的相应命题来证明.下面仅给出部分性质的证明,其余由读者完成.

定理 3.2

设 ${\lim }_{x\to x_0}f(x)=a$ ，则

(1) (唯一性) 当 $x\to x_0$ 时, $f(x)$ 的极限是唯一的;

(2)（局部有界性） $f$ 在 $x_0$ 处是局部有界的，即 $\exists M>0$ 与 $\delta >0$ ，使得 $\forall x\in \mathring{U}(x_0,\delta )$ ，恒有 $|f(x)|⩽M$ .

证明

（1）用归并原理. 假设极限不唯一，就是说，若既有 ${\lim }_{x\to x_0}f(x)=a$ ，又有 ${\lim }_{x\to x_0}f(x)=b\ne a.$ 任取 $\{x_n\}\in \mathring{U}(x_0),x_n\to x_0$ （ $n\to \infty$ ），则由归并原理，函数值数列 $\{f(x_n)\}$ 既收敛于 $a$ ，又收敛于 $b$ ，这与数列极限的唯一性矛盾.

（2）根据函数极限定义，对于 $\epsilon =1,\exists \delta >0$ ，使得 $\forall x\in \mathring{U}(x_0,\delta )$ ，恒有 $\left|f(x)-a\right|<1$ ，从而有 $\left|f(x)\right|=\left|f(x)-a+a\right|⩽\left|f(x)-a\right|+\left|a\right|⩽1+\left|a\right|$ ，故 $f$ 在 $x_0$ 处局部有界.

数字资源 1.3.4·应用极限的保号性与保序性时应当注意的问题

查看资源

定理 3.3

设 ${\lim }_{x\to x_0}f(x)=a,{\lim }_{x\to x_0}g(x)=b.$

(1) (局部保号性) 若 $a\ne 0$ , 则 $\exists \delta >0$ , 使得 $\forall x\in \mathring{U}(x_0,\delta ),f(x)$ 都与 $a$ 同号. 特别若 $a>0(a<0)$ , 则 $\exists \delta >0$ , 使得 $\forall x\in \mathring{U}(x_0,\delta )$ , 恒有 $f(x)⩾q>0(f(x)⩽q<0)$ ;

(2)（局部保序性）若 $\exists \delta >0$ ，使得 $\forall x\in \mathring{U}(x_0,\delta )$ ，恒有 $f(x)⩽g(x)$ ，则 $a⩽b$ ;

(3)（夹逼性）若 $\exists \delta >0$ ，使得 $\forall x\in \mathring{U}(x_0,\delta )$ ，恒有 $f(x)⩽\phi (x)⩽g(x)$ ，且 $a=b$ ，则 ${\lim }_{x\to x_0}\phi (x)=a$ .

证明

仅用 Heine 定理证明夹逼性, 其余的性质由读者补证. 任取数列 $\{x_n\}\in \mathring{U}(x_0)$ , 使 $x_n\to x_0$ ( $n\to \infty$ ), 则由数列极限定义, 对已知条件中的 $\delta >0$ , $\exists N\in {\mathbf{N}}_{+}$ , 使得 $\forall n>N$ , 恒有 $x_n\in \mathring{U}(x_0,\delta )$ . 又由已知条件,

由于函数极限的有界性、保号性、保序性仅在 $x_0$ 的某邻域 $\mathring{U}(x_0,\delta )$ 内成立,因此,这些性质的前面都加上了“局部”二字.实际上,数列极限对应的上述性质除有界性外,其余性质也是“局部的”,因为仅当 $n⩾N$ 时它们才成立.

$$f(x_n)⩽\phi (x_n)⩽g(x_n),$$

并且根据 Heine 定理的必要条件, ${\lim }_{n\to \infty }f(x_n)={\lim }_{x\to x_0}f(x)=a$ , ${\lim }_{n\to \infty }g(x_n)={\lim }_{x\to x_0}g(x)=a$ . 故由数列极限的夹逼性得知 ${\lim }_{n\to \infty }\phi (x_n)=a$ . 因为 $\{x_n\}$ 是 $\mathring{U}(x_0)$ 内收敛于 $x_0$ 的任一数列, 故由 Heine 定理的充分条件得 ${\lim }_{x\to x_0}\phi (x)={\lim }_{n\to \infty }\phi (x_n)=a$ .

定理 3.4 有理运算法则

设 ${\lim }_{x\to x_0}f(x)=a,{\lim }_{x\to x_0}g(x)=b$ ，则

(1) ${\lim }_{x\to x_0}[f(x)\pm g(x)]={\lim }_{x\to x_0}f(x)\pm {\lim }_{x\to x_0}g(x)=a\pm b;$

(1) 试用函数极限的归并原理证明函数极限的有理运算法则.

(2) ${\lim }_{x\to x_0}f(x)g(x)={\lim }_{x\to x_0}f(x){\lim }_{x\to x_0}g(x)=ab;$

(3) ${\lim }_{x\to x_0}\frac{f(x)}{g(x)}=\frac{{\lim }_{x\to x_0}f(x)}{{\lim }_{x\to x_0}g(x)}=\frac{a}{b}$ , 其中 $b\ne 0$ .

(2) 对照数列极限的有理运算法则,说明使用函数极限有理运算法则时应当注意哪些问题.

由定理3.4 易得函数极限的线性运算法则：

$$\underset{x\to x_0}{\lim }[\alpha f(x)+\beta g(x)]=\alpha \underset{x\to x_0}{\lim }f(x)+\beta \underset{x\to x_0}{\lim }g(x)=\alpha a+\beta b,$$

其中 $\alpha ,\beta \in R$ 为常数.

以上几个定理,对于 $x\to \infty$ , $x\to \pm \infty$ , $x\to x_0^{\pm }$ 等情形也成立.

有了函数极限的有理运算法则,我们就可以来求一些函数的极限了.

例 3.5

求 ${\lim }_{x\to 1}\frac{x^2-1}{x^3-1}$

解

由于

$$\begin{array}{rl}\frac{x^2-1}{x^3-1}& =\frac{(x+1)(x-1)}{(x-1)(x^2+x+1)}\\ & =\frac{x+1}{x^2+x+1},\end{array}$$

所以

$$\begin{array}{rl}{\lim }_{x\to 1}\frac{x^2-1}{x^3-1}& ={\lim }_{x\to 1}\frac{x+1}{x^2+x+1}\\ & =\frac{2}{3}.\end{array}$$

例 3.6

求 ${\lim }_{x\to +\infty }\frac{x^2+2x+5}{x^2+x+4}.$

解

由于

$$\frac{x^2+2x+5}{x^2+x+4}=\frac{1+\frac{2}{x}+\frac{5}{x^2}}{1+\frac{1}{x}+\frac{4}{x^2}}.$$

所以

$$\underset{x\to +\infty }{\lim }\frac{x^2+2x+5}{x^2+x+4}=\frac{{\lim }_{x\to +\infty }\left(1+\frac{2}{x}+\frac{5}{x^2}\right)}{{\lim }_{x\to +\infty }\left(1+\frac{1}{x}+\frac{4}{x^2}\right)}=1.$$

例 3.7

求 ${\lim }_{x\to 2}\left(\frac{1}{x-2}-\frac{12}{x^3-8}\right).$

解

将待求极限的函数先通分再消去零因子,得

$$\frac{1}{x-2}-\frac{12}{x^3-8}=\frac{x^2+2x-8}{x^3-8}=\frac{x+4}{x^2+2x+4},$$

故

$$\underset{x\to 2}{\lim }\left(\frac{1}{x-2}-\frac{12}{x^3-8}\right)=\frac{1}{2}.$$

例 3.8

证明 ${\lim }_{x\to 0}\cos x=1.$

当 $x\to 1$ 时, 由于分子与分母的极限都是 0, 因此不能直接利用有理运算法则 (3). 这类极限常称为 $\frac{0}{0}$ 型不定式. 之所以叫不定式, 是因为对于这类极限, 它是否存在, 如果存在, 极限值是什么, 应具体分析, 不能一概而论. 对 $\frac{0}{0}$ 型不定式, 通常应先设法消去分子与分母中极限为 0 的因子 (称为零因子), 然后再用有理运算法则求其极限值.

当 $x\to +\infty$ 时, 由于分子与分母的极限都为 $+\infty$ , 因此也不能直接利用有理运算法则, 这类极限常称为 $\frac{\infty }{\infty }$ 型不定式. 对这类不定式, 通常先对分子与分母同除以它们所含的最高次幂, 然后再用有理运算法则来计算.

由于当 $x\to 2$ 时,括号中的两项都以 $\infty$ 为极限,因此不能直接利用减法法则,这类极限称为 $\infty -\infty$ 型不定式.对这类极限利用通分可以化为 $\frac{0}{0}$ 型不定式,然后再采用例3.5 的方法求出极限.

证明

为了证明此题, 只要先证 ${\lim }_{x\to 0}(1-\cos x)=0$ . 由于

$$0⩽1-\cos x=2{\sin }^2\frac{x}{2}<2{\left(\frac{x}{2}\right)}^2=\frac{x^2}{2},$$

利用夹逼性得 ${\lim }_{x\to 0}(1-\cos x)=0$ ，所以

$$\underset{x\to 0}{\lim }\cos x=\underset{x\to 0}{\lim }[1-(1-\cos x)]=1-\underset{x\to 0}{\lim }(1-\cos x)=1.$$

由于在理论研究和实际应用中经常碰到的是由多个比较简单的函数构成的复合函数,因此需要讨论求复合函数极限的方法.例如,为了求函数 $y=\cos (x^3+x-2)$ 当 $x\to 1$ 时的极限,该函数可以看成是由 $y=f(u)=\cos u$ 与 $u=g(x)=x^3+x-2$ 构成的复合函数,因为 ${\lim }_{x\to 1}g(x)={\lim }_{x\to 1}(x^3+x-2)=0$ ,又由例3.8可知 ${\lim }_{u\to 0}f(u)={\lim }_{u\to 0}\cos u=1$ ,试问复合函数 $y=f(u)=f[g(x)]$ 当 $x\to 1$ 时的极限与构成它的上述两个简单函数的极限: ${\lim }_{x\to 1}g(x)=0,{\lim }_{u\to 0}f(u)=1$ 之间有什么关系呢?下面的结论回答了这个问题.

定理 3.5 复合函数极限的运算法则

设 $y=(f\circ g)(x)=f[g(x)]$ 是由 $y=f(u)$ 与 $u=g(x)$ 复合而成的，复合函数 $f\circ g$ 定义在 $x_0$ 的某去心邻域 $\mathring{U}(x_0)$ 中. 若 ${\lim }_{x\to x_0}g(x)=u_0,{\lim }_{u\to u_0}f(u)=a$ ，并且 $\exists {\delta }_0>0$ ，使得 $\forall x\in \mathring{U}(x_0,{\delta }_0)$ ，恒有 $g(x)\ne u_0$ ，则

$$\underset{x\to x_0}{\lim }f[g(x)]=a=\underset{u\to u_0}{\lim }f(u).\text{\hspace{1em}(3.9)}$$

证明

由于 ${\lim }_{u\to u_0}f(u)=a$ ，故 $\forall \epsilon >0$

$\exists \eta >0,$ 使得 $\forall u\in \mathring{U}(u_0,\eta ),$ 恒有 $|f(u)-a|<\epsilon ,$

(3.10)

又由于 ${\lim }_{x\to x_0}g(x)=u_0$ ，故对上式中的 $\eta >0$

$\exists {\delta }_1>0,$ 使得 $\forall x\in \mathring{U}(x_0,{\delta }_1)$ ,

恒有 $|g(x)-u_0|<\eta .$

再注意到已知条件: $\exists {\delta }_0>0$ , 使得 $\forall x\in \mathring{U}(x_0,{\delta }_0)$ , 恒有 $u=g(x)\ne u_0$ , 若取 $\delta =\min \{{\delta }_0,{\delta }_1\}$ , 则 $\forall x\in \mathring{U}(x_0,\delta )$ , 恒有 $0<|u-u_0|<\eta$ , 即 $u\in \mathring{U}(u_0,\eta )$ , 从而由 (3.10) 式得

根据定义, 由于 ${\lim }_{x\to x_0}g(x)=u_0$ , 故 $\forall \epsilon >0,\exists \delta >0$ (此处用 ${\delta }_1>0$ ), 使得 $\forall x\in \stackrel{\circ }{U}(x_0,\delta )$ . 恒有 $|g(x)-u_0|<\epsilon$ . 但在此处的证明中为什么选取 $\epsilon$ 为 (3.10) 式中的 $\eta$ ?

$$\left|f[g(x)]-a\right|<\epsilon ,$$

所以(3.9)式成立.

此定理回答了上面提出的问题. 就是说, 求上述例子中的复合函数的极限时可根据定理3.5 通过变量代换法进行, 即对 $y=f[g(x)]=\cos (x^3+x-2)$ 作变量代换 $u=g(x)=x^3+x-2$ , 从而由于

$x\to x_0=1$ 时 $u=g(x)=x^3+x-2\to u_0=0$ ，从而 $y=f(u)=\cos u\to 1=a$ ，

所以

$$\underset{x\to 1}{\lim }f[g(x)]=\underset{u\to 0}{\lim }f(u)=\underset{u\to 0}{\lim }\cos u=1.$$

但在使用该法则时,应注意必须满足条件:“ $\exists {\delta }_0>0$ ,使得 $\forall x\in \mathring{U}(x_0,{\delta }_0)$ ,恒有 $u=g(x)\ne u_0$ 。”在此例中,易见存在 $x_0=1$ 的一个去心 ${\delta }_0$ 邻域,使 $g(x)=x^3+x-2\ne 0$ . 在通常的情况下,大多能满足这个条件,所以可以不要求去一一验证.

例 3.9

证明: ${\lim }_{x\to 0}{e}^x=1,{\lim }_{x\to x_0}{a}^x=a^{x_0}(a>0)$ .

数字资源 1.3.5·怎样正确运用复合函数极限的运算法则

查看资源

证明

用定义先证 ${\lim }_{x\to 0^{+}}{\mathrm{e}}^x=1.$ 对于任给的 $\epsilon >0$ ，为使 $|{\mathrm{e}}^x-1|={\mathrm{e}}^x-1<\epsilon$ 只要 $x<\ln (1+\epsilon )$ .取 $\delta =\ln (1+\epsilon )$ ，则当 $0<x<\delta$ 时，就有 $|{\mathrm{e}}^x-1|<\epsilon$ ，因此 ${\lim }_{x\to 0^{+}}{\mathrm{e}}^x=1.$

再证 ${\lim }_{x\to 0^{-}}{\mathrm{e}}^x=1.$ 由于 $x\to 0^{-}$ 等价于 $-x\to 0^{+}$ ，所以 ${\lim }_{x\to 0^{-}}{\mathrm{e}}^x={\lim }_{-x\to 0^{+}}\frac{1}{{\mathrm{e}}^{-x}}=1,$ 故 ${\lim }_{x\to 0}{\mathrm{e}}^x=1.$ 怎样正确运用复合函数极限的运算法则.

用类似的方法可以证明 ${\lim }_{x\to 0}{a}^x=1(a>0)$ .又 想一想：因为 试利用复合函数极限的运算法则

$$\underset{x\to x_0}{\lim }{a}^x=\underset{x\to x_0}{\lim }{a}^{x_0}{a}^{x-x_0}=a^{x_0}\underset{x\to x_0}{\lim }{a}^{x-x_0},$$

试利用复合函数极限的运算法则证明 ${\lim }_{x\to x_0}\sin x=\sin x_0$ ，其中 $x_0\in R$ .

令 $u=x-x_0$ ，则当 $x\to x_0$ 时 $u\to 0$ ，故由复合函数极限的运算法则得

$$\underset{x\to x_0}{\lim }{a}^x=a^{x_0}\underset{u\to 0}{\lim }{a}^u=a^{x_0}.\text{\hspace{1em}(3.11)}$$

3.3 两个重要极限

下面介绍微积分中两个常用的重要极限公式,它们不但可以用来求一些更复杂函数的极限,而且是第二章中建立一些重要导数公式的基础,读者应当牢记并能熟练地运用它们.

$$\underset{x\to 0}{\lim }\frac{\sin x}{x}=1.\text{\hspace{1em}(3.12)}$$

证明

先设 $0<x<\frac{\pi }{2}$ . 作一单位圆如图 1.18, 易见:

$△AOB$ 面积 $<$ 扇形 $AOB$ 面积 $<△AOC$ 面积，从而有

$$\frac{1}{2}\sin x<\frac{x}{2}<\frac{1}{2}\tan x.$$

因为 $\sin x>0$ ，上式两边同除以 $\frac{1}{2}\sin x$ ，得

图1.18

$$1<\frac{x}{\sin x}<\frac{1}{\cos x}\text{或}\cos x<\frac{\sin x}{x}<1.$$

由于此不等式中各项都是偶函数,故对满足 $0<|x|<\frac{\pi }{2}$ 的所有 $x$ 都成立.利用夹逼性与例3.8,立即得 ${\lim }_{x\to 0}\frac{\sin x}{x}=1$ .

利用极限公式(3.12)易得:圆周上任一弦与其对应弧的长度之比当弧长趋于0时的极限值等于1.事实上,在图 1.18中,弧 $\overrightarrow{AB}=x$ , 弦 $\overline{AB}=2\sin \frac{x}{2}$ ,所以注意:在推导公式(3.12)的过程中,使用了计算圆弧长的公式s=xR,而圆心角$x$必须用弧度来度

$$\underset{\widehat{AB}\to 0}{\lim }\frac{\overline{AB}}{\widehat{AB}}=\underset{x\to 0}{\lim }\frac{2\sin \frac{x}{2}}{x}=\underset{x\to 0}{\lim }\frac{\sin \frac{x}{2}}{\frac{x}{2}}.$$

在推导公式(3.12)的过程中,使用了计算圆弧长的公式 s = xR,而圆心角 $x$ 必须用弧度来度量,因此,公式(3.12)中仅当 $x$ 用弧度度量时才成立.由于后面的许多公式都是利用公式(3.12)导出的,所以,微积分中三角函数的角度都必须采用弧度制,而不能用角度制.

令 $u=\frac{x}{2}$ ，则当 $x\to 0$ 时， $u\to 0$ 。根据定理3.5 与公式 (3.12)，

$$\underset{\widehat{AB}\to 0}{\lim }\frac{\overline{AB}}{\widehat{AB}}=\underset{u\to 0}{\lim }\frac{\sin u}{u}=1.$$

例 3.10

求 ${\lim }_{x\to 0}\frac{\tan x}{x}$ .

解

${\lim }_{x\to 0}\frac{\tan x}{x}={\lim }_{x\to 0}\frac{\sin x}{x}\cdot \frac{1}{\cos x}={\lim }_{x\to 0}\frac{\sin x}{x}\cdot \frac{1}{{\lim }_{x\to 0}\cos x}=1.$

例 3.11

求 ${\lim }_{x\to 0}\frac{1-\cos x}{x^2}$ .

解

由于

$$\underset{x\to 0}{\lim }\frac{1-\cos x}{x^2}=\underset{x\to 0}{\lim }\frac{2{\sin }^2\frac{x}{2}}{x^2}=\underset{x\to 0}{\lim }\frac{1}{2}{\left(\frac{\sin \frac{x}{2}}{\frac{x}{2}}\right)}^2,$$

令 $t=\frac{x}{2}$ ，则当 $x\to 0$ 时， $t\to 0$ ，从而得

$$\underset{x\to 0}{\lim }\frac{1-\cos x}{x^2}=\frac{1}{2}\underset{t\to 0}{\lim }{\left(\frac{\sin t}{t}\right)}^2=\frac{1}{2}.$$

例 3.12

求 ${\lim }_{x\to \infty }x\arcsin \frac{n}{x}(n\in {\mathbf{N}}_{+})$

解

这个极限属于 $0\cdot \infty$ 型不定式. 令 $\arcsin \frac{n}{x}=t$ , 则 $\sin t=\frac{n}{x}$ . 由于 $x\to \infty$ 时 $t\to 0$ , 故可限制 $|t|<\frac{\pi }{2}$ . 从而当 $x\to \infty$ 时, $\sin t\to 0$ , 因此只能有 $t\to 0$ . 于是得

$$\begin{array}{rl}& {\lim }_{x\to \infty }x\arcsin \frac{n}{x}={\lim }_{t\to 0}\frac{nt}{\sin t}={\lim }_{t\to 0}\frac{n}{\frac{\sin t}{t}}=\frac{n}{{\lim }_{t\to 0}\frac{\sin t}{t}}=n.\\ & \boxed{\underset{x\to \infty }{\lim }{\left(1+\frac{1}{x}\right)}^x=e.}\end{array}$$

(3.13)

证明

此公式是数列极限公式(2.7)的推广,我们利用公式(2.7)和夹逼性来证明它.先证 ${\lim }_{x\to +\infty }{\left(1+\frac{1}{x}\right)}^x=e.$ 为了利用极限公式(2.7),设 $n=[x]$ ,则 $n⩽x<n+1$ ,从而有

$${\left(1+\frac{1}{n+1}\right)}^n<{\left(1+\frac{1}{x}\right)}^x<{\left(1+\frac{1}{n}\right)}^{n+1}.$$

由于当 $x\to +\infty$ 时， $n\to +\infty$ ，并且

$$\begin{array}{l}{\lim }_{n\to +\infty }{\left(1+\frac{1}{n+1}\right)}^n={\lim }_{n\to +\infty }\frac{{\left(1+\frac{1}{n+1}\right)}^{n+1}}{1+\frac{1}{n+1}}=e,\\ {\lim }_{n\to +\infty }{\left(1+\frac{1}{n}\right)}^{n+1}={\lim }_{n\to +\infty }{\left(1+\frac{1}{n}\right)}^n\left(1+\frac{1}{n}\right)=e,\end{array}$$

所以由夹逼性立即可得 ${\lim }_{x\to +\infty }{\left(1+\frac{1}{x}\right)}^x=e.$

再证 ${\lim }_{x\to -\infty }{\left(1+\frac{1}{x}\right)}^x=\mathrm{e}.$ 令 $t=-x$ ，则当 $x\to -\infty$ 时， $t\to +\infty$ .从而有

$$\begin{array}{rl}{\lim }_{x\to -\infty }{\left(1+\frac{1}{x}\right)}^x& ={\lim }_{t\to +\infty }{\left(1-\frac{1}{t}\right)}^{-t}={\lim }_{t\to +\infty }{\left(\frac{t}{t-1}\right)}^t\\ & ={\lim }_{t\to +\infty }\left[{\left(1+\frac{1}{t-1}\right)}^{t-1}\left(1+\frac{1}{t-1}\right)\right]\\ & =e\cdot 1=e.\end{array}$$

由于当 $x\to \infty$ 时, $1+\frac{1}{x}\to 1$ , 故公式(3.13)的左端属于 $1^{\infty }$ 型不定式,它常被用于求其他一些 $1^{\infty }$ 型不定式的极限.

综合上述两种情况即得所要证明的公式(3.13).

例 3.13

求 ${\lim }_{x\to \infty }{\left(1-\frac{2}{x}\right)}^x$ .

解

易见,该极限属于 $1^{\infty }$ 型不定式.只要作变换 $-\frac{2}{x}=\frac{1}{t}$ （即x=-2t），则当 $x\to \infty$ 时，就有 $t\to \infty$ .于是所求极限就可利用公式(3.13)得到

$$\underset{x\to \infty }{\lim }{\left(1-\frac{2}{x}\right)}^x=\underset{t\to \infty }{\lim }{\left(1+\frac{1}{t}\right)}^{-2t}=\underset{t\to \infty }{\lim }\frac{1}{{\left[{\left(1+\frac{1}{t}\right)}^t\right]}^2}=e^{-2}.$$

例 3.14

求 ${\lim }_{x\to 0}(1+x{)}^{1/x}$

解

该极限也属于 $1^{\infty }$ 型不定式. 令 $\frac{1}{x}=t$ , 即 $x=\frac{1}{t}$ , 则当 $x\to 0$ 时, $t\to \infty$ . 故

数字资源 1.3.6·两个重要极限公式的作用

查看资源

$$\underset{x\to 0}{\lim }(1+x{)}^{1/x}=\underset{t\to \infty }{\lim }{\left(1+\frac{1}{t}\right)}^t=e.$$

此例中的极限公式可以看成公式(3.13)的另一种形式,可以直接使用.

3.4 函数极限的存在准则

本段将数列极限中单调有界准则和 Cauchy 收敛原理推广到函数极限中来. 为此, 先介绍函数的有界性.

设有函数 $f:A\subseteq \mathbf{R}\to \mathbf{R}$ , 若其值域 $R(f)=f(A)$ 有上(下)界, 换句话说, 若 $\exists M(m)\in \mathbf{R}$ , 使得 $\forall x\in A$ , 恒有 $f(x)⩽M(⩾m)$ , 则称 $f$ 在 $A$ 上有上(下)界, 并称 $R(f)$ 的上界 $M$ (下界 $m$ ) 是 $f$ 在 $A$ 上的一个上(下)界. 若 $\exists M>0$ , 使得 $\forall x\in A$ , 恒有 $|f(x)|⩽M$ , 则称 $f$ 在 $A$ 上有界. 称 $f$ 的值域 $R(f)=f(A)$ 的上(下)确界是 $f$ 在 $A$ 上的上(下)确界, 也就是说, 若 $\exists s\in \mathbf{R}$ , 使得 $\forall x\in A$ , 恒有 $f(x)⩽s(⩾s)$ , 并且 $\forall \epsilon >0$ , $\exists x_0\in A$ , 使得 $f(x_0)>s-\epsilon (<s+\epsilon )$ , 则称 $s$ 为 $f$ 在 $A$ 上的上(下)确界, 记作

$$\underset{x\in A}{\sup }f(x)(\underset{x\in A}{\inf }f(x)).$$

今后,常用 $I$ 表示任意的有限或无限区间、开或闭区间、半开(半闭)区间.

定理 3.6 单调有界准则

（1）设函数 $f$ 在区间 $[\alpha ,+\infty )$ ( $\alpha \in \mathbf{R}$ ) 上单调增(减)有上(下)界，则 ${\lim }_{x\to +\infty }f(x)$ 存在；

(2) 设函数 $f$ 是区间 $I$ 上的单调函数, 则 $f$ 在 $I$ 内每一点的单侧极限存在.

证明

（1）不妨设 $f$ 在 $[\alpha ,+\infty )$ 上单调增有上界. 因 $f$ 有上界，故必有上确界，设 ${\sup }_{x\in [\alpha ,+\infty )}f(x)=a.$ 下面证明 ${\lim }_{x\to +\infty }f(x)=a.$ 根据上确界的定义， $\forall \epsilon >0,\exists x_0\in (\alpha ,+\infty )$ ，使 $f(x_0)>a-\epsilon .$ 由于 $x\to +\infty$ ，故必存在 $x\in [\alpha ,+\infty )$ ，使 $x>x_0$ . 由已知 $f$ 单调增，从

而有

$$\forall x\in (x_0,+\infty ),a-\epsilon <f(x_0)⩽f(x)⩽a<a+\epsilon ,$$

于是 $\forall x\in (x_0,+\infty )$ ， $|f(x)-a|<\epsilon$ ，所以 ${\lim }_{x\to +\infty }f(x)=a.$

（2）仍假定 $f$ 是单调增的.设 $x_0$ 是 $I$ 内的任意一点，为证左极限 ${\lim }_{x\to x_0}f(x)$ 存在，关键在于证明 $f$ 有上界.由于 $f$ 单调增，所以 $\forall x\in {\mathring{U}}_{-}(x_0,\eta )=(x_0-\eta ,x_0)$ $(\eta \in \mathbb{R})$ ，都有 $f(x)⩽f(x_0)$ ，从而 $f$ 在 ${\mathring{U}}_{-}(x_0,\eta )$ 上你能用类似的方法证明 ${\lim }_{x\to x_0^{\prime }}f(x)$ 存在吗？若 $x_0$ 为区间 $I$ 的左端点，上述结论也成立吗？

有上界,故有上确界.以下仿照(1)中的证明步骤,不难得到所要证明的结论.类似可证 ${\lim }_{x\to x_0^{+}}f(x)$ 也存在.

在定理3.6 中, 若 $I$ 是半开(半闭)或闭区间, 则在闭的那个端点处单侧极限也存在.

定理 3.7 Cauchy 收敛原理

设 $f:\mathring{U}(x_0)\to \mathbb{R}$ 是任一函数, 则 ${\lim }_{x\to x_0}f(x)$ 存在的充要条件为

$\forall \epsilon >0,\exists \delta >0$ ，使得 $\forall x_1,x_2\in \mathring{U}(x_0,\delta )$ ，恒有 $|f(x_1)-f(x_2)|<\epsilon$

(3.14)

其中 $\mathring{U}(x_0,\delta )\subseteq \mathring{U}(x_0)$ .

证明

必要性 设 ${\lim }_{x\to x}f(x)=a$ ，则 $\forall \epsilon >0,\exists \delta >0,\forall x_1,x_2\in \mathring{U}(x_0,\delta )$ ，恒有

$$\left|f(x_1)-a\right|<\frac{\epsilon }{2},\left|f(x_2)-a\right|<\frac{\epsilon }{2}.$$

从而

$$\left|f\left(x_1\right)-f\left(x_2\right)\right|⩽\left|f\left(x_1\right)-a\right|+\left|f\left(x_2\right)-a\right|<\epsilon .$$

* 充分性 假定条件(3.14)成立,我们利用 Heine 定理来证明 ${\lim }_{x\to x_0}f(x)$ 存在.为此,任取 $\{x_n\}\in \mathring{U}(x_0),x_n\to x_0(n\to \infty )$ . 根据数列极限的定义,对于(3.14)式中的 $\delta >0$ , $\exists N\in {\mathbf{N}}_{+}$ , $\forall m,n>N$ , 恒有 $x_m,x_n\in \mathring{U}(x_0,\delta )$ . 由于(3.14)式成立,因而有 $|f(x_m)-f(x_n)|<\epsilon$ . 根据数列极限的 Cauchy 收敛原理, $\{f(x_n)\}$ 是一个收敛数列, 设 ${\lim }_{n\to \infty }f(x_n)=a$ . 这就证明了,任取 $\{x_n\}\subseteq \mathring{U}(x_0)$ , 只要 $x_n\to x_0$ , 对应的函数值数列 $\{f(x_n)\}$ 都是收敛的. 下面证明, 对于 $\mathring{U}(x_0)$ 中任何与 $\{x_n\}$ 不同的数列 $\{{\tilde{x}}_n\}\subseteq \mathring{U}(x_0)$ , 当 ${\tilde{x}}_n\to x_0$ 时,对应的函数值数列 $\{f({\tilde{x}}_n)\}$ 极限也是 $a$ , 即 ${\lim }_{n\to \infty }f({\tilde{x}}_n)=a$ . 用反证法. 若 ${\lim }_{n\to \infty }f({\tilde{x}}_n)=b\ne a$ , 作一新数列

$$x_1,{\tilde{x}}_1,x_2,{\tilde{x}}_2,\dots ,x_n,{\tilde{x}}_n,\dots .$$

显然,它也包含在 $\mathring{U}(x_0)$ 中,并且收敛于 $x_0$ (习题1.2($A$) 第 9 题).但与该数列相对应的函数值数列

$$f\left(x_1\right),f\left({\tilde{x}}_1\right),f\left(x_2\right),f\left({\tilde{x}}_2\right),\dots ,f\left(x_n\right),f\left({\tilde{x}}_n\right),\dots$$

却不收敛(因为它的奇数项和偶数项构成的两个子列分别收敛于$a$与$b$)，这与上面已证明的对于 $\mathring{U}(x_0)$ 中的任何 $\{x_n\}$ ，只要 $x_n\to x_0$ ，对应的 $\{f(x_n)\}$ 都收敛的结论相矛盾.因此，必有 ${\lim }_{n\to \infty }f({\tilde{x}}_n)=a$ ，根据Heine定理得知 ${\lim }_{x\to x_0}f(x)=a$ .

在几何上, Cauchy 收敛原理表明: 若 ${\lim }_{x\to x_0}f(x)$ 存在, 则随着 $x\to x_0$ , 函数 $f$ 的图像

振动的振幅趋近于零, 否则 ${\lim }_{x\to x_0}f(x)$ 不存在. 例如, 函数 $f(x)=\sin \frac{1}{x}(x\in \mathbf{R}\setminus \{0\})$ 的图像在 x=0 附近在 -1 与 1 之间不停地振荡, 而且在 x=0 的任意小的 $\epsilon$ 邻域内, 函数值既能取 1, 也能取 -1 (图 1.19), 不满足 Cauchy 收敛原理, 因此, 当 $x\to 0$ 时它的极限不存在.

图1.19

1.3 函数的极限 课后真题与自测练习

习题与真题

收录本小节对应期中、期末与精选习题· 提供推导解析、试卷溯源与 LaTeX 导出

进入自测