《十九世纪几何学统一的途径》由会员分享，可在线阅读，更多相关《十九世纪几何学统一的途径（9页珍藏版）》请在金锄头文库上搜索。
1、摘要非欧几何的出现打破了长期以来只有一种几何学即欧几里得几何学的局面。 十九世纪中叶以后，通过否定欧氏几何中这样或那样的公理、公设，产生了各种 新的几何学，加上与非欧几何并行发展的射影几何、微分几何以及较晚出现的拓 扑学等，这个时期的几何学出现了百花齐放的局面。由此，用统一的观点解释它 们便成为数学家们的重要任务。克莱因以变换群的思想统一几何学，但该思想却 未能包括所有的几何学领域。希尔伯特提出了另一条对现代数学影响深远的统一 几何学的途径公理化方法，这种方法已经远远超出几何学的范围而和集合论 思想成为现代数学统一化趋势的两大推手。关键词： 几何学的统一；非欧几何；公理化方法The Way o
2、f Unifying Geometry in the 19th CenturyAbstractThe non-Euclid geometry appearance has broken the situation of the only kind of geometry that is Euclidean geometry for a long time. After the middle of the nineteenth century, by denying all justice and axiom of Euclidean geometry, all sorts of new geo
3、metry, projective geometry, differential geometry which is parallel with non-Euclid geometry and topology which emerged later emerged, in this period geometry possessed infinite and wide development prospects. Thus, using unified view to explain their will become an important task of mathematicians.
4、 Klein unified geometry by the thought of the transformation group, but the thought failed to include all of the geometry. Hilbert put forward another way to unify geometry which influenced modern mathematics profoundly. The method that is axiomatic method has gone far beyond the scope of the geomet
5、ry. Axiomatic method and set theory thought became two big push unified trend of modern mathematics.Key word:The unity of the geometry; Non-Euclid geometry; Axiomatic met十九世纪几何学统一两种途径张俊青18世纪数学发展的主流是微积分学的扩展，它与力学和天文学等应用问题 紧密交织在一起，开创了许多数学研究新领域，成为由近代数学向现代数学过渡 的重要阶段。但这个时期的数学家将数学与天文和力学等同起来的反映论数学观 也使数学渐渐走入
6、了死胡同，数学内部积累的逻辑和现实的矛盾逐渐酝酿新的变 革，并于19世纪初导致了数学研究的井喷式发展，几何、代数、分析各分支出 现如雨后春笋般的竟相发展。这一时期的几何学经历了由欧氏到非欧、由综合到 解析、由平直到弯曲、由具体到抽象的革命性进展，在非欧几何、射影几何、微 分几何、拓扑学等领域做出开创性的成绩。这些进展使数学冲破了反映论、真理 符合论的束缚，剥离了其同客观现实的关系，进而使其走下“真理的神坛”，逐 渐转向抽象、可能的形式推理和计算的途径，表现出数学中的语言学转向。 1 不仅如此，除了各种非欧几何外，数学家们还开创了诸如非阿基米德几何、非勒 让德几何、非黎曼几何等新的研究方向和分支
7、，将二维、三维几何学推广到 n 维、无限维几何学，空间元素也不再局限为点，而可以是线、圆、曲面等。然而，几何学这种研究对象的扩展、研究手段的多样性以及层出不穷的研究 成果也使其变得支离破碎，被分割成为许多几乎互不相干的分科，其中每一个分 科几乎都是独立地发展着。2在这样的形势下，寻找不同几何学分支之间的内在 联系，用统一的思想和观点来统摄它们，便成为数学家迫切要解决的问题。一、爱尔兰根纲领变换群的观点 统一几何学的第一个大胆计划是由德国数学家克莱因提出的。 18651871 年间，在普吕克、凯莱等数学家的工作的影响下，克莱茵首先借用凯莱绝对形的 概念，将几种非欧几何统一在射影几何下，沟通了非欧
8、几何与射影几何的联系， 使得在射影几何的框架内也能研究非欧几何。他把凯莱的绝对形二次曲面的性质 具体化，当充当绝对形二次曲面是实椭球面，或实椭圆抛物面，或实双叶双曲面 时，便得到罗巴切夫斯基非欧几何；而当绝对形二次曲面是虚的时，便得到狭义 黎曼非欧几何（正的常曲率）；如果绝对形是球面虚圆，便得到通常的欧几里得 几何。于是欧几里得几何、罗巴切夫斯基非欧几何和狭义黎曼非欧几何等几种度 量几何都被统一于射影几何而成为其特例。在此背景下克莱因还把上述几何学予 以重新命名，他把罗巴切夫斯基几何叫做双曲几何，正的常曲率曲面上的黎曼几 何叫做椭圆几何，而把欧几里得几何称为抛物几何，克莱因对 3 种几何学的重
9、新 命名体现了他追求几何理论统一性的思想。进一步，以他和数学家S李关于群 论的工作为基础，1872 年克莱因在受聘为爱尔兰根大学教授的就职演说中提出 了将群论应用于几何学，对几何学进行重新定义，并在此基础上整理分类的思想， 开辟了研究几何学的新途径和方法，这就是后来所称的爱尔兰根纲领。克莱因首先对变换群的概念做了较为明确的描述，即从集合S到它自身的所 有变换的集合T如果对其上元素的乘积封闭，且包含任意变换的逆变换，则构成 一个乘法运算下的群，简称为变换群。在此概念基础上，他对几何学的定义是： 几何学是当集合S中的元素在某变换群T中所包含的变换作用下保持不变的性质 或不变量的研究，相应的几何学可
10、记为G(S,T)。3正是这个演讲中，克莱因基于自己早些时候的工作以及挪威数学家李在群论 方面的工作，阐述了几何学统一的思想：所谓几何学，就是研究几何图形对于某 类变换群保持不变的性质的学问，或者说任何一种几何学只是研究与特定的变换 群有关的不变量。这样一来，不仅19 世纪涌现的几种重要的、表面上互不相干 的几何学被联系到一起，而且变换群的任何一种分类也对应于几何学的一种分 类。6欧几里得几何研究的是长度、角度、面积等这些在平面中的平移和旋转下保 持不变的性质。平面中的平移和旋转(也称刚性运动)构成一个变换群，可以用 代数式表示为：f x = a x + a y + a ,J111213I y，
11、= a x + a y + a ,212223其中a11a22 -饰役二1-这些式子构成了 一个群的元素，而将这种元素结合在一起 的“运算”就是依次进行这种类型的变换。容易看出，如果在进行上述变换后紧 接着进行第二个变换：fx = b xr + b yr + b ,J111213I y二 b xr + b yr + b ,212223其中b11b22 - b/21= 1-那么相继进行这两个变换的结果，就等价于某个单一的这一ff ff类型的变换将点（x, y）变成点（x，y ）。如果在上述变换中，将限制aiia22 ai2a2i= 1用更一般的要求 aiia22 - ai2a21丰0来代替，那么
12、这种新变换也构成一个群。然而，在这样的变换 下，长度和面积不再保持不变，不过一个已知种类的圆锥曲线（椭圆，抛物线或 双曲线）经过变换后仍是同一种类的圆锥曲线。这样的变换称为仿射变换，它们 所刻画的几何称为仿射几何。因此，按照克莱因的观点，欧几里得几何只是仿射 几何的一个特例。仿射几何则是更一般的几何射影几何的一个特例。一个射影变换可以写 成如下形式：, a x + a y + aX =12,a x + a y + a313233,a x + a y + aa x + a y + a313233其中aij的行列式必须不为零。射影变换下的不变量有线性、共线性、交比、调 和点组以及保持圆锥曲线不变等
13、。显然，如果a31 =2= 0并且a33二1，射影变换 就成了仿射变换。以射影几何为基础的克莱因几何学分类中，一些主要几何间的关系为：射影 几何分为仿射几何、单重椭圆几何、双重椭圆几何（黎曼几何）、双曲几何（罗 巴切夫斯基几何）；仿射几何又分为抛物几何（欧几里得几何）、其他仿射几何。在克莱因的分类中，还包括了当时的代数几何和拓扑学，克莱因对拓扑学的 定义是“研究由无限小变形组成的变换的不变性”。这里“无限小变形”就是一 一对应的双方连续变换。拓扑学在20世纪才获得独立的发展并成为现代数学的 核心学科之一，克莱因在1872年就提出把拓扑学作为一门重要的几何学科。确 实是有远见的看法。艾尔朗根纲领
14、的提出，正意味着对几何认识的深化。它把所有几何化为统一 的形式，使人们明确了古典几何所研究的对象，同时显示出如何建立抽象空间所 对应几何的方法。并非所有的几何都能纳入克莱因的方案，例如今天的代数几何 和微分几何，然而克莱因的纲领的确能给大部分的几何提供一个系统的分类方 法，对几何思想的发展产生了持久的影响。二、几何基础公理化方法 克莱因发表爱尔朗根纲领时年仅23岁。1886 年，他受聘到哥廷根大学 担任教授。他的到来，使哥廷根这座具有高斯、黎曼传统的德国大学更富科学魅 力，在被引向哥廷根的许多年轻数学家中，最重要的一位是希尔伯特。正是这位希尔伯特，在来到哥廷根 3 年以后，提出了另一条对现代数
15、学影响 深远的统一几何学的途径公理化方法。公理化方法始于欧几里得，然而当 19 世纪数学家们重新审视原本中的公理体系时，却发现它有许多隐蔽的假 设，模糊的定义及逻辑的缺陷，这就使他们着手重建欧氏几何以及其他包含同样 弱点的几何的基础。这项探索从一开始就是在对几何学作统一处理的观点下进行 的。在所有这些努力中，希尔伯特在几何基础中使用的公理化方法最为成功。 希尔伯特在总结了整个几何学发展的基础上提出了自己的公理系统和组织公理 系统的原则。在数学史上, 希尔伯特的方法被称为现代公理化方法, 以区别于欧 几里得的公理化方法。希尔伯特在几何基础中列出 5 组公理，分别是：1） 选择公理；2）顺序公理（
16、含 4个公理）；3）合同公理（含 5个公理）；4）平行公理； 5）连续公理在这样自然的划分公理之后，希尔伯特在历史上第一次明确的提出了 选择和组织公理系统的原则，即：1、相容性。从系统的公理出发不能推出矛盾，故亦称“无矛盾性”；2、独立性。系统的每一条公理都不能是其余公理的逻辑推论；3、完备性。系统中所有的定理都可由该系统的公理推出。在这样组织起来的公理系统中，通过否定或者替换其中的一条或几条公理， 就可以得到相应的某种几何。例如用罗巴切夫斯基平行公理替代欧几里得平行公 理，而保持其余所有公里不变，就可以得到双曲几何；如果在抛弃欧氏平行公理 的同时，添加任意两条直线都有一个公共点或至少有一个公共点的公理，并适当 改变另外一些公理，就分别得到单重与双重椭圆几何等等。这样的做法，不仅给 出了已有
