第三节函数的极限01873

1、第三节第三节函数的极限函数的极限n 自变量趋向无穷大时函数的极限自变量趋向无穷大时函数的极限n 自变量趋向有限值时函数的极限自变量趋向有限值时函数的极限n 函数极限的性质函数极限的性质n 小结小结.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx播放播放一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化

2、趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限.sin时的变化趋势时的变化趋势当当观察函数观察函数 xxx一、自变量趋向无穷大时函数的极限问问题题: :函函数数)(xfy 在在 x的的过过程程中中, 对对应应函函数

3、数值值)(xf无无限限趋趋近近于于确确定定值值 a.;)()(任意小任意小表示表示axfaxf .的过程的过程表示表示 xxx. 0sin)(,无限接近于无限接近于无限增大时无限增大时当当xxxfx 通过上面演示实验的观察通过上面演示实验的观察:问题问题: 如何用数学语言刻划函数如何用数学语言刻划函数“无限接近无限接近”.定义定义 1 1 如果对于任意给定的正数如果对于任意给定的正数 ( (不论它多么小不论它多么小),),总存在着正数总存在着正数x, ,使得对于适合不等式使得对于适合不等式xx 的一切的一切x, ,所对应的函数值所对应的函数值)(xf都满足不等式都满足不等式 axf)(, ,那

4、末常数那末常数a就叫函数就叫函数)(xf当当 x时的极限时的极限, ,记作记作)()()(lim xaxfaxfx当当或或定定义义x .)(, 0, 0 axfxxx恒有恒有时时使当使当 axfx)(lim1、定义：、定义：:.10情形情形x.)(, 0, 0 axfxxx恒有恒有时时使当使当:.20情形情形xaxfx )(lim.)(, 0, 0 axfxxx恒有恒有时时使当使当axfx )(lim2、另两种情形、另两种情形: axfx)(lim:定定理理.)(lim)(limaxfaxfxx 且且xxysin 3、几何解释、几何解释: x x.2,)(,的带形区域内的带形区域内宽为宽为为中

5、心线为中心线直线直线图形完全落在以图形完全落在以函数函数时时或或当当 ayxfyxxxxaxxysin 例例1. 0sinlim xxx证明证明证证xxxxsin0sin x1 x1 , , 0 ,1 x取取时恒有时恒有则当则当xx ,0sin xx. 0sinlim xxx故故.)(,)(lim:的图形的水平渐近线的图形的水平渐近线是函数是函数则直线则直线如果如果定义定义xfycycxfx 二、自变量趋向有限值时函数的极限问问题题: :函函数数)(xfy 在在0 xx 的的过过程程中中,对对应应函函数数值值)(xf无无限限趋趋近近于于确确定定值值 a.;)()(任意小任意小表示表示axfax

6、f .000的过程的过程表示表示xxxx x0 x 0 x 0 x ,0邻域邻域的去心的去心点点 x.0程度程度接近接近体现体现xx 定义定义 2 2 如果对于任意给定的正数如果对于任意给定的正数 ( (不论它多不论它多 么小么小),),总存在正数总存在正数 , ,使得对于适合不等式使得对于适合不等式 00 xx的一切的一切 x, ,对应的函数值对应的函数值)(xf都都 满足不等式满足不等式 axf)(, ,那末常数那末常数 a就叫函数就叫函数)(xf当当0 xx 时的极限时的极限, ,记作记作 )()()(lim00 xxaxfaxfxx 当当或或 定义定义 .)(,0, 0, 00 axf

7、xx恒有恒有时时使当使当1、定义：、定义：2、几何解释、几何解释:)(xfy aaa0 x0 x0 xxyo.2,)(,0的带形区域内的带形区域内宽为宽为为中心线为中心线线线图形完全落在以直图形完全落在以直函数函数域时域时邻邻的去心的去心在在当当 ayxfyxx注意：注意：;)(. 10是是否否有有定定义义无无关关在在点点函函数数极极限限与与xxf. 2有有关关与与任任意意给给定定的的正正数数 .,越越小小越越好好后后找找到到一一个个显显然然 例例2).( ,lim0为常数为常数证明证明cccxx 证证axf )(cc ,成立成立 , 0 任给任给0 .lim0ccxx , 0 任取任取,00

8、时时当当 xx例例3.lim00 xxxx 证明证明证证,)(0 xxaxf , 0 任给任给, 取取,00时时当当 xx0)(xxaxf ,成立成立 .lim00 xxxx 例例4. 211lim21 xxx证明证明证证211)(2 xxaxf, 0 任给任给, 只只要要取取,00时时当当 xx函数在点函数在点x=1处没有定义处没有定义.1 x,)( axf要使要使,2112 xx就有就有. 211lim21 xxx例例5.lim00 xxxx 证证0)(xxaxf , 0 任给任给,min00 xx取取,00时时当当 xx00 xxxx ,)( axf要使要使,0 xx就有就有,00 xx

9、x .00且且不不取取负负值值只只要要 xxx.lim,0:000 xxxxx 时时当当证明证明3.单侧极限单侧极限:例如例如,. 1)(lim0, 10,1)(02 xfxxxxxfx证明证明设设两种情况分别讨论两种情况分别讨论和和分分00 xx,0 xx从左侧无限趋近从左侧无限趋近; 00 xx记作记作,0 xx从右侧无限趋近从右侧无限趋近; 00 xx记作记作yox1xy 112 xy左极限左极限.)(, 0, 000 axfxxx恒有恒有时时使当使当右极限右极限.)(, 0, 000 axfxxx恒有恒有时时使当使当000:000 xxxxxxxxx注意注意.)0()(lim0)(00

10、0axfaxfxxxx 或或记作记作.)0()(lim0)(000axfaxfxxxx 或或记作记作.)0()0()(lim:000axfxfaxfxx 定理定理.lim0不存在不存在验证验证xxxyx11 oxxxxxx 00limlim左右极限存在但不相等左右极限存在但不相等,.)(lim0不存在不存在xfx例例6证证1)1(lim0 xxxxxxx00limlim 11lim0 x三、函数极限的性质1.有界性有界性定理定理 若在某个过程下若在某个过程下, ,)(xf有极限有极限, ,则存在则存在过程的一个时刻过程的一个时刻, ,在此时刻以后在此时刻以后)(xf有界有界. .2.唯一性唯一

11、性定理定理 若若)(limxf存在存在,则极限唯一则极限唯一.推论推论).()(),(, 0,)(lim,)(lim0000 xgxfxuxbabxgaxfxxxx 有有则则且且设设3.不等式性质不等式性质定理定理( (保序性保序性) ).),()(),(, 0.)(lim,)(lim0000baxgxfxuxbxgaxfxxxx 则则有有若若设设).0)(0)(,),(, 0),0(0,)(lim000 xfxfxuxaaaxfxx或或时时当当则则或或且且若若定理定理( (保号性保号性) ).0(0),0)(0)(,),(, 0,)(lim000 aaxfxfxuxaxfxx或或则则或或时时

12、当当且且若若推论推论4.子列收敛性子列收敛性(函数极限与数列极限的关系函数极限与数列极限的关系) .)(),(,),(),(,)(.),(),(21000时的子列时的子列当当为函数为函数即即则称数列则称数列时时使得使得有数列有数列中中或或可以是可以是设在过程设在过程axxfxfxfxfxfaxnaxxxxaaxnnnn 定义定义.)(lim,)()(,)(limaxfaxxfxfaxfnnnax 则有则有时的一个子列时的一个子列当当是是数列数列若若定理定理证证.)(,0, 0, 00 axfxx恒有恒有时时使当使当axfxx )(lim0.0, 0, 00 xxnnnn恒有恒有时时使当使当对上

13、述对上述,)( axfn从而有从而有.)(limaxfnn 故故,lim00 xxxxnnn 且且又又例如例如,xxysin 1sinlim0 xxx, 11sinlim nnn, 11sinlim nnn11sin1lim22 nnnnn函数极限与数列极限的关系函数极限与数列极限的关系函数极限存在的充要条件是它的任何子列的极函数极限存在的充要条件是它的任何子列的极限都存在限都存在, ,且相等且相等. .xy1sin 例例7.1sinlim0不存在不存在证明证明xx证证 ,1 nxn取取, 0lim nnx; 0 nx且且 ,2141 nxn取取, 0lim nnx; 0 nx且且 nxnnn

14、sinlim1sinlim 而而, 1 214sinlim1sinlim nxnnn而而1lim n二者不相等二者不相等,.1sinlim0不存在不存在故故xx, 0 四、小结函数极限的统一定义函数极限的统一定义;)(limanfn ;)(limaxfx ;)(limaxfx ;)(limaxfx ;)(lim0axfxx ;)(lim0axfxx .)(lim0axfxx .)(, 0)(lim axfaxf恒有恒有从此时刻以后从此时刻以后时刻时刻(见下表见下表)过过 程程时时 刻刻从此时刻以后从此时刻以后 n x x xnnn nx nx nx )(xf axf)(0 xx 00 xx 0 xx 0 xx 00 xx00 xx过过 程程时时 刻刻从此时刻以后从此时刻以后 )(