1.2 数列的极限

🙌作者简介：数学与计算机科学学院出身、在职高校高等数学专任教师，分享学习经验、生活、 努力成为像代码一样有逻辑的人！
🌙个人主页：阿芒的主页
⭐ 高等数学专栏介绍：本专栏系统地梳理高等数学这门课的知识点，参考书主要为经典的同济版第七版《高等数学》以及作者在高校使用的《高等数学》系统教材。梳理《高等数学》这门课，旨在帮助那些刚刚接触这门课的小白以及需要系统复习这门课的考研人士。希望自己的一些经验能够帮助更多的人。

极限概念是在探求某些实际问题的精确解答过程中产生的，在解决实际问题中逐渐形成的这种极限方法， 已成为高等数学中的一种基本方法.

数列

1. 定义

按自然数1，2，3，… 编号依次排列的一列”有头无尾“的数
$$\begin{array}{r}{x}_1,x_2,x_3,...,x_n,...\end{array}$$
称为无穷数列（简称数列）,记为 { x n } \{x_{n}\} {xn​}，其中 { x n } \{x_{n}\} {xn​}称为数列的第$n$项或通项.

2. 例子

• $\frac{1}{2},\frac{1}{2^2},\frac{1}{2^3},...,\frac{1}{2^n},...$ 通项为 $\frac{1}{2^n}$;
• $2,\frac{1}{2},\frac{4}{3},...,1+\frac{(-1{)}^{n+1}}{n},...$ 通项为 $1+\frac{(-1{)}^{n+1}}{n}$;
• $2,4,8,16,...,2^n,...$ 通项为 $2^n$;

---

数列的极限概念

1. 描述性定义

已知数列 { x n } \{x_{n}\} {xn​}，如果随着 $n$ 的无限增大，数列项 { x n } \{x_{n}\} {xn​} 在其变化过程中与某一常数 $a$无限接近，则称 $a$ 是数列 { x n } \{x_{n}\} {xn​} 的极限，或者称数列 { x n } \{x_{n}\} {xn​} 收敛于 $a$，记为
$$\begin{array}{r}\underset{n\to \infty }{\lim }{x}_n=a或x_n⟶a（n\to \infty ）\end{array}$$
如果数列没有极限，就说数列 { x n } \{x_{n}\} {xn​} 是发散的.

注：发散有三种：极限为①不存在；②-$\infty$; ③+$\infty$.

2. $\epsilon -N$ 定义

给定数列 { x n } \{x_{n}\} {xn​}，如果存在常数 $a$，对于任意给定的的正数 $\epsilon$ (无论它多么小)，总存在正整数 $N$, 使得当 $n>N$时，不等式 $|x_n-a|<\epsilon$ 都成立，那么就称常数 $a$ 是数列 { x n } \{x_{n}\} {xn​}的极限，或者称数列 { x n } \{x_{n}\} {xn​} 收敛于$a$，记为
$$\begin{array}{r}\underset{n\to \infty }{\lim }{x}_n=a或x_n⟶a（n\to \infty ）\end{array}$$

注：① 定义中 $\epsilon$ 具有任意性.
        ~~~~~~~         ② 定义中的正整数 $N$ 与任意给定的正数 $\epsilon$ 有关.
        ~~~~~~~         ③ $\infty$ 不是一个确定的数，而是一个记号，表示绝对值无限增大的一个变量.

3. 例子

例：利用定义证明 ${\lim }_{n\to \infty }\frac{1}{2^n}=0$.
证：由于$|\frac{1}{2^n}-0|=\frac{1}{2^n}$ ，要使 $|\frac{1}{2^n}-0|=\frac{1}{2^n}<\epsilon$，只要 $n>{\log }_2\frac{1}{\epsilon }$. 于是对 $\forall \epsilon >0$，取
$N>[{\log }_2\frac{1}{\epsilon }]$, 则当 $n>N$ 时， $|\frac{1}{2^n}-0|<\epsilon$ 恒成立， 故 ${\lim }_{n\to \infty }\frac{1}{2^n}=0$.

---

数列的极限性质

1. 数列极限的唯一性

若数列 { x n } \{x_{n}\} {xn​} 收敛， 则 { x n } \{x_{n}\} {xn​} 的极限是唯一的.

2. 数列极限的有界性

若数列 { x n } \{x_{n}\} {xn​} 收敛， 则 { x n } \{x_{n}\} {xn​} 必有界.

3. 数列极限的保号性

若${\lim }_{n\to \infty }{x}_n=A$ , 且$A>0$ (或$A<0$), 则存在正整数 $N$, 使得当 $n>N$ 时，都有 $x_n>0$ （或$x_n<0$）.

---