S9.2再论实数系-实数闭区间的紧致性

(2)实数闭区间的紧致性

1、覆盖：设E是一个由实数开区间构成的集合，S是一个实数子集，如果$\forall x\in S$有区间$(a,b)\in E,s.t.x\in (a,b)$则称E是S的一个覆盖。

即$S\subset {\bigcup }_{E_{\alpha }\in E}{E}_{\alpha }$

有限覆盖：E是由有限个区间组成

无限覆盖：E是由无限个区间组成

直观理解：

2、（博雷尔）有限覆盖定理：实数闭区间$[a,b]$的任何一个覆盖E，必存在有限的子覆盖

可以理解为$[a,b]\subset {\bigcup }_{n=1}^{N}En,E_n\subset E$一定成立

证明：利用区间套定理采用反证法

即[a,b]无E的有限的子覆盖，记a₁=a,b₁=b.用$\frac{a+b}{2}$将[a,b]一分为二，则这两子区间至少有一个没有E的有限子覆盖，记为[a₂,b₂]，反复上述操作，便得到一个区间序列{[a_n,b_n]},b_n-a_n=$\frac{b_1-a_1}{2^{n-1}}\to 0$易得其满足区间套的定义¹：

由区间套定理¹：

则知存在唯一的r属于每个[a_n,b_n],${\lim }_{n\to \infty }{a}_n={\lim }_{a\to \infty }{b}_n=r$ 且存在$(\alpha ,\beta )\in E,使r\in (\alpha ,\beta )$，因此当n取得充分大时，便有$$[a_n,b_n]\subset (\alpha ,\beta )$$即[a_n,b_n]被E中的一个区间盖住，与假设构造矛盾，故不成立证毕⚡️

当定理中的闭区间改为开时定理便不再成立例如 { ( 1 n , 1 ) ∣ n = 1 , 2 , …   } \{(\frac{1}{n},1)|n=1,2,\dots\} {(n1​,1)∣n=1,2,…}易得其构成开区间的（0，1）的覆盖但是其无有限的子覆盖

3、子数列：在给定的一个数列中，不改变数列的次序，从数列中有次序的抽取无限个数构成其一个子数列

子数列的下标为 { x n k } \{x_{n_k}\} {xnk​​}而$n_k为原数列的n_k项子数列中的第k项$

例如${\lim }_{k\to \infty }{x}_{n_k}={\lim }_{n\to \infty }{x}_n$

证明：由子数列的构造得$n_k\ge k$即

$\forall ϵ>0,\exists N\in N_{+},当n>N时有|x_n-a|<ϵ$$(不妨令{\lim }_{n\to \infty }{x}_n=a)$则对于{x_nk}来说定然可以找到一个N_k使得其满足下列式子

$|x_{n_k}-a|<ϵ$即证毕⚡️

推论：若在{x_n}中有一个子列不收敛，或有两个子列不收敛于同一个极限，则{x_n}发散（易证）

4、（波尔察诺-魏尔斯特拉斯）紧致性定理：有界数列必有收敛子数列（一般叫做致密性定理）

证明：

5、在探讨实数闭区间的紧致性时以下定理相互等价

1. 有限覆盖定理：实数闭区间的任何一个覆盖必有有限个子覆盖
2. 致密性定理：有界数列必有收敛子数列
3. 区间套定理：一个实数的区间套 { [ a n , b n ] } 必 存 在 一 个 实 数 r ， ⋂ i = 1 n [ a i , b i ] = r \{[a_n,b_n]\}必存在一个实数r，\bigcap_{i=1}^{n}[a_i,b_i]=r {[an​,bn​]}必存在一个实数r，⋂i=1n​[ai​,bi​]=r

下证明3条定理的各个的等价性（一般只需要证明3次，但为初学为了更深刻的理解便证明6次）

$1\to 2$：

$2\to 1$:证明：采用反证法设H= { ( a n , b n ) } \{(a_n,b_n)\} {(an​,bn​)}为[a,b]的一个无限开覆盖

可以按以下条件剔除多余的开区间

1. H中任意开区间都不包含于H中其它开区间的并

   即$\forall x\in (a,b),x至多属于H中的两项$

2. a,b分别仅属于H中的一个开区间

3. H中任意一开区间内至少含有[a,b]内一点

如此构造的原因是形成一个如图1的一个接一个的子覆盖而不是图2中的某个覆盖套在两个覆盖的并里面这样的话 { a n } 与 { b n } 便 递 增 了 \{a_n\}与\{b_n\}便递增了 {an​}与{bn​}便递增了

如此定义后H仍是开覆盖，且{a_n},{b_n}均有界，故{b_n-a_n}也有界

假设[a,b]不能由有限个H中的开区间覆盖

由致密性定理得{b_n-a_n}中定存在收敛子数列{$b_n^{’}-a_n^{{}^{\prime }}$}($a_n^{’}，b_n^{{}^{\prime }}\in [a,b])$$s.t.{\lim }_{n\to \infty }(b_n^{’}-a_n^{{}^{\prime }})=0$

否则，$\exists ϵ>0,s.t.\forall a_n,b_n\in [a,b],b_n-a_n>ϵ$

则只需有限个H中的开区间即可覆盖[a,b]，矛盾

由致密性定理， { a n ’ } 、 { b n ′ } \{a_n^{’}\}、\{b_n^{'}\} {an’​}、{bn′​}中分别存在收敛子列 { a n ′ ′ } 、 { b n ’ ’ } \{a_n^{''}\}、\{b_n^{’’}\} {an′′​}、{bn’’​}

$\because {\lim }_{n\to \infty }(b_n^{{}^{\prime \prime }}-a_n^{{}^{\prime \prime }})=0\therefore {\lim }_{n\to \infty }{a}_n^{{}^{\prime \prime }}={\lim }_{n\to \infty }{b}_n^{{}^{\prime \prime }}=x_0\in [a,b]$

$\therefore \forall ϵ>0,\exists N\in N_{+},当n>N时，s.t.|b_n-a_n|<ϵ$$即a_n,b_n\in U^o(x_0,ϵ)$

即x₀属于H中无限个开区间于是原假设不成立证毕⚡️

$1\to 3$:证明：利用反证法即存在区间套 { [ a n , b n ] } \{[a_n,b_n]\} {[an​,bn​]}有

${\bigcap }_{n=1}^{\infty }[a_n,b_n]=\varnothing$

记开区间

$({\alpha }_n,{\beta }_n)=(a_1-1,a_n),({\alpha }_n^{’},{\beta }_n^{{}^{\prime }})=(b_n,b_1+1)$

$({\alpha }_n,{\beta }_n)\bigcup ({\alpha }_n^{’},{\beta }_n^{{}^{\prime }})=(a_1-1,b_1+1)$ \ $[a_n,b_n]$

这时 E = { ( α n , β n ) , ( α n ’ ， β n ′ ) ∣ n = 1 , 2 , … , n } E=\{(\alpha_n,\beta_n),(\alpha_n^{’}，\beta_n^{'})|n=1,2,\dots,n\} E={(αn​,βn​),(αn’​，βn′​)∣n=1,2,…,n}构成了$[a_1,b_1]的覆盖$，

为覆盖的证明：$\forall x\in [a_1,b_1]$，若$x\notin$$({\alpha }_n,{\beta }_n)\bigcup ({\alpha }_n^{’},{\beta }_n^{{}^{\prime }})$则

$x\in [a_n,b_n]与$${\bigcap }_{n=1}^{\infty }[a_n,b_n]=\varnothing$矛盾故$x\in$$({\alpha }_n,{\beta }_n)\bigcup ({\alpha }_n^{’},{\beta }_n^{{}^{\prime }})$即证为一覆盖

由有限覆盖定理得，存在N，使得

${\bigcup }_{n=1}^N(({\alpha }_n,{\beta }_n)\cup ({\alpha }_n^{’},{\beta }_n^{{}^{\prime }}))\supset [a_1,b_1]$

${\bigcup }_{n=1}^N(({\alpha }_n,{\beta }_n)\cup ({\alpha }_n^{’},{\beta }_n^{{}^{\prime }}))$=$(a_1-1,b_1+1)$ \ ${\bigcap }_{n=1}^N[a_n,b_n]=(a_1-1,b_1+1)$ \ $[a_N,b_N]$

这就推出，当n>N时，[a_n,b_n]是空集，这是不可能的(由区间套定理构造得$\varnothing$是无法满足条件的），矛盾，故有

${\bigcap }_{n=1}^{\infty }[a_n,b_n]\ne \varnothing$

即存在r使

$r\in {\bigcap }_{n=1}^{\infty }[a_n,b_n]$

r的唯一性证明由区间套性质本身可推得，证毕⚡️

$3\to 1$:证明在紧致性定理证明处早已证明

$2\to 3$:证明： 由{[a_n,b_n]}是一个闭区间套即 $\forall n\in Z^{+},有a_1\le \cdots \le a_{n+1}\le b_{n+1}\le \cdots \le b_1$

则易得{a_n}{b_n}都有界，据致密性定理，存在各自的收敛子数列 { a n k } { b n k } \{a_{n_k}\}\{b_{n_k}\} {ank​​}{bnk​​}

记${\lim }_{k\to \infty }{b}_{n_k}=\alpha$

由$[a_{n_k},b_{n_k}]$是一闭区间套则${\lim }_{k\to \infty }(b_{n_k}-a_{n_k})=0$则${\lim }_{k\to \infty }{a}_{n_k}=\alpha$由数列的单调性及有界性易得$\alpha \in [a_n,b_n]$

下证唯一性：若存在另一数$\beta \in [a_n,b_n]$则$|\alpha -\beta |<|a_n-b_n|由$${\lim }_{k\to \infty }(b_n-a_n)=0$则$\alpha =\beta$证毕⚡️

$3\to 2$:证明在证明致密性定理时已经证明