(2)实数闭区间的紧致性
1、覆盖：设E是一个由实数开区间构成的集合，S是一个实数子集，如果 ∀ x ∈ S \forall x\in S ∀x∈S有区间 ( a , b ) ∈ E , s . t . x ∈ ( a , b ) (a,b)\in E,s.t.x\in (a,b) (a,b)∈E,s.t.x∈(a,b)则称E是S的一个覆盖。
即 S ⊂ ⋃ E α ∈ E E α S\subset\bigcup_{E_\alpha\in E}E_\alpha S⊂⋃Eα∈EEα
有限覆盖：E是由有限个区间组成
无限覆盖：E是由无限个区间组成
直观理解：
2、（博雷尔）有限覆盖定理：实数闭区间 [ a , b ] [a,b] [a,b]的任何一个覆盖E，必存在有限的子覆盖
可以理解为 [ a , b ] ⊂ ⋃ n = 1 N E n , E n ⊂ E [a,b]\subset\bigcup_{n=1}^{N}En,E_n\subset E [a,b]⊂⋃n=1NEn,En⊂E一定成立
证明：利用区间套定理采用反证法
即[a,b]无E的有限的子覆盖，记a1=a,b1=b.用 a + b 2 \frac{a+b}{2} 2a+b将[a,b]一分为二，则这两子区间至少有一个没有E的有限子覆盖，记为[a2,b2]，反复上述操作，便得到一个区间序列{[an,bn]},bn-an= b 1 − a 1 2 n − 1 → 0 \frac{b_1-a_1}{2^{n-1}}\to0 2n−1b1−a1→0易得其满足区间套的定义1：
由区间套定理1：
则知存在唯一的r属于每个[an,bn], lim n → ∞ a n = lim a → ∞ b n = r \lim_{n\to \infty}a_n=\lim_{a\to\infty}b_n=r limn→∞an=lima→∞bn=r 且存在 ( α , β ) ∈ E , 使 r ∈ ( α , β ) (\alpha,\beta)\in E,使r\in(\alpha,\beta) (α,β)∈E,使r∈(α,β)，因此当n取得充分大时，便有 [ a n , b n ] ⊂ ( α , β ) [a_n,b_n]\subset(\alpha,\beta) [an,bn]⊂(α,β)即[an,bn]被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 项 n_k为原数列的n_k项子数列中的第k项 nk为原数列的nk项子数列中的第k项
例如 lim k → ∞ x n k = lim n → ∞ x n \lim_{k\to\infty}x_{n_k}=\lim_{n\to\infty}x_n limk→∞xnk=limn→∞xn
证明：由子数列的构造得 n k ≥ k n_k\ge k nk≥k即
∀ ϵ > 0 , ∃ N ∈ N + , 当 n > N 时 有 ∣ x n − a ∣ < ϵ \forall \epsilon>0,\exist N\in N_+,当n>N时有|x_n-a|<\epsilon ∀ϵ>0,∃N∈N+,当n>N时有∣xn−a∣<ϵ ( 不 妨 令 lim n → ∞ x n = a ) (不妨令\lim_{n\to \infty}x_n=a) (不妨令limn→∞xn=a)则对于{xnk}来说定然可以找到一个Nk使得其满足下列式子
∣ x n k − a ∣ < ϵ |x_{n_{k}}-a|<\epsilon ∣xnk−a∣<ϵ即证毕⚡️
推论：若在{xn}中有一个子列不收敛，或有两个子列不收敛于同一个极限，则{xn}发散（易证）
4、（波尔察诺-魏尔斯特拉斯）紧致性定理：有界数列必有收敛子数列（一般叫做致密性定理）
证明：
5、在探讨实数闭区间的紧致性时以下定理相互等价
- 有限覆盖定理：实数闭区间的任何一个覆盖必有有限个子覆盖
- 致密性定理：有界数列必有收敛子数列
- 区间套定理：一个实数的区间套 { [ 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 → 2 1\to2 1→2：
2 → 1 2\to1 2→1:证明：采用反证法设H= { ( a n , b n ) } \{(a_n,b_n)\} {(an,bn)}为[a,b]的一个无限开覆盖
可以按以下条件剔除多余的开区间
H中任意开区间都不包含于H中其它开区间的并
即 ∀ x ∈ ( a , b ) , x 至 多 属 于 H 中 的 两 项 \forall x\in(a,b),x至多属于H中的两项 ∀x∈(a,b),x至多属于H中的两项
a,b分别仅属于H中的一个开区间
H中任意一开区间内至少含有[a,b]内一点
如此构造的原因是形成一个如图1的一个接一个的子覆盖而不是图2中的某个覆盖套在两个覆盖的并里面这样的话 { a n } 与 { b n } 便 递 增 了 \{a_n\}与\{b_n\}便递增了 {an}与{bn}便递增了
如此定义后H仍是开覆盖，且{an},{bn}均有界，故{bn-an}也有界
假设[a,b]不能由有限个H中的开区间覆盖
由致密性定理得{bn-an}中定存在收敛子数列{ b n ’ − a n ′ b_n^{’}-a_n^{'} bn’−an′}( a n ’ ， b n ′ ∈ [ a , b ] ) a_n^{’}，b_n^{'}\in[a,b]) an’，bn′∈[a,b]) s . t . lim n → ∞ ( b n ’ − a n ′ ) = 0 s.t.\lim_{n\to \infty}(b_n^{’}-a_{n}^{'})=0 s.t.limn→∞(bn’−an′)=0
否则， ∃ ϵ > 0 , s . t . ∀ a n , b n ∈ [ a , b ] , b n − a n > ϵ \exist\epsilon>0,s.t.\forall a_n,b_n\in[a,b],b_n-a_n>\epsilon ∃ϵ>0,s.t.∀an,bn∈[a,b],bn−an>ϵ
则只需有限个H中的开区间即可覆盖[a,b]，矛盾
由致密性定理， { a n ’ } 、 { b n ′ } \{a_n^{’}\}、\{b_n^{'}\} {an’}、{bn′}中分别存在收敛子列 { a n ′ ′ } 、 { b n ’ ’ } \{a_n^{''}\}、\{b_n^{’’}\} {an′′}、{bn’’}
∵ lim n → ∞ ( b n ′ ′ − a n ′ ′ ) = 0 ∴ lim n → ∞ a n ′ ′ = lim n → ∞ b n ′ ′ = x 0 ∈ [ a , b ] \because \lim_{n\to \infty}(b_n^{''}-a_n^{''})=0\therefore\lim_{n\to \infty}a_{n}^{''}=\lim_{n\to\infty}b_n^{''}=x_0\in[a,b] ∵limn→∞(bn′′−an′′)=0∴limn→∞an′′=limn→∞bn′′=x0∈[a,b]
∴ ∀ ϵ > 0 , ∃ N ∈ N + , 当 n > N 时 ， s . t . ∣ b n − a n ∣ < ϵ \therefore\forall\epsilon>0,\exist N\in N_+,当n>N时，s.t.|b_n-a_n|<\epsilon ∴∀ϵ>0,∃N∈N+,当n>N时，s.t.∣bn−an∣<ϵ 即 a n , b n ∈ U o ( x 0 , ϵ ) 即a_n,b_n\in U^{o}(x_0,\epsilon) 即an,bn∈Uo(x0,ϵ)
即x0属于H中无限个开区间于是原假设不成立证毕⚡️
1 → 3 1\to3 1→3:证明：利用反证法即存在区间套 { [ a n , b n ] } \{[a_n,b_n]\} {[an,bn]}有
⋂ n = 1 ∞ [ a n , b n ] = ∅ \bigcap^{\infty}_{n=1}[a_n,b_n]=\varnothing ⋂n=1∞[an,bn]=∅
记开区间
( α n , β n ) = ( a 1 − 1 , a n ) , ( α n ’ , β n ′ ) = ( b n , b 1 + 1 ) (\alpha_n,\beta_n)=(a_1-1,a_n),(\alpha_n^{’},\beta_n^{'})=(b_n,b_1+1) (αn,βn)=(a1−1,an),(αn’,βn′)=(bn,b1+1)
( α n , β n ) ⋃ ( α n ’ , β n ′ ) = ( a 1 − 1 , b 1 + 1 ) (\alpha_n,\beta_n)\bigcup(\alpha_n^{’},\beta_{n}^{'})=(a_1-1,b_1+1) (αn,βn)⋃(αn’,βn′)=(a1−1,b1+1) \ [ a n , b n ] [a_n,b_n] [an,bn]
这时 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 ] 的 覆 盖 [a_1,b_1]的覆盖 [a1,b1]的覆盖，
为覆盖的证明： ∀ x ∈ [ a 1 , b 1 ] \forall x\in[a_1,b_1] ∀x∈[a1,b1]，若 x ∉ x\notin x∈/ ( α n , β n ) ⋃ ( α n ’ , β n ′ ) (\alpha_n,\beta_n)\bigcup(\alpha_n^{’},\beta_{n}^{'}) (αn,βn)⋃(αn’,βn′)则
x ∈ [ a n , b n ] 与 x\in[a_n,b_n]与 x∈[an,bn]与 ⋂ n = 1 ∞ [ a n , b n ] = ∅ \bigcap^{\infty}_{n=1}[a_n,b_n]=\varnothing ⋂n=1∞[an,bn]=∅矛盾故 x ∈ x\in x∈ ( α n , β n ) ⋃ ( α n ’ , β n ′ ) (\alpha_n,\beta_n)\bigcup(\alpha_n^{’},\beta_{n}^{'}) (αn,βn)⋃(αn’,βn′)即证为一覆盖
由有限覆盖定理得，存在N，使得
⋃ n = 1 N ( ( α n , β n ) ∪ ( α n ’ , β n ′ ) ) ⊃ [ a 1 , b 1 ] \bigcup_{n=1}^{N}((\alpha_n,\beta_n)\cup(\alpha_n^{’},\beta_n^{'}))\supset[a_1,b_1] ⋃n=1N((αn,βn)∪(αn’,βn′))⊃[a1,b1]
⋃ n = 1 N ( ( α n , β n ) ∪ ( α n ’ , β n ′ ) ) \bigcup_{n=1}^{N}((\alpha_n,\beta_n)\cup(\alpha_n^{’},\beta_n^{'})) ⋃n=1N((αn,βn)∪(αn’,βn′))= ( a 1 − 1 , b 1 + 1 ) (a_1-1,b_1+1) (a1−1,b1+1) \ ⋂ n = 1 N [ a n , b n ] = ( a 1 − 1 , b 1 + 1 ) \bigcap_{n=1}^{N}[a_n,b_n]=(a_1-1,b_1+1) ⋂n=1N[an,bn]=(a1−1,b1+1) \ [ a N , b N ] [a_N,b_N] [aN,bN]
这就推出，当n>N时，[an,bn]是空集，这是不可能的(由区间套定理构造得 ∅ \varnothing ∅是无法满足条件的），矛盾，故有
⋂ n = 1 ∞ [ a n , b n ] ≠ ∅ \bigcap_{n=1}^{\infty}[a_n,b_n]\ne\varnothing ⋂n=1∞[an,bn]=∅
即存在r使
r ∈ ⋂ n = 1 ∞ [ a n , b n ] r\in\bigcap_{n=1}^{\infty}[a_n,b_n] r∈⋂n=1∞[an,bn]
r的唯一性证明由区间套性质本身可推得，证毕⚡️
3 → 1 3\to1 3→1:证明在紧致性定理证明处早已证明
2 → 3 2\to3 2→3:证明： 由{[an,bn]}是一个闭区间套即 ∀ n ∈ Z + , 有 a 1 ≤ ⋯ ≤ a n + 1 ≤ b n + 1 ≤ ⋯ ≤ b 1 \forall n\in Z^+,有a_1\le\dots\le a_{n+1}\le b_{n+1}\le\dots\le b_1 ∀n∈Z+,有a1≤⋯≤an+1≤bn+1≤⋯≤b1
则易得{an}{bn}都有界，据致密性定理，存在各自的收敛子数列 { a n k } { b n k } \{a_{n_k}\}\{b_{n_k}\} {ank}{bnk}
记 lim k → ∞ b n k = α \lim_{k\to\infty}b_{n_k}=\alpha limk→∞bnk=α
由 [ a n k , b n k ] {[a_{n_k},b_{n_k}]} [ank,bnk]是一闭区间套则 lim k → ∞ ( b n k − a n k ) = 0 \lim_{k\to \infty}(b_{n_k}-a_{n_k})=0 limk→∞(bnk−ank)=0则 lim k → ∞ a n k = α \lim_{k\to\infty}a_{n_k}=\alpha limk→∞ank=α由数列的单调性及有界性易得 α ∈ [ a n , b n ] \alpha\in[a_n,b_n] α∈[an,bn]
下证唯一性：若存在另一数 β ∈ [ a n , b n ] \beta\in[a_n,b_n] β∈[an,bn]则 ∣ α − β ∣ < ∣ a n − b n ∣ 由 |\alpha-\beta|<|a_n-b_n|由 ∣α−β∣<∣an−bn∣由 lim k → ∞ ( b n − a n ) = 0 \lim_{k\to \infty}(b_{n}-a_{n})=0 limk→∞(bn−an)=0则 α = β \alpha=\beta α=β证毕⚡️
3 → 2 3\to2 3→2:证明在证明致密性定理时已经证明
1328
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
