从有理数构造实数

一、从有理数构造实数

下面的叙述中$\alpha 、\beta 、\gamma$代表分划，$p、q、r、s、p^{{}^{\prime }}、q^{{}^{\prime }}、r^{{}^{\prime }}、s^{{}^{\prime }}$都是有理数，$R$代表实数全集，$Q$代表有理数全集，$Z$代表整数全集，$N$代表正整数全集

1. 分划的定义

设满足下面三个条件的集合$\alpha$称为分划（注意：$p、q\in Q$,$Q$是有理数全集）

• $\alpha \subset Q,\alpha \ne Q,\alpha \ne \varnothing$（分划是有理数集的非空真子集）

• $p\in \alpha \Rightarrow \exists q>p,q\in \alpha$（表明分划中无最大元）

• $p\in \alpha ,q<p\Rightarrow q\in \alpha$ （比分划中元素小的有理数在该分划中）

可以得到下面两个有用的结论：

• $p\in \alpha ,q\notin \alpha \Rightarrow p<q$

• $p\notin \alpha ,p<q\Rightarrow q\notin \alpha$

2. 分划的全集是具有最小上界性的有序集

2.1 规定分划的有序关系为

• $\alpha ⊊\beta \iff \alpha <\beta$（分划满足传递性）
• $\alpha =\beta \iff \alpha =\beta$（第一个等号是集合关系,第二个等号是有序关系）

2.2 分划的全集$R$是有序集

• 分划满足下面三种关系的一个（注意：$\alpha 、\beta 、\gamma$代表分划）
  $\alpha <\beta \alpha =\beta \alpha >\beta$

  三种关系最多满足一个。首先分划必满足三种关系中的一个。若前两个（$\alpha <\beta 、\alpha =\beta$）中一个满足,则前述成立；若前两个不成立，则$\exists p\in \alpha ,p\notin \beta \Rightarrow \forall q\in \beta ,q<p\Rightarrow \beta ⊊\alpha \Rightarrow \alpha >\beta$

2.3 分划组成的有序全集$R$具有最小上界性

最小上界性即$R^{{}^{\prime }}\subset R,\forall \alpha \in R^{{}^{\prime }},\exists \beta \in R,\alpha <\beta \Rightarrow \exists \sup (R^{{}^{\prime }})\in R$

令 γ = { p ∣ p ∈ α , α ∈ R ′ } \gamma = \{ p|p \in \alpha, \alpha \in R^{'} \} γ={p∣p∈α,α∈R′}

• $\gamma$是分划，即$\gamma \in R$

  • $\gamma \ne \varnothing$
  • $\exists q\in \beta ,q\notin \gamma \Rightarrow \gamma \ne Q$

• $\gamma =\sup (R^{{}^{\prime }})$

  • $\forall \alpha \in R^{{}^{\prime }},\alpha \subset \gamma \Rightarrow \alpha ⩽\gamma$，即$S$是$R^{{}^{\prime }}$的上界。

  • 对于${\gamma }^{{}^{\prime }}<\gamma \Rightarrow \exists r\in \gamma ,r\notin {\gamma }^{{}^{\prime }}\Rightarrow \forall r^{{}^{\prime }}\in {\gamma }^{{}^{\prime }},r>r^{{}^{\prime }}\Rightarrow \exists \alpha \subseteq R^{{}^{\prime }},r\in \alpha ,\alpha >{\gamma }^{{}^{\prime }}\Rightarrow \exists \alpha \subseteq R^{{}^{\prime }},{\gamma }^{{}^{\prime }}<\alpha ⩽\gamma$，即${\gamma }^{{}^{\prime }}$不是$R^{{}^{\prime }}$的上界

3. 分划的加法满足加法公理

3.1 规定分划的加法为

​ α + β = { p + q ∣ p ∈ α , q ∈ β } \alpha + \beta = \{ p + q|p \in \alpha ,q \in \beta \} α+β={p+q∣p∈α,q∈β}

3.2 分别证明分划加法满足五条加法公理

• 加法封闭,即证$\alpha +\beta$是分划

  • 设$p\in \alpha 、q\in \beta$，则$p+q\in \alpha +\beta$，即$\alpha +\beta \ne \varnothing$。设$p^{{}^{\prime }}\notin \alpha 、q^{{}^{\prime }}\notin \beta$,则$\forall p\in \alpha ,p^{{}^{\prime }}>p,\forall q<\alpha ,q^{{}^{\prime }}>q\Rightarrow \forall p\in \alpha 、q\in \beta ,p+q<p^{{}^{\prime }}+q^{{}^{\prime }}\Rightarrow p^{{}^{\prime }}+q^{{}^{\prime }}\notin \alpha +\beta$,即$\alpha +\beta \ne Q$。（非空真子集）

  • 设$p+q\in \alpha +\beta$，则$\exists p\in \alpha 、q\in \beta$，另外$\exists p^{{}^{\prime }}\in \alpha ,p^{{}^{\prime }}>p,\exists q^{{}^{\prime }}\in \beta ,q^{{}^{\prime }}>q\Rightarrow p^{{}^{\prime }}+q^{{}^{\prime }}\in \alpha +\beta$,$p+q<p^{{}^{\prime }}+q^{{}^{\prime }}$。（无最大元）

  • 设$r=p+q\in \alpha +\beta$，则$\exists p\in \alpha 、q\in \beta$，另设$r^{\prime }<r,r^{{}^{\prime }}=r-(r-r^{{}^{\prime }})=p+q-(r-r^{{}^{\prime }}),p^{{}^{\prime }}=p,q^{{}^{\prime }}=q-(r-r^{{}^{\prime }})<q$，那么$p^{{}^{\prime }}\in \alpha ,q^{{}^{\prime }}\in \beta ,r^{{}^{\prime }}=p^{{}^{\prime }}+q^{{}^{\prime }}\in \alpha +\beta$。（比分划中元素小的有理数在该分划中）

• 加法交换律，显然成立

• 加法结合律，显然成立

• 加法存在零元，规定 0 ∗ = { p ∣ p ∈ Q , p < 0 } 0^{\ast} = \{ p|p \in Q,p < 0 \} 0∗={p∣p∈Q,p<0}，下面证明$0^{\ast }$为零元
  设$p\in \alpha 、q\in 0^{\ast }$，则$q<0,p+q<p\Rightarrow p+q\in \alpha$,即$\alpha +0^{\ast }\subseteq \alpha$；

  对于$p\in \alpha$有$\exists r\in \alpha ,r>p$，那么$p-r<0\Rightarrow p-r\in 0^{\ast }$，还有$p=(p-r)+r$。综合前述三条，可得$\alpha \subseteq \alpha +0^{\ast }$，即$\alpha =\alpha +0^{\ast }$。

• 加法存在逆元，设 α ′ = { p ∣ ∃ r > 0 , − p − r ∉ α } \alpha^{'} = \{ p| \exists r > 0,- p - r \not\in\alpha \} α′={p∣∃r>0,−p−r∈α}，下面证明分划$\alpha$的逆元为${\alpha }^{{}^{\prime }}$

• 先证${\alpha }^{{}^{\prime }}$为分划

  • 设$q\notin \alpha ,$则$q+1\notin \alpha$，令$p=-q-1,r=1$，则$-p-r=q\notin \alpha \Rightarrow p\in {\alpha }^{{}^{\prime }}$,即${\alpha }^{{}^{\prime }}$不为空；设$q\in \alpha$，则$q\in \alpha$，令$p=-q$，则$\forall r>0,-p-r=q-r<q\Rightarrow -p-r\in {\alpha }^{{}^{\prime }}$，即$-p-r\notin {\alpha }^{{}^{\prime }}$，${\alpha }^{{}^{\prime }}$是Q的真子集（非空真子集）

  • $p\in {\alpha }^{{}^{\prime }}\Rightarrow \exists r>0,-p-r\notin \alpha$，将$r$分成两个$\frac{r}{2}$，令$p^{{}^{\prime }}=p+\frac{r}{2}、r^{{}^{\prime }}=\frac{r}{2}$，那么$-p^{{}^{\prime }}-r^{{}^{\prime }}=-p-r\notin \alpha \Rightarrow p^{{}^{\prime }}\in {\alpha }^{{}^{\prime }}$，也就是说$p\in {\alpha }^{{}^{\prime }}\Rightarrow \exists p^{{}^{\prime }}\in {\alpha }^{{}^{\prime }},p^{{}^{\prime }}>p。$（无最大元）

  • $p\in {\alpha }^{{}^{\prime }}\Rightarrow \exists r>0,-p-r\notin \alpha$，设$q<p$，那么$-q-r>-p-r$可得$-q-r\notin \alpha$,即$q\in {\alpha }^{{}^{\prime }}$（比分划中元素小的有理数在该分划中）

• 再证${\alpha }^{{}^{\prime }}$为$\alpha$的逆元，即${\alpha }^{{}^{\prime }}+\alpha =0^{\ast }$

  • ${\alpha }^{{}^{\prime }}+\alpha \subseteq 0^{\ast }$

    设$p\in {\alpha }^{{}^{\prime }}\Rightarrow \exists r>0,-p-r\notin \alpha$，再设$q\in \alpha$,那么$-p-r>q\Rightarrow p+q<-r<0\Rightarrow p+q\in 0^{\ast }$

  • $0^{\ast }\subseteq {\alpha }^{{}^{\prime }}+\alpha$

    设$w\in 0^{\ast },v=-\frac{w}{2}$。由有理数的阿基米德性可知，$\exists n\in Z,nv\in \alpha ,(n+1)v\notin \alpha$。令$p=nv、q=-nv、r=v$可得$p\in \alpha ,-q-r=nv+v\notin \alpha \Rightarrow q\in {\alpha }^{{}^{\prime }}$，而且$p+q=-2v=w\in 0^{\ast }$

4. 加法有序：$\beta <\gamma \Rightarrow \alpha +\beta <\alpha +\gamma$

由加法的定义显然有$\alpha +\beta \subset \alpha +\gamma$。若$\alpha +\beta =\alpha +\gamma$，利用消去律（加法存在逆元）可得$\beta =\gamma$，矛盾。

由此证明还可得到一个有用的结论：$\alpha <0^{\ast }\Rightarrow \alpha +0^{\ast }<\alpha +(-\alpha )\Rightarrow -\alpha >0^{\ast }$

5. 分划的乘法法满足乘法公理

5.1 首先限定乘法为在$R$的子集$R^{\ast }$上的运算

规定 α β = { r ∣ r ⩽ p q , p ∈ α , p > 0 , q ∈ β , q > 0 , α 、 β ∈ R ∗ } \alpha \beta = \{ r|r \leqslant pq,p \in \alpha ,p > 0,q \in \beta ,q > 0, \alpha 、 \beta \in R^{\ast} \} αβ={r∣r⩽pq,p∈α,p>0,q∈β,q>0,α、β∈R∗},其中 R ∗ = { α ∣ α ∈ R , α > 0 ∗ } R^{\ast} = \{ \alpha | \alpha \in R, \alpha > 0^{\ast} \} R∗={α∣α∈R,α>0∗}

• 乘法在$R^{\ast }$上封闭，下面证明$\alpha \beta$是分划

  • 设$p\in \alpha 、q\in \beta 、p>0、q>0$，则$pq\in \alpha \beta$，即$r=\alpha \beta \ne \varnothing$。

    $p^{{}^{\prime }}\notin \alpha 、q^{{}^{\prime }}\notin \beta$,则$\forall p\in \alpha ,p^{{}^{\prime }}>p,\forall q<\alpha ,q^{{}^{\prime }}>q\Rightarrow \forall p\in \alpha 、q\in \beta ,pq<p^{{}^{\prime }}{q}^{{}^{\prime }}\Rightarrow r^{{}^{\prime }}=p^{{}^{\prime }}{q}^{{}^{\prime }}\notin \alpha \beta$,即$\alpha \beta \ne Q$。（非空真子集）

  • 设$r\in \alpha \beta$，则$\exists p\in \alpha 、q\in \beta 、p>0、q>0,r⩽pq$，另外$\exists p^{{}^{\prime }}\in \alpha ,p^{{}^{\prime }}>p,\exists q^{{}^{\prime }}\in \beta ,q^{{}^{\prime }}>q$，令$r^{{}^{\prime }}=p^{{}^{\prime }}{q}^{{}^{\prime }}\in \alpha \beta$,$r⩽pq<p^{{}^{\prime }}{q}^{{}^{\prime }}=r^{{}^{\prime }}$。（无最大元）

  • 设$r\in \alpha \beta$，则$\exists p\in \alpha 、q\in \beta 、p>0、q>0,r⩽pq$，另设$r^{\prime }<r,r^{{}^{\prime }}<r\frac{r^{{}^{\prime }}}{r}⩽pq\frac{r^{{}^{\prime }}}{r}$，令$p^{{}^{\prime }}=p,q^{{}^{\prime }}=q\frac{r^{{}^{\prime }}}{r}<q$那么$p^{{}^{\prime }}\in \alpha ,q^{{}^{\prime }}\in \beta ,p^{{}^{\prime }}>0、q^{{}^{\prime }}>0,r^{{}^{\prime }}<p^{{}^{\prime }}{q}^{{}^{\prime }}\in \alpha \beta$。（比分划中元素小的有理数在该分划中）

• 乘法交换律，显然成立。

• 乘法结合律，显然成立。

• 乘法存在单位元,规定 1 ∗ = { p ∣ p < 1 } 1^{\ast} = \{ p|p < 1 \} 1∗={p∣p<1}。$1^{\ast }$显然是个分划，下面证明$1^{\ast }$是单位元。

  • $1^{\ast }\alpha \subseteq \alpha$

    设$r\in 1^{\ast }\alpha$，则
    $\exists p\in \alpha 、q\in 1^{\ast }、p>0、q>0,r⩽pq$

    显然$pq<p\Rightarrow r<p\Rightarrow r\in \alpha$，即$1^{\ast }\alpha \subseteq \alpha$。

  • $\alpha \subseteq 1^{\ast }\alpha$

    设$p\in \alpha 、p>0$，那么$\exists p^{{}^{\prime }}>p,p^{{}^{\prime }}\in \alpha$，于是$p=p^{{}^{\prime }}\frac{p}{p^{{}^{\prime }}}$，显然$\frac{p}{p^{{}^{\prime }}}<1\Rightarrow \frac{p}{p^{{}^{\prime }}}\in 1^{\ast }$，即$p=p^{{}^{\prime }}\frac{p}{p^{{}^{\prime }}}\in 1^{\ast }\alpha$，故$\alpha \subseteq 1^{\ast }\alpha$。

• 乘法存在逆元，设${\alpha }^{{}^{\prime }}=\left\{s|s⩽p,p>0,\exists r>0,\frac{1}{p+r}\notin \alpha \right\}$,下面证明${\alpha }^{{}^{\prime }}$为${\alpha }^{}$的逆元。

  • 先证明${\alpha }^{{}^{\prime }}$是分划

    • 设$q\notin \alpha \Rightarrow q+1\notin \alpha$，显然有$q>0$，再设
      $p=\frac{1}{q+1},r=\frac{1}{q}-\frac{1}{q+1}>0\Rightarrow \frac{1}{p+r}=q\notin \alpha$

      故$p=\frac{1}{q}\in {\alpha }^{{}^{\prime }}\Rightarrow {\alpha }^{{}^{\prime }}\ne \varnothing$； ^{}

      设$q\in \alpha ,q>0,p^{{}^{\prime }}=\frac{1}{q}$,那么
      $\forall p⩾p^{{}^{\prime }},\forall r>0,\frac{1}{p+r}⩽\frac{1}{p^{\prime }+r}<\frac{1}{p^{\prime }}=q\in \alpha$

      即$\forall p⩾p^{{}^{\prime }}\notin {\alpha }^{{}^{\prime }}$。（非空真子集）

    • 设$s\in {\alpha }^{{}^{\prime }}$，那么

      $\exists p>0,s⩽p,\exists r>0,\frac{1}{p+r}\notin \alpha$

      令$p^{{}^{\prime }}=p+\frac{r}{2},r^{{}^{\prime }}=\frac{1}{2}r\Rightarrow \frac{1}{p^{{}^{\prime }}+r^{{}^{\prime }}}=\frac{1}{p+r}\notin \alpha$

      故$s⩽p<p^{{}^{\prime }}=p+\frac{r}{2}\in {\alpha }^{{}^{\prime }}$。（无最大元）

    • 设$s^{\prime }<r\Rightarrow s^{\prime }<p$，即$r^{\prime }\in {\alpha }^{{}^{\prime }}$,（比分划中元素小的有理数在该分划中）

  • 再证${\alpha }^{{}^{\prime }}$是逆元,即${\alpha }^{{}^{\prime }}\alpha =1^{\ast }$

    • ${\alpha }^{{}^{\prime }}\alpha \subseteq 1^{\ast }$

      设$s^{{}^{\prime }}\in {\alpha }^{{}^{\prime }},s^{{}^{\prime }}>0$,那么

      $\exists p>0,s^{{}^{\prime }}⩽p,\exists r>0,\frac{1}{p+r}\notin \alpha$

      再设$s\in \alpha ,s>0$,那么
      $\frac{1}{p+r}>s\Rightarrow sp+sr<1\Rightarrow s{s}^{\prime }⩽sp<sp+sr<1$

      即${\alpha }^{{}^{\prime }}\alpha \subseteq 1^{\ast }$。

    • $1^{\ast }\subseteq {\alpha }^{{}^{\prime }}\alpha$

      设$w\in 1^{\ast },v^{}=\frac{1+w}{2}$,显然有$0<w<v^2<1<v^{-1}$。由于

      $\alpha >0^{\ast }\Rightarrow \exists p\in \alpha ,q\notin \alpha ,0<p<q$

      结合有理数的阿基米德性,必然有

      $\exists n\in N^{\ast },np(v^{-1}-1)v>q-p\Rightarrow pnp(v^{-1}-1)>q\Rightarrow p[1+n(v^{-1}-1)]>q$

      由伯努利不等式可得

      $[1+(v^{-1}-1){]}^n>1+n(v^{-1}-1)$

      $\Rightarrow p{v}^{-n}>p[1+n(v^{-1}-1)]>q$

      $\Rightarrow 0<p<q<p{v}^{-n}\notin \alpha$

      通过数学归纳法可知，必然有

      $\exists 0⩽m<n,p{v}^{-m}\in \alpha ,p{v}^{-m-1}\notin \alpha ,p{v}^{-m-2}\notin \alpha$

      令$p^{{}^{\prime }}=p^{-1}{v}^{m+2},r=p^{-1}{v}^{m+1}-p^{-1}{v}^{m+2}>0$，那么

      $\frac{1}{p^{{}^{\prime }}+r}=p{v}^{-m-1}\notin \alpha \Rightarrow p^{{}^{\prime }}=p^{-1}{v}^{m+2}\in {\alpha }^{{}^{\prime }}\Rightarrow p^{{}^{\prime }}(p{v}^{-m})=v^2\in {\alpha }^{{}^{\prime }}\alpha$

      而$w<v^2$，由分划的特性可得$w\in {\alpha }^{{}^{\prime }}\alpha$。

注意：下面记${\alpha }^{}$的逆元为$\frac{1}{\alpha }$。

5.2 规定$0^{\ast }\alpha =\alpha 0^{\ast }=0^{\ast }$,其中$\alpha \in R^{\ast }$

下面证明 R ∗ ∪ { 0 ∗ } R^{\ast} \cup \{ 0^{\ast} \} R∗∪{0∗}仍然满足乘法公理（2-1）乘法封闭，显然成立

• 乘法交换律，显然成立
• 乘法结合律，显然成立
• 乘法存在单位元,$1^{\ast }\times 0^{\ast }=0^{\ast }$，显然成立
• $0^{\ast }$不需要有逆元

5.3 负数参与的乘法运算

若$\alpha <0^{\ast }$时，称$\alpha$为负数，规定当参与乘法运算的实数含有负数时，运算方式如下

$$\alpha \beta =\{\begin{array}{cc}(-\alpha )(-\beta )& \alpha <0^{\ast },\beta <0^{\ast }\\ -\left[(-\alpha )\beta \right]& \alpha <0^{\ast },\beta >0^{\ast }\\ -\left[\alpha (-\beta )\right]& \alpha >0^{\ast },\beta <0^{\ast }\end{array}$$

• 乘法封闭，显然成立

• 乘法交换律，显然成立

• 乘法结合律，显然成立

• 乘法存在单位元，显然成立

• 乘法存在逆元，负数$\alpha$逆元是$\frac{1}{\alpha }=-\frac{1}{-\alpha }$，因为
  $\alpha \left(-\frac{1}{-\alpha }\right)=(-a)\left(\frac{1}{-\alpha }\right)=1^{\ast }$

6. 分划的加法运算和乘法运算满足分配律

• 首先$R^{\ast }$上的运算满足分配律

  • $r>0,r\in \alpha +\beta \Rightarrow \exists p>0,p\in \alpha ,\exists q>0,q\in \beta ,p+q=r$
    因为$r\in \alpha +\beta \Rightarrow \exists p^{{}^{\prime }}\in \alpha ,\exists q^{{}^{\prime }}\in \beta ,p^{{}^{\prime }}+q^{{}^{\prime }}=r$，又因为$r>0$，故而$p^{{}^{\prime }}、q^{{}^{\prime }}$中必至少有一个为正有理数，不妨假定$p^{{}^{\prime }}>0,p^{{}^{\prime }}>q^{{}^{\prime }}$。设$q^{{}^{\prime \prime }}\in {\beta }^{{}^{\prime }},q^{{}^{\prime \prime }}>0$，另外 $r^{{}^{\prime }}=\min \left\{q^{{}^{\prime \prime }},\frac{r}{2}\right\}$，令$p=p^{{}^{\prime }}+q^{{}^{\prime }}-r^{{}^{\prime }},q=r^{{}^{\prime }}\Rightarrow p>0,q>0\Rightarrow p+q=p^{{}^{\prime }}+q^{{}^{\prime }}=r$。

  • $\alpha 、\beta 、\gamma \in R^{\ast },\gamma (\alpha +\beta )=\gamma \alpha +\gamma \beta$

    • $\gamma (\alpha +\beta )\subseteq \gamma \alpha +\gamma \beta$
      $s\in \gamma (\alpha +\beta )\Rightarrow \exists s^{{}^{\prime }}>0,s=r{r}^{{}^{\prime }},r\in \gamma ,r>0,r^{{}^{\prime }}\in \alpha +\beta \Rightarrow \exists p>0,p\in \alpha ,\exists q>0,q\in \beta ,p+q=r\Rightarrow s=r(p+q)=rp+rq\Rightarrow s\in \gamma \alpha +\gamma \beta \Rightarrow \gamma (\alpha +\beta )\in \gamma \alpha +\gamma \beta$

    • $\gamma \alpha +\gamma \beta \subseteq \gamma (\alpha +\beta )$

      $$s\in \gamma \alpha +\gamma \beta \Rightarrow \exists p>0,p\in \gamma \alpha ,\exists q>0,q\in \gamma \beta ,p+q=s\Rightarrow \exists r_1>0,r_1\in \gamma ,\exists r_2>0,r_2\in \gamma ,\frac{p}{r_1}\in \alpha ,\frac{q}{r_2}\in \beta$$

      令 r = m a x { r 1 , r 2 } r = {max}\left\{ r_{1},r_{2} \right\} r=max{r1​,r2​}，那么有

      $$s\in \gamma \alpha +\gamma \beta \Rightarrow \frac{p}{r}\in \alpha ,\frac{q}{r}\in \beta \Rightarrow s=p+q=r\left(\frac{p}{r}+\frac{q}{r}\right)=r\left(\frac{p+q}{r}\right)\Rightarrow \gamma \alpha +\gamma \beta \subseteq \gamma (\alpha +\beta )$$

• R ∗ ∪ { 0 ∗ } R^{\ast} \cup \{ 0^{\ast} \} R∗∪{0∗}满足分配律，显然成立

• $\alpha 、\beta 、\gamma \in R,\gamma (\alpha +\beta )=\gamma \beta +\gamma \alpha$

  • 有$0^{\ast }$参与运算时，分配律显然成立

  • $\gamma >0^{\ast },\alpha >0^{\ast },\beta <0^{\ast },\alpha +\beta >0^{\ast }$
    原分配律即证$\gamma (\alpha +\beta )-\gamma \beta =\gamma \alpha$也就是$\gamma (\alpha +\beta )+\gamma (-\beta )=\gamma \alpha$，由$R^{\ast }$上的分配律可知显然成立

  • $\gamma >0^{\ast },\alpha >0^{\ast },\beta <0^{\ast },\alpha +\beta <0^{\ast }$
    原分配律即$\gamma (\alpha +\beta )=-\gamma [-(\alpha +\beta )]=-\gamma [(-\alpha )+(-\beta )]=\gamma \beta +\gamma \alpha$

  • $\gamma <0^{\ast }$

    原分配律即$\gamma (\alpha +\beta )=-[-\gamma (\alpha +\beta )]=-[(-\gamma )\alpha +(-\gamma )\beta ]=\gamma \beta +\gamma \alpha$

7. 乘法有序：$\alpha <\beta ,\gamma >0^{\ast }\Rightarrow \alpha \gamma <\beta \gamma$

由乘法分配律可证明

$R$是具有最小上界性的有序域的证明全部完成

二、有理数的运算结果与在$R$上一致

定义$r\in Q$在$R$上对应 r ∗ = { p ∣ p < r } r^{\ast} = \{ p|p < r \} r∗={p∣p<r}

• $r^{\ast }+s^{\ast }=(r+s{)}^{\ast }$
  $p\in r^{\ast }+s^{\ast }\Rightarrow \exists r^{{}^{\prime }}<r、s^{{}^{\prime }}<s,p=r^{{}^{\prime }}+s^{{}^{\prime }}\Rightarrow p<r+s\Rightarrow p\in (r+s{)}^{\ast }\Rightarrow r^{\ast }+s^{\ast }\subseteq (r+s{)}^{\ast }$

  $p\in (r+s{)}^{\ast }\Rightarrow p<r+s$，令$r^{{}^{\prime }}=r-\frac{r+s-p}{2},s^{{}^{\prime }}=s-\frac{r+s-p}{2}$，那么$r^{{}^{\prime }}\in r^{\ast },s^{{}^{\prime }}\in s^{\ast },r^{{}^{\prime }}+s^{{}^{\prime }}=p\Rightarrow p\in r^{\ast }+s^{\ast }\Rightarrow (r+s{)}^{\ast }\subseteq r^{\ast }+s^{\ast }$

• $r^{\ast }{s}^{\ast }=(rs{)}^{\ast }$

  • 有$0^{\ast }$参与运算时,显然成立

  • $r^{\ast }>0^{\ast },s^{\ast }>0^{\ast }$

    $p\in r^{\ast }{s}^{\ast }\Rightarrow \exists 0<r^{{}^{\prime }}<r、0<s^{{}^{\prime }}<s,p⩽r^{{}^{\prime }}{s}^{{}^{\prime }}\Rightarrow p<rs\Rightarrow p\in (rs{)}^{\ast }\Rightarrow r^{\ast }{s}^{\ast }\subseteq (rs{)}^{\ast }$

    $p\in (rs{)}^{\ast }\Rightarrow p<rs$。设$s^{{}^{\prime }}=\frac{\frac{p}{r}+s}{2},r^{{}^{\prime }}=\frac{p}{s^{{}^{\prime }}}\Rightarrow 0<r^{{}^{\prime }}<r、0<s^{{}^{\prime }}<s\Rightarrow r^{{}^{\prime }}\in r^{\ast },s^{{}^{\prime }}\in s^{\ast }\Rightarrow p⩽r^{{}^{\prime }}{s}^{{}^{\prime }}\Rightarrow p\in (rs{)}^{\ast }\Rightarrow (rs{)}^{\ast }\subseteq r^{\ast }{s}^{\ast }$

  • $r^{\ast }=-(-r{)}^{\ast }$
    可通过前面对加法的逆元验证成立

  • $r^{\ast }<0^{\ast },s^{\ast }>0^{\ast }$
    $r^{\ast }{s}^{\ast }=[-(-r^{}{)}^{\ast }]s^{\ast }=-[(-r^{}{)}^{\ast }{s}^{\ast }]=-(-rs{)}^{\ast }=(rs{)}^{\ast }$

  • $r^{\ast }>0^{\ast },s^{\ast }<0^{\ast }$
    由乘法交换律可知显然成立

  • $r^{\ast }<0^{\ast },s^{\ast }<0^{\ast }$
    $r^{\ast }{s}^{\ast }=[-(-r^{}{)}^{\ast }][-(-s^{}{)}^{\ast }]=[(-r^{}{)}^{\ast }(-s{)}^{\ast }]=((-r)\ast (-s){)}^{\ast }=(r\ast s{)}^{\ast }$

  • $r^{\ast }<s^{\ast }\iff r<s$
    由真子集的关系以及分划的定义,显然成立