概念
线性代数是代数学的一个分支,主要处理线性关系问题。线性关系意即数学对象之间的关系是以一次形式来表达的。例如,在解析几何里,平面上直线的方程是二元一次方程;空间平面的方程是三元一次方程,而空间直线视为两个平面相交,由两个三元一次方程所组成的方程组来表示。含有n个未知量的一次方程称为线性方程。关于变量是一次的函数称为线性函数。线性关系问题简称线性问题。解线性方程组的问题是最简单的线性问题。
所谓“线性”,指的就是如下的数学关系: 。其中,f叫线性算子或线性映射。所谓“代数”,指的就是用符号代替元素和运算,也就是说:我们不关心上面的x,y是实数还是函数,也不关心f是多项式还是微分,我们统一把他们都抽象成一个记号,或是一类矩阵。合在一起,线性代数研究的就是:满足线性关系 的线性算子f都有哪几类,以及他们分别都有什么性质。
历史
线性代数作为一个独立的分支在20世纪才形成,然而它的历史却非常久远。“鸡兔同笼”问题实际上就是一个简单的线性方程组求解的问题。最古老的线性问题是线性方程组的解法,在中国古代的数学著作《九章算术·方程》章中,已经作了比较完整的叙述,其中所述方法实质上相当于现代的对方程组的增广矩阵的行施行初等变换,消去未知量的方法。
由于费马和笛卡儿的工作,现代意义的线性代数基本上出现于十七世纪。直到十八世纪末,线性代数的领域还只限于平面与空间。十九世纪上半叶才完成了到n维线性空间的过渡。
随着研究线性方程组和变量的线性变换问题的深入,行列式和矩阵在18~19世纪期间先后产生,为处理线性问题提供了有力的工具,从而推动了线性代数的发展。向量概念的引入,形成了向量空间的概念。凡是线性问题都可以用向量空间的观点加以讨论。因此,向量空间及其线性变换,以及与此相联系的矩阵理论,构成了线性代数的中心内容。
矩阵论始于凯莱,在十九世纪下半叶,因若当的工作而达到了它的顶点。1888年,皮亚诺以公理的方式定义了有限维或无限维线性空间。托普利茨将线性代数的主要定理推广到任意体(domain)上的最一般的向量空间中。线性映射的概念在大多数情况下能够摆脱矩阵计算而不依赖于基的选择。不用交换体而用未必交换之体或环作为算子之定义域,这就引向模(module)的概念,这一概念很显著地推广了线性空间的理论和重新整理了十九世纪所研究过的情况。
“代数”这个词在中文中出现较晚,在清代时才传入中国,当时被人们译成“阿尔热巴拉”,直到1859年,清代著名的数学家、翻译家李善兰才将它翻译成为“代数学”,之后一直沿用。