微积分-函数与极限5（极限的精确定义）

引言

极限是什么？在生活中，我们常用其来形容人或者动物某种能力的上限，如动漫JOJO中迪奥说过“人类是有极限的”。在数学中，根据前面的极限直观定义，得知极限是“当$x$趋于$a$时，函数$f(x)$趋于$L$”。这个概念乍一看没有什么问题，但实际上过于口语化了，而数学是一门精确的语言。所以我们就要问了，到底$f(x)$多么靠近$L$，它们的差距是一呢，还是二呢，抑或是十万八千里？因此，我们迫切的需要极限的精确定义说明这个问题。

极限精确定义

1 假设$f$是定义在某个包含$a$的开区间上的函数（但可能在$a$处没有定义）。如果对于任意$\epsilon >0$，都存在$\delta >0$，使得当$0<|x-a|<\delta$时，有$|f(x)-L|<\epsilon$。那么我们说当$x$趋于$a$时，$f(x)$的极限是$L$，写作
$$\underset{x\to a}{\lim }f(x)=L$$
\qquad 用通俗话语来描述就是，$f(x)$离$L$的距离想要有多近就可以有多近，只要$x$足够靠近$a$。
\qquad 并且因为$0<|x-a|<\delta$等同于$-\delta <x-a<\delta$，可以重写为$a-\delta <x<\delta +a$。类似的，$|f(x)-L|<\epsilon$可以重写为$L-\epsilon <f(x)<\epsilon +L$。因此，从区间这个角度上来说，定义1可以这样表述：

\qquad ${\lim }_{x\to a}f(x)=L$意味着对于任意$\epsilon >0$，存在$\delta >0$使得当$x$位于开区间$(a-\delta ,a+\delta )$时，那么$f(x)$位于开区间$(L-\epsilon ,L+\epsilon )$。

如图所示

例一：已知${\lim }_{x\to 1}(x^3-5x+6)=2$，根据图像求$\epsilon =0.2$时，$\delta$的值。

例二：证明${\lim }_{x\to 3}(4x-5)=7$
解：
第一步，猜测$\delta$的值。令$\epsilon >0$，我们想找一个$\delta >0$，使得当$0<|x-3|<\delta$时，有$|(4x-5)-7|<\epsilon$。
\qquad 因为$|(4x-5)-7|=|4x-12|=4|x-3|$。因此我们想找的$\delta$满足：当$0<|x-3|<\delta$时，有$4|x-3|<\epsilon$，也就是$|x-3|<\frac{\epsilon }{4}$。
\qquad 所以，我们取$\delta =\frac{\epsilon }{4}$。
第二步，证明。给定任意$\epsilon >0$，取$\delta =\frac{\epsilon }{4}$。当$0<|x-3|<\delta$时，就有
$$|(4x-5)-7|=|4x-12|=4|x-3|<4\delta =\epsilon$$
因此，根据极限的定义有
$$\underset{x\to 3}{\lim }(4x-5)=7$$
下面是对应的图像

左极限定义

任给$\epsilon >0$，存在$\delta >0$，使得当$a-\delta <x<a$时，有$|f(x)-L|<\epsilon$。那么，我们说$f(x)$的左极限是$L$，写作
$$\underset{x\to a^{-}}{\lim }f(x)=L$$

右极限定义

任给$\epsilon >0$，存在$\delta >0$，使得当$a<x<a-\delta$时，有$|f(x)-L|<\epsilon$。那么，我们说$f(x)$的右极限是$L$，写作
$$\underset{x\to a^{+}}{\lim }f(x)=L$$

举例：证明${\lim }_{x\to 3}{x}^2=9$。
解：
第一步，猜测$\delta$的值。$\forall \epsilon >0,\exists \delta >0$使得当$0<|x-3|<\delta$时，有$|x^2-9|<\epsilon$。
\qquad 因为$|x^2-9|=|x+3||x-3|$，所以当$0<|x-3|<\delta$时，有$|x+3||x-3|<\epsilon$。
\qquad 我们可以找到一个正数$C>|x+3|$，并且通过$|x-3|<\frac{\epsilon }{C}$，使得$C|x-3|<\epsilon$。
\qquad 因此选择$\delta =\frac{\epsilon }{C}$。
\qquad 如果我们将$x$限制在以$3$为中心的某个区间内，我们就可以找到对应的$C$。假设$x$与$3$的距离为$1$，就有$|x-3|<1\Rightarrow 2<x<4\Rightarrow 5<x+3<7\Rightarrow |x+3|<7$，因此可以取$C=7$。
\qquad 现在在$|x-3|$有两个限制，分别为
$$|x-3|<1$$
$$|x-3|<\frac{\epsilon }{C}=\frac{\epsilon }{7}$$
为了使两个限制都得到满足，我们取$\delta$为两个数之间的更小值。用符号 δ = min ⁡ { 1 , ε 7 } \delta=\min\{1, \frac{\varepsilon}{7}\} δ=min{1,7ε​}。
第二步，证明。 ∀ ε > 0 , ∃ δ = min ⁡ { 1 , ε 7 } \forall\varepsilon > 0, \exists\delta = \min\{1, \frac{\varepsilon}{7}\} ∀ε>0,∃δ=min{1,7ε​}。如果$0<|x-3|<\delta$，那么$|x-3|<1\Rightarrow 2<x<4\Rightarrow 5<x+3<7\Rightarrow |x+3|<7$。
\qquad 并且有$|x-3|<\frac{\epsilon }{7}$。因此
$$|x^2-9=|x+3||x-3|<7\cdot \frac{\epsilon }{7}=\epsilon$$
这表明${\lim }_{x\to 3}{x}^2=9$。

从上面的例子可以看出，对于一些复杂函数的极限的证明需要极大的创造力。不过幸运的是，我们可以根据上一节已经被证明的极限定理求出函数的极限，不需要去证明它。

无穷极限定义

1. 正无穷极限定义：对于任意的正数$M$都存在正数$\delta$，使得当$0<|x-a|<\delta$时，有$f(x)>M$。记作
   $$\underset{x\to a}{\lim }f(x)=\infty$$
   如图所示
   
   举例：证明${\lim }_{x\to 0}\frac{1}{x^2}=\infty$
   解：
   第一步，找出$\delta$。$\forall M>0,\exists \delta >0$，使得当$0<|x-0|<\delta$时，有$\frac{1}{x^2}>M$。化简$x^2<\frac{1}{M}\Rightarrow |x|<\frac{1}{\sqrt{M}}$。所以取$\delta =\frac{1}{\sqrt{M}}$。

第二步，证明。$\forall M>0,\exists \delta >0$，使得当$0<|x-0|<\delta$时，有
$$|x|<\delta \Rightarrow x^2<{\delta }^2=\frac{1}{M}\Rightarrow \frac{1}{x^2}<M$$
根据正无穷极限定义，可得
$$\underset{x\to 0}{\lim }\frac{1}{x^2}=\infty$$

2. 负无穷极限定义：对于任意的负数$N$都存在正数$\delta$，使得当$0<|x-a|<\delta$时，有$f(x)<N$。记作
   $$\underset{x\to a}{\lim }f(x)=-\infty$$
   如图所示
   

练习题

1. 根据函数图像，找出$\epsilon =0.1,\epsilon =0.2$所对应的$\delta$。
   $$\underset{x\to 2}{\lim }(x^3-3x+4)=6$$
2. 根据函数图像，找出同时满足下面条件的$\delta$。
   $$4<x<4+\delta$$
   $$\frac{x^2+4}{\sqrt{x-4}}>100$$
3. 工程师需要制造一个面积为$1000c{m}^2$的圆形金属盘。
   (a) 试问这个金属盘的半径应该是多少？
   (b) 如果要使金属盘的面积误差在$\pm 5c{m}^2$以内，请问半径需要满足什么条件才能达到？
   (c) 根据极限定义，请问以上哪个代表$x$？哪个代表$a$？哪个代表$f(x)$？哪个代表$L$？哪个代表$\epsilon$？哪个代表$\delta$？
4. 假设${\lim }_{x\to a}f(x)=\infty$以及${\lim }_{x\to a}g(x)=c$，其中$c$是一个实数，请证明。
   (a) ${\lim }_{x\to a}[f(x)+g(x)]=\infty$
   (b) ${\lim }_{x\to a}[f(x)g(x)]=\infty$ 如果 $c>0$
   (c) ${\lim }_{x\to a}[f(x)g(x)]=-\infty$ 如果 $c<0$