try ai
科普
编辑
分享
反馈
  • 哈密顿四元数

哈密顿四元数

SciencePedia玻尔百科
核心要点
  • 哈密顿四元数是一种四元数，它将复数扩展到三维空间模型，并具有独特的非交换乘法法则。
  • 单位四元数提供了一种优雅且计算高效的方法来表示三维旋转，避免了如万向节死锁等常见问题。
  • 尽管四元数不满足交换律，但它们构成一个除环，其中每个非零元素都有一个乘法逆元，可通过其共轭和范数求得。
  • 四元数具有深刻的跨学科联系，是计算机图形学、量子力学（SU(2)）、四维旋转（SO(4)）和抽象代数中的基础工具。

引言

虽然复数能够优雅地映射二维平面上的运算，但为三维空间寻找类似的代数体系却被证明是异常困难的。这一挑战曾让数学家 William Rowan Hamilton 痴迷不已，并最终引导他发现了一个超越三维、进入四维的突破性成果：四元数。本文将探讨这一强大的数学工具，填补简单向量代数与空间旋转复杂要求之间的鸿沟。在接下来的章节中，我们将首先剖析四元数的核心“原理与机制”，从其非交换乘法到使其能够进行除法运算的优雅结构。随后，我们将探讨其“应用与跨学科联系”，揭示这种抽象代数如何为计算机图形学、量子物理学和纯数学等不同领域提供一种实用而深刻的语言。

原理与机制

我们已经初步了解了这种名为四元数的好奇之物，它是伟大的物理学家兼数学家 William Rowan Hamilton 的智慧结晶。但它究竟是什么？要踏上这段旅程，我们必须首先亲自动手，理解这台机器本身。它的部件是什么，它们又是如何工作的？

一种新的数

假设你熟悉复数，它们的形式是 a+bia + bia+bi。复数有两部分，一个实部 aaa 和一个虚部 bbb，存在于一个二维平面上。Hamilton 的绝妙想法是：我们能否为三维空间做类似的事情？他漫长的探索最终没有得到一个三元数，而是一个四元数。一个​​四元数​​，他用 qqq 表示，具有以下形式：

q=w+xi⃗+yj⃗+zk⃗q = w + x\vec{i} + y\vec{j} + z\vec{k}q=w+xi+yj​+zk

这里，w,x,y,w, x, y,w,x,y, 和 zzz 都只是普通的实数。我们称 www 为​​标量部分​​（或实部），而其余部分 xi⃗+yj⃗+zk⃗x\vec{i} + y\vec{j} + z\vec{k}xi+yj​+zk 称为​​矢量部分​​（或虚部）。元素 i⃗,j⃗,k⃗\vec{i}, \vec{j}, \vec{k}i,j​,k 是新型的虚数单位，我们可以将它们想象成指向三维空间中基本坐标轴的单位向量。

如果我们只对它们进行加法运算，那就相当乏味了。你只需将相应的部分相加，就像向量加法一样：(w1+x1i⃗+… )+(w2+x2i⃗+… )=(w1+w2)+(x1+x2)i⃗+…(w_1 + x_1\vec{i} + \dots) + (w_2 + x_2\vec{i} + \dots) = (w_1+w_2) + (x_1+x_2)\vec{i} + \dots(w1​+x1​i+…)+(w2​+x2​i+…)=(w1​+w2​)+(x1​+x2​)i+…。从这个角度看，所有四元数的集合（我们称之为 H\mathbb{H}H）的行为与所有四维向量的集合 R4\mathbb{R}^4R4 甚至所有 2×22 \times 22×2 矩阵的集合完全一样。其结构是相同的。

但 Hamilton 发明四元数并非为了加法，而是为了乘法。而这才是真正神奇之处的开始。

乘法的转折

Hamilton 的神来之笔——他著名地将其刻在都柏林布鲁厄姆桥的石头上——是关于虚数单位如何相乘的一条简单而强大的法则：

i⃗2=j⃗2=k⃗2=i⃗j⃗k⃗=−1\vec{i}^2 = \vec{j}^2 = \vec{k}^2 = \vec{i}\vec{j}\vec{k} = -1i2=j​2=k2=ij​k=−1

这就是整个引擎。从这一行出发，其余的一切都随之而来。让我们来玩一下。看最后一部分，i⃗j⃗k⃗=−1\vec{i}\vec{j}\vec{k} = -1ij​k=−1。如果我们在右边乘以 k⃗\vec{k}k 会怎样？我们得到 (i⃗j⃗k⃗)k⃗=−1⋅k⃗(\vec{i}\vec{j}\vec{k})\vec{k} = -1 \cdot \vec{k}(ij​k)k=−1⋅k。因为 k⃗2=−1\vec{k}^2 = -1k2=−1，这变成了 i⃗j⃗(−1)=−k⃗\vec{i}\vec{j}(-1) = -\vec{k}ij​(−1)=−k，简化后得到一个优美的结果：

i⃗j⃗=k⃗\vec{i}\vec{j} = \vec{k}ij​=k

通过以不同方式玩这个游戏，我们可以揭示整个乘法表：

i⃗j⃗=k⃗,j⃗k⃗=i⃗,k⃗i⃗=j⃗\vec{i}\vec{j} = \vec{k}, \quad \vec{j}\vec{k} = \vec{i}, \quad \vec{k}\vec{i} = \vec{j}ij​=k,j​k=i,ki=j​

这看起来就像你在物理学中学到的单位向量的叉积法则！我们似乎在描述三维空间的正确轨道上。但等等，那么 j⃗i⃗\vec{j}\vec{i}j​i 呢？让我们回到 i⃗j⃗=k⃗\vec{i}\vec{j}=\vec{k}ij​=k，然后从左边乘以 i⃗\vec{i}i。我们得到 i⃗(i⃗j⃗)=i⃗k⃗\vec{i}(\vec{i}\vec{j}) = \vec{i}\vec{k}i(ij​)=ik。这变成 i⃗2j⃗=i⃗k⃗\vec{i}^2\vec{j} = \vec{i}\vec{k}i2j​=ik，或者 −j⃗=i⃗k⃗-\vec{j} = \vec{i}\vec{k}−j​=ik。两边都乘以 −1-1−1 得到 j⃗=−i⃗k⃗\vec{j} = -\vec{i}\vec{k}j​=−ik。这很有趣。那么将 j⃗k⃗=i⃗\vec{j}\vec{k}=\vec{i}j​k=i 从右边乘以 j⃗\vec{j}j​ 呢？我们发现 j⃗k⃗j⃗=i⃗j⃗=k⃗\vec{j}\vec{k}\vec{j} = \vec{i}\vec{j} = \vec{k}j​kj​=ij​=k。但我们可以将其分组为 j⃗(k⃗j⃗)=k⃗\vec{j}(\vec{k}\vec{j})=\vec{k}j​(kj​)=k。那么 k⃗j⃗\vec{k}\vec{j}kj​ 是什么？

如果你继续这个过程，你会发现一些深刻而令人不安的事情。

一个没有交换律的世界

乘法法则是非对称的。我们有 i⃗j⃗=k⃗\vec{i}\vec{j} = \vec{k}ij​=k，但我们同样发现：

j⃗i⃗=−k⃗,k⃗j⃗=−i⃗,i⃗k⃗=−j⃗\vec{j}\vec{i} = -\vec{k}, \quad \vec{k}\vec{j} = -\vec{i}, \quad \vec{i}\vec{k} = -\vec{j}j​i=−k,kj​=−i,ik=−j​

在四元数的世界里，ABABAB 并不总是等于 BABABA。你相乘的顺序至关重要！这与我们日常使用的数字截然不同。我们说四元数乘法是​​非交换的​​。

这不仅仅是一个抽象的奇特性；它是我们周围世界的一个基本特征。想想穿衣服：你先穿袜子，然后再穿鞋。相反的顺序会得到一个非常不同且远不舒适的结果。三维空间中的旋转也是非交换的。拿一本书，向前旋转90度，然后向右旋转90度。记下它的最终朝向。现在，重置这本书，并以相反的顺序进行旋转：先向右旋转90度，然后向前旋转90度。书最终会处于一个不同的朝向！四元数捕捉到了这种现实世界中的非交换性，这就是为什么它们在物理学、机器人学和计算机图形学中如此有用的原因。

这种交换律的失效是可以“衡量”的。对于任意两个四元数 qAq_AqA​ 和 qBq_BqB​，我们可以计算​​换位子​​，[qA,qB]=qAqB−qBqA[q_A, q_B] = q_A q_B - q_B q_A[qA​,qB​]=qA​qB​−qB​qA​。如果它们满足交换律，结果将是零。对于四元数，结果通常不是零。例如，对于 qA=2+3j⃗q_A = 2 + 3\vec{j}qA​=2+3j​ 和 qB=1−4i⃗+k⃗q_B = 1 - 4\vec{i} + \vec{k}qB​=1−4i+k，换位子是一个非零四元数 6i⃗+24k⃗6\vec{i} + 24\vec{k}6i+24k。

交换律的失效意味着我们必须非常小心。许多我们熟悉的代数法则不再适用。考虑简单的二项式展开 (x+y)2=x2+2xy+y2(x+y)^2 = x^2 + 2xy + y^2(x+y)2=x2+2xy+y2。这个法则建立在 xy=yxxy=yxxy=yx 的隐藏假设之上，从而使得 xy+yx=2xyxy+yx=2xyxy+yx=2xy。在四元数世界里，这是错误的。让我们用 x=i⃗x=\vec{i}x=i 和 y=j⃗y=\vec{j}y=j​ 来试试：

(i⃗+j⃗)2=(i⃗+j⃗)(i⃗+j⃗)=i⃗2+i⃗j⃗+j⃗i⃗+j⃗2(\vec{i}+\vec{j})^2 = (\vec{i}+\vec{j})(\vec{i}+\vec{j}) = \vec{i}^2 + \vec{i}\vec{j} + \vec{j}\vec{i} + \vec{j}^2(i+j​)2=(i+j​)(i+j​)=i2+ij​+j​i+j​2

使用我们的法则，这变成 −1+k⃗−k⃗−1=−2-1 + \vec{k} - \vec{k} - 1 = -2−1+k−k−1=−2。但熟悉的公式会给出 i⃗2+2i⃗j⃗+j⃗2=−1+2k⃗−1=−2+2k⃗\vec{i}^2 + 2\vec{i}\vec{j} + \vec{j}^2 = -1 + 2\vec{k} - 1 = -2 + 2\vec{k}i2+2ij​+j​2=−1+2k−1=−2+2k。答案是不同的！旧的法则被打破了。这甚至影响到像矩阵行列式这样根深蒂固的概念。如果一个矩阵包含四元数项，标准的行列式公式就变得模棱两可，因为乘法顺序很重要。

混沌中的秩序：范数与逆的美妙

那么，这一切都只是混沌吗？我们是得到了描述旋转的方法，却失去了进行可靠代数运算的能力吗？完全不是！取代旧秩序的是一种新的、可以说更美丽的结构。

让我们为四元数 q=w+xi⃗+yj⃗+zk⃗q = w + x\vec{i} + y\vec{j} + z\vec{k}q=w+xi+yj​+zk 定义两个至关重要的概念。

首先，它的​​共轭​​，记作 qˉ\bar{q}qˉ​，只需将矢量部分的符号翻转即可得到：

qˉ=w−xi⃗−yj⃗−zk⃗\bar{q} = w - x\vec{i} - y\vec{j} - z\vec{k}qˉ​=w−xi−yj​−zk

其次，它的​​范数​​，记作 ∥q∥\|q\|∥q∥，是它的大小或长度，是毕达哥拉斯定理的四维扩展：

∥q∥=w2+x2+y2+z2\|q\| = \sqrt{w^2 + x^2 + y^2 + z^2}∥q∥=w2+x2+y2+z2​

现在，让我们看看当一个四元数乘以它自己的共轭时会发生什么。这是魔法发生的时刻。让我们来计算：

qqˉ=(w+xi⃗+yj⃗+zk⃗)(w−xi⃗−yj⃗−zk⃗)q\bar{q} = (w + x\vec{i} + y\vec{j} + z\vec{k})(w - x\vec{i} - y\vec{j} - z\vec{k})qqˉ​=(w+xi+yj​+zk)(w−xi−yj​−zk)

如果你耐心地把所有16项都乘出来，一个奇妙的事情发生了。所有涉及像 i⃗j⃗\vec{i}\vec{j}ij​ 和 j⃗i⃗\vec{j}\vec{i}j​i 这样的乘积的交叉项都成对抵消了！例如，你会从第一部分得到一个项 −w(xi⃗)-w(x\vec{i})−w(xi)，从第二部分得到 +w(xi⃗)+w(x\vec{i})+w(xi)。你会得到 −xy(i⃗j⃗)-xy(\vec{i}\vec{j})−xy(ij​) 和 −yx(j⃗i⃗)-yx(\vec{j}\vec{i})−yx(j​i)。由于 i⃗j⃗=−j⃗i⃗\vec{i}\vec{j}=-\vec{j}\vec{i}ij​=−j​i，这两项变成 −xyk⃗-xy\vec{k}−xyk 和 +xyk⃗+xy\vec{k}+xyk，它们完美地抵消了。当尘埃落定，你将得到一个惊人简单的结果：

qqˉ=w2+x2+y2+z2=∥q∥2q\bar{q} = w^2 + x^2 + y^2 + z^2 = \|q\|^2qqˉ​=w2+x2+y2+z2=∥q∥2

一个四元数乘以它的共轭总会产生一个非负实数！而且因为实数与任何数都满足交换律，我们也有 qˉq=∥q∥2\bar{q}q = \|q\|^2qˉ​q=∥q∥2。这一个性质驯服了狂野的非交换性，并允许我们进行除法运算。如果我们想找到一个非零四元数 qqq 的逆，我们可以简单地写出：

q−1=qˉ∥q∥2q^{-1} = \frac{\bar{q}}{\|q\|^2}q−1=∥q∥2qˉ​​

这是因为 q⋅(qˉ∥q∥2)=qqˉ∥q∥2=∥q∥2∥q∥2=1q \cdot (\frac{\bar{q}}{\|q\|^2}) = \frac{q\bar{q}}{\|q\|^2} = \frac{\|q\|^2}{\|q\|^2} = 1q⋅(∥q∥2qˉ​​)=∥q∥2qqˉ​​=∥q∥2∥q∥2​=1。这意味着每个非零四元数都有一个乘法逆元。这样的结构被称为​​除环​​——它就像一个域（如实数或复数），但附加条件是乘法不满足交换律。

这对​​单位四元数​​——那些范数为1的四元数——导出了一个特别优雅的结果。如果 ∥q∥=1\|q\|=1∥q∥=1，那么逆的公式就简化为 q−1=qˉq^{-1} = \bar{q}q−1=qˉ​。逆就是共轭！这种优美的简洁性是单位四元数成为表示旋转的完美工具的原因之一。

揭示更深层的结构

现在我们有了基本工具，可以探索四元数一些更微妙和令人惊讶的特性。

例如，在这个非交换的世界里，有任何元素能与所有元素交换吗？有，但只有最乏味的那些。如果一个元素 ccc 对于每一个四元数 qqq 都满足 cq=qccq = qccq=qc，那么它就在四元数的​​中心​​里。事实证明，H\mathbb{H}H 的中心就是实数集。如果你取一个实数，比如 222，和一个四元数，比如 i⃗\vec{i}i，那么 2⋅i⃗=i⃗⋅2=2i⃗2 \cdot \vec{i} = \vec{i} \cdot 2 = 2\vec{i}2⋅i=i⋅2=2i。但如果你取一个非实的四元数，比如 j⃗\vec{j}j​，然后乘以 i⃗\vec{i}i，你会得到 j⃗i⃗=−k⃗\vec{j}\vec{i} = -\vec{k}j​i=−k，而 i⃗j⃗=k⃗\vec{i}\vec{j} = \vec{k}ij​=k。它们不交换。只有实数在这场非交换之舞中保持超然。

也许最惊人的发现来自于我们问一个高中代数里的简单问题：x2=−1x^2 = -1x2=−1 的解是什么？在实数中，没有解。复数的发明正是为了解决这个问题，给了我们两个答案：iii 和 −i-i−i。那么在四元数中呢？我们已经知道 i⃗,j⃗,\vec{i}, \vec{j},i,j​, 和 k⃗\vec{k}k 是解。还有其他的吗？

让我们来找找看！取一个任意四元数 x=w+v⃗x = w + \vec{v}x=w+v，其中 v⃗=xi⃗+yj⃗+zk⃗\vec{v} = x\vec{i} + y\vec{j} + z\vec{k}v=xi+yj​+zk 是矢量部分。对其求平方得到： x2=(w+v⃗)2=w2+2wv⃗+v⃗2x^2 = (w+\vec{v})^2 = w^2 + 2w\vec{v} + \vec{v}^2x2=(w+v)2=w2+2wv+v2 事实证明，矢量部分的平方是 v⃗2=−(x2+y2+z2)\vec{v}^2 = -(x^2+y^2+z^2)v2=−(x2+y2+z2)。所以，我们的方程变成： x2=(w2−(x2+y2+z2))+2wv⃗x^2 = (w^2 - (x^2+y^2+z^2)) + 2w\vec{v}x2=(w2−(x2+y2+z2))+2wv 我们希望它等于 −1-1−1。为此，矢量部分必须为零，标量部分必须为 −1-1−1。

  1. 2wv⃗=02w\vec{v} = 02wv=0。这意味着要么 w=0w=0w=0，要么 v⃗=0\vec{v}=0v=0。如果 v⃗=0\vec{v}=0v=0，那么 xxx 只是实数 www，而 w2=−1w^2=-1w2=−1 没有解。所以我们必须有 w=0w=0w=0。
  2. w2−(x2+y2+z2)=−1w^2 - (x^2+y^2+z^2) = -1w2−(x2+y2+z2)=−1。因为 w=0w=0w=0，这简化为 −(x2+y2+z2)=−1-(x^2+y^2+z^2)=-1−(x2+y2+z2)=−1，或者 x2+y2+z2=1x^2+y^2+z^2=1x2+y2+z2=1。

这是一个不可思议的结果。一个四元数 xxx 是 −1-1−1 的平方根，当且仅当它的实部为零且其矢量部分的长度为1。从几何上看，这是三维空间中单位球面上所有点的集合！我们得到的不是两个解，而是无穷多个解，形成了一个美丽的球面。复数给了我们一条线上的两个点；四元数则给了我们一整个球面的可能性。

最后，我们可以看到四元数是如何成为复数的自然扩展的。一个复数是 a+bia+bia+bi。如果我们把一个四元数 q=w+xi⃗+yj⃗+zk⃗q=w+x\vec{i}+y\vec{j}+z\vec{k}q=w+xi+yj​+zk 用一种稍微不同的方式写出来呢？让我们把各项分组： q=(w+xi⃗)+(yj⃗+zk⃗)q = (w + x\vec{i}) + (y\vec{j} + z\vec{k})q=(w+xi)+(yj​+zk) 我们可以从第二部分中提出一个因子 j⃗\vec{j}j​。利用 j⃗i⃗=−k⃗\vec{j}\vec{i}=-\vec{k}j​i=−k 的关系，我们可以验证 j⃗(y−zi⃗)=yj⃗−zj⃗i⃗=yj⃗+zk⃗\vec{j}(y-z\vec{i}) = y\vec{j} - z\vec{j}\vec{i} = y\vec{j} + z\vec{k}j​(y−zi)=yj​−zj​i=yj​+zk。因此，任何四元数都可以写成： q=(w+xi⃗)+j⃗(y−zi⃗)q = (w+x\vec{i}) + \vec{j}(y-z\vec{i})q=(w+xi)+j​(y−zi) 如果我们令 z1=w+xi⃗z_1 = w+x\vec{i}z1​=w+xi 和 z2=y−zi⃗z_2 = y-z\vec{i}z2​=y−zi，我们看到任何四元数都可以表示为 q=z1+j⃗z2q = z_1 + \vec{j}z_2q=z1​+j​z2​，其中 z1z_1z1​ 和 z2z_2z2​ 是复数。这揭示了一种深刻而优雅的统一性：四维的四元数空间可以被看作是复数上的二维空间。它们不是一个奇怪的畸变，而是我们在构建描述周围世界的数系探索中的下一个逻辑步骤。正是这种丰富的、非交换的、深刻几何的结构，我们将用它来探索旋转的世界。

应用与跨学科联系

在我们穿越了四元数基本原理的旅程之后，你可能会感受到一种代数上的优雅，但或许也会有一个问题：“这一切是为了什么？”这是一个合理的问题。这个奇怪的非交换世界的规则看起来像一个美丽但或许孤立的数学岛屿。事实远非如此。William Rowan Hamilton 发现四元数并非创造了一个抽象的奇珍异物，而是揭示了一种自然界在其最深刻、最实际的方面似乎早已在使用的语言。

从引导航天器的实际挑战到亚原子粒子的深奥之舞，四元数的结构一次又一次地出现。就好像这个单一的代数思想提供了一把万能钥匙，在众多令人惊叹的学科中解锁了深刻的见解。在本章中，我们将探索这种令人难以置信的多功能性。我们将看到四元数不仅仅是复数的扩展，而是一个理解旋转、对称性以及物理和数学世界基本结构的深刻工具。

旋转大师

四元数最直接和最著名的应用是描述三维空间中的旋转。在四元数出现之前，旋转通常用 3×33 \times 33×3 矩阵来处理，这种方法虽然有效，但可能很麻烦。复合两次旋转需要乘以两个矩阵——一个繁琐的过程，涉及27次乘法和18次加法。四元数提供了一个远为优雅的解决方案。

三维空间中的一个旋转可以用一个单位四元数 qqq 来表示。要旋转一个向量 v\mathbf{v}v（表示为一个纯四元数），只需执行“夹心”运算：v′=qvq−1v' = q v q^{-1}v′=qvq−1。这个操作在对称性上非常优美：你用旋转四元数 qqq 从一边“包裹”向量 vvv，用其逆 q−1q^{-1}q−1 从另一边包裹，从而得到新旋转后的向量 v′v'v′。真正的魔力在于当你想按顺序执行多个旋转时。如果你有一个由 q1q_1q1​ 表示的旋转，后面跟着一个由 q2q_2q2​ 表示的旋转，那么复合旋转就简单地由它们的乘积 Q=q2q1Q = q_2 q_1Q=q2​q1​ 来描述。矩阵乘法的复杂机制被一个单一、简洁的四元数乘积所取代。

这不仅仅是数学上的便利；它具有深远的实际意义。在计算机图形学、机器人学和航空航天工程等领域，物体不断地翻滚和转动。一种描述方向的流行方法是使用一组三个欧拉角（想象一下偏航、俯仰和滚转）。然而，这个系统存在一个臭名昭著的问题，叫做“万向节死锁”，这是一种失去一个旋转自由度的配置，导致运动生涩、不自然。想象一下，你试图通过仅按固定顺序旋转你的肩、肘和腕来指向房间的任何地方；你会发现某些方向上你的关节会“锁死”，无法平滑地过渡到附近的方向。四元数由于其本质，对这个问题是免疫的。它们在所有配置中都提供了对方向的平滑、连续的描述，这就是为什么它们成为从视频游戏中的角色动画到卫星和无人机的姿态控制系统的行业标准。

粒子的秘密之舞

四元数在描述旋转方面的用途从卫星的宏观世界一直延伸到现实的基本构造：量子领域。在这个尺度上，“旋转”具有更抽象的性质。像电子这样的粒子拥有一种称为“自旋”的内在属性，其行为就像一个微小的量子陀螺仪。这个自旋的状态不是由三维空间中的一个简单向量来描述，而是由一个二维复空间中的向量来描述。

描述这种量子自旋状态旋转的变换构成了一个称为2阶特殊酉群（或 SU(2)SU(2)SU(2)）的数学群。这里存在一个惊人的联系：单位四元数群，在所有实际意义上，与 SU(2)SU(2)SU(2) 是相同的。存在一个直接的一一对应关系，可以将四元数的语言翻译成量子自旋的语言。

这意味着物理学家可以使用一个单位四元数来表示应用于一个自旋为1/2的粒子的旋转。这个四元数不仅描述了物理方向的改变，还描述了粒子量子态本身的改变。通过应用相应的 SU(2)SU(2)SU(2) 矩阵，人们可以精确计算出在旋转后观察到粒子自旋向上或向下的概率。Hamilton 出于推广复数的愿望而发现的代数，结果却成为描述电子自旋的完美数学框架，这是现代物理学的基石之一。

超越三维

在征服了三维旋转之后，很自然地会问四元数是否能带我们走得更远。我们自己的宇宙，正如爱因斯坦的相对论所描述的，是一个四维时空。四元数也能说这种语言吗？答案是响亮的“是”。

虽然使用单个四元数的“夹心乘积” qvq−1q v q^{-1}qvq−1 产生三维旋转，但一个稍微更通用的操作，x↦q1xq2−1x \mapsto q_1 x q_2^{-1}x↦q1​xq2−1​，其中 q1q_1q1​ 和 q2q_2q2​ 是两个不同的单位四元数，会产生四维空间中的旋转。所有这些变换的集合对应于四维旋转群 SO(4)SO(4)SO(4)。我们所熟悉的三维旋转只是选择 q1q_1q1​ 和 q2q_2q2​ 为同一个四元数的特殊情况。这个非凡的事实表明，四元数的结构不仅与我们所见的空间紧密相连，而且与支撑现代物理学的高维几何结构紧密相连。

代数基石

也许最深刻的联系不是与物理世界，而是与纯数学世界本身。Hamilton 的创造与数学中早已存在的深层结构产生了共鸣，其中一些结构已经为人所知数个世纪。

一个显著的例子是与数论的联系。当我们定义一个四元数 q=a0+a1i+a2j+a3kq = a_0 + a_1 i + a_2 j + a_3 kq=a0​+a1​i+a2​j+a3​k 的范数 N(q)=a02+a12+a22+a32N(q) = a_0^2 + a_1^2 + a_2^2 + a_3^2N(q)=a02​+a12​+a22​+a32​ 时，乘法法则产生了一个非凡的性质：积的范数等于范数的积，N(p)N(q)=N(pq)N(p) N(q) = N(pq)N(p)N(q)=N(pq)。如果你用 ppp 和 qqq 的分量写出这个等式，你会发现自己无意中证明了欧拉四平方和恒等式，这是一个著名的定理，指出两个均为四平方和的数之积本身也是一个四平方和。看似随意的四元数乘法法则，编码了关于整数本质的深刻真理。

这种四元数作为基本构件出现的模式一直延续到抽象代数的最高层。一个著名的结果，舒尔引理（Schur's Lemma），与弗罗贝尼乌斯定理（Frobenius theorem）相结合，告诉我们一个惊人的事实：如果你在寻找基本的、不可约的代数结构（实数上的有限维除代数），你只会找到三个：实数 R\mathbb{R}R、复数 C\mathbb{C}C 和哈密顿的四元数 H\mathbb{H}H。在非常真实的意义上，它们是实除代数“三位一体”的一部分。

这不仅仅是一个分类学上的奇特性。这意味着每当数学家研究某些系统中的对称性时，他们必然会遇到这三种结构之一。例如，在研究克利福德代数（Clifford algebras）时——它本身就是复数和四元数的一种强大推广，广泛用于几何和物理学——四元数会自然出现。一个关键的例子是，与三维空间旋转密切相关的克利福德偶代数 Cl0,3+(R)Cl_{0,3}^+(\mathbb{R})Cl0,3+​(R)，其结构与四元数代数 H\mathbb{H}H 完全同构。

这种作为基本构件的地位具有近乎神奇的后果。例如，在群表示论中，如果你有一个物理或数学系统，其对称性属于特定类型——具体来说，其自变换代数与四元数同构——那么一个强大的定理规定，该系统所在空间的维数必须是4的倍数。仅仅是四元数结构的存在就对空间的几何形状施加了严格的约束。

从三维动画的实用性到对向量空间维度的抽象约束，Hamilton 的四元数已被证明是一个具有巨大力量和统一之美的思想。它们是一个惊人的证明，表明由纯粹好奇心驱动的探究如何能在看似不相干的世界之间建立联系，揭示数学和物理宇宙深刻而优雅的统一性。