ブッククリエーター (無効化)

線型代数学/行列の基本変形

出典: フリー教科書『ウィキブックス(Wikibooks)』

線型代数学 > 行列の基本変形


ここでは、基本変形と階数について議論する。特に、階数は線型代数学では非常に重要な概念であるので十分理解されたい。

目次

[編集] 基本行列

[編集] 定義

以下の3種の行列,
\ P(i,j),Q(i;c),R(i,j;c) \in \ M(n;\bold K)を基本行列という。


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

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

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

左(右)から基本行列をかけることを左(右)基本変形 という。

左(右)からP(i,j),Q(i;c),R(i,j;c)をかけるということことは、それぞれ

  • 第i行(列)と第j行(列)を入れ替える。
  • 第i行(列)をc倍する。
  • 第j行(列)のc倍を第i行(列)に加える。

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


[編集] 基本行列の正則性

基本行列は正則である。

実際、

 \ P(i,j)P(i,j)=I_n
 \ Q(i;c)Q\left(i;\frac{1}{c}\right)=I_n ,\ Q\left(i;\frac{1}{c}\right)Q(i;c)=I_n
 \ R(i,j;c)R(i,j;-c) =I_n ,\ R(i,j;-c)R(i,j;c) =I_n

である。


[編集] 階数

[編集] 定理と定義

 \forall A \in M(m,n;\bold K) は基本変形によって以下の形に一意的に変形できる。


\begin{pmatrix}
 I_r & \bold 0_{n-r,r}\\
 \bold 0_{m-r,r} & \bold 0_{m-r,n-r}\\
\end{pmatrix}

このとき、rを行列Aの階数といい、

  \ r=rank(A)

などと書く。

(証明)

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

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

まず、 \ R(k,j;-a_{k,j}/a_{i,j}) \in M(m;\bold K) (1 \leq k \leq j-1,j+1 \leq k \leq m) を左からかけると


\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}

となる。

次に、 \ R(i,l;-a_{i,l}/a_{i,j}) \in M(n;\bold K) (1 \leq l \leq i-1, i+1 \leq l \leq n) を右からかけると


\begin{pmatrix}
 & & & 0 & & &\\
 & & & \vdots & & &\\
 & & & 0 & & &\\
 0 & \cdots & 0 & a_{i,j} & 0 & \cdots & 0 \\
 & & & 0 & & &\\
 & & & \vdots & & &\\
 & & & 0 & & &\\
\end{pmatrix}

となる。

そして、 \ P(1,i) \in M(m;\bold K) を左から、 \ P(1,j) \in M(n;\bold K) を右からかけ、さらに \ Q(1;1/a_{i,j}) \in M(m;\bold K) を左からかければ、


\begin{pmatrix}
 1 & \bold 0 \\
 \bold 0 & B\\
\end{pmatrix}
\ B \in M(m-1,n-1; \bold K)

となる。 B \neq 0 なら上と同じ操作をすれば、帰納的に求めたい形になる。

(一意性) 以下  s \leq t とする。

Aに基本変形を施して以下の2つの形になったとする。

 S = \begin{pmatrix} I_s & \bold 0\\ \bold 0 & \bold 0\\ \end{pmatrix} ,T = \begin{pmatrix} I_s & \bold 0\\ \bold 0 & \bold 0\\ \end{pmatrix}

ここで、基本変形の正則性から、正則行列  \ P \in M(m;\bold K) \ Q \in M(n;\bold K)  が存在して、

 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_r & \bold 0\\ \bold 0 & \bold 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}

したがって
\ P_{s,s}Q_{s,s} = I_s ,\ P_{s,s}Q_{s,n-s} = \bold 0 ,\ P_{m-s,s}Q_{s,s} = \bold 0  が成り立つ。

これから、  \ P_{s,s} ,\ Q_{s,s} は正則で  \ Q_{s,n-s} = \bold 0 となるから  \ P_{m-s,s}Q_{s,n-s} = \bold 0

 \ r = s

またこのことから、 A \in M(n; \bold K)  において

 \ rank(A) = n \Leftrightarrow A は正則

であることが分かる。

[編集] 例題

\begin{pmatrix} 1 & -2 & -1\\ 0 & 1 & 1\\ -2 & 3 & 1\\ \end{pmatrix} の階数を求めよ。

\begin{pmatrix} 1 & -2 & -1\\ 0 & 1 & 1\\ -2 & 3 & 1\\ \end{pmatrix} (第1行の2倍を第3行に加える)  \longrightarrow \begin{pmatrix} 1 & -2 & -1\\ 0 & 1 & 1\\ 0 & -1 & -1\\ \end{pmatrix}

(第1列の2倍を第2列に、1倍を第3列に加える) \longrightarrow \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 1\\ 0 & -1 & -1\\ \end{pmatrix}

(第2行を第3行に加える) \longrightarrow \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 1\\ 0 & 0 & 0\\ \end{pmatrix} (第2列の-1倍を第3列に加える) \longrightarrow \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 0\\ \end{pmatrix}

したがって、この行列の階数は2□

[編集] 練習問題

以下の1~4の行列の階数を求めよ。

(1) \begin{pmatrix} 2 & 1 & 0\\ 1 & 0 & 1\\ 3 & 2 & 1\\ \end{pmatrix} (2) \begin{pmatrix} 3 & -2 & -1 & 2\\ 1 & -3 & -2 & 0\\ -1 & 0 & 1 & 0\\ 2 & 1 & 1 & 1\\ \end{pmatrix}

(3) \begin{pmatrix} 0 & -2 & 1 & -1\\ 1 & 0 & -1 & 1\\ 2 & 1 & 0 & 4\\ 3 & 1 & -1 & 5\\ \end{pmatrix} (4) \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}       答え:(1)…3 (2)…4 (3)…3 (4)…2

ヘルプ