連立一次方程式の一般的性質
| 一般論 | |
|---|---|
| - | 諸定義 |
| - | 解が存在するための必要十分条件 |
| - | 解が唯一つであるための必要十分条件 |
| - | 同次連立一次方程式の解空間の次元 |
| 係数行列が正方行列の場合 | |
|---|---|
| - | 解が唯一つ $\Longleftrightarrow$ 係数行列が正則行列 |
| - | 列が線形独立 $\Longleftrightarrow$ 自明な解のみ |
| - | 自明な解以外のを持つ $\Longleftrightarrow$ 係数行列の行列式 = 0 |
| - | クラメルの公式 |
諸定義
変数の数が $n$ で式が $m$ 個の連立一次方程式
解の存在 $\Longleftrightarrow \hspace{1mm} \mathrm{rank}(A) = \mathrm{rank}\left( \left[A \hspace{1mm} \mathbf{b} \right] \right)$
連立一次方程式
これを ルーシェ・カペリの定理 (Rouche-Capelli theorem) という。
証明
$$
\tag{1}
$$
の
係数行列 $A$ の列ベクトルを
と表すと、
拡大係数行列は、
である。
$[A \hspace{1mm} \mathbf{b}]$ は、
$A$ よりも $1$ 列だけ列ベクトルの多い行列である。
いま、 $A$ の列ベクトルに $r$ 個の線形独立なベクトルが含まれているとすると、 $[A \hspace{1mm} \mathbf{b}]$ の列ベクトルには、 $r+1$ 個の線形独立なベクトルが含まれているか、 $r$ 個の線形独立なベクトルが含まれているかのどちらかである。
このことは、 行列のランクの定義
を用いて次のように書き直せる。
すなわち、
$A$ のランクが $r$ であるならば、
$[A \hspace{1mm} \mathbf{b}]$ のランクは
$r+1$ であるか、$r$ であるかのどちらかである。
式で表すと
である。
以下では、
これらのうちの
$$
\tag{2}
$$
が連立一次方程式
$(1)$ が解を持つための必要十分条件であることを証明する。
が成り立つと仮定する。
この仮定は、 行列 $A$ に $\mathbf{b}$ を追加して、 $[A \hspace{1mm} \mathbf{b} ]$ としてもランクが変わらないことを表している。 行列のランクとは、その行列に含まれる線形独立な列ベクトルの数であるので、 $A$ に $1$ 列追加してできる行列のランクが変わらないならば、 $A$ の列ベクトルと $\mathbf{b}$ が線形従属でなくてはならない (もしも線形独立であるならば、$[A \hspace{1mm} \mathbf{b} ]$ のランクの方が $A$ のランクよりも $1$ だけ大きくなる)。 このことは、 $\mathbf{b}$ が $A$ の列の線形結合によって表せることを意味する。 すなわち、
を満たす係数 $t_{1}, t_{2}, \cdots, t_{n}$ が存在する。
この式は、$ \mathbf{t} = [t_{1}, t_{2}, \cdots, t_{n} ]^{T}$ と定義することにより、
次のように言い表される。すなわち、
を満たす $\mathbf{t}$ が存在する。
これは、
連立一次方程式 $
A \mathbf{x} = \mathbf{b}
$ が解 $\mathbf{x} = \mathbf{t}$ を持つことを表している。
が解を持つと仮定する。
連立一次方程式が解を持つとは、
を満たす $\mathbf{t}$ が存在することである。
ここで、
$ \mathbf{t} = [t_{1}, t_{2}, \cdots, t_{n} ]^{T}$ である。
この式は、
$A$ の列ベクトル $\mathbf{a}_{1}, \cdots \mathbf{a}_{n}$ によって、
と表されるので、
$A$ の列ベクトルと $\mathbf{b}$ は、
互いに線形従属である。
よって、 ベクトルの組
に $\mathbf{b}$ を追加して、
としても、
互いに線形独立なベクトルの数は変わらない。
ゆえに、 ランクの定義( ＝ 列ベクトルの中に含まれる線形独立なベクトルの数)から、
が成り立つ。
以上より、
連立一次方程式
が解を持つために必要十分条件は、
が成立することである。
準備
連立一次方程式
いま、 $A$ の列ベクトルに $r$ 個の線形独立なベクトルが含まれているとすると、 $[A \hspace{1mm} \mathbf{b}]$ の列ベクトルには、 $r+1$ 個の線形独立なベクトルが含まれているか、 $r$ 個の線形独立なベクトルが含まれているかのどちらかである。
このことは、 行列のランクの定義
「$(2) \hspace{1mm} \Longrightarrow \hspace{1mm} (1)$ が解を持つ」の証明
連立一次方程式 $(1)$ に対して、
この仮定は、 行列 $A$ に $\mathbf{b}$ を追加して、 $[A \hspace{1mm} \mathbf{b} ]$ としてもランクが変わらないことを表している。 行列のランクとは、その行列に含まれる線形独立な列ベクトルの数であるので、 $A$ に $1$ 列追加してできる行列のランクが変わらないならば、 $A$ の列ベクトルと $\mathbf{b}$ が線形従属でなくてはならない (もしも線形独立であるならば、$[A \hspace{1mm} \mathbf{b} ]$ のランクの方が $A$ のランクよりも $1$ だけ大きくなる)。 このことは、 $\mathbf{b}$ が $A$ の列の線形結合によって表せることを意味する。 すなわち、
「$(1)$ が解を持つ $\hspace{1mm} \Longrightarrow \hspace{1mm}$ $(2)$ 」の証明
連立一次方程式
連立一次方程式が解を持つとは、
よって、 ベクトルの組
ゆえに、 ランクの定義( ＝ 列ベクトルの中に含まれる線形独立なベクトルの数)から、
解が唯一つ $\Longleftrightarrow \hspace{1mm} \mathrm{rank} (A) = n$
連立一次方程式
証明
$$
\tag{1}
$$
の係数行列 $A$ を簡約化した行列を $A^{e}$ とし、
それぞれの列ベクトルを、
$$
\tag{2}
$$
と表す。また、
$n$ 個の基本ベクトル $\mathbf{e}_{i}$ を
と定義する。
$(1)$ の $\mathbf{x}$ を、
と表すと、$(1)$ は、
$$
\tag{3}
$$
と表される。
この式は、拡大係数行列
$$
\tag{4}
$$
の列ベクトルの間に成立する一次関係を表している。
$(4)$ を行基本変形し、 $1$ 列から $n$ 列までを簡約化すると、 $(4)$ の $A$ の部分が簡約化され、
$$
\tag{5}
$$
と表される行列になる。ここで、$\mathbf{b}^{e}$ は、
行基本変形の結果として現れた列ベクトルである。
一般に 行基本変形によって行列の列ベクトルの一次関係は不変に保たれるので、 $(5)$ の列ベクトルは、 $(4)$ の列ベクトルの間で成立する一次関係 $(3)$ と同一の一次関係を持つ。 すなわち、
$$
\tag{6}
$$
が成り立つ。
これらを踏まえて証明に入る。 $(1)$ の解が存在する場合のみ議論するので、
が成立するものと仮定する。
この条件は、解が存在するための必要十分条件である。
$$
\tag{7}
$$
を仮定する。
行列のランクは簡約化した行列の主成分の数に等しいので、 $(7)$ であるならば、 $A^{e}$ は $n$ 個の主成分を持つ。 したがって $A_{e}$ は
の形を持つ行列である。ここで $*$ はどんな値でもよいことを表している。
また、
簡約化行列は主成分が $1$ であり、
階段状に並ぶことを用いた。
加えて、 簡約化行列の主成分を持つ列ベクトルの主成分を除く成分は $0$ であるので、 簡約化行列の列ベクトルは基本ベクトルである。 したがって、 $A^{e}$ は $n$ 個の異なる基本ベクトルを列ベクトルに持つ次の形の行列になる。
これと $(2)$ より、
であるので、$(6)$ は、
と表される。
これより、
が成り立つ。
この式は、$(1)$ の解がただ一つだけ求まっていることを表している。
ゆえに、
「$\mathrm{rank} (A) = n$
$\hspace{2mm} \Longrightarrow \hspace{2mm} (1)$
の解がただ一つ 」
が成り立つ。
を仮定し、
$$
\tag{8}
$$
の対偶である
$$
\tag{9}
$$
を成り立つことを示し $(8)$ の証明とする。
係数行列を $A$ とする同次連立一次方程式の解を $\mathbf{y}$ とする。すなわち、
$$
\tag{10}
$$
とする。
$(10)$ と $(1)$ を足し合わせることにより、
$$
\tag{11}
$$
が成立する。よって、$\mathbf{x} - \mathbf{y}$ もまた、$(1)$ の解である。
一般に $n$ 列の係数行列を持つ同次連立一次方程式の解空間の次元は、 $n$ から係数行列のランクを引いたものであるので、 $(10)$ の解空間の次元は、
である。このことは、$(8)$ の解 $\mathbf{y}$ が
$n-\mathrm{rank} (A)$ 個の線形独立なベクトルの線形結合で表されることを意味する。すなわち、
と表される。ここで、$\mathrm{rank} (A) = r$ であり、$\alpha_{1}, \cdots, \alpha_{n-r}$ は任意の数である。
また、$\mathbf{b}_{1}, \cdots, \mathbf{b}_{n-r}$ は $n-r$ 個の線形独立なベクトルである。
これより、 $(11)$ は、
と表される。これは、$(1)$ の解が、
$$
\tag{10}
$$
と表され、$n-r$ 個の任意の数 $\alpha_{1}, \cdots, \alpha_{n-r}$ に依存していることを意味する。
$\alpha_{1}, \cdots, \alpha_{n-r}$ がどんな値であっても、
$(10)$ が $(1)$ の解であることから、
$(1)$ の解は一つだけではない。
ゆえに $(9)$ が成立する。
$(9)$ は $(8)$ の対偶であるので、
$(8)$ が成立する。
以上から、
が成り立つ。
準備
連立一次方程式
$(4)$ を行基本変形し、 $1$ 列から $n$ 列までを簡約化すると、 $(4)$ の $A$ の部分が簡約化され、
一般に 行基本変形によって行列の列ベクトルの一次関係は不変に保たれるので、 $(5)$ の列ベクトルは、 $(4)$ の列ベクトルの間で成立する一次関係 $(3)$ と同一の一次関係を持つ。 すなわち、
これらを踏まえて証明に入る。 $(1)$ の解が存在する場合のみ議論するので、
「 $\mathrm{rank} (A) = n$
$\hspace{2mm} \Longrightarrow \hspace{2mm} (1)$
の解がただ一つ 」の証明
はじめに
行列のランクは簡約化した行列の主成分の数に等しいので、 $(7)$ であるならば、 $A^{e}$ は $n$ 個の主成分を持つ。 したがって $A_{e}$ は
加えて、 簡約化行列の主成分を持つ列ベクトルの主成分を除く成分は $0$ であるので、 簡約化行列の列ベクトルは基本ベクトルである。 したがって、 $A^{e}$ は $n$ 個の異なる基本ベクトルを列ベクトルに持つ次の形の行列になる。
「 $(1)$ の解が唯一つ
$\hspace{2mm} \Longrightarrow \hspace{2mm} \mathrm{rank} (A) = n$ 」の証明
方針としては、
の対偶である
係数行列を $A$ とする同次連立一次方程式の解を $\mathbf{y}$ とする。すなわち、
一般に $n$ 列の係数行列を持つ同次連立一次方程式の解空間の次元は、 $n$ から係数行列のランクを引いたものであるので、 $(10)$ の解空間の次元は、
これより、 $(11)$ は、
補足: 解が一つでない必要十分条件
一般に $m \times n$ の行列 $A$ のランクは $n$ 以下であるから、
である。
解が存在する場合に、
解が一つであるための必要十分条件が
であるので、
解が一つではない必要十分条件は、
である。
一般に $m \times n$ の行列 $A$ のランクは $n$ 以下であるから、
同次連立一次方程式の解空間の次元
同次連立一次方程式
解が唯一つ $\Longleftrightarrow$ 係数行列が正則行列
係数行列 $A$ が正方行列 (行の数=列の数)である場合、
連立一次方程式
(「解が唯一つ」とは、より厳密には「解が存在し、その解が唯一つ」という意味である。)
証明
上で示したように
が成り立つ。
$A$ がフルランク
であることと、$A$ が正則行列であることは同値である。
すなわち、
が成り立つ (証明は「$A$ が正則 ⇔ $A$ がフルランク」を参考)。
以上から、
が成り立つ (証明終)。
より直接的な証明も以下に添付する。
上で示したように
より直接的な証明も以下に添付する。
証明
はじめに
を示す。
任意の $\mathbf{b}$ に対して、
連立一次方程式
$$
\tag{1}
$$
の解が唯一つであると仮定すると、
$\mathbf{b}$ が
基本ベクトル
の場合であっても、
それぞれの $\mathbf{e}_{i}$ に対して、
$(1)$ は唯一つの解を持つ。
その解を $\mathbf{x}_{i}$ とすると、
が成り立つ。
このような $\mathbf{x}_{i}$ によって、
$n$ 次正方行列 $X$ を
と定義すると、$X$ は
を満たす。
ここで $I$ は単位行列である。
これより、
$X$ は
$A$ の逆行列である
(「逆行列は片側のみで定義可能」を参考)。
$A$ には逆行列が存在するので、
$A$ は正則行列である。
続いて
を示す。
$A$ が正則行列であるので、
$A$ には
を満たす $A^{-1}$ が唯一つ存在する
(「逆行列は唯一つ」を参考)。
この
$A^{-1}$ を
連立一次方程式
の左から掛けると、
と解を得る。
この解は与えられた $\mathbf{b}$ に対して唯一つである。
はじめに
続いて
列ベクトルが線形独立 $\Longleftrightarrow$ 自明な解のみ
同次連立一次方程式
$$
A \mathbf{x} = 0
$$
の解が自明な解 $\mathbf{x} = 0$ のみであることと、$A$ の列ベクトルが互いに線形独立であることは同値である。
すなわち、
\begin{eqnarray}
&&
A\mathbf{x}=0 \hspace{1mm} の解が自明な解 \normalsize \hspace{1mm} x=0 \hspace{1mm} \small のみ
\\
&&
\Longleftrightarrow \hspace{2mm}
A \hspace{1mm} \small の列ベクトルが互いに線形独立
\end{eqnarray}
が成立する。
自明な解以外のを持つ $\Longleftrightarrow$ 係数行列の行列式 = 0
係数行列 $A$ が正方行列である同次連立一次方程式
$$
A \mathbf{x} = 0
$$
が自明でない解 $\mathbf{x} \neq 0$ を持つことと、
$A$ の行列式が $0$ であることは、同値である。
すなわち、
\begin{eqnarray}
&&
A \mathbf{x} = 0 \hspace{2mm} が \hspace{1mm} x\neq 0 \hspace{1mm} の解を持つ
\\
&&
\Longleftrightarrow \hspace{3mm}
|A| = 0
\end{eqnarray}
が成立する。
クラメルの公式
係数行列 $A$ が正方行列である連立1次方程式
$$
A \mathbf{x} = \mathbf{b}
$$
の解は、
$$
x_{k} = \frac{1}{|A|} \left| \mathbf{a}_{1}, , \cdots, \mathbf{a}_{k-1}, \mathbf{b}, \mathbf{a}_{k+1}, \cdots, \mathbf{a}_{n} \right|
$$
によって与えられる。
ここで、$x_{k}$ は、$\mathbf{x}$ の第 $k$ 番目の成分である。
また、$\mathbf{a}_{i}$ は、行列 $A$ の $i$ 番目の列ベクトルであり、
$|A|\neq 0$ とする。
この公式は、クラメルの公式(Cramer's rule)と呼ばれる。