基本変形と基本行列

基本行列とは、前項で定義した基本変形の各操作に対応する正方行列です。

ある行列 $A$ に対して基本変形の操作を行うことは、対応する基本行列を $A$ に掛けることと同じになります。すなわち、基本変形が施された行列は、もとの行列といくつかの基本行列の積として表すことができるということです。

基本行列の定義#

定義 5.2（基本行列）#

次の正方行列を基本行列（$\text{elementary matrix}$）という。

（$1$）$P_{n} (i; c)$ の解説#

$1$ つ目の基本行列は、ある行（または列）を $c$ 倍するという基本変形に対応する行列です。$i$ 行目（または $i$ 列目）を $c$ 倍することから、$P_{n} (i; c)$ などと表します。

$P_{n} (i; c)$ は、$n$ 次の単位行列 $E_{n}$ の $(i, i)$ 成分を $c$ で置き換えた行列であり、非対角成分はすべて $0$ となります。

（$2$）$P_{n} (i, j; c)$ の解説#

$2$ つ目の基本行列は、ある行（または列）を $c$ 倍して他の行（または列）に加えるいう基本変形に対応する行列です。$P_{n} (i, j; c)$ などと表し、$j$ 行目を $c$ 倍して $i$ 行目に加える（もしくは $i$ 列目を $c$ 倍して $j$ 列目に加える）操作に対応します。

$P_{n} (i, j; c)$ は、$n$ 次の単位行列 $E_{n}$ の $(i, j)$ 成分を $c$ で置き換えた行列です。定義 5.2より $i \neq j$ であるので、$P_{n} (i, j; c)$ の対角成分はすべて $1$ で、$(i, j)$ 成分以外の非対角成分はすべて $0$ となります。

仮に $i = j$ とすると、（$2$）$P_{n} (i, j; c)$ は（$1$）$P_{n} (i; c)$ と同じ行列となります。しかしながら、これでは定義が重複してしまいますので、定義 5.2では $i \neq j$ としていると理解できます。

（$3$）$P_{n} (i, j)$ の解説#

$3$ つ目の基本行列は、$2$ つの行（または列）を入れ替えるという基本変形に対応する行列です。$i$ 行目と $j$ 行目（もしくは $i$ 列目と $j$ 列目）を入れ替えることから、$P_{n} (i, j)$ などと表します。

$P_{n} (i, j)$ は、$n$ 次の単位行列 $E_{n}$ の第 $i$ 行と第 $j$ 行を入れ替えた行列です（$E_{n}$ の第 $i$ 列と第 $j$ 列を入れ替えても同じ行列が得られます）。したがって、$(i, j)$ 成分と $(j, i)$ 成分はともに $1$ であり、それ以外の非対角成分はすべて $0$ となります。

ここでも、定義 5.2において $i \neq j$ とされています。仮に $i = j$ とすると、（$3$）$P_{n} (i, i)$ は単位行列 $E_{n}$ そのものであり、これは与えられた行列に何もしないという操作に対応するため、定義から除かれていると理解できます。

基本行列の必要条件（正方行列であること）#

基本行列はすべて正方行列です（定義 5.2）。これは、基本行列の積が基本変形を表すための必要条件であるともいえます。

仮に $A$ を $(m, n)$ 型の行列とすれば、$A$ に対して基本変形の操作を何度行っても行列の型は変わらず $(m, n)$ 型である必要があります（基本変形の定義）。したがって、行列の積の演算規則により、$A$ の型を変えないためには基本行列は正方行列である必要があると捉えることができます。

基本変形との対応#

行列の基本変形は $6$ つの操作からなります（基本変形の定義）。一方で、定義 5.2 で導入した基本行列は $3$ つの行列しかありません。

それぞれ、どの基本行列がどの基本変形に対応しているか、以下に整理します。

定理 5.8（基本変形と基本行列の対応）#

$A$ を $(m, n)$ 型行列とする。$A$ に対する行基本変形は、$A$ に対して $m$ 次の基本行列を左から掛けることに等しい。また、$A$ に対する列基本変形は、$A$ に対して $n$ 次の基本行列を右から掛けることに等しい。

解説#

同じ基本行列が行基本変形と列基本変形のどちらにも対応しています。

例えば、ある行列 $A$ に対して、$P_{m} (i; c)$（行または列を $c$ 倍する基本行列）を左から掛ければ $A$ の $i$ 行目が $c$ 倍され、$P_{n} (i; c)$ を右から掛ければ $A$ の $i$ 列目が $c$ 倍される、といった具合です。

基本変形の対象となる行列 $A$ が $(m, n)$ 型行列であることから、行基本変形（左から掛ける）に対応する基本行列は $m$ 次の正方行列であり、列基本変形（右から掛ける）に対応する基本行列は $n$ 次の正方行列である必要があります。これは、行列の積の演算が成り立つために必要となる条件です。

証明#

（$1$）$(m, n)$ 型行列 $A$ に対して $P_{m} (i; c)$ を左から掛けると $A$ の第 $i$ 行が $c$ 倍される。これは、$A$ に対して行基本変形（$1$）を行った結果に等しい。また、$A$ に対して $P_{n} (i; c)$ 右から掛けると $A$ の第 $i$ 列が $c$ 倍される。これは、列基本変形（$1^{\prime}$）に対応する。

（$2$）$A$ に対して $P_{m} (i, j; c)$ を左から掛けると $A$ の第 $i$ 行に第 $j$ 行の $c$ 倍が加わる。これは、行基本変形（$2$）に対応する。また、$A$ に対して $P_{n} (i, j; c)$ 右から掛けると $A$ の第 $j$ 列に第 $i$ 列の$c$ 倍が加わる。これは、列基本変形（$2^{\prime}$）に対応する。

（$3$）$A$ に対して $P_{m} (i, j)$ を左から掛けると $A$ の第 $i$ 行と第 $j$ 行が入れ替わる。これは、行基本変形（$3$）に対応する。また、$A$ に対して $P_{n} (i, j)$ 右から掛けると $A$ の第 $i$ 列と第 $j$ 列が入れ替わる。これは、列基本変形（$3^{\prime}$）に対応する。$\quad \square$

証明の骨子#

定義 5.2から明らかといえます。行列の積の演算規則にしたがって確かめることができます。$A$ は $(m, n)$ 型行列であるので、基本行列は、左から掛ける場合 $m$ 次の正方行列であり、右から掛ける場合 $n$ 次の正方行列となります。

証明の準備#

• $A$ の行ベクトルを $\bm{a}^{\prime}_{1}, \cdots, \bm{a}^{\prime}_{m}$、列ベクトルを $\bm{a}_{1}, \cdots, \bm{a}_{n}$ として、基本行列との積がどのように表されるか考えます。
  $$ \begin{array} {ccc} A = \begin{pmatrix} \, \bm{a}^{\prime}_{1} \, \\ \vdots \\ \, \bm{a}^{\prime}_{m} \, \end{pmatrix}, & A = \begin{pmatrix} \, \bm{a}_{1}, \cdots, \bm{a}_{n} \, \end{pmatrix} \end{array} $$

（$1$）の証明#

• $A$ と基本行列の積は次のように表せます。

  $$ \begin{split} 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{split} $$

• これは、$A$ に対して基本変形（$1$）、（$1^{\prime}$）を行った結果に他なりません。

（$2$）の証明#

• $A$ と基本行列の積は次のように表せます。

  $$ \begin{split} 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{split} $$

• 左から $P_{m} (i, j; c)$ を掛けた場合、$A$ の第 $i$ 行が変わりますが、右から $P_{n} (i, j; c)$ を掛けた場合、$A$ の第 $j$ 列が変わります。つまり、同じ基本行列であっても、左右どちらから掛けるかにより変化する行（または列）番号が異なります。

• そこで、逆に $A$ の第 $j$ 行に第 $i$ 行の $c$ 倍を加えるような基本変形はどのような基本行列により表される考えます。

  • 次の（$2^{\prime}$）のような基本行列を考えれば、変化する行（または列）番号が入れ替わります。
  
  
  

  • すなわち、左から $P_{m} (j, i; c)$ を掛けた場合、$A$ の第 $j$ 行に第 $i$ 行の $c$ 倍が加わりますが、右から $P_{n} (j, i; c)$ を掛けた場合、$A$ の第 $i$ 列に第 $j$ 列の $c$ 倍が加わることになります。

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

  • 以上から、（$2$）により表される基本行列がすべての基本変形（$2$）と（$2^{\prime}$）に対応していることがわかります。

（$3$）の証明#

• $A$ と基本行列の積は次のように表せます。

  $$ \begin{split} 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{split} $$

• これは、$A$ に対して基本変形（$3$）、（$3^{\prime}$）を行った結果に他なりません。

まとめ#

• 行列に対する $6$ つの基本変形は、$3$ つの基本行列により表される。
• 基本行列は正方行列である。
• $A$ を $(m, n)$ 型行列とすると、
  • $A$ に対する行基本変形は、$A$ に対して $m$ 次の基本行列を左から掛けることに等しい。
  • $A$ に対する列基本変形は、$A$ に対して $n$ 次の基本行列を右から掛けることに等しい。

参考文献#