MATH-CAL-03 极限的定义（ε-δ语言）与性质

数学一

高等数学

极限的定义（ε-δ语言）与性质

---

一、定位信息

• 圈层：核心层
• 前置知识回顾：需掌握函数的概念、绝对值不等式 $|x - a| < \delta$ 的几何意义（$x$ 在 $a$ 的 $\delta$ 邻域内），以及邻域的概念：$U(a, \delta) = \{x \mid |x - a| < \delta\}$。
• 知识网络定位：极限是整个微积分的理论基石——连续性、导数、定积分、级数收敛等核心概念都以极限为基础。本单元是极限理论的严格化表述，后续所有极限计算方法都建立在这些定义和性质之上。
• 考点热度等级：H级（高频重点）——$\varepsilon$-$\delta$ 语言的理解和运用是考研数学一的核心考点，近5年几乎每年都有涉及，常以证明题或概念辨析题形式出现，分值5–10分。

---

二、知识点讲解

2.1 数列极限的定义（$\varepsilon$-$N$ 语言）

定义：设 $\{a_n\}$ 为数列，$A$ 为常数。若对任意给定的 $\varepsilon > 0$，都存在正整数 $N$，使得当 $n > N$ 时，恒有 $|a_n - A| < \varepsilon$，则称数列 $\{a_n\}$ 的极限为 $A$，记作 $\lim_{n \to \infty} a_n = A$，或 $a_n \to A$（$n \to \infty$）。

直观解释：$\varepsilon$ 是你任意给定的一个"精度要求"（无论多小），$N$ 是一个"门槛"——过了这个门槛之后（$n > N$），所有项 $a_n$ 都落在 $A$ 的 $\varepsilon$ 邻域内。也就是说，数列从某一项开始，"永远"不离开 $A$ 的任意小的邻域。

关键要素：

• $\varepsilon$ 的任意性：对任何正数都成立，不仅仅是某个特定的 $\varepsilon$
• $N$ 的存在性：只需找到一个即可，不要求最小
• $n > N$ 时的恒成立：不是某一项满足，而是之后所有项都满足

几何意义：在数轴上，以 $A$ 为中心、$\varepsilon$ 为半径的开区间 $(A - \varepsilon, A + \varepsilon)$ 内，除了有限项外，数列的所有项都在其中。

2.2 函数极限的定义（$\varepsilon$-$\delta$ 语言）

情形一：$x \to x_0$ 的极限

定义：设函数 $f(x)$ 在 $x_0$ 的某去心邻域 $\mathring{U}(x_0, \delta_0)$ 内有定义，$A$ 为常数。若对任意给定的 $\varepsilon > 0$，都存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时，恒有 $|f(x) - A| < \varepsilon$，则称 $f(x)$ 当 $x \to x_0$ 时的极限为 $A$，记作 $\lim_{x \to x_0} f(x) = A$。

注意：$0 < |x - x_0|$ 表示 $x \neq x_0$，即极限值与 $f(x_0)$ 的值（甚至 $f(x_0)$ 是否有定义）无关。

情形二：$x \to \infty$ 的极限

定义：设函数 $f(x)$ 在 $|x|$ 充分大时有定义，$A$ 为常数。若对任意给定的 $\varepsilon > 0$，都存在 $X > 0$，使得当 $|x| > X$ 时，恒有 $|f(x) - A| < \varepsilon$，则称 $f(x)$ 当 $x \to \infty$ 时的极限为 $A$。

2.3 左极限与右极限

左极限：$\lim_{x \to x_0^-} f(x) = A$，即对 $\forall \varepsilon > 0$，$\exists \delta > 0$，当 $x_0 - \delta < x < x_0$ 时，$|f(x) - A| < \varepsilon$。

右极限：$\lim_{x \to x_0^+} f(x) = A$，即对 $\forall \varepsilon > 0$，$\exists \delta > 0$，当 $x_0 < x < x_0 + \delta$ 时，$|f(x) - A| < \varepsilon$。

重要定理：$\lim_{x \to x_0} f(x) = A$ 的充要条件是 $\lim_{x \to x_0^-} f(x) = \lim_{x \to x_0^+} f(x) = A$。

这一定理在判断分段函数在分段点处的极限是否存在时极为重要。

2.4 极限的性质

性质1（唯一性）：若 $\lim f(x) = A$ 且 $\lim f(x) = B$，则 $A = B$。

性质2（局部有界性）：若 $\lim_{x \to x_0} f(x) = A$，则存在 $\delta > 0$，使得 $f(x)$ 在 $\mathring{U}(x_0, \delta)$ 内有界。

性质3（局部保号性）：若 $\lim_{x \to x_0} f(x) = A > 0$（或 $< 0$），则存在 $\delta > 0$，使得在 $\mathring{U}(x_0, \delta)$ 内 $f(x) > 0$（或 $< 0$）。

保号性的推论：若 $\lim_{x \to x_0} f(x) = A$，且在 $x_0$ 的某去心邻域内 $f(x) \geq 0$（或 $\leq 0$），则 $A \geq 0$（或 $A \leq 0$）。注意：$f(x) > 0$ 不能推出 $A > 0$（只能推出 $A \geq 0$）。

性质4（保序性）：若 $\lim f(x) = A$，$\lim g(x) = B$，且 $A > B$，则在某去心邻域内 $f(x) > g(x)$。

性质5（四则运算）：设 $\lim f(x) = A$，$\lim g(x) = B$，则：

• $\lim[f(x) \pm g(x)] = A \pm B$
• $\lim[f(x) \cdot g(x)] = A \cdot B$
• $\lim \dfrac{f(x)}{g(x)} = \dfrac{A}{B}$（$B \neq 0$）

2.5 极限存在的判定准则

定理（夹逼准则/迫敛定理）：若在 $x_0$ 的某去心邻域内（或 $|x| > X$ 时），$g(x) \leq f(x) \leq h(x)$，且 $\lim g(x) = \lim h(x) = A$，则 $\lim f(x) = A$。

定理（单调有界准则）：单调有界数列必有极限。

• 单调递增且有上界 → 极限存在
• 单调递减且有下界 → 极限存在

---

三、记忆与理解辅助

技巧1：$\varepsilon$-$\delta$ 定义的"游戏"理解 把极限定义想象成一场"对弈游戏"：

• 对手先出招：给你任意小的 $\varepsilon > 0$（挑战精度）
• 你来回应：找到合适的 $\delta > 0$（或 $N$），使得 $0 < |x - x_0| < \delta$ 时 $|f(x) - A| < \varepsilon$
• 你能应对对手的任何 $\varepsilon$ → 极限存在；有某个 $\varepsilon$ 你应对不了 → 极限不存在

技巧2：$\varepsilon$-$\delta$ 语言的"充要条件"拆解

• 充分性：只要找到了 $\delta$（或 $N$），极限就成立
• 必要性：极限成立，一定能找到 $\delta$（或 $N$）
• 证明极限时用充分性；证明极限不存在时，只需找到一个 $\varepsilon$ 使得无论 $\delta$ 多小都不行

技巧3：各种极限定义的统一框架

极限类型	自变量变化	核心不等式	对应符号
$x \to x_0$	$0 < |x - x_0| < \delta$	$|f(x) - A| < \varepsilon$	$\varepsilon$-$\delta$
$x \to x_0^+$	$x_0 < x < x_0 + \delta$	$|f(x) - A| < \varepsilon$	$\varepsilon$-$\delta^+$
$x \to x_0^-$	$x_0 - \delta < x < x_0$	$|f(x) - A| < \varepsilon$	$\varepsilon$-$\delta^-$
$n \to \infty$	$n > N$	$|a_n - A| < \varepsilon$	$\varepsilon$-$N$
$x \to +\infty$	$x > X$	$|f(x) - A| < \varepsilon$	$\varepsilon$-$X$
$x \to -\infty$	$x < -X$	$|f(x) - A| < \varepsilon$	$\varepsilon$-$X$

所有极限定义的结构完全一致：自变量满足某个条件 → 函数值与极限值的距离小于任意给定的精度。

技巧4：保号性的"方向"记忆

• 极限值的符号 → 推出函数值的符号（局部保号性，强→弱）
• 函数值的符号 → 只能推出极限值的非严格符号（弱结论）

即：$A > 0 \Rightarrow f(x) > 0$（局部），但 $f(x) > 0$ 只能推出 $A \geq 0$，不能推出 $A > 0$。

---

四、例题与精解

例题1（基础巩固）

命题意图：考查用 $\varepsilon$-$N$ 语言证明数列极限。

题目：用极限定义证明 $\lim_{n \to \infty} \dfrac{3n + 1}{n + 2} = 3$。

审题分析：

• 需要对任意 $\varepsilon > 0$，找到正整数 $N$，使得 $n > N$ 时 $\left|\dfrac{3n+1}{n+2} - 3\right| < \varepsilon$
• 先化简 $\left|\dfrac{3n+1}{n+2} - 3\right|$

解题思路：先进行代数化简，将表达式放缩为含 $n$ 的简单形式，再从 $\varepsilon$ 反解 $N$。

完整步骤：

第一步：化简

$\left|\frac{3n+1}{n+2} - 3\right| = \left|\frac{3n+1 - 3(n+2)}{n+2}\right| = \left|\frac{3n+1-3n-6}{n+2}\right| = \left|\frac{-5}{n+2}\right| = \frac{5}{n+2}$

第二步：放缩

当 $n \geq 1$ 时，$n + 2 > n$，故 $\dfrac{5}{n+2} < \dfrac{5}{n}$

第三步：由 $\varepsilon$ 求 $N$

要使 $\dfrac{5}{n} < \varepsilon$，只需 $n > \dfrac{5}{\varepsilon}$

取 $N = \left\lfloor \dfrac{5}{\varepsilon} \right\rfloor + 1$（或直接取 $N = \left[\dfrac{5}{\varepsilon}\right]$）

第四步：正式证明

对任意 $\varepsilon > 0$，取 $N = \left\lfloor \dfrac{5}{\varepsilon} \right\rfloor + 1$，则当 $n > N$ 时：

$\left|\frac{3n+1}{n+2} - 3\right| = \frac{5}{n+2} < \frac{5}{n} < \frac{5}{N} \leq \varepsilon$

由极限定义，$\lim_{n \to \infty} \dfrac{3n+1}{n+2} = 3$。$\square$

方法反思：用 $\varepsilon$-$N$ 证明极限的标准流程：化简 $|a_n - A|$ → 放缩为关于 $n$ 的简单表达式 → 由 $\varepsilon$ 反解 $N$ → 正式写出证明。放缩的关键是找到一个比原表达式更大但更简单的上界。

---

例题2（中等提升）

命题意图：考查用 $\varepsilon$-$\delta$ 语言证明函数极限，涉及分段函数。

题目：设 $f(x) = \begin{cases} x^2, & x \neq 1 \ 0, & x = 1 \end{cases}$，用定义证明 $\lim_{x \to 1} f(x) = 1$。

审题分析：

• $f(1) = 0$，但极限关注的是 $x \to 1$ 时 $f(x)$ 的趋势，与 $f(1)$ 无关
• $x \neq 1$ 时 $f(x) = x^2$，所以需要证明 $\lim_{x \to 1} x^2 = 1$

解题思路：利用 $\varepsilon$-$\delta$ 定义，化简 $|x^2 - 1|$，找到合适的 $\delta$。

完整步骤：

第一步：化简

$|f(x) - 1| = |x^2 - 1| = |x-1| \cdot |x+1|$

第二步：控制 $|x+1|$

先限制 $\delta \leq 1$，则 $|x - 1| < 1$，即 $0 < x < 2$，故 $|x + 1| < 3$

因此 $|f(x) - 1| = |x - 1| \cdot |x + 1| < 3|x - 1|$

第三步：由 $\varepsilon$ 求 $\delta$

要使 $3|x - 1| < \varepsilon$，只需 $|x - 1| < \dfrac{\varepsilon}{3}$

取 $\delta = \min\left\{1, \dfrac{\varepsilon}{3}\right\}$

第四步：正式证明

对任意 $\varepsilon > 0$，取 $\delta = \min\left\{1, \dfrac{\varepsilon}{3}\right\}$，则当 $0 < |x - 1| < \delta$ 时：

$|f(x) - 1| = |x^2 - 1| = |x-1| \cdot |x+1|$

由 $|x - 1| < 1$ 知 $|x + 1| < 3$，故：

$|f(x) - 1| < 3 \cdot |x - 1| < 3 \cdot \frac{\varepsilon}{3} = \varepsilon$

由极限定义，$\lim_{x \to 1} f(x) = 1$。$\square$

方法反思：证明 $\lim_{x \to x_0} f(x) = A$ 的关键技巧是"先限后求"——先限制 $\delta \leq$ 某个常数（如1），控制住 $|x + x_0|$ 等因子的上界，再由 $\varepsilon$ 确定 $\delta$ 的另一部分。最终 $\delta$ 取两者的较小值。

---

五、考情分析

• 考查频次：近5年真题中，$\varepsilon$-$\delta$ / $\varepsilon$-$N$ 语言相关题目出现约4–5次
• 常见题型：证明题（用定义证明极限）、选择题（判断极限是否存在、理解定义的逻辑结构）
• 分值占比：约占高数部分的5%–8%（5–10分）
• 命题趋势：$\varepsilon$-$\delta$ 定义的考查一直是数学一的特色，近年有从纯证明向概念理解转变的趋势。保号性、夹逼准则的灵活运用也是常考方向。

注：以上考情数据基于大纲与命题规律推测，待真题分析子代理产出《命题权重矩阵》后校准。

---

六、易错点提醒

易错点1：混淆"存在"与"任意"的逻辑顺序

• 错误表现：将"对任意 $\varepsilon > 0$，存在 $\delta > 0$"写成"存在 $\delta > 0$，对任意 $\varepsilon > 0$"
• 错误原因：未理解量词的逻辑顺序。先"任意 $\varepsilon$"后"存在 $\delta$"是正确的，$\delta$ 可以依赖于 $\varepsilon$
• 正确做法：$\varepsilon$ 是事先给定的任意正数，$\delta$ 是根据 $\varepsilon$ 找到的，$\delta$ 可以是 $\varepsilon$ 的函数

易错点2：忘记极限定义中 $0 < |x - x_0|$ 的条件

• 错误表现：在证明极限时，将 $|x - x_0| < \delta$ 写成 $0 \leq |x - x_0| < \delta$
• 错误原因：忽略了极限是去心邻域内的行为，与 $x = x_0$ 处的函数值无关
• 正确做法：$0 < |x - x_0|$ 表示 $x \neq x_0$，这是极限定义的核心——极限值与函数在该点的值无关

易错点3：保号性的方向用反

• 错误表现：由 $f(x) > 0$ 推出 $\lim f(x) > 0$
• 错误原因：保号性是"极限值正 → 函数值正"（局部），反过来只能得到 $\lim f(x) \geq 0$
• 正确做法：记住方向——极限值的严格不等式 → 函数值的严格不等式（保号性）；函数值的严格不等式 → 极限值的非严格不等式（极限的保序性）

易错点4：证明中放缩不当导致 $\delta$ 无法确定

• 错误表现：化简 $|f(x) - A|$ 后，无法控制某些因子，导致找不到合适的 $\delta$
• 错误原因：没有使用"先限后求"的技巧
• 正确做法：先限制 $\delta \leq c$（某常数），控制住相关因子的上界，再由 $\varepsilon$ 确定 $\delta$ 的剩余部分，最终取 $\delta = \min\{c, \text{由}\varepsilon\text{确定的值}\}$

---

七、来源标注

• 依据2026考研数学一统考大纲
• 依据大学本科经典教材共识（同济大学《高等数学》第七版）