从本文开始,我们要证明一些有关连续性的定理,这些定理的一个普遍特点就是直观上是显然的,但证明是困难的,十分具有分析学的色彩。
定理4.6 最大、最小值定理
若函数在闭区间上连续,那么在闭区间上有最大值与最小值。
要证明最大最小值定理,首先要证明一个引理:
有界性引理:若函数在闭区间上连续,那么在闭区间上有界。
证明:
不妨假设
闭区间
上无上界,那么存在
,使得 :
那么一方面 有
(1)
另一方面 数列
,故
是有界数列。那么根据致密性定理,
存在收敛的子列
。
记
.
由于
由数列极限的保不等式性得
在闭区间
内,又因为函数
在闭区间
上连续,知
在
处连续。
那么有
(2)
此时,因为
由归结原则
(3)
此外,由于
是
的子列,有一个基本事实:
(4)
联系(1)(2)(3)(4)得
即
在
处既连续又无穷间断,矛盾。
故
闭区间
上有界。
引理证毕。
下面开始证明定理4.6
根据有界性引理和确界原理:
函数
在闭区间
上有上确界
下面要证明:存在
,使得
.
如若不然,对一切
,即上确界不可达。
令
由连续函数的局部保号性和四则运算性质,
。
故
,记作G。
故
则
这与M是
的上确界矛盾。
故存在
,使得
,故
同理可证,
在[a,b]上有最小值。
定理证毕。