【数学分析笔记】第2章第4节收敛准则（5）

2. 数列极限

2.4 收敛准则

2.4.5 子列

{ x n } \{x_{n}\} {xn​}是一个数列，取一列严格单调增加的正整数$n_1<n_2<n_3<...<n_k$，则$x_{n_1},x_{n_2},x_{n_3},...,x_{n_k}$称为数列 { x n } \{x_{n}\} {xn​}的一个子列。记为 { x n k } \{x_{n_{k}}\} {xnk​​}，$k$表示子列中的第$k$项，恰好是 { x n } \{x_{n}\} {xn​}中的第$n_k$项，$n_k\ge k,\forall k$，$n_j>n_k,\forall j>k$
【例】 { x 2 k } : x 2 , x 4 , x 6 , x 8 , . . . \{x_{2k}\}:x_{2},x_{4},x_{6},x_{8},... {x2k​}:x2​,x4​,x6​,x8​,...
【例】 { x 2 k } : x 2 , x 4 , x 8 , x 16 , . . . \{x_{2^{k}}\}:x_{2},x_{4},x_{8},x_{16},... {x2k​}:x2​,x4​,x8​,x16​,...


【定理2.4.4】若 { x n } \{x_{n}\} {xn​}收敛于$a$，则它的任何一个子列$x_{n_k}$也收敛于$a$，
【证】设$\underset{n\to \infty }{\lim }{x}_n=a$， { x n k } \{x_{n_{k}}\} {xnk​​}是它的一个子列。
要证明$\underset{k\to \infty }{\lim }{x}_{n_k}=a$
即$\forall \epsilon >0$，要找$K\in {\mathbb{N}}^{+}$，使得$\forall k>K:|x_{n_k}-a|<\epsilon$
由$\underset{n\to \infty }{\lim }{x}_n=a$可知$\exists N,\forall n>N:|x_n-a|<\epsilon$
取$K=N,\forall k>K,n_k\ge k>K=N:|x_{n_k}-a|<\epsilon$
所以$\underset{k\to \infty }{\lim }{x}_{n_k}=a$
【注】定理2.4.4可以用来否定某个数列的收敛性。


【例2.4.11】证明数列 { sin ⁡ n π 4 } \{\sin\frac{n\pi}{4}\} {sin4nπ​}不收敛。
【证】取数列 { sin ⁡ n π 4 } \{\sin\frac{n\pi}{4}\} {sin4nπ​}的两个子列$n_k^{(1)}=4k,n_k^{(2)}=8k+2$
{ x n k ( 1 ) } = { sin ⁡ k π } = { 0 } \{x_{n_{k^{(1)}}}\}=\{\sin k\pi\}=\{0\} {xnk(1)​​}={sinkπ}={0}
所以$\underset{k\to \infty }{\lim }{x}_{n_{k^{(1)}}}=0$
{ x n k ( 2 ) } = { sin ⁡ 2 k π + π 2 } = { 1 } \{x_{n_{k^{(2)}}}\}=\{\sin 2k\pi+\frac{\pi}{2}\}=\{1\} {xnk(2)​​}={sin2kπ+2π​}={1}
所以$\underset{k\to \infty }{\lim }{x}_{n_{k^{(2)}}}=1$
这两个子列的极限不一致，则原数列 { sin ⁡ n π 4 } \{\sin\frac{n\pi}{4}\} {sin4nπ​}不收敛。


【推论】若 { x n } \{x_{n}\} {xn​}存在两个子列收敛于不同极限，则 { x n } \{x_{n}\} {xn​}发散。

2.4.6 Bolzanp-Weierstrass（波尔查诺－魏尔斯特拉斯）定理

【定理2.4.5】有界数列必有收敛的子列。
【证】设 { x n } \{x_{n}\} {xn​}有界，设$a_1\le x_n\le b_1$即$\forall n,a_n\in [a_1,b_1]$，将$[a_1,b_1]$平分成两个闭区间$[a_1,\frac{a_1+b_1}{2}],[\frac{a_1+b_1}{2},b_1]$，（这两个区间其中可能一个或两个包含 { x n } \{x_{n}\} {xn​}的无穷可列项，如果这两个区间都不包含该数列的无穷可列项，那它就不是数列，变成有限个元素了），其中必有一个区间包含 { x n } \{x_{n}\} {xn​}的无穷多项，取它为$[a_2,b_2]$，将$[a_2,b_2]$平分成两个闭区间$[a_2,\frac{a_2+b_2}{2}],[\frac{a_2+b_2}{2},b_2]$，其中必有一个区间包含 { x n } \{x_{n}\} {xn​}的无穷多项，取它为$[a_3,b_3]$，一直做下去，得到一个闭区间套$\{[a_n,b_n]\}$，其中该闭区间套中的每个闭区间$[a_n,b_n]$都有无穷多项$x_n$，由闭区间套定理，$\exists$唯一的$\forall n,\xi \in [a_n,b_n],\underset{n\to \infty }{\lim }{a}_n=\underset{n\to \infty }{\lim }{b}_n=\xi$
现证 { x n } \{x_{n}\} {xn​}有子列以$\xi$为极限，
在$[a_1,b_1]$中取$x_{n_1}$，
在$[a_2,b_2]$中取$x_{n_2}(n_2>n_1)$,
在$[a_3,b_3]$中取$x_{n_3}(n_3>n_2)$,
一直做下去
在$[a_k,b_k]$中取$x_{n_k}(n_k>n_{k-1})$
得到 { x n } \{x_{n}\} {xn​}的子列 { x n k } \{x_{n_{k}}\} {xnk​​}
$a_k\le x_{n_k}\le b_k$（$x_{n_k}$是在$[a_k,b_k]$中取得的）
令$k\to \infty$，由于$\underset{k\to \infty }{\lim }{a}_k=\xi ,\underset{k\to \infty }{\lim }{b}_k=\xi$
由数列极限的夹逼性定理可知
$\underset{k\to \infty }{\lim }{x}_{n_k}=\xi$
证毕


【定理2.4.6】若 { x n } \{x_{n}\} {xn​}是无界数列，则存在子列 { x n k } \{x_{n_{k}}\} {xnk​​}是无穷大量（无界可能无上界或无下界或上下界都没有）
【注1】无界可能无上界或无下界或上下界都没有，如果一个数列无上界，那它一定能找到一个子列是正无穷大量，如果一个数列无下界，那它一定能找到一个子列是负无穷大量。
【注2】无界数列不一定是无穷大量，比如$2,3,2,4,2,5,2,6,...$，奇数项是一个常数，偶数项是无界的，它不一定是无穷大量，奇数项始终是2不符合是无穷大的条件。
【证】由于 { x n } \{x_{n}\} {xn​}是无界数列，则 ∀ M > 0 , { x n } \forall M>0,\{x_{n}\} ∀M>0,{xn​}必有无穷多项满足$|x_n|>M$（有界定义的相反命题，如果只有有限项$|x_n|>M$，那这个数列就有界了）
取$M_1=1$，存在$x_{n_1}$，使得$|x_{n_1}|>1$
取$M_2=2$，存在$x_{n_2}$，使得$|x_{n_2}|>2,(x_{n_2}>x_{n_1})$
取$M_3=3$，存在$x_{n_3}$，使得$|x_{n_3}|>3,(x_{n_3}>x_{n_2})$
一直做下去
取$M_k=k$，存在$x_{n_k}$，使得$|x_{n_k}|>k,(x_{n_k}>x_{n_{k-1}})$
…
找到了 { x n k } \{x_{n_{k}}\} {xnk​​}，$|x_{n_k}|>k$
则 { x n k } \{x_{n_{k}}\} {xnk​​}是无穷大量