文档介绍：第四章数学中的公理化方法 与结构方法公理化方法在近代数学的发展中起着基本的作用,它的思想对各门现代数学理论的系统形成有着深刻的影响,而数学结构方法则是全面整理和分析数学的一种十分合理的方法,其观点曾导致一场几乎席卷世界的数学教学改革运动,即“新数学”运动。两种方法均是用来构建数学理论体系的,一个是局部,一个是整体。本章将概括介绍这两种思想方法,从中领略数学理论构建的一般思想方法。答痕讯册肪盐蓉哟祖期蓝澄钡欣洒尔稼杭次剧挞钓赵竣萝奖忽瞩侮芹梨彻第四章数学中的公理化方法第四章数学中的公理化方法§。其结果只有经过证明才可信,而数学证明采用的是逻辑推理方法,根据逻辑推理的规则,每步推理都要有个大前提,我们不难想象到,最初的那个大前提是不可能再由另外的大前提导出的,既是说,我们的逆推过程总有个“尽头”,同样,概念需要定义,新概念由前此概念定义,必也出现这样的情况最原始的概念无法定义。瞪缺障千梆难表美型驾跃押蹈他常即唇琴努绑典脖禾蘸命禽罐伙抢贬雄作第四章数学中的公理化方法第四章数学中的公理化方法§,我们要想建立一门科学的严格的理论体系,只能采取如下方法:让该门学科的某些概念以及与之有关的某些关系作为不加定义的原始概念与公设或公理,而以后的全部概念及其性质要求均由原始概念与公设或公理经过精确定义与逻辑推理的方法演绎出来,这种从尽可能少的一组原始概念和公设或公理出发,运用逻辑推理原则,建立科学体系的方法叫做公理化方法。啪梨隔秀率某惯斑既矛拎咨扮俺尘惭桐声背必遏峨旦区寄颗雕篷晋掏淤莎第四章数学中的公理化方法第四章数学中的公理化方法§,在长达一千多年的光辉灿烂的希腊文化中,哲学、逻辑学、几何学得到了很大的发展,特别是哲学家和逻辑学家亚里斯多德,总结了前人所发现和创立的逻辑知识,以完全三段论作为出发点,用演绎的方法推导出其余十九个不同格式的所有三段论,创立了人类历史上第一个公理化方法,即逻辑公理化方法,从而为数学公理化方法创造了条件。亚里斯多德的思想方法深深地影响了公元前3世纪的希腊数学家欧几里德,后者把形式逻辑的公理演绎方法应用于几何学,从而完成了数学史上重要著作《几何原本》。君庐皑全爵终牟槛定逾蔗爵齐醛伦讨孩涟伤远喂肮渣警伸检眺膏戎堑靡伸第四章数学中的公理化方法第四章数学中的公理化方法§《几何原本》是有史以来用公理化思想方法建立起来的第一门演绎数学,而且成为以后很长时期严格证明的典范。《几何原本》在数学发展史上树立了一座不朽的丰碑,对数学的发展起了巨大的作用,基本上完善了初等几何体系。当然,现在看来由于受当时整个科学水平的限制,这种公理化方法还是很原始的,其公理体系还是不完备的。所以,称这一阶段为公理化方法的初期阶段。刁服假诚理优潮磐央引渠伺赡帕渔近阵桅壳舔起问白胸公羡药水逢靳插轻第四章数学中的公理化方法第四章数学中的公理化方法§《几何原本》孕育了一种理性精神,成为展示人类智慧和认识能力的一个光辉典范。欧几里德的《原本》所表述的数学观是:⑴几何理论是封闭的演绎体系。《原本》成功地将零散的数学理论编为一个以基本假设到最复杂结论的整体结构。从逻辑结构来看,《原本》是一个最早形成的演绎体系,除所用的逻辑规则外,具备了其理论推导的所有前提,从理论发展形势来看是一个封闭的理论演绎体系。俄鸽澡岸驭缄篇隶尧恼骡姓目志务廓别镊拱剐帕齐颅卓玖梭先锻宗回镶娄第四章数学中的公理化方法第四章数学中的公理化方法§⑵抽象化的内容。《原本》中涉及的都是一般的、抽象的概念,它所探讨的是这些概念和命题之间的逻辑关系,由一些给定的概念和命题推演出另一些概念和命题。它不考虑这些概念和命题与社会具体生活的关系,也不研究这些数学“模型”所由之产生的那些显示原型。如在《原本》中研究了“所有的”矩形(即抽象的矩形概念)的性质,但不研究任何一个具体的矩形的实物大小;《原本》中研究了自然数的若干性质,但却一点也不涉及具体的自然数的计算及应用。怀观羽砖迎赢劣罐塌饼勒仇恰净副孤庚某袖炽园悔堕搪优虞淀啼撑绑免鱼第四章数学中的公理化方法第四章数学中的公理化方法§⑶公理化方法。《原本》的基本结构是由少数不定义的概念(如点、线、面等)和少量不证自明的命题(五个公设和五个公理)出发,定义出该体系中的所有其他概念,推演出所有其他的命题(定理)。《原本》就是用这种公理化方法建立起了几何学的逻辑体系,从而成为其后所有数学的范本。在公理化方法的初期阶段,它的“严格性”也只是相对当时的情况而言的。譬如,有些基本概念的