Hero Image
威廉·罗恩·哈密顿的一生

年表 18058 月 3 日夜至 4 日凌晨生于都柏林，父亲是一名律师。 1808搬到特里姆，跟随叔叔詹姆斯生活。叔叔是牧师兼教师，教他学习语言。 1818与美国心算神童泽拉·科尔伯恩较量，这次失败把他引向了数学。 1823以第一名的成绩考入都柏林三一学院。 1827还是学生时就被任命为爱尔兰皇家天文学家。前往湖区拜访华兹华斯。 1832预言锥形折射，不久后由汉弗莱·劳埃德观察到。 1833与海伦·贝利结婚。提出把复数看作数对。 1834发表动力学中的一般方法。 1835被封为爵士，成为 Sir William。 1837当选皇家爱尔兰学院院长。 184310 月 16 日发现四元数，并把公式刻在一座桥上。 1853出版《四元数讲义》。 1857发明周游世界游戏。 1865成为第一位当选美国国家科学院的外国人。9 月 2 日在邓辛克去世。 ◀ 上一站 沿路线走一遍 下一站 ▶ 1805–1808 都柏林1805 年 8 月 3 日夜至 4 日凌晨生于多米尼克街，父亲是一名律师。三岁时被送到叔叔家生活。 1808–1823 特里姆在叔叔詹姆斯身边长大，叔叔是牧师和教师，教他学习语言。十三岁时，据说他已懂十几种语言，从拉丁语到波斯语。 1823–1827 三一学院在都柏林求学，在古典学和科学两方面都获得最高奖项。还是学生时，就提出了光线系统理论。 1827 赖德尔山庄前往湖区拜访威廉·华兹华斯。两人结下终身友谊，诗人劝他把诗歌让给科学。 1827–1865 邓辛克天文台21 岁成为爱尔兰皇家天文学家。他在这里写下了光学、力学和四元数。1865 年 9 月 2 日在天文台去世。 1843 布鲁姆桥10 月 16 日，他和妻子沿皇家运河散步时，找到了四元数的规则，并把它刻在桥的一块石头上。 请启用 JavaScript 以查看地图。各站列在下方。 从都柏林到邓辛克，途中绕道湖区，拜访华兹华斯的家。 地图：© OpenStreetMap 贡献者

October 27, 2026 阅读
Hero Image
光线系统与锥形折射

十九世纪初，光学是一堆个案的集合：平面镜、曲面镜、透镜、棱镜，各有各的公式。还是学生的哈密顿问自己：它们背后难道没有一个统一的想法吗？结果就是《光线系统理论》，1827 年在皇家爱尔兰学院宣读，此后几年又不断扩充。 一个函数统辖所有光线 出发点是费马的一个原理：光从一点到另一点走的是用时最少的路径，更准确地说，是用时取驻定值的路径。哈密顿把这个时间看作端点的函数。对两点 $A$ 和 $B$，令 $V(A, B)$ 为它们之间光路的“光程”：在每种介质中走过的距离乘以该介质的折射率。他把 $V$ 称为特征函数。 令人惊讶的是，这一个函数包含了一切。$V$ 对 $B$ 的坐标求导，给出到达 $B$ 的光线方向；对 $A$ 的坐标求导，给出离开 $A$ 的光线方向。知道了 $V$，就知道了整个系统。 例如，在折射率为 $n$ 的均匀介质中，光沿直线传播， $$V(A, B) = n\,\lvert AB \rvert = n\sqrt{(x_B - x_A)^2 + (y_B - y_A)^2}.$$对 $x_B$ 和 $y_B$ 求导， $$\frac{\partial V}{\partial x_B} = n\,\frac{x_B - x_A}{\lvert AB \rvert}, \qquad \frac{\partial V}{\partial y_B} = n\,\frac{y_B - y_A}{\lvert AB \rvert},$$这就是光线方向上的单位向量乘以 $n$。特征函数的梯度指向光的方向。 从时间得出斯涅尔定律 一条光线从空气中的 $A$ 出发，到达水中的 $B$，在距离为 $x$ 的一点穿过水面。所用时间正比于

October 27, 2026 阅读
Hero Image
作为数对的复数

到十九世纪初，复数已经用了三百年，从卡尔达诺和邦贝利开始，欧拉更是用它们创造了奇迹。韦塞尔、阿尔冈和高斯把它们画成了平面上的点。但不安依然存在：$\sqrt{-1}$ 究竟是什么？一个平方为负的数，看起来像是一种有用的虚构，而不是数学的对象。 哈密顿没有画任何图就解决了这个问题。在 1833 年和 1835 年提交给皇家爱尔兰学院、1837 年发表的论文《共轭函数或代数数对的理论》中，他提出：复数就是一个有序实数对，仅此而已。 游戏规则 对数对 $(a, b)$ 和 $(c, d)$，哈密顿定义 $$(a, b) + (c, d) = (a + c,\; b + d), \qquad (a, b)\cdot(c, d) = (ac - bd,\; ad + bc).$$形如 $(a, 0)$ 的数对与实数的行为完全一样：$(a, 0) + (c, 0) = (a + c, 0)$，$(a, 0)\cdot(c, 0) = (ac, 0)$。所以可以把 $(a, 0)$ 简单地写成 $a$。而数对 $(0, 1)$ 有一个特殊的性质： $$(0, 1)\cdot(0, 1) = (0 \cdot 0 - 1 \cdot 1,\; 0 \cdot 1 + 1 \cdot 0) = (-1, 0) = -1.$$把 $(0, 1)$ 记作 $i$，数对 $(a, b)$ 就是 $a + bi$，且 $i^2 = -1$。“负一的平方根”不再是个谜：它是一对服从明确乘法规则的实数。关于复数的一切，都可以用实数的算术来验证。

October 27, 2026 阅读
Hero Image
哈密顿力学

1788 年，拉格朗日把牛顿力学变成了一组在任何坐标下都成立的方程。哈密顿很欣赏这本书，称它为“一种科学的诗篇”。1834 年和 1835 年，他在两篇《论动力学中的一般方法》中把这一思想向前推进，把他从光线中学到的东西带进了力学。 位置与动量 拉格朗日用位置 $q$ 和速度 $\dot q$ 描述一个系统。哈密顿把速度换成了动量 $p$（对简单的粒子，就是质量乘以速度，$p = m\dot q$），并把一个单一的函数放在一切的中心，即哈密顿量 $H(q, p)$。在大多数情况下，它就是总能量，动能加势能： $$H = T + V.$$整个运动都来自两个几乎完全对称的方程： $$\frac{dq}{dt} = \frac{\partial H}{\partial p}, \qquad \frac{dp}{dt} = -\frac{\partial H}{\partial q}.$$弹簧 对一个连在劲度系数为 $k$ 的弹簧上的质量 $m$， $$H = \frac{p^2}{2m} + \frac{k q^2}{2}.$$哈密顿方程给出 $$\frac{dq}{dt} = \frac{p}{m}, \qquad \frac{dp}{dt} = -kq.$$第一个方程说动量是质量乘以速度；第二个是胡克定律，即弹簧的力。两者合起来给出 $m\ddot q = -kq$：熟悉的振动。又因为 $\frac{dH}{dt} = \frac{\partial H}{\partial q}\frac{dq}{dt} + \frac{\partial H}{\partial p}\frac{dp}{dt} = \frac{\partial H}{\partial q}\frac{\partial H}{\partial p} - \frac{\partial H}{\partial p}\frac{\partial H}{\partial q} = 0$，能量自动守恒。

October 27, 2026 阅读
Hero Image
四元数：桥上的公式

在证明复数就是实数对、复数乘法会旋转平面之后，哈密顿想在空间中做同样的事。他在寻找三元数 $a + bi + cj$，以及一种满足模的定律的乘法：乘积的大小应等于大小的乘积。他试了很多年，尤其是在 1843 年，以至于孩子们每天早上都问他会不会乘三元数了。 为什么三个不行 算术里藏着一个障碍。如果存在一种满足模的定律、系数为整数的三元数乘法规则，那么两个三平方和的乘积就总会是三平方和。但是 $$3 = 1^2 + 1^2 + 1^2, \qquad 5 = 2^2 + 1^2 + 0^2, \qquad 3 \times 5 = 15,$$而 $15$ 不是三个平方数之和（试试看：可用的平方数是 $0, 1, 4, 9$，任何三个的组合都凑不出 $15$）。用四个平方数，困难就消失了：$15 = 9 + 4 + 1 + 1$。而且从 1748 年起，人们就知道欧拉的四平方恒等式：两个四平方和的乘积总是四平方和。大自然似乎要求四个部分，而不是三个。 那次散步 1843 年 10 月 16 日是星期一，哈密顿和妻子沿着皇家运河从邓辛克步行去都柏林，去主持皇家爱尔兰学院的一次会议。二十二年后，他亲自向儿子讲述了当时的情景： 虽然她不时和我说话，但我心里一直有一股思想的暗流在涌动，它终于得出了一个结果，说我立刻感到了它的重要性也不为过。仿佛一条电路接通了，迸出了一个火花。[……] 我也无法抗拒那股冲动，尽管它也许并不怎么合乎哲学：在我们经过布鲁厄姆桥时，用小刀在桥的一块石头上刻下了带有符号 i、j、k 的基本公式。 — 威廉·罗恩·哈密顿，致儿子阿奇博尔德的信（1865） 这个公式是 $$i^2 = j^2 = k^2 = ijk = -1.$$ 都柏林布鲁姆桥（旧称布鲁厄姆桥）上的纪念牌：“1843 年 10 月 16 日，威廉·罗恩·哈密顿爵士从这里经过时，灵光一闪，发现了四元数乘法的基本公式 i² = j² = k² = ijk = −1，并把它刻在了这座桥的一块石头上”。Cone83 · Wikimedia Commons · CC BY-SA 4.0 乘法表 一个四元数是 $q = a + bi + cj + dk$，含四个实数。所有乘积都可以从桥上的公式推出。把 $ijk = -1$ 的右边乘以 $k$：$ijk^2 = -k$，即 $-ij = -k$，于是 $ij = k$。同样可得：

October 27, 2026 阅读
Hero Image
用四元数在空间中旋转

模为 1 的复数旋转平面。哈密顿希望他的数在空间中也能做到这一点。它们确实能做到，但方式比他最初设想的更微妙。 方法 把空间中的点 $(x, y, z)$ 写成纯四元数 $v = xi + yj + zk$。要绕单位向量 $u = u_1 i + u_2 j + u_3 k$ 给出的轴旋转角 $\theta$，取 $$q = \cos\frac{\theta}{2} + \sin\frac{\theta}{2}\,(u_1 i + u_2 j + u_3 k)$$并计算 $$v \;\longmapsto\; q\,v\,q^{-1}, \qquad q^{-1} = \cos\frac{\theta}{2} - \sin\frac{\theta}{2}\,(u_1 i + u_2 j + u_3 k).$$结果又是一个纯四元数：旋转后的点。选择轴和角度： 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。 有两点值得注意。第一是半角：$q$ 在“三明治” $q v q^{-1}$ 中出现了两次，每一边贡献一半的转角。第二由此而来：当 $\theta = 360°$ 时，物体回到原位，但 $q = \cos 180° = -1$。四元数 $q$ 和 $-q$ 给出同一个旋转。要转两整圈，四元数才会也回到起点。这一性质在一个世纪后的电子自旋中再次出现。

October 27, 2026 阅读
Hero Image
向量与标量：哈密顿创造的词

在四元数 $q = a + bi + cj + dk$ 中，有两个性质不同的部分。数 $a$ 停留在实数直线上；而 $bi + cj + dk$ 这一部分指向空间中的某个方向。1846 年，哈密顿给它们起了名字：前者是标量（scalar），因为它可以在一把标尺上读出，从小到大；后者是向量（vector），来自拉丁语 vector，意思是“运送者”，因为它把一个点运送到另一个点。这两个词都流传了下来，今天连从没听说过四元数的人也在用。 两个乘积合二为一 用桥上的规则把两个纯向量 $u = u_1 i + u_2 j + u_3 k$ 和 $v = v_1 i + v_2 j + v_3 k$ 相乘。把九个乘积展开并合并同类项，结果是 $$uv = -(u_1 v_1 + u_2 v_2 + u_3 v_3) + (u_2 v_3 - u_3 v_2)\,i + (u_3 v_1 - u_1 v_3)\,j + (u_1 v_2 - u_2 v_1)\,k.$$标量部分是点积 $u \cdot v$ 的相反数；向量部分是叉积 $u \times v$：

October 27, 2026 阅读
Hero Image
凯莱–哈密顿定理

每个四元数 $q = a + v$（标量部分为 $a$，向量部分为 $v$）都满足一个实系数的二次方程。由于 $v^2 = -\lvert v \rvert^2$（见向量）， $$q^2 = a^2 + 2av + v^2 = a^2 - \lvert v \rvert^2 + 2av,$$由此 $$q^2 - 2a\,q + \lvert q \rvert^2 = 0, \qquad \lvert q \rvert^2 = a^2 + \lvert v \rvert^2.$$一个四元数是一个二次实系数多项式的根，正如复数 $z$ 是 $z^2 - 2\operatorname{Re}(z)\,z + \lvert z \rvert^2 = 0$ 的根。在 1853 年的《四元数讲义》中，哈密顿更进一步，证明了四元数的某些线性函数也满足它们自己的一个多项式方程，并用它来计算这些函数的逆。 对于矩阵 五年后的 1858 年，阿瑟·凯莱发表了奠定矩阵代数的《矩阵理论论文》，并在其中一般地陈述了这个结果：每个方阵 $A$ 都使它的特征多项式 $p(\lambda) = \det(\lambda I - A)$ 等于零。凯莱验证了 $2 \times 2$ 的情形，说他核对过 $3 \times 3$ 的情形，却没有费心去证明一般情形。第一个完整的证明出自费迪南德·格奥尔格·弗罗贝尼乌斯，1878 年。这个定理以凯莱和哈密顿的名字命名。

October 27, 2026 阅读
Hero Image
周游世界游戏与哈密顿回路

1856 年，仍在研究非交换代数的哈密顿发明了二十面体演算：三个符号 $\iota$、$\kappa$ 和 $\lambda$，服从规则 $$\iota^2 = 1, \qquad \kappa^3 = 1, \qquad \lambda^5 = 1, \qquad \lambda = \iota\kappa.$$今天我们会说，它们生成了正二十面体（有二十个三角形面的立体）的旋转群。1857 年，哈密顿在英国科学促进会于都柏林举行的会议上介绍了这种演算，并注意到它描述的是沿正十二面体（有十二个五边形面和二十个顶点的立体）的棱行走的路径。 谜题 为了让这个想法流行起来，哈密顿把十二面体压平画在一块板上，在二十个顶点处开了孔，每个孔标上一个城市的名字，另配二十个编了号的木钉。挑战是：从一个城市出发，只沿着棱走，把其他每个城市恰好访问一次，再回到出发点。1859 年，他以 25 英镑把版权卖给了伦敦的游戏制造商约翰·贾克斯父子公司。这个游戏以“周游世界游戏”（The Icosian Game）的名字出售，还有一个叫“旅行者的十二面体”的袖珍版，但在商业上失败了：只要有点耐心，基本的挑战几分钟就能解决。 圣保罗大学数学与统计研究所 Matemateca 收藏的周游世界游戏复制品。编号的木钉标出了经过二十个顶点的顺序。Estes Objethos Atelier，Alisson Ricardo 摄 · Wikimedia Commons · CC BY-SA 4.0 试一试。字母是哈密顿用来给城市命名的辅音字母： 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。 欧拉解决了，哈密顿没有 每个顶点恰好经过一次再回到起点的路线，今天称为哈密顿回路。这个问题看起来像是柯尼斯堡七桥问题的表亲，在那个问题里欧拉想把每条边恰好走一次。但两者非常不同。对于边，欧拉在 1736 年给出了一个简单的判据：只要看每个顶点连出多少条边。对于顶点，没有人知道简单的判据。1972 年，理查德·卡普把哈密顿回路问题列入他的 NP 完全问题清单：谁能为它找到一个快速方法，谁就有了解决成千上万其他难题的快速方法，还能从克莱研究所赢得一百万美元。 它最著名的亲戚是旅行商问题：在一张地图的所有哈密顿回路中，哪一条最短？它出现在送货路线、电路板钻孔和 DNA 测序中。 柯克曼抢先了一步 1855 年，比哈密顿早两年，英国牧师兼数学家托马斯·柯克曼就已经问过：哪些多面体存在一条经过每个顶点恰好一次的回路？他还给出了一个不可能做到的例子。名字却归了哈密顿，他名气更大，还有一个在售的游戏。 练习：数一数棱在正十二面体中，20 个顶点中的每一个都连着 3 条棱。共有多少条棱？一条哈密顿回路用了其中多少条？ 按顶点数，共有 $20 \times 3 = 60$ 个棱端，每条棱有两个端点：$60 / 2 = 30$ 条棱。一条哈密顿回路经过 20 个顶点再回来，用了 20 条棱；其余 10 条没有用到。

October 27, 2026 阅读
Hero Image
威廉·罗恩·哈密顿的遗产

哈密顿原理已经成为现代物理学的基石，物理学家期望每一种物理现象都与之相符。 — 埃尔温·薛定谔（1943） 哈密顿相信四元数会是他的伟大作品，是未来物理学的语言。他在细节上错了，在本质上对了。物理学采用了吉布斯和亥维赛的向量，但哈密顿自己认为不那么重要的力学，却成了此后几乎一切的基础。 在物理学中 量子力学。 在薛定谔方程中，系统的能量是一个算符，即哈密顿量 $\hat H$。计算一个原子的能级，就是求它的哈密顿量的本征值。 统计力学与混沌。 哈密顿的相空间，其中每个状态是一个点，是统计热力学和混沌理论的舞台。刘维尔定理，即相空间中的体积守恒，是哈密顿方程的直接推论。 光学。 特征函数仍被用于光学系统的设计，而锥形折射在二十一世纪又借助激光重新得到研究。 在数学与计算中 代数。 哈密顿放弃交换律，打开了通往抽象代数的大门：矩阵、八元数、李代数、克利福德代数。认为可以按照一个问题的需要发明一种代数，这一思想在很大程度上出自他。 图形与导航。 四元数让电子游戏角色、电影摄像机、机器人手臂、太空望远镜以及你口袋里的手机转动起来。 图论。 哈密顿回路是计算复杂性理论的核心问题之一。 在都柏林 爱尔兰在 1943 年 11 月为纪念四元数发现一百周年发行的半便士邮票。爱尔兰邮政 · Wikimedia Commons · 公有领域 1943 年，在那座桥的百年纪念时，爱尔兰发行了两枚印有哈密顿头像的邮票，曾当过数学教师的政府首脑埃蒙·德瓦莱拉推动了纪念活动。当时住在都柏林、在德瓦莱拉创办的高等研究院工作的薛定谔，就哈密顿的工作做了演讲。1958 年，布鲁姆桥上安放了取代已消失刻字的纪念牌。自 1990 年起，每年 10 月 16 日，数学家们都会进行哈密顿散步，从邓辛克天文台走到那座桥，重走 1843 年的路线。获得诺贝尔奖的物理学家默里·盖尔曼和史蒂文·温伯格，以及数学家安德鲁·怀尔斯，都曾参加过。 J. 柯克伍德根据 C. 格雷的素描制作的威廉·罗恩·哈密顿爵士蚀刻像。Wellcome Collection · Wikimedia Commons · CC BY 4.0 怎样评价他 哈密顿是一个没有熄灭的神童：21 岁时他已有自己的原创理论，38 岁时在一次散步中做出了最伟大的发现。他也是一个个人生活艰难的人，饮酒过度，在凌乱中工作。但他留下的启示是一种自由：算术的规则并不神圣。当一个问题需要一种新的代数时，只要它是自洽的，就可以把它发明出来。二十世纪的数学正是凭着这种自由建立起了它的种种结构。 改变了含义的词 除了“向量”和“标量”，哈密顿还创造了 tensor（张量）一词，用来指四元数的大小，即把它“拉伸”的那个数。1898 年，德国物理学家沃尔德马·福格特把这个词借来描述晶体中的应力，带着这个新含义，它进入了爱因斯坦的广义相对论。哈密顿创造的三个词中，只有“张量”失去了原来的意思。

October 27, 2026 阅读
Hero Image
图片来源

历史图片与照片 全部来自维基共享资源。我们使用共享资源提供的缩略图；柯克伍德的蚀刻像缩小了尺寸，锥形折射图减少了调色板颜色，除此之外未作其他编辑。 哈密顿肖像，Library of Congress：来源页面 · 公有领域。 哈密顿油画肖像，作者不详：来源页面 · 公有领域。 J. 柯克伍德的蚀刻像，Wellcome Collection：来源页面 · CC BY 4.0。 1943 年的爱尔兰邮票：来源页面 · 公有领域。 布鲁姆桥上的纪念牌，Cone83 摄：来源页面 · CC BY-SA 4.0。 布鲁姆桥，Johnflan 摄：来源页面 · CC BY-SA 4.0。 邓辛克天文台，David Malone 摄：来源页面 · CC BY-SA 2.5。 都柏林三一学院，JoachimKohler-HB 摄：来源页面 · CC BY-SA 4.0。 海尔维林峰上的华兹华斯，本杰明·罗伯特·海登绘：来源页面 · 公有领域。 内锥形折射图，Thomas Preston 与 William Edward Thrift：来源页面 · 公有领域。 圣保罗大学 Matemateca 的周游世界游戏复制品，Estes Objethos Atelier，Alisson Ricardo 摄：来源页面 · CC BY-SA 4.0。 为本站制作的图 封面以及单摆相空间、四元数旋转和周游世界游戏的交互图都是为这一系列制作的，在本站的四种语言中都能使用。 记录 文件 data/hamilton_imagens.json 记录了每张下载图片的来源、许可、核实日期和 SHA-256 哈希值。每个主题的历史文献列在各篇文章的末尾。 威廉·罗恩·哈密顿的全部主题 · ← 威廉·罗恩·哈密顿的遗产

October 27, 2026 阅读
Hero Image
哈密顿、吉布斯与亥维赛：箭头之战

1843 年 10 月 16 日，爱尔兰人威廉·罗恩·哈密顿和妻子沿着都柏林的皇家运河散步时，突然解决了一个折磨他十五年的问题。他从口袋里掏出小刀，把公式刻在了布鲁姆桥的一块石头上： $$i^2=j^2=k^2=ijk=-1.$$刻痕早已磨灭，但现在那里有一块纪念牌，每年 10 月 16 日，数学家们都会步行到这座桥。很少有哪个记号的诞生被记录得这样清楚。 会指方向的数 哈密顿的问题来自更早的一个发现。1797 年，挪威—丹麦的测量员卡斯帕·韦塞尔证明，复数可以读作平面上的方向。乘以 $-1$ 就是掉头（$180^\circ$）；乘以虚数单位——韦塞尔称之为 $\varepsilon$，今天我们叫它 $i$——就是转四分之一圈（$90^\circ$）。而两个方向的乘积，其角度是两个角度的和： $$i\cdot i=-1\quad\text{因为}\quad 90^\circ+90^\circ=180^\circ.$$这和纳皮尔的对数是同一个奇迹，只是换成了角度：乘法变成了加法。哈密顿想在三维空间里做同样的事。他多年来尝试由三部分组成的数 $a+bi+cj$，却始终无法让计算自洽。那天在桥上找到的办法是接受四个部分 $q=a+bi+cj+dk$，并且接受一件看似荒谬的事：乘法的顺序是有关系的。 $$ij=k,\qquad ji=-k.$$这和伽罗瓦的群表是同样的惊奇，只不过这次是数。哈密顿把他的造物叫作四元数（quaternion），来自拉丁文 quaternio，“四个一组”。 标量、向量、旋量 哈密顿很会起名字。在 1846 年的一篇文章中，他把四元数分成两部分，并分别命名： 代数上为实的部分，可以叫作标量部分，或简称四元数的标量。[……]代数上为虚的部分，在几何上由一条直线构成，一般来说它在空间中有确定的长度和确定的方向，可以叫作向量部分，或简称四元数的向量。 — 威廉·罗恩·哈密顿，《哲学杂志》（1846） 标量（scalar）来自 scala，梯子或带刻度的尺：一个标在刻度上的数。向量（vector）来自 vehere，运载：向量是把一个点“运到”另一个点的东西。后来，哈密顿把只旋转、不伸缩的四元数叫作旋量（versor，来自 vertere，转）。这三个词都流传了下来，即使四元数后来不再流行。 记号之战 哈密顿和他的苏格兰弟子彼得·格思里·泰特想用四元数改写整个物理学。19 世纪 60 年代正在统一电与磁的詹姆斯·克拉克·麦克斯韦，饶有兴趣地看着，却心存疑虑：要描述电场，三个部分 $bi+cj+dk$ 就够了，标量部分只会碍事。在 1865 年提出这一理论的论文中，麦克斯韦把电磁学方程按分量写出：二十个方程，二十个未知量。在 1873 年的《电磁通论》中，他用了一部分四元数记号，但并没有全盘采用。 两个人在没有商量的情况下，同时解决了这个问题。在美国，物理学家约西亚·威拉德·吉布斯在 1881 至 1884 年间自费为学生印了一本小册子《向量分析初步》。在英国，自学成才的电报工程师奥利弗·亥维赛在《电工》杂志上做了同样的事。两人都丢掉了四元数的标量部分，只保留向量，并创造了两种不同的乘积，各有各的符号： $$\begin{aligned}\vec a\cdot\vec b&\quad\text{点积：得到一个数；}\\ \vec a\times\vec b&\quad\text{叉积：得到一个向量。}\end{aligned}$$有了这种记号，麦克斯韦的二十个方程装进了四个： $$\begin{aligned} \nabla\cdot\vec E&=\frac{\rho}{\varepsilon_0}, & \nabla\times\vec E&=-\frac{\partial\vec B}{\partial t},\\ \nabla\cdot\vec B&=0, & \nabla\times\vec B&=\mu_0\vec J+\mu_0\varepsilon_0\frac{\partial\vec E}{\partial t}. \end{aligned}$$这也许是物理学中能动的记号最惊人的例子。内容还是麦克斯韦的，但现在电场与磁场之间的对称一目了然：两个方程带 $\nabla\cdot$（左边），两个带 $\nabla\times$（右边）。正是看着这种对称，二十世纪初的物理学家（包括爱因斯坦）开始提出那些通向相对论的问题。

October 10, 2026 阅读