4.3 列车的轨迹：世界线与四维矢量

4.3 列车的轨迹：世界线与四维矢量

本站摘要：把物体的一生画成时空图上的一条线——世界线；沿线读出的"里程"是固有时，它由路径决定且直线最长。四维位移、四维速度、四维动量把全册公式收进一族天然协变的容器，第五章的质能方程已在容器末梢成形。

4.2 划好光锥领地，本站把运动者放进图里。世界线工具是第六章双生子结算的核心装备，四维动量则直接移交第五章。

列车的轨迹

时空图上，一个质点的历史不再是一串坐标，而是一条连续曲线——横轴 x、纵轴 c 乘 t，每个时刻物体都在图上留一个点，点连成线即世界线。读图三规则：

静止物体的世界线是竖直线（x 不变）。匀速物体是斜直线，斜率由速度决定——速度越接近 c，线越贴近 45 度光线；有质量的物体世界线必须处处比光线"陡"（保持在光锥内），这是 4.2 因果领地的运动版表述。加速物体的世界线弯曲，但任何位置的切线仍不许爬出光锥。

图 三条世界线读人生

固有时：世界线的里程

怎么量一条世界线的"长度"？用固有时。沿线取一小段，坐标时差 d 乘 t 换成固有时差 d 乘 τ 等于 d 乘 t 除以γ（2.2 的钟慢公式反过来用，逐段适用）。对整条线求和（或积分），就得到这条人生的总固有时——沿线随身钟累积的读数。

这里藏着一个与欧氏几何相反的惊人事实：欧氏空间里两点间直线最短，闵氏时空里连接两事件的所有世界线中，惯性直线（从不加速的那条）的固有时最长。折线、弯线都是"抄近路"——随身钟走得更少。

# 演算 1：同一对事件，两条世界线的固有时
import math
c = 1.0     # 光年/年 单位制：c=1，时间用年、距离用光年
beta = 0.6
g = 1 / math.sqrt(1 - beta**2)

# 事件对：出发（t=0）与重逢（t=10 年，同一地点）
# 路线 A（留守者）：竖直世界线，固有时 = 坐标时全程
tau_A = 10.0

# 路线 B（乘客）：0.6c 匀速往返，各段坐标时 5 年，共 10 年
# 每段固有时 = 坐标时 / γ
tau_B = 5.0/g + 5.0/g
print(f"留守者固有时: {tau_A} 年")
print(f"乘客 gamma: {g}, 往返固有时: {tau_B} 年")
print(f"重逢时乘客比留守者年轻: {tau_A - tau_B} 年")
# 输出:
# 留守者固有时: 10.0 年
# 乘客 gamma: 1.25, 往返固有时: 8.0 年
# 重逢时乘客比留守者年轻: 2.0 年
​

乘客的折线世界线"抄近"了 2 年的固有时。注意此时我们没有做任何加速细节计算——纯几何：两条线连接同样端点，长（固有时）短自见。完整叙事（为何两人不矛盾、转身瞬间发生什么）留待 6.4，此处几何账已立。

# 演算 2：验证"直线最长"——多条往返方案的固有时对比
import math
# 端点：t=0 到 t=10 年（同一地点）。构造多种往返方案
def round_trip_tau(beta):
    g = 1 / math.sqrt(1 - beta**2)
    t_half = 5.0                     # 每程坐标时固定 5 年
    return 2 * t_half / g            # 全程固有时

for beta in [0.0, 0.3, 0.6, 0.8, 0.99]:
    print(f"往返速度 {beta}c: 固有时 {round_trip_tau(beta):.3f} 年")
# 输出:
# 往返速度 0.0c: 固有时 10.000 年   ← 不动，直线，最长
# 往返速度 0.3c: 固有时 9.539 年
# 往返速度 0.6c: 固有时 8.000 年
# 往返速度 0.8c: 固有时 6.000 年
# 往返速度 0.99c: 固有时 1.410 年   ← 折得越狠，固有时越短
​

速度越高、折线越扁，固有时越少——单调递减无一例外。这就是"运动的钟变慢"的几何身份：不是钟坏了，是它走的世界线更短。

加速的世界线则是曲线，但它有一个反直觉的福利值得记一笔：以舒适的 1g（每秒每秒 9.8 米）持续加速，乘客毫无超重之苦，可快度线性累积——一年固有时后速度达到双曲正切 1.03，即 0.775c；两年后 0.96c；理论上三四年就能（按自己手表）横跨银河。限制不在推进力，而在 5.3 节的燃料账单：把这份加速度维持几年的能量需求指数级爆炸。世界线几何允许的，能量账单未必批准。

四维矢量：公式收纳术

间隔不变性提示我们：把时间与空间打包成四维位移矢量 X 等于（c 乘 t，x，y，z），洛伦兹变换就是它的"旋转"，X 与 X 的内积（闵氏度规，时间项减空间项）就是间隔平方——不变量。同一套打包术可以推广：

四维速度 U 等于 dX 除以 d 乘 τ（用固有时求导，保证它真的是四维矢量）：

U = γ·(c, vx, vy, vz)
U·U = c²    ← 任何速度下都是 c²，又一个不变量
​

四维动量 P 等于静止质量乘 U：

P = m·U = (γmc, γmvx, γmvy, γmvz) = (E/c, p)
P·P = (mc)²  ← 长度由质量唯一决定，第五章的主角公式由此开箱
​

四维动量的时间分量 γ 乘 m 乘 c 与能量只差一个因子，空间分量正是相对论动量——能量和动量不是两个量，是同一个四维矢量的两个侧面。P 与 P 等于 m 乘 c 的平方展开，就是能量动量关系式 E 平方等于 p 平方 c 平方加 m 平方 c 四次方——5.4 节将把这行式子读成直角三角形。

# 演算 3：四维速度的"定长"属性
import math
c = 299_792_458
for beta in [0.0, 0.6, 0.9, 0.999]:
    g = 1 / math.sqrt(1 - beta**2)
    # U = γ(c, v)，闵氏内积：U·U = (γc)² − (γv)²
    U2 = (g*c)**2 - (g*beta*c)**2
    print(f"beta={beta}: U·U = {U2:.6e} = {U2/c**2:.6f} c²")
# 输出: 每行 U·U/c² = 1.000000 —— 四维速度的"长度"恒为 c
​

⚠️ 求导纪律：四维速度必须对固有时求导，对坐标时求导得到的（c，v）不是四维矢量（换系不按矢量规则变换），这是教科书与入门讲义的分水岭细节。

💡 收纳术的回报：守恒定律从此有了统一写法——"四维动量守恒"一句话同时覆盖能量守恒与动量守恒（时间分量与空间分量各守各的）。碰撞、衰变、对撞机分析（6.1 节）全按这一条走，解题代码量减半。

本节要点回顾

• 世界线：物体历史 = 时空图上一条线；有质量者处处待在光锥内，切线不许越过 45 度
• 固有时：沿线 d 乘 τ 等于 d 乘 t 除以γ逐段累积，是随身钟的总读数
• 反欧氏事实：连接两事件的惯性直线固有时最长；折线抄近——0.6c 往返省 2 年
• 单调规律：往返速度越高固有时越短，10 年端点间从 10 年单调压到 1.41 年
• 四维速度：γ乘(c，v)，长度恒为 c；对固有时求导是矢量身份的关键
• 四维动量：(E/c，p)——能量与动量是同一矢量的两面，守恒定律合二为一

第四章到站。四维动量容器的长度是 m 乘 c，下一章开箱：货运部里，质量与能量将统一记账。