2014有关公理化思想.docVIP

公理化思想与欧几里德 所谓公理化方法（或公理方法），就是从尽可能少的无定义的原始概念（基本概念）和一组不证自明的命题（基本命题）出发，利用纯逻辑推理法则，把一门数学建立成为演绎系统的一种方法。所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系，而并非人们自由意志的随意创造。 如所共知，希尔伯特1899年出版的《几何学基础》一书是近代数学公理化的典范著作。该书问世后的二、三十年间曾引起西方数学界的一阵公理热，足见其影响之大。希尔伯特的几何公理系统实际是在前人的一系列工作成果基础上总结出来的，书中的公理条目也曾屡经修改。直到1930年出第七版时，还作了最后修改。这说明一门学科的公理化未必是一次完成的，公理化过程可以是包含一些发展阶段的。 谈到数学公理化的作用，至少可以举出如下三点：（1）这种方法具有分析、总结数学知识的作用。凡取得了公理化结构形式的数学，由于定理与命题均已按照逻辑演绎关系串联起来，故使用起来也较方便。（2）公理化方法把一门数学的基础分析得清清楚楚，这就有利于比较各门数学的实质性异同，并能促进和推动新理论的创立。（3）数学公理化方法在科学方法论上有示范作用。这种方法对现代理论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用。例如，20世纪四十年代波兰的巴拿赫（Banach）曾完成了理论力学的公理化；物理学家还把相对论表述为公理化形式，等等。 公理化方法的历史发展，大致可分成三个阶段： 一是公理方法的产生阶段，大约在公元前三世纪，希腊的哲学家和逻辑学家亚里斯多德（Aristotle）总结了古代积累起来的逻辑知识，以演绎证明的科学（主要是数学）为实例，把完全三段论作为公理，由此推导出别的所有三段论（共分了十九个格式）。因此可以认为，亚里士多德在历史上提出了第一个成文的公理系统。 亚里士多德的思想方法深深地影响了公元前三世纪的希腊数学家欧几里得，后者把形式逻辑的公理演绎方法应用于几何学，从而完成了数学史上的重要著作《几何原本》。欧几里得从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理。他总结概括出14个基本命题，其中有5个公设和9条公理。由此出发，他运用演绎方法将当时所知的几何知识全部推导出来，这便是古代数学公理方法的一个辉煌成就。 《几何原本》的问世标志了数学领域中公理方法的诞生。它的贡献不在于发现了几条新定理，而主要在于它把几何学知识按公理系统的方式妥切安排，使得反映各项几何事实的公理和定理都能用论证串联起来，组成了一个井井有条的有机整体。 二是公理方法的完善阶段，如所知，欧氏几何的公理系统是不完善的，其主要的不足之处可以概括为：（1）有些定义是不自足的，亦即往往使用一些未加定义的概念去对别的概念下定义。（2）有些定义时多余的，略去它毫不影响往后的演绎和展开。（3）有些定理的证明过程往往依赖于图形的直观。 另一方面，由于第五公设（即平行线公理）在陈述与内容上的复杂和累赘，古代学者们早就怀疑地指出，第五公设是不是多余的，它能否从其他公设、公理中逻辑地推导出来？而且进一步认为，欧几里得之所以把它作为公设，只是因为他未能给出这一命题的证明。因而，学者们纷纷致力于证明第五公设。但是所有试证第五公设的努力均归于失败，在这些失败之中唯一引出的正面结果便是一串与第五公设相等价的命题被发现。 基于两千多年来在证明第五公设的征途上屡遭失败的教训。十九世纪俄国年轻数学家JIoóausbckńň产生了与前人完全不同的信念：首先，认为第五公设不能以其他的几何公理作为定理来证明；其次，除掉第五公设成立的欧几里得几何之外，还可以有第五公设不成立的新几何系统存在。于是，他在剔除第五公设而保留几何其余公理的前提下引进了一个相反于第五公设的公理：“过平面上一已知直线外的一点至少可以引进两条直线与该已知直线平行”。这样，JIoóausbckńň在与前人完全不同的思想方法基础上构造了一个新的几何系统，它与欧几里得几何系统相并列。后来，人们又证明了这两个部分地相互矛盾的几何系统竟是相对相容的，亦即假定其中之一无矛盾，则另一个必定无矛盾。如此，只要这两个系统是无矛盾的，第五公设与欧氏系统的其余公理就必定独立无关。现在人们就用JIoóausbckńň的名字对这一新几何命名，并把一切不同于欧氏几何公理系统的几何系统统称为非欧几何。应当指出，独力地发现这个新几何的还有大数学家高斯和青年大学生Bolyai。但是高斯由于害怕学术界顽固守旧势力的攻击而始终不敢公开发表他的结果。 非欧几何学中的一系列命题都和人们的朴素直观不相符合。这是它在开创阶段之所以遭受人们冷嘲热讽的重要原因。但是，这种背离直观的几何学在逻辑系统内没有矛盾，演绎论证的严格性也是无懈可击的。事实上，非欧几何给人们开拓了“空间”的概念（如所知，非欧几