線型代数学/行列の基本変形のソースを表示

<small> [[線型代数学]] > 行列の基本変形 </small>
----

ここでは、基本変形と階数について議論する。特に、階数は線型代数学では非常に重要な概念であるので十分理解されたい。
==基本行列==
===定義===
以下の3種の行列,<math>
\ P(i,j),Q(i;c),R(i,j;c) \in \ M(n;\mathbf K)</math>を基本行列（fundamental matrix）という。

:<math>
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)</math>
:（n次単位行列の第i行と第j行を入れ替えたもの。）

:<math>
Q(i;c) = 
\begin{pmatrix}
 1 & & & & &\\
 & \ddots & & & & &\\
 & & 1 & & & &\\
 & & & c & & &\\ 
 & & & & 1 & &\\
 & & & & & \ddots&\\
 & & & & & & 1\\
\end{pmatrix}
 (c \neq 0)
</math>
:（n次単位行列の第i行をC倍したもの）

:<math>
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)
</math>
: （n次単位行列の第i行、第j列をCに置き換えたもの）

左（右）から基本行列をかけることを'''左（右）基本変形'''（fundamental operation）
という。

左（右）からP(i,j),Q(i;c),R(i,j;c)をかけるということことは、それぞれ
*第i行（列）と第j行（列）を入れ替える。
*第i行（列）をc倍する。
*第j行（列）のc倍を第i行（列）に加える。

という操作を行うことに対応する。

;例
<math>
\begin{pmatrix}
1 & 0 & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 1 & 0 & 0\\
0 & 0 & 0 & 1\\
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13} & a_{14}\\
a_{21} & a_{22} & a_{23} & a_{24}\\
a_{31} & a_{32} & a_{33} & a_{34}\\
a_{41} & a_{42} & a_{43} & a_{44}\\
\end{pmatrix}
=
\begin{pmatrix}
a_{11} & a_{12} & a_{13} & a_{14}\\
a_{31} & a_{32} & a_{33} & a_{34}\\
a_{21} & a_{22} & a_{23} & a_{24}\\
a_{41} & a_{42} & a_{43} & a_{44}\\
\end{pmatrix}
</math>


<math>
\begin{pmatrix}
1 & 0 & 0 & 0\\
0 & 3 & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1\\
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13} & a_{14}\\
a_{21} & a_{22} & a_{23} & a_{24}\\
a_{31} & a_{32} & a_{33} & a_{34}\\
a_{41} & a_{42} & a_{43} & a_{44}\\
\end{pmatrix}
=
\begin{pmatrix}
a_{11} & a_{12} & a_{13} & a_{14}\\
3a_{21} & 3a_{22} & 3a_{23} & 3a_{24}\\
a_{31} & a_{32} & a_{33} & a_{34}\\
a_{41} & a_{42} & a_{43} & a_{44}\\
\end{pmatrix}
</math>


<math>
\begin{pmatrix}
1 & 0 & 0 & 0\\
0 & 1 & 2 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1\\
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13} & a_{14}\\
a_{21} & a_{22} & a_{23} & a_{24}\\
a_{31} & a_{32} & a_{33} & a_{34}\\
a_{41} & a_{42} & a_{43} & a_{44}\\
\end{pmatrix}
=
\begin{pmatrix}
a_{11} & a_{12} & a_{13} & a_{14}\\
a_{21}+2a_{31} & a_{22}+2a_{32} & a_{23}+2a_{33} & a_{24}+2a_{34}\\
a_{31} & a_{32} & a_{33} & a_{34}\\
a_{41} & a_{42} & a_{43} & a_{44}\\
\end{pmatrix}
</math>

である。

===基本行列の正則性===
基本行列は正則である。

実際、

:<math> \ P(i,j)P(i,j)=I_n   </math>    

:<math> \ Q(i;c)Q\left(i;\frac{1}{c}\right)=I_n ,\ Q\left(i;\frac{1}{c}\right)Q(i;c)=I_n </math>   

:<math> \ R(i,j;c)R(i,j;-c) =I_n ,\ R(i,j;-c)R(i,j;c) =I_n
</math>
である。


==階数==
 
===定理と定義=== 
<math> \forall A \in M(m,n;\mathbf K) </math> は基本変形によって以下の形に一意的に変形できる。
:<math>
\begin{pmatrix}
 I_r & \mathbf 0_{n-r,r}\\
 \mathbf 0_{m-r,r} & \mathbf 0_{m-r,n-r}\\
\end{pmatrix} </math>

このとき、rを行列Aの階数（rank）といい、
:<math>  \ r=\operatorname{rank}(A) </math>
などと書く。

（証明）

<math> \ A=0_{m,n} </math>のときは上の形になっている。
以下、<math> \ A \neq 0_{m,n} </math> とする。

今、<math> \ a_{i,j} \neq 0 </math> としても一般性は失われない。

まず、<math> \ R(k,j;-a_{k,j}/a_{i,j}) \in M(m;\mathbf K) (1 \leq k \leq j-1,j+1 \leq k \leq m) </math> を左からかけると
:<math>
\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} </math>
となる。

次に、<math> \ R(i,l;-a_{i,l}/a_{i,j}) \in M(n;\mathbf K) (1 \leq l \leq i-1, i+1 \leq l \leq n) </math> を右からかけると
:<math>
\begin{pmatrix}
 & & & 0 & & &\\
 & & & \vdots & & &\\
 & & & 0 & & &\\
 0 & \cdots & 0 & a_{i,j} & 0 & \cdots & 0 \\
 & & & 0 & & &\\
 & & & \vdots & & &\\
 & & & 0 & & &\\
\end{pmatrix} </math>
となる。
 
そして、<math> \ P(1,i) \in M(m;\mathbf K) </math> を左から、<math> \ P(1,j) \in M(n;\mathbf K)</math> を右からかけ、さらに<math> \ Q(1;1/a_{i,j}) \in M(m;\mathbf K)</math> を左からかければ、
:<math>
\begin{pmatrix}
 1 & \mathbf 0 \\
 \mathbf 0 & B\\
\end{pmatrix}
\ B \in M(m-1,n-1; \mathbf K) </math>
となる。<math> B \neq 0 </math> なら上と同じ操作をすれば、帰納的に求めたい形になる。

（一意性）
以下 <math> s \leq t </math> とする。

Aに基本変形を施して以下の２つの形になったとする。
:<math> 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} </math>
ここで、基本変形の正則性から、正則行列 <math> \ P \in M(m;\mathbf K) \ Q \in M(n;\mathbf K) </math>　が存在して、
:<math> 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} </math>
したがって<math>
\ P_{s,s}Q_{s,s} = I_s ,\ P_{s,s}Q_{s,n-s} = \mathbf 0 ,\ P_{m-s,s}Q_{s,s} = \mathbf 0 </math>　が成り立つ。

これから、
<math> \ P_{s,s} ,\ Q_{s,s} </math> は正則だから
<math> \ P_{m-s,s}Q_{s,n-s} = \mathbf 0 </math>

∴ <math> \ r = s </math> □

またこのことから、<math> A \in M(n; \mathbf K) </math>　において
:<math> \operatorname{rank}(A) = n \Leftrightarrow A </math> は正則

であることが分かる。

===例題===
<math>\begin{pmatrix} 1 & -2 & -1\\ 0 & 1 & 1\\ -2 & 3 & 1\\ \end{pmatrix} </math>の階数を求めよ。

<math>\begin{pmatrix} 1 & -2 & -1\\ 0 & 1 & 1\\ -2 & 3 & 1\\ \end{pmatrix} </math> （第１行の２倍を第３行に加える）
<math> \longrightarrow \begin{pmatrix} 1 & -2 & -1\\ 0 & 1 & 1\\ 0 & -1 & -1\\ \end{pmatrix} </math> 

（第２行の２倍を第１行に、１倍を第３行に加える）<math> \longrightarrow \begin{pmatrix} 1 & 0 & 1\\ 0 & 1 & 1\\ 0 & 0 & 0\\ \end{pmatrix} </math> 

（第１列の－１倍と第２列の－１倍を第３列に加える）<math> \longrightarrow \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 0\\ \end{pmatrix} </math>

したがって、この行列の階数は２である。□

===練習問題===

以下の１～４の行列の階数を求めよ。

（１）<math> \begin{pmatrix} 2 & 1 & 0\\ 1 & 0 & 1\\ 3 & 2 & 1\\ \end{pmatrix} </math>               
（２）<math> \begin{pmatrix} 3 & -2 & -1 & 2\\ 1 & -3 & -2 & 0\\ -1 & 0 & 1 & 0\\ 2 & 1 & 1 & 1\\ \end{pmatrix} </math>

（３）<math> \begin{pmatrix} 0 & -2 & 1 & -1\\ 1 & 0 & -1 & 1\\ 2 & 1 & 0 & 4\\ 3 & 1 & -1 & 5\\ \end{pmatrix} </math>
（４）<math> \begin{pmatrix} 1 & 0 & 0 & 1 & 1 &\\ 1 & 1 & 2 & 3  & 2\\ 1 & 0 & 0 & 1 & 1\\ 0 & 1 & 2 & 2 & 1\\ 1 & 1 & 1 & 2 & 1\\ \end{pmatrix} </math>  　　　　　　答え：（１）…３　（２）…４　（３）…３　（４）…２

[[Category:線形代数学|きようれつのきほんへんけい]]