话题四 · 时空速度

四维速度:你在时空中永远以光速运动

闵可夫斯基几何就位之后,“速度”这个概念可以在四维时空里重新定义。结论出人意料:任何有质量物体在四维时空中的四维速度(时空速度)的模长恒为 c——与你运动得多快无关,哪怕你坐在椅子上,也正以光速穿越时空。

一、准备工作:固有时与四维位置

先选一把所有观测者都认的“钟”:物体自己携带的钟所记录的时间,叫固有时 τ。它与某惯性系坐标时 t 的关系正是时间膨胀公式的改写:

dτ = dt / γ , 其中 γ = 1 / √(1 − v2/c2)固有时与坐标时

再把事件写成四维位置(沿用话题三的 (+,−,−,−) 约定,ct 与空间坐标同为长度量纲):

X = (ct, x, y, z)四维位置

二、四维速度的定义与推导

普通速度对坐标时 t 求导,但 t 因参照系而异;对固有时 τ 求导得到的才是四维矢量。对 X 求 τ 的导数,注意 dt/dτ = γ:

U = dX/dτ = (c·dt/dτ, dx/dτ) = (γc, γv)四维速度:时间分量 γc,空间分量 γv

按 (+,−,−,−) 约定计算模长——时间项取正、空间项取负,与话题三的时空间隔一脉相承:

‖U‖2 = (γc)2 − (γv)2 = γ2(c2 − v2) = c2模长平方恒等于 c²
‖U‖ = c —— 恒成立结论:与物体运动快慢无关

推导只用了 γ 的定义:γ2(1 − v2/c2) = 1,于是 γ2(c2 − v2) = c2。没有任何近似——对一切 v < c 都严格成立。

三、直观图景:速度的“预算”如何分配

把 ‖U‖ = c 读作一句物理语言:你在时空中的总“速度预算”恒为 c,它只能在时间方向与空间方向之间分配:

四维速度的矢量分解:时间分量 γc 与空间分量 γv,模长恒为 c x ct x = ct 空间分量 γv 时间分量 γc 四维速度 U,‖U‖ = c v 增大 → γv 变长、γc 同步变长,但 ‖U‖ 恒等于 c((+,−,−,−) 约定)
四维速度的矢量分解:空间分量 γv 沿 x 方向,时间分量 γc 沿 ct 方向;在闵可夫斯基度规下(时间项为正、空间项为负),合成矢量 U 的模长恒为 c——速度预算总量不变,只在两个方向之间重新分配。

四、一个必须划清的边界

“万物以光速穿越时空”是一句漂亮的口号,但它的适用边界必须说清——见文末脚注[1]

此刻的你

你此刻正以光速穿越时空——只是全部速度都花在了时间方向上。

五、四个话题,一句话

回顾全程:话题一给出数值——c = 299792458 m/s,一个定义出来的精确常数;话题二给出不变性——所有惯性系测得同一个 c;话题三给出几何——为了容纳这种不变性,时间与空间合并为闵可夫斯基时空;话题四给出运动学——在这个几何里,一切有质量物体的时空速度恒为 c。数值 → 不变性 → 时空几何 → 时空速度,光速这一个常数,串起了整个狭义相对论的骨架。

想从头再走一遍这条路?回到首页,从 299792458 这个数字开始。

  1. 严谨性说明:光子等无质量粒子的固有时为零(dτ = 0),U = dX/dτ 无法定义,“四维速度的模长为 c”这一命题对它们不适用——光的世界线类光,只能谈论其坐标速度恰好为 c。因此,“光以光速运动”(无质量粒子的坐标速度)与“万物的时空速度为 c”(有质量粒子的四维速度模长)是两种不同的表述:本站的命题只对携带时钟、拥有固有时的物体(即一切有质量物体)成立。