余因子行列とは
余因子行列 (英:cofactor matrix) とは、i-行 j-列に (i,j)-余因子を持つ行列を、転置した行列のこと。
A~=⎣⎢⎢⎢⎢⎡C11C12⋮C1nC21C22⋮C2n⋯⋯⋱⋯Cn1Cn2⋮Cnn⎦⎥⎥⎥⎥⎤=⎣⎢⎢⎢⎢⎡C11C21⋮Cn1C12C22⋮Cn2⋯⋯⋱⋯C1nC2n⋮Cnn⎦⎥⎥⎥⎥⎤⊤Cij:cofactor
余因子行列の諸定理
(C1):AA~=A~A=det(A)In
(C1) の証明:
AA~=⎣⎢⎢⎢⎢⎢⎢⎢⎡a11⋮ai1⋮an1⋯⋱⋯⋯a1j⋮aij⋮anj⋯⋯⋱⋯a1n⋮ain⋮ann⎦⎥⎥⎥⎥⎥⎥⎥⎤⎣⎢⎢⎢⎢⎢⎢⎢⎡C11⋮C1i⋮C1n⋯⋱⋯⋯Cj1⋮Cji⋮Cjn⋯⋯⋱⋯Cn1⋮Cni⋮Cnn⎦⎥⎥⎥⎥⎥⎥⎥⎤=⎣⎢⎢⎢⎢⎢⎢⎢⎡∑ka1kC1k⋮∑kaikC1k⋮∑kankC1k⋯⋱⋯⋯∑ka1kCjk⋮∑kaikCjk⋮∑kankCjk⋯⋯⋱⋯∑ka1kCnk⋮∑kaikCnk⋮∑kankCnk⎦⎥⎥⎥⎥⎥⎥⎥⎤(1)
AA~ の対角成分は、余因子展開により、
k∑aikCjk∣∣∣∣∣∣i=j=det(A)(2)
一方 AA~ の非対角成分は、A の i-行を A の j-行に複製上書きした行列 A′ から考える。
A′=⎣⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎡a11⋮a(j−1)1ai1a(j+1)1⋮an1⋯⋱⋯⋯⋯⋯a1j⋮a(j−1)jaija(j+1)j⋮anj⋯⋯⋯⋯⋱⋯a1n⋮a(j−1)naina(j+1)n⋮ann⎦⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎤(i=j)
A′ は i-行目を複製上書きしているため、同じ行が複数存在することから、
det(A′)=0(i=j)(3)
A′ を j-行目で余因子展開すると、
det(A′)=k∑aikCjk∣∣∣∣∣∣i=j(4)
よって (1),(2),(3),(4) より、AA~ は以下のように表すことができる。
k∑aikCjk={det(A)0if i=jif i=jAA~=⎣⎢⎢⎢⎢⎡det(A)0⋮00det(A)⋮0⋯⋯⋱⋯000det(A)⎦⎥⎥⎥⎥⎤=det(A)In
また A~A も同様に求められることから、
∴AA~=A~A=det(A)In
関連記事