函数的极限

一、函数极限概念

1.1 x趋于$\infty$时函数的极限

定义1： 设$f$为定义在$[a,+\infty )$上的函数，$A$为定数。若对任给定的$ϵ>0$，存在正数$M(\ge a)$，使得当$x>M$时有：

$|f(x)-A|<ϵ$

则称函数$f$当$x$趋于$+\infty$时以$A$为极限，记作：

$\underset{x\to \infty }{\lim }f(x)=A$ 或 $f(x)\to A(x\to +\infty )$

这里$M$用于表示$x$充分大的程度。当$x\to +\infty$时函数$f$以$A$为极限意味着：$A$的任意小邻域内必含有$f$在$+\infty$的某邻域内的全部函数值。

1.2 $x$趋于$x_0$时函数的极限

设$f$为定义在点$x_0$的某个空心邻域$U^{\circ }(x_0)$内的函数。现讨论当$x$趋于$x_0(x\ne x_0)$时，对应的函数值能否趋于某个定数$A$。这类函数极限的精确定义如下：

定义2（函数极限的$ϵ-\delta$定义）： 设函数$f$在点$x_0$的某个空心邻域$U^{\circ }(x_0;{\delta }^{\prime })$内有定义，$A$为定数。若对任意的$ϵ>0$，存在正数$\delta (<{\delta }^{\prime })$，使得当$0<|x-x_0|<\delta$时有：

$|f(x)-A|<ϵ$

则称函数$f$当$x$趋于$x_0$时以$A$为极限，记作

$\underset{x\to x_0}{\lim }f(x)=A$ 或 $f(x)\to A(x\to x_0)$

注：

• 定义中只要求函数$f$在$x_0$的某一空心邻域内有定义，而一般不考虑$f$在点$x_0$处的函数值是否有定义，或者取什么值。这是因为，对于函数极限我们所研究的是当$x$趋于$x_0$过程中函数值的变化趋势。
• 定义2中的不等式$0<|x-x_0|<\delta$等价于$x\in U^{\circ }(x_0;\delta )$，而不等式$|f(x)-A|<ϵ$等价于$f(x)\in U(A;ϵ)$。于是，$ϵ-\delta$定义又可写成：
  任给$ϵ>0$，存在$\delta >0$，使得对一切$x\in U^{\circ }(x_0;\delta )$有$f(x)\in U(A;ϵ)$。或更简单地表达为：
  任给$ϵ>0$，存在$\delta >0$，使得$f(U^{\circ }(x_0;\delta ))\subset U(A;ϵ)$

定义3： 设函数$f$在$U_{+}^{\circ }(x_0;{\delta }^{\prime })$或$U_{-}^{\circ }(x_0;{\delta }^{\prime })$内有定义，$A$为定数。若对任给的$ϵ>0$，存在正数$\delta (<{\delta }^{\prime })$，使当$x_0<x<x_0+\delta$（或$x_0-\delta <x<x_0$）时有：

$|f(x)-A|<ϵ$

则称数$A$为函数$f$当$x$趋于$x_0^{+}$（或$x_0^{-}$）时的右（左）极限，记作：

$\underset{x\to x_0^{+}}{\lim }f(x)=A(\underset{x\to x_0^{-}}{\lim }f(x)=A)$

或：

$f(x)\to A(x\to x_0^{+})(f(x)\to A(x\to x_0^{-})$

右极限与左极限统称为单侧极限。$f$在点$x_0$的右极限与左极限又分别记为：

$f(x_0+0)=\underset{x\to x_0^{+}}{\lim }f(x)$ 与 $f(x_0-0)=\underset{x\to x_0^{-}}{\lim }f(x)$

定理3.1：

$\underset{x\to x_0}{\lim }f(x)=A⟺\underset{x\to x_0^{+}}{\lim }f(x)=\underset{x\to x_0^{-}}{\lim }f(x)=A$

二、函数极限的性质

定理3.2（唯一性）：

若极限$\underset{x\to x_0}{\lim }f(x)$存在，则此极限是唯一的。

定理3.3（局部有界性）：

若$\underset{x\to x_0}{\lim }f(x)$存在，则$f$在$x_0$的某空心邻域$U^{\circ }(x_0)$内有界。

定理3.4（局部保号性）：

若$\underset{x\to x_0}{\lim }f(x)=A>0$（或$<0$），则对任何正数$r<A$（或$r<-A$），存在$U^{\circ }(x_0)$，使得对一切$x\in U^{\circ }(x_0)$有

$f(x)>r>0$ （或 $f(x)<-r<0$）

待补充 61