数列极限（二）

今天我们继续介绍数列极限。

往期回顾：数列极限（一）

理解任意小：ε

下面我们通过一个例子来加深对ε-N语言的任意小的理解，以及引出一个重要的推论。先看例题：

证明分两步走，首先：

这里要理解两点：1.对于给定的ε，根据极限定义，能够找到一个正整数N，使得N项后的数列通项与0的距离小于ε，那么也一定存在一个N1，使得对于N1后的数列通项与0的距离小于ε/2；2.当N1找到后,那么从第一项起,到N1项的数是已知的，所以只要分母n足够大，一定能够使得数列前N1项之和的1/n倍小于ε/2.

根据第一步证明结果，我们有推论：

无穷小量的前n项算术平均构成的新数列也是无穷小量

有了这个推论，我们很容易完成余下的证明：

以上的核心是对任意小ε的理解，它是一个动态的变化。要多小有多小。根据此，能推出数列的第一个性质：数列极限的唯一性。

数列极限的性质

下面我们介绍数列的一些性质。

• 极限的唯一性
  

当你理解了“要多小就有多小”后，就能明白为什么a=b，也即数列极限的唯一性。

• 收敛数列必定有界

首先给出数列有界的定义，这与集合的有界性异曲同工：

根据此，我们证明收敛数列必定有界。

• 数列的保序性
  

数列保序性是一个非常重要的性质，需要熟悉掌握，先说命题：

对于保序性定理，要理解的一点是ε的取值，它取的是极限a和极限b的中点到点a和点b的距离，在这个领域内，数列xn永远处于数列yn的左边，用坐标轴形象表示如下：

根据保序性，有下面逆命题与推论成立：

注意，逆命题a不一定严格小于b，比如{xn}=1/n,{yn}=2/n，它们极限是相等的。对于推论的结论，只要取xn=b/2构造成一个新数列，根据保序性就能证明。这里要说的一点是，如果一个数列不是以0为极限（无穷小量），那么第N项后，数列与0保持一定的距离。

• 数列的夹壁性定理（迫敛性定理）
  

数列迫敛性定理经常用到许多证明中，下面是定理的证明：

利用迫敛性定理很容易证明很多命题，举两个例子：

在数列极限（一）中，我们推断出了一个重要的极限：

利用迫敛性证明相当简单：

中间不等式利用了平均数定理——几何平均数小于等于算术平均数

数列极限的四则运算

数列极限运算有三条：

运用四则运算我们可以得出一个结论：

这里需要注意一点，有限个极限相加才能运用四则运算，若是无限个极限相加，不能运用四则运算。下面举个例子：

算术平均与几何平均的极限相同

最后，我们证明一下平均值极限相同的命题：

我们总结一下今天的内容：

1.无穷小量的前n项算术平均构成的新数列也是无穷小量

2.数列极限的性质有：唯一性，保序性，夹壁性（迫敛性）

3.如果数列不是以0为极限，那么第N项后，数列与0保持一定的距离

4.无穷个数列极限相加不能运用四则运算

5.算术平均与几何平均的数列极限相同