数学分析--实数系的连续性

实数系的连续性

最大数&最小数

  最大数：若 $\exists \xi \in S$，对于 $\forall xinS$， 有 $x\le \xi$， 则 $\xi$ 是 $S$ 中的最大数，记为 $\xi =\max S$

  最小数：若 $\exists \eta \in S$，对于 $\forall x\in S$，有 $x\ge \eta$，则 $\eta$ 是 $S$ 中的最小数，记为 $\eta =\min S$

  $S\subset R$ ，$S$ 非空，若 $S$ 是有限集，则 $S$ 必有最大数和最小数，若 $S$ 是无限集，则不一定有最大数和最小数

上确界&下确界

  $S\subset R$ ，$S$ 非空，若 $\exists M\in R$，对于 $\forall x\in S$，都有 $x\le M$，则 $M$ 为 $S$ 的一个上界，或称 $S$ 有上界。设 $U$ 为 $S$ 上界的集合，则 $U$ 没有最大数但是 $U$ 一定有最小数，记它为 $\beta$，$\beta =\sup S$，称为 $S$ 的上确界

  对于 $\beta$ 来说：

1. $\beta$ 是上界：$\forall x\in S$， $x\le \beta$
2. $\beta$ 是最小上界： $\forall ϵ>0$，$\exists x\in S$，$x>\beta -ϵ$ （也就是对于任意小的 $ϵ$，$\beta -ϵ$ 都不是上界）

  $S\subset R$ ，$S$ 非空，若 $\exists m\in R$，对于 $\forall x\in S$，都有 $x\ge m$，则 $m$ 为 $S$ 的一个下界，或称 $S$ 有下界。设 $L$ 为 $S$ 下界的集合，则 $L$ 没有最小数但是 $L$ 一定有最大数，记它为 $\alpha$，$\alpha =\inf S$，称为 $S$ 的下确界

  对于 $\alpha$ 来说：

1. $\alpha$ 是下界：$\forall x\in S$， $x\ge \alpha$
2. $\alpha$ 是最大下界： $\forall ϵ>0$，$\exists x\in S$，$x<\alpha +ϵ$

确界存在定理–实数系连续性定理

  非空有上界的数集必有上确界，非空有下界的数集必定有下确界

  证明：我们现在又集合 $S$ 非空有上界，然后我们现在这样表示集合 $S$ 中的数字 $x$：

$$x=a_0+0.a_1{a}_2{a}_3\cdots a_n\cdots$$

  其中 $a_0=[x]$，0.a1a2a3⋯an⋯={ x }0.a_1a_2a_3\cdots a_n\cdots = \set{x}0.a1​a2​a3​⋯an​⋯={x}，那么我们就能把集合 $S$ 写成这样：

{ x=a0+0.a1a2a3⋯an⋯ ,x∈S } \set{ x = a_0 + 0.a_1a_2a_3\cdots a_n\cdots, x \in S } {x=a0​+0.a1​a2​a3​⋯an​⋯,x∈S}

  然后我就们定义 ${\alpha }_0$ 是集合 $S$ 中所有数字 $x$ 中最大的 $a_0$，然后我们把所有 $a_0={\alpha }_0$ 的数字从 $S$ 里挑出来，新组装在集合 $S_0$ 里，也就是：

S0={ x∣x∈S  且  [x]=α0 } S_0 = \set{x | x \in S \; 且 \; [x] = \alpha_0 } S0​={x∣x∈S且[x]=α0​}

  再接着我们定义 ${\alpha }_1$ 是集合 $S_0$ 中所有数字 $x$ 中最大的 $a_1$，然后我们把所有 $a_1={\alpha }_1$ 的数字从 $S_0$ 里挑出来，组装在新集合 $S_1$ 里，也就是：

S1={ x∣x∈S0  且  x小数部分的第1位数=α1 } S_1 = \set{ x | x \in S_0 \; 且 \; x小数部分的第1位数 = \alpha_1 } S1​={x∣x∈S0​且x小数部分的第1位数=α1​}

  再接着我们定义 ${\alpha }_2$ 是集合 $S_1$ 中所有数字 $x$ 中最大的 $a_2$，然后我们把所有 $a_2={\alpha }_2$ 的数字从 $S_1$ 里挑出来，组装在新集合 $S_2$ 里，也就是：

S2={ x∣x∈S1  且  x小数部分的第2位数=α2 } S_2 = \set{ x | x \in S_1 \; 且 \; x小数部分的第2位数 = \alpha_2 } S2​={x∣x∈S1​且x小数部分的第2位数=α2​}

  以此类推下去，我们可以得到通式：

Sm={ x∣x∈Sm−1  且  x小数部分的第m位数=αm } S_m = \set{ x | x \in S_{m - 1} \; 且 \; x小数部分的第m位数 = \alpha_m } Sm​={x∣x∈Sm−1​且x小数部分的第m位数=αm​}

  于是我们就得到了一堆集合 $S\supset S_0\supset S_1\supset \cdots \supset S_m\supset \cdots$ 和一堆数字 α0∈N,α1,α2,⋯∈{ 0,1,2,3,4,5,6,7,8,9 }\alpha_0 \in N, \alpha_1, \alpha_2, \cdots \in \set{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}α0​∈N,α1​,α2​,⋯∈{0,1,2,3,4,5,6,7,8,9}，于是我们再定义数字 $\beta$：

$$\beta ={\alpha }_0+0.{\alpha }_1{\alpha }_2\cdots {\alpha }_n\cdots$$

  定义完了这么一大串东西，我们终于可以开始证明了，相信大家凭直觉也能感觉到数字 $\beta$ 就是集合 $S$ 的上确界，我们下面就来证明这件事

  要证明是上确界，我们就要分别证明两件事情：

1. $\beta$ 是上界：$\forall x\in S$， $x\le \beta$
2. $\beta$ 是最小上界： $\forall ϵ>0$，$\exists x\in S$，$x>\beta -ϵ$

  首先证明第一点：

    对于 $\forall x\in S$，可以分为两种情况：

    1. $\exists m_0\in N$ 使得 $x\in S_{m_0}$ 且 $x\notin S_{m_0+1}$ 这种情况下数字 $x$ 的前 $m_0$ 位小数都和 $\beta$ 相同，但是在 $m_0+1$ 位小数时 $a_{m_0+1}<{\alpha }_{m_0+1}$，所以 $x<\beta$

    2. $\forall m_0\in N$，$x\in S_{m_0}$，那么显然 $x=\beta$

    所以对于 $\forall x\in S$，$x\le \beta$，那么 $\beta$ 就是 $S$ 的上界

  然后是证明第二点：

    对于 $\forall ϵ>0$ 我们可以找到 $m_0\in N$ 使得 $\frac{1}{10^{m_0}}<ϵ$

    然后我们肯定能在集合 $S$ 中找到 $x\in S_{m_0}$，这个数字的前 $m_0$ 位小数都与 $\beta$ 相同，于是：

$$\beta -x<\frac{1}{10^{m_0}}<ϵ$$

    那么再移一下项我们就得到了：

$$x>\beta -ϵ$$

    也就是说对于 $\forall ϵ>0$，$\exists x\in S$，使得 $x>\beta -ϵ$，也就是说 $\beta$ 就是最小上界

  综上所述，$\beta$ 即是 $S$ 的一个上界，也是 $S$ 的最小上界，那么 $\beta$ 就是 $S$ 的上确界了，证毕