浅谈数列极限

对于同济的高数，数列极限的定义如下：

定义  设{}为一数列，如果存在常数 a，对于任意给定的正数 ε（不论它多么小），总存在正整数N，使得当n>N时，不等式

都成立，那么就称常数a是数列{}的极限。 

书上这段属实有点“抽象”，

可以更详细的说一下：对于任意给定的正数ε，总存在正整数N = N（ε）。

诶？为什么写成 N = N（ε）？

因为实际证明的时候，N是要给成含ε的式子的，然后再来捋一捋这个定义，

我们首先假定这个数列{}是一个递减的数列，则假设对于任意给定的正数ε，存在正整数N满足：

设：

对 f(N) 反解，得：

则对于ε有 N = g(ε)。又因为数列是递减的，所以，又ε为任取，可以为任意小的值，所以可以无限贴近值a，故单调递减的数列{}有极限。

对于递增数列，上述同样适用，即使这个数列是一个在极限处反复横跳的（震荡），也可以说明，因为在靠近极限的地方，数列必然单调，这也就是收敛数列的保号性。

图片编辑自AxMath，自带的公式编辑器太难用了，ε都打不上去