Chapter 05
连续性:不断开的曲线,打开微分之门
在某点连续是指该点处极限存在且等于函数值。它是可微性的基础,也是理解深度学习中激活函数与损失函数的基础。
按章节的数学图示
选择章节后,下方图示会切换为该章节内容。可一览基础数学的脉络。
左:连续 — 曲线在点 处不断开。右:不连续 — 该点处有洞或跳跃。
连续
lim = f(a)
不连续
f(a) 不存在或 lim ≠ f(a)
连续即 。图像上该点处曲线不断开。
看图顺序
- 左图: 在 处连续(曲线无断点通过 (2, 4))。
- 右图: 处无函数值或与极限不同则为不连续(洞或跳跃)。
什么是连续性?
连续最直观的说法是:「一笔画、不抬笔能画出来的曲线」。数学上则需要严格条件: 趋于 时的 极限 必须存在,且等于该点的 函数值 。记作 。
连续的三步检查:函数在 处连续需要满足:
(1) 函数值存在: 有定义(没有洞),
(2) 极限存在: 存在。左极限( 从小于 的一侧趋近)与右极限(从大于 的一侧趋近)必须相等。像阶梯函数那样一侧为 0、另一侧为 1 时,极限不存在,故不连续。
(3) 二者相等:极限值与函数值相等(路是有的,但桥不能架在错的地方)。
不连续会导致无法预测——例如昨天 100 元的股票今天突然变 0(跳跃),或数据缺一块(洞)。数学上,连续就是在保证:输入 只变一点点()时,输出 也只变一点点(),即 稳定性。
它是 微分的前提。微分是求曲线的切线斜率,曲线要是断的就没法定义斜率。所以先要 连续,才谈得上 可微。(注意:连续不一定可微,尖点处连续但不可微。)
鲁棒性(避免蝴蝶效应):模型必须连续,这样输入里混入一点噪声才不会导致输出乱跳。若自动驾驶因标识牌上一小道划痕就把「停」认成「加速」,就说明模型在这一点上不连续,非常危险。
它是 激活函数 设计的核心。ReLU、Sigmoid、Tanh 等都是连续函数,信息才能一路传到网络深处不断层。损失函数 也必须是光滑的连续曲面,才能像滚球(参数)一样滚到最低点(最优解)——即 梯度下降。
判断某点是否连续时,检查: 是否存在?、 是否定义?、二者是否相等?
检查清单:
① 存在
② 存在
③ 极限 。有一条不满足则该点不连续。
例题与解答见下表。
- 问题例 1. 在 处连续吗?
- 解答解: ,,相等,故连续。
- 问题例 2. 在 处连续吗?
- 解答解: 无定义 → 不连续。
- 问题例 3. 在 处连续吗?
- 解答解: ,,相等,故连续。
| 问题 | 解答 |
|---|---|
| 例 1. 在 处连续吗? | 解: ,,相等,故连续。 |
| 例 2. 在 处连续吗? | 解: 无定义 → 不连续。 |
| 例 3. 在 处连续吗? | 解: ,,相等,故连续。 |
按题型解题
- 类型多项式/极限存在
- 说明某点处是否连续
- 求法① 存在② 存在③ 二者相等。
- 类型不连续
- 说明无定义或极限不存在
- 求法 无定义,或极限不存在,或极限≠ → 不连续。
- 类型一次式
- 说明 在某点
- 求法处处有定义且极限=函数值 → 连续。
| 类型 | 说明 | 求法 |
|---|---|---|
| 多项式/极限存在 | 某点处是否连续 | ① 存在 ② 存在 ③ 二者相等。 |
| 不连续 | 无定义或极限不存在 | 无定义,或极限不存在,或极限≠ → 不连续。 |
| 一次式 | 在某点 | 处处有定义且极限=函数值 → 连续。 |
例(多项式·连续)
在 处连续吗?
解
,,相等,故连续。
例(不连续)
在 处连续吗?
解
无定义 → 不连续。
例(一次式·连续)
在 处连续吗?
解
,,相等,故连续。