基本行列の性質

基本行列が正則であることを示します。すなわち、基本行列はいずれも逆行列を持ち、逆行列もまた基本行列となります。

これは、基本行列の重要な性質であり、行列の基本変形が可逆な操作であることを表しています。

基本行列の正則性#

定理 5.9（基本行列の正則性）#

基本行列はいずれも正則であり、逆行列もまた基本行列である。

解説#

基本行列は正則行列#

定理 5.9（基本行列の正則性）は、 前項に定義した、すべての 基本行列が正則であることを示しています。基本行列が正則であるということは、基本行列がそれぞれ逆行列を持つということに他なりません（ 正則行列の定義）。

基本行列が正則であることの意味#

基本行列が正則であるということは、 行列の基本変形が可逆な操作であることを意味しています。

定理 5.8（基本変形と基本行列の対応）に示した通り、 基本行列は、 行列の基本変形の各操作に対応しています。

ある行列に基本行列を掛けることがその行列に基本変形の操作を行うことに対応している（ 定理 5.8（基本変形と基本行列の対応））ように、基本行列の逆行列を掛けることは、基本変形の逆の操作（つまり元に戻す操作）を行うことに対応しています。

このように考えると、 定理 5.9（基本行列の正則性）は、 定理 5.7（基本変形の可逆性）を、行列の目線から言い換えたものと捉えることができます。

証明#

（$1$）$n$ 次の基本行列 $P_{n} (i; c)$ に対して、$P_{n} (i; \displaystyle \frac{\, 1 \,}{\, c \,})$ を考えると、これらの行列の積は、次のように表せる。

したがって、$P_{n} (i; c)$ は正則であり、その逆行列 $P_{n} (i; \displaystyle \frac{\, 1 \,}{\, c \,})$ も基本行列である。

（$2$）$n$ 次の基本行列 $P_{n} (i, j; c)$ に対して、$P_{n} (i, j; -c)$ を考えると、これらの行列の積は、次のように表せる。

したがって、$P_{n} (i, j; c)$ は正則であり、その逆行列 $P_{n} (i, j; -c)$ も基本行列である。

（$3$）$n$ 次の基本行列 $P_{n} (i, j)$ と $P_{n} (i, j)$ 自身の積は、次のように表せる。

すなわち、$P_{n} (i, j)$ は正則であり、その逆行列は $P_{n} (i, j)$ 自身である。$\quad \square$

証明の考え方#

正則行列の定義にしたがって、基本行列に対してそれぞれ逆行列が存在することを示します。

• 定理 5.8（基本変形と基本行列の対応）より、基本行列は基本変形の操作に対応することから、基本変形の逆の操作（元に戻す操作）を考えることで、それぞれの逆行列を得ることができます。
• なお、基本行列が正則であることのみであれば、 定理 3.22（逆行列を持つための条件）と行列式の基本的性質（特に、 系 3.18（三角行列の行列式））から直ちに導くことができます（ （参考）基本行列が正則であることのみの証明）。

前提事項の整理（証明の準備）#

• $A$ の行ベクトルを $\bm{a}^{\prime}_{1}, \cdots, \bm{a}^{\prime}_{m}$、列ベクトルを $\bm{a}_{1}, \cdots, \bm{a}_{n}$ とします。
• このとき、$A$ は、行ベクトルまたは列ベクトルを用いて、次のように表すことができます。
  $$ \begin{split} A &= \begin{pmatrix} \, \bm{a}^{\prime}_{1} \, \\ \vdots \\ \, \bm{a}^{\prime}_{m} \, \end{pmatrix} \\ &= \begin{pmatrix} \, \bm{a}_{1}, \cdots, \bm{a}_{n} \, \end{pmatrix} \end{split} $$

（1）$P_{n} (i; c)$ の逆行列#

• 定理 5.8（基本変形と基本行列の対応）より、基本行列 $P_{n} (i; c)$ は、ある行列の第 $i$ 行（または第 $i$ 列）を $c$ 倍する基本変形に対応します。

• したがって、$P_{n} (i; c)$ に対して、$n$ 次正方行列 $A$ を右から掛けた行列の積は、次のように表せます。

  $$ \begin{gather*} P_{m} (i; c) \; A = \begin{pmatrix} \, \bm{a}^{\prime}_{1} \, \\ \vdots \\ c \bm{a}^{\prime}_{i} \\ \vdots \\ \, \bm{a}^{\prime}_{m} \, \end{pmatrix} % A \, P_{n} (i; c) = \begin{pmatrix} \, \bm{a}_{1}, \cdots, \, c \bm{a}_{i} \, , \cdots, \bm{a}_{n} \, \end{pmatrix} \end{gather*} $$

• このとき、$P_{m} (i; c) \; A = E_{n}$ が成り立つためには、$A$ の行ベクトルが、次を満たせば良いと考えられます。

  $$ \left\{\; \begin{align*} \bm{a}^{\prime}_{1} &= \begin{pmatrix} \, 1, 0, 0, \cdots \, \cdots, 0 \, \end{pmatrix} \\ \bm{a}^{\prime}_{2} &= \begin{pmatrix} \, 0, 1, 0, \cdots \, \cdots, 0 \, \end{pmatrix} \\ & \; \; \vdots \\ \bm{a}^{\prime}_{i} &= (\, 0, \cdots, \displaystyle \frac{\, 1 \,}{\, c \,}, \cdots, 0 \,) \\ & \; \; \vdots \\ \bm{a}^{\prime}_{m} &= \begin{pmatrix} \, 0, \cdots \, \cdot \, \cdots, 0,1 \, \end{pmatrix} \\ \end{align*} \right. $$
  • すなわち、$1 \leqslant j \leqslant m$ とすると、$j \neq i$ ならば、$\bm{a}^{\prime}_{j}$ は $j$ 番目の成分が $1$ でそれ以外の成分が $0$ であるような行ベクトルとなります。
  • また、$j = i$ ならば、$\bm{a}^{\prime}_{i}$ は $i$ 番目の成分が $\displaystyle \frac{\, 1 \,}{\, c \,}$ でそれ以外の成分が $0$ であるような行ベクトルとなります。

• このようにして得られた行ベクトル $\bm{a}^{\prime}_{1}, \cdots, \bm{a}^{\prime}_{m}$ を縦に並べることで、$P_{n} (i; c) \, A = E_{n}$ を満たす行列 $A$ が得られます。

• このとき、$A = P_{n} (i; \displaystyle \frac{\, 1 \,}{\, c \,})$ が成り立ちます。すなわち、$P_{n} (i; c) \, A = E_{n}$ を満たす行列 $A$ は、次のように基本行列として表せるということです。

• 同様の考え方により、$A \, P_{n} (i; c) = E_{n}$ が成り立つことも確かめられます。
• 以上から、$P_{n} (i; c)$ は正則であり、その逆行列 $P_{n} (i; \displaystyle \frac{\, 1 \,}{\, c \,})$ も基本行列であることが確かめられました。
  $$ \begin{align*} P_{n} (i; c) \, P_{n} (i; \displaystyle \frac{\, 1 \,}{\, c \,}) = P_{n} (i; \displaystyle \frac{\, 1 \,}{\, c \,}) \, P_{n} (i; c) = E_{n} \end{align*} $$

（2）$P_{n} (i, j; c)$ の逆行列#

• 定理 5.8（基本変形と基本行列の対応）より、基本行列 $P_{n} (i, j; c)$ は、ある行列の第 $i$ 行に第 $j$ 行の $c$ 倍を加える（または、第 $j$ 列に第 $i$ 列の$c$ 倍を加える）という基本変形に対応します。

• したがって、$P_{n} (i, j; c)$ に対して、$n$ 次正方行列 $A$ を右から掛けた行列の積は、次のように表せます。

  $$ \begin{gather*} P_{m} (i, j; c) \; A = \begin{pmatrix} \, \bm{a}^{\prime}_{1} \, \\ \vdots \\ \bm{a}^{\prime}_{i} + c \bm{a}^{\prime}_{j} \\ \vdots \\ \bm{a}^{\prime}_{j} \\ \vdots \\ \, \bm{a}^{\prime}_{m} \, \end{pmatrix} % A \, P_{n} (i, j; c) &= \begin{pmatrix} \, \bm{a}_{1}, \cdots, \bm{a}_{i}, \cdots, \, c \bm{a}_{i} + \bm{a}_{j} \, , \cdots, \bm{a}_{n} \, \end{pmatrix} \end{gather*} $$

• このとき、$P_{n} (i, j; c) \; A = E_{n}$ が成り立つためには、$A$ の行ベクトルが、次を満たせば良いと考えられます。

  • 第 $i$ 行目と第 $j$ 行目以外、すなわち、$\bm{a}^{\prime}_{i}$ と $\bm{a}^{\prime}_{j}$ 以外は、$k$ 番目の成分が $1$ でそれ以外の成分が $0$ であるような行ベクトルであれば良いです。（ここで、$1 \leqslant k \leqslant m$ とします。）

    $$ \left\{\; \begin{align*} \bm{a}^{\prime}_{1} &= \begin{pmatrix} \, 1, 0, 0, \cdots \, \cdots, 0 \, \end{pmatrix} \\ \bm{a}^{\prime}_{2} &= \begin{pmatrix} \, 0, 1, 0, \cdots \, \cdots, 0 \, \end{pmatrix} \\ & \; \; \vdots \\ \bm{a}^{\prime}_{m} &= \begin{pmatrix} \, 0, \cdots \, \cdot \, \cdots, 0,1 \, \end{pmatrix} \\ \end{align*} \right. $$

  • 第 $i$ 行目と第 $j$ 行目については、次が成り立つ必要があります。

    $$ \left\{\; \begin{align*} \bm{a}^{\prime}_{i} + c \bm{a}^{\prime}_{j} &= \begin{pmatrix} \, 0, \cdots, 1, \cdots, 0, \cdots \, \end{pmatrix} \\ \bm{a}^{\prime}_{j} &= \begin{pmatrix} \, 0, \cdots, 0, \cdots, 1, \cdots \, \end{pmatrix} \\ \end{align*} \right. $$

  • これを満たすためには、$\bm{a}^{\prime}_{i}$ と $\bm{a}^{\prime}_{j}$ は、次のようになれば良いと考えられます。

    $$ \left\{\; \begin{align*} \bm{a}^{\prime}_{i} &= \begin{pmatrix} \, 0, \cdots, 1, \cdots, -c, \cdots \, \end{pmatrix} \\ \bm{a}^{\prime}_{j} &= \begin{pmatrix} \, 0, \cdots, 0, \cdots, \; \; 1 \, , \cdots \, \end{pmatrix} \\ \end{align*} \right. $$

• このようにして得られた行ベクトル $\bm{a}^{\prime}_{1}, \cdots, \bm{a}^{\prime}_{m}$ を縦にを並べることで、$P_{n} (i, j; c) \, A = E_{n}$ を満たす行列 $A$ が得られます。

• このとき、$A = P_{n} (i, j; -c)$ が成り立ちます。すなわち、$P_{n} (i, j; c) \, A = E_{n}$ を満たす行列 $A$ は、次のように基本行列として表せるということです。

• 同様の考え方により、$A \, P_{n} (i, j; c) = E_{n}$ が成り立つことも確かめられます。
• 以上から、$P_{n} (i, j; c)$ は正則であり、その逆行列 $P_{n} (i, j; -c)$ も基本行列であることが確かめられました。
  $$ \begin{align*} P_{n} (i, j; c) \, P_{n} (i, j; -c) = P_{n} (i, j; -c) \, P_{n} (i, j; c) = E_{n} \end{align*} $$

（3）$P_{n} (i, j)$ の逆行列#

• 定理 5.8（基本変形と基本行列の対応）より、基本行列 $P_{n} (i, j)$ は、ある行列の第 $i$ 行と第 $j$ 行を入れ替える（または、第 $i$ 列と第 $j$ 列を入れ替える）という基本変形に対応します。

• したがって、$P_{n} (i, j)$ に対して、$n$ 次正方行列 $A$ を右から掛けた行列の積は、次のように表せます。

  $$ \begin{gather*} P_{m} (i, j) \; A = \begin{pmatrix} \, \bm{a}^{\prime}_{1} \, \\ \vdots \\ \bm{a}^{\prime}_{j} \\ \vdots \\ \bm{a}^{\prime}_{i} \\ \vdots \\ \, \bm{a}^{\prime}_{m} \, \end{pmatrix} % A \, P_{n} (i, j) = \begin{pmatrix} \, \bm{a}_{1}, \cdots, \bm{a}_{j}, \cdots, \bm{a}_{i}, \cdots, \bm{a}_{n} \, \end{pmatrix} \end{gather*} $$

• $P_{n} (i, j) \; A = E_{n}$ が成り立つためには、$A$ の行ベクトルについて次のようになれば良いと考えられます。

  • 第 $i$ 行目と第 $j$ 行目以外、すなわち、$\bm{a}^{\prime}_{i}$ と $\bm{a}^{\prime}_{j}$ 以外は、$k$ 番目の成分が $1$ でそれ以外の成分が $0$ であるような行ベクトルであれば良いです。（ここで、$1 \leqslant k \leqslant m$ とします。）

    $$ \left\{\; \begin{align*} \bm{a}^{\prime}_{1} &= \begin{pmatrix} \, 1, 0, 0, \cdots \, \cdots, 0 \, \end{pmatrix} \\ \bm{a}^{\prime}_{2} &= \begin{pmatrix} \, 0, 1, 0, \cdots \, \cdots, 0 \, \end{pmatrix} \\ & \; \; \vdots \\ \bm{a}^{\prime}_{m} &= \begin{pmatrix} \, 0, \cdots \, \cdot \, \cdots, 0, 1 \, \end{pmatrix} \\ \end{align*} \right. $$

  • 第 $i$ 行目と第 $j$ 行目については、次が成り立つ必要があります。

    $$ \left\{ \; \begin{align*} \bm{a}^{\prime}_{j} &= \begin{pmatrix} \, 0, \cdots, 1, \cdots, 0, \cdots \, \end{pmatrix} \\ \bm{a}^{\prime}_{i} &= \begin{pmatrix} \, 0, \cdots, 0, \cdots, 1, \cdots \, \end{pmatrix} \\ \end{align*} \right. $$

  • つまり、$\bm{a}^{\prime}_{j}$ は $i$ 番目の成分が $1$ でそれ以外の成分が $0$ であるような行ベクトルであり、$\bm{a}^{\prime}_{i}$ は $j$ 番目の成分が $1$ でそれ以外の成分が $0$ であるような行ベクトルであれば良いです。

• このようにして得られた行ベクトル $\bm{a}^{\prime}_{1}, \cdots, \bm{a}^{\prime}_{m}$ を縦にを並べることで、$P_{n} (i, j) \, A = E_{n}$ を満たす行列 $A$ が得られます。

• このとき、$A = P_{n} (i, j)$ が成り立ちます。すなわち、$P_{n} (i, j) \, A = E_{n}$ を満たす行列 $A$ は $P_{n} (i, j)$ 自身であるということです。

• 以上から、$P_{n} (i, j)$ は正則であり、その逆行列 $P_{n} (i, j)$ も基本行列であることが確かめられました。
  $$ \begin{align*} P_{n} (i, j) \, P_{n} (i, j) = E_{n} \end{align*} $$

証明のまとめ#

• 以上から、 基本行列（$1$）$\sim$（$3$）がいずれも正則であり、それぞれの逆行列もまた基本行列であることが確かめられました。
• なお、定理の前半（基本行列が正則であること）のみであれば、行列式の値を求めることで、直ちに示すことができます。

（参考）基本行列が正則であることのみの証明#

• 定理 3.22（逆行列を持つための条件）と行列式の基本的性質（特に、 系 3.18（三角行列の行列式））から直ちに導くことができます。

• すなわち、 系 3.18（三角行列の行列式）より、基本行列（$1$）$\sim$（$3$）の行列式は、それぞれ次のようになります。

  $$ \begin{alignat*} {2} & (1) & \quad \det P_{n} (i; c) &= c \neq 0 \\ & (2) & \quad \det P_{n} (i, j; c) &= 1 \neq 0 \\ & (3) & \quad \det P_{n} (i, j) &= 1 \neq 0 \end{alignat*} $$

• いずれも行列式の値が $0$ ではないことから、 定理 3.22（逆行列を持つための条件）より、基本行列（$1$）$\sim$（$3$）は正則である（逆行列を持つ）といえます。

まとめ#

• 基本行列はいずれも正則であり、逆行列もまた基本行列である。

参考文献

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.