经典图书介绍：广义相对论--1972讲稿

Turing_321

已于 2022-06-06 16:11:08 修改

阅读量678

点赞数

分类专栏： GNSS基础文章标签：几何学其他

于 2020-01-03 08:50:37 首次发布

本文链接：https://blog.csdn.net/turing321_huaide/article/details/103806783

版权

GNSS基础专栏收录该内容

4 篇文章 2 订阅

订阅专栏

关于作者

$\qquad$ 作者罗伯特·杰勒 (Robert Geroch)（1942年生于美国俄亥俄州阿克伦城）是美国芝加哥大学的一位理论物理学家和教授。他师从John Archibald Wheeler，1967年获得普林斯顿大学博士学位。他的主要研究兴趣是数学物理和广义相对论。

$\qquad$ 杰勒西是我国著名相对论学家梁灿彬在美国芝加哥大学做访问学者时的老师之一，指导梁老或与梁老合作发表了若干篇相对论方面的论文。

$\qquad$ 杰勒西的理论物理教学法把物理现象解释和描述它们的数学结构精巧地交织在一起，相互补充，让最抽象和最微妙的问题都能容易地得到理解。他还付出很大努力，向非科技学生们传授物理学和数学物理学。

作者罗伯特·杰勒 (RobertGeroch)

简介

$\qquad$ 罗伯特·杰勒西(Robert Geroch)的广义相对论课程讲稿（英文版书名为"General Relativity - 1972 Lecture Notes"），是Minkowski Institute Press出版的新讲稿系列中的第一卷。出版这一系列图书是为了延长这些有价值讲稿在空间和时间中的生命，通过启迪现今和未来一代，让它们继续服务于崇高的目的。

图书封面
$\qquad$ 杰勒西的广义相对论课程讲稿是独一无二的，主要体现在三个方面。首先，广义相对论物理学和描述它的数学，以一种互补方式精巧地交织在一起，让最抽象和最微妙的问题都能容易地加以理解。第二，物理现象先用时空术语适当解释，之后再表明如何将它们"分解"为人们所熟知的、由一位观测者测量的、用空间和时间表达的量。第三，通过将最抽象概念可视化来教导理论物理学，这种成功的杰勒西教学法，使用约一百幅图，充分地运用到了他的广义相对论演讲中。

$\qquad$ 尽管本书包含的课程讲稿写于1972年，但它是并将一直是广义相对论一本优秀的入门书籍。它涵盖了这门学科的物理基础、数学形式、经典预测试验、宇宙学应用、大量特定和重要论题（例如：广义相对论的初值形式、信号传播、时间定向、因果破坏、奇点定理、共形变换、时空渐近结构）、以及引力场量子化的早期方法。

导读

$\qquad$ 狭义相对论不接受瞬时作用，因此必须将空间和时间结合为平直时空。广义相对论不接受不参与作用的时空，理由是引力影响所有物理现象，而为了获得确定空间和时间的几何观测量，必须考虑引力影响。为此，需要拓展狭义相对论平直时空以纳入引力，构成局部平直、整体弯曲的时空。广义相对论具有一种强烈的操作倾向，人们要为物体指派属性并不容易，除非来自那些物体的信息到达他并借助他自己的工具进行解释。确实，这一理论的一个迷人之处在于它阐明了人自己和其余世界之间一类特别而微妙的相互作用。一方面，世界只是"存在于"时空中，无需观测者；另一方面，世界几乎简化为人们所看到的一幅运动图象。

1、阐述方式

$\qquad$ 本书采用几何阐述方式。爱因斯坦的广义相对论从物理现象归纳、综合、抽象出一般术语（张量）和关系（公式），构成无需观测者的独立存在（时空几何）。对于表达它们，时空张量（公式）才是绝对的，才是简单和清晰的。人们可以就时空张量提出问题，执行人们希望的运算，以及根据给出的东西求解出想要的东西。然而，如果人们希望看到将时空张量与观测者经历相关联的公式，每次或许都应清晰地表明它们是如何获得的。

$\qquad$ 为此，对于物理现象，本书的惯常处理是：引进适当时空术语，将物理现象作为动因进行解释，之后再表明如何将时空量“分解”为人们所熟知的、由一位观测者测量的、用空间和时间表达的量。

$\qquad$ 另外，书中的张量（公式）采用抽象指标记号表示，与坐标系选择无关。对于时空张量（公式）如此，对于从它们"分解"得到的空间张量（公式）也如此。

2、本书组成

$\qquad$ 本书可分为五部分，分别讨论：

$\qquad$ (1) 时空几何（第2~6节）；
$\qquad$ (2) 物理基础（第7~17节）；
$\qquad$ (3) 爱因斯坦方程及其精确解（第18~26节）；
$\qquad$ (4) 整体问题（第27~38节）；
$\qquad$ (5) 引力场量子化（第39~42节）。

下面是对前四部分所讨论内容的简单归纳。

时空几何

$\qquad$ 相对论物理的基本概念是事件。一个事件是物理世界中发生的一件事情，在空间和时间都没有延伸。已经发生、正在发生、以及将要发生的所有可能事件聚集在一起形成的集合称作时空M，被假设为具有4-维流形的结构。相对论物理采纳将关于物理现象做出的每个陈述都用这个时空流形M来表达的观点。

$\qquad$ 光锥结构是时空流形M上的下一片结构，它来自这样的观测：在现实世界中，没有观察到比光运动更快的粒子，因此光线运动具有特殊意义。人们可以在每个事件上使用一个从那个事件发射的光脉冲，构造一个未来光锥。经过那个事件的粒子，它的世界线保持在那个光锥的内部。光锥引出了类时、类空、类光关联事件的区分，以及对于过去和未来关联事件的区分。

$\qquad$ 下一个目标是获得时空流形M上的一个几何学，更精确地说，一个度规张量场。这门几何学由测量某些事件对之间的时间间隔从物理上来确定。而对流逝时间进行有意义观测的可能性建立某个假定上，称作时钟假定。它能保证：给定事件p和q之间的一条世界线，谈论沿着那条世界线在p和q之间流逝的固有时间（以秒为单位）是有意义的。由此可以引出事件间隔的概念。

$\qquad$ 事件间隔是用引进时空的测量工具（时钟和光脉冲）构造的两个事件之间的数值关系［参见第5节第1张图和式(2)］。为了使事件间隔有用处，需要另一个假设：邻近事件p和q的间隔数值只与事件p和q有关，而与这个构造的其它细节无关。它实质上等同于假设：局域地，时空具有与狭义相对论时空相同的结构。更精确地说，时空对于位移1阶量而言是狭义相对论的。更进一步精确地说，用广义相对论的语言，从p到q的位移必须小到与时空曲率半径具有可比性。

$\qquad$ 事件间隔被解释为表达了时空几何的全部信息。想象一本很厚的书，其中列出了所有可能的邻近事件对，以及对于每对事件，列出了间隔数值。则这本书包含了关于时空几何的全部信息。原则上，人们可以通过不断查阅这本书来处理时空几何。这显然不很方便。人们于是试图以更方便方式描述间隔中的几何信息，从而引进了度规假设。

$\qquad$ 度规被认为是"时空局部地具有狭义相对论时空结构"的进一步扩展，由（事件间隔的）某些物理观测量唯一地决定。因此，人们对于度规所作的任何陈述都自动具有物理意义。

$\qquad$ 现在，我们有了一个4-维流形M，它具有号差为(−,+,+,+)的度规张量场。微分几何的全部技术现在都能在M上继续。尤其，我们有了M上张量场的概念。我们的基本原理是所有物理学都要用时空流形来描述，现在我们能稍微准确一些陈述这一原理了：物理学要用张量场来描述。在这些张量场中，最重要的是度规。

物理基础

$\qquad$ 时空是现代物理精确思想新的绝对框架。在时空几何中，我们可以先用时空术语对物理现象进行适当解释，之后再表明如何"分解"它们为由一位观测者测量的、用空间和时间表达的量。

$\qquad$ 我们建立的时空数学形式不仅自动结合了空间和时间，自动结合了动量和能量、力和功率、电场和磁场、等等，而且自动纳入了引力作用，从而清晰阐明了一些深奥的物理关联。对于那些无模糊性的、绝对的局域可观测量（如：加速和转动），通过引进相应假设，将它们与适当时空几何量相等同（如：世界线曲率和矢量沿世界线的Fermi移动），使得它们在这一框架中得以一致表示。

$\qquad$ 我们还要研究引力场的来源。在牛顿理论中，所有不同种类物质都具有共同特性，它们决定物质密度，而物质密度产生引力。在广义相对论中，物质通过应力-能张量场产生引力场，因此我们还要研究各种物质类型，看它们每种最终是如何定义应力-能张量的。

爱因斯坦方程及其精确解

$\qquad$ 广义相对论断言时空几何受宇宙物质分布的影响，那么描述时空几何和物质分布之间关系的方程是什么？比较牛顿引力论和广义相对论中的潮汐力提供了一个重要线索（第18节），而具体推导爱因斯坦方程的工作将在第19节中完成。随后的第20节对爱因斯坦方程做了一般说明，其中断言：不存在能产生全部有物理意义精确解的一般技术，能获得的那些解是使用特殊技术得到的。例如：对称性假设，或对黎曼张量假设了简单结构。

$\qquad$ 之后的第21~26节详细介绍了Friedmann解和Schwarzschild解的假设、推导、以及观测数据。这是两个最重要的爱因斯坦方程精确解，前者代表了均匀、各向同性的宇宙，后者代表了孤立、不转动、稳定到平衡状态的恒星。

整体问题

$\qquad$ 在广义相对论早期，最紧迫的问题是局域特性，例如：用度规、爱因斯坦方程的结构和结果、等等描述引力场的合适性。当时大概觉得整体问题尽管可能有一些物理意义，但可以安全地推迟到之后某个阶段。强调整体性质的最重要理由是后来认识到：要建立某些结果，尤其是奇点定理，有必要在起点就对允许时空具有的整体表现施加一些控制。时至今天，整体方法构成了相对论一个严格分支。整体工作范围逐渐扩展到控制不良表现之外。汇编于45年前的本讲稿包含不少篇幅，讨论了一系列整体问题。

$\qquad$ 首先，物理学的一个本质概念是预测，它可以在一种给定理论的内部做到，表现为将这一理论改造为初值形式。尽管预测观念在广义相对论中是不自然的，不过本书还是将它改造成了初值形式（第27节），并在后面的第28节（引力信号传播速度）和第42节（引力场量子化的规范方法）中进行了应用。

$\qquad$ 第二，用光锥性质定义时空的时间-可定向性，并说明了"物理上合理的"时空应该是时间-可定向的。之后，尝试用关于时空的、近乎精确的陈述表达这些物理思想。再之后，自由地用数学研究这些陈述。给人们一个如何攻克整体问题的体验。（第29节）

$\qquad$ 第三，在以低层时空结构为基础发展起来的广义相对论中，仅仅根据光锥的定性表现，就可以找到例子来说明：存在具有闭合类时曲线的单连通时空。而这种现象也实际出现在某些爱因斯坦方程解中，如：哥德尔解中。很清楚，出现闭合类时曲线破坏了我们关于事物如何组成整体的美学原则，仅仅由于它就诱使人们不让它们存在。但我们的物理经验教导我们要抵触这种诱惑，我们不应限制得太多，否则今后将难以获得物理上的拓展。那么，什么样的时空才应被认为是"物理上合理的"？第30~33节讨论了与此有关的基础问题，包括：影响域、相关域、因果性破坏及其蕴涵。第34节专门研究了爱因斯坦方程解中出现的奇异性质。这些奇异性质无法在时空流形上直接表达，为了排除它们，只能将它们作为病态性质加以识别，再基于物理直观，小心地限制时空流形的整体性质。

$\qquad$ 最后，本书尝试对广义相对论中的闭合系统进行了整体描述，为此在第35节中引入了在广义相对论中有许多应用的共形变换，第36~38节使用这一数学工具研究了广义相对论的渐近结构。

3、惯例

$\qquad$ 下面是对本书所采用惯例的说明：
$\qquad$ ① 本书采用抽象指标记号代表张量。例如， $v^a$ 代表矢量，其中拉丁字母a与常用记号中的→的作用类似，称为抽象指标。不要把 $v^a$ 理解为矢量v的第a个分量。本书正文基本不将张量表示为坐标分量形式。
$\qquad$ ② 本书对4-维时空的度规采用(−,+,+,+)的号差惯例。
$\qquad$ ③ 不同文献对黎曼张量 $R_{abc}\ ^d$ 和Ricci张量 $R_{ab}$ 有不同定义惯例。本书采用的惯例与《微分几何入门与广义相对论》（梁灿彬，周彬，2006）一致。