[论文解读] A Brief History of Quaternions and of the Theory of Holomorphic Functions of Quaternionic Variables

Amy Buchmann|arXiv (Cornell University)|Nov 25, 2011

Algebraic and Geometric Analysis参考文献 8被引用 9

一句话总结

本文追溯了四元数从哈密顿于1843年10月16日发现四元数以及其三元组理论失败的历史发展，随后探讨了现代通过切片正则性（slice-regularity）定义四元数上全纯函数的努力——即函数在通过原点的每个复平面切片上都是全纯的。其主要贡献在于利用这种切片正则性条件，建立了一套一致的四元数全纯函数理论，使得四元数上的多项式和幂级数能够表现出全纯行为。

ABSTRACT

In this paper I will give a brief history of the discovery (Hamilton, 1843) of quaternions. I will address the issue of why a theory of triplets (the original goal of Hamilton) could not be developed. Finally, I will discuss briefly the history of various attempts to define holomorphic functions on quaternionic variables.

研究动机与目标

• 追溯四元数的历史起源，特别是哈密顿于1843年10月16日的发现，以及其试图构建三元组理论的失败尝试。
• 解释为何无法形成具有类似于复数性质的三元组（三个虚数单位）的一致代数结构，从而导致必须采用四维四元数。
• 考察全纯函数理论在四元数背景下的演变，最终形成现代的切片正则函数概念。
• 通过在四元数域上定义类似全纯的行为，为非交换复分析建立基础。

提出的方法

• 使用历史记载和数学定义，本文重构了哈密顿通过非交换代数关系 $i^2 = j^2 = k^2 = ijk = -1$ 发现四元数的路径。
• 将斜域 $\mathbb{H}$ 定义为 $\mathbb{C}$ 的非交换扩张，其元素形式为 $q = a + bi + cj + dk$，其中 $a,b,c,d \in \mathbb{R}$，且乘法遵循四元数乘法规则。
• 通过证明此类系统无法满足除环的性质（特别是结合律和可除性），分析了构建三元组一致代数结构的不可能性。
• 引入切片正则性的概念：若函数 $f: \Omega \to \mathbb{H}$ 在每个复平面切片 $L_I = \mathbb{R} + \mathbb{R}I$ 上的限制均为全纯，则称其为切片正则。
• 将该定义应用于具体情形，证明当收敛时，单项式 $aq^n$ 和幂级数 $\sum_{n=0}^\infty a_n q^n$ 均为切片正则。
• 以哈密顿本人写给读者的信件作为主要史料，锚定历史叙述，并为发现过程提供个人视角的洞察。

实验结果

研究问题

• RQ1 为何无法构建一个具有类似复数性质的三元组一致代数系统？
• RQ2 哈密顿为何从三元组转向四元数？其发现过程在1843年10月16日是如何发生的？
• RQ3 全纯函数的概念如何推广到四元数的非交换设置中？
• RQ4 四元数函数必须满足何种性质，才能以有意义的方式被视为全纯？
• RQ5 能否构建一个四元数上全纯函数的理论，使其保留复分析中的关键特征，如解析性与幂级数表示？

主要发现

• 哈密顿于1843年10月16日在都柏林皇家运河畔散步时发现了四元数，并将基本恒等式 $i^2 = j^2 = k^2 = ijk = -1$ 刻在布罗汉姆桥上。
• 三元组理论失败的原因在于：无法构造出具有三个虚数单位的一致代数结构，使其满足除环的性质，特别是结合律与可除性。
• 切片正则性概念通过要求函数在每个复平面切片 $L_I = \mathbb{R} + \mathbb{R}I$ 上均为全纯，为四元数上的全纯函数提供了一个可行的推广。
• 所有具有四元数系数的多项式 $f(q) = \sum_{n=0}^n a_n q^n$ 均为切片正则，幂级数 $\sum_{n=0}^\infty a_n q^n$ 在收敛时亦为切片正则。
• 切片正则函数理论是一个前景广阔且正在发展的新兴领域，已有基础性成果确立，表明四元数的数学发展仍在持续且充满活力。
• 哈密顿的私人信件证实了该发现时刻的情感与智力张力，其‘灵感火花’正是在与家人散步时迸发。