線形代数II/基底の変換 の履歴(No.16)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数II/基底の変換 へ行く。
基底の変換†
基底の変換行列†
上の 次元線形空間 に2つの基底を取る
これらの基底に対するベクトル の表現 は、
(1) &math( \bm x=\begin{pmatrix}\bm a_1&\bm a_2&\dots&\bm a_n\end{pmatrix}\bm x_{ A} );
(2) &math( \bm x=\begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}\bm x_{ B} );
の関係を満たす。図に表わせば、
および はともに 線形写像となるから、その合成写像 も線形写像である。
線形代数I において の線形変換は 行列の積で表せることを学んだ。 すなわち、ある 次正方行列 を用いて、
(3)
と表せる。
このとき、 を 基底 から 基底 への基底の変換行列と呼ぶ。
変換の向き†
上記を良く読んで「変換の向きは逆じゃないの?」と思うのは正しい感覚。
どうしてこの向きかというと、
(2) に (3) を代入して、
&math( \bm x=\begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}P_{ B\to A}\bm x_{ A} );
と (1) とを比べると、
(4) &math( \begin{pmatrix}\bm a_1&\bm a_2&\dots&\bm a_n\end{pmatrix}= \begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}P_{ B\to A} );
となり、 は基底 を基底 に変換する。
基底を変換するのと、数ベクトル表現を変換するのとを区別して覚えよう。
変換行列 $P_{ B\to A}$ の具体的な形†
変換行列の列ベクトルを次のように置く。
(4) を列ベクトルごとに見れば、
&math( \bm a_i= \begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}\bm p_i );
一方、 の に対する表現 は
&math( \bm a_i= \begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}\bm a_{i B} );
だったから、
すなわち、
となる。
基底 から への変換行列 は、 基底 に対する基底 の表現ベクトル を並べて作った行列になる。
正則性†
当然、逆写像も線形写像であるから、
であり、
の関係がある。すなわち、基底の変換行列は正則行列である。
例†
に、2つの基底を取る。
&math( \bm a_1=\begin{pmatrix}1\\1\end{pmatrix}, \bm a_2=\begin{pmatrix}1\\-1\end{pmatrix} );
&math( \bm b_1=\begin{pmatrix}1\\2\end{pmatrix}, \bm b_2=\begin{pmatrix}2\\1\end{pmatrix} );
を で展開すれば、
→
→
2つの式をまとめると、
&math( \begin{pmatrix}\bm a_1&\bm a_2\end{pmatrix}&= \begin{pmatrix}\bm b_1&\bm b_2\end{pmatrix} \begin{pmatrix}1/3&-1\\1/3&1\end{pmatrix}\\ &=\begin{pmatrix}\bm b_1&\bm b_2\end{pmatrix} \begin{pmatrix}\bm a_{1B}&\bm a_{2B}\end{pmatrix}\\ &=\begin{pmatrix}\bm b_1&\bm b_2\end{pmatrix}P_{B\to A} );
この表式を用いて、
&math( \bm x&=\begin{pmatrix}\bm a_1&\bm a_2\end{pmatrix}\bm x_A\\ &=\begin{pmatrix}\bm b_1&\bm b_2\end{pmatrix}P_{B\to A}\bm x_A\\ &=\begin{pmatrix}\bm b_1&\bm b_2\end{pmatrix}\bm x_B\\ );
すなわち、
&math( \bm x_B=P_{B\to A}\bm x_A=\begin{pmatrix}1/3&-1\\1/3&1\end{pmatrix}\bm x_A );
演習†
に2つの基底 &math(A=\Big\{ \begin{pmatrix}1\\0\\0\end{pmatrix}, \begin{pmatrix}0\\1\\0\end{pmatrix}, \begin{pmatrix}0\\0\\1\end{pmatrix} \Big\}); と &math(B=\Big\{ \begin{pmatrix}1\\0\\0\end{pmatrix}, \begin{pmatrix}1\\1\\0\end{pmatrix}, \begin{pmatrix}1\\1\\1\end{pmatrix} \Big\}); を取る。
(1) から への変換行列 、 から への変換行列 を求めよ。
(2) および を確かめよ。