数学中的公理化方法

《数学中的公理化方法》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第七章数学中的公理化方法§1公理化方法概述数学公理化方法，是数学发展到一定阶段的产物．它在近代数学发展中曾起过巨大的作用，而且对于现代数学的发展也有着极其深刻的影响．即使在数学教学中，公理化方法也是一个十分重要的方法．一、公理化方法的含义公理化方法是从尽可能少的基本概念和基本公理出发，应用严格的逻辑推理，使一门数学建成为演绎系统的一种方法．在理论形式上，这些基本概念和基本公理，是逻辑推理的前提，是数学需要作为自己出发点少数思想上的规定．由公理化方法把一个数学分支建成为演绎体系，关键是引进基本概念，设置基本公理．基本概念

2、是一些不需定义的或隐约地受到公理制约的原始概念，它们必须是真正基本的，无法用更原始、更简单的概念去定义的概念，必须是对数学实体的高度纯化的抽象。基本公理是无条件的、相互制约的规定，是作为对各个基本概念的相互关系和基本性质的阐述和规定，是一些不证自明的命题。基本公理不是可以随意选定的，一个良好的公理系统，所设置的公理应当满足下列三项基本要求：1．相容性公理的相容性也称无矛盾性或和谐性，是指同一公理系统中的公理，不能自相矛盾；由这些公理推出的一切结果，也不能有丝毫矛盾。即不允许既能证明某定理成立，又能证明它的反面也成立的情

3、况存在。2．独立性公理的独立性，是指一个公理系统中的所有公理，不能互相推出。这就是要求该系统中公理的数目减少到最低限度，不允许公理集合中出现多余的公理，这也是对数学的“简单美”的一种追求。3．完备性公理的完备性，是要求对一个公理系统中所有基本概念的性质，都作出明确的规定，使得这个系统中的全部命题都能毫无例外地在本系统中被证明，而在推理证明过程中，无需再用到直觉，因此，必要的公理不能省略。否则，将有某些真实命题得不到理论的证明或在证明过程中理由不充分。上述三项基本要求中，最主要的是相容性。因为一个公理系统如果违反了相容性

4、的要求，那么以这个系统中的公理作为逻辑推理的大前提，所推出的结果必然矛盾百出，造成逻辑上的混乱，因而这样的公理系统难以帮助人们认识现实世界的空间形式和数量关系，是毫无实际价值的。独立性和完备性是第二位的要求，对于一个严谨的公理系统，这两个要求也应得到满足，但是许多比较复杂的数学分支，要它的公理系统都能满足上述三项基本要求，则往往比较困难。公理化方法的意义和作用，与其自身的不断发展密切相关。二、公理化方法的产生和发展综观公理化方法发展的历史，大致可以分为三个阶段：1．产生阶段——由亚里士多德的完全三段论到欧几里得《几何原

5、本》的问世。公元前三世纪，希腊哲学家亚里士多德在其逻辑著作《工具论》一书中，总结了古代积累起来的逻辑知识，以数学及其他演绎的学科为例，把完全三段论作为公理，由此推出其他的三段论。因此，亚里士多德是历史上第一个正式给出公理系统的作者。希腊著名数学家欧几里得在泰勒斯、毕达哥拉斯、柏拉图等学派工作的基础上，运用亚里士多德提供的逻辑方法，写出了数学史上的重要著作《几何原本》。这是古代数学公理化方法的一个光辉成就。《几何原本》的问世，标志着公理化方法的诞生，《几何原本》的贡献倒不在于发现了几条新定理，而主要在于它把原先零乱的、互

6、不相关的几何知识，按公理系统的方式进行妥切安排，使得反映几何事实的公理和定理都能与论证联系起来，组成一个有条不紊的有机整体。2．完整阶段——由罗巴切夫斯基的非欧几何到希尔伯特《几何基础》的问世。欧几里得几何公理系统的意义十分巨大，影响极为深远，但它是不完善的，特别是第五公设问题，当时大多数人认为它很像一条定理，企图用《几何原本》中其余的公设和公理加以证明，但在证明中所用的论据，要么是不知不觉地利用一直观明显性，要么是利用了一个与第五公设等价的命题。因此，所有这些证明实质是无效的。直到19世纪，俄国数学家罗巴切夫斯基吸取

7、了前人两千多年来在证明第五公设中的失败教训，认识到第五公设与其他几何公理是互相独立的，除掉第五公设成立的欧氏几何外，还可以有第五公设不成立的新几何系统存在。于是他在剔除第五公设而保留欧氏几何其余公理的前提下，引进了一个与第五公设相反的公理：“过平面上一已知直线外的一点至少可引两条直线与该已知直线平行”，由此构成了一个新的几何系统与欧氏几何系统相并列。非欧几何的创立，大大提高了公理化方法的信誉，接着便有许多数学家致力于公理化方法的研究。如德国数学家康托尔与戴德金不约而同地拟成了连续性公理、德国数学家巴许拟成了顺序公理。在

8、这个基础上，希尔伯特于1899年发表了《几何学基础》一书，改造了欧氏几何系统，完善了几何学的公理化方法。3．形式化阶段——集合悖论出现后，希尔伯特在其形式化研究方法，特别是元数学（证明论）中，将公理化方法推向的一个新阶段。在欧氏《几何原本》的公理系统中，概念直接反映着数学实体的性质，而且那些概念、定义、公理的表述以及定理的论证往往