雅可比行列式。引言
线性代数(高等代数)是进入大学之后学习代数的起点，和数学分析，解析几何并称数学三大基础课。需要注意的是，一般理工科学的是线性代数，数学系学的是高等代数，高等代数相比于线性代数，除了内容上增加了多项式以外，难度和深度也有增加。当然，高等数学和数学分析所学的内容也有所区别，这里就不再赘述。以如今的数学观点来看，线性代数几乎无处不在，它的概念与方法已经渗透到和数学相关的方方面面，这也正是为什么线性代数如此重要的原因。
线性代数的课程内容基本上可以划分为矩阵、线性空间，线性变换三大部分，每个部分里还又可以分成若干小部分。当热，线性变换无疑是线性代数的核心内容，而对线性变化的研究又可以转化为对矩阵的研究，如此看来，“矩阵”应当说是线性代数最核心的概念。而行列式又紧密着矩阵，因此行列式的重要性自然也不言而喻。今天我们就简单地分析一下行列式和矩阵的一些浅显性质和意义，限于篇幅和学识，就不过多的展开。
行列式
线性代数比较传统的讲法都是从解线性多元方程组开始，因为这样可以自然地引出行列式和矩阵的概念。从数学的历史发展来看，虽然行列式和矩阵看起来“非常相似”，但对行列式的研究早于矩阵。行列式的概念来源于日本的关孝和，而差不多一百年后才由克拉默正式提出了利用行列式解线性方程组的方法，也就是我们熟知的克拉默法则。
行列式的原始定义来源于解n×n型线性方程组，也就是把n×n个系数拿出来进行行列式运算。以完全数学的观点来看，行列式是一个关于列的多重反对称线性函数，至于怎么去具体定义以及行列式的各种性质，这里不再赘述。
特别要提到的是，行列式的性质与线性方程组的性质高度相关，我们都知道解线性方程组有著名的高斯消元法，也就是不断地把前面的方程乘以一个常数加到后面方程中去，这样就可以逐渐减少后面方程的未知数个数直到不能减少为止，然后通过解这个未知数最少的方程来逐渐解整个方程组。这里可能会出现行列式为0的情形，也就是至少某两个方程是等价的，而等价就是说进行高斯消元后其中一个是另一个的倍数，这样的后果就是方程组的解不唯一，解将由一个或多个参数表达出来。粗略的说，解如果要唯一，那么不等价方程的个数就要等于未知数的个数，这也就是求行列式的价值所在，它恰是判断这一结果的标准。
行列式只能定义为n×n的形式，因为它最早就是用来研究n×n型线性方程组的。关于这样的线性方程组，著名的克拉默法则指出，如果一个线性方程组的系数行列式不为0，那么它有唯一解并且可以用行列式表达出来。那么一个自然的问题是，如果一个线性方程组的方程个数和未知数个数不一样怎么办？这也就引出了矩阵的概念。但需要注意的是，矩阵并不是行列式的推广，行列式是一种运算，而矩阵则是一个数学结构，或者说研究的对象。
矩阵
类似于行列式中的形式，我们把方程组的系数拿出来构成一个所谓的系数矩阵，而把未知数和常数项分别拿出来构成一个列向量，再把系数和常数项重新组合成一个增广矩阵。
实际上高斯消元法对这样的方程组同样有效，而且在这样的表达形式下，我们只需要对增广矩阵进行操作就行了，那么对方程组的研究就完全转化为对矩阵的研究，实现了从具体到抽象的过程。对于数学而言，很多时候我们关心的是解的情况而不是去具体求出来，比如解的存在唯一性，或者不唯一的情况下用几个参数能表达出来。
为了达到这些目的，就要引入矩阵的“秩”这个深刻概念。从一个a行b列的a×b矩阵中任意拿出n行n列(n≤a,b)构成一个方阵(也就是行数和列数相等的矩阵)，如果这个方阵的行列式不为0，就称之为非奇异或可逆的，使得n×n方阵非奇异的最大的n就成为这个矩阵的秩，并且若n等于a和b中较小的一个，就称之为满秩(秩记为R)。实际上，可以看出，矩阵的秩实际上就是不等价方程的个数。接下来就可以证明，线性方程组有解的充分必要条件就是系数矩阵的秩和增广矩阵的秩(记为r)相等，进一步，解的参数有b－r个，如果b－r<0，那么方程组不相容，也就无解。特别的，如果系数矩阵满秩，那么一定有解，因为此时增广矩阵也满秩。至此，线性方程组解的存在唯一性问题已经完全解决。
再考虑更一般的情形，也就是未知数也不止一列，此时把不同的未知数的列拿来构成一个矩阵，这样就得到了矩阵的乘法含义，即系数矩阵乘以未知数列矩阵等于常系数列矩阵。由矩阵乘法定义可以看出，矩阵A和B可以相乘的条件是A的列数要等于B的行数。
可以看出，方阵是矩阵中最重要的一种，因为它可以求行列式。如果行列式不为0，这样又引出矩阵的逆矩阵这样的概念。方阵A在乘法的运算下，具有单位元，也即单位矩阵E(对角线全为1的矩阵)，满足AE=EA=A。如果AB=BA=E,那么称B为A的逆矩阵。如果再回到线性方程组Ax=b上，如果A可逆，那么在方程组两边左乘A的逆矩阵B，那么x=Bb,这样就直接解出了方程组！这也正是逆矩阵的原始意义。求逆矩阵的方法很多，这里就不多说了。
方阵的行列式
线性空间又称向量空间，取定一组基底后，线性空间中的元素完全由它在基底下的系数决定，那么判断若干个向量是否线性相关就转化为系数矩阵秩的问题。一个线性空间到自身的线性映射就称为线性变换，取定一组基底后，线性变换将由它在基底下的矩阵(实际上是一个方阵)唯一决定。例如图形的平移、旋转和压缩等都属于线性变换。
在求多重积分的变量替换过程中，我们遇到过雅可比矩阵及其行列式，这个行列式拥有深刻的几何意义。dx1dx2……dxn表示的是体积微元，我们知道变量替换要求雅可比行列式不为0，实际上雅可比行列式反应的是有向体积元在线性变换下的伸缩情况，因为微分可以看作切空间上的线性变换。如果雅可比行列式为0，那么线性变换不可逆，它把高维的空间映射到低维空间，一一对应就不复存在，很多东西就失去意义。
行列式的几何意义通过这种方式得到了粗略的解释，但行列式所能表达的意义远不止于此，例如它还能表示出向量的外积，多面体的体积等等，当然，核心思想都是相似的。
结语
我们从线性方程组出发，简单分析了行列式和矩阵这两个概念，又在线性变换这一核心内容下重新观察了矩阵及其行列式。但不得不说的是，关于矩阵的内容博大精深，我们所说的这些连九牛一毛都算不上，充其量只算是引出概念。我们的介绍到这里就告一段落，感兴趣的朋友们可以参看相关的书籍。
微信扫一扫 
支付宝扫一扫 
