无穷小与无穷大

第六节 无穷小与无穷大

一、无穷小

定义1.18 若图示,则称fx)是当xx0时的无穷小量,又称无穷小.

在上述定义中,将xx0换成xx0+xx0-x→+∞,x→-∞,x→∞以及n→∞,可定义不同形式的无穷小.例如:

x→0时,函数x3,sinx,tanx都是无穷小.

x→+∞时,函数图示图示图示都是无穷小.

n→∞时,数列图示图示图示都是无穷小.

无穷小是极限为零的变量,而不是“很小的数”.除零之外的任何常数,无论它的绝对值怎么小,都不是无穷小.

由无穷小的定义及极限的四则运算法则,可得如下性质.

定理1.12 若函数fx)与gx)都是xx0时的无穷小,则函数fx)±gx)是xx0时的无穷小.

定理1.13 若函数fx)是xx0时的无穷小,函数gx)在x0的某去心邻域图示有界,则fx)·gx)是xx0时的无穷小.

特别地,若fx)与gx)都是当xx0时的无穷小,则函数fx)·gx)也是xx0时的无穷小.

推论1.3 常量与无穷小的乘积仍是无穷小.

定理1.14 图示的充要条件是fx)=A+αx),其中,αx)是xx0时的无穷小.

证 必要性,设图示,令αx)=fx)-A,则fx)=A+αx),只需证明当xx0时,αx)是无穷小量.

事实上,因为xlim图示,则对于任意给定的ε>0,存在δ>0,当0<|x-x0|<δ时,有|fx)-A|<ε,由定义1.18可知,αx)=fx)-A是无穷小.

充分性,设fx)=A+αx),其中,αx)(xx0)是无穷小,则fx)-A=αx).因αx)(xx0)是无穷小,则对于任意给定的ε>0,存在δ>0,当0<|x-x0|<δ时,有|fx)-A|=αx)<ε.

所以图示.

二、无穷大

定义1.19 设fx)在x0的某一去心邻域内有定义,若对任意给定的正数M>0,总存在δ>0,当0<|x-x0|<δ时,有|fx)|>M,则称函数fx)当xx0时是无穷大,表示为

图示

将定义中的不等式|fx)|>M改为fx)>Mfx)<-M,则称函数fx)当xx0时是正无穷大或负无穷大.分别表示为

图示

无穷大不是很大的数,无穷大是在随着自变量的变化过程中,绝对值无限增大的变量.

例1 证明图示.

证 对于任意给定的M>0.要使图示,只须图示,取图示,于是对于任意给定的M>0,存在图示,当0<x-1<δ时,有图示,即图示.

例2 证明图示(https://www.daowen.com)

证 对于任意给定的M>0(M>1),要使不等式axM成立,只要x>logaM,取X=logaM,于是对于任意给定的M>0,存在X=logaM,当xX时,有axM图示.

三、无穷小与无穷大的关系

定理1.15 在自变量的同一变化过程中,

1)若fx)是无穷大,则图示是无穷小;2)若fx)是无穷小,且fx)≠0,则图示是无穷大.

证 只证2).设图示,且fx)≠0.对于任意给定的M>0,当xx0时,fx)是无穷小,则对任意的图示,存在δ>0,使得当0<|x-x0|<δ时,有图示,也就是图示.

即,函数图示xx0时是无穷大.

四、无穷小的比较

x→0时,函数x,2xx2都是无穷小,但它们趋于0的速度却不一样.如表1-1所示:

表1-1

图示

显然,x2趋于0的速度最快,而x与2x趋于0的速度相差不大.由此,引入无穷小的比较.

定义1.20 设αβ是在自变量的同一变化过程中的两个无穷小,且β≠0.

图示,则称αβ的高阶无穷小,记为α=oβ).

图示,则称αβ的低阶无穷小.

图示,则称αβ是同阶无穷小.特别地,若图示,则称αβ是等价无穷小,记为αβ.

例3

1)因为图示,所以tanxx.

2)因为图示,所以1-cosxx的高阶无穷小.

3)因为图示,所以两者是同阶无穷小.

定理1.16 若αα′ββ′,且图示存在,则图示.

图示.

例4 求图示.

解 当x→0时,tan2x~2x,sin3x~3x,所以图示.

例5 求图示.

解 当x→0时,sinxx,而x3+3x与它本身显然是等价的,所以图示.

x→0时,常见的等价无穷小有sinxx,arcsinxx,tanxx,arctanxx

ln(1+x)~x,ex-1~x图示,(1+xm-1~mx.