27.广义相对论的空时连续区不是欧几里得连续区

在本书的第一部分,我们能够使用可以对它作简单而直接的物理解释的空时坐标,而且,按照第26节,这种空时坐标可以被看作四维笛卡儿坐标:我们能够这样做,是以光速恒定定律为基础的。但是按照第21节,广义相对论不能保持这个定律。相反,按照广义相对论我们得出这样的结果,即当存在着一个引力场时,光速必须总是依赖于坐标。在第23节讨论一个具体例子时,我们发现,曾经使我们导致狭义相对论的那种坐标和时间的定义,由于引力场的存在而失效了。

鉴于这些论述的结果,我们得出这样的论断,按照广义相对论,空时连续区不能被看作一个欧几里得连续区;在这里只有相当于具有局部温度变化的大理石板的普遍情况,我们曾把它理解力一个二维连续区的例子。正如在那个例子里不可能用等长的杆构成一个笛卡儿坐标系一样,在这里也不可能用刚体和钟建立这样一个系统(参考物体),使量杆和钟在相互地作好刚性安排的情况下可用以直接指示位置和时间。这是我们在第23节中所遇到的困难的实质所在。

但是第25节和第26节的论述给我们指出了这个困难的道路。对于四维空时连续区我们可以任意利用高斯坐标来作参照。我们用四个数x1,x2,x3,x4(坐标)标出连续区的每一个点(事件),这些数没有丝毫直接的物理意义,其目的只是用一种确定而又任意的方式来标出连续区的各点。四个数的排列方法甚至无需一定要把x1,x2,x3当作“空间”坐标把x4当作“时间”坐标。

读者可能会想到,这样一种,世界的描述是十分不够格的。如果x1,x2,x3,x4这些特定的坐标本身并无意义,那么我们用这些坐标标出一个事件又有什么意义?但是,更加仔细的探讨表明,这种担忧是没有根据的。例如我们考虑一个正在作任何运动的质点。如果这个点的存在只是瞬时的,并没有一个持续期间,那么这个点在空时中即由单独一组x1,x2,x3,x4的数值来描述。因此,如果这个点的存在是永久的,要描述这个点,这样的数值组就必须有无穷多个,而且其坐标值必须紧密到能够显示出连续性;对应于这个质点,我们就在四维连续区中有一根(一维的)线。同样,在我们的连续区中任何这样的线,必然也对应于许多运动的点,以上对于这些点的陈述中实际上只有关于它们的会合的那些陈述才称得起具有物理存在的意义。用我们的数学论述方法来说明,对于这样的会合的表述,就是两根代表所考虑的点的运动的线中各有特别的一组坐标值x1,x2,x3,x4是彼此共同的。经过深思熟虑以后,读者无疑将会承认,实际上这样的会合构成了我们在物理陈述中所遇到的具有时空性质的唯一真实证据。

当我们相对于一个参考物体描述一个质点的运动时,我们所陈述的只不过是这个点与这个参考物体的各个特定的点的会合。我们也可以借助于观察物体和钟的会合,井协同观察钟的指针和标度盘上特定的点的会合来确定相应的时间值。使用量杆进行空间测量时情况也正是这样,这一点稍加考虑就会明白。

下面的陈述是普遍成立的:每一个物理描述本身可分成许多个陈述,每一个陈述都涉及A_、B两事件的空时重合。从高斯坐标来说,每一个这样的陈述,是用两事件的四个坐标x1,x2,x3,x4相符的说法来表达的;因此实际上,使用高斯坐标所作的关于时空连续区的描述可以完全代替必须借助于一个参考物体的描述,而且不会有后一种描述方式的缺点;国为前一种描述方式不必受所描述的连续区的欧几里得特性的限制。