AM@收敛数列的性质@唯一@有界@保号@子数列收敛

文章目录

• • abstract
  • 相关概念
  • • 子数列👺
  • 极限唯一性
  • 收敛数列的有界性
  • • 数列有界
    • 证明
    • 推论
  • 收敛数列的保号性👺
  • • 证明
    • 推论1👺
    • 强化推论2
  • 收敛数列的子数列收敛定理
  • • 证明
    • 推论
  • 其他数列相关概念和性质
  • • 数列极限收敛条件

abstract

• 介绍4个收敛数列的性质定理,推论,相关概念以及定理的证明
• Note:这部分内容强调了对基本绝对值不等式知识掌握

相关概念

子数列👺

• 在数列$\{x_n\}$种任意抽取无限多项并保持这些项在原数列中的先后次序而得到的数列称为原数列$\{x_n\}$的子数列(子列)
• 数列$\{x_n\}$的长度为$k$的子数列的一般表示可以记为$\{x_{n_k}\}$=$x_{n_1},x_{n_2},\cdots ,x_{n_k}$
  • $x_{n_k},(k=1,2,\cdots ,k)$表示子数列$\{x_{n_k}\}$中的第$i$个数,且$n_k$表示$x_{n_k}$是原数列$\{x_n\}$的第$n_k$项
  • 显然,由先后顺序保持关系可知,$n_k⩾k$,$n_{k+1}⩾n_k$

极限唯一性

• 若数列$\{x_n\}$收敛,则其极限唯一

• 证明:

  • 唯一性命题的证明通常采用反证法,本证明也是反证法
  • 假设$x_n\to a$,$x_n\to b$,且$a<b$
  • 因为$\underset{n\to \infty }{\lim }{x}_n=a$,所以$\forall ϵ>0$,$\exists N_1\in {\mathbb{N}}_{+}$当$n>N_1$时$|x_n-a|<ϵ$(1)恒成立
  • 同理,因为$\underset{n\to \infty }{\lim }{x}_n=b$,所以$\forall ϵ>0$,$\exists N_1\in {\mathbb{N}}_{+}$当$n>N_1$时$|x_n-b|<ϵ$(2)恒成立
  • 若取$N=\max N_1,N_2$,则当$n>N$时,有(1),(2)同时成立
  • 由(1),(2),分别有$a-ϵ<x_n<a+ϵ$(1-1);$b-ϵ<x_n<b+ϵ$(2-1)
  • 对于$\forall ϵ>0$,不妨取$ϵ=\frac{1}{2}(b-a)>0$,则(1-1),(2-1)矛盾(无法同时成立),这就说明了假设不成立,从而唯一性成立$(a=b)$
  • Note:
    • 为了得到矛盾的结论来使反证法有效,我们需要找到一个$ϵ$的取值使得上述两个不等式矛盾
    • 令$a-ϵ=b+ϵ$,或$a+ϵ=b-ϵ$
    • 它们分别解得$ϵ=\frac{1}{2}(a-b)<0$和$ϵ=\frac{1}{2}(b-a)>0$
    • 由于$ϵ>0$从而取$\frac{1}{2}(b-a)$,能够使得(1-1),(2-1)矛盾
    • 代入(1-1),(2-1)有$x_n<\frac{a+b}{2}$和$x_n>\frac{a+b}{2}$这一矛盾

• 尽管这个结论表述简洁清晰且得到了证明,但是结论本身是比较抽象的(需要用抽象的代数运算证明);

• 另一方面,由于命题简洁,可以提出假设再尝试作证明,来获得这个结论

收敛数列的有界性

• 若数列$\{x_n\}$收敛,则其有界

数列有界

• 和函数有界的定义相仿,数列有界的概念如下
• 对于数列$\{x_n\}$,若$\exists M\in {\mathbb{N}}_{+}$,使得$\forall x_n$满足$|x_n|⩽M$,即$-M⩽x_n⩽M$,则$\{x_n\}$是有界的
• 否则$\{x_n\}$是无界的

证明

• 设$\{x_n\}$的极限为$a$,并设$M$是$\{\mid x_n|\}$的上界
  • 考虑用$a$构造一个上界值
  • 由极限的定义可知,对于$ϵ=\frac{1}{2}>0$,$\exists N\in {\mathbb{N}}_{+}$,当$n>N$时,$|x_n-a|<1$
  • 又由于$|x_n-a|+|a|⩾|x_n-a+a|=|x_n|$;所以$1+|a|>|x_n-a|+|a|⩾|x_n|$
  • 可见,当$n>N$时,$|x_n|<1+|a|$;令$M_0=1+|a|$
  • 对于$n⩽N$时,不妨取$M_1=\max (|x_1|,|x_2|,\cdots ,|x_N|)$
  • 则$n\in {\mathbb{N}}_{+}$时,取$M=\max (M_0,M_1)$,有$|x_n|⩽M$
  • 从而$\{\mid x_n|\}$是有界的,$\{x_n\}$也是有界的

推论

• 若数列$\{x_n\}$无界,则$\{x_n\}$发散(无界是发散的一种情况)
• 反之不成立,若$\{x_n\}$发散,但仍可能是有界的(有界是收敛的必要不充分条件)
• 敛散性和有界性的3种可能组合:
  • 有界:
    • 收敛
    • 发散
  • 无界
    • 发散
• 例如:
  • $x_n=(-1{)}^n$,$\{x_n\}$有界发散;
  • $x_n=2^n$,$\{x_n\}$无界发散;
  • $x_n=\frac{1}{n}$,$\{x_n\}$有界收敛

收敛数列的保号性👺

• 若$\underset{n\to \infty }{\lim }{x}_n=a$,则$\exists N\in {\mathbb{N}}_{+}$,当$x>N$时,都有$a{x}_n>0$
  • $a>0$ $\Rightarrow$ $x_n>0$,$(n>N)$
  • $a<0$ $\Rightarrow$ $x_n<0$,$(n>N)$
  • $a=0$不在本定理的描述范围内
• 本定理在几何上是直观的,也可以给出严格的代数证明

证明

• $a>0$
  • 由极限定义,$ϵ=\frac{a}{2}>0$,$\exists N\in {\mathbb{N}}_{+}$,当$n>N$时有$|x_n-a|<\frac{a}{2}$
  • 即$a-\frac{a}{2}<x_n<a+\frac{a}{2}$,即$\frac{a}{2}<x_n<\frac{3a}{2}$,
  • 又因为$a>0$,显然$x_n>0$,从而$a{x}_n>0$
• $a<0$
  • 由极限定义,$ϵ=-\frac{a}{2}>0$,$\exists N\in {\mathbb{N}}_{+}$,当$n>N$时有$|x_n-a|<-\frac{a}{2}$
  • 即$a-(-\frac{a}{2})<x_n<a+(-\frac{a}{2})$,即$\frac{3a}{2}<x_n<\frac{a}{2}$,
  • 又因为$a<0$,显然$x_n<0$,从而$a{x}_n>0$
• 综上,定理成立
• Note:
  • 当$a>0$时,对于$ϵ>0$的取值,可以由$|x_n-a|<ϵ$,得$a-ϵ<x_n<a+ϵ$,只要令$a-ϵ>0$,即$ϵ<a$,从而任取$ϵ\in (0,a)$,都能够证明从某项起,$x_n>0$
  • 当$a<0$时,对于$ϵ>0$的取值,可以由$|x_n-a|<ϵ$,得$a-ϵ<x_n<a+ϵ$,只要令$a+ϵ<0$,即$ϵ<-a$,从而任取$ϵ\in (0,-a)$,都能够证明从某项起,$x_n<0$
  • 综上,任取$ϵ\in (0,|a|)$,都能够证明从某项起,$a{x}_n>0$

推论1👺

• 若$\{x_n\}$,$x_n⩾0$,$(n⩾N\in {\mathbb{N}}_{+})$,且$\underset{n\to \infty }{\lim }{x}_n=a$,则$a⩾0$;

• 若$\{x_n\}$,$x_n⩽0$,$(n⩾N\in {\mathbb{N}}_{+})$,且$\underset{n\to \infty }{\lim }{x}_n=a$,则$a⩽0$;

• 证:证明某定义的推论,也常常考虑使用反证法原命题的等价逆否命题,这里使用反证法

  • 设数列$\{x_n\}$满足$n>N_1$时有$x_n⩾0$,且$\underset{n\to \infty }{\lim }{x}_n=a$;

  • 用反证法证明.反证假设:$a>0$

  • 则由保号性可知:$\exists N_2\in {\mathbb{N}}_{+}$,当$n>N_2$,恒有$x_n<0$

  • 取$N=\max (N_1,N_2)$.当$n>N$时,$x_n⩾0$,$x_n<0$同时成立,这显然矛盾,所以假设不成立,即$a⩾0$

  • 第二条可以类似地证明

强化推论2

• 若$\{x_n\}$,$x_n>0$,$(n⩾N\in {\mathbb{N}}_{+})$,且$\underset{n\to \infty }{\lim }{x}_n=a$,则$a⩾0$;
  • 也就是推论1中的第一个$⩾$改为$>$,结论仍然成立,(第二个不等号仍然为"$⩾$"号)
  • 例如$x_n=\frac{1}{n}(n>0)$,但$n\to \infty$时极限可以取0
• 另一条也类似,例如$x_n=-\frac{1}{n}$

收敛数列的子数列收敛定理

• 如果数列$\{x_n\}$收敛于$a$,那么它的任意子数列也收敛于$a$

证明

• 设$\{x_{n_k}\}$是$\{x_n\}$的任意一个子列
• 由于$\underset{n\to \infty }{\lim }{x}_n=a$,所以$\forall ϵ>0$,$\exists N\in {\mathbb{N}}_{+}$,当$n>N$时,$|x_n-a|<ϵ$成立
• 取$K=N$,当$k>K$,$(k\in {\mathbb{N}}_{+})$时,$n_k>n_K$=$n_N⩾N$,从而$|x_{n_k}-a|<ϵ$,即$\underset{k\to \infty }{\lim }{x}_{n_k}=a$

推论

• 若$\{x_n\}$的有两个收敛于不同极限值的子列(或有一个发散子列),则$\{x_n\}$发散
• 例如
  • $x_n=(-1{)}^n$的子列$\{x_{2k-1}\}$和$\{x_{2k}\}$分别收敛于不相等的两个极限$-1,1$因此$\{x_n\}$发散

其他数列相关概念和性质

1. $\underset{x\to \infty }{\lim }{x}_n=a$表示当$n$充分大,$x_n$与$a$就可以接近到任意预先给定的程度(由$ϵ$刻画),即$|x_n-a|$可以小于任意预先给定的$\epsilon$
2. 数列$\{x_n\}$的极限是否存在,以及极限存在的情况下极限值等于多少和数列的前有限项无关

数列极限收敛条件

• AM@2个极限存在准则及其应用

• $\underset{x\to \infty }{\lim }{x}_n=a$的充要条件是$\underset{n\to \infty }{\lim }{x}_{2n-1}=a$=$\underset{n\to \infty }{\lim }{x}_{2n}=a$

  • 即,一个数列的奇数项构成的子数列和偶数项构成的子数列具有相同的极限,则原数列也存在和子数列相同的极限
  • $\{m\mid m=2n,n\in {\mathbb{N}}_{+}\}$ $\cup$ $\{m\mid m=2n-1,n\in {\mathbb{N}}_{+}\}$=$\{2,4,6,\cdots \}$ $\cup$ $\{1,3,5,\cdots \}$=${\mathbb{N}}_{+}$
  • Note:$\underset{n\to \infty }{\lim }{x}_{3n}$=$\underset{n\to \infty }{\lim }{x}_{3n-1}=a$ $\nRightarrow$ $\underset{n\to \infty }{\lim }{x}_n=a$
    • 例如$x_{3n}=\frac{1}{n}+1$,$x_{3n+1}=1$,$x_{3n+2}=0$,三个极限并不都相等,从而不满足$\{x_n\}$的任意子序列收敛于同一个极限,$\{x_n\}$不收敛