实数公里
(I)乘法公理
定义一个映射(加法运算) 即对任意的
有一个元素
与之对应,称
为
之和,且此映射满足以下条件:
-
1.中性元素0(在加法中称为零元素或者零)存在,并且对于任何
,
-
2.对于任何元素
,元素
存在,称为
的相反元素,它满足
-
3.运算
满足结合律,即
的任何元素
满足
-
4.运算
满足交换律,即
的任何元素
满足
若在任何集 上存在满足上述公理中的1.2.3.的一个运算,就说在
上给定了一个群结构,也称
是一个群。若还满足公理4.,则称
是交换群(或阿贝尔群)。
(Ⅱ)乘法公理
定义一个映射(乘法运算),使得
中元素
的每个序偶
与某元素
想对应,后者称为
与
的积,并且以下条件成立:
- 1.中性元素
(在乘法中称为单元元素或者一)存在,并且任何
,
- 2.对于任何元素
,元素
存在,称为
的逆元素,它满足:
- 3.元素
满足结合律,即
的任何元素
满足:
- 4.元素
满足交换律,即
的任何元素
满足:
(I,Ⅱ)加法和乘法联系
乘法对加法具有分配性,即对任意,有:
(Ⅲ)序公理
的元素间有关系
,即对
的元素
或满足
或不满足。且满足以下条件:
若某集合中的元素满足1.2.3.的关系,就称该集合为偏序集。若又满足4.,则称为线性序集。
(Ⅰ,Ⅲ)
中的加法与序关系的联系
(Ⅱ, Ⅲ)
中的乘法与序关系的联系
(Ⅳ)完备公理
如果 与
是
的非空子集,且具有性质:对于任何
有
,那么存在
,使对任何
有
。
<font color=red><b>满足上述这些公理的任何集合是实数的一种表示,即实数模型。</b></font>
网友评论