AoZai
AoZai

阅读声明

本页为个人学习整理与翻译笔记,仅供学习参考;原课程内容版权归 MIT OpenCourseWare 及相关权利方所有。

线性代数 ZoomNotes

Gilbert Strang,MIT 18.06 · 第2章 / 11

第 2 部分:求解线性方程组 Ax = b

2.1 逆矩阵 (Inverse Matrix) A1A^{-1} 与解 x=A1bx = A^{-1}b

如果 AA 是一个可逆方阵 (square invertible matrix),则存在 A1A^{-1} 使得:

A1A=IandAA1=IA^{-1}A = I \quad \text{and} \quad AA^{-1} = I

Ax=bAx = b 的解为:

x=A1bx = A^{-1}b

2x2 逆矩阵公式 (2x2 Inverse Formula):

[abcd]1=1adbc[dbca]\begin{bmatrix} a & b \\ c & d \end{bmatrix}^{-1} = \frac{1}{ad-bc} \begin{bmatrix} d & -b \\ -c & a \end{bmatrix}

这里 adbcad-bc 称为行列式 (determinant)。如果行列式为零,则该矩阵是奇异的 (singular),即不可逆。

可逆性的条件 (Conditions for Invertibility)(以下全部等价):

  • 行和列均线性无关 (Independent rows and independent columns)
  • 行列式非零 (Nonzero determinant)
  • 消元过程中无零主元 (No zero pivots during elimination)
  • Ax=0Ax = 0 蕴含 x=0x = 0
  • 满秩 (Full rank, r=nr = n)

乘积的逆 (Inverse of a Product):

(AB)1=B1A1(AB)^{-1} = B^{-1} A^{-1}

注意逆序 (reverse order):乘积的逆等于各因子之逆按相反顺序相乘。


2.2 三角矩阵与回代求解 Ux=cUx = c

一个上三角 (upper triangular) 矩阵 UU 的对角线以下全为零:

U=[u11u12u1n0u22u2n00unn]U = \begin{bmatrix} u_{11} & u_{12} & \cdots & u_{1n} \\ 0 & u_{22} & \cdots & u_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & u_{nn} \end{bmatrix}

回代 (Back Substitution) 从最后一个方程开始求解 Ux=cUx = c

xn=cnunn,xn1=cn1un1,nxnun1,n1,x_n = \frac{c_n}{u_{nn}}, \quad x_{n-1} = \frac{c_{n-1} - u_{n-1,n}x_n}{u_{n-1,n-1}}, \quad \dots

一般地,对 i=n,n1,,1i = n, n-1, \dots, 1

xi=cij=i+1nuijxjuiix_i = \frac{c_i - \sum_{j=i+1}^n u_{ij} x_j}{u_{ii}}

主元 (pivots) u11,u22,,unnu_{11}, u_{22}, \dots, u_{nn} 必须全部非零。零主元意味着方程组是奇异的(没有唯一解)。


2.3 消元:将方阵 AA 化为三角阵 UU

高斯消元法 (Gaussian elimination) 通过从下方各行中减去该行的倍数,将 AA 变换为上三角矩阵 UU

增广矩阵 (augmented matrix) [Ab][A \mid b] 被同时化为 [Uc][U \mid c]

以 3x3 为例逐步说明:

  1. 用第 1 行(主元行 (pivot row))消去第 2 行和第 3 行的第一个元素。
  2. 用第 2 行消去第 3 行的第二个元素。
  3. 结果得到 UU,一个上三角矩阵。

乘数 (multiplier) ij\ell_{ij} 的定义为:

ij=entry to eliminatepivot\ell_{ij} = \frac{\text{entry to eliminate}}{\text{pivot}}

ii\leftarrowiiij×- \ell_{ij} \timesjj

主元必须非零。 如果某个主元为零,我们尝试进行行交换 (row exchange)。如果所有可选行在该主元位置均为零,则该矩阵是奇异的。


2.4 为非零主元而进行的行交换:置换矩阵 PP

置换矩阵 (permutation matrix) PP 由单位矩阵 II 的各行以任意顺序排列而成。大小为 n×nn \times n 的置换矩阵共有 n!n! 个。

性质:

  • P1=PTP^{-1} = P^T(置换矩阵是正交的 (orthogonal))
  • PAPA 相乘会重新排列 AA 的各行
  • PP 乘以列向量会重新排列其分量

示例: 交换第 1 行与第 3 行的置换矩阵:

P=[001010100]P = \begin{bmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{bmatrix}

当在消元过程中遇到零主元时,我们将当前行与其下方在主元列上具有非零元素的行进行交换。这意味着 PA=LUPA = LU,其中 PP 编码了所有执行过的行交换。


2.5 无需行交换的消元:为什么 A=LUA = LU

当不需要行交换时,消元将 AA 分解为:

A=LUA = L U
  • LL下三角 (lower triangular) 矩阵,其对角线元素均为 1
  • UU上三角 (upper triangular) 矩阵(即消元的结果)

LLUU 从何而来?

每一步消元相当于从第 ii 行减去 ij×\ell_{ij} \times(主元行 jj)。这等价于在 AA 的左侧乘以一个初等消元矩阵 (elementary elimination matrix) EijE_{ij}。所有 EijE_{ij} 的乘积作用于 AA 得到 UU

En,n1E31E21A=UE_{n,n-1} \cdots E_{31} E_{21} A = U

于是 A=(E211E311En,n11)U=LUA = (E_{21}^{-1} E_{31}^{-1} \cdots E_{n,n-1}^{-1}) U = L U

LL 中对角线以下的元素就是乘数 ij\ell_{ij} 本身。LL 的对角线元素均为 1。

列-行乘法视角 (Column-Row Multiplication View): A=LUA = LU 也可以看作秩一更新 (rank-one updates) 的累积。每一步移除一个秩一矩阵:(LL 的第 jj 列)×\timesUU 的第 jj 行)。


2.6 转置 / 对称矩阵 / 点积

转置 (Transpose): 转置 ATA^T 的元素满足 (AT)ij=Aji(A^T)_{ij} = A_{ji}。行变为列,列变为行。

转置运算法则 (Transpose Rules):

(A+B)T=AT+BT,(AB)T=BTAT,(A1)T=(AT)1(A + B)^T = A^T + B^T, \quad (AB)^T = B^T A^T, \quad (A^{-1})^T = (A^T)^{-1}

对称矩阵 (Symmetric Matrices): S=STS = S^T。对任意矩阵 AA,乘积 ATAA^T AAATA A^T 总是对称的:

(ATA)T=AT(AT)T=ATA(A^T A)^T = A^T (A^T)^T = A^T A

点积表示为 xTyx^T y (Dot Product as xTyx^T y): 点积 xy=xTy=xiyix \cdot y = x^T y = \sum x_i y_i。该记号在线性代数中贯穿于涉及功 (forceTdistance\text{force}^T \cdot \text{distance})、收入 (pricesTquantities\text{prices}^T \cdot \text{quantities}) 和热量 (temperaturesTentropy\text{temperatures}^T \cdot \text{entropy}) 的应用中。

对称矩阵 SSLDLTLDL^T 分解 (Factorization):SS 对称且消元过程中无需行交换时,我们可以写成:

S=LDLTS = L D L^T

其中 DD 是对角矩阵,包含来自 UU 的主元,LL 是下三角矩阵,对角线元素均为 1。这是对 LULU 分解的改进,利用了对称性,将存储和计算量大约减少了一半。

上一篇 下一篇
© MIT OpenCourseWare  |  18.06 Linear Algebra  |  Gilbert Strang  |  Spring 2010
ocw.mit.edu  ·  CC BY-NC-SA 4.0