Heine 归结原则（函数极限的数列刻画）

定义陈述（Heine 归结原则，等价定理形式）

设 $f$ 在 $x_0$ 的某去心邻域内有定义。下列两条等价：

1. ε-δ 定义（ANL-DEF-008）：$\underset{x\to x_0}{\lim }f(x)=L$。

2. Heine 数列刻画：对任何满足

   $$x_n\to x_0\text{且}{x}_n\ne x_0(\forall n)$$

   的数列 $\{x_n\}$，都有 $f(x_n)\to L$（按 ANL-DEF-004）。

⚠️ 关键：“任何满足条件的 $\{x_n\}$“——条件之一是 $x_n\to x_0$， 之二是从某项起 $f(x_n)\to L$ 的同一极限。

与相近概念的区别

概念	关键差别
ε-δ 定义 ANL-DEF-008	直接刻画”$x$ 接近 $x_0$ 时 $f(x)$ 的行为”
Heine 归结原则	用”任意接近 $x_0$ 的数列在 $f$ 下的像”刻画极限
序列连续	对所有 $x_n\to x_0$（含 $x_n=x_0$）有 $f(x_n)\to f(x_0)$

Heine 原则是严格的等价定理，而非另立定义——两种描述指向同一对象。 但在实际工具上：

• ε-δ 适合证明极限存在/相等；
• Heine 适合证明极限不存在（找出两个数列得不同极限即可）。

直觉理解

ε-δ 视角：把”$x$ 接近 $x_0$“理解为连续渐变——任意精度都能保证。

Heine 视角：把”$x$ 接近 $x_0$“分解为所有可能的离散逼近路径—— 任何沿不同节奏、不同方向逼近 $x_0$ 的数列，最终都达到同一终点 $L$。

形象地说：

一只蚂蚁可以从任意起点出发、按任意路径慢慢走向 $x_0$（但永不踏上 $x_0$）。 不论它怎么走，只要确实在走向 $x_0$，最终它脚下的高度 $f(x_n)$ 都会收敛于同一个 $L$。

不一致的”终点”⇔ 极限不存在。

证明思路（仅梗概，非完整证明）

($1\Rightarrow 2$)：设 ${\lim }_{x\to x_0}f(x)=L$ 且 $x_n\to x_0$（$x_n\ne x_0$）。 任给 $\epsilon >0$，由 ε-δ 取 $\delta$；由 $x_n\to x_0$ 取 $N$ 使 $\forall n>N:0<|x_n-x_0|<\delta$； 故 $|f(x_n)-L|<\epsilon$。

($2\Rightarrow 1$)（反证）：设 ε-δ 不成立，则 $\exists {\epsilon }_0>0$， 对每 $n\in {\mathbb{N}}^{\ast }$，取 $\delta =1/n$ 都失效——存在 $x_n$ 满足 $0<|x_n-x_0|<1/n$ 但 $|f(x_n)-L|\ge {\epsilon }_0$。 该 $\{x_n\}\to x_0$（$x_n\ne x_0$），但 $f(x_n)\nrightarrow L$，与 (2) 矛盾。$■$

用 Heine 证明极限不存在的标准套路

步骤：

1. 选两个不同的数列 $\{x_n\},\{y_n\}$，都 $\to x_0$（且都 $\ne x_0$）。
2. 计算 $f(x_n)$ 和 $f(y_n)$，证明它们收敛于不同的极限。
3. 由 Heine 原则反向：若极限存在，则两个数列像都收敛到同一 $L$；矛盾。

经典例子：${\lim }_{x\to 0}\sin (1/x)$ 不存在

取 $x_n=\frac{1}{n\pi }\to 0$：$f(x_n)=\sin (n\pi )=0\to 0$。 取 $y_n=\frac{2}{(4n+1)\pi }\to 0$：$f(y_n)=\sin (\frac{(4n+1)\pi }{2})=1\to 1$。 两个极限不等，故 ${\lim }_{x\to 0}\sin (1/x)$ 不存在。

常见错误

• ✗ 漏掉条件 $x_n\ne x_0$。 错失了与 ANL-DEF-008 中 $0<|x-x_0|<\delta$ 的对应——若允许 $x_n=x_0$，等价对象会变成”序列连续”而非”极限”。
• ✗ 用单一收敛数列证明极限存在。 反例：$f(x)=\sin (1/x)$，取 $x_n=1/(n\pi )\to 0$ 得 $f(x_n)\to 0$， 但极限实际不存在——必须所有$x_n\to x_0$ 的像都收敛到同一值。
• ✗ 把 Heine 原则当成定义而非定理。 在严格教材中，函数极限的定义是 ε-δ；Heine 是等价刻画，需证明二者等价。

链接

• 前置：ANL-DEF-004 数列收敛、ANL-DEF-008 函数极限的 ε-δ 定义
• 关联：连续性的 Heine 刻画（含 $x_n=x_0$ 的版本）

跨专业应用

• 数值分析：函数收敛性的实证检验——若不同采样数列得到不同极限，提示函数行为有奇异
• 测度论：可测函数被刻画为”任意收敛点列像列收敛”的对象，是 Heine 原则的高维推广