附录 五、 相对论与空间问题。（三）
尽管肩有这些辉煌的成就，以大学说的这种光景仍然不能完全令人满意，其理由有如下述：经典力学（无可怀疑，经典力学在很高的近似程度上是成立的）告诉我们，一切惯性系或惯性“空间”对于自然律的表达方式都是等效的；亦即从一惯性系过渡到另一惯性系，自然律是不变的。电磁学和光学实验也以相当高的准确度告诉我们同样的事实。但是，电磁理论基础却告诉我们，必须优先选取一个特别的惯性系，这个特别的惯性系就是静止的光以太，电磁理论基础的这一种观点实在非常不能令人满意，难道不会有也简经典力学那样去支持惯性系的等效性（狭义相对性原理）的修正理论么？
狭义相对论囱答了这个问题。狭义相对论从麦克斯韦－洛伦兹理论中采角了关字在真空中光速保持恒定的假定。为了使这个假定与惯性系的等效性（狭义相对性原理）相一致，必须放弃“同时性”，带有绝对性质的观念；此外，对于从一个惯性系过渡到另一个惯性系，必须引用时间和全向坐标的洛伦兹变换：狭义相对论的全部内容包括在下述公设中：自然界定律对千洛伦兹变换是不变的：这个要求的重要实质在于它用一种确定的方式限定了所有的自然律。
狭义相对论对于空间问题的观点如何？首先我们必须注意不要认为实在世界的四维性是狭义相对论第一次提出的新看法。甚至早在经典物理学中，事件就由四个数来确定，即三个空间坐标和一个时间坐标；因此全部物理“事件”被认为是寓存于一个四维连续流形中的。但是，根据经典力学，这个四维连续区客观地分割为一维的时间和三维的空间两部分，而只有三维空间才存在着同时的事件。一切惯性系都作了同样的分割。两个确定的事件相对于一个惯性系的同时性也就含有途向个事件相对手一切惯性系的同时性。我们说经典力学的时间是绝对的就是这个意思。狭义相对论的合法则与此不同。所有与一个选定的事件同时的诸事件就一个特定的惯性系而言确实是存在的，但是这不再能说成为与惯性系的选择无关的了的了。于是四维连续区不再能够客观地分割为两个部分，而是整个连续区包含了所有同时事件；所以“此刻”对于具有空间广延性的世界失去了它的客观意义。由于这一点，如果要表未客观关系的意义而不带有不必要的国袭的任意性话，那未空间和时间必须看作是具有客观上不可分割性的一个四维连续区。
狭义相对论揭示了一切惯性系的物理等效性，因而也就证明了关于静正的以大的假设是不能成立的、因此必须放弃将电磁场看作物质载体的一种状态的观点。这样，场就成为物理描述中不能再加分解的基本概念，正如在牛顿的理论中物质概念不能再加分解一样。
到目前为止，我们一直把注意力放在探讨狭义相对论在哪一方面修改了空时概念，现在我们来看看狭义相对论从经典力学吸取了哪些基本观念。在狭义相对论中，自然律也是仅在引用惯性系作为空时描述的基础时才是有效的。惯性原理和光速恒定原理只有对于一个惯性系才是有效的。场定律也是只有对于惯性系才能说是有意义和有效的。因此，如同在经典力学中一样，在狭义相对论中，空间也是表述物理实在的一个独立部分。如果我们设想把物质和场移走，那么惯性空间（或者说得更确切些，这个空间连同联系在一起的时间）依然存在。这个四维结构（闵可夫斯基空间）被看作是物质和场的载体。各惯性空间连同联系在一起的时间，只是由线性起来的一种特选的四维坐标系。由于在这个四维结构中不再存在着客观地代表“此刻”的作一部分，事物的发生和生成的概念并不是完全用不着了，而是更为复杂化了。因此，将物理实在看作一个四维存在，而不是象直到目前为止那样，将它看作一个三维存在的进化，似乎更加自然些。
狭义相对论的这个刚性四维空间，在某种程度上类似于洛化兹的刚性三维以太，只不过它是四维的罢了。对于狭义相对论而言，下述陈述也是合适的：物理状态的描述假设了空间是原来就已经给定的，而且是独立存在的。因此，连狭义相对论也没有消除笛卡儿对“空虚空间”是独立存在的或者竟然是先验性存在的这种见解所表示的怀疑这里作初步讨论的真正目的就是要说明广义相对论在多大的程度上解决了这些疑问。
（２）广义相对论的空间概念。
广义相对论的起因主要是力图对惯性质量和引力质量的同等性有所了解。我们从一个惯性系Ｓ１来说起，这个惯性系的空间从物理的观点盾来是空虚的。换句话说，在所考虑的这部分空间中，既没有物质（按照通常的意义），也没有场（按照狭义相对论的意义）。设有另一个参考系Ｓ２相对于Ｓ１作匀加速运动。这时候Ｓ２就不是一个惯性系。对于Ｓ２来说，每一个试验物体的运动都具有一个加速度，这个加速度与试验物体的物理性质和化学性质无关。因此，相对于Ｓ２，最少就第一级近似而言，就存在着一种与引力场无法区分的状态。因此，下述概念是与可观察的事实相符的：Ｓ２也可以相当于一个“惯性系”；不过相对于Ｓ２又另存在匀）引力场（关于这个引力场的起源，这里不必去管它）。因此，当讨论的体系中包括引力场时，惯性系就失去了它本身的客观意义（假定这个“等效原理”可以推广到参考系的任何相对运动）。如果在这些基本观念的基础上能够建立起一个合理的理论，那么么这个理论本身将满足惯性质量与引力质量相等的事实，而这个事实是已被经验所充分证实的。
从四维的观点来考虑，四个坐标的一种非线性变换对应于从Ｓ１到Ｓ２的过渡。这里产生了一个问题：哪一种非线性变换是可能的，或者说，洛伦兹变换是怎样推广的？下述考虑对于回答这个问题具有决定性的意义。
设早先的理论中的惯性系具有这个性质：坐标差由固定不移的“刚性”量杆测量，时间差由静止的钟测量。对第一个假定还须补充以另一个假定，即对于静止的量杆的相对展开和并接而言，欧几里得几何学关于“长度”的诸定理是成立的。这样，经过初步的考虑，就可以从狭义相对论的结果得出下述结论：对于相对于惯性系（Ｓ１）作加速运动的参考系（Ｓ２）而言，对坐标标作此种直接的物理解释不再是可能的了，但是，如果情况是这个的话，坐标现在就只能表示“邻接”的级或秩，也就是只能表示空意愿维级，但一点也不能表示空意愿度规性质。这样我们就意识到从已有的变换推广到任意连续变换的可能性。而这里就已具有广义相对性原理的含义：“自然律对于任意连续的坐标变换必须是协变的”。这个要求（连带着自然律应具有最大可能的逻辑简单性的要求）远比狭义相对性原理更为有力地限制了一切自然律。
这一系列的观念主要是以场作为一个独立的要领为基础的。因为，对于Ｓ２有效的情况被解释为一种引力场，而并不问其是否存在着产生这个引力场的质量。借助于这一系列的观念，还可以理解到为什么纯引力场定律比起一般的场（例如在有电磁场存在的时候）的定律来，它与广义相对论有更为直接的联系。也就是说，我们有充分的理由假定，“没有场”的闵可夫斯基空间表示自然律中可能有的一种特殊情况，事实上这是可以设想的最简单的特殊情况。就其度规性质而言，这样的空间的特性可由下述的方式表示：等于一个三维“类空”截面上无限接近的两点的空间间隔的实测值（用单位标准长度量度）的平方（毕达哥拉斯定律）；而ｄｘ４（ｘ１，ｘ２，ｘ３）的两个事件的时间间隔（以适当的计时标准量度）。这一切只不过是意味着将一种客观的度规意义赋予下面这个量：
（１）
这点也不难借助于洛伦兹变换来予以证明。从数学观点上来说，这个事实对应于这个条件：ｄＳ２对于洛伦兹变换是不变的。
如果按照广义相对性原理的意义，令这个空间（参照方程（１））作一任意连续的坐标变换，那么这个具有客观意义的量ｄＳ在新的坐标系中即以下列关系式表示：
此式的右边要对指标Ｉ和ｋ从１１，１２，直到４４的全部组合求和。这里诸项也并不是新坐标的任意函数，而是必须正好使形式（ｌａ）经过四个坐标的连续的变换仍能还原为形式（１）的这样一类函数。为了使这一点成为可能，诸函数ｇｉｋ必须满足某些普遍协变条件方程，这些方程是在建立广义相对论以前半个多世纪时由黎曼导出的（“黎曼条件”）。按照等效原理，当诸函数ｇｉｋ满足黎曼条件时，（ｌａ）就以普遍协变形式描述了一种特殊的引力场。