上一節主要從「行」的角度研究行列式。這一節要把圖像橫過來看。
轉置會把行與列互換。一旦這種對稱被建立起來,沿列展開與列變換就會
像沿行展開與行變換一樣合法。最後,本章再以兩個經典公式作收束:伴
隨矩陣與克拉默法則。
轉置不會改變行列式
定理
轉置矩陣的行列式
對每個方陣 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。