最后更新: 2025-09-04 10:56 查看: 1176 次反馈能力测评会员8.2元/月赞助

数列的极限

## 数列
数列 $\left\{x_n\right\}: x_1, x_2, x_3, \cdots, x_n, \cdots$ 我们把这无穷多个数排成的序列称为数列， 其中 $x_1$ 称为数列的首项， $x_n$ 称为数列的第 $n$ 项，或称为数列的一般项 (通项).

**等差数列** $\left\{x_n\right\}$ : 公差 $d=x_n-x_{n-1} \in R$ ，通项公式为 $x_n=x_1+(n-1) d$ ，前 $n$ 项 求和公式为 $S_n=\frac{n\left(x_1+x_n\right)}{2}$.

**等比数列** $\left\{x_n\right\}$ : 公比 $q=\frac{x_n}{x_{n-1}}$ ， 通项公式为 $x_n=x_1 \cdot q^{n-1}$ ，前 $n$ 项求和公式 为 $S_n=\frac{x_1\left(1-q^n\right)}{1-q}$.

> 注意：对于数列使用的是$\left\{x_n\right\}$ 来表示，而对于数列中的通项使用的是 $x_n$ 来表示，一个含有大括号，一个没有大括号，请注意这细微的区别

## 数列极限的引入

一尺之棰，日取其半，万世不竭. —— 《庄子 · 天篇》

一尺长的木棍， 每天截掉一半， 每天截取的长度按照天数可排成一个数列:

$$
\frac{1}{2}, \frac{1}{2^2}, \frac{1}{2^3}, \ldots, \frac{1}{2^n}, \ldots \text {, }
$$

数列的通项为 $\frac{1}{2^n}$ ，当 $n$ 无限增大(记作 $n \rightarrow \infty$, 读作 $n$ 趋于无穷大)时， $\frac{1}{2^n}$ 无限接 近一个确定的数 0 . 在数学上称这个确定的数 0 是数列 $\left\{\frac{1}{2^n}\right\}$ 当 $n \rightarrow \infty$ 时的极限.

解决实际问题时， 经常用到极限方法. 极限方法作为高等数学中的一种基本方法， 很有必要做进一步详细的讨论. 先看下面的 4 个数列.
(1) $1, \frac{1}{2}, \frac{1}{3}, \ldots, \frac{1}{n}, \ldots$;
(2) $1,3,3^2, \ldots, 3^{n-1}, \ldots$;
(3) $1,-1,1, \ldots,(-1)^{n-1}, \ldots$;
(4) $2, \frac{1}{2}, \frac{4}{3}, \ldots, \frac{n+(-1)^{n-1}}{n}, \ldots$;
它们的一般项依次为

$$
\frac{1}{n}, 3^{n-1},(-1)^{n-1}, \frac{n+(-1)^{n-1}}{n} \text {. }
$$

在几何上，数列  $x_n$     可看作数轴上的一个动点， 如图1-35所示 ，

![图片](/uploads/2022-12/image_202212271246.png)

它依次取数轴上的点 $x_1 ， x_2, x_3, \ldots, x_n \ldots$
按函数的定义， **数列 $\left\{x_n\right\}$ 可看作自变量为正整数 $n$ 的函数**， 即 $x_n=f(n)$ ， 它的定义域是全体正整数，当自变量 $n$ 依次取 $1,2,3, \cdots$ 时，对应的函数值就排列 成数列 $\left\{x_n\right\}$.

现在我们所关心的问题是:
(1) 给定一个数列后，该数列的变化趋势如何? 随着 $n$ 的无限增大， $x_n$ 能否无限接近某个常数?
(2) 如果能无限接近某个确定的数，则该常数是多少?

> 在初中函数通常使用$y=f(x)$ 表示，他表示输入$x$输出$y$，而到了高中使用$z=f(x,y)$ 他表示输入$x,y$ 输出$z$，而到了大学，通常使用$f=f(x,y,z)$ 表示，他表示输入$x,y,z$ 输出$f$ , 因此，这里的数列严格的说是双变量模式，即$f=f(n,x)$, 一个数列的“项”由 $n$和 $x$ 共同决定

## 数列极限的定义
设 $\left\{x_n\right\}$ 为一数列，如果存在一个常数 $a \in R ，$ 对于任意给定的正数 $\varepsilon ，$ 总存在一 个正整数 $N$ ，使得对于 $n>N$ 时的一切 $n$ ， 不等式 $\left|x_n-a\right|<\varepsilon$ 均成立，则称常数 $a$ 是数列 $x_n$ 的极限，或者称数列 $\left\{x_n\right\}$ 收敛于 $a$ ， 记作

$$
\lim _{n \rightarrow \infty} x_n=a \text { ，或 } x_n \rightarrow a(n \rightarrow \infty) \text {. }
$$

如果这样的常数 $a$ 不存在，就称数列没有极限，或称数列发散.

> 我们用 “ $\forall$ " 表示 “任意的"（All的A字母倒过来写）， 用 “ $\exists$ " 表示 “存在"（Exists的E字母反过来写）， 就可以用更简洁 的语言来描述数列的极限.

如果 $\forall \varepsilon>0 ， \exists N \in Z^{+}$，当 $n>N$ 时，恒有 $\left|x_n-a\right|<\varepsilon$ 则 $\lim _{n \rightarrow \infty} x_n=a$.

注 (1) 定义中， $\varepsilon$ 刻画了 $x_n$ 和 $a$ 的接近程度， $\varepsilon$ 的 “任意” 性极其重要. 只有这样， $\left|x_n-a\right|<\varepsilon$ 才能体现 $x_n$ 和 $a$ 的 “无限接近" ；
(2) 正整数 $N$ 与任意给定的正数 $\varepsilon$ 有关. 对于给定的 $\varepsilon ，$ 相应的 $N$ 不是唯 的， 即只要其存在， 并没有要求其达到最小；
(3) 由定义也可看出， $\left\{x_n\right\}$ 的极限是否存在仅与它的发展趋势有关. 只要从 某项 $N$ 开始， $\left|x_n-a\right|<\varepsilon$ 即可，与前有限项的变化无关.

下面给出 “数列 $\left\{x_n\right\}$ 的极限为 $a$ " 的几何解释.若在数轴上标出 $x_1, x_2 ， \ldots ， x_{n^{\prime}} \ldots$ 及 $a$ ，再作 $a$ 的 $\varepsilon$ 邻域 $(a-\varepsilon, a+\varepsilon)$ (见图1-36)，

![图片](/uploads/2022-12/image_202212271248.png)

就会发现，当 $n>N$ 时，点 $\left\{x_n\right\}$ 均落在 $(a-\varepsilon, a+\varepsilon)$ 内，至多有有限个 $(N$ 个落在 $(a-\varepsilon, a+\varepsilon)$ 外.
必须指出， 数列的定义可用于验证 $a$  是数列 $x_n$   的极限， 但却无法用于求极限。

## 数列的有界与无界
如果把数列看成函数$ x_n=f(n)$ 那么就可以用函数的角度查看数列的性质，

定义：若函数 $x_n=f(n)$ 有上界，

免费注册看余下 70%

非VIP会员每天5篇文章，开通VIP 无限制查看

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：复合函数

下一篇：数列极限的计算

本文对您是否有用？有用 (0) 无用 (0)