海涅定理对于各种极限都成立,这里只给出的版本:
从而时有,即。
(2)充分性。已知函数定义域内的任意,满足,,。用反证法,假设此时有。
因为,所以根据,,给定,使得;使得;使得,以此类推得到。
由组成的满足,,且始终有,所以当时,的极限不为,即,与条件矛盾,因此。
该定理看上去很复杂,结合几何来理解下。
海涅定理的必要性说的是,如果已知,那么:
或者像下面这样的,也有:
而海涅定理的充分性说的是,如果像上面这样抽取点组成的所有的极限都是,那么。