伽罗瓦理论之美

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

伽罗瓦理论之美

伽罗瓦(évaristeGalois,1811~1832),一个21岁就去世了的年轻人,开创了现代代数学的先河。他创建的群论、域论,优美奥妙,已经成为现代代数学的基本工具。我花了两个月的时间研读伽罗瓦理论,随着理解的深入,我心不断感受到震撼,心底油然而生对伽罗瓦的钦佩与崇拜。这种感觉就像终于看懂了世界上最美妙的画作、听懂了世界上最优雅的旋律一样,不由自主的希望与别人共享。遗憾的是,数学之美只能是那些真正研读并理解了它的人们才能感受得到。伽罗瓦理论虽然优美,但是却足够深奥,除了数学专业人士和肯于钻研的数学爱好者之外,尚不能被普通大众所理解。

可是我不甘心,我期望着尽自己的努力,用最简明通俗的语言,尽量不涉及复杂的数学公式和逻辑推导,而把伽罗瓦理论的优美展现在大众面前。伽罗瓦是一个200年前有故事的年轻人,伽罗瓦理论是一座险峻的高峰。让我们一边阅读伽罗瓦的人生故事,一边尝试着攀登这座高峰吧。

首先,我们来引用伽罗瓦的一段话“Jump above calculations, group the operations, classify themaccording to their complexities rather than their appearance; this, I believe,is the mission of future mathematicians; this is the road I'm

embarking in thiswork.”(跳出计算,群化运算,按照它们的复杂度而不是表象来分类;我相信,这是未来数学的任务;这也正是我的工作所揭示出来的道路。)

当21岁的伽罗瓦在临死前一天晚上把他主要的研究成果以极其精简、跳跃的思维写在草稿纸上的时候,没有人知道当代最伟大的数学工具和数学研究方向已经在伽罗瓦的头脑

中存在了1年多的时间了。甚至是在伽罗瓦第二天参与一个愚蠢的决斗而死后的14年,都没有人彻底弄明白伽罗瓦写的到底是什么,他头脑中那伟大而天才的数学结构是怎样的?看看这些霸气的名字吧,高斯、柯西、傅立叶、拉格朗日、雅可比、泊松、……,这些在那个时代、同时也是人类历史上的伟大的数学家、物理学家都没有理解伽罗瓦的理论,从这个意义上讲,伽罗瓦恐怕是人类历史上最具天才的数学家了。

让我们先来看一些对比:

(1)1824年,挪威数学家阿贝尔发表了《一元五次方程没有一般代数解》的论文,用了50多页的篇幅和大量的计算,论证了对于一般的一元五次方程是不可能根式求解的。当时阿贝尔的证明今天看来,充满着智慧和复杂的计算,但是仍不够严谨。当我们今天使用伽罗瓦理论来论证这一点的时候,论证过程为“一般一元五次方程的伽罗瓦群同构于全置换群S5,而S5不是可解群,因此一般一元五次方程不可根

式求解。”(2)1801年,年轻的24岁“数学王子”高斯通过复杂的计算推导,证明了xp-1=0(p为素数)是可根式求解的,证明过程使用了大量计算技巧,充分展示了高斯的数学计算天赋。今天我们使用伽罗瓦理论来论证这一点的时候,论证过程为“方程xp-1=0(p为素数)在有理数域Q上的伽罗瓦群同构于素数阶模p同余类乘群Zp,而Zp是循环群,必为可解群,因此方程xp-1=0可根式求解。”甚至我们可以类似的论证p不为素数时的方程xn-1=0在Q上的伽罗瓦群同构于模n同余类乘群Z’n,为可换群(阿贝尔群),必为可解群,因此方程xn-1=0可根式求解。

伽罗瓦理论还可以轻松的解决正n边形的尺规作图问题,证明三等分角、倍立方、化圆为方(这个有赖于π是超越数的证明)的尺规作图不可能问题。今天,伽罗瓦的理论已经发展成叫做“近世代数”(又叫抽象代数)的一个专门数学分支,其应用拓展到了拓扑、微分几何、混沌等前沿数学研究领域以至于物理、化学等众多科学领域,成为了现代科学研究的重要基础工具。1994年英国数学家安德鲁·怀尔斯(AndrewWiles)证明著名的“费马大定理”的时候,就主要应用了伽罗瓦理论。

当看到一大批通过繁杂计算很难得到证明的问题,能够被使用精巧的数学结构来简洁而精准证明的时候,你也许开始感受到伽罗瓦理论的优美——但这仅仅是一个开始。从这个

“开始”,我们会逐渐感受到伽罗瓦所说的“Jump above calculations, group the operations.”的含义。那么伽罗瓦到底发明了什么数学结构和工具,使得原来复杂的问题变得清晰起来了呢?

一、更高层次的抽象——群、环、域【伽罗瓦的故事】

有人说“数学也许只存在于数学家的头脑之中”,至少数学是发端于数学家头脑的。1823年,12岁的埃瓦里斯特·伽罗瓦进入了他的第一所学校——路易·勒格兰皇家中学,一所声望很高但相当专制的学校,但是直到16岁,伽罗瓦才被准许读他的第一门数学课程。虽然12~16岁期间的伽罗瓦没有机会研究数学,但是这时期法国社会上和学校中发生的一些事件点燃了他的主义倾向,奠定了他日后参与政治的悲剧人生的基础。

原本成绩优秀的伽罗瓦一旦开始学数学,就像变了一个人,变得对其它课程都不重视,而只醉心于数学这一门课程。学校给他的评语是“该生只宜在数学的最高领域中工作,这个孩子完全陷入了对数学的狂热之中。”没有人知道16~18岁中学时期的伽罗瓦头脑中在想些什么,人们只能从表面上看到他所掌握的数学知识足以通过中学的考试要求,但是他对问题的解答往往让考官理解不了。更糟糕的是,他经常把大量的演算放在头脑中进行,使得平庸的考官们更为茫然和沮丧。

现有的材料表明,17岁的伽罗瓦已经开始研究一般的一元五次方程求解的问题了,他曾提交了2篇论文给法国科学院,当时的评审专家是著名数学家柯西。柯西显然被伽罗瓦的论文所震惊,他建议伽罗瓦重新以专题的形式提交这两篇论文,并参加数学大奖的评审。这期间正赶上伽罗瓦的父亲因政治原因而自杀,伽罗瓦在参加完父亲的葬礼后,把改好的专题论文提交给了法国科学院秘书、著名数学家傅立叶。可惜的是,傅立叶在评审前几个星期就去世了,在这个过程中伽罗瓦的论文也丢失了,从而失去了参加评奖的机会。天知道为什么这两篇很可能是那个时代最伟大的论文被丢失了?难道上帝都在嫉妒伽罗瓦么?

【伽罗瓦理论】在我们已经全面了解并极大发展了伽罗瓦理论的今天,回想1828年伽罗瓦提交的那两篇论文,我们有理由猜测,伽罗瓦是站在更高的层次上来看待数和运算的。在伽罗瓦看来,“数和运算”组合在一起可以构成一种数学结构,这是一种更加本质、更加抽象的数学结构,当继续把这种结构脱离“数字和常规意义上的运算”而抽象出来的时候,就形成了新的数学概念——群。

(1)群:给一个集合中的元素定义一种运算“乘法”(这个“乘法”不是数字运算的乘法,而只是借用了这个名字,因此加上了引号),如果这个集合中的元素和这个“乘法”满足:

相关文档
最新文档