当我们在说"趋近于"的时候，究竟在说什么？
1. 直观引入
话说在数学史上，极限这个概念的出现几乎和微积分本身一样早。牛顿和莱布尼茨捣鼓出微积分的时候，就已经在用"无限趋近"的直觉了——但那时候它还不够严格，哲学家贝克莱甚至嘲讽说无穷小是"已死量的幽灵"。
要理解极限，我们先从一个简单的问题开始：
数列 $1, \frac12, \frac13, \frac14, \dots, \frac1n, \dots$ 会"趋近于"多少？
直觉上，随着 $n$ 越来越大，$\frac1n$ 越来越接近于 $0$。不管你想要它多接近——比如 $0.001$、$0.000001$——总存在一个足够大的 $n$ 让它比你还想要的那个数更接近 $0$。
这就是极限最朴素的思想：它可以无限接近，但不一定等于。
2. 严格定义
把上述直觉翻译成数学语言，就是微积分里最经典的 ε-δ 定义。
$$ |f(x) - A| < \varepsilon, $$📖 定义 2.1（函数极限的 ε-δ 定义）
设函数 $f(x)$ 在点 $x_0$ 的某去心邻域内有定义。若存在常数 $A$，对于任意给定的 $\varepsilon > 0$，总存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时，有
则称 $A$ 为函数 $f(x)$ 当 $x \to x_0$ 时的极限，记作 $\displaystyle\lim_{x \to x_0} f(x) = A$。
这个定义看起来有点绕，我们把它拆成三步来理解：
- 你挑战我：你随便给一个精度要求 $\varepsilon > 0$（多小都行）
- 我回应你：我总能找到一个范围 $\delta > 0$，只要 $x$ 落在 $x_0$ 的这个 $\delta$ 邻域内（且 $x \neq x_0$），$f(x)$ 跟 $A$ 的差距就比你要求的 $\varepsilon$ 还要小
- 结论：无论你提多苛刻的要求，我都能满足——这就叫极限存在
💡 注： 定义中的 $“0 < |x - x_0|"$ 表示 $x$ 可以无限接近 $x_0$ 但取不到 $x_0$ 本身。也就是说，极限与函数在 $x_0$ 处的取值完全无关——$f(x_0)$ 可以不存在，也可以等于其他值，都不影响极限。
数列极限的类似定义
与函数极限平行，我们也有数列极限的定义：
$$ |a_n - A| < \varepsilon, $$📖 定义 2.2（数列极限的 ε-N 定义）
设数列 ${a_n}$。若存在常数 $A$，对于任意 $\varepsilon > 0$，总存在正整数 $N$，使得当 $n > N$ 时，有
则称 $A$ 为数列 ${a_n}$ 的极限，记作 $\displaystyle\lim_{n \to \infty} a_n = A$。
这里 $\delta$ 换成了 $N$，“邻域"换成了"足够大的下标”，但核心思想完全一样。
3. 基本性质与定理
有了严格定义，我们就可以证明极限的各种性质了。
3.1 极限的唯一性
🎯 定理 3.1（极限的唯一性） ❝
若 $\displaystyle\lim_{x \to x_0} f(x)$ 存在，则该极限值唯一。
证. 假设 $\displaystyle\lim_{x \to x_0} f(x) = A$ 且 $\displaystyle\lim_{x \to x_0} f(x) = B$，其中 $A \neq B$。
取 $\varepsilon = \dfrac{|A - B|}{2} > 0$，由定义，存在 $\delta_1, \delta_2 > 0$，使得
$$ 0 < |x - x_0| < \delta_1 \implies |f(x) - A| < \varepsilon, \qquad 0 < |x - x_0| < \delta_2 \implies |f(x) - B| < \varepsilon. $$取 $\delta = \min{\delta_1, \delta_2}$，当 $0 < |x - x_0| < \delta$ 时，
$$ |A - B| \le |f(x) - A| + |f(x) - B| < 2\varepsilon = |A - B|, $$矛盾，故 $A = B$。 $\square$
这个证明的思路很漂亮：如果极限有两个不同的值，它们之间至少有 $\dfrac{|A-B|}{2}$ 的距离——但 $f(x)$ 又必须同时跟它们俩靠得比这个距离更近，这是不可能的。
3.2 极限的保号性
🎯 定理 3.2（保号性） ❝
若 $\displaystyle\lim_{x \to x_0} f(x) = A > 0$，则存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时，$f(x) > \dfrac{A}{2} > 0$。
证. 取 $\varepsilon = \dfrac{A}{2} > 0$，由定义存在 $\delta > 0$ 使得当 $0 < |x - x_0| < \delta$ 时，
$$ |f(x) - A| < \dfrac{A}{2} \;\Longrightarrow\; f(x) > A - \dfrac{A}{2} = \dfrac{A}{2} > 0. $$$\square$
简单来说：如果极限是正的，那么在足够近的范围内，函数值也是正的。 这个性质在证明零点存在定理时会用到。
💡 注： 保号性的逆命题不成立。若在 $x_0$ 的去心邻域内 $f(x) > 0$，只能推出 $\displaystyle\lim_{x \to x_0} f(x) \ge 0$，不能保证严格大于零。例如 $f(x) = x^2$，$x_0 = 0$，在去心邻域内 $f(x) > 0$，但极限为 $0$。
3.3 极限的四则运算
🎯 定理 3.3（极限的四则运算法则） ❝
若 $\displaystyle\lim_{x \to x_0} f(x) = A$，$\displaystyle\lim_{x \to x_0} g(x) = B$，则
- $\displaystyle\lim_{x \to x_0} [f(x) \pm g(x)] = A \pm B$
- $\displaystyle\lim_{x \to x_0} [f(x) \cdot g(x)] = A \cdot B$
- 若 $B \neq 0$，则 $\displaystyle\lim_{x \to x_0} \dfrac{f(x)}{g(x)} = \dfrac{A}{B}$
这些法则的证明都可以直接从 ε-δ 定义出发完成。它们极大地方便了极限的计算——不再每次从头用定义去证。
3.4 夹逼准则
$$ \lim_{x \to x_0} g(x) = \lim_{x \to x_0} h(x) = A, $$🎯 定理 3.4（夹逼准则） ❝
若在 $x_0$ 的某去心邻域内，$g(x) \le f(x) \le h(x)$，且
则 $\displaystyle\lim_{x \to x_0} f(x) = A$。
这个定理很直观：中间那个数被两边夹着，如果两边都挤到同一个数，中间的也只能是那个数。 它经常用来处理一些不容易直接求极限的函数。
4. 两个重要极限
在极限的体系中，有两个极限格外重要，它们堪称"基本工具”：
$$ \lim_{x \to 0} \dfrac{\sin x}{x} = 1. $$📖 性质 4.1（第一个重要极限）
$$ \lim_{x \to \infty} \left(1 + \dfrac{1}{x}\right)^{x} = e. $$📖 性质 4.2（第二个重要极限）
第一个极限的证明使用夹逼准则和单位圆上的几何关系；第二个极限则定义了自然常数 $e$。这两个极限是后续计算三角函数极限、指数型极限的基础。
5. 典型例题
例题 5.1：用 ε-δ 定义证明
✏️ 例题 5.1 用 ε-δ 定义证明 $\displaystyle\lim_{x \to 2} (3x - 1) = 5$。
解. 对任意 $\varepsilon > 0$，取 $\delta = \dfrac{\varepsilon}{3}$。当 $0 < |x - 2| < \delta$ 时，
$$ |(3x - 1) - 5| = |3x - 6| = 3|x - 2| < 3\delta = \varepsilon. $$由 ε-δ 定义，$\displaystyle\lim_{x \to 2} (3x - 1) = 5$。 $\square$
这个例子是最简单的线性函数——$\delta$ 直接取 $\varepsilon$ 除以斜率即可。
例题 5.2：利用第一重要极限
✏️ 例题 5.2 求极限 $\displaystyle\lim_{x \to 0} \dfrac{\tan x - \sin x}{x^3}$。
解.
$$ \begin{aligned} \lim_{x \to 0} \dfrac{\tan x - \sin x}{x^3} &= \lim_{x \to 0} \dfrac{\sin x\left(\dfrac{1}{\cos x} - 1\right)}{x^3} \\[6pt] &= \lim_{x \to 0} \dfrac{\sin x}{x} \cdot \dfrac{1 - \cos x}{x^2 \cos x} \\[6pt] &= 1 \cdot \dfrac{1}{2} \cdot 1 = \dfrac{1}{2}. \end{aligned} $$其中用了 $\displaystyle\lim_{x \to 0} \dfrac{1 - \cos x}{x^2} = \dfrac12$（可由第一重要极限和半角公式推出）。 $\square$
例题 5.3：夹逼准则的应用
✏️ 例题 5.3 求极限 $\displaystyle\lim_{x \to 0} x^2 \sin\dfrac{1}{x}$。
解. 由于 $\left|\sin\frac{1}{x}\right| \le 1$，有
$$ -|x^2| \le x^2 \sin\frac{1}{x} \le |x^2|. $$即 $-x^2 \le x^2 \sin\frac{1}{x} \le x^2$。而 $\displaystyle\lim_{x \to 0} (-x^2) = \lim_{x \to 0} x^2 = 0$。
由夹逼准则，$\displaystyle\lim_{x \to 0} x^2 \sin\dfrac{1}{x} = 0$。 $\square$
注意这里 $x = 0$ 处函数没有定义（$\sin\frac{1}{x}$ 在 $x=0$ 处剧烈振荡），但这完全不影响极限的存在——再次印证了 极限只关心"逼近时"的行为，不关心"那一点"的值。
6. 总结
回到开头的问题：“趋近于"到底在说什么？
用 ε-δ 语言说就是：随便你给多小的误差范围 $\varepsilon$，我都能找到一个范围 $\delta$，让函数值与极限的差距比你的误差还小。
| 核心要点 | 一句话总结 |
|---|---|
| 极限的定义 | $\forall\varepsilon>0,;\exists\delta>0,;0< |
| 唯一性 | 极限存在则唯一（用三角不等式证） |
| 保号性 | 极限正 → 邻域内函数正（反之不真） |
| 四则运算 | 极限可以像普通数一样加减乘除（分母不为零时） |
| 夹逼准则 | 两边夹中间，极限相等则中间被迫相等 |
| 两个重要极限 | $\dfrac{\sin x}{x} \to 1$，$(1+\frac1x)^x \to e$ |
练习
💪 练习 6.1 用 ε-δ 定义证明 $\displaystyle\lim_{x \to 1} (x^2 + 2x) = 3$。
💪 练习 6.2 求极限 $\displaystyle\lim_{x \to 0} \dfrac{\sqrt{1 + x} - 1}{x}$。
💪 练习 6.3 利用夹逼准则证明 $\displaystyle\lim_{n \to \infty} \dfrac{\sin n}{n} = 0$。
答案在下一期揭晓——敬请关注！🌊
