- 1、本文档共17页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第六讲_公理化思想及构成公理化体系的要求.ppt
《几何原本》 欧几里得(Euclid of Alexandria; 约公元前 330 ? 公元前 275) 公理化方法使数学丰富的理论建立在最简单明了的、不容怀疑的事实基础之上,容易明辨是非。比如,几何学的正确性归结于诸如“等量加等量,总量仍相等”等公理体系的正确性。 公理化方法也是数学逻辑严密性的一种表现。在人类的每一个认识领域,当经验知识积累到相当数量时,就需要进行综合、整理,使之条理化、系列化,从而形成新的概念理论以更新系统,以实现认识从感性阶段到理性阶段的飞跃。从理性认识的初级水平发展到高级水平,又表现为抽象程度更高的公理化体系。 公理体系 公理体系的完善 希尔伯特(David Hilbert; 1862 ? 1943) 公理体系的完善 6 个不加解释的定义包括: 对《几何原本》的批评 书中有部分的定义不清晰,阅读后反而令人更迷惘。 在论证过程之中,欧几里得使用了一些公理系统未有提及的假設。 第五公设(平行公设) 第五公设:若一直线落在两直线上所构成的同旁内角和小于两直角,那么把两直线无限延长,它们将在同旁内角和小于两直角的一侧相交。 在欧氏几何的所有公设中,唯独这条公设显得比较特殊,它的叙述不像其它公设那样简洁、明了,当时就有人怀疑它不像是一个公设而更像是一个定理,并产生了从其它公设和定理推出这条公设的想法。欧几里得本人对这条公设似乎也心存犹豫,并竭力推迟它的应用,一直到卷Ⅰ命题29才不得不使用它。 对第五公设的证明 历史上第一个宣称证明了第五公设的是古希腊天文学家托勒密(约公元150),后来普洛克鲁斯指出托勒密的“证明”无意中假定了过直线外一点只能作一条直线与已知直线平行。 替代公设:过直线外一点有且只有一条直线与已知直线平行。 几何原理中的家丑 从公元前3世纪到18世纪,证明第五公设的努力始终没有中断。但每一种“证明”要么隐含了另一个与第五公设等价的假定,要么存在其它形式的错误。而且,这类工作中的大多数对数学思想的进展没有多大现实意义。18世纪中叶,达朗贝尔把平行公设的证明问题称为“几何原理中的家丑”。 萨凯里首先由钝角假设推出了矛盾,然后考虑锐角假设,在这一过程中获得了一系列新奇的结论:如三角形内角和小于两直角;过直线外一点有无数条直线与已知直线平行等。萨凯里认为它们太不合情理,便以为自己导出了矛盾而判断锐角假设是不真实的。而直角假设则是与平行公设等价的。 1763年,德国数学家克吕格尔(G.S.Klugel)在其博士论文中首先指出萨凯里的工作实际上并未导出矛盾,只是得到了似乎与经验不符的结论。克吕格尔是第一位对平行公设是否可以由其它公设加以证明表示怀疑的数学家。 高斯建立非欧几何 最先认识到非欧几何是一种逻辑上相容、而且可以用来描述物质空间的是高斯。他从1799年开始意识到平行公设不能从其它公设推导出来,并从1813年起建立了一种使第五公设在其中不成立的新几何学。他起先称之为“反欧几里得几何”,最后改称为“非欧几里得几何”。但高斯没有发表过任何有关非欧几何的文章,只在跟朋友的一些通信中提及,他在给一位朋友的信中说:“如果公布自己的这些发现,‘黄蜂就会围着耳朵飞’,并会‘引起波哀提亚人的叫嚣’”。 勇敢的罗巴切夫斯基 在非欧几何的三位发明人中,罗巴切夫斯基最早、最系统地发表了自己的研究成果,并且也最坚定地宣传和捍卫自己的新思想。 他于1826年在喀山大学发表了演讲“简要论述平行线定理的一个严格证明”,而后又于1829年发表了《论几何原理》的论文,这是历史上第一篇公开发表的非欧几何文献,但由于是用俄文发表在《喀山通讯》上的而未引起数学界的重视。 勇敢的罗巴切夫斯基 1840年用德文出版的《平行理论的几何研究》引起高斯的关注,这使他在1842年成为德国哥廷根科学协会会员。面对种种攻击,罗巴切夫斯基表现得比高斯更有勇气。 一直到1855年,当他已是一位双目失明的老人时,还口述发表了著作《泛几何学》,坚信自己新几何学的正确性。 同一平面上的任何两条直线一定相交 三角形内角和小于180度 非欧几何的发展与确认 德国数学家黎曼(B.Riemann,1826-1866)于1854年发展了罗巴切夫斯基等人的思想而建立了一种更广泛的几何学----黎曼几何。 (同一平面上的任何两条直线一定相交) 三角形内角和小于180度 19世纪70年代以后,意大利数学家贝尔特拉米、德国数学家克莱因和法国数学家庞加莱等人先后在欧几里得空间中给出了非欧几何的直观模型,从而揭示出非欧几何的现实意义。 至此,非欧几何才真正获得了广泛的理解。 * * Euclid(about 325 BC - about 265 BC) 欧几里得的《几何原本》是用公理方法建立演绎数学体系的最早典范。
您可能关注的文档
- 儿童炎症性肠病腹痛的临床特点与治疗策略.pdf
- 加筋黏性土挡墙长期工作性能的试验研究.pdf
- 德语区国家创新体系的比较研究.pdf
- 武汉创维特ARM教学系统02ARM体系结构及编程模型.ppt
- 高钴硫酸锌溶液中锌粉净化除钴的机理.pdf
- 基于遗传模拟退火算法优化的BP神经网络_吕琼帅.pdf
- 数学题新GRE有代表性的数学题(包含OG机经).pdf
- 实验八丝状微生物的培养.ppt
- 企业管理创新在企业发展中的作用.pdf
- 我国对外直接投资的现状及问题分析.pdf
- 浙江省临海市白云高级中学2025届高三历史3月月考试题.doc
- 云南拾谷县第一中学2024_2025学年高二物理上学期10月月考试题.doc
- 2025版高考生物总复习第13讲基因的分离定律教案苏教版.doc
- 湖北省黄石实验高中2024_2025学年高一历史下学期期末考试模拟卷.doc
- 通史版2025版高考历史大一轮复习专题七近代化的曲折发展__中日甲午战争至五四运动前4第4讲从维新思想到新文化运动课后达标检测含解析新人教版.doc
- 2024年高考数学考试大纲解读专题04导数及其应用含解析文.doc
- 河南省许汝平九校联盟2024_2025学年高一语文上学期期末考试试题扫描版无答案.doc
- 江西省吉安市吉水县第二中学2024_2025学年高一历史上学期第二次月考试题.doc
- 北京市平谷区2025届高三政治一模考试试题含解析.doc
- 2025届中考物理第四讲物态变化专项复习测试无答案新人教版.docx
最近下载
- 2024年人教版一年级数学上册全册教案.pdf VIP
- 统编人教版高中生物必修一全册优质教案.pdf VIP
- 第三单元评估测试卷 统编版语文九年级上册.docx VIP
- 中职学校《金属加工与实训》全套电子教案(含教学进度计划)(配套教材:高教版中职统编)云天课件( word 版).docx
- 九年级英语上册Unit3Topic3教案仁爱版.pdf
- 基于JAVA学生课程管理系统.doc VIP
- 疑难病例失禁性皮炎的护理ppt.pptx
- 合理饮食与健康(四川大学)中国大学MOOC(慕课)章节测验试题(答案).pdf
- 大学生劳动教育全套教学课件.pptx
- (电信标准)IPTV内容运营平台与业务运营平台接口技术规范.doc
文档评论(0)