从平行公理说起

1、从平行公理说起从平行公理说起微分几何的历史和现状简介微分几何的历史和现状简介几何的历史与现状几何的历史与现状 古代人们在生产活动中，由于丈量土地，设计房屋等，逐步有了几何图形的概念。 古希腊几何学家欧几里得(Euclid)创立的欧氏几何，影响了人类几千年的历史。通过后人的不断完善，建立了严密的公理体系。 十六世纪黎曼(Riemann)首先对欧氏几何的平行公理提出质疑质疑，建立了黎曼几何。随后又有了罗拔切夫斯基(Lobachevsky)几何，也叫双曲几何。 自从发明了微积分以后，在几何中应用微积分的工具，产生了微分几何。 上世纪初，爱因斯坦(Einstein)创立了相对论。由于理论物理研究的需要

2、，微分几何得到了迅猛的发展。 当前，微分几何是数学研究领域中一个非常活跃的分支。它与微分方程、拓扑、分析等其他数学分支学科有着密切的联系。几何的历史与现状几何的历史与现状平行公理平行公理 欧几里德在他的名著几何原本中，以5个基本假设为基础，把当时人类已经掌握的纷杂的几何知识变成一个演绎系统，使用逻辑推理方法，一共推出了465个定理。 这个系统所依据的只是几个虽然没有加以证明，但是看起来相当明显，并且合乎人类经验的假设。这几个“不证自明”的事实叫做公理公理(axioms)。平行公理平行公理这些公理一共有五个： 1. 两点间必可连一条直线；两点间必可连一条直线；2. 直线可以任意延长；直线可以任意

3、延长； 3. 已知圆心及半径可作一圆；已知圆心及半径可作一圆； 4. 凡直角皆相等；凡直角皆相等；5. 两直线两直线 AB，CD 与另一直线交于与另一直线交于 E，F，若，若 ，则两直线在，则两直线在 BD 侧相交。侧相交。BEFEFD ADFECB平行公理平行公理 第五个公理就是有名的平行公理。 它不像前面的四个公理那么自明，亦即那么简单明了，那么众所公认。 虽然前人并不怀疑欧氏几何描述物理空间的真实性，但从有原本开始，大家就怀疑平行公理是否可以由其他的四个公理推出，或者可以用另一个更不证自明的公理来代替。 平行公理平行公理 平行公理通常以如下的等价形式出现：过直线外一点有唯一的一条直线与其

4、平行。过直线外一点有唯一的一条直线与其平行。所谓平行就是永不相交的意思，这就牵涉到“无穷”一个不很自明、无法亲身体验的观念。 欧几里得不采取后一种形式的平行公理，也许也是要使平行公理显得更自明的缘故。A平行公理平行公理 这个平行公理在所有公理之中是最不明显的，所以数学家或是对数学有兴趣的人便想从前面的四条公理去推得第五条平行公理。 这努力延持了两千年，后来证明这是不可能的，于是有了非欧几何学的发现。这在人类思想史上是非常特别、有意思的事情，是西方数学和中国数学不同的地方。 平行公理平行公理 下文引自国际微分几何学大师陈省身先生的一篇文章，原载于科学月刊第十八卷第六期。 平行公理平行公理 “九章

5、算经是中国古代最有名的数学书，一共九章，第九章谈的是所谓勾股。勾、股就是直角三角形中较短的两条边，一个叫做勾，另一个叫做股，而最长的那条边便称为弦。勾股定理也就是毕氏定理，所以它的发现，中国人也应该有份。但是在中国古代的几何中，我无法找到类似三角形三内角和等于180的结论，这是中国数学中没有的结果。” 平行公理平行公理 “因此，得之于国外数学的经验和有机会看中国数学的书，我觉得中国数学都偏应用；讲得过分一点，甚至可以说中国数学没有纯粹数学，都是应用数学。这是中国科学的一个缺点，这个缺点到现在还存在，大家都讲应用，不注意基础科学。当然应用很要紧，但是许多科学领域基本的发现都是在基础科学。”球面几

6、何球面几何 突破欧几里德平行公理的束缚，如果我们将平行公理换成 我们就得到球面几何。在这种几何体系中，也满足欧氏几何的前四条公理。 生活在地球上的人们，将大地看作平面。大地上的直线直线，是地球表面上连接两点的最短曲线，就像笔直的钢轨。如果从宇宙空间来看，其实是地球表面的大圆，即过球心的平面与球面的交线。P5. 过直线外一点没有直线与已给直线平行过直线外一点没有直线与已给直线平行球面几何球面几何 在球面几何中， 的内角和大于 事实上，有下面的公式： 式中 为球面半径， 表示 的面积。.2(/)ABCABCSR RABCSBAABCCABC非欧几何非欧几何 如果我们将平行公理换成： 我们就得到非欧

7、几何(罗拔切夫斯基几何)，也叫双曲几何。在这种几何体系中，也满足欧氏几何的前四条公理。5. 过直线外一点有两条直线与已给直线平行过直线外一点有两条直线与已给直线平行非欧几何非欧几何 非欧几何的基本模型是庞加莱(Poincare)双曲平面。考虑右手直角坐标平面的上半平面 该平面上的 “直直线线”是圆心在 轴上的半圆 以及垂直于 轴的直线.( , )|0Px yy22( , )|()x yyRxayxaRaRaP.xcxx非欧几何非欧几何 在非欧几何中， 的内角和小于 这时，有下面的公式： 式中 为双曲平面 的曲率， 表示 的面积。ByxCAABC.2(/)ABCABCSR ABCS21/RPAB

8、CGauss-Bonnet公式公式 欧氏几何、非欧几何和球面几何的多边形外角和可以用Gauss-Bonnet公式统一写成： 式中K为曲率， 为多边形内部的区域，dA为面积元素，L为边界曲线的长度，ds为边界曲线弧长的微分， 为边界曲线的测地曲率， 为第i 个外角。102 .LngiiKdAdsgiAii解析几何解析几何 欧几里得几何之后，第二个重要的发展是坐标几何。 法国哲学家、数学家笛卡儿 (Descartes) 为了研究几何，引进了坐标的概念，因此可用解析的方法来处理几何的问题。 通过建立坐标系，将平面上或空间中的点与有序数组 或 建立起一一对应，某些图形作为点集其坐标满足某个方程，从而可

9、以使用代数的知识作为研究几何的有力工具。( , )x yyxOz( , , )P x y z( , , )x y z解析几何解析几何 有了坐标系之后，使可研究的图形的范围扩大，除了直线的一次方程式，或者圆周的二次方程式，我们还可以取任意的方程 ，讨论所有其坐标 适合该方程的点的轨迹。因此许多用几何的方法很难处理的曲线，在解析化之后，都可从表示它的方程式中得到有关的几何性质。 ( , )0f x y ( , )x y解析几何解析几何 同时，研究的图形不再局限在二维的平面上，可推广至高维的空间。解析几何把几何研究的范围大大地扩大了，而科学发展的基本要求，就是要扩大研究的范围，了解更多的情形。笛卡儿

10、的解析几何，便达到了这个目的，使几何学迈入一个新的阶段。群的观念群的观念 第三个发展是群群(group)的观念在几何中的应用。 群是数学中一个基本的概念。在一个集合 G 中如果定义了一个运算(称为乘法) 满足下列条件： 1. 结合律： 2. 有单位元： 使得 3. 有逆元： 使得 则称 G 是一个群。:( , ),GGGa ba b,e aa a eaaG ,eG ()() ,a bcab caG ,bG ,a be b ae群的观念群的观念 欧氏几何研究的是几何对象经刚体运动群后不变的几何性质。这个观念立刻便有了重要的发展。既然可以讨论刚体运动群，当然还可以讨论更大的群，看是不是有些性质不但

11、在刚体运动群下不变，在更大的群之下也是不变的。历史上最主要的例子是射影几何。什么是射影空间 夜晚绚丽的星空， 星星组成各种各样的图形。 它们在空间的位置可能是这样的。什么是射影空间什么是射影空间我们看到的牛郎星。什么是射影空间什么是射影空间 所谓射影空间，就是将空间中过原点的直线看作一个“点”，由这样的“点”构成的空间叫做射影空间。射影几何就是研究由这样的点构成的几何图形的性质。例如，空间中过原点的平面构成了射影空间中的“直线”。群的观念群的观念 研究几何对象在射影群之下不变的性质是所谓射影几何。射影几何的发展，把几何的观念推广了，不只是有普通的欧氏几何，也可以讨论在射影群作用下不变的性质。有

12、许多经运动群后不变的性质，在射影变换后是变了的，像距离、角度，但是还有些更一般的性质在射影下是不变的，像平行、相交。这些性质能经过比运动群大一点的射影群作用不变，在几何上自有其重要的意义。 群的观念群的观念 在几何学的发展之中，有许许多多几何学，像欧氏几何学、射影几何学，及其他种种几何学，自然就要有一个人把它综合起来，那就是德国的数学家克莱恩(Klein)。群的观念群的观念 他在二十二岁的时候，前往德国小城Erlangen的一所大学任教。新教授上任必须做一次公开演讲，而他讲演的结果 Erlangen program(爱尔朗根纲领)，就是这个新几何学。群的观念群的观念 他把几何学建立在群的观念上

13、：一个空间有一个变换群，允许把空间的图形从这个位置移到另一个位置。 因此有了一个群之后，便有一种几何，它研究所有经过这个变换群不变的几何性质。这个群可以是欧几里得运动群，也可以是射影变换群，或者其他种种的群。因为群的选择不同，也就得到许多不同的几何学，其中包括非欧几何学。微分几何与黎曼几何微分几何与黎曼几何 在这阶段前，还有黎曼(Riemann)几何的发展，这是笛卡儿坐标几何的自然推广。 在 m 维空间 中，一个点 到原点的距离为 d , 则 即这个点到原点距离的平方是坐标的一个二次型。而黎曼不但用坐标，他还用坐标的微分，于是硬把笛卡儿几何局部化。1( ,)mxxmR22,idx微分几何与黎曼

14、几何微分几何与黎曼几何 因此黎曼几何可说是一个局部化的几何。黎曼几何主要建构在弧长 s 上，弧长微分的平方等于坐标的一个二次微分式，即 。用弧长即可建立一个几何，因为既然有了ds，便可计算连接两点的曲线的长度，也就是弧长。“测地线” (geodesic)是指在两点间使弧长最短的那条曲线，它是平面上直线的推广。有了弧长后，便可以有面积、角度及其他种种概念。 22idsdx微分几何与黎曼几何微分几何与黎曼几何 黎曼几何最初在二维的情形是高斯(Gauss)发展的，他在1827年写了一本差不多五十页的小册子，研究在二维(即曲面)的情形及这样的 之下，所能够发展的几何性质。他的目的是为了应用，因为当时的

15、德国政府要他主持一个测量工作，为了给这个测量工作一个理论甚础，于是高斯写下了这篇在微分几何上最重要的论文，微分几何自此诞生。以前关于把微积分用在几何上的问题，只能说是微积分在几何学上的应用，在高斯这篇文章之后，微分几何便成了一门独立的学问，就是从 得到一切的几何性质。2ds2ds微分几何与黎曼几何微分几何与黎曼几何 1854年，黎曼在为取得大学教书资格的公开演讲上，发表了黎曼几何的第一篇论文。黎曼几何并不像其他我们所谈的欧几里得几何，或者克莱恩的Erlangen program几何，或者是射影几何，需要整个的空间。在黎曼几何的情形之下，我们只需要空间的一部分，因为 有意义，我们便可量弧长、面积

16、、角度等几何性质，不需要知道全部的空间。也就是说，在这样的一个小块里，便可发展全部的几何性质，这是黎曼几何革命性的观念，使几何局部化，这件事和物理上的场论是完全符合的。2ds微分几何与黎曼几何微分几何与黎曼几何 真正使黎曼几何受到重视的是爱因斯坦的广义相对论。大致说起来，爱因斯坦的广义相对论是要把物理几何化，也就是说把物理的性质变为几何的性质，因此黎曼几何就成为理论物理学家一定要念的一门数学。到了黎曼空间一样有曲率的概念，只是因为黎曼空间是高维的，所以它的曲率概念就变得相当复杂。在爱因斯坦的广义相对论中的基本公式里，大致说起来，物理的力是一个曲率；数学家讲曲率和物理学家讲力、位势(potent

17、ial)、速度，是完全可以把它们连在一起的。联络、向量丛、规范场论联络、向量丛、规范场论 在黎曼几何中，Levi-Civita平行性是一个重要的观念。Levi-Civita 认为在黎曼几何(包括广义相对论里的其中一种，称为洛伦兹几何)都有一个很基本的性质，那就是平行性；在这个时候，空间不再是只用一个坐标系就能表示的空间，而是需要很多不同的坐标系才能表现的“流形” (manifold)，这样又把几何研究的空间推广了。什么是流形？什么是流形？ 所谓流形，简单来说，就是将 n 维欧氏空间中的一些开集通过适当的方式“光滑”地粘合起来。由此得到的几何对象，称为 n 维流形。 以球面为例，通过球极射影，除

18、了北极 N 之外，球面 上每一点 P 一一地对应于平面 上的一点 。NP),(yx),(yx11yx 同样地，在北极 N 放上一个平行的平面 ，从南极 S 向此平面作球极射影，P 点对应到平面 上的点 。 将平面 上的点 与平面 上的点 按照这种方式粘合起来，就得到一个流形球面 。NSP),(yx),(vu1222),(vu1),(yx),(vu22S联络、向量丛、规范场论联络、向量丛、规范场论 在流形上，经常要作坐标变换，就好比现代人，不只穿一件衣服，要常常换。也许有些人不太能接受这样“奇装异服”式的换坐标，但是没有关系，爱因斯坦花了七年的时间，才终于接受坐标可以转换的概念，从而由狭义相对论进展到广义相对论。 空间中有不同的坐标系，那么麻烦就来了，因为几何的性质是和坐标系的选取有关。不过不要紧，只要我们能控制坐标变换的性质，使在变换前具有的性质，经过变换之后仍为我们所控制，那么换坐标就没关系了，这是近代几何学比较困难的地方。联络、向量丛、规范场论联络、向量丛、规范场论 用以表示流形的坐标系是任意的，因此可能是非线性的坐标，这在处理上就变得比较困难；但是我们可以取线性的空间去逼近流形。换句话说，虽然流形本身是非线性的，但在流形上的一点，都有一个和普通空间一样的线性空间，即切空间。这些切空间之间原本是没