拡大行列のソースを表示

[[数学]]の[[線型代数学]]の分野における'''拡大行列'''（かくだいぎょうれつ、{{Lang-en-short|augmented matrix}}）とは、二つの与えられた[[行列]]の列を組み合わせることで得られる行列で、それら各行列に対し同じ[[行列の基本変形|行基本変形]]を施すことを目的として構成される。

与えられた行列 ''A'' と ''B'' として

<math>
A =
  \begin{bmatrix}
    1 & 3 & 2 \\
    2 & 0 & 1 \\
    5 & 2 & 2
  \end{bmatrix}
, \quad
B =
  \begin{bmatrix}
    4 \\
    3 \\
    1
  \end{bmatrix}
</math>

を考えるとき、その拡大行列 {{math|(''A''&thinsp;{{!}}&thinsp;''B'')}} は

<math>
(A\mid B)=
  \left[\begin{array}{ccc|c}
    1 & 3 & 2 & 4 \\
    2 & 0 & 1 & 3 \\
    5 & 2 & 2 & 1
  \end{array}\right]
</math>

として得られる。この種の行列は、[[線型方程式系]]を解く際に有用となる。

与えられた未知関数の数に対し、線型方程式系の解の数は、その系を表す行列の[[行列の階数|階数]]および対応する拡大係数行列の階数にのみ依存する。特に、[[ルーシェ＝カペリの定理]]によれば、任意の線型方程式系は、その拡大係数行列の階数が[[係数行列]]の階数よりも大きいとき、矛盾系（解を持たない）となる。一方、それら二つの行列の階数が等しいなら、その系は少なくとも一つの解を持つ。その解が一意的であるための必要十分条件は、その階数が系の変数の数と等しいことである。そのようにならない場合、その変数と階数の差を ''k'' として、系の一般解は ''k'' 個の自由パラメータを持つ。したがって、そのような場合には解が無限に存在する。

拡大行列はまた、[[単位行列]]と組み合わせることにより、[[逆行列]]を見つけるために用いられる。

== 例 ==
=== 逆行列 ===
''C'' を 2×2 の正方行列
:<math>
C = 
  \begin{bmatrix}
    1 & 3 \\
    -5 & 0
  \end{bmatrix}
</math>
とする。C の逆行列を見つける上で、はじめに 2×2 の[[単位行列]] I を用いて拡大行列 {{math|(''C''&thinsp;{{!}}&thinsp;''I'')}} を作る。すると、[[行列の基本変形|行基本変形]]のみを行って {{math|(''C''&thinsp;{{!}}&thinsp;''I'')}} の ''C'' に対応する部分を単位行列へと変換することで、

:<math>
(C\mid I) = 
  \left[\begin{array}{cc|cc}
    1 & 3 & 1 & 0\\
    -5 & 0 & 0 & 1
  \end{array}\right]
</math>

:<math>
(I\mid C^{-1}) = 
  \left[\begin{array}{cc|cc}
    1 & 0 & 0 & -\frac{1}{5} \\
    0 & 1 & \frac{1}{3} & \frac{1}{15}
  \end{array}\right]
</math>

が得られる。最終的に得られた拡大係数行列の右側の部分が、求める逆行列となっている。

=== 解の存在と解の数 ===
線型方程式系

:''x'' + ''y'' + 2''z'' = 3
:''x'' + ''y'' + ''z'' = 1
:2''x'' + 2''y'' + 2''z'' = 2.

を考える。この係数行列は

:<math>
A = 
  \begin{bmatrix}
    1 & 1 & 2 \\
    1 & 1 & 1 \\
    2 & 2 & 2 \\
  \end{bmatrix},
</math>

であり、拡大係数行列は

:<math>
(A\mid B) = 
  \left[\begin{array}{ccc|c}
    1 & 1 & 2 & 3\\
    1 & 1 & 1 & 1 \\
    2 & 2 & 2 & 2
  \end{array}\right]
</math> 

である。これらは両方とも等しい階数 2 を持つため、系には少なくとも一つの解が存在する。さらに、その階数は未知関数の数 3 よりも少ないため、解は無限に存在する。

続いて、次の系

:''x'' + ''y'' + 2''z'' = 3
:''x'' + ''y'' + ''z'' = 1
:2''x'' + 2''y'' + 2''z'' = 5

を考える。この係数行列は

:<math>
A = 
  \begin{bmatrix}
    1 & 1 & 2 \\
    1 & 1 & 1 \\
    2 & 2 & 2 \\
  \end{bmatrix},
</math>

であり、拡大係数行列は

:<math>
(A\mid B) = 
  \left[\begin{array}{ccc|c}
    1 & 1 & 2 & 3\\
    1 & 1 & 1 & 1 \\
    2 & 2 & 2 & 5
  \end{array}\right]
</math>

である。この例において、係数行列の階数は 2 であるが拡大係数行列の階数は 3 であり、したがって系は解を持たないことが分かる。

=== 線型系の解 ===
線形代数学で用いられるように、拡大係数行列は、各方程式の[[係数]]と解ベクトルを表すために用いられる。方程式

:<math>
\begin{align}
x + 2y + 3z &= 0 \\
3x + 4y + 7z &= 2 \\
6x + 5y + 9z &= 11
\end{align}
</math>

の集合に対し、その係数および定数項は行列

:<math>
A =
\begin{bmatrix}
1 & 2 & 3 \\
3 & 4 & 7 \\
6 & 5 & 9
\end{bmatrix}
, \quad
B = 
\begin{bmatrix}
0 \\
2 \\
11
\end{bmatrix}
</math>

によって表され、したがって拡大係数行列

:<math>
(A\mid B) =
  \left[\begin{array}{ccc|c}
1 & 2 & 3 & 0 \\
3 & 4 & 7 & 2 \\
6 & 5 & 9 & 11
  \end{array}\right]
</math>

が得られる。ここで係数行列の階数は 3 であり、拡大係数行列の階数と等しく、したがって系には少なくとも一つの解が存在することに注意されたい。さらに、その階数は未知関数の数と等しいために、解は一意的である。

その解を得るために、拡大係数行列の左側の部分を単位行列へと変換する行基本変形を行うことで

:<math>
 \left[\begin{array}{ccc|c}
1 & 0 & 0 & 4 \\
0 & 1 & 0 & 1 \\
0 & 0 & 1 & -2 \\
  \end{array}\right]
</math>

が得られる。すなわち、(''x'', ''y'', ''z'') = (4, 1, -2) が求める系の解である。

== 参考文献 ==
* Marvin Marcus and Henryk Minc, ''A survey of matrix theory and matrix inequalities'', [[Dover Publications]], 1992, ISBN 0-486-67102-X.  Page 31.

{{DEFAULTSORT:かくたいけいすうきようれつ}}
[[Category:行列]]
[[Category:線型代数学]]
[[Category:数学に関する記事]]