数学分析课程笔记：实数集的基本公理及其一般性质

朝暮1122

已于 2023-03-18 19:43:16 修改

阅读量1.8k

点赞数

分类专栏：数学分析文章标签：微积分数学分析数学

于 2023-03-18 15:28:24 首次发布

本文链接：https://blog.csdn.net/qq_44803884/article/details/129637656

版权

数学分析专栏收录该内容

7 篇文章

订阅专栏

文章详细介绍了实数集的公理化定义，包括加法、乘法、序关系和完备性公理，并通过一系列推论证明了实数集的一些基本性质，如加法和乘法的运算规则、逆元的存在性以及正负数的概念。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

02 实数集的基本公理及其一般性质

$\quad$ 我们需要对实数集作一个公理化的定义。

实数集：称集合 $\mathbb{R}$ 为实数集，若其满足：

$1^{o}$ ：有一个加法运算 “ $+$ ”;

$2^{o}$ ：有一个乘法运算 “ $\cdot$ ”;

$3^{o}$ ：有序关系“ $\le$ ”；

$4^{o}$ ：满足完备性公理（连续性公理）。

$\quad$ 实数集 $\mathbb{R}$ 中的元素称为实数。

$\quad$ 加法运算、乘法运算、序关系都比较好理解，什么是“完备性公理”？事实上，对于完备性公理，我们已经有了非常浅显的几何认识。比如：数轴上没有空隙。

实数集的基本公理

I. 加法公理： $\mathbb{R}$ 上有一个运算 $+$ 称为加法，如果满足：

$a$ ： $\exists$ 中性元（零元） $0$ ，使得 $\forall ~ X\in \mathbb{R},x+0 = x$ ;

$b$ ： $\forall ~ x\in \mathbb{R}$ ，存在其负元 $- x$ ，使得 $x + (- x) = 0$ ;

$c$ ：结合律： $\forall ~ x,y,z \in \mathbb{R},(x+y)+z = x+(y+z)$ ;

$d$ ：交换律： $\forall ~ x,y\in \mathbb{R},x+y = y+x$ .

$\quad$ 另外，若集合 $G$ 满足 I 中的条件 $a, b, c$ ，则称 $G$ 为一个群；若集合 $G$ 同时满足 I 中的条件 $a, b, c, d$ ，则称 $G$ 是一个交换群或 Abel 群。

II. 乘法公理： $\mathbb{R}$ 上有一个运算 $\cdot$ 称为乘法，如果满足：

$a$ ： $\exists$ 中性元（单位元） $\in \mathbb{R} -\{0\}$ ，使得 $\forall ~ x\in \mathbb{R},x \cdot 1=x$ ;

$b$ ： $\forall ~ x \in \mathbb{R} - \{0\}$ ，存在其逆元 $x^{-1}$ ，使得 $x\cdot x^{-1} = 1$ ;

$c$ ：结合律： $\forall x,y,z\in \mathbb{R},(x\cdot y)\cdot z = x\cdot(y\cdot z)$ ;

$d$ ：交换律： $\forall ~x,y \in \mathbb{R},x\cdot y = y \cdot x$ .

$\quad$ 显然， $\mathbb{R} - \{0\}$ 关于乘法构成一个群，且是 Abel 群。

I and II. 加法关于乘法的附加公理：（分配律） $\forall ~ x,y,z \in \mathbb{R},(x+y)\cdot z = x \cdot z + y \cdot z$ .

Def. 代数域：集合 $K$ 上若定义有加法、乘法、且满足分配律，则称 $K$ 为一个代数域。

III. 序公理： $\mathbb{R}$ 上有一个不等关系“ $\le$ ”，如果满足：

$a$ ： $\forall~x \in \mathbb{R},x\le x$ ;

$b$ ： $\forall x,y\in \mathbb{R},(x\le y)\land (y \le x) \Longrightarrow(x = y)$ ;

$c$ ： $\forall ~ x,y,z\in \mathbb{R},(x\le y)\land (y \le z) \Longrightarrow (x\le z)$ ;

$d$ ： $\forall ~ x,y\in \mathbb{R},(x\le y) \lor (y \le x)$ .

Def. 偏序集与线性序集：若集合 $X$ 上具有满足 III 条件 $a, b, c$ 的关系“ $\le$ ”，则称 $X$ 为偏序集；若集合 $X$ 上具有同时满足 III 条件 $a, b, c, d$ 的关系“ $\le$ ”，则称 $X$ 为线性序集。

I and III. 加法与序的附加公理： $\forall ~x,y,z \in \mathbb{R},(x\le y)\Longrightarrow (x+z \le y+z)$ .

II and III. 乘法与序的附加公理： $(0\le x)\land (0 \le y)\Longrightarrow (0\le x\cdot y)$ .

IV. 完备性公理（连续性公理）：若 $X, Y$ 是 $\mathbb{R}$ 的两个非空子集，且对于 $\forall ~x\in X,y \in Y$ ，有 $x\le y$ ，则存在 $c\in \mathbb{R}$ ，使得 $x\le c\le y$ .

$\quad$ 以上即为实数集的相关公理。可以说，任何满足以上公理的数学模型，都可以认为是实数集 $\mathbb{R}$ 的一种具现。比如：

实数轴；
十进制无穷小数；
……

$\quad$ 关于公理化模型，有两点需要注意：

无矛盾性：是否相容？
范畴性：若 $A, B$ 各自构造出实数集 $\mathbb{R}_{A},\mathbb{R}_{B}$ ，则应有 $\mathbb{R}_{A} \xrightarrow{f} \mathbb{R}_{B}$ ，其中 $f$ 为同构映射。

实数集的一般性质

一、加法公理的推论

1： $\mathbb{R}$ 中存在唯一的零元。

证明：反证法。

$\quad$ 假设 $\mathbb{R}$ 中同时有零元 $0_{1},0_{2}$ ，则：

$0_{1} = 0_{1} + 0_{2} = 0_{2} + 0_{1} = 0_{2}$

2：对于任意的 $\in \mathbb{R}$ ，存在其唯一的负元 $\in \mathbb{R}$ .

证明：反证法。

$\quad$ 任取 $x\in \mathbb{R}$ ，假设 $x$ 同时存在两个负元 $x_{1}$ 与 $x_{2}$ ，则：

$x_{1}= x_{1} + 0 = x_{1} + (x+x_{2}) = (x_{1} + x) + x_{2} = 0 + x_{2} = x_{2}.$

3：代数方程 $a + x = b$ 在 $\mathbb{R}$ 中有唯一解 $x = b + (- a) = b - a$ 。

证明：

$\quad$ $a\in \mathbb{R}$ ，则 $\exists !$ 负元 $- a$ . 于是：

$\begin{aligned} (a+x = b) &\Longrightarrow ((-a) + (a + x) = (-a) + b)\\ &\Longrightarrow (((-a)+a) + x = (-a)+b)\\ &\Longrightarrow (0+x=b + (-a))\\ &\Longrightarrow (x = b+ (-a)) \end{aligned}$

$\quad$ 注意，目前为止，我们都还没有定义减法，现在出于简化符号的目的，将减法作为一个“记号”引入：

$b + (- a) := b - a .$

$\quad$ 作业：乘法公理的推论：

$\mathbb{R}$ 中存在唯一的 $1$ .
$\forall ~ x \in \mathbb{R}-\{0\}$ ，存在唯一的逆元 $x^{-1}$ .
$\forall a \in \mathbb{R}-\{0\}$ ， $a\cdot x=b$ 存在唯一的解 $a^{-1}\cdot b$ .

二、乘法公理的推论

1： $\mathbb{R}$ 中存在唯一的单位元 $1$ .

证明：反证法。

$\quad$ 假设 $\mathbb{R}$ 中同时存在两个单位元 $1_{x},1_{y}$ ，则：

$1_{x} = 1_{x} \cdot 1_{y} = 1_{y} \cdot 1_{x} = 1_{y}.$

2：对于任意的 $x\in\mathbb{R} - \{0\}$ ，存在其唯一的逆元 $x^{-1}\in \mathbb{R} - \{0\}$ .

证明：反证法。

$\quad$ 假设 $\mathbb{R}-\{0\}$ 中同时存在 $x$ 的两个逆元 $y, z$ ，则：

$\cdot 1 = y \cdot (x\cdot z) = (y \cdot x) \cdot z = 1\cdot z = z.$

3：代数方程 $a\cdot x = b$ 在 $\mathbb{R}- \{0\}$ 中存在唯一解 $b\cdot a^{-1} = a^{-1}\cdot b$ .

证明：

$\begin{aligned} (a\cdot x = b) &\Longrightarrow (a^{-1}\cdot (a\cdot x) = a^{-1}\cdot b)\\ &\Longrightarrow ((a^{-1}\cdot a)\cdot x = a^{-1}\cdot b)\\ &\Longrightarrow (x = a^{-1}\cdot b) \end{aligned}$

$\quad$ 思考：按照前面相似的逻辑，是否可以将除法作为“记号”引入？

$\cdot a^{-1} = b \div a.$

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

1：对于任意的 $x\in \mathbb{R}$ ， $x\cdot 0 = 0 \cdot x = 0$ .

证明：

$\begin{aligned} &(x \cdot 0) = (x \cdot (0 + 0)) = (x\cdot 0 + x \cdot 0) \\ \Longrightarrow &(x\cdot 0 + (-x\cdot 0) = x \cdot 0 + x\cdot 0 + (-x \cdot 0))\\ \Longrightarrow &(0 = x\cdot 0)\\ \Longrightarrow &(x\cdot 0 = 0) \end{aligned}$

$\quad$ 有趣的是，1 虽然是个关于乘法的结论，但在证明过程中，利用了加法！

$\quad$ 由 1 可得推论：若 $\in \mathbb{R}-\{0\}$ ，则 $x^{-1} \in \mathbb{R} -\{0\}$ .

证明：反证法。

$\quad$ 若 $x^{-1} = 0$ ，则由 1 可得： $x\cdot 0 = x \cdot x^{-1} = 0$ ，产生矛盾。

2： $(x\cdot y = 0) \Longrightarrow (x = 0) \lor (y=0)$ .

证明：

$\quad$ 若 $y = 0$ ，则命题成立。

$\quad$ 若 $y\ne 0$ ，则由 1 推论可知， $y^{-1} \ne 0$ ，从而

$\begin{aligned} (x \cdot y = 0) &\Longrightarrow (x\cdot y \cdot y^{-1} = 0 \cdot y^{-1})\\ &\Longrightarrow (x = 0) \end{aligned}$

3： $\forall ~ x \in \mathbb{R},-x = (-1)\cdot x$ .

证明：

$\quad$ 显然， $- x$ 是 $x$ 的负元，由负元的唯一性可知，只需证明 $(-1)\cdot x$ 也是 $x$ 的负元。事实上，

$\cdot x = 1\cdot x + (-1)\cdot x = (1 + (-1))\cdot x = 0\cdot x = 0.$

4： $\forall ~ x \in \mathbb{R},(-1)\cdot (-x) = x$ .

证明：

$\quad$ 显然， $x$ 是 $- x$ 的负元，由负元的唯一性，只需证明 $(-1)\cdot (-x)$ 也是 $- x$ 的负元。事实上，

$(-1)\cdot (-x) + (-x) = (-1)\cdot (-x) + 1 \cdot (-x) = ((-1)+1) \cdot (-x) = 0 \cdot (-x) = 0.$

5： $\forall ~ x\in \mathbb{R},(-x)\cdot(-x) = x\cdot x$ .

证明：

$\begin{aligned} (-x)\cdot (-x) &= (-1)\cdot x \cdot (-x) \\ &=x \cdot (-1) \cdot (-x) \\ & = x\cdot ((-1)\cdot (-x)) \\ & = x\cdot x. \end{aligned}$

四、序公理的推论

$\quad$ 首先，说明一下，什么是严格不等式。

严格不等式：若 $x\le y$ 且 $\ne y$ ，则记 $x < y$ ，称为严格不等式。

1： $\forall ~ x,y \in \mathbb{R},(x<y)\lor (x= y)\lor (y<x)$ .

证明：

$\quad$ 由序公理： $(x\le y)\lor (y \le x)$ ，若 $x = y$ ，则结论成立；若 $x\ne y$ ，则 $(x<y)\lor(y<x)$ .

2： $\forall ~ x,y,z \in \mathbb{R},(x\le y)\land(y<z)\Longrightarrow(x<z),(x< y)\land(y\le z)\Longrightarrow(x<z)$ .

证明：

$\quad$ 以第二个结论为例，

$\begin{aligned} (x<y) \land(y \le z) &\Longrightarrow (x \le y) \land(y \le z) \\ &\Longrightarrow (x\le z) \end{aligned}$
再利用反证法。若 $x = z$ ，则

$\land(y \le z) \Longrightarrow (x <y) \land (y \le x)$

从而产生矛盾。因此 $x\ne z$ .

五、加法公理与序公理联系的推论

1： $(x>y)\Longrightarrow(x+z>y+z)$ .

证明：

$\quad$ 由序公理， $(x>y)\Longrightarrow (x \ge y)\Longrightarrow (x+z \ge y+z)$ . 于是只要证明 $\ne y+z$ .

$\quad$ 反证法。若 $x + z = y + z$ ，则线性方程 $x + z = (y + z)$ 有唯一解：

$x = (y + z) + (- z) = y + (z + (- z)) = y + 0 = y$

与 $x > y$ 矛盾。

2： $(x>0)\Longrightarrow(-x<0)$ .

证明：

$\begin{aligned} (x>0)&\Longrightarrow (x+ (-x)>-x)\\ &\Longrightarrow (0>-x) \end{aligned}$

3： $(x>y)\land(z\ge w)\Longrightarrow (x+z >y+w)$ .

4： $(x\ge y)\land(z >w)\Longrightarrow (x+z>y+w)$ .

$\quad$ 只证 1,2；3,4 自证。

六、乘法公理与序公理联系的推论

1： $(x>0)\land (y>0)\Longrightarrow (x\cdot y>0)$ .

证明：

$\quad$ 由序公理与乘法公理的附加公理，

$(x>0)\land (y>0)\Longrightarrow(x\ge 0)\land (y\ge 0)\Longrightarrow (x\cdot y \ge 0)$

因此只需证明 $x\cdot y\ne 0$ . 反证法，若 $x\cdot y=0$ ，则由前面的结论

$(x\cdot y = 0)\Longrightarrow (x=0)\lor (y=0).$

从而产生矛盾。

2： $(x<0)\land (y<0)\Longrightarrow (x\cdot y>0)$ .

2 与 3 类似，我们证明3.

3： $(x>0)\land (y<0)\Longrightarrow (x \cdot y<0)$ .

证明：

$\begin{aligned} (x>0)\land (y<0) &\Longrightarrow (x>0)\land (-y>0)\\ &\Longrightarrow (x\cdot (-y)>0) \\ &\Longrightarrow (x\cdot (-1)\cdot y >0) \\ &\Longrightarrow ((x\cdot(-1))\cdot y >0) \\ &\Longrightarrow (((-1)\cdot x)\cdot y >0) \\ &\Longrightarrow ((-1)\cdot(x\cdot y)>0)\\ &\Longrightarrow (-(x\cdot y)>0)\\ &\Longrightarrow (x\cdot y<0). \end{aligned}$

4： $(x>y)\land(z>0)\Longrightarrow (x\cdot z > y\cdot z)$ .

证明：

$\begin{aligned} (x>y)\land (z>0) &\Longrightarrow (x-y>0) \land (z>0) \\ &\Longrightarrow ((x-y)\cdot z >0)\\ &\Longrightarrow (x\cdot z - y \cdot z >0) \\ &\Longrightarrow (x\cdot z >y \cdot z). \end{aligned}$

4 与 5 类似，我们证明 4.

5： $(x>y)\land(z<0)\Longrightarrow (x\cdot z<y\cdot z)$ .

七、加法公理、乘法公理与序公理的推论

1： $1 > 0$ .

证明：

$\quad$ 由序公理， $(x>y)\lor(x=y)\lor(x<y)$ .

$\quad$ 显然 $1\ne 0$ ，我们证明： $1 > 0$ . 反证法。假设 $1 < 0$ ，于是

$(1<0)\land (1<0) \Longrightarrow (1\cdot 1 >0) \Longrightarrow (1>0).$

从而产生矛盾。

2： $(0<x)\Longrightarrow (x^{-1})>0,~ (0<x<y) \Longrightarrow (0<y^{-1}<x^{-1})$ .

证明：

$\quad$ 反证法。假设 $x^{-1}<0$ ，则

$(0<x)\land(x^{-1}<0) \Longrightarrow (x\cdot x^{-1}<0)\Longrightarrow (1<0).$

从而产生矛盾。

$\quad$ 显然 $y\ne 0$ ，否则 $x = 0$ ，矛盾。于是 $(y>0)\Longrightarrow (y^{-1}>0)$ ，从而

$\begin{aligned} (x<y) \land (y^{-1}>0)&\Longrightarrow (x\cdot y^{-1} <y\cdot y^{-1})\\ &\Longrightarrow (x\cdot y <1)\\ &\Longrightarrow (x^{-1}\cdot x\cdot y^{-1}<x^{-1})\\ &\Longrightarrow (y^{-1}<x^{-1}) \end{aligned}$