7.什么是函数的极限?
实际上,数列就是定义域为自然数集的函数,在每一个自然数n处的函数值f(n)就是
,即
,如果理解了这种特殊函数形式的极限,那么学习函数极限的概念也就可以触类旁通,因为数列极限已包含着一般函数极限的基本思想.与数列不同的是,函数y=f(x)的自变量有多种变化过程.一般来说,自变量x的变化趋势有两种情形:一种是x无限接近于固定值
;另一种是x的绝对值无限增大,也就是x沿数轴的正向和负向无限远离原点,下面就这两种不同的情形分别讨论函数的极限.
![]()
![]()
引例1 已知自由落体的运动方程是
,求在时刻t=1秒时的瞬时速度
.
解 这里我们遇到了两个问题:(1)什么叫做在时刻t=1秒时的瞬时速度;(2)怎么求出在时刻t=1秒时的瞬时速度.在中学物理课本中,我们知道,当质点做匀速直线运动时,速度是位移与时间之比:
![]()
它可以代表质点在任何时刻的速度.但是,自由落体并不是作匀速直线运动的,因此不能直接利用公式①来解决问题,为了解决所提出的问题,要用到平均速度的概念.我们任意取一个很短的时间间隔[1,t],把质点在这个时间间隔内所作的运动近似地看成是匀速的.我们可以想象的到,当时刻t越来越接近1秒(也就是时间间隔[1,t]越短时),质点运动越接近于匀速运动,从而这段时间间隔的平均速度越接近于质点在时刻t=1秒时的瞬时速度.根据上述想法,首先求出所考虑的时间间隔内,质点运动的平均速度,这个速度是依赖于时刻t的,我们记为
.利用公式①可以求得:
![]()
这个式子反映了平均速度
随着时刻t的变化规律.我们看到,平均速度
具有这样的变化趋势:当时刻t无限接近于1秒,但t≠1秒时,平均速度
无限接近于9.8米/秒.这时我们说,当时刻t趋向于1秒时,平均速度
以9.8米/秒极限,并记为
我们把这个极限定义为自由落体在时刻t=1秒时的瞬时速度.
引例2 考察函数![]()
解 我们注意,这个函数在点x=1是没有定义的,对这个函数作图象,并列表如下:
|
x |
0.9 |
0.99 |
0.999 |
…1… |
1.001 |
1.01 |
1.1 |
|
y |
1.9 |
1.99 |
1.999 |
…2… |
2.001 |
2.01 |
2.1 |
![]()
从上表和图象可以看出:函数
在点x=1的邻近具有这样的变化趋势:当x无限接近于1,但x≠1时,函数
的值无限接近于2.这时我们说,当x趋向于1时,函数
以2为极限,且记为![]()
从上面给出的两个具体函数极限的例子的共同特点,可以抽象出当
时函数f(x)的极限的描述性定义:如果函数y=f(x)在点
的邻近具有这样的变化趋势:当x无限接近于
,但
时,f(x)无限接近于一个常数A,那么我们说,当
时,函数f(x)以A为极限,且记为
.这个式子中的符号“
”读作“x趋向于
”,它表示x无限接近于
的变化过程.应当注意,在一般讨论函数极限时,只要求函数f(x)在某个点
的空心邻域(即点
的邻域,但不包含
点)内有定义,因此通常是限制x不等于
的,并不要求函数f(x)在
这一点一定要有定义.比如,在上面例1中,当t=1时,平均速度
就失去意义,因为只有在一段时间间隔内,才有平均速度可言;又如,在例2中,当x=1时,所讨论的函数也没有定义.因此,在研究函数f(x)的极限时;我们总不去考虑
这一点的函数值情况.无论f(x)在点
是否有定义,只要当x无限接近于
,但
时,f(x)无限接近于常数A,那么数A就是函数f(x)当x趋向于
时的极限.
上面关于函数极限概念的描述,也只是-个直观的描述,在这个直观的描述中,涉及到两个“无限接近”(x无限接近于
和f(x)无限接近于A),它们的真正含义是什么呢?弄清这些是掌握函数极限概念的关键.
所谓“当x无限接近于
,但
时,f(x)无限接近于A”的意思是:f(x)可以任意靠近A,希望有多近就能有多近,只要x充分靠近
,但不等于
时,就可以使f(x)与A靠近到我们希望的那样近.换句话说,就是指:“|f(x)-A|可以任意地小,希望有多小就能有多小,只要
充分小,但不为0(即
时,就可以使|f(x)-A|达到我们希望的那样小.”
我们可以用例1涉及的平均速度
来说明,|f(x)-A|就相当于
若取0.1作标准,那么只要
时,就有
若认为0.1不够小,就选取0.01作标准.那么只要
时,就有
若嫌0.01仍不够小,要选更小的0.001作标准.那么只要
,就有
若想选0.0001作标准.只要
,就有
总之,任意给出多么小的正数ε作标准,只要这个ε一经给定,那么对平均速度
来说,总能确定(或说总存在)一个正数δ,使得当0<|t-1|<δ时,都有
上述过程可以概括在如下表格中:
|
给定正数 |
总存在一个正数 |
使得当…时 |
都有 |
|
0.1 |
|
|
|
|
0.01 |
|
|
|
|
0.001 |
|
|
|
|
0.0001 |
|
|
|
|
… |
… |
… |
… |
|
ε |
δ |
0<|t-1|<δ |
|
这个表格的最后一行很关键,它把“当t无限接近于1,但t≠1时,
无限接近于9.8”的本质确切地刻画出来了,把它概括为一般情形,就得到ε和δ描述的函数极限
的精确定义(简称ε-δ定义).
定义:设函数y=f(x)在
的某个空心邻域内有定义,并设A是一个常数,如果任意给定一个(无论多么小的)正数ε,总存在一个正数δ,当
时,都有|f(x)-A|<ε成立,则称当
时,函数f(x)以A为极限,或称A为函数f(x)在点
的极限,并记为
,或者记为
.为了便于记忆和掌握,也可以把这个定义概括如下:
任给ε>0,总存在δ>0,使得当
时,都有|f(x)-A|<ε.
极限
有明显的几何意义,已知不等式
与
等价,又已知不等式|f(x)-A|<ε与A-ε<f(x)<A+ε等价,将极限定义中的四段话换成几何语言是:
对任意ε>0:任意以二直线y=A±ε为边界的带形区域.
总存在δ>0:总存在(以点
为心的)半径δ>0.
当
时:当点x位于以点
为中心,以δ为半径的去心邻域
之中.
有|f(x)-A|<ε:相应的函数f(x)的图象位于这个带形区域之内.如图2-4:
![]()
这样一来,
的定义也可以表达为:对A的任意一个ε邻域O(A,ε),总存在着
的一个δ邻域
,当
时,有f(x)∈O(A,ε).
例1 设![]()
思路启迪 按照定义,要找这样的数δ>O,使0<|t-1|<δ时,
即可.
规范证法 因为极限式左边
又因为我们不一定要找到满足定义的最大的δ,因此不妨只就t=1的某一邻域来考虑.例如取|t-1|<1即0<t<2,这时2<|t+2|<4,于是,|t+2||t-1|<4|t-1|,而
时,上式右端就小于ε,因此只要取δ等于1和
两数中最小的即可,亦即取
.这时,当0<|t-1|<δ时,就有|t-1|<1和|t-1|<
,因此|t+2||t-1|<4|t-1|和4|t-1|<ε都能成立,这就可以证明了结论.
(2)当x→∞时,函数f(x)的极限.
![]()
例如函数
,“当|x|无限增大时,y无限地接近于1”是指“当|x|无限增大时,|y-1|可以任意小.”即对于任意给定的ε>0,要使
,只要取
就可以了.亦即当x进入区间
时,|y-1|<ε恒成立.这时我们就称x趋于无穷大时,
以1为极限.
定义:如果对于任意给定的正数ε,总存在一个正数M,使得当|x|>M时,|f(x)-A|<ε恒成立,则称当x趋于无穷大时,函数f(x)以常数A为极限.记作
或f(x)→A(x→∞).
注意:定义中ε刻画f(x)与A的接近程度,M刻画|x|充分大的程度;ε是任意给定的正数,M是随ε而确定的.
1.什么是数列的极限?
在引入数列极限的精确定义之前,我们先看一句中国古语:“一尺之锤,日取其半,万世不竭.”这句话的意思是说:“有一根一尺长的木棒,每天截下前一天留下的一半,永远也截不完.”
我们来考察每天所剩余的木棒长度如何随着天数的改变而变化.因为日取其半,所以第1天剩余的木棒长度为
,第2天截下
尺的一半,所以剩余的木棒长度为
,依此类推,第n天剩余的木棒长度为![]()
这个式子反映了每天所剩余的木棒长度随着天数改变而变化的规律.它具有这样的变化趋势:当天数n无限增大时,剩余木棒长度
以0为极限,并记为
.
我们又以另一方面考察,截下的木棒总长度如何随着天数的改变而变化.第1天截下的木棒总长度为
,到第2天截下的木棒总长度为
,依此类推,到第n天截下的木棒总长度为
.这个式子就反映了截下的木棒长度如何随着天数而改变的变化规律.它具有这样的变化趋势:当天数n无限增大时,截下的木棒总长度
无限接近于常数1,这时我们就说,当天数n趋向于无穷大时,截下的木棒总长度
以1为极限,并记为
如果我们把每天所剩余的木棒长度数值与截下的木棒总长度数值分别依次排列起来,那么可以得到两个数列:
![]()
这时(1)式和(2)式就分别是
和
的数列展开式.这两个数列中的项具有这样的变化趋势:当项数n无限增大时,数列(1)中的项
无限接近于常数0,而数列(2)中的项
无限接近于常数1,这时我们就说数列(1)以0为极限,而数列(2)以1为极限.
从上面两个具体数列极限的例子的共同特点,可以抽象出数列极限的描述性定义:
如果数列
中的项具有这样的变化趋势:当n无限增大时,项
无限接近某一个常数A,那么我们就说,数列
以常数A为极限,且记为![]()
关于数列极限概念的这种描述,只能算直观的描述,虽然有直观易懂的特点,但在运用极限进行推理时将会碰到困难,且利用“n无限增大”和“
无限接近于某一个常数A”这些未加说明的直观描述来判断,在逻辑上是有毛病的,也容易发生错误,所以还必须对数列极限作确切的刻画,把直观描述上升为精确的定义.
数列极限的精确定义:
上面关于数列极限的直观描述中,有一个涉及到极限本质的问题,这就是:“
无限接近于常数A”的真正含义是什么?弄清这点是掌握数列极限概念的关键,用句俗话来说,“
无限接近于常数A”的意思是:“
可以任意地靠近A,希望有多近就能有多近,只要n充分大时,就能达到我们希望的那样近.”换句话来说,就是指:“距离
可以任意地小,希望有多小就能有多小,只要n充分大时,就能达到我们希望的那样小.”现拿数列
来说明,若取
作标准,那么只要n>3,就有
;如果认为
还不够小,要选
作标准,那么只要n>6,就有
;如果嫌
仍不够小,要选更小的
作标准,那么只要n>9,就有
;(如果想选再小的
作标准,那么只要n>13,就有
.)总之,任意给出一个无论多么小的正数ε作标准,只要这个ε一经给定,那么对数列
来说,总可以确定一项(或者说总存在一项,设为第N项).使得随后的所有项(即满足n>N的一切
),都有
.上述过程可以概括在如下的表格中:
|
给定正数 |
总存在一个项数 |
使得当…时 |
都有 |
|
|
3 |
n>3 |
|
|
|
6 |
n>6 |
|
|
|
9 |
n>9 |
|
|
|
13 |
n>13 |
|
|
… |
… |
… |
… |
|
ε |
N |
n>N |
|
这个表格的最后一行是值得我们注意的,它把数列
“无限接近于1”的本质确切地刻画出来了,把它概括为一般情形,就得到用ε和N描述的数列极限的精确定义(简称为“ε-N”定义):
设有数列
,并设A是一个常数.如果任意给定一个(无论多么小的)正数ε,总存在一个正整数N,使得当n>N时,都有
成立,则称数列
以常数A为极限,且记为
或者记为
.如果数列
不存在极限,则称数列
发散.[注:①ε是希腊字母,读作['epsil
n];②
是拉丁文
(极限)一词的前三个字母,通常按英文limit(极限)一词读音.]
现在我们对极限的定义作几点说明:
(1)关于正数ε,定义中的正数ε是一个距离指标,用来刻画
与A的接近程度.ε具有二重性:①是任意性,即ε可以根据需要任意选取,这样,由不等式
才能表明数列
无限接近于a;②是相对固定性,ε虽然可以任意给定,但一经给定就相对固定下来,作为一个固定的正数看待.正数ε的二重性体现了一个数列逼近它的极限时要经历一个无限过程(这个无限过程通过ε的任意性来体现),但这个无限过程又要一步步地实现,而且每一步的变化都是有限的(这个有限的变化通过ε的相对固定性来体现).
(2)定义中的正整数N是一个特定的项数,对于这个项数,重要的是它的存在性,它是在ε固定后才能确定的,所以它依赖于ε.大体上说来,ε变小时,N就变大,所以可以把N看成是ε的函数.要注意,对于一个固定的ε来说,合乎定义要求的正整数N不是惟一的.例如数列
的极限为0,即
,取定
存在自然数
,当n>100时有
,显然,对取定的
,比100大的任何一个自然数都能起到
的作用.如取
,当
,当然也有
一般情况,对任意ε>0,总存在自然数N,当n>N时,有
,于是当
时,当然也有
.由此可见,在极限的定义中,“总存在自然数N”这段话,在于强调自然数N的存在性.因此,在极限的证明题中,常取较大的自然数N.此外,定义中的不等式
指的是下面一串不等式:![]()
….定义要求这一串不等式都成立.至于下面N个不等式,并不要求它们一定成立:![]()
(3)若ε是任意给定的数,不难看到2ε,5ε,
也都是任意给定的数.尽管它们在形式上与ε有差异,但在本质上它们与ε起同样的作用.今后在极限的证明题中,常应用与ε等价的其他形式.