归结原则PPT精品文档_第1页
归结原则PPT精品文档_第2页
归结原则PPT精品文档_第3页
归结原则PPT精品文档_第4页
归结原则PPT精品文档_第5页
已阅读5页,还剩14页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、一、归结原则 在这一节中,我们仍以 代0lim( )xxf x3 函数极限存在的条件三、柯西收敛准则二、单调有界定理他类型的极限,也有类似的结论.表, 介绍函数极限存在的条件. 对于其一、归结原则的充要条件是的充要条件是: 对于在对于在内内),(0 xU以以 x0 为极限的为极限的, nx任何数列任何数列)(limnnxf 极限极限都存在都存在, 并且相等并且相等.证证 (必要性必要性) 设设,)(lim0Axfxx 则对任给则对任给存存, 0 ,0 在在有有时时当当,|00 xx定理定理 3.8.),(0有有定定义义在在设设 xUf存在存在)(lim0 xfxx.|)(| Axf nx设设,

2、 ),(00 xxxUn 那么对上述那么对上述 存在存在, 有有时时当当,NnN ,|00 xxn所以所以.|)(| Axfn这就证明了这就证明了.)(limAxfnn (充分性充分性)(下面的证法很有典型性,大家必须学(下面的证法很有典型性,大家必须学恒有恒有.)(limAxfnn 0)(xxxf在在若若时时, 不以不以 A 为极限为极限, 则存在正数则存在正数设任给设任给),(0 xUxn ,0 xxn会这种方法会这种方法. .).|)(|0 Axf现分别取现分别取,2,21nn 存在相应的存在相应的),(,21nnnxUxxxx 使得使得., 2, 1,|)(|0 nAxfn 对于任意正

3、数对于任意正数),(,0 xUx 存存在在使得使得,0 另一方面另一方面,|00nxxnn 所以所以.lim0 xxnn 这与这与Axfnn )(lim矛盾矛盾.注注 归结原则有一个重要应用:归结原则有一个重要应用:若存在若存在,),(,000 xyxxxUyxnnnn 但是但是),(lim)(limnnnnyfBAxf)(lim0 xfxx则则不存在不存在.例例1xxxxcoslim,1sinlim0 证证明明都不存在都不存在.解解110,0 ,2 2 2nnxynn 取取有有,1sinlim101sinlimnnnnyx 故故xx1sinlim0不存在不存在.2 ,2 ,2nnxnyn 同

4、同理理可可取取有有,coslim01coslimnnnnyx 故故xxcoslim 不存在不存在.密集的等幅振荡密集的等幅振荡, 当然不会趋于一个固定的值当然不会趋于一个固定的值. 为为了让读者更好地掌握其他五类极限的归结原了让读者更好地掌握其他五类极限的归结原则则, ,我我们写出们写出 时的归结原则如下:时的归结原则如下: 0 xx-1-0.50.511-1xyxy1sin 的图象在的图象在 x = 0 附近作无比附近作无比从几何上看,从几何上看,义义, 则则定理定理 3.90)(xxf在在设设的某空心右邻域的某空心右邻域)(0 xU 有定有定作为一个例题作为一个例题, 下面给出定理下面给出

5、定理 3.9 的另一种形式的另一种形式.义义.Axfxx )(lim0那么那么的充要条件是任给严格递减的充要条件是任给严格递减,),(000 xxxUxnn 的的.)(limAxfnn必必有有例例 20)(xxf在在设设的某空心右邻域的某空心右邻域),(0 xU 上有定上有定Axfxx )(lim000(),lim().nnnnxUxxxf xA 任任给给必必有有证证必要性应该是显然的必要性应该是显然的. 下面我们证明充分性下面我们证明充分性.,0时时假若假若 xxf(x) 不以不以 A 为极限为极限. 则存在正数则存在正数;|)(| ,0,0110111 Axfxxx取取,2min012xx

6、 ;|)(| ,0,022022 Axfxxx,min01xxnnn , ),(0 xUx 存存在在.|)(|0 Axf使使,0 ,0 这样就得到一列严格递减的数列这样就得到一列严格递减的数列),(0 xUxn ,|)(|,00 Axfxxnn但但这与条件矛盾这与条件矛盾.;|)(| ,0,00 Axfxxxnnnn二、单调有界定理定理定理 3.10 设设 f 为定义在为定义在)(0 xU 上的单调有界函数上的单调有界函数, 则右极限则右极限.)(lim0存存在在xfxx (相信读者也能够写出关于(相信读者也能够写出关于, )(lim, )(lim0 xfxfxxx 证证不妨设不妨设 f 在在

7、.)(0递减递减xU 因为因为 f (x) 有界有界, 故故使使),(0*xUx 的单调有界定理的单调有界定理 .))(limxfx )(sup)(0 xfxUx 存在存在, 设为设为A .由确界定义由确界定义, 对于对于, 0 .)(*AxfA ,0,00*时时当当令令 xxxx由由 f (x) 的递减性的递减性,.)()(* AAxfxfA这就证明了这就证明了.)(lim0Axfxx对于单调函数对于单调函数, 归结原则的条件就要简单得多归结原则的条件就要简单得多.例例3)(lim),()(00 xfxUxfxx 则则上上单单调调,在在设设 存在的充要条件是存在一个数列存在的充要条件是存在一

8、个数列, )(0,0 xxxUxnn .)(lim存存在在使使nnxf 证证 必要性可直接由归结原则得出必要性可直接由归结原则得出, 下面证明充分下面证明充分, )(0, 0 xxxUxnn 设设.)(limAxfnn.)( AxfAn对于任意对于任意),(00 xxxUxN ).()(xfxfAN , 0N 故故当当 时时, 有有Nn 假设假设)(xf递减递减性性. . ,0 xxxn 又因为又因为),(1NN所所以以,1xxN 使使因因此此从从而而.)()(1 AxfxfN.)( AxfA.)(lim0Axfxx 即即)(xfy xNx1Nxx0 xOy A AA三、柯西收敛准则 的柯西收

9、敛准则的柯西收敛准则, 请读者自请读者自这里这里 仅给出仅给出)(limxfx有定义有定义, 则极限则极限)(limxfx存在的充要条件是存在的充要条件是: 任任),(, 0MX 存在存在给给 均均有有对对于于任任意意,21Xxx .| )()(|21 xfxf定理定理3.11 设设 f (x) 在在 的某个邻域的某个邻域|Mxx 上上明之明之. .行写出其他五种极限类型的柯西收敛准则,并证行写出其他五种极限类型的柯西收敛准则,并证),(MX 存存在在对一切对一切 x X,.2|)(| Axf有有所所以以对对一一切切,21Xxx 1212|()()|()|()|.f xf xf xAf xA

10、证(必要性)证(必要性),)(limAxfx 设设则对于任意则对于任意,0 ( (充分性充分性) ) 对对一一切切,存存在在对对任任意意的的,0MX 有有,21Xxx .21 xfxf,则则存存在在任任取取Nxxnn ,时时当当Nn .)()( mnxfxf ., 因因此此收收敛敛是是柯柯西西列列这这就就是是说说nxf使使若若存存在在, , nnnnyxyx.)(发发散散,矛矛盾盾但但nzf,)(,)(ABByfAxfnn 1122,nnnzxyxyxy则则令令为为,. nz显然显然故故,Mxxmn ,.时时又当又当NmnXxn 这样就证明了对于任意的这样就证明了对于任意的, nnxx)(limnnxf 存在且相等存在且相等. .由归结原则由归结原则, ,)(limxfx存在存在. .虽虽然然以以

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论