余因子

この節では、余因子を定義するとともに、行列式を展開して計算する方法を導きます。

余因子は、$n$ 次の正方行列に対して定義される値であり、行列式の展開に関する定理を導く上で重要な役割を果たします。

余因子の定義#

定義 3.10（余因子）#

$n$ 次の正方行列 $A$ において、第 $i$ 行と第 $j$ 列を除いて得られる $(n-1)$ 次の行列式を $A$ の第 $(i, j)$ 小行列式という。また、$A$ の第 $(i, j)$ 小行列式に $(-1)^{i + j}$ を掛けたものを $A$ の第 $(i, j)$ 余因子（$\text{cofactor}$）といい、$\tilde{a}_{ij}$ と表す。

解説#

余因子は正方行列に対して定義される（定義の前提）#

余因子とは、正方行列に対して定義される値です。

上記（3.6.1）式より、余因子は行列式の値に符号を掛けたものといえます。行列式は正方行列に対して定義されるものであるため、余因子も正方行列に対して定義されるものであることは明らかといえます。

小行列式とは#

一般の小行列式（ $p$ 次の小行列式）#

一般に、$(m, n)$ 型の行列 $A$ に対して、$A$ の $p$ 個の行と $p$ 個の列を任意に取り出して作られる $p$ 次の正方行列の行列式を $p$ 次の小行列式（$\text{minor /}$ $\text{minor determinant}$）といいます。ここで、（当然ながら）$1 \leqslant p \leqslant m$ かつ $1 \leqslant p \leqslant n$ が成り立ちます。

$p$ 個の行と $p$ 個の列の取り出し方は任意であるので、$A$ の小行列式はその組み合わせの数だけ存在します。すなわち、$(m, n)$ 型の行列 $A$ に対して、$A$ の小行列式は ${}_{m} \text{C}_{p} \cdot {}_{n} \text{C}_{p}$ 個あります。

つまり、一般的な小行列式は、任意の型の行列から、任意の行と列を抽出して作られる正方行列の行列式であるといえます。

小行列式と余因子（第 $(i, j)$ 小行列式）#

これに対して、余因子の定義に現れる小行列式は、特定の $1$ つの行と列を除いて作られる正方行列の行列式です。

すなわち、正方行列 $A$ の第 $(i, j)$ 小行列式は、$A$ の第 $i$ 行と第 $j$ 列を除いて得られる $A_{ij}$ の行列式です。

具体的には、次のような $n$ 次の正方行列 $A$ に対して、

第 $i$ 行と第 $j$ 列を除いて、間を詰めることで、$(n-1)$ 次の正方行列が得られます。

この $(n-1)$ 次正方行列 $A_{ij}$ の行列式の値こそ、$A$ の第 $(i, j)$ 小行列式に他なりません。

余因子とは#

上記で得られた、$A$ の第 $(i, j)$ 小行列式 $A_{ij}$ に対して、符号 $(-1)^{i + j}$ を掛けることで、$A$ の第 $(i, j)$ 余因子 $\tilde{a}_{ij}$ が得られます。

小行列式に符号 $(-1)^{i + j}$ を掛けることは若干天下り的ではあります。この符号の意味は、次項以降に示す、行列式の展開の定理において理解されます。

• 定理 3.19（行列式の展開 1）
• 定理 3.20（行列式の展開 2）

すなわち、ある行列式を余因子の和の形に展開するにあたって、展開する前と後の値の整合性を保つ係数として、余因子の符号が必要となります。

余因子の計算例#

具体的に与えられた行列に対して、余因子の計算例と具体的な計算手順を示します。

例題（$4$ 次正方行列の余因子）#

次の $4$ 次の正方行列 $A$ の第 $(2, 2)$ 余因子 $\tilde{a}_{22}$ を求めよ。

解答（計算手順）#

まず、$A$ の第 $2$ 行と第 $2$ 列を除いて得られる、行列 $A_{22}$ を求めると、次の通り。

次に、$A_{22}$ の行列式の値に、符号 $(-1)^{2 +2j}$ を掛けることで、$A$ の第 $(2, 2)$ 余因子 $\tilde{a}_{22}$ を求めると、次の通り。

まとめ#

• $n$ 次の正方行列 $A$ において、第 $i$ 行と第 $j$ 列を除いて得られる $(n-1)$ 次の行列式を $A$ の第 $(i, j)$ 小行列式という。
• $A$ の第 $(i, j)$ 小行列式に $(-1)^{i + j}$ を掛けたものを $A$ の第 $(i, j)$ 余因子といい、$\tilde{a}_{ij}$ と表す。
  $$\begin{equation*} \tilde{a}_{ij} = (-1)^{i + j} \; \vert \, A_{ij} \, \vert \end{equation*}$$

参考文献#