詹姆斯·约瑟夫·西尔维斯特
概述
英国数学家，1850年首次创造"矩阵"(matrix)一词，将矩形数表从行列式的附庸中解放出来，赋予其独立的数学身份。1852年证明惯性律，给出二次型在非退化线性替换下的完全分类不变量。与阿瑟·凯莱建立传奇合作关系，共同奠定线性代数学科基础。
关键内容
- 主要贡献：
- 1850年创造"矩阵"术语，选择拉丁文matrix（意为"子宫"或"母体"）命名矩形数表，暗示矩阵是行列式的"孕育者"
- 1852年证明Sylvester惯性律：实二次型在非退化线性替换下，正、负、零系数的个数保持不变
- 创造大量线性代数术语：判别式(discriminant)、Hessian矩阵、Jacobian矩阵、余子式(minor)、零度(nullity)、标准形(canonical form)等
- 学术背景：与阿瑟·凯莱建立传奇合作关系，两人在伦敦律师界展开持续数十年的数学对话，形成独特的"平行创造"模式
- 时代背景：19世纪中叶英国代数学变革期，不变量理论成为研究前沿，Sylvester创造了invariant（不变量）、covariant（协变量）、contravariant（逆变量）等术语
- 教育经历：因犹太人身份无法在剑桥获得学位，后辗转于弗吉尼亚大学和保险精算行业
- 学术地位：英国皇家学会会士，曾任约翰霍普金斯大学首任数学系主任，创办《美国数学杂志》
来源
- raw/books/矩阵分析/02_sylvester_matrix_terminology_law_of_inertia_1852.md