第七章 数学中的公理化方法课件精品.pptVIP

第七章 数学中的公理化方法 §1 公理化方法概述 数学公理化方法，是数学发展到一定阶段的产物．它在近代数学发展中曾起过巨大的作用，而且对于现代数学的发展也有着极其深刻的影响．即使在数学教学中，公理化方法也是一个十分重要的方法． 一、公理化方法的含义 公理化方法是从尽可能少的基本概念和基本公理出发，应用严格的逻辑推理，使一门数学建成为演绎系统的一种方法．在理论形式上，这些基本概念和基本公理，是逻辑推理的前提，是数学需要作为自己出发点少数思想上的规定． 由公理化方法把一个数学分支建成为演绎体系，关键是引进基本概念，设置基本公理． 基本概念是一些不需定义的或隐约地受到公理制约的原始概念，它们必须是真正基本的，无法用更原始、更简单的概念去定义的概念，必须是对数学实体的高度纯化的抽象。 基本公理是无条件的、相互制约的规定，是作为对各个基本概念的相互关系和基本性质的阐述和规定，是一些不证自明的命题。基本公理不是可以随意选定的，一个良好的公理系统，所设置的公理应当满足下列三项基本要求： 1．相容性 公理的相容性也称无矛盾性或和谐性，是指同一公理系统中的公理，不能自相矛盾；由这些公理推出的一切结果，也不能有丝毫矛盾。即不允许既能证明某定理成立，又能证明它的反面也成立的情况存在。 2．独立性 公理的独立性，是指一个公理系统中的所有公理，不能互相推出。这就是要求该系统中公理的数目减少到最