数学中“代数数”与“超越数”的区分历程
这个主题探讨的是实数(或复数)中两类本质不同的数的定义、发现与证明的历史。我将从最直观的数的概念开始,逐步深入到这一区分的深刻数学内涵。
第一步:认知的起点——我们熟悉的数
首先,我们需要明确讨论对象。从小学开始,我们接触的数不断扩展:自然数、整数、有理数、无理数。有理数是可以表示为两个整数之比的数(形如 p/q,其中 p、q 为整数,q≠0)。它们在数轴上是“稠密”的。然而,古希腊人(如毕达哥拉斯学派)发现了不可公度比,例如正方形对角线与其边长之比,即 √2。他们证明 √2 不能写成两个整数之比,因此它是无理数。这是人类认识的第一次数的“区分”:有理数与无理数。
第二步:代数数的自然出现——方程的解
随着方程理论(尤其是多项式方程)的发展,数学家开始系统研究形如 a_n x^n + a_{n-1} x^{n-1} + ... + a_1 x + a_0 = 0 的方程,其中系数 a_i 都是整数(或有理数)。例如:
- x - 5 = 0 的解是 5(有理数)。
- x² - 2 = 0 的解是 ±√2(无理数)。
- x² + 1 = 0 的解是 ±i(虚数)。
这些作为某整数系数非零多项式方程的解的数,被统称为代数数。它包括所有的有理数(因为 qx - p = 0 的解就是 p/q)和大量无理数(如 √2, 黄金比例 (1+√5)/2)以及部分复数。所以,代数数的概念自然地通过“方程的解”来定义。
第三步:关键的疑问——是否所有数都是代数数?
在认识到无理数的存在后,18世纪的数学家如欧拉和勒让德开始思考一个更深刻的问题:是否每一个实数或复数,都可以是某个整数系数多项式方程的根? 直观上,代数数似乎已经非常丰富,因为它包含了所有能用有限步代数运算(加、减、乘、除、开方)表示的数。当时已知的绝大多数“有名”的数,如 √2, ³√5, 甚至复数单位 i,都是代数数。因此,有人猜测也许所有数都是代数数。
第四步:超越数的存在性猜测——刘维尔的工作
然而,数学直觉和严格的证明开始分道扬镳。法国数学家约瑟夫·刘维尔在1844年首次明确提出了“代数数”与“超越数”的区分(“超越”意指“超越代数方法”)。他不仅猜测超越数的存在,更重要的是,他给出了一个判定定理(刘维尔不等式):
对于一个 d 次的代数数 α,存在一个正常数 C,使得对于任意整数 p, q (q>0),有 |α - p/q| > C / q^d。
这个定理说:代数数不能被有理数“过分好地”逼近。它的逆否命题则成为构造超越数的利器:如果一个数能被有理数以“异常高”的精度逼近(即存在无穷多个有理数 p/q 使得 |α - p/q| < 1 / q^N 对任意大的 N 都成立),那么这个数就不可能是代数数,它必然是超越数。
第五步:第一个超越数的具体构造——刘维尔数
利用自己的定理,刘维尔具体构造出了历史上第一个被证明的超越数,即著名的刘维尔常数:
L = 0.110001000000000000000001000...
其十进制展开的小数点后第 n! 位是 1,其余位是 0。这个数的有理数逼近可以异常精确,违反了刘维尔不等式,从而证明了它是超越数。这是一个里程碑,它从理论上和实例上确认了超越数的存在,并展示了一种构造方法。
第六步:对经典常数的攻坚——e 与 π 的超越性证明
刘维尔数是为了证明而“人造”的数。但数学中更核心的问题是:那些自然出现的著名常数,如自然对数的底 e 和圆周率 π,它们是代数数还是超越数?
- e 的超越性:1873年,法国数学家夏尔·埃尔米特首先成功证明了 e 是超越数。他的证明采用了复杂的解析工具,特别是构造辅助函数并利用积分估计,开创了证明超越性的新方法。
- π 的超越性:1882年,德国数学家费迪南德·冯·林德曼借鉴并发展了埃尔米特的方法,证明了 π 是超越数。这个证明的一个直接、震撼的推论是:它解决了古老的“化圆为方”尺规作图问题的不可能性。因为所有尺规可作的数都是代数数(且是次数为2的幂次的代数数),而 π 是超越数,因此不可能用尺规作出面积为 π 的正方形(即化圆为方)。
第七步:理论的深化——集合论视角与超越数的“多少”
在 e 和 π 被解决后,德国数学家格奥尔格·康托尔在1874年从集合论角度给出了更惊人的结论。他证明了:
- 所有代数数的集合是可数的(可以与自然数一一对应)。
- 所有实数(或复数)的集合是不可数的(远比可数集庞大)。
由此立刻推出一个结论:超越数的集合不仅是无穷的,而且是不可数的。 换句话说,在实数的意义上,“几乎所有的”数都是超越数!代数数虽然有无穷多个,但在实数中只占“零测度”的部分,像大海中的孤岛;而超越数才是“海洋”本身。这从哲学上彻底改变了人们对数系结构的认识。
第八步:20世纪及以后的挑战与未解问题
超越数理论并未终结,反而引向了更深奥的问题:
- 判定具体数的超越性:证明一个具体的数是超越数非常困难。例如,欧拉常数 γ(极限 lim_{n→∞} (∑_{k=1}^n 1/k - ln n))是否是超越数?至今未知。类似地,e+π, e·π, π^e 等组合的超越性大多未解决。
- 代数数的代数运算:已知代数数对加、减、乘、除、乘方(整数次)封闭。但两个超越数的和、积呢?不一定,例如 (e) + (-e) = 0 就是代数数。这引出了代数无关性的概念,例如证明 e 和 π 是否代数无关(即不存在非零整系数多项式 P(x,y) 使得 P(e, π)=0)仍是未解难题。
- 丢番图逼近与数的度量理论:刘维尔的工作开启了“丢番图逼近”这一数论分支,研究用有理数逼近实数的精度。后来有罗斯定理等更精细的结果,推动了现代超越数论的深度发展。
总结:
“代数数”与“超越数”的区分历程,是人类对数系结构认识不断深化的缩影。从有理数与无理数的朴素区分,到通过多项式方程定义代数数;从猜测所有数都是代数数,到刘维尔通过逼近论构造出第一个超越数;再到埃尔米特、林德曼攻克 e 和 π 的堡垒;最后到康托尔从集合论角度揭示超越数在数量上的绝对主导地位。这一历程不仅解决了“化圆为方”等古典难题,更深刻揭示了实数系统的复杂性与丰富性,并将数论、分析和集合论紧密连接起来。