亚瑟·凯莱（Arthur Cayley）

做了十四年律师的"业余"数学家，却写下近千篇论文覆盖整个现代数学；他发明了矩阵、抽象群与 n 维几何的语言，把代数、几何、群论编织成同一幅图景，其思想经克莱因、希尔伯特直抵 20 世纪。

一、生平与时代背景

亚瑟·凯莱于 1821 年 8 月 16 日生于英格兰萨里郡里士满——并非在英格兰定居，而是他的家人从圣彼得堡回英格兰避暑时所生。父亲亨利·凯莱（Henry Cayley，1768—1850）虽出身约克郡世代定居的家族，却在俄国圣彼得堡经商；母亲玛丽亚·安东尼娅·道蒂（Maria Antonia Doughty，1794—1875）。亚瑟在圣彼得堡度过了生命的头七年，接触俄语、英语与法语（当地国际商业语言），1828 年全家才永久回英格兰，定居伦敦摄政公园附近的约克台地 29 号，60 岁的亨利成为伦敦保险公司董事。其弟查尔斯·巴戈特·凯莱（Charles Bagot Cayley）后来成为但丁与荷马的著名英译者；而航空先驱乔治·凯莱爵士（Sir George Cayley，1773—1857）是他的第四代堂兄，但没有证据表明二人有过交往。

亚瑟在布莱克希思的私立学校就显示出极强的计算能力；1835 年（14 岁，低于通常 16 岁的入学年龄）入国王学院学校，高等数学天赋显露——不仅数学，他在多科获奖，最后两年还连续获得化学奖。数学老师建议其父母让他学数学而非从商。1838 年他进入剑桥三一学院，第一年导师是乔治·皮科克（George Peacock），并受教练威廉·霍普金斯（William Hopkins）鼓励阅读大陆数学家的论文。他最感兴趣的是线性变换与解析几何，本科时就在邓肯·格雷戈里（Duncan Gregory）新创办的《剑桥数学杂志》发表了三篇论文。1842 年他以首席荣誉学位考试第一名（Senior Wrangler）毕业并获首届史密斯奖（Smith's Prize）。

此后他获剑桥研究员职位任教四年，发表 28 篇论文，研究代数曲线与曲面、椭圆函数、行列式与积分理论。例如 1843 年的《关于行列式的理论》把二维行列式推广到多维阵列——这已是矩阵思想的先声。1844 年他开始与乔治·布尔（George Boole）通信，对二人都极有价值。1845 与 1846 年的两篇论文被视为不变量理论的奠基之作。

由于不愿接受神职，剑桥研究员职位有任期限制，他必须另谋职业，于是选择法律。1846 年 4 月入林肯律师学院（Lincoln's Inn）学习——仍不断发表论文。1846 年他去都柏林听哈密顿（William Rowan Hamilton）讲四元数，与乔治·萨蒙（George Salmon）邻座，二人此后多年交流数学思想；他是哈密顿的好友，但二人对四元数在几何中的重要性看法不同。另一位好友是同在法律界的西尔维斯特（James Joseph Sylvester）——两人都在伦敦林肯律师学院的法庭工作，白日里讨论深奥的数学问题（休·布莱克本曾写信给开尔文描述他们"本该忙着起草议会法案之类俗务，却在构造可展曲面"）。1849 年 5 月 3 日他取得律师资格，此后做了 14 年律师，专攻物业转让（conveyancing），但他始终把法律视为赚钱以从事数学的手段——这 14 年里他发表了约 250 篇数学论文。他曾说："法律的目的是用最多的话说一件事，数学的目的是用最少的话说一件事。"

1851 年他任数学荣誉学位考试的首席Moderator，1852 年任首席考官。为谋求教授职位，他开始加速发表：1853—1856 年平均每年 10 篇，1857—1860 年达每年 30 篇。但他多次求职失败：1856 年阿伯丁马里沙尔学院自然哲学讲席、1858 年剑桥朗迪恩几何天文讲席、1859 年格拉斯哥天文学讲席，皆未获任（原因之一是研究虽强却缺乏教学经验）。

1863 年，他终于被任命为剑桥萨德勒里安（Sadleirian）纯数学教授，击败了包括托德亨特（Todhunter）、费勒斯（Ferrers）、劳思（Routh）在内的优秀候选人。这意味着收入大幅下降，但他非常高兴能全身心投入数学。1863 年 9 月 8 日他与苏珊·莫林（Susan Moline，1831—1923，格林威治人）结婚，育有二子：亨利（1870—1949，在剑桥学数学后自认为无法超越父亲而成为建筑师）与玛丽（1872—1950）。1864 年他买下剑桥小圣玛丽巷的花园宅邸。1863 年 11 月 8 日他发表就职演说《解析几何——引论》；但此后他的讲课常基于自己的最新研究，学生觉得与他们要考的学位考试无关。

他一生发表 967 篇论文与笔记，几乎覆盖现代数学的每个方面。他只出版过一本专著：《椭圆函数初等论》（An Elementary Treatise on Elliptic Functions，1876）；还为泰特（Tait）的《四元数初等论》（1890）贡献了第 6 章，并出过一本六便士小册子《复式簿记原理》（1894）。

1881 年他应邀赴美国约翰·霍普金斯大学讲学（好友西尔维斯特当时任该校教授），1882 年 1—5 月在那里讲授阿贝尔函数与 θ 函数。回国后，皇家学会授予他科普利奖章（Copley Medal，1882）。1883 年他出任英国科学促进会（BAAS）主席，主席演说以"纯数学的进展"为题。

他热心于女子高等教育运动：剑桥最早的女子学院是格顿学院与纽纳姆学院，他在格顿创院初期直接参与教学，并多年担任纽纳姆学院校务委员会主席，直到生命最后仍极为关心其发展。1889 年起剑桥大学出版社开始出版他的论文全集，他在忍受痛苦的内脏疾病期间亲自校订了七卷大四开本。1895 年 1 月 26 日他于剑桥逝世，享年 73 岁，葬于剑桥磨坊路公墓；三一教堂葬礼云集英国顶尖科学家，俄国、美国亦派代表出席。其余论文由其萨德勒里安讲席继任者安德鲁·福赛思（Andrew Forsyth）编完，共 13 卷、967 篇论文。

二、学术生涯年表

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

1. 矩阵论的创立（1855 / 1858）——线性代数的核心语言

问题背景：19 世纪中叶，行列式理论已成熟，但"矩阵"作为独立的代数对象尚不存在；线性变换的研究散见于行列式、双线性型与不变量之中。

关键思想：虽然"矩阵（matrix）"一词由西尔维斯特 1850 年引入，矩阵论的系统创立归功于凯莱。1855 年他在《克雷尔杂志》发表一篇法文论文，引入矩阵乘法（他称之为"复合"，compounding）与逆矩阵的初步概念；1858 年的《矩阵论研究报告》（A Memoir on the Theory of Matrices）则是第一篇系统论述矩阵的文章，定义了矩阵的相等、加法、标量乘法、乘法、逆、转置，并证明矩阵乘法满足结合律但不满足交换律。

精确成果（凯莱—哈密顿定理）：每个方阵都满足它自身的特征方程——若 $A$ 的特征多项式为 $p(\lambda)=\det(\lambda I-A)$，则 $p(A)=0$。凯莱在 1858 年的报告中验证了 $2\times 2$ 与 $3\times 3$ 情形，并断言一般情形成立（但未给出一般证明；一般证明由弗罗贝尼乌斯 1878 年给出）。该定理亦冠名于哈密顿，因后者在四元数中证明了相应结果。

与前人关系：西尔维斯特 1850 年引入"matrix"一词（指产生行列式的母体阵列），但系统的矩阵代数由凯莱建立；矩阵乘法的非交换性呼应了哈密顿的四元数。

影响：矩阵论后来成为量子力学（海森堡 1925 年的矩阵力学）、线性代数、控制论、计算机图形学等的基本语言。

2. 抽象群的一般定义（1854）——群论从置换到抽象

问题背景：1854 年之前，已知的群仅有置换群（伽罗瓦引入，但未用"群"的抽象语言），且这还是一个全新的领域。

关键思想：凯莱在 1854 年的两篇论文《论依赖于符号方程 $\theta^n=1$ 的群论》（On the Theory of Groups as Depending on the Symbolical Equation θⁿ=1）中，首次给出抽象群的定义（以符号运算的形式），并用乘法表（今称凯莱表）展示群运算。更重要的是，他认识到矩阵与四元数也都是群——这把群从"置换的群"推广为"任意满足结合律与有逆元的运算系统"，是群论抽象化的关键一步。

精确成果（凯莱定理）：每个有限群都同构于一个置换群（即群的元素可表示为作用在自身上的置换）。凯莱在 1854 年陈述了这一结果（对有限群），它保证了抽象群定义并未脱离置换群的具体背景。

与前人关系：伽罗瓦研究的是具体置换群；凯莱是第一个把群作为抽象代数结构来定义的人，他的工作预示了现代群论，但当时影响有限（群论的真正抽象化要等到 19 世纪末若尔当、韦伯、弗罗贝尼乌斯、戴德金）。

局限性：凯莱的定义本质上仍限于有限群，且他对"群公理"的表述不如现代完整；但他迈出了从具体到抽象的决定性一步。

3. 不变量理论（1845 起）——19 世纪代数的中心主题

问题背景：代数形式（齐次多项式）在坐标线性变换下保持不变的量（不变量、协变量）是代数几何与数论的核心工具。

关键思想：凯莱 1845、1846 年的论文与布尔、西尔维斯特共同奠基了不变量理论。他发明了凯莱 Ω 过程（Cayley's Ω process），一种从已知不变量构造新不变量的标准算子方法；他猜想二元形式的不变量环是有限生成的（"有限基问题"，Gordan 1868 年用算法证明二元情形成立，希尔伯特 1890 年用抽象方法证明一般情形，终结了古典不变量理论的计算时代）。

与前人关系：布尔 1841 年开其端，凯莱与西尔维斯特（"不变量双子"）系统发展；后经戈丹（Gordan，凯莱的学生）、希尔伯特延续。

4. n 维几何与凯莱度量——把非欧几何纳入射影几何（1859）

问题背景：19 世纪初罗巴切夫斯基、波尔约、高斯发现非欧几何，但它与经典欧氏几何、射影几何的关系尚不清楚。

关键思想：凯莱在 1859 年的《第六篇关于量子的论文》（A Sixth Memoir upon Quantics）中，证明可以在射影几何内部通过选定一个"绝对二次曲线（absolute）"来定义距离与角度（凯莱度量），从而把度量几何（依赖长度与角度）统一到射影几何之下。他明确指出欧氏几何与非欧几何都是更一般射影框架的特例："欧几里得第十二公设……我自己的观点是它不需要证明，而是我们经验的一部分。"

与前人关系：这一思想后来由克莱因（Felix Klein，1871）发展为凯莱—克莱因度量，并给出了双曲几何（罗巴切夫斯基几何）的克莱因模型（射影圆盘模型），证明了非欧几何的相对相容性，是 19 世纪几何统一化的里程碑。

影响：n 维几何（凯莱是最早系统研究 n 维空间几何的人之一）与凯莱度量后来在物理学的时空连续体研究中得到应用。

5. 代数几何：三次曲面的 27 条直线、直纹面、曲线计数

问题背景：19 世纪代数几何关注低维代数簇（曲线、曲面）的显式结构。

关键成果： - 三次曲面上的 27 条直线：凯莱与萨蒙共同发现，一般三次曲面上恰有 27 条直线（凯莱先证存在性，萨蒙数出确切数目），这是 19 世纪代数几何最著名的结果之一，至今是代数几何的入门经典。 - 直纹面（ruled surface）：凯莱创立了直纹面的代数几何理论。 - 周簇（Chow variety）：他构造了射影 3 维空间中所有曲线构成的簇（后称周簇）。 - 代数曲线：他研究曲线的奇点、亏格与对应，参与了黎曼—罗赫定理早期形式的发展（沙勒—凯莱—布里尔公式）。

6. 组合学：凯莱公式（树的计数）与生成函数

精确成果（凯莱公式）：$n$ 个有标号顶点上的不同树的数目为 $n^{n-2}$。凯莱在 1889 年的论文《关于树的一个定理》（A Theorem on Trees）中，开创性地用生成函数方法得出此结果（尽管等价结果更早由博尔夏特等人得到，但凯莱的陈述与推广使之广为流传，今称凯莱公式）。

影响：这是组合计数的经典结果，在网络理论、随机树、算法分析中反复出现。

四、代表著作与文献

• 《关于行列式的理论》（On a Theory of Determinants，1843）：多维阵列（矩阵先声）。
• 1845、1846 年关于不变量的两篇论文：不变量理论奠基。
• 《论依赖于符号方程 $\theta^n=1$ 的群论》（两篇，1854）：抽象群定义与凯莱表。
• 《矩阵论研究报告》（A Memoir on the Theory of Matrices，1858，《哲学汇刊》）：矩阵论系统奠基，含凯莱—哈密顿定理。
• 《第六篇关于量子的论文》（A Sixth Memoir upon Quantics，1859）：凯莱度量、射影几何统一度量几何。
• 《椭圆函数初等论》（An Elementary Treatise on Elliptic Functions，1876）：唯一专著。
• 《关于树的一个定理》（A Theorem on Trees，1889）：凯莱公式 $n^{n-2}$。
• 《数学论文全集》（Collected Mathematical Papers，13 卷，剑桥大学出版社，1889—1898，福赛思续编）：967 篇论文。

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

• 师承：剑桥三一学院，第一年导师乔治·皮科克；教练威廉·霍普金斯鼓励其读大陆数学。无正式博士导师（英国体系）。
• 学派归属：19 世纪英国代数—几何学派的领袖；与西尔维斯特并称"不变量双子"，与德国的克莱因、法国的若尔当共同构成现代代数与几何的奠基一代。
• 同时代交往：
• 詹姆斯·约瑟夫·西尔维斯特：终身挚友，林肯律师学院的同事，矩阵论与不变量理论的合作者；1881—1882 年凯莱赴约翰·霍普金斯讲学正是因为西尔维斯特在那里。
• 乔治·布尔：1844 年起通信的密友，不变量理论的共同先驱。
• 乔治·萨蒙：1846 年都柏林听哈密顿讲课时结识；共同发现三次曲面的 27 条直线；多年交流数学。
• 威廉·罗恩·哈密顿：好友，但二人对四元数的重要性看法不一。
• 威廉·汤姆森（开尔文）：朋友，布莱克本曾向汤姆森描述凯莱与自己在法庭讨论数学。
• 费利克斯·克莱因：凯莱度量经克莱因发展为凯莱—克莱因几何与双曲几何模型。
• 学生：福赛思（继任其萨德勒里安讲席、编其全集）；他的影响遍及英美数学界。
• 其他角色：热心女子教育，任纽纳姆学院校务委员会主席多年，格顿学院早期教学的直接帮助者。

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

• 矩阵论的优先权："矩阵"一词归西尔维斯特（1850），但系统的矩阵代数理论归凯莱（1855、1858）。学界普遍区分：命名归西尔维斯特，理论归凯莱，二人共享矩阵论的创立。
• 凯莱—哈密顿定理的证明：凯莱 1858 年只验证了 $2\times 2$ 与 $3\times 3$ 情形并断言一般成立，未给出一般证明；一般证明由弗罗贝尼乌斯 1878 年完成。定理冠名反映了凯莱的洞察与哈密顿在四元数中的先行工作。
• 抽象群的影响有限：凯莱 1854 年的抽象群定义当时反响不大，群论的真正抽象化要等到 19 世纪末；但他被公认为抽象群概念的先驱。
• 律师 vs. 数学家：他做了 14 年律师，发表约 250 篇论文——"业余"数学家的生产力令许多全职数学家汗颜；他本人始终把法律视为谋生手段。
• 教学评价：他的讲课基于最新研究，常被学生认为与学位考试无关；但他在数学研究上的影响力远超教学。
• 女子教育：他对女子高等教育的长期支持（纽纳姆学院）是其生平中常被忽视但重要的一面。
• 历史评价：凯莱是 19 世纪最多产、最全才的数学家之一，967 篇论文覆盖代数、几何、分析、组合。他发明的矩阵、抽象群与 n 维几何语言深刻塑造了 20 世纪数学与物理。西尔维斯特评价他"在广度与深度上堪比任何时代的任何数学家"。

七、身后影响与学术谱系

• 线性代数：矩阵论（凯莱—哈密顿定理、凯莱变换）是量子力学（海森堡矩阵力学）、控制论、计算机图形学、统计学的基础语言。
• 群论：抽象群的定义（凯莱定理、凯莱表、凯莱图）是现代群论的起点；凯莱—迪克森构造、凯莱代数（八元数）沿用其名。
• 不变量理论：与西尔维斯特共同奠基，经戈丹、希尔伯特发展，通向交换代数与代数几何的现代基础。
• 几何：凯莱度量 → 凯莱—克莱因几何 → 双曲几何的克莱因模型，是非欧几何相容性证明的关键；n 维几何影响物理学时空研究。
• 代数几何：三次曲面 27 条直线、直纹面、周簇、沙勒—凯莱—布里尔公式，是经典代数几何的支柱。
• 组合学：凯莱公式（树计数）是组合计数的经典。
• 教育传承：福赛思继任并编其全集；其影响通过英美数学界延续；推动女子大学教育。
• 命名遗存：凯莱定理、凯莱—哈密顿定理、凯莱表、凯莱图、凯莱公式、凯莱度量、凯莱—克莱因模型、凯莱 Ω 过程、凯莱变换、凯莱代数（八元数）、凯莱—迪克森构造、凯莱—巴赫定理、凯莱—门格行列式、格拉斯曼—凯莱代数、凯莱线（三次曲面）、月球环形山 Cayley 等。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Arthur Cayley：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Cayley (PDF, MacTutor 托管)：科学史权威传记条目。
• Wikipedia: Arthur Cayley：生平与著作交叉核对。
• Wikipedia: Cayley–Hamilton theorem：矩阵满足自身特征方程的定理与历史。
• Wikipedia: Cayley's theorem：抽象群嵌入置换群。
• Wikipedia: Cayley–Klein metric：凯莱度量与非欧几何的统一。
• Wikipedia: History of group theory：凯莱在抽象群发展中的位置。
• Wikipedia: Cayley's formula：树的计数 $n^{n-2}$。
• Wikipedia: 27 lines on a cubic surface：凯莱与萨蒙的发现。
• Encyclopædia Britannica — Arthur Cayley：权威百科条目。
• G. B. Halsted 对凯莱论文的评论（MacTutor 托管）：同时代人对其工作的评述。