如果你被要求向一个从未见过地球的智慧体解释“哪只是左手”你多半会回答伸出手来比一个“L”形。这个回答暗含了一个前提存在一个可以依赖的绝对坐标系。可一旦参考系可以平移、旋转甚至被做一次镜像左右就不再天经地义——“手性校验”从几何问题变成了物理难题。我最近花了一个周末把相对论、伪欧几何和手性校验放在同一张草稿纸上做了一次跨界推演收获比想象中大。这篇笔记写给对相对论有一定直觉、想动手把几何和物理连起来看看的读者也写给当初那个总忍不住问“到底有没有绝对坐标系”的自己。我会尽量把话说得直白不搬太多术语吓人。数学上能推导的地方我会把关键步骤写出来推不出来或者只是试探性思考的地方我也会明确标注“这是个人推演不是成熟理论”。毕竟这篇东西本质是一次思考实验不是论文。1. 从相对论说起为什么“绝对坐标系”这么诱人又这么靠不住1.1 牛顿时代绝对空间是一种“默认设置”牛顿本人并不觉得绝对坐标系有多难理解。他提出过一个至今仍然经典的水桶实验一个水桶旋转起来桶里的水面会凹下去哪怕水相对桶是静止的。牛顿认为这个凹面说明水确实在“绝对空间”里旋转而不是相对于桶面静止。换句话说旋转状态不需要借助另一个物体才能定义宇宙自带一把“绝对标尺”。这个直觉很有力量。哪怕现在的你在屏幕上读到这句话你大概率也默认存在着某个“真正的静止坐标系”——我们只是还没找到它而已。但问题恰恰出在这里如果宇宙中真有一把绝对标尺那么你就是坐标系里的那个“上帝观察者”。可手里的磁铁、桌上的时钟从来不会告诉你它们相对于这把标尺的速度是多少这就很尴尬。手性问题在这里第一次冒头。在牛顿的绝对空间图景里左手和右手可以非常自然地定义你只要规定“大拇指指向时间轴方向食指指向某个绝对空间方向中指再指向另一个绝对空间方向”左右就固定了。可一旦绝对空间消失了这种定义就悬空——你只能用别的物理对象来定义左右而不能用一个想象中的宇宙背景来定义。后来的历史证明连“绝对时间”这个更古老的概念也没能保住。1.2 光速不变如何拆掉绝对坐标系十九世纪的物理学家普遍相信存在一种叫作“以太”的绝对参照介质光在以太中的传播速度才是真正的光速地球在以太中运动时会感受到“以太风”。迈克耳孙-莫雷实验原本想测出这阵风结果却测出一个让所有人沉默的事实光在任何方向、任何季节、任何时刻测出来都是同一个速度。爱因斯坦把这件事提升为基本原理光在真空中的速度与光源、观察者的运动状态无关。这条原理的直接后果是你没法再用“光速在不同方向上有差别”来标定哪个参考系才是真正静止的。绝对坐标系不是一个“还没找到”的东西而是物理上根本测不出来。于是狭义相对论干脆把它从物理里删掉了只保留相对性原理所有惯性参考系对物理规律的描述完全等价。这里有一个很多人容易绕弯的点相对论说“所有惯性系平等”可我们在做高中题目时总喜欢选“地面系”或者“车厢系”这不是自相矛盾吗不矛盾。选坐标系只是为了计算方便并不代表这个坐标系享有特权。真正重要的是无论你选哪个惯性系算出来的物理规律长得都一样。所谓“绝对”从“一个特殊的坐标系”变成了“一种在所有坐标系里都长一样的规律”。1.3 不变量真正能被称为“绝对”的东西那相对论中还有没有“绝对”的成分有但它们不再是坐标系而是坐标变换下的不变量。狭义相对论里最核心的不变量是两事件之间的间隔s^2 -c^2Δt^2 Δx^2 Δy^2 Δz^2这个 s^2 在任意两个惯性参考系里算出来都一样。你可以把它理解成不同观察者看同一个事件各人手里拿的 t、x、y、z 数值固然不同但他们最终算出的那个“组合量”却完全一致。这就像两个人站在不同距离看同一栋楼远处的说它很矮近处的说它很高但两人只要量出真实的楼高得到的一定是同一个数。绝对坐标系在这里彻底变了身份。我们不再需要“某个静止的坐标系是绝对的”而是需要“一切惯性参考系共享某个代数组合”来作为绝对量。这个思路极其重要因为它直接把相对论从物理引向了几何——用来承载这个不变量的几何就是伪欧几何。2. 伪欧几何相对论的舞台不是四维欧氏空间2.1 闵可夫斯基的“一招妙棋”1908年闵可夫斯基宣布了一个让同行惊讶的断言空间和时间本身只是阴影只有两者的某种联合体才能独立存在。他把时间当成第四个坐标提出四维时空的概念并且指出相对论的数学本质是四维时空里的几何问题。这一招妙在哪妙在它把“变换”变成了“转动”。洛伦兹变换原本是一组看起来有点诡异的公式牵扯到速度、光速、时间膨胀、长度收缩但在闵可夫斯基看来它不过是在四维时空里旋转了一下观察方向。一个参考系沿某方向运动等于时空坐标系做了一个“旋转”而间隔 s^2 就是旋转中保持不变的“长度”。但这里有个关键差异四维时空不是普通的四维欧氏空间。欧氏空间里所有方向的地位平等你转多少度都无所谓而四维时空里有一个时间方向和三个空间方向长度公式含负号这使得它的旋转规律完全不同成了伪欧几何。2.2 欧氏度规与伪欧度规的根本差异欧氏空间的距离公式是ds^2 dx^2 dy^2 dz^2三个平方项全部为正这叫正定度规。而四维时空的距离公式是ds^2 -c^2dt^2 dx^2 dy^2 dz^2时间项带负号。表面上看只是符号不同实际却带来颠覆性的几何性质两点之间的“距离平方”可以是正的、零的也可以是负的。这在欧氏几何里是完全不可想象的。负的间隔不表示“没那么长”它表示的是另一种时间关系——类时间隔。两点间如果间隔为负它们之间可以实现因果关系间隔为正则两点在空间上分开不可能有因果联系间隔恰好为零则是光信号可以连通的边界。为了理解这种差异可以把欧氏旋转看作画圆x x cosθ - y sinθy x sinθ y cosθ。圆的方程 x^2 y^2 在旋转下保持不变。而伪欧几何里的“旋转”则用双曲函数t t coshη - x sinhηx -t sinhη x coshη。保持的是 -c^2t^2 x^2。这也是为什么洛伦兹变换中的速度参数会被叫做“快度”它本质上是双曲角。数学上你依然可以说“洛伦兹变换就是旋转”但它是伪欧旋转不是圆规画出来的旋转。2.3 光锥、类时间隔与“绝对”的因果秩序伪欧几何给了相对论一个极漂亮的绝对结构光锥。以某个事件为顶点所有未来光信号能到达的方向构成未来光锥所有过去光信号能到达的方向构成过去光锥其余方向是“类空”方向与当前事件不存在因果联系。洛伦兹变换再快也不会把光锥内部的点甩到外部去事件之间的时序关系在任意惯性系里都不会颠倒。一个事件是另一个事件的“原因”还是“结果”这是一个洛伦兹不变量。所以伪欧几何不是把“绝对坐标系”简单取消掉而是替它找到了更正确的替代品因果结构才是四维时空里唯一的绝对坐标。你可以质疑某个坐标系是不是绝对静止但你无法质疑“A事件在B事件之前并且能够影响B”这件事——它在所有惯性系里都一样。手性校验之所以能和这个框架搅在一起正是因为手性在几何上与方向、反射、行列式这些概念紧密相关而它们又恰好是伪欧几何里最敏感的东西。3. 手性校验左手与右手如何变成数学3.1 用行列式给手性一个定义很多科普里对手性的解释是“左手和右手互为镜像不能通过旋转重合”。这个定义在数学上可以被翻译成一句话手性跟行列式的符号有关。假如一个物体在三维空间里的坐标由三根向量定义比如 a、b、c 三根轴那么它们构成的定向体积是混合积V a · (b × c)如果对空间做一次镜像反射把所有方向都取反三根向量都变负号那么 b × c 会变号再与 a 做点积结果再变一次号最终 V 变号。行列式符号从正变负这就是手性翻转的数学本质。你可以用右手握住一本书的三条边吗如果初始三条边是右手系的经过一次空间反演后它就变成了左手系任何旋转都救不回来。这里有一个细节值得强调手性行为是一组向量相对于另一组向量的关系不是一个标量能单独定义的。单独一个向量比如“前方”你在镜子前方做反射后它指向后方这只是方向的反转但三个不共面的向量组合起来才会携带“定向”这个信息。这也是为什么在物理上谈论手性时至少要有个自旋方向加一个动量方向或者三个动量矢量加上能量分量才能构成完整校验。3.2 从三维混合积到四维赝标量三维空间里的混合积在空间反射下会变号所以物理学家把它称为“赝标量”。字面理解就是它表面像个标量实际在反射时会翻脸。到了四维时空情况更有趣。洛伦兹变换作用于四个坐标包含时间分量。三维混合积如果直接放进四维语境boost 一作用就会变得面目全非因为它没有处理好时间维。正确的做法是用四维完全反对称张量 ε_{μνρσ}把四个四矢量 A^μ、B^ν、C^ρ、D^σ 缩并成一个量χ ε_{μνρσ} A^μ B^ν C^ρ D^σ这个 χ 在数学上等于把这四个四矢量当作四个列向量拼成一个 4×4 矩阵后取行列式。于是洛伦兹变换一下整个矩阵会左乘一个洛伦兹矩阵 L行列式变为 det(L) · χ。而洛伦兹矩阵的行列式有两种可能连续变换boost和旋转的行列式为 1χ不变含空间反射或时间反演的离散变换行列式为 -1χ变号。这个性质正是三维混合积在空间反射下变号的四维翻版。顺带说一句这个 χ 往物理里套名字的话可以逼近轴矢量、赝标量那一堆量。你可以把它当成一个最纯粹的手性校验量在可实现的惯性系之间不变在包含镜像的变换下翻号。它天然就是“校验你给的变换里有没有镜像”的探测器。3.3 洛伦兹群里的离散变换与手性命运洛伦兹群不是一整块面团它有四个互不相连的分块保持时间方向的正常变换、时间反演变换、空间反演变换、两者都反的变换。连续洛伦兹变换只落在“正常”那一块里手性量对此无感。平时我们讨论“参考系相对运动”用的都是这类连续变换所以可以放心地说你坐在匀速飞驰的高铁里或者站在地面上观察到的手性顺序是一致的左手不会因为速度变成右手。离散变换则是另一回事。空间反演把三个空间坐标全部取反行列式为 -1手性量翻转时间反演同样会让行列式变号两者都反行列式是 (-1)*(-1)1手性量又保持。这个代数结构告诉我们要做手性校验真正要盯住的不是“相对速度多大”而是“变换矩阵行列式的符号”。物理世界里这一类思考有过极其重要的实证。上世纪五十年代的钴-60β衰变实验发现弱相互作用中电子发射方向与原子核自旋方向之间存在左右不对称一个赝标量在弱相互作用里有非零的期望值。实验上确实测到了手性校验的差异但必须强调这个差异在所有惯性参考系里都成立它没有选出任何一个特殊惯性系。相对性原理依然完好只是自然界对“左右”的偏爱恰好反映在某个相互作用的拉格朗日量里而不是反映在“存在绝对坐标系”上。这个区分极其容易踩坑后文我会再展开。4. 跨界推演实操拿手性去寻找绝对坐标系会得到什么4.1 推演第一步建构一个最小化模型我先设定两个参考系S 系和 S 系S 相对 S 沿 x 轴以速度 v 0.6c 匀速运动。狭义相对论下这是一个标准洛伦兹变换矩阵写出来是| γ -γβ 0 0 | | -γβ γ 0 0 | | 0 0 1 0 | | 0 0 0 1 |其中 β v/c 0.6γ 1 / √(1 - β²) 1.25。这个矩阵的行列式是 1代表一个正常连续洛伦兹变换。我另外再定义一个空间反射矩阵| 1 0 0 0 | | 0 -1 0 0 | | 0 0 -1 0 | | 0 0 0 -1 |这个是把三维空间的所有方向都取反行列式是 -1代表离散变换。两个矩阵放在一起就能研究同一个手性校验量在不同变换下的命运。然后我挑选四个四矢量作为模型的“观测对象”比如可以理解为能量-动量矢量、自旋轴、空间动量分量等A (5, 1, 0, 0)B (2, 0, 1, 0)C (3, 0, 0, 1)D (1, 0.5, 0.5, 0.5)。这组数不来自任何真实粒子纯粹是用来验证代数性质的玩具数字。我要构造的手性量 χ 就是由这四个四矢量拼成的行列式。4.2 推演第二步做一次可复现的数值实验我习惯把这种代数验证丢给 NumPy 快速跑一遍省得自己手算出一堆笔误。下面这段 Python 代码很简单你完全可以复制到本地跑一下观察输出结果。import numpy as np beta 0.6 gamma 1 / np.sqrt(1 - beta**2) # 洛伦兹 boost沿 x 轴方向 L_boost np.array([ [gamma, -gamma * beta, 0, 0], [-gamma * beta, gamma, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1] ]) # 空间反射所有空间分量取反 P_spatial np.diag([1, -1, -1, -1]) # 四个四矢量 A np.array([5.0, 1.0, 0.0, 0.0]) B np.array([2.0, 0.0, 1.0, 0.0]) C np.array([3.0, 0.0, 0.0, 1.0]) D np.array([1.0, 0.5, 0.5, 0.5]) def four_d_chirality(A, B, C, D): # 四维赝标量四个四矢量拼成矩阵取行列式 M np.stack([A, B, C, D], axis1) return np.linalg.det(M) chi0 four_d_chirality(A, B, C, D) chi_boost four_d_chirality(L_boost A, L_boost B, L_boost C, L_boost D) chi_refl four_d_chirality(P_spatial A, P_spatial B, P_spatial C, P_spatial D) print(原始手性量: , chi0) print(boost 之后手性量: , chi_boost) print(空间反射后手性量: , chi_refl) print(boost 矩阵行列式: , np.linalg.det(L_boost)) print(反射矩阵行列式: , np.linalg.det(P_spatial))跑出来的结果会很干净boost 之后的 χ 和原始值完全相等boost 矩阵行列式是 1.0说明连续洛伦兹变换确实不改变手性空间反射后的 χ 数值等于原始值的负号反射矩阵行列式是 -1.0说明镜像操作直接翻转手性。如果你把这段代码里的 L_boost 换成沿 y 轴或 z 轴方向的 boost结果也一样。真正决定 χ 是否变号的不是 boost 的方向和速度而是变换矩阵行列式的符号。连续变换的行列式永远为正手性校验量就永远稳定离散反射的行列式为负手性量就翻号。4.3 推演第三步解读结果收敛结论这次推演能收敛出几个很明确的结论。第一手性量在惯性参考系之间是稳定的。你在地面上测出一个左手系结构在一列匀速飞驰的高铁里测量得到的结果完全一样。这说明想用手性区分“地面系”和“火车系”是徒劳的。第二如果某天你打开仪器发现三维手性量突然反转那说明你做的操作里必然包含了一个镜像或反射。但物理上惯性参考系之间的变换不包含这种离散操作。镜像不会通过真实的推进产生你无法把实验室“推”进镜子世界里。第三因此手性不能用来寻找“绝对坐标系”但它是检验离散对称变换是否存在的可靠探针。伪欧几何里真正带着“绝对”标签的是光锥、因果序、间隔分类而不是某个特殊惯性系。手性校验捕捉到的是另一维度的信息——该变换是否保持空间定向。这也是我这次跨界推演里觉得最划算的收获绝对坐标系这个老问题一旦被转移成“什么量在什么变换群下不变”就立刻变成一道有代数答案的题。手性量帮我们探测变换的离散属性光锥帮我们锁定因果结构两者合起来覆盖了洛伦兹群里的连续与离散两个层面。5. 常见误区与避坑指南5.1 五个我踩过或看别人踩过的坑误区表象正解把洛伦兹变换当普通四维旋转总想用圆函数推公式它是伪欧旋转参数是双曲角保持的“长度”是 s² 而不是四维欧氏距离用三维混合积直接充当四维手性量boost 一换参考系数值就变必须引入四维 ε_{μνρσ} 构造赝标量否则时间分量被忽略看见“绝对坐标系”就联想到以太以为现代物理只是没找到绝对参照物相对论的结论是“不需要”不变量才是绝对的坐标系本身不再有特权以为宇称不守恒证明存在绝对参考系把左右不对称当成坐标系特权弱相互作用不对称在任意惯性系里都一样没有破坏相对性原理忽视洛伦兹群里的离散分量只研究 boost 与旋转忽略空间反射和时间反演手性问题必须盯住变换矩阵行列式的符号连续变换全为 1离散变换出现 -1第一个坑尤其常见。因为一说到“旋转”大家自动就带入圆形旋转的画面。但伪欧几何里的旋转是画在双曲线上的角度参数对应快度而不是普通角度。如果你拿普通三角函数去套洛伦兹变换时间膨胀和尺缩公式很容易算错方向。第二个坑我自己在推演初期也踩过。当时想用最简单的三维混合积去判断“我的坐标系是不是含有镜像”结果 boost 一变数值就变得很奇怪。后来才意识到三维混合积只包含空间分量它不满足四维洛伦兹协变性把时间分量丢掉导致变换性质完全不对。真正干净的做法是构造四个四矢量的行列式。5.2 一点独门记忆法我后来总结了一套帮自己记住这些概念的思维钩子。手性总开关是变换矩阵的行列式行列式为 1手性保持行列式为 -1手性翻转。伪欧几何的绝对坐标是光锥结构任何连续洛伦兹变换都不会改变因果顺序。想验证某个量是不是真“绝对”就问它在目标变换群里怎么变——这才是现代物理里面的“绝对坐标系”的正确问法。如果你闲着没事想做一组延续练习我强烈建议你试试这两件事第一手动推导一下普通洛伦兹 boost 的行列式感受为什么连续变换行列式永远为 1第二把上文的四维 χ 定义改一下符号换成 ε 的分量手算一次行列式你会发现符号约定不同会改变结果但那不改变结论——只有离散变换才能翻转它。我在实际推演中的一个体会是把抽象概念落到矩阵和行列式上比空谈“左右对换”靠谱得多。手性不是玄学它的核心就是线性代数的定向体积符号。绝对坐标系也不是形而上学执念它的替代品是伪欧几何里那些不依赖于坐标选择的代数不变量。最后再分享一个小技巧。当你下一次被“绝对”这个词吸引比如“绝对空间”“绝对时间”“绝对坐标系”别急着争辩它存不存在先把它翻译成一句数学问句“如果对所有允许的变换都保持不变那这个量才算绝对。”你很快就会发现多数概念经不起这句翻译而少数扛住的往往就是物理定律里真正值钱的宝藏。