前回はかなりぶっ飛んだ議論をしたのでどこが間違いかは指摘できなくても, 「ほんとかなぁ?」と思った方がほとんどだろうと思います.過去に情報を送信する肝は 「もつれを狙い通りに操作すること」にあったので,ここが難しいと思われるかもしれません.でも実はもつれさえ作っておけば一定の条件下でちゃんと過去に情報が送れることが示せます.しかも,その観測の際にもつれが壊れてしまってもよいのです.このことについては近々ご紹介する予定です.
さて,今回はそんな非常識な話ではなく,線形連立方程式を行列で解く際に用いる行基本変形を表す3つの正則行列を統一的に解釈する方法になります.
3つの行基本変形は
- ある行をゼロ以外の定数倍にする.
- ある行に別のある行の定数倍を加える.
- ある行と別のある行を入れ替える.
になります.
上のそれぞれの行基本変形を表す正則行列を次にご紹介する1成分だけ1の行列と単位行列の組み合わせで理屈で理解してしまいましょう.
成分だけ1の行列を左から掛けるとどうなるか?
まず, 成分だけ1の行列を何かの関数を用いて表せないか考えてみましょう.
実はこれは簡単で
\begin{align}
T = (\delta _{i - \alpha\ 0}\delta _{j - \beta\ 0})
\end{align}
になります.というのもこの
がゼロ以外の値をとるときは
と
の両方がゼロでないときだけでそのとき,
が成り立つからです.
ゼロでないときの値が1なのは明らかですね.
そこでこの行列をある行列
に左側から掛けてどうなるか見てみます.
\begin{align}
TA
&=
(\delta _{i - \alpha\ 0}\delta _{j - \beta\ 0})(a_{ij})
\\&=
(\sum _{k=1}^m\delta _{i - \alpha\ 0}\delta _{k - \beta\ 0}a_{kj})
\\&=
\begin{cases}
a_{\beta j}\qquad (i=\alpha , j=j)
\\
0 \qquad (\text{その他})
\end{cases}
\end{align}
これより,行列
を行列
に左から掛けると,
行が
の
行で他が全てゼロの行列が得られます.
これが全ての行基本変形の基礎になります.
そこでこれから上記三つの行基本変形を表す正則行列
を
を用いて求めてみましょう.
行を
倍する行列
行の全ての
列について
とし他はそのままとすればよいから,
行を
行の
倍に置き換えてその他の行はそのままで良いので,
に単位行列
を加えればよいでしょう.
ただし,このままだと
行に単位行列の影響で余分な
の項が足されてしまいますので,
単位行列からその分引かなくてはなりません.以上より求める行基本変形を表す行列は,
\begin{align}
P = (\delta _{ij} - \delta _{i - \alpha\ 0}\delta _{j - \alpha\ 0} +c\delta _{i - \alpha\ 0}\delta _{j - \alpha\ 0}) = (\delta _{ij} + (c-1)\delta _{i - \alpha\ 0}\delta _{j - \alpha\ 0})
\end{align}
となります.
なお,
より,
なので
は対角な正則行列です.
行に
行の
倍を加える行列
行を
の
行にする行列は
でした.
今回は
行に
行の
倍を加えるだけで元の
行を打ち消す必要はありませんから,
\begin{align}
P = (\delta _{ij} + c\delta _{i - \alpha\ 0}\delta _{j - \beta\ 0})
\end{align}
になります.なお,この
は対角成分が1の三角行列ですから,全ての固有値が1の正則行列です.
行と
行を入れ替える行列
行を
の
行にする行列は
,
行を
の
行にする行列は
,
ですのでそれらを足して,それ以外の行はそのままで良いので単位行列を加えればよさそうです.
ただし,単位行列の
成分と
成分をゼロにしておく必要があります.
まとめると
\begin{align}
P = (\delta _{ij} - \delta _{i-\alpha\ 0}\delta _{j-\alpha\ 0} - \delta _{i-\beta\ 0}\delta _{j-\beta\ 0} + \delta _{i-\alpha\ 0}\delta _{j-\beta\ 0} + \delta _{i-\beta\ 0}\delta _{j-\alpha\ 0})
\end{align}
となります.
この形より
は対称行列です.しかも実は正則行列になっています.
なぜならこの行列を二回掛けると
行と
行を2回入れ替えるだけなので恒等行列となり,
より逆行列が存在するからです.
この結果が意味するのは何か?
この結果より,三つの行基本変形を行う正則行列の形は別に覚える必要はなく,
成分だけが1の行列
を左から掛けてみてその作用を見てやればいつでも自分で導けるということを表しています.
三つの行基本変形を行う正則行列は別に機械的に暗記する必要がないことが分かっていただけたでしょうか?