📂行列代数

拡張行列と基本行操作

定義¹

次のような線形システムが与えられたとしよう。

$$ \begin{equation} \begin{aligned} a_{11}x_{1} + a_{12}x_{2} + \cdots + a_{1n}x_{n} &= b_{1}\\ a_{21}x_{1} + a_{22}x_{2} + \cdots + a_{2n}x_{n} &= b_{2}\\ &\vdots\\ a_{m1}x_{1} + a_{m2}x_{2} + \cdots + a_{mn}x_{n} &= b_{m} \end{aligned} \label{linsys2} \end{equation} $$

線形システムの定数を行列で表現したものを増大行列と呼ぶ。

$$ \begin{equation} \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} & b_{1} \\ a_{21} & a_{22} & \cdots & a_{2n} & b_{2} \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} & b_{m} \end{bmatrix} \label{augmented} \end{equation} $$

説明

行列は連立一次方程式を簡単に解くために考案された。例えば $\eqref{linsys2}$ の定数だけを取り出して $\eqref{augmented}$ のように表現することも、次のように表現することもできる。

$$ \begin{align*} \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{bmatrix} \begin{bmatrix} x_{1} \\ x_{2} \\ \vdots \\ x_{n} \end{bmatrix} &= \begin{bmatrix} b_{1} \\ b_{2} \\ \vdots \\ b_{m} \end{bmatrix} \\ A\mathbf{x} &= \mathbf{b} \end{align*} $$

特に増大行列で表された場合、基本行操作を通じて線形システムを解くことができるが、実際これは中学校で習った加減法と本質的に同じだ。

定義

以下の三つの操作を基本行操作という。

• $0$ でない定数を一行に掛ける。

• 二行の位置を交換する。

• 一行の定数倍を他の行に加える。

例

加減法で連立方程式を解くことは、増大行列を基本行操作で各行の最後の列を引いて一つの要素だけ残すことと同じだ。線形代数学の言葉で言えば、「増大行列を基本行操作を通じて階段行列にすること」だ。

$$ \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ 2x &+& 4y &-& 3z &=&\ 1 \\ 3x &+& 6y &-& 5z &=&\ 0 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 2 & 4 & -3 & 1 \\ 3 & 6 & -5 & 0 \end{bmatrix} $$

一行目に $-2$ を掛けたものを二行目に加える。

$$ \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && 2y &-& 7z &=&\ -17 \\ 3x &+& 6y &-& 5z &=&\ 0 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 2 & -7 & -17 \\ 3 & 6 & -5 & 0 \end{bmatrix} $$

一行目に $-3$ を掛けたものを三行目に加える。

$$ \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && 2y &-& 7z &=&\ -17 \\ && 3y &-&11z &=&\ -27 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 2 & -7 & -17 \\ 0 & 3 & -11 & -27 \end{bmatrix} $$

二行目に $\dfrac{1}{2}$ を掛ける。

$$ \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && 3y &-&11z &=&\ -27 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 3 & -11 & -27 \end{bmatrix} $$

二行目に $-3$ を掛けたものを三行目に加える。

$$ \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && &-&\dfrac{1}{2}z &=&\ -\dfrac{3}{2} \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 0 & -\dfrac{1}{2} & -\dfrac{3}{2} \end{bmatrix} $$

三行目に $-2$ を掛ける。

$$ \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && &&z &=&\ 3 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 0 & 1 & 3 \end{bmatrix} $$

二行目に $-1$ を掛けたものを一行目に加える。

$$ \begin{array}{rcrcrcr} x && &+& \dfrac{11}{2}z &=&\ \dfrac{35}{2} \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && &&z &=&\ 3 \end{array} \quad \begin{bmatrix} 1 & 0 & \dfrac{11}{2} & \dfrac{35}{2} \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 0 & 1 & 3 \end{bmatrix} $$

三行目に $-\dfrac{11}{2}$ を掛けたものを一行目に加えて、三行目に $\dfrac{7}{2}$ を掛けたものを一行目に加える。

$$ \begin{array}{rcrcrcr} x && && &=&\ 1 \\ && y && &=&\ 2 \\ && &&z &=&\ 3 \end{array} \quad \begin{bmatrix} 1 & 0 & 0 & 1 \\ 0 & 1 & 0 & 2 \\ 0 & 0 & 1 & 3 \end{bmatrix} $$

従って、与えられた線形システムの解は $x=1$、$y=2$、$z=3$ だ。