2.1 实数集公理系统

函数是分析学研究的主要对象之一。为了研究函数的各种性质，必须给出实数集的精确定义，因为函数作用在实数集上。

数学中的数是极为抽象但又极为基础的对象。关于数的理论是一门丰富的独立课程。在本节中，作者主要罗列了有关实数的一些基本结论。

实数集的定义

如果以下四组条件成立，则称集合 $\mathbb{R}$ 为实数集，这些条件称为实数公理系统。

加法公理

定义了一个映射（加法运算）$\oplus :\mathbb{R}\times \mathbb{R}\to \mathbb{R}$ , 使得 $\mathbb{R}$ 中元素 $x,y$ 的每个序偶 $(x,y)$ 都与某元素 $x\oplus y\in \mathbb{R}$ 相对应，后者称为 $x$ 与 $y$ 的和，并且有以下条件成立：

$1_{\oplus }$ 存在零元素 存在一个零元 $0$ , 对于任何的 $x\in \mathbb{R}$ , 都有 $x\oplus 0=0\oplus x=x$ .

$2_{\oplus }$ 存在相反元素 对于任何元素 $x\in \mathbb{R}$ , 都存在一个 $-x\in \mathbb{R}$ , 称为 $x$ 的相反元素，它满足 $x\oplus (-x)=(-x)\oplus x=0$ .

$3_{\oplus }$ 结合律 $\mathbb{R}$ 中的任何元素 $x,y,z$ 满足 $x\oplus (y\oplus z)=(x\oplus y)\oplus z$ .

$4_{\oplus }$ 交换律 $\mathbb{R}$ 的任何元素 $x,y$ 满足 $x\oplus y=y\oplus x$

如果在某集合 $G$ 上定义了满足公理 $1_{\oplus },2_{\oplus },3_{\oplus }$ 的运算 , 我们就说在 $G$ 上给定了群结构，即 $G$ 是群 .

如果称该运算为加法，就称这个群为加法群 . 如果在此基础上 ，$4_{\oplus }$ 也满足，则称这个群为交换群或阿贝尔群 .

于是，$\mathbb{R}$ 是加法阿贝尔群 .

乘法公理

定义了一个映射 (乘法运算) $\otimes :\mathbb{R}\times \mathbb{R}\to \mathbb{R}$ , 使得 $\mathbb{R}$ 中元素 $x,y$ 的每个序偶 $(x,y)$ 都与某元素 $x\otimes y\in \mathbb{R}$ 相对应，后者称为 $x$ 与 $y$ 的积，并且有以下条件成立：

$1_{\otimes }$ 存在单位元素 存在一个单位元素 1 ∈ R − { 0 } 1\in \mathbb{R}-\{0\} 1∈R−{0} , 对于任何的 $x\in \mathbb{R}$ , 都有 $x\otimes 1=1\otimes x=x$ .

$2_{\otimes }$ 存在逆元素 对于任何元素 $x\in \mathbb{R}$ , 都存在一个 $x^{-1}\in \mathbb{R}$ , 称为 $x$ 的逆元素，它满足 $x\otimes (-x)=(-x)\otimes x=1$ .

$3_{\otimes }$ 结合律 $\mathbb{R}$ 中的任何元素 $x,y,z$ 满足 $x\otimes (y\otimes z)=(x\otimes y)\otimes z$ .

$4_{\otimes }$ 交换律 $\mathbb{R}$ 的任何元素 $x,y$ 满足 $x\otimes y=y\otimes x$ .

集合 1 ∈ R − { 0 } 1\in \mathbb{R}-\{0\} 1∈R−{0} 相对于乘法运算是乘法群 .

加法与乘法的联系公理

乘法相对于加法满足分配律，即 $\forall x,y,z\in \mathbb{R}$ , $(x\oplus y)\otimes z=(x\otimes z)\oplus (y\otimes z)$

根据乘法的交换律，还有 $x\otimes (y\oplus z)=(x\otimes y)\oplus (x\otimes z)$

如果在某集合 $G$ 上定义了满足上述全部公理的两种运算，则称 $G$ 为代数域 ，简称域

---

序公理

$\mathbb{R}$ 的元素之间存在关系 $\le$ , 即对于 $\mathbb{R}$ 中的任何两个元素，可以确定 $x\le y$ 是否成立 . 这时，需要满足以下条件：

$0_{\le }$ 自反性 $\forall x\in \mathbb{R}(x\le x)$

$1_{\le }$ 反对称性 $(x\le y)\wedge (y\le x)\Rightarrow x=y$

$2_{\le }$ 传递性 $(x\le y)\wedge (y\le z)\Rightarrow (x\le z)$

$3_{\le }$ 可比性 $\forall x,y\in \mathbb{R}(x\le y)\vee (y\le x)$

$\mathbb{R}$ 中的关系 $\le$ 称为不等关系 .

满足 $0_{\le },1_{\le },2_{\le }$ ，称为偏序集 . 进一步满足 $3_{\le }$ 的，称为线性序集 .

实数集 $\mathbb{R}$ 是线性序集 .

加法与序关系的联系公理

$\mathbb{R}$ 中的任何元素 $x,y,z$ 满足 $(x\le y)\Rightarrow (x\oplus z\le y\oplus z)$ .

乘法与序关系的联系公理

$\mathbb{R}$ 中的任何元素 $x,y$ 满足 $(0\le x)\wedge (0\le y)\Rightarrow (0\le x\otimes y)$

完备性/连续性公理

如果 $X$ 与 $Y$ 是 $\mathbb{R}$ 的非空子集，并且对于任何元素 $x\in X$ , $y\in Y$ , 都有 $x\le y$ , 则存在 $c\in \mathbb{R}$ , 使得对于任何元素 $x\in X$ 和 $y\in Y$ 都有 $x\le c\le y$ .

实数模型

满足以上所有公理的集合 $\mathbb{R}$ 是实数的一种表示，即通常所说的实数模型 .

可以出以上公理推导出很多实数的其他性质 .

对于任何抽象公理系统，应该首先考虑两个问题：

• 存在性 公理是否相容？具体的说，满足系统中所有公理的集合是否存在？这称之为公理系统的无矛盾性问题
• 唯一性 公理系统是否唯一地定义了一个数学对象？从逻辑学的角度，该公理系统是否是范畴的？

唯一性的含义是：

假设有两套独立建设的满足公理系统的实数模型 ${\mathbb{R}}_A$ 和 ${\mathbb{R}}_B$ ，则在 ${\mathbb{R}}_A$ 和 ${\mathbb{R}}_B$ 之间可以建立保持算数运算与序关系的双射 $f:{\mathbb{R}}_A\to {\mathbb{R}}_B$ , 它满足

• $f(x\oplus y)=f(x)\oplus f(y)$
• $f(x\otimes y)=f(x)\otimes f(y)$
• $x\le y\iff f(x)\le f(y)$

在数学观点下，这时 ${\mathbb{R}}_A$ 和 ${\mathbb{R}}_B$ 只是实数的不同的完全等价的表示模型（例如，$R_A$ 为十进制无穷小数，$R_B$ 为数轴上的点）. 称之为同构表示 . 称映射 $f$ 为同构映射 .

上面的两个问题都是具有肯定答案的，但证明过程比较复杂 . 在后面的章节里会涉及 .

实数的某些一般的代数性质

加法公理的推论

在实数集中只由唯一的零元素

证明：

如果 $0_1$ 和 $0_2$ 都是 $\mathbb{R}$ 的零元素 . 根据零元素的定义得 $0_1=0_1\oplus 0_2=0_2$

在实数集中，每个元素的相反元素唯一

证明：

假设 $x_1$ 和 $x_2$ 都是 $x$ 的相反元素 ，则有 $x_1=x_1\oplus 0=x_1\oplus (x\oplus x_2)=(x_1\oplus x)\oplus x_2=0\oplus x_2=x_2$

方程 $a\oplus x=b$ 在 $\mathbb{R}$ 中有唯一解 $x=b\oplus (-a)$ .

证明：

$a$ 有唯一的相反元素 $-a$ .

$a\oplus x=b\iff -a\oplus a\oplus x=-a\oplus b\iff x=b\oplus (-a)$

表达式 $b\oplus (-a)$ 可以简写为 $b-a$ . 这就是减法的来源 .

乘法公理的推论

在实数集中只有唯一的单位元素

每个实数 $x\ne 0$ 只有唯一的逆元素 $x^{-1}$

方程 $a\otimes x=b$ 在 a ∈ R − { 0 } a\in \mathbb{R}-\{0\} a∈R−{0} 时有唯一解 $x=b\otimes a^{-1}$

证明过程类似加法公理的推论

$b\otimes a^{-1}$ 可以简写为 $b÷a$ . 这就是除法的来源 .

加法与乘法的联系公理的推论

对于任何的 $x\in \mathbb{R}$ , 有 $x\otimes 0=0\otimes x=0$

证明：

$x\otimes 0=x\otimes (0\oplus 0)=(x\otimes 0)\oplus (x\otimes 0)\Rightarrow x\otimes 0=(x\otimes 0)+(-(x\otimes 0))=0$

$x\otimes y=0\Rightarrow (x=0)\vee (y=0)$

证明：

假设 $y\ne 0$ , 则存在 $y^{-1}$ , 则 $x=0\otimes y^{-1}=0$

对于任何的 $x\in \mathbb{R}$ , $-x=(-1)\otimes x$

证明：

$-x=0\oplus (-x)=(1\oplus (-1))\otimes x\oplus (-x)$

$=1\otimes x\oplus (-1)\otimes x\oplus (-x)=x\oplus (-x)\oplus (-1)\otimes x=0\oplus (-1)\otimes x=(-1)\otimes x$

对于任何的 $x\in \mathbb{R}$ , 有 $(-1)\otimes (-x)=x$

证明：

$(-1)\otimes (-x)=-(-x)=-(-x)\oplus ((-x)\oplus x)=0\oplus x=x$

对于任何的 $x\in \mathbb{R}$ , $(-x)\otimes (-x)=x\otimes x$

$(-x)\otimes (-x)=(-1)\otimes x\otimes (-x)=(-1)\otimes (-x)\otimes x=x\otimes x$

序公理的推论

$x\ne y$ 时 $x\le y$ 又可写作 $x<y$ , 称为严格小于 .

对于任何 $x,y\in \mathbb{R}$ , 在以下关系中恰好只有一个关系成立：$x<y,x=y,y<x$

由公理 $1_{\le }$ 和 $3_{\le }$ 及严格小于的定义可得

对于 $\mathbb{R}$ 中的任何数 $x,y,z$ , 有

• $(x<y)\wedge (y\le z)\Rightarrow (x<z)$

• $(x\le y)\wedge (y<z)\Rightarrow (x<z)$

• $(x<y)\wedge (y\le z)\Rightarrow (x\le y)\wedge (x\ne y)\wedge (y\le z)\Rightarrow (x\le z)\wedge (x\ne y)$

假设 $x=z$ , 则有 $z\le x$ , 进而有 $y\le x$ , 推出 $x=y$ , 产生矛盾

故 $(x\le z)\wedge (x\ne z)\Rightarrow x<z$ .

加法，乘法和序关系的联系公理的推论

对于 $\mathbb{R}$ 中的任何数 $x,y,z,w$

• $(x<y)\Rightarrow (x\oplus z)<(y\oplus z)$

• $(0<x)\Rightarrow (-x<0)$

• $(x\le y)\wedge (z\le w)\Rightarrow (x\oplus z)\le (y\oplus w)$

• $(x\le y)\wedge (z<w)\Rightarrow (x\oplus z<y\oplus w)$

• $x<y\Rightarrow (x\le y)\wedge (x\ne y)\Rightarrow ((x\oplus z)\le (y\oplus z))\wedge (x\ne y)$

设 $(x\oplus z)=(y\oplus z)$ , 则 $x=y\oplus z\oplus (-z)=y$ . 产生矛盾 .

• $0<x\Rightarrow 0\oplus (-x)<x\oplus (-x)\Rightarrow -x<0$

• $x\le y\Rightarrow x\oplus z\le y\oplus z\le y\oplus w$

• 类似

对于 $\mathbb{R}$ 中的任何数 $x,y,z$

• $(0<x)\wedge (0<y)\Rightarrow (0<x\otimes y)$

• $(x<0)\wedge (y<0)\Rightarrow (0<x\otimes y)$

• $(x<0)\wedge (0<y)\Rightarrow (x\otimes y<0)$

• $(x<y)\wedge (0<z)\Rightarrow (x\otimes z<y\otimes z)$

• $(x<y)\wedge (z<0)\Rightarrow (y\otimes z<x\otimes z)$

• $(0<x)\wedge (0<y)\Rightarrow (0\le x)\wedge (0\le y)\wedge (x\ne 0)\wedge (y\ne 0)$

由乘法与与关系的联系公理得，$0\le x\otimes y$

设 $x\otimes y=0$ , 则 $x=0\otimes y^{-1}=0$ . 产生矛盾 .

• $x<0\Rightarrow (-x)\oplus x<-x\Rightarrow 0<-x$

同理得 $0<-y$ . 故 $0<(-x)\otimes (-y)=(-x)\otimes (-1)\otimes y=x\otimes y$

• $x<0\Rightarrow 0<-x\Rightarrow 0<(-x)\otimes y\Rightarrow 0<(-1)\otimes (x\otimes y)\Rightarrow x\otimes y<0$

• $x<y\Rightarrow 0<y\oplus (-x)\Rightarrow 0<(y\oplus (-x))\otimes z\Rightarrow x\otimes z<y\oplus z$

$0<1$

首先 1 ∈ R − { 0 } 1\in \mathbb{R}-\{0\} 1∈R−{0} , 故 $0\ne 1$

设 $1<0$ , 则 $(1<0)\wedge (1<0)\Rightarrow 0<1\otimes 1=1$ . 产生矛盾

由序公理推论得，$0<1$

• $(0<x)\Rightarrow (0<x^{-1})$

• $(0<x)\wedge (x<y)\Rightarrow (0<y^{-1})\wedge (y^{-1}<x^{-1})$

• 假设 $x^{-1}<0$ . 则 $x\otimes x^{-1}<0\Rightarrow 1<0$ . 产生矛盾 . 故 $0<x^{-1}$
• $(0<x)\wedge (x<y)\Rightarrow 0<y\Rightarrow 0<y^{-1}$

$x\ne y\Rightarrow x^{-1}\ne y^{-1}$ . 假设 $x^{-1}<y^{-1}$ , 则 $1<x\otimes y^{-1}\Rightarrow y<x$ . 产生矛盾 .

完备性公理与数集的上下确界的存在性

设集合 $X\subset \mathbb{R}$ , 如果存在数 $c$ , 使得对于任何 $x\in X$ 都有 $x\le c$ , 就说集合 $X$ 是上有界集 . 如果存在数 $c$ , 使得对于任何 $x\in X$ 都有 $x\ge c$ , 就说集合 $X$ 是下有界集 .

既是上有界集又是下有界集的集合称为有界集 .

设 $a$ 是集合 $X\subset \mathbb{R}$ 的元素 . 如果对于任何的 $x\in X$ , 都有 $x\le c$ , 则称元素 $a$ 为 $X$ 的最大元素 . 如果对于任何的 $x\in X$ , 都有 $x\ge c$ , 则称元素 $a$ 为 $X$ 的最小元素 .

最大最小元素如果存在，则唯一 .

并不是所有集合都有最大最小元素 .

集合 $X\subset \mathbb{R}$ 的上界中的最小者称为 $X$ 的上确界 . 下界中的最大者称为 $X$ 的下确界 .

上确界：是上界，再小就不是上界

下确界：是下界，再大就不是下界

上确界原理 $X$ 不是空集，且有上界 $\Rightarrow$ 存在上确界 $\sup X$

下确界原理 $X$ 不是空集，且有下界 $\Rightarrow$ 存在下确界 $\inf X$

设 $X\subset \mathbb{R}$ 是给定的集合，而 Y = { y ∈ R ∣ ∀ x ∈ X ( x ≤ y ) } Y=\{y\in \mathbb{R}|\forall x\in X(x\le y)\} Y={y∈R∣∀x∈X(x≤y)} 是 $X$ 的上界组成的集合 . 根据条件，$X,Y$ 均非空 . 对于任何元素 $x\in X$ , $y\in Y$ , 都有 $x\le y$ , 根据完备性公理，存在 $c\in \mathbb{R}$ , 使得对于任何元素 $x\in X$ 和 $y\in Y$ 都有 $x\le c\le y$ . 因此，$c$ 既是 $X$ 的上界，也是 $Y$ 的下界 . $c$ 是 $X$ 的上界，说明 $c\in Y$ . $c$ 是 $Y$ 的下界，说明 $c$ 是 $Y$ 的最小元素 . 即 $c$ 是 $X$ 的上确界 .