S2闭区问上连续函数的性质实数完备性理论的一个重要作用就是证明闭区间上连续函数的性质，这些性质曾经在第四章给出过一、最大、最小值定理二、介值性定理三、一致连续性定理前页返回后页
前页 后页 返回 §2 闭区间上连续函数的性质 实数完备性理论的一个重要作用就是证 一、最大、最小值定理 经在第四章给出过. 明闭区间上连续函数的性质，这些性质曾 三、一致连续性定理 二、介值性定理 返回
一、最大、最小值定理首先来看一个常用的定理有界性定理若f(x)在闭区间[a,bl上连续,则f(x)在[a,b]上有界证用两种方法给出证明第一种方法使用有限覆盖定理.因为f (x)在[a, bl上每一点连续，从而局部有界.我们的任务就是将局部有界的性质化为整体有界性质后页返回前页
前页 后页 返回 首先来看一个常用的定理. 有界性定理 若 f (x) 在闭区间 [a, b] 上连续, 则 f (x) 在[ , ] . a b 上有界 证 用两种方法给出证明. 第一种方法 使用有限覆盖定理. 因为 f (x) 在 [a, b] 一、最大、最小值定理 局部有界的性质化为整体有界性质. 上每一点连续, 从而局部有界. 我们的任务就是将
对于任意的 te[a,bl,存在 M,>0,以及 s, >0当xe(t-s,t+s)n[a,b]时, I f(x)/≤M,设开区间集 H ={(t-S,t+s)Ite[a,bl},显然H覆盖了闭区间[a,b].由有限覆盖定理,在H中存在有限个开区间(t, -$,,t, +8,), .,(t, -8.,t, +o.)覆盖了[a,b].令 M =max[M, M,., M,],则对于任意xe[a,bl,存在i,1≤i≤n,使后页返回前页
前页 后页 返回 [ , ], 0, 0, t t 对于任意的 存在 以及 t a b M ( , ) [ , ] , t t 当 时 x t t a b − + | ( ) | . t f x M H 覆盖了闭区间[a, b]. 由有限覆盖定理, 在 H 中存 1 1 1 1 ( , ), , ( , ) n n t t n t n t t t t t − + − + 于任意 存在 使 x a b i i n [ , ], , 1 , { ( , ) | [ , ] }, t t 设开区间集 H = − + t t t a b 显然 1 2 [ , ]. max{ , , , }, n t t t 覆盖了 令 a b M M M M = 则对 在有限个开区间
xe(t, -S,t, +S,),因此I f(x)/≤M, ≤M.第二种证法采用致密性定理设f(x)在[a,b]上无界,不妨设f (x)无上界.则存在(x,} c[a,b], 使lim f(x,) = +oo.n8因为α，有界，从而存在一个收敛的子列.为了书写方便，不妨假设α，自身收敛，令limx, = Xon-→后页返回前页
前页 后页 返回 第二种证法 采用致密性定理. 因为{xn } 有界, 从而存在一个收敛的子列. 为了书 写方便, 不妨假设 {xn } 自身收敛, 令 0 lim . n n x x → = ( , ), | ( ) | . i i i i t i t t x t t f x M M − + 因此 设 f (x) 在[a, b]上无界, 不妨设 f (x)无上界. 则存在 lim ( ) . n n f x → = + { } [ , ], n x a b 使
因a≤x,≤b,则a≤x,≤b.又因f(x)在x.连续故由归结原理可得+oo = lim f(x,) = lim f(x) = f(x,),n00x-xo矛盾最大、最小值定理(定理4.6)若函数f(x)在[a,b)上连续，则f(x)在[a,bl上取最大、最小值证 f (x)在[a,bl 上连续,因而有界.由确界定理f (x) 在[a, bl 上的值域有上确界.设前页后页返回
前页 后页 返回 0 0 , . ( ) , n 因 则 又因 在 连续 a x b a x b f x x 故由归结原理可得 0 0 lim ( ) lim ( ) ( ), n n x x f x f x f x → → + = = = 矛盾. 最大、最小值定理(定理4.6) 若函数 f (x) 在[a, b] 证 f (x) 在 [a, b] 上连续, 因而有界. 由确界定理, f (x) 在 [a, b] 上的值域有上确界. 设 上连续, 则 f (x) 在 [a, b] 上取最大、最小值