公理系统教学提纲.doc
《公理系统教学提纲.doc》由会员分享,可在线阅读,更多相关《公理系统教学提纲.doc(9页珍藏版)》请在咨信网上搜索。
1、公理系统精品文档公理化方法所谓公理化方法,就是指从尽可能少的原始概念和不加证明的原始命题(即公理、公设)出发,按照逻辑规则推导出其他命题,建立起一个演绎系统的方法。1简介恩格斯曾说过:数学上的所谓公理,是数学需要用作自己出发点的少数思想上的规定。公理化方法能系统的总结数学知识、清楚地揭示数学的理论基础,有利于比较各个数学分支的本质异同,促进新数学理论的建立和发展。现代科学发展的基本特点之一,就是科学理论的数学化,而公理化是科学理论成熟和数学化的一个主要特征。公理化方法不仅在现代数学和数理逻辑中广泛应用,而且已经远远超出数学的范围,渗透到其它自然科学领域甚至某些社会科学部门,并在其中起着重要作用
2、2历史发展产生公理化方法发展的第一阶段是由亚里士多德的完全三段论到欧几里得几何原本的问世大约在公元前3世纪,希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料,系统地研究了三段论,以数学及其它演绎的学科为例,把完全三段论作为公理,由此推导出其它所有三段论法,从而使整个三段论体系成为一个公理系统因此,亚里斯多德在历史上提出了第一个成文的公理系统亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得欧几里得把形式逻辑的公理演绎方法应用于几何学,从而完成了数学史上的重要著作几何原本他从古代的量地术和关于几何形体的原始直观中,用抽象分析方法提炼出一系列基本概念和公理他总结概括出14个基本命
3、题,其中有5个公设和9条公理,然后由此出发,运用演绎方法将当时所知的全部几何学知识推演出来,整理成为演绎体系几何原本一书把亚里斯多德初步总结出来的公理化方法应用于数学,整理、总结和发展了希腊古典时期的大量数学知识,在数学发展史上树立了一座不朽的丰碑公理学研究的对象、性质和关系称为“论域”,这些对象、性质和关系,由初始概念表示例如欧氏几何原本中只需取“点”、“直线”、“平面”;“在之上”、“在之间”、“叠合”作为初始概念前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域按照“一个公理系统只有一个论域”的观点建立起来的公理学,称为实质公理学这种公理学是对经验知识的系统整理,公
4、理一般具有自明性因此,欧氏几何原本就是实质公理学的典范发展公理化方法的发展大致经历了这样三个阶段:实质(或实体)公理化阶段、形式公理化阶段和纯形式公理化阶段,用它们建构起来的理论体系典范分别是几何原本、几何基础和ZFC公理系统。几何原本虽然开创了数学公理化方法的先河,然而它的公理系统还有许多不够完善的地方,其主要表现在以下几个方面:(1)有些定义使用了一些还未确定涵义的概念;(2)有些定义是多余的;(3)有些定理的证明过程往往依赖于图形的直观;(4)有的公理(即平行公理)是否可用其它公理来证明或代替这些问题成为后来许多数学家研究的课题,并通过这些问题的研究,使公理化方法不断完善,并促进了数学科
5、学的发展第五公设(即平行公设)内容复杂,陈述累赘,缺乏象其它公设和公理那样的说服力,并不自明因此,它能否正确地反映空间形式的性质,引起了古代学者们的怀疑从古希腊时代到公元18世纪,人们通过不同的途径和方法对这一问题进行了大量的研究工作,其中萨克里( Saccheri,16671733)和兰勃特( Lambert,1728-1777)等人考虑了两个可能的与平行公设相反的假设,试图证明出平行公设,但是他们的努力均归于失败然而,在这些失败中却引出了一串与第五公设相等价的新命题和定理,即非欧几何的公理和定理,它预示了一种新的几何体系可能产生19世纪年轻的俄国数学家罗巴切夫斯基(1792-1856)产生
6、了与前人完全不同的信念:首先,他认为第五公设不能以其余的公理作为定理来证明;其次,除掉第五公设成立的欧氏几何之外,还可能有第五公设不成立的新几何系统存在于是,他在剔除第五公设而保留欧氏几何其余公理的前提下,引进与第五公设相反的公理,从而构造了一个全新的几何系统,它与欧氏几何系统相并列后来人们又证明了这两个部分地相矛盾的几何系统竟是相对相容的,即假定其中之一无矛盾,则另一个必定无矛盾,这样以来,只要这两个系统是无矛盾的,第五公设与欧氏系统的其余公理就必定独立无关现在人们就用罗巴切夫斯基的名字命名了这一新的几何学,并把一切不同于欧氏几何公理系统的几何系统统称为非欧几何非欧几何的建立在数学史上具有划
7、时代的意义,标志着人们对空间形式的认识发生了飞跃,从直观空间上升到抽象空间在建立非欧几何的过程中,公理化方法得到了进一步的发展和完善形式化德国数学家帕斯(Moritz Pasch,1843-1930)通过对射影几何公理化基础的纯逻辑的探讨,第一次从理论上提出了形式公理学的思想他认为,几何学如果要成为一门真正的演绎科学,最根本的是推导的进行必须完全独立于几何概念的涵义,同样地也必须不以图形为依据,而所考虑的只能是被命题或定义所确定的几何概念之间的关系就是说,一个公理系统必然要有本系统里不定义的概念,通过这些概念就可以给其它概念下定义,而不定义概念的全部特征必须由公理表达出来公理可以说是不定义概念
8、的隐定义有些公理虽然是由经验提出来的,但当选出一组公理之后,必须不再涉及经验及物理意义公理决不是自明的真理,而是用以产生任一特殊几何的假定帕斯的这些思想已经表达了形式公理系统的特征随着数学的深入研究和射影几何公理系统的建立,形式公理学的概念已经成熟1899年希尔伯特几何学基础一书的发表,不仅给出了欧氏几何的一个形式公理系统,而且解决了公理化方法的一系列逻辑理论问题这本著作成为形式公理学的奠基著作希尔伯特几何公理系统,除了有几何模型外,还可以有其它模型(如算术模型),所以它是一个形式公理系统,可以把其初始概念和公理看成是没有数学内容的,数学内容是通过解释赋予它们的,初始概念和公理完全可以用形式语
9、言来陈述因此,自从几何学基础问世以后,不仅公理化方法进入了数学的其它各个分支,而且也把公理化方法本身推向了形式化的阶段3作用意义分析、总结数学知识当一门科学积累了相当丰富的经验知识,需要按照逻辑顺序加以综合整理,使之条理化、系统化,上升到理性认识的时候,公理化方法便是一种有效的手段如近代数学中的群论,便经历了一个公理化的过程当人们分别研究了许多具体的群结构以后,发现了它们具有基本的共同属性,就用一个满足一定条件的公理集合来定义群,形成一个群的公理系统,并在这个系统上展开群的理论,推导出一系列定理数学研究的基本方法不但对建立科学理论体系,训练人的逻辑推理能力,系统地传授科学知识,以及推广科学理论
10、的应用等方面起到有益的作用,而且对于进一步发展科学理论也有独特的作用例如在代数方面,由于公理化方法的应用,在群论、域论、理想论等理论部门形成了一系列新的概念,建立了一系列新的联系并导致了一系列深远的结果;在几何方面,由于对平行公设的研究导致了非欧几何的创立因此,公理化方法也是在理论上探索事物发展规律,作出新的发现和预见的一种重要方法科学研究的对象介乎于逻辑学和数学之间的边缘学科 数理逻辑,用数学方法研究思维过程中的逻辑规律,也系统地研究数学中的逻辑方法因此,数学中的公理方法是数理逻辑所研究的一个重要内容由于数理逻辑是用数学方法研究推理过程的,它对公理化方法进行研究,一方面使公理化方法向着更加形
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 公理 系统 教学 提纲
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【人****来】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【人****来】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。