图片

作家：James Propp 2023-5-18

译者：zzllrr小乐（数学科普微信公众号）2023-5-22

图片

1853年，数学家兼物理学家威廉·罗文·汉密尔顿（William Rowan Hamilton）临了一次拜访了凯瑟琳·巴洛（Catherine Barlow），他也曾好坏地爱着她，仍对她充满神气。三十年前，当他如故皆柏林三一学院的一年级学生，而她如故凯瑟琳·迪斯尼（Catherine Disney）密斯时，她俘取得了他的心——而她的父母自后决定把她嫁给威廉·巴洛牧师，一个比她大十五岁的有钱东谈主，以为会很得当她。事实证明他们错了。【注#1】

三十年后，淌若巴洛牧师对汉密尔顿出面前他家中感到不悦，可能会见原他的私行闯入，因为他的妻子快死了，并肯求汉密尔顿临了一次探望。汉密尔顿是一位已有著述出书的诗东谈主和科学家，在他早期的一些诗歌中深情地写过她，但他面前献给她的不是诗歌，而是他写的一篇数学论文，他我方发明的主题是四元数分析，并赢得了许多的赞誉，以至于成为皆柏林的必修覆按主题之一。事实上，一年前，凯瑟琳的犬子需要一些四元数的带领，汉密尔顿指挥了这个男孩，也许恰有契机饰演他旧情东谈主犬子的父亲脚色。

凯瑟琳谈到她与巴洛的婚配如何被她的父母强加给她时，汉密尔顿为她感到盛怒。她告诉他她不圆满的婚配，以及她多年来对汉密尔顿坚强不移的爱，他被可怜所战胜。然后，在来访快末端时，他尝试了三十年前应该尝试的事情。“站起来啊，我会收受并带走她正当给我的一切作为我的表彰 —— 一个吻，不，许多吻：因为已知接近死一火使这种圣餐变得圣洁。事实上，咱们俩不可能不宛转，这是咱们有生以来第一次，咱们的嘴唇相遇......关联词，我敢断言，在那为数未几的被允许的时刻，咱们的深情传递是鲜明的，不像那些在回诞辰中既不成亲也不被赐予婚配的东谈主通常，而像天国中天主的天神那样。

凯瑟琳在威廉这次考察后垂危了两周，然后在53岁时死一火。与此同期，威廉回到了他的家和他的妻子身边，且归完成他所以为的职守和职责：向寰球解释四元数的任务。他知谈我方如故莫得作念对。他会在他的余生中不时尝试。

狂趣味好者

年青的威廉·罗文·汉密尔顿有许多意思和掌执他感意思的任何事物的决窍。这个男孩在五岁时学会了拉丁语、希腊语和希伯来语。他对数字莫得意思，直到八岁时在旅游中际遇了精于计较的神童泽拉·科尔本（Zerah Colburn）。威廉很快自学了默算的艺术，并与这位年青的好意思国东谈主竞争，天然他不行击败科尔本，但从各方面来看，他的阐扬皆值得称许。

汉密尔顿也可爱古典学（研究古希腊古罗马端淑的西方学科，需要老到古希腊语和拉丁语，zzllrr小乐译注），并在三一的第一年赢得了 optime（最高荣誉）——这是几十年来其他一年级学生从未完成的豪举。几年后，他超过了他最先的建树，赢得了古典学和科学的双重获利，这是三一学院学生过去从未作念过的事情。17岁时，他在拉普拉斯知名的《Mécanique céleste（天膂力学）》中发现了一个空幻。他在三一学院的一位老诚约翰·布林克利（John Brinkley）感动地说：“这个年青东谈主，我不说他异日是，而是面前就也曾是他这个年事段的第一位数学家”。不久之后，布林克利成为主教并清除了他的素养职位，汉密尔顿（其时如故别称本科生！）被选为布林克利的继任者。该职位附带的福利之一是爱尔兰皇家天文体家的头衔以及住在皆柏林郊区的邓辛克天文台。这项任命对爱尔兰来说并不好（新的皇家天文体家在天文体方面莫得格外的才智），但对汉密尔顿来说却很好，因为通过他在天文台的租约，他最终际遇了住在隔邻的海伦·贝利（Helen Bayly），并娶了她。【注#2】

在开动他的天文体职责之前，威廉游览了不列颠群岛，并际遇了诗东谈主威廉·华兹华斯（William Wordworth）；尽管年事出入三十岁，但两东谈主很快就成为了一又友。汉密尔顿的列传作家罗伯特·格雷夫斯（Robert Graves）报谈说，意外悦耳到华兹华斯将汉密尔顿和诗东谈主柯尔律治（Coleridge）描述为“他见过的两个最了不得的东谈主，以他们通盘的资质来看”。

这两个威廉的共同点比东谈主们设想的要多。华兹华斯不是专揽科学的一又友（“科学只专揽于生活的物资用途，与设想开战并但愿消逝设想力”），但他对包括数学在内的更隧谈的科学样式有所玩赏。在《序曲 Prelude》第六卷中，华兹华斯写谈：

关联词，咱们可能不会完全疏远从几何科学基础中取得的乐趣......

他接着深情地描述了他第一次斗争欧几里得几何学，回顾谈：

那些抽象的魔力

何其强大...

一个颓靡的寰球，

由隧谈的聪惠创造。

转而看汉密尔顿，他具有华兹华斯招供和称许的诗意明锐性。【注#3】

汉密尔顿养成了寄给华兹华斯诗歌的习尚，寻求后者的坦率评价。华兹华斯看得出来，汉密尔顿既不是半吊子，也不是另一个华兹华斯。他还知谈，从汉密尔顿学术生存的奏凯来看，这个年青东谈主对数学规模有着特有的观点。1831年，华兹华斯写信给汉密尔顿说：

“你给我寄来诗句，我和咱们大众通常，特等容许地收到这些诗句；关联词，咱们惦记这种服务会迷惑你偏离科学的谈路，你似乎注定要以如斯多的荣誉前行，并给东谈主们造福。我必须一次又一次地强调，诗歌的创作需要比东谈主们怡悦敬佩的要多得多的艺术性，而其中的完全奏凯取决于大皆的细节，而这些细节使我感到哀悼，你应该臣服于取得常识。”【注#4】

“之前想法越来越澄澈”

淌若你研究过笛卡尔坐标，你可能还难忘它们是以首创东谈主勒内·笛卡尔（René Descartes）的名字定名的，它们有两条直线，x轴和y轴，并在一个称为原点（origin）的点处相交。原点由数字对(0,0)显露，你可能也曾猜到这个标记可以追思到笛卡尔，但事实并非如斯。教咱们用括号内以逗号分隔的两个数字来显露平面上的一个点的数学家不是笛卡尔，而是汉密尔顿。

汉密尔顿之是以进行这项革命，是但愿揭开复数的奥密面纱。汉密尔顿写谈：“莫得一个坦率和明智的东谈主会怀疑平行线（Parallel Lines）主要性质的确切性，正如两千年前欧几里得（Euclid）在他的《几何正本 Elements》中提议的那样。然而，怀疑以至不敬佩负数（Negatives）和虚数（Imaginaries）的学说并不需要格外的怀疑主义。”我不会在这里参谋汉密尔顿和洽负数的门径，但他找到了一种令东谈主信服的门径，将复数置于更坚实的东西中，即实数对，或者他称之为数对（couple）。【注#5】

汉密尔顿将数对相加的规矩很毛糙：数对(a, b)和数对(c, d)的和即是数对（a+c，b+d）。数对相乘的规矩更为复杂：数对(a, b)和数对(c, d)的乘积是数对(ac − bd, ad + bc)。有东谈主可能会反对说第二条规矩看起来很奇怪，但莫得东谈主会反对说其中任何一条规矩推理违和。特等是，断言 (0, 1) 乘以 (0, 1) 得到(−1, 0) 只不外是数对乘法规矩的平直专揽。【注#6】

这种计策如斯灵验的原因是，淌若你只看形为(r, 0)的数对——其中第一个数是任何你可爱的数，第二个数是0 —— 你会发现组合数对的规矩诡秘了组合数字的普通规矩。具体来说，(r, 0) 加上 (s, 0) 等于 (r+s, 0)，而 (r, 0) 乘以 (s, 0) 等于 (rs, 0)。因此，当使用汉密尔顿的加法和乘法规矩组合时，这么的数对行为姿首与“单个”数（普通实数）在使用普通单个数加乘规矩组合时的行为姿首交流。总的来讲，淌若咱们把“实数”当作“鸭子”，第二个数为零的数对，就像“鸭子”通常走路，像“鸭子”通常拍浮，像“鸭子”通常嘎嘎叫。然而，一朝你承认(−1, 0)像数字-1通常嘎嘎叫，就很难幸免进一步断言(0, 1)像-1的平方根通常嘎嘎叫，即使你相持以为，在数字规模，不存在这么的平方根。

19世纪的形而上学和19世纪的数学恰是在这里分谈扬镳。对于形而上学家来说，将像(-1, 0)这么的数字与像-1这么的数字视归拢律将是一个严重的空幻，实质上是一个限度空幻（形而上学家可能犯的最窘态的空幻之一）。然而当代数学需要这种东西，尽管为了幸免逻辑陷坑，东谈主们必须防备肠将两者规划起来，而不是真确将它们等同起来。当代数学的一个分支称为限度论（category theory），使咱们能够解脱逆境——将“鸭子测试”不仅专揽于复数，而且专揽于咱们研究的险些通盘其他事物。【注#7】

汉密尔顿揭开复数奥密面纱的标记姿首补充了也曾很遍及的几何门径，该门径将√(-1)与位于y轴上的笛卡尔平面中的点相干联，这个点比原点高一个单元。淌若将两种样式的去奥密化结合起来——“复数只是平面上的点”和“复数只是实数对”——就会得出“平面上的点只是实数对”。这为四维空间的去奥密化绽放了大门，因为还有什么比括号内用逗号分隔的四个数字更无为无奇的呢？几代东谈主之后，可能是希尔伯特迈出了对欧几里得空间进行算术化的临了一步（超过欧几里得描述对于通盘正整数n的 n维欧几里得空间，而不单是是 1、2 和 3），但绽放希尔伯特将要走过的大门的是汉密尔顿。

问题

汉密尔顿设计了数对的一种算术后，天然想知谈是否有办法推论到三元数triple（或者，他巧合称之为三元组triplet）。正如他自后在《四元数讲座》（1853年）的引子中所写的那样：“关联词，有一个动机促使我特等贯注研究三元数......这是以某种新的和有用的（或至少有趣的）姿首，通过一些未被发现的推论，将计较与几何学联结到三维空间的愿望。”

因此，汉密尔顿研究了样式为（a, b, c）的三元数，每个三元数皆被视为代表一个“超复数”（hypercomplex）a + bi + cj，其中i是-1的普通平方根，j是-1的另一个平方根，与i和-i皆不同。汉密尔顿很明晰如何界说三元数的加法：就像 a+bi 加上 a'+b'i 等于 (a+a')+(b+b')i，汉密尔顿看到 a+bi+cj 加上 a'+b'i+c'j 应该等于 (a+a')+(b+b')i+(c+c')j 。

然而乘法应该如何界说呢？这个问题困扰了汉密尔顿多年，他并莫得向家东谈主诡秘我方的烦嚣。正如他自后在给犬子阿奇博尔德（Archibald）的一封信中所说：

“1843年10月初，每天早上，当我下来吃早餐时，你的哥哥威廉·埃德温（William Edwin）和你经常问我：'爸爸，你能作念三元数的乘法吗？’我老是不得不哀悼地摇摇头回答，'不，我只会加减。’”

天然，汉密尔顿可以用大皆种姿首界说三元数的乘法，举例通过公式 a + bi + cj 乘以 a' + b'i + c'j 等于 (aa') + (bb')i + (cc')j，就像他可以通过公式 a + bi 乘以 a' + b'i 等于 (aa') + (bb')i。然而后一个界说不会给出任何特等有趣的东西（特等是，它不会给出一种想考复数的门径），是过去一个界说不是他想要的东西。然而，当他还莫得发当前，他岂肯说出想要发现的东西呢？

其实他知谈想要类似复数的乘法规矩。那么数对乘法规矩中的什么性质，他可能但愿三元数乘法规矩也能餍足呢？

他挑出了两种性质。第一种性质是分派律（distributive law），它断言 (a + bi)(c + di) 可以张开为(a)(c) + (a)(di) + (bi)(c) + (bi)(di)，或张开为 ac + adi + bci + bdii （是的 ，ii = −1，但这不是分派率的一部分）。第二个性质是模定律（moduli law），它断言，淌若咱们把 (a + bi)(c + di) 写为 x + yi，则 x + yi 的模（modulus，即联结 (x, y) 到 (0, 0)的线段长度）应该是 a + bi 的模和 c + di 的模的乘积。这是我在《螺旋寰宇的诬陷数字》 https://mathenchant.wordpress.com/2022/07/17/twisty-numbers-for-a-screwy-universe/ 中写到的“向量大小的乘法”（magnitudes multiply）规矩。换句话说，√(x²+y²) 应该等于 √(a²+b²) 乘以 √(c²+d²)，或者（去掉那些敌对的平方根）x²+y² 应该等于 (a²+b²)(c²+d²)。【注#8】

因此，汉密尔顿牢牢收拢类比（analogy）的缰绳，寻求一种门径将乘积（a+bi+cj)(d+ei+fj）写成(...) + (...)i + (...)j（咱们将那些未知的括号抒发式称为 x、y 和 z），这么 x + yi + zj 将等于张开后ad + aei + afj + bdi + beii + bfij + cdj + ceji + cfjj的和（一种新的分派律），同期 x² + y² + z² 的和因式剖判为 (a²+b²+c²)(d²+e²+f²)（新的模定律）。

鉴于新分派性质假定的正确性，汉密尔顿需要作念的即是弄明晰ii，jj，ij和ji是什么（或者更实在地说应该是什么），他能将任何三元数乘以任何其他三元数，尽管淌若他作念出空幻选拔，则对三元数的运算将无法餍足他想要的模定律。他也曾知谈但愿 ii 和 jj 等于 −1，是以只需弄明晰如哪里理 ij 和 ji 的问题。领先他设两者等于 0，但这导致了问题。事实上，方程 ij = 0 与模定律相矛盾，因为 i 和 j 的模均为 1，而 0 的模为 0。

汉密尔顿决定放宽ij = ji = 0的假定，但保留ij和ji是互相相悖数的假定。也即是说，他假定对于 p、q 和 r 的某种明智选拔，会有 ij = p+qi+rj，而 ji = −p−qi−rj。他给 i 和 j 的未知乘积起了 k 这个名字，并发现使用 ij = k 和 ji = −k 会导致两个一般三元数的乘积模中出现一些看起来很有但愿的对消（cancellation）。事实上，他发现这两个公式导致了其他四个类似的公式：jk = i，kj = −i，ki = j和ik = −j。然而他找不到数字p，q和r可以使完整的假定见效。

科罚有贪图

1843年10月16日，汉密尔顿和他的妻子沿着皇家运河的纤谈行走运，观念上的僵局得到了科罚。他倏得猜测，他的k不是一个需要解出的未知数；它是一个颓靡的虚数单元，与i和j是对等的伙伴。也即是说，他一直试图作念三元数乘法是空幻的；相悖，他应该研究将样式 a + bi + cj + dk 的四元数相乘。规矩 ii = −1， ij = k， ik = −j， ji = −k， jj = −1， jk = i， ki = j， kj = −i 和 kk = −1（与分派律结合）给出了计较任何两个四元数乘积的圭臬，况兼，正如他沿着运河取得直观并在自后考据的那样，四元数乘法的这种界说餍足模定律。汉密尔顿焕发地将他的中枢发现雕饰到运河沿岸的石桥来顾忌这一龙套：

i²=j²=k²=ijk=-1

汉密尔顿在布鲁姆桥上的雕饰早已被抹去，但这个故事是数学家时有滑稽而珍惜的顾忌碑。也许它也应该成为数学家妃耦具有耐烦的顾忌碑；我想汉密尔顿夫东谈主其时在想“为什么他不行像其他东谈主通常在餐巾纸上写这些东西？”但她把这个想法只留给了我方。

在他取得发现后的第二天，汉密尔顿写信给他的大学一又友数学家约翰·格雷夫斯（John Graves），他和他的昆季罗伯特·格雷夫斯（汉密尔顿最终的列传作家）和查尔斯·格雷夫斯通常，对空间代数的观念沉溺，他们的服务在某些方面启发了汉密尔顿我方的想法。汉密尔顿写谈：“...在这里，我倏得意志到，在某种意旨上，咱们必须承认空间的第四维，以便用三元数进行计较。...咱们必须承认第三个虚数标记 k，不要与 i 或 j 污染，它是等于以i作为被乘数，j作为乘数的乘积；因此，我被引入如a + bi + cj + dk即(a, b, c, d)四元数之门【注#9】。”汉密尔顿是第一个，但远非临了一个，数学家际遇“格外维度”的迷东谈主风景，其中某些正值使奇特的事情发生。【注#10】

格雷夫斯很快就看到了汉密尔顿所作念的事情的首要性，况兼比汉密尔顿更快地看到了它如何导致更高的维度。格雷夫斯在回话中写谈：“淌若用你的真金不怕火金术可以制造出三磅黄金，你为什么要留步于此？”（其中“三”简略是汉密尔顿的i，j和k）。两个月后，格雷夫斯写信给汉密尔顿，提议了他我方的数字系统，他称之为“八元数”（octave），涵盖汉密尔顿的，但加入了四个新的虚数单元l，m，n和o。八元数是由数学家亚瑟·凯莱（Arthur Cayley）颓靡发现的（有些东谈主称它们为凯莱数），面前日常被称为八元数（octonian）。还值得一提的是，八元数乘法不行餍足结合性质：也即是说，淌若o，p和q是八元数，那么乘积(op)q和乘积o(pq)日常不特等。在这里，咱们看到了一个我称之为量度（trade-off，鱼与熊掌不可兼得）原则的例子：数学系统范围的扩大日常需要糟跶某个一般性祭坛上的东西。

咱们之前也曾看到了量度原则。研究一下：当咱们从实数转向复数时，咱们失去了三分法定律（trichotomy law，给定两个实数r和s，r < s，r = s，r >s三种关系中恰有之一开辟），事实上，说一个复数小于或大于另一个复数应该是什么风趣是不明晰的。复数餍足交换律（commutative law，给定两个复数α和β，αβ = βα），然而当咱们从复数移动到四元数时，咱们失去了交换性质。因此，当咱们从四元数移动到八元数时，咱们失去了结合性，这不应该让咱们感到讶异。咱们向更全面的数字系统发展，有所扩大，但也有所稀释。（除了八元数以外，还有一些系统，特等是十六元数（sedenion），糟跶了更多的性质，举例模定律，但我对它们无话可说）。是以，我对格雷夫斯的反问“为什么要留步于此？”的回答是，童话中贪念者所知的东谈主生重荷事实：愿望成真，但需代价。

1844年，汉密尔顿完了了他使用四元数将计较与几何和物理学规划起来的愿望。他以为四元数 a+bi+cj+dk 是两部分的和：他称a为标量部分，bi+cj+dk为向量部分——可写成三元数 (b, c, d)。他指出，他的向量为牛顿对于速率和力相加的想想提供了一种天然言语。更首要的是，汉密尔顿标明，淌若将每个四元数写为标量和向量的总额（a+v，举例，其中v = bi+cj+dk），那么两个四元数a+v和a'+v'的乘积可以张开为多样颓靡有趣抒发式的和：标量aa'；标量 − bb' − cc' − dd'；向量 ab'i + ac'j + ad'k 和 a'bi + a'cj + a'dk 和向量 (cd'−c'd)i + (b'd−bd')j + (bc'−b'c)k。是以事实上，他最终找到了三种首要的新门径来乘以三元数（抒发式 ab'i + ac'j + ad'k 和 a'bi + a'cj + a'dk 以类似姿首形成，因此它们动作一种单一的乘法门径）。第一种门径将向量乘以向量以产生标量；第二种门径将标量乘以向量以产生一个向量；第三种将向量乘以向量以产生向量。其中第三种在某些方面接近汉密尔顿领先寻求的“一种新的有用（或至少有趣）的三元数乘法门径”，它餍足分派律，但它不餍足模定律，是以他莫得研究它，直到它作为四元数乘法的副居品出现。（它也不是餍足结合率的）。【注#11】

汉密尔顿还想出了如何将四元数与三维空间中的旋转规划起来。这是一件很天然的事情，因为复数与二维空间中的旋转密切相干。复数 w = cos θ + i sin θ 具有以下性质：当你将其他复数 z 乘以 w 时，你将 z 围绕复平面的原点旋转一个角度 θ。汉密尔顿发现了一个类似的四元数故事，尽管与四元数的非交换性质保持一致，但它有点辣手。为了使用旋转向量 w 对三维向量 v 进行操作，咱们得到wvw'，其中 w' 是 cos θ − i sin θ（w 的倒数）。向量 wvw'是向量 v围绕i轴旋转 2θ 角。（2 这个因子很首要；预示着四元数在20世纪初被遗弃以及它们在20世纪末的回生，我将稍后解释）。

汉密尔顿怡悦在他的四元数界说中遗弃交换性质，这天然是一个神勇而首要的才略，但它并不是假造而来的。莱昂哈德·欧拉（Leonhard Euler）也曾证明，当一个东谈主折服球体的一个轴旋转，绕第二个轴旋转时，复合操作又是围绕第三个轴旋转一定角度，他知谈推论两个重量旋转的法例会影响取得的复合操作。这是你可以用任何大致为立方体的物体直率考据的东西（一册书就可以了）。将书放在你面前的桌子上，先旋转90度俯仰角（pitch，围绕x轴旋转），然后旋转90度横滚角（roll，围绕z轴旋转），并疑望书的方针。面前类似实验，但这次先进行俯仰角旋转；你会疑望到，这本书的最终方针与那种先俯仰角旋转然后横滚角旋转不同。淌若按照先俯仰角后偏航角（yaw，围绕y轴旋转），或先偏航角后横滚角，情况也有所不同。https://zh.wikipedia.org/wiki/航空器三主轴 

图片

汉密尔顿知谈欧拉的服务，是以他可能怀疑，淌若他的新数字要描述三维旋转，那么新数字必须摊派旋转已具有的非交换性。【注#13】

有一些有趣的谜题基于三维空间中旋转不餍足交换率，以及在桌子上回荡立方体时，它可以按照与开动不同的方针回到原位置这一相劳动实。罗伯特·阿博特（Robert Abbott）始创了所谓的回荡立方体迷宫；一个具有挑战性的例子是 https://logicmazes.com/rc/gms5.html 。淌若你更可爱带有视频组件的回荡对象游戏，请稽察Block 'n' Roll https://www.playit-online.com/puzzle-onlinegames/block'n'roll/ 。或者，淌若你想要与四元数更平直相干的游戏，请尝试“Groupdoku”四元数游戏 http://quadratablog.blogspot.com/2018/08/mathfest-2018-puzzles-quaternion.html 或汉密尔顿纸牌游戏 http://www.mathsireland.ie/hamilternion 。

死一火与更生

淌若四元数表面是想想市集上的一家初创公司，那么它的股票价值将在汉密尔顿的伟大发现三十年后达到顶峰，其时物理学家詹姆斯·克拉克·麦克斯韦（James Clerk Maxwell）使用四元数来制定他的电磁学表面。

从那之后开动走下坡路。汉密尔顿尽管（或者也许是因为）有诗意神韵，但并不有助于让他成为他的表面最澄澈的解释者；他时时很啰嗦。在他临了一次尝试解释四元数（威廉身后由他的犬子完成）时，他罗致了欧几里得的《几何正本》作为他的模子，并逃匿了他早期的四元数代数公式，转而使用更几何的东西，这天然更无助。汉密尔顿以为，他领先的“i，j和k”门径的过错在于，它需要特等选拔三个垂直轴。你选拔哪三个垂直轴最终并不首要，但你必须选拔，不然你就无法将表面付诸实践。汉密尔顿约莫在1848年写谈：“我以为四元数是不优雅或不完整的，或者更实在地说，迄今为止，它张开的景色一朝变得或似乎有必要乞助于x，y，z等时，是不优雅或不完整的”。因此，他提议了一种新的门径，其中向量位于欧几里得的3维空间中（莫得偏疼的轴），四元数被界说为一个向量的商除以另一个向量。这种门径很难折服，而跟着时期的推移，越来越少的东谈主阅读汉密尔顿的四元数正本。用凯莱的话来说，四元数代数就像一张小型舆图，“它包含了一切，但必须张开成另一种样式才智被和洽。”

张开的东谈主是Josiah Willard Gibbs（约西亚·威拉德·吉布斯），Oliver Heaviside（奥利弗·赫维赛德）和Hermann von Helmholtz（赫尔曼·冯·亥姆霍兹）的三东谈主组，他们扯破了四元数，划分了他们的标量和向量部分。在咱们的科技创业类比中，你可以将这三者视为企业劫掠者。他们看到汉密尔顿想出了一些优秀的居品，但莫得给它们打上烙迹，也莫得创造一个好的界面（即节略的象征意旨）。因此，他们界说了

标量乘积

a(b, c, d) = (ab， ac， ad)

点积

(b, c, d)·(b', c', d') = bb' + cc' + dd'

叉积

(b, c, d)×(b', c', d') = (cd' − c'd)i + (b'd − bd')j + (bc' − b'c)k

通盘这些皆是汉密尔顿发现但莫得定名的。完整的四元数乘积呢？“哦，那是四维的；难以设想；对咱们来说不是一个好居品。咱们怎么能把它卖给一年级的学生呢？”这三东谈主从四元数公司的常识产权IP中窃取了“标量”和“向量”这两个词，但扔掉了无利可图的四元数自己。麦克斯韦使用汉密尔顿发明的三种样式的向量乘法（升级为微分算子散度 divergence、梯度 gradient和旋度 curl）重写了他的电磁学公式，莫得提到四元数。

汉密尔顿的数学与19世纪后期物理学的需求（如麦克斯韦在电磁学方面的服务）之间的一种不匹配可以在前边提到的倍角风景中看到。当你通过将四元数向量 v 前乘以向量 cos θ + i sin θ 并将其后乘以 cos θ − i sin θ 来操作四元数向量 v 时，你灵验地将 v 绕 i 轴旋转的角度为 2 θ 而不是 θ。淌若 θ 是 180 度怎么办？咱们的旋转将 v 发送到 （−1)(v)(−1），它等于 v。这可能看起来可以，但研究到(+1)(v)(+1）亦然v。是以咱们有两个不同的四元数，+1 和 −1，它们皆对应于围绕 i 轴的无操作的旋转。这种冗余并不是误操作的旋转所特有的；对于你可以在三维空间上推论的使原点固定不动的每种旋转，有两个四元数单元元可以完成这项服务。（将其与复数进行对比，其中复数单元元与围绕 0 的旋转之间存在逐一双应关系）。从某种意旨上说，四元数的复杂进度是吉布斯、赫维赛德和冯·亥姆霍兹所设计的多样专揽所需的两倍。

作为莫大的玷辱，知名物理学家威廉·汤姆森（William Thomson，别号开尔文勋爵 Lord Kelvin）抒发了对非四元数向量的强烈偏好：“四元数来自汉密尔顿，在他真确出色的服务完成之后，天然雅致难懂，但对于那些以任何姿首斗争它们的东谈主来说，四元数是一种未搀和的苛虐”。四元数学会（慎重称呼为外洋促进四元数和相干数学系统研究协会）于1913年驱散。当我了解线性代数课程中的向量时，向量与标量相加是绝世超伦的——数学上相配于苹果与橘子相加。我怀疑我的老诚不知谈向量的发明者强调敬佩你不仅可以，而且应该把标量和向量相加！

在某种进度上，四元数的问题在于它们在被需要之前提前出现。以我刚才谈到的翻倍风景为例。为什么应该有两种描述每个旋转的姿首？一个很好的谜底是，在机器东谈主期间中，有两种拓扑不同的姿首可以通过刚性连杆来完了任何给定的旋转！这与这么一个事实规划，淌若你手里拿着一个盘子，那么，不放开盘子或改造你执住它的姿首，而只需先将盘子放在你的手臂上，然后在它底下，你可以将盘子旋转 720 度，这么即使盘子也曾转了两圈，你的手臂位置还会跟过去通常。通过类似该动作（称为巴厘岛板手段 Balinese plate trick），你可以完了任意偶数的旋转。然而，你的手臂无法只旋转一整圈，或任何奇数整圈，而回到过去的位置。四元数 +1 对应于通过偶数圈旋转板的机器东谈主机械装配，而四元数 −1 对应于通过奇数圈旋转板的机器东谈主机械装配。数学家安德·霍洛伊德（Ander Holroyd）制作了乐高机械开辟来阐述这一风景；请看他的视频“旋转连杆”（下图 https://youtu.be/oRPCoEq05Zk ）。

图片

淌若你倾向于我方构建一个，请参阅他的阐述 https://rebrickable.com/mocs/MOC-50050/aeh5040/spinor-linkage/ 或随附的文章 https://arxiv.org/abs/2107.01681 。另请参阅维基百科文章反诬陷机械装配 https://en.wikipedia.org/wiki/Anti-twister_mechanism ，以了解规划如何幸免在电缆中诬陷的更多信息。

以至在机器东谈主期间出现之前，就有了量子表面，特等是费米子（fermion）的观念：量子波函数餍足费米-狄拉克统计的粒子。因而给粒子一个完整的旋转对应于将波函数乘以-1。（从未见过费米子？不，你见过，淌若你在冬天触摸过门把手并受到电击的话；电子是费米子。）费米子的数学描述用面前所谓的泡利矩阵（Pauli matrices）来显露，但用四元数也会作念得很好。

除了在机器东谈主期间中的用途外，四元数面前还用于游戏软件。1996年发布的《古墓丽影》可能是第一款通过使用四元数完了光滑三维旋转结果的各人市集视频游戏；规划更多信息，请参阅 Gameludere 文章《欧拉角、汉密尔顿四元数和视频游戏》https://www.gameludere.com/2020/03/12/euler-angles-hamilton-quaternions-and-video-games/ 。从1986年航天飞机的姿态限定机械装配开动，四元数在天际旅行中也阐扬了作用。即使年青的爱尔兰皇家天文体家对19世纪的天文体莫得孝敬，汉密尔顿也对20世纪的航天产生了影响！

汉密尔顿在另一个方面是有预知之明的。在自后出书的《四元数讲座 Lectures on Quaternions》中，他添加了一个脚注，说：“将这个空间外的单元与时期的观念规划起来，是天然的（在我看来，面前仍然如斯）”。也即是说，在四元数a + bi + cj + dk中，他设想a是类似时期的，bi + cj + dk是类似空间的。在这小数上，他预感了闵可夫斯基空间（Minkowski space），狭义相对论发生的舞台。还难忘麦克斯韦领先用四元数写了总揽电磁学的方程，麦克斯韦方程（以去四元数的样式）启发了爱因斯坦的时空观念。淌若麦克斯韦莫得被大向量（Big Vector）劝服，用标记重写他的方程，拦截四元数的标量和向量部分，狭义相对论会更早被发现吗？

我将以汉密尔顿我方以十四行诗（sonnet）的样式演绎他的伟大发现来末端，名为Tetractys（圣十）。【注#14】

高档数学之魔力严厉，

直线与数字乃吾主题；

觊觎它未树立的后代，

而王座留在真谛苍穹；

之前想法越来越澄澈；

一维时期和三维空间，

在标记链中牢牢环绕：

我渴慕而康复的耳朵，

捕捉到古曲细小回声，

旧想想详尽宏伟暧昧，

他暄和一笑以示苏醒，

晚年我在西方风景中，

扈从混沌的毕氏听说；

作念奥密西游的四元梦。

图片

【尾注】

#1.为了公谈对待凯瑟琳的父母，应该疑望的是，汉密尔顿从未告诉凯瑟琳，他的神气不单是昆季激情，更不必说告诉她的父母他有任何由衷的意图了。

#2.尽管东谈主们很容易将威廉和凯瑟琳塑酿成注定要失败的放浪的悲催东谈主物，凯瑟琳的故事无疑是倒霉的，但威廉能够在他的性掷中不时前进，而他与海伦的婚配是幸福的。

#3.1832年，汉密尔顿在一次对于天文体的演讲中声称：“尽管诗歌和科学之间存在通盘真确的相反，但她们之间存在很强的相似性；两边皆领有的力量，将想想进步到千里闷繁芜的地球之上，并从初级道理中胜出；两者皆有点火可引发的珍惜和对成名的好意思好愿望的倾向；皆可以将她的奉献者带入她我方创造的寰球的魔力；也许，两者皆产生一种随之而来的倾向，对喧嚣悠扬的试验生活的不适应。

#4.在对这些细节进行了一次详备参谋之后，华兹华斯写谈：“我可以毫无费神地说，这些诗句特等有活力，有趣而富余诗意。它们所描述的脾气变化是一个有启发性的千里想对象，全体皆带着神气运行”。尽管如斯，总的信息如故很明确的：你是一位优秀的诗东谈主，但却是寰球级的数学家，是以要把元气心灵聚合在后者上！

#5.今天咱们称这么的数对为有序对，其中包含修饰符“有序”是为了强调(2, 3)和(3, 2)将被解释为不同的数对。这个限定条目是必要的，以确保 2 + 3 i 和 3 + 2i 将被解释为不同的复数。

#6.回首一下，汉密尔顿第一次斗争数学是通过默算（mental calculation）艺术。我推测，这种格外的发蒙——专注于如何对数字进行操作，而不是数字的实质含义——使他倾向于数学实体的操作门径，这对于他处理复数以及他自后发明的四元数至关首要。

#7.这是亨利·庞加莱（Henri Poincaré）写下“数学是给不共事物起交流称呼的艺术”时所抒发的一部分风趣。有序对 (0, 1)（汉密尔顿东谈主为算术的住户）和数字 −1（实数系统的住户）是不同的实体，但它们在如何与相应其他实体交互方面具有交流的属性，因此出于某些贪图，咱们有权将它们视为交流。

#8.你可能会以为，既然咱们面前是三维而不是二维，这些指数应该是3，而不是2。这是学生在学习如何将勾股定理推论到三维时频繁作念出的预计。但这两个如实是正确的；从 (x, y, z)到 (0, 0, 0) 的距离是 x² + y² + z² 的平方根，而不是 x³ + y³ + z³ 的立方根。看到后一个公式不正确的一种门径是研究 z = 3 时的情况。淌若立方和的立方根公式正确，则 (x, y, 0) 和 (0, 0, 0) 之间的距离必须是 x³ + y³ 的立方根。但由于 (0，0，0) 和 (x，y，0) 皆位于 z = 0 平面内，咱们可以专揽普通的二维距离公式，推导出 (x，y，0) 和 (0，0，0) 之间的距离是 x² + y² 的平方根，而不是 x³ + y³ 的立方根。

#9.自后他会后悔他莫得从希腊词根gram-（直线）和arithm-（数字）中称它们为grammarithm，从而咱们称之为四元数的标量和向量部分将改为称为grammarithm的arithmetic和grammic部分，但那时改造术语为时已晚。

#10.1898年，数学家阿谈夫·赫维茨（Adolph Hurwitz）标明，汉密尔顿未能弄明晰如何作念三元数乘法并不是由于缺少瞻念察力；汉密尔顿为我方设定的问题只可在维度1、2、4和8中完了。这种风景的最新体现来自弦表面背后的数学，它只适用于某些“魔术”维度。

#11.受康德影响的汉密尔顿领先试图将他的数学想想与代数作为纯时期科学的不雅点规划起来，这使他以为代数应该仅限于研究餍足结合律的运算。当他际遇非结合运算，如八元数的乘法和他将向量乘以向量的姿首时，这使他重新评估了他早期的态度，况兼他愈加赞同Peacock和德·摩根（de Morgan）的不雅点，即以为代数是未解释标记的解放阐扬。

#12.一个阐述性的例子是 w = i， w' = −i。咱们计较

(w)(i)(w') = −iii = i

(w)(−i)(w') = +iii = −i

(w)(j)(w') = −iji = −j

(w)(−j)(w') = +iji = j

(w)(k)(w') = −iki = −k

(w)(−k)(w') = +iki = k

向量 i 和 −i 保持固定，而 j 和 −j 被交换，k 和 −k 被交换，正如咱们在围绕 i 轴旋转 180 度时所欲望的那样。

#13.另一个可能导致汉密尔顿推断他需要他的乘法口角交换的旅途（尽管不是他实质顺从的旅途）是研究乘积(i − j)(i + j)。由于它是两个非零四元数的乘积，模定律意味着它必须口角零的。关联词，字据分派律，它张开为 ii + ij − ji − jj。由于 ii = jj = −1，因此第一项和第四项对消，得到 ij − ji。因此，不等式 (i − j)(i + j) ≠ 0 平直默示了 ij − ji ≠ 0 的不等式，这只是 ij ≠ ji 的另一种说法。

#14.在毕达哥拉斯奥密主义中，tetractys（圣十）是一个由十个点构成的三角形，每边有四个点，通过1 + 2 + 3 + 4的和来代表数字四。将四元数与这个奥密的符号规划起来有点牵强。然而说到tetractys，这里有一个小的数学历史狡计论给你。你听说过一个被毕达哥拉斯昆季会谋杀的喜帕索斯（Hippasus）吗？故事是这么的，他们这么作念是为了袭击喜帕索斯证明（或者是为了宣传？）2平方根的自便性。但这只是一个封面故事。他真确的“邪恶”，被昆季会诡秘了两千年，是发明了今天被称为保龄球的亵渎通顺。

参考文件

埃莉诺·菲茨西蒙斯，《押韵者和分析师：威廉·华兹华斯和威廉·罗文·汉密尔顿的友谊》 https://wordsworth.org.uk/blog/2015/05/10/a-rhymer-and-an-analyst-the-friendship-of-william-wordsworth-and-william-rowan-hamilton/

威廉·罗文·汉密尔顿，《四元数讲座》（皆柏林，1853年） https:///details/lecturesonquater1853hami

威廉·罗文·汉密尔顿，《四元数元素》（皆柏林，1866年） https:///details/elementsquaterni00hamirich

威廉·罗文·汉密尔顿，《时期之一，空间三东谈主：威廉·罗文·汉密尔顿爵士诗集》 https://web.mit.edu/redingtn/www/netadv/SP20141215.html

凯西琼斯，《四元数是惊东谈主的，威廉·罗文·汉密尔顿亦然如斯！》 https://www.youtube.com/watch?v=CdwxpSInhvU

亚历山大·麦克法兰，威廉·罗文·汉密尔顿爵士，《十九世纪十位英国数学家讲座》第3章 https://etc.usf.edu/lit2go/27/lectures-on-ten-british-mathematicians/272/chapter-3-sir-william-rowan-hamilton/

MacTutor，《威廉·罗文·汉密尔顿》 https://mathshistory.st-andrews.ac.uk/Biographies/Hamilton/

Colm Mulcahy，Anne van Weerden和Michel Destrade，《19世纪爱尔兰数学家如何匡助NASA插足天际》 https://www.rte.ie/brainstorm/2019/1016/1083716-how-a-19th-century-irish-mathematician-helped-nasa-into-space/

Jose Pujol， 《汉密尔顿、罗德里格斯、高斯、四元数、旋转：历史再评估》， 2012.1 数学分析通信 13(2) https://projecteuclid.org/journals/communications-in-mathematical-analysis/volume-13/issue-2/Hamilton-Rodrigues-Gauss-Quaternions-and-Rotations-aHistorical-Reassessment/cma/1349803591.full

Jose Pujol，《对于汉密尔顿在旋转和四元数之间关系以及旋转组合姿首的险些被渐忘的早期服务》，2014.6 好意思国数学月刊 121(6) https://www.jstor.org/stable/10.4169/amer.math.monthly.121.06.515

皆柏林三一学院，《描述四元数发现的信件》 https://www.maths.tcd.ie/pub/HistMath/People/Hamilton/Letters/BroomeBridge.html

B. L. van der Waerden，《汉密尔顿对四元数的发现》，《数学杂志》，第49卷，第5期，1976.11  https://www.maa.org/sites/default/files/images/images/upload_library/22/Allendoerfer/1977/0025570x.di021097.02p0154a.pdf

安妮·范·韦尔登，《凯瑟琳·迪斯尼：列传素描》 https://annevanweerden.nl/docs/Catherine_Disney.pdf

安妮·范·韦尔登，《维多利亚期间的婚配：威廉·罗文·汉密尔顿爵士》 https://annevanweerden.nl/VictorianMarriage.html

维基百科，《四元数的历史》 https://en.wikipedia.org/wiki/History_of_quaternions

维基百科，《威廉·罗文·汉密尔顿》 https://en.wikipedia.org/wiki/William_Rowan_Hamilton

查理伍德，《催生当代代数的奇怪数字》，量子杂志，2018-9-6 https://www.quantamagazine.org/the-strange-numbers-that-birthed-modern-algebra-20180906/

原文畅通：

https://mathenchant.wordpress.com/2023/05/17/hamiltons-quaternions-or-the-trouble-with-triples/

让数学

愈加

易学易练，

易教易研，

易赏易玩，

易见易得，

易传易及。

本站仅提供存储服务，通盘内容均由用户发布，如发现存害或侵权内容，请点击举报。