华东师范大学数学系《数学分析》(第4版)(上、下册)【教材精讲+考研真题解析】讲义与视频课程【40小时高清视频】
上QQ阅读APP看本书,新人免费读10天
设备和账号都新为新人

第3章 函数极限[视频讲解]

3.1 本章要点详解

本章要点

■函数极限的概念

■函数极限的性质

■函数极限的四则运算

■函数极限存在的条件

■两个重要的极限

■无穷小量阶的比较

■渐近线

重难点导学

视频二维码(扫码观看)

一、函数极限概念

1.x趋于∞时函数的极限

设f为定义在[a,+∞)上的函数,A为定数.若对任给的ε>0,存在正数M(≥a),使得当x>M时有|f(x)-A|<ε,则称函数f当x趋于+∞时以A为极限,记作

HWOCRTEMP_ROC20

2.x趋于x0时函数的极限

设函数f在点x0的某个空心邻域U°(x0;δ')内有定义,A为定数.若对任给的ε>0,存在正数δ(<δ'),使得当0<|x-x0|<δ时有|f(x)-A|<ε,则称函数f当x趋于x0时以A为极限,记作

HWOCRTEMP_ROC180

3.单侧极限

设函数f在HWOCRTEMP_ROC920(或HWOCRTEMP_ROC930上有定义,A为定数.若对任给的ε>0,存在正数δ(<δ′),使得当HWOCRTEMP_ROC940(或HWOCRTEMP_ROC950时有

HWOCRTEMP_ROC960

则称数A为函数f当x趋于x0(或x0)时的右(左)极限,记作

HWOCRTEMP_ROC970

HWOCRTEMP_ROC980

右极限与左极限统称为单侧极限.f在点x0的右极限与左极限又分别记为

HWOCRTEMP_ROC990HWOCRTEMP_ROC1000

4.定理

视频二维码(扫码观看)

二、函数极限的性质

1.唯一性

若极限HWOCRTEMP_ROC1460存在,则此极限是唯一的.

2.局部有界性

HWOCRTEMP_ROC1460存在,则f在x0的某空心邻域HWOCRTEMP_ROC1470内有界.

3.局部保号性

HWOCRTEMP_ROC1520(或<0),则对任何正数r<A(或r<-A),存在,使得对一切

HWOCRTEMP_ROC1530

HWOCRTEMP_ROC1540

4.保不等式性

HWOCRTEMP_ROC1460HWOCRTEMP_ROC1600都存在,且在某邻域内有HWOCRTEMP_ROC1620,则

HWOCRTEMP_ROC1630

5.迫敛性

HWOCRTEMP_ROC1730,且在某HWOCRTEMP_ROC1740内有

HWOCRTEMP_ROC1750

HWOCRTEMP_ROC1760

6.四则运算法则

若极限HWOCRTEMP_ROC1860HWOCRTEMP_ROC1870都存在,则函数HWOCRTEMP_ROC1880HWOCRTEMP_ROC1890,当时极限也存在,且

(1)HWOCRTEMP_ROC1910

(2)HWOCRTEMP_ROC1920

(3)若HWOCRTEMP_ROC1930,则f/g当x→x0时极限存在,且有

HWOCRTEMP_ROC1940

视频二维码(扫码观看)

三、函数极限存在的条件

1.归结原则

设f在HWOCRTEMP_ROC1370上有定义HWOCRTEMP_ROC1380存在的充要条件是:对任何含于HWOCRTEMP_ROC1390且以x0为极限的数列HWOCRTEMP_ROC1400,极限HWOCRTEMP_ROC1410都存在且相等.

2.设函数f在点x0的某空心右邻域HWOCRTEMP_ROC210有定义,HWOCRTEMP_ROC220的充要条件是:对任何以x0为极限的递减数列HWOCRTEMP_ROC230

3.设f为定义在HWOCRTEMP_ROC260上的单调有界函数,则右极限HWOCRTEMP_ROC270存在.

4.柯西准则

设函数f在HWOCRTEMP_ROC420上有定义.HWOCRTEMP_ROC430存在的充要条件是:任给ε>0,存在正数

HWOCRTEMP_ROC440,使得对任何HWOCRTEMP_ROC450HWOCRTEMP_ROC460

视频二维码(扫码观看)

四、两个重要的极限

HWOCRTEMP_ROC2190

视频二维码(扫码观看)

五、无穷小量与无穷大量

1.无穷小量

(1)定义

设f在某U0(x0)上有定义,若,则称f为当x→x0时的无穷小量.若函数g在某U0(x0)上有界,则称g为当x→x0时的有界量.

(2)性质

两个(相同类型的)无穷小量之和、差、积仍为无穷小量.

无穷小量与有界量的乘积为无穷小量.

2.无穷小量阶的比较

设当x→x0时,f与g均为无穷小量.

(1)若HWOCRTEMP_ROC510,则称当x→x0时f为g的高阶无穷小量,或称g为f的低阶无穷小量,记作HWOCRTEMP_ROC520

特别,f为当x→x0时的无穷小量记作HWOCRTEMP_ROC530

(2)若存在正数K和L,使得在某U0(x0)上有

HWOCRTEMP_ROC580

则称f与g为当x→x0时的同阶无穷小量,特别当HWOCRTEMP_ROC590时,f与g必为同阶无穷小量.

(3)若HWOCRTEMP_ROC720,则称f与g是当x→x0时的等价无穷小量,记作

HWOCRTEMP_ROC730

(4)常用等价无穷小

(5)定理

设函数f,g,h在U0(x0)上有定义,且有HWOCRTEMP_ROC780

HWOCRTEMP_ROC790,则HWOCRTEMP_ROC800

HWOCRTEMP_ROC810,则HWOCRTEMP_ROC820

3.无穷大量

(1)定义

设函数f在某U0(x0)上有定义,若对任给的G>0,存在δ>0,使得当HWOCRTEMP_ROC930时有

HWOCRTEMP_ROC940 (3-1)

则称函数f当x→x0时有非正常极限∞,记作

若式(3-1)换成HWOCRTEMP_ROC10HWOCRTEMP_ROC20,则分别称f当x→x0时有非正常极限+∞或-∞,记作

对于自变量x的某种趋向(或n→∞时),所有以∞,+∞或-∞为非正常极限的函数(包括数列),都称为无穷大量.

(2)定理

设f在HWOCRTEMP_ROC350上有定义且不等于0,若f为x→x0时的无穷小量,则HWOCRTEMP_ROC360为x→x0时的无穷大量.

若g为x→x0时的无穷大量,则为x→x0时的无穷小量.

4.渐近线

若曲线C上的动点P沿着曲线无限地远离原点时,点P与某定直线L的距离趋于0,则称直线L为曲线C的渐近线(如图3-1所示).

图3-1