第4节函数极限的定义与基本理论ppt课件

1、2.4 函数的极限的定义 与基本理论一、极限的定义.0,sin1时时的的变变化化当当、观观察察函函数数 xxxy问题 :如何用描述?定义4.1 （邻域）称称集集合合,|0|);(00 xxxxUo).(00 xUxo 的的去去心心邻邻域域，或或记记为为为为点点定义4.2函数极限）的的去去心心邻邻域域，在在点点设设0)(xxf为为一一个个实实数数，若若内内有有定定义义， AxUo)(0 时时，有有当当对对 |, , 00 xx， |)(|Axf.)(lim,)(,00AxfAxfxxxx 记记为为为为极极限限以以时时称称注1：注2：注3：图图形形完完全全落落在在以以函函数数当当)(),;(0 x

2、fyxUxo .2,的的带带形形区区域域内内宽宽为为为为中中心心线线直直线线 Ay .0附附近近取取值值有有关关极极限限为为局局部部性性质质，仅仅和和 x.有关有关取值和取值和 ;)(0是是否否有有定定义义无无关关在在点点与与xxf几何意义xxysin 例1. 0sinlim xxx证证明明证xxxxsin0sin x1 , 0 ,1 X取取时时恒恒有有则则当当Xx ,0sin xx. 0sinlim xxx故故例2. 211lim21 xxx证证明明证211)(2 xxAxf, 0 任给任给, 只只要要取取,00时时当当 xx函数在点函数在点x=1处没有定义处没有定义.1 x,)( Axf要

3、要使使,2112 xx就就有有. 211lim21 xxx定义4.3极限不存在的定义）为极限：为极限：不以不以在在函数函数Axxf0)(, 0, 00 对对.|)(|,|000 Axfxxx但但满满足足例2.)0(,0)(处处处处不不连连续续，在在证证明明 QRxQxxxf为为有有理理数数，则则若若，对对任任意意00),0(xx 证明由由实实数数稠稠密密性性，知知对对, 0, 0200 x，满足，满足存在无理数存在无理数 x但但,| |00 xx.| ) ()(|00 xxfxf为为无无理理数数，若若0 x,200 x 对对由实数稠密性，由实数稠密性，, 0200 x ，满足，满足存在有理数存

4、在有理数 x但但,2,| |000 xxxx .| ) ()(|0 xxfxf.所以处处极限不存在所以处处极限不存在二、函数极限的性质.)(lim0存在，则极限必唯一存在，则极限必唯一若若xfxx证明：;|)(| ,| , 0101 Axfxx性质4.1.（唯一性）, 0,)(lim,)(lim00 则则若若BxfAxfxxxx;|)(| ,| , 0202 Bxfxx则则,|,min021 xx.2|)(|)(|BABxfAxfBA ，即即 证明：1.|)(| Axf|)(|)(| )(|AAxfAAxfxf .)()( ,)(lim000内有界内有界的邻域的邻域在在则则存在存在xUxxfx

5、foxx 性质4.2.（局部有界性）时时当当取取 |00,1,0 xx.)()(00内内有有界界的的邻邻域域在在所所以以xUxxfo .|1MA 则则设设,)(lim,)(lim00BxgAxfxxxx 性质4.3. (保序性).BA ,)1(BA 若若).()(xgxf ,),(, 000时时当当 xUx 则则时时当当若若),()(,),(, 0)2(00 xgxfxUx 证明：由由取取,2BA 知知,)(lim,)(lim00BxgAxfxxxx ;2|)(| ,| , 0101BAAxfxx ;2|)(| ,| , 0202BABxgxx 则则两两式式同同时时成成立立,|,min021

6、xx2)(,2)(BAxgBAxf 和和即即).()(xgxf 所所以以),0(0,)(lim0 AAAxfxx或或且且若若性质4.4(保号性)证明：则则取取,|0 , 0,20 xxA得得,2|)(|AAxf .23)(20AxfA ).0)(0)(,),(, 00 xfxfxUxo或或时时当当则则 .)(有相同的符号有相同的符号在该邻域内与在该邻域内与所以所以Axf下下列列函函数数满满足足时时如如果果当当, )( 0 xUxo ),()()()1(xhxfxg ,)(lim,)(lim)2(00AxhAxgxxxx . , )(lim 0Axfxx且且等等于于存存在在那那么么性质4.5(夹

7、逼定理)证明：;)(,|0, 0101 AxgAxx时时当当时时当当取取 |0 ),min(021xx;)()()( AxhxfxgA;)(,|0, 0202 AxhAxx时时当当.|)(| Axf故故, 0 .)(lim 0Axfxx 即即AC例3 求.sinlim0 xxxxoBD,tansinxxx , 1sincos xxx即即.02也也成成立立上上式式对对于于 x,20时时当当 xxcos1 2sin22x 2)2(2x ,22x , 02lim20 xx, 0)cos1(lim0 xx, 1coslim0 xx, 11lim0 x又又. 1sinlim0 xxx 0解：如图易得 三

8、、极限的四则运算性质. 0,)()(lim)3( BBAxgxf其中其中定理4.1函数极限四则运算性质）则则设设,)(lim,)(limBxgAxf ;)()(lim)1(BAxgxf ;)()(lim)2(BAxgxf ,)(lim,)(lim000 xtgAxfttxx 设设 .)(lim)(lim00Axftgfxxtt 则则,)()(00 xtgtUo 内内且在且在 定理4.2复合函数的极限）证明：.|)(| Atgf,)(lim0Axfxx , 0, 0 ,),(0时时当当 xUxo .|)(| Axf, 0 对上述对上述, 0 ,),(0时时当当 tUto ,|)(|0 xtg),

9、()(0 xUtgo ,0, 10, 0)(uuufyxxxgu1sin)( , 1)(lim, 0)(lim00 ufxgux.)(lim0不不存存在在xgfx.)()(00不不能能少少内内在在xtgtUo 注： ),()(00 xUxf 定定义义在在设设函函数数定理定理4.3 ( 海涅定理海涅定理) 都都有有,)(0000 xxxxUxnn Axfax )(lim则，则，的充分必要条件是：的充分必要条件是：.)(limAxfnn 注注: 海涅定理建立了数列极限和函数极限的联系海涅定理建立了数列极限和函数极限的联系 四、海涅定理和柯西定理证：恒恒有有时时使使当当,0, 0, 00 xxAxf

10、xx )(lim0.0, 0, 00 xxNnNn恒恒有有时时使使当当对对上上述述,)( Axfn从而有从而有.)(limAxfnx 故故,lim00 xxxxnnn 且且又又.)( Axf不不成成立立，假假设设Axfxx )(lim0nxxNn1|0 , , 00*0 存在满足存在满足对对则必则必 但但是是即即找找到到了了一一个个数数列列,|00 xxxxxnnn .)(limAxfnn 该结论可以方便的证明函数极限不存在.注：. 0|)(| 0 Axfxnn使使得得，的的点点xy1sin 例4.1sinlim0不不存存在在证证明明xx证 ,1 nxn取取, 0lim nnx; 0 nx且且

11、 ,2141 nxn取取, 0lim nnx; 0 nx且且 nxnnnsinlim1sinlim 而而, 1 214sinlim1sinlim nxnnn而而1lim n, 0 得证,|0 ,|0,020121 xxxxxx满满足足，对对.)()(21 xfxf都有都有证明：,)(lim0Axfxx .2|)(| ,00 Axfxx时时当当则则特特别别：取取2 , 1,|00 ixxi .22)()()()(2121 AxfAxfxfxf,0,0 定理定理4.4 ( 柯西收敛定理柯西收敛定理) ),()(00 xUxf 定义在定义在函数函数Axfax )(lim则，则，的充分必要条件是：的充

12、分必要条件是：00, )(lim,00 xxxxxnnnn 满满足足任任取取,N0,* N 对对时时，当当Nnm , |00 xxm | )()(|mnxfxf.)(列列是是Cauchyxfn.)(lim存在存在xnnlxf ,00 xxn.)(limynnlyf 同理存在同理存在.,2211nnnzyxyxyx组组成成将将,00 xxxxnn 的的数数列列对对任任意意收收敛敛于于.)(limlxfnn 都都有有知知定定理理据据,Heine.)(lim0lxfxx ,的的子子列列是是由由于于nnnzyx. lllyx ),(lim00 xzxznnn 且且.)(limlzfnn 左极限.)(, 0, 000 Axfxxx恒恒有有时时使