Learning objectives / 学习目标
- 精确陈述 Einstein 两公设，并区分“定律同形”与“测量数值相同”。
- 说明光速不变涉及真空、局域惯性测量和双程/单程测量的区别。
- 用光信号给出 Einstein clock synchronization 的操作定义。
- 用列车闪光与 Lorentz simultaneity offset 判断事件先后。
- 设计、审查 thought experiment，识别其中的理想化、可测量量与逻辑结论。
Prerequisites / 先修知识
- Classical Relativity and Its Limits 中惯性系、Galilean velocity addition 与 Maxwell 冲突。
- 事件的空间位置和发生时刻；路程、速度与传播时间。
- 代数方程与对称性推理。
Scope and conventions / 范围与约定
- \(S'\) 相对 \(S\) 沿 \(+x\) 以 \(v>0\) 匀速运动；两原点在 \(t=t'=0\) 重合。
- 本课把 \(c\) 定义为真空中局域测得的光速，不讨论折射介质中的相速度。
- 远处钟同步采用 Einstein convention：假定光在任意方向的一程速度相同；可直接检验的双程速度不依赖该约定。
- 只讨论 inertial frames；加速、引力和全球曲率留待 Unit 6.5。
- 预告但不完整推导 Lorentz 结果 \(\Delta t'=\gamma(\Delta t-v\Delta x/c^2)\)；完整推导见 Lesson 6.2.2。
Notation and modeling contract / 符号与建模契约
| Symbol | Meaning | SI unit |
|---|---|---|
| \(S,S'\) | inertial frames | — |
| \(v\) | speed of \(S'\) relative to \(S\) along \(+x\) | \(\mathrm{m\,s^{-1}}\) |
| \(c\) | vacuum light speed | \(\mathrm{m\,s^{-1}}\) |
| \(A,B\) | spatially separated clocks/events | — |
| \(t_1,t_2,t_3\) | emission, reflection, reception readings | s |
| \(\Delta x,\Delta t\) | event separation measured in \(S\) | m, s |
| \(\gamma\) | \(1/\sqrt{1-v^2/c^2}\) | 1 |
Knowledge 1 — Principle of relativity / 相对性原理
Knowledge ID: P06-U01-L02-K01
First postulate: 所有惯性参考系中的物理定律具有相同形式。它否定可由封闭局域实验识别的“绝对静止惯性系”。这不是说所有观察者测得相同坐标、速度或场分量，而是说把各自测量量代入正确变换后，定律结构一致。
若在 \(S\) 中物理关系写为 \(\mathcal L(q,\partial q)=0\)，在 \(S'\) 中应能用 primed observables 写成同一结构 \(\mathcal L(q',\partial' q')=0\)。真正的 covariance 还要求测量程序和变换规则自洽；把 \(x\) 与 \(x'\) 混进同一方程不叫相对性。
边界： 相对性原理不说加速不可测；accelerometer 能检测 proper acceleration。它也不说宇宙中没有有用的自然参考系，例如 CMB 静止系；只说基本定律不把某个惯性系提升为绝对静止。
Knowledge 2 — Invariance of the speed of light / 光速不变原理
Knowledge ID: P06-U01-L02-K02
Second postulate: 真空光在任一惯性系中沿任意方向的测量速度均为 \(c\)，与光源匀速运动无关。局域测量可用同地一只钟记录光通过已知短路径的往返时间；远距离单程速度还牵涉同步约定。
若光在 \(S'\) 中沿 \(+x'\) 有 \(u_x'=c\)，正确的相对论速度变换必须仍给 \(u_x=c\)。因此新变换不能保留 \(t'=t\)。要同时调整空间与时间，使
\[\frac{\Delta x'}{\Delta t'}=c \quad\Longleftrightarrow\quad \frac{\Delta x}{\Delta t}=c.\]
不等于： 介质中光速永远为 \(c\)；折射率介质相对介质系的相速度可为 \(c/n\)。也不等于任何“光点”或群延迟都可无条件当作因果信息速度。
Knowledge 3 — Operational synchronization of clocks / 时钟同步的操作定义
Knowledge ID: P06-U01-L02-K03
同地事件可由一只钟直接比较；异地“同时”必须先同步远处钟。Einstein synchronization 规定：钟 \(A\) 在读数 \(t_1\) 发光，钟 \(B\) 反射信号并把自身设为
\[\boxed{t_2=\frac{t_1+t_3}{2}},\]
其中 \(t_3\) 是信号回到 \(A\) 的读数。等价地，假定同一惯性系中两方向一程传播时间相等。
定义 radar time 与 radar distance：
\[t_{\mathrm{event}}=\frac{t_{\mathrm{send}}+t_{\mathrm{return}}}{2}, \qquad r=\frac{c}{2}(t_{\mathrm{return}}-t_{\mathrm{send}}).\]
它把坐标赋值锚定到实际发送和接收读数，避免“远处现在”只靠直觉。
边界与约定： 同步是一个惯性系内部的时钟网络约定；另一个运动惯性系的 Einstein-synchronized clocks 一般不会被本系判为同步。加速平台与环形转动系统可能出现更复杂的全局同步问题。
Knowledge 4 — Relativity of simultaneity / 同时性的相对性
Knowledge ID: P06-U01-L02-K04
两个空间分离事件若在 \(S\) 中 \(\Delta t=0\)，Lorentz time transformation 给
\[\boxed{\Delta t'=-\gamma\frac{v\Delta x}{c^2}}.\]
因此只要 \(v\Delta x\ne0\)，它们在 \(S'\) 中不同步。若 \(\Delta x>0\) 且 \(S'\) 向 \(+x\) 运动，则右侧事件在 \(S'\) 较早发生，\(\Delta t'<0\)。
在列车—闪电思想实验中，“两个闪光同时到达某人眼睛”不自动等于“两个发射事件同时”。必须先扣除传播时间。在平台系中若两端同时闪光且平台中点同时收到，运动中的列车中点正迎向前方光、远离后方光；其接收顺序反映运动，但发射事件的 \(S'\) 时间顺序应由同步钟或 Lorentz transform 判断。
同时性只会对 spacelike-separated events 改变先后；若一个事件可因果影响另一个，所有惯性系都同意因果顺序。这个因果限制将在 Lesson 6.2.3 用 light cone 严格表达。
Knowledge 5 — Role of thought experiments / 思想实验的作用
Knowledge ID: P06-U01-L02-K05
Thought experiment 不是“无需实验的幻想”，而是把公设、测量程序与逻辑后果隔离出来的模型实验。高质量思想实验必须明确：
- 哪些量可被钟、尺、光探测器读出；
- 哪些理想化被采用，如无穷短光脉冲、惯性运动、瞬时反射；
- 哪个参考系给出同步定义；
- 结论是否依赖传播延迟、视觉效应或真实动力学；
- 是否有实际实验可检验其最终预测。
Einstein light clock、train lightning、chasing a light beam 都把同一问题变成可操作的比较。图示箭头必须是 worldline 或 light ray，而不是把“视觉上看到”混成“事件发生”。
模型边界： 思想实验不能替代量化误差分析，也不能把尚未定义的“同时”“长度”“看到”偷偷当作绝对概念。它的价值在于暴露隐藏假设。
Worked Examples / 完整例题
Worked Example 1 — Radar synchronization
钟 \(A\) 在 \(t_1=2.000\,\mu\mathrm s\) 发光，信号从 \(B\) 反射后在 \(A\) 的 \(t_3=8.000\,\mu\mathrm s\) 返回。求给 \(B\) 反射事件赋予的时间与 radar distance。
研究对象： 三个信号事件。
参考系/系统： \(A,B\) 静止于同一惯性系，路径真空。
坐标： 一维，\(B\) 在 \(+x\)。
模型理由： Einstein synchronization 与光速各向同性。
计算：
\[t_2=\frac{2.000+8.000}{2}\,\mu\mathrm s=5.000\,\mu\mathrm s,\]
\[r=\frac{c}{2}(6.000\,\mu\mathrm s) =899.4\,\mathrm m.\]
单位/有效数字： \(\mu\mathrm s\) 转为 \(10^{-6}\,\mathrm s\)；四位有效数字。
检查： 去、回各 \(3.000\,\mu\mathrm s\)；\(2r/c=6.000\,\mu\mathrm s\)。
解释： 远处事件时刻由本地发送/接收读数操作性定义。
Worked Example 2 — Simultaneity offset for two flashes
在平台系 \(S\)，相距 \(\Delta x=600\,\mathrm m\) 的两盏灯同时闪光。列车系以 \(v=0.600c\) 沿 \(+x\)，求 \(S'\) 的时间差 \(\Delta t'=t'_{right}-t'_{left}\)。
研究对象： 两个发射事件。
参考系： \(S\) 中 \(\Delta t=0\)；\(S'\) 向右。
模型： Lorentz simultaneity relation；\(\gamma=1.25\)。
计算：
\[\Delta t'=-\gamma\frac{v\Delta x}{c^2} =-(1.25)\frac{(0.600c)(600)}{c^2} =-1.50\,\mu\mathrm s.\]
方向/符号： 右灯事件在 \(S'\) 早 \(1.50\,\mu\mathrm s\)。
量纲： \(v\Delta x/c^2\) 为 s。
极限： \(v\to0\) 或 \(\Delta x\to0\) 时差为零。
解释： 不同惯性系使用各自同步钟网络，故远处同时面不同。
Worked Example 3 — Local test of light-speed invariance
飞船内一面镜子离探测器 \(L=12.0\,\mathrm m\)，同一探测器发射并接收往返光脉冲。求船内记录的往返时间；若地球看飞船以 \(0.80c\) 运动，船内结果是否改为 \(2L/(c\pm v)\)？
研究对象： 船内光脉冲。
系统/参考系： 船的惯性静止系；发射与接收同地。
模型： second postulate。
计算：
\[\Delta\tau=\frac{2L}{c} =\frac{24.0}{2.998\times10^8} =80.1\,\mathrm{ns}.\]
检查： 单位为 s；双程路径 \(24.0\,\mathrm m\)。
边界： 地球系会给移动镜面、不同空间路径和不同坐标时间，但不能把船内局域测量改成 \(c\pm v\)。
解释： 每个惯性系用自己的尺和同步钟都得到 \(c\)。
Worked Example 4 — Separating emission from reception
平台系中两灯位于 \(x=\pm300\,\mathrm m\)，在 \(t=0\) 同时发光。某观察者在 \(t=0\) 位于原点并以 \(0.20c\) 向右运动。哪束光先到达？
研究对象： 两条光 ray 与观察者 worldline。
参考系： 直接在平台 \(S\) 计算。
坐标： 右正；观察者 \(x=vt\)。
模型： 光在 \(S\) 中速度为 \(\pm c\)。
右光相向：
\[300-ct=vt \quad\Rightarrow\quad t_R=\frac{300}{c+v}=0.834\,\mu\mathrm s.\]
左光追赶：
\[-300+ct=vt \quad\Rightarrow\quad t_L=\frac{300}{c-v}=1.25\,\mu\mathrm s.\]
检查： 观察者迎向右侧来光，故先收到右光；两发射仍在 \(S\) 同时。
解释： 接收先后不等同于发射先后；必须结合传播路径与同步定义。
Lesson synthesis / 本课综合
第一公设要求全部物理定律在惯性系同形；第二公设要求每个惯性系都测得真空光速 \(c\)。要把远处分离事件放入同一时间坐标，必须用光信号同步钟。运动系拥有自己的同步网络，因而与本系的同时面不一致。Thought experiments 的作用就是把这些测量程序透明化，并导出可检验的时间、长度和因果预测。
Formula-and-decision table / 公式与决策表
| Need | Formula / rule | Conditions | Main caution |
|---|---|---|---|
| state first postulate | same laws in all inertial frames | local inertial physics | not same coordinate values |
| state second postulate | local vacuum light speed \(=c\) | inertial frame, vacuum | not generally \(c/n\) in media |
| synchronize clocks | \(t_2=(t_1+t_3)/2\) | Einstein convention in one inertial frame | another frame judges network nonsynchronous |
| assign radar distance | \(r=c(t_3-t_1)/2\) | same clock sends and receives | subtract instrument delays |
| transform simultaneity | \(\Delta t'=-\gamma v\Delta x/c^2\) when \(\Delta t=0\) | standard Lorentz configuration | sign depends on frame convention |
| audit a thought experiment | postulate → protocol → model → prediction | idealizations explicit | distinguish seeing from happening |
Model boundaries / 模型边界
- 两公设适用于 inertial frames；加速度可由 accelerometer 检出。
- 光速不变是局域真空陈述；介质、波导与色散需额外材料模型。
- 一程光速的数值依赖远钟同步约定；可直接以单钟测量双程速度。
- 同时性相对不允许颠倒 timelike/null-separated events 的因果顺序。
- 列车与闪电图通常忽略光源尺寸、探测器响应、加速阶段和引力。
- Thought experiment 给出理论推论，不替代实际实验验证和不确定度分析。
Misconception clinic / 误区诊所
- “相对性原理就是一切都相对。” 物理定律与时空间隔等量可不变；变化的是坐标描述。
- “光速不变表示光源发得越快能量也不变。” 频率和能量可因 Doppler shift 改变，速度仍为 \(c\)。
- “同时到眼睛就同时发生。” 还要校正不同传播距离；接收事件与发射事件不可混淆。
- “同步只是把钟调成同一数字。” 必须规定远处数字如何比较；Einstein convention 用光往返定义。
- “思想实验不需要实验事实。” 它依赖公设和测量定义，最终预测必须接受现实检验。
Practice and retrieval / 练习与提取
- K01： 两艘无窗飞船做相对匀速运动，内部同样的弹簧实验能否判定哪艘“绝对运动”？
Answer
不能。封闭局域惯性实验遵循同形定律，只能测相对运动，不能选出绝对静止。
- K01： 加速度计读数不为零是否违反相对性原理？
Answer
不违反。Proper acceleration 是局域可测量的；原理只使惯性系等价。
- K02： 车头灯相对地面车辆以 \(0.5c\) 运动。司机和地面观察者各测到真空光速多少？
Answer
二者局域惯性测量均为 \(c\)，不是 \(c\) 与 \(1.5c\)。
- K02： 光在折射率 \(n=1.50\) 的玻璃中相速度约是多少？这是否反驳第二公设？
Answer
约 \(c/n=0.667c\)；不反驳，因为公设陈述真空局域光速。
- K03： \(t_1=10\,\mathrm{ns}\)、\(t_3=50\,\mathrm{ns}\)，求同步赋值 \(t_2\)。
Answer
\(t_2=(10+50)/2=30\,\mathrm{ns}\)。
- K03： 上题的 radar distance 是多少？
Answer
\(r=c(40\,\mathrm{ns})/2=6.00\,\mathrm m\)，按三位有效数字。
- K04： \(S\) 中两事件同时，\(\Delta x>0\)；\(S'\) 沿 \(+x\)。哪个事件在 \(S'\) 较早？
Answer
\(\Delta t'=-\gamma v\Delta x/c^2<0\)，故位于更大 \(x\) 的事件较早。
- K04： 同地两事件能否因换惯性系而交换时间顺序？
Answer
不能；同地且不同时为 timelike separation，所有惯性系保持因果先后。
- K05： 指出“列车闪电图”中至少两个理想化。
Answer
例如：列车严格匀速、闪光近似点事件、真空传播、探测器瞬时响应、平台与列车无限刚性同步钟网络。
- 综合： 为什么两公设不能与 \(t'=t\) 和 \(x'=x-vt\) 同时成立？
Answer
对光 \(x=ct\)，Galilean 变换给 \(x'=(c-v)t\) 且 \(t'=t\)，于是 \(x'/t'=c-v\ne c\)；必须改变时间变换。
Exit ticket / 离堂检核
- 用发送、反射、返回三个钟读数定义远钟同步，并说明另一运动系为什么不必认同这组钟同步。
- 画出平台两端同时闪光、平台中点和运动中点三条 worldlines，明确标注“发射事件”与“接收事件”。
References and source notes / 参考资料与来源说明
Source-to-content map
| Source | Used for | Knowledge ID / section | Model boundary or convention |
|---|---|---|---|
| OpenStax University Physics Vol. 3, 5.1 Invariance of Physical Laws | two postulates and light-speed conflict | K01–K02 | introductory wording; this note separates vacuum and media |
| OpenStax University Physics Vol. 3, 5.2 Relativity of Simultaneity | train-lightning argument and frame-dependent simultaneity | K03–K04 | reception delay distinguished from emission timing |
| MIT OCW 8.033, Full Lecture Notes | operational events, light cones, Lorentz time relation | K02–K05 | MIT uses \((-,+,+,+)\) later; this course will use \((+,-,-,-)\) |
| MIT OCW 8.20, Introduction to Special Relativity resources | sequence of events, light, clock synchronization and thought experiments | K02–K05 | undergraduate course resources; equations restated with this note's sign convention |
| AIP Center for History of Physics, Einstein's Time | operational synchronization and historical role of clock networks | K03, K05 | historical analysis rather than calculation source |
资料与链接实际打开核对日期：2026-08-29。所有图按本文 \(S'/S\) convention 原创；数值例题与练习独立复算。
复习与拓展
- Time, Length, and Simultaneity：两公设的第一组定量后果。
- Lorentz Transformation：同步关系的完整线性变换推导。
- Spacetime Geometry：同时面、light cone 与 causal order。
- Equivalence and Curved Spacetime：局域惯性系在引力时空中的推广。