4.1 一把不变的尺：时空间隔

4.1 一把不变的尺：时空间隔

本站摘要：定义时空间隔——c 平方乘 Δt 平方减去空间距离平方。这个量在洛伦兹换算下纹丝不动，是所有惯性乘客共同承认的客观量。本节数值验证其不变性，用它的正负号给事件对分类，并顺手处理"时间维度如何与米挂钩"的单位问题。

第三章造好了换算表，本站开始追问表背后的结构。它是第四章"几何接管"的第一步，通往 4.2 的光锥分类。

一把不变的尺

钟慢尺缩的账单看多了，容易生出怀疑：每个参考系一套读数，还有没有大家公认的东西？有。取任意两个事件，在任意惯性系里计算：

Δs² = c²·Δt² − Δx² − Δy² − Δz²
​

这个量叫时空间隔的平方。3.4 节的演算 2 已经瞥见过它，本站给它正式身份：无论怎么换参考系，Δs 平方一个数字都不变。钟慢、尺缩、错位全都是"一个不变量在不同坐标系里的不同切片"。

# 演算 1：间隔不变性的随机轰炸测试
import math, random
c = 299_792_458
random.seed(7)

def boost(dt, dx, v):
    g = 1 / math.sqrt(1 - (v/c)**2)
    return g*(dt - v*dx/c**2), g*(dx - v*dt)

worst = 0.0
for _ in range(5):
    dt = random.uniform(0, 5e-6)          # 随机时间差
    dx = random.uniform(0, 1500)          # 随机空间差
    for beta in [0.3, 0.6, 0.8, 0.95]:
        dtp, dxp = boost(dt, dx, beta*c)
        s2  = c**2*dt**2  - dx**2
        s2p = c**2*dtp**2 - dxp**2
        rel = abs(s2 - s2p) / max(abs(s2), 1.0)
        worst = max(worst, rel)
print("二十次换算后间隔的最大相对偏差:", worst)
# 输出: 约 1e-16 —— 双精度浮点的舍入水平，物理意义上完全不变
​

演算 1 用随机事件对配多档速度轰炸间隔公式，偏差始终锁死在浮点噪声里。这不是巧合：把洛伦兹变换代入间隔定义，代数上会精确归零——伽利略变换保住的是空间距离，洛伦兹变换保住的是时空间隔。换参考系 = 在四维时空里换角度，间隔就是那把不随视角变化的尺。

时间维度怎么和米放进同一把尺？答案藏在定义式本身：c 乘 t 的单位是米——光在 t 秒里走的距离。把时间轴标成 c 乘 t，四根轴就同刻度了。几何上这意味着：光的世界线在时空图里永远是 45 度线（3.2 的图已见过），无论谁画图都一样。

用正负号给事件对分类

间隔的符号把宇宙里的事件对劈成三族，这一刀将直接长出 4.2 的光锥：

# 演算 2：三族事件对的代表与判据核对
c = 299_792_458
pairs = [("站台广播与 1 公里外收听", 3.4e-6, 1000.0),    # 声速量级
         ("车头车尾的灯（0.6c 情形）", 0.75e-6, 375.0),   # 2.1 的老朋友
         ("两次敲钟（同地）", 1.0e-6, 0.0),
         ("异地'同时'（站台系）", 0.0, 500.0)]
for name, dt, dx in pairs:
    s2 = c**2*dt**2 - dx**2
    kind = "类时" if s2 > 0 else ("类光" if abs(s2) < 1e-3 else "类空")
    print(f"{name}: cΔt={c*dt:.0f}米 vs Δx={dx:.0f}米 → {kind}")
# 输出:
# 站台广播与 1 公里外收听: cΔt=1019米 vs Δx=1000米 → 类时
# 车头车尾的灯（0.6c 情形）: cΔt=225米 vs Δx=375米 → 类空
# 两次敲钟（同地）: cΔt=300米 vs Δx=0米 → 类时
# 异地'同时'（站台系）: cΔt=0米 vs Δx=500米 → 类空
​

核对几个老案例很有滋味：2.1 的车头车尾灯是类空（顺序可翻转，好在互不影响），收听广播是类时（因果安全），同地敲钟是最"纯"的类时（间隔平方开根号直接就是固有时乘 c）。

类时间隔还有一重实用价值：间隔直接量出固有时。对类时事件对，Δτ 等于 Δs 除以 c——两事件之间任何惯性观察者的"标准旅程时间"一步算出，不需要先找"事件同地发生的那个参考系"再换算：

# 演算 3：用间隔一步算固有时
import math
c = 299_792_458

# 事件对：发报（t=0, x=0）与回执（t=2微秒, x=300米）
dt, dx = 2.0e-6, 300.0
s2 = c**2*dt**2 - dx**2
if s2 > 0:
    tau = math.sqrt(s2) / c
    print(f"间隔判类时，标准固有时 = {tau*1e6:.3f} 微秒")   # 输出: 1.732 微秒
    # 交叉验证：找一个速度 v=dx/dt=0.5c 的信使恰好同地经历两事件，
    # 其γ=1.1547，坐标时 2 微秒除以γ = 1.732 微秒 —— 两路完全一致。
    g = 1 / math.sqrt(1 - (dx/dt/c)**2)
    print(f"信使核对：坐标时/γ = {dt/g*1e6:.3f} 微秒")       # 输出: 1.732 微秒
​

演算 3 的两路计算殊途同归：从间隔直接开方，与"跟着信使走一遍再除γ"给出同一个 1.732 微秒。间隔是坐标无关的"账本余额"，固有时则是它在最优路径上的读数——4.3 节将把这条性质推广成世界线的长度。

⚠️ 符号约定警告：本册取"正类时"约定（时间项减空间项）。部分教材取相反约定（空间减时间），判据全部反号。读文献先看约定再比数值，这是时空几何的第一条安全须知。

💡 换个视角消化不变性：钟慢尺缩让人误以为"一切都相对"，间隔则展示了相对论真正的骨架——变化的是投影，不变的是结构。第五章会看到第二个不变量（四维动量的长度），第六章的实验全部建立在这些不变量上。学会找不变量，是本教程送给你的第二副眼镜（第一副是"先问同时面"）。

本节要点回顾

• 间隔定义：Δs 平方等于 c 平方 Δt 平方减空间距离平方，单位统一靠 c 乘 t
• 不变性：任意换系间隔纹丝不动，随机数值测试偏差仅浮点噪声
• 三族分类：类时可影响、类光仅光可达、类空永不相互影响
• 老案例归档：车头车尾灯为类空，广播收听为类时，同地事件对最纯
• 符号约定：正类时与正类空两种流行约定，比对数值前先对约定
• 方法论：从"追读数"升级为"找不变量"——投影可变，结构恒定

分类标准既已立好，下一站把它画成图：以你为原点亮起光锥，宇宙分成"你的过去、你的未来、与你无关的别处"。