我们在上一节中已经见到,数列的极限是一个确定的值,表示的是数列发展的最终趋势。用不严格的说法,一个数列 存在某个极限 ,表示只要 足够大, 就会任意接近 。为了让极限成为严格的数学概念,我们需要对上一句话中的每一个部分进行数学上的明确描述和定义,否则在应用和操作上就会产生混淆。现代的微积分学中主要使用的是由19世纪法国数学家奧古斯丁·路易·柯西所引进的 定义:
定义:
设
是一个给定的
实数数列。
是一个给定的实数。如果对任意的正实数
,都存在一个自然数
,使得对任意的自然数
,只要
,就有
那么就称
是数列
的极限,記為
。反之则称
不是数列
的极限。
这个定义对之前的“足够大”、“任意接近”等概念进行了精确的说明,是可以让我们进行具体操作的。比如让我们回头看一看上一节中的例子:
-
我们曾经通过观察认为这个数列的极限是0。现在我们可以运用以上的定义来证明之:
要注意的是,我们只证明了“ 是数列 的极限”,而非“数列 的极限是 ”。不过在后面我们会知道,极限如果存在,就是唯一的,所以上面两个命题其实是等价的命题。
函数的极限比数列的极限更加多样。实际上,数列可以看做是定义在自然数集合 上面的函数。不过常见的初等函数一般是定义在实数上的,而我们知道,实数比自然数“多得多”,所以函数的极限描述的是多种无限过程的最终趋势。
趋近某一点的极限编辑
一类最简单的极限是函数在其定义域内有限一点的极限。这类极限描述的是函数 的自变量 (在其定义域内)逐渐靠近某个值 时,函数值 的变化趋势。上一节中,我们这样描述函数在一点的极限:如果当 足够接近 时,函数值 就会任意接近某个数值 ,那么就说 是 在 趋于 时的极限。与数列的极限一样,这种定义需要用数学的语言进一步明确其中各个部分的含义。我们仍然使用柯西的方法,称为 定义:
定义:
设
是一个实数,
是一个实数的集合。如果存在正实数
,使得区间
,就称
是
的一个
邻域。如果存在正实数
,使得
,就称
是
的一个
去心邻域。给定一个正实数
,如果一个(去心)邻域
满足
,就称
是一个
(去心)邻域,记为
。
定义:
设
是一个定义在实数上的函数。
是一个给定的实数。
是一个实数,并且函数
在
的某个去心邻域上有定义。如果对任意的正实数
,都存在一个正实数
,使得对任意的实数
,只要
在点
处有定义,并且
在
的某个
(去心)邻域中(即
),就有
,那么就称
是函数
在
趋于
时的极限,或简称
为
在
的极限,記為
。反之则称
不是
在
趋于
时的极限。
通过这个定义,我们可以证明上一节中 在 趋于 时的极限是 。
上面我们严格地定义了一个函数在某一点的极限。在定义里,我们并没有要求函数要在这一点上有定义。事实上,有时候函数不一定在所有足够接近一点的点上都有定义。比如,令函数 ,可以证明,在 大于 并趋于 时的 趋于 ,但它在 时没有定义。对于这种函数值在“一边”有定义的情况,我们可以更加详细地定义单边的极限:
定义:
设
是一个定义在实数上的函数。
是一个给定的实数。
是一个实数,并且函数
在
的某个去心邻域
的左(右)侧:
(
)上有定义。如果对任意的正实数
,都存在一个正实数
,使得对任意的实数
(
),只要
,就有
那么就称
是函数
在
趋于
时的左(右)极限,記為
(
)。反之则称
不是
在
趋于
时的左(右)极限。
在这个定义下,我们可以说 在 趋于 时的右极限是 。函数在趋于 时的极限存在,等价于说左、右极限都存在并相等。不过有时即使函数在趋于某点时的左右极限存在,也可以不相等。这时候函数在这一点没有极限。
在无穷远处的极限编辑
函数在某一点的极限可以描述自变量趋于这一点的时候函数值的变化趋势,对于定义域包括实数轴的某一侧(或两侧)的函数,可以探讨它在自变量充分大(或充分小)时候的变化趋势。我们可以像前面一样定义函数在无穷远处的极限:
定义:
设
是一个定义在实数上的函数,并在某个开区间
(或
)上有定义。
是一个给定的实数。如果对任意的正实数
,都存在一个正实数
,使得对任意的实数
,只要
(或
),就有
那么就称
是函数
在
趋于正无穷大(负无穷大)时的极限,或简称
为
在正无穷(负无穷)处的极限,記為
(
)。反之则称
不是
在
趋于正无穷大(负无穷大)时的极限。
趋向无穷的极限编辑
以上的定义中,数列或函数的变化趋势都可以用某个确定的数值来刻画。但有时候,函数或数列的变化趋势并不是接近某一个确定的数,而是变得越来越大(或越来越小)。这时候我们称函数或数列趋向正无穷大或负无穷大,相应的定义为:
定义:
设
是一个给定的实数数列。如果对任意的正实数
,都存在一个自然数
,使得对任意的自然数
,只要
,就有
(
),那么就称数列
趋于正无穷大(负无穷大),或者说数列
的极限是正无穷大(负无穷大)記為
(
)。
定义:
设
是一个定义在实数上的函数。
是一个实数,并且函数
在
的某个去心邻域上有定义。如果对任意的正实数
,都存在一个正实数
,使得对任意的实数
,只要
,就有
(
),那么就称函数
在
趋于
时趋向正无穷大(负无穷大),或称
在
的极限是正无穷大(负无穷大),記為
(
)。
定义:
设
是一个定义在实数上的函数。
是一个实数,并且函数
在
的某个去心邻域
的左(右)侧:
(
)上有定义。如果对任意的正实数
,都存在一个正实数
,使得对任意的实数
(
),只要
,就有
(
)那么就称函数
在
从左(右)侧趋于
时趋于正无穷大(负无穷大),記為
或
(
或
)。
定义:
设
是一个定义在实数上的函数,并在某个开区间
(或
)上有定义。
是一个给定的实数。如果对任意的正实数
,都存在一个正实数
,使得对任意的实数
,只要
(或
),就有
(
),那么就称
是函数
在
趋于正无穷大(负无穷大)时趋于正无穷大(负无穷大),記為
或
(
或
)。
要注意的是,“ 为 在正无穷(负无穷)处的极限”、“趋于正无穷大(负无穷大)”、“极限是正无穷大(负无穷大)”并不表示正无穷(负无穷)是实数轴上的某个点或某个具体的数值。有关无穷小和无穷大的含义,请见下一节“极限的性质”。