广义相对论与黎曼几何--科学网上的一位大侠的精彩博文.pdf

黎曼几何和广义相对论 1. 既古老又现代的几何学 几何是一门古老的学科。恐怕没有哪一门学科，像欧几里德几何学那样，在公元前就已经被创立成形，历经 2000 多年，至今还活跃在 许多课堂上和数学竞赛试题中。尽管目前中国的中学教育已经不把平面几何当作必修课，一些学校删减了许多内容或者干脆取消了该 门课程，但在上世纪的60-80 年代，中国学生平面几何的水平肯定是算世界上比较高的。笔者还清楚地记得，解决平面几何难题，是 本人中学时代的最爱。我们高中的数学老师兼班主任，是一个刚从师范毕业的年轻人，对数学教学充满热情。印象颇深的是他在黑板 上画圆的绝活，他手握粉笔一挥一就，一笔下来，立刻在黑板上出现了一个规整的圆圈，用目测法很难看出这不是圆规画出来的。在 他的影响下，我们班一半人都变成了数学迷，几何迷，大家在几何世界中遨游，从中体会到数学的奥妙，也感受到无限的乐趣。那两 年，在教室的黑板上、课桌上，室外的石头边、树墩上，操场的篮球架上，随处可见同学们为思考几何题而画出来的三角形、直线、 和圆圈。也许总体而言，中国式的教育方法忽略了发展学生改革创新的能力，但我深信，那个时代我们解决思考的无数道数学几何难 题，对训练空间想象能力、逻辑推理能力，起了非常重要的作用。 纵观科学史，牛顿、爱因斯坦都是伟人，欧拉、高斯……伟大的数学家也可以列出不少，但恐怕很难找出像欧几里德这样的科学家， 从 2000 多年前一直到现代，人们还经常提到以他命名的”欧几里德空间”、”欧几里德几何”等等名词，真可谓名垂千古而不朽了。 阿基米德可能也能算一个，牛顿时代距离现在不过 400 来年，欧几里德和阿基米德却都是公元前古希腊时代的人物。 【1】 【2】 欧几里德的巨著— 《几何原本》 （在1607 年，有徐光启的中译本 ），不仅仅被人誉为有史以来最成功的教科书，而且在几何 学发展的历史中具有重要意义。其中所阐述的欧式几何是建立在五个公理之上的一套自洽而完整的逻辑理论，简单而容易理解。这点 令人惊叹，它标志着在 2000 多年前，几何学就已经成为了一个有严密理论系统和科学方法的学科！ 继欧几里德之后，16 世纪法国哲学家、数学家笛卡儿（1596～1650 年），将坐标的概念引入几何，建立了解析几何。 就平面几何而言，引入坐标的概念就是使用 x、y 来表示点、线、园等等图形在平面上的相对位置，因而便可以方便地应用解析的方法 来处理几何的问题。如此一来，几何问题便成为代数的问题。这种处理方法使几何问题变得简单容易多了。说起来可笑，这种简单容 易的方法反而使原来痴迷于求解平面几何难题的中学生们在刚学了解析几何之后，颇有一种失落感。因为解析几何使几何问题有了规 范的解法，好像几何不再具有原来的魅力，原来那样有趣的几何学，被 “解析”之后，突然间变得黯然失色、索然无味。 当然，谁也无法否认解析几何的诞生象征着几何发展的一个重要里程碑。解析几何不但能处理欧氏几何中的平面问题，还能解决三维 空间的问题，以至于推广到更高维空间的几何问题。比如就说在二维和三维空间中吧，解析几何可研究的图形范围大大扩大。对平面 曲线来说，欧氏几何中一般只能处理直线和圆。而现在有了坐标及函数的概念之后，直线可以用一次函数表示；圆可以用二次函数表 示，二次函数不仅能够表示圆，还能表示椭圆、抛物线、双曲线等其它情形。除此之外，解析几何中还可以用一个任意的方程式 f(x,y)=0，来表示所有的平面曲线，这些都使欧氏几何学望尘莫及。如果论及三维空间的话，在解析化之后，还能用三维坐标 （x,y,z）和它们的代数方程式，表示各种各样的空间曲线和奇形怪状曲面。进一步谈到更高维的空间，欧几里德几何就更无用武之地 了。 再到后来，数学的各个方面都有了巨大发展，特别是如我们在第一篇中所叙述的，牛顿和莱布尼茨发明了微积分，这是科学上的一件 大事，使得那个时代的整个数学和物理都改变了面貌。那么，它对几何学的发展又有何种影响呢？ 数学家们自然地将微积分这个强有力的工具用来研究几何学。实际上，微积分和几何的联系还更紧密一些，微积分的诞生也是得益于 几何研究的，两者相互影响和发展。因此，微积分诞生之后不久，便有了 “微分几何”这门新学科的萌芽。 法国数学家亚历克西斯 ·克莱洛（Alexis Clairaut ，1713 - 1763)）是微分几何的先行者之一 【3】。克莱洛是个名副其实的神童， 他是母亲生下的 20 个子女中唯一一个长大成人的。在身为数学教授的父亲的严格管教和高标准要求下，克莱洛 9 岁开始读《几何原本》， 13 岁时就在法国科学院宣读他的数学论文。