极限是现代数学特别是分析学中的基础概念之一。极限可以用来描述一个序列的指标愈来愈大时,数列中元素的性质变化的趋势,也可以描述函数的自变量接近某一个值的时候,相对应的函数值变化的趋势。作为微积分和数学分析的其他分支最基本的概念之一,连续和导数的概念都是通过极限来定义的。
函数的极限这个概念可以更一般地推广到网中,而数列的极限则与范畴论中的极限和有向极限的概念密切相关。
极限的一般概念[编辑]
数列的极限[编辑]
以数列(sequence)

为例,随着n的增大,

从0的右侧越来越接近0,于是可以认为0是这个序列的极限(虽然这个结论是正确的,但是它仍需要证明)。
柯西(Cauchy)在19世纪给出了极限的严格定义:设

对于任意的正实数

,存在自然数

,使得当

时,有

用符号来表示即

则称数列
收敛于
,记作

或

。
直观地说,这就说明序列的元素(element)随着n的增大越来越靠近
,因为上面的绝对值也可以用来刻画距离。当然这并不是说每一项都比前一项更为靠近。而且更一般地说,不是所有的序列都有极限的。如果一个序列是有极限的,我们称这个序列收敛,否则称其为发散。可以证明,如果一个序列是收敛的,那么它有且仅有一个极限。
序列的极限和函数(function)的极限之间的关系是相当密切的。一方面,序列的极限可以直接理解为一个定义在自然数集合上的函数趋于无穷时候的极限。另一方面,一个函数在
处的极限(如果存在),与数列
的极限是相同的。
函数的极限[编辑]
假设
是一个实函数,
是一个实数,那么

表示
可以任意地靠近
,只要我们让
充分靠近
。此时,我们说当
趋向
时,函数
的极限是
。值得特别指出的是,这个定义在
的时候同样是成立的。事实上,即使
在
点没有定义,我们仍然可以定义上述的极限。
以下两个例子或许对理解这个概念有所帮助:
考虑函数
在
趋向
的时候的性质,此时
在
这点是有定义的,因為
。
f(1.9) |
f(1.99) |
f(1.999) |
f(2) |
f(2.001) |
f(2.01) |
f(2.1)
|
0.4121 |
0.4012 |
0.4001 |
0.4  |
0.3998 |
0.3988 |
0.3882
|
当
趋向
的时候,函数值趋向
,因此我们有极限
。在这种情况下,即函数在某一点的取值和当
趋向这一点的极限值相同的时候,我们称
在
这一点是连续的。
当然,这是相当特殊的情况,考虑

那么当
趋于
的时候,
的极限与前面的
相同,都是
。但是请注意
,这就是说,
在
是不连续。
或者考虑这样一个例子,使得
在
时没有定义:

当
=
时,
等於零除以零,没有定义。但极限存在,即
f(0.9) |
f(0.99) |
f(0.999) |
f(1.0) |
f(1.001) |
f(1.01) |
f(1.1)
|
1.95 |
1.99 |
1.999 |
未定义  |
2.001 |
2.010 |
2.10
|
在
的情况下,
可以任意靠近
,从而
的极限为
实变量实值函数在有限处的极限:形式定义[编辑]
形式上讲,极限可以这样定义:
命
是一个定义于包含
的开区间(或此开区间剔除
)上的实值函数,命
是一个实数,那么

表示对于任意的
,都存在一个对应的
使得:当
满足
时总有
成立。
实变量实值函数在无穷远处的极限[编辑]
与函数趋于某个给定值时的极限概念相关的是函数在无穷远处的概念。这个概念不能从字面上直接理解为:
距离无穷远越来越小的状态,因为无穷不是一个给定的数,也不能比较距离无穷的远近。因此,我们用
越来越大(如果讨论正无穷时)来替代。
例如考虑
.



当
非常大的时候,
的值会趋于
。事实上,
与
之间的距离可以变得任意小,只要我们选取一个足够大的
就可以了。此时,我们称
趋向于(正)无穷时的极限是
。可以写为

形式上,我们可以这样定义:

类似地,我们也可以定义:

如果考虑将
的定义域推广到扩展的实数轴,那么函数在无穷远的极限也可以看作在给定点的极限的特例。
常用性质[编辑]
,这里S是个点积算法。
,这里b是常量。
以下规则只有当等号右边的极限存在并且不为无穷时才成立
![\lim _{n\to c}[f(n)+g(n)]=\lim _{n\to c}f(n)+\lim _{n\to c}g(n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/93c534ba9bebdbc1a0a473f45dc2ede5194b0a4d)
![\lim _{n\to c}[f(n)-g(n)]=\lim _{n\to c}f(n)-\lim _{n\to c}g(n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee324e05de4e5a17dd6b81036e1c316bfcfddd63)
![\lim _{n\to c}[f(n)\cdot g(n)]=\lim _{n\to c}f(n)\cdot \lim _{n\to c}g(n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/567bab3ec6a49757ea90142199f0ec9047ceaffd)

拓扑网的极限[编辑]
在引入网的概念下,上述的定义可以毫无障碍地推广到任何拓扑空间。事实上,现代数学中的极限概念就是定义在拓扑空间上的,上述的例子都是拓扑空间的具体化。
范畴论中的极限[编辑]
符号史[编辑]
极限的符号为lim,它出自拉丁文limit(界限)的前三个字母。
在1786年出版的德国人浏伊连(S. L'Huilier)的书中,第一次使用这个符号。不过,“x趋于a”当时都记作“x=a”,直到20世纪人们才逐渐用“→”替代“=”。
英国近代数学家哈代是第一个使用现代极限符号的人。
外部連結[编辑]