行列式的完整理论

行列式的完整理论

学习目标

完成本节后，你将能够： - 从几何上理解行列式 - 掌握十大性质及其推导 - 高效计算行列式 - 应用克拉默法则

1. 行列式的几何意义

\[\det\begin{bmatrix} a & b \\ c & d \end{bmatrix} = ad - bc\]

几何意义：这是由 \((a,c)\) 和 \((b,d)\) 张成的平行四边形的有向面积。

> **直觉 (3Blue1Brown)**：行列式衡量线性变换对**面积**（或体积）的缩放倍数。\(\det(A) = 2\) 意味着 \(A\) 变换使任何区域的面积变为 2 倍。\(\det(A) = 0\) 意味着该变换将空间压缩到了一个更低维的子空间（"压扁了"）。

### 1.1 为什么这是一个革命性的观点？

以前你可能觉得行列式只是一个抽象公式。但当你理解它是"变换的缩放因子"时，一切都变了：

  • \(\det(A) = 0\) ⇔ 变换压缩了维度 ⇔ 矩阵奇异 ⇔ 列线性相关
  • \(\det(A) > 0\) 保持方向；\(\det(A) < 0\) 反转方向
  • \(\det(AB) = \det(A)\det(B)\)：复合变换的缩放因子 = 各缩放的乘积

几何证明：组成 \(A\) 后的面积缩放 = 先 \(B\) 再 \(A\) 各自的缩放的乘积。非常简单！

2. 十大性质

### 性质 1：\(\det(I) = 1\) 单位矩阵代表"什么都不做"，缩放因子为 1。

### 性质 2：交换两行，变号 几何上——翻转了定向。

### 性质 3：对每行线性 如果把某行放大 \(t\) 倍，行列式放大 \(t\) 倍。 如果把两行相加，行列式也相加。

### 性质 4：两行相等 → \(\det = 0\) 因为交换相等两行，行列式不变但又必须变号，只能为 0。

### 性质 5：一行减另一行的倍数，行列式不变 这是消元不改变行列式的理论基础！

### 性质 6：全零行 → \(\det = 0\)

### 性质 7：\(\det(A) = \det(A^T)\) 行和列的地位对称。

### 性质 8：\(\det(AB) = \det(A)\det(B)\)

### 性质 9：\(\det(A^{-1}) = 1/\det(A)\)

### 性质 10：三角矩阵的行列式 = 对角线乘积

3. 通过消元计算

\[\det(A) = (-1)^{\text{行交换次数}} \times \prod \text{主元}\]

def det_via_elimination(A):
    n = len(A)
    U = A.astype(float).copy()

for col in range(n): # 选主元 if abs(U[col, col]) < 1e-10: for r in range(col+1, n): if abs(U[r, col]) > 1e-10: U[[col, r]] = U[[r, col]] sign *= -1 break if abs(U[col, col]) < 1e-10: return 0.0

for row in range(col+1, n): factor = U[row, col] / U[col, col] U[row, col:] -= factor * U[col, col:]

return sign * np.prod(np.diag(U))

A = np.array([[2, 1, 1], [1, 3, 2], [1, 2, 3]]) print("消元法:", det_via_elimination(A)) print("numpy:", np.linalg.det(A)) ```

4. 克拉默法则

### 4.1 公式

解 \(A\mathbf{x} = \mathbf{b}\)：

\[x_j = \frac{\det(A_j)}{\det(A)}\]

其中 \(A_j\) 是将 \(A\) 的第 j 列替换为 \(\mathbf{b}\) 后的矩阵。

应用：理论价值高——它明确给出了解的表达式。但计算效率低（需要算 n+1 个行列式），实际中用高斯消元。

5. 叉积——三维中的行列式

\[\mathbf{a} \times \mathbf{b} = \det\begin{bmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{bmatrix}\]

几何意义：叉积的大小 = \(\mathbf{a}\) 和 \(\mathbf{b}\) 张成的平行四边形面积。方向垂直于 \(\mathbf{a}\) 和 \(\mathbf{b}\)（右手定则）。

> **直觉 (3Blue1Brown)**：叉积可以看作"线性变换的对偶"。对偶向量 \(\mathbf{p}\) 使得 \(\mathbf{p} \cdot \mathbf{x} = \det(\mathbf{a}, \mathbf{b}, \mathbf{x})\)。这个 \(\mathbf{p}\) 就是 \(\mathbf{a} \times \mathbf{b}\)。

6. 本节习题

  1. 用几何解释 \(\det(AB) = \det(A)\det(B)\)
  2. 计算 \(\det\begin{bmatrix} 2 & 0 & 1 \\ 1 & 3 & 0 \\ 0 & 1 & 2 \end{bmatrix}\)
  3. 证明 \(\det(cA) = c^n \det(A)\)（n 阶）
  4. 用克拉默法则求解 \(\begin{cases} 2x + y = 5 \\ x - y = 1 \end{cases}\)
  5. 证明：三角矩阵的行列式等于对角线乘积

总结

- 行列式 = 线性变换的面积/体积缩放因子 - 十大性质完整刻画行列式 - 消元法（上三角化）是实用计算方法 - \(\det = 0\) ⇔ 矩阵奇异 ⇔ 压缩维度