#狭义相对论

两位观察者观测同一对事件。他们都确认这两个事件发生了，但测得的事件间距离和时间间隔可能各不相同。

这听起来似乎有点问题。如果一位观察者测得一个距离，另一位测得的却不同，他们怎么还能一致认定这两个事件之间是类时、类光或类空分离？

答案是，相对论并不要求空间和时间这两个量各自保持不变。保持不变的是它们的一种特定组合：时空间隔。

如果你还不熟悉相关的几何图像，可以先读光锥：在时空中，什么能够影响什么？。光锥可以把事件划分到锥内、边界上或锥外。时空间隔则通过计算完成同样的分类，无须依赖图示。

空间与时间一起变化

考虑两个事件 \(A\) 和 \(B\)。在某个惯性参考系中，它们的坐标差为

$$ \Delta t = t_B-t_A $$

以及

$$ \Delta x = x_B-x_A. $$

另一位相对于前者做匀速运动的观察者，测得的 \(\Delta t\) 和 \(\Delta x\) 都可能不同。这两个量单独来看，都不是所有惯性观察者共同认可的不变量。

但这些变化并非任意发生。当观察者的运动使测得的事件间距离发生变化时，测得的时间间隔也会以相互关联的方式变化。时空间隔刻画的正是这种关联。

在一个空间维度中，采用本文的正负号约定，时空间隔为

$$ \Delta s^2=c^2\Delta t^2-\Delta x^2. $$

这里，\(c\) 是光速。将 \(\Delta t\) 乘以 \(c\)，就把时间差换算成了距离，使两项能够在相同单位下进行比较。

\(\Delta s^2\) 中的平方符号是这一记号的一部分。时空间隔本身可以为正、为零或为负。正是这个正负号，决定了两个事件之间的分离类型。

正负号告诉了我们什么

采用以下约定：

$$ \Delta s^2=c^2\Delta t^2-\Delta x^2, $$

便有三种可能：

因此，这个公式把一种熟悉的比较变成了精确的计算。正项是光在这段时间内所能传播的距离的平方，减去的那一项则是两个事件之间空间距离的平方。结果的正负，取决于这两个距离的平方哪个更大。

扩展到三个空间维度，思路并没有改变。只需在完整的空间距离中计入三个方向：

$$ \Delta s^2=c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2. $$

在本文采用的约定下，正负号的判定规则仍然相同。

为什么所有惯性观察者都会得出相同结论

切换惯性参考系，会改变赋予事件的坐标。洛伦兹变换会把测得的空间差与时间差混合起来：观察者得到新的 \(\Delta x\) 时，也会得到与之对应的新的 \(\Delta t\)。

这一变换保持不变的是

$$ c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2. $$

这就是洛伦兹不变性。不同惯性观察者可能会以不同方式，把两个事件之间的分离分配到空间和时间上，但所有人算出的 \(\Delta s^2\) 都相同。

因此，分离类型不会因观察者而改变。一个正的时空间隔，不会仅仅因为有人换到了另一个惯性参考系就变成负的。类时仍是类时，类光仍是类光，类空仍是类空。