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

> AP 微积分 BC · 第1单元：极限与连续性
> 来源: https://www.owlsprep.com/zh/study/ap-calculus-bc-u1-defining-limits-and-using-limit/

本小节涵盖单侧极限、双侧极限、无穷极限、无穷远处极限的直观定义与正式ε-δ定义，标准符号约定，以及AP微积分BC中图形题和情境题中的解读方法。

**先修:** 常见函数类型的函数符号、定义域与值域; 包含渐近线在内的函数基本绘图; 多项式与有理式的代数变形

## 学习目标

- 解读单侧、双侧、无穷极限和无穷远处极限的标准极限符号
- 将双侧极限存在定理应用于分段函数和绝对值函数
- 区分有限点处的无穷极限与无穷远处的极限
- 解读极限的正式ε-δ定义
- 避开考试中极限符号与定义的常见陷阱

## 极限的核心定义与标准符号

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

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

*记法:* $\lim_{x \to a} f(x) = L$

> **note**
>
> $\lim_{x \to a} f(x) = L$读作*「x趋近于a时f(x)的极限等于L」*。

## 单侧极限与双侧极限

单侧极限描述$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) = \begin{cases} 2x + 1 & x < 3 \\ x^2 - 2x & x > 3 \end{cases}$，若$\lim_{x \to 3} f(x)$存在，求该极限。

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

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

## 无穷极限与垂直渐近线

无穷极限描述当$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{3x + 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$处存在垂直渐近线。

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

## 极限的正式ε-δ定义

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

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

*记法:* $\lim_{x \to a} f(x) = L$

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

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

1. 定义要求：当$0 < |x - 4| < \delta$时，必有$|(3x - 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. 因此$\delta = 0.0333$（或任意更小的正数）满足$\varepsilon = 0.1$对应的条件。

> **考试提示:** 对于线性函数$f(x) = mx + b$求$\delta$时，$\delta$始终等于$\frac{\varepsilon}{|m|}$——使用这个捷径可以在选择题中节省时间。

## AP风格概念检测

**概念自测**

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

1. 已知$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$，因此双侧极限不存在。

2. 设$h(x) = \begin{cases} x^2 + k & x \leq 2 \\ 3x + 2k & x > 2 \end{cases}$，k取何值时$\lim_{x \to 2} h(x)$存在？

   - k=-2
   - k=2
   - k=-1
   - k=1

   *解析:* 正确。令两个单侧极限相等：$4 + k = 6 + 2k \implies k=-2$。

3. 一位生态学家对鹿群数量建模得到$P(t) = \frac{1200t}{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$

   *解析:* 正确。长期行为意味着t（时间）趋近于无穷大，极限趋近于环境容纳量1200。

## 常见错误

- **错误做法:** 仅计算了分段函数分界点的一个单侧极限，就得出双侧极限等于该值。
  - 原因: 学生急于答题，忘记根据定义双侧极限要求两个单侧极限相等。
  - 正确做法: 在得出双侧极限是否存在的结论前，必须明确计算左极限和右极限，再比较二者。
- **错误做法:** 声称$\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| < \delta$。
  - 原因: 学生忘记极限不依赖于$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|$改写为分段形式。

## 速查表

| 类别 | 公式/符号 | 注释 |
| --- | --- | --- |
| 双侧极限符号 | $\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 \iff \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 \varepsilon >0, \exists \delta>0 : 0<\|x-a\|<\delta \implies \|f(x)-L\|<\varepsilon$ | 始终包含$0<\|x-a\|$以排除x=a本身 |
| 线性函数f(x)=mx+b的ε-δ捷径 | $\delta = \frac{\varepsilon}{\|m\|}$ | 适用于任意线性函数，针对给定ε求δ |

## 下一步

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

- [从图像估计极限值](https://www.owlsprep.com/zh/study/ap-calculus-bc-u1-estimating-limit-values-from-graphs/)
- [从表格估算极限值](https://www.owlsprep.com/zh/study/ap-calculus-bc-u1-estimating-limit-values-from-tables/)
- [利用极限的代数性质求极限](https://www.owlsprep.com/zh/study/ap-calculus-bc-u1-determining-limits-using-algebraic-properties/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ap-calculus-bc-u1-defining-limits-and-using-limit/