总结出 4 类核心点:

  1. 内点(Interior Point)
  2. 端点(Endpoint)
  3. 临界点(Critical Point)
  4. 局部极值点(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,当:

  1. c 是 interior point
  2. 且 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 PointEndpointCritical PointLocal 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 句“区分语录”,方便记忆:

  1. Critical point 必须是 interior point
  2. Local extremum 不要求 interior
  3. Endpoint 永远不是 critical point
  4. Endpoint 可以是 local extremum 或 absolute extremum
  5. 若 interior 点是局部极值 ⇒ 必为 critical point
  6. absolute extremum 可以在 interior 或 endpoint

如果你愿意,我还可以给你:

✔ 一张“判断流程图”(看点→看导数→判极值) ✔ 一组“反例图像”,专门解决易混淆点 ✔ 同一个函数在不同区间的分类对照表

你要的话回我:图像 / 流程图 / 对照表 中的任意一个即可。