CH3 公理化方法.ppt

CH3 欧氏几何的公理化方法 §3.1 公理化思想方法的内涵与价值 一、什么是“公理”？什么是“公理化方法”？ 公理是“在一个系统中已为反复的实践所证实而被认为不需要证明的真理,可以作为证明中的论据.如等量加等量其和相等,整体大于部分都是公理.” 公理化方法是“从某些基本概念和基本命题出发,依据特定的演绎规则,推导一系列的定理,从而构成一个演绎系统的方法.” 二、公理的选取要求 相容性（或称为协调性,无矛盾性）即所选取的这些公理之间彼此不能互相矛盾.这是最基本的要求. 独立性 这要求公理系统中的公理数目,在保证所需要达到的目标的前提下,尽可能地减少,不容许公理系统中出现多余的公理. 完备性 这是指确保从公理系能够导出所论数学某分支的全部命题,因此必要的命题不能省略. 三、公理化方法的发展 直观性公理化时期,以欧几里得的《几何原本》为代表; 思辨性公理化时期,以非欧几何的发现为代表; 形式主义公理化时期,以希尔伯特的《几何基础》为代表; 结构主义公理化时期,以布尔巴基的《数学原本》为代表. §3.2 直观性公理化时期——《几何原本》 《几何原本》的主要内容（全书共十三卷） 第一卷给出全书最初的23个定义、5个公设和5个公理. 第二卷讨论线段计算,包括黄金分割定理,共14个命题. 第三卷主要讨论有关圆的一些理论和有关命题,共有37个命题. 第四卷讨论圆内接、外切多边形,包括正五边形、正六边形、正十五边形的作法,共16个命题. 第五卷是《几何原本》中比较精彩的一卷,讲比例理论. 第六卷讨论相似多边形及比例,共33个命题. 第七、八、九三卷是数论. 第十卷讨论不可共度量的分类,包括与整数的开方有关的几何运算,共117个命题. 第十一、十二、十三卷讨论立体几何,包括直线、平面位置,多面角的平面角,棱柱体积,相似体体积之比,以及讨论正多面体有且只有五类等. §3.3 形式主义的公理化时期——希尔伯特的《几何基础》 §3.4 中学数学教材中的公理系统 * * 总结： 从以上简单介绍可看到,目前属于初等几何学的内容和方法,基本上都已包括在《几何原本》中了.它所以能在两千多年的时间中被长期公认为几何学的标准教科书,就在于它的相当严密的体系和丰富的内容,欧几里得的工作是伟大的,他是第一个试图建立几何学基础（即提出一些定义和少数公设、公理作为后面逻辑推理的依据和出发点）的数学家.不过,由于历史的局限性,《几何原本》并没有彻底解决建立几何基础的问题,它的逻辑体系不是严密的. *