3.6 行列の簡約化

定義 3.22 (階段行列)   行列が

$$\left[\begin{array}{cccccccc} \!1\! & ** & \!0\! & ** & \!0\! & *... ... \\ \vdots& & & & & & &\vdots\\ 0 &\cdots& & & & &\cdots & 0 \end{array}\right]$$ (427)

という形をしているとき， この行列を簡約な行列または 階段行列と呼ぶ． また， 各行の一番左の 0 ではない成分を主成分と呼ぶ．

例 3.23 (簡約な行列の具体例)   次の行列は簡約な行列である：

$$\begin{bmatrix}0 & 1 & 3 & 0 & 2 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & ... ...& 2 & 3 \\ 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 \end{bmatrix}\,,\quad$$ (428)

$$\begin{bmatrix}0 & 0 & 0 & 1 & 6 & 0 & 3 & 0 \\ 0 & 0 & 0 & 0 & 0... ... & 0 & 2 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 \end{bmatrix}\,.$$ (429)

定義 3.24 (簡約化)   行列 $A$ に基本変形を繰り返し， 簡約な行列 $B$ を得ることを簡約化と呼ぶ．

例 3.25 (簡約化の計算例)   簡約化の具体的な計算例を示す：
(1)

$$A = \begin{bmatrix}0 & 2 & 1 & 0 & 1 \\ 0 & 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & 0 & 0 \end{bmatrix}$$ (430)

$$1/2$$

$$\rightarrow \begin{bmatrix}0 & 1 & 1/2 & 0 & 1/2 \\ 0 & 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & 0 & 0 \end{bmatrix}=B$$ (431)

(2)

$$A = \begin{bmatrix}0 & 1 & 0 & 1/3 & 1/2 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 1/3 & 2/3 \end{bmatrix}$$ (432)    （第二行目と第三行目を入れ替える．）

$$\rightarrow \begin{bmatrix}0 & 1 & 0 & 1/3 & 1/2 \\ 0 & 0 & 1 & 1/3 & 2/3 \\ 0 & 0 & 0 & 0 & 0 \end{bmatrix}=B$$ (433)

(3)

$$A = \begin{bmatrix}1 & 1 & 3 & 1 & 2 \\ 0 & 0 & 1 & 2 & 0 \\ 0 & 0 & 0 & 0 & 1 \end{bmatrix}$$ (434)

$$-3$$

$$\rightarrow \begin{bmatrix}1 & 1 & 0 & -5 & 2 \\ 0 & 0 & 1 & 2 & 0 \\ 0 & 0 & 0 & 0 & 1 \end{bmatrix}$$ (435)

$$-2$$

$$\rightarrow \begin{bmatrix}1 & 1 & 0 & -5 & 0 \\ 0 & 0 & 1 & 2 & 0 \\ 0 & 0 & 0 & 0 & 1 \end{bmatrix}=B$$ (436)

(4)

$$A = \begin{bmatrix}0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 1 & 0 & -2 \\ 1 & 3 & 0 & 0 & 2 \end{bmatrix}$$ (437)    （第一行目を第三行目を入れ替える．）

$$\rightarrow \begin{bmatrix}1 & 3 & 0 & 0 & 2 \\ 0 & 0 & 1 & 0 & -2 \\ 0 & 0 & 0 & 1 & 1 \end{bmatrix}=B$$ (438)

定理 3.26 (簡約化の一意性)   任意の行列は基本変形により一意に簡約化できる．

平成20年2月2日