代数数

✍ dations ◷ 2025-07-06 09:29:53 #抽象代数,代数数

N Z Q R C {\displaystyle \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} } 进数
数学常数

圆周率 π = 3.141592653 {\displaystyle \pi =3.141592653\dots }
自然对数的底 e = 2.718281828 {\displaystyle e=2.718281828\dots }
虚数单位 i = 1 {\displaystyle i={\sqrt {-1}}}
无穷大 {\displaystyle \infty }

代数数是代数与数论中的重要概念,指任何整系数多项式的复根。

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

不是代数数的实数称为超越数,例如圆周率。几乎所有的实数和复数都是超越数,这是因为代数数的集合是可数集,而实数和复数的集合是不可数集之故。代数数的集合是可数的,是因为整系数多项式的集合是可数的,代数数的集合是为所有的整系数多项式的解集合的并集,且可数无限多的可数集的并集是可数的之故。

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

这个定义中,由于 q n z n + q 1 z + q 0 = 0 {\displaystyle q_{n}z^{n}\cdots +q_{1}z+q_{0}=0} 可以推出 a n z n + + a 1 z + a 0 = 0 {\displaystyle a_{n}z^{n}+\cdots +a_{1}z+a_{0}=0} ,其中整数 a 0 , a 1 , , a n {\displaystyle a_{0},a_{1},\cdots ,a_{n}} 分别等于 M q 0 , M q 1 , , M q n {\displaystyle Mq_{0},Mq_{1},\cdots ,Mq_{n}} M {\displaystyle M} n + 1 {\displaystyle n+1} 个有理数 q 0 , q 1 , , q n {\displaystyle q_{0},q_{1},\cdots ,q_{n}} 分母的最小公倍数。所以“存在有理系数多项式使得 z {\displaystyle z} 是其复根”可以推出“存在整系数多项式使得 z {\displaystyle z} 是其复根”。另一方面,由于整数集合是有理数集合的子集,所以“存在整系数多项式使得 z {\displaystyle z} 是其复根”也可以推出“存在有理系数多项式使得 z {\displaystyle z} 是其复根”。这说明两个定义是等价的。

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

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

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

自然对数的底 e {\displaystyle e} 和圆周率 π {\displaystyle \pi } 都不是代数数。

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

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

整系数多项式的集合 Z {\displaystyle \mathbb {Z} } 可以写为常数多项式和 Z n k {\displaystyle \mathbb {Z} _{n}^{k}} 的并集:

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

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

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

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

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

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

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

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

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

相关

  • 鹤科(学名:Gruidae)在动物分类学上是鸟纲鹤形目的一个科,包括四个属及十五个物种。鹤是鸟类中体型较大(全长 80 至 175 公分)也较著名的家族,大多分布于欧亚大陆与非洲大陆,少数几种
  • 2015年亚足联亚洲杯2015年亚足联亚洲杯为第 16 届的亚足联亚洲杯,于2015年1月9日至1月31日在澳大利亚举行,也是2006年澳大利亚加入亚洲足球联合会后首次主办。冠军队伍可于2017年代表亚洲足联参
  • 彼得·恩格尔彼得·恩格尔(英语:Peter Engel,1959年-)是美国折纸艺术家、理论家、科普作家、图形设计师以及建筑师。他出有若干本有关折纸的著作,包括《折纸——从神仙鱼到禅》(Origami from An
  • 喻氏兄弟喻氏兄弟,也被称之为元亨兄弟,是中国明代兽医学家。兄喻仁,字本元,别号曲川。弟喻杰,字本亨,别号月川,庐州府六安州(今安徽六安)人,生卒年不详,大约生活在明代嘉靖(1522—1566年)到万
  • 爱德华·豪斯爱德华·曼德尔·豪斯(英语:Edward Mandell House;1958年7月26日-1938年3月28日),美国外交家,人称“豪斯上校”。是美国总统伍德罗·威尔逊、富兰克林·罗斯福的智囊高参,曾任驻英、
  • 大富翁大富翁是指富人,也可以指:
  • 陆铨陆铨(生卒年不详,约1535年前后在世)明朝嘉靖年间政治人物。字选之,鄞县(今浙江省宁波市)人,有弟陆�,亦为同时期政治人物。嘉靖二年(1523年)中式癸未科进士,授刑部主事。与弟弟陆�同时参加
  • 丁井文丁井文(1914年-2003年),原名丁景文,笔名劳丁,男,回族,河南信阳人,中国美术教育家,曾任中国美术家协会理事。
  • 恶龙崛起《恶龙崛起》(法国:,英语:)是,2009年美国/加拿大/法国/罗马尼亚电视电影导演由比尔·科克伦和生产的Syfy通道。它是18的膜中的食人者系列。杰克去法国。在这里,她的朋友,参观了历史
  • 徐子权徐子权(?-1402年),江西新淦(新干)人。明朝进士、政治人物。洪武十八年(1385年),徐子权中三甲第一百五十二名进士。官任刑部主事时,听闻练子宁被杀,悲恸大哭赋诗后自尽。福王时,赠光禄卿,谥