线性代数及其应用：第四章 行列式

前言：这篇blog是《 Linear Algebra and Its Applications》第四章的一些学习笔记

第四章 行列式

  这一章把行列式看成n个行向量的函数，强调行列式的性质。
  行列式在这本书中并不是重点，这本书的重要主线是一步一步引出SVD和求方程组的解(没有解时求近似解)，国内的很多线性代数教材在编写时把行列式当重点讲，但其实际作用并没有那么大，这样做可能会把学生给带偏了(我当年就被带偏了)。

1. 行列式的几何意义

  行列式$det(A)$的绝对值，其实是n维空间中的盒子的体积，盒子的边由矩阵$A$的行向量或者列向量构成。其证明在这篇blog的4.3应用章节中。

---

2. 行列式的性质

2.1. 性质

1. 单位矩阵的行列式为1；
2. 任意两行交换，行列式变号；
3. 行列式对第一行线性依赖；

设$A=\left[\begin{array}{c}{\alpha }_1\\ {\alpha }_2\\ \dot{\dot{\cdot }}\end{array}\right]$，且${\alpha }_1=c_1{\beta }_1+c_2{\beta }_2$，则$det(A)=c_{1}det(\left[\begin{array}{c}{\beta }_1\\ {\alpha }_2\\ \dots \end{array}\right])+c_{2}det(\left[\begin{array}{c}{\beta }_1\\ {\alpha }_2\\ \dots \end{array}\right])$
推论：由2,3可推出，行列式对任意一行都线性依赖。

由上述性质可以进一步推出下列性质

4. $A$的两行相等，则$det(A)=0$；
5. 某一行的若干倍加到另一行的操作，不改变行列式的值；

证明：以二阶，第二行乘以$-l$加到第一行为例。
$$\left|\begin{array}{cc}a-lc& b-ld\\ c& d\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|-l\left|\begin{array}{cc}c& d\\ c& d\end{array}\right|=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|-0=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$$
所以高斯消去操作不改变行列式的值。

6. 若$A$有一行全0，则$det(A)=0$；

证明：
$$detA=2detA\Rightarrow detA=0$$

7. 三角方阵的行列式为对角元素乘机；

证明：
$$\left|\begin{array}{ccc}{a}_{11}& a_{11}& a_{11}\\ 0& a_{22}& a_{23}\\ 0& 0& a_{33}\end{array}\right|$$
经高斯消去法得到
$$\left|\begin{array}{ccc}{a}_{11}& 0& 0\\ 0& a_{22}& 0\\ 0& 0& a_{33}\end{array}\right|=a_{11}{a}_{22}{a}_{33}$$

8. $A_{n\times n}$是奇异矩阵($pivots<n$)，则$det(A)=0$；$A_{n\times n}$是非奇异矩阵($pivots$数$=n$)，则$det(A)̸=0$；

高斯消去法可证

9. $det(AB)=det(A)det(B)$；

有待证明，不过这个性质挺重要的，可以推出当$A_{n\times n}$有n个pivots时，
$$det(A^{-1})=\frac{1}{det(A)}$$

10. $det(A^T)=det(A)$；

证明：
根据矩阵的三角分解，$det(PA)=det(LDU)$，$det(A^T{P}^T)=det(U^{T}D{L}^T)$
又$det(PA)=det(LDU)=det(L)det(D)det(U)=det(L^T)det(D)det(U^T)$，第三个等式用的性质7
所以$det(L^T)det(D)det(U^T)=det(U^T)det(D)det(L^T)=det(U^{T}D{L}^T)=det(A^T{P}^T)$
所以$det(PA)=det(A^T{P}^T)=det(P)det(A)=det(A^T)det(P^T)$
又$det(P)=\pm 1$且$det(P{P}^T)=detI=1=det(P)det(P^T)$
所以$det(P)=det(P^T)=1$或$-1$
所以$det(A^T)=det(A)$

2.1. Binet-Cauchy公式

https://baike.baidu.com/item/Binet-Cauchy定理/8255247?fr=aladdin

---

3. 行列式的求解

3.1. 利用高斯消去法

  这也是最常用的方法，对方阵进行高斯消去，得到三角矩阵，在利用性质7即可。即$det(A)=\pm pivots$乘积，