二元函数最大最小值定理证明_定理4.6 最大最小值定理

从本文开始，我们要证明一些有关连续性的定理，这些定理的一个普遍特点就是直观上是显然的，但证明是困难的，十分具有分析学的色彩。

定理4.6 最大、最小值定理
若函数

在闭区间

上连续，那么在

闭区间

上有最大值与最小值。

要证明最大最小值定理，首先要证明一个引理：

有界性引理：若函数

在闭区间

上连续，那么在

闭区间

上有界。

证明：

不妨假设

闭区间

上无上界，那么存在

,使得 :

那么一方面 有

（1）

另一方面 数列

，故

是有界数列。那么根据致密性定理，

存在收敛的子列

。

记

.

由于

由数列极限的保不等式性得

在闭区间

内，又因为函数

在闭区间

上连续，知

在

处连续。

那么有

（2）

此时，因为

由归结原则

（3）

此外，由于

是

的子列，有一个基本事实：

（4）

联系（1）（2）（3）（4）得

即

在

处既连续又无穷间断，矛盾。

故

闭区间

上有界。

引理证毕。

下面开始证明定理4.6

根据有界性引理和确界原理：

函数

在闭区间

上有上确界

下面要证明：存在

，使得

.

如若不然，对一切

,即上确界不可达。

令

由连续函数的局部保号性和四则运算性质，

。

故

，记作G。

故

则

这与M是

的上确界矛盾。

故存在

，使得

，故

同理可证，

在[a,b]上有最小值。

定理证毕。