连续函数的局部闭区间上连续函数的反函数的$2连续函数的性质一致连续性性质连续性基本性质第四讲连续函数的整体性质数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 আ֚ઔ କӡރङޅѽ ૅۅ ԙІডӠࣩݤ ׁޯ㓬ઔ
闭区间上连续函数的反函数的连续函数的局部S2连续函数的性质一致连续性性质连续性基本性质闭区间上连续函数的基本性质设f在闭区间[a,b上连续.在本节中将研究f在[a,b]上的整体性质定义1设f(x)为定义在数集D上的一个函数．若存在XED,使得对一切 xED，均有f(x)≤ f(xo)(f()≥ f(x))则称 f(x)在D上有最大(小)值，x。称为最大(小)值点，f(x)称为f(x)在D上的最大(小)值数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 ؓТ ഛ᳝ ( ) ( ) ( ( ) ( ) ), 0 x0 f x d f x f x t f [,] . a b Ϟⱘᭈԧᗻ䋼 䆒 f 䯁ऎ䯈 [a,b]Ϟ䖲㓁. ᴀ㡖Ёᇚⷨおf ԚЇକӡރङׂۅߎૅ 䆒 fx D () . ЎᅮН᭄䲚 ϞⱘϔϾߑ᭄ 㢹ᄬ ߭⿄ fx D () ( ) , Ϟ᳔᳝ ᇣ ؐ 0 x ⿄Ў᳔( ) ᇣ ؐ 0 ⚍fx fx D ( ) () ( ) . ⿄Ў Ϟⱘ᳔ ᇣ ؐ ԙІডӠࣩݤ ׁޯ㓬ઔ 0 x D , Փᕫᇍϔߛ x D ,
连续函数的局部闭区间上连续函数的反函数的$2连续函数的性质一致连续性性质连续性基本性质例如，符号函数y=sgnx的最大值为1，最小值为-1;正弦函数y=sinx的最大值为1，最小值为-1；函数y=x一[x]的最大值不存在，最小值为零L注意： J=sinx 在(-2)）上既无最大值，又无最小A值(其上确界为1,下确界为-1)定理4.6（最大、最小值定理）若函数f(x)在闭区间[a,bl上连续，则f(x)在[a,b]上有最大、最小值这个定理刻画了闭区间上连续函数的一个深刻的内涵，在今后的学习中有很广泛的应用数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 eࣂؓҚسޣ澝לޣa ࣂؓ y x [x] ⱘ᳔ؐϡᄬ Ϟ᮶᮴᳔ؐ π π sin ( , ) 2 2 y x ヺোߑ᭄y sgn xⱘ᳔ؐЎ ℷᓺߑ᭄ y x sin ⱘ᳔ؐЎ ؐ 䖭Ͼᅮ⧚ࠏ⬏њ䯁ऎ䯈Ϟ䖲㓁ߑ᭄ⱘϔϾ⏅ࠏⱘ ⎉ݙ ᭄ߑ 㢹ߑ᭄ f x ab ( ) [,] 䯁ऎ䯈 Ϟ䖲㓁ˈ [,] . a b Ϟ᳔᳝ǃ᳔ᇣؐ ⊼ᛣ ԙІডӠࣩݤ ׁޯ㓬ઔ ߭ f x( ) ՟བ ᳔ᇣؐЎ ᳔ᇣؐЎ ᳔ᇣؐЎ䳊 জ᮴᳔ᇣ (݊Ϟ⹂⬠Ў1, ϟ⹂⬠Ў1 ). ҞৢⱘᄺдЁ᳝ᕜᑓ⊯ⱘᑨ⫼
连续函数的局部闭区间上连续函数的反函数的$2连续函数的性质一致连续性性质连续性基本性质为了更好地证明定理，我们先证明一个引理引理（有界性定理）若函数f(x)在[a,b]上连续，那么f(x)在[a,b]上有界若不然,不妨设 f(x)在[a,b]上无界.则存在证xnE[a,b]，使得f(xn) > n, n = 1,2,...由此得到limf(xn)= +0. 因为(x,}([a,bl)是有界数列，所以由致密性定理,{x,}有收敛子列(αx}设limxn=Xo，由于 ≤xm≤b,由极限的不等式得k->o0数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 eࣂؓ㓬ࣙޥaࣂڕ 䙷Мf x ab () [,] . Ϟ᳝⬠ 㢹ϡ✊, ( ) [ , ] . ϡོ䆒 f x ab Ϟ᮴⬠ [,] n x ab ˈՓᕫ ( ) , , , 1 2 n f x nn ! lim ( ) . n n ⬅ℸᕫࠄ f x of f ᭄߫, 㢹ߑ᭄f x ab () [,] Ϟ䖲㓁ˈ ߭ᄬ { }( [ , ]) n Ў x ab ᰃ᳝⬠ { } { }. n nk ᠔ҹ⬅㟈ᆚᗻᅮ⧚ˈx x ᳝ᬊᬯᄤ߫ Ўњདഄ䆕ᯢᅮ⧚ˈ 0 lim , nk k 䆒 x x of , nk ⬅Ѣax b d d ⬅ᵕ䰤ⱘϡㄝᓣᕫ ԙІডӠࣩݤ ׁޯ㓬ઔ ៥Ӏܜ䆕ᯢϔϾᓩ⧚. 䆕
连续函数的局部闭区间上连续函数的反函数的S2连续函数的性质一致连续性性质基本性质连续性a≤x≤b，故f(x)在xo上连续由归结原则推得+oo = lim f(xn) = lim f(xn )= f(xo),k-00n>00矛盾。所以f(x)在[a,b]上有界。定理4.6的证明由引理和确界原理，存在上确界sup f(x) = M.xe[a,b]下面说明:存在ε[a,b]，使 f(s)=M．若不然,对一切x E[a,b]都有f(x)< M. 令1g(x) :x e[a,b].M- f(x)数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 0 ax b d d , + lim ( ) lim ( ) ( ), 0 n nk n k fx fx fx of of f 0 ᬙ fx x ( ) Ϟ䖲㓁 Ⳓ. ⬅ᔦ㒧ॳ߭ᕫ ᅮ⧚4 6. ⱘ䆕ᯢ [,] sup ( ) . x ab fx M ᄬ[ [,] a b ˈ ᇍϔߛx ab f x M [,] ( ) . 䛑᳝ 1 ( ) , [ , ]. ( ) g x x ab M fx ⬅ᓩ⧚⹂⬠ॳ⧚ˈ 㢹ϡ✊ˈ Ҹ ᠔ҹ f x ab () [,] . Ϟ᳝⬠ ԙІডӠࣩݤ ׁޯ㓬ઔ ᄬϞ⹂⬠ ϟ䴶䇈ᯢ˖ Փ f M () . [
连续函数的局部闭区间上连续函数的反函数的S2连续函数的性质一致连续性性质基本性质连续性易见函数g(x)在[a,b]上连续，且取正值.由引理g(x)有上界J，即有10 <g(x)≤ J,xe[a,b].M- f(x)1从而推得f(x)≤M,xe[a,b].J但这与M是,f(x)在[a,b]上的上确界矛盾。所以存在e[a,b],使f()=M. 即f(x)在[a,b]上取最大值,同理，f(x)在[a,b]上取最小值数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 ᯧ㾕ߑ᭄gx ab () , > @Ϟ䖲㓁 ᳝Ϟ⬠J, ⬅ᓩ⧚g x( ) े᳝ 1 0 ( ) , [ , ]. ( ) gx J x ab M fx d ԙІডӠࣩݤ ׁޯ㓬ઔ ৠ⧚ˈf x ab () , . > @Ϟপ᳔ᇣؐ 1 f x M x ab ( ) , [ , ]. J Ң㗠ᕫ d Ԛ䖭ϢM f x ab ᰃ ( ) [,] . ϞⱘϞ⹂⬠Ⳓ ᠔ҹᄬ [ [ , ], a b ेf x ab ( ) [,] . Ϟপ᳔ؐ Ϩপℷؐ Փf M () . [
连续函数的局部闭区间上连续函数的反函数的$2连续函数的性质一致连续性性质连续性基本性质定理4.7（介值性定理）设函数f(x)在闭区间[a,b] 上连续且f(a)≠ f(b). 若u是介于 f(a)与 f(b)之间的任一数(f(a)<u< f(b)或 f(b)<μ< f(a)则(至少)存在一点x E(a,b),使得f(xo) = μu.数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 ؓࣂ4.7 ͣяҚ㓬ؓࣂ e 䆒ߑ᭄ f (x)䯁ऎ䯈 [a,b] 䯈ⱘӏϔ᭄ ( ) . f x0 P Ϩ f (a) z f (b) . 㢹PᰃҟѢ fa fb () () Ϣ П Ϟ䖲㓁, ߭(㟇ᇥ)ᄬϔ⚍ x0 (a ,b) ,Փᕫ ԙІডӠࣩݤ ׁޯ㓬ઔ ( ( ) ( ) ( ) ( )), fa fb fb fa P P
连续函数的局部闭区间上连续函数的反函数的S2连续函数的性质一致连续性性质连续性基本性质从几何上看，当连续曲线y=f(x)从水平直线=μ的一侧穿到另一侧时，两者至少有一个交点yf(a)y=f(x)uf(b)0xoab x数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 ᔧ䖲㓁᳆㒓y fx ( ) Ң∈ᑇⳈ㒓y P ⱘϔջこࠄϔջᯊ, y fx ( ) x y o x f (a) f (b) P a x0 b ԙІডӠࣩݤ ׁޯ㓬ઔ ҢԩϞⳟ ϸ㗙㟇ᇥ᳝ϔϾѸ⚍.
连续函数的局部闭区间上连续函数的反函数的S2连续函数的性质一致连续性性质连续性基本性质推论（根的存在性定理）若f(x)在[a,bl上连续，f(a)f(b)<0则至少存在一点xo，使f(x）=0.应当注意，此推论与定理4.7是等价的.于是，只要证明了推论，也就完成了定理4.7的证明，下面用确界定理来证明上述推论，大家要注意学习确界定理的使用方法数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 eࣂؓ㓬֧ࣩߠaܱ 㢹 f (x)[a,b]Ϟ䖲㓁 , ℸ䆎Ϣᅮ⧚4.7ᰃㄝӋⱘ. f (a) f (b) 0 , ߭㟇ᇥᄬϔ⚍ , 0 x 0 Փ f x( ) 0. ϟ䴶⫼⹂⬠ᅮ⧚ᴹ䆕ᯢϞ䗄䆎, 䆕ᯢњ䆎, ⹂⬠ᅮ⧚ⱘՓ⫼ᮍ⊩. ԙІডӠࣩݤ ׁޯ㓬ઔ ᑨᔧ⊼ᛣ, Ѣᰃ, া㽕 гህᅠ៤њᅮ⧚4.7ⱘ 䆕ᯢ. ᆊ㽕⊼ᛣᄺд
连续函数的局部闭区间上连续函数的反函数的S2连续函数的性质一致连续性性质连续性基本性质证 不妨设 f(a)>0,f(b)<0，并设E=(xlxe[a, b],f(x)≥0}y(E为图中x轴上的红线部分）从几何上看，E的最大值就是函数的零点．证明如下：因为 aEE,所以E≠の，又E是有界的,故由确界定理，x。=supE存在，显然a≤x≤b.数学分析第四章函数的连续性高等教育出版社
ড㓬ࣩݤӠॕ्֙ ߅Ӣݤ ॑࣍ਃӟݾঈ hডӠࣩݤ㓬ઔ ডӠفࣩݤ 㓬ઔ ԙІডӠࣩݤ ׁޯ㓬ઔ ࣩݤՅӠ ড㓬 ▁৩ড㓬 (EЎЁx 䕈Ϟⱘ㑶 E {x | x [ a, b ], f (x) t 0 }. ϡོ䆒 fa fb ( ) 0, ( ) 0, ! ᑊ䆒 x y 䳊⚍. O a b ⱘ᳔ؐህᰃߑ᭄ⱘ 㒓䚼ߚ (ҢԩϞⳟ, E Ў a E , ᠔ҹ E z , জ E ᰃ᳝⬠ⱘ, ᬙ⬅⹂ ⬠ᅮ⧚, x0 sup E ᄬˈ . ᰒ✊ a d x0 d b ԙІডӠࣩݤ ׁޯ㓬ઔ 䆕 䆕ᯢབϟ˖