線型代数学 > 行列の基本変形
ここでは、基本変形と階数について議論する。特に、階数は線型代数学では非常に重要な概念であるので十分理解されたい。
以下の3種の行列,
を基本行列(fundamental matrix)という。
![{\displaystyle P(i,j)={\begin{pmatrix}1&&&&&\\&\ddots &&&&&\\&&0&\cdots &1&&\\&&\vdots &\ddots &\vdots &&\\&&1&\cdots &0&&\\&&&&&\ddots &\\&&&&&&1\\\end{pmatrix}}(1\leq i\neq j\leq n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786e115b0d69b1fdef443a7f83503b17bafafa6e)
- (n次単位行列の第i行と第j行を入れ替えたもの。)
![{\displaystyle Q(i;c)={\begin{pmatrix}1&&&&&\\&\ddots &&&&&\\&&1&&&&\\&&&c&&&\\&&&&1&&\\&&&&&\ddots &\\&&&&&&1\\\end{pmatrix}}(c\neq 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afaa070c95da4812276f3e492d6cb169f6d1df5d)
- (n次単位行列の第i行をC倍したもの)
![{\displaystyle R(i,j;c)={\begin{pmatrix}1&&&&&&\\&\ddots &&&&&\\&&1&\cdots &c&&\\&&\vdots &\ddots &\vdots &&\\&&0&\cdots &1&&\\&&&&&\ddots &\\&&&&&&1\\\end{pmatrix}}(1\leq i\neq j\leq n,c\neq 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26472c50b86b2f21a13f0068be9e0a672e3dcbf0)
- (n次単位行列の第i行、第j列をCに置き換えたもの)
左(右)から基本行列をかけることを左(右)基本変形(fundamental operation)
という。
左(右)からP(i,j),Q(i;c),R(i,j;c)をかけるということことは、それぞれ
- 第i行(列)と第j行(列)を入れ替える。
- 第i行(列)をc倍する。
- 第j行(列)のc倍を第i行(列)に加える。
という操作を行うことに対応する。
- 例
である。
基本行列は正則である。
実際、
![{\displaystyle \ P(i,j)P(i,j)=I_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4e1a7043260445ac68ace858797c34ea09e1762)
![{\displaystyle \ Q(i;c)Q\left(i;{\frac {1}{c}}\right)=I_{n},\ Q\left(i;{\frac {1}{c}}\right)Q(i;c)=I_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fd4567024660ed9f4b6fb0542cb91dbc9b9a583)
![{\displaystyle \ R(i,j;c)R(i,j;-c)=I_{n},\ R(i,j;-c)R(i,j;c)=I_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/747f5d8ce75d1ceae1c61cf9016c222964744f22)
である。
は基本変形によって以下の形に一意的に変形できる。
![{\displaystyle {\begin{pmatrix}I_{r}&\mathbf {0} _{n-r,r}\\\mathbf {0} _{m-r,r}&\mathbf {0} _{m-r,n-r}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c316884179ba4a4afd5e84f64092688b67e5d946)
このとき、rを行列Aの階数(rank)といい、
![{\displaystyle \ r=\operatorname {rank} (A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7259f4e339770f1d0f250b81160b092a9a610ec6)
などと書く。
(証明)
のときは上の形になっている。
以下、
とする。
今、
としても一般性は失われない。
まず、
を左からかけると
![{\displaystyle {\begin{pmatrix}&&&0&&&\\&&&\vdots &&&\\&&&0&&&\\a_{i,1}&\cdots &a_{i,j-1}&a_{i,j}&a_{i,j+1}&\cdots &a_{i,n}\\&&&0&&&\\&&&\vdots &&&\\&&&0&&&\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dba1768dd151678bcde6548b0a3511bbbfcf650)
となる。
次に、
を右からかけると
![{\displaystyle {\begin{pmatrix}&&&0&&&\\&&&\vdots &&&\\&&&0&&&\\0&\cdots &0&a_{i,j}&0&\cdots &0\\&&&0&&&\\&&&\vdots &&&\\&&&0&&&\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b3afd75da8264b64b4e52b97bbecdbb474e4b5c)
となる。
そして、
を左から、
を右からかけ、さらに
を左からかければ、
![{\displaystyle {\begin{pmatrix}1&\mathbf {0} \\\mathbf {0} &B\\\end{pmatrix}}\ B\in M(m-1,n-1;\mathbf {K} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/daebfdf22cf8202457ad295948e9b56e5eb3d324)
となる。
なら上と同じ操作をすれば、帰納的に求めたい形になる。
(一意性)
以下
とする。
Aに基本変形を施して以下の2つの形になったとする。
![{\displaystyle S={\begin{pmatrix}I_{s}&\mathbf {0} \\\mathbf {0} &\mathbf {0} \\\end{pmatrix}},T={\begin{pmatrix}I_{t}&\mathbf {0} \\\mathbf {0} &\mathbf {0} \\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8002c3e6193b3adffc6c1d63d1e229174dd28acf)
ここで、基本変形の正則性から、正則行列
が存在して、
![{\displaystyle T=PSQ={\begin{pmatrix}P_{s,s}&P_{s,m-s}\\P_{m-s,s}&P_{m-s,m-s}\\\end{pmatrix}}{\begin{pmatrix}I_{s}&\mathbf {0} \\\mathbf {0} &\mathbf {0} \\\end{pmatrix}}{\begin{pmatrix}Q_{s,s}&Q_{s,n-s}\\Q_{n-s,s}&Q_{n-s,n-s}\\\end{pmatrix}}={\begin{pmatrix}P_{s,s}Q_{s,s}&P_{s,s}Q_{s,n-s}\\P_{m-s,s}Q_{s,s}&P_{m-s,s}Q_{s,n-s}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eef4c0ad745979aa4b99d39d12aeb9e645d799d2)
したがって
が成り立つ。
これから、
は正則だから
∴
□
またこのことから、
において
は正則
であることが分かる。
の階数を求めよ。
(第1行の2倍を第3行に加える)
(第2行の2倍を第1行に、1倍を第3行に加える)
(第1列の-1倍と第2列の-1倍を第3列に加える)
したがって、この行列の階数は2である。□
以下の1~4の行列の階数を求めよ。
(1)
(2)
(3)
(4)
答え:(1)…3 (2)…4 (3)…3 (4)…2