总结出 4 类核心点:
- 内点(Interior Point)
- 端点(Endpoint)
- 临界点(Critical Point)
- 局部极值点(Local Extremum Point)
接下来我们逐一解释 + 对比表汇总。
1. Interior Point(内点)
定义: 一个点 c 是定义域 D 的 interior point,当且仅当存在 ε>0,使得:
(c−ε, c+ε) ⊆ D
解释: 就是 左右都有邻域且都在定义域内。
例子: 区间 (0,1) 的内点为 (0,1) 中的所有点; 区间 [0,1] 的内点为 (0,1)。
用途:
- 导数测试(第一/第二导数测试)只适用于 interior point
2. Endpoint(端点)
定义: 如果一个点不能满足内点条件(缺左或缺右邻域),但属于定义域,则称为端点。
例子: 区间 [0,1] 的端点是 0 和 1 区间 [0,1) 的端点是 0 和 1(右侧缺失)
性质:
- 端点永远不是 interior point
- 端点不能成为 critical point(按标准微积分定义)
- 但端点可以成为 absolute 或 local extremum(按严格分析定义)
3. Critical Point(临界点)
标准教材定义(Stewart, Thomas, Larson 都一致):
一个点 c 是 f 的 critical point,当:
- c 是 interior point
- 且 f′(c)=0 或 f′(c) 不存在
分类:
| 类型 | 条件 |
|---|---|
| 临界点(可导消失) | f′(c)=0 |
| 临界点(不可导) | f′(c) DNE |
关键点:
- 内点条件是必须的
- 端点不计为 critical point
4. Local Extremum Point(局部极值点)
严格分析学定义:
c 是局部最小点当存在 ε>0,使得:
对所有 x ∈ D∩(c−ε, c+ε),有 f(c) ≤ f(x)
说明:
- 两侧存在性是相对定义域而言
- 因此端点可以是局部极小/极大点!
例子:
f(x)=x 在 [0,1] 上 x=0 是局部最小值(只需比较右侧)。
但:
- x=0 不是 critical point(因为端点不是 interior point)
- x=0 是 local min
- x=0 是 absolute min
核心关系对比表
| 属性 | Interior Point | Endpoint | Critical Point | Local Extremum |
|---|---|---|---|---|
| 必须在定义域内 | 是 | 是 | 是 | 是 |
| 必须是 interior point | 是 | 否 | 是 | 否 |
| 可否为端点 | 否 | 是 | 否 | 是(可) |
| 导数判别法可用 | 是 | 否 | 是 | 内点可判,端点不可 |
| 可否是绝对极值 | 可 | 可 | 可是也可能不是 | 可 |
| 可否是局部极值 | 可 | 可 | 内点可,如果满足局部定义 | 是,如果满足局部定义 |
几个重要定理澄清误区
定理 1(内部点极值 ⇒ 临界点)
如果:
- c 是 interior point
- f 在 c 处有 local extremum
则:
c 必为 critical point
注意这里明确要求 interior point!
所以不包含端点。
定理 2(绝对极值不必是临界点)
绝对极值可能出现在:
- 临界点(内点)
- 或端点
例子:
f(x)=x⁴ 在 [-2,2] 上:
- 绝对最大值出现在端点 x=±2
- 绝对最小值在内点 x=0
定理 3(局部极值 vs 端点)
严格分析中:
- 端点可以是 local extremum
- 微积分考试中有时不认端点为局部极值(看教材约定)
你遇到的困惑就来自这里。
总结金句(帮助区分)
最后给你 6 句“区分语录”,方便记忆:
- Critical point 必须是 interior point
- Local extremum 不要求 interior
- Endpoint 永远不是 critical point
- Endpoint 可以是 local extremum 或 absolute extremum
- 若 interior 点是局部极值 ⇒ 必为 critical point
- absolute extremum 可以在 interior 或 endpoint
如果你愿意,我还可以给你:
✔ 一张“判断流程图”(看点→看导数→判极值) ✔ 一组“反例图像”,专门解决易混淆点 ✔ 同一个函数在不同区间的分类对照表
你要的话回我:图像 / 流程图 / 对照表 中的任意一个即可。