基底の基本変換のレッスンが「線形代数学」の第七課であった。そこでは簡単になぞって終えていた。それがいま第十課にやってきて、任意の行列の基底を変換して上三角行列に変形するやり方を教えられて、基底の基本変換の計算にちょっと怪しさをおぼえた。復習の記録をつけておく。
定義
基底の基本変換は次の3つである。ただし [tex: \displaystyle \alpha \ne 0] はスカラーで、 [tex: \displaystyle i \ne j] である。
- 基底の第 [tex: i] 番目と第 [tex: j] 番目を交換する。
- 基底の第 [tex: i] 番目を [tex: \alpha] 倍する。
- 基底の第 [tex: i] 番目に別の第 [tex: j] 番目の [tex: \alpha] 倍を足す。
具体例
3次正方行列で具体的に計算を追ってみる。
基底 [tex: \mathcal{A} = \lbrace \boldsymbol{a_1}, \boldsymbol{a_2}, \boldsymbol{a_3} \rbrace] における行列 [tex: A] を
[tex: A = \begin{pmatrix}
a_{11} & a_{12} & a_{13}
a_{21} & a_{22} & a_{23}
a_{31} & a_{32} & a_{33}
\end{pmatrix}
]
として、それぞれの変換を加えたときの変化をみる。
基底の第 [tex: i] 番目と第 [tex: j] 番目を交換する
新しい基底 [tex: \mathcal{B}] を、基底 [tex: \mathcal{A}] の2番目と3番目の要素を入れ替えて [tex: \mathcal{B} = \lbrace \boldsymbol{a_1}, \boldsymbol{a_3}, \boldsymbol{a_2} \rbrace] とする。
すると基底の変換を表す行列 [tex: P] は
[tex: (\boldsymbol{a_1}, \boldsymbol{a_3}, \boldsymbol{a_2}) = (\boldsymbol{a_1}, \boldsymbol{a_2}, \boldsymbol{a_3})P]
より
[tex: P = P^{-1} = \begin{pmatrix}
1 & 0 & 0
0 & 0 & 1
0 & 1 & 0
\end{pmatrix}
]
である。すると基底 [tex: \mathcal{B}] での行列表示 [tex: {B}] は、
[tex: \displaystyle
B \\displaystyle
= P^{-1}AP \\displaystyle
= \begin{pmatrix}
1 & 0 & 0
0 & 0 & 1
0 & 1 & 0
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13}
a_{21} & a_{22} & a_{23}
a_{31} & a_{32} & a_{33}
\end{pmatrix}
\begin{pmatrix}
1 & 0 & 0
0 & 0 & 1
0 & 1 & 0
\end{pmatrix} \\displaystyle
= \begin{pmatrix}
1 & 0 & 0
0 & 0 & 1
0 & 1 & 0
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{13} & a_{12}
a_{21} & a_{23} & a_{22}
a_{31} & a_{33} & a_{32}
\end{pmatrix} \\displaystyle
= \begin{pmatrix}
a_{11} & a_{13} & a_{12}
a_{31} & a_{33} & a_{32}
a_{21} & a_{23} & a_{22}
\end{pmatrix} \\displaystyle
]
となる。つまり [tex: B] は [tex: A] の第2列と第3列を入れ替え、さらに第2行と第3行を入れ替えて得られる。
基底の第 [tex: i] 番目を [tex: \alpha] 倍する
新しい基底 [tex: \mathcal{B}] を、基底 [tex: \mathcal{A}] の2番目の要素を [tex: c] 倍して [tex: \mathcal{B} = \lbrace \boldsymbol{a_1}, c\boldsymbol{a_2}, \boldsymbol{a_3} \rbrace] とする。
すると基底の変換を表す行列 [tex: P] は
[tex: (\boldsymbol{a_1}, c\boldsymbol{a_2}, \boldsymbol{a_3}) = (\boldsymbol{a_1}, \boldsymbol{a_2}, \boldsymbol{a_3})P]
より
[tex: P = \begin{pmatrix}
1 & 0 & 0
0 & c & 0
0 & 0 & 1
\end{pmatrix}
]
また
[tex: P^{-1} = \begin{pmatrix}
1 & 0 & 0
0 & 1/c & 0
0 & 0 & 1
\end{pmatrix}
]
である。すると基底 [tex: \mathcal{B}] での行列表示 [tex: {B}] は、
[tex: \displaystyle
B \\displaystyle
= P^{-1}AP \\displaystyle
= \begin{pmatrix}
1 & 0 & 0
0 & 1/c & 0
0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13}
a_{21} & a_{22} & a_{23}
a_{31} & a_{32} & a_{33}
\end{pmatrix}
\begin{pmatrix}
1 & 0 & 0
0 & c & 0
0 & 0 & 1
\end{pmatrix} \\displaystyle
= \begin{pmatrix}
1 & 0 & 0
0 & 1/c & 0
0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
a_{11} & ca_{12} & a_{13}
a_{21} & ca_{22} & a_{23}
a_{31} & ca_{32} & a_{33}
\end{pmatrix} \\displaystyle
= \begin{pmatrix}
a_{11} & ca_{12} & a_{13}
(1/c)a_{21} & a_{22} & (1/c)a_{23}
a_{31} & ca_{32} & a_{33}
\end{pmatrix}
]
となる。つまり [tex: B] は [tex: A] の第2列を [tex: c] 倍し、さらに第2行を [tex: 1/c] 倍して得られる。
基底の第 [tex: i] 番目に別の第 [tex: j] 番目の [tex: \alpha] 倍を足す
新しい基底 [tex: \mathcal{B}] を、基底 [tex: \mathcal{A}] の2番目の要素を [tex: c] 倍したものを3番目の要素に足して [tex: \mathcal{B} = \lbrace \boldsymbol{a_1}, \boldsymbol{a_2}, c\boldsymbol{a_2} + \boldsymbol{a_3} \rbrace] とする。
すると基底の変換を表す行列 [tex: P] は
[tex: (\boldsymbol{a_1}, \boldsymbol{a_2}, c\boldsymbol{a_2} + \boldsymbol{a_3}) = (\boldsymbol{a_1}, \boldsymbol{a_2}, \boldsymbol{a_3})P]
より
[tex: P = \begin{pmatrix}
1 & 0 & 0
0 & 1 & c
0 & 0 & 1
\end{pmatrix}
]
また
[tex: P^{-1} = \begin{pmatrix}
1 & 0 & 0
0 & 1 & -c
0 & 0 & 1
\end{pmatrix}
]
である。すると基底 [tex: \mathcal{B}] での行列表示 [tex: {B}] は、
[tex: \displaystyle
B \\displaystyle
= P^{-1}AP \\displaystyle
= \begin{pmatrix}
1 & 0 & 0
0 & 1 & -c
0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13}
a_{21} & a_{22} & a_{23}
a_{31} & a_{32} & a_{33}
\end{pmatrix}
\begin{pmatrix}
1 & 0 & 0
0 & 1 & c
0 & 0 & 1
\end{pmatrix} \\displaystyle
= \begin{pmatrix}
1 & 0 & 0
0 & 1 & -c
0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
a_{11} & a_{12} & a_{13} + ca_{12}
a_{21} & a_{22} & a_{23} + ca_{22}
a_{31} & a_{32} & a_{33} + ca_{32}
\end{pmatrix} \\displaystyle
= \begin{pmatrix}
a_{11} & a_{12} & a_{13} + ca_{12}
a_{21} - ca_{31} & a_{22} - ca_{32} & a_{23} + ca_{22} - c(a_{33} + ca_{32})
a_{31} & a_{32} & a_{33} + ca_{32}
\end{pmatrix} \\displaystyle
]
となる。つまり [tex: B] は [tex: A] の第2列を [tex: c] 倍したものを第3列に加え、さらに第2行を [tex: -c] 倍したものを第2行に加えることで得られる。