線型代数学/線型方程式の解

出典: フリー教科書『ウィキブックス（Wikibooks）』

< 線型代数学

移動: ナビゲーション, 検索

線型代数学 > 線型方程式の解　

このページでは、線型方程式序論で書いたような線型方程式の解の求め方や、その性質について議論する。

[編集] 線型方程式の解

[編集] 準備

[編集] 拡大係数行列

線型方程式序論で書いたように、

$\begin{cases} a_{1,1}x_1 + \cdots + a_{1,n}x_n = b_1 \\ \vdots \\ a_{m,1}x_1 + \cdots + a_{m,n}x_n = b_m \end{cases}$

という線型方程式は、 $\ A =\begin{pmatrix} a_{1,1} & \cdots & a_{1,n}\\ \vdots & \ddots & \vdots\\ a_{m,1} & \cdots & a_{m,n}\\ \end{pmatrix} \in \ M(m,n; \bold K),\bold x = \begin{pmatrix} x_1\\ \vdots \\ x_n \end{pmatrix} , \bold b = \begin{pmatrix} b_1 \\ \vdots \\ b_m \end{pmatrix}$ を用いて、

$\ A \bold x = \bold b$ と書ける。

この表示の仕方も正しいのだが、次のように書きなおしたほうがこの方程式を解く際に便利である。

定義

$\tilde A = \begin{pmatrix} \ A & \bold b \\ \end{pmatrix} ,\bold \tilde x = \begin{pmatrix} x_1\\ \vdots \\ x_n \\ -1 \\ \end{pmatrix}$ とおくと、方程式 $\ A \bold x = \bold b$ 　は　

$\tilde A \bold \tilde x = \bold 0$

と書きなおせる。このとき、 $\tilde A$ を拡大係数行列という。

[編集] 方程式の変形

次に、この方程式を解く際にどのような操作が許されるか考えよう。

まず、基本行列を左からかける、つまり左基本変形に対して方程式　 $\tilde A \bold \tilde x = \bold 0$ 　の解が不変であることは明らかであろう。この操作は、高校までの連立方程式を解くときの操作に対応している。

これ以外の操作として、第n+1列を除いた列の交換を考えてみよう。

第i列と第j列を入れ替えたとき、元の方程式と同値な方程式を得るには未知数 $\ x_i$ と未知数 $\ x_j$ を入れ替えればよい。

実際、

$\tilde A\bold \tilde x = \tilde AP(i,j)P(i,j)\bold \tilde x = (\tilde AP(i,j))(\ P(i,j)\bold \tilde x)$

であるから、 $\ P(i,j)\bold \tilde x$ が分かれば、これの第i行と第j行を入れ替えるだけで、元の方程式の解になる。

この操作は足し算の順番を入れ替えることに対応している。

ここで、上の式と同様にして $\ Q \in \ M(n;\bold K)$ が正則だとすると、

$\tilde A\bold \tilde x = \tilde AQQ^{-1}\bold \tilde x = (\tilde AQ)(\ Q^{-1}\bold \tilde x)$

となるので、 $\ Q^{-1}\bold \tilde x$ 　を求めてもよいのだが、 $\tilde A$ 　を右基本変形するたびにその行列を記録してあとからその積を求めなければならない。なので、上に書いた操作だけで求められるのならそちらの方がよいことはわかるであろう。

以上をまとめて、

$\tilde A$ に左基本変形を施す。
$\tilde A$ のn+1列目を除く列の交換を行う。

という操作だけを許すことにしよう。

[編集] 解の存在条件

定理

$\tilde A\bold \tilde x = 0$ は上の2種類の操作によって以下の形にできる。

$\tilde B = \begin{pmatrix} \ I_r & \ C & \bold d_1\\ \bold 0 & \bold 0 & \bold d_2\\ \end{pmatrix} \bold \tilde y = \bold 0$

ここで、 $\ r = \ rank(A) , \ y_1,\cdots,y_n$ は $\ x_1,\cdots,x_n$ と1対1に対応している。

（証明）証明方法は階数のページのものとほとんど同じである。

$\ A = 0$ 　のときは求めたい形になっている。

$\ A \neq 0$ 　のとき $\ a_{i,j} \neq 0$ であったとすると、第i行の $\frac{-a_{k,j}}{a_{i,j}}$ 倍を第k行に加えることで

$\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}$

を得る。次に第i行を $\frac{1}{a_{i,j}}$ 倍して第1行と第i行を入れ替え、さらに第1列と第j列を入れ替えることで、

$\begin{pmatrix} \bold e_1 & \ A' & \bold b'\\ \end{pmatrix}$

を得る。ここで、　 $\bold e_1 = \begin{pmatrix} 1\\ 0 \\ \vdots \\ 0 \\ \end{pmatrix}$

以下 $\ A' \neq \bold 0$ なら、同様の操作を繰り返せば帰納的に求めたい形になる。

また、

$\begin{pmatrix} \ I_r & \ C \\ \bold 0 & \bold 0\\ \end{pmatrix}$

は $\ A$ に基本変形を施して得られたものであるから、 $\ r = \ rank(A)$ でなければならない□

この式を連立方程式の形に書きなおすと、

$\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}$

これから、次の定理が成り立つことが分かる。

定理

$\tilde B\bold \tilde y = \bold 0$ が解を持つ　 $\Longleftrightarrow \bold d_2 = \bold 0 \Longleftrightarrow \ rank(B) = rank(\tilde B)\Longleftrightarrow \ rank(A) = rank(\tilde A)$

（証明）

$\tilde B\bold \tilde y = \bold 0$ が解を持つ　 $\Longleftarrow \bold d_2 = \bold 0$

に関しては、 $\ y_i = d_i (1 \leq i \leq r),\ y_{r+1} = \cdots = y_n = 0$ が解となっている。

その他は自明であろう□

[編集] 一般解

上の連立方程式の形から、

$\begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_r \\ \end{pmatrix} = \begin{pmatrix} d_1 \\ d_2 \\ \vdots \\ d_r \end{pmatrix} + y_{r+1}\begin{pmatrix} -c_{1,1} \\ -c_{2,1} \\ \vdots \\ -c_{r,1} \end{pmatrix} + \cdots + y_n\begin{pmatrix} -c_{1,n-r} \\ -c_{2,n-r} \\ \vdots \\ -c_{r,n-r} \end{pmatrix}$

$\alpha_{r+1}, \cdots ,\alpha_{n} \in \bold K$ を任意の数とし、 $y_{r+1} = \alpha_{r+1}, \cdots ,y_n = \alpha_{n}$ とすると、

$\bold y = \begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_r \\ y_{r+1} \\ \vdots \\ y_n \\ \end{pmatrix} = \begin{pmatrix} d_1 \\ d_2 \\ \vdots \\ d_r \\ 0 \\ \vdots \\ 0 \\ \end{pmatrix} + \alpha_{r+1}\begin{pmatrix} -c_{1,1} \\ -c_{2,1} \\ \vdots \\ -c_{r,1} \\ 1 \\ 0 \\ \vdots \\ 0 \\ \end{pmatrix} + \cdots + \alpha_{n}\begin{pmatrix} -c_{1,1} \\ -c_{2,1} \\ \vdots \\ -c_{r,1} \\ 0 \\ \vdots \\ 0 \\ 1 \\ \end{pmatrix}$

未知数 $y_1, \cdots , y_n$ を並び換えて、 $x_1, \cdots , x_n$ の順番にすれば $A\bold x = \bold b$ の一般解となる。

線型代数学/線型方程式の解

出典: フリー教科書『ウィキブックス（Wikibooks）』

目次

[編集] 線型方程式の解

[編集] 準備

[編集] 拡大係数行列

[編集] 方程式の変形

[編集] 解の存在条件

[編集] 一般解

[編集] 例題

[編集] 一般解の性質

[編集] 線型独立な解の個数

表示

個人用ツール

ナビゲーション

ヘルプ

印刷/エクスポート

検索

ツールボックス