行階段形
(行簡約階段形 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/09/06 13:43 UTC 版)
数学の線型代数学の分野において、ある行列がガウスの消去法の結果として得られる形状となっているとき、その行列は階段形（かいだんけい、英: echelon form）であると言われる。行階段形（row echelon form）とは、行列の行に対してガウスの消去法が作用された場合に得られる階段形であり、同様に列階段形（column echelon form）も定義される。ある行列が列階段形であるための十分条件は、その転置行列が行階段形であることである。したがって、以下では行階段形のみを考慮すれば十分であることが分かる。列階段形に対する同様の性質は、扱う全ての行階段形の行列を転置することで簡単に得られる。
- ^ See, for instance, Larson and Hostetler, Precalculus, 7th edition.
- ^ Meyer 2000, p. 44
- ^ Meyer 2000, p. 48
- 1 行階段形とは
- 2 行階段形の概要
- 3 行簡約階段形
- 4 行階段形への変換
行簡約階段形
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/09/06 13:43 UTC 版)
行列が行簡約階段形（Reduced row echelon form : 行標準形とも呼ばれる）であるとは、以下に述べる条件を満たすことを言う。ある行列の行簡約階段形は、ガウスの消去法によって算出することが出来る。しかし、行階段形とは異なり、行簡約階段形は一意で、その算出方法に依存するものではない。 ゼロでない成分を持つ行は全て、ゼロしか成分に持たない行の上に位置する。 主成分は常に、その上の行の主成分よりも真に右側に位置する。 全ての主成分は 1 であり、その主成分を含む列の中で唯一つのゼロでない成分である。 行簡約階段形である行列は、行階段形についての全ての条件を満たし、さらに制限されている。 行簡約階段形である行列の例を、次に挙げる： [ 1 0 0 0 b 1 0 1 0 0 b 2 0 0 0 1 b 3 ] {\displaystyle \left[{\begin{array}{ccccc}1&0&0&0&b_{1}\\0&1&0&0&b_{2}\\0&0&0&1&b_{3}\end{array}}\right]} ここで、行列の左側は常に単位行列であるという訳ではないことに注意されたい。例えば、次に挙げる行列も行簡約階段形である： [ 1 0 0 1 / 2 0 b 1 0 0 1 − 1 / 3 0 b 2 0 0 0 0 1 b 3 ] {\displaystyle \left[{\begin{array}{cccccc}1&0&0&1/2&0&b_{1}\\0&0&1&-1/3&0&b_{2}\\0&0&0&0&1&b_{3}\end{array}}\right]} 整数係数の行列に対するエルミート標準形は、ユークリッド除法を用いてどのような有理数や分母も導入することなく算出される行階段形である。一方、整数係数の行列の行簡約階段形は、一般に非整数の成分を含む。
※この「行簡約階段形」の解説は、「行階段形」の解説の一部です。
「行簡約階段形」を含む「行階段形」の記事については、「行階段形」の概要を参照ください。
- 行簡約階段形のページへのリンク
