约定:事件、坐标与度规
事件是时空中的一个点,在惯性系 S 中记为
xμ=(ct,x,y,z).
本章固定使用 Minkowski 度规号型
ημν=diag(+1,−1,−1,−1).
因此两个事件之差 Δxμ 的不变间隔为
Δs2=ημνΔxμΔxν=c2Δt2−Δx2−Δy2−Δz2.
c=299792458ms−1 是真空光速的精确定义值。ct 与空间坐标均以米计,所以 s2 的单位为 m2。使用另一常见号型 (−,+,+,+) 会使所有间隔符号反转;只要全程一致,物理结论相同,但不能在同一推导中混用。
两条原理与标准构型
狭义相对论采用两条经验原则:所有惯性系中的物理定律形式相同;真空光速对所有惯性观察者均为 c,与光源运动无关。假设时空均匀、空间各向同性,惯性系之间的坐标变换应为线性。
取标准构型:S′ 相对 S 以速度 v 沿 +x 方向运动,两系原点在 t=t′=0 重合,坐标轴平行。定义
β=cv,γ=1−β21.
对有质量惯性观察者要求 ∣v∣<c,故 γ≥1 且无量纲。
沿 x 方向的标准 Lorentz boost
ct′x′y′z′=γ(ct−βx),=γ(x−βct),=y,=z. 逆变换由 v→−v 得到:ct=γ(ct′+βx′)、x=γ(x′+βct′)。
矩阵形式为
ct′x′y′z′=γ−γβ00−γβγ0000100001ctxyz.
该矩阵 Λ 满足 ΛTηΛ=η,所以保持间隔。直接代入也可核对
c2Δt′2−Δx′2=γ2[(cΔt−βΔx)2−(Δx−βcΔt)2]=c2Δt2−Δx2.
若光沿 x 传播,x=ct,变换后仍有 x′=ct′。这不是额外代入规则,而是零间隔在 Lorentz 变换下保持的结果。
从线性假设看变换系数如何确定
标准构型中,S′ 原点的世界线是 x=vt,所以满足 x′=0 的线性表达必须形如
x′=A(v)(x−vt).
若向右、向左光线在两系都满足 x=±ct 与 x′=±ct′,把两条光线分别代入可解得
t′=A(v)(t−c2vx).
此时只剩比例 A(v)。相对性原理要求逆变换形式相同且速度反号:
x=A(−v)(x′+vt′).
空间各向同性给 A(−v)=A(v)。把正逆变换复合为恒等变换,得到
A(v)2(1−v2/c2)=1,
连续低速极限选择正根,因此 A(v)=γ。这个推导明确使用了线性、各向同性和相对性;仅说“光速不变”而省略这些结构,不能唯一排除更一般的非线性坐标重标。
Lorentz 变换的行列式为 1,保持四维有向体积;它还保持时间方向,因为 Λ00=γ>0。空间反射或时间反演也保持间隔,但不属于与恒等变换连续相连的标准 boost。
间隔分类与光锥
类时、类光与类空间隔
- Δs2>0 为类时间隔,存在惯性系使两事件发生在同一空间位置,但不存在使它们同时的惯性系。
- Δs2=0 为类光间隔,事件可由真空光信号连接。
- Δs2<0 为类空间隔,存在惯性系使两事件同时,但不存在速度低于 c 的信号把它们连接。
类时与类光事件的时间先后在所有保持时间方向的惯性系中一致,构成因果关系。类空事件的先后可随参考系改变,因为没有亚光速因果链要求固定次序。这不产生悖论:次序改变只发生在不能互相影响的事件之间。
在时空图上,经过某事件、满足 c2Δt2=∣Δx∣2 的方向形成光锥。锥内为类时区,锥外为类空区。图形斜率取决于纵轴画 t 还是 ct,因此因果判断应最终回到间隔计算。
例 1:运动时钟世界线上的事件
S′ 以 v=0.600c 运动,故 γ=1.25。某事件在 S 中位于该原点世界线上,t=5.00μs、x=vt=899.4m。变换得
x′=γ(x−vt)=0, t′=γ(t−c2vx)=γt(1−β2)=γt=4.00μs. 间隔在 S 中为
Δs2=c2t2−x2=c2t2(1−β2),在 S′ 中为 c2t′2,两者相等。因为两事件在 S′ 同地,t′ 就是该运动时钟记录的固有时。
固有时与时间膨胀
对类时世界线定义固有时
c2dτ2=c2dt2−dx2,dτ=γ(v)dt.
τ 是沿世界线随行时钟的读数,单位为秒。若惯性运动速度恒定,实验室中两个事件的时间间隔为
Δt=γΔτ.
时间膨胀比较的是同一只运动时钟上发生的两事件;在随行系中必须同地。任取两个不同位置的钟读数,若没有同步协议,就不能直接使用该式。
例 2:高速不稳定粒子的实验室寿命
某粒子在自身静止系的平均寿命为 τ0=2.20μs,实验室速度为 0.980c。有
γ=1−0.98021≈5.03,τlab=γτ0≈11.1μs. 在这段平均实验室时间内的平均飞行距离为
d=vτlab≈0.980(2.998×108)(11.1×10−6)≈3.25×103m. 寿命是随机变量,上式给指数衰变分布的均值变换,不表示每个粒子都恰在 3.25km 处衰变。
固有时取决于整条世界线
非匀速运动的总固有时要沿路径积分:
τ=∫t1t21−c2v(t)2dt.
两个共同起点和终点之间,不同世界线可以积累不同固有时。平直时空中,连接两类时事件的惯性直线使固有时取极大;这与欧氏几何中直线长度最短不同,差异来自 Minkowski 号型。
例如旅行者在实验室系中以 0.800c 从原点到达
L=1.20×1012m 后瞬时反向,以同速返回。忽略转向阶段,单程实验室时间为
t1=0.800cL≈5.00×103s,
往返约 1.00×104s。γ=5/3,旅行者固有时约
τ=γ2t1≈6.00×103s.
两人重逢时可直接比较同一事件处的钟读数,差约 4.00×103s。不对称性来自旅行者改变惯性世界线,而非匀速观察阶段谁“真正运动”。真实有限加速段也可纳入固有时积分。
相对同时性与长度收缩
两个事件在 S 同时,Δt=0,但
Δt′=−γc2vΔx.
若 v=0 且事件相隔 Δx=0,它们在 S′ 不同时。这就是同时性的相对性。它来自时钟同步的参考系依赖,不是信号传播延迟未校正的错觉。
还可以反向求“哪一个惯性系会认为两事件同时”。令 Δt′=0,由变换式得到
vsim=Δxc2Δt.
右侧单位是速度;只有类空间隔满足 ∣cΔt∣<∣Δx∣,才有 ∣vsim∣<c 的物理惯性系。类时间隔代入会要求超光速参考系,正好对应“不存在使两事件同时的惯性系”。例如 Δx=900m、Δt=1.00μs 时,vsim≈0.333c;把该速度代回 Δt′=γ(Δt−vΔx/c2) 可复算为零。
物体的固有长度 L0 在其静止系中测量,要求同时记录两端位置。若物体相对实验室沿自身长度方向运动,实验室必须在同一实验室时刻取两端事件。Lorentz 变换给
L=γL0.
长度收缩只作用于平行运动方向的尺寸,垂直尺寸不变。若在物体静止系选择同时的两端事件再直接变换,它们在实验室不同时,所得空间差不是实验室测得的长度。
例 3:两端同时闪光在另一系中的时差
实验室中相距 L=600m 的两个灯在同一时刻闪光。令右端事件相对左端有 Δx=+600m、Δt=0。对 v=0.800c 的 S′,γ=5/3,
Δt′=−γc2vL=−35c0.800×600≈−2.67μs. 负号表示右端闪光在 S′ 更早。间隔为 Δs2=−L2<0,确属类空;因此存在参考系反转次序而不破坏因果性。
速度合成
对粒子速度 ux=dx/dt,由微分 Lorentz 变换得到
ux′=1−uxv/c2ux−v,
横向分量为
uy′=γ(1−uxv/c2)uy,uz′=γ(1−uxv/c2)uz.
若 ux=c,仍有 ux′=c。若两亚光速共线速度在同方向合成,
u=1+u′v/c2u′+v<c.
例如飞船相对地面为 0.800c,探测器相对飞船同向为 0.700c,地面测得
u=1+0.561.50c≈0.962c,
不是经典相加的 1.50c。
光的相对论 Doppler 频移
频率和波矢可组成四波矢
kμ=(ω/c,k),
真空光满足 kμkμ=0 和 ω=c∣k∣。沿 x boost 时
ω′=γ(ω−vkx)=γω(1−βcosθ),
θ 是 S 中光传播方向与 +x 的夹角。频率单位为赫兹(Hz=s−1),角频率为 rads−1;弧度无量纲,但两者相差 2π。
观察者沿光传播方向远离光源时 θ=0,
ff′=γ(1−β)=1+β1−β.
若 β=0.600,频率比例为 0.500。实验室中 f=5.00×1014Hz 的光,在该远离观察者处测为 2.50×1014Hz。反向接近时比例为 2。该公式同时包含波峰到达率和时钟变换,不能用经典声学 Doppler 公式把“介质中的波速”设为 c 来替代。
距离与同步的操作定义
惯性系的一组空间坐标需要一列静止、按 Einstein 规则同步的钟。若位于中点的钟在 t0 发光,两个等距端点在同一坐标时刻收到信号,便可建立该系的同步。另一个运动系对这些远处分布钟的同步判断不同,正是 Lorentz 变换中的 −vx/c2 项。
单个观察者也可用雷达方式给远事件赋坐标:在固有时 τ− 发出光,在 τ+ 收到回波,定义雷达时间和距离
τr=2τ++τ−,rr=2c(τ+−τ−).
这种定义明确包含发送、反射和接收事件。在惯性平直情形它与该观察者静止系坐标一致;对加速观察者或弯曲时空,雷达坐标的覆盖范围和同时面需要另行分析。
“看到物体变短”常混合光传播、像差和拍照时刻;Lorentz 长度收缩讨论的是同步测量坐标差。成像预测还要沿光锥追踪不同发光事件,不能只把照片横向缩放 1/γ。
低速极限与 rapidity
当 ∣v∣≪c,
γ=1+21c2v2+O(v4/c4).
于是 x′≈x−vt、t′≈t,恢复 Galilei 变换的主导项。相对论修正通常从 v2/c2 进入时间膨胀和长度收缩,但同时性修正 vx/c2 还与事件空间尺度有关;低速不代表任意远距离上都可忽略。
还可定义快速度 φ 使 tanhφ=β,则 γ=coshφ、γβ=sinhφ。同轴 Lorentz boost 的快速度直接相加,速度合成公式由双曲正切加法得到。这个参数化显示 boost 是 Minkowski 平面中的双曲旋转,而非欧氏旋转。
更具体地,把沿 x 方向的 boost 写成
B(φ)=(coshφ−sinhφ−sinhφcoshφ)
作用于列向量 (ct,x)T。双曲函数加法公式直接给出
B(φ2)B(φ1)=B(φ1+φ2),B(φ)−1=B(−φ).
因此同轴 boost 在复合下封闭,恒等元是 B(0),逆元对应反向速度。若两个相继参考系的速度参数分别为 β1 与 β2,复合参数为
β21=tanh(φ1+φ2)=1+β1β2β1+β2.
这里 β 和 φ 都无量纲;恢复速度时必须写 v21=cβ21。例如两个同向 boost 各有 v1=v2=0.600c,则 β21=1.20/1.36≈0.882,而不是 1.20。对应快速度各为 artanh(0.600)=ln2,复合快速度为 ln4,代回 tanh 得到同一结果。
这种简单相加只适用于共线 boost。不同方向的 boost 复合后一般还包含空间转动,称为 Wigner 转动;因此三维 boost 的集合本身不是一个对复合封闭的子群,但完整的保持时间方向、保持空间取向的 Lorentz 变换构成群。无论怎样复合,每一步都满足 ΛTηΛ=η,所以最终仍保持光锥、间隔分类与因果次序。
快速度也给出一个稳健的数值边界检查:任意有限 φ 都有 ∣tanhφ∣<1,故复合有限次亚光速 boost 不会越过 c。当 ∣φ∣→∞ 时速度才趋近 c,同时 γ=coshφ 发散。有质量观察者不能通过有限 boost 到达光速;光的世界线则始终位于零间隔边界,不能定义通常意义的光子静止系。
常见误区
常见误区
“运动钟自己真的变慢,所以它看到静止钟也慢是矛盾。”匀速阶段的比较具有对称性;要让两只钟再次相遇,至少一方改变惯性状态或路径。最终固有时由各自世界线积分决定。
常见误区
“长度收缩来自光到达眼睛的延迟。”测量定义已校正传播,并要求同一参考系同时记录两端;收缩来自事件切片不同。
常见误区
“类空事件先后可反转,所以可以向过去发送信号。”类空分离恰好意味着亚光速或光速信号无法连接两事件,先后反转不构成因果回路。
练习:事件、间隔与变换
知识连接与后续路线
课程 · 2024Introduction to Relativity and Spacetime Physics
Scott Hughes
用于核对 P08 的 Lorentz 变换、时空间隔、四动量、相对论电磁学、等效原理和弱场观测例题。
打开官方来源
MIT OpenCourseWare 8.033 的狭义相对论部分覆盖 Lorentz 变换、时空间隔、Minkowski 图和相对论运动学,可用于核对本章约定与算例。下一章保持同一 (+,−,−,−) 号型,用四速度、四动量和场张量处理动力学与电磁场变换。