函数极限与无穷小量：从直觉到 ε-δ 定义
第 2 期。衔接数列极限，介绍函数极限的 ε-δ 语言：先用 sin(x)/x 在 x=0 处的趋近行为建立感性认识，再给出严格定义，引出无穷小量及其两个核心性质，配两道例题——一道 ε-δ 证明，一道利用有界量×无穷小处理 x·sin(1/x)，最后点出三个最常见误区。
上一期我们用 ε-N 语言精确描述了「数列趋近某个值」的含义。今天进一步：当自变量 $x$ 趋近某个实数 时，函数值 $f(x)$ 会趋近什么？这就是函数极限。它与数列极限的逻辑骨架一模一样，但描述工具从 N 换成了 δ。
先建直觉：函数值怎么算「趋近」
考虑函数 ，想知道它在 时的行为。直接代入 $x = 0$ 不行——分母为零，$f(0)$ 没有定义。
但可以代几个很小的数试试：
| $x$ | （保留 6 位） |
|---|---|
| 0.1 | 0.998334 |
| 0.01 | 0.999983 |
| 0.001 | 0.999999 |
| −0.01 | 0.999983 |
$x$ 从正负两侧趋近 0，$f(x)$ 都越来越靠近 1。这就是直觉上的「极限为 1」—— 的值（甚至 是否存在）无所谓，关键是 $x$ 足够近时 $f(x)$ 能不能稳定地贴近某个数。
チャートを読み込んでいます…
sinc 函数 在 $x=0$ 处的极限为 1，尽管该点无定义。1
ε-δ 精确定义
仿照数列极限的 ε-N 语言，函数极限的严格表述如下：
定义：设函数 $f(x)$ 在 的某去心邻域内有定义。若存在实数 $L$，使得：对任意 ，存在 ，当 时，都有 ，则称 $L$ 是 $f(x)$ 当 时的极限，记作 $$\lim_{x \to x_0} f(x) = L$$
几个细节值得注意：
- 条件写的是 ，不包含 本身。极限只关心「趋近过程」，不关心该点的函数值。
- 刻画「$f(x)$ 与 $L$ 之间允许的最大误差」， 刻画「$x$ 与 之间允许的最大距离」； 由 决定， 越小，往往 也要跟着缩小。
- 这是一个「任意…存在…使得…」的全称-存在量词嵌套：要对所有精度要求 都能找到对应的 ，极限才成立。
无穷小量
极限定义顺带引出一个重要概念：无穷小量。
若 ，则称 是 时的无穷小量。注意无穷小量是函数，不是数字 0——它的特征是「在趋近过程中任意接近零」。
无穷小量有两个立刻能用上的性质：
- 有界量 × 无穷小 = 无穷小：若 （有界），，则 。
- 极限与无穷小等价： 当且仅当 ，其中 是无穷小量。
第 2 条在后续证明里用得很多：想证极限等于 $L$，等价于证 $f(x) - L$ 是无穷小量。
例题演示
例题一：用 ε-δ 定义证明极限
证明 。
分析：要让 ，即 ，只需 。
证明：给定任意 ，取 。当 时：
因此 。
例题二：利用无穷小性质快速判断
求 。
分析： 在 时震荡，极限不存在；但它有界：。而 ，故 $x$ 是无穷小量。
由「有界量 × 无穷小 = 无穷小」：
所以 。
的振荡幅度随 $|x|$ 缩小，被 夹住趋于 0，直观呈现「有界 × 无穷小 = 无穷小」。2
常见误区
误区一：极限值等于该点的函数值。 函数极限与 无关。 可以不等于极限值，甚至可以不存在（如 在 $x=0$）。
误区二：左极限和右极限各存在，极限就存在。 极限存在要求左极限 $= $ 右极限。若 ，极限不存在。
误区三：无穷小量就是「很小的数」。 无穷小量是函数（或数列），描述的是趋近行为；一个固定的小数（如 $0.000001$）不是无穷小量。
延伸阅读：极限 (数学) - 维基百科 3
このコンテンツについて、さらに観点や背景を補足しましょう。