极限：直觉、ε-δ 与运算规则
本文基于模型知识整理（生成时未联网核对），严格定义与证明建议对照 Stewart 附录 / Spivak 复核。
一句话定义
极限 $\lim_{x\to a}f(x)=L$ 说的是：x 充分接近 a（但不必等于 a）时，f(x) 可以任意接近 L——ε-δ 语言把它精确化："对任何误差预算 ε>0，都存在邻域半径 δ>0，使 $0<|x-a|<\delta$ 时 $|f(x)-L|<\varepsilon$"。
为什么重要
极限是整座微积分大厦的地基：导数（kp-006）、积分（kp-012）、连续（kp-003）、级数（kp-018）全部是某种极限。ε-δ 语言则是"把直觉变成可证命题"的训练场——所有关于连续性与收敛性的争论最终都在这个定义上裁决。
前置知识
kp-001；绝对值与不等式。
核心概念
- 直觉定义：x→a 时 f(x) 无限趋近 L（与 f(a) 本身无关！x=a 处甚至可以没定义）。
- ε-δ 定义：$\forall\varepsilon>0\ \exists\delta>0$：$0<|x-a|<\delta \Rightarrow |f(x)-L|<\varepsilon$。读法：ε 是"你要多准"（挑战方），δ 是"我得多靠近"（应答方）；ε 任意小都有 δ 接招，才算极限为 L。
- 单侧极限：x→a⁻ / x→a⁺；双侧极限存在 ⟺ 左右极限存在且相等（分段函数判定关键）。
- 极限不存在的方式：振荡（$\sin(1/x)$）、跳跃（阶跃）、趋于无穷。
- 运算规则：和差积商（分母极限非零）、复合、夹逼——由这些规则可算绝大多数极限而不必每次 ε-δ。
- 连续的定义：$\lim_{x\to a}f(x)=f(a)$（极限存在且等于函数值）。
原理与机制
ε-δ 是一场"精度游戏"：对手任选精度要求 ε（比如 0.001），你必须找出响应半径 δ（比如 0.0004），保证范围内函数值落进 ε-带。极限存在 = 无论对手出多苛刻的 ε 你都有 δ 应对——"可任意接近"由此变成可证明的有限陈述。
为什么 $x\to a$ 时可以 $x\neq a$：定义中 $0<|x-a|$ 刻意排除 a 点本身——极限关心的是"趋势"而非"该点的值"。这正是处理 $\frac{\sin x}{x}$（x=0 无定义）这类问题的关键：约去公因子后趋势明朗。
夹逼定理的威力：若 $g\le f\le h$ 且 $g,h$ 极限同为 L，则 f 的极限也是 L——对付振荡类极限（如 $x^2\sin(1/x)$）的唯一趁手武器；两个重要极限（kp-005）的证明都靠它。
图示
极限 L 存在 ⟺ ∀ε>0, ∃δ>0:
0 < |x−a| < δ ⟹ f(x) 落入 (L−ε, L+ε)
运算: lim(f±g)=lim f ± lim g ; lim(fg)=lim f·lim g
lim(f/g)=lim f / lim g (lim g ≠ 0)
夹逼: g ≤ f ≤ h 且 lim g = lim h = L ⇒ lim f = L直观类比
极限像"回家的小区门禁"：ε 是访客要求的"离你家不超过 100 米"（可不断加码到 1 米），δ 是你给出的"他只要进到第几栋楼范围内就必然满足"。门禁总能应对任何加码 = 极限存在。
实例或案例
- $\lim_{x\to2}\frac{x^2-4}{x-2}$：0/0 型——约去公因子得 x+2，极限 4（趋势与 x=2 的无定义无关）。
- 分段函数连续性：左右极限各自存在且等于中点函数值。
- 数字系统：$0.\dot9 = 1$——等比级数和的极限（级数是离散版极限，kp-018）。
常见误区
- 误区一："极限值=函数值"。连续函数才相等；$\frac{\sin x}{x}$ 在 0 处无定义但极限为 1。
- 误区二："ε-δ 里 ε 先选 δ 后选，所以 δ 是 ε 的函数"——正确表述，但常被误读为"δ 必须最优"。任何可行的 δ 都合法，不必最大。
- 误区三："极限不存在=趋于无穷"。趋于 ∞ 只是发散的一种；振荡（sin(1/x)）同样使极限不存在。
与其他知识点的关系
自测题
- 用 ε-δ 语言写出 $\lim_{x\to a}f(x)=L$ 的定义。
答：$\forall\varepsilon>0,\exists\delta>0$：$0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon$。
- $\lim_{x\to0}\frac{x^2\sin(1/x)}{x}$ 存在吗？用什么工具？
答：存在且为 0——夹逼：$|x\sin(1/x)|\le|x|\to0$。
- 分段函数 $f(x)=\begin{cases}x+1 & x<1\\ 3-x & x\ge1\end{cases}$ 在 x=1 处极限存在吗？
答：左极限 2、右极限 2——存在且为 2（且 f(1)=2，连续）。
延伸阅读
- 3Blue1Brown《Essence of Calculus》第 2 集（极限的形式化动画）。
- Stewart《Calculus》第 2 章 + 附录 D（ε-δ 严格版）。
- Spivak《Calculus》第 5 章（极限理论的严谨典范）。