数列极限：从「越来越接近」到 ε-N 定义

先建直觉：一个数列在「趋近」什么？

考虑这样一个数列：

a_{n} = \frac{n}{n + 1} = \frac{1}{2}, \frac{2}{3}, \frac{3}{4}, \frac{4}{5}, \dots

把前几项写出来：

$n$	$a_{n}$	与 1 的差距
1	0.5000	0.5000
10	0.9091	0.0909
100	0.9901	0.0099
1000	0.9990	0.0010
10000	0.9999	0.0001

每一项都比 1 小，但差距在持续缩小。不管你希望「误差小于 0.001」，只要 $n > 999$ 就能做到；希望「误差小于 0.0001」，只要 $n > 9999$ 就能做到。

数列 n/(n+1) 前十项趋近于 1 的折线图，渐近线标注极限值 — $a_{n} = n / (n + 1)$ 的图像：点越来越靠近 $y=1$，却永远无法到达。AI 生成示意图

这就是极限的核心思路：给定任意小的误差要求，总能找到一个足够大的 $n$，使得之后所有项都落在要求的范围内。

ε-N 定义：把直觉变成精确语言

高数给出的严格定义如下：

若对任意 \varepsilon > 0!，存在正整数 $N$，使得当 $n > N$ 时，都有 |a_n - A| < \varepsilon!，则称数列 ${a_{n}}$ 以 $A$ 为极限，记作：
$$\lim_{n \to \infty} a_n = A$$

拆解这四个要素：

任意 \varepsilon > 0!：无论挑战者（你）把误差要求压得多小，哪怕是 $1 0^{- 100}$
存在正整数 $N$：应答者（数列）总能给出一个门槛 $N$
$n > N$ 时：超过这个门槛之后
|a_n - A| < \varepsilon!：所有后续项与极限 $A$ 的距离都在误差要求之内

一句话总结：极限存在 = 「无论你要多准，我都能给够」。

ε-N 定义的几何含义：超过门槛 N 后，所有序列点都落在 ε 区间带内 — ε 带示意图：虚线之间的区域宽为 $2 ε$ ，$n > N$ 后所有点收进带内。AI 生成示意图

例题演示

例题 1：用定义证明 $lim_{n \to \infty} \frac{n}{n + 1} = 1$

解题目标：对任意 \varepsilon > 0!，找出合适的 $N$，验证定义。

第一步：分析 $∣ a_{n} - 1∣$

\frac{n}{n + 1} - 1 = \frac{n - ( n + 1 )}{n + 1} = \frac{1}{n + 1}

第二步：让误差小于 $ε$

\frac{1}{n+1} &lt; \varepsilon \iff n+1 &gt; \frac{1}{\varepsilon} \iff n &gt; \frac{1}{\varepsilon} - 1

第三步：给出 $N$

取

N = ⌊ \frac{1}{ε} ⌋

（取不超过

\frac{1}{ε}

的最大整数），则当 $n > N$ 时：

\left|\frac{n}{n+1} - 1\right| = \frac{1}{n+1} &lt; \frac{1}{N+1} \leq \varepsilon

定义验证完毕。

■

例题 2： $lim_{n \to \infty} \frac{2 n ^{2} + 1}{n ^{2} - 3}$

这道题不需要写 ε-N 证明，而是用代数方法求极限值——这在实际计算中更常用。

方法：分子分母同除以最高次项 $n^{2}$

\frac{2 n ^{2} + 1}{n ^{2} - 3} = \frac{2 + \frac{1}{n ^{2}}}{1 - \frac{3}{n ^{2}}}

当

n \to \infty

时，

\frac{1}{n ^{2}} \to 0

，

\frac{3}{n ^{2}} \to 0

，所以：

n \to \infty lim \frac{2 n ^{2} + 1}{n ^{2} - 3} = \frac{2 + 0}{1 - 0} = 2

规律：有理函数的极限，结果取决于分子分母最高次项的系数之比——分子分母同次时，极限等于最高次系数之比。

一个容易踩的坑

「极限等于 $A$」不要求

a_{n}

最终等于 $A$。

上例

a_{n} = \frac{n}{n + 1}

的每一项都小于 1，它永远不等于极限值 1。极限描述的是「趋近的方向和目标」，不是「到达」。

这与函数极限中「

x \to x_{0}

时 $f(x)$ 的极限」是同样的逻辑：求

lim_{x \to 0} \frac{sin x}{x}

时，$x = 0$ 处根本无定义，但极限完全可以存在且等于 1。

下一期预告：函数极限与无穷小量——从数列跳到函数，极限的舞台会更大一点。

延伸阅读：ε-N 定义的起源可以追溯到 19 世纪柯西（Cauchy）和魏尔斯特拉斯（Weierstrass）对分析学基础的严格化工作，Wikipedia 的数列极限词条对此有概要介绍。