第七章 数学中的公理化办法.pptxVIP

第七章 数学中的公理化方法;§1 公理化方法概述;一、公理化方法的含义;由公理化方法把一个数学分支建成为演绎体系，关键是引进基本概念，设置基本公理．;1．相容性;2．独立性;3．完备性;上述三项基本要求中，最主要的是相容性。 ;二、公理化方法的产生和发展;1．产生阶段——由亚里士多德的完全三段论到欧几里得《几何原本》的问世。; 希腊著名数学家欧几里得在泰勒斯、毕达哥拉斯、柏拉图等学派工作的基础上，运用亚里士多德提供的逻辑方法，写出了数学史上的重要著作《几何原本》。这是古代数学公理化方法的一个光辉成就。 《几何原本》的问世，标志着公理化方法的诞生，《几何原本》的贡献倒不在于发现了几条新定理，而主要在于它把原先零乱的、互不相关的几何知识，按公理系统的方式进行妥切安排，使得反映几何事实的公理和定理都能与论证联系起来，组成一个有条不紊的有机整体。;2．完整阶段——由罗巴切夫斯基的非欧几何到希尔伯特《几何基础》的问世。; 直到19世纪，俄国数学家罗巴切夫斯基吸取了前人两千多年来在证明第五公设中的失败教训，认识到第五公设与其他几何公理是互相独立的，除掉第五公设成立的欧氏几何外，还可以有第五公设不成立的新几何系统存在。于是他在剔除第五公设而保留欧氏几何其余公理的前提下，引进了一个与第五公设相反的公理：“过平面上一已知直线外的一点至少可引两条直线与该已知直线平行”，由此构成了一个新的几何系统与