函数极限＜2＞——Heine定理

Heine定理

函数极限与数列极限的联系

定理1.1 Heine定理

${\lim }_{x\to x_0}f\left(x\right)=A$的充要条件是对任意满足$\exists x_0\in \mathbb{R}$:$x_n\ne x_0$,${\lim }_{n\to \infty }{x}_n=x_0$条件的数列 { x n } \left \{ x_{n} \right \} {xn​},总有${\lim }_{n\to \infty }f\left(x_n\right)=A$,其中实数$A$存在且有限。

<1>必要性
根据数列极限定义,$\forall \delta >0$,$\exists N$:$\forall n>N$,$\left|x_n-x_0\right|<\delta$,
又根据函数极限定义,$\forall \epsilon >0$,$\exists \delta >0$:$\forall x\left(0<\left|x-x_0\right|<\delta \right)$,$\left|f\left(x\right)-A\right|<\epsilon$,令$x=x_n$,可得${\lim }_{n\to \infty }f\left(x_n\right)=A$。
<2>充分性
构造逆否命题:
$$\begin{array}{lcc}& & \left(p\to q\right)\iff \left(\neg q\to \neg p\right)\\ p& :& {\lim }_{n\to \infty }f\left(x_n\right)=A\iff \forall \epsilon >0,\exists N:\forall n>N,\left|f\left(x_n\right)-A\right|<\epsilon \\ \neg p& :& {\lim }_{n\to \infty }f\left(x_n\right)\ne A\iff \exists \epsilon >0,\forall N:\exists n>N,\left|f\left(x_n\right)-A\right|\ge \epsilon \\ q& :& {\lim }_{x\to x_0}f\left(x\right)=A\iff \forall \epsilon >0,\exists \delta >0:\forall x\left(0<\left|x-x_0\right|<\delta \right),\left|f\left(x\right)-A\right|<\epsilon \\ \neg q& :& {\lim }_{x\to x_0}f\left(x\right)\ne A\iff \exists \epsilon >0:\forall \delta >0,\exists x\left(0<\left|x-x_0\right|<\delta \right),\left|f\left(x\right)-A\right|\ge \epsilon \end{array}$$
而对逆否命题$\neg q\to \neg p$可以通过构造无穷小量数列${\delta }_n=\frac{1}{n}$证明。

这一章节大量运用数理逻辑中谓词演算的性质,关于谓词演算可参考前文: 谓词逻辑<1>——谓词逻辑的基本概念。