代数数

✍ dations ◷ 2025-04-02 16:06:42 #抽象代数,代数数

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} } 代数中也被称为代数整数环。

相关

  • 变质岩变质岩(英语:Metamorphic rock)是经由变质作用所形成的。原岩受到热(温度高于150〜200℃)和压力(1500巴)的作用,其内部的物理和化学性质逐渐变化。原岩可以是沉积岩、火成岩或是变质
  • 柔道柔道是在1882年由日本人嘉纳治五郎创立的日本武术。它一般被归类于现代武术,后期慢慢演变为博击运动及被纳入奥运会比赛项目之一。柔道最特殊的的一点是其比赛的方式,目的是将
  • 蜘蛛丝蜘蛛丝是由蜘蛛所分泌抽出的纤维,其主要成分是蛋白质。蜘蛛利用它们所生产的蜘蛛丝建造蜘蛛网以捕捉猎物,或建构巢穴或卵囊作为蜘蛛或子代的保謢场所。蜘蛛也可以利用自己的蜘
  • 马赫-曾德尔干涉仪马赫-曾德尔干涉仪(Mach-Zehnder interferometer)是一种干涉仪,可以用来观测从单独光源发射的光束分裂成两道准直光束(英语:collimated light)之后,经过不同路径与介质所产生的相对
  • 三一节三一节是韩国纪念三一运动的节日,时间是每年的三月一日。每年三月一日,韩国都会举办各种类型的纪念活动,一些民众还会举行反日的游行示威运动。三一节(3月1日)与制宪节(7月17日)、
  • 泰国行政区划泰国的行政区划大致分为四个等级:府、县、区、村。第一级行政区在泰语称为“จังหวัด”( changwat),中文译为“府”。全国共有77个一级行政区,其中包括76个府与府级直辖市
  • 内蒙古军区中国人民解放军内蒙古军区,简称内蒙古军区,是中国人民解放军的一个省级军区,现属于中央军委国防动员部,管辖范围为内蒙古自治区。主席(党、国)副主席(党、国)委员(党、国)军种: 陆军 
  • 意诺增爵十一世真福教宗意诺增爵十一世(拉丁语:Beatus Innocentius PP. XI;1611年5月16日-1689年8月12日)原名本笃·奥代斯卡尔基(Benedetto Odescalchi),1676年9月21日当选罗马主教(教宗),同年10月4
  • 我女若兰《我女若兰》(英语:)是一部在1966年上映的台湾电影,由中央电影事业股份有限公司所出品,李嘉所执导,葛香亭、唐宝云、谢玲玲等人主演。描写一个非常喜欢跳芭蕾舞的小女孩,却不幸患上
  • 分支龙属分支龙属(属名:),又名歧龙、阿利奥拉龙,是兽脚亚目暴龙科下的一个属,生活于上白垩纪的蒙古。分支龙是由苏联古生物学家Sergei Kurzanov在1976年所命名。模式种是遥远分支龙(),化石包