线性代数发展史
由于研究关联着多个因素的量所引起的问题,则需要考察多元函数。如果所研究的关联性是线性的,那么称这个问题为线性问题。历史上线性代数的第一个问题是关于解线性方程组的问题,而线性方程组理论的发展又促成了作为工具的矩阵论和行列式理论的创立与发展,这些内容已成为我们线性代数教材的主要部分。最初的线性方程组问题大都是来源于生活实践,正是实际问题刺激了线性代数这一学科的诞生与发展。另外,近现代数学分析与几何学等数学分支的要求也促使了线性代数的进一步发展。
线性代数有三个基本计算单元:向量(组),矩阵,行列式,研究它们的性质和相关定理,能够求解线性方程组,实现行列式与矩阵计算和线性变换,构建向量空间和欧式空间。线性代数的两个基本方法是构造(分解)和代数法,基本思想是化简(降解)和同构变换。
行列式出现于线性方程组的求解,它最早是一种速记的表达式,现在已经是数学中一种非常有用的工具。行列式是由莱布尼茨和日本数学家关孝和发明的。 1693 年4 月,莱布尼茨在写给洛比达的一封信中使用并给出了行列式,并给出方程组的系数行列式为零的条件。同时代的日本数学家关孝和在其著作《解伏题元法》中也提出了行列式的概念与算法。
1750 年,瑞士数学家克莱姆(G.Cramer,1704-1752) 在其著作《线性代数分析导引》中,对行列式的定义和展开法则给出了比较完整、明确的阐述,并给出了现在我们所称的解线性方程组的克莱姆法则。稍后,数学家贝祖(E.Bezout,1730-1783) 将确定行列式每一项符号的方法进行了系统化,利用系数行列式概念指出了如何判断一个齐次线性方程组有非零解。
在行列式的发展史上,第一个对行列式理论做出连贯的逻辑的阐述,即把行列式理论与线性方程组求解相分离的人,是法国数学家范德蒙(A-T.Vandermonde,1735-1796) 。范德蒙自幼在父亲的指导下学习音乐,但对数学有浓厚的兴趣,后来终于成为法兰西科学院院士。特别地,他给出了用二阶子式和它们的余子式来展开行列式的法则。就对行列式本身这一点来说,他是这门理论的奠基人。 1772 年,拉普拉斯在一篇论文中证明了范德蒙提出的一些规则,推广了他的展开行列式的方法。
继范德蒙之后,在行列式的理论方面,又一位做出突出贡献的就是另一位法国大数学家柯西。 1815 年,柯西在一篇论文中给出了行列式的第一个系统的、几乎是近代的处理。其中主要结果之一是行列式的乘法定理。另外,他第一个把行列式的元素排成方阵,采用双足标记法;引进了行列式特征方程的术语;给出了相似行列式概念;改进了拉普拉斯的行列式展开定理并给出了一个证明等。