卡米尔·若尔当（Marie Ennemond Camille Jordan / Camille Jordan）

大半生是工程师，却在业余时间把伽罗瓦散落的手稿整理成一门系统学科；他写的群论书统治该领域 30 年，他的分析教材把集合论送进了每一本现代分析课本的第一章，而他提出的那条"显然"的曲线定理，竟成了拓扑学最难缠的试金石。

一、生平与时代背景

卡米尔·若尔当于 1838 年 1 月 5 日生于法国里昂的拉克鲁瓦鲁斯（La Croix-Rousse）。父亲埃斯普里-亚历山大·若尔当（Esprit-Alexandre Jordan，1800—1888）是毕业于巴黎综合理工学院（École Polytechnique）的工程师；母亲约瑟芬·皮维·德·夏凡纳（Joséphine Puvis de Chavannes）是 19 世纪后半叶法国最著名壁画家皮埃尔·皮维·德·夏凡纳（Pierre Puvis de Chavannes）的妹妹。父系家族也颇有名望：一位叔祖父埃内蒙-卡米尔·若尔当（1771—1821）官居高位，堂兄亚历克西·若尔当（Alexis Jordan，1814—1897）是著名植物学家。[^mactutor-jordan]

他在里昂中学（Lycée de Lyon）与乌兰学院（Collège d'Oullins）读书，1855 年进入巴黎综合理工学院学数学。与柯西等许多法国数学家一样，他毕业后取得工程师资格并以此为业——但仍把大量时间投入数学研究，事实上"做工程师时反而有更多时间做原创研究"，他大部分原创工作都完成于这一时期。[^mactutor-jordan] 他先后在普里瓦（Privas）、索恩河畔沙隆（Chalon-sur-Saône）和巴黎任工程师。

他的博士论文分两部分：第一部分《论函数取值的个数》（代数），第二部分《论代数微分积分反函数的周期》（由皮瑟 Puiseux 提议，考官更欣赏这部分），1861 年 1 月 14 日由迪阿梅尔（Duhamel）、塞雷（Serret）、皮瑟答辩通过。[^mactutor-jordan]

1862 年他与里昂副市长之女玛丽-伊莎贝尔·米内（Marie-Isabelle Munet）结婚，育有八个孩子（两女六子）。

1873 年起任巴黎综合理工学院考官，1876 年 11 月 25 日任该校分析教授；1883 年起任法兰西公学院（Collège de France）教授——直到 1885 年他在名义上仍是工程师。1881 年 4 月 4 日当选法国科学院院士，1890 年 7 月 12 日获荣誉军团军官勋章。1882 年刘维尔（Liouville）去世后，他于 1885 年接掌《纯粹与应用数学杂志》（Journal de Mathématiques Pures et Appliquées，即"刘维尔杂志"）主编，一干就是 35 年，直到去世。[^mactutor-jordan]

1912 年退休。晚年因第一次世界大战而悲痛：1914—1916 年间，他的六个儿子中有三个战死沙场。余下三子中，卡米尔成为政府部长，爱德华任索邦大学历史学教授，第三个是工程师。1920 年 9 月他在斯特拉斯堡国际数学家大会上担任名誉主席。1922 年 1 月 22 日卒于巴黎，享年 84 岁。[^mactutor-jordan]

二、学术生涯年表

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

1. 《置换与代数方程论》（1870）——第一本群论专著，把伽罗瓦理论推向中心

问题背景：伽罗瓦 1832 年遇难，其手稿直到 1846 年才由刘维尔重新发表；塞雷、贝特朗、埃尔米特听过刘维尔的伽罗瓦理论讲座并有所贡献，但若尔当认为"在他开始研究之前，根本不存在有限群的系统理论"。[^mactutor-jordan]

关键思想：若尔当在 1860—1870 年间把群论工作系统写成巨著 Traité des substitutions et des équations algébriques（1870）。这是史上第一本群论书，全面处理了伽罗瓦理论，把置换群推上数学的中心舞台。在他看来，"群"就是今天所说的置换群（抽象群概念后来才被研究）。书中包含：

• 若尔当标准形（Jordan normal form）定理——不过是在有限域上的矩阵版本，他似乎不知道魏尔斯特拉斯更早的相关结果。复数域上的若尔当标准形后来成为线性代数的核心工具。
• 有限可解群的研究框架：他引入了合成序列（composition series，一个子群链，每个在前者中正规且不能再插入），并证明了若尔当—赫尔德定理：虽然群可以有不同的合成序列，但合成因子的集合（连同重数）是群的不变量——即任何两个合成序列的合成因子在同构意义下相同（不计顺序）。

与前人关系：伽罗瓦埋下种子，刘维尔让它重见天日，若尔当则把它培育成一门学科。赫尔德（Otto Hölder）1889 年独立地把定理表述为今天精确的"合成因子多重集不变"形式，故定理以二人命名。

地位：该书在近 30 年间是群论的唯一基础，直到伯恩赛德（Burnside）1897 年（1911 年第二版）写出《有限阶群论》才被取代。MacTutor 评价："可以公平地说，若尔当的这部奠基性著作之后，群论是数学研究的主要领域长达 100 年。"[^mactutor-jordan]

2. 若尔当曲线定理（1909 年收入《分析教程》第三版）——拓扑学的试金石

问题背景：直观上，平面上一条不自交的闭曲线（简单闭曲线）显然把平面分成"内部"和"外部"两部分。但若尔当在追求数学严谨性的过程中意识到，这个"显然"的事实需要证明。

精确表述：若尔当曲线定理：平面 $\mathbb{R}^2$ 中任一条简单闭曲线（若尔当曲线，即 $S^1$ 的同胚像）都把平面分成两个连通分支，曲线是它们的公共边界；其中一个有界（内部），一个无界（外部）。

与前人关系与争议：若尔当在《分析教程》中给出了一个证明，但后世发现其中存在漏洞，严格证明由维布伦（Oswald Veblen）于 1905 年给出。该定理看似简单却极难证明，成为拓扑学严格性的试金石；高维推广（若尔当—布劳威尔分离定理）由布劳威尔 1911 年证明。

存疑：若尔当原证明的漏洞程度在数学史中有讨论——有的学者认为其证明基本正确只是细节欠严谨，有的认为有实质缺陷。一般以维布伦 1905 年证明为首个严格证明。

3. 若尔当测度与有界变差函数——勒贝格之前的测度论

问题背景：19 世纪末，数学家试图把"长度/面积/体积"推广到一般集合，为积分建立严谨基础。在勒贝格 1901 年提出勒贝格测度之前，若尔当给出了一个重要的先驱方案。

关键思想：

• 若尔当测度（Jordan measure / Jordan content）：一个有界集合 $E\subset\mathbb{R}^n$ 是若尔当可测的，如果从内部用有限个多面体逼近的上确界，等于从外部用有限个多面体逼近的下确界，二者公共值即其若尔当测度。这是用有限覆盖定义的测度（对比勒贝格测度用可数覆盖）。
• 有界变差函数（functions of bounded variation）：若尔当引入此概念，并证明若尔当分解定理：区间上的实函数是有界变差的，当且仅当它可表示为两个单调递增函数之差。他还据此给出了曲线长度的严格定义。

与前人关系：若尔当测度是黎曼积分的自然基础；勒贝格测度是它的本质推广（可数可加性）。这些概念都出现在他的《分析教程》中。

局限性：若尔当测度不是可数可加的，也不够好地处理极限，因此被勒贝格测度取代；但它仍是理解积分理论发展的关键一环。

4. 拓扑学的早期奠基：同伦与多面体拓扑

问题背景：若尔当最早的一批论文是关于对称性的组合方法，受黎曼拓扑工作的影响（但他不知道默比乌斯的工作）。

关键思想：1866 年他引入了道路同伦（homotopy of paths，把一条道路连续变形为另一条）的概念，并定义了曲面的同伦群——虽然没有明确使用"群"的术语。他还研究了多面体的拓扑，其《全集》第四卷收录了他在多面体拓扑、微分方程与力学方面的论文。[^mactutor-jordan]

与前人关系：黎曼是拓扑思想的源头，若尔当把它向组合/代数方向推进，为庞加莱后来创立代数拓扑铺路。

5. 群论的进一步发展：有限线性群、晶体学群与本原置换群

问题背景：若尔当把群概念应用于多个领域，显示了群论的统一威力。

关键思想：

• 有限域上的一般线性群 $\mathrm{GL}(n, \mathbb{F}_p)$：他研究其结构，并用于确定与几何构形相关方程的伽罗瓦群。
• 晶体学群：1869 年受晶体结构研究的推动，他分类了三维欧几里得运动的离散群。这直接影响了 1870 年来巴黎拜访他的李与克莱因——促使二人发展连续群（李群）与不连续群（自守函数群）的理论。[^mactutor-jordan]
• 本原置换群的有限性定理：他定义了置换群子类的"类"$c>1$，证明对给定 $c$，除对称群与交错群外，只有有限多个类为 $c$ 的本原群。
• 复一般线性群的有限子群：推广富克斯关于线性微分方程的工作，研究 $\mathrm{GL}(n, \mathbb{C})$ 的有限子群——虽有无限族，但结构受限于他的描述，这是有限群表示论的先声。

与前人关系：他推广了富克斯（线性微分方程）与埃尔米特（整系数二次型）的工作。

四、代表著作与文献

• 《置换与代数方程论》（Traité des substitutions et des équations algébriques，1870）：史上第一本群论专著，获蓬斯莱奖，统治群论 30 年。
• 《综合理工学院分析教程》（Cours d'analyse de l'École Polytechnique，三卷，1882—1887 初版；1893 第二版；1909—1915 第三版）：含若尔当曲线定理、有界变差、曲线长度；第二版把集合论置于分析教材之首，影响深远。
• 《若尔当全集》（Œuvres de Camille Jordan，四卷，1961—1964，迪厄多内 Dieudonné 编）：卷一、二有限群；卷三线性与多重线性代数及数论；卷四多面体拓扑、微分方程与力学。
• 关于有限群、本原群、线性群的一系列论文（1860s—1880s）。

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

• 老师：博士考官迪阿梅尔、塞雷、皮瑟；受黎曼（拓扑）、伽罗瓦（群论，经刘维尔）深刻影响。
• 同辈/朋友：埃尔米特、皮卡（Émile Picard，女婿？不，是同事）；与李、克莱因有直接交往——二人 1870 年赴巴黎向他学习群论。
• 编辑生涯：主编《刘维尔杂志》35 年（1885—1922），是 19 世纪末—20 世纪初法国数学的重要守门人。
• 学生/后辈：勒贝格（Lebesgue）回忆过他；其分析教程影响了几代法国分析学家。
• 学派归属：法国综合理工学院—法兰西公学院的分析与代数传统；他是连接伽罗瓦时代与现代抽象代数（经诺特、阿廷）的关键桥梁。

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

• 命名混淆："若尔当"常被张冠李戴——
• 高斯—若尔当消元法（Gauss–Jordan elimination）中的若尔当是威廉·若尔当（Wilhelm Jordan，1842—1899），一位把该法用于测量误差的德国测量师，与卡米尔无关；
• 若尔当代数（Jordan algebras）以德国物理学家兼数学家帕斯夸尔·若尔当（Pascual Jordan，1902—1980）命名。[^mactutor-jordan]
• 若尔当曲线定理的证明：他自己的证明被后世认为有漏洞，首个严格证明归于维布伦（1905）。
• 若尔当标准形的优先权：他在有限域上给出，不知魏尔斯特拉斯更早的相关工作；复数域版本另有发展。
• 历史评价：若尔当以惊人的广度著称——几乎涉猎当时数学的每个领域。迪厄多内为他编全集，四卷涵盖有限群、代数、数论、拓扑、微分方程与力学。他被同代人高度尊崇，1920 年以 82 岁高龄任国际数学家大会名誉主席。

七、身后影响与学术谱系

• 群论：《置换与代数方程论》使群论成为独立学科；若尔当—赫尔德定理是有限群结构理论的基石；他对有限线性群、晶体学群的研究通向有限群表示论（经弗罗贝尼乌斯、舒尔）与李群/离散群理论（经李、克莱因）。
• 线性代数：若尔当标准形是矩阵理论、微分方程组稳定性、量子力学中的标准工具。
• 分析与测度论：有界变差函数与若尔当分解是实分析、泛函分析（里斯表示定理等）的核心；若尔当测度是勒贝格测度的直接先驱。
• 拓扑学：若尔当曲线定理是平面拓扑的基本定理，其高维推广（布劳威尔）与证明方法推动了代数拓扑的发展；他的同伦概念先于庞加莱。
• 教材传统：《分析教程》第二版把集合论置于分析之首，奠定了现代分析教材的章节秩序，影响持续至今。

八、延伸阅读与权威来源

• MacTutor: Camille Jordan：权威数学史档案，本档案主要传记依据。
• MacTutor DSB: Jordan (PDF)：《科学传记辞典》条目（J. Dieudonné 撰）。
• Encyclopaedia Britannica: Camille Jordan：权威百科条目。
• Wikipedia: Camille Jordan：交叉核对用，含完整著作列表。
• Wikipedia: Jordan curve theorem：若尔当曲线定理历史与证明发展。
• Mathematical Genealogy Project: Jordan：师承谱系数据。
• Royal Society obituary (PDF) 与 LMS obituary (PDF)：权威讣告。
• MacTutor: Lebesgue 笔下的若尔当：勒贝格所撰回忆录。
• H. Gispert-Chambaz, Camille Jordan et les fondements de l'analyse (Orsay, 1982)：关于《分析教程》两版比较的专门研究。