极限 (数学)

File:Disambig gray.svg关于与“极限 (数学)”标题相近或相同的条目，请见“极限”。

极限（英语：limit）是函数在自变量无限变大或无限变小或在某个区间时所接近的值，也是数学分析或微积分的重要基础概念，连续和导数都是通过极限来作定义。极限分为描述一个序列的下标愈来越大时的趋势（序列极限），或是描述函数的自变量接趋近某个值时的函数值的趋势（函数极限）。

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

概念

数列极限

主条目：数列极限

以数列<math>a_n = \frac{1}{n}</math>为例，直观上随着n的增大，<math>a_n</math>越来越接近0，于是可以认为0是这个序列的“极限”。以下的严格定义来自于柯西：

设<math>\{a_n\in\mathbb{R}\}_{n\in\mathbb{N}}</math>，若对任意<math>\varepsilon > 0</math>，存在<math>m\in\mathbb{N}</math>，使得当<math>n > m</math>时，有<math display="block">|a_n-a | < \varepsilon</math>以逻辑符号来表示即为<math display="block">(\forall \varepsilon >0)(\exists m \in \mathbb{N})(\forall n \in \mathbb{N})[\,(n > m)\Rightarrow (|a_n-a | < \varepsilon)\,]</math>则称数列 <math>\{a_n\}_{n\in\mathbb{N}}</math> 收敛于 <math>a</math> ，记作 <math>\lim _{n \to \infty} a_n=a</math> 或 <math>a_n \rightarrow a</math>。这时也称这个数列是收敛的，反之称为发散。可以证明极限是唯一的，也就是

<math display="block">[\,(a_n\to a) \wedge (a_n \to a^{\prime})\,]\Rightarrow(a = a^{\prime})</math>

直观地说，不论把“差距范围”<math>\varepsilon</math> 取得多小，从某项往后 <math>a_n</math> 跟 <math>a</math> 的距离都会比 <math>\varepsilon</math> 小。

函数极限

主条目：函数极限

考虑定义域为 <math>\mathbb{R}</math> ，对应规则为 <math>f(x) = \frac{x}{x^2 + 1}</math> 的函数在 <math>x</math> 趋向 <math>2</math>的时候的性质。此时 <math>f</math> 于 <math>2</math> 是有定义的。

f(1.9)	f(1.899)	f(1.999)	f(2)	f(2.001)	f(2.01)	f(2.1)
0.4121	0.4012	0.4001	<math>\Rightarrow</math> 0.4 <math>\Leftarrow</math>	0.3998	0.3988	0.3882

当<math>x</math>趋向<math>2</math>的时候，函数值似乎趋向<math>0.4</math>，因此我们有“极限”<math>0.4</math>，正好就是 <math>f(2)</math> ，这种情况我们称为在 <math>x = 2</math>“连续”。

但有时趋近的“极限”不会是那个函数值，考虑定义域为 <math>\mathbb{R}</math> ，对应规则为

<math display="block">g(x)=\begin{cases}

\dfrac{x}{x^2+1}, &x\ne2 \\ 0, & x=2 \end{cases}</math>

的函数，那么当 <math>x</math> 趋于 <math>2</math> 的时候，<math>g(x)</math>的极限似乎与前面的 <math>f(x)</math> 相同都是<math>0.4</math>。但 <math>g(2) \ne 0.4</math>，这就是说， <math>g(x)</math> 在 <math>x = 2</math> 不连续。

有时趋近的点甚至不在定义域里（也就是无定义），考虑到算式（本质上是一阶逻辑中的项，所以下面以冒号来代表符号辨识上的定义，而非“数字”意义上的相等）

<math display="block"> T : \frac{x - 1}{\sqrt{x} - 1} </math>

当 <math>x = 1</math> 时，算式 <math>T</math> 等于零除以零而没有定义。但以 <math>T</math> 有定义的最大定义域 <math>\mathbb{R}-\{1\}</math>（去除 <math>1</math> 的实数系）， 跟对应规则 <math>f(x) = T</math> 来定义的函数 <math>f</math>， 趋近于 <math>1</math> 的“极限”似乎是 <math>2</math>

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	<math>\Rightarrow</math> 未定义 <math>\Leftarrow</math>	2.001	2.010	2.10

实函数在有限处的极限

若 <math>f</math> 是一个实函数（也就是定义域和值域都包含于实数系），<math>L\in\mathbb{R}</math>，那么

<math display="block"> \lim_{x \to c}f(x) = L </math>

用ε-δ语言定义为：对所有的<math> \varepsilon\ >0</math>，都存在 <math> \delta\ >0</math> 使得：对任意 <math>x\in D_f</math> 满足<math>0<|x-c|< \delta\ </math>时会有<math>| f (x)-L|< \varepsilon\ </math>。以逻辑符号来表示即为

<math display="block">(\forall \varepsilon >0)(\exists \delta > 0)(\forall x \in D_f)[\,( 0 < |x-c| <\delta)\Rightarrow (| f(x)-L | < \varepsilon)\,]</math>

实函数在无穷远处的极限

与函数趋于某个给定值时的极限概念相关的是函数在无穷远处的概念。这个概念不能从字面上直接理解为：<math>x</math>距离无穷远越来越小的状态，因为无穷不是一个给定的数，也不能比较距离无穷的远近。因此，我们用<math>x</math>越来越大（当讨论正无穷时）来替代。

例如考虑<math>f(x) = \frac{2x}{x + 1}</math>.

<math>f(100) = 1.9802</math>

<math>f(1000) = 1.9980</math>

<math>f(10000) = 1.9998</math>

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

<math display="block"> \lim_{x \to \infty} f(x) = 2</math>

形式上，我们可以定义：

<math display="block"> \lim_{x \to \infty} f(x)=L </math>

为

<math display="block">(\forall \varepsilon >0)(\exists \delta > 0)(\forall x \in D_f)[\,( \delta < x)\Rightarrow (| f(x)-L | < \varepsilon)\,]</math>

类似地，我们也可以定义：

<math display="block">\lim_{x \to -\infty} f(x)=L</math>

为

<math display="block">(\forall \varepsilon >0)(\exists \delta < 0)(\forall x \in D_f)[\,( x < \delta )\Rightarrow (| f(x)-L | < \varepsilon)\,]</math>

符号

极限的符号为lim，它出自拉丁文limit（界限）的前三个字母。

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

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

性质

• <math>\lim_{n \to c} S \sdot f(n) = S \sdot \lim_{n \to c} f(n)</math>，这里S是个内积算法。
• <math>\lim_{n \to c} b{f(n)} = b\,{\lim_{n \to c} f(n)}</math>，这里b是常量。

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

• <math>\lim_{n \to c} [ f(n) + g(n) ] = \lim_{n \to c} f(n) + \lim_{n \to c} g(n)</math>
• <math>\lim_{n \to c} [ f(n) - g(n) ] = \lim_{n \to c} f(n) - \lim_{n \to c} g(n)</math>
• <math>\lim_{n \to c} [ f(n) \sdot g(n) ] = \lim_{n \to c} f(n) \sdot \lim_{n \to c} g(n)</math>
• <math>\lim_{n \to c} \frac{f(n)}{g(n)} = \frac{\displaystyle\lim_{n \to c} f(n)}{\displaystyle\lim_{n \to c} g(n)}</math>

推广

拓扑网

主条目：网 (数学)

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

范畴论

主条目：极限 (范畴论)

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

外部链接

• 埃里克·韦斯坦因. Limit. MathWorld. 
• Mathwords: Limit （页面存档备份，存于互联网档案馆）