数学分析-1.2数列和收敛数列-例题1、2、3

Eg 1：证明：收敛数列极限唯一
对于数列 { a n } \{a_n\} {an​}，若存在两个极限：
$$\underset{n\to \infty }{\lim }{a}_n=a，\underset{n\to \infty }{\lim }{a}_n=b$$证明$a=b$即可
$\forall \epsilon >0,\exists N_1,\text{当}n>N_1\text{时：}\left|a_n-a\right|<\frac{\epsilon }{2}$
$\forall \epsilon >0,\exists N_2,\text{当}n>N_2\text{时：}\left|a_n-b\right|<\frac{\epsilon }{2}$
取 N = max ⁡ { N 1 , N 2 } N=\max\{N_1,N_2\} N=max{N1​,N2​}，则当$n>N$时：
$$\left|a-b\right|=\left|a-a_n+a_n-b\right|⩽\left|a-a_n\right|+\left|a_n-b\right|<\epsilon$$即：$$\forall \epsilon >0,\left|a-b\right|<\epsilon$$
所以：$a=b$，证毕

Eg 2：收敛数列必有界
若$\underset{n\to \infty }{\lim }{a}_n=a$，取$\epsilon =1$，则$\exists N>0,\text{当}n>N\text{时：}$
$$\left|a_n\right|-\left|a\right|⩽\left|a_n-a\right|<\epsilon =1$$即：$\left|a_n\right|⩽\left|a\right|+1$.
取$M=\left|a_1\right|+\left|a_2\right|+\cdots +\left|a_N\right|+\left|a\right|+1$，则必有：
$$\left|a_n\right|<M$$所以数列 { a n } \{a_n\} {an​}有界。证毕。

Eg 3：设$\underset{n\to \infty }{\lim }{a}_n=a$，那么 { a n } \{a_n\} {an​}的任意子数列必以$a$为极限
设 { a n } \{a_n\} {an​}的一个子数列为$b_n=a_{k_n}$，其中必满足$k_n⩾n$.
已知：$$\forall \epsilon >0,\exists N,\text{当}n>N\text{时，}\left|a_n-a\right|<\epsilon$$ $\because k_n⩾n>N$
$\therefore \left|a_{k_n}-a\right|<\epsilon$