线性代数学习笔记6-2：行列式的理解、行列式的性质

再次强调，方阵才有行列式！

行列式尽可能多的压缩了方阵的信息，之前说过行列式代表线性变换中有向面积/有向体积的变化比例
因此，$det(\mathbf{A})=|A|=0⟺$矩阵$\mathbf{A}$不可逆/为奇异矩阵

行列式的运算性质

我们不从显式表达式来认识行列式，因为有计算机运算，而是从公理化的抽象角度来认识行列式

通过三条基本性质，我们就能描述什么是行列式，并且这三条性质能推导出后续所有行列式性质

1. 单位阵的$det(\mathbf{I})=1$
2. 交换行列式的两行，行列式正负反号
   推论：所有置换矩阵（即单位阵交换行后的矩阵），行列式为$\pm 1$

另外，要说明的是，行的交换次数为奇数次/偶数次，根本上区分了两个不同行列式（反号）；
这里隐含一个重要事实：置换（即行的交换）分两类：奇数次行交换和偶数次行交换
①如果5次行交换能得到一种置换，那么23次行交换能得到相同的置换（只要都是奇数次行交换，则一定可以用更多奇数次交换得到相同结果）；
②奇数次行交换和偶数次行交换，不可能得到两个相同的矩阵，因为两个行列式必然反号（除非是有相同行的不可逆矩阵/奇异矩阵，其行列式为0）

3. 关于“线性性质”
   ①矩阵某一行元素乘以k，行列式变为k倍：$\left|\begin{array}{cc}ta& tb\\ c& d\end{array}\right|=t\left|\begin{array}{ll}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|$

推论：其他重要性质

用上述三条性质推出更多重要性质：

1. $\mathbf{A}$有两行相同，则必有$det(\mathbf{A})=0$
   证明：交换相同的两行，行列式的样子不变值也应不变，则通过性质2，$det(\mathbf{A})=-det(\mathbf{A})\Rightarrow det(\mathbf{A})=0$

理解：行线性相关，从而矩阵不可逆

2. 从$i$行减去$j$行的$k$倍（类似“消元”），行列式不变
   证明：$\left|\begin{array}{cc}a-kc& b-kc\\ c& d\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|-\left|\begin{array}{cc}kc& kc\\ c& d\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|-k\cdot 0$

与“消元”内容联系：矩阵$\mathbf{A}=\mathbf{LU}$分解，相当于消元，则$det(\mathbf{A})=det(\mathbf{U})$

3. $\mathbf{A}$有全零行，则必有$det(\mathbf{A})=0$
   证明：[发1]对应前一部分的3①中，$t=0$的情况 [法2]由这里的性质2，可以再次构造“两行相同”的矩阵，又回到性质1

理解：由上一个性质2，“消元”后行列式不变，则这里全零行代表了消元得到全零，即“行线性相关”，从而不可逆

4. 对于上三角阵，$\left|\begin{array}{ccccc}{d}_1& \ast & \ast & \cdots & \ast \\ 0& d_2& \ast & \cdots & \ast \\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & \ddots & ⋮\\ 0& 0& \cdots & \cdots & d_n\end{array}\right|=\left|\begin{array}{ccccc}{d}_1& 0& 0& \cdots & 0\\ 0& d_2& 0& \cdots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & \ddots & ⋮\\ 0& 0& \cdots & \cdots & d_n\end{array}\right|=d_1{d}_2\cdots d_n$
   证明：利用“消元”不改变行列式的性质+提取每行倍数因子的性质
   这就是说，计算行列式的通用且高效的方法是对其进行消元，并且消元可以用于导出其余大多数性质

但注意，一般的消元过程可能涉及了所有三种初等行变换：①矩阵某行乘以非零常数②交换两行③某一行乘以常数加到另一行，所以过程中可能变号、变倍数

5. 矩阵$\mathbf{A}$不可逆/为奇异矩阵$⟺$$det(\mathbf{A})=0$
   证明：，那么矩阵$\mathbf{A}$不可逆一切行列式可以“消元”为上三角阵，若有“主元”为0，这对应了不可逆，也对应了$det(\mathbf{A})=0$

小结：结合3和5，只要有全零行（存在非零列向量$\mathbf{x}$使$\mathbf{A}\mathbf{x}=0$），一定不可逆，必有$det(\mathbf{A})=0$
即使没有全零行，也可推广：只要矩阵列向量线性相关，同样不可逆，有$det(\mathbf{A})=0$

6. $det(\mathbf{AB})=det(\mathbf{A})det(\mathbf{B})$
   推论：
   $det({\mathbf{A}}^{-1})=det(\mathbf{I})/det(\mathbf{A})=1/det(\mathbf{A})$，注意式子仅当$\mathbf{A}$可逆时/$det(\mathbf{A})\ne 0$时成立
   $det({\mathbf{A}}^2)=(det(\mathbf{A}){)}^2$，但注意$det(2\mathbf{A})=2^{n}det(\mathbf{A})$（原始性质3①，每行提出倍数）
7. $det({\mathbf{A}}^T)=det(\mathbf{A})$
   证明：矩阵消元对应LU分解$\mathbf{A}=\mathbf{LU}$，则就是要证明$det({\mathbf{U}}^T{\mathbf{L}}^T)=det(\mathbf{LU})$，就是证明$det({\mathbf{U}}^T)det({\mathbf{L}}^T)=det(\mathbf{L})det(\mathbf{U})$，由于分解后的两个矩阵$\mathbf{L}$和$\mathbf{U}$都是三角矩阵，根据上述性质4显然有$det({\mathbf{U}}^T)=det(\mathbf{U})$、$det({\mathbf{L}}^T)=det(\mathbf{L})$
   推论：上述所有关于“行”的性质，通过转置可以得到对应的“列”的性质，这里不再一一列举