庞加莱 vs 爱因斯坦:时间与空间的本质
体裁说明:本文是基于双方公开著作、论文与通信立场编写的虚构对话,用于呈现真实存在的思想分歧。文中台词并非史料记录的原话,请勿作为引语引用;双方的实际观点请查阅文末各自的原始文献。
对话背景
亨利·庞加莱(Henri Poincaré, 1854–1912)1898 年在《时间的测量》里写:远距事件的同时性,只有靠约定才能获得意义;单程光速各向同性无法被实验单独核实。1900 年洛伦兹祝寿文集里,他把「当地时间」写成用光信号对钟的操作。1902 年《科学与假设》把几何公理当作约定。1904 年 9 月在圣路易斯,他把「相对性原理」说成一条普遍定律:物理现象的定律,对固定的观察者与做匀速平移的观察者应当相同。1905 年 6 月 5 日,他向巴黎科学院提交四页短注《电子的动力学》;7 月 23 日把长文寄往巴勒莫数学圈,1906 年刊出。短注里他把洛伦兹 1904 年的变换补全,命名为「洛伦兹变换」,并证明它们构成群。
阿尔伯特·爱因斯坦(Albert Einstein, 1879–1955)1905 年 6 月 30 日,《运动物体的电动力学》被《物理年鉴》收到,9 月 26 日刊出。论文从磁体与导体的不对称入手,提出相对性原理与真空光速不变两条公设,把同时性写成用光信号完成的定义,并声明以太是多余的。奥林匹亚科学院读过《科学与假设》。1955 年 2 月 19 日他写信给卡尔·泽利希:狭义相对论当时已成熟到会被发现;洛伦兹看出那些变换对麦克斯韦方程是本质的,庞加莱把这一认识加深了;他自己只知道洛伦兹 1895 年的著作,不知道洛伦兹后来的论文与庞加莱接着做的研究——「在这个意义上」1905 年的工作是独立的。
1911 年第一届索尔维会议,两人同在布鲁塞尔。庞加莱 1912 年 7 月 17 日去世。广义相对论场方程是 1915 年的事,不进入他的台词。下面的对谈以 1905–1911 年能被双方读到的文本为界限。后人对「谁先发现相对论」的指控,包括 1953 年惠特克把一章题为「庞加莱与洛伦兹的相对论」,放在分析里处理。这里不编造剽窃。
第一幕:同时性
庞加莱:您 1905 年论文的第一节把同时性写成一套操作:从 A、B 中点发出的光若同时到达两端,两端的事件同时。1898 年我就写过:同时性不是观察直接给的,是约定。您现在把约定写成了定义。定义与约定,差在哪里?
爱因斯坦:差在有没有一个藏在后面的「真时间」。您的当地时间是相对于以太静止时间的辅助量。我没有第二种时间。光信号程序就是时间的意义。中点发出的光同时到达,不是对真同时性的近似,是同时性这个词的用法。
庞加莱:您仍假设了去程与回程光速相等。这个假设不能被单独核实。若去程快、回程慢,只要往返平均相同,没有任何实验能拆穿。1898 年我说:这是为了让定律写得简单而采用的公设。
爱因斯坦:单程各向同性确实不是一条独立测完的事实。1905 年我把它当作定义的一部分。后来我在通俗小册子里写得更白:这个要求既不是关于光的假设,也不是关于光的假说,而是我可以自愿作出的规定,为的是得到同时性的定义。自愿,仍不是任意。选了它,麦克斯韦方程在每个惯性系里才取同一形式。
庞加莱:于是我们几乎说了同一句话。差别在于:我认为这句话承认了约定;您认为这句话发现了时间是什么。
第二幕:约定与简单性
庞加莱:几何也是这样。欧几里得与非欧,经验不能单独判决。光线若不走欧氏直线,我们可以说空间是非欧的,也可以说空间仍是欧氏的、另有一种力把光线扳弯。两种说法对观察等价。选择取决于方便。
爱因斯坦:等价若只在静态几何里成立,我承认您的叉子。物理要的是动态:质量如何影响测量杆与时钟,测量杆与时钟如何回报质量。方便一旦被推到让定律最简单、且对所有惯性系同一,它就不再只是书架上的口味。它约束下一句方程该怎么写。
庞加莱:约束来自我们决定珍惜的简单性。简单性是心灵的偏好。把偏好说成自然的深层结构,是把认识者的经济原则射到对象上。
爱因斯坦:经济原则若每次都指向同一组变换,我就怀疑它只是偏好。洛伦兹变换不是我为了好看选的坐标花样。它是让两条公设共存的唯一线性方案——加上空间均匀、各向同性这些通常不写明的前提。
庞加莱:唯一,相对于您选择的公设。公设本身仍有约定的成分。光速不变可以读成关于光的事实,也可以读成对钟程序的规定。您把规定提升为事实。提升是一种哲学行动,不是多做了一个实验。
第三幕:几何与引力
庞加莱:1905 年那篇巴勒莫长文的末尾,我问洛伦兹变换如何作用在万有引力上。牛顿力必须改到 \(v^2/c^2\) 量级,才与相对性原理共存。当时的天文精度似乎还赶不走这个量级。引力应当被写成洛伦兹协变的。这是动力学问题,不是先改空间的身份。
爱因斯坦:1907 年我从等效原理出发:加速与均匀引力局部不可分。时钟在引力势里走得不同,已经不是只改力的公式。测量杆与时钟参与了被测量的几何。我还没有场方程。方向已经不是「在欧氏空间里给引力一个洛伦兹协变的力定律」。
庞加莱:方向可以不同,经验等价的叉子仍在。您把杆与钟的行为读成几何。我可以把同一行为读成力。在 1911 年,两套说法都还没有被一个决定性的观测关死。
爱因斯坦:叉子会在预言的结构上分叉,不只在词汇上。若光线经过太阳会发生可计算的偏折,几何语言把偏折写成测地线,力的语言必须发明一种与质量成正比、与成分无关的新力。后一种力越来越像几何的伪装。伪装可以维持,代价是定律变丑。
庞加莱:丑与美是约定的表亲。我愿意承认:为了相对性原理的普遍性,牛顿引力必须改。改成哪一种几何故事,我还没有被强迫。
第四幕:时间变慢
爱因斯坦:运动时钟变慢,不是钟表零件出了毛病。一切过程——原子振荡、衰变、生命的代谢若由同样的时间度量——都按同一因子变慢。与其说「所有零件同时被一种力损坏」,不如说时间的度量依赖运动状态。
庞加莱:两种说法对读数可以一样。我关心的是:您有没有把读数的系统差异,说成时间本身的属性。属性一词,把约定的剩余藏起来了。
爱因斯坦:藏起来的是以太参照的「真时间」。没有它,只剩下各惯性系里的钟。钟与钟之间的关系由洛伦兹变换给出。关系是物理的。谁的钟慢,取决于谁被判定在运动。判定没有绝对的一种。
庞加莱:相对性我 1904 年就当作原理。我缺的不是变换公式。我缺的是您那种决心:把当地时间当成唯一的时间,把以太从动力学里辞退。决心一旦作出,变慢就是时间的属性。决心未作出,变慢仍可以是相对于以太的运动效应。
爱因斯坦:辞退以太,是因为在电动力学里它没有可观测的运动状态。一个没有速度可测的实体,不是解释,是家具。
第五幕:1905 年夏天
爱因斯坦:日期应当摆在桌上。您的科学院短注是 6 月 5 日。我的稿子 6 月 30 日才寄到莱比锡。短注里已经有洛伦兹变换的正确形式、群性质,以及速度合成。这些我当时没有读到。不是荣誉上的辩护,是文献事实上的分隔。伯尔尼专利局不会在那一个月里收到巴黎的《汇报》。
庞加莱:我没有指控任何人。6 月那四页是对洛伦兹 1904 年论文的修正与补全。标题是《电子的动力学》。我关心电子是否被一种外在压强维持、变换是否成群、引力如何跟着改。运动学不是我的第一章。
爱因斯坦:我的第一章是同时性的定义。磁体与导体:谁动,旧理论用两套故事讲同一电流。两套故事的不对称,不像是现象里有的。相对性原理要求只剩一套故事。光速公设把同时性锁死。以太因此多余。电子模型我放在最后一节,而且只做缓加速。
庞加莱:于是同年夏天有两份文本。一份把相对性原理当作约束,去修洛伦兹的电子动力学,以太留作方便的背景。一份把相对性原理与光速不变当作运动学的起点,以太删掉。公式可以靠近。起点不靠近。靠近不是抄。不靠近也不是罪名。
爱因斯坦:我加的是:这套变换管的不只是电磁,而是空间与时间本身。1911 年我能担保的只有一句:我没有从您的 6 月短注出发。
第六幕:以太与群
庞加莱:以太可以没有可测速度,仍可以留下,作为动词的主语:波在什么之中传播。主语可以是约定。约定的主语不必被实验直接捉住。删掉它,句子要改写。改写之后是否更真,还是只是更短,我没有被说服。
爱因斯坦:主语若永远捉不住,它就不是物理里的主语。麦克斯韦方程在每个惯性系里形式相同,已经把「在以太中静止」这个特权坐标系取消了。取消之后,还保留一张空桌子,只为了让「传播」这个动词有个介词宾语,我做不到。
庞加莱:我给那组变换起了洛伦兹的名字,并要求它们连同空间转动构成群。成群才能保证相继两次变换仍是同一种变换,相对性才写得住。\( \ell = 1 \) 是成群的条件。洛伦兹本人后来说,最合适的形式是我和您先后写出的,不是他 1904 年那一版。
爱因斯坦:群是您带到物理里的数学事实。我从公设推出同一组公式时,没有先问它们是否构成群。事后看,群是相对性原理的代数面貌。面貌被您先看清。看清面貌,与决定这面貌属于空间时间而不是属于电子,仍是两步。
庞加莱:两步可以分给两个人,不必合成一桩盗窃。我走的是动力学的修缮。您走的是运动学的重建。修缮保留家具。重建卖掉家具。
第七幕:经验与先验
爱因斯坦:您把纯粹几何写成约定,把物理几何——杆与光线——写成经验。广义的引力理论若成立,这两层会并成一层:度规既是几何,也是物理。1911 年我还没有把这一层写完。方向是并,不是继续分。
庞加莱:分的好处是:经验反驳的是物理几何的选择,反驳不到纯粹几何的无矛盾。并的代价是:几何命题的真假被交给下一场观测。我愿意把方便的几何交给物理。不愿意把几何的全部身份抵押出去。
爱因斯坦:抵押已经发生。时钟在运动中、在引力势中走得不同,不是几何书页边的注释。它是时间这个词在物理里的用法。用法被观测管束。管束不是侮辱约定,是把约定钉在可错的地方。
庞加莱:可错的地方我接受。我接受的是:对钟程序可以选错,选错了定律会变丑。我不接受:存在一种与一切程序无关的「真同时性」被您发现了。您发现的是一种程序,以及它强制的变换。程序仍然是程序。
爱因斯坦:程序一旦成为唯一还活着的时间定义,它就是时间在物理中的全部。没有第二套定义可对照。对照物只剩别的惯性系里的另一套同一程序。
第八幕:遗产,不谈盗窃
庞加莱:后人会把 1905 年写成一出谁赢了的戏。戏会走样。我没有迈出放弃绝对时间的那一步。这一步是您的。我迈出的是:相对性原理应当普遍,洛伦兹变换应当成群,同时性在操作上是约定。三句话在您的论文里都还活着,活着的方式不同。
爱因斯坦:我没有在 1905 年的电动力学论文里引用您。这是事实。同年三月那篇光量子论文是引了人的。习惯不能拿来当解释。独立,不等于否认您 1898 到 1904 年已经把同时性与相对性原理写成问题。问题写成问题,与把问题当成运动学的第一页,仍不是同一篇文章。
庞加莱:同一篇文章不必属于同一个人。科学史若只能发一枚奖章,它会逼人说谎。两份文本可以同时正确,正确在不同的层次:我的在群与约定,您的在时间的身份。层次不同,就不需要一个小偷。
爱因斯坦:自然不按奖章分配。它只按可观测的差来回答。约定与发现的界限,哲学可以继续吵。吵的时候,把 6 月 5 日与 6 月 30 日两份印刷品摊开,比把其中一份说成另一份的影子更干净。
分析
1905 年夏天有两份彼此独立、公式靠近、起点不同的文本。庞加莱的短注与巴勒莫长文是洛伦兹电子论的动力学完成:变换被命名、被补全、被证明成群,相对性原理被当作普遍约束,以太作为方便的背景留下,引力被要求洛伦兹协变。爱因斯坦的年鉴论文是运动学重建:同时性被定义,以太被声明多余,变换从两条公设推出,并被读成空间与时间本身的关系。没有文献表明爱因斯坦在投稿前读过 6 月 5 日的《汇报》短注;他自己 1955 年对泽利希的说明与此一致。也没有文献表明庞加莱从爱因斯坦的论文里取走了群论结果——短注更早。惠特克 1953 年《以太与电理论史》把一章写成「庞加莱与洛伦兹的相对论」,把奖章改挂,同样是单一叙事。单一叙事的两个方向都不被这两份文本支持。
庞加莱 1912 年去世,读不到 1915 年的场方程。后史不能倒填进 1911 年的桌子。工程后来按爱因斯坦那套时间身份计算能够合上,并不自动取消庞加莱的问题:合上的是哪一种约定。
核心分歧
同时性、几何、甚至光速各向同性,是方便的约定,还是已经被钉死的物理身份?庞加莱认为基本原理带有约定成分,经验选择方便,方便不是真。爱因斯坦认为,当一种程序成为唯一还活着的定义,它就是该词在物理中的意义;以太那种永远测不到的对照物,不是谨慎,是多余。1905 年的优先权问题是这道哲学裂缝的年表版:同一组变换,可以是电子动力学的群,也可以是时空的宪法。
当代启示
量子力学里经验等价的诠释,把同一裂缝又打开一次:读数合上,故事仍分叉。后来的时钟网络表明爱因斯坦那套时间身份在工程里够用;它没有从哲学上关闭「单程光速是约定」的讨论。惠特克式的改挂奖章,与「爱因斯坦从虚空中取出相对论」的英雄故事,是对称的两种简化。把 1905 年 6 月的两份印刷品对着读,比加入一边的诉讼更干净。
延伸思考
- 若庞加莱在 1905 年放弃以太与真时间,运动学重建是否仍需要另一个人?
- 单程光速的约定性,在今天的时钟网络里是已被工程取消,还是只被工程绕开?
- 「独立发现」需要怎样的文献条件,才不必滑向盗窃或天才神话?
延伸阅读:庞加莱《时间的测量》(1898);庞加莱《科学与假设》(1902);庞加莱《电子的动力学》(1905/1906);爱因斯坦《运动物体的电动力学》(1905);爱因斯坦 1955 年 2 月 19 日致卡尔·泽利希;彼得·伽里森《爱因斯坦的钟,庞加莱的地图》(2003);格仑鲍姆《空间与时间的哲学问题》(1963/1973)