时空几何

Learning objectives / 学习目标

1. 正确绘制 event、worldline、light ray、simultaneity slice 与 frame axes。
2. 计算并验证 \((+,-,-,-)\) 号差下的 spacetime interval。
3. 用 light cone 分类 timelike、null、spacelike separation，并判断 causal order。
4. 沿分段或连续 worldline 积分 proper time，比较不同路径。
5. 用 rapidity 把 Lorentz boost 表示为 hyperbolic rotation，并证明共线快度可加。

Prerequisites / 先修知识

• Lorentz Transformation 的 standard boost 与 velocity addition。
• Time, Length, and Simultaneity 的 proper time 与 twin worldlines。
• 二次型、积分、\(\sinh,\cosh,\tanh\) 及恒等式 \(\cosh^2\eta-\sinh^2\eta=1\)。

Scope and conventions / 范围与约定

• 坐标列 \(X=(ct,x,y,z)^{\mathsf T}\)，Minkowski metric \(\eta=\operatorname{diag}(1,-1,-1,-1)\)。
• \(\Delta s^2=c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2\)；timelike \(0\)，null \(=0\)，spacelike \(<0\)。
• Spacetime diagram 纵轴为 \(ct\)、横轴为 \(x\)，采用相同长度刻度，故 light rays 斜率为 \(\pm1\)。
• Future-directed massive worldlines 始终位于 future light cone 内；不允许超光速因果信号。
• Standard boost 仍取 \(S'\) 相对 \(S\) 沿 \(+x\)，\(\eta_r=\operatorname{artanh}\beta\) 表示 rapidity；为避免与 metric \(\eta\) 混淆，正文必要时称 \(\eta_r\)。

Notation and modeling contract / 符号与建模契约

Knowledge 1 — Events and spacetime diagrams / 事件与时空图

Knowledge ID: P06-U02-L03-K01

Event 是一个确定的时空点；worldline 是物体连续经历的 events 集合。静止物体是竖直线 \(x=\mathrm{const}\)；匀速物体 \(x=ut+x_0\) 是直线；light ray \(x=\pm ct+x_0\) 在等尺度图上与轴成 \(45^\circ\)。

一张 spacetime diagram 同时包含“物体在哪里”和“何时在那里”。普通运动轨迹图 \(y(x)\) 省略时间，不能与 worldline 混用。Worldline 的 slope

\[\frac{d(ct)}{dx}=\frac{c}{u}\]

对 massive particle 的绝对值大于 1，故比 light ray 更竖直。

Lorentz axes 在 Euclidean 纸面上不垂直；其“正交”要按 Minkowski metric 理解。刻度也不能直接用纸面 Euclidean 距离比较；单位刻度落在 invariant hyperbolae 上。

Knowledge 2 — Spacetime interval and invariance / 时空间隔与不变性

Knowledge ID: P06-U02-L03-K02

两事件 separation 的 Minkowski squared interval 定义为

\[\boxed{\Delta s^2 =c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2}.\]

Lorentz transformation 保持它：

\[\Delta s'^2=\Delta s^2.\]

以一维为例：

\[c^2\Delta t'^2-\Delta x'^2 =\gamma^2\left[(c\Delta t-\beta\Delta x)^2-(\Delta x-\beta c\Delta t)^2\right] =c^2\Delta t^2-\Delta x^2.\]

与 Euclidean distance 的“平方必非负”不同，\(\Delta s^2\) 可正、零或负；这个 sign 是 Lorentz invariant，不能通过换惯性系跨类。

约定警告： 一些教材用 \((-,+,+,+)\)，于是 timelike interval 为负。本课固定 \((+,-,-,-)\)；换号差不改变物理分类，但公式符号必须整套一致。

Knowledge 3 — Light cones, causal order, and spacelike separation / 光锥、因果顺序与类空间隔

Knowledge ID: P06-U02-L03-K03

由某 event \(O\) 发出的全部未来 light rays 构成 future light cone；能以不超光速从 \(O\) 到达的 events 位于锥内或锥面。分类：

\[\Delta s^2>0\quad\text{timelike},\]

\[\Delta s^2=0\quad\text{null},\]

\[\Delta s^2<0\quad\text{spacelike}.\]

Timelike separated events 存在一惯性系使 \(\Delta\mathbf x'=0\)；所有 orthochronous inertial frames 同意其时间顺序。Spacelike separated events 存在一惯性系使 \(\Delta t'=0\)，也存在不同惯性系颠倒先后；因此在 SR 中不能让它们有因果联系。

若假设 superluminal signal 连接 spacelike events，就有某 boost 把接收排在发送之前；与另一个超光速返程信号组合可构成 causal loop。因而“没有超光速因果传播”不仅是速度上限，也保护 frame-independent causal order。

Knowledge 4 — Proper time along a worldline / 世界线上的固有时

Knowledge ID: P06-U02-L03-K04

沿 timelike worldline，infinitesimal interval 定义

\[c^2d\tau^2=c^2dt^2-d\mathbf x^2.\]

由于 \(d\mathbf x=\mathbf vdt\)，

\[\boxed{d\tau=dt\sqrt{1-\frac{v(t)^2}{c^2}}=\frac{dt}{\gamma(t)}}.\]

从 event \(A\) 到 \(B\) 的钟读数为

\[\boxed{\tau_{AB}=\int_A^B dt\sqrt{1-\frac{v(t)^2}{c^2}}}.\]

与 Euclidean geometry 中“直线最短”相反，timelike Minkowski geometry 中两固定 timelike events 之间的 inertial straight worldline 具有最大 proper time。Twin effect 是这个 reverse-triangle behavior 的物理实现。

边界： 在 curved spacetime，\(d\tau^2=g_{\mu\nu}dx^\mu dx^\nu/c^2\)；本课 flat metric 只适用于忽略引力的局域/全球 Minkowski 区域。

Knowledge 5 — Rapidity and hyperbolic geometry / 快度与双曲几何

Knowledge ID: P06-U02-L03-K05

定义 rapidity

\[\boxed{\eta_r=\operatorname{artanh}\beta =\frac12\ln\frac{1+\beta}{1-\beta}}.\]

则

\[\beta=\tanh\eta_r, \qquad \gamma=\cosh\eta_r, \qquad \gamma\beta=\sinh\eta_r.\]

Lorentz boost 写成 hyperbolic rotation：

\[\begin{pmatrix}ct'\\x'\end{pmatrix} = \begin{pmatrix} \cosh\eta_r&-\sinh\eta_r\\ -\sinh\eta_r&\cosh\eta_r \end{pmatrix} \begin{pmatrix}ct\\x\end{pmatrix}.\]

因为 \(\cosh^2\eta_r-\sinh^2\eta_r=1\)，它保持 \(c^2t^2-x^2\)，正如 Euclidean rotation 用 \(\cos^2\theta+\sin^2\theta=1\) 保持 \(x^2+y^2\)。

共线 boosts 的 rapidities 直接相加：

\[\eta_{r,tot}=\eta_{r,1}+\eta_{r,2}.\]

用 \(\tanh(a+b)\) 得 velocity addition：

\[\beta_{tot} =\tanh(\eta_{r,1}+\eta_{r,2}) =\frac{\beta_1+\beta_2}{1+\beta_1\beta_2}.\]

Rapidity 无界，而 \(\lvert\beta\rvert<1\)；这把“永远加不到 \(c\)”变成简单的 \(\tanh\) 映射。Non-collinear boosts 不仅相加，还产生 Wigner rotation，本课不展开。

Worked Examples / 完整例题

Worked Example 1 — Classifying an event separation

两事件在 \(S\) 中 \(\Delta t=5.00\,\mu\mathrm s\)、\(\Delta x=900\,\mathrm m\)、\(\Delta y=0\)。分类并判断能否因果连接。

研究对象： event pair。
参考系/度规： \((+,-,-,-)\)。
模型： flat spacetime。
计算： \(c\Delta t=(2.998\times10^8)(5.00\times10^{-6})=1499\,\mathrm m\)，

\[\Delta s^2=(1499)^2-(900)^2 =1.44\times10^6\,\mathrm{m^2}>0.\]

分类： timelike。
检查： 所需平均速度 \(900/(5.00\,\mu\mathrm s)=1.80\times10^8\,\mathrm{m\,s^{-1}}=0.600c<c\)。
解释： 第一个事件可用亚光速信号影响第二个；所有惯性系同意先后。

Worked Example 2 — Frame where spacelike events are simultaneous

在 \(S\) 中 \(\Delta x=600\,\mathrm m\)、\(\Delta t=1.00\,\mu\mathrm s\)。求使两事件 simultaneous 的 frame speed。

研究对象： event pair。
分类预检： \(c\Delta t=300\,\mathrm m<600\,\mathrm m\)，spacelike。
坐标/模型： \(\Delta t'=\gamma(\Delta t-v\Delta x/c^2)=0\)。
计算：

\[v=\frac{c^2\Delta t}{\Delta x} =\frac{(2.998\times10^8)^2(1.00\times10^{-6})}{600} =1.50\times10^8\,\mathrm{m\,s^{-1}}=0.500c.\]

检查： \(v<c\)，合法惯性系存在；若事件 timelike，公式会要求 \(v>c\)。
解释： spacelike separation 的先后不是 causal invariant。

Worked Example 3 — Proper time on two paths

Events \(A,B\) 在 Earth frame 同地，相隔 \(10.0\,\mathrm y\)。Clock 1 留在 Earth；Clock 2 以 \(0.800c\) 匀速离开 \(5.00\,\mathrm y\) 再瞬时反向返回。比较 proper times。

研究对象： 两只理想钟。
参考系： Earth inertial frame。
模型： Clock 2 两段等速，\(\gamma=5/3\)。
计算：

\[\tau_1=10.0\,\mathrm y,\]

\[\tau_2=2(5.00\,\mathrm y)\sqrt{1-0.800^2} =6.00\,\mathrm y.\]

检查： inertial straight path 积累更多 proper time；两钟在 \(B\) 同地可直接比较。
边界： 瞬时转向可用短有限加速平滑替换。
解释： worldline geometry，而非信号延迟，决定年龄差。

Worked Example 4 — Rapidity composition

两个共线 boosts 各为 \(v_1=v_2=0.600c\)。求各 rapidity、总 rapidity 与总速度。

研究对象： 三个惯性系的相对运动。
坐标： boosts 均沿 \(+x\)。
模型： collinear rapidity addition。
计算：

\[\eta_{r,1}=\eta_{r,2}=\operatorname{artanh}(0.600) =\frac12\ln4=0.6931.\]

\[\eta_{r,tot}=1.3863,\]

\[\beta_{tot}=\tanh(1.3863)=0.8824.\]

因此 \(v_{tot}=0.882c=2.65\times10^8\,\mathrm{m\,s^{-1}}\)。
检查： 等价于 \((0.6+0.6)/(1+0.36)=0.8824\)；小于 \(c\)。
解释： 速度非线性合成在 rapidity coordinate 中变成普通加法。

Lesson synthesis / 本课综合

Spacetime diagram 将事件和 worldline 放在同一几何中；Lorentz boost 改变坐标分解，却保持 \(\Delta s^2\)。Interval sign 划分 light cone，决定哪些事件可因果相连、哪些事件可改变时间顺序。Timelike path 的 Minkowski length 就是钟的 proper time；rapidity 则把 boost 变成 hyperbolic rotation。于是 simultaneity、time dilation、speed limit 与 twin effect 都是同一几何结构的不同投影。

Formula-and-decision table / 公式与决策表

Model boundaries / 模型边界

• Two-dimensional diagrams suppress \(y,z\)；真实 light cone 在 \(3+1\) dimensions 是三维锥面。
• Paper angles and Euclidean lengths do not directly give Minkowski orthogonality or scale。
• Interval formula here assumes inertial Cartesian coordinates in flat spacetime。
• Proper time integral applies to ideal clocks following timelike worldlines；real clock systematics仍需校准。
• Causal prohibition concerns information/interaction speed；几何交点或 phase velocity 可有不同表观行为而不传信息。
• Rapidity addition is simple only for collinear boosts；non-collinear case involves Wigner/Thomas rotation。

Misconception clinic / 误区诊所

1. “时空图上更长的纸面线表示更多 proper time。” 必须用 Minkowski metric，不用 Euclidean 尺。
2. “Interval squared 必须非负。” 号差允许 spacelike \(\Delta s^2<0\)；物理分类恰来自符号。
3. “Spacelike 事件可在某系同时，所以能瞬时通信。” 同时坐标不创造因果连接；超光速通信会破坏 invariant causal order。
4. “光的 proper time 为零，所以光觉得没有时间。” 光没有合法静止惯性系，不能赋予“光的主观视角”。
5. “Rapidity 就是速度的另一单位。” 它是无界的 hyperbolic angle，速度由 \(\beta=\tanh\eta_r\) 有界映射得到。

Practice and retrieval / 练习与提取

1. K01： 在等 \(x,ct\) 刻度图上，\(u=0.5c\) 的 worldline 斜率 \(d(ct)/dx\) 是多少？

2. K01： \(x'=0\) 轴在 \(S\) 图上满足什么方程？

3. K02： \(c\Delta t=5\,\mathrm m\)、\(\Delta x=3\,\mathrm m\)，求 interval squared。

4. K02： 若另一教材用 \((-,+,+,+)\)，上题数值符号如何变？分类是否变？

5. K03： \(c\Delta t=2\,\mathrm m\)、\(\Delta x=4\,\mathrm m\)；能否用亚光速信号连接？

6. K03： 哪类 separation 可找到 frame 使两事件同地？哪类可使其同时？

7. K04： 速度恒为 \(0.6c\)、coordinate time \(5.0\,\mathrm s\)；proper time？

8. K04： 两段分别 \((\Delta t,v)=(3.0\,\mathrm s,0.6c)\)、\((4.0\,\mathrm s,0)\)；总 proper time？

9. K05： \(\beta=0.8\) 的 rapidity 与 \(\gamma\)？

10. K05： 共线 boosts \(\beta_1=0.5\)、\(\beta_2=-0.5\) 的总 rapidity 和速度？

Exit ticket / 离堂检核

1. 给定两事件 separation，先用 interval sign 分类，再说明是否存在同地 frame、同时 frame 与因果连接。
2. 用 \(\gamma=\cosh\eta_r\)、\(\gamma\beta=\sinh\eta_r\) 证明 boost 保持 \(c^2t^2-x^2\)。

References and source notes / 参考资料与来源说明

Source-to-content map

资料与链接实际打开核对日期：2026-08-29。时空图逐图检查了 light-cone slope、axis meaning、simultaneity slices 与 causal region；所有图原创，例题与练习独立复算。

复习与拓展

• Four-Vectors：把 \(X^\mu\)、metric scalar product 与 proper time 系统化。
• Energy, Momentum, and Reactions：four-momentum mass shell 是另一条 invariant hyperbola。
• Relativistic Mechanics：作用量 \(S=-mc^2\int d\tau\)。
• Equivalence and Curved Spacetime：从 \(\eta_{\mu\nu}\) 推广到 \(g_{\mu\nu}(x)\)。