检验这个推断正确与否是一个极其重要的问题，希望天文学家能够早日予以解

决。

其次，我们的结果表明，按照广义相对论，我们时常提到的作为狭义相对沦

中两个基本假定之一的真空中光速恒定定律，就不能彼认为具有无限的有效性，

光线的弯曲只有在光的传播速度随位置而改变时才能发生。我们或许会想，由于

这种情况，狭义相对论以及随之整个相对论，都要化力灰烬了。但实际上并不是

这样，我们只能作这样的结论：不能认为狭义相对论的有效性是无止境的；只有

在我们能够不考虑引力场对现象（例如光的现象）的影响时，狭义相对论的结果

才能成立。

由于反对相对论的人时常说狭义相对论被广义相对论推翻了，因此用一个适当的

比方来把这个问题的实质弄得更清楚些也许是允当的。在电动力学发展前，静电

学定律被看作是电学定律。现在我们知道，只有在电质量相互之间井相对于坐标

系完全保持静止的情况下（这种情况是永远不会严格实现的），才能够从静电学

的考虑出发正确地推导出电场。我们是否可以说，由于这个理由，静电学被电动

力学的麦克斯韦场方程推翻了呢？绝对不可以。静电学作为一个极限情况包含在

电动力学中；在场不随时间而改变的情况下，电动力学的定律就直接得出静电学

的定律。任何物理理论都不会获得比这更好的命运了，即一个理论本身指出创立

一个更力全面的理论的道路，而在这个更为全面的理论中，原来的理论作为一个

极限情况继续存在下去。

在刚才讨论的关于光的传播的例子中，我们已经看到，广义相对论使我们能

够从理论上推导引力场对自然过程的进程的影响，这些自然过程的定律在没有引

力场时是已知的。但是，广义相对论对其解决提供了钥匙的最令人注意的问题乃

是关于对引力场本身所满足的定律的研究，让我们对此稍微考虑一下。

我们已经熟悉了经过适当选取参考物体后处于（近似地）“伽利略”形式的

那种空时区域，亦即没有引力场的区域，如果我们相对于一个不论作何种运动的

参考物体 K’来考察这样的一个区域，那么相对于 K’就存在着一个引力场，该

引力场对于空间和时间是可变的。这个场的特性当然取决于为 K'。选定的运动。

按照广义相对论；普遍的引力场定律对于所有能够按这一方式得到的引力场都必

须被满足，虽然绝不是所有的引力场都能够如此产生，我们仍然可以希望普遍的

引力定律能够从这样的一些特殊的引力场推导出来。这个希望已经以极其美妙的

方式实现了，但是从认清这个目标到完全实现它，是经过克服了一个严重的困难

之后才达到的，由于这个问题具有很深刻的意义，我不敢对读者略而下谈，我们

需要进一步推广我们对于空时连续区的观念。


23.在转动的参考物体上的钟和量杆的行为


到目前为止，我在广义相对论中故意避而不谈空间数据和时间数据的物理解

释。因而我在论述中犯了一些潦草从事的毛病；我们从狭义相对论知道，这种毛

病决不是无关重要和可以宽容的。现在是我们弥补这个缺陷的最适当的时候了；

但是开头我就要提一下，这个问题对读者的忍耐力和抽象能力会提出不小的要

求。

我们还是从以前常常引用的十分特殊的情况开始，让我们考虑一个空时区

域，在这里相对于一个参考物体 K（其运动状态己适当选定）不存在引力场。这

样，对于所考虑的区域而言，K 就是一个伽利略参考物体，而且狭义相对论的结

果对于 K 而言是成立的。我们假定参照另一个参考物体 K'来考察同一个区域。

设 K'，相对于 K 作匀速转动。为了使我们的观念确定，我们设想 K'，具有一个

平面圆盘的形式，这个平面圆盘在其本身的平面内围绕其中心作匀速转动。在圆

盘 K’上离开盘心而坐的一个观察者感受到沿径向向外作用阶一个力；相对于原

来的参考物体 K 保持静止的一个观察者就会把这个力解释为一种惯性效应（离

心力）。但是，坐在圆盘上的观察者可以把他的回盘当作一个“：静止”的参考

物体；根据广义相对性原理，他这样设想是正当的。他把作用在他身上的、而且

事实上作用于所有其他相对于圆盘保持静止的物体的力，看作是一个引力场的效

应二然而，这个引力场的空间分布，按照牛顿的引力理论，看来是不可能的。但

是由于这个观察者相信广义相对论，所以这一点对他并无妨碍；他颇有正当的理

由相信能够建立起一个普遍的引力定律——这一个普遍的引力定律不仅可以正

确地解释众星的运动，而且可以解释观察者自己所经验到的力场。

这个观字者在他的园盘上用钟和量杆做实验。他这样做的意图是要得出确切

的定义来表达相对于圆盘 K’的时间数据和空间数据的含义，这些定义是以他的

观察为基础的，这样做他会得到什么经验呢？

首先他取构造完全相同的两个钟，一个放在圆盘的中心。另一个放在圆盘的

边缘）日而这两个钟相对于园盘是保持静止的。我们现在来问问我们自己，从非

转动的伽利略参考物体厂的立场来看，这两个钟是否走得快慢一样：从这个参考

物体去判断，放在圆盘中心的钟并没有速度，而由于圆盘的转动，放在圆盘边缘

的钟相对于 K 是运动的。按照第 12 节得出的结果可知，第二个钟永远比放在圆

盘中心的钟走得慢，亦即从 K 去观察，情况就会这样。显然，我们设想坐在圆

盘中心那个钟旁边的一个观察者也会观察到同样的效应，因此；在我们的圆上，

或者把情况说得更普遍一些，在每一个引力场中，一个钟走得快些或者慢些，要

着这个钟（静止地）所放的位置如何。由于这个缘故，要借助于相对于参考物体

静止地放置的钟来得出合理的时间定义是不可能的。我们想要在这样一个例子中

引用我们早先的同时性定义时也遇到了同样的困难，但是我不想再进一步讨论这

个问题了。

此外，在这个阶段，空间坐标的定义也出现不可克服的困难，如果这个观察

者引用他的标准量杆（与圆盘半径相比，一根相当短的杆），放在圆盘的边上并

使杆与圆盘相切，那么，从伽利略坐标系去判断，这根杆的长度就小于 1，因为，

按照第 12 节，运动的物体在运动的方向发生收缩。另一方面，如果把量杆沿半

径方向放在圆盘上，从 K 去判断，量杆下会缩短。那么，如果这个观察者用他

的量杆先量度圆盘的圆周，然后量度圆盘的直径，两者相除，他所得到的商将不

会是大家熟知的数π=3.14…，而是一个大一些的数；而对于一个相对于 K 保持

静止的圆盘，这个操作和运算当然就会准确地得出π。这证明，在转动的圆盘上，

或者普遍他说，在一个引力场中，欧几里得几何学的命题并不能严格地成立，至

少是如果我们把量杆在一切位置和每一个取向的长度都算作 1 的话，因而关于直

线的观念也就失去了意义：所以我们不能借助于在讨论狭义相对论时所使用的方

法相对于圆盘严格地来了坐标 x,y,z 的定义；而只要事件的坐标和时间的定义还

没有给出，我们就不能赋予（在其中出现这些事件的）任何自然律以严格的意义。

这样，所有我们以前根据广义相对论得出的结论看来也就有问题。在实际情

况中我们必须作一个巧妙的迂回才能够严格地应用广义相对论的公设。下面我将

帮助读者对此作好准备。

24 欧几里得和非欧几里得连续区域

一张大理石桌摆在我的面前，眼前展开了巨大的桌面。在这个桌面上，我可

以这样地从任何一点到达任何其他一点，即连续地从一点移动到“邻近的”一点，

井重复这个过程若干（许多）次，换言之，亦即无需从一点“跳跃”到另一点，

我想读者一定会足够清楚地了解我这里所说的“邻近的”和“跳跃”是什么意思

（如果他不过于咬文嚼字的话）.我们把桌面描述为一个连续区来表示桌面的上

述性质。

我们设想已经做好了许多长度相等的小杆，它们的长度同这块大理石板的大

小相比是相当短的。我说它们的长度相等的意思是，把其中之一与任何其他一个

适合起来，它们的两端都能彼此重合，其次我们取四根小杆放在石板上，构成一

个四边形（正方形），这个四边形的对角线的长度是相等的，为了保证对角线相

等，我们另外用了一根小测杆。我们把几个同样的正方形加到这个正方形上，加

上的正方形每一个都有一根杆是与第一个正方形共用的。我们对于这些正方形的

每一个都采取同样的做法，直到最后整块石板都铺满了正方形为止。这个排列是

这样的，一个正方形的每一边都隶属于两个正方形，每一个隅角都隶属于四个正

方形。

如果我们能够把这项工作做好而没有遇到极大的困难，那只要三个正方形相

会于一隅角，那么第四个正方形的两个边

就已经摆出；因此，这个正方形下余两边的排列位置也就已经完全确定下来，但

是这个时候我就不能再调整这个四边形使它的两根对角线相等了.如果这两根对

角线出于它们的自愿而相等，那么这是石板和小杆的特别恩赐，对此我只能怀着

感激的心情而惊奇不己。如果这个作同法能够成功的话：那么这种令人惊奇的事

情我们必然会经验到许多次。

如果凡事都进行得真正顺利，那么我就说石板上的诸点对于小杆而言构成一

个欧几里得连续区域，这里小杆曾当作“距离”（线间隔）使用。选取一个正方

形的一个隅角作为“原点”我就能够用两个数来表示任一正方形的任一隅角相对

于这个原点的位置。我只须说明，我从原点出发，向“右”走然后向“上”走，

必须经过多少根杆子才能到达所考虑的正方形的隅角。这两个数就是这个隅角相

对于由排列小杆而确定的“笛卡儿坐标系”的“笛卡儿坐标”。

如果将这个抽象的实验作如下改变，我们就会认识到一定会出现这种实验下

能成功的情况。我们假定这些杆于是会：“膨胀”的，膨胀的量值与温度升高的

量值成正比。我们将石板的中心部分加热，但周围不加热，在这个情况下，我们

仍然能够使两根小杆在桌面上的每一个位置上相互重合。但是在加热期间我们的

正方形作图就必然会受到扰乱，口为放在桌面中心部分的小杆膨胀了，而放在外

围部分的小杆则不膨胀。

对于我们的小杆——定义为单位长度——而言，这块石板不再是一个欧几里

得连续区，而且我们也不再能够直接借助于这些小杆来定义笛卡儿坐标，困为上

述的作图法已无法实现了。但是由于有一些其他的事物并不象这些小杆那样受桌

子温度的影响（或许丝毫不受影响），因而我们有可能十分自然地支持这样的观

点，即这块石板仍是一个“欧几里得连续区”，为此我们必须对长度的量度或比

较作一更为巧妙的约定，才能够满意地实现这个欧几里得连续区。

但是如果把各种杆子（亦即用各种材料做成的杆子）放在加热不均匀的石板

上时它们对温度的反应都一样，并且如果除了杆子在与上述实验相类似的实验中

的几何得为之外没有其他的方法来探测温度的疚，那么最好的办法就是：只要我

们能够使杆子中一根的两端与石板上的两点相重合，我们就规定该两点之间的距

离为 1；因为，如果不这样做，我们又应该如何来下距离的定义才不致在极大的

程度上犯粗略任意的错误呢？这样我们就必须舍弃笛卡儿坐标的方法，而代之以

不承认欧几里得几何学对刚体的有效性的另一种方法。读者将会注意到，这里所

描述的局面与广义相对性公设所引起的局面（第 23 节）是一致的。


25.高斯坐标


按照高斯的论述，这种分析方法与几何方法结合起来的处理问题的方式可由

下述途径达成，设想我们在桌面上画一个任意曲线系（见图 4）。

U = 1

U = 2




P
V = 3
V = 1 V = 2


图 4



我们把这些曲线称作 u 曲线，并用一个数来标明每一根曲线，在图中画出了曲线

u=1,u=2 和 u=3, 我们必须设想在曲线 u=1,u=2 之间画有无限多根曲线，所有这

些曲线对应于 1 和 2 之间的实数，这样我们就有一个 u 曲线系，而且这个“无限

稠密”曲线系布满了整个桌面，这些 u 曲线必须彼此不相交，并且桌面上的每一

点都必须有一根而且仅有一根曲线通过。因此大理石板面上的每一个点都具有一

个完全确定的 u 值。我们设想以同样的方式在这个石板面上画一个 v 曲线系。这

些曲线所满足的条件与 u 曲线相同，并以相应的方式标以数字，而且它们也同样

可以具有任意的形状，因此，桌面上的每一点就有一个 u 值和一个 v 值。我们把

这两个数称为桌面的坐标（高斯坐标），例如图中的 P 点就有高斯坐标 u=3, v=1。

这样，桌面上相邻两点 P 和 P’就对应于坐标

P： u,v

P′:u + du,v + dv

其中 du 和 dv 标记很小的数。同样，我们可以用一个很小的数 ds 表示 P 和 P’

之间的距离（线间隔），好象用一根小杆测量得出的一样。于是，按照高斯的论

述，我们就有

ds2 = g11du2 + 2g12dudv + g22dv2

其中 g11,g12,g22是以完全确定的方式取决于 u 和 v 的量。