1、聚点定理证明确界原理
证
设 S S S是一个有上界数集,则 ∃ b ∈ R \exists b\in R ∃b∈R使得 ∀ x ∈ S \forall x\in S ∀x∈S有 x < b x< b x<b,取 a ∈ S a\in S a∈S构造区间 [ a , b ] [a,b] [a,b]。
定义性质 P P P:区间中至少有一个数属于 S S S且区间的右端点为 S S S的一个上界。
利用二等分法容易构造出满足性质 P P P的区间套 { [ a n , b n ] } \left\{\left[a_{n},b_{n}\right]\right\} { [an,bn]}
定义性质 P P P:不能用 H H H中有限个开区间覆盖。
( 1 ) (1) (1)将 [ a , b ] [a,b] [a,b]等分为两个子区间,则至少有一个具有性质 P P P,不妨记该区间为 [ a 1 , b 1 ] \left[a_{1},b_{1}\right] [a1,b1],则 [ a 1 , b 1 ] ⊂ [ a , b ] \left[a_{1},b_{1}\right]\subset[a,b] [a1,b1]⊂[a,b]
( 2 ) (2) (2)将 [ a 1 , b 1 ] \left[a_{1},b_{1}\right] [a1,b1]等分为两个子区间,则至少有一个具有性质 P P P,不妨记该区间为 [ a 2 , b 2 ] \left[a_{2},b_{2}\right] [a2,b2],则 [ a 2 , b 2 ] ⊂ [ a 1 , b 1 ] \left[a_{2},b_{2}\right]\subset\left[a_{1},b_{1}\right] [a2,b2]⊂[a1,b1]
⋯ \cdots ⋯
( n ) (n) (n)将 [ a n − 1 , b n − 1 ] \left[a_{n-1},b_{n-1}\right] [an−1,bn−1]等分为两个子区间,则至少有一个具有性质 P P P,不妨记该区间为 [ a n , b n ] \left[a_{n},b_{n}\right] [an,bn],则 [ a n , b n ] ⊂ [ a n − 1 , b n − 1 ] \left[a_{n},b_{n}\right]\subset\left[a_{n-1},b_{n-1}\right] [an,bn]⊂[an−1,bn−1]
由此可得一个区间套 { [ a n , b n ] } \left\{\left[a_{n},b_{n}\right]\right\} { [an,bn]}且满足
b n − a n = b − a 2 n → 0 → ( 1 ) b_{n}-a_{n}=\frac{b-a}{2^{n}}\rightarrow 0\rightarrow (1) bn−an=2nb−a→0→(1)
显然 { b n } ⊂ [ a , b ] \left\{b_{n}\right\}\subset[a,b] { bn}⊂[a,b]且单调递减有下界。我们证明 ∃ ξ ∈ R \exists\xi\in R ∃ξ∈R, b n → ξ b_{n}\rightarrow\xi bn→ξ, ( n → ∞ ) (n\rightarrow\infty) (n→∞)。事实上,不妨设 { b n } \left\{b_{n}\right\} { bn}有无穷个数,由聚点原理知 { b n } \left\{b_{n}\right\} { bn}有聚点 ξ \xi ξ。
因此 ∀ ε > 0 \forall\varepsilon> 0 ∀ε>0, ∃ N > 0 \exists N> 0 ∃N>0,使得 b N ∈ U ( ξ , ε ) b_{N}\in U(\xi,\varepsilon) bN∈U(ξ,ε)且 b N > ξ b_{N}> \xi bN>ξ。由于 { b n } \left\{b_{n}\right\} { bn}单调递减,则易证 ∀ n > N \forall n> N ∀n>N有 b n ∈ U ( ξ , ε ) b_{n}\in U(\xi,\varepsilon) b