极限

引言

在微积分中，
微分，指的是$\Delta x$无限接近0时，微小的矩形面积。

积分，指的是把无数这样微小矩形的面积加起来，以得到曲线下面积：

补充：
“微分”是对“差分”的近似，以“直”代“曲”（“微分”就是“直”，“差分”就是“曲”），也叫做线性近似：$微分\approx 差分$
可以参考这篇文章：
微分是什么？

但是，问题在于，在定义什么是“$\Delta x$无限接近0”时，遇到了困难：

$\Delta x$无限接近于0，但$\Delta x̸=0$， 否则以0为底边长的矩形面积为0，无穷多个0相加仍然为0。
$\Delta x$无限接近于0，又必须最接近0， 不可能有什么实数比$\Delta x$更接近于0。
$\Delta x$最接近于0，所以$\Delta x$一定不能为实数，否则$\frac{\Delta x}{2}$就会比$\Delta x$更接近于0。

等到“极限”的出现，才真正解决这个问题。

极限

极限概念是由于求某些实际问题的精确解答而产生的。

数列极限

利用圆内接正多边形来推算圆面积的方法——割圆术。
设有一圆，首先作内接正六边形，把它的面积记为$A_1$
在作内接正十二边形，其面积记为$A_2$
再作内接正二十四边形，其面积记为$A_3$
循此下去，每次边数加倍
一般地把内接正 $6\times 2^{n-1}$ 边形的面积记为 $A_n$（$n\in N^{+}$），这样，就得到一系列内接正多边形的面积：
$$A_1，A_2，A_3，...A_n，...$$
它们构成一列有次序的数。当n越大，内接正多边形与圆的差别越小，从而以$A_n$作为圆面积的近似值也越精确。但是无论n取得如何大，只要n取定了，$A_n$终究只是多边形的面积，而还不是圆的面积。
因此，
设想n无限增大（$n\to \infty$），即内接正多边形的边数无限增加，在这个过程中，内接正多边形无限接近于圆，同时$A_n$也无限接近于某一确定的数值，这个确定的数值就理解为圆的面积。
这个确定的数值在数学上称为有次序的数$A_1，A_2，A_3，...A_n，...$，当$n\to \infty$时的极限。

因此，引出数列的概念：
如果按照某一法则，对每个$n\in N^{+}$，对应着一个确定的实数$x_n$，这些实数 $x_n$ 按照下标n从小到大排列得到的一个序列
$$x_1，x_2，x_3，...x_n，...$$
就叫做数列，简记为数列 { x n } \{x_n\} {xn​}。

数列中的每一个数叫做数列的项，第n项$x_n$叫做数列的一般项。
例：
$$\frac{1}{2}，\frac{2}{3}，\frac{3}{4}，...，\frac{n}{n+1}，...$$
$\frac{n}{n+1}$就是数列的一般项。

数列 { x n } \{x_n\} {xn​}可看作自变量为正整数n的函数：
$x_n=f(n)，n\in N^{+}$
当自变量依次取1,2,3,…等一切正整数时，对应的函数值就排列成数列 { x n } \{x_n\} {xn​}。

Problem？
对于要讨论的问题来说，重要的是：当n无限增大时（即$n\to \infty$时），对应的 $x_n=f(n)$ 是否能无限接近于某个确定的数值？

例：
对数列
$$2，\frac{1}{2}，\frac{4}{3}，...，\frac{n+(-1{)}^{n-1}}{n}，...$$
进行分析，在数列中，
$$x_n=\frac{n+(-1{)}^{n-1}}{n}=1+(-1{)}^{n-1}\frac{1}{n}$$
两个数$a$与$b$之间的接近程度可以用这两个数之差的绝对值$|b-a|$来度量，（在数轴上，$|b-a|$表示点a与点b之间的距离）
$|b-a|$越小，a与b就越接近。

就该数列来说，因为
$$|x_n-1|=|(-1{)}^{n-1}\frac{1}{n}|=\frac{1}{n}$$
由此可见，当n越来越大时，$\frac{1}{n}$越来越小，从而$x_n$越来越接近于1。
因为只要n足够大，$|x_n-1|$即$\frac{1}{n}$可以小于任意给定的正数。
所以说，当n无限增大时，$x_n$无限接近于1。

例如，给定$\frac{1}{100}$，欲使$\frac{1}{n}$小于$\frac{1}{100}$，只要n>100，即从第101项起，都能使不等式
$$|x_n-1|<\frac{1}{100}$$
成立。同样的，如果给定$\frac{1}{10000}$，则从第10001项起，都能使不等式
$$|x_n-1|<\frac{1}{10000}$$
成立。一般的，不论给定的正数 $ϵ$ 多么小，总存在着一个正整数N，使得当$n>N$时，不等式
$$|x_n-1|<ϵ$$
都成立。这就是数列$x_n=\frac{n+(-1{)}^{n-1}}{n}（n=1,2,3...）$当$n\to \infty$时无限接近于1这件事的实质。
这样的一个数1，叫做数列$x_n=\frac{n+(-1{)}^{n-1}}{n}（n=1,2,3...）$当$n\to \infty$时的极限。

定义

设 { x n } \{x_n\} {xn​}为一数列，如果存在常数a，对于任意给定的正数$ϵ$（不论它多么小），总存在正整数N，使得当n>N时，不等式 $$|x_n-a|<ϵ$$都成立，那么就称常数a是数列 { x n } \{x_n\} {xn​}的极限，或者称数列 { x n } \{x_n\} {xn​}收敛于a，记为 lim ⁡ n → ∞ x { n } = a \lim_{n \rightarrow \infty} x\{n\} = a n→∞lim​x{n}=a

如果不存在这样的常数a，就说数列 { x n } \{x_n\} {xn​}没有极限，或者说数列 { x n } \{x_n\} {xn​}是发散的。（也就是极限不存在）
上面定义中，正数$ϵ$可以任意给定是很重要的，因为只有这样，不等式$|x_n-a|<ϵ$才能表达出$x_n$与$a$无限接近的意思。
另外，定义中的正整数N是与任意给定的正数$ϵ$有关的，它随着$ϵ$的给定而选定。
无穷数列的有极限并不是要求数列中所有项都是单调的向极限值靠拢的。

函数极限

对于数列极限，自变量的变化过程是：n取正整数且无限增大。（$n\to \infty$）
把这种特殊性撇开，可以引出函数极限的一般概念：
在自变量的某个变化过程中，如果对应的函数值无限接近于某个确定的数，那么这个确定的数就叫做在这一变化过程中函数的极限。这个极限是与自变量过程密切相关的。
把自变量的变化过程分为两种情形：
（1）自变量$x$任意的接近于有限值$x_0$或者说趋于有限值$x_0$，对应的函数值$f(x)$的变化情形；
（2）自变量$x$的绝对值$|x|$无限增大即趋于无穷大时，对应的函数值$f(x)$的变化情形；（数列极限就是此种情形）

自变量趋于有限值时函数的极限
在 $x\to x_0$ 的过程中，对应的函数值 $f(x)$ 无限接近于A，就是 $|f(x)-A|$ 能任意小。
如数列极限所述，$|f(x)-A|$ 能任意小这件事可以用 $|f(x)-A|<ϵ$ 来表达，其中 $ϵ$ 是任意给定的正数。
因为函数值 $f(x)$ 无限接近于A是在 $x\to x_0$ 的过程中实现的，所以对于任意给定的正数 $ϵ$，只要求充分接近于$x_0$的$x$所对应的函数值 $f(x)$ 满足不等式 $|f(x)-A|<ϵ$；而充分接近于$x_0$的$x$可表达为 $0<|x-x_0|<\delta$，其中$\delta$是某个正数。从几何上看，适合不等式 $0<|x-x_0|<\delta$ 的$x$全体，就是点$x_0$的去心$\delta$领域，而领域半径$\delta$则体现了 $x$ 接近于 $x_0$ 的程度。

通过以上分析，给出 $x\to x_0$ 时函数的极限的定义：

设函数$f(x)$在点$x_0$的某一去心领域内有定义。如果存在常数A，对于任意给定的正数$ϵ$（不论它多么小），总存在正数$\delta$，使得当$x$满足不等式 $0<|x-x_0|<\delta$时，对应的函数值$f(x)$都满足不等式 $$|f(x)-A|<ϵ,$$ 那么常数A就叫做函数$f(x)$当$x\to x_0$时的极限，记作$$\underset{x\to x_0}{\lim }f(x)=A$$

上述定义可简单的表达为：${\lim }_{x\to x_0}f(x)=A⟺\forall ϵ>0，\exists \delta >0，当0<|x-x_0|<\delta 时，有|f(x)-A|<ϵ$

给出 $x\to \infty$ 时函数的极限的定义：

设函数$f(x)$当$|x|$大于某一正数时有定义。如果存在常数A，对于任意给定的正数$ϵ$（不论它多么小），总存在着正数X，使得当$x$满足不等式$|x|>X$时，对应的函数值都满足不等式$$|f(x)-A|<ϵ，$$那么常数A就叫做函数$f(x)$当$x\to \infty$时的极限，记作$$\underset{x\to \infty }{\lim }f(x)=A$$

上述定义可简单的表达为：${\lim }_{x\to \infty }f(x)=A⟺\forall ϵ>0，\exists X>0，当|x|>X时，有|f(x)-A|<ϵ$

补充一条定理

在自变量的同一变化过程$x\to x_0$(或$x\to \infty$)中，函数$f(x)$具有极限A的充分必要条件是$$f(x)=A+\alpha ,$$其中，$\alpha$是无穷小。

总结：

数列极限是用 $ϵ-N$ 语言描述。
函数极限是用 $ϵ-\delta$ 语言描述。

$ϵ$是$f(x)$无限接近常数A的描述。
$\delta$是$x$无限接近点$x_0$的描述。

（在自变量的变化过程中，对应的函数值越来越逼近于一个值）