数学分析(三)-函数极限3-函数极限存在的条件1-归结原则1：海涅(Heine)定理【limf(x)存在充要条件：对任何含于U°(x₀；δ)且以x₀为极限的数列{xₙ}，limf(xₙ)都存在且相等】

与讨论数列极限存在的条件一样, 我们将从函数值的变化趋势来判断其极限的存在性.

下面的定理只对 $x\to x_0$ 这种类型的函数极限进行论述, 但其结论对其他类型的函数极限也是成立的.

下述归结原则有时称为海涅 (Heine)定理.

定理 3.8 (归结原则)

设 $f$ 在 $U^{\circ }\left(x_0;{\delta }^{\prime }\right)$ 上有定义. $\underset{x\to x_0}{\lim }f(x)$ 存在的充要条件是: 对任何含于$U^{\circ }\left(x_0;{\delta }^{\prime }\right)$ 且以 $x_0$为极限的数列 { x n } \left\{x_{n}\right\} { xn​}, 极限$\underset{n\to \infty }{\lim }f\left(x_n\right)$ 都存在且相等.

证
必要性
设 $\underset{x\to x_0}{\lim }f(x)=A$, 则对任给的$\epsilon >0$, 存在正数$\delta \left(⩽{\delta }^{\prime }\right)$, 使得当 $0<\left|x-x_0\right|<\delta$ 时, 有 $|f(x)-A|<\epsilon$.

另一方面, 设数列 { x n } ⊂ U ∘ ( x 0 ; δ ′ ) \left\{x_{n}\right\} \subset U^{\circ}\left(x_{0} ; \delta^{\prime}\right) { xn​}⊂U∘(x0​;δ′)且 lim ⁡ n → ∞ x n = x 0 \lim \limits_{n \rightarrow \infty} x_{n}=x_{0} n→∞lim​x