闭区间上连续函数的性质.docVIP

§4.2 闭区间上连续函数的性质 性质的证明 定理1.（有界性）若函数 SKIPIF 1 0 在闭区间[a,b]连续，则函数 SKIPIF 1 0 在闭区间[a,b]有界，即 SKIPIF 1 0 SKIPIF 1 0 0, SKIPIF 1 0 [a,b],有| SKIPIF 1 0 |≤ SKIPIF 1 0 . 证法：由已知条件得到函数 SKIPIF 1 0 在[a,b]的每一点的某个邻域有界.要将函数 SKIPIF 1 0 在每一点的邻域有界扩充到在闭区间[a,b]有界，可应用有限覆盖定理，从而得到 SKIPIF 1 0 0. 证明：已知函数 SKIPIF 1 0 在[a,b]连续，根据连续定义， SKIPIF 1 0 [a,b]，取 SKIPIF 1 0 =1， SKIPIF 1 0 0, SKIPIF 1 0 ( SKIPIF 1 0 ) SKIPIF 1 0 [a,b],有 | SKIPIF 1 0 SKIPIF 1 0 |1.从而 SKIPIF 1 0 ( SKIPIF 1 0 ) SKIPIF 1 0 [a,b]有 | SKIPIF 1 0 |≤| SKIPIF 1 0 SKIPIF 1 0 |+ SKIPIF 1 0 SKIPIF 1 0 +1 即 SKIPIF 1 0 [a,b]，函数 SKIPIF 1 0 在开区间( SKIPIF 1 0 )有界。显然开区间集 { ( SKIPIF 1 0 )| SKIPIF 1 0 [a,b] }覆盖闭区间[a,b].根据有限覆盖定理（4.1定理3），存在有限个开区间，设有n个开区间 {（ SKIPIF 1 0 ）| SKIPIF 1 0 [a,b] }，k=1,2,3,…,n 也覆盖闭区间[a,b] ，且 SKIPIF 1 0 （ SKIPIF 1 0 ）| SKIPIF 1 0 [a,b]，有| SKIPIF 1 0 |≤ SKIPIF 1 0 +1，k=1,2,3,…,n 取 SKIPIF 1 0 =max{ SKIPIF 1 0 }+1. 于是 SKIPIF 1 0 [a,b]， SKIPIF 1 0 {1，2,…，n},且 SKIPIF 1 0 （ SKIPIF 1 0 ） SKIPIF 1 0 [a,b]， 有| SKIPIF 1 0 |≤ SKIPIF 1 0 +1≤ SKIPIF 1 0 定理2（最值性）：若函数 SKIPIF 1 0 在闭区间 SKIPIF 1 0 连续，则函数 SKIPIF 1 0 在区间能取到最小值m与最大值M，即： SKIPIF 1 0 使： SKIPIF 1 0 与 SKIPIF 1 0 SKIPIF 1 0 证明：根据定理3，数集 SKIPIF 1 0 有界。 设：sup SKIPIF 1 0 用反证法：假使 SKIPIF 1 0 有 SKIPIF 1 0 M,显然， SKIPIF 1 0 ( SKIPIF 1 0 )，且 SKIPIF 1 0 在 SKIPIF 1 0 连续，于是函数 SKIPIF 1 0 在 SKIPIF 1 0 连续，根据定理3，函数 SKIPIF 1 0 在 SKIPIF 1 0 有界，即： SKIPIF 1 0 ， SKIPIF 1 0 SKIPIF 1 0 ，或， SKIPIF 1 0 由上确界的定义知：M不是数集 SKIPIF 1 0 的上确界，矛盾，于是 SKIPIF 1 0 ，使 SKIPIF