光辉灿烂的几何文化.pptVIP

7.现代几何公理体系——希尔伯特公理体系 前面提到，欧几里得《几何原本》并不是完美无缺的，或者说其“公理体系”存在逻辑漏洞。特别是“第五公设”的“独立性”受大家质疑。而正是这种“质疑”极大地推动了几何学的发展。 德国数学家希尔伯特在总结前人工作的基础上，在他1899年发表的《几何基础》一书中提出了一个更加完善的几何学的公理体系。这个公理体系叫做希尔伯特公理体系。 第五十九页，共102页 希尔伯特不仅提出了—个完善的几何体系,并且还提出了建立一个公理系统的原则。 第一、和谐性(无矛盾性)。就是在一个公理系统中，各条公理应该是不矛盾的，它们和谐而共存在同一系统中。 第二、独立性。公理体系中的每条公理应该是各自独立而互不依附的，没有一条公理是可以从其它公理引伸出来的。 第三、完备性。公理体系中所包含的公理应该是足够能证明本学科的任何新命题。 第六十页，共102页 这种用公理系统来定义几何学中的基本对象和它的关系的研究方法，成了数学中所谓的“公理化方法”，而把欧几里得在《几何原本》提出的体系叫做古典公理法。 公理化的方法给几何学的研究带来了一个新颖的观点，在公理法理论中，由于基本对象不予定义，因此就不必探究对象的直观形象是什么，只专门研究抽象的对象之间的关系、性质。 第六十一页，共102页 从公理法的角度看，我们可以任意地用点、线、面代表具体的事物，只要这些具体事物之间满足公理中的结合