欧氏几何公理标准体系.docVIP

第一讲 欧氏几何公理体系 目录 一、几何概述 P1 二、公理化方法内涵和意义 P1 三、欧几里得《几何原本》介绍 P2 四、完备化希尔伯特公理体系 P5 五、中学几何公理系统 P8 一、几何概述 二、公理化方法内涵和意义 1．什么是公理化方法 公理化方法是“从一些基础概念和基础命题出发，依据特定演绎规则，推导一系列定理，从而组成一个演绎系统方法。” 通常由4部分组成： 原始概念列举 定义叙述 公理列举 定理叙述和证实 4个部分不是独立地叙述和展开，而是相互交叉、相互渗透、相互依靠地根据逻辑标准演绎和展开。原始概念和公理决定几何体系基础，不一样基础决定不一样几何体系。如欧氏几何、罗氏几何等。原始概念包含原始元素(图形)和原始关系两类．原始元素如点、直线和平面等，原始关系如结合关系、次序关系、协议关系等。原始概念没有定义，但它们属性隐含在公理中，如平面属性，中学给出三个公理： 一直线上两点在一个平面内，则直线上全部点全部在平面内； 两平面有一公共点，则它们有且仅有一条过公共点直线； 过不在同一直线上三个点，有且只有一个平面。 公理是“在一个系统中已为反复实践所证实而被认为不需要证实真理，含有自明性.”。通常来说，公理被大家普遍接收，无须证实，但以后发觉，有些公理并非十分显然，如第五公设。所以，大家选择一些命题作为一个演绎推理出发点，并非一定要自明，只要大家能接收就行，实质在于符合经