行列式及其性质
前面的章节已经学习了大量关于矩阵的知识,现在我们来集中探讨一下方阵的性质,其中行列式和特征值是重中之重,本章来单独讨论行列式。
行列式(Determinants)
行列式是每个方阵都具有的值,我们将矩阵的行列式记作。行列式将很多矩阵信息压缩到这一个数值中,例如矩阵的不可逆(奇异矩阵)与行列式的值为等价(也就是说行列式可以直接判断矩阵是否可逆)。
性质
我们先从行列式最主要的三个性质开始讲起,因为这三个性质定义了行列式,然后再拓展到其他性质上。
(1)单位矩阵的行列式为。
例如二维单位矩阵:
(2)如果发生行交换,那么行列式的正负号会改变。
将性质(1)和性质(2)结合在一起,就能得到所有置换矩阵的行列式。
例如
通过该性质还可以得出,置换矩阵具有奇偶性,也就是说,一个矩阵不可能经过奇数次置换得到和偶数次置换相同的方阵。
性质(3)有两个,分别为
(3)a.
(3)b.
为什么说由以上三个性质可以定义行列式,因为行列式其余的性质皆可由上述三个性质推导而出,以下是行列式其余的性质及它们的推导过程。
(4)如果矩阵中的两行相等,则它的行列式为。
矩阵中的两行相等,意味着发生两行交换时,行列式不变,根据性质(2):“如果发生行交换,那么行列式的正负号会改变。”,那么行列式只能为。
(5)行列式不因消元操作而改变。
证明:
(6)若矩阵中有一行是,那么行列式为
矩阵中有一行是0,可以看作,那么有
(7)对于三角阵的行列式,主元的乘积等于行列式。例如在四维中,设上三角矩阵,则,维同理。
对于三角矩阵,我们可以通过不断地消元最终得到对角矩阵,例如,通过消元法可以得到
那么我们再利用性质(3)a.来证明对角矩阵的行列式就是对角线元素相乘
(8),则矩阵为奇异矩阵。相反,若,则矩阵可逆。
因为如果A可逆,化简后能得到矩阵各列都含非0主元,得到三角矩阵,再利用性质(7)得到其行列式。
(9)
这意味着,这也可以作为本性质的证明,也可以用对角阵和,但是我们必须一步步进行消元,整个证明过程需要是非耐心,最终证明该性质对任意矩阵成立。
同时本性质还能推出
这说明如果矩阵进行平方,那么它的行列式也会平方。
此外,本性质还能推出
因为对一个矩阵,将矩阵翻倍意味着各列向量都翻倍,一共翻倍次,因此行列式变成了倍。
(10)
证明:
根据,有
由于和都是三角矩阵,因此它们的行列式都是对角线的乘积,因此
所以最后我们得出
行列式的计算
对于行列式的计算,我们先来推导二维行列式的求解过程。
观察二维行列式的求解过程,我们发现,行列式的求解取决于那些分解后非零行列式的和,即各行各列均有非零元素的行列式。因此我们按照这个规律,继续推导三维行列式,我们这次只写出非项,有
可以发现规律,因为各行各列均需有非零元素,所以对于的矩阵,其行列式分解后的非零项有个。
同理,我们根据阶行列式可以分解为个非零行列式来推到出高维行列式的一般求解公式,即
例 求
如果检查该行列式分解出的24项会发现其中有22项为,剩下的非零行列式为
因此。
代数余子式(Cofactors)
接下来引入代数余子式的概念,它的作用是把阶行列式化简为阶行列式。
先来看行列式的情况,上一节我们得到了
那么我们以行列式第一行的三个元素来合并同类项,可以得到
合并同类项后,我们又可以把新的三个项看作是三个矩阵的行列式
由此我们定义的代数余子式:将原行列式的第行与第列抹去后得到的阶行列式记为,为偶数时,该项前的符号为,为奇数时,该项前的符号为,规律如下
例的代数余子式为
因此,将矩阵沿第一行展开的公式为
例
求、、、
发现规律:,因此可知
会发现,随着维度增加,行列式的值呈现,以这样个值循环,因此周期为。
小节
至此,我们掌握了三种方法来求一个方阵的行列式:
- 消元法(分解)将矩阵化为,就是主元的乘积(最简单)
- 使用代数余子式按某一行展开(稍复杂)
- 按行列式公式完全展开计算,需要求项之积(很复杂)
行列式的应用
逆矩阵公式
我们已经接触到很多逆矩阵了,但是一直没有给出逆矩阵的公式,你可以通过Gauss-Jordan消元法来求矩阵的逆,不过现在学习了行列式,可以直接求逆矩阵。
我们已经知道二阶逆矩阵的公式为:
那么我们能否通过二阶公式来推导至更高维度?
通过观察公式我们发现:
- 实际就是矩阵的行列式的倒数
- 后面的矩阵中的实际上是矩阵中的的代数余子式,同理,实际上就是的代数余子式
因此可以得出,逆矩阵公式为
等式右侧矩阵外的因子,其分母是矩阵的行列式,而矩阵为代数余子式矩阵(Cofactor Matrix)的转置,称为伴随矩阵(Adjoint Matrix)。因此矩阵的逆就是矩阵行列式的倒数与其伴随矩阵的乘积。
那么为什么是这个公式呢?我们来验证一下,假设等式成立,首先将等式两边都乘上矩阵得到
因此,若逆矩阵公式成立其实就是判断是否与相等。
根据矩阵相乘,我们观察发现,矩阵的第一行第一列元素等于矩阵第一行和矩阵第一列进行点积,计算可得
也就是说,它们的点积其实就是矩阵的行列式计算公式,而对角线上的所有元素都是如此,因此我们可以得到,它们相乘后的矩阵,其对角线处全部都是行列式。那么非对角元素呢?以第二行第一列为例,相乘我们发现,各个代数余子式的形式不变,但是与代数余子式相乘的变为了矩阵第二行第列元素。因此这个形式相当于用矩阵第二行的元素替代第一行的元素得到的矩阵,前两行的元素相同,因此按照行列式性质(4),其值为。
因此最后我们得到
克莱姆法则(Cramer's Rule)
对于可逆矩阵,方程必有解,将逆矩阵的公式代入,那么
克莱姆法则(Cramer's Rule)则是从另一个角度来看待这个公式,即的分量为
其中,矩阵为用向量替换矩阵的第列所得到的新矩阵。例如
矩阵的行列式的值从第j列用代数余子式进行展开计算,正好是伴随矩阵的第j行,与向量点积的结果。
但是相较于高斯消元法,克莱姆法则计算方程的解的效率较低,它仅仅只是提供了一个代数表达式,让人们能代数运算而不是写算法。
行列式的几何意义
在二维中,行列式的几何意义其实就是矩阵所对应的线性变换所改变由空间中两基向量构成的矩形的面积的比例,对应到三维就是对应空间中三个基向量对应的平行六面体的体积的比例。
例:我们在二维空间中以一组基向量为例,两个基向量构成了一个单位矩形面积为,假设现在要进行线性变换,变换矩阵为,即变换后轴单位向量由变为,对应地,y轴单位向量由变为,变换后我们发现,矩形面积变成了,是原单位矩形面积的倍,其值其实就是行列式。
当矩阵的行列式为时,这意味着线性变换后,原空间被压缩成了一条线或一个点(二维情况下),即原空间的维度降低。这也解释了为何矩阵列向量线性相关时,经过它的线性变换后,原空间发生维度降低,其实就是因为它是奇异矩阵,它的行列式为0。
当矩阵的行列式为负数时,表示矩阵的线性变换将原空间的定向发生了改变,如平面翻转。更为直观的就是变换后坐标轴的相对位置会发生变换。在三维中,一般情况下我们使用右手定则来构建坐标系,若此时现线性变换的矩阵行列式为负数时,线性变换后新的坐标系就会变成满足左手定则。但是行列式的绝对值大小仍然决定其体积的缩放比例。