威廉·罗恩·哈密顿（Sir William Rowan Hamilton）

四元数的发现者与哈密顿力学的创立者——他把光学与力学统一为"主函数"的变分理论，为经典力学写下最高形式，也为量子力学铺好了数学母体；1843 年在布鲁姆桥刻下的 $i^2=j^2=k^2=ijk=-1$，宣告了非交换代数的诞生。

一、生平与时代背景

威廉·罗恩·哈密顿于 1805 年 8 月 4 日生于爱尔兰都柏林。父亲阿奇博尔德·哈密顿（Archibald Hamilton）是律师，常年在英格兰料理业务，未受过大学教育；人们认为哈密顿的天才遗传自母亲萨拉·赫顿（Sarah Hutton）。他 5 岁时已学会拉丁语、希腊语与希伯来语，由叔父詹姆斯·哈密顿牧师（Rev. James Hamilton）在特里姆（Trim）家中教导多年，詹姆斯是位出色的教师。

此后他又掌握了多种语言。8 岁时他遇到美国心算神童齐拉·科尔本（Zerah Colburn），与之比试心算能力。据信，输给科尔本激发了他对数学的兴趣。13 岁他开始研读克莱罗（Clairaut）的《代数》（此时他已通法语）；15 岁起攻读牛顿与拉普拉斯的著作。1822 年他发现拉普拉斯《天体力学》中的一个错误，由此引起爱尔兰皇家天文学家布林克利（John Brinkley）的注意，布林克利说："这个年轻人，我不说他将成为，而是说他已经是，他这个时代的第一数学家。"

1823 年（18 岁）他入都柏林圣三一学院（Trinity College Dublin），第一年就在古典学上获得"optime"（最优）——这一荣誉通常 20 年才授予一次。1824 年 8 月，叔父詹姆斯带他去萨默希尔（Summerhill）见 Disney 一家，他第一次见到其女凯瑟琳（Catherine），立刻无可救药地爱上她；但因大学还有三年，他无法求婚。次年 2 月，凯瑟琳的母亲告知他女儿将嫁给一位年长 15 岁的牧师巴洛（Barlow）。失恋使他在下次考试中只得了"bene"而非惯常的"valde bene"，他病倒，一度想过自杀，并转向写诗——此后一生每逢痛苦便诉诸诗歌。

1826 年他在科学与古典学上双双获得"optime"（前所未闻），并在本科最后一年向爱尔兰皇家科学院提交了《光线系统理论》（Theory of Systems of Rays），首次引入光学的主函数（characteristic function）。他的期末主考博伊顿（Boyton）劝他申请邓辛克（Dunsink）天文台的皇家天文学家职位，尽管已有六位申请者（其中包括后来的皇家天文学家艾里 George Airy）。1827 年，他在仍是本科生、年仅 21 岁时被任命为圣三一学院安德鲁斯天文学教授，并获"爱尔兰皇家天文学家"荣誉头衔，入住邓辛克天文台。这一任命争议极大——哈密顿几乎没有观测经验，其前任布林克利（已升主教）认为他不该接受而应等待研究员职位。后来证明哈密顿选择不佳：他对天文学失去兴趣，把全部时间投入数学。

就任前他游历英格兰与苏格兰（哈密顿家族祖籍苏格兰），结识诗人华兹华斯（Wordsworth），结为好友。二人就"科学与诗歌"长辩：哈密顿认为数学语言像诗歌一样富于艺术性，华兹华斯则认为科学"扑灭想象力"，并坦率劝他："我担心这份差事会把你从科学之路上引诱开……你的天赋在科学而非诗歌。" 哈密顿的姐姐伊丽莎也写诗，华兹华斯来访时更喜欢她的诗。

1830 年前后他认真考虑结婚，曾向 Ellen de Vere 示好，误以为对方婉拒（她次年结婚并确实离开了 Curragh）；后与 Ellen 之兄 Aubrey 结为好友（1851 年因宗教争执分手）。最终他娶了天文台对面田野的海伦·玛丽亚·贝利（Helen Maria Bayly），他告诉 Aubrey 她"一点也不聪颖"——这场婚姻从一开始就注定不幸。海伦不善持家、常年体弱，大部分时间不在天文台。1834 年他们的长子威廉·埃德温出生，海伦随即离开邓辛克九个月。

1832 年他发表《光线系统理论》的第三篇补遗，本质上是主函数在光学中的专著；文末把主函数用于菲涅耳（Fresnel）波面，预言了锥形折射（conical refraction），并请圣三一学院物理教授汉弗莱·劳埃德（Humphrey Lloyd）实验验证，劳埃德两个月后验证成功，为哈密顿带来巨大声誉。但这也引发与麦卡拉（MacCullagh）的争议——后者险些独立做出同一发现，但不得不承认未迈出最后一步。

1833 年 11 月 4 日，他在爱尔兰皇家科学院宣读论文，把复数表示为有序实数对（代数耦，algebraic couples）。1834 年他在《动力学的一般方法》（On a General Method in Dynamics）中把主函数应用于动力学，次年发表续篇。1835 年他出版《作为纯时间科学的代数》（Algebra as the Science of Pure Time，受康德启发），同年受封爵士；次子阿奇博尔德·亨利出生。

发现代数耦之后，他试图把理论推广到"三元组"（triplets），这成了困扰他多年的执念。1843 年 10 月 16 日（星期一），他与妻子沿皇家运河步行去主持爱尔兰皇家科学院的一次委员会会议，妻子不时与他说话他却几乎听不见——四元数（第一个被研究的非交换代数）正在他脑中成形："在某种意义上，我们必须承认第四个空间维度，才能用三元组计算……一个电路似乎闭合了，一道火花闪现出来。"他抑制不住冲动，在经过布鲁姆桥（Broome Bridge，他称 Brougham Bridge）的桥墩上刻下了四元数公式：

$$i^2=j^2=k^2=ijk=-1.$$

1958 年爱尔兰皇家科学院在该桥立了纪念牌。

哈密顿认为这一发现对 19 世纪中叶的重要性堪比微积分对 17 世纪末的重要性，此后把余生献给四元数。1853 年出版《四元数讲义》（Lectures on Quaternions），但很快意识到它不是一本好教材。晚年他仍在撰写《四元数基础》（Elements of Quaternions），直至生命最后一刻。

个人生活的困扰也反复袭来：1845 年凯瑟琳（随丈夫 Disney）来访天文台，他的酒精依赖急剧恶化，次年 2 月在一个地质学会晚宴上因醉酒失态，羞愧之下戒酒两年，后被艾里讥嘲"只喝水"而破戒，从此对酒精的依赖挥之不去。1847 年叔父詹姆斯与 Willey 去世，同事麦卡拉自杀，令他深受震动。1848 年凯瑟琳开始与他通信，六周后愈发亲密，凯瑟琳愧疚向丈夫坦白，哈密顿致信巴洛称将不再联系；凯瑟琳又写来一封并企图自杀（未遂），此后与母亲或兄弟同住（未正式分居）。哈密顿仍通过其亲属持续给凯瑟琳写信。1855 年海伦（妻子）发现 Dora Disney（凯瑟琳的妯娌）的来信引发争吵。凯瑟琳约在两周后（收到哈密顿送的《四元数讲义》后）去世，哈密顿以给 Disney 家的频繁书信（有时一天两封）排遣悲痛。

1865 年夏他痛风严重发作，9 月 2 日在邓辛克的家中去世，医生诊断为痛风发作引发的并发症，享年 60 岁。他至死心智未损，一直在完成《四元数基础》（该书于 1866 年由其长子出版）。9 月 7 日葬于都柏林的芒特·杰罗姆公墓（Mount Jerome Cemetery），葬礼有圣三一学院成员着礼服、爱尔兰皇家科学院成员参加。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 光学主函数与光线系统理论（1827—1832）

问题背景：几何光学以光线为研究对象，但缺乏统一的解析方法来处理透镜、曲面系统的成像规律。

关键思想：在《光线系统理论》（1827）及三篇补遗（1830、1831、1832）中，哈密顿引入主函数（characteristic function）$V$：对一个光学系统，$V$ 是从物点到像点的光程（作用量）作为两端点坐标的函数。整个光学系统的性质——光线方向、焦点、焦散（caustic）——都由 $V$ 的偏导数决定。这是把变分原理系统引入光学的里程碑。

精确表述与成就：在第三篇补遗（1832）中，他把主函数应用于菲涅耳波面，从纯理论预言了锥形折射（conical refraction）：当光沿特定方向入射双轴晶体时，出射光会形成一个空心锥面。他请圣三一学院的劳埃德实验验证，劳埃德两个月后成功观测到——这是理论先于实验的著名预言，为哈密顿带来欧洲声誉。

与前人关系：费马原理已给出光程极值思想，哈密顿把它提升为系统的主函数方法；光学与力学的统一由此发端。

2. 哈密顿力学：正则方程与主函数（1834—1835）

问题背景：拉格朗日力学把运动化为二阶方程组，但对复杂系统（尤其多体、摄动）求解与积分仍困难；需要一种把位置与动量同等对待的对称形式。

关键思想：在《动力学的一般方法》（1834）及 1835 年续篇中，哈密顿把光学主函数移植到力学：定义系统从初态到终态的作用量主函数 $V$（$V$ 是初始与末态坐标的函数，对保守系统还含总能量 $H$）。通过对 $V$ 取变分，他得到以广义坐标 $q_i$ 与广义动量 $p_i$ 为独立变量的一阶方程组：

$$\dot q_i=\frac{\partial H}{\partial p_i},\qquad \dot p_i=-\frac{\partial H}{\partial q_i},\qquad i=1,\dots,n.$$

这就是哈密顿正则方程（Hamilton's canonical equations），其中 $H(q,p,t)$ 是哈密顿量（多数情形即总能量）。主函数 $V$ 满足的偏微分方程即后来所称的哈密顿—雅可比方程（由雅可比进一步发展）：

$$\frac{\partial S}{\partial t}+H\left(q,\frac{\partial S}{\partial q},t\right)=0.$$

精确意义：哈密顿力学是经典力学的最高形式，具有辛（symplectic）结构与正则变换不变性，是摄动理论（天体力学）、统计力学与量子力学的直接出发点。

与前人关系：建基于拉格朗日方程；雅可比把哈密顿—雅可比理论系统化（故方程以二人命名）。光学—力学类比由哈密顿明确提出，后由薛定谔用于建立波动力学。

局限性：哈密顿原文表述高度凝练、与现代教科书形式迥异，不易读（Hankins 指出其论文"难读"）。

3. 四元数——第一个非交换代数（1843）

问题背景：复数（二维）可表示平面向量与旋转；能否构造"三维数"来表示空间向量与旋转？哈密顿花了十余年寻找三元组的乘法。

关键思想：1843 年 10 月 16 日，他意识到三维不够，必须引入第四个单位。他构造出四元数 $\mathbb H$：形如

$$q=a+bi+cj+dk,\qquad a,b,c,d\in\mathbb R,$$

其中 $i,j,k$ 满足

$$i^2=j^2=k^2=ijk=-1,$$

由此推出 $ij=k,\ jk=i,\ ki=j,\ ji=-k,\ kj=-i,\ ik=-j$——即乘法不满足交换律。这是第一个被系统研究的非交换代数。哈密顿把 $a$ 称为"标量部分"（scalar part），把 $bi+cj+dk$ 称为"向量部分"（vector part）——"标量"与"向量"二词即由他引入数学。他还引入了微分算子 $\nabla$（nabla，得名于形似希伯来的一种竖琴）。

与前人关系：复数作为有序对由哈密顿 1833 年给出；四元数是其向高维的推广，但打破了交换律。格拉斯曼几乎同时独立发展出更一般的外代数（见格拉斯曼档案）。

局限性：四元数虽优美，但三维向量运算（点积、叉积）的日常表达后来被吉布斯（Gibbs）与亥维赛（Heaviside）的向量分析取代；不过四元数在旋转表示（如计算机图形学、航天姿态控制）中已回归，并通过克利福德代数、泡利矩阵进入量子力学。

4. 复数作为有序对与"代数即纯时间"（1833—1835）

问题背景：19 世纪初，负数、虚数的合法性仍有争议；复数常被视为"不可能的量"。

关键思想：1833 年哈密顿把复数定义为有序实数对 $(a,b)$，并定义加法与乘法

$$(a,b)+(c,d)=(a+c,b+d),\qquad (a,b)(c,d)=(ac-bd,ad+bc),$$

从而把复数建立在实数对的纯代数基础上，避开了"虚数 $\sqrt{-1}$"的神秘色彩。1835 年《作为纯时间科学的代数》受康德哲学启发，试图把代数建基于"时间的直觉"，把数与"时间步"（time-step）联系起来。

与前人关系：与高斯、阿尔冈（Argand）的几何表示并行，但哈密顿的代数对构造更抽象，影响了后来的公理化代数学。

5. 哈密顿—凯莱定理

问题背景：方阵与其特征多项式之间的关系。

关键思想：哈密顿在研究四元数时发现，四元数作为二阶复矩阵满足其特征方程；凯莱（Cayley）后来对 $2\times 2$ 与 $3\times 3$ 矩阵验证了同样结论。一般定理——每个方阵都满足其自身的特征多项式（若 $p(\lambda)=\det(\lambda I-A)$，则 $p(A)=0$）——今称哈密顿—凯莱定理，一般情形的严格证明由弗罗贝尼乌斯（Frobenius，1878）给出。

6. 哈密顿路径与 Icosian 博弈（1856—1857）

问题背景：图论中，是否存在经过每个顶点恰好一次的闭合路径？

关键思想：哈密顿发明了** Icosian 微积分（基于正十二面体对称群的代数），并据此设计了"Icosian Game"（周游世界游戏）：在正十二面体的顶点上找一条经过每个顶点恰好一次再回到起点的路径。这是哈密顿回路/哈密顿路径**概念的起源——一个图若存在经过每顶点恰一次的回路，则称哈密顿图。1857 年他把游戏专利以 25 英镑卖给玩具商。

与前人关系：欧拉路径（经过每边恰一次）由欧拉 1736 年研究；哈密顿路径是其顶点版本，是 NP-完全问题的经典例子，在组合优化与物流中极为重要。

7. 速端曲线（hodograph）与数学物理

问题背景：天体力学中，把速度向量本身作为对象研究。

关键思想：哈密顿引入速端曲线（hodograph）——把运动质点的速度向量平移到共同原点后其端点描出的曲线——并证明在平方反比引力下，行星的速端曲线是圆。这一方法简化了开普勒问题的推导，后来在流体力学与等离子体物理中仍被使用。

四、代表著作与文献

• 《光线系统理论》（Theory of Systems of Rays，1827；三篇补遗 1830、1831、1832）：光学主函数与锥形折射预言。
• 《动力学的一般方法》（On a General Method in Dynamics，1834；续篇 1835）：哈密顿力学的奠基论文。
• 《作为纯时间科学的代数》（Algebra as the Science of Pure Time，1835）。
• 《四元数讲义》（Lectures on Quaternions，1853）。
• 《四元数基础》（Elements of Quaternions，1866，身后由长子出版）。
• 论文集：The Mathematical Papers of Sir William Rowan Hamilton（3 卷，剑桥，1931—1967，A. W. Conway 与 J. L. Synge 等编），卷一光学、卷二动力学、卷三四元数。

五、师承、学派与同时代交往

• 师承：基本靠自学；受叔父詹姆斯·哈密顿（语言）与布林克利（天文学）引导；精神上追随牛顿、拉普拉斯。无正式博士学位。
• 学派归属：爱尔兰数学—数学物理传统的核心人物；英国数学复兴中的关键人物之一。
• 同时代交往：
• 华兹华斯（William Wordsworth）：挚友，就科学与诗歌的本质反复辩难；劝他专注科学。
• 约翰·布林克利：前任皇家天文学家，发现并赏识他，但不赞成其接受天文台职位。
• 汉弗莱·劳埃德：实验验证其锥形折射预言。
• 詹姆斯·麦卡拉：竞争者，在锥形折射上险些抢先，1847 年自杀，令哈密顿震动。
• 亚瑟·凯莱：四元数与矩阵领域的同代人，哈密顿—凯莱定理以二人命名。
• 雅可比：发展了哈密顿—雅可比理论，与哈密顿在分析力学上互补。
• 乔治·艾里：同为天文学家，曾讥嘲哈密顿戒酒。
• 彼得·格斯里·泰特（Peter Guthrie Tait）：四元数的主要继承者与推广者，与吉布斯就四元数与向量分析展开著名论战。
• 凯瑟琳·Disney：一生的情感执念，深刻影响其创作（诗歌）与健康。
• 奥布里·德·维尔（Aubrey de Vere）：挚友，1851 年因宗教争执分手。
• 同时代学者：格拉斯曼（独立发展向量与外代数）、黎曼（受其光学—力学类比影响）、麦克斯韦（在电磁理论中使用哈密顿方法）。

六、争议、公案与历史评价

• 布鲁姆桥刻字：哈密顿在桥上刻公式的故事广为人知，1958 年爱尔兰皇家科学院立碑纪念；但刻字本身早已无存，是否确为"刻于石上"还是他当时的生动回忆，学界无异议于事件发生日期（1843 年 10 月 16 日）与地点。
• 与麦卡拉的优先权：锥形折射的理论预言，麦卡拉几乎独立得到但未完成最后一步；哈密顿抢先发表并由劳埃德验证。麦卡拉不得不承认失败，二人此后关系紧张，麦卡拉 1847 年自杀。优先权属哈密顿无误，但麦卡拉的贡献常被低估。
• 四元数的历史地位：哈密顿坚信四元数堪比微积分，但 19 世纪末吉布斯、亥维赛的三维向量分析在工程与物理中胜出，四元数一度式微；20 世纪它在旋转表示、克利福德代数、量子力学中复兴。今日评价：四元数是抽象代数与向量分析的关键源头，历史地位稳固。
• 个人悲剧与酗酒：哈密顿的情感生活（对凯瑟琳的终身执念、不幸婚姻）与酒精依赖是其晚年痛苦的来源，也影响了其产量与健康；但他至死心智清晰，一直在推进四元数巨著。
• 任命争议：1827 年以本科生身份获任皇家天文学家引发争议，因其缺乏观测经验；事后看他确实转向纯数学，天文观测贡献有限。
• 历史评价：哈密顿是 19 世纪最具原创性的数学家之一，爱尔兰最伟大的科学家。哈密顿力学是从经典力学到量子力学的桥梁（薛定谔明确受其光学—力学类比启发）；四元数开启非交换代数。他被安葬在都柏林，是爱尔兰民族的科学象征。

七、身后影响与学术谱系

• 经典力学与物理学：哈密顿正则方程与哈密顿量是经典力学、统计力学（刘维尔定理依赖相空间体积）、摄动理论的标准语言；哈密顿—雅可比方程是从经典到量子的过渡。
• 量子力学：薛定谔 1926 年建立波动力学时，明确引用了哈密顿的光学—力学类比（波前 = 等作用量面）；哈密顿量在量子力学中是能量算符，是整个量子理论的核心。量子场论、规范场论都建立在哈密顿/拉格朗日形式之上。
• 代数学：四元数是第一个非交换代数，直接启发了克利福德代数、外代数的融合，以及现代抽象代数的兴起；"标量""向量""张量"（旧义）等术语由他引入。
• 图论与组合优化：哈密顿回路/路径是组合学与计算机科学的核心概念（旅行商问题即寻找最短哈密顿回路）。
• 几何与微分方程：主函数、变分法、辛几何都溯源于他。
• 命名遗存：哈密顿量、哈密顿方程、哈密顿—雅可比方程、哈密顿主函数、哈密顿力学、四元数（$\mathbb H$ 以 Hamilton 命名）、哈密顿图/回路/路径、哈密顿—凯莱定理、速端曲线、哈密顿算符（量子力学）、Nabla 等。
• 文化纪念：布鲁姆桥纪念牌；爱尔兰 10 镑纸币上曾印有哈密顿；都柏林的哈密顿步道（Hamilton Walk，10 月 16 日重走其发现四元数之路）已成为年度数学活动。

八、延伸阅读与权威来源

• MacTutor 数学史档案：William Rowan Hamilton：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Oxford DNB — Hamilton (MacTutor 托管)：权威传记条目，含逝世与葬礼细节。
• Wikipedia: William Rowan Hamilton：生平与著作交叉核对。
• Wikipedia: Hamiltonian mechanics：正则方程与主函数的现代表述。
• Wikipedia: Hamilton–Jacobi equation：作用量主函数满足的偏微分方程。
• Wikipedia: Quaternion：四元数的历史与现代应用。
• Wikipedia: Hamiltonian path problem：哈密顿图与旅行商问题。
• Wikipedia: Cayley–Hamilton theorem：定理陈述与归属。
• Wikipedia: Conical refraction：锥形折射预言与实验。
• T. L. Hankins, Sir William Rowan Hamilton (Johns Hopkins, 1980)：权威学术传记参考。