Dedekind切割定理，以及用它证明确界存在定理

Dedekind切割定理，以及用它证明确界存在定理

Dedekind分割：设$A/B$是有理数集合$\mathbb{Q}$的一个切割，即将$\mathbb{Q}$中的元素分为两个集合$A,B$，使得
$$\forall a\in A,b\in B,a<b.$$
从逻辑上，存在以下四种基本情况：

1. $A$中有最大数$a_0$，$B$中有最小数$b_0$；
2. $A$中无最大数，$B$中有最小数$b_0$；
3. $A$中有最大数$a_0$，$B$中无最小数；
4. $A$中无最大数，$B$中无最小数。

但第一种情况不可能发生，因为取有理数$t=\frac{a_0+b_0}{2}$，它将不属于$A,B$的任何一个集合。

对于第四种情况，由于它没有确定任何有理数，即集合$A,B$之间存在一个空隙，故引入一个新的数$c$来填补空隙。定义$c$为切割$A/B$确定的无理数，并将有理数全体和由切割定义的无理数全体合并成一个集合$\mathbb{R}$，在集合$\mathbb{R}$中一样可以定义四则运算。

---

Dedekind切割定理：将$\mathbb{R}$切割成两个非空实数集合$\tilde{A},\tilde{B}$，满足$\mathbb{R}=\tilde{A}\cup \tilde{B}$，则必定满足以下两种基本情况中的一种：

1. $\tilde{A}$中有最大数$a_0$，$\tilde{B}$中无最小数；
2. $\tilde{A}$中无最大数，$\tilde{B}$中有最小数$b_0$。

即不存在$\tilde{A}$中无最大数、$\tilde{B}$中无最小数的情况。这样的切割记作$\tilde{A}/\tilde{B}$。

证明：

将$\tilde{A}$中的所有有理数构成的集合记作$A$，$\tilde{B}$中的所有有理数构成的集合$B$，则有理数的切割$A/B$满足以下三种情况的一种：

1. $A$中有最大数$a_0$，$B$中无最小数；
2. $A$中无最大数，$B$中有最小数$b_0$；
3. $A$中无最大数，$B$中无最小数。

对于情况1，要证明$a_0$也是$\tilde{A}$中的最大数。如果$\exists \tilde{a}\in \tilde{A},\tilde{a}>a_0$，则由有理数的稠密性，在区间$(a_0,\tilde{a})$中必定存在一个有理数$a$，这样$a>a_0$，$a_0$就不是$A$的最大数，产生矛盾，故$a_0$也是$A$中的最大数。

对于情况2，要证明$b_0$也是$\tilde{B}$中的最小数，步骤与情况1一致。

对于情况3，由$A/B$确定的无理数$c$满足$\forall a\in A,b\in B$，有$a<c<b$。因为$c\in \mathbb{R}=\tilde{A}\cup \tilde{B}$，所以要么$c\in \tilde{A}$，要么$c\in \tilde{B}$。

1. 当$c\in \tilde{A}$时，可以证明$c$就是$\tilde{A}$的最大数。如果$\exists \tilde{a}\in \tilde{A},\tilde{a}>c$，则在区间$(c,\tilde{a})$中存在有理数$a$，使得$a>c$，这就有$a\in \tilde{A}\cap \mathbb{Q}=A$，但是$a>c$产生矛盾；
2. 当$c\in \tilde{B}$，可以证明$c$就是$\tilde{B}$的最小数，证明步骤与情况1一致。

由此，证明了要么$\tilde{A}$中有最大数，要么$\tilde{B}$中有最小数，即$\mathbb{R}$是连续的。

---

下用Dedekind定理证明确界存在定理：如果非空实数集合$S$存在上界，则必有上确界。

证明：

令$B$是$S$的所有上界构成的集合，$A=\mathbb{R}\setminus B$，则要么$A$有最大数，要么$B$有最小数。

如果$B$有最小数，则$B$的最小数$b_0$就是其$S$的上确界。首先$b_0\in S$，故$b_0$是$S$的上界，并且对于任何$ϵ>0$，$b_0-ϵ<b_0$，故$b_0-ϵ\notin B$，即$b_0-ϵ\in A$，不是$S$的上界。

对于$A$中的任何元素$x$，由于$x$不是$S$的上界，故存在一个$t\in S$，使得$x<t$。取$x^{\ast }=\frac{x+t}{2}$，则有$x<x^{\ast }<t$，其中$x^{\ast }<t$代表$S$中的元素$t$比$x^{\ast }$大，即$x^{\ast }$不是$S$的上界即$x^{\ast }\in A$，$x^{\ast }>x$代表存在一个元素$x^{\ast }\in A$使得$x^{\ast }>x$。因为对$A$中的任何元素$x$，都能找到另一个在$A$中的数$x^{\ast }$比它大，因此$A$不存在最大数。

由于$A$没有最大数，所以$B$一定有最小数$b_0$，且$b_0$是$S$的上确界，故有上界的$S$一定有上确界，证毕。