第 2 部分:求解线性方程组 Ax = b
2.1 逆矩阵 (Inverse Matrix) A−1 与解 x=A−1b
如果 A 是一个可逆方阵 (square invertible matrix),则存在 A−1 使得:
A−1A=IandAA−1=I
则 Ax=b 的解为:
x=A−1b
2x2 逆矩阵公式 (2x2 Inverse Formula):
[acbd]−1=ad−bc1[d−c−ba]
这里 ad−bc 称为行列式 (determinant)。如果行列式为零,则该矩阵是奇异的 (singular),即不可逆。
可逆性的条件 (Conditions for Invertibility)(以下全部等价):
- 行和列均线性无关 (Independent rows and independent columns)
- 行列式非零 (Nonzero determinant)
- 消元过程中无零主元 (No zero pivots during elimination)
- Ax=0 蕴含 x=0
- 满秩 (Full rank, r=n)
乘积的逆 (Inverse of a Product):
(AB)−1=B−1A−1
注意逆序 (reverse order):乘积的逆等于各因子之逆按相反顺序相乘。
2.2 三角矩阵与回代求解 Ux=c
一个上三角 (upper triangular) 矩阵 U 的对角线以下全为零:
U=u110⋮0u12u22⋮0⋯⋯⋱⋯u1nu2n⋮unn
回代 (Back Substitution) 从最后一个方程开始求解 Ux=c:
xn=unncn,xn−1=un−1,n−1cn−1−un−1,nxn,…
一般地,对 i=n,n−1,…,1:
xi=uiici−∑j=i+1nuijxj
主元 (pivots) u11,u22,…,unn 必须全部非零。零主元意味着方程组是奇异的(没有唯一解)。
2.3 消元:将方阵 A 化为三角阵 U
高斯消元法 (Gaussian elimination) 通过从下方各行中减去该行的倍数,将 A 变换为上三角矩阵 U。
增广矩阵 (augmented matrix) [A∣b] 被同时化为 [U∣c]。
以 3x3 为例逐步说明:
- 用第 1 行(主元行 (pivot row))消去第 2 行和第 3 行的第一个元素。
- 用第 2 行消去第 3 行的第二个元素。
- 结果得到 U,一个上三角矩阵。
乘数 (multiplier) ℓij 的定义为:
ℓij=pivotentry to eliminate
第 i 行 ← 第 i 行 −ℓij× 第 j 行
主元必须非零。 如果某个主元为零,我们尝试进行行交换 (row exchange)。如果所有可选行在该主元位置均为零,则该矩阵是奇异的。
2.4 为非零主元而进行的行交换:置换矩阵 P
置换矩阵 (permutation matrix) P 由单位矩阵 I 的各行以任意顺序排列而成。大小为 n×n 的置换矩阵共有 n! 个。
性质:
- P−1=PT(置换矩阵是正交的 (orthogonal))
- 以 PA 相乘会重新排列 A 的各行
- P 乘以列向量会重新排列其分量
示例: 交换第 1 行与第 3 行的置换矩阵:
P=001010100
当在消元过程中遇到零主元时,我们将当前行与其下方在主元列上具有非零元素的行进行交换。这意味着 PA=LU,其中 P 编码了所有执行过的行交换。
2.5 无需行交换的消元:为什么 A=LU?
当不需要行交换时,消元将 A 分解为:
A=LU
- L 是下三角 (lower triangular) 矩阵,其对角线元素均为 1
- U 是上三角 (upper triangular) 矩阵(即消元的结果)
L 和 U 从何而来?
每一步消元相当于从第 i 行减去 ℓij×(主元行 j)。这等价于在 A 的左侧乘以一个初等消元矩阵 (elementary elimination matrix) Eij。所有 Eij 的乘积作用于 A 得到 U:
En,n−1⋯E31E21A=U
于是 A=(E21−1E31−1⋯En,n−1−1)U=LU。
L 中对角线以下的元素就是乘数 ℓij 本身。L 的对角线元素均为 1。
列-行乘法视角 (Column-Row Multiplication View): A=LU 也可以看作秩一更新 (rank-one updates) 的累积。每一步移除一个秩一矩阵:(L 的第 j 列)×(U 的第 j 行)。
2.6 转置 / 对称矩阵 / 点积
转置 (Transpose): 转置 AT 的元素满足 (AT)ij=Aji。行变为列,列变为行。
转置运算法则 (Transpose Rules):
(A+B)T=AT+BT,(AB)T=BTAT,(A−1)T=(AT)−1
对称矩阵 (Symmetric Matrices): S=ST。对任意矩阵 A,乘积 ATA 和 AAT 总是对称的:
(ATA)T=AT(AT)T=ATA
点积表示为 xTy (Dot Product as xTy): 点积 x⋅y=xTy=∑xiyi。该记号在线性代数中贯穿于涉及功 (forceT⋅distance)、收入 (pricesT⋅quantities) 和热量 (temperaturesT⋅entropy) 的应用中。
对称矩阵 S 的 LDLT 分解 (Factorization): 当 S 对称且消元过程中无需行交换时,我们可以写成:
S=LDLT
其中 D 是对角矩阵,包含来自 U 的主元,L 是下三角矩阵,对角线元素均为 1。这是对 LU 分解的改进,利用了对称性,将存储和计算量大约减少了一半。