Chapter 04
极限与 ε-δ:定义「无限接近」
极限是「即使不到达目标点,也能预测该处状态」的数学工具。测量运动物体的瞬时速度,或人工智能一步步逼近答案的「学习」过程,都建立在这一极限概念之上。
按章节的数学图示
选择章节后,下方图示会切换为该章节内容。可一览基础数学的脉络。
在下面图中理解极限与 ε-δ。
小结:先定误差 ε(绿),就有一个距离 δ(蓝)——只要x 在蓝色带里,f(x) 就一定在绿色带里。这就是 ε-δ 的意思。
看图顺序
- 橙点 = 曲线上的 (x, f(x)) 趋近 (2, 4)
- 绿色带 = L±ε(f(x) 的允许误差)
- 蓝色带 = a±δ(x 在这里则 f(x) 在绿色带内)
什么是极限?
极限描述的是:当 无限接近某值 时,函数 趋向哪里。记作 。要点是 永远不必等于 ,我们只看 附近那一带的 趋势。
直观例子:想象导航里到目的地的距离从 、、、 这样缩小。车即使没有「正好」停在目的地,我们也知道它在往哪去。数学上就说: 趋于 时, 与 的距离 收敛于 0。极限不存在的情况也有。例如 在 时,左极限()与右极限()不同,极限值无法确定。而 时 这种单向极限则定义良好。
ε-δ 定义是把极限写清楚的数学 约定。可以当成一场 赌局:
(1) 对方问:「你能把误差控制在 (0.1 或 0.0001 都行)以内吗?」
(2) 你证明:「只要把 限制在 附近某个 范围内,结果一定落进那个误差 里。」所以 ε-δ 的核心就是:无论你要求的误差()多小,我总能找到相应的 范围()满足它。
因为它是定义 瞬时变化率(导数) 的 唯一方式。「瞬时」意味着时间间隔为 0,而我们不能除以 0。通过把间隔 无限趋近于 0(取极限),才能从「静止的一帧」里算出速度。
它保证 连续性 和 可微性。若 AI 的曲线在中途断开或出现尖点,就无法学习。极限必须存在且等于函数值才算「连续」,只有这样才能用微分找到减小误差的方向。也就是说,极限是让 AI 不迷路的 地图。
它是 梯度下降 的理论基础。我们说 AI 学习时把参数「微调一点」,这个「一点」的数学依据就是极限。调学习率、找最优值的过程,就是把极限概念用计算实现出来。数值微分里把 取成 这样很小的数来近似导数,用的也是极限思想。
看极限时,先想 往哪儿跑(如 、)以及 随之接近哪个数。画图可以看到在 附近 会聚在 附近。
ε-δ 证明的套路是 先给定 ,再 找对应的 。实际中只要理解「足够近就能让误差任意小」,就足以继续学微分和连续性。
例题与解题步骤见下表。
- 问题例 1. 求
- 解答解: 代入 得 。答案为 5。
- 问题例 2. 求
- 解答解: 无限增大时 趋于 0。答案为 0。
- 问题例 3. 求
- 解答解: 代入 得 。答案为 5。
| 问题 | 解答 |
|---|---|
| 例 1. 求 | 解: 代入 得 。答案为 5。 |
| 例 2. 求 | 解: 无限增大时 趋于 0。答案为 0。 |
| 例 3. 求 | 解: 代入 得 。答案为 5。 |
按题型解题
- 类型多项式
- 说明
- 求法直接代入 。
- 类型常数
- 说明
- 求法恒为 。
- 类型一次式
- 说明
- 求法代入得 。
- 类型
- 说明有理式、 等
- 求法分子分母同除最高次或利用 。
- 类型ε-δ 证明
- 说明给定 找
- 求法从 反解 。
| 类型 | 说明 | 求法 |
|---|---|---|
| 多项式 | 直接代入 。 | |
| 常数 | 恒为 。 | |
| 一次式 | 代入得 。 | |
| 有理式、 等 | 分子分母同除最高次或利用 。 | |
| ε-δ 证明 | 给定 找 | 从 反解 。 |
例(多项式)
求 。
解
代入 得 。→ 答 5
例(常数)
求 。
解
常数极限为自身。→ 答 7
例(一次式)
求 。
解
代入 得 。→ 答 5
例()
求 。
解
无限增大时 趋于 0。→ 答 0