搜索
什么是“公理化”2010-03-1119:08数学上，一个公理系统（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以用来一起逻辑的导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例；但是通常完全角式化的努力带来在确定性上递减的收益，并让人更加无法阅读。所以，公理系统的讨论通常只是半角式化的。一个形式化理论通常表示一个公理系统，例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。性质一个公理系统称为自洽（或称相容、一致性），如果它没有矛盾，也就是说没有从公理导出一个命题及其逆命题的能力。在一个公理系统中，一个公理被称为独立的，若它不是一个从系统的其它公理可以导出的定理。一个系统称为独立的，若它的每个定理都是独立的。虽然独立性不是一个系统的必要需求，自洽性却是必要的。一个公理系统称为完备的，若每个命题都可以导出或其逆可以导出。模型公理系统的数学模型是一个定义严谨的集合，它给系统中出现的未定义术语赋予意义，并且是用一种和系统中所定义的关系一致的方式。具体模型的存在性能证明系统的自洽。模型也可以用来显示一个公理在系统中的独立性。通过构造除去一个特定公理的子系统的正确模型，我们表明该省去的公理是独立的，若它的正确性不可以从子系统得出。两个模型被称为同构，如果它们的元素可以建立一一对应，并且以一种保持它们之间的关系的方式。一个其每个模型都同构于另一个的公理系统称为范畴式的，而可范畴化的性质保证了系统的完备性。第一个公理系统是欧氏几何。公理化方法公理化方法经常被作为一个单一的方法或着一致的过程来讨论。以欧几里得为榜样，它确实在很多世纪中被这样对待：直到19世纪初叶，在欧洲数学和哲学中古希腊数学的遗产代表了智力成就（在几何学家的风格中，更几何的发展）的最高标准这件事被视为理所当然（例如在斯宾诺莎的著作中所述）。这个传统的方法中，公理被设定为不言自明的，所以无可争辩，这在19世纪逐渐被扫除，这是随着非欧几何的发展，实分析的基础，康托的集合论和弗雷格在数学基础方面的工作，以及希尔伯特的公理方法作为研究工具的“新”用途而发生的。例如，群论在该世纪末第一个放到了公理化的基础上。一旦公理理清了（例如，逆元必须存在），该课题可以自主的进展，无须参考这类研究的起源—变换群。所以，现在在数学以及它所影响的领域中至少有3种“模式”的公理化方法。用讽刺描述法，可能的态度有：1.接受我的公理，你就必须承担它们的后果。2.我拒绝你的公理之一并且采纳更多的模型（Irejectoneofyouraxiomsandacceptextramodels）。3.我的公理集定义了一个研究领域。第一种情况定义了经典的演绎方法。第二种采用了博学点，一般化这个口号;它和概念可以和应该用某种内在的自然的广泛性来表达的假设是一致的。第三种在20世纪数学中有显著的位置，特别是在基于同调代数的课题中。很显然公理化方法在数学之外是有局限性的。例如，在政治哲学中，导致不可接受的结论的公理很可能被大量拒绝；所以没有人真的统一上面的第一个版本。生活中的几何—欧式几何本帖来自:数学中国作者:huashi3483日期:2004-9-2614:24您是本帖第962个浏览者几何学发展简况“几何”这个词在汉语里是“多少？”的意思，但在数学里“几何”的涵义就完全不同了。“几何”这个词的词义来源于希腊文，原意是土地测量，或叫测地术。]!Z2s3|0q0G0~:i1C几何学和算术一样产生于实践，也可以说几何产生的历史和算术是相似的。在远古时代，人们在实践中积累了十分丰富的各种平面、直线、方、圆、长、短、款、窄、厚、薄等概念，并且逐步认识了这些概念之间、它们以及它们之间位置关系跟数量关系之间的关系，这些后来就成了几何学的基本概念。正是生产实践的需要，原始的几何概念便逐步形成了比较粗浅的几何知识。虽然这些知识是零散的，而且大多数是经验性的，但是几何学就是建立在这些零散、经验性的、粗浅的几何知识之上的。)?&J:r)a8}0F'x几何学是数学中最古老的分支之一，也是在数学这个领域里最基础的分支之一。古代中国、古巴比伦、古埃及、古印度、古希腊都是几何学的重要发源地。8r/{-H+|i3f'k/s大量出土文物证明，在我国的史前时期，人们已经掌握了许多几何的基本知识，看一看远古时期人们使用过的物品中那许许多多精巧的、对称的图案的绘制，一些简单设计但是讲究体积和容积比例的器皿，都足以说明当时人们掌握的几何知识是多么丰富了。+P(Q2g/c-cE9_%n几何之所以能成为一门系统的学科，希腊学者的工作曾起了十分关键的作用。两千多年前的古希腊商业繁荣，生产比较发达，一批学者热心追求科学知识，研究几何就是最感兴趣的内容，在这里应当提及的是哲学家、几何学家柏拉图和哲学家亚里士多德对发展几何学的贡献。!S8?)X-y4N;|柏拉图把逻辑学的思想方法引入了几何，使原始的几何知识受逻辑学的指导逐步趋向于系统和严密的方向发展。柏拉图在雅典给他的学生讲授几何学，已经运用逻辑推理的方法对几何中的一些命题作了论证。亚里士多德被公认是逻辑学的创始人，他所提出的“三段论”的演绎推理的方法，对于几何学的发展，影响更是巨大的。到今天，在初等几何学中，仍是运用三段论的形式来进行推理。但是，尽管那时候已经有了十分丰富的几何知识，这些知识仍然是零散的、孤立的、不系统的。真正把几何总结成一门具有比较严密理论的学科的，是希腊杰出的数学家欧几里得。欧几里得在公元前300年左右，曾经到亚历山大城教学，是一位受人尊敬的、温良敦厚的教育家。他酷爱数学，深知柏拉图的一些几何原理。他非常详尽的搜集了当时所能知道的一切几何事实，按照柏拉图和亚里士多德提出的关于逻辑推理的方法，整理成一门有着严密系统的理论，写成了数学史上早期的巨著——《几何原本》。《几何原本》的伟大历史意义在于，它是用公理法建立起演绎的数学体系的最早典范。在这部著作里，全部几何知识都是从最初的几个假设除法、运用逻辑推理的方法展开和叙述的。也就是说，从《几何原本》发表开始，几何才真正成为了一个有着比较严密的理论系统和科学方法的学科。*v#d&r4m'?欧几里得的《几何原本》9j8_3g/S,v$b0b$Tj3t欧几里得的《几何原本》共有十三卷，其中第一卷讲三角形全等的条件，三角形边和角的大小关系，平行线理论，三角形和多角形等积（面积相等）的条件；第二卷讲如何把三角形变成等积的正方形；第三卷讲圆；第四卷讨论内接和外切多边形；第六卷讲相似多边形理论；第五、第七、第八、第九、第十卷讲述比例和算术得里论；最后讲述立体几何的内容。-~7a#w!m.~1p1}/c从这些内容可以看出，目前属于中学课程里的初等几何的主要内容已经完全包含在《几何原本》里了。因此长期以来，人们都认为《几何原本》是两千多年来传播几何知识的标准教科书。属于《几何原本》内容的几何学，人们把它叫做欧几里得几何学，或简称为欧式几何。&l3o)uQ-Q+Q+D:N.m4k%v3q《几何原本》最主要的特色是建立了比较严格的几何体系，在这个体系中有四方面主要内容，定义、公理、公设、命题（包括作图和定理）。《几何原本》第一卷列有23个定义，5条公理，5条公设。（其中最后一条公设就是著名的平行公设，或者叫做第五公设。它引发了几何史上最著名的长达两千多年的关于“平行线理论”的讨论，并最终诞生了非欧几何。）这些定义、公理、公设就是《几何原本》全书的基础。全书以这些定义、公理、公设为依据逻辑地展开他的各个部分的。比如后面出现的每一个定理都写明什么是已知、什么是求证。都要根据前面的定义、公理、定理进行逻辑推理给予仔细证明。关于几何论证的方法，欧几里得提出了分析法、综合法和归谬法。所谓分析法就是先假设所要求的已经得到了，分析这时候成立的条件，由此达到证明的步骤；综合法是从以前证明过的事实开始，逐步的导出要证明的事项；归谬法是在保留命题的假设下，否定结论，从结论的反面出发，由此导出和已证明过的事实相矛盾或和已知条件相矛盾的结果，从而证实原来命题的结论是正确的，也称作反证法。欧几里得《几何原本》的诞生在几何学发展的历史中具有重要意义。它标志着几何学已成为一个有着比较严密的理论系统和科学方法的学科。从欧几里得发表《几何原本》到现在，已经过去了两千多年，尽管科学技术日新月异，但是欧几里得几何学仍旧是中学生学习数学基础知识的好教材。由于欧氏几何具有鲜明的直观性和有着严密的逻辑演绎方法相结合的特点，在长期的实践中表明，它巳成为培养、提高青、少年逻辑思维能力的好教材。历史上不知有多少科学家从学习几何中得到益处，从而作出了伟大的贡献。.i2]$O;N.?4I0J6w6P,?少年时代的牛顿在剑桥大学附近的夜店里买了一本《几何原本》，开始他认为这本书的内容没有超出常识范围，因而并没有认真地去读它，而对笛卡儿的“坐标几何”很感兴趣而专心攻读。后来，牛顿于1664年4月在参加特列台奖学金考试的时候遭到落选，当时的考官巴罗博士对他说：“因为你的几何基础知识太贫乏，无论怎样用功也是不行的。”这席谈话对牛顿的震动很大。于是，牛顿又重新把《几何原本》从头到尾地反复进行了深入钻研，为以后的科学工作打下了坚实的数学基础。5@.b3e%b!_近代物理学的科学巨星爱因斯坦也是精通几何学，并且应用几何学的思想方法，开创自己研究工作的一位科学家。爱因斯坦在回忆自己曾走过的道路时，特别提到在十二岁的时候“几何学的这种明晰性和可靠性给我留下了一种难以形容的印象”。后来，几何学的思想方法对他的研究工作确实有很大的启示。他多次提出在物理学研究工作中也应当在逻辑上从少数几个所谓公理的基本假定开始。在狭义相对论中，爱因斯坦就是运用这种思想方法，把整个理论建立在两条公理上：相对原理和光速不变原理。在几何学发展的历史中，欧几里得的《几何原本》起了重大的历史作用。这种作用归结到一点，就是提出了几何学的“根据”和它的逻辑结构的问题。在他写的《几何原本》中，就是用逻辑的链子由此及彼的展开全部几何学，这项工作，前人未曾作到。但是，在人类认识的长河中，无论怎样高明的前辈和名家，都不可能把问题全部解决。由于历史条件的限制，欧几里得在《几何原本》中提出几何学的“根据”问题并没有得到彻底的解决，他的理论体系并不是完美无缺的。比如，对直线的定义实际上是用一个未知的定义来解释另一个未知的定义，这样的定义不可能在逻辑推理中起什么作用。又如，欧几里得在逻辑推理中使用了“连续”的概念，但是在《几何原本》中从未提到过这个概念。2E6K,^.@#B9Z1i,o现代几何公理体系,x!p#J,k-y$Q8g人们对《几何原本》中在逻辑结果方面存在的一些漏洞、破绽的发现，正是推动几何学不断向前发展的契机。最后德国数学家希尔伯特在总结前人工作的基础上，在他1899年发表的《几何基础》一书中提出了一个比较完善的几何学的公理体系。这个公理体系就被叫做希尔伯特公理体。8|;S4C0w.U+G'M希尔伯特不仅提出了—个完善的几何体系，并且还提出了建立一个公理系统的原则。就是在一个几何公理系统中，采取哪些公理，应该包含多少条公理，应当考虑如下三个方面的问题：第一，共存性(和谐性)，就是在一个公理系统中，各条公理应该是不矛盾的，它们和谐而共存在同一系统中。!?7G#a7X7FP&i8~;T%{,A4A第二，独立性，公理体系中的每条公理应该是各自独立而互不依附的，没有一条公理是可以从其它公理引伸出来的。:L4`.A,y,H8]第三，完备性，公理体系中所包含的公理应该是足够能证明本学科的任何新命题。这种用公理系统来定义几何学中的基本对象和它的关系的研究方法，成了数学中所谓的“公理化方法”，而把欧几里得在《几何原本》提出的体系叫做古典公理法。公理化的方法给几何学的研究带来了一个新颖的观点，在公理法理论中，由于基本对象不予定义，因此就不必探究对象的直观形象是什么，只专门研究抽象的对象之间的关系、性质。从公理法的角度看，我们可以任意地用点、线、面代表具体的事物，只要这些具体事物之间满足