有限闭区间上连续函数的性质.pptVIP

§ 2.10 有限闭区间上连续函数的性质 2009 ／ 11 ／ 24 一、一致连续性定理 （康托定理） 定理： . ] , [ ], , [ 上一致连续 在 则 b a f b a C f ? 证明： 上不一致连续， 在 假设 I f . ) ( ) ( 0 ? ? ? n n t f s f 使得： n t s t s n n n n 1 , , ? ? ? ? ? ? ? }, { , , n k n s b a s 必有收敛子列 由于 ? 利用列紧性证明 , , 0 * 0 N n ? ? ? ? ? ? ? . , lim b a s s n k n ? ? ? ? . 0 1 ? ? ? ? ? ? ? ? ? s s k s s s t s t n n n n n k n k k k k ? . lim s t n k n ? ? ? ? 连续： 由 f 但由题设： , 0 ) ( ) ( ? ? ? s f s f ) ( ) ( lim n n n k k t f s f ? ? ? , ) ( ) ( 0 ? ? ? n n k k t f s f . 矛盾 例 1. ? ? , ) ( ) ( , , 存在 和 且 ? ? ? b f a f b a C f 证明： . ) ( , ) ( lim lim B x f A x f b x a x ? ? ? ? ? ? 令 ? ) ( ~ x f ? A , a x ? ) ( x f ), , ( b a x ? B . b x ? . ) , ( ) ( ~ ] , [ ) ( ~ 内也一致连续 在 内一致连续，从而 在 b a x f b a x f . ) , ( 内一致连续 在 即 b a f . ) , ( 一致连续 在 求证： b a f 例 2 . . ) ( ) ( ) , ( 存在 ， 内一致连续，则 在 ? ? b f a f b a f 证明 ： 时， 且 当 ? ? ? ? ? ? ? ? ? ? ? | | ), , ( , , 0 , 0 2 1 2 1 x x b a x x ) , ( , 2 1 ? ? ? ? a a x x . | ) ( ) ( | , 0 , 0 2 1 2 1 ? ? ? ? ? ? ? ? ? ? ? x f x f a x a x 有 ; ) ( lim 存在 根据柯西收敛准则， x f a x ? ? a ? ? a （ ） · · 1 x 2 x . | ) ( ) ( | 2 1 ? ? ? x f x f 有 . ) ( : lim 存在 同理 x f b x ? ? 二、有界性定理 证明： . ] , [ ) ( 上无上界 在 若不然，设 b a x f , ) ( ], , [ , * n x f b a x N n n n ? ? ? ? ? 使 ]. , [ lim }, { ], , [ } { b a x x b a x n n k n k n ? ? ? ? ? ? 有收敛子列 . ) ( ) ( lim , 存在 连续 由 ? f x f f n k n ? ? ? . , ) ( lim , ) ( 矛盾 有 但由 ?? ? ? ? ? ? n n k n n k x f n k x f 定理： ? ? ? ? . , , , 上有界 在 b a f b a C f ? 例 3. ? ? . ) ( lim , 存在 ，且 设 x f a C f x ?? ? ?? ? . ) , [ ) ( 有界 在 求证： ?? a x f 证明： , ) ( lim A x f x ? ?? ? 设 ① . 1 | ) ( | , , ? ? ? ? ? A x f N x a N 时 使 . 1 | | | ) ( | | ) ( | | ) ( | A A A x f A A x f x f ? ? ? ? ? ? ? ? ② . ] , [ 连续，必有界 上 在 f N a . | ) ( | ], , [ M x f N a x ? ? ? ? ③ ), , [ | | 1 ?? ? ? ? ? a x M A L ，则对一切 令 . | ) ( | L x f ? 总有 三、最值定理 . ], , [ 值 必能取到最大值和最小 则 设 f b a C f ? ). ( inf ), ( sup ] , [ ] , [ x f m x f M b a x b a x ? ? ? ? 记 . ) ( , ) ( ], , [ , * * * * m x f M x f