分享

关于欧几里得的公理系统

 默特 2014-07-11

根据网络资料和《几何原本》(我书架上的装饰品之一)编写。

欧几里得(希腊文:Ευκλειδη? ,大约公元前330年—公元前275年),古希腊数学家。他活跃于托勒密一世(公元前323年-公元前283年)时期的亚历山大里亚。他最著名的著作《几何原本》不但是欧洲数学的基础,而且对于现代数学的发展有决定性的影响。

《几何原本》是一部集前人思想和欧几里得个人创造性于一体的不朽之作。全书共分13卷。书中包含了5条“公理”、5条“公设”、23个以上的定义和467个命题(定理)。在每一卷内容当中,欧几里得都采用了与前人完全不同的叙述方式,即先提出公理、公设和定义,然后再由简到繁地按照逻辑推理证明各个定理。公理、公设和定义是显而易见的,意义明确的,不证自明的,无需证明的,也不能证明的。公理、公设和定义的全体,构成一个构成一个公理系统,个别的公理、公设和定义的意义,必须在整个公理系统中来了解。

网上的资料不完全准确,下面的叙述参考燕晓东编译的“几何原本”,人民日报出版社2005年第一版。

在几何原本第一卷的开头,欧几里德引入了23个定义,5条公设和5条公理。在其后各卷中又引入了更多的定义。

第一卷的定义:

定义1.1   点:点不可以再分割成部分。

定义1.2   线:线是无宽度的长度。

......

五条公设是:

1、过两点可以作一线段。
2、任意线段能无限延长成一条直线。
3、给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。
4、所有直角都全等。
5、若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角和,则这两条直线在这一边必定相交。
第五条公设称为平行公设,因为从它可以导出下述命题:

通过一个不在直线上的点,有且仅有一条不与该直线相交的直线。

五条公理是:

1、等于同量的量彼此相等。
2、等量加等量,其和仍相等。
3、等量减等量,其差仍相等。
4、彼此能够重合的物体是全等的。

5、整体大于部分。

从这里出发,欧几里德在第一卷里证明了48个命题:

命题I.1  已知一个线段,可以作一个等边三角形。

命题I.2  从一个给定的点,可以引一条线段等于已知的线段。

......

命题I.47就是著名的毕达哥拉斯定理,命题I.48是毕达哥拉斯定理的逆定理。


欧几里德的体系还是有缺陷的。这些缺陷直到1899年德国数学家希尔伯特的在其《几何基础》出版时得到了完善。在这部名著中,希尔伯特成功地建立了欧几里德几何的完整、严谨的公理体系,即所谓的希尔伯特公理体系。这一体系的建立使欧氏几何成为一个逻辑结构非常完善而严谨的几何体系。也标志着欧氏几何完善工作的终结。

少年时代的牛顿在剑桥大学附近买到一本《几何原本》,开始他认为这本书的内容没有超出常识范围,因而并没有认真地去读它,而对笛卡儿的“坐标几何”很感兴趣而专心攻读。后来,牛顿于1664年4月在参加特列台奖学金考试的时候遭到落选,当时的考官巴罗博士对他说:“因为你的几何基础知识太贫乏,无论怎样用功也是不行的。”这席谈话对牛顿的震动很大。于是,牛顿又重新把《几何原本》从头到尾地反复进行了深入钻研,为以后的科学工作打下了坚实的数学基础。
近代物理学的科学巨星爱因斯坦也是精通几何学,并且应用几何学的思想方法,开创自己研究工作的一位科学家。爱因斯坦在回忆自己曾走过的道路时,特别提到在十二岁的时候“几何学的这种明晰性和可靠性给我留下了一种难以形容的印象”。后来,几何学的思想方法对他的研究工作确实有很大的启示。他多次提出在物理学研究工作中也应当在逻辑上从少数几个所谓公理的基本假定开始。在狭义相对论中,爱因斯坦就是运用这种思想方法,把整个理论建立在两条公理上:相对原理和光速不变原理。


在柏拉图学派晚期导师普罗克洛斯(约410~485)的《几何学发展概要》中,就记载着这样一则故事,说的是数学在欧几里得的推动下,逐渐成为人们生活中的一个时髦话题(这与当今社会截然相反),以至于当时亚里山大国王托勒密一世也想赶这一时髦,学点儿几何学。虽然这位国王见多识广,但欧氏几何却令他学的很吃力。于是,他问欧几里得“学习几何学有没有什么捷径可走?”,欧几里得笑到:“抱歉,陛下!学习数学和学习一切科学一样,是没有什么捷径可走的。学习数学,人人都得独立思考,就像种庄稼一样,不耕耘是不会有收获的。在这一方面,国王和普通老百姓是一样的。” 从此,“在几何学里,没有专为国王铺设的大道。”这句话成为千古传诵的学习箴言。

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多