庞加莱的狭义相对论之一：洛伦兹群的发现_风闻

对大多人而言，麦克斯韦最伟大的成就是统一了光学与电磁学。然而，他留下的这个领域远非完美，诸多疑惑尚待澄清，比如光的色散、磁光效应，特别是运动物体的光学现象等，都没有电磁解释。针对这些问题，洛伦兹提出了他的电子理论，并在同期的众多理论中脱颖而出。洛伦兹的坐标变换、局域时间、对应态、长度收缩以及质量的速度依赖公式等新想法和新概念，直接导致了狭义相对论的诞生。正是在这样的背景下，庞加莱和爱因斯坦于1905年分别独立地提出了狭义相对论。本文通过历史回顾和文献综述，希望得到如下基本结论：(1)假设(也仅仅是假设)要颁一个有关狭义相对论的诺贝尔物理学奖，那么洛伦兹、庞加莱和爱因斯坦当之无愧；(2)假设只有一个人的名字可以用来冠名狭义相对论，那么庞加莱比爱因斯坦更有资格获得这个殊荣，也就是说，我们应该称它为庞加莱的狭义相对论；(3)最合理的当然是，我们应该把狭义相对论称为庞加莱—爱因斯坦狭义相对论。

撰文 | 金晓峰（复旦大学物理学系）

来源 | 本文选自《物理》2022年第3期

“不会又是标题党吧？我们只听说过爱因斯坦的狭义相对论，从没听说过什么庞加莱的狭义相对论！”无论在物理圈内还是圈外，产生同样的疑惑一点也不奇怪，即使是笔者自己，一年半前如果看到这样的题目，也会这样想。那么，这一百八十度的转变是怎么发生的呢？原因很简单，是下面这两本书特别是第二本颠覆了我原来的想法：(1) O. Darrigol的《从安培到爱因斯坦的电动力学》[1]，(2) A. A. Logunov的《亨利·庞加莱与相对论》[2]。前一本书及其参考文献比较详细地介绍了庞加莱 (图1) 在狭义相对论上的早期历史贡献 (1905年之前)；后一本书，特别是Logunov对庞加莱原始文章的导读 (图2)[3]，令人信服地证明：庞加莱在1905年已完整地建立了狭义相对论的全部基本内容。

图1 庞加莱 (Henri Poincaré，1854—1912)

正是由于这一转变，才有了2020年10月16日在复旦大学物理系教师午餐沙龙上的报告：“通往狭义相对论之路——对亨利·庞加莱迟到的致敬”。因为“蔻享科学”平台在网上进行了直播[4]，所以除了现场讨论之外，会后还收到不少反馈。其中，有朋友建议，是否能将口头报告转换成书面文字，正式在中文期刊上发表。然而，由于这个问题的复杂性和敏感性，从口头报告变成书面语言，意味着繁重的艰苦劳动。经过一年多的犹豫，最终还是下定决心花点力气把它写下来，供同行们批评指正。一年前为口头报告准备的摘要，加了最后一句，直接移作了本文的摘要。

图2 Logunov著书On the articles by Henri Poincaré《On the dynamics of the electron》对庞加莱原始文章做导读

1921年，21岁的泡利在其名著《相对论》[5]的开篇“历史背景 (洛伦兹、庞加莱、爱因斯坦) ”中这样说：

“现在我们来讨论洛伦兹、庞加莱和爱因斯坦的贡献，它们包含了构成相对论基础的推理线索和发展过程。从时间上说，洛伦兹是第一个，他证明了无源麦克斯韦方程组在下列坐标变换下的协变性：

(笔者注：这里的l 是v 的函数l (v ))……我们应该强调指出，相对性原理，对于洛伦兹来说是陌生的。洛伦兹工作留下的一些不足，由庞加莱补上了。庞加莱声明，相对性原理是普适且严格有效的。……他进一步纠正了在有电荷密度和电流存在情况下洛伦兹公式的错误，从而得到了有源麦克斯韦方程组的完全协变性。……最终，正是爱因斯坦，他完成了这个新领域的基本理论构造……他1905年的文章不仅包含了前面两人的主要结果，而且展示了对整个问题全新的、深刻得多的理解。”

1955年，为纪念相对论诞生50周年，此时已55岁的泡利写了一篇《相对论与科学》的小文章[6]，其中他这样说：

“狭义相对论与数学中群的概念密切相关，若说在伽利略和牛顿的力学中只是初见端倪，那么现在已被实验事实牢固确立起来了。……19世纪电动力学的发展以麦克斯韦和洛伦兹的一组偏微分方程组而告终。很显然，这组方程不具备以前经典力学群的对称性……。现在的问题是：自然定律具有群的对称性这一说法，只是近似成立的性质而必须抛弃呢，还是经典力学的群或许只是近似有效，而应该被一个更普遍的群所替代，它同时对经典力学和电动力学都成立？最终的决定倾向于第二种选择。这个假设可由两条路径来达到。一条是用纯数学的方法，考察什么是麦克斯韦—洛伦兹方程组协变性所满足的最一般的变换群，这是数学家庞加莱的途径。另一条是通过批判性分析，来确定那些导致伽利略和牛顿力学所采用的那种特殊群的物理假定，这是爱因斯坦的途径。……爱因斯坦和庞加莱的结果都基于洛伦兹的前期工作，他已经相当接近但未真正达到最后结果。从爱因斯坦和庞加莱各自独立的殊途同归，我体认到了数学方法与(基于物理经验基本特征的)思想实验(Gedankenexperimente) 之间和谐的更深层次意义。”

比较上面两段泡利在21岁和55岁时，对同一事件所写下的不同评价很重要，至少值得注意。很显然，之前他将庞加莱与洛伦兹并列，而突出爱因斯坦的贡献；之后他将庞加莱与爱因斯坦并列，指出他们俩都基于洛伦兹的前期工作，但从两条不同的途径，殊途同归地达到了狭义相对论 (图3)。爱因斯坦的狭义相对论已广为人知，而庞加莱的狭义相对论却鲜为人知。甚至在公众认知领域给人们留下了一个错觉，即没有爱因斯坦，就没有狭义相对论的诞生。这显然与历史事实不符。因此，让更多人了解庞加莱的狭义相对论就显得很有必要。

图3 1911年，洛伦兹、庞加莱、爱因斯坦在第一届索尔维会议上的合影

一个不得不问的问题是：如果庞加莱真的对狭义相对论做出了这么大贡献，那他的名字怎么可能会在如此众多的涉及相对论的现代教科书和专著中消失得无影无踪呢？显然，除了介绍庞加莱的狭义相对论，笔者还必须回答这个无法回避的问题。造成这一世纪级现象的原因貌似千头万绪、错综复杂，实际上却也简单到用一句话就可完全概括：事实上，不是历史对庞加莱开了一个玩笑，恰恰相反，是庞加莱对历史开了一个玩笑！接下来，我们将尽可能把整个故事的轮廓梳理清楚，通过庞加莱所开的一个个生动“玩笑”，一起领略他做学问的独特方式和他的科学哲学，一起景仰他的高贵人品。

1 庞加莱的两个“玩笑”

庞加莱有关相对论的第一篇文章于1905年6月5日发表，一个月之后的7月23日又投寄了第二篇文章(图4) [7] (爱因斯坦的三篇狭义相对论文章分别投寄于1905年6月30日、9月27日和1906年5月17日)，其中第一篇可以看成是第二篇的详细摘要或总结，我们接下来以《六月文章》和《七月文章》分别称之。庞加莱对历史开的第一个“玩笑”出现在这两篇文章的引言中。以后我们还会看到，这并不是庞加莱第一次也不是唯一的一次这么做。因为他觉得自己的这项工作是直接受到洛伦兹1904年文章启发而开展的，所以直至生命的终点，他都始终将狭义相对论的主要荣誉 (credit) 归功于洛伦兹，哪怕一些完全是他自己原创的想法和贡献也毫不例外，几乎全部算到洛伦兹头上。不得不说，这“玩笑”确实开得太大了，因为它给后人留下了极大的错觉，似乎庞加莱在物理上没有提出什么新东西，只是在数学上提供了一些细节。不止于此，更糟的是，庞加莱与洛伦兹在许多关键点上的想法实际上很不一样，甚至恰恰相反，比如，如何看待相对性原理、局域时间、以太等多个重要物理概念，而从今天的角度看，庞加莱是对的，洛伦兹是错的，但因为庞加莱过世较早 (1912年)，而洛伦兹又是一个极其坦诚且从不羞于承认自己错误的人，所以我们今天所熟知的洛伦兹在相对论上的一些错误认识，反而都被后人转嫁到了庞加莱头上。这么一来，本来极其简单而清晰的历史问题，顿时变得千头万绪、错综复杂。公平地说，这个“玩笑”绝不是历史对庞加莱开的，而恰恰是他自己对历史开的。

图4 庞加莱有关相对论的两篇文章

下面，我们来具体看看庞加莱的引言是如何写的。在《六月文章》的引言中，他首先阐明一个实验事实：所有试图测量地球相对于以太运动的实验 (包括迈克耳孙实验) 都以失败而告终；接着他说：

“不可能从实验上揭示地球的绝对运动似乎应该是大自然的一条普适定律。……洛伦兹尝试补充和修改之前所作的假定，用以解释这种不可能性，并在他1904年《小于光速的动系电磁现象》文章中获得成功[8]。这个问题的重要性促使我再一次回过头来考虑它；我这里所得的结果，在所有主要点上都与洛伦兹的结果相吻合，我只是尝试着稍作改进，并提供一些细节。” “这些(与洛伦兹结果的)差别又都不太重要 (minor importance)，接下来会在后面的章节中加以展示。” (笔者注：后一句话为《七月文章》所加)

不知读者看到上面加黑的句子是什么感觉，笔者每次读到这里总禁不住感慨万千！试想：假如我们今天的学术论文引言这样写，而且还想在国际主要学术期刊，比如《物理评论通讯》(PRL)上发表，哪有一个编辑会送审呢？这不是成心与自己过意不去嘛！且慢，这还不是最搞笑的，下面这两段才真叫人啼笑皆非：

“洛伦兹的基本想法在于，电磁场的方程组在(1)式的变换 (我把它称作洛伦兹变换) 下，将保持不变。” (《六月文章》)

“洛伦兹的概念，因此可以这样总结：如果赋予整个系统一个共同的平移运动而可观察现象没有任何变化，那就说明，电磁场的方程在某个变换(我们称之为洛伦兹变换)下是不变的。如此一来，这两个系统，其中一个不动，另一个作平移运动，将互为完全相同的影像(become exact images of each other)”(《七月文章》)

事实上，在庞加莱之前，洛伦兹从来没有这样的想法，也从来没有这样的概念，更没有如此说过！在这里，庞加莱完全是将自己的原创性想法归功于洛伦兹！对庞加莱而言，这并不是一时兴起的偶尔为之，他始终对启发自己想法的人心怀感激，之后总会在各种场合以各种方式加以强调；反过来，为自己去力争优先权，对庞加莱而言却是完全陌生的。好在洛伦兹也是一个对个人优先权毫不在乎的真正谦谦君子，他在《庞加莱的两篇数学物理文章》[9]中如此实话实说：

“(庞加莱《七月文章》的)公式(4)和(7)在我的1904年文章中是没有的，我甚至不知道存在一种直接的路径导出它们，因为我认为(x，y，z，t )和(x ′，y ′，z ′，t ′)这两个参照系存在本质差别。这是我当时的思路：其中一个参照系的坐标轴是固定在以太中的，那里有真实的时间；而在另一个参照系中，恰恰相反，我们只涉及(deal with)一些为数学技巧而引进的辅助量。……因此，比如变量t ′不能被看作是与变量t相同意义上的时间。在这样的考虑下，我完全没有意愿按(x，y，z，t )参照系中描述现象的方式去描述(x ′，y ′，z ′，t ′)参照系中的现象。……我没能证明麦克斯韦方程组的完全协变性；我的公式中还存留了一些本应消失的累赘项，只是它们在数量上很小而不会影响现象，我就是据此来解释地球的运动不会影响实验的观察，但是我没有建立起作为严格而普适真理的相对性原理。恰好相反，庞加莱证明了电动力学方程的完全协变性，并准确表达了“相对性假定”——一个由他引入的术语。事实是，正是采用了我没能想到的观点，他导出了公式(4)和公式(7)。还应该补充一点，在纠正我工作中的那些缺陷时，他从未有过任何对我的责备。”

庞加莱的第二个“玩笑”，开在对《七月文章》正文的章节安排上。《七月文章》除引言外还有9个带标题的小节，其中，他竟然把自己在相对论中最重要、影响最深远、也最能体现他远超洛伦兹的原创贡献，放在第4节而不是第1节，并且冠以“4.洛伦兹群”的标题。前三节的标题分别是“1.洛伦兹变换”，“2.最小作用量原理”，“3.洛伦兹变换与最小作用量原理”；只要细心研读过《六月文章》和《七月文章》的人，一定不难发现，庞加莱如此安排的唯一目的，就是为了突出洛伦兹的功绩，而不想以自己的工作来喧宾夺主。从今天的角度回头看，这个“玩笑”开得太大、后果太严重了。因为李群和李代数对当时的大多数学家而言，也是新鲜且抽象的理论，对当年的物理学家来说，当然实在太超前、太高深了，几乎无人能懂，所以如果放在第1节，至少能让人知道这是全文的基础，引起人们的重视；但现在放在了第4节，确实与第3节和第5节的内容上下不搭，除了知道洛伦兹变换构成一个群外，别的似乎都是一些不知所云的数学细节；无疑，这种“奇怪的”章节安排，客观上确实严重阻碍了庞加莱的相对论在物理学界的传播。否则，他对狭义相对论的原创性贡献，无论如何也不会被同代和后代人误读。另外，因为略去了太多具体数学推导和物理文字说明，以至于半个世纪之后，当庞加莱法文的《七月文章》被翻译成英文时，还发生了译者面对整个第4节中最重要的一句话——“我们也可以用另一种方式产生这个群 (Nous pouvons encore engender notre groups d’une autre manière) ”，一定完全不知所云，竟然干脆删去不译的尴尬局面[10,11]！

2 洛伦兹群的发现：归纳的一步

关于“洛伦兹群”的重要性，大概没有比爱因斯坦1950年为《科学美国人》所写《论引力的广义理论》(On the generalized theory of gravitation) 中的这一段话讲得更透彻、更深刻的了：

“麦克斯韦方程组暗示(imply)了洛伦兹群，但洛伦兹群并不暗示麦克斯韦方程组。洛伦兹群也许确实可以独立于麦克斯韦方程组，而被定义成这样一组线性变换，它确保一个特殊的速度——光速——不变。这一组变换适用于从一个“惯性系”到另一个与之匀速运动的“惯性系”的转变。这个变换群最引人注目的新奇特性在于，空间上异地事件的同时性概念消失了。这样，所有的物理学方程在洛伦兹变换下协变就顺理成章了(狭义相对论)。事情就是这样，麦克斯韦方程组导致了一个启发性原理(heuristic principle)，它的有效性远远超出了方程组本身之应用甚至成立范围。”

鉴于洛伦兹群对整个基础物理学的极端重要性，或许将第4节原文——难得一见的科学艺术品——直接附上会受到读者的欢迎 (图5)。

图5 庞加莱《七月文章》的第4节

虽然沃伊特 (Voigt) 在1887年、拉莫尔 (Larmor) 在1900年都分别得到过类似于(1)式的变换式，但确实是洛伦兹1904年的结果，直接催生了庞加莱狭义相对论的诞生。无论是Voigt、Larmor还是洛伦兹，在得到他们的变换式时，具体思路可能各不相同，但一个共同的特点是，全都采用了特设 (ad hoc) 方式。作为大数学家和大数学物理学家，庞加莱显然比任何人都明白，如此重要的变换式必定存在一个更本质的原理式基础，而这正是他在《七月文章》“4.洛伦兹群”这一节成功奠定的。简而言之，他是通过归纳的一步和演绎的一步达到了这一目的，让洛伦兹变换式(1)从此摆脱了特设的历史，正式建立在坚实的原理之上，进而一举奠定整个狭义相对论的数学和物理基础。值得强调，庞加莱的这两步——归纳与演绎——事实上正是对应了上述爱因斯坦的两句话“麦克斯韦方程组暗示了洛伦兹群，但洛伦兹群并不暗示麦克斯韦方程组。

庞加莱证明：以特设方式得到的洛伦兹变换式(1)构成了一个群；事实上，他也只证了关键一环，即群的封闭性 (其余的太显然了！)。虽然从今天的角度看，这个贡献似乎不值一提，因为基础稍好的本科生就能做到，但在当时，世界上恐怕还真没几个人明白庞加莱究竟在干什么，因为对于物理学家来说，不仅群论是陌生的，而且全新的速度相加公式 (今天被称为爱因斯坦速度相加公式) 更是闻所未闻(他在第1节中，只用一行数学推导就严格证明了)。有点讽刺的是，这个在现代教科书上常常被认为“很相对论”的重要公式，庞加莱连个公式编号都没给。

庞加莱进一步阐明，洛伦兹变换式(1)构成的群是一个叫李群 (Lie group) 的连续群。李群有一个重要特性：整个群的性质可以由不变元附近的群元性质完全确定，即Sophus Lie发展起来的无穷小生成元概念。这就是接下来庞加莱为什么要取l=1，又假设δv/c≪1为无穷小，从而将(1)式转换成在不变元(v=0)附近的变换式(2)来展开讨论的道理：

他指出，这个变换对应于李代数中的

相当于沿垂直于x-t 平面的一个无穷小定轴转动。另一方面，从纯数学的角度看，也可以取v=0，同时让l有一个无穷小变化l=1+δl，这样

对应于李代数中的

3 洛伦兹群的发现：演绎的一步

虽然为了突出洛伦兹而不想喧宾夺主，但庞加莱是一个真正的科学家，追求真理永远是摆在第一位的；对那些实际上已经超越了洛伦兹的新结果，他无法掩着不说出来。定性的，或许可以放在洛伦兹名下讲出来，如我们在他的第一个“玩笑”中所见；但定量的，这种做法肯定不行，那就只能不动声色地低调加以叙述，以下这个只有两句话的自然段落便是：

“我们也可以用另一种方式产生这个群。这个群中的任一变换都可看成是先作一个如下形式的变换，

接着再作一个合适的空间转动所构成。”

请注意，如此惜墨如金的庞加莱 (读者不妨尝试在原文第4节中去掉任一式子，看看文章是否还成立？)，在这里不仅完全重复地抄了一遍这一节开头的第一个公式 (洛伦兹特设公式)，而且还竟然给了这里的公式(3) (而不是之前的特设公式) 一个编号，这实在太耐人寻味了！常言道，经典值得反复阅读；或许我们可以再补充一句，庞加莱的文章更是如此。正是在这里，庞加莱提示了我们，他所说的“另一种方式”究竟是什么。同为大数学家的庞加莱，对于大师高斯的名言：“当一幢建筑物完成时，应该把脚手架拆除干净”一定不陌生，但他在这里恰恰反其道而行之，“脚手架”几乎被原封不动地保留了下来，这才使我们比较有把握地复原他所说的“另一种方式”。

的”第二句话，正是用来回答这一问题的；这若无其事的一句话，在C. Moller的相对论名著The Theory of Relativity上，就是整整一节 (§2.4“最一般的洛伦兹变换”) 的内容。庞加莱的这句话事实上是提醒我们，洛伦兹变换式 (最一般的) 与三维空间转动一同 (而不是仅有前者，否则群元缺了很多！) 构成了洛伦兹群，只有基于这样的理解，所谓物理定律在洛伦兹群下协变的含义才真正完备。

最后，庞加莱在这一节余下的部分中，将这个数学上完备的洛伦兹群运用到真实的物理世界中，即取l=l (v)，然后用群论的方法简洁地证明l=1。至此，庞加莱演绎的一步完美收官，整个第4节内容也全部结束。

在对庞加莱一举奠定狭义相对论数学结构的《七月文章》第4节做了上述详细介绍之后，当然还应提及一下所有现代大学物理教科书中必不可少的所谓“同时性的相对性”、“时间膨胀”、“长度收缩”这三个几乎成为相对论“标签”的问题。事实上，这对于已经建立狭义相对论四维时空几何图像的庞加莱而言，可以说完全是小儿科的事了。这里先直接给出“干货”，接着再稍加解释。庞加莱在《七月文章》的第3节中明白地 (explicitly) 给出了“同时性的相