写在前面的话:
久等了,这两天忙于工作,没有大量时间更文,不过我每天仍然会码一些字。
关于函数极限的定义,大家似乎在刚学高数的时候很困扰,不要担心,只要认真去理解,多花时间反复研读定义,你一定会有所收获,我的这篇文章也会帮助你理解它。这两天收到了大家的反馈,我很高兴你们能支持我,同时细心的你们也给我提出了几处失误,我一一改正了。失误是难免的,以后我尽量规避,同时也请你们发现时及时提出。
如果你已经看了我前面两节关于数列极限(戳我了解)的内容,相信你一定会很容易理解本讲内容,如果你还没有看过,本人也墙裂...墙裂...建议你回头看看。多研读几遍,只有这样才能内化为自己的知识。
懂了定义,本讲的其他部分也就迎刃而解了,但是如果你在看本文中的例题时还是有点困难,那么再不厌其烦地回头研读定义吧。我们一起学习吧~
一、自变量趋近于有限值时函数的极限
1.函数极限定义之描述性定义:如果在
![]()
的过程中,对应函数值
![]()
无限接近于确定的常数
![]()
,那么就说
![]()
是
![]()
当
![]()
时的极限。记作
那么这个描述性定义怎么精确化,给出函数极限的精确定义呢?
我们来分析一下什么叫“函数
![]()
无限接近于常数
![]()
”?
函数
![]()
无限接近于常数
![]()
,就是
![]()
可以任意小,小到什么程度呢?就是可以小到你事先任意给定的任意小正数
![]()
,即
![]()
。所以我们说
![]()
无限接近于常数
![]()
,是用
![]()
来刻画的。
![]()
无限接近于常数
![]()
,是在哪个过程中实现的呢?
是在
![]()
的过程中实现的。所以只是对
![]()
附近的(或者说无限接近于
![]()
的)那些点,函数值满足
![]()
(
![]()
为任意给定的正数,可以任意小)。那么对
![]()
附近的
![]()
,我们怎么刻画呢?我们可以这样刻画:
![]()
,
![]()
为某一个正数,用几何意义来说就是,在
![]()
的某一个去心邻域内(戳我了解)所有点的函数值满足不等式
![]()
。这就是“在
![]()
的过程中,对应函数值
![]()
无限接近于确定的常数
![]()
”的实质。
这样我们就可以轻松理解函数极限的精确定义了:
2.函数极限定义之精确定义:(
![]()
语言):设
![]()
在点
![]()
的某个去心邻域内有定义,如果对于任意给定的正数
![]()
,总存在一个正数
![]()
,使对于适合不等式
![]()
的一切
![]()
,对应的函数值
![]()
满足
![]()
,那么称常数
![]()
为函数
![]()
当
![]()
时的极限,记作
注:(1)定义中
![]()
表示
![]()
,所以即使
![]()
在
![]()
没有定义,
![]()
在
![]()
点也可以有极限。因为我们研究极限是研究
![]()
过程中
![]()
的变化趋势,而与
![]()
在
![]()
处有无定义没有关系。
(2)
![]()
的取值与
![]()
有关,且
![]()
不唯一。也就是说,任意给一个
![]()
就会有一个
![]()
与之对应,换一个
![]()
就换一个
![]()
,这一点和数列极限中的
![]()
是一样的。
(3)
![]()
的几何解释:
![]()
等价于
![]()
。对于任意给定的
![]()
,存在
![]()
的
![]()
去心邻域
![]()
,当
![]()
图像上的点横坐标落在
![]()
的
![]()
去心邻域
![]()
内,这些点的纵坐标满足
![]()
。即这些点落在下图中的红色虚线矩形框内:
利用极限的定义证明函数的极限:
例1:证明
![]()
,此处
![]()
为常数。
证明:根据极限定义,对任给的
![]()
,由于
![]()
,取
![]()
是任意的正数,都有当
![]()
时,
![]()
。故
![]()
。
例2:证明
证明:根据极限定义,对任给的
![]()
,由于
![]()
,为使
![]()
,只要
![]()
。取
![]()
,则当
![]()
时,
![]()
。故
![]()
。
例3:证明
证明:根据极限定义,对任给的
![]()
,由于
![]()
,为使
![]()
,只要
![]()
即
![]()
。取
![]()
,当
![]()
时,有
![]()
。故
![]()
。
例4:证明
![]()
,
虽然
![]()
在
![]()
处没有定义,但是根据函数极限的定义我们知道,这并不影响
![]()
在
![]()
处有极限。
证明:对于任给的
![]()
,要使
![]()
,只需
![]()
,取
![]()
,则当
![]()
时,
![]()
,故
![]()
。
例5:证明当
![]()
时,
![]()
。
证明:对于任给的
![]()
,要使
![]()
,只需使
![]()
,且函数只有在
![]()
时才有意义,故又有
![]()
。取
![]()
,则当
![]()
时,
![]()
。故
![]()
。
3.极限的局部保号性定理
定理1:如果
![]()
,且
![]()
,那么存在
![]()
的去心邻域,当
![]()
在该邻域时,有
![]()
。
这个定理其实不难理解,我们知道
![]()
,且
![]()
,就是说当
![]()
趋近于
![]()
时,
![]()
趋近于一个大于
![]()
的数
![]()
。这样的话函数
![]()
在
![]()
的某个小的去心邻域内也应大于
![]()
,否则它不可能无限接近于一个大于
![]()
的常数
![]()
。
![]()
时是同样的道理。下面我们来证明这个定理:
证明:因为
![]()
,且
![]()
,根据极限的定义中
![]()
的任意性,仅仅针对此问题而言,我们不妨特意给定一个
![]()
它满足
![]()
,那么肯定会存在一个相应的
![]()
的去心邻域
![]()
,使当
![]()
时,
![]()
,即
![]()
①,又因为我们给定的
![]()
满足
![]()
,结合不等式①的左侧可知
![]()
。证毕!
定理1':如果
![]()
,那么必存在
![]()
的某去心邻域,当
![]()
在该邻域时,有
![]()
。
证明:因为
![]()
,根据函数极限的定义,对给定
![]()
,必然有
![]()
,使当
![]()
时,
![]()
,由绝对值不等式的特点,可以进一步有
![]()
,所以
![]()
。证毕!
定理2:如果在
![]()
的某个去心邻域内
![]()
,而且
![]()
,那么
![]()
。
该定理的证明需要利用定理1的结论。下面我们来证明,
证明(反证法):存在
![]()
的某个去心邻域,使该邻域内
![]()
,则极限值
![]()
。若不然,假设
![]()
,根据
定理1,存在
![]()
的某个去心邻域,使当
![]()
在该邻域内时,
![]()
,这与题设矛盾。证毕!
定理1和定理2都叫函数极限的局部保号性定理,这个定理在今后推导其它定理时是非常有用的,所以还请重视!
例题.证明:如果函数
![]()
当
![]()
时的极限存在,则函数在
![]()
的某去心邻域内有界(戳我了解函数有界)
证明:设
![]()
,根据函数定义,对给定的
![]()
,有
![]()
,使当
![]()
时,
![]()
,而
![]()
,令
![]()
,则当
![]()
时,
![]()
。故存在
![]()
的某去心邻域,使该邻域内函数
![]()
有界。
注:此例中,反之不成立(函数在
![]()
的某去心邻域内有界,但是在
![]()
处不一定有极限)。比如
![]()
的函数值的绝对值始终小于等于
![]()
,有界。但是它在
![]()
处的极限值不存在,这在后面第九讲(戳我了解)中有解释。此处只要明白这一点即可。
4.单侧极限
写在前面的话:我们需要知道当
![]()
,
![]()
趋近于某个常数时,
![]()
可以从左侧趋近于
![]()
,也可以从右侧趋近于
![]()
,所以我们有必要讨论一下函数
![]()
的单侧极限的定义:
如果对任给的
![]()
,总存在
![]()
,当
![]()
时,
![]()
,那么称
![]()
为
![]()
当
![]()
时的
左极限,记作
![]()
。
如果对任给的
![]()
,总存在
![]()
,当
![]()
时,
![]()
,那么称
![]()
为
![]()
当
![]()
时的
右极限,记作
![]()
。
函数极限与单侧极限的关系:当
![]()
时,函数
![]()
极限存在的充分必要条件是函数
![]()
左极限、右极限都存在并且相等。
证明:(必要性)设
![]()
,根据函数极限的定义,对任意给定的
![]()
,有
![]()
,使当
![]()
时,
![]()
,这样就理所当然有:
当
![]()
时,有
![]()
,即
![]()
;
当
![]()
时,有
![]()
,即
![]()
;
从而
![]()
(左右极限存在且相等)。
(充分性)设
![]()
,根据单侧极限的定义,可知:
对任给的
![]()
,有
![]()
,当
![]()
时,
![]()
;
对任给的
![]()
,有
![]()
,当
![]()
时,
![]()
。取
![]()
,则当
![]()
时,有
![]()
及
![]()
,从而
![]()
,即
![]()
。
例题:证明函数
![]()
当
![]()
时,没有极限。
证明:左极限
![]()
,右极限
![]()
。由于左右极限不相等,故
![]()
不存在。
从这个题可以看出,讨论左右极限的存在性也是证明函数极限存在的重要依据,尤其对于分段函数而言,对于左右极限的讨论尤为重要。
二、自变量趋近于无穷大时函数的极限
首先我们先搞清楚如下两个问题:
![]()
趋近于无穷大:
![]()
,指
![]()
无限增大。
![]()
:是指当
![]()
无限增大时,
![]()
无限接近于
![]()
。
这样我们就很容易理解自变量趋近于无穷大时函数极限的定义了,如下:
定义:设函数
![]()
当
![]()
大于某一正数时有定义。如果对于任意给定的正数
![]()
,总存在正数
![]()
,使当
![]()
时,不等式
![]()
恒成立,则称
![]()
为
![]()
当
![]()
时的极限,记作
![]()
。(这是不是很像数列极限(戳我了解)的定义?)
同样,自变量趋近于无穷大时函数的单侧极限定义如下:
![]()
定义为:如果对于任意给定的正数
![]()
,总存在正数
![]()
,使当
![]()
时,不等式
![]()
恒成立,则称
![]()
为
![]()
当
![]()
时的极限。
![]()
定义为:如果对于任意给定的正数
![]()
,总存在正数
![]()
,使当
![]()
时,不等式
![]()
恒成立,则称
![]()
为
![]()
当
![]()
时的极限。
注:
①值得一提的是
![]()
的充分必要条件是
![]()
。
②
![]()
的几何解释为:对任给的
![]()
,总存在正数
![]()
,使当
![]()
时,
![]()
的图像位于直线
![]()
与
![]()
之间。
例题:证明
证明:根据极限定义,对任给的
![]()
,要使
![]()
,只需
![]()
,取
![]()
,则当
![]()
时,
![]()
,故
![]()
。
下面我们来看看这个函数的图像,当
![]()
时,函数值越来越接近于
![]()
,当
![]()
时,函数值也越来越接近于
![]()
。如下:
一般地,如果
![]()
,则称
![]()
是函数
![]()
的
水平渐近线。在上图中,
![]()
是
![]()
的水平渐近线。