查看“︁代數數”︁的源代码

{{no footnotes|time=2015-05-09T05:47:14+00:00}}
{{NoteTA
|G1 = Math
|1 = zh-cn:域; zh-tw:體;
}}
{{Numbers}}
'''代數數'''（{{lang-en|algebraic number}}）是[[代数]]与[[数论]]中的重要概念，指任何[[整数|整]]係數[[多项式]]的[[复数 (数学)|複根]]。

所有代数数的集合构成一个[[域 (數學)|域]]，称为'''代数数域'''（与定义为[[有理数]]域的[[有限扩张]]的[[代数数域]]同名，但不是同一个概念），记作<math>\mathcal{A}</math>或<math>\overline{\mathbb{Q}}</math>，是复数域<math>\mathbb{C}</math>的[[子域]]。

不是代数数的实数称为[[超越数]]，例如[[圆周率]]。[[幾乎所有]]的[[實數]]和[[复数 (数学)|複數]]都是超越數，這是因為代數數的集合是[[可數集]]，而實數和複數的集合是[[不可數集]]之故。代數數的集合是可數的，是因為整係數多項式的集合是可數的，代數數的集合是所有整係數多項式的解集合的聯集，且可數無限多的可數集的聯集是可數的之故。

== 定义 ==
代数数可以定义为“有理系数多项式的复根”或“整系数多项式的复根”。第一个定义可以具体描述为：
:设<math>z</math>为[[复数 (数学)|复数]]。如果存在正整数<math>n</math>，以及<math>n+1</math>个有理数<math>q_0, q_1, \cdots , q_n</math>，并且<math>q_n \neq 0</math>，使得：
::<math>q_n z^n + \cdots + q_1 z + q_0 = 0</math>
:则称<math>z</math>是一个代数数。

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

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

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

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

[[自然对数的底]]<math>e</math>和[[圆周率]]<math>\pi</math>都不是代数数。

== 性质 ==
代数数不一定是实数，实数也不一定是代数数。代数数的集合是[[可数集|可数]]的。证明的方法是将所有整系数的多项式归类。首先定义<math>\mathbb{Z}_n [X]</math>为所有<math>n</math>次整系数多项式的集合。其次定义<math>\mathbb{Z}_n^k [X]</math>为系数绝对值的和等于<math>k</math>的<math>n</math>次整系数多项式的集合：

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

整系数多项式的集合<math>\mathbb{Z} [X]</math>可以写为常数多项式和<math>\mathbb{Z}_n^k [X]</math>的并集：
::<math>\mathbb{Z} [X] = \mathbb{Z} \bigcup_{n\in\mathbb{Z}^+, k\in\mathbb{Z}^+} \mathbb{Z}_n^k [X].</math>
而常数多项式没有根。所以，任一代数数必然是某个<math>\mathbb{Z}_n^k [X]</math>中的多项式的根，即属于<math>\mathcal{A}_n^k</math>。反之任何<math>\mathcal{A}_n^k</math>中的元素按定义必然是代数数。因此代数数的集合<math>\mathcal{A}</math>也可以写为所有<math>\mathcal{A}_n^k</math>的并集：
::<math>\mathcal{A} = \bigcup_{n\in\mathbb{Z}^+, k\in\mathbb{Z}^+} \mathcal{A}_n^k.</math>
而<math>\mathbb{Z}^+ \times \mathbb{Z}^+</math>是可数集。集合<math>\mathcal{A}</math>是可数个有限集的并集，因此是可数的。

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

给定一个代数数{{mvar|z}}，在所有以<math>z</math>为根的有理系数多项式中，存在唯一的一个首一多项式，其次数小于等于任何其他以<math>z</math>为根的多项式。这个多项式称为[[极小多项式]]。如果极小多项式的次数为<math>n</math>，则称该代数数为<math>n</math>次代数数。一次的代数数就是[[有理数]]。

所有的代数数都是[[可计算数]]，因此是[[可定义数]]。

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

== 由根式定义的数 ==
任何可以从整数或有理数通过有限次[[四则运算]]和正整数次开方运算得到的数都是代数数。反之则不成立：有些代数数不能用这种方法得出，這些代數數是次数為5次或超過5次的多项式的根。这是[[伽罗瓦理论]]的结果（参见[[五次方程]]和[[阿贝尔-鲁菲尼定理]]）。一个例子是<math>x^5-x-1=0\,</math>的唯一实根（大约为<math>1.167303978261418684256\,</math>）。

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

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

== 参考文献 ==
* {{Citation | last=Artin | first=Michael | author-link=Michael Artin | title=Algebra | publisher=[[Prentice Hall]] | isbn=0-13-004763-5  | id={{MathSciNet | id = 1129886}} | year=1991}}
* {{Citation | last1=Ireland | first1=Kenneth | last2=Vosen | first2=Michael | title=A Classical Introduction to Modern Number Theory | edition=Second | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=0-387-97329-X | id={{MathSciNet | id = 1070716}} | year=1990 | volume=84}}
* [[G. H. Hardy]] and [[E. M. Wright]] 1978, 2000 (with general index) ''An Introduction to the Theory of Numbers: 5th Edition'', Clarendon Press, Oxford UK, ISBN 0-19-853171-0
* {{citation | last = Lang | first = Serge | author-link = Serge Lang | title = Algebra | edition = 4th | date = 2004 | series = Graduate Texts in Mathematics 211 | publisher = Springer-Verlag | isbn = 0-387-95385-X}}
* [[Orestein Ore]] 1948, 1988, ''Number Theory and Its History'', Dover Publications, Inc. New York, ISBN 0-486-65620-9 (pbk.)
{{代數數}}
{{數的系統}}
[[Category:抽象代数]]
[[Category:代數數|*]]