数列极限＜3＞——实数系基本定理

实数系基本定理

确界存在定理

定义3.1 最大(最小)数

设集合$S$为非空有限实数集,若$\exists m\in S:\forall x\in S$,$x\ge m$,则称$m$为$S$的最小数,记为$m=\max S$。
设集合$S$为非空有限实数集,若$\exists M\in S:\forall x\in S$,$x\le M$,则称$m$为$S$的最大数,记为$M=\min S$。

定义3.2 上(下)界

设集合$S$为非空有限实数集,若$\exists m\in \mathbb{R}:\forall x\in S$,$x\ge m$,则称$m$为$S$的一个下界,$S$的所有下界组成下界集$L$。
设集合$S$为非空有限实数集,若$\exists M\in \mathbb{R}:\forall x\in S$,$x\le M$,则称$m$为$S$的一个上界,$S$的所有上界组成上界集$U$。

定义3.3 上(下)确界

若$\beta =\min U$,即满足如此下条件:
(1)$\beta$是S的一个上界;
(2)$\beta$是S的最小上界,即$\forall \epsilon >0$,$\exists x\in S$:$x+\epsilon >\beta$。
称$\beta$为$x$的上确界,记为$\beta =\sup S$。
若$\alpha =\max L$,即满足如此下条件:
(1)$\alpha$是S的一个下界;
(2)$\alpha$是S的最大下界,即$\forall \epsilon >0$,$\exists x\in S$:$x-\epsilon <\alpha$。
称$\alpha$为$x$的下确界,记为$\alpha =\inf S$。

戴德金分割

定义3.4 分割

设集合$A$,$B\subset \mathbb{R}$,满足条件:$A\cup B=\mathbb{R}$,$A\cap B=\varnothing$,$A\ne \varnothing$,$B\ne \varnothing$,且对所有的$a\in A$,$\forall b\in B$,都有$a<b$,则称$\left(A,B\right)$是$\mathbb{R}$的一个分割。

定理3.1 戴德金分割定理

对于$\mathbb{R}$的任意分割,都存在唯一的$x^{\ast }\in \mathbb{R}$,使得对所有的$a\in A$,对所有的$b\in B$,都有$a\le x^{\ast }\le b$。

定理3.1 确界存在定理

非空有上界的实数集必有上确界,非空有下界的实数集必有下确界。
确界存在定理与戴德金分割定理等价,通常选择其一作为公理。

单调有界收敛定理

定理3.2 单调有界收敛定理

单调有界数列一定收敛。

根据确界存在定理,单调递增数列必有上确界,单调递减数列必有下确界。
以单调递增数列为代表,
设数列 { x n } \left \{ x_{n} \right \} {xn​}单调递增且有上界,则 { x n } \left \{ x_{n} \right \} {xn​}一定有上确界$\beta$,
根据上确界定义,可知:
(1)$\forall n$,$x_n\le \beta$;
(2)$\forall \epsilon >0$,$\exists n_0:x_{n_0}>\beta -\epsilon$。
令$N=n_0$,则$\forall \epsilon >0$,$\exists N$:$\forall n>N$,$x_n>x_{n_0}$,$\left|x_n-\beta \right|<\epsilon$,也就是 lim ⁡ n → ∞ { x n } = α \lim_{n \to \infty} \left \{ x_{n} \right \}=\alpha limn→∞​{xn​}=α。

闭区间套定理

定义3.5 闭区间套

若一系列闭区间 { [ a n , b n ] } \left \{ \left [ a_{n},b_{n} \right ] \right \} {[an​,bn​]}满足:
(1)$\left[a_n,b_n\right]\subset \left[a_{n+1},b_{n+1}\right]$;
(2)${\lim }_{n\to \infty }\left(a_n-b_n\right)=0$;
则称 { [ a n , b n ] } \left \{ \left [ a_{n},b_{n} \right ] \right \} {[an​,bn​]}为闭区间套。

定理3.3 闭区间套定理

闭区间套 { [ a n , b n ] } \left \{ \left [ a_{n},b_{n} \right ] \right \} {[an​,bn​]}中一定存在属于任意$\left[a_n,b_n\right]$的唯一的实数$\xi$,且${\lim }_{n\to \infty }{a}_n={\lim }_{n\to \infty }{b}_n=\xi$。

由闭区间套定义,$a_1\le a_2\le \cdots \le a_n\le \cdots \le b_n\le \cdots \le b_2\le b_1$,可知数列 { a n } \left \{ a_{n} \right \} {an​}有上界$b_1$且数列 { a n } \left \{ a_{n} \right \} {an​}单调递增,
引用单调有界收敛定理,数列 { a n } \left \{ a_{n} \right \} {an​}收敛,同理数列 { b n } \left \{ b_{n} \right \} {bn​}也收敛。
设其极限为$\xi$,${\lim }_{n\to \infty }{b}_n={\lim }_{n\to \infty }{a}_n-\left(a_n-b_n\right)={\lim }_{n\to \infty }{a}_n=\xi$。
由构造方式,$\xi$既是数列 { a n } \left \{ a_{n} \right \} {an​}的上确界,又是数列 { b n } \left \{ b_{n} \right \} {bn​}的下确界,所以$\forall \left[a_n,b_n\right]$,$a_n\le \xi \le b_n$。
下证唯一性,可设另一个数$\eta$也存在于任意$\left[a_n,b_n\right]$中,则有$\forall \left[a_n,b_n\right]$,$a_n\le \eta \le b_n$。
引用迫敛性定理,则${\lim }_{n\to \infty }{a}_n={\lim }_{n\to \infty }{b}_n=\eta =\xi$。

定理3.4 实数的不可数性

实数不可数。

反证法,设实数集合$\mathbb{R}$可数,具体表现为所有实数可以从小到大排列成一列数列,并且下标集为自然数集$\mathbb{N}$,已知闭区间$\left[0,1\right]$与实数集等势,所以不妨将上文列出的实数数列一一对应到$\left[0,1\right]$上,记为 { x n } = { x 1 , x 2 , … , x n , …   } ( ∀ n ∈ N , 0 ≤ x n ≤ 1 ) \left \{ x_{n} \right \}=\left \{ x_{1},x_{2},\dots ,x_{n},\dots \right \}(\forall n\in \mathbb{N},0\le x_{n}\le 1) {xn​}={x1​,x2​,…,xn​,…}(∀n∈N,0≤xn​≤1),设;
执行以下流程:

1. 将区间$\left[a_n,b_n\right]$三等分为$\left[a_n,\frac{2a_n+b_n}{3}\right]$,$\left[\frac{2a_n+b_n}{3},\frac{2b_n+a_n}{3}\right]$,$\left[\frac{2b_n+a_n}{3},b_n\right]$;
2. 对应的实数$x_n$最多只能出现在两个区间内(区间内或边界点),所以可以选取不包含$x_n$的区间作为下一次循环的$\left[a_{n+1},b_{n+1}\right]$;
3. 循环上述流程。

经过上述流程,可构造闭区间套$\left[a_n,b_n\right]$。
根据闭区间套定理,必有$\forall n\in \mathbb{N}$,$\exists \xi \in \left[a_n,b_n\right]$,而根据构造闭区间套$\left[a_n,b_n\right]$的方法, ξ ∉ { x n } \xi \notin \left \{ x_{n} \right \} ξ∈/{xn​},数列 { x n } \left \{ x_{n} \right \} {xn​}不可能包含所有实数,由此实数不可数。

致密性定理

定义3.6 子列

在数列 { x n } \left \{ x_{n} \right \} {xn​}的下标中取一列单调递增的下标$n_k$,对应的项$x_{n_k}$组成子列 { x n k } ( x n k ≥ k ) \left \{ x_{n_{k}} \right \}(x_{n_{k}}\ge k) {xnk​​}(xnk​​≥k)。

定理3.5 (Bolzano_Weierstrass定理)致密性定理

有界数列必有收敛子列。

设数列 { x n } \left \{ x_{n} \right \} {xn​}有界,$a_0\le x_n\le b_0$
将$\left[a_0,b_0\right]$分为$\left[a_0,\frac{a_0+b_0}{2}\right]$,$\left[\frac{a_0+b_0}{2},b_0\right]$,由于至少有一个区间包含 { x n } \left \{ x_{n} \right \} {xn​}中的无穷多项,所以将这个区间标记为$\left[a_1,b_1\right]$,
如此重复以下流程:
(1)将$\left[a_n,b_n\right]$分为$\left[a_n,\frac{a_n+b_n}{2}\right]$,$\left[\frac{a_n+b_n}{2},b_n\right]$;
(2)至少有一个区间包含 { x n } \left \{ x_{n} \right \} {xn​}中的无穷多项,将这个区间作为$\left[a_{n+1},b_{n+1}\right]$;
无限循环后得到闭区间套 { [ a n , b n ] } \left \{ \left [ a_{n},b_{n} \right ] \right \} {[an​,bn​]},根据闭区间套定理,一定存在属于任意$\left[a_n,b_n\right]$的唯一的实数$\xi$,且${\lim }_{n\to \infty }{a}_n={\lim }_{n\to \infty }{b}_n=\xi$。
从每个$\left[a_k,b_k\right]$中取出对应的$x_{n_k}$,排列成子列 { x n k } \left \{ x_{n_{k}} \right \} {xnk​​},有$a_k\le x_{n_k}\le b_k$,
由三明治定理,${\lim }_{k\to \infty }{a}_k={\lim }_{k\to \infty }{b}_k={\lim }_{k\to \infty }{x}_{n_k}=\xi$,即子列 { x n k } \left \{ x_{n_{k}} \right \} {xnk​​}收敛。

推论3.1

无界数列必有发散子列。

Cauchy收敛准则

定义3.6 基本列

若数列 { x n } \left \{ x_{n} \right \} {xn​}满足:
$\forall \epsilon >0$,$\exists N:\forall n$,$m>N$,$\left|x_n-x_m\right|<\epsilon$
则称数列 { x n } \left \{ x_{n} \right \} {xn​}为基本列。

定理3.7 Cauchy收敛准则

数列 { x n } \left \{ x_{n} \right \} {xn​}收敛的充要条件是数列 { x n } \left \{ x_{n} \right \} {xn​}为基本列。
<1>必要性
由数列极限定义,$\forall \epsilon >0$,$\exists N_1$:$\forall n>N_1$,$\left|x_n-a\right|<\frac{\epsilon }{2}$,
同理,$\forall \epsilon >0$,$\exists N_2$:$\forall n>N_2$,$\left|x_m-a\right|<\frac{\epsilon }{2}$。
根据三角不等式,$\left|x_n-x_m\right|\le \left|x_n-a\right|+\left|a-x_m\right|<\epsilon$, { x n } \left \{ x_{n} \right \} {xn​}为基本列。
<2>充分性
下证 { x n } \left \{ x_{n} \right \} {xn​}有界
根据基本列定义,$\forall \epsilon >0$,$\exists N:\forall n$,$m>N$,$\left|x_n-x_m\right|<\frac{\epsilon }{2}$,取$m=N+1$,$\epsilon =2{\epsilon }_0$,则$\left|x_n-x_{N+1}\right|<{\epsilon }_0$,
根据三角不等式,$\left|x_n\right|\le {\epsilon }_0+\left|x_{N+1}\right|$,
设 M = { x 1 , x 2 , … , x N , ε 0 + ∣ x N + 1 ∣ } M=\left \{ x_{1},x_{2},\dots, x_{N},\varepsilon_{0} +\left | x_{N+1} \right | \right \} M={x1​,x2​,…,xN​,ε0​+∣xN+1​∣},则有$\left|x_n\right|<M$,数列 { x n } \left \{ x_{n} \right \} {xn​}有界,
根据列紧性定理,数列 { x n } \left \{ x_{n} \right \} {xn​}必有收敛子列 { x n k } \left \{ x_{n_{k}} \right \} {xnk​​},设${\lim }_{k\to \infty }{x}_{n_k}=\xi$。
根据基本列定义,$\forall \epsilon >0$,$\exists N:\forall n$,$m>N$,$\left|x_n-x_m\right|<\frac{\epsilon }{2}$,
令$n_k\ge k>N$,则有$\forall \epsilon >0$,$\exists N:\forall n$,$m>N$,$\left|x_n-x_{n_k}\right|<\frac{\epsilon }{2}$,
对不等式两边求$k$趋近于正无穷大时的极限,$x_n$视为与$k$无关的常量,
根据数列极限的保号性,$\left|x_n-\xi \right|\le \frac{\epsilon }{2}<\epsilon$,也就是 { x n } \left \{ x_{n} \right \} {xn​}收敛。