余因子

余因子#

$n$ 次の正方行列 $A = (a_{i j})$ から、第 $i$ 行と第 $j$ 列を取り除いて得られる $n - 1$ 次の正方行列を $A_{i j}$ と書く。

{\tilde{a}}_{i j} = (- 1)^{i + j} | A_{i j} |

を行列 $A$ における $a_{i j}$ の余因子（cofactor）という。

# 例
import numpy as np

A = np.array([
    [1, 2, 3],
    [4, 5, 6],
    [7, 8, 0],
])

# 第1行、第1列を除いたA_11行列
A11 = A[1:, 1:]

# 余因子
(-1)**(1 + 1) * np.linalg.det(A11)

-47.999999999999986

余因子展開（ラプラス展開）#

$n$ 次正方行列 $A$ の行列式 $det (A)$ は、任意の行や列についての要素と余因子の重み付き和として展開できる。

第 $i$ 行に関する余因子展開: $a_{i 1} {\tilde{a}}_{i 1} + a_{i 2} {\tilde{a}}_{i 2} + \dots + a_{i n} {\tilde{a}}_{i n} = | A |$
第 $j$ 列に関する余因子展開: $a_{1 j} {\tilde{a}}_{1 j} + a_{2 j} {\tilde{a}}_{2 j} + \dots + a_{n j} {\tilde{a}}_{n j} = | A |$

これを余因子展開（cofactor expansion）やラプラス展開（Laplace expansion）という。

# 例
import numpy as np

A = np.array([
    [1, 2, 3],
    [4, 5, 6],
    [7, 8, 9],
])

def cofactor(A, i, j):
    """余因子を計算する関数"""
    A_minor = np.delete(A, i, axis=0)
    A_minor = np.delete(A_minor, j, axis=1)
    return (-1)**(i + j) * np.linalg.det(A_minor)

def cofactor_expansion_along_i(A, i):
    """第i行に関する余因子展開による行列式の計算"""
    result = 0
    for j in range(A.shape[1]):
        result += A[i, j] * cofactor(A, i=i, j=j)
    return result

(cofactor_expansion_along_i(A, i=0) - np.linalg.det(A)) < 1e-3

True

余因子行列#

$n$ 次の正方行列 $A = (a_{i j})$ の余因子を ${\tilde{a}}_{i j}$ とするとき、 $(i, j)$ 成分に余因子 ${\tilde{a}}_{i j}$ をもつ行列の転置行列

\begin{array}{r} \tilde{A} = (\begin{array}{cccc} {\tilde{a}}_{11} & {\tilde{a}}_{21} & \dots & {\tilde{a}}_{n 1} \\ {\tilde{a}}_{12} & {\tilde{a}}_{22} & \dots & {\tilde{a}}_{n 2} \\ ⋮ & ⋮ & ⋮ \\ {\tilde{a}}_{1 n} & {\tilde{a}}_{2 n} & \dots & {\tilde{a}}_{n n} \end{array}) \end{array}

を余因子行列（adjugate matrix）といい、 $adj (A)$ や $\tilde{A}$ と表す。（※添字が転置したような形になっているのに注意）

def cofactor_matrix(A):
    """余因子行列"""
    C = np.zeros_like(A, dtype=np.float32)
    for i in range(A.shape[0]):
        for j in range(A.shape[1]):
            C[i, j] = cofactor(A, i=i, j=j)
    return C.T

A_tilde = cofactor_matrix(A)
A_tilde

array([[ -3.,   6.,  -3.],
       [  6., -12.,   6.],
       [ -3.,   6.,  -3.]], dtype=float32)

余因子行列の性質#

\begin{array}{r} A \tilde{A} = (\begin{array}{ccc} | A | & O \\ ⋱ \\ O & | A | \end{array}) = | A | I \end{array}

行列 $A \tilde{A}$ の第 $(i, k)$ 成分は $\sum_{j = 1}^{n} a_{i j} {\tilde{a}}_{k j}$ である。

$a_{i 1} {\tilde{a}}_{i 1} + a_{i 2} {\tilde{a}}_{i 2} + \dots + a_{i n} {\tilde{a}}_{i n} = | A |$ (第 $i$ 行に関する余因子展開)
$a_{i 1} {\tilde{a}}_{k 1} + a_{i 2} {\tilde{a}}_{k 2} + \dots + a_{i n} {\tilde{a}}_{k n} = 0 (k \neq i)$

を利用すれば, $ $\sum_{j = 1}^{n} a_{i j} {\tilde{a}}_{k j} = {\begin{array}{lc} | A | & (i = k) \\ 0 & (i \neq k) \end{array}$ $

となる. これより，

\begin{array}{r} A \tilde{A} = (\begin{array}{ccc} | A | & O \\ ⋱ \\ O & | A | \end{array}) = | A | I \end{array}

を得る

（参考：線形代数1A 第10回　講義資料）

# i != k
def cofactor_expansion_not_along_i(A, i, k):
    result = 0
    for j in range(A.shape[1]):
        print(f"A[{i}, {j}] = {A[i, j]}")
        print(f"cofactor(A, i={k}, j={j}) = {cofactor(A, i=k, j=j)}")
        result += A[i, j] * cofactor(A, i=k, j=j)
    return result

round(cofactor_expansion_not_along_i(A, i=0, k=1), 3)

A[0, 0] = 1
cofactor(A, i=1, j=0) = 6.0
A[0, 1] = 2
cofactor(A, i=1, j=1) = -12.0
A[0, 2] = 3
cofactor(A, i=1, j=2) = 6.0

0.0

print(f"det(A) = {np.linalg.det(A):.0f}")
print(f"A @ A_tilde: \n{A @ A_tilde}")

det(A) = 0
A @ A_tilde: 
[[0. 0. 0.]
 [0. 0. 0.]
 [0. 0. 0.]]

逆行列の導出#

逆行列、すなわち $n$ 次正方行列 $A$ と $n$ 次の単位行列 $I$ に対し、

A A^{- 1} = A^{- 1} A = I

を満たす行列 $A^{- 1}$ を求める。

A \tilde{A} = | A | I

より

A \underset{A^{- 1}}{\underset{⏟}{\frac{1}{| A |} \tilde{A}}} = I

よって

A^{- 1} = \frac{1}{| A |} \tilde{A}

余因子

Contents

余因子#

余因子展開（ラプラス展開）#

余因子行列#

余因子行列の性質#

逆行列の導出#