文章目录

• abstract
• 相关概念

• 子数列👺

• 极限唯一性
• 收敛数列的有界性

• 数列有界
• 证明
• 推论

• 收敛数列的保号性👺

• 证明
• 推论1👺
• 强化推论2

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

• 证明
• 推论

• 其他数列相关概念和性质

• 数列极限收敛条件

abstract

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

相关概念

子数列👺

• 在数列种任意抽取无限多项并保持这些项在原数列中的先后次序而得到的数列称为原数列的子数列(子列)
• 数列的长度为的子数列的一般表示可以记为=

• 表示子数列中的第个数,且表示是原数列的第项
• 显然,由先后顺序保持关系可知,,

极限唯一性

• 若数列收敛,则其极限唯一
• 证明:

• 唯一性命题的证明通常采用反证法,本证明也是反证法
• 假设,,且
• 因为,所以,当时(1)恒成立
• 同理,因为,所以,当时(2)恒成立
• 若取,则当时,有(1),(2)同时成立
• 由(1),(2),分别有(1-1);(2-1)
• 对于,不妨取,则(1-1),(2-1)矛盾(无法同时成立),这就说明了假设不成立,从而唯一性成立
• Note:

• 为了得到矛盾的结论来使反证法有效,我们需要找到一个的取值使得上述两个不等式矛盾
• 令,或
• 它们分别解得和
• 由于从而取,能够使得(1-1),(2-1)矛盾
• 代入(1-1),(2-1)有和这一矛盾

• 尽管这个结论表述简洁清晰且得到了证明,但是结论本身是比较抽象的(需要用抽象的代数运算证明);
• 另一方面,由于命题简洁,可以提出假设再尝试作证明,来获得这个结论

收敛数列的有界性

• 若数列收敛,则其有界

数列有界

• 和函数有界的定义相仿,数列有界的概念如下
• 对于数列,若,使得满足,即,则是有界的
• 否则是无界的

证明

• 设的极限为,并设是的上界

• 考虑用构造一个上界值
• 由极限的定义可知,对于,,当时,
• 又由于;所以
• 可见,当时,;令
• 对于时,不妨取
• 则时,取,有
• 从而是有界的,也是有界的

推论

• 若数列无界,则发散(无界是发散的一种情况)
• 反之不成立,若发散,但仍可能是有界的(有界是收敛的必要不充分条件)
• 敛散性和有界性的3种可能组合:

• 有界:

• 收敛
• 发散

• 无界

• 发散

• 例如:

• ,有界发散;
• ,无界发散;
• ,有界收敛

收敛数列的保号性👺

• 若,则,当时,都有

• ,
• ,
• 不在本定理的描述范围内

• 本定理在几何上是直观的,也可以给出严格的代数证明

证明

• 

• 由极限定义,,,当时有
• 即,即,
• 又因为,显然,从而

• 

• 由极限定义,,,当时有
• 即,即,
• 又因为,显然,从而

• 综上,定理成立
• Note:

• 当时,对于的取值,可以由,得,只要令,即,从而任取,都能够证明从某项起,
• 当时,对于的取值,可以由,得,只要令,即,从而任取,都能够证明从某项起,
• 综上,任取,都能够证明从某项起,

推论1👺

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

• 设数列满足时有,且;
• 用反证法证明.反证假设:
• 则由保号性可知:,当,恒有
• 取.当时,,同时成立,这显然矛盾,所以假设不成立,即
• 第二条可以类似地证明

强化推论2

• 若,,,且,则;

• 也就是推论1中的第一个改为,结论仍然成立,(第二个不等号仍然为""号)
• 例如,但时极限可以取0

• 另一条也类似,例如

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

• 如果数列收敛于,那么它的任意子数列也收敛于

证明

• 设是的任意一个子列
• 由于,所以,,当时,成立
• 取,当,时,=,从而,即

推论

• 若的有两个收敛于不同极限值的子列(或有一个发散子列),则发散
• 例如

• 的子列和分别收敛于不相等的两个极限因此发散

其他数列相关概念和性质

1. 表示当充分大,与就可以接近到任意预先给定的程度(由刻画),即可以小于任意预先给定的
2. 数列的极限是否存在,以及极限存在的情况下极限值等于多少和数列的前有限项无关

数列极限收敛条件

• AM@2个极限存在准则及其应用
• 的充要条件是=

• 即,一个数列的奇数项构成的子数列和偶数项构成的子数列具有相同的极限,则原数列也存在和子数列相同的极限
• = =
• Note:=

• 例如,,,三个极限并不都相等,从而不满足的任意子序列收敛于同一个极限,不收敛