查看“︁微积分学/极限/极限的定义”︁的源代码

{{Calculus/Top Nav|极限/简介|极限/极限的性质}}
上一节中我们引进了极限的概念。我们看到，极限的概念包括数列的极限和函数的极限。这一节中，我们将给出极限的严格定义。

==数列的极限==
我们在上一节中已经见到，数列的极限是一个确定的值，表示的是数列发展的最终趋势。用不严格的说法，一个数列<math>\{a_n\}</math>存在某个极限<math>L</math>，表示只要<math>n</math>足够大，<math>a_n</math>就会任意接近<math>L</math>。为了让极限成为严格的数学概念，我们需要对上一句话中的每一个部分进行数学上的明确描述和定义，否则在应用和操作上就会产生混淆。现代的微积分学中主要使用的是由19世纪法国数学家[[w:奧古斯丁·路易·柯西|奧古斯丁·路易·柯西]]所引进的<math>N- \varepsilon</math>定义：
{{Calculus/Def
|title=定义：
|text=设<math>\{a_n\}_{n=1}^{\infty}</math>是一个给定的[[w:实数|实数]]数列。<math>L</math>是一个给定的实数。如果对任意的正实数<math>\varepsilon</math>，都存在一个自然数<math>N</math>，使得对任意的自然数<math>n</math>，只要<math>n\geqslant N</math>，就有<math>\vert a_n - L \vert < \varepsilon.</math>那么就称<math>L</math>是数列<math>\{a_n\}_{n=1}^{\infty}</math>的极限，記為 <math>\lim_{n \to \infty } a_n = L</math>。反之则称<math>L</math>不是数列<math>\{a_n\}_{n=1}^{\infty}</math>的极限。
}}
这个定义对之前的“足够大”、“任意接近”等概念进行了精确的说明，是可以让我们进行具体操作的。比如让我们回头看一看上一节中的例子：
:<math>a_0=1, \quad a_1 = \frac12 , \quad a_2 = \frac14 , \, \cdots \, , a_n = \frac{1}{2^n} , \,\cdots </math>
我们曾经通过观察认为这个数列的极限是0。现在我们可以运用以上的定义来证明之：
{{Calculus/Def
|title=证明：
|text=首先注意到一个事实：对所有的自然数<math>m</math>，都有<math>2^m > m</math>，也就是说<math>2^m \geqslant  m+1</math>。

对任意的正实数<math>\varepsilon > 0</math>，它的倒数<math>\frac{1}{\varepsilon}</math>也是一个正实数。记<math>N_0 = \lfloor \frac{1}{\varepsilon} \rfloor</math>为它的[[w:取整函数|整数部分]]。则对于任意的自然数<math>n</math>，只要<math>n\geqslant N_0</math>，那么
:<math>a_n = \frac{1}{2^n} \leqslant \frac{1}{2^{N_0}} \leqslant \frac{1}{N_0+1}.</math>
而
:<math>N_0+1 =\lfloor \frac{1}{\varepsilon} \rfloor + 1 > \frac{1}{\varepsilon}</math>
所以
:<math>\frac{1}{N_0+1} < \varepsilon.</math>
也就是说
:<math>\vert a_n - 0 \vert = a_n \leqslant \frac{1}{N_0+1} < \varepsilon.</math>
因此<math>0</math>是数列<math>\{a_n\}_{n=1}^{\infty}</math>的极限。 
}}

要注意的是，我们只证明了“<math>0</math>是数列<math>\{a_n\}_{n=1}^{\infty}</math>的极限”，而非“数列<math>\{a_n\}_{n=1}^{\infty}</math>的极限是<math>0</math>”。不过在后面我们会知道，极限如果存在，就是唯一的，所以上面两个命题其实是等价的命题。

==函数的极限==
函数的极限比数列的极限更加多样。实际上，数列可以看做是定义在自然数集合<math>\mathbb{N}</math>上面的函数。不过常见的初等函数一般是定义在实数上的，而我们知道，实数比自然数“多得多”，所以函数的极限描述的是多种无限过程的最终趋势。

===趋近某一点的极限===
一类最简单的极限是函数在其定义域内有限一点的极限。这类极限描述的是函数<math>f(x)</math>的自变量<math>x</math>（在其定义域内）逐渐靠近某个值<math>c</math>时，函数值<math>f(x)</math>的变化趋势。上一节中，我们这样描述函数在一点的极限：如果当<math>x</math>足够接近<math>c</math>时，函数值<math>f(x)</math>就会任意接近某个数值<math>L</math>，那么就说<math>L</math>是<math>f(x)</math>在<math>x</math>趋于<math>c</math>时的极限。与数列的极限一样，这种定义需要用数学的语言进一步明确其中各个部分的含义。我们仍然使用柯西的方法，称为<math>\delta- \varepsilon</math>定义：
{{Calculus/Def
|title=定义：
|text=设<math>c</math>是一个实数，<math>\mathit{O}</math>是一个实数的集合。如果存在正实数<math>s</math>，使得区间<math>(c - s, c + s) \subset \mathit{O}</math>，就称<math>\mathit{O}</math>是<math>c</math>的一个'''[[w:邻域|邻域]]'''。如果存在正实数<math>s</math>，使得<math>(c - s, c)\cup (c, c + s) \subset \mathit{O}</math>，就称<math>\mathit{O}</math>是<math>c</math>的一个'''去心邻域'''。给定一个正实数<math>r</math>，如果一个（去心）邻域<math>\mathit{O}</math>满足<math>\mathit{O} \subset [c - r, c + r]</math>，就称<math>\mathit{O}</math>是一个<math>r-</math>（去心）邻域，记为<math>\mathit{O}_r</math>。
}}

{{Calculus/Def
|title=定义：
|text=设<math>f : \mathbb{D}\subset \mathbb{R} \rightarrow \mathbb{R}</math>是一个定义在实数上的函数。<math>L</math>是一个给定的实数。<math>c</math>是一个实数，并且函数<math>f</math>在<math>c</math>的某个去心邻域上有定义。如果对任意的正实数<math>\varepsilon</math>，都存在一个正实数<math>\delta</math>，使得对任意的实数<math>x</math>，只要<math>f</math>在点<math>x</math>处有定义，并且<math>x</math>在<math>c</math>的某个<math>\delta-</math>（去心）邻域中（即<math>\vert x - c \vert \leqslant \delta</math>），就有<math>\vert f(x) - L \vert \leqslant \varepsilon</math>，那么就称<math>L</math>是函数<math>f</math>在<math>x</math>趋于<math>c</math>时的极限，或简称<math>L</math>为<math>f</math>在<math>c</math>的极限，記為 <math>\lim_{x \to c } f(x) = L</math>。反之则称<math>L</math>不是<math>f</math>在<math>x</math>趋于<math>c</math>时的极限。
}}

通过这个定义，我们可以证明上一节中<math>f(x)=x^2</math>在<math>x</math>趋于<math>2</math>时的极限是<math>4</math>。
{{Calculus/Def
|title=证明：
|text=函数<math>f(x)=x^2</math>在整个实数轴<math>\mathbb{R}</math>上有定义，所以一定在<math>2</math>的某个去心邻域上有定义。对任意的正实数<math>\varepsilon</math>，取正实数<math>\delta</math>为<math>\frac{\varepsilon}{5}</math>和<math>1</math>当中的较小者：<math>\delta = \min \{ \frac{\varepsilon}{5} ,1\} </math>。则对任意的实数<math>x</math>，只要<math>\vert x - 2 \vert \leqslant \delta</math>，就有
:<math>\vert f(x) - 4 \vert = \vert x^2 - 4 \vert = \vert x - 2 \vert \cdot \vert x+2 \vert .</math>
然而按<math>\delta</math>的定义，<math>\vert x - 2 \vert \leqslant \frac{\varepsilon}{5}</math>；另一方面，由于<math>\vert x - 2 \vert\leqslant 1</math>，所以<math>x</math>介于1和3之间，<math>\vert x + 2 \vert \leqslant 5</math>。所以 
:<math>\vert f(x) - 4 \vert \leqslant \frac{\varepsilon}{5} \cdot 5 = \varepsilon .</math>
因此<math>4</math>是<math>f</math>在<math>x</math>趋于<math>2</math>时的极限。 
}}

===单边极限===
上面我们严格地定义了一个函数在某一点的极限。在定义里，我们并没有要求函数要在这一点上有定义。事实上，有时候函数不一定在'''所有'''足够接近一点的点上都有定义。比如，令函数<math>f(x)=\sqrt{x-2}</math>，可以证明，在<math>x</math>大于<math>2</math>并趋于<math>2</math>时的<math>f(x)</math>趋于<math>0</math>，但它在<math>x < 2</math>时没有定义。对于这种函数值在“一边”有定义的情况，我们可以更加详细地定义单边的极限：
{{Calculus/Def
|title=定义：
|text=设<math>f : \mathbb{D}\subset \mathbb{R} \rightarrow \mathbb{R}</math>是一个定义在实数上的函数。<math>L</math>是一个给定的实数。<math>c</math>是一个实数，并且函数<math>f</math>在<math>c</math>的某个去心邻域<math>\mathit{O}</math>的左（右）侧：<math>\mathit{O}_- = \mathit{O}\cap\{x < c\}</math>（<math>\mathit{O}_+ = \mathit{O}\cap\{x > c\}</math>）上有定义。如果对任意的正实数<math>\varepsilon</math>，都存在一个正实数<math>\delta</math>，使得对任意的实数<math>x<c</math>（<math>x>c</math>），只要<math>\vert x - c \vert \leqslant \delta</math>，就有<math>\vert f(x) - L \vert \leqslant \varepsilon.</math>那么就称<math>L</math>是函数<math>f</math>在<math>x</math>趋于<math>c</math>时的左（右）极限，記為 <math>\lim_{x \to c^- } f(x) = L</math>（<math>\lim_{x \to c^+ } f(x) = L</math>）。反之则称<math>L</math>不是<math>f</math>在<math>x</math>趋于<math>c</math>时的左（右）极限。
}}

在这个定义下，我们可以说<math>f(x)=\sqrt{x-2}</math>在<math>x</math>趋于<math>2</math>时的右极限是<math>0</math>。函数在趋于<math>c</math>时的极限存在，等价于说左、右极限都存在并相等。不过有时即使函数在趋于某点时的左右极限存在，也可以不相等。这时候函数在这一点没有极限。

===在无穷远处的极限===
函数在某一点的极限可以描述自变量趋于这一点的时候函数值的变化趋势，对于定义域包括实数轴的某一侧（或两侧）的函数，可以探讨它在自变量充分大（或充分小）时候的变化趋势。我们可以像前面一样定义函数在无穷远处的极限：
{{Calculus/Def
|title=定义：
|text=设<math>f : \mathbb{D}\subset \mathbb{R} \rightarrow \mathbb{R}</math>是一个定义在实数上的函数，并在某个开区间<math>\{x > A\}</math>（或<math>\{x < A\}</math>）上有定义。<math>L</math>是一个给定的实数。如果对任意的正实数<math>\varepsilon</math>，都存在一个正实数<math> M </math>，使得对任意的实数<math>x</math>，只要<math>x \geqslant M </math>（或<math>x \leqslant -M </math>），就有<math>\vert f(x) - L \vert \leqslant \varepsilon.</math>那么就称<math>L</math>是函数<math>f</math>在<math>x</math>趋于正无穷大（负无穷大）时的极限，或简称<math>L</math>为<math>f</math>在正无穷（负无穷）处的极限，記為 <math>\lim_{x \to +\infty } f(x) = L</math>（<math>\lim_{x \to -\infty } f(x) = L</math>）。反之则称<math>L</math>不是<math>f</math>在<math>x</math>趋于正无穷大（负无穷大）时的极限。
}}

===趋向无穷的极限===
以上的定义中，数列或函数的变化趋势都可以用某个确定的数值来刻画。但有时候，函数或数列的变化趋势并不是接近某一个确定的数，而是变得越来越大（或越来越小）。这时候我们称函数或数列趋向正无穷大或负无穷大，相应的定义为：
{{Calculus/Def
|title=定义：
|text=设<math>\{a_n\}_{n=1}^{\infty}</math>是一个给定的实数数列。如果对任意的正实数<math>M</math>，都存在一个自然数<math>N</math>，使得对任意的自然数<math>n</math>，只要<math>n\geqslant N</math>，就有<math> a_n > M</math>（<math> a_n < - M</math>），那么就称数列<math>\{a_n\}_{n=1}^{\infty}</math>趋于正无穷大（负无穷大），或者说数列<math>\{a_n\}_{n=1}^{\infty}</math>的极限是正无穷大（负无穷大）記為<math>\lim_{n \to \infty } a_n = +\infty</math>（<math>\lim_{n \to \infty } a_n = -\infty</math>）。
}}
{{Calculus/Def
|title=定义：
|text=设<math>f : \mathbb{D}\subset \mathbb{R} \rightarrow \mathbb{R}</math>是一个定义在实数上的函数。<math>c</math>是一个实数，并且函数<math>f</math>在<math>c</math>的某个去心邻域上有定义。如果对任意的正实数<math>M</math>，都存在一个正实数<math>\delta</math>，使得对任意的实数<math>x</math>，只要<math>\vert x - c \vert \leqslant \delta</math>，就有<math> f(x) \geqslant M</math>（<math> f(x) \leqslant - M</math>），那么就称函数<math>f</math>在<math>x</math>趋于<math>c</math>时趋向正无穷大（负无穷大），或称<math>f</math>在<math>x</math>的极限是正无穷大（负无穷大），記為 <math>\lim_{x \to c } f(x) = +\infty</math>（<math>\lim_{x \to c } f(x) = -\infty</math>）。
}}
{{Calculus/Def
|title=定义：
|text=设<math>f : \mathbb{D}\subset \mathbb{R} \rightarrow \mathbb{R}</math>是一个定义在实数上的函数。<math>c</math>是一个实数，并且函数<math>f</math>在<math>c</math>的某个去心邻域<math>\mathit{O}</math>的左（右）侧：<math>\mathit{O}_- = \mathit{O}\cap\{x < c\}</math>（<math>\mathit{O}_+ = \mathit{O}\cap\{x > c\}</math>）上有定义。如果对任意的正实数<math>M</math>，都存在一个正实数<math>\delta</math>，使得对任意的实数<math>x<c</math>（<math>x>c</math>），只要<math>\vert x - c \vert \leqslant \delta</math>，就有<math>f(x) \geqslant M</math>（<math>f(x) \leqslant - M</math>）那么就称函数<math>f</math>在<math>x</math>从左（右）侧趋于<math>c</math>时趋于正无穷大（负无穷大），記為 <math>\lim_{x \to c^- } f(x) = +\infty</math>或<math>\lim_{x \to c^- } f(x) = -\infty</math>（<math>\lim_{x \to c^+ } f(x) = +\infty</math>或<math>\lim_{x \to c^+ } f(x) = -\infty</math>）。
}}
{{Calculus/Def
|title=定义：
|text=设<math>f : \mathbb{D}\subset \mathbb{R} \rightarrow \mathbb{R}</math>是一个定义在实数上的函数，并在某个开区间<math>\{x > A\}</math>（或<math>\{x < A\}</math>）上有定义。<math>L</math>是一个给定的实数。如果对任意的正实数<math>M</math>，都存在一个正实数<math> M^' </math>，使得对任意的实数<math>x</math>，只要<math>x \geqslant M^' </math>（或<math>x \leqslant - M^' </math>），就有<math> f(x) \geqslant M</math>（<math> f(x) \leqslant - M</math>），那么就称<math>L</math>是函数<math>f</math>在<math>x</math>趋于正无穷大（负无穷大）时趋于正无穷大（负无穷大），記為 <math>\lim_{x \to +\infty } f(x) = +\infty</math>或<math>\lim_{x \to +\infty } f(x) = -\infty</math>（<math>\lim_{x \to -\infty } f(x) = +\infty</math>或<math>\lim_{x \to -\infty } f(x) = -\infty</math>）。 
}}

要注意的是，“<math>L</math>为<math>f</math>在正无穷（负无穷）处的极限”、“趋于正无穷大（负无穷大）”、“极限是正无穷大（负无穷大）”并不表示正无穷（负无穷）是实数轴上的某个点或某个具体的数值。有关无穷小和无穷大的含义，请见下一节“极限的性质”。

==评论==
在极限的严格定义中，有几点是需要注意的：
#如上一节中指出的，无论是数列的极限，还是函数的极限，都是一个独立于数列和函数的数值。某个数列的极限或某个函数在某点（或在无穷大）的极限为<math>L</math>，并不表示它们在趋近的时候会“到达”<math>L</math>或者在“经过无穷步之后到达<math>L</math>”。有时会将极限“生动地”表述为：
#:::当<math>x \rightarrow c</math>时，<math>f(x) \rightarrow L</math>，或者 
#:::<math>a_n \xrightarrow[n\to\infty]{} L</math>
#:但这并不表示极限一定对应着一个时间上动态的“取极限”过程。极限的定义只是描述一个与数列和函数有关的静态性质，而不涉及时间上“无限趋近于某个点的动态过程”或“某个无限过程的完成式”等等。
#极限的定义中使用了绝对值，也就是一维欧几里得空间中的一种距离：<math>d : (x, y) \mapsto |x -y|</math>作为衡量两点之间“远近”的方法。事实上可以定义其他的距离，比如<math>d^* : (x, y) \mapsto 2|x -y|</math>。但使用这些距离的极限定义都是等价的。这是因为有限维向量空间中的范数都是相互等价的，从而诱导出的拓扑结构也是等价的。
#极限的定义中使用了“只要……就有……”这样的自然逻辑句式，这是为了便于阅读，事实上可以将极限的定义完全用逻辑表达式表示，比如数列的极限定义可以表示为：
#:<math>\lim_{n\to\infty} a_n = L \iff \forall \varepsilon > 0, \exists N \in \mathbb{N}, \left( n \geqslant N \ \Longrightarrow \vert a_n - L \vert < \varepsilon \right). </math>
#极限的定义中，有的地方用了严格不等号，有的地方用宽松的不等号。事实上有时候可以将两者调换，而不会影响定义。比如上面数列定义中的<math>n \geqslant N \ \Longrightarrow \vert a_n - L \vert < \varepsilon</math>部分，里面的小于号可以改成小于等于号，大于等于号可以改为大于号。也就是说以下四个版本都是等价的。
#:<math>\lim_{n\to\infty} a_n = L \iff \forall \varepsilon > 0, \exists N \in \mathbb{N}, \left( n \geqslant N \ \Longrightarrow \vert a_n - L \vert < \varepsilon \right). </math>
#:<math>\lim_{n\to\infty} a_n = L \iff \forall \varepsilon > 0, \exists N \in \mathbb{N}, \left( n \geqslant N \ \Longrightarrow \vert a_n - L \vert \leqslant \varepsilon \right). </math>
#:<math>\lim_{n\to\infty} a_n = L \iff \forall \varepsilon > 0, \exists N \in \mathbb{N}, \left( n > N \ \Longrightarrow \vert a_n - L \vert < \varepsilon \right). </math>
#:<math>\lim_{n\to\infty} a_n = L \iff \forall \varepsilon > 0, \exists N \in \mathbb{N}, \left( n > N \ \Longrightarrow \vert a_n - L \vert \leqslant \varepsilon \right). </math>
#:但最前面<math>\varepsilon</math>（和<math>\delta</math>）必须严格大于0，不能改成大于等于0。
#数列可以看做是定义在自然数集合<math>\mathbb{N}</math>上的函数，所以数列的极限可以看做是一个定义在<math>\mathbb{N}</math>上的函数在无穷大处的极限。
<!--


===無窮大與無窮小===
無窮小是一種函數在某種情況下的表現。

若函數f(x)在<math>x \to c </math>有<math>f(x) \to 0 </math>，則稱f(x)為<math>x \to c </math>時的無窮小。
-->

{{Calculus/Top Nav|极限/简介|极限/极限的性质}}
{{Calculus/TOC}}

[[Category:數學分析]]