数列极限＜1＞——数列极限

数列极限

数列极限的定义

定义1.1 邻域

实数轴上的点$x_0$附近的开区间$U\left(x_0,\delta \right)=\left(x_0-\delta ,x_0+\delta \right)$称为$x_0$的邻域,若不包含$x_0$,则称为去心邻域 U ˚ ( x 0 , δ ) = ( x 0 , δ ) − { x 0 } \mathring{U}\left ( x_{0},\delta \right )=\left ( x_{0},\delta \right )-\left \{ x_{0} \right \} U˚(x0​,δ)=(x0​,δ)−{x0​}。

定义1.2 数列极限

{ x n } \left \{ x_{n} \right \} {xn​}是一串实数组成的序列,下标n代表实数在序列中的位置,也可看做从正整数集到实数的特殊函数,若满足:
$\forall \epsilon >0$,$\exists N$:$\forall n>N$,$\left|x_n-A\right|<\epsilon$
则称为数列 { x n } \left \{ x_{n} \right \} {xn​}以实数$A$为极限,或数列 { x n } \left \{ x_{n} \right \} {xn​}收敛于极限$A$,符号化表述为${\lim }_{n\to \infty }{x}_n=A$或$x_n\to A(n\to \infty )$。
几何解释:给定$\epsilon >0$,总能找到正整数$N$,使得从第$N$项起,其后的无穷多项$x_n$都落在开区间$\left(A-\epsilon ,A+\epsilon \right)$内。由于条件中$\epsilon$可以是任意小的正实数,所以$x_n$能无限趋近于极限$A$。

定义1.3 无穷小量

极限为0的数列称为无穷小量。

定理1.1

数列 { x n } \left \{ x_{n} \right \} {xn​}以$A$为极限当且仅当数列 { x n − A } \left \{ x_{n} -A \right \} {xn​−A}以$0$为极限。

数列极限的性质

定理1.2 数列极限的唯一性

若${\lim }_{n\to \infty }{x}_n=A$,${\lim }_{n\to \infty }{x}_n=B$,则$A=B$。

由极限定义,$\forall \epsilon >0$,$\exists N_1$:$\forall n>N_1$,$\left|x_n-A\right|<\frac{\epsilon }{2}$,
同理,$\forall \epsilon >0$,$\exists N_2$:$\forall n>N_2$,$\left|x_n-B\right|<\frac{\epsilon }{2}$。
取 N = max ⁡ { N 1 , N 2 } N=\max \left \{ N_{1},N_{2} \right \} N=max{N1​,N2​},则以上结论均成立,根据三角不等式有:
$\left|A-B\right|<\left|A-x_n\right|+\left|x_n-B\right|<\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon$
由于$\epsilon$是任意小的正实数,所以只有当$A=B$时不等式才恒成立。

定理1.3 数列极限的有界性

收敛于有限实数的数列必有界。

取$\epsilon$为定值${\epsilon }_0>0$,根据极限定义有$\forall n>N$,$\left|x_n-A\right|<\epsilon \Rightarrow \forall n>N$,$x_n<A+{\epsilon }_0$,
可知数列 { x n } \left \{ x_{n} \right \} {xn​}存在最大数 M = max ⁡ { x 1 , x 2 , … , x N , A + ε 0 } M=\max \left \{ x_{1},x_{2},\dots ,x_{N},A+\varepsilon _{0} \right \} M=max{x1​,x2​,…,xN​,A+ε0​},也就是$\left|x_n\right|<\left|M\right|$,即数列 { x n } \left \{ x_{n} \right \} {xn​}有界。

定理1.4 数列极限的保序性

若$A<B$,${\lim }_{n\to \infty }{x}_n=A$,${\lim }_{n\to \infty }{y}_n=B$,则$\exists N$:$\forall n>N$,$x_n<y_n$。

由极限定义,$\forall \epsilon >0$,$\exists N_1$:$\forall n>N_1$,$\left|x_n-A\right|<\epsilon$,
同理,$\forall \epsilon >0$,$\exists N_2$:$\forall n>N_2$,$\left|y_n-B\right|<\epsilon$。
令 N = max ⁡ { N 1 , N 2 } N=\max \left \{ N_{1},N_{2} \right \} N=max{N1​,N2​},同时令$\epsilon =\frac{B-A}{2}$,使得:
$A-\epsilon <x_n<A+\epsilon =\frac{B+A}{2}=B-\epsilon <y_n<B+\epsilon$
即$x_n<y_n$。

定理1.5 数列极限的保号性

若$x_n\le y_n$,${\lim }_{n\to \infty }{x}_n=A$,${\lim }_{n\to \infty }{y}_n=B$,则$A\le B$。

反证法,设$x_n\le y_n$,${\lim }_{n\to \infty }{x}_n=A$,${\lim }_{n\to \infty }{y}_n=B$推出$A>B$,
由数列极限的保序性,$x_n>y_n$,与条件矛盾,假设不成立。

定理1.6 数列极限的四则运算

${\lim }_{n\to \infty }{x}_n=A$,${\lim }_{n\to \infty }{y}_n=B$,以下结论成立:
(1)${\lim }_{n\to \infty }\left(x_n\pm y_n\right)={\lim }_{n\to \infty }{x}_n\pm {\lim }_{n\to \infty }{y}_n=A\pm B$
(2)${\lim }_{n\to \infty }\left(x_n\cdot y_n\right)={\lim }_{n\to \infty }{x}_n\cdot {\lim }_{n\to \infty }{y}_n=A\cdot B$
(3)${\lim }_{n\to \infty }\left(\frac{x_n}{y_n}\right)=\frac{{\lim }_{n\to \infty }{x}_n}{{\lim }_{n\to \infty }{y}_n}=\frac{A}{B}(B\ne 0)$

(1)
以加法运算为例,减法同理。
$$\begin{array}{lc}& \left|\left(x_n+y_n\right)-\left(A+B\right)\right|\\ <& \left|x_n-A\right|+\left|y_n-B\right|\\ <& \epsilon +\epsilon =2\epsilon \end{array}$$
即${\lim }_{n\to \infty }\left(x_n+y_n\right)={\lim }_{n\to \infty }{x}_n+{\lim }_{n\to \infty }{y}_n=A+B$。

(2)
$$\begin{array}{lc}& \left|x_n\cdot y_n-A\cdot B\right|\\ <& \left|x_n\cdot y_n-A\cdot y_n+A\cdot y_n-A\cdot B\right|\\ <& \left|y_n\cdot \left(x_n-A\right)+a\cdot \left(y_n-B\right)\right|\\ <& \left|y_n\right|\left|x_n-A\right|+\left|A\right|\left|y_n-B\right|\end{array}$$
由数列极限的有界性,可知收敛序列$y_n$有界,
设$\left|y_n\right|<\left|M\right|$,上式可化简为:
$$\begin{array}{lc}& \left|x_n\cdot y_n-A\cdot B\right|\\ <& \left|M\right|\left|x_n-A\right|+\left|A\right|\left|y_n-B\right|\\ <& \left(\left|M\right|+\left|A\right|\right)\epsilon \end{array}$$
即${\lim }_{n\to \infty }\left(x_n\cdot y_n\right)={\lim }_{n\to \infty }{x}_n\cdot {\lim }_{n\to \infty }{y}_n=A\cdot B$。

(3)
$$\begin{array}{lcc}& \left|\frac{x_n}{y_n}-\frac{A}{B}\right|& \\ <& \left|\frac{B\cdot x_n-A\cdot y_n}{B\cdot y_n}\right|=& \frac{|\left(B\cdot x_n-B\cdot A\right)-\left(A\cdot y_n-A\cdot B\right)|}{|B\cdot y_n|}\\ <& \frac{|B||x_n-A|}{|B||y_n|}+\frac{|A||y_n-B|}{|B||y_n|}& \end{array}$$
由数列极限的有界性,可知收敛序列$y_n$有界,
设$\left|y_n\right|<\left|M\right|$,上式可化简为:
$\left|\frac{x_n}{y_n}-\frac{A}{B}\right|<\left(\frac{|A|+|B|}{|B||M|}\right)\epsilon$
即${\lim }_{n\to \infty }\left(\frac{x_n}{y_n}\right)=\frac{{\lim }_{n\to \infty }{x}_n}{{\lim }_{n\to \infty }{y}_n}=\frac{A}{B}(B\ne 0)$。

定理1.7 数列极限的迫敛性

若${\lim }_{n\to \infty }{x}_n={\lim }_{n\to \infty }{z}_n=A$,又有$x_n\le y_n\le z_n$,则${\lim }_{n\to \infty }{y}_n=A$。

根据极限定义,$\forall \epsilon >0$,$\exists N$:$\forall n>N$,$\left|x_n-A\right|<\epsilon \Rightarrow A-\epsilon <x_n$,
同理$\forall \epsilon >0$,$\exists N$:$\forall n>N$,$\left|z_n-A\right|<\epsilon \Rightarrow z_n<A+\epsilon$。
根据数列极限的有界性,$A-\epsilon <x_n\le y_n\le z_n<A+\epsilon$,$y_n$的极限也是$A$。

`