高等代数 (3)古今数学思想.pdf

第零章 预备知识 0.1 数域 0.1.3 数域 三 数 域 . ℂ F 0, 1, F ( 0) 设复数集 的非空子集 至少包含 且 对加减乘除 除数不为 运算封闭 则称 是一个 即 满足 , F 数域, F : 1 0, 1 F     2 a, b F a b, a b, ab, a b b 0时 F     例1. (1) ℚ, ℝ, ℂ都是数域. (2) ℤ : 全体整数所成集 不是数域 1, 2  但是1 2 ℤ 定理1. ℚ 是最小的数域. 证明: 设 是数域 1F F  F 含所有正整数 数域 对加法封闭   F  F 是数域 0 F F 含所有整数 F   数域 对减法封闭    F ( 0) 数域 对除法 除数不为 封闭 F 含全部有理数所成集ℚ  是最小的数域  ℚ 有理数所成集 是数域 在实数域 与复数域 之间不存在其它的数域 例2. ℝ ℂ . 证明: F , 则存在某复数 设数域 真包含实数域 a bi F 且a bi , 其中a, b  a, b   a, b F  a bi b 0    a bi F  bi a