$1-4函数的极限2.sin时的变化趋势当观察函数xxx播放一、自变量趋向无穷大时函数的极限(limitoffunction)$1-4函数的极限3;)()(任意小表示AxfAxf.的过程表示xXx.0sin)(,无限接近于无限增大时当xxxfx通过上面演示实验的观察:问题:如何用数学语言刻划函数“无限接近”.问题:函数)(xfy在x的过程中,对应函数值)(xf无限趋近于确定值A.(approachesinfinitely)$1-4函数的极限4定义1如果对于任意给定的正数(不论它多么小),总存在着正数X,使得对于适合不等式Xx的一切x,所对应的函数值)(xf都满足不等Axf)(,那末常数A就叫函数)(xf当x时的极限,记作)()()(limxAxfAxfx当或定义X.)(,,0,0AxfXxX恒有时使当Axfx)(lim1、定义:$1-4函数的极限501.:x情形.)(,,0,0AxfXxX恒有时使当02.:x情形Axfx)(lim.)(,,0,0AxfXxX恒有时使当Axfx)(lim2、另两种情形::lim()xfxA定理.)(lim)(limAxfAxfxx且$1-4函数的极限6注意:(1),是任意小的正数它描述的与A)(xf接近程度;(2)是正实数,X与有关,.),(不唯一XXX(3)axAxfnnxlim)(lim是的推广.$1-4函数的极限7证明的方法:Axfx)(lim关键是对时,使当找出XxX,00.)(Axf恒有的求法:X),(Xx.)X(X即可取)(中解出从Axf(直接法或间接法)(directmethodorindirectmethod)$1-4函数的极限8xxysin3、几何解释:XX.2,)(,的带形区域内宽为为中心线直线图形完全落在以函数时或当AyxfyXxXxA(stripregion)$1-4函数的极限9xxysin例1(补充).0sinlimxxx证明证xxxxsin0sin要使x1,,0对,1X取恒有时则当,Xx,0sinxx.0sinlimxxx故:lim(),()xfxcycyfx如果则定义直线是函数的图形的只要即可,1x水平渐近线(horizontalasymptote).$1-4函数的极限10二、自变量趋向有限值时函数的极限若函数)(xfy在0xx的过程中,对应函数值)(xf无限趋近于确定值A,就说A是f(x)当xx。时的极限。0()xxfxA即充分小时,可任意小。例如:221()221xfxx即可任意小12221()1211,()1()21xfxxxxfxxfxx时,时虽在无定义,仍有012y=x+11211xyx$1-4函数的极限11;)()(任意小表示AxfAxf.000的过程表示xxxxx0x0x0x,0邻域的去心点x.0程度接近体现xx2201()2211εεxfxxεx任意小用字母刻划,,要使01(xεδδε只要叫),即可。$1-4函数的极限12定义2如果对于任意给定的正数(不论它多么小),总存在正数,使得对于适合不等式00xx的一切x,对应的函数值)(xf都满足不等式Axf)(,那末常数A就叫函数)(xf当0xx时的极限,记作)()()(lim00xxAxfAxfxx当或定义.)(,0,0,00Axfxx恒有时使当1、定义:$1-4函数的极限13定义.)()(,0,0,000时的极限当为,则称恒有时使当若对xxxfAAxfxx注意:;)(0是否有定义无关在点函数极限与xxf,)2(有关与任意给定的正数(1)表示00xx,0xx即.),(且不唯一00()εδxxδfxAε一般越小,也越小。当时,1010()δδxxδfxAε则对,时,也有$1-4函数的极限142、几何解释:)(xfyAAA0x0x0xxyo.2,)(,0的带形区域内宽为为中心线线图形完全落在以直函数域时邻的去心在当Ayxfyxx.,,越小越好后找到一个显然证明的方法:Axfxx)(lim0从),()(0xxAxf中解出)即可(令(直接法或间接法).$1-4函数的极限15例Example2(P44)).(,lim0为常数证明CCCxx证Axf)(CC,,0对任给的0.lim0CCxx,0任取,00时则当xx例Example3(P45).lim00xxxx证明证,)(0xxAxf要使,0任给,即可取,00时当xx0)(xxAxf,成立.lim00xxxx要使只要CCε$1-4函数的极限16例Example4(P45).211lim21xxx证明证211)(2xxAxf,0任给,只要取01,xδ当时函数在点x=1处没有定义.1x,)(Axf要使,2112xx就有.211lim21xxx$1-4函数的极限17例Example5(P46).lim00xxxx证0)(xxAxf,0任给},,min{00xx取,00时当xx00xxxx,)(Axf要使,0xx就有,00xxx不取负值且只要xxxx00.lim,0:000xxxxx时当证明.)(00即可xxxx0xo$1-4函数的极限18例Example6(补充)证明.sinsinlim00xxxx证Proof,0要使00sinsinsin)(xxxxf2sin2cos200xxxx2sin20xx220xx,0xx.即可取于是,当时,00xx,sinsin0xx故.sinsinlim00xxxx$1-4函数的极限19例Example7(补充)证明.03lim3xxx证Proof,0要使,23303xxxxx,3x,13x不妨设即,42x,2x,211x只要.23即可x取,2,1min则当时,30x,03xx故.03lim3xxx$1-4函数的极限203.单侧极限(one-sidedlimit):例如,.1)(lim0,10,1)(02xfxxxxxfx证明设两种情况分别讨论和分00xx,0xx从左侧无限趋近;00xx记作,0xx从右侧无限趋近;00xx记作yox1xy112xy$1-4函数的极限21左极限(leftlimit).)(,,0,000Axfxxx恒有时使当右极限(rightlimit).)(,,0,000Axfxxx恒有时使当.)0()(lim0)(000AxfAxfxxxx或记作.)0()(lim0)(000AxfAxfxxxx或记作x0x0x0x$1-4函数的极限22.)0()0()(lim:000AxfxfAxfxx定理.lim0不存在验证xxxyx11oxxxxxx00limlim左右极限存在但不相等,.)(lim0不存在xfx例8(习题1-4,6)证1)1(lim0xxxxxxx00limlim11lim0x注意:求分段点的极限必须用左右极限讨论.$1-4函数的极限23三、函数极限的性质1.有界性定理若在某个过程下,)(xf有极限,则存在过程的一个时刻,在此时刻以后)(xf有界.2.唯一性定理若)(limxf存在,则极限唯一.$1-4函数的极限24推论).()(),,(,0,)(lim,)(lim0000xgxfxUxBABxgAxfxxxx有则且设3.不等式性质(characterofinequality)定理(保序性).),()(),,(,0.)(lim,)(lim0000BAxgxfxUxBxgAxfxxxx则有若设($1-6,P59,Th7)(补充)$1-4函数的极限25).0)((0)(,),(,0),0(0,)(lim000xfxfxUxAAAxfxx或时当则或且若定理1(保号性)证(Proof)0,AεA设取正数000lim()0,(,)(),()xxfxAεAδxUxδfxAεAεfxAε对正数,当时,即0,()0.Aεfx类似可证A0的情形。$1-4函数的极限26定理'1000lim(),(0),0,(,),().2xxfxAAAδxUxδfx若则当时2Aε(证取即可)).0(0),0)((0)(,),(,0,)(lim000AAxfxfxUxAxfxx或则或时当且若定理2(反证)20(1),1(),(1,)()01,1xxfxUδfxx如:在内1lim()0xfx但$1-4函数的极限274.子列收敛性(函数极限与数列极限的关系).)(),(,),(),(,)(.),(),,(21000时的子列当为函数即则称数列时使得有数列中或可以是设在过程axxfxfxfxfxfaxnaxxxxaaxnnnn定义.)(lim,)()(,)(limAxfaxxfxfAxfnnnax则有时的一个子列当是数列若定理$1-4函数的极限28证.)(,0,0,00Axfxx恒有时使当Axfxx)(lim0.0,,0,00xxNnNn恒有时使当对上述,)(Axfn从而有.)(limAxfnn故,lim00xxxxnnn且又$1-4函数的极限29例如,xxysin1sinlim0xxx,11sinlimnnn,11sinlimnnn11sin1lim22nnnnn函数极限与数列极限的关系函数极限存在的充要条件(sufficientandnecessarycondition)是它的任何子列的极限都存在,且相等(equal).$1-4函数的极限30xy1sin证1,nxnπ取,0limnnx0;nx且1,412nxnπ取lim1,nnx;0nx且例9不存在证明xx1sinlim0(non-existence).$1-4函数的极限311limsinlimsinnnnnπx而,1141limsinlimsin2nnnnπx1limn二者不相等,.1sinlim0不存在故xx,0$1-4函数的极限32四、小结Briefsummary函数极限的统一定义lim();nfnA;)(limAxfx;)(limAxfx;)(limAxfx;)(lim0Axfxx;)(lim0Axfxx.)(lim0Axfxx.)(,,,0)(limAxfAxf恒有从此时刻以后时刻(见下表)$1-4函数的极限33过程时刻从此时刻以后nxxxNNnNxNxNx)(xfAxf)(0xx00xx0xx0x