四维速度:你在时空中永远以光速运动
闵可夫斯基几何就位之后,“速度”这个概念可以在四维时空里重新定义。结论出人意料:任何有质量物体在四维时空中的四维速度(时空速度)的模长恒为 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,它只能在时间方向与空间方向之间分配:
- 静止时(v = 0,γ = 1):U = (c, 0)。全部速度指向时间方向——你以速率 c 穿过时间,空间分量分文未动。
- 运动越快:空间分量 γv 增大,时间分量 γc 也随之增大,但两者的闵可夫斯基“差”被钉死在 c²,总模长纹丝不动。
- “你在时间里走得慢下来”:相对你而言静止的观测者会发现你的钟走得慢——这正是时间膨胀。从四维视角看,它是速度预算从时间方向挪向空间方向的直接后果。
四、一个必须划清的边界
“万物以光速穿越时空”是一句漂亮的口号,但它的适用边界必须说清——见文末脚注[1]。
此刻的你
你此刻正以光速穿越时空——只是全部速度都花在了时间方向上。
五、四个话题,一句话
回顾全程:话题一给出数值——c = 299792458 m/s,一个定义出来的精确常数;话题二给出不变性——所有惯性系测得同一个 c;话题三给出几何——为了容纳这种不变性,时间与空间合并为闵可夫斯基时空;话题四给出运动学——在这个几何里,一切有质量物体的时空速度恒为 c。数值 → 不变性 → 时空几何 → 时空速度,光速这一个常数,串起了整个狭义相对论的骨架。
想从头再走一遍这条路?回到首页,从 299792458 这个数字开始。
- 严谨性说明:光子等无质量粒子的固有时为零(dτ = 0),U = dX/dτ 无法定义,“四维速度的模长为 c”这一命题对它们不适用——光的世界线类光,只能谈论其坐标速度恰好为 c。因此,“光以光速运动”(无质量粒子的坐标速度)与“万物的时空速度为 c”(有质量粒子的四维速度模长)是两种不同的表述:本站的命题只对携带时钟、拥有固有时的物体(即一切有质量物体)成立。