線形代数Ｉ/行列の階数のバックアップソース(No.2)

更新
[[線形代数Ｉ]]

#contents

* 階段行列 [#h48fd710]

[[線形代数Ｉ/連立一次方程式]] でやったように、
行列に対してガウスの消去法を適用することで、
例えば以下のような形に変形できる。

&math(\begin{bmatrix}0&1&*&0&*&*&0&*\\0&0&0&1&*&*&0&*\\0&0&0&0&0&0&1&*\\0&0&0&0&0&0&0&0\\0&0&0&0&0&0&0&0\\\end{bmatrix});

このように「これ以上掃き出せない」形の行列を「階段行列」と呼ぶ。

一般形は、

&math(\left[\begin{array}{c@{\,}c@{\,}ccc@{\,}c@{\,}ccc@{\,}c@{\,}cccccc@{\,}c@{\,}c}0&\cdots&0&1&*&\cdots&*&0&*&\cdots&*&0&*&{\ \ \ \ \ \ \ \ \ \ \ }&0&*&\cdots&*\\\vdots&&\vdots&0&0&\cdots&0&1&*&\cdots&*&0&*&&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&0&0&\cdots&0&1&*&\cdots&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&0&0&&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&0&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&1&*&\cdots&*\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&\cdots&0&0&\cdots&0\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&&\vdots\\0&\cdots&0&0&0&\cdots&0&0&0&\cdots&0&0&0&&0&0&\cdots&0\\\end{array}\right]);

である。
Counter: 93939 (from 2010/06/03), today: 12, yesterday: 0