函数极限与数列极限桥梁：Heine定理

函数极限与数列极限桥梁：Heine定理

先考虑数列极限与函数极限的$\epsilon -N$定义：

• 数列极限：对于数列 { a n } \{a_n\} {an​}与实数$a$，如果$\forall \epsilon >0,\exists N(\epsilon ),\forall n(n>N),|a_n-a|<\epsilon$，则称$\underset{n\to \infty }{\lim }{a}_n=a$。
• 函数极限：对于函数$f(x)$与实数$A$，如果在$x_0$的某个去心邻域$U^{\circ }(x_0,\Delta )$内有定义，且 ∀ ε , ∃ δ ( ε ) , ∀ x ∈ ( x 0 − ε , x 0 + ε ) ∖ { x 0 } , ∣ f ( x ) − A ∣ < ε \forall \varepsilon,\exist\delta(\varepsilon),\forall x\in (x_0-\varepsilon,x_0+\varepsilon)\setminus\{x_0\},|f(x)-A|<\varepsilon ∀ε,∃δ(ε),∀x∈(x0​−ε,x0​+ε)∖{x0​},∣f(x)−A∣<ε，则称$\underset{x\to x_0}{\lim }f(x)=A$。特别当$x_0=+\infty$时，其去心邻域代表$x>M$；当$x_0=-\infty$时，其去心邻域代表$x<L$。

对比可以发现，数列极限与函数极限的主要区别除了连续与间断，还有，数列极限一定是一个趋向无限的极限，而函数极限则可以趋向于某一点，也可以趋向无限（这里不讨论双侧无限，可以看作是两个单词无限极限相同时的特殊情形）。

---

Heine定理提供了联系起函数极限与数列极限的桥梁。

Heine定理：$\underset{x\to x_0}{\lim }f(x)=A$的充分必要条件是，对于任何满足条件$\underset{n\to \infty }{\lim }{x}_n=x_0$且$x_n\ne x_0$的数列 { x n } \{x_n\} {xn​}，相应的函数值数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}成立$\underset{n\to \infty }{\lim }f(x_n)=A$。

证明：

先证明必要性即$\underset{x\to x_0}{\lim }f(x)=A\Rightarrow \underset{n\to \infty }{\lim }f(x_n)=A$。

由$\underset{x\to x_0}{\lim }f(x)=A$可知，对于给定的$\epsilon$，存在一个$\delta (\epsilon )$使得对于$0<|x-x_0|<\delta (\epsilon )$的$x$，都有$|f(x)-A|<\epsilon$。

对于任何满足$x_n\to x_0$的数列，给定这个$\delta (\epsilon )$，必定存在一个$N(\epsilon )$使得$\forall n>N(\epsilon )$，有$|x_n-x_0|<\delta (\epsilon )$。

又因为$x_n\ne n_0$，所以$0<|x_n-x_0|<\delta (\epsilon )$，这就说明$\forall n>N(\epsilon ),|f(x_n)-A|<\epsilon$。这就证明了必要性。

再证明充分性即$\underset{n\to \infty }{\lim }f(x_n)=A\Rightarrow \underset{x\to x_0}{\lim }f(x)=A$，用反证法，如果这个命题错误，即对于所有趋向于$x_0$但不等于$x_0$的数列 { x n } \{x_n\} {xn​}有$f(x_n)$极限为$A$，但至少存在一个函数$f(x)$使得$\underset{x\to x_0}{\lim }f(x)\ne A$。

那我们不妨就取这样一个极限不为$A$的函数$f(x)$，$\underset{x\to x_0}{\lim }f(x)\ne A$。由函数极限定义，如果$f(x)$在$x_0$处极限不为$A$，那么$\exists {\epsilon }_0,\forall \delta >0,\exists x_0^{\prime }\in U^{\circ }(x_0,\delta ),|f(x_0^{\prime })-A|>{\epsilon }_0$。

根据此性质，我们可以取定一个${\epsilon }_0$，由于对任意$\delta$都有此性质成立，可以取一列 { δ n } \{\delta_n\} {δn​}使得${\delta }_n\to 0$，比如${\delta }_n=\frac{1}{n}$。对每一个${\delta }_n$，都自然地存在一个$x_0^{\prime }=x_n$满足
$$0<|x_n-x_0|<\frac{1}{n},|f(x_n)-A|>{\epsilon }_0.$$
如此可以构造出一列数列 { x n } \{x_n\} {xn​}，由于$0<|x_n-x_0|<\frac{1}{n}\to 0$，所以$x_n\to x_0$但$x_n\ne x_0,\forall n$。同时，因为$|f(x_n)-A|>{\epsilon }_0$，所以$f(x_n)$不以$A$为极限。

以上论证过程，说明任意一个极限不为$A$的函数，都一定存在一个趋向于$x_0$但不等于$x_0$的数列 { x n } \{x_n\} {xn​}，满足$f(x_n)\nrightarrow A$。那么，如果所有趋向于$x_0$但不等于$x_0$的数列 { x n } \{x_n\} {xn​}都有$f(x_n)\to A$，那么一定就有$f(x)\to A$。充分性得证。

---

关于Heine定理，需要注意的一点是，趋向于$x_0$的数列 { x n } \{x_n\} {xn​}必须满足$x_n\ne x_0$这个条件，否则定理内容是不成立的。比如符号函数$\mathrm{s}\mathrm{g}\mathrm{n}(x)$的绝对值$g(x)=|\mathrm{s}\mathrm{g}\mathrm{n}(x)|$，满足$\underset{x\to 0}{\lim }g(x)=1$，但是其收敛于$0$的数列 { x n } , x n = 0 \{x_n\},x_n=0 {xn​},xn​=0有$\underset{n\to \infty }{\lim }f(x_n)=0$，其原因就是因为不满足$x_n\ne x_0=0$的条件。

Heine定理常用于证明函数极限不存在，最典型的例子就是$f(x)=\sin \frac{1}{x}$，构造两个子列：
$$x_n^{(1)}=\frac{1}{n\pi },x_n^{(2)}=\frac{1}{2n\pi +\pi /2},$$
由$f(x_n^{(1)})\to 0,f(x_n^{(2)})\to 1$就说明$f(x)$在$x=0$处不存在极限。

如果我们不关心函数收敛到的值，只从函数自身的情况出发判断函数极限存在性，那么Heine定理可以改成以下形式：$\underset{x\to x_0}{\lim }f(x)$存在的充要条件是，对于任意满足条件$\underset{x\to \infty }{\lim }{x}_n=x_0$且$x_n\ne x_0$的数列 { x n } \{x_n\} {xn​}，相应的函数值数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}收敛。

这个定理的充分性，只要注意到当$f(x)$不收敛时，一定存在两个不同极限的数列 { x n ( 1 ) } \{x_n^{(1)}\} {xn(1)​}和 { x n ( 2 ) } \{x_n^{(2)}\} {xn(2)​}，将它们交错构成一个新数列，这个新数列的函数值列不收敛。

由此可以推出函数极限的Cauchy收敛准则：函数极限$\underset{x\to +\infty }{\lim }f(x)$存在且有限的充要条件是，对于任何给定的$\epsilon >0$，存在$X>0$，使得对于一切$x^{\prime }>X,x^{\prime \prime }>X$，有$|f(x^{\prime })-f(x^{\prime \prime })|<\epsilon$。

由于Heine定理联系了离散态的数列极限和连续态的函数极限，因此求在无限远处的函数极限，常常可以用“夹逼”的方法，用前后两个自然数的极限夹逼得到连续函数在无限处的极限。