聚点定理证明其他实数完备性定理

1、聚点定理证明确界原理

证

设$S$是一个有上界数集，则$\exists b\in R$使得$\forall x\in S$有$x<b$,取$a\in S$构造区间$[a,b]$。

定义性质$P$:区间中至少有一个数属于$S$且区间的右端点为$S$的一个上界。

利用二等分法容易构造出满足性质$P$的区间套 { [ a n , b n ] } \left\{\left[a_{n},b_{n}\right]\right\} { [an​,bn​]}

定义性质$P$:不能用$H$中有限个开区间覆盖。

$(1)$将$[a,b]$等分为两个子区间，则至少有一个具有性质$P$，不妨记该区间为$\left[a_1,b_1\right]$,则$\left[a_1,b_1\right]\subset [a,b]$

$(2)$将$\left[a_1,b_1\right]$等分为两个子区间，则至少有一个具有性质$P$，不妨记该区间为$\left[a_2,b_2\right]$,则$\left[a_2,b_2\right]\subset \left[a_1,b_1\right]$

$\cdots$

$(n)$将$\left[a_{n-1},b_{n-1}\right]$等分为两个子区间，则至少有一个具有性质$P$,不妨记该区间为$\left[a_n,b_n\right]$,则$\left[a_n,b_n\right]\subset \left[a_{n-1},b_{n-1}\right]$

由此可得一个区间套 { [ a n , b n ] } \left\{\left[a_{n},b_{n}\right]\right\} { [an​,bn​]}且满足

$$b_n-a_n=\frac{b-a}{2^n}\to 0\to (1)$$

显然 { b n } ⊂ [ a , b ] \left\{b_{n}\right\}\subset[a,b] { bn​}⊂[a,b]且单调递减有下界。我们证明$\exists \xi \in R$，$b_n\to \xi$，$(n\to \infty )$。事实上,不妨设 { b n } \left\{b_{n}\right\} { bn​}有无穷个数，由聚点原理知 { b n } \left\{b_{n}\right\} { bn​}有聚点$\xi$。

因此$\forall \epsilon >0$,$\exists N>0$,使得$b_N\in U(\xi ,\epsilon )$且$b_N>\xi$。由于 { b n } \left\{b_{n}\right\} { bn​}单调递减，则易证$\forall n>N$有 b n ∈ U ( ξ , ε ) b_{n}\in U(\xi,\varepsilon) b