单调有界证明实数完备性定理

欢迎关注公众号：废柴姐姐
公号文：单调有界定理证明其他实数完备性定理
单调有界定理：任何单调有界数列必有极限

1、单调有界定理证明确界定理

$确界定理：非空有上(下)界数集，必有极限$

$证$：
我们不妨证明非空有上界的数集 $S$ 必有上确界

$(1)$欲求一实数使它是非空数集$S$的上确界,利用非空有上界的数集 $S$，构造一数列使其极限为我们所要求的实数。

选取性质 $p$ : 不小于数集 $S$中的任一数的有理数

将具有性质 $p$ 的所有有理数排成一个数列 { r n } \{r_n \} { rn​} , 并令 { x n } = m a x { r 1 , r 2 . . . , r n } \{ {x}_{n}\}={m} a {x}\{ {r}_1,r _2..., r_n\} { xn​}=max{ r1​,r2​...,rn​}， 则得 $单调递增有上界的数列$ { x n } \{x_n\} { xn​} ;

$(2)$ 由单调有界定理得,$\zeta ={\lim }_{n\to \infty }{x}_n$，且对任意的自然数 ${n} $ 有

$$r_n⩽x_n⩽\zeta$$

$(3)$ $\zeta$是数集 $S$ 的上确界. 用$反证法$，

$1^{\circ }$ 若有数 $x_0\in S$ 使 $x_0>\zeta$，取 $\epsilon =\frac{x_0一\zeta }{2}$ ，则存在一个有理数 $r_N$，使

$$\zeta ⩽r_N<\zeta +\epsilon =(x_0+\zeta )/2<(x_0+x_0)/2=x_0$$

从而 $r_N<x_0$, 这与 $r_N$是数集 $S$ 的上界$矛盾$。所以对一切 $x\in S$, 都有$x⩽\zeta$, 即 $\zeta$ 是数集 $S$ 的$上界$.

$2^{\circ }$ 任给 $\epsilon >0$, 若$\forall x\in S$, 都有 $x⩽\zeta -\epsilon$, 则存在有理数 $r^{\prime }$, 使 $\zeta -\epsilon <r^{\prime }<\zeta$,即

$$x⩽\zeta -\epsilon <r^{\prime }<\zeta$$

我们就找到 $r^{\prime }\in S$ 这与若$\forall x\in S$, $x⩽\zeta -\epsilon$ 矛盾,

$所以存在$ $x^{\prime }\in S$, 使 $x^{\prime }>\zeta -\epsilon$, 即 $\zeta$ 是数集 $S$ 的$最小上界$，于是，我们证明了所需结论.

2、单调有界定理证明区间套定理

若 { [ a n , b n ] } \left\{\left[a_n, b_{n}\right]\right\} { [an​,bn​]} 是一个区间套, 则在实数系中存在唯一的一点 $\xi$, 使得 $\xi \in \left[a_n,b_n\right]$, $n=1,2,\cdots$, 即

$$a_n⩽\xi ⩽b_n,n=1,2,\cdots (1)$$

$证$：

$存在性$
{ a n } \{a_n\} { an​} 为递增有界数列, 依单调有界定理, { a n } \{a_n\} { an​} 有极限 $\xi$，且有 $a_n⩽\xi$, $n=1,2,\cdots (2)$ 同理, 递减有界数列 { b n } \{b_n\} { bn​} 也有极限, 并按区间套的条件有

lim ⁡ n → ∞ b n = lim ⁡ n → ∞ a n = ξ