使用戴德金分割法从有理数域构造实数域（上）

介绍

  这里从有理数域（记为$Q$）开始，构建一个具有最小上界性的有序域，这个具有最小上界性的有序域，我们一般称它为实数域（记为$R$）。这里可以提取出$R$的两个核心特征：

• $R$是有序域。
• $R$具有最小上界性。

  下面便是从$Q$开始，构建一个集合$R$，让其满足上面的两个要求。需要注意，这里讲的$R$可能会让人感觉与平常讲的实数域有些不一样。其实，具体的讲，这里的$R$确实与我们平常讲的实数域不是一个东西，不过他们是同构的，他们之间是同构的表明他们在经过抽象后本质其实是一样的。本文并不涉及对他们同构的证明，有兴趣的可以看代数学方面的书籍去了解更多内容。

内容

一、用戴德金分割定义$R$

  如果把所有有理数排在数轴上，以0为中心，从左到右依次增大，然后任取一个点，点左边轴上的有理数分一个集合，点右边轴上的有理数分一个集合，而这个分割点本身如果是有理数，就归入分成的两个集合中的任何一方中。这样分拆有理数集的方法，我们称之为戴德金分割。

  戴德金分割是一种拆分有理数集的方法，首先，它把有理数集分为两个没有共同元素的非空真子集，其次，它让这两个真子集的并集正好等于有理数集，再者，它要这两个真子集中一个真子集的任意元素恒大于另一个真子集的任意元素。

  在这里，对于戴德金分割，如果分割点本身是有理数，我们把其归入右边那部分构成的集合，然后取左边的一部分所构成的集合，以这样的集合作为我们要构建的$R$的元素，所有这样的元素组成的集合，就是我们要构建的$R$。

  在这里，我们用严格的数学语言给$R$的元素下个定义，即$R$的元素是满足如下三个条件的有理数子集（记为$\alpha$）：

1. $\alpha \ne \varnothing$且$\alpha \ne Q$。（$\alpha$是$Q$的非空真子集）
2. 如果$p\in \alpha$，$q\in Q$且$q<p$，那么$q\in \alpha$。（$\alpha$是$Q$左边那部分）
3. 如果$p\in \alpha$，那么存在某个$r\in \alpha$使得$p<r$。（$\alpha$右边没有端点）

  对于$\alpha \in R$，$p$，$q\in Q$，由以上定义可以直接得出如下性质：

1. 如果$p\in \alpha$且$q\notin \alpha$，则$p<q$。
2. 如果$p\notin \alpha$且$p<q$，则$q\notin \alpha$。

二、在$R$中定义序

  对于任意$\alpha$，$\beta \in R$，如果$\alpha$是$\beta$的真子集，我们就称$\alpha <\beta$或者$\beta >\alpha$。

  如果$\alpha <\beta$且$\beta <\gamma$，由于真子集的真子集还是真子集，所以有$\alpha <\gamma$。

  对于任意$\alpha$，$\beta \in R$，由于真子集的性质，$\alpha$与$\beta$的三种关系
$$\alpha <\beta ，\alpha =\beta ，\beta <\alpha$$
中最多只有一种成立。现在，我们再来证明$\alpha$与$\beta$的三种关系中最少有一种成立。假设这三种关系全部不成立，由于$\alpha \nless \beta 且\alpha \ne \beta$，所以$\alpha$不是$\beta$的子集。由此存在$p\in \alpha$，但$p\notin \beta$。如果$q\in \beta$，则根据$R$性质1有$q<p$，由此再根据$R$定义条件2有$q\in \alpha$，这表明$\beta \subset \alpha$，又$\alpha \ne \beta$，于是$\beta <\alpha$，这与假设中三种关系全不成立是矛盾的。所以，三种关系中至少有一种成立。综合上述，也就是$\alpha$与$\beta$的三种关系中有且仅有一种成立。

  于是，$R$是有序集。

  对于$\alpha$，$\beta \in R$，$p\in Q$，由以上可以得出如下性质：

  如果$p\in \beta$且$p\notin \alpha$，则$\alpha <\beta$。

三、$R$具有最小上界性

  令$A$是$R$的不空子集，再令$\beta \in R$是$A$的上界，要证明$R$具有最小上界性，也就是要证明$\sup A$在$R$中存在。

  这里令$\gamma$为所有$\alpha \in A$的并，也就是，$p\in \gamma$当且仅当存在$\alpha \in A$使得$p\in \alpha$。下面我们证明$\gamma \in R$且$\gamma =\sup A$。

  由于$A$不空，故存在${\alpha }_0\in A$，且${\alpha }_0$不空。由$\gamma$的定义可知${\alpha }_0\subset \gamma$，故$\gamma$不空。由于$\beta$是$A$的上界，也就是$A$中所有元素都是$\beta$的子集，再由$\gamma$定义可知$\gamma \subset \beta$，故$\gamma \ne Q$。于是$\gamma$满足$R$定义的条件1。

  任取$p\in \gamma$，根据$\gamma$定义可知，存在${\alpha }_1\in A$使得$p\in {\alpha }_1$。

  再任取$q\in Q$且$q<p$，根据$R$定义的条件2可知，$q\in {\alpha }_1$，从而$q\in \gamma$。于是$\gamma$满足$R$定义的条件2。

  由$R$定义的条件3可知，存在$r\in {\alpha }_1$且$p<r$，由$\gamma$定义可知$r\in \gamma$。于是$\gamma$满足$R$定义的条件3。

  综上，我们证明了$\gamma \in R$。

  根据$\gamma$的定义可知，对于任意$\alpha \in A$，有$\alpha \subset \gamma$，也就是$\alpha \le \gamma$。这表示$\gamma$是$A$的上界。

  任取$\delta \in R$且$\delta <\gamma$，于是$\delta$是$\gamma$的真子集，于是存在$s\in \gamma$且$s\notin \delta$。由$\gamma$定义可知，存在${\alpha }_2\in A$使得$s\in {\alpha }_2$，根据$R$中序的定义可知$\delta <{\alpha }_2$，也就是说$\delta$不是A的上界。

  综上，我们证明了$\gamma$是$A$是上确界，也就是$\gamma =\sup A$。

四、$R$是有序域

  接下来，我们在$R$上定义加法与乘法，并证明它们满足加法公理、加法与序公理、乘法公理、乘法与序公理和乘法与加法的分配律。这样，$R$就是有序域了。

在$R$中定义加法

  对于任意$\alpha$，$\beta \in R$，我们令$A$为如下集合：
{ p ∈ Q ∣ p < a + b ， 其 中 a ∈ α ， b ∈ β } \{p \in Q | p < a + b，其中a \in \alpha，b \in \beta\} {p∈Q∣p<a+b，其中a∈α，b∈β}
也就是说，对于$A$中的每个元素$p\in Q$，总存在$a\in \alpha ，b\in \beta$，使得$p<a+b$成立。

  再令$B$为如下集合：
{ p ∈ Q ∣ p = a + b ， 其 中 a ∈ α ， b ∈ β } \{p \in Q | p = a + b，其中a \in \alpha，b \in \beta\} {p∈Q∣p=a+b，其中a∈α，b∈β}
也就是说，对于$B$中的每个元素$p\in Q$，总存在$a\in \alpha ，b\in \beta$，使得$p=a+b$成立。

  对于任意$q\in B$，有$q=a+b$，其中$a\in \alpha$，$b\in \beta$，根据$R$定义的条件3可知，有$a^{\prime }\in \alpha$且$a<a^{\prime }$，$b^{\prime }\in \beta$且$b<b^{\prime }$，于是有$q=a+b<a^{\prime }+b^{\prime }$，于是$q\in A$。这也就是说$B\subset A$。

  对于任意$r\in A$，有$r<a+b$，其中$a\in \alpha$，$b\in \beta$，于是有$r-a<b$，令$b^{\prime }=r-a$，根据$R$定义的条件2可知，有$b^{\prime }\in \beta$，又$r=a+r-a=a+b^{\prime }$，于是$r\in B$。这也就是说$A\subset B$。

  由上面推导可知，$A=B$，我们定义$A$或者$B$所表示的那个集合为$\alpha +\beta$。也就是$\alpha +\beta$中的元素同时具有$A$与$B$的定义中的性质。下面我们来证明$\alpha +\beta \in R$。

  由$B$的定义可知，$B\ne \varnothing$，于是$\alpha +\beta \ne \varnothing$。取$a^{\prime }\in Q$且$a^{\prime }\notin \alpha$，$b^{\prime }\in Q$且$b^{\prime }\notin \beta$，根据$R$的性质1可知，对于任意$a\in \alpha$，$b\in \beta$，有$a<a^{\prime }$，$b<b^{\prime }$，于是有$a+b<a^{\prime }+b^{\prime }$，根据$A$的定义可知，$a^{\prime }+b^{\prime }\notin A$，也就是$a^{\prime }+b^{\prime }\notin \alpha +\beta$，于是$\alpha +\beta \ne Q$。于是$\alpha +\beta$符合$R$定义的条件1。

  取$s\in \alpha +\beta$，根据$B$定义，则有$s=a+b$，其中$a\in \alpha$，$b\in \beta$，如果$t\in Q$且$t<s$，那么$t-a<s-a=b$，根据$R$定义的条件2可知$t-a\in \beta$，又$t=a+(t-a)$，于是$t\in \alpha +\beta$。于是$\alpha +\beta$符合$R$定义的条件2。

  取$s\in \alpha +\beta$，根据$B$定义，则有$s=a+b$，其中$a\in \alpha$，$b\in \beta$，根据$R$定义的条件3可取$a^{\prime }\in \alpha$且$a<a^{\prime }$，令$t=a^{\prime }+b$，那么$t\in \alpha +\beta$，又$s=a+b<a^{\prime }+b=t$，于是$\alpha +\beta$符合$R$定义的条件3。

  于是，我们证明了$\alpha +\beta \in R$。于是我们可以定义$\alpha +\beta$是$\alpha$与$\beta$的和。这样我们就定义了$R$中的加法关系。

满足加法公理

  这里取任意$\alpha$，$\beta$，$\gamma \in R$，下面我们来证明对于加法的定义满足加法公理。

交换律

  由$R$中加法的定义可知，$\alpha +\beta$与$\beta +\alpha$是同一个集合，也就是
$$\alpha +\beta =\beta +\alpha$$

结合律

  我们知道$\alpha +\beta$是如下集合：
{ p ∈ Q ∣ p = a + b ， 其 中 a ∈ α ， b ∈ β } \{p \in Q | p = a + b，其中a \in \alpha，b \in \beta\} {p∈Q∣p=a+b，其中a∈α，b∈β}
记为$A$。

  于是$(\alpha +\beta )+\gamma$是如下集合：
{ p ∈ Q ∣ p = a + b ， 其 中 a ∈ A ， b ∈ γ } \{p \in Q | p = a + b，其中a \in A，b \in \gamma\} {p∈Q∣p=a+b，其中a∈A，b∈γ}
记为$B$。

  我们知道$\beta +\gamma$是如下集合：
{ p ∈ Q ∣ p = a + b ， 其 中 a ∈ β ， b ∈ γ } \{p \in Q | p = a + b，其中a \in \beta，b \in \gamma\} {p∈Q∣p=a+b，其中a∈β，b∈γ}
记为$C$。

  于是$\alpha +(\beta +\gamma )$是如下集合：
{ p ∈ Q ∣ p = a + b ， 其 中 a ∈ α ， b ∈ C } \{p \in Q | p = a + b，其中a \in \alpha，b \in C\} {p∈Q∣p=a+b，其中a∈α，b∈C}
记为$D$。

  再令$E$为如下集合：
{ p ∈ Q ∣ p = a + b + c ， 其 中 a ∈ α ， b ∈ β ， c ∈ γ } \{p \in Q | p = a + b + c，其中a \in \alpha，b \in \beta，c \in \gamma\} {p∈Q∣p=a+b+c，其中a∈α，b∈β，c∈γ}

  由以上定义可知，$E\subset B$且$E\subset D$。任取$p\in B$，则$p=a+b$，其中，$a\in A$，$b\in \gamma$，于是有$a=c+d$，其中，$c\in \alpha$，$d\in \beta$，于是有$p=c+d+b$，于是$p\in E$，于是$B\subset E$，于是$B=E$。任取$q\in D$，则$q=e+f$，其中，$e\in \alpha$，$f\in C$，于是有$f=g+h$，其中，$g\in \beta$，$h\in \gamma$，于是有$q=e+g+h$，于是$q\in E$，于是$D\subset E$，于是$D=E$。于是我们证明了$B=D$，也就是：
$$(\alpha +\beta )+\gamma =\alpha +(\beta +\gamma )$$

加法零元

  我们将加法零元定义为所有的负有理数组成的集合，记为$0^{\ast }$。

  现在我们来证明$0^{\ast }\in R$。由于$0^{\ast }\ne \varnothing$且$0^{\ast }\ne Q$，所以符合$R$定义的条件1。任取$p\in 0^{\ast }$，$q\in Q$且$q<p$，于是q也是负有理数，于是$q\in 0^{\ast }$，所以符合$R$定义的条件2。由于$p<\frac{p}{2}$且$\frac{p}{2}\in 0^{\ast }$，所以符合$R$定义的条件3。故得证。

  任取$r\in \alpha +0^{\ast }$，则$r=a+b$，其中，$a\in \alpha$，$b\in 0^{\ast }$，由于$b$是负有理数，于是有$r=a+b<a$，根据$R$定义条件2可知$r\in \alpha$，于是$\alpha +0^{\ast }\subset \alpha$。

  任取$s\in \alpha$，根据$R$定义条件3可取$t\in \alpha$且$s<t$，于是$s-t\in 0^{\ast }$，又$s=t+(s-t)$，于是$s\in \alpha +0^{\ast }$，于是$\alpha \subset \alpha +0^{\ast }$。

  综合上面有：
$$\alpha +0^{\ast }=\alpha$$

加法负元

  我们将$\alpha$的加法负元定义为如下集合：
{ p ∈ Q ∣ 存 在 r ∈ Q 且 p < r ， 使 得 对 于 任 意 q ∈ α 都 有 q + r < 0 } \{p \in Q | 存在r \in Q且p < r，使得对于任意q \in \alpha都有q + r < 0\} {p∈Q∣存在r∈Q且p<r，使得对于任意q∈α都有q+r<0}
记为${\alpha }^{-}$。

  下面我们来证明${\alpha }^{-}\in R$。

  取$r\in Q$且$r\notin \alpha$，根据$R$定义性质1可知，对于任意$q\in \alpha$有$q<r$，于是$q+(-r)=q-r<0$，又$-r-1<-r$，于是$-r-1\in {\alpha }^{-}$，于是${\alpha }^{-}\ne \varnothing$。取$p\in \alpha$，由于对于任意$s\in Q$且$s>-p$都有$s+p>0$，所以$-p\in Q$且$-p\notin {\alpha }^{-}$，所以${\alpha }^{-}\ne Q$。于是符合$R$定义的条件1。

  取$s\in {\alpha }^{-}$，则存在$r\in Q$且$s<r$，对于任意$u\in \alpha$都有$r+u<0$，再取$t\in Q$且$t<s$，于是有$t<r$，于是$t\in {\alpha }^{-}$。于是符合$R$定义的条件2。

  取$s\in {\alpha }^{-}$，则存在$r\in Q$且$s<r$，对于任意$u\in \alpha$都有$r+u<0$，令$t=\frac{s+r}{2}$，可知$t\in Q$，由于$s<\frac{s+r}{2}<r$，于是$s<t<r$，于是$t\in {\alpha }^{-}$。于是符合$R$定义的条件3。

  以上便证明了${\alpha }^{-}\in R$。

  接下来我们来证明一个下面要用到的结论：对于任意$\alpha \in R$，$w\in Q$且$w>0$，存在整数$n$使得$nw\in \alpha$且$(n+1)w\notin \alpha$。

  如果$0\in \alpha$，由$R$的性质可知，我们能取$v\in Q$，$v>0$且$v\notin \alpha$，由有理数的阿基米德性可知，存在自然数$m$使得$mw>v$，于是$mw\notin \alpha$。对于如下的$m+1$个依次递增的有理数
$$0，w，2w，3w，...，(m-2)w，(m-1)w，mw$$
我们将其中所有属于$\alpha$的有理数归为集合$A$，剩余的则是不属于$\alpha$的，将其归为集合$B$，由于$0\in \alpha$，所以$A$不为空，由于$A$是有限的，于是我们可以取到$A$中最大的有理数，设它为$n^{\prime }w$，其中$n^{\prime }$是0或自然数，由于$mw\notin \alpha$且$mw$是上面那组递增的有理数中最大的，所以$n^{\prime }w<mw$，由于$n^{\prime }$是0或者自然数，于是有$n^{\prime }w<(n^{\prime }+1)w\le mw$，于是$(n^{\prime }+1)w\in B$，也就是$(n^{\prime }+1)w\notin \alpha$。

  如果$0\notin \alpha$，由$R$性质可知，我们能取$v\in \alpha$且$v<0$，于是$-v>0$，由有理数的阿基米德性可知，存在自然数$m$使得$mw>-v$，于是$-mw<v$，根据$R$定义性质2可知$-mw\in \alpha$。对于如下的$m+1$个依次递减的有理数
$$0，-w，-2w，-3w，...，-(m-2)w，-(m-1)w，-mw$$
我们将其中所有属于$\alpha$的有理数归为集合$A$，剩余的则是不属于$\alpha$的，将其归为集合$B$，由于$-mw\in \alpha$，所以$A$不为空，由于$A$是有限的，于是我们可以取到$A$中最大的有理数，设它为$-n^{\prime }w$，其中$n^{\prime }$是自然数，由于$0\notin \alpha$且$0$是上面那组递减的有理数中最大的，所以$-n^{\prime }w<0$，由于$n^{\prime }$是自然数，于是有$-n^{\prime }w<(-n^{\prime }+1)w\le 0$，于是$(-n^{\prime }+1)w\in B$，也就是$(-n^{\prime }+1)w\notin \alpha$。

  于是我们证明了上面的结论。

  接着我们来证明$\alpha +{\alpha }^{-}=0^{\ast }$。

  任取$p\in \alpha +{\alpha }^{-}$，由${\alpha }^{-}$的定义可知$p<0$，于是$p\in 0^{\ast }$，于是$\alpha +{\alpha }^{-}\subset 0^{\ast }$。

  任取$q\in 0^{\ast }$，令$w=-\frac{q}{2}$，于是$w\in Q$且$w>0$，而$\alpha \in R$，根据上面证明过的结论，存在整数$n$，使得$nw\in \alpha$且$(n+1)w\notin \alpha$。令$r=-(n+2)w$，$t=-(n+1)w$，由于$w>0$，于是$t=-(n+1)w>-(n+2)w=r$，又$(n+1)w\notin \alpha$，根据$R$的性质1，于是对于任意$s\in \alpha$都有$s<(n+1)w$，于是$s+t<(n+1)w-(n+1)w=0$，于是$r\in {\alpha }^{-}$。从而有$q=-2w=nw-(n+2)w=nw+r\in \alpha +{\alpha }^{-}$。也就是$0^{\ast }\subset \alpha +{\alpha }^{-}$。

  综上，我们证明了$\alpha +{\alpha }^{-}=0^{\ast }$。

  由于$0^{\ast }+(0^{\ast }{)}^{-}=0^{\ast }$，又$0^{\ast }+(0^{\ast }{)}^{-}=(0^{\ast }{)}^{-}$，故$(0^{\ast }{)}^{-}=0^{\ast }$。也就是说，加法零元$0^{\ast }$的加法负元是其自身。

  由于$\alpha +{\alpha }^{-}=0^{\ast }$，于是$\alpha +{\alpha }^{-}+({\alpha }^{-}{)}^{-}=0^{\ast }+({\alpha }^{-}{)}^{-}$，于是$\alpha =({\alpha }^{-}{)}^{-}$。这也就是说$\alpha$与${\alpha }^{-}$互为加法负元。

  由于$(\alpha +\beta {)}^{-}+\alpha +\beta =0$，于是$(\alpha +\beta {)}^{-}+\alpha +{\alpha }^{-}+\beta +{\beta }^{-}={\alpha }^{-}+{\beta }^{-}$，于是$(\alpha +\beta {)}^{-}={\alpha }^{-}+{\beta }^{-}$。

满足加法与序公理

  现在证明上面定义的加法满足加法与序公理：如果$\alpha$，$\beta$，$\gamma \in R$，并且$\alpha <\beta$，那么$\alpha +\gamma <\beta +\gamma$。

  从上面加法的定义以及小于的定义可知，$\alpha +\gamma \subset \beta +\gamma$。假设$\alpha +\gamma =\beta +\gamma$，根据上面已经证明的加法公理，则有$\alpha +\gamma +{\gamma }^{-}=\beta +\gamma +{\gamma }^{-}$，于是$\alpha +0^{\ast }=\beta +0^{\ast }$，于是$\alpha =\beta$，这与$\alpha <\beta$是矛盾的，于是$\alpha +\gamma \ne \beta +\gamma$。从而$\alpha +\gamma <\beta +\gamma$。

  综上，我们证明了加法满足加法与序公理。

  由上述加法与序公理可知，如果$\alpha <0^{\ast }$，则$\alpha +{\alpha }^{-}<0^{\ast }+{\alpha }^{-}$，也就是${\alpha }^{-}>0^{\ast }$。如果$\alpha >0^{\ast }$，则$\alpha +{\alpha }^{-}>0^{\ast }+{\alpha }^{-}$，也就是${\alpha }^{-}<0^{\ast }$。

在$R^{+}$中定义乘法

  我们将正实数集定义为如下集合:
{ α ∈ R   ∣ α > 0 ∗ } \{\alpha \in R\ | \alpha > 0^*\} {α∈R ∣α>0∗}
记为$R^{+}$。于是，由定义可知，如果$\alpha \in R^{+}$，则必有$0\in \alpha$，因为如果$0\notin \alpha$，根据$R$性质2，则所有比0大的正有理数也不属于$\alpha$，这与$\alpha >0^{\ast }$是矛盾的。这也就是说$R^{+}$的任意元素$\alpha$一定包含所有非正有理数。由于$0\in \alpha$，根据$R$定义的条件3可知，必存在$p\in \alpha$且$p>0$。也就是说$R+$的任意元素$\alpha$一定包含有正有理数。

  对于任意$\alpha$，$\beta \in R^{+}$，我们令$A$为如下集合：
{ p ∈ Q ∣ 0 < p < a b ， 其 中 a ∈ α 且 a > 0 ， b ∈ β 且 b > 0 } \{p \in Q | 0 < p < ab，其中a \in \alpha且a > 0，b \in \beta且b > 0\} {p∈Q∣0<p<ab，其中a∈α且a>0，b∈β且b>0}
也就是说，$A$的元素是正有理数，对于$A$中的每个正有理数$p$，总存在$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，使得$p<ab$成立。由$R^{+}$的定义可知$\alpha$和$\beta$中必有正有理数，设分别为$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，于是有$0<\frac{ab}{2}<ab$，于是$\frac{ab}{2}\in A$，于是$A$不为空。

  再令$B$为如下集合：
{ p ∈ Q ∣ p = a b ， 其 中 a ∈ α 且 a > 0 ， b ∈ β 且 b > 0 } \{p \in Q | p = ab，其中a \in \alpha且a > 0，b \in \beta且b > 0\} {p∈Q∣p=ab，其中a∈α且a>0，b∈β且b>0}
也就是说，$B$的元素是正有理数，对于$B$中的每个正有理数$p$，总存在$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，使得$p=ab$成立。由$R^{+}$的定义可知$\alpha$和$\beta$中必有正有理数，设分别为$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，于是有$ab\in B$，于是$B$不为空。

  对于任意$q\in B$，有$q=ab$，其中$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，根据$R$定义的条件3可知，有$a^{\prime }\in \alpha$且$a<a^{\prime }$，$b^{\prime }\in \beta$且$b<b^{\prime }$，于是有$q=ab<a^{\prime }{b}^{\prime }$，于是$q\in A$。这也就是说$B\subset A$。

  对于任意$r\in A$，有$r<ab$，其中$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，于是有$\frac{r}{a}<b$，令$b^{\prime }=\frac{r}{a}$，根据$R$定义的条件2可知，有$b^{\prime }\in \beta$，又$r=a\frac{r}{a}=a{b}^{\prime }$，于是$r\in B$。这也就是说$A\subset B$。

  由上面推导可知，$A=B$，令$C$为如下所有非正有理数组成的集合：
{ p ∈ Q ∣ p ≤ 0 } \{p \in Q | p \leq 0\} {p∈Q∣p≤0}
令$A^{\prime }$为如下集合：
$$C\cup A$$
令$B^{\prime }$为如下集合：
$$C\cup B$$
于是，$A^{\prime }=B^{\prime }$，$A^{\prime }$或者$B^{\prime }$所表示的那个集合，就是$A$或者$B$所表示的那个由满足条件的正有理数组成的集合与所有非正有理数组成的集合$C$的并集，我们定义这个集合为$\alpha \beta$。也就是$\alpha \beta$中的正有理数元素同时具有$A$与$B$的定义中的性质。由$A$与$B$不为空可知，$\alpha \beta$中必存在正有理数。下面我们先来证明$\alpha \beta \in R$。

  由$\alpha \beta$的定义可知，$\alpha \beta \ne \varnothing$。取$a^{\prime }\in Q$且$a^{\prime }\notin \alpha$，$b^{\prime }\in Q$且$b^{\prime }\notin \beta$，根据$R$的性质1可知，对于任意$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，有$a<a^{\prime }$，$b<b^{\prime }$，于是有$ab<a^{\prime }b<a^{\prime }{b}^{\prime }$，根据$A$的定义可知，$a^{\prime }{b}^{\prime }\notin A$，又$a^{\prime }{b}^{\prime }>0$，于是$a^{\prime }{b}^{\prime }\notin C$，于是$a^{\prime }{b}^{\prime }\notin A^{\prime }$，也就是$a^{\prime }{b}^{\prime }\notin \alpha \beta$，于是$\alpha \beta \ne Q$。于是$\alpha \beta$符合$R$定义的条件1。

  任取$s\in \alpha \beta$，如果$s\in C$，任取$t\in Q$且$t<s$，根据$C$定义可知$t\in C$，于是$t\in \alpha \beta$。如果$s\in B$，根据$B$定义，则有$s=ab$，其中$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$。任取$t\in Q$且$t<s$，如果$t\le 0$，那么$t\in C$，于是$t\in \alpha \beta$。如果$t>0$，那么$\frac{t}{a}<\frac{s}{a}=b$，根据$R$定义的条件2可知$\frac{t}{a}\in \beta$，又$t=a\frac{t}{a}$，于是$t\in B$，于是$t\in B^{\prime }$，于是$t\in \alpha \beta$。于是$\alpha \beta$符合$R$定义的条件2。

  任取$s\in \alpha \beta$，如果$s\in C$，由于$\alpha \beta$中必存在正有理数，于是有$t\in \alpha \beta$且$t>0$，于是$s<t$。如果$s\in B$，根据$B$定义，则有$s=ab$，其中$a\in \alpha$且$a>0$，$b\in \beta$且$b>0$，根据$R$定义的条件3可取$a^{\prime }\in \alpha$且$a<a^{\prime }$，令$t=a^{\prime }b$，于是$t\in \alpha \beta$，于是$s=ab<a^{\prime }b=t$。于是$\alpha \beta$符合$R$定义的条件3。

  于是，我们证明了$\alpha \beta \in R$。从$\alpha \beta$的定义可知$\alpha \beta >0^{\ast }$，于是$\alpha \beta \in R^{+}$。于是我们可以定义$\alpha \beta$是$\alpha$与$\beta$的积。这样我们就定义了$R^{+}$中的乘法关系。

满足乘法公理

  这里取任意$\alpha$，$\beta$，$\gamma \in R^{+}$，下面我们来证明对于$R^{+}$中乘法的定义满足乘法公理。

交换律

  由$R^{+}$中乘法的定义可知，$\alpha \beta$与$\beta \alpha$是同一个集合，也就是
$$\alpha \beta =\beta \alpha$$

结合律

  令
G = { p ∈ Q ∣ p ≤ 0 } G = \{p \in Q | p \leq 0\} G={p∈Q∣p≤0}

  我们知道$\alpha \beta$是如下集合：
G ∪ { p ∈ Q ∣ p = a b ， 其 中 a ∈ α 且 a > 0 ， b ∈ β 且 b > 0 } G \cup \{p \in Q | p = ab，其中a \in \alpha且a > 0，b \in \beta且b > 0\} G∪{p∈Q∣p=ab，其中a∈α且a>0，b∈β且b>0}
记为$A$。

  于是$(\alpha \beta )\gamma$是如下集合：
G ∪ { p ∈ Q ∣ p = a b ， 其 中 a ∈ A 且 a > 0 ， b ∈ γ 且 b > 0 } G \cup \{p \in Q | p = ab，其中a \in A且a > 0，b \in \gamma且b > 0\} G∪{p∈Q∣p=ab，其中a∈A且a>0，b∈γ且b>0}
记为$B$。

  我们知道$\beta \gamma$是如下集合：
G ∪ { p ∈ Q ∣ p = a b ， 其 中 a ∈ β 且 a > 0 ， b ∈ γ 且 b > 0 } G \cup \{p \in Q | p = ab，其中a \in \beta且a > 0，b \in \gamma且b > 0\} G∪{p∈Q∣p=ab，其中a∈β且a>0，b∈γ且b>0}
记为$C$。

  于是$\alpha (\beta \gamma )$是如下集合：
G ∪ { p ∈ Q ∣ p = a b ， 其 中 a ∈ α 且 a > 0 ， b ∈ C 且 b > 0 } G \cup \{p \in Q | p = ab，其中a \in \alpha且a > 0，b \in C且b > 0\} G∪{p∈Q∣p=ab，其中a∈α且a>0，b∈C且b>0}
记为$D$。

  再令$E$为如下集合：
G ∪ { p ∈ Q ∣ p = a b c ， 其 中 a ∈ α 且 a > 0 ， b ∈ β 且 b > 0 ， c ∈ γ 且 c > 0 } G \cup \{p \in Q | p = abc，其中a \in \alpha且a > 0，b \in \beta且b > 0，c \in \gamma且c > 0\} G∪{p∈Q∣p=abc，其中a∈α且a>0，b∈β且b>0，c∈γ且c>0}

  由以上定义可知，$E\subset B$且$E\subset D$。任取$p\in B$，如果$p\in G$，则$p\in E$。如果$p\notin G$，则$p=ab$，其中，$a\in A$且$a>0$，$b\in \gamma$且$b>0$，于是有$a=cd$，其中，$c\in \alpha$且$c>0$，$d\in \beta$且$d>0$，于是有$p=cdb$，于是$p\in E$，于是$B\subset E$，于是$B=E$。任取$q\in D$，如果$q\in G$，则$q\in E$。如果$q\notin G$，则$q=ef$，其中，$e\in \alpha$且$e>0$，$f\in C$且$f>0$，于是有$f=gh$，其中，$g\in \beta$且$g>0$，$h\in \gamma$且$h>0$，于是有$q=egh$，于是$q\in E$，于是$D\subset E$，于是$D=E$。于是我们证明了$B=D$，也就是：
$$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$

乘法单位元

  我们将乘法单位元定义为所有的小于1的有理数组成的集合，记为$1^{\ast }$。

  现在我们来证明$1^{\ast }\in R$。由$1^{\ast }$定义可知$1^{\ast }\ne \varnothing$且$1^{\ast }\ne Q$，所以符合$R$定义的条件1。任取$p\in 1^{\ast }$，$q\in Q$且$q<p$，于是$q<p<1$，于是$q\in 1^{\ast }$，所以符合$R$定义的条件2。由于$p<\frac{1+p}{2}<1$，于是$\frac{1+p}{2}\in 1^{\ast }$，所以符合$R$定义的条件3。故得证。

  由$1^{\ast }$的定义可知$1^{\ast }>0^{\ast }$，于是$1^{\ast }\in R^{+}$。

  任取$r\in \alpha 1^{\ast }$，如果$r\le 0$，则$r\in \alpha$。如果$r>0$，则$r=ab$，其中，$a\in \alpha$且$a>0$，$b\in 1^{\ast }$且$b>0$，又由于$b<1$，于是有$r=ab<a$，根据$R$定义条件2可知$r\in \alpha$，于是$\alpha 1^{\ast }\subset \alpha$。

  任取$s\in \alpha$，如果$s\le 0$，则$r\in \alpha 1^{\ast }$。如果$s>0$，根据$R$定义条件3可取$t\in \alpha$且$s<t$，于是$0<\frac{s}{t}<1$，于是$\frac{s}{t}\in 1^{\ast }$，又$s=t\frac{s}{t}$，于是$s\in \alpha +0^{\ast }$，于是$\alpha \subset \alpha 1^{\ast }$。

  综合上面有：
$$\alpha 1^{\ast }=\alpha$$

乘法逆元

  令
G = { p ∈ Q ∣ p ≤ 0 } G = \{p \in Q | p \leq 0\} G={p∈Q∣p≤0}

  我们将$\alpha$的乘法逆元定义为如下集合：
G ∪ { p ∈ Q ∣ p > 0 ， 并 且 存 在 r ∈ Q 且 p < r ， 使 得 对 于 任 意 q ∈ α 且 q > 0 ， 都 有 q r < 1 } G \cup \{p \in Q | p > 0，并且存在r \in Q且p < r，使得对于任意q \in \alpha且q > 0，都有qr < 1\} G∪{p∈Q∣p>0，并且存在r∈Q且p<r，使得对于任意q∈α且q>0，都有qr<1}
记为${\alpha }^{-1}$。取$s\notin \alpha$，根据$R$的性质1可知，对于任意$q\in \alpha$且$q>0$，都有$q<s$，于是有$q\frac{1}{s}<1$，又$0<\frac{1}{s+1}<\frac{1}{s}$，于是$\frac{1}{s+1}\in {\alpha }^{-1}$。这也就是说$\alpha$的乘法逆元必包含有正有理数。

  下面我们来证明${\alpha }^{-1}\in R$。

  由${\alpha }^{-1}$定义可知${\alpha }^{-1}\ne \varnothing$。取$p\in \alpha$且$p>0$，由于对于任意$s\in Q$且$s>\frac{1}{p}$都有$sp>1$，所以$\frac{1}{p}\in Q$且$\frac{1}{p}\notin {\alpha }^{-1}$，所以${\alpha }^{-}\ne Q$。于是符合$R$定义的条件1。

  取$s\in {\alpha }^{-1}$，如果$s\le 0$，取$t\in Q$且$t<s$，则$t\in G$，则$t\in {\alpha }^{-1}$。如果$s>0$，则存在$r\in Q$且$s<r$，对于任意$u\in \alpha$且$u>0$都有$ru<1$。再取$t\in Q$且$t<s$，若$t\le 0$，则$t\in G$，则$t\in {\alpha }^{-1}$。若$t>0$，于是有$t<s<r$，于是$t\in {\alpha }^{-1}$。于是符合$R$定义的条件2。

  取$s\in {\alpha }^{-1}$，如果$s\le 0$，由于${\alpha }^{-1}$中必含有正有理数，设为$t$，于是有$t\in {\alpha }^{-1}$且$s<t$。如果$s>0$，则存在$r\in Q$且$s<r$，对于任意$u\in \alpha$且$u>0$都有$ru<1$，令$t=\frac{s+r}{2}$，可知$t\in Q$，由于$s<\frac{s+r}{2}<r$，于是$s<t<r$，于是$t\in {\alpha }^{-1}$。于是符合$R$定义的条件3。

  以上便证明了${\alpha }^{-1}\in R$。再由${\alpha }^{-1}$的定义以及${\alpha }^{-1}$中必含有正有理数可知${\alpha }^{-1}>0^{\ast }$，于是${\alpha }^{-1}\in R^{+}$。

  接着我们来证明$\alpha {\alpha }^{-1}=1^{\ast }$。

  任取$p\in \alpha {\alpha }^{-1}$，由${\alpha }^{-1}$的定义可知$p<1$，于是$p\in 1^{\ast }$，于是$\alpha {\alpha }^{-1}\subset 1^{\ast }$。

  任取$q\in 1^{\ast }$，如果$q\le 0$，根据$R^{+}$中乘法定义可知$q\in \alpha {\alpha }^{-1}$。如果$q>0$，于是$0<q<1$，于是$0<1-q<1$。取$p\in \alpha$且$p>0$，由于$p(1-q)<p$，于是$p(1-q)\in \alpha$。由于$p(1-q)>0$，由之前已经证明过的结论，我们知道存在整数$n$，使得$np(1-q)\in \alpha$且$(n+1)p(1-q)\notin \alpha$，记$np(1-q)$为$r$，记$(n+1)p(1-q)$为$r^{\prime }$，于是有$r^{\prime }-r=p(1-q)$。根据$R$性质1可知$p<r^{\prime }$，于是$p(1-q)<r^{\prime }(1-q)$，于是$r^{\prime }-r<r^{\prime }-r^{\prime }q$，于是$\frac{r}{q}>r^{\prime }$，根据$R$性质2可知$\frac{r}{q}\notin \alpha$。于是，根据$R$性质1可知，对于任意$s\in \alpha$且$s>0$，我们都有$s<\frac{r}{q}$，于是有$s\frac{q}{r}<1$，由于$r\in \alpha$，根据$R$定义的条件3可知，存在$t\in \alpha$且$r<t$，于是$\frac{q}{t}<\frac{q}{r}$，于是$\frac{q}{t}\in {\alpha }^{-1}$。又$q=t\frac{q}{t}$，于是$q\in \alpha {\alpha }^{-1}$。于是$1^{\ast }\subset \alpha {\alpha }^{-1}$。

  综上，我们证明了$\alpha {\alpha }^{-1}=1^{\ast }$。

满足乘法与序公理

  现在证明上面定义的乘法满足乘法与序公理：如果$\alpha$，$\beta \in R$，$\alpha >0^{\ast }$且$\beta >0^{\ast }$，那么$\alpha \beta >0^{\ast }$。

  由$R^{+}$中乘法的定义可知，上面乘法与序公理是成立的。

（由于平台对文章篇幅限制，此文分为上下两个部分，结尾部分请参阅《使用戴德金分割法从有理数域构造实数域（下）》）