線型代数学 > 線型方程式の解
このページでは、線型方程式序論で書いたような線型方程式の解の求め方や、その性質について議論する。
線型方程式序論で書いたように、
![{\displaystyle {\begin{cases}a_{1,1}x_{1}+a_{1,2}x_{2}+\cdots +a_{1,n}x_{n}=b_{1}\\a_{2,1}x_{1}+a_{2,2}x_{2}+\cdots +a_{2,n}x_{n}=b_{2}\\\vdots \\a_{m,1}x_{1}+a_{m,2}x_{2}+\cdots +a_{m,n}x_{n}=b_{m}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59fdd8055cbf9a18d42e72739d43cdd48084486e)
という線型方程式は、
を用いて、
と書くことができる。
ここで、
とおくと、
は、
となり、移項すれば、
である。
つまり、方程式
は、
![{\displaystyle {\tilde {A}}\mathbf {\tilde {x}} =\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ee1b2279f34a3e412f1b5d57ec917e94ab454b3)
と書きなおせる。このとき、
を拡大係数行列という。
次に、この方程式を解く際にどのような操作が許されるか考えよう。
まず、基本行列を左からかける、つまり左基本変形に対して方程式
の解が不変であることは明らかであろう。この操作は、高校までの連立方程式を解くときの操作に対応している。
これ以外の操作として、第n+1列を除いた列の交換を考えてみよう。
第i列と第j列を入れ替えたとき、元の方程式と同値な方程式を得るには未知数
と未知数
を入れ替えればよい。
実際、
![{\displaystyle {\tilde {A}}\mathbf {\tilde {x}} ={\tilde {A}}P(i,j)P(i,j)\mathbf {\tilde {x}} =({\tilde {A}}P(i,j))(\ P(i,j)\mathbf {\tilde {x}} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6c2d7916296c44d1e0ea636cad7d4d755420340)
であるから、
が分かれば、これの第i行と第j行を入れ替えるだけで、元の方程式の解になる。
この操作は足し算の順番を入れ替えることに対応している。
ここで、上の式と同様にして
が正則だとすると、
![{\displaystyle {\tilde {A}}\mathbf {\tilde {x}} ={\tilde {A}}QQ^{-1}\mathbf {\tilde {x}} =({\tilde {A}}Q)(\ Q^{-1}\mathbf {\tilde {x}} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84e4194902a26f36a6cf6974272012d36c420c3e)
となるので、
を求めてもよいのだが、
を右基本変形するたびにその行列を記録してあとからその積を求めなければならない。なので、上に書いた操作だけで求められるのならそちらの方がよいことはわかるであろう。
以上をまとめて、
に左基本変形を施す。
のn+1列目を除く列の交換を行う。
という操作だけを許すことにしよう。
定理
は上の2種類の操作によって以下の形にできる。
![{\displaystyle {\tilde {B}}={\begin{pmatrix}\ I_{r}&\ C&\mathbf {d} _{1}\\\mathbf {0} &\mathbf {0} &\mathbf {d} _{2}\\\end{pmatrix}}\mathbf {\tilde {y}} =\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/71892e9764c3fe2d385ceaa0cc27f6b9dab987b9)
ここで、
は
と1対1に対応している。
(証明)証明方法は階数のページのものとほとんど同じである。
のときは求めたい形になっている。
のとき
であったとすると、第i行の
倍を第k行に加えることで
![{\displaystyle {\begin{pmatrix}&&&0&&&\\&&&\vdots &&&\\&&&0&&&\\a_{i,1}&\cdots &a_{i,j-1}&a_{i,j}&a_{i,j+1}&\cdots &a_{i,n}\\&&&0&&&\\&&&\vdots &&&\\&&&0&&&\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dba1768dd151678bcde6548b0a3511bbbfcf650)
を得る。次に第i行を
倍して第1行と第i行を入れ替え、さらに第1列と第j列を入れ替えることで、
![{\displaystyle {\begin{pmatrix}\mathbf {e} _{1}&\ A'&\mathbf {b} '\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57f8c3c8bffd7889f029ca6db51c8ccedbbe1d87)
を得る。ここで、
以下
なら、同様の操作を繰り返せば帰納的に求めたい形になる。
また、
![{\displaystyle {\begin{pmatrix}\ I_{r}&\ C\\\mathbf {0} &\mathbf {0} \\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a6779054feb0ddc8731c9aa449471d8aa6a3825)
は
に基本変形を施して得られたものであるから、
でなければならない□
この式を連立方程式の形に書きなおすと、
![{\displaystyle {\begin{cases}y_{1}+c_{1,1}y_{r+1}+\cdots +c_{1,n-r}y_{n}=d_{1}\\\vdots \\y_{r}+c_{r,1}y_{r+1}+\cdots +c_{r,n-r}y_{n}=d_{r}\\0=d_{r+1}\\\vdots \\0=d_{n}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4a7f52fbccd06952b996aeea1797584f0d32a36)
これから、次の定理が成り立つことが分かる。
定理
が解を持つ ![{\displaystyle \Longleftrightarrow \mathbf {d} _{2}=\mathbf {0} \Longleftrightarrow \ rank(B)=rank({\tilde {B}})\Longleftrightarrow \ rank(A)=rank({\tilde {A}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caaca4fe01a4207d7264f2110866c49ab1e9329a)
(証明)
が解を持つ ![{\displaystyle \Longleftarrow \mathbf {d} _{2}=\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cd2e0ec2319de32e57839d7d34e8d8a8e9a1e55)
に関しては、
が解となっている。
その他は自明であろう□
上の連立方程式の形から、
を任意の数とし、
とすると、
未知数
を並び換えて、
の順番にすれば
の一般解となる。
次の線型方程式系の解を求めよ。
(1)
(2)
(1)
(2)
を任意定数として、
この解は幾何学的には、
の平面であり、表示は一意的ではない。例えば、
も同じ解となる。