欧几里得几何学的公理标准体系.docVIP

欧几里得几何学公理体系. 欧几里得几何（Euclid geometry）起源于古 埃及，当尼罗河泛滥后，为了重新整理土地而需要 进行丈量. 所以她们用geometry一词，其原意就是 “丈量土地”. 自此就开始了对图形研究. Euclid 《原本》把直到古希腊时代为止这些知识综合整理 出来，而成为一个逻辑体系. 因为这个《原本》中包 含了图形知识、实数理论原型、数论等，而直接 研究图形部分最多，所以，汉字译本将书名译成为 《几何原本》. （“几何”来自“geo”音译） 几何学是数学科学中相关图形数学分支. 在 这一阶段，几何学就意味着数学全部，古代数学家 把萌芽中代数学也包含在几何学中. “数”和“形”结合，是17世纪开始，因为 代数学、分析学发展，并形成了几何学、代数学、 分析学等独立数学分支，数学家R.Descartes首先 建立了解析几何学，她利用坐标系，将图形问题转化 为数量之间问题，并用代数计算方法来处理几何 问题. 于是，相对于解析几何学来说，不用坐标而直接 研究图形几何学，称之为纯粹几何学. 纯粹几何学 深入发展，就是射影几何学. 十九世纪出现了罗巴杰夫斯基几何，这种几何否 定了欧几里得几何中平行线公理. 在维向量空间建立后，几何体系就综合成了 维欧几里得几何、维射影几何、维非欧几何. 把几何学用“群”见解统一起来加以叙述，也就是 “埃尔兰根纲领（Erla