第三十三章 闵可夫斯基:四维时空怎样重组物理对象
一、把一生画成线,会失去什么,又获得什么
我们在纸上画一辆车的路线,通常只保留它经过哪些地方,不保留它什么时候经过。两辆车可以走过完全相同的路线,却从未相遇;也可以在平面路线图上交叉,却因到达时间不同而安全通过。空间轨迹不能独立回答相遇问题。若把时间一并记录,车辆的历史就不再只是平面上的线,而成为同时包含位置与时间的事件序列。
闵可夫斯基一九〇八年在科隆的演讲,把世界点、世界线、光锥与固有时组织在共同的时空表达中,强调物理规律与这些结构之间的关系。[33-1]这项工作不是凭空给宇宙再添一个看不见的方向,而是让此前分开处理的时间、位置和变换获得统一的数学组织。下文采用现代实坐标与符号约定作分析,不逐句重述演讲,也不把后来成熟理论的全部内容倒放到一九〇八年。
一条世界线表示一个理想点状对象的一段历史。它上面的一个点对应一次事件,不是某个空间点永远不变的身份。若对象在所选坐标系中静止,空间坐标不变,世界线沿时间方向延伸;若匀速运动,空间坐标随时间线性变化;若速度改变,线的方向也改变。这些图形使不同过程能够放在同一个构造里比较。
但画成一条线,也意味着作了抽象。真实物体有大小、内部结构和复杂运动,不能总由一个点代表。若研究整根尺,应考虑尺中不同部分的历史形成的世界管,而不是只追踪质心就以为获得了全部信息。物体的温度变化、破裂和形变可能需要额外变量。四维表示并不会自动保留全部物理,只是把事件的时空关系组织成一种更强的共同框架。
更不能把世界线当成一条真的铺在宇宙里的发光轨道。画线是理念活动,追踪事件依赖仪器与操作,实际对象沿其历史参与相互作用。三者可以紧密接合,却不是同一种存在。发生学的任务是解释它们如何取得可检验的联系,而不是因为图形直观,就把数学图上的线直接当成感官经验中现成可摸的物。
二、一个数值会变,为什么仍能描述同一段关系
上一章中,时间差和空间距离都可能随参考系改变。若把稳定性理解成“任何人写出的每一个数都一样”,相对论似乎破坏了稳定性。闵可夫斯基式的组织让另一个问题进入中心:哪些组合在允许的变换下保持,哪些关系虽然分量改变却仍能严格对应?物理同一性开始由结构承担,而不是由每个分量单独承担。
采用一时间三空间的现代记号,两个事件的间隔写为Δs²=c²Δt²-Δx²-Δy²-Δz²。本章使用时间项取正的符号约定。也有教材把所有符号反过来,这不构成物理分歧;重要的是整套判定和公式始终一致。这个间隔不是四维欧氏距离,因为空间项带负号。若误把它写成四项平方全加,便会消除相对论特有的几何结构。
只看一维运动,可以直接复算不变性。令Δx′=γ(Δx-vΔt),Δt′=γ(Δt-vΔx/c²),代入c²Δt′²-Δx′²,展开后两项含ΔtΔx的交叉项抵消,剩下γ²(1-v²/c²)(c²Δt²-Δx²),因此回到原值。稳定组合不是凭一句“几何告诉我们”指定出来的,它与变换规则具有可核查的代数联系。
作一个具体例子,以光秒表示长度、秒表示时间,使c的数值等于一。两个事件在K系中相隔五秒、三光秒。间隔为二十五减九,等于十六平方光秒。转到相对速度0.6c的K′系,γ=1.25,得到时间差四秒、空间差零。两套数值很不同,但间隔仍是十六平方光秒。K′中两事件发生在同一地点,这说明这一类事件对允许某个随行系把它们表达为同地而不同时。
这个例子也说明,不变量不等于一切都不变。它保持的是经明确规则组成的关系量;各分量变化正是这项关系在不同分解中的体现。若只寻找一个永远不变的空间距离,就会错过新系统的稳定性所在。反过来,若只强调分量都变了,也会把严格可比的物理世界误读为没有共同标准的碎片。
三、光锥划出的不是心理视野,而是可能连接的结构
间隔的正、零、负,把事件对分为三种不同类型。按本章约定,正间隔称为类时,零间隔称为类光,负间隔称为类空。在平直时空的标准相对论结构中,这种分类不因洛伦兹变换而改变。它并不由观察者喜欢哪种描述决定,因为间隔本身在这些变换下保持。
以一个事件为原点,满足c²t²=x²+y²+z²的事件组成光锥。未来一侧对应从原点出发的光信号可以到达的边界,过去一侧对应光信号能够到达原点的边界。锥内的类时事件可以由低于光速的路径连接,锥外的类空事件不能由遵守这一速度限制的信号直接连接。这里说的是理论允许的连接条件,不是断言每一对类时事件之间都真的存在因果作用。
因果可能性与已经发生的因果关系必须区分。某次敲击能够在足够长时间后影响远处探测器,不意味着探测器的所有变化都由那次敲击造成。传播还需要相互作用渠道、初始状态和具体动力学。光锥排除一部分不可能的解释,却不独立选择唯一真实原因。把几何允许误当成事实发生,会让物理因果分析失去最重要的证据步骤。
再给一个反例。两个事件相隔三秒和五光秒,间隔为负十六平方光秒。选择0.6c的变换,可以使它们在新系同时,空间差为四光秒。若再选择合适的更大相对速度,其中原本较晚的事件可以在新坐标中较早。但这并不意味着谁能把消息发回自己的过去,因为这一对事件属于类空分离,标准结构本来就不允许用普通低于或等于光速的信号直接把它们连接起来。
类时事件则不同。对已经选定未来方向的物理变换,一对类时事件的先后不会被倒置。相对论不是宣告所有先后都相对,而是精确说明哪类先后具有跨系稳定性,哪类排序依赖时间切分。把这两者混在一起,会把“远处分离事件的同时性无普遍固定值”夸大成“原因和结果可以任意交换”。新几何增加的正是这种分类能力。
四、同一物体为何拥有不同的空间截面
把一根理想尺的两个端点各自画成世界线,就得到两条平行的历史边界。K系取某个共同时间,横截这两条线,得到它在K系中的两端位置;K′系按自己的共同时间截取,则选出另一对事件。在时空图里,不同同时条件对应不同切法。尺长变化不再是两句互不相容的报告,而是同一历史结构在不同测量切面上的结果。
这里的切面并不是真有刀把物体切成片,而是测量如何选取事件的数学表达。若一根尺始终匀速并保持相同内部状态,不同切面仍然能够按照统一规则相互联系。若尺正在弯曲、升温或断裂,不同部分的历史就更复杂,原来简单的平行边界模型失效。这时需要补入动力学,不能要求一幅匀速世界管图解释所有材料过程。
把对象理解为历史结构,还能纠正一种容易出现的误会:物体的同一性不需要每个时刻的全部属性都相同。一个人的位置、体温和所持物品持续改变,研究者仍可能通过连续历史与因果联系追踪同一人;物理对象也可以通过规定清楚的历史连接保持身份。世界线为这种追踪提供结构,但“跟踪的是同一对象”仍需要模型与实验依据,不能只凭画线就解决粒子产生、湮灭或对象分裂的问题。
本书所谓新物理世界创造,发生在这种构成单位的改变中。孤立的空间形状退到特定截面的地位,事件关联与历史结构成为更有组织力的对象。不是说三维物体从此不存在,而是说它的形状、长度与同时状态必须交代所依赖的切分。不同层级能够共存,但不能不加条件地把某一层级的规定提升为全部世界的本体。
这一解释也有边界。若主张世界管表明全部未来已经以与过去完全相同的方式存在,那就进入更强的时间哲学立场。数学可以把一段完整解表示在同一张图上,却不能仅凭“图上都有”推导一种唯一的存在论。初始条件、动力学、概率解释与现实中的知识开放性仍是不同问题。四维形式提供重要约束,但没有凭一个图形替哲学完成所有判决。
五、固有时:两次相遇之间,路径怎样进入时间
上一章留下了一个问题:两只钟离开后再次相遇,究竟比较什么?在平直时空中,一只理想钟沿类时路径经历的固有时,可写为τ=∫√(1-v(t)²/c²)dt。这里的v(t)是相对所选惯性系的瞬时速度。积分将局部时间间隔累积为整段路径上的钟读数;不同坐标计算同一条路径,应给出相同结果。
这个公式使微积分的作用格外清楚。局部关系不是随意把若干钟慢公式拼起来,而是沿实际路径逐段计算;整体结果也不只由两个端点的坐标差决定。对弯曲路径,端点间的时空间隔与路径累积的固有时一般不同。只有在相应的惯性直线路径等特定条件下,两者才按简单关系一致。把端点关系与路径积分混用,会制造假的悖论。
考虑一项理想化往返。甲留在某惯性系原点,乙以0.6c离开,在该系经过五年后立即改变方向,再以同样速率返回,五年后与甲相遇。忽略极短转向阶段的持续时间,甲经历十年;乙每一段的时间因子都是0.8,两段共经历八年。这个例子假定理想钟并把瞬时转向视为有限平滑转向的近似,不能把它直接当成可实施的无限加速度装置。
年龄差并不是因为一个人“觉得”另一个人慢,也不是在某个转向瞬间凭空扣掉两年。它来自两条完整历史累积的固有时不同。转向使乙不能从出发到返回一直使用同一个与自身共动的惯性系,因而破坏了把全过程解释为两个对称匀速系的企图。至于具体加速度造成的时钟机械误差,则属于另外需要控制的装置问题。
还可以看到一个与欧氏直觉相反的性质。在给定的两次类时分离相遇之间,平直时空中的惯性直线路径具有最大的固有时;绕路的类时路径可以累积更少。这里不能用普通几何“直线最短”的口号判断,因为度量的符号不同。数学对象的规则不是日常空间感觉的自动延长,正是这种不自动延长,才使新模型能够解释旧直觉难以协调的现象。
六、四维不是四个同性质的方向
把时间乘以c之后,它与空间坐标具有相同长度量纲,这有助于统一表示,却不意味着时间与三个空间方向在所有物理意义上相同。度量的符号、因果方向与可实现路径都区分了时间性和空间性。人可以在房间里向前后左右移动,但不能据此把自己的世界线任意折回过去;这一差别不是单位换算能够抹去的。
同样,时空图上的斜率也需要按照坐标解释。横轴画x、纵轴画ct时,世界线的倾斜程度与速度相关,但图纸比例一改,视觉角度就会改变。不能用普通量角器测出的角度直接当成所有图中共同的物理量。标准图形把光线画成四十五度,是选择了相同尺度后的便利,而不是光在宇宙中拥有一个绝对的纸面倾角。
这正是本书需要区分数学对象与感官经验的地方。人眼看见图上的距离、弯曲和交叉,属于一项具体视觉SDE活动;图所表示的时空间隔与因果类型,则通过符号规定和推理规则进入理念结构;探测器的实际记录又以另一套完整SDE参与检验。三者可以纠缠,但不能把视觉长度直接等同于不定度量的间隔,也不能把理念中的四维结构宣称为眼睛直接经验到的四维实体。
一个图画得漂亮,并不能证明模型正确;一个模型难以直接想象,也不构成反证。判断应追踪图形背后的运算能否与实验操作连接。若图只是帮助研究者记住已核实的关系,它是有效工具;若图诱使人把普通空间直觉带入不同度量,则需要主动限制图的解释权。可视化的力量与危险,来自同一个事实:它能让抽象关系迅速获得熟悉感。
从SDE立场说,数学并非站在发生之外的透明镜子。选择哪些事件、怎样建立等价、哪些变换保持结构,都参与理念对象的构造。但数学构造也不是任意想象:内部一致性与经验接口共同约束其使用。四维时空的创造,是一种受严格限制的结构创造;它既不能被缩小为画图方便,也不能被扩大为数学自动生产全部现实。
七、一个不变量还不足以保证找对了物理
假如有人提出一种新变量,使某组实验数字在重新表达后完全不变,这是否已经发现自然规律?未必。通过适当定义,很多数据都可以被压缩成不随某种人为操作改变的量。关键在于:变换是否具有物理意义,不变量是否约束未参与定义的新情况,以及这个结构是否能够连接相互独立的测量。形式稳定必须承担经验责任。
本章可以沿D—E—S的倒逼路径检验这种责任。已有运动比较D要求长度和时间联合变化,旧的独立属性组织不能保持协调,于是E被改造成时空间隔与变换结构;随后必须由新E生成新的可比较显露S,例如对同一对事件在不同惯性系中的分类一致、同一路径的固有时一致。最后再用独立定位或时钟比较检查这些显露,不允许只重画同一组数据就宣布成功。
反方向的S—D—E再创路径则用于异常。如果两套事件记录算出的间隔不一致,首先追踪D中有没有选错事件、混淆单位或使用未同步时钟;若这些都得到独立排除,再检查E中的平直时空假设、惯性坐标条件或传播模型。异常可能表明实验误差,也可能表明简单模型不够。研究者不能在证据出现之前替所有异常指定同一个原因。
三方程在这里变成具体的检验纪律:一个声称能生成S的结构,必须说明其D;一个重新组织D的方案,必须保留已有S所施加的限制;一个重建E的主张,则必须同时回应S与D的张力。三原理要求两维冲突推动第三维改变,并让新状态回到原问题接受检验。不能把不一致的数据删掉后称为统一,也不能因为所有环节相互依存,就说永远无法定位哪一环出了问题。
还要区分坐标变换与模型扩展。任意改用弯曲坐标,并不会自动使原本平直的时空变成有曲率的时空;坐标表达复杂,也不等于出现了引力。另一方面,若研究范围需要引入真正的几何曲率,平直时空的全局公式就不能原样覆盖。这里为后续引力研究留下问题,但不提前用一个“几何化”词语把狭义相对论与广义相对论之间的创造距离抹平。
八、从恒常属性转向可保持的关系
经过这一章,“物理对象是什么”又被推进了一步。一个点状对象的运动不再只是某一空间内位置不断变化,它的历史可以作为世界线进入整体结构;一根尺的长度不再承担跨所有参考系的数值恒常性,世界管与各同时切面的关系承担了更广的可比性;一只钟的经历不再由全宇宙共享的单一时间自动规定,而要沿它的路径累积。
这些改变没有取消对象的稳定。相反,稳定性被安排在更有约束力的地方:事件重合可以保持,间隔类型可以保持,同一路径固有时可以保持,规律在适当变换下的形式可以保持。某些分量改变,恰好是为了让更整体的关系保持。物理学因此不必在“所有数字一样”与“完全没有共同世界”之间二选一。
属性纠缠论可以从这里提出一个值得继续检验的论题:在重大理论转变中,原来由单项属性承担的同一性,可能转交给多个属性的共同转换结构。长度与时间的例子已经显示这种可能性;但不能据此断言所有科学革命都遵循完全相同的机制。其他领域可能出现对象层级改变、概率结构改变或新的测量不可兼容性,需要分别研究。
对本书的主轴而言,闵可夫斯基的创造不是仅给一个先在图景换上更优雅的数学外衣。世界点、世界线、间隔和光锥改变了哪些关系能够成为基本对象,改变了怎样把局部经验聚合成可工作的整体。这一理念系统进入时钟、信号、轨迹与实验判断之后,才形成新的物理世界的现实运行能力。数学表达和现实操作之间的相互回写,是这项创造继续发生的条件。
与此同时,四维时空不是最后答案。它给出了强大的共同结构,却仍需要回答具体物体怎样受力、能量动量如何协调、哪些系统适合点状近似,以及更复杂情况下几何本身是否参与动力学。一个成功整体会创造新的问题,而不是让后续研究失去对象。下一步的工作,是让这种新结构进入具体的物理守恒与相互作用,检验它能否从测量协调走向更完整的动力学创造。
本章参考资料
[33-1] Minkowski, H. Raum und Zeit. 科隆演讲,1908年9月21日;发表于1909年。核读英语转录:https://en.wikisource.org/wiki/Translation:Space_and_Time 。重点第一至三部分;该版说明沿用并校订Saha译本、恢复原记号。本文只作简短历史定位,数学示例均采用现代实坐标和时间正号约定。