数学方法论数学中的公理化方法与结构方法.doc

第四章 数学中的公理化方法与结构方法 公理化方法在近代数学的发展中起着基本的作用，它的思想对各门现代数学理论的系统形成有着深刻的影响，而数学结构方法则是全面整理和分析数学的一种十分合理的方法，其观点曾导致一场几乎席卷世界的数学教学改革运动，即“新数学”运动。两种方法均是用来构建数学理论体系的，一个是局部，一个是整体。本章将概括介绍这两种思想方法，从中领略数学理论构建的一般思想方法。 §4.1公理化方法的历史概述 众所周知，在长达一千多年的光辉灿烂的希腊文化中，哲学、逻辑学、几何学得到了很大的发展，特别是哲学家和逻辑学家亚里斯多德，总结了前人所发现和创立的逻辑知识，以完全三段论作为出发点，用演绎的方法推导出其余十九个不同格式的所有三段论，创立了人类历史上第一个公理化方法，即逻辑公理化方法，从而为数学公理化方法创造了条件。 数学家欧几里德以亚里斯多德演绎逻辑为工具，总结了人类长期以来所积累的大量几何知识，于公元前300年代完成了他的名著《几何原本》，《几何原本》是演绎逻辑与几何相结合的产物，因此，它的出现使演绎逻辑第一次成功地应用于数学。反过来也推动了形式逻辑的大发展。 欧几里德《几何原本》是有史以来用公理化思想方法建立起来的第一门演绎数学，在数学史上被树为划时代的里程碑。而且成为以后很长时期严格证明的典范，人们还把严密的逻辑推理和完善的逻辑结构看成是古典几何成熟的标志。当然，现在看来由于受当时整个科学水平的限制，这种公理化方法还是很原始的。所以后来称它为公理化方法的初期阶段。 在公理化方法的初期阶段，它的“严格性”也只是相对当时的情况而言的。譬如，有些基本概念的定义不够妥当，有些证明只不过是借助于直观等等。特别是第五公设的陈述从字面上看很不自明，所以人们从两个方面对它产生了怀疑：第一，第五公设是否正确地反映了空间的性质；其二、它本身很可能是一个定理。对于这两个问题，人们从以下几个方面进行了探讨：一是它能否从其他公理推出；二是换一个与它等价而本身却又是很自明的公设；三是换一个与它相反的公设。通过很多第一流的数学家近两千年的大量工作，第一方案尚未成功。到了十八世纪中叶，意大利数学家萨克利吸取了前人正面直接证明而失败的教训，反其道而行之，改用反证法来证明（将第五公设换成它的否定，然后推出矛盾，那么就可以证明第五公设就是一个定理，即不独立于其它公理），并于1733年公布了他的证明，但随后不久数学家们发现他的证明有问题。虽然萨克利的证明是错误的，但他提出的反证法及其所得的结果却起了他始终所未料到的作用，即两种几何并存的可能性。也就是说，除了欧几里德几何外，还有非欧几何。 数学家们从萨克利的错误中得到了启发，锐角假设（三角形内角和小于180°）尚未导致矛盾，因而它与其他公理可能是协调的。一直到十九世纪，由高斯、罗巴切夫斯基、包耶等许多杰出的数学家作了大量的推导工作都没有发现矛盾，于是采用锐角假设的罗巴切夫斯基几何系统就产生了。从此也就冲破了欧几里德几何“一统天下”的旧观念对人们的束缚，使人们意识到逻辑上无矛盾并不只限于一种几何，接着到了1854年又发现了钝角假设（三角形内角和大于180°）也成立的黎曼几何系统，后来人们称这两种几何为非欧几何。 非欧几何产生后，还有两方面的问题有待进一步解决。从逻辑方面看，虽然经过大量的推导尚未导致矛盾，但并不等于永远推不出矛盾。也就是说，这种逻辑无矛盾性还有待于从理论上得到严格证明；从实践方面看，非欧几何的客观原型是什么？人们还不清楚。也就是说，非欧几何到底到反映了哪种空间形式也没有得到具体的解释。 到了十九世纪五十年代，随着微分几何、射影几何的进一步发展，为非欧几何寻找模型提供了条件。意大利的贝特拉米于1869年提出了用欧氏球面作为黎曼几何的一个解释（欧氏球面的部分大圆被解释成黎曼几何的直线，球面上的点被解释成黎曼几何的点）。随后，德国数学家克莱因于1870年在欧氏平面上用不包括圆周的圆内部构造了一个罗氏几何模型，人们称它为罗氏平面，在此平面上给罗氏几何一个解释，即把欧氏几何的直线解释成罗氏平面上的直线，欧氏几何的点解释成罗氏平面上的点。由于非欧几何在欧氏几何中找到了它的模型，因此非欧几何的无矛盾性就转化为欧氏几何的无矛盾性，也就是说倘若欧氏几何无矛盾，则非欧几何也无矛盾，随后不仅人们找到了非欧几何在天文学与相对论中的解释和应用，而且相继发现欧氏几何的每条公理在罗氏空间的极限球上得以全部成立。于是，反过来欧氏几何的相容性可借助非欧几何协调性给以保证。从而就证明了两种几何是互相协调的。 为了进一步研究两种几何平行不悖，以希尔伯特为代表的数学家掀起了对几何基础的研究，同时也促进了康托、维尔斯托拉斯、戴德金等为代表的数学家对数学分析基础的实数理论的研究。从而导致了“分析算术化”方面的出现，使数学分析基础立足于实