《广义相对论入门讲座》连载③——黎曼几何中的张量.pdfVIP

第 30卷第 9期 大 学 物 理 VoI．30 NO．9 2011年 9月 C0LLEGE PHYSICS Sep．2011 《广义相对论入门讲座》连载③ — — 黎曼几何 中的张量 赵 峥 (北京师范大学 物理系 ，北京 100875) 1 黎曼几何 的建立 几何学起源于古埃及尼罗河水泛滥后土地 的丈 量．公元前 300年左右的数学家欧几里得总结和发 展前人积累的知识 ，完成 了 《几何原本》一书 ，搭起 了欧几里得几何学的框架．欧氏几何 ，以它逻辑的严 密 ，形式的完备和优美 ，两千年来为数学家和哲学家 所倾倒．唯一使人感到美 中不足的是它的第五公设 ， 即平行公理．此公理说 ，“过直线外 的一点 ，可 以引 一 条 、并且 只能 引一条直线与原直线平行 (不相 交)”．与其他公设比较 ，这个公设显得过长、过于复 杂．人们 自然希望第五公设能从其他公设推 出，从而 不再是～个公设．这方面的尝试开始于公元 5世纪． 一 千多年 中，许多杰出数学家为它绞尽脑汁、耗尽才 华 ，结果都一无所获．无数前人的失败 ，终于使后人 悟 出了道理．第一个察觉其中奥妙 的人大概是高斯． 图 1 非欧几何 (上 图：正曲率空间；下图：负 曲率空间) 然而 ，由于欧氏几何在数学、哲学和神学中的神圣地 位 ，高斯缺乏公开挑战 的勇气 ，没有发表 自己的观 实际上 ，欧氏几何 、罗氏几何 、黎氏几何描述的 点．第一个公布新几何初步结果 的是年轻的匈牙利 是不 同曲率 的空 间．欧 氏几何描述零 曲率 空间 (如 数学家鲍 耶 (1802—1860年)．他从事这一研究不 平面)．黎氏几何描述正曲率空间(如球面)．罗 氏几 久 ，就走上 了正确 的道路．他采用反证法 ，企 图从 何描述负曲率空间(如伪球面 、马鞍面)．弯 曲空间 “第五公设不成立”引出谬误．然而他在反证 的路上 中没有直线．罗巴切夫斯基等人谈论的直线实际是 越走越远 ，却始终不见 “谬误”的影子．鲍 耶终于认 “短程线”，即两点之间的最短线．平直空 间中的短 识到第五公设确实是不可证 明的公理，但是 ，人们可 程线就是直线．短程线可 以看作直线在弯曲空间的 以引入不同于第五公设 的其他公理 ，取代 “第五公 推广．罗巴切夫斯基等人所说的平行直线 ，实际上是 设”建立新 的几何学． “不相交 的短程线”． 最先建立完整的新几何学的是俄 国数学家罗巴 表 1 3种 几何的比较 切夫斯基 (1792—1856年)．他与鲍耶一样 ，用 “过直 线外一点，可 以引两条 以上直线与原直线平行 (不 空间曲率 平行线 三角 内角 圆周率 例 相交)”的新公设来取代第五公设．罗巴切夫斯基的 新几何 ，被称为罗氏几何． 数学家黎曼用另一个公设来代替欧几里得的第 五公设．他提出，“过直线外一点的任何直线都必定 与原直线相交”．他所建立的几何称黎氏几何．