数域
定义
设P{\displaystyle {\mathcal {P}}}是复数域C{\displaystyle \mathbb {C} }的子集。若P{\displaystyle {\mathcal {P}}}中包含0与1,并且P{\displaystyle {\mathcal {P}}}中任两个数的和、差、乘积以及商(约定除数不为0)都仍在P{\displaystyle {\mathcal {P}}}中,就称P{\displaystyle {\mathcal {P}}}为一个数域。用域论的话语来说,复数域的子域是为数域。
任何数域都包括有理数域Q{\displaystyle \mathbb {Q} },但并不一定是Q{\displaystyle \mathbb {Q} }的有限扩张,因此数域不一定是代数数域。例如实数域R{\displaystyle \mathbb {R} }和复数域C{\displaystyle \mathbb {C} }都不是代数数域。反之,每个代数数域都同构于某个数域。
例子
除了常见的实数域R{\displaystyle \mathbb {R} }和复数域C{\displaystyle \mathbb {C} }以外,通过在有理数域中添加特定的无理数进行扩张得到的扩域也是数域。例如所有形同:
的数的集合,就是一个数域。可以验证,任何两个这样的数,它们的和、差、乘积以及商(约定除数不为0)都能写成a+b2{\displaystyle a+b{\sqrt {2}}}的形式,故仍然在集合之中。这个集合记作Q(2){\displaystyle \mathbb {Q} ({\sqrt {2}})},是有理数域Q{\displaystyle \mathbb {Q} }的二次扩域。
可构造数
可构造数也叫规矩数,指的是从给定的单位长度开始,能够通过有限次标准的尺规作图步骤做出的长度数值。所有可构造数的集合记为C{\displaystyle {\mathcal {C}}},是一个数域。因为给定了两个已经做出的线段后,可以通过符合尺规作图规定的手段,在有限步内作出长度为两者长度之和、差、乘积以及商的线段。C{\displaystyle {\mathcal {C}}}是Q{\displaystyle \mathbb {Q} }的扩域,次数为无限大,是实数域R{\displaystyle \mathbb {R} }的子域。
代数数
代数数指能够成为某个有理系数多项式的根的数。所有代数数的集合记作A{\displaystyle {\mathcal {A}}},是一个数域。A{\displaystyle {\mathcal {A}}}也常被称为代数数域,但与定义为“Q{\displaystyle \mathbb {Q} }的有限扩张”的代数数域是不同的概念。不过,每个Q{\displaystyle \mathbb {Q} }的有限扩张生成的域都可看作是Q{\displaystyle \mathbb {Q} }中加入某个代数数扩成的,所以都是A{\displaystyle {\mathcal {A}}}的子域。可构造数构成的数域C{\displaystyle {\mathcal {C}}}也是A{\displaystyle {\mathcal {A}}}的子域。由于虚数单位i也是代数数,所以A{\displaystyle {\mathcal {A}}}不是R{\displaystyle \mathbb {R} }的子域。另一方面,自然对数的底e以及圆周率π都不是代数数,所以R{\displaystyle \mathbb {R} }也不是A{\displaystyle {\mathcal {A}}}的子域。
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
- 有价值
- 一般般
- 没价值