海涅定理

海涅定理的定义理解起来较为复杂.虽然其形式本身就有些晦涩,但用于证伪却十分简单.

下面给出定义.

${\lim }_{x\to x_0}f(x)=A$的充分必要条件是:
对任何趋于$x_0$的数列 { x n } \{x_n\} {xn​},其相应的函数值数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}满足${\lim }_{n\to \infty }f(x_n)=A$

换句话说就是对于所有数列 { x n } \{x_n\} {xn​},只要$x_n\to x_0$,就有$f(x_n)\to A$

具体证明略.

理解起来确实有些困难，但它的意思是：
只要所有趋于$x_0$的数列 { x n } \{x_n\} {xn​}对应的新数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}，满足${\lim }_{n\to \infty }f(x_n)=A$,那么函数$f(x)$的极限就是A。
反过来也能从函数极限是A推断所有趋于$x_0$的数列 { x n } \{x_n\} {xn​}对应的新数列 { f ( x n ) } \{f(x_n)\} {f(xn​)}，满足${\lim }_{n\to \infty }f(x_n)=A$

例:
证明${\lim }_{x\to x_0}f(x)$不存在.

解:取$x_n^{\prime }=\frac{1}{2n\pi }$,则$x_n^{\prime }\to 0$且$x_n^{\prime }\ne 0(n\to \infty )$
则${\lim }_{n\to \infty }\frac{1}{\sin x_n^{\prime }}={\lim }_{n\to \infty }\sin 2n\pi =0$
再取$x_n^{\prime \prime }=\frac{1}{2n\pi +\frac{\pi }{2}}$,则$x_n^{\prime \prime }\to 0$且$x_n^{\prime \prime }\ne 0(n\to \infty )$
${\lim }_{x\to \infty }\sin \frac{1}{x_n^{\prime \prime }}={\lim }_{n\to \infty }\sin (2n\pi +\frac{\pi }{2})=1$
显然两个极限不相等,所以极限不存在.

从这里可以看出,海涅定理的任意性使得其难以证明命题为真,但是很容易证明命题为假(只要举出两个反例,你就能证明出来!),因此多用于反证法与归谬法中.

另外，海涅定理使得数列极限可以转化为函数极限再来求解，这就使得极限的求解过程中可以使用许多如洛必达法则等函数专有的方法去解题。