行列式

贡献者： addis; JierPeter

预备知识 1　矩阵，线性相关性

　　¹行列式（determinant）是线性代数中的一个重要工具，常用于判断线性相关性（定理 6 ）或解线性方程组（见克拉默法则）。一个 $N \times N$ 的方阵 $A$ 的行列式叫做 $N$ 阶行列式，记为 $| A |$ ，矩阵元可以是实数或者复数。行列式的运算的结果是一个数，若结果不为零，则所有列矢量（或行矢量）线性无关，否则线性相关。物理中经常出现二阶和三阶行列式，我们先介绍它们的性质，然后介绍高阶的情况。

　　令二阶方阵 $A$ 第 $i$ 行第 $j$ 列的矩阵元为 $a_{i, j}$ ，其行列式为

\begin{matrix} (1) & | A | = | \begin{matrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{matrix} | = a_{11} a_{22} - a_{12} a_{21} . \end{matrix}

三维方阵

A

的行列式展开后有 6 项

\begin{matrix} (2) & \begin{aligned} | A | = | \begin{array}{c} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{array} | & = a_{11} a_{22} a_{33} + a_{12} a_{23} a_{31} + a_{13} a_{21} a_{32} \\ - a_{11} a_{23} a_{32} - a_{12} a_{21} a_{33} - a_{13} a_{22} a_{31}, \end{aligned} \end{matrix}

行列式也可以记为

det A

。

1. 几何理解

预备知识 2　右手定则

图 1：二阶行列式的绝对值对应平行四边形的面积

　　在集合理解中，我们假设矩阵元都是实数。如图 1 ，二阶行列式的绝对值对应平行四边形的面积（可以认为是二维空间中的 “体积”），若把行列式的两列看成两个几何矢量的坐标，他们就是平行四边形的两条边。当 $v_{1}$ 逆时针转动²得到 $v_{2}$ 时，行列式的值为正，反之为负。

图 2：三阶行列式对应平行四面体的体积

　　如图 2 ，二阶行列式代表一个平行四面体的体积，若把行列式的 3 列看成 3 个几何矢量的坐标，他们就是平行四面体的 3 条边。若 $v_{1}, v_{2}, v_{3}$ 的位置关系与 $x, y, z$ 轴的关系相似（符合右手定则）则行列式的值为正，反之为负。

习题 1　

　　请证明二阶行列式对应平行四边形的面积，三阶行列式对应平行四面体的体积

　　以上两个结论也可以拓展到更高维的情况，即 $N$ 阶行列式表示 $N$ 维空间中平行体的体积（见行列式与体积）。

　　另外，以后我们会看到行列式转置（即 $a_{i j}$ 变为 $a_{j i}$ ）以后不影响它的值（定理 8 ），所以我们也可以把每行看成是平行体一条边的坐标。

　　由行列式的几何意义，我们很容易理解为什么行列式的值为零当且仅当行矢量或列矢量线性相关：例如三维的情况下， $v_{1}, v_{2}, v_{3}$ 线性相关意味着三矢量共面，体积必为零。

2. 行列式的一般定义

预备知识 3　逆序数

　　 $N$ 阶行列式（ $N$ 为正整数³）共有 $N!$ 项，每一项都是 $N$ 个矩阵元的乘积⁴。每一项中的 $N$ 个矩阵元的行标和列标各不相同，我们既可以在每一项中按照行标来排序，也可以按照列标，我们选用前者。排序后，行列式展开后的任意一项可记为（先不考虑前面的 $\pm$ 号）

\begin{matrix} (3) & \prod_{i = 1}^{N} a_{i, π_{n, i}} = a_{1, π_{n, 1}} \cdot a_{2, π_{n, 2}} \dots . \end{matrix}

其中列标

π_{n, i}

是集合

1, 2 \dots N

排列后的第

i

个数，显然该数列共有

N!

种不同的排列，这里用

n

表示第

n

种排列，也表示行列式展开的第

n

项。

　　现在来考虑式 3 前面的 $\pm$ 号。这由 $π_{n}$ 的逆序数 $r$ 决定。 $N$ 阶行列式可以用逆序数定义为

\begin{matrix} (4) & \det A = \sum_{n = 1}^{N!} (- 1)^{r} \prod_{i = 1}^{N} a_{i, π_{n, i}} . \end{matrix}

3. Levi-Civita 符号

\begin{matrix} (5) & \det A = \sum_{i_{1} = 1}^{N} \sum_{i_{2} = 1}^{N} \dots \sum_{i_{N} = 1}^{N} ϵ_{i_{1}, \dots, i_{N}} a_{1, i_{1}} a_{2, i_{2}} \dots a_{N, i_{N}} . \end{matrix}

证明与式 4 等效：该式共有

N^{N}

项求和，根据 LC 符号的定义，

i_{1}, \dots, i_{N}

中任意两个角标相同时该项为零，所以不为零的项中

i_{1}, \dots, i_{N}

必为

π_{n}

的一种，仍然只有

N!

种不同的可能，这时

ϵ_{i_{1}, \dots, i_{N}} = (- 1)^{r}

。

1. ^ 本文参考 Wikipedia 相关页面以及 [1]。
2. ^ 假设转动角度小于 $180^{\circ}$ ，下同。
3. ^ 一阶行列式定义为 $| a_{11} | = a_{11}$ ，虽然几乎从不被使用
4. ^ 高阶行列式的计算较为复杂，可通过数学软件计算，详见 Matlab，Mathematica 和 Wolfram Alpha 的计算方法。

[1] ^ 同济大学数学系. 线性代数 第五版

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。