§5.3 有界性定理与最值定理
有界闭区间上的连续函数一定有界.
有界闭区间上的连续函数一定取到最大值和最小值.
容易看出最值定理蕴涵有界性定理. 因此如果能直接证明最值定理的话, 则同时也就证明了有界性定理. 容易举出例子说明, 如果将这两个定理中的有界闭区间换成其他区间, 则结论都不再成立. 因此这两个定理是有界闭区间上连续函数才具有的性质. 由于有界闭区间与覆盖定理的紧密联系 (参见第三章 § 关于覆盖定理的介绍), 因此可以看出, 要证明这两个定理也需要实数系的基本定理. 由连续函数的局部有界性定理知, 当 时, 在区间 的每一点的一个邻域上有界. 联系到 小节中的内容, 可见我们已经对有界性定理作出了六个不同的证明. 但是本节还将给出对这个定理的新证明. 由最值定理再加上介值定理就得到有界闭区间上的连续函数的值域一定是闭区间的结论, 这就是连续函数的值域定理: 若 , , 是 的最大值和最小值, 则有
(当 时值域 退化成一点, 为常值函数.)
最值定理的证明往往是以有界性定理为基础, 但下面的第一个证明却不是如此, 因此它同时也可以看成是有界性定理的新证明 (见 []).
用确界定理和凝聚定理同时证明有界性定理和最值定理.
证明
由于值域 非空, 因此可取
这里并未假定 , 是有限数。我们的目的是证明 , 。以下只写出 的证明,它同时说明 在 上有上界。
从上确界的性质, 在 中存在数列 , 使得 . (对 为有限数的情况, 见例题 ; 对 , 请读者完成.) 对 用凝聚定理, 有收敛子列 . 记该子列的极限为 , 则点 . 由 在 处的连续性, 就有
这就表示 .
请读者回答: 上述证明中, 闭区间的”闭”这个关键条件用在哪里?
实际上用覆盖定理或闭区间套定理都不难同时证明有界性定理与最值定理. 这是实数系基本定理的很好的练习题. 请读者试之.
下一个证明说明从有界性定理到最值定理只是一步之遥.
用两次有界性定理就可以证明最值定理, 关键是设计一个适当的辅助函数 (见 []).
证明
只证明其中的最大值部分. 由有界性定理知道, 若 , 则 有上界. 因此值域的上确界 是有限数. 我们断言 .
反证法. 若 , 则有 , . 构造辅助函数
由于 , 且 的取值始终小于 , 因此从连续函数的除法运算法则知道, 函数 在 上处处连续, 即也有 . 而且有 , .
对 再次应用有界性定理, 知道它有上界, 将它记为 , 则有
这就导致
因此 是值域 的上界. 这与 是值域的最小上界矛盾. ☐
设 , 和 有限. 证明: 在 上有界.
证
在闭区间 上构造辅助函数
则可以看出 . 对 应用连续函数的有界性定理, 可见 在 上有界. 因此 在 上也有界.
证
根据函数极限的局部有界性定理, 存在 , 使得函数 在 和 上有界. 这里假定有 成立. 然后在闭区间 上可以用有界性定理. 这样就得到所要的结论.
证 对 和 的情况同样有效.
用同样的方法可以解决下面的例题, 证明从略.
设 ,极限 和 有限. 若存在 使
证明 在 上有最大值.
用最值定理可以对于例题 给出简单得多的证明.
若 ,且对每一个 存在 ,使得 证明 在 中有零点.
证明
这时也有 , 对 用最值定理, 在题设条件下可见最小值只能是 . 这时的最小值点就是 的零点, 当然也是 的零点. □
-
设函数 在区间 中只有第一类间断点, 证明: 在 上有界.
-
若 ,且存在有限极限 . 证明: 在 上有界.
-
问:是否存在从区间 (1) , (2) , (3) 映射到整个实数集 的连续函数?(如果存在, 请举出例子; 如果不存在, 请作出证明.)
-
问: 若函数 在区间 上的值域为闭区间, 则 是否在 上连续?
-
若 ,且存在有限极限 . 证明: 在 上至少可以取到最大值或最小值中的一个.
-
若 , 且 , 证明: 在 上有最小值.
-
若 , 且 , 证明: 在 上至少可以取到最大值或最小值中的一个.
-
若 , , 且 的最小值 . 证明: 复合函数 至少在两个点上取到它的最小值.
-
求出 函数和 函数的所有极值点和最值点.
(关于极值与极值点的定义见 小节.)
书籍模块索引
数学分析 · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。