【线性代数】5-1:行列式性质(The Properties of Determinants)

原文地址1：https://www.face2ai.com/Math-Linear-Algebra-Chapter-5-1转载请标明出处

Abstract: 本文介绍矩阵的行列式相关性质
Keywords: Determinants，Properties of the Determinants

行列式性质

行列式

懵逼场景1

啊。。行列式。。大学学线性代数第一课就是这个，各位老铁啊，你们知道一脸懵逼是什么样子么？我当时就是，这是个啥玩意？怎么就跑出来了，然后我清楚的记得，老师告诉我们线性代数就是解方程，但是各位啊这特么行列式跟方程有毛关系啊。

懵逼场景2

前两天看MIT的多变量微积分，极坐标代换的时候,例如：
$$\begin{gathered} \int {\int }_{R}xdA=\int {\int }_{R}xdxdy \\ x=cos(\theta )r \\ y=sin(\theta )r \\ \int {\int }_{R}cos(\theta )r\cdot rdrd\theta \end{gathered}$$
这是没错的过程，但是如果我们正常的带入一下好像不太对：
$$\begin{gathered} dx=-sin(\theta )rd\theta +cos(\theta )dr \\ dy=cos(\theta )rd\theta +sin(\theta )dr \end{gathered}$$
带入到原式：
$$\begin{gathered} \int {\int }_{R}cos(\theta )rd(cos(\theta )r)d(sin(\theta )r) \\ =\int {\int }_{R}cos(\theta )r\cdot (-sin(\theta )rd\theta +cos(\theta )dr)\cdot (cos(\theta )rd\theta +sin(\theta )dr) \\ =\int \int cos(\theta )r(-sin(\theta )cos(\theta )r^2{d}^2\theta +co{s}^2(\theta )rdrd\theta -si{n}^2(\theta )rd\theta dr+sin(\theta )cos(\theta )d^{2}r) \end{gathered}$$
什么情况，这个带入看起来没啥问题啊,但是这个结果肯定不对，二重积分可以简单看做是面积的求和，所以这个小面积有问题（就是被积分的部分有问题，具体的下面继续），微积分教材在这里引入了雅克比矩阵，因为啥他们没说就说要这么算，所以我们到线性代数上寻找一下结果

行列式是个数字(Determinants is a Number)

行列式最后得到了一个数字，行列式应该称为一种运算，像加减法一样，结果是个数字，对于矩阵A， $det(A)$ 这个数字包含了很多关于矩阵A的很多信息，比如矩阵是否可逆，并且有一些有趣的几何物理这是计算行列的是用途，行列式具有很多性质，就像加法有交换和结合的性质一样，行列式的性质就是今天我们主要要写的内容，至于解决懵逼场景，学完这章，大家都应该豁然了。
求行列式的方法主要有三种:

1. pivot formula :通过pivots这个是电脑的计算方法，通过消元(elimination)得到pivots，通过pivots的乘积得到determinant，如果矩阵rank小于行或列，矩阵是奇异的，这时候没有逆，determinant是0（因为pivots数量等于rank，小于行或者列，那么剩下的pivots位置是0所以乘起来就是0）
2. big formula :哈哈哈，就是我大学课本上写的，就是通过一个比较复杂的公式给出计算方法
3. cofactor formula:代数余子式的方法

到目前为止，任何关于行列式长什么样我们都不知道，也不知道他能干啥，但是好像有很多不错的性质，所以Pro. Stang说，孩子们，直接看定义没什么意思，我们来通过性质来学习下吧。

这种方式让我想到了陶哲轩大神的analysis（中文译：《实分析》）目前只看了第一章，通过皮阿诺公理来推到出自然数的加法乘法。。。可以充分的感受到这些大师们对我们小白的爱，他们洗的书有点“来吧，孩子，我来告诉你怎么来学会这些知识”，读起来比较友好。

行列式的性质(Properties of the Determinant)

上面废话那么多，下面开始学术一点了，一下的性质中前三个是basic properties（rule 1 2 3），可以用前三个推导出后面的所有。
行列式的写法， $det(A)$ 或者 $|A|$
$$det(\left[\begin{array}{cc}a& b\\ c& d\end{array}\right])=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$$
讲了大半天，终于知道行列式长什么样了，下面看性质了

1.单位矩阵的行列式 $det(I)=1$
$$\left|\begin{array}{ccc}1& & \\ & \ddots & \\ & & 1\end{array}\right|=1$$
2.交换行的时候，行列式结果变换正负号
$$\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|=-\left|\begin{array}{cc}c& d\\ a& b\end{array}\right|$$
eg. 结合rule1 和rule2 能够得到一个关于permutation matrix P的性质，因为P是单位矩阵I经过行变换来的，所以 $det(P)=1$ 如果做了偶数次行变换， $det(P)=-1$ 如果做了奇数次行变换
3.行列式对于矩阵中的每个行是线性的，注意这里说的是对矩阵中每个行是线性的，并不是对整个矩阵是线性的，比如最明显的: $ det(I+I)\neq det(I)+det(I) $ , 这里的线性也表现在行乘法和行加法
$$\begin{gathered} \left|\begin{array}{cc}ta& tb\\ c& d\end{array}\right|=t\left|\begin{array}{cc}a& b\\ c& d\end{array}\right| \\ \left|\begin{array}{cc}a+a^{\prime }& b+b^{\prime }\\ c& d\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|+\left|\begin{array}{cc}{a}^{\prime }& b^{\prime }\\ c& d\end{array}\right| \end{gathered}$$
上面的性质跟面积和体积非常相似，比如你把一条边扩大t倍，体积也被扩大了t倍，并且单位矩阵的行列式等于1，这些都和体积（多于3维的我们也暂时叫体积吧）
上面三条已经能完全决定行列式的值了，到这我们就可以通过性质推到出 $n\times n$ 的矩阵的行列式的值了，但是那就没啥意思了，继续推到其他性质可能会更有帮助（原文说直接推到行列式的结果有点难，我认为大致思路就是通过乘法和加法分解成 $det(I)$ 的线性组合）
4.行列式的两行相等，行列式的值是0
$$\left|\begin{array}{cc}a& b\\ a& b\end{array}\right|=0$$
证明方法很多，书上用到rule2，交换两行，变换符号后发现
$$\left|\begin{array}{cc}a& b\\ a& b\end{array}\right|=-\left|\begin{array}{cc}a& b\\ a& b\end{array}\right|$$
所以: $\left|\begin{array}{cc}a& b\\ a& b\end{array}\right|=0$
这里有个延伸，在Boolean Algebra中上述论证不成立，因为-1=1，啥意思？c++中的bool变量除了0其他任何值都是1，所以-1=1，这时候基础规则变成了1，2，4，这三条规则可以构建boolean algebra中行列式。
5.某一行减去另一行的倍数，行列式不变
$$\left|\begin{array}{cc}a& b\\ c-\ell a& d-\ell b\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$$
证明过程:
$$\begin{gathered} \left|\begin{array}{cc}a& b\\ c-\ell a& d-\ell b\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|+\left|\begin{array}{ccc}a& b \\ -\ell a& -\ell b\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|-\ell \left|\begin{array}{cc}a& b\\ a& b\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right| \end{gathered}$$
使用到了rule3 ，rule4。
6.当行列式中有一行都是0的时候，行列式为0
$$\begin{gathered} \left|\begin{array}{cc}0& 0\\ c& d\end{array}\right|=0 \\ \left|\begin{array}{cc}a& b\\ 0& 0\end{array}\right|=0 \end{gathered}$$
证明使用rule3 和rule4 可以轻松得到（把非0行加到0行，得到rule4的条件）
7.三角矩阵A， $det(A)=a_{11}{a}_{22}\dots a_{nn}$
$$\begin{gathered} \left|\begin{array}{cc}a& b\\ 0& d\end{array}\right|=ad \\ \left|\begin{array}{cc}a& 0\\ c& d\end{array}\right|=ad \end{gathered}$$
证明也不难，用rule5 能够得到一个对角矩阵（消掉b），再用rule3和rule1,就得到了结果
8.奇异矩阵的行列式为0，可逆矩阵的行列式不等于0

证明前面应该提到了，从消元的角度来说，当一个矩阵的行列式是0证明其中有pivot不存在（在矩阵中用0填充）这样的话行列式存在全是0的行，所以行列式为0.
这里利用rule7加上消元就能得到行列式的一种算法：
$$\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|=\left|\begin{array}{cc}a& b\\ c-a\cdot \frac{c}{a}& d-b\cdot \frac{c}{a}\end{array}\right|=\left|\begin{array}{cc}a& b\\ 0& d-b\cdot \frac{c}{a}\end{array}\right|=a(d-b\cdot \frac{c}{a})=ad-bc$$
第一步使用rule5 ,然后是rule7
值得注意的是消元过程可能会有permutation的过程那么 $PA=LU$ 可以得到：
$$\begin{gathered} det(P)det(A)=det(L)det(U) \\ det(P)=\pm 1 \\ det(L)=1 \\ det(A)=\pm det(U) \end{gathered}$$
9.det(AB)=det(A)det(B)

这个看起来好像挺正常，但证明确有些困难，证明2x2的矩阵都要算上一会儿，但是这时候Pro. Stang给出了个snappy的方式，证明：当 $det(B)\ne 0$ 的情况下， $D(A)=\frac{det(AB)}{det(B)}$ 满足rule1 rule2 rule3，那么D(A)就是det(A）
(这个地方的逻辑我有点混乱，为啥通过他满足1，2，3就知道他一定是det(A)呢:
解答一下，想了一下想明白了，我们是怎么定义的determinant的？没有定义？没错，说到现在我们根本没说过行列式的定义，给出了表达形式，和8个性质，其中前3（4）个性质是basic，后面为衍生的，也就是说定义行列式从目前来讲是通过前三个性质来定义的，所以满足性质者就是（条件中矩阵的）行列式)

property 1： 如果 $A=I$ 那么 $\frac{det(B)}{det(B)}=1$ 看起来rule1 没什么问题
property 2： 如果A中的任意两行进行交换，那么根据矩阵乘法，AB的中两行也进行了交换，那么 $\frac{det(AB)}{det(B)}$ 要变号，rule2 满足
property 3： 先看乘法，A其中一行乘以一个系数 $\ell$ ，根据乘法法则AB的结果也在同一行乘以了 $\ell$ ，那么乘法满足；继续看加法如果在A中的一行加上一个行向量那么：
$$\left[\begin{array}{cc}a+a^{\prime }& b+b^{\prime }\\ c& d\end{array}\right]\left[\begin{array}{cc}e& f\\ g& h\end{array}\right]=(\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]+\left[\begin{array}{cc}{a}^{\prime }& b^{\prime }\\ 0& 0\end{array}\right])\left[\begin{array}{cc}e& f\\ g& h\end{array}\right]=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\left[\begin{array}{cc}e& f\\ g& h\end{array}\right]+\left[\begin{array}{cc}{a}^{\prime }& b^{\prime }\\ 0& 0\end{array}\right]\left[\begin{array}{cc}e& f\\ g& h\end{array}\right]$$
这样来看 $\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\left[\begin{array}{cc}e& f\\ g& h\end{array}\right]$ 就是AB, $\left[\begin{array}{cc}{a}^{\prime }& b^{\prime }\\ 0& 0\end{array}\right]\left[\begin{array}{cc}e& f\\ g& h\end{array}\right]$ 只有第一行有数字，通过简单的计算得出，A中加上一行，AB中也加上了一行，满足property3（如果这个地方看着有点乱，那个笔算一下）
也就是上面给出证明对于矩阵A的一种计算D满足rule1，rule2，rule3，那么我们确定D是关于A的行列式操作，证毕
所以 $det(AB)=det(A)det(B)$ .并且衍生出了当 $B=A^{-1}$ 是 $A{A}^{-1}=I$ 那么 $det(A)det(A^{-1})=1$
10.$det(A^T)=det(A)$ 矩阵的determinant对于矩阵的转置保持不变性，
证明过程如下：
对A进行分解：$PA=LU$ 两侧同时转置 $A^T{P}^T=U^T{L}^T$
根据rule9： 原始分解形式 $det(P)det(A)=det(L)det(U)$ 转置后 $det(P^T)det(A^T)=det(L^T)det(U^T)$

首先 $det(P)=det(P^T)=\pm 1$
其次 $det(L)=det(L^T)=1$ 对角线上全是1
第三 $det(U)=det(U^T)$ 对角矩阵，determinant就是对角线乘积，转置前后不变rule7； 所以 $det(A)=det(A^T)$ 证毕

rule10，相当于把前面的rules扩大了一倍，因为所有的对行性质都能扩展到对列的了，比如一列都是0 的行列式结果是0

总结

今天臭不要脸的把自己的博客发给了爱可可老师，结果爱老师还真就帮忙转发了，希望今天能看到留言，三个月了，一条留言都没有，太尴尬了。还有网友留言问有没有微积分和数学分析，概率论。哈哈。这都是我要写的，这样来说还是有人愿意学知识的，明天继续。。。。