极限 (数学)

极限(英语:Limit)是数学分析微积分的重要基础概念,连续导数都是通过极限来作定义。极限分为描述一个序列的下标愈来越大时的趋势(序列极限),或是描述函数自变量接趋近某个值时的函数值的趋势(函数极限)。

函数极限可以推广到中,而数列的极限则与范畴论中的极限和有向极限密切相关。

概念

数列极限

以数列(sequence)

 
为例,直观上随着n的增大, 越来越接近0,于是可以认为0是这个序列的"极限"。以下的严格定义来自于柯西(Cauchy):设
 
若对任意 ,存在 ,使得当 时,有
 
以逻辑符号来表示即为
 
则称数列   收敛于   ,记作   。这时也称这个数列是收敛的,反之称为发散。可以证明极限是唯一的,也就是

 

这个严谨定义直观上,说不论把"差距范围"   取得多小,从某项   会跟   的距离都会比   小。

函数极限

考虑定义域为   ,对应规则为   的函数在   趋向   的时候的性质。此时    是有定义的。

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

实函数在有限处的极限

  是一个实函数 ( 也就是定义域值域都包含于实数系 ) , ,那么

 

定义为:对所有的 ,都存在   使得:对任意   满足 时会有 。以逻辑符号来表示即为

 

实函数在无穷远处的极限

与函数趋于某个给定值时的极限概念相关的是函数在无穷远处的概念。这个概念不能从字面上直接理解为: 距离无穷远越来越小的状态,因为无穷不是一个给定的数,也不能比较距离无穷的远近。因此,我们用 越来越大(如果讨论正无穷时)来替代。

例如考虑 .

 
 
 

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

 

形式上,我们可以定义:

 

 

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

 

 

符号

极限的符号为lim,它出自拉丁文limit(界限)的前三个字母。

在1786年出版的德国人浏伊连(S. L'Huilier)的书中,第一次使用这个符号。不过,“x趋于a”当时都记作“x=a”,直到20世纪人们才逐渐用“→”替代“=”。

英国近代数学家哈代是第一个使用现代极限符号的人。

性质

  •  ,这里S是个内积算法。
  •  ,这里b是常量。

以下规则只有当等号右边的极限存在并且不为无穷时才成立:

  •  
  •  
  •  
  •  

推广

拓扑网

在引入的概念下,上述的定义可以毫无障碍地推广到任何拓扑空间。事实上,现代数学中的极限概念就是定义在拓扑空间上的,上述的例子都是拓扑空间的具体化。

范畴论

范畴论中许多泛性质也可从极限来理解。范畴论极限分为极限与余极限(又称上极限),彼此的定义相对偶。

外部链接