【Linear Algebra】行列式（知识归纳）

1. 行列式

本文重点在知识归纳，不帮助理解

1.1 行列式概念

n 阶行列式（determinant）

$$\left|\begin{array}{cccc}{a}_{11}& a_{12}& ...& a_{1n}\\ a_{21}& a_{22}& ...& a_{2n}\\ ...& ...& & ...\\ a_{n1}& a_{n2}& ...& a_{nn}\end{array}\right|$$

完全展开式：${\sum }_{j_1{j}_2...j_n}(-1{)}^{\tau (j_1{j}_2...j_n)}{a}_{1j_1}{a}_{2j_2}...a_{n{j}_n}$

• $\tau (j_1{j}_2...j_n)$ 中的排列为逆序数，大数排小数前即一个逆序。如 2431 中，21，43，41，31 是逆序，逆序数是4，为偶排列。

拉普拉斯展开（Laplace），这里为行展开：

$$|A|=a_{i1}{A}_{i1}+a_{i2}{A}_{i2}+...+a_{in}{A}_{in}=\sum _{k=1}^n{a}_{ik}{A}_{ik}，i=1,2..n$$

• 代数余子式（cofactor）： $A_{ij}=(-1{)}^{i+j}{M}_{ij}$
• 余子式（minor）： $M_{ij}$，即划去 $a_{ij}$ 所在行和列的元素，剩下的元素组成的行列式（n-1 阶）
• 还可以按列展开，类似行展开，省略

1.2 行列式性质

1. 经过转置后，行列式的值不变，即 $|A^T|=|A|$
2. 两行或两列互换位置，行列式的值变号
3. 某行（列）有公因子 $k$ 可提到行列式外
4. 行列式的某行（列）是两个元素之和，可把行列式拆成两个行列式之和
5. 把某行（列）的 $k$ 倍加到另一行（列），行列式的值不变

总结一下可直接判断行列式为 0 的情况

• 两行（列）相同，行列式的值为 0
• 某行（列）元素全为 0 ，行列式为 0
• 两行（列）对应元素成比例，行列式为 0

1.3 几个重要公式

1. 上（下）三角行列式的值：$a_{11}{a}_{22}...a_{nn}$（主对角元素的积）
2. 副对角线的行列式的值：$(-1{)}^{\frac{n(n-1)}{2}}{a}_{1n}{a}_{2,n-1}...a_{n1}$ （后面的为副对角线元素的积）
3. 特殊的拉普拉斯展开，如果 $A$ 和 $B$ 分别是 $m$ 阶和 $n$ 阶矩阵，则

$$\left|\begin{array}{cc}A& \ast \\ O& B\end{array}\right|=\left|\begin{array}{cc}A& O\\ \ast & B\end{array}\right|=|A|\cdot |B|,\left|\begin{array}{cc}O& A\\ B& \ast \end{array}\right|=\left|\begin{array}{cc}\ast & A\\ B& O\end{array}\right|=(-1{)}^{mn}|A|\cdot |B|$$

4. 范德蒙行列式（Vandermonde）

$$\left|\begin{array}{cccc}1& 1& ...& 1\\ x_1& x_2& ...& x_n\\ x_1^2& x_2^2& ...& x_n^2\\ ...& ...& ...& ...\\ x_1^{n-1}& x_2^{n-1}& ...& x_n^{n-1}\end{array}\right|=\prod _{1\le j<i\le n}(x_i-x_j)$$

1.4 n 阶方阵行列式公式

• $|A^T|=|A|$ （$A$ 为 n 阶方阵）
• $|kA|=k^n|A|$ （$A$ 为 n 阶方阵）
• $|AB|=|A|\cdot |B|$ （$A$ 和 $B$ 均为 n 阶方阵）
• $|A^{\ast }|=|A{|}^{n-1}$ （$A$ 为 n 阶方阵，$A^{\ast }$ 是 $A$ 的伴随矩阵）
• $|A^{-1}|=|A{|}^{-1}$ （$A$ 为 n 阶可逆方阵，$A^{-1}$ 为 $A$ 的逆矩阵）
• $|A|={\prod }_{i=1}^n{\lambda }_i$（$A$ 为 n 阶方阵，$\lambda$ 是 $A$ 的特征值）
• $A\sim B,则|A|=|B|$

1.5 代数余子式补充

1. 行列式任一行（列）元素与另一行（列）元素的代数余子式乘积之和为 0
2. $A$ 为 n 阶矩阵，$A^{\ast }$ 是 $A$ 的伴随矩阵，则 $A{A}^{\ast }=A^{\ast }A=|A|E$

1.6 补充

行列式 $|A|$ 是否为零的判定

$$\begin{array}{rl}行& 列式|A|=0\\ \iff & 矩阵A不可逆\\ \iff & 秩r(A)<n\\ \iff & A\mathbf{x}=0有非零解\\ \iff & 0是矩阵A的特征值\\ \iff & A的列（行）向量线性相关\end{array}$$

---

附：关于行列式的理解

矩阵即是映射，行列式就是“体积”扩大率，如此一来上面的性质是不是就好理解了呢。

最后推荐《程序员的数学》这本书，有助于你理解各种含义