行列式介绍
线性代数发展简介之矩阵与行列式
矩阵和行列式
行列式出现于线性方程组的求解,它最早是一种速记的表达式,现在已经是数学中一种非常有用的工具。
最早引入行列式概念的,是十七世纪的日本的数学奠基人关孝和。他1383年著《解优题之法》一书,对行列式及其展已经有了清楚的叙述。但是在公元一世纪(东汉初年)。中国古算术《九章算术》中已有用矩阵(当时称为“方程”)的初等变换来解线性方程组的内容了。关孝和的思想的产生,大概多受惠于中国而非西方的影响。
1693年,莱不尼兹用指标数的子统集合表示含两个未知量和三个线性方程组所组成的系统,他从三个方程的系数中消去两个未知量,得到一个行列式,就是现在所称的方程组的法式。
用行列式去解含二、三、四个未知量的方程组,可能在1729年由马克劳林所首创,且于1748年发表在他的遗作《代数绝著》中,其法则基本就是现在所使用的法则。瑞士数学家克莱姆(Cramer)于1750年把马克劳林的法则发表在他的《线性代数分析导言》中,这就是现在所谓的克莱姆法则。
1772年,范德蒙(Vander monde)把行列式脱离开线性方程组作为一个独立的理论研究。给出行列式的定义与确立符号的法则,被认为是行列式理论的奠基人。
1812年,柯西(Cauchy)首先采取“行列式”(Determinant)这一名称。他还于1815年把行列式的元素记为aij,带双重足码。他的著作给出行列式第一个系统的也几乎是近代的处理,其中一个主要结果之一是行列式的乘法规则。
1825年,叔尔克,叙述并说明了行列式的一些性质。
1841年,英国数学家剀莱引入了行列式的两条竖线。同年,德国数学家雅各比(Jacobi)著名论文《论行列式的形成与性质》发表,这标志着行列式系统理论的建成。
1693年4月,莱布尼茨在写给洛比达的一封信中使用并给出了行列式,并给出方程组的系数行列式为零的条件。同时代的日本数学家关孝和在其著作《解伏题元法》中也提出了行列式的概念与算法。
1750 年,瑞士数学家克莱姆 (G.Cramer,1704-1752) 在其著作《线性代数分析导引》中,对行列式的定义和展开法则给出了比较完整、明确的阐述,并给出了现在我们所称的解线性方程组的克莱姆法则。稍后,数学家贝祖 (E.Bezout,1730-1783) 将确定行列式每一项符号的方法进行了系统化,利用系数行列式概念指出了如何判断一个齐次线性方程组有非零解。
总之,在很长一段时间内,行列式只是作为解线性方程组的一种工具使用,并没有人意识到它可以独立于线性方程组之外,单独形成一门理论加以研究。
在行列式的发展史上,第一个对行列式理论做出连贯的逻辑的阐述,即把行列式理论与线性方程组求解相分离的人,是法国数学家范德蒙 (A-T.Vandermonde,1735-1796) 。范德蒙自幼在父亲的知道下学习音乐,但对数学有浓厚的兴趣,后来终于成为法兰西科学院院士。特别地,他给出了用二阶子式和它们的余子式来展开行列式的法则。就对行列式本身这一点来说,他是这门理论的奠基人。
1772 年,拉普拉斯在一篇论文中证明了范德蒙提出的一些规则,推广了他的展开行列式的方法。 继范德蒙之后,在行列式的理论方面,又一位做出突出贡献的就是另一位法国大数学家柯西。
1815 年,柯西在一篇论文中给出了行列式的第一个系统的、几乎是近代的处理。其中主要结果之一是行列式的乘法定理。另外,他第一个把行列式的元素排成方阵,采用双足标记法;引进了行列式特征方程的术语;给出了相似行列式概念;改进了拉普拉斯的行列式展开定理并给出了一个证明等。
19 世纪的半个多世纪中,对行列式理论研究始终不渝的作者之一是詹姆士.西尔维斯特 (J.Sylvester,1814-1894) 。他是一个活泼、敏感、兴奋、热情,甚至容易激动的人,然而由于是犹太人的缘故,他受到剑桥大学的不平等对待。西尔维斯特用火一般的热情介绍他的学术思想,他的重要成就之一是改进了从一个次和一个次的多项式中消去 x 的方法,他称之为配析法,并给出形成的行列式为零时这两个多项式方程有公共根充分必要条件这一结果,但没有给出证明。
继柯西之后,在行列式理论方面最多产的人就是德国数学家雅可比 (J.Jacobi,1804-1851) ,他引进了函数行列式,即“雅可比行列式”,指出函数行列式在多重积分的变量替换中的作用,给出了函数行列式的导数公式。雅可比的著名论文《论行列式的形成和性质》标志着行列式系统理论的建成。由于行列式在数学分析、几何学、线性方程组理论、二次型理论等多方面的应用,促使行列式理论自身在 19 世纪也得到了很大发展。整个 19 世纪都有行列式的新结果。除了一般行列式的大量定理之外,还有许多有关特殊行列式的其他定理都相继得到。









