詹姆斯·约瑟夫·西尔维斯特（James Joseph Sylvester）

矩阵的命名者、美国数学的助产士、用剑杖自卫又以诗为生命的数学家；他一生颠沛于犹太身份与数学激情之间，却把矩阵、不变量与分拆的种子撒遍了英美大地。

一、生平与时代背景

詹姆斯·约瑟夫·西尔维斯特于 1814 年 9 月 3 日生于伦敦，原名詹姆斯·约瑟夫（James Joseph），父亲亚伯拉罕·约瑟夫（Abraham Joseph）是一名犹太商人。他后来才加上"西尔维斯特"这个姓——起因是他的长兄移民美国时被要求至少有三个名字才能获得居留权，于是长兄改姓西尔维斯特，他也随之采用。他出生于犹太家庭、在犹太信仰中长大，这一身份在其一生中多次决定了他的命运转折。

他先在伦敦的两所学校就读：海格特的寄宿学校读到 1827 年，随后在伊斯灵顿的一所学校再读了 18 个月。1828 年，14 岁的他进入伦敦大学学院（University College London，当时称伦敦大学）——这是学院招收学生的第一年，也是明智之选，因为它不像英国其他大学那样有宗派限制，且数学教授正是才华横溢的德·摩根（Augustus De Morgan）。然而他只待了五个月：他被指控在学院食堂持刀威胁一名同学，家人随即将他接走，认为他虽能从大学教育中获益却尚不够成熟，于是送他去利物浦的皇家学院继续中学学业。

1831 年 7 月 7 日他入读剑桥圣约翰学院，1833—1834 与 1834—1835 两学年因病长期休学，康复后于 1837 年参加数学 Tripos 考试——同年参考的还有邓肯·格雷戈里（Duncan Gregory）与乔治·格林（George Green）。西尔维斯特名列第二（Second Wrangler），格林（比他大 20 岁）第四，格雷戈里第五（得第一的威廉·格里芬毕业后几乎无重要工作，这在当时的"速度测试"式 Tripos 中并不罕见）。但他无法毕业：当时学生必须签署英国国教会的《三十九条信纲》才能获得学位，身为犹太人的他自然拒绝宣誓，因此不仅没有学位，也无资格竞争史密斯奖与研究员职位。

1838—1841 年，他任伦敦大学学院自然哲学教授（少数不因宗教排斥他的地方之一），昔日老师德·摩根是他的同事。但他是数学家，想教的是数学而非物理；他研究极为活跃，到 1841 年辞职时已发表 15 篇关于流体力学与代数方程的论文。1841 年，都柏林圣三一学院授予他学士与硕士学位——当时允许天主教徒获得学位的立法也使犹太人得以毕业。

27 岁时，他申请并获聘为美国弗吉尼亚大学数学教授（美国任何学院或大学中第一位犹太教授），申请得到德·摩根、约翰·赫歇尔（John Herschel）与查尔斯·巴贝奇（Charles Babbage）的强力推荐。但他仅任职四个月便辞职：1842 年 2 月 1 日他向学院投诉一名一年级学生在课堂上读报、辱骂他；当局虽训斥了该学生却未加任何处分，西尔维斯特 3 月 19 日抗议处理过轻，三天后辞职。另有广为流传的版本（Feuer 记载）：该学生用短棍袭击他，他用剑杖还击，学生受惊昏倒，他误以为杀了人而逃往纽约——两种叙述在核心事实（学生挑衅、剑杖还击、辞职）上一致。在纽约他结识了哈佛数学家本杰明·皮尔斯（Benjamin Peirce）与普林斯顿物理学家约瑟夫·亨利（Joseph Henry），但申请哥伦比亚学院与哈佛的职位均未果（哥伦比亚因他的犹太身份拒绝），又向一位本地姑娘马斯顿小姐求婚被拒（因他的犹太教信仰），遂于 1843 年 11 月 20 日登船返回英国。

回到英国后，他在公平法律人寿保险公司（Equity and Law Life Assurance）任精算师与秘书，发展了成功的精算模型，实际担任代理 CEO——该职位需要法学学位，于是他开始学习法律。幸运的是，凯莱（Arthur Cayley）也在攻读法律，二人在伦敦林肯律师学院相遇，成为终身挚友：他们性格迥异，却在法庭的散步中讨论数学，共同创立了矩阵论与不变量理论。这段时期他还做数学家教，学生包括弗洛伦斯·南丁格尔（Florence Nightingale）。

1854 年他申请伦敦格雷沙姆学院几何学讲师未成；又申请皇家军事学院伍尔维奇（Royal Military Academy, Woolwich）的数学讲席，初未获任，但获任者上任数月后去世，西尔维斯特递补，1855 年就任伍尔维奇教授。他在那里与军事当局屡因教学职责发生摩擦，并日益感到自己数学才能的减退。1869 年（按军事学院规定 55 岁强制退休的次年，他 55 岁）被迫退休；伍尔维奇起初拒绝支付全额退休金，西尔维斯特把官司打到《泰晤士报》读者来信版，经长期公开争议后当局才让步。

退休后他住在伦敦，多数日子在雅典娜俱乐部（Athenaeum Club，1856 年起为会员）度过。一度看来他会放弃数学：此时他出版了唯一一本书，却是关于诗的《诗律法则》（The Laws of Verse，1870），此后他有时署名"J J Sylvester，《诗律法则》作者"。整整三年他似乎未做数学研究，直到切比雪夫（Chebyshev）访问伦敦，二人讨论可画直线的机械连杆，才重新激发他的兴趣。他在皇家学院作了题为《论机械运动转换的最新发现》的晚间演讲，听众中有肯普（Kempe），此后二人合作研究连杆，取得重要成果。

1876 年（一说 1877 年赴任）他重返美国，任新成立的约翰·霍普金斯大学首任数学教授，薪俸 5000 美元（他要求以黄金支付，经交涉未获允）。在霍普金斯的七年是他数学兴趣的重新爆发期：生平第一次他在真正的大学环境中教学与研究、指导学生，七年间指导了 9 名博士，研究分拆理论，并于 1878 年创办《美国数学杂志》（American Journal of Mathematics）——美国第一份数学研究期刊（当时美国仅有的另一份数学刊物是《The Analyst》，后演变为《数学年刊》）。同年，他还帮助克里斯汀·拉德—富兰克林（Christine Ladd-Franklin）进入霍普金斯：她的申请表署名"C. Ladd"，学校未察觉她是女性便给了她奖学金，发现后董事会试图撤回，西尔维斯特坚持要她做自己的学生，最终获准（但她的名字被禁止印在含其他奖学金获得者名单的通告上）。

1883 年，他离开霍普金斯返回英国（亨利·史密斯去世后），68 岁时出任牛津大学萨维利安几何学教授。离开霍普金斯的主因，他在给克莱因的信中写道：他认为自己的数学素养不够广博、精神也不足以跟上数学进步的浪潮，无法承担起引导"五千万最富智识的种族之一"的数学教育之责。在牛津，他只愿讲自己的研究，而学生只想考好考试，双方都不满意。1892 年，78 岁的他因部分失明与记忆力衰退，牛津为他任命了代理教授，他返回伦敦，在雅典娜俱乐部度过最后岁月，1897 年 3 月 15 日卒于伦敦赫特福德街 5 号，享年 82 岁，葬于伦敦金斯伯里路的鲍尔兹庞德路公墓。

他终身未婚，无子女，无任何浪漫关系的记载。他的性格与文风极富传奇色彩：炽烈、热情，精通法、德、意、拉丁、希腊语，酷爱作诗（其数学论文常穿插古典诗句与自造新词，如 meicatecticizant、tamisage），写作必加脚注、附录、补遗，排版几乎令印刷商抓狂。同时代的麦克法兰（Macfarlane）说："西尔维斯特满足了人们对数学家的流行想象——沉湎于沉思、超然于俗务。他是一位演说家，即便不是诗人，至少以诗自居。"

二、学术生涯年表

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

1. "矩阵"一词的引入与矩阵论的共同创立（1850 / 1851）

问题背景：19 世纪中叶，行列式理论已成熟，但承载行列式的矩形阵列尚无独立的代数地位；线性变换的研究需要把阵列本身作为运算对象。

关键思想：1850 年，西尔维斯特在研究"从一个阵列中取出某些行与列得到的子行列式"时，引入了"matrix（矩阵）"一词——源自拉丁语 matrix（子宫、母体），因为他把这种矩形阵列视为可以"孕育"出各种子行列式的母体：

"I have in previous papers defined a 'Matrix' as a rectangular array of terms, from which different systems of determinants may be engendered."

随后他与凯莱共同发展出矩阵代数：矩阵乘法、逆、转置等由凯莱在 1855、1858 年系统建立，而西尔维斯特贡献了西尔维斯特行列式恒等式（推广了德南—雅可比恒等式）与矩阵论的大量语言。

与前人关系：命名归西尔维斯特，系统理论归凯莱，二人共享矩阵论的创立（详见凯莱档案）。

2. 判别式的发现与命名（1851）

精确成果：1851 年，西尔维斯特发现了三次方程的判别式（discriminant），并首次用"discriminant"一词表示二次及更高次方程的判别式。多项式的判别式是其系数的多项式，在线性变换下不变，且当且仅当多项式有重根时为零——它把"有无重根"这一几何/代数性质编码为一个代数不变量。

意义：判别式是代数几何与数论的基本工具（椭圆曲线的判别式、域扩张的判别式皆源于此）；这一命名沿用至今。

3. 西尔维斯特惯性定律——二次型的符号不变量

问题背景：用实线性变换把二次型化为平方和时，正负项的个数是否依赖于变换的选择？

精确表述（西尔维斯特惯性定律）：实二次型在任意实可逆线性变换下化为平方和后，正平方项的个数（正惯性指数）与负平方项的个数（负惯性指数）都是不变量，与所选变换无关（仅符号惯性保持，系数大小可变）。其推论：实对称矩阵合同变换下正负特征值的个数不变。

意义：这是二次型分类的基本定理，在几何（圆锥曲线、二次曲面分类）、力学（动能正定）、优化（正定性）中反复应用。由此还衍生出西尔维斯特判别准则：实对称矩阵正定当且仅当所有各阶顺序主子式皆大于零。

4. 不变量理论——与凯莱共称"不变量双子"

问题背景：代数形式（齐次多项式）在线性变换下的不变量与协变量，是 19 世纪代数的中心问题。

关键思想：西尔维斯特与凯莱共同奠定了不变量理论。他引入大量术语（协变量 covariant、反变 contravariant、合冲 syzygy 等），1852 年发表《形式演算的原理》（On the Principle of the Calculus of Forms），系统研究不变量与协变量的代数结构；他与凯莱发展的方法（如凯莱 Ω 过程、西尔维斯特的析配法 dialytic method）主导了该领域数十年，直到希尔伯特 1890 年的有限基定理以抽象方法终结其计算时代。

与前人关系：布尔 1841 年开其端；西尔维斯特与凯莱系统发展；戈丹（Gordan）证明二元不变量有限基；希尔伯特完成一般情形。

5. 数论与组合：硬币问题、西尔维斯特数列与西尔维斯特—加莱问题

• 硬币问题（弗罗贝尼乌斯数）：对互素的正整数 $a,b$，不能表示为 $ax+by$（$x,y\ge 0$ 非负整数）的最大整数为 $ab-a-b$，且不能表示的整数共有 $\frac{(a-1)(b-1)}{2}$ 个——这一结果常称西尔维斯特定理（1884）。他本人曾给《教育时报》寄过一个趣味题："我有大量 5 便士与 17 便士的邮票，不能凑出的最大面额是多少？"（答案 63 便士 $=5\cdot17-5-17$）。对三个及以上面值的弗罗贝尼乌斯数至今无闭式公式。
• 西尔维斯特数列：$s_0=2$，$s_{n+1}=\prod_{i=0}^n s_i + 1$（即每一项等于前面所有项之积加 1）。这是一个两两互素的数列，给出了"素数无穷多"的一个优雅证明，也与埃及分数（Engel 展开）相关。
• 西尔维斯特—加莱定理：西尔维斯特 1893 年提出问题——平面上有限个点，若不全共线，是否存在一条直线恰好经过其中两个点？该问题 1943 年由加莱（Tibor Gallai）解决（答案：是），今称西尔维斯特—加莱定理，是离散几何的经典。
• 果园问题：他还研究过"果园问题"（把 $n$ 个点排成尽可能多的恰过 3 点的直线）。
• 欧拉函数的命名：他把欧拉函数 $\varphi(n)$ 命名为"totient"，沿用至今。

6. 分拆理论（约翰·霍普金斯时期）

在霍普金斯的七年，西尔维斯特重拾数学后最重要的研究领域是整数分拆。他与学生发展了用生成函数与不变量方法研究分拆函数的技术，其成果发表在他创办的《美国数学杂志》上，启发了后来哈代、拉马努金的分拆渐近研究。他的学生威廉·杜菲（William P. Durfee）引入的"杜菲正方形"即以之命名。

7. 机械连杆与图论命名

• 连杆（linkages）：受切比雪夫启发，他研究把旋转运动转化为精确直线运动的机械连杆，与肯普合作，推广了波塞利耶—利普金（Peaucellier–Lipkin）精确直线机构的理论，这对当时的机械工程与几何作图有实际意义。
• "图"的命名：他在网络意义上引入了"graph（图）"一词，是图论命名的源头之一。
• 西尔维斯特构造：给出了由低阶阿达马矩阵构造高阶阿达马矩阵的递归方法。

四、代表著作与文献

• 1850 年引入"矩阵"一词的论文（载《克雷尔杂志》）。
• 1851 年关于三次方程判别式的论文，首创"discriminant"。
• 《形式演算的原理》（On the Principle of the Calculus of Forms，1852）。
• 《论两个有理整函数的合冲关系的理论》（On the Theory of Syzygetic Relations of Two Rational Integer Functions，1853）。
• 《诗律法则》（The Laws of Verse，1870）：关于诗律的著作（其唯一出版的书，非数学）。
• 关于分拆的系列论文（1870 年代末—1880 年代，载《美国数学杂志》）。
• 全集：The Collected Mathematical Papers of James Joseph Sylvester，4 卷，H. F. Baker 编，剑桥大学出版社 1904—1912（AMS Chelsea 1973 重印）。

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

• 师承：伦敦大学学院受教于德·摩根（精神导师）；剑桥圣约翰学院导师约翰·海默斯。无博士（英国体系）；1841 年获都柏林圣三一学院学位。
• 学派归属：19 世纪英国代数—不变量学派的领袖，与凯莱并称"不变量双子"；后半生在美国催生了美国数学研究传统。
• 同时代交往：
• 亚瑟·凯莱：终身挚友与合作者，林肯律师学院的同事，矩阵论与不变量理论的共同创立者；1881—1882 年凯莱赴霍普金斯讲学正是因为西尔维斯特在那里。
• 奥古斯都·德·摩根：14 岁时的老师，终身的师长与朋友。
• 切比雪夫：访英时与西尔维斯特讨论连杆，重燃其研究热情。
• 本杰明·皮尔斯、约瑟夫·亨利：纽约时期的朋友。
• 威廉·汤姆森（开尔文）：朋友。
• 学生：霍普金斯博士学生威廉·杜菲（William P. Durfee）、乔治·霍尔斯特德（George Halsted）、欧文·斯特林汉姆（Irving Stringham）；其他学生包括艾萨克·托德亨特（Isaac Todhunter）、克里斯汀·拉德—富兰克林（Christine Ladd-Franklin，助其入读霍普金斯）、哈里·菲尔丁·里德（Harry Fielding Reid）等。
• 角色：伦敦数学学会第二任会长（1866，继德·摩根）；首届德·摩根奖章得主（1884）；美国数学的奠基者之一。

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

• 弗吉尼亚大学辞职事件：剑杖事件的细节有不同版本（学生先侮辱/用短棍袭击，西尔维斯特剑杖还击，误以为杀人而逃），核心事实无争议；但这常被简化为"西尔维斯特打伤学生"的轶闻，需注意其背景是学生酗酒闹事、当局处理不公。
• 伍尔维奇退休金争议：1869 年被迫退休后，伍尔维奇当局拒付全额退休金，西尔维斯特把争议公开化（《泰晤士报》读者来信），最终当局让步——这反映了他不驯的性格与犹太身份在体制内的处境。
• 哥伦比亚职位被拒：1843 年申请哥伦比亚学院数学教授因犹太身份被拒，是 19 世纪美国学术反犹主义的一个明确案例。
• 剑桥学位补发：1872 年他才获剑桥补发的学士与硕士学位（1837 年因拒签《三十九条信纲》被拒），这一迟来的认可折射出英国大学宗教限制的历史。
• 助拉德—富兰克林入学：1878 年他坚持让克里斯汀·拉德—富兰克林（女性）成为自己的学生，对抗了霍普金斯董事会的性别歧视，是其生平中值得称道的进步立场。
• "业余"诗歌 vs 专业数学：他唯一的书是《诗律法则》，常署名"《诗律法则》作者"，这既是他的真性情，也反映了他对自己数学才能一度的怀疑。
• 性格与文风：他炽烈、善造新词（meicatecticizant、tamisage）、论文脚注补遗连篇、印刷商苦不堪言；这些个性特征既是其创造力的体现，也使他的部分作品难以卒读。
• 历史评价：西尔维斯特是 19 世纪最富个性与最多产的数学家之一，在矩阵、不变量、数论、组合、分拆等领域皆有奠基性贡献；他创办的《美国数学杂志》与在霍普金斯的教学，直接催生了美国的数学研究传统——在他之前美国几乎没有原创数学研究。皇家学会 1901 年设西尔维斯特奖章以志其功。

七、身后影响与学术谱系

• 线性代数：矩阵论（命名）、西尔维斯特惯性定律、西尔维斯特判别准则、西尔维斯特矩阵（结式）、西尔维斯特行列式恒等式，是线性代数的标准内容。
• 代数：不变量理论（与凯莱奠基）→ 交换代数与代数几何；判别式贯穿数论与代数几何。
• 数论/组合：硬币问题（弗罗贝尼乌斯数）、西尔维斯特数列、西尔维斯特—加莱定理、果园问题、totient 命名，皆为组合数论经典。
• 分拆理论：霍普金斯时期的分拆研究 → 哈代—拉马努金—拉德马赫的分拆渐近理论。
• 美国数学：创办《美国数学杂志》、在霍普金斯培养 9 名博士，是美国从数学荒漠走向数学大国的关键人物之一；其影响经皮尔斯、穆尔（E. H. Moore）、维布伦等延续。
• 机械工程：连杆理论影响了 19 世纪机械设计。
• 命名遗存：矩阵、图（graph）、判别式、totient、西尔维斯特惯性定律、西尔维斯特判别准则、西尔维斯特矩阵/结式、西尔维斯特行列式恒等式、西尔维斯特数列、西尔维斯特—加莱定理、西尔维斯特定理（硬币问题）、西尔维斯特构造（阿达马矩阵）、西尔维斯特五面体、西尔维斯特问题；皇家学会西尔维斯特奖章、霍普金斯大学西尔维斯特楼。

八、延伸阅读与权威来源

• MacTutor 数学史档案：James Joseph Sylvester：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Sylvester (PDF, MacTutor 托管)：科学史权威传记条目。
• Wikipedia: James Joseph Sylvester：生平与著作交叉核对（含退休金争议、拉德—富兰克林故事）。
• Wikipedia: Sylvester's law of inertia：二次型符号不变量的精确陈述。
• Wikipedia: Matrix (mathematics): history："矩阵"一词由西尔维斯特 1850 年引入的历史。
• Wikipedia: Discriminant: history：判别式的发现与命名。
• Wikipedia: American Journal of Mathematics：西尔维斯特 1878 年创办的美国首份数学研究期刊。
• Wikipedia: Sylvester–Gallai theorem：1893 年提出的离散几何问题。
• Wikipedia: Coin problem：西尔维斯特定理（$ab-a-b$）与弗罗贝尼乌斯数。
• Encyclopædia Britannica — James Joseph Sylvester：权威百科条目。
• K. H. Parshall & D. E. Rowe, The Emergence of the American Mathematical Research Community, 1876–1900：西尔维斯特在霍普金斯时期与美国数学兴起的权威研究（MacTutor 参考文献 [5]）。