有限次元ベクトル空間上の線形作用素を表現する行列を構成する
線形代数や関数解析を勉強していて,線形写像(linear mapping)あるいは線形作用素(linear operator)と行列(matrix)の関係がいつもよく理解できずにモヤモヤして終わってしまうので,線形作用素を表現する行列の構成についてメモしておくことにしました.
問題を設定するため,過去記事2.6-1 Definition (Linear operator). を用います.
本記事の目的に進みます.有限次元ベクトル空間における線形作用素を表現する行列を構成します.Kreyszig(1989)のsection2.9を参考にして書きます.
=================================================================================
と を同じ体を持つ有限次元ベクトル空間とし, を線形作用素とします. の基底 と の基底 を選びます(次元 は固定されているとします). この設定において,あらゆる は
(1)
によりただ一通りに表現できます. は線形作用素なので, の像は
(2)
です.(1)はある についてただ一通りの表現なので,一つ目の結果を得ます:
基底 の像 が規定されるならば, が決定される(あらゆる について,ただ一通りの が決定される)ことになる.
先に進みます. なので,ただ一通りの表現
(3.a)
(3.b)
(3.b')
が存在します((3.b)または(3.b')は が と基底 により規定されることを意味しています.また は,線形作用素 と基底 から決定されていることがわかります).これらを(2)に代入すると以下を得ます.
.
は線形独立なので,左辺と右辺の の係数は等しくなければなりません.すなわち
(4)
です.これにより二つ目の結果を得ます:
の像は(4)から得られ, です.なお,(4)を行列で表現すると以下となり, であることが容易にみてとれます.
(4')
ここまでの議論から,線形作用素 , の基底 , の基底 が与えられると,ただ一通りの行列 を決定できることがわかります(この行列を表現行列と呼ぶ流派?もあるようです).これが線形作用素を表現する行列であり,目的は達成されました.
=================================================================================
なお上記の議論とは逆に,任意の 行 列行列は(有界)線形作用素(と の基底と の基底)を表現する行列であることは(4')を考えることにより簡単に得られます.
以上,有限次元ベクトル空間上の線形作用素を表現する行列を構成しました.
参考文献
[1] Kreyszig, E. (1989), Introductory Functional Analysis with Applications, Wiley.