【線型代数学入門】連立一次方程式の解法
1. 記事の目的
以下の記事で、行列の基本変形と行列の階数について述べた。本記事ではこれらの概念を用いて、連立一次方程式の開放について解説する。
2. 連立一次方程式
中学生の時に、未知変数二つに対して、方程式を2個用意すれば、未知変数を決定することができるということを習ったはずでる。ここではより一般的に個の未知変数に対し、本の連立方程式を用意した時にいつ解が求められるのか、あるいはどうやって
求められるのかを解説する。数学では非線形的な問題を線形的に近似して、連立方程式を解いて近似解を求めるというアプローチがしばしば取られる。こういった意味でも連立一次方程式の解法は重要となってくる。ここで、連立一次方程式とは次のようなものである。
個の未知変数に関する個の一次方程式の組、
を連立一次方程式という。
連立方程式は常にただ一つの解を持つとは限らない。例えば、
は無数の解を持つ(、は任意の実数は全て解)
また、連立一次方程式が解をもたない時もある。例えば、
は解をもたない。
3. 拡大係数行列
連立一次方程式(1)を考える。係数を並べた行列
を(1)の係数行列という。またの右端にを付け加えた行列
を(1)の拡大係数行列という。また、
とすると、(1)を次の(2)と(3)の形に書くことができる。
4. 拡大係数行列に関する定理
任意の次正方行列に対し、(3)は、
と同じである。これは(3)と(4)の解が全く同じであることを示す。また、(4)は、に左基本変形を施しても、その結果得られる新しい方程式は、元の方程式(3)と同じことを意味する。即ち、を左基本変形で、簡単な形にすることで、連立一次方程式の解を求めることができることを示す。また、足し算の順序を変えることで、変数の順序を変えることができる。これは、拡大係数行列の最終列以外の順番を任意に変えることができることを示す。まとめると
左基本変形
最終列以外の順番を変える
操作のみで、拡大係数行列をなるべく簡単な形にして、連立方程式を解く方法が考えられるのではないかというアプローチが考えられる。
上記の2点の変形で拡大係数行列は、次の定理に示す形まで変形することができる。
定理
拡大係数行列に、左基本変形及び、最後の列以外の列の交換を何回か行うことで、[tex\hat{A}]は図1の[tex\hat{B}]に変形することができる。
ただし、は係数行列の階数である。
証明:ならば
より、のの場合である。ならば、行の変換もしくは、列以外の交換によって、成分がでないようにすることができる。そこで、をかなめとして第1列を掃き出す。掃き出しに関しては以下の記事を参照。
ここで、第2列から第列までの第2行以下がならば、これが求める形である(の場合)。第2列と第列の間にでないものがあれば、成分を1にし、第2列の成分以外を全て0にすることができる。この操作を可能な限り続けることで、あるに対して、の形になる。
次に、がの階数に等しいことを証明する。次のことに注意する。に施した基本変形により、の1部分であるにも同じ基本変形が施される。従って、から最後の列を取り除いた型行列をとすると、の階数と、の階数とは次の記事の定理により等しい(はに基本変形を施されて得られている。即ちある正則行列に対して
一方、Bの階数をとすると、基本行列、を用いて、
よって、
行列の階数は変形対象の行列のみで決定されるので、はの回数でもある。従って、との階数は等しい。 )。
の第列から、第列の倍を引けば、標準形を得る。の階数はとなり、またの階数との階数は等しいので、はの階数と等しい。
5. 連立一次方程式の解法
従って、上記の定理から(3)は、
の形になる。これは、
の形になる。ここで、の中にでないものがあれば、(2)は解をもたない。の時はに任意の数、を代入し、その部分を移行すると、次の形になる。
従って、次の定理が得られる。
定理5.1
方程式(1)は、拡大係数行列に、左基本変形及、最終右列以外の列の変換を施してに変形した時、の時に限って解を持つ。その時の解は、に、個の任意定数を代入し、(4)によって、を定めることによって得られる。ただし、未知数の順序は、列の交換に対応して入れ替わっている。
6. 例
次の連立一次方程式を解く。
拡大係数行列は次のように変形される。
第4行が0からなるので、解は存在し、個の任意定数を含む。(5)の操作で、第3列と第4列を交換したので、
従って、解はとして、
となる。
7. 斉次一次方程式
式(2)で、であるような一次方程式を、斉次一次方程式という。斉次一次方程式に関し、次の定理が成り立つ。
定理7.1
が型行列、とする。
ならば、斉次一次方程式
は少なくとも1つの自明でない解(以外の解)を持つ。
定理7.1は、ベクトル空間の次元の定義において重要になる。次の定理7.2を使って証明される。
定理7.2
個の未知数に関する個の斉次一次方程式
において、係数行列の階数がならば、(6)は個の自明でない解を持ち、任意の解はこれらの線型結合として表される。また、のどの1つもほかの個のベクトルの線型結合として表されない。
証明:式(5)において、である。従って、斉次一次方程式(6)は、式(5)の係数の記号を用いて、
という、個の解を持ち、そのほかの解はこれらの線型結合として表すことができる。また、の第成分以降の形から、のどの一つも、ほかの個の元で表すことができない。
定理7.1の証明:をの階数とすると、
より、なので、定理7.2より少なくとも1つの自明でない解を持つ。
次の記事
8. 参考文献
[1] 線型代数入門
価格:2,090円 |