极限与连续 — 从高中数学到代数几何

整个微积分大厦只有一个地基——极限（limit）。从导数到积分、从级数到微分方程，所有"无穷小"和"无穷大"的操作都被压缩成同一种语言："无论你要求多精确，我都能做到。" 这就是 19 世纪 Cauchy–Weierstrass 给出的 ε-δ 定义。

极限不是"接近"，也不是"无限趋近"——它是一个挑战-应答游戏：你给我精度 ε，我交回控制范围 δ。游戏永远赢，极限就存在。

1. 数列极限：从直觉到 ε–N

考虑数列 $a_n = 1/n$：$1, \tfrac12, \tfrac13, \tfrac14, \ldots$ 它"趋于 0"。但"趋于"是什么意思？严格地说：

数列极限的 ε–N 定义 $\lim_{n\to\infty} a_n = L$ 当且仅当：对任意 $\varepsilon > 0$，存在 $N \in \mathbb{N}$，使得对所有 $n > N$ 有 $|a_n - L| < \varepsilon$。 用形式化逻辑写就是：$\forall\varepsilon>0,\;\exists N,\;\forall n>N:\;|a_n-L|<\varepsilon$。

例 1：证明 $\lim_{n\to\infty} 1/n = 0$ 给定 $\varepsilon > 0$，要让 $|1/n - 0| = 1/n < \varepsilon$，只要 $n > 1/\varepsilon$。取 $N = \lceil 1/\varepsilon \rceil$ 即可。 $\blacksquare$ 注意：$N$ 依赖于 $\varepsilon$。$\varepsilon$ 越小，$N$ 越大——这正是"挑战越苛刻，需要等得越久"。

极限唯一性 若极限存在则唯一。证明思路：若同时收敛到 $L_1\neq L_2$，取 $\varepsilon=|L_1-L_2|/3$，会得到 $|L_1-L_2| < 2\varepsilon = \tfrac23|L_1-L_2|$，矛盾。

把"$n\to\infty$"换成"$x\to a$"，把离散的指标换成连续的输入，就得到函数版本——这是极限定义的核心形态。

函数极限的 ε–δ 定义 设 $f$ 在 $a$ 的某去心邻域内有定义。$\lim_{x\to a} f(x) = L$ 当且仅当： $$\forall\varepsilon>0,\;\exists\delta>0,\;\forall x:\;0<|x-a|<\delta\;\Rightarrow\;|f(x)-L|<\varepsilon.$$ 注意 $0<|x-a|$ 这个细节——我们不要求 $f$ 在 $a$ 处有定义、也不要求 $f(a)=L$。极限只关心 $a$ 附近的行为。

读图诀窍：把橙色条带看成"目标精度"，蓝色条带看成"输入控制"。极限存在 ⟺ 无论橙带多窄，总能找到一条蓝带让函数图像在该蓝带上方的部分完全落在橙带里。

四则运算与复合 设 $\lim_{x\to a} f(x) = A$、$\lim_{x\to a} g(x) = B$，则： 加法：$\lim (f \pm g) = A \pm B$ 乘法：$\lim (fg) = AB$；常数 $c$：$\lim cf = cA$ 除法：$B \neq 0 \Rightarrow \lim (f/g) = A/B$ 复合：若 $g$ 在 $A$ 处连续，则 $\lim_{x\to a} g(f(x)) = g(A)$ 证明思路：所有规则都来自三角不等式 $|x+y|\le|x|+|y|$ 与对 ε 的精细分配（如把 ε 拆成 ε/2 + ε/2 给两个子估计）。

例 2：分式极限 $\displaystyle\lim_{x\to 2}\frac{x^2-4}{x-2} = \lim_{x\to 2}\frac{(x-2)(x+2)}{x-2} = \lim_{x\to 2}(x+2) = 4$。 注意：在 $x=2$ 处函数没定义，但极限照样存在 = 4。这正是极限的力量——它越过函数本身的"洞"。

在一点连续 $f$ 在 $a$ 处连续（continuous），若三件事同时成立： $f(a)$ 存在； $\lim_{x\to a} f(x)$ 存在； $\lim_{x\to a} f(x) = f(a)$。 简言之：极限值 = 函数值。

在区间上连续 $f$ 在区间 $I$ 上连续 ⟺ 在 $I$ 的每一点都连续。区间端点用单侧极限。 多项式、指数、对数（在定义域内）、三角函数都是连续的——基本上所有"画得出来"的初等函数都连续。

介值定理（Intermediate Value Theorem, IVT） 若 $f$ 在 $[a,b]$ 上连续，且 $y_0$ 介于 $f(a)$ 与 $f(b)$ 之间，则存在 $c \in (a,b)$ 使 $f(c) = y_0$。 特别地：$f(a)$ 与 $f(b)$ 异号 ⟹ 必有零点 $c$。

最大值定理（Extreme Value Theorem） 若 $f$ 在 闭 区间 $[a,b]$ 上连续，则 $f$ 在 $[a,b]$ 上必 取到 最大值与最小值。 注意"闭区间"不可去掉：$f(x)=1/x$ 在 $(0,1]$ 上连续但无最大值。

例 3：方程 $x^5 + x - 1 = 0$ 必有实根 令 $f(x) = x^5 + x - 1$。$f(0) = -1 < 0$，$f(1) = 1 > 0$，$f$ 连续 ⟹ 必有 $c \in (0, 1)$ 使 $f(c) = 0$。这就是数值求根（二分法）的理论保证。

普通连续 vs 一致连续 普通连续（在每一点）：$\forall a,\;\forall\varepsilon,\;\exists\delta(\varepsilon, a),\;\ldots$ —— 注意 $\delta$ 依赖 $a$。 一致连续：$\forall\varepsilon,\;\exists\delta(\varepsilon),\;\forall x,y:\;|x-y|<\delta\Rightarrow|f(x)-f(y)|<\varepsilon$ —— 同一个 $\delta$ 对所有点通用。

例 4：$f(x)=x^2$ 在 $\mathbb{R}$ 上连续，但不一致连续 因为 $|f(x+\delta)-f(x)| = |2x\delta + \delta^2|$ 随 $x$ 增大而无界。固定 $\delta$ 永远控制不住远处的 $x$。 但限制在有界闭区间上就一致连续了（Heine 定理）——这是分析中"紧致性 = 把局部统一为整体"的第一个范例。

气温从 5°C 升到 25°C，必然经过 15°C 气温随时间是连续函数 $T(t)$。如果早晨 6 点 $T=5°C$、下午 2 点 $T=25°C$，那么 必然存在某个时刻 气温恰好是 15°C——这是介值定理的纯粹生活版。新闻里"今天最高气温 25°C"背后，是分析学最大值定理的保证：闭区间上的连续函数 必 取到最大值。

练习 1（ε–N 证明） 证明 $\lim_{n\to\infty}\frac{n}{n+1} = 1$。 提示 $\left|\tfrac{n}{n+1} - 1\right| = \tfrac{1}{n+1} < \varepsilon \Leftrightarrow n > \tfrac{1}{\varepsilon}-1$。取 $N = \lceil 1/\varepsilon \rceil$。

练习 2（ε–δ 证明） 用 ε–δ 定义证明 $\lim_{x\to 3}(2x+1) = 7$。 提示 $|2x+1-7| = 2|x-3| < \varepsilon \Leftrightarrow |x-3| < \varepsilon/2$。取 $\delta = \varepsilon/2$。

练习 3（连续性判断） $f(x) = \begin{cases} \frac{\sin x}{x}, & x\neq 0 \\ 1, & x=0 \end{cases}$ 在 $x=0$ 处是否连续？ 提示 是。著名极限 $\lim_{x\to 0}\sin x / x = 1 = f(0)$。这就是把可去不连续"修补"成连续的标准做法。

练习 4（介值定理） 证明任意奇次多项式 $p(x) = x^{2k+1} + a_{2k}x^{2k} + \cdots + a_0$ 至少有一个实根。 提示 $\lim_{x\to+\infty} p(x) = +\infty$、$\lim_{x\to-\infty} p(x) = -\infty$。所以存在大正数 $b$ 使 $p(b)>0$，大负数 $a$ 使 $p(a)<0$。$p$ 连续 ⟹ IVT ⟹ 有零点。

练习 5（不一致连续） 证明 $f(x) = 1/x$ 在 $(0, 1)$ 上连续但不一致连续。 提示 取 $x_n = 1/n$、$y_n = 1/(n+1)$。$|x_n - y_n| = \tfrac{1}{n(n+1)} \to 0$，但 $|f(x_n)-f(y_n)| = 1$ 恒为 1，不能一致 ε-控制。