函数极限与无穷小量：从趋近到 ε-δ 定义
高数第二讲。从 sin x / x 在 x→0 时趋向 1 的直觉出发，推导函数极限的 ε-δ 严格定义；引入无穷小量概念与等价无穷小替换法则；配两道例题——一道写 ε-δ 验证，一道用等价无穷小快速化简求值。读完能区分「极限值」与「函数值」，并掌握等价替换的正确用法。
第一期我们用「越来越接近」理解了数列极限，最终把这个直觉锁进了 ε-N 定义。今天进一步：把极限的舞台从数列换成函数，并引入「无穷小量」这个工具——它会在之后求极限、求导的计算里反复出现。
函数极限：是「过程」，不是「结果」
数列极限描述的是 随下标 的趋势；函数极限则多了一种自由度——自变量 可以趋向某个有限点 ，也可以趋向 。
以 为例。在 处，这个函数没有定义（分母为零）。但当 从任何方向靠近 时，比值始终贴近 ：
处的函数值根本不存在，但极限存在，且等于 。这是函数极限与函数值最本质的区别：极限关心的是「走向哪里」，而不是「到没到那里」。
ε-δ 语言：给「接近」一个精度标准
有了直觉，来看严格定义。
定义（函数极限）： 设函数 在 的某去心邻域内有定义。若存在实数 ，使得对任意 ，都存在 ，当 时，有 ，则称 在 时的极限为 ，记作
与数列的 ε-N 定义对照，结构完全一样，只是「第 N 项之后」换成了「 在 的 穿孔邻域内」。读懂这个定义有两个关键细节：
- ：这个严格大于零意味着 。极限定义故意绕开 本身，所以 是否有定义、等不等于 ，对极限存在与否毫无影响。
- 依赖 ：先给出精度要求 ，再找出距离阈值 ，体现「任意精度都能满足」的可实现性。
函数极限的 ε-δ 几何含义：纵轴任意给定 ε 带，必能找到横轴对应的 δ 带，使曲线夹在其中。 1
无穷小量：那些「趋于零」的量
学了极限定义，有一类特殊极限值得单独命名。
定义（无穷小量）： 若 ，则称 是 时的无穷小量（简称无穷小）。
几个重要性质：
- 有界量 × 无穷小 = 无穷小。 例如 时， 是无穷小——虽然 在 时振荡剧烈、极限不存在，但它被绝对值 夹住，与趋于零的 相乘，结果仍趋于零。
- 极限与无穷小的关系： 当且仅当 ，其中 是 时的无穷小。这个等价形式在推导极限运算法则时非常好用。
- 等价无穷小： 若 ，则称两者等价，记作 。常用等价无穷小（）：
等价无穷小可以在极限的乘除因子中互相替换，大幅简化计算——这是下面第二道例题的核心技巧。
例题一：ε-δ 验证
证明： 对任意 ，需要找 ，使得 时 。
第一步：分析误差结构。
第二步：倒推 。 要让 ，只需 。
第三步：给出 。 取 。当 时，
证毕。
这道题结构最干净：误差正比于 ， 直接由 除以比例系数得到，不需要额外缩放。
例题二：等价无穷小求
直接代入 是 型不定式，需要化简。
第一步：提取公因子。 分母 。
第二步：用等价无穷小替换分子。 时，，因此
第三步：代入求值。
等价替换只能用在乘除因子上，不能用在加减项之间。这是最容易出错的地方，下面直接列出来。
常见误区
误区一：极限值等于函数值。 极限描述趋向，函数值描述到达。，但 无意义——极限存在与函数值无关。
误区二：无穷小是「很小的数」。 无穷小是一个过程： 在某极限过程下趋于零。 是个具体的小数，不是无穷小；（）才是无穷小。零是唯一的常数无穷小，因为只有 自始至终等于零。
误区三：等价无穷小可以在加减式里替换。 时虽有 和 ，但 不能把分子直接替换成 。替换后主要项相消，丢失了真正的量级信息。此时应展开到更高阶：，极限为 。
下一期：极限的运算法则（加减乘除复合），从基本法则出发系统整理求极限的工具箱。4
このコンテンツについて、さらに観点や背景を補足しましょう。