1.1.4 Formal Definition of Limits (极限的形式化定义)¶

理解极限的精确数学定义（ε-δ定义），掌握lim(x→a) f(x) = L的严格表述

定义¶

极限的形式化定义（ε-δ定义）是微积分的基础。设函数 \(f(x)\) 在点 \(a\) 的某个去心邻域内有定义，\(L\) 是一个实数。我们说当 \(x\) 趋向于 \(a\) 时，\(f(x)\) 的极限是 \(L\)，记作 \(\lim_{x \to a} f(x) = L\)，当且仅当：对于任意给定的正数 \(\varepsilon\)（无论多小），都存在正数 \(\delta\)，使得当 \(0 < |x - a| < \delta\) 时，都有 \(|f(x) - L| < \varepsilon\) 成立。

用符号表示为：\(\lim_{x \to a} f(x) = L \Leftrightarrow \forall \varepsilon > 0, \exists \delta > 0, \text{ s.t. } 0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon\)

这个定义的核心思想是：无论我们要求函数值与极限值的误差有多小（\(\varepsilon\)），我们总能找到一个足够小的 \(x\) 与 \(a\) 的距离范围（\(\delta\)），使得在这个范围内的所有 \(x\) 值都能满足误差要求。注意 \(0 < |x - a|\) 表示 \(x \neq a\)，说明极限值与函数在该点的值无关。

核心公式¶

\(\lim_{x \to a} f(x) = L \Leftrightarrow \forall \varepsilon > 0, \exists \delta > 0, \text{ s.t. } 0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon\)
\(|f(x) - L| < \varepsilon \text{ 等价于 } L - \varepsilon < f(x) < L + \varepsilon\)
\(0 < |x - a| < \delta \text{ 等价于 } a - \delta < x < a + \delta \text{ 且 } x \neq a\)
\(\lim_{x \to a^+} f(x) = L \Leftrightarrow \forall \varepsilon > 0, \exists \delta > 0, \text{ s.t. } a < x < a + \delta \Rightarrow |f(x) - L| < \varepsilon\)
\(\lim_{x \to a^-} f(x) = L \Leftrightarrow \forall \varepsilon > 0, \exists \delta > 0, \text{ s.t. } a - \delta < x < a \Rightarrow |f(x) - L| < \varepsilon\)

易错点¶

⚠️ 混淆 \(|x - a| < \delta\) 和 \(0 < |x - a| < \delta\) 的含义。前者包括 \(x = a\)，而后者明确排除了 \(x = a\)，这是因为极限定义与函数在该点的值无关，即使 \(f(a)\) 不存在或不等于 \(L\) 也不影响极限的存在。
⚠️ 误认为 \(\delta\) 是唯一的或有最小值。实际上，如果某个 \(\delta\) 满足条件，那么任何更小的正数也都满足条件。我们只需要证明存在至少一个这样的 \(\delta\) 即可。
⚠️ 在证明极限时，错误地选择 \(\delta\) 与 \(\varepsilon\) 的关系。常见错误是让 \(\delta\) 与 \(\varepsilon\) 无关，或者选择的 \(\delta\) 过大导致无法满足 \(|f(x) - L| < \varepsilon\) 的要求。正确做法是根据具体函数推导 \(\delta\) 与 \(\varepsilon\) 的关系。
⚠️ 忽视单侧极限与双侧极限的区别。双侧极限 \(\lim_{x \to a} f(x) = L\) 存在当且仅当左极限和右极限都存在且相等，即 \(\lim_{x \to a^-} f(x) = \lim_{x \to a^+} f(x) = L\)。