行列の基本変形のソースを表示

{{出典の明記|date=2023年9月}}
'''行列の基本変形'''（ぎょうれつのきほんへんけい）とは、[[行列 (数学)|行列]]の変形のうち下の六つである。

== 定義 ==

=== 基本変形 ===
以下の六つの変形を、行列の基本変形という。
* 二つの列を入れ替える
（例：<math>
\begin{bmatrix}
 2 & 3 & 4 \\
 5 & 6 & 7 \\
 8 & 1 & 9
\end{bmatrix}
\to
\begin{bmatrix}
 3 & 2 & 4 \\
 6 & 5 & 7 \\
 1 & 8 & 9
\end{bmatrix}
</math>）
* ある列を0でない定数倍する
（例：<math>
\begin{bmatrix}
2 & 3 & 4 \\
5 & 6 & 7 \\
8 & 1 & 9
\end{bmatrix}
\to
\begin{bmatrix}
2 & 12 & 4 \\
5 & 24 & 7 \\
8 &  4 & 9
\end{bmatrix}
</math>）
* ある列に、他のある列の定数倍を加える
（例：<math>
\begin{bmatrix}
2 & 3 & 4 \\
5 & 6 & 7 \\
8 & 1 & 9
\end{bmatrix}
\to
\begin{bmatrix}
 5 & 3 & 4 \\
11 & 6 & 7 \\
 9 & 1 & 9
\end{bmatrix}
</math>）
* 二つの行を入れ替える
（例：<math>
\begin{bmatrix}
2 & 3 & 4 \\
5 & 6 & 7 \\
8 & 1 & 9
\end{bmatrix}
\to
\begin{bmatrix}
5 & 6 & 7 \\
2 & 3 & 4 \\
8 & 1 & 9
\end{bmatrix}
</math>）
* ある行を 0 でない定数倍する
（例：<math>
\begin{bmatrix}
2 & 3 & 4 \\
5 & 6 & 7 \\
8 & 1 & 9
\end{bmatrix}
\to
\begin{bmatrix}
 2 & 3 &  4 \\
 5 & 6 &  7 \\
16 & 2 & 18
\end{bmatrix}
</math>）
* ある行に、他のある行の定数倍を加える
（例：<math>
\begin{bmatrix}
 2 & 3 & 4 \\
 5 & 6 & 7 \\
 8 & 1 & 9
\end{bmatrix}
\to
\begin{bmatrix}
 2 &  3 & 4 \\
 5 &  6 & 7 \\
 6 & -2 & 5
\end{bmatrix}
</math>）

行に関する変形三つをまとめて'''行に関する基本変形'''、列に関する変形三つをまとめて'''列に関する基本変形'''という。

=== 基本行列 ===
以下のような ''(n, n)'' 型行列を基本行列という。
{{Indent|
<math>
P_{i,j} = 
\begin{bmatrix}
 1 & & & & & &\\ 
 & \ddots & & & & &\\ 
 & & 0 & &  1 & & \\ 
 & & & \ddots & & &\\ 
 & & 1 & &  0 & &\\ 
 & & & & & \ddots & \\ 
 & & & & & & 1\\ 
\end{bmatrix}
(1 \leq i \neq j \leq n) 
</math>

<math>
Q_{i, c} = 
\begin{bmatrix}
 1 & & & & & & \\ 
 & \ddots & & & & & \\ 
  & & 1 & & & & \\ 
  & & & c & & &  \\ 
  & & & & 1 & & \\ 
  & & & & & \ddots &\\ 
  & & & & & & 1 \\ 
\end{bmatrix}
(1 \leq i \leq n, c \neq 0)
</math>

<math>
R_{i, j, c} = 
\begin{bmatrix}
 1 &        &   &        &   &        &\\ 
   & \ddots &   &        &   &        &\\ 
   &        & 1 &        & c &        &\\ 
   &        &   & \ddots &   &        &\\ 
   &        &   &        & 1 &        &\\ 
   &        &   &        &   & \ddots &\\ 
   &        &   &        &   &        & 1 \\
\end{bmatrix}
(1 \leq i \neq j \leq n, c \neq 0)
</math>
}}
つまり、
* ''P<sub>i, j</sub>'' は、単位行列の ''i'' 行目と ''j'' 行目を取り換えた行列
* ''Q<sub>i, c</sub>'' は、単位行列の ''(i, i)'' 成分を ''c'' にした行列
* ''R<sub>i, j, c</sub>'' は、単位行列の ''(i, j)'' 成分を ''c'' にした行列
である。

== 基本変形と基本行列の関係 ==
ある行列に基本変形を適用することは、基本行列を掛けることと同値である。

ある(''m, n'') 型行列 ''A''に、
* ''P<sub>i, j</sub>'' を左からかけると、''i'' 行と ''j'' 行が交換される。
* ''P<sub>i, j</sub>'' を右からかけると、''i'' 列と ''j'' 列が交換される。
* ''Q<sub>i, c</sub>'' を左からかけると、''i'' 行が ''c'' 倍される。
* ''Q<sub>i, c</sub>'' を右からかけると、''i'' 列が ''c'' 倍される。
* ''R<sub>i, j, c</sub>'' を左からかけると、 ''i'' 行に ''j'' 行の ''c'' 倍が加わる。
* ''R<sub>i, j, c</sub>'' を右からかけると、 ''j'' 列に ''i'' 列の ''c'' 倍が加わる。

つまり、ある行列を、基本変形を繰り返して変形することは、基本行列を繰り返し掛けることと同値である。左からかける基本行列は (''m, m'') 型, 右からかける基本行列は (''n, n'') 型の基本行列である。

このことから、行に関する基本変形を'''左基本変形'''、列に関する基本変形を'''右基本変形'''とも呼ぶ。

== 基本変形、基本行列の性質 ==
基本行列は[[正則行列]]であり、その単純な形から簡単に[[行列式]]や[[正則行列|逆行列]]を求めることができる。
また、任意の(''m, n'')型行列は基本変形を繰り返し適用することによって、以下のような単純な形の(''m, n'')型行列(以下、標準形 (*) と呼ぶ)に変形することができることが知られている。さらに、このような変形を得るための[[アルゴリズム|決定的な手続き]]も知られている。
{{Indent|
<math>
\begin{bmatrix}
 1 &   &        &   &   &   &        &\\ 
   & 1 &        &   &   &   &        &\\ 
   &   & \ddots &   &   &   &        &\\ 
   &   &        & 1 &   &   &        &\\
   &   &        &   & 0 &   &        &\\ 
   &   &        &   &   & 0 &        &\\ 
   &   &        &   &   &   & \ddots &\\ 
   &   &        &   &   &   &        &\\
\end{bmatrix}
</math>
}}
今、(''m, n'') 型行列 ''A''に関して基本変形を繰り返し適用することによって上のような標準形 ''F'' に変形できたとする。
このとき、基本変形と基本行列の同値性から、''p'' 個の (''m, m'')型基本行列 ''M''<sub>1</sub>, ... ''M<sub>p</sub>'' と ''q'' 個の (''n, n'')型基本行列 ''N''<sub>1</sub>, ... ''N<sub>q</sub>'' とを用いて下のように表せる。

:<math>
F = M_1M_2 \cdots M_pAN_1N_2 \cdots N_q
</math>

このとき、''A'' についてのさまざまな量を計算することができる。

=== 階数 ===
[[行列の階数|rank]] ''A'' = rank ''F''である。

=== 行列式 ===
''m'' = ''n'' のとき、''A'' には[[行列式]] det ''A'' が存在する。

:<math>
A = (M_1M_2 \cdots M_p) ^ {-1}F(N_1N_2 \cdots N_q) ^ {-1}
</math>

であるので、

:<math>
\begin{align}
  \det A &= \det ((M_1M_2 \cdots M_p) ^ {-1}F(N_1N_2 \cdots N_q) ^ {-1}) \\
             &= \det F/\left(\det M_p \cdot \det M_{p - 1} \cdot \dotsm \cdot \det M_1 \cdot \det N_q \cdot \dotsm \cdot \det N_1\right)
\end{align}
</math>

である。

=== 逆行列 ===
''m'' = ''n'' で、 ''A'' が[[正則行列]]であるとき、逆行列 ''A''<sup>-1</sup>が存在する。
''A'' が正則であるとき、 ''F'' が単位行列であることに注意すれば、

:<math>
A = (M_1M_2 \cdots M_p) ^ {-1}F(N_1N_2 \cdots N_q) ^ {-1} = (M_1M_2 \cdots M_p) ^ {-1}(N_1N_2 \cdots N_q) ^ {-1}
</math>

より、

:<math>
A^{-1} = N_1N_2 \cdots N_qM_1M_2 \cdots M_p
</math>

である。

さらに、''A'' が正則であるとき、''p'' と ''q'' どちらかを 0 にできる、つまり、左か右のどちらかのみの基本変形を繰り返し適用することによって、単位行列に変形できることが知られている。今、''q'' = 0であるとすると、

:<math>
A ^ {-1} = M_1M_2 \cdots M_p
</math>

である。つまり、''A'' を単位行列に変形するのと同じ変形を単位行列に適用することによって ''A''<sup>-1</sup> が得られる。

==== 逆行列の計算例 ====
例として、
{{Indent|
<math>
A = 
\begin{bmatrix}
2 & 6\\
1 & 4\\ 
\end{bmatrix}
</math>
}}
の逆行列を計算する。

''A''　の、左基本変形による単位行列への変形を試みる。

;1行目を1/2倍する。
:<math>
\begin{bmatrix}
1 & 3\\
1 & 4\\ 
\end{bmatrix}
</math>
;2行目に1行目の-1倍を加える。
:<math>
\begin{bmatrix}
1 & 3 \\
0 & 1 \\ 
\end{bmatrix}
</math>
;1行目に2行目の-3倍を加える。
:<math>
\begin{bmatrix}
1 & 0 \\
0 & 1 \\ 
\end{bmatrix}
</math>

よって、この三つの変形を単位行列に適用すれば、逆行列が求まる。

;1行目を1/2倍する。
:<math>
\begin{bmatrix}
1/2 & 0 \\
0 & 1 \\
\end{bmatrix}
</math>
;2行目に1行目の-1倍を加える。
:<math>
\begin{bmatrix}
1/2 & 0 \\
-1/2 & 1 \\ 
\end{bmatrix}
</math>
;1行目に2行目の-3倍を加える。
:<math>
\begin{bmatrix}
2 & -3  \\
-1/2 & 1\\ 
\end{bmatrix}
</math>

== 線型方程式系 ==
線型方程式系 ''Ax'' = ''b'' においても、基本変形により解を求めることができる。
''A'' に左基本変形を繰り返し施すことによって単純な形に変形できれば、同じ変形を ''b'' にも施すことによって、同値な方程式系

:<math>
 (M_1M_2 \cdots M_p A) x = M_1M_2 \cdots M_p b
</math>

を解くことに帰着できる。左基本変形のみでは、一般には上の標準形 (*) まで変形することはできないが、線型方程式系を解くのには十分簡単な形まで変形することができる。詳しくは、これを実現するアルゴリズムである[[ガウスの消去法]]に譲る。

=== 線形方程式系の解の計算例 ===
{{Indent|<math>
A = 
\begin{bmatrix}
2  & 2  & 1   & -3 \\
1  & 2  & 5   & 4 \\
-1 & -4 & -14 & -15 \\
\end{bmatrix}
, b = \begin{bmatrix}
4 \\
3 \\
-5 \\
\end{bmatrix}
</math>}}
のとき、''Ax'' = ''b'' を解くことを考える。

''A'', ''b'' に同じ左基本変形を加え、''A''　を解きやすい形に変形する。

; 1行目と2行目を入れ替える。
:<math>
\begin{bmatrix}
1  & 2  & 5   & 4 \\
2  & 2  & 1   & -3 \\
-1 & -4 & -14 & -15 \\
\end{bmatrix}
,
\begin{bmatrix}
3 \\
4 \\
-5\\
\end{bmatrix}
</math>
; 2行目に1行目の (-2) 倍 を足す。
:<math>
\begin{bmatrix}
1  & 2  & 5   & 4 \\
0  & -2 & -9  & -11\\
-1 & -4 & -14 & -15\\
\end{bmatrix}
,
\begin{bmatrix}
3 \\
-2\\
-5\\
\end{bmatrix}
</math>
; 3行目に1行目を足す。
:<math>
\begin{bmatrix}
1 & 2  & 5  & 4 \\
0 & -2 & -9 & -11\\
0 & -2 & -9 & -11\\
\end{bmatrix}
,
\begin{bmatrix}
3 \\
-2\\
-2\\
\end{bmatrix}
</math>
; 3行目に2行目の(-1)倍を足す。
:<math>
\begin{bmatrix}
1 & 2  & 5  & 4 \\
0 & -2 & -9 & -11\\
0 & 0  & 0  & 0 \\
\end{bmatrix}
,
\begin{bmatrix}
3 \\
-2 \\
0\\
\end{bmatrix}
</math>
; 1行目に2行目を足す。
:<math>
\begin{bmatrix}
1 & 0  & -4 & -7 \\
0 & -2 & -9 & -11\\
0 & 0  & 0  & 0 \\
\end{bmatrix}
,
\begin{bmatrix}
1 \\
-2 \\
0\\
\end{bmatrix}
</math>
; 2行目を-1/2倍する。
:<math>
\begin{bmatrix}
1 & 0  & -4 & -7 \\
0 & 1 & \frac{9}{2} & \frac{11}{2}\\
0 & 0  & 0  & 0 \\
\end{bmatrix}
,
\begin{bmatrix}
1 \\
1 \\
0\\
\end{bmatrix}
</math>

これにより、''Ax = b'' を同値な方程式系
{{Indent|<math>
\begin{bmatrix}
1 & 0 & -4 & -7 \\
0 & 1 & \frac 9 2 & \frac {11} 2 \\
0 & 0 & 0         & 0 \\
\end{bmatrix}
,b
=
\begin{bmatrix}
1 \\
1 \\
0\\
\end{bmatrix}
</math>}}
に変形できた。

これを解くのは簡単で、''x''<sub>3</sub>, ''x''<sub>4</sub>は自由であるので、''x''<sub>3</sub> = 2&alpha;, ''x''<sub>4</sub> = 2&beta; とおくと、
{{Indent|<math>
x_2 + \frac 9 2 x_3 + \frac {11} 2 x_4 = 1
</math>}}
より、
{{Indent|<math>
x_2 = 1 - 9 \alpha - 11 \beta
</math>}}
であり、
{{Indent|<math>
x_1 -4 x_3 - 7 x_4 = 1
</math>}}
より
{{Indent|<math>
x_1     = 1 + 8 \alpha + 14\beta
</math>}}
である。よって、
:<math>
x = 
\begin{bmatrix}
1 + 8 \alpha + 14 \beta \\
1 - 9 \alpha - 11 \beta \\
2\alpha \\
2\beta \\
\end{bmatrix}\quad(\alpha, \beta \in \mathbf{K})
</math>

と、解を得ることが出来た。

{{Linear algebra}}

{{DEFAULTSORT:きようれつのきほんへんけい}}
[[Category:行列|きほんへんけい]]
[[Category:数学に関する記事]]