2.2章の行列の基本変形で連立1次方程式の解法として, ガウスの消去法についてふれましが, ここでは連立1次方程式がいつ解をもつか詳しく調べます. まず, 未知数の個数(元の数)と方程式の数が必ずしも同じでない連立1次方程式を考えます.
証明
を
型の行列とし
とすると,
の列空間の次元は
であり
.したがって
の
番目の列ベクトルbは, はじめの
個の列ベクトル
逆に, 係数行列 の各列を列ベクトル
と考えると, 方程式
は
解
![]() |
![]() |
![]() |
|
![]() |
![]() |
連立方程式の一般解
次の定理は連立1次方程式を解くときに何を探せばよいか教えてくれます.
証明
を
の解とすると,
は
の解である.なぜならば,
この定理より連立1次方程式
を解くには, まず連立同次1次方程式
を解く必要があることが分かりました.そこで
について考えてみましょう.
まず
となるので, 定理2.3より解が存在します.実際に
は
組の解です.これを 自明な解(trivial solution) といいます.次に連立同次1次方程式
の
個の自明でない解ベクトルを
解空間の次元と行列の階数にはどんな関係があるのか興味のわくところです.じつはこのふたつの間には次のような関係があります.
証明
より
は行基本変形を施して次のような行列に変形できる.
自由度
基本解の個数 は基本解を表すのに必要な任意の定数の数を表し, この数のことを 自由度(degree of freedom) ともいいます.
解
ガウスの消去法を用いる.
![]() |
![]() |
![]() |
|
![]() |
![]() |
逆行列
前節で 次の正方行列全体は加法, 減法, 乗法に関して, 皆さんがよく知っている数の世界と似ていることを発見しましたが割り算はどうでしょうか.数の場合には
が 0 でない限り,
となる数
がちょうどひとつ存在しました.行列の場合は事情はこれほど簡単ではありません.たとえば, 行列
を見て下さい.
は零行列ではありません.しかし
に対し,
となる行列
は存在しません.つまり行列の場合は数の世界のように 0 でなければ必ず逆元が存在するとはいえないのです.そこで数の世界の性質を保つ行列を特別な名前でよんであげます.
正則行列
次の正方行列
に対し,
となる行列
が存在するとき,
を 正則行列(regular matrix) といいます.またこのような
を
の 逆行列(inverse matrix) といいます.
の逆行列はいくつあるのでしょうか.たとえば
とすると
となり
の逆行列はひとつしかないことが分ります.そこで
の逆行列を
と表します.
この考えを使ってもう度連立1次方程式
を解いてみましょう.
を正則行列とすると,
より
となります.したがって, 連立1次方程式を解くためには逆行列
を求めて解く方法もあることが分りました.つまり
となる行列
を求めれば良いわけです.この行列を簡単に求める方法があります.それを紹介する前に正則行列と行列の階数の関係を述べておきます.
証明
定理2.2より
と
は同値である.
つまり
のとき, 適当な基本行列の積
を選んで
と表せる.言い換えると
は正則行列である.
逆に, が正則行列のとき
を見てみると, 適当な基本行列の積
を用いて,
と表せる.ここで
は基本行列の積だから正則.よって
が存在する.もし
とすると
の最下行の成分はすべて 0 である.このような行列は正則行列ではない(演習問題2.3)から, 正則行列
の積は正則行列でないことになって矛盾する(演習問題2.3).よって
.
ここで から
を求める方法を紹介します.
は正則行列なので適当な基本行列の積
に対して,
となります.そこでこの
を
に左からかけると
より
を求めるのは
を求めるのと同じことだということが分ります.これは
にいくつかの適当な行基本変形を施して単位行列となるならば, それとまったく同じ変形を
次の単位行列
に施せばその結果が
であることを示しています.
解
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
ここまでで学んだことをまとめると次のような定理を得ます.
1. 次の連立1次方程式をガウスの消去法を用いて解け.
2. 次の連立1次方程式が解をもつように, 定数 の値を定めよ.また, そのときの解を求めよ.
3. 次の行列の正則性を判定し, 正則ならば逆行列を求めよ.
4.
が正則行列となるのは
がどのようなときか調べよ.
5.
は正則行列であることを示し,
を基本行列の積で表せ.
6. 正方行列のひとつの行の成分がすべて 0 ならば, は正則でないことを証明せよ.
7. がともに
次正則行列ならば, 積
も正則で,