線形代数II/基底の変換のバックアップソース(No.7)

更新
[[線形代数Ⅱ]]

#contents
#mathjax

* 基底の変換 [#lb2f5ba0]

** $\mathbb R^3$ の数ベクトル表現 [#ff3539d9]

次の３つのベクトルは &math(\mathbb R^3); の基底を為す。

&math(
\bm b_1=\begin{pmatrix}1\\0\\0\end{pmatrix},
\bm b_2=\begin{pmatrix}1\\1\\0\end{pmatrix},
\bm b_3=\begin{pmatrix}1\\1\\1\end{pmatrix}
);

つまり、次の２つが成り立つ。

+ &math(\bm b_1,\bm b_2,\bm b_3); は線形独立である
+ &math(\bm b_1,\bm b_2,\bm b_3); は &math(\mathbb R^3); を張る

1. はほぼ自明

2. は、&math(\forall \bm x=\begin{pmatrix}x\\y\\z\end{pmatrix}\in \mathbb R^3); を、

&math(\bm x=\bm b_1 x' +\bm b_2 y'+\bm b_3 z');

として表せると言う意味。あるいはこれを満たす &math(x',y',z'); を見つけられるという意味。

&math(
\bm x=\begin{pmatrix}\bigg.\bm b_1&\bm b_2&\bm b_3\end{pmatrix}\begin{pmatrix}x'\\y'\\z'\end{pmatrix}
=B\bm x');

と書き直すと、1. より &math(B); は正則行列であるから、どんな &math(\bm x); を与えられたとしても &math(\bm x'=B^{-1}\bm x); とすれば &math(\bm x'); を見つけられることが分かる。

すなわち、&math(\mathbb R^3); のベクトル &math(\begin{pmatrix}x\\y\\z\end{pmatrix}); の、
基底 &math(\bm b_1,\bm b_2,\bm b_3); に対する数ベクトル表現は、

&math(\begin{pmatrix}x'\\y'\\z'\end{pmatrix}=\begin{pmatrix}\bm b_1&\bm b_2&\bm b_3\end{pmatrix}^{-1}\begin{pmatrix}x\\y\\z\end{pmatrix});

と書けることが分かる。

実は上記の議論は線形独立な任意の &math(\bm b_1,\bm b_2,\bm b_3); にあてはまる。

** 基底の変換 [#bebc4cfe]

&math(\mathbb R^3); のベクトル &math(\bm x=\begin{pmatrix}x\\y\\z\end{pmatrix}); という書き方は、

基本ベクトルを &math(
\bm e_1=\begin{pmatrix}1\\0\\0\end{pmatrix},
\bm e_2=\begin{pmatrix}0\\1\\0\end{pmatrix},
\bm e_3=\begin{pmatrix}0\\0\\1\end{pmatrix}
); として

&math(\bm x=x\bm e_1+y\bm e_2+z\bm e_3
=\begin{pmatrix}\bm e_1&\bm e_2&\bm e_3\end{pmatrix}
\begin{pmatrix}x\\y\\z\end{pmatrix});

であるから、「基本ベクトルを基底とした時の &math(\bm x); の数値表現である」と言える。

したがって、~
基底 &math(\set{\bm e_1,\bm e_2,\bm e_3}) に対する数値表現 &math(\bm x=\begin{pmatrix}x\\y\\z\end{pmatrix}); から、~
基底 &math(\set{\bm b_1,\bm b_2,\bm b_3}) に対する数値表現 &math(\bm x'=\begin{pmatrix}x'\\y'\\z'\end{pmatrix}); への変換が、~
&math(\bm x'=B\bm x); と書けることになる。

このような変換を基底の変換、行列 &math(B); を基底の変換行列、と呼ぶ。

ここで、行列 &math(B=\begin{pmatrix}\bigg.\bm b_1&\bm b_2&\bm b_3\end{pmatrix}); は、
ベクトル &math(\bm b_1,\bm b_2,\bm b_3); の、&math(\bm e_1,\bm e_2,\bm e_3); に対する
数値表現を行列として並べた物となっている。

** 基底の変換行列 [#nfca15f3]

線形空間 &math(V); に２つの基底、
&math(\mathcal A=\set{\bm a_1, \bm a_2, \dots, \bm a_n}); および &math(\mathcal B=\set{\bm b_1, \bm b_2, \dots, \bm b_n}); 
があるとする。(&math(n=\dim V);)

&math(\forall\bm x\in V); の~
&math(\mathcal A); に対する数値表現 &math(\bm x_{\mathcal A}); と~
&math(\mathcal B); に対する数値表現 &math(\bm x_{\mathcal B}); との間には、

&math(\bm x_{\mathcal B}=A_{\mathcal B}^{-1}\bm x_{\mathcal A});

の関係がある。ただし、

&math(B_{\mathcal A}); は &math(n\times n); 行列で、~
\&math(\mathcal B); の基底ベクトルそれぞれに対して基底 &math(\mathcal A); での数値表現を作り、
それらを横に並べた行列である。

この &math(B_{\mathcal A}); を、基底 &math(\mathcal A); から基底 &math(\mathcal B); への
基底の変換行列と呼ぶ。

&math(
\bm x&=\big(\bm a_1\ \bm a_2\ \dots\ \bm a_n\big)\bm x_{\mathcal A}\\
&=\big(\bm b_1\ \bm b_2\ \dots\ \bm b_n\big)\bm x_{\mathcal B}\\
);

&math(
\bm b_i=\big(\bm a_1\ \bm a_2\ \dots\ \bm a_n\big)\bm b_{i\mathcal A}
);
Counter: 125657 (from 2010/06/03), today: 8, yesterday: 0