本页使用了标题或全文手工转换

代數數

维基百科,自由的百科全书
跳转至: 导航搜索
各种各样的
基本

\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}\subseteq\mathbb{C}

正數 \begin{smallmatrix} \mathbb{R}^+ \end{smallmatrix}
自然数 \begin{smallmatrix} \mathbb{N} \end{smallmatrix}
正整數 \begin{smallmatrix} \mathbb{Z}^+ \end{smallmatrix}
小数
有限小数
无限小数
循环小数
有理数 \begin{smallmatrix} \mathbb{Q} \end{smallmatrix}
代數數 \begin{smallmatrix} \mathbb{A} \end{smallmatrix}
实数 \begin{smallmatrix} \mathbb{R} \end{smallmatrix}
複數 \begin{smallmatrix} \mathbb{C} \end{smallmatrix}
高斯整數 \begin{smallmatrix} \mathbb{Z}[i] \end{smallmatrix}

负数 \begin{smallmatrix} \mathbb{R}^- \end{smallmatrix}
整数 \begin{smallmatrix} \mathbb{Z} \end{smallmatrix}
负整數 \begin{smallmatrix} \mathbb{Z}^- \end{smallmatrix}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数
二次无理数
艾森斯坦整数 \begin{smallmatrix} \mathbb{Z}[\omega] \end{smallmatrix}

延伸

雙複數
四元數 \begin{smallmatrix} \mathbb{H} \end{smallmatrix}
共四元數
八元數 \begin{smallmatrix} \mathbb{O} \end{smallmatrix}
超數
上超實數

超复数
十六元數 \begin{smallmatrix} \mathbb{S} \end{smallmatrix}
複四元數
大實數
超實數 \begin{smallmatrix} {}^\star\mathbb{R} \end{smallmatrix}
超現實數

其他

对偶数
雙曲複數
序数
質數
同餘
可計算數
阿列夫数

公稱值
超限数
基數
P進數
規矩數
整數數列
數學常數

圓周率 \begin{smallmatrix} \pi \end{smallmatrix}
 = 3.141592653…
自然對數的底 \begin{smallmatrix} e \end{smallmatrix}
 = 2.718281828…
虛數單位 \begin{smallmatrix} i \end{smallmatrix}
 = \begin{smallmatrix} +\sqrt{-1} \end{smallmatrix}
無窮大 \begin{smallmatrix} \infty \end{smallmatrix}

代數數代数数论中的重要概念,指任何係數多项式复根。這即是說若x\,是一個代數數,那麼必然存在整数a_n, a_{n-1}, \ldots, a_0 (n\geq 1,a_n\neq 0),使得x\,是以下方程的根:

a_n x^n + a_{n-1} x^{n-1} + \ldots + a_2 x^2 + a_1 x + a_0 = 0

所有代数数的集合构成一个,称为代数数域(与定义为有理数域的有限扩张代数数域同名,但不是同一个概念),记作\mathcal{A}\overline{\mathbb{Q}},是复数域\mathbb{C}的子域。

不是代数数的实数称为超越数,例如圆周率

定义[编辑]

代数数可以定义为“有理系数多项式的复根”或“整系数多项式的复根”。第一个定义可以具体描述为:

z复数。如果存在正整数n,以及n + 1个有理数q_0, q_1, \cdots , q_n,并且q_n \neq 0,使得:
q_n z^n + \cdots + q_1 z + q_0 = 0
则称z是一个代数数。

这个定义中,由于q_n z^n \cdots + q_1 z + q_0 = 0可以推出a_n z^n + \cdots +  a_1 z + a_0 = 0,其中整数a_0, a_1, \cdots ,a_n分别等于Mq_0, Mq_1, \cdots , Mq_nMn + 1个有理数q_0, q_1, \cdots , q_n分母最小公倍数。所以“存在有理系数多项式使得z是其复根”可以推出“存在整系数多项式使得z是其复根”。另一方面,由于整数集合是有理数集合的子集,所以“存在整系数多项式使得z是其复根”也可以推出“存在有理系数多项式使得z是其复根”。这说明两个定义是等价的。

例子[编辑]

任何有理数q都是多项式X - q的根,因此每个有理数都是代数数。所有形同z = q^{\frac{1}{m}}的无理数也是代数数,因为它是多项式X^m - q的根。例如\sqrt{2}\sqrt[3]{3}是代数数,因为它们分别是方程X^2-2=0X^3-3=0的根。

黄金比率\phi是代数数,因为它是X^2-X-1=0的根。二次无理数,也就是二次方程ax^2+bx+c=0\,的根,是代数数。虚数单位i也是代数数,因为是X^2+1=0的根。n次单位根,顾名思义,是X^n - 1=0的根,因此是代数数。高斯整数也是代数数,例如高斯整数a + bi是多项式X^2 -2aX + a^2 + b^2的根。

所有规矩数(即可以从单位长度的线段出发,通过尺规作图法做出的线段的长度数值)都是代数数。因为建立直角坐标系後可以证明,标准的尺规作图步骤的每一步都相当于计算一个次数不超过2的多项式方程,因此能够通过有限步做出的线段长度必然是有限个有理系数多项式迭代后得到的多项式的根,从而是代数数。

自然对数的底e圆周率π都不是代数数。

性质[编辑]

代数数不一定是实数,实数也不一定是代数数。代数数的集合是可数的。证明的方法是将所有整系数的多项式归类。首先定义\mathbb{Z}_n [X]为所有n次整系数多项式的集合。其次定义\mathbb{Z}_n^k [X]为系数绝对值的和等于kn次整系数多项式的集合:

\mathbb{Z}_n^k [X] = \left\{ a_0 + a_1 X + \cdots + a_n X^n ; \; \; a_0, a_1, \cdots , a_n \in \mathbb{Z}, \; a_n \neq 0, \; |a_0| + |a_1| + \cdots + |a_n| = k \right\}

\mathbb{Z}_n^k [X]中多项式的任何系数至多有2k + 1个可能性,最高次项系数至多有2k个可能性,因此这样的多项式个数不超过2k(2k+1)^n。每个多项式至多有n个根。如果将所有\mathbb{Z}_n^k [X]中多项式的根的集合记为\mathcal{A}_n^k,则\mathcal{A}_n^k的元素个数不超过2nk(2k+1)^n,即为有限集。

整系数多项式的集合\mathbb{Z} [X]可以写为常数多项式和\mathbb{Z}_n^k [X]的并集:

\mathbb{Z} [X] = \mathbb{Z} \bigcup_{n\in\mathbb{Z}^+, k\in\mathbb{Z}^+} \mathbb{Z}_n^k [X].

而常数多项式没有根。所以,任一代数数必然是某个\mathbb{Z}_n^k [X]中的多项式的根,即属于\mathcal{A}_n^k。反之任何\mathcal{A}_n^k中的元素按定义必然是代数数。因此代数数的集合\mathcal{A}也可以写为所有\mathcal{A}_n^k的并集:

\mathcal{A} = \bigcup_{n\in\mathbb{Z}^+, k\in\mathbb{Z}^+} \mathcal{A}_n^k.

\mathbb{Z}^+ \times \mathbb{Z}^+是可数集。集合\mathcal{A}是可数个有限集的并集,因此是可数的。

由于代数数的集合\mathcal{A}是可数集,因此在复平面上,代数数集合的勒贝格测度为零。在此意义上,可以说“几乎所有”的复数都不是代数数。

给定一个代数数z,在所有以z为根的有理系数多项式中,存在唯一的一个首一多项式,其次数小于等于任何其他以z为根的多项式。这个多项式称为极小多项式。如果极小多项式的次数为n,则称该代数数为n次代数数。一次的代数数就是有理数

所有的代数数都是可计算数,因此是可定义数

代数数域[编辑]

两个代数数的和、差、积与商(约定除数不为零)也是代数数。可以验证,装备了有理数的加法、乘法运算的代数数集合\mathcal{A}构成一个,有时也记为\overline{\mathbb{Q}}。每一个系数为代数数的多项式方程的根也是代数数。因此,代数数域是代数封闭域。实际上,它是含有有理数域的最小的代数封闭域,称为有理数域的代数闭包

由根式定义的数[编辑]

任何可以从整数或有理数通过有限次四则运算和正整数次开方运算得到的数都是代数数。反之则不成立:有些代数数不能用这种方法得出。所有这些代数数都是次数不小于5的多项式的根。这是伽罗瓦理论的一个结果(参见五次方程阿贝尔-鲁菲尼定理)。一个例子是x^5-x-1=0\,的唯一的实根(大约为1.167303978261418684256\,)。

代数整数[编辑]

代数整数是任何整系数首一多项式的根。显然代数整数是代数数的一部分,但代数数不全是代数整数。所有整数都是代数整数,其余的有理数则不是代数整数。代数整数的集合记作\mathbb{A},是代数数的子集。在某些上下文中,为了与代数整数区别,整数也被称作有理整数。

两个代数整数的和、差与积也是代数整数,这就是说,装备了整数的加法、乘法运算的代数整数集合构成了一个环,因此\mathbb{A}代数中也被称为代数整数环。

参考文献[编辑]