论数学真理是发现和发明的统一——以伽罗瓦群论为例.pdfVIP

2010年6月 阴 山学 刊 Jun．2010 第24卷 第2期 YINSHANACADEMICJOURNAL Vo1．24 No．2 论数学真理是发现和发明的统一 — — 以伽罗瓦群论为例 李 青 燕 (福建师范大学 公共管理学院，福建 福州350007) 摘 要：十九世纪初 ，伽罗瓦在证明不存在一个五次方程的一般根式解法，建立了群论，用群论的深刻数 学语言去描述基本对称概念使得代数学进入了一个新的时代。该文通过对伽罗瓦理论诞生前后的数学哲学 思考，认为：纯粹数学是并非完全自由发明，数学对象的构造有其数学史和抽象结构上的根源，而数学问题是 应对大 自然的需要 以及各种约定的最终衡量。在新概念的背景下，具体语境下，数学真理是发现与发明的统 ’一 O 关键词：伽罗瓦群论；数学对象；数学真理；数学发现；数学发明 中图分类号：O152 文献标识码：A 文章编号：1004—1869(2010)02—0022—05 十九世纪前 ，代数学家们总是把根与系数的关系作为研 的抽象代数理论。在 1831年的论文中，伽罗瓦首次提出了 究关系，拿到这个分成总想求出它的根式解。所谓方程有根 “群”这一术语，把具有封闭性的置换的集合称为群，首次定 式解 (代数可解)”就是这个方程的解可 由该方程的系数经 义了置换群的概念。他认为了解置换群是解决方程理论的 过有限次加、减、乘、除以及开整数次方等运算表示出来。可 关键，方程是一个其对称性可用群的性质描述的系统。他从 是，伽罗瓦仔细研究了前人的理论，特别是拉格朗 日、鲁菲 此开始把方程论问题转化为群论的问题来解决，直接研究群 尼、高斯、阿贝尔等人的著作 ，开始研究多项式方程的可解性 论。他引入了不少有关群论的新概念，从而也产生了他 自己 理论 ，他并不急于寻求解高次方程的方法，而是将重心放在 的伽罗瓦群论，因此后人都称他为群论的创始人。 判定已知的方程是否有根式解。如果有，也不去追究该方程 1．2 伽罗瓦群论的内容简介 的根究竟是怎样的，只需证明有根式解存在即可。 “于是会 对有理系数的n次方程 产生这样的任务：证明在所给的前提下和所考虑的意义下原 a0 + al “ + a2x 一 + … + an-I戈+a =0 (1) 来的问题不可能解决的。这样的一种不可能的证 明古已有 假设它的 个根 ，：，…，的每一个变换叫做一个置 之，例如他们证明了一等腰三角形的斜边与直角边的比是个 换 ，n个根共有 n!个可能的置换 ，它们的集合关于置换的乘 无理量，……也许正是这一值得注意的事实，加上其他哲学 法构成一个群，是根的置换群。方程的可解性可以在根的置 上的因素，给人以这样的信念 ，即每个数学问题都应该得到 换群的某些性质中有所反映，于是伽罗瓦把代数方程可解性 明确的解决，或者是成功地对所有的问题作出回答，或者证 问题转化为与相关的置换群及其子群性质的分析问题。现 明该问题解的不可能性，从而指出解答原问题的一切努力都 在把与方程联系起的置换群 (它表现了方程的对称性质)称 肯定要归于失败。”