上一节主要从“行”的角度研究行列式。这一节要把图像横过来看。
转置会把行与列互换。一旦这种对称被建立起来,沿列展开与列变换就会
像沿行展开与行变换一样合法。最后,本章再以两个经典公式作收束:伴
随矩阵与克拉默法则。
转置不会改变行列式
定理
转置矩阵的行列式
对每个方阵 A,
det(AT)=det(A).
这条定理在观念上很重要。行列式虽然是沿行去定义的,但它并没有暗中偏
爱“行”而排斥“列”。转置只是把两种视角互换,最终得到的标量不会改
变。
定理
可沿任意一列作余因子展开
若 A=[aij] 是方阵,而你固定第 j 列,则
det(A)=a1jA1j+a2jA2j+⋯+anjAnj.等价地,
det(A)=i=1∑n(−1)i+jaijMij.
因此,你可以沿行展开,也可以沿列展开。真正重要的不是方向,而是你
选中的那条行或列是否能令子式最容易算。
例题
沿着零较多的列去展开
令
A=160791085.第三列有一个零,所以沿第三列展开:
det(A)=0⋅A13+8A23+5A33.因此
det(A)=−81071+51679=−8(1)+5(9−42)=−173.同一个答案当然也可以用行展开得到,但挑对列会令算式短很多。
列变换遵守同一套模式
由于转置不改变行列式,每一条关于行变换的规则,都有一条完全对应的
列变换版本。
定理
列变换对行列式的影响
设 B 是由方阵 A 做一次基本列变换得到。
- 交换两列,行列式乘上 −1。
- 把某一列乘上 β,行列式也乘上 β。
- 把某一列改成“原本那一列加上另一列的倍数”,行列式不变。
例题
用列变换制造零
考虑
C=34−321−1−162.做列变换 −C2+C1 与 C3+C1:
34−321−1−162⟶13−221−109−1.这两步都只是“某列加上另一列倍数”,所以行列式没有改变。现在沿第三
列展开:
det(C)=91−22−1−11321=9(3)−(−5)=22.关键不是列变换一定比行变换更优,而是你应该用那个能最快制造零、又
最少记账的方向。
伴随矩阵把所有余因子一次性收集起来
单个余因子可以处理一次展开;伴随矩阵则把所有余因子集中到同一个矩
阵中。
定义
伴随矩阵
对 n×n 矩阵 A=[aij],先写出它的余因子矩阵:
A11A21⋮An1A12A22⋮An2⋯⋯⋱⋯A1nA2n⋮Ann.把这个余因子矩阵转置,便得到 伴随矩阵
adj(A)=A11A12⋮A1nA21A22⋮A2n⋯⋯⋱⋯An1An2⋮Ann.
定理
伴随矩阵恒等式与逆矩阵公式
对每个方阵 A,
Aadj(A)=det(A)I.若 det(A)=0,则 A 可逆,而且
A−1=det(A)1adj(A).
这条公式在观念上非常漂亮,但在数值计算上通常不如行化简有效。它最
重要的作用,是把逆矩阵与余因子展开之间的代数结构完整显示出来。
例题
由伴随矩阵重建 2×2 逆矩阵公式
令
A=[acbd],det(A)=ad−bc=0.其余因子矩阵是
[d−b−ca],所以
adj(A)=[d−c−ba].因此
A−1=ad−bc1[d−c−ba].平时熟悉的 2×2 逆矩阵公式,实际上就是伴随矩阵恒等式在最小方
阵情形下的写法。
克拉默法则是逐个坐标求解
定理
克拉默法则
令 A 是可逆的 n×n 矩阵,并令 b∈Rn。对每个
j,把 A 的第 j 列改成 b,得到矩阵 Mj。
若 x 是系统
Ax=b的唯一解,则
xj=det(A)det(Mj).
克拉默法则漂亮之处,在于每个坐标都由一个行列式比值单独表示出来。它
对大系统通常不是最快的方法,但对理解“方阵可逆系统的每个坐标究竟怎
样依赖系数矩阵与右侧向量”非常有力。
例题
用克拉默法则解一个 2×2 系统
求解
{2x1+x2=5,x1+3x2=7.写成
A=[2113],b=[57].先算
det(A)=2⋅3−1⋅1=5.把第一列换成 b:
M1=[5713],det(M1)=15−7=8.把第二列换成 b:
M2=[2157],det(M2)=14−5=9.因此
x1=58,x2=59.
常见错误
常见错误
克拉默法则不是所有线性系统都可用
克拉默法则要求系数矩阵必须是方阵,而且其行列式非零。若系统是长方
形矩阵,或者系数矩阵本身奇异,克拉默法则便不能使用。即使条件满足,
对大系统来说,它通常也比高斯消元慢。
快速检查
练习
快速检查
用列展开计算 det130040256。
快速检查
对 A=[1324],写出 adj(A)。
快速检查
用克拉默法则求系统 x1+x2=3、2x1−x2=0 的 x1。
只需要 det(A) 与 det(M1)。
相关笔记
若你对行变换的记账仍未稳固,可先回看
7.2 行变换、乘积与可逆性。
同时也应保留
3.2 转置与特殊矩阵
在旁,因为本节把那一章的转置观点推到行列式。
若要回到线性系统语言,可连回
1.1 方程与解集
与 2.3 高斯消元与 RREF。