簡約階段行列(1)

簡約階段行列と呼ばれる行列の形を定義するとともに、任意の行列が行基本変形により簡約階段行列に変形できることを示します。

簡約階段行列は、連立一次方程式の解法や逆行列の計算に利用されます。標準化された行列の形のうち、応用上もっとも重要な形といえます。

簡約階段行列


定義 5.4(簡約階段行列)

次の 44 つの条件を満たす行列を簡約階段行列(reduced row\text{reduced row} echelon form\text{echelon form} : RREF\text{: RREF})という。

i\text{i}00 でない成分を持つ行は、00 しか成分を持たない行よりも上にある。
ii\text{ii})ある行の主成分は、11 つ上の行の主成分よりも右にある。
iii\text{iii}00 でない成分を持つ行の主成分はすべて 11 に等しい。
iv\text{iv}00 でない成分を持つ行の主成分を含む列において、主成分以外の成分はすべて 00 に等しい。


解説

簡約階段行列の形

簡約階段行列は、次のような形の行列になります。

簡約階段行列の形

ここで、OO は左下の成分がすべて 00 であることを表しており、\ast は任意のスカラーを表しています。

簡約階段行列は階段行列の一種

簡約階段行列であるための条件(i\text{i})と(ii\text{ii})は、前項に定義した階段行列であるための条件に他なりません。

すなわち、簡約階段行列は階段行列であるといえます。階段行列のうち、(iii\text{iii})主成分がすべて 11 であり(iv\text{iv})主成分の上の成分がすべて 00 であるような行列が、簡約階段行列です。

簡約階段行列の条件

AA(m,n)(m, n) 型行列として A=(aij)A = (a_{i j}) とすると、AA が簡約階段行列であるための条件(i\text{i})(ii\text{ii})は、次のように論理記号表すことができます。ここで、第 ii 行の主成分を aijia_{i j_{i}} とします。当然ながら、これは前項の階段行列の条件i\text{i})(ii\text{ii})と同じになります。

(i){1iraij0r<imaij=0(ii)j1<j2<<jr(  a1j10,a2j20,,arjr0  ) \begin{gather*} (\text{i}) & \left\{ \begin{array} {clc} 1 \leqslant i \leqslant r & \Rightarrow & {}^{\exist} a_{i j} \neq 0 \\ r \lt i \leqslant m & \Rightarrow & {}^{\forall} a_{i j} = 0 \\ \end{array} \right. \\ \\ (\text{ii}) & j_{1} \lt j_{2} \lt \cdots \lt j_{r} \\ & (\; a_{1 j_{1}} \neq 0, a_{2 j_{2}} \neq 0, \cdots, a_{r j_{r}} \neq 0 \;) \end{gather*}

また、AA が簡約階段行列であるための条件(iii\text{iii})と(iv\text{iv})は、まとめて次のように表すことができます。

(iii),(iv)aijk={1(i=k)0(ik)(1kr) \begin{gather*} (\text{iii}), (\text{iv}) && a_{i j_{k}} = \left\{ \begin{array} {cc} 1 & (i = k) \\ 0 & (i \neq k) \\ \end{array} \right. & (1 \leqslant k \leqslant r) \end{gather*}

1kr1 \leqslant k \leqslant r において、第 kk 行は「 00 でない成分を持つ行」にあたります。このとき、第 kk 行の主成分は akjka_{k j_{k}} であり、第 kk 行の「主成分を含む列」の各成分は ii1im1 \leqslant i \leqslant m)を列番号として aijka_{i j_{k}} と表すことができます。

したがって、上式は、aijka_{i j_{k}} が主成分(i=ki = k)であれば akjk=1a_{k j_{k}} = 1 であり、主成分以外(iki \neq k)であれば akjk=0a_{k j_{k}} = 0 である、という条件(iii\text{iii})(iv\text{iv})を表しているといえます。


簡約階段行列への変形

任意の行列は簡約階段行列に変形することができます。また、簡約階段行列において、00 でない成分を持つ行の数はもとの行列の階数に等しくなります。

これらの性質をまとめて、次の定理 5.12に示します。



定理 5.12(簡約階段行列)

任意の (m,n)(m, n) 型行列 AA は、行基本変形の操作を繰り返すことで、簡約階段行列に変形することができる。ここで、rrAA の階数を表す。

簡約階段行列の形


解説

簡約階段行列への変形可能性

定理 5.12は、任意の行列が階段行列に変形できるということを示しています。

簡約階段行列と階数

定理 5.12の主張は、簡約階段行列の段数(00 でない成分を持つ行の数)がもとの行列の階数(rr)に一致することを含みます。

与えられた行列に対して階数は一意に定まり(階数の定義)、階数は基本変形により不変(定理 5.10(基本変形と階数))です。

したがって、与えられた行列に対して、行基本変形により得られた簡約階段行列の段数(00 でない成分を持つ行の数)は一意に定まります。

これは、階段行列についても成り立つ性質(定理 5.11(階段行列))であり、簡約階段行列が階段行列の性質を継承していることを表しています。

簡約階段行列と階段行列の違い

階段行列にない性質で、簡約階段行列にある性質としては一意性があります。すなわち、次のような違いがあります。

  • 階段行列:階段の段数(00 でない成分を持つ行の数)は一意に定まるが、行列の形は一意に定まらない。
  • 簡約階段行列:階段の段数(00 でない成分を持つ行の数)も行列の形も一意に定まる。

簡約階段行列の形が一意に定まるということは大変重要であり、この性質は、連立一次方程式の解法などで簡約階段行列を利用する際の拠り所となります。

簡約階段行列の一意性に関しては、次項に定理とその証明を示します。



証明

AA(m,n)(m, n) 型行列として、AA の階数を rr とする。定理 5.11(階段行列)より、AA は次のような階段行列に変形することができる。

階段行列(簡約階段行列への変形前)

ここで、AA の第 ii 行を aiji1{a_{i j_{i}}}^{-1} 倍するという操作を 1ir1 \leqslant i \leqslant r について繰り返すことで、第 11 行から第 rr 行の主成分をすべて 11 とすることができる。

階段行列の主成分を1とした形(簡約階段行列への変形前)

また、AA の第 ii 行を akji-a_{k j_{i}} 倍して第 kk 行に加えるという操作を 1k<i1 \leqslant k \lt i について繰り返すことで、第 ii 行の主成分の上の成分がすべて 00 に等しくなる。この操作を 1ir1 \leqslant i \leqslant r について繰り返すことで、第 11 行から第 rr 行の主成分を含む列において、主成分以外の成分はすべて 00 に等しくなる。

簡約階段行列の形

したがって、任意の (m,n)(m, n) 型行列 AA は、行基本変形により簡約階段行列に変形することができる。また、定理 5.11(階段行列)より、得られた簡約階段行列の階数は rr であり、もとの行列 AA の階数に等しい。\quad \square



証明の骨子

はじめに、定理 5.11(階段行列)を用いて階段行列に変形します。階段行列に対して、00 でない成分を持つ行の主成分を 11 にして、上の列を掃き出すことで簡約階段行列が得られます。

基本的な考え方は前項の定理 5.11(階段行列)と同じです。

前提事項の整理

  • 前提として、AA(m,n)(m, n) 型行列、AA の階数を rr とします。

階段行列への変形

  • はじめに、AA を階段行列に変形します。
  • 定理 5.11(階段行列)より、任意の行列は階段行列に変形することができます。
    • AA の階数が rr であることから、00 でない成分を持つ行の数は rr になります。
    • また、それぞれの行の主成分を aijia_{i j_{i}} とすると、aiji0a_{i j_{i}} \neq 0 であり、j1<j2<<jrj_{1} \lt j_{2} \lt \cdots \lt j_{r} が成り立ちます。
階段行列(簡約階段行列への変形前)

簡約階段行列への変形

  • 得られた階段行列を簡約階段行列に変形します。
  • まず、階段行列において、00 でない成分を持つ行の主成分を 11 にします。
    • AA の第 ii 行を aiji1{a_{i j_{i}}}^{-1} 倍するという操作を 1ir1 \leqslant i \leqslant r について繰り返すことで、第 11 行から第 rr 行の主成分はすべて 11 に等しくなります。(基本変形(11)「ある行を cc 倍する」
    • これにより、AA は、簡約階段行列の条件(iii\text{iii})を満たす形に変形されました。
階段行列の主成分を1とした形(簡約階段行列への変形前)
  • 次に、主成分より上にある成分がすべて 00 に等しくなるよう変形します。
    • 00 でない成分を持つ行について、主成分を要(かなめ)に列を掃き出すという操作を繰り返します。

    • AA の第 ii 行を akji-a_{k j_{i}} 倍して第 kk 行に加えるという操作を 1k<i1 \leqslant k \lt i について繰り返すことで、第 ii 行の主成分の上の成分がすべて 00 に等しくなります。(基本変形(22)「ある行を cc 倍して他の行に加える」

      (a1jiai1ji1100)(001100) \begin{gather*} \begin{pmatrix} & \begin{array} {:c:} \hdashline a_{1 j_{i}} \\ \vdots \\ a_{i-1 \, j_{i}} \\ \hdashline \end{array} & \\ \cdots \, \cdots & 1 \vphantom{\huge{1}} & \cdots \, \cdots \\ & \begin{array} {c} 0 \\ \vdots \\ 0 \end{array} & \\ \end{pmatrix} \longrightarrow \begin{pmatrix} & \begin{array} {:c:} \hdashline 0 \\ \vdots \\ 0 \\ \hdashline \end{array} & \\ \cdots \, \cdots & 1 \vphantom{\huge{1}} & \cdots \, \cdots \\ & \begin{array} {c} 0 \\ \vdots \\ 0 \end{array} & \\ \end{pmatrix} \end{gather*}

    • この操作を 1ir1 \leqslant i \leqslant r について繰り返すことで、第 11 行から第 rr 行の主成分を含む列において、主成分以外の成分はすべて 00 に等しくなります。

    • これにより、AA は、簡約階段行列の条件(iv\text{iv})を満たす形に変形されました。

簡約階段行列の形

まとめ

  • 任意の行列は、行基本変形により簡約階段行列に変形することができる。
  • 簡約階段行列の段数(00 でない成分を持つ行の数)はもとの行列の階数等しい。
  • 簡約階段行列の段数(00 でない成分を持つ行の数)と形は一意に定まる。

参考文献

[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] 雪江明彦. 代数学 11 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 22 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 I\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.


初版:2023-07-11   |   改訂:2024-11-28