极限的定义与极限符号的使用

AP 微积分 BC· AP Calculus BC CED — Limits and Continuity· 14 分钟阅读

1. 极限的核心定义与标准符号★☆☆☆☆⏱ 3 min

极限是整个微积分的基础基石，描述了函数 $f (x)$ 在 $x$ 趋近于某个特定输入时的行为，与 $f$ 在该输入点的取值无关。本知识点贯穿所有AP微积分BC考题，因为每个核心微积分概念（导数、积分）都是用极限定义的。

📘 定义

极限

$lim_{x \to a} f (x) = L$

当 $x$ 任意接近（但不等于） $a$ 时， $f (x)$ 任意接近的值 $L$ 。与函数求值不同，极限描述的是趋近过程，而非停在点 $a$ 处的取值。

2. 单侧极限与双侧极限★★☆☆☆⏱ 4 min

单侧极限描述 $x$ 仅从数轴的一侧趋近于 $a$ 时 $f (x)$ 的行为。左极限（来自小于 $a$ 的值）和右极限（来自大于 $a$ 的值）有不同的符号：

\lim_{x \to a^-} f(x) = L

\lim_{x \to a^+} f(x) = L

双侧极限的核心存在定理指出：双侧极限 $lim_{x \to a} f (x)$ 存在当且仅当两个单侧极限都存在且相等。形式化表述为：

\lim_{x \to a} f(x) = L \iff \lim_{x \to a^-} f(x) = L \text{ and } \lim_{x \to a^+} f(x) = L

📐 例题

已知分段函数 $f (x) = {2 x + 1 x^{2} - 2 x x < 3 x > 3$ ，若 $lim_{x \to 3} f (x)$ 存在，求该极限。

1
计算x从左侧趋近于3时的左极限。对于 $x < 3$ ， $f (x) = 2 x + 1$ ：
2
$\lim_{x \to 3^-} f(x) = 2(3) + 1 = 7$
3
接下来，计算x从右侧趋近于3时的右极限。对于 $x > 3$ ， $f (x) = x^{2} - 2 x$ ：
4
$\lim_{x \to 3^+} f(x) = (3)^2 - 2(3) = 9 - 6 = 3$
5
比较两个单侧极限： $7 \neq = 3$ 。根据双侧极限存在定理，双侧极限 $lim_{x \to 3} f (x)$ 不存在。

Exam tip:

在询问分段函数的双侧极限是否存在的选择题中，必须明确检查两个单侧极限——不要仅因为函数在分段点 $x = a$ 的两侧都有定义就默认它们相等。

3. 无穷极限与垂直渐近线★★☆☆☆⏱ 3 min

无穷极限描述当 $x$ 趋近于有限值 $a$ 时， $f (x)$ 没有趋近于有限值 $L$ ，而是向正无穷或负无穷无界增长的行为。无穷极限的符号为：

\lim_{x \to a} f(x) = \infty \quad \text{or} \quad \lim_{x \to a} f(x) = -\infty

需要记住的关键点：这个符号仅描述 $f (x)$ 在 $a$ 附近的无界行为，不代表极限作为有限实数存在。当函数在 $x = a$ 处存在无穷极限时，函数在 $x = a$ 处有垂直渐近线。无穷极限几乎总是出现在有理函数分母为零、分子非零的点。

📐 例题

求 $lim_{x \to 2^{-}} \frac{3 x + 1}{x - 2}$ ，并说明函数在 $x = 2$ 处是否存在垂直渐近线。

1
首先计算x=2处的分子： $3 (2) + 1 = 7$ ，结果非零，因此我们可以推断该点处存在无穷极限。
2
对于左极限 $x \to 2^{-}$ ，所有接近2的x都小于2，因此 $x - 2$ 是一个很小的负数。
3
正分子（7）除以一个小负数，结果是一个绝对值很大的负数。因此：
4
$\lim_{x \to 2^-} \frac{3x + 1}{x - 2} = -\infty$
5
由于 $x = 2$ 处存在无穷极限，因此函数在 $x = 2$ 处存在垂直渐近线。

Exam tip:

在自由问答题（FRQ）中书写无穷极限时，说"极限等于无穷大"是描述无界行为的可接受符号，但如果题目明确询问有限极限是否存在，你必须回答极限不存在。

4. 极限的正式ε-δ定义★★★☆☆⏱ 4 min

极限的直观定义（"当x接近a时，f(x)接近L"）不够精确，因此正式的ε-δ定义提供了一种严谨的方法来证明极限等于给定值 $L$ 。

📘 定义

极限的ε-δ定义

$lim_{x \to a} f (x) = L$

对于任意 $ε > 0$ ，都存在一个 $δ > 0$ ，使得如果 $0 < ∣ x - a ∣ < δ$ ，则 $∣ f (x) - L ∣ < ε$ 。其中 $ε$ 是 $f (x)$ 与 $L$ 之间的最大允许误差， $δ$ 是 $x$ 必须满足的与 $a$ 的接近程度（不包含 $x = a$ 本身），以满足误差边界要求。

在AP微积分BC考试中，很少要求你写出完整的ε-δ证明，但选择题中经常会要求你解读该定义，或针对给定的 $ε$ 求 $δ$ 。

📐 例题

对于 $lim_{x \to 4} (3 x - 5) = 7$ ，求满足ε-δ条件、对应 $ε = 0.1$ 的 $δ$ 。

1
定义要求：当 $0 < ∣ x - 4∣ < δ$ 时，必有 $∣ (3 x - 5) - 7∣ < 0.1$ 。
2
化简左侧不等式：
3
$|3x - 12| = 3|x - 4| < 0.1$
4
两边除以3，分离出 $∣ x - 4∣$ ：
5
$|x - 4| < \frac{0.1}{3} \approx 0.0333$
6
因此 $δ = 0.0333$ （或任意更小的正数）满足 $ε = 0.1$ 对应的条件。

Exam tip:

对于线性函数 $f (x) = m x + b$ 求 $δ$ 时， $δ$ 始终等于 $\frac{ε}{∣ m ∣}$ ——使用这个捷径可以在选择题中节省时间。

5. AP风格概念检测★★☆☆☆⏱ 3 min

✓ 快速检测

检测你对极限定义和符号的理解：

已知 $g (x) = \frac{∣ x - 4∣}{x - 4}$ ， $lim_{x \to 4} g (x)$ 的值是多少？
- 0
- 1
- -1
- 极限不存在
显示答案
极限不存在 —
正确。将绝对值改写为分段函数可得： $lim_{x \to 4^{-}} g (x) = - 1$ ， $lim_{x \to 4^{+}} g (x) = 1$ ，因此双侧极限不存在。
设 $h (x) = {x^{2} + k 3 x + 2 k x \leq 2 x > 2$ ，k取何值时 $lim_{x \to 2} h (x)$ 存在？
- k=-2
- k=2
- k=-1
- k=1
显示答案
k=-2 —
正确。令两个单侧极限相等： $4 + k = 6 + 2 k ⟹ k = - 2$ 。
一位生态学家对鹿群数量建模得到 $P (t) = \frac{1200 t}{t + 5}$ ， $t \geq 0$ ，其中环境容纳量为1200。描述该种群长期数量行为的正确极限符号是哪一项？
- $lim_{t \to 1200} P (t) = \infty$
- $lim_{t \to \infty} P (t) = 1200$
- $lim_{P \to 1200} t = \infty$
- $lim_{t \to 1200} P (t) = t$
显示答案
$\lim_{t \to \infty} P(t) = 1200$ —
正确。长期行为意味着t（时间）趋近于无穷大，极限趋近于环境容纳量1200。

6. 常见陷阱

错误做法:

仅计算了分段函数分界点的一个单侧极限，就得出双侧极限等于该值。

原因:

学生急于答题，忘记根据定义双侧极限要求两个单侧极限相等。

正确做法:

在得出双侧极限是否存在的结论前，必须明确计算左极限和右极限，再比较二者。

错误做法:

声称 $lim_{x \to a} f (x) = \infty$ 意味着极限存在。

原因:

学生将描述无界行为的符号与有限极限存在的定义混淆。

正确做法:

当题目询问有限极限是否存在时，如果极限是无穷的，回答极限不存在，并说明该符号仅用来描述行为。

错误做法:

通过计算 $f (a)$ 来求 $lim_{x \to a} f (x)$ ，并得出极限等于 $f (a)$ 的结论。

原因:

学生将函数求值与极限行为混淆，在处理连续函数时尤其容易犯这个错。

正确做法:

即使 $f (a)$ 有定义，也必须先检查单侧极限——不连续性会导致极限与 $f (a)$ 不同，或根本不存在。

错误做法:

在ε-δ符号中，省略 $0 < ∣ x - a ∣$ 条件，仅写 $∣ x - a ∣ < δ$ 。

原因:

学生忘记极限不依赖于 $f$ 在 $x = a$ 处的值，仅依赖于 $a$ 附近点的值。

正确做法:

在ε-δ表述中必须包含 $0 <$ 不等式，以排除 $x = a$ 本身。

错误做法:

将 $lim_{x \to \infty} f (x)$ （无穷远处的极限）与 $lim_{x \to a} f (x) = \infty$ （有限点a处的无穷极限）混淆。

原因:

二者符号中都包含无穷大，导致对所描述行为的混淆。

正确做法:

始终检查无穷大的位置：极限符号下方的无穷大意味着x无界增长；等号后的无穷大意味着f(x)在有限点a处无界增长。

错误做法:

对于绝对值函数，在临界点处对左右极限使用同一个表达式。

原因:

学生忘记 $∣ x - a ∣$ 是分段函数，在 $x = a$ 处定义会改变。

正确做法:

在计算 $x = a$ 处的单侧极限前，先将 $∣ x - a ∣$ 改写为分段形式。

7. 速查表

类别	公式/符号	注释
双侧极限符号	$lim_{x \to a} f (x) = L$	描述x趋近于a时f(x)趋近于L（不包含x=a）
左单侧极限	$lim_{x \to a^{-}} f (x) = L$	x从小于a的值趋近于a
右单侧极限	$lim_{x \to a^{+}} f (x) = L$	x从大于a的值趋近于a
双侧极限存在法则	$lim_{x \to a} f (x) = L ⟺ lim_{x \to a^{-}} f (x) = lim_{x \to a^{+}} f (x) = L$	若单侧极限不相等，双侧极限不存在
有限点a处的无穷极限	$lim_{x \to a} f (x) = \pm \infty$	描述无界行为；极限不作为有限值存在；意味着x=a处存在垂直渐近线
无穷远处的极限	$lim_{x \to \pm \infty} f (x) = L$	描述x增长时的长期行为；意味着y=L处存在水平渐近线
正式ε-δ定义	$\forall ε > 0, \exists δ > 0 : 0 < ∣ x - a ∣ < δ ⟹ ∣ f (x) - L ∣ < ε$	始终包含 $0 < ∣ x - a ∣$ 以排除x=a本身
线性函数f(x)=mx+b的ε-δ捷径	$δ = \frac{ε}{∣ m ∣}$	适用于任意线性函数，针对给定ε求δ

真题中的出现

AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。

2025 · MCQ
分段函数的双侧极限
2024 · FRQ
在情境中解读极限

下一步

本知识点是整个微积分的基础语言。在掌握极限定义和符号后，你接下来将学习从图形和表格估计极限，再学习用代数方法计算极限。如果不能扎实理解极限是什么、如何解读极限符号，你就无法正确理解核心考点，比如导数是差商的极限、定积分是黎曼和的极限。本知识点也是本课程后续数列与级数极限的基础，而数列级数占BC考试的很大比重。