定义 30:域
集合
加法:
- 封闭性:
; - 交换律:
; - 结合律:
; - 存在加法单位元
; - 每个
有加法逆元 。
乘法:
- 封闭性:
; - 交换律:
; - 结合律:
; - 存在乘法单位元
; - 每个非零
有乘法逆元 。
此外满足分配律:
定理 32
在任意域中,
证明:
定义 33:有序域
若域
则称
定理 35
定理 36
若
例如
从而
最小上界与最大下界
定理 38
若有序域
证明:令
若
那么
实数的刻画
定理 39
存在唯一的有序域
且
实数可用 Dedekind 分割构造,也可用有理 Cauchy 序列的等价类构造。
定理 40
唯一存在
令
由完备性,
存在;与上一讲相同的上确界扰动论证给出
若另有
因为