行列式

由来

历史上,定义行列式的目的就是为了解线性方程组。对于一元二次方程组

如果有唯一解,那么可以通过高斯消元法得到

同样的,该结论可以推广到$n$元一次线性方程组,简化$n$元一次线性方程组的解,找出其中的规律,这个过程中产生了行列式


低阶行列式

二阶行列式

二阶行列式是这么定义的,交叉相乘,之后相减:

再看刚才二元一次方程组的解:

解的分母都是:

带入行列式的规则,可以表示为

而分子也可以表示为

而线性方程组的解可以用行列式来表示


三阶行列式

三阶行列式的定义比较复杂,可以用对角线法则定义

三元方程组的解同样也可以通过行列式来表示


定义

全排列

把$n$个不同的元素排成一列,叫做这$n$元素的全排列(简称排列)。

数列$1,2,3$的全排列就有以下6种


逆序数

规定数列从小到大为正序,否则为逆序,在一个排列中,如果一对数的前后位置与大小顺序相反,即前面的数大于后面的数,那么它们就称为一个逆序。一个排列中逆序的总数就称为这个排列的逆序数

比如数列$3,2,5,4,1$的逆序数为1+1+4=6

img


奇排列和偶排列

逆序数为奇数的排列称为奇排列,逆序数为偶数的排列称为偶排列

一个排列中任意的两个元素对换,排列改变奇偶性。

以三阶行列式为例:

观察每一项的下标,下标第一项都是以$1,2,3$排列,而第二项是$1,2,3$的全排列

如果是奇排列,那么带负号,如果是偶排列,则不带

三阶行列式有如下表示

其中 $t$ 表示排列 $p_1,p_2,p_3$ 的逆序数,$\sum$表示对所有排列求和


将结论推广到所有的行列式中,$n$阶行列式的定义为:

其值为

全排列的意义在于可以求解$n$($n>3$)阶行列式,特定项的系数,比如$4$阶行列式里$x^4$项的系数


克拉默法则

观察三元方程组的解

可以看到如下规律:

  • 分母都是系数组成的行列式
  • 分子也是系数组成的行列式,只是对应于不同的$x_i$,第$i$列被替换为了常数项

上面的规律推广到$n$元线性方程组的话,就是克拉默法则:

如果有$n$个未知数,$n$个方程组组成的线性方程式,他的系数矩阵$A$的行列式不等于0,即

则方程组有唯一解:

其中$A_j$是把系数矩阵$A$中的第$j$元素用方程组右端的常数项代替后所得到的$n$阶矩阵


几何意义

行列式除了是一种运算法则外,更重要的意义是:对于某方阵$A$,它的行列式$|A|$,是列向量矩阵函数$Ax=y$的伸缩比例

伸缩比例的意思是变换后和变换前的有向面积之比,假设有二阶方阵$A_2$,和行列式$|A_2|$​

image-20220711103236179

映射前和映射后面积之比,就是伸缩比例

行列式的值有三种情况:

  • $|A_2|>0$
  • $|A_2|=0$
  • $|A_2|<0$

当$|A_2|>0$时,会导致映射图形正向伸缩

当$|A_2|=0$,会导致维度降低,实际上只有$A$不满秩,$|A|=0$

显然,如果行列式为0,则$A$不满秩=$A$不可逆=$A$中的向量线性相关

当$|A_2|<0$时,会导致映射图形反向伸缩


对于二阶行列式,其在变换前的基是自然基$e_1,e_2$,而变换后,$e_1,e_2$被映射成了$c_1,c_2$,即:

也就是说$e_1,e_2$围成的正方形被映射成了$c_1,c_2$围成的平行四边形:

image-20220711105203990

可以算出$c_1,c_2$围成的平行四边形的有向面积就是二阶行列式:

而到了三阶行列式,面积之比会变为有向体积之比


子式和余子式

子式

在$m×n$矩阵$A$中,任取$k$行与$k$列,位于这些行,列交叉处的$k^2$个元素,不改变它们在$A$中所处的位置次序而得的$k$阶行列式,称为矩阵$A$的$k$阶子式

image-20220711120857415

取一,三行和一,四列构成的行列式就是矩阵的一个子式


主子式

如果选取的行号和列号相同,取出来的子式就是主子式,如果取$n$阶矩阵的前$n$行$n$列,取出来的子式就是顺序主子式

image-20220711121230852

而教科书中,是如此定义矩阵的秩的:

设在矩阵$A$中有一个不等于0的$r$阶子式$|B_r|$,且所有$r+1$阶子式全等于0,那么$|B_r|$称为矩阵$A$的最高阶非零子式,数$r$称为矩阵$A$的秩

如果一个行列式对应的矩阵(方阵)不是满秩矩阵,则这个行列式的值为0


余子式

在$n$阶行列式中,把$a_{ij}$所在的第$i$行和第$j$列划去后,留下来的$n-1$阶行列式叫做$a_{ij}$的余子式,记作$M_{ij}$

image-20220711122000405

实际上在之前提到三阶行列式的计算方法中,就有余子式


在余子式的基础上,还可以定义$A_{ij}$,称为$a_{ij}$的代数余子式

image-20220711122434314

总结:

image-20220711122527190


性质

  1. 转置后行列式的值不变

    其中行列式$D^T$称为行列式$D$的转置行列式

    有如下结论

    因为行列式$|A|$和$|A^T|$代表的是同一个映射,所以不变

  2. 某行(列)有公因数$k$,可以直接把$k$提出来

  3. 两行(列)互换,行列式的值变号

    可以从逆序数的角度理解,如果两行互换了,那么其每一项的逆序数都会反号,即减数变成被减数,被减数变成减数,则最后行列式的值会变号

    根据此性质,可以得出,如果行列式中有两行(列)相同,那么行列式的值为0,即交换(相等的)两行,|A| = -|A|,则|A| = 0

  4. 对于$n$阶方阵$\boldsymbol{A}$,反复运用“行列式的数乘”可得:

  5. 如果行列式某行(列)每一项都是两个数的和,则可以把行列式拆成两个行列式之和

    从展开式理解,每一项都会有$a_i+b_i$,所以可以拆开再合并同类项

  6. 把某行(列)的$k$倍加到另外一行,行列式的值不变

    可以通过性质2,3,4来证明

    所以性质成立

  7. 对于同阶方阵$A$,$B$,有:


三角行列式

而对于反三角行列式:

将行列式$|A|$的第$n$列和$n-1$列对换,再将$n-1$列和$n-2$列对换,以此类推,经过$n-1$次列变换,可以将第$n$列换到了第一列,得到如下行列式:

根据上文提到的行列式对换性质,每换一次,正负号都会发生改变,这里对换了$n-1$次,所以:

按上面的方法,将$|A_1|$j进行$n-2$次对换,将第$n$列换到第二列,以此类推,最终可以将反三角行列式换成三角行列式

一共发生了:$(n-1)+(n-2)+\cdots+1=\frac{1}{2}n(n-1)$对换

所以:


应用到分块矩阵上:

则有:

则有:

可以将此分块矩阵换成之前的形式,总共要经历$m×n$次交换


拉普拉斯展开

$n$阶方阵$A=(a{ij})$的行列式可以表示为该方阵$A$的某一行的各元素和其对应的代数余子式乘积之和

或者说是某一列和其代数余子式的乘积之和:

这种计算行列式的方法是拉普拉斯展开

根据拉普拉斯展开,可以得到以下推论:

就是说如果在某行的代数余子式前的系数刚好是另一行或列的系数,那么最后的结果为0


范德蒙行列式

其中$\displaystyle \prod_{1\leq j < i \leq n}(x_i-x_j)$代表连乘

范德蒙行列式主要是为了解决插值问题,即通过离散的数据求未知数据

通过假设曲线的方程组,类似于$y=a_0+a_1x+a_2x^2+a_3x^3$的形式,然后通过列出方程组的系数矩阵,矩阵的形式就是范德蒙行列式,最后利用克拉默法则求解


伴随矩阵

除了初等行变换以及高斯若尔当法之后,还可以通过行列式来求矩阵:

由$|A|$的代数余子式$A_{ij}$所构成的矩阵,称为$A$的代数余子式矩阵:

其转置称为$A$的伴随矩阵,记作$A^*$

根据可逆和行列式的关系,若$|A|≠0$,则矩阵可逆,可证明:

证明过程

证明过程如下:

设$A=(a_{ij})$,记$AA^*=(b_{ij})$,

其中$A$的行向量可表示为:$(a_{i1},a_{i2},\cdots,a_{in})$,$A^*$的$j$列为列向量$\begin{pmatrix}A_{j1}\\A_{j2}\\\vdots\\A_{jn}\end{pmatrix}$所以:

根据拉普拉斯展开,代数余子式乘其他行的值为0

所以最后的结果是

故:

所以


性质

伴随矩阵行列式和原矩阵行列式关系:

如果$A$可逆,那么$A^*=|A|A^{-1}$,则:

多个矩阵的伴随矩阵:

如果$A_{ij}=a_{ij}$,那么$A^*=A^T$


设$\boldsymbol{A}$为$n$阶方阵,则:

  • $rank(\boldsymbol{A})=n\iff rank(\boldsymbol{A}^*)=n$

  • $rank(\boldsymbol{A})=n-1\iff rank(\boldsymbol{A}^*)=1
    $

  • $rank(\boldsymbol{A}) < n-1\iff rank(\boldsymbol{A}^*) = 0$

根据秩的定义:设在矩阵$A$中有一个不等于0的$r$阶子式$|B_r|$,且所有$r+1$阶子式全等于0,那么$|B_r|$称为矩阵$A$的最高阶非零子式,数$r$称为矩阵$A$的秩

如果矩阵$A$满秩,那么$n$阶子式也满秩,所以$rank(\boldsymbol{A})=n\iff rank(\boldsymbol{A}^*)=n$

如果矩阵$rank(\boldsymbol{A})=n-1$,说明必有$n-1$阶子式非0,那么其代数余子式也非0,根据$A^*$的定义,其必不为0,又根据秩零定理,其秩必为1

如果$rank(A)<n-1$,说明$n-1$阶子式全部为0,那么$A^*$就肯定是零矩阵$O$了