数列的子列

时间:2022-07-24 14:51:39 阅读: 最新文章 文档下载
说明:文章内容仅供预览,部分内容可能不全。下载后的文档,内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的,是否完整无缺。


§1.4 数列的子列

,则数列

k

1{an}数列{nk}为正整数集N的无限子集,且

n1n2

nk

an1,an2,

,ank,

,称为数列{an}的一个子

列,简记为{an}

在数列{an}中,保持原来次序自左往右任意选取无穷多个项所得的数列称为{an}的子列,记为{an},其中nk表示an在原数列

k

k

中的项数,k表示它在子列中的项数.

定义2 数列{an}本身以及{an}去掉有限项后得到的子列,称为{an}平凡子列;不是平凡子列的子列,称为{an}非平凡子列

性质:一个数列与它的任一平凡子列同为收敛或发散;且在收敛时有相同的极限。

对数列的子列,有如下结果 1 对每一个k,有nk

k

nk反之,nhnk

2 对任意两个正整数h,k如果hknhhk

3 limxna0,K,kK,有xna. n

k

k

4 数列xn收敛的充要条件 x2n

x2n1

收敛到同一极限.

证明: 必要性. limxnx,则任给0,找得到正整数N,nN,n|xnx|. 2N, 2n>2N|x2nx|,

limx2nx.

n

同理可证limx2n1x. n

充分性. limx2nlimx2n1x, 则对任给0, 找得到正整数N,nnn>N,

|x2nx|



同时可找到正整数M, n>M,




|x2n1x|



从而取N0 =max{2N, 2M+1}, n>N0, n为偶数, 则满足①; n为奇数, 则满足②,

即当n>N,|xnx|, 亦即 limxnx. n

5{a3k2}{a3k1}{a3k}都收敛,且有相同的极限,则{an}敛。或者说:数列{an}收敛的充要条件 敛到同一极限.

证明: lima3k2lima3k1lima3ka,则由数列极限的定义,知kkk

0K10kK1|a3k2a|

{a3k2}{a3k1}{a3k}

;同样也有K2



0kK2

|a3k1a|K30kK3|a3ka|

Nmax{3K1,3K2,3K3},当nN时,对任意的自然数 n ,若

n3k2,则必有kK1,从而|ana|

kK2从而也有|ana|

;同样若n3k1,则必有

n3k则必有kK3从而|ana|

所以limana,即{an}收敛。 k

6数列{an}收敛的充要条件:{an}的任何子列都收敛于同一极.

证明:必要性. limana,{an}{an}的任一子列.0,N0,使得n

k

nN时有|ana|. 由于nkk,故当kN时更有nk

|anka|

N,从而也有

, 这就证明了limana. k

k

充分性. 考虑{an}的子列 {a2n},{a2n1},{a3n}.按假设它们都收敛.

{a6n}{a2n},{a3n},

lima2nlima6nlima3n.{a6k3}既是{a2k1}又是{a3k}的子列,

n

n

n

同样可得

lima2k1lima3k.

k

klima2klima2k1. 由上面的4点可知{an}收敛. kk

下面举几个子列的例子。


1 : 证明以下数列发散

nn

1(1) n1

; 2n



(1)n



证明: an

(1)n

n2n

,则a2n1,(n) n12n1

nn

(1)发散。 n1

a2n12n11,因此

2n

2n



(1)n



的偶数项组成的数列a



2n

证明: n

(1)n



(1)n

2n,发散,所以

n 发散。



2: 判断以下结论是否成立: {a2k1}{a2k}都收敛,则{an}敛。

: 结论不一定成立。例如,设an收敛,但an

(1)n发散。

(1)n,则a2k1a2k11



: {a2k1}{a2k}都收敛,且极限相等(即lima2k1lima2kkk

{an}收敛。



4: 若单调数列{an}含有一个收敛子列,则{an}收敛。 证明不妨设{an}是单调增加数列,{an}是其收敛子列。于是{an

k

k

}

有界,即存在M0,使得an列收敛,则必有界)

k

M,k1,2,(这里用了结论:数

对单调增加数列{an}中的任一项am必有am

amkM

,即{an}单调

增加有上界,从而收敛。(这里用了结论:单调有界数列必收敛) 5(致密性定理): 任何有界数列必有收敛的子数列。 证明: {xn}是一个有界数列,且设


ynsup{xk}sup{xn,xn1,}sup{xn1,xn2,}sup{xk}yn1

kn

kn1

{yn}是一个单调下降的数列,又{xn}有界,则存在正数M

|xn|M

, 从而|yn|M

是单调有界数列。由单调有界收敛原理知,收敛。






本文来源:https://www.wddqw.com/doc/e539a6e94328915f804d2b160b4e767f5acf807f.html