表現行列の定義のお気持ち

本記事の目的

一般に定義される「表現行列」と，齋藤先生の線型代数入門による「基底間に関する線形写像の行列」との間に，ギャップがあるように思えたので，それを埋めてみました．

定義の確認

ベクトル空間$V,V^{\prime }$について，その間の線形写像$T:V\to V^{\prime }$を考える．
また，ここでは有限次元について考え，$\dim (V)=n,\dim (V^{\prime })=m$とし，$V,V^{\prime }$の基底をそれぞれ$E=\{{\mathit{e}}_1,\cdots ,{\mathit{e}}_n\},E^{\prime }=\{{{\mathit{e}}^{\mathbf{\prime }}}_1,\cdots ,{{\mathit{e}}^{\mathbf{\prime }}}_m\}$とおく．

線形写像を用いて，$T({\mathit{u}}_i)$は$E^{\prime }$の線形結合で表すことができる．この事を用いて，表現行列が定義される．

また，次の補題を用いて「基底間に関する線型写像の行列」が定義できる．

この補題により，ベクトル空間$V$における基底を定めることで，それに対応する同型写像$\varphi :V\to K^n$が決まる．特に，基底$E$を定めて得られる同型写像$\varphi$との組を明示的に表すために，基底$E$を$(E;\varphi )$とかくことにする．

この定義間の関係性

上の節で定義したベクトル空間と基底を引き続き用いることにする．
基底$E$から$E^{\prime }$に関する$T$の表現行列を$A$とし，基底$(E;\varphi ),(E;{\varphi }^{\prime })$に関する$T$の行列を$B$とする．このとき，
$$\begin{array}{r}\left[\begin{array}{c}T({\mathit{e}}_1),\cdots ,T({\mathit{e}}_n)\end{array}\right]=\left[\begin{array}{c}{{\mathit{e}}^{\mathbf{\prime }}}_1,\cdots ,{{\mathit{e}}^{\mathbf{\prime }}}_m\end{array}\right]A\end{array}$$
については，${\varphi }^{\prime }:T({\mathit{u}}_i)⟼{\varphi }^{\prime }(T({\mathit{u}}_i))=B(\varphi ({\mathit{u}}_i))\in K^m$に注意すれば，次の書き方と同値になる．
$$\begin{array}{rl}B\left[\begin{array}{c}\varphi ({\mathit{e}}_1),\cdots ,\varphi ({\mathit{e}}_n)\end{array}\right]& =\left[\begin{array}{c}{\varphi }^{\prime }({{\mathit{e}}^{\mathbf{\prime }}}_1),\cdots ,{\varphi }^{\prime }({{\mathit{e}}^{\mathbf{\prime }}}_m)\end{array}\right]A\end{array}$$
ここで，$\left[\begin{array}{c}\varphi ({\mathit{e}}_1),\cdots ,\varphi ({\mathit{e}}_n)\end{array}\right]=I_{n\times n},\left[\begin{array}{c}{\varphi }^{\prime }({{\mathit{e}}^{\mathbf{\prime }}}_1),\cdots ,{\varphi }^{\prime }({{\mathit{e}}^{\mathbf{\prime }}}_m)\end{array}\right]=I_{m\times m}$の単位行列であるため，$A=B$が成り立つ．以上より，二つの定義は同値である．