連立一次方程式と拡大係数行列
mathlinear-algebraundergraduatelecture
導入
この講義で重要なのは、連立一次方程式を、係数だけを並べた行列の問題へ変換することである。
掃き出し法は、方程式そのものではなく、係数の並びを操作する方法である。そのため、まず方程式と行列の対応を固定する必要がある。
用語と定義
係数行列 とは、連立一次方程式の左辺の係数を並べた行列である。
拡大係数行列 とは、係数行列に右辺の列を加えた行列である。
直感的な説明
方程式の文字を毎回記述すると、操作の本質を把握しにくい。実際に変化するのは、未知数の係数と右辺である。そこで、係数だけを抽出して表にする。
拡大係数行列は、左辺の係数と右辺を同時に追跡するための表記である。
厳密な説明
連立一次方程式
\begin{cases}
2x+y=5\\
x-3y=-1
\end{cases}\begin{cases}
2x+y=5\\
x-3y=-1
\end{cases}
は
\begin{pmatrix}2&1\\1&-3\end{pmatrix}
\begin{pmatrix}x\\y\end{pmatrix}
=
\begin{pmatrix}5\\-1\end{pmatrix}
と書ける。つまり
A=\begin{pmatrix}2&1\\1&-3\end{pmatrix},\qquad
x=\begin{pmatrix}x\\y\end{pmatrix},\qquad
b=\begin{pmatrix}5\\-1\end{pmatrix}
である。拡大係数行列は
\left(\begin{array}{cc|c}
2&1&5\\
1&-3&-1
\end{array}\right)\left(\begin{array}{cc|c}
2&1&5\\
1&-3&-1
\end{array}\right)
である。
具体例
\begin{cases}
x+2y-z=0\\
3x-y+4z=7
\end{cases}\begin{cases}
x+2y-z=0\\
3x-y+4z=7
\end{cases}
では、係数行列は
A=\begin{pmatrix}1&2&-1\\3&-1&4\end{pmatrix}
であり、拡大係数行列は
\left(\begin{array}{ccc|c}
1&2&-1&0\\
3&-1&4&7
\end{array}\right)\left(\begin{array}{ccc|c}
1&2&-1&0\\
3&-1&4&7
\end{array}\right)
である。未知数が 3 個で方程式が 2 本なので、A は 2\times3 行列になる。
よくある誤解
- 係数行列に右辺を含めない。右辺まで含めたものが拡大係数行列である。
- 未知数の順序を途中で変更してはならない。列の順序が未知数の順序を表す。
- 方程式の本数と未知数の個数は同じとは限らない。
どこまで成り立つか
この表記は一次方程式に対して有効である。xy や x^2 のような非線型の項が含まれる場合、係数行列だけで同じように表現することはできない。
最終形
\boxed{Ax=b}
\boxed{\left(A\mid b\right)\text{ が拡大係数行列である}}