優しい解説を心掛けるリーマン幾何学～1. ベクトルとテンソル　1.1 ベクトル空間(2)～

　前回の記事： 優しい解説を心掛けるリーマン幾何学～1. ベクトルとテンソル　1.1 ベクトル空間(1)～
　次回の記事： 優しい解説を心掛けるリーマン幾何学～1. ベクトルとテンソル　1.2 双対ベクトル空間(1)～

　前回はベクトル空間において基底の取り換えに対するベクトルの成分の変換性をなぜ学ぶのかのモチベーションを説明しました。今回はベクトルの成分の変換性を説明します。と言っても実に単純な話です。

　$V$を$n$次元実ベクトル空間とします。微分幾何ではベクトルの成分の番号を上付きで表示します。つまり基底$\{e_1,\cdots ,e_n\}$に対して、$v\in V$を

$$v=v^1{e}_1+v^2{e}_2+\cdots +v^n{e}_n$$

と表示します。上付きの添え字をべき乗の指数と勘違いしないように注意してください。べき乗したいときは$(v^i{)}^2$のように表します。成分の番号を上付き添え字で表すのは理由がありますが、それは今後説明します。

　$v\in V$が２つの基底$\{e_1,\cdots ,e_n\},\{e_1^{\prime },\cdots ,e_n^{\prime }\}$に関して、それぞれ
$$v=(e_1,\cdots ,e_n)\left(\begin{array}{c}{v}^1\\ ⋮\\ v^n\end{array}\right)=(e_1^{\prime },\cdots ,e_n^{\prime })\left(\begin{array}{c}{v}^{\prime 1}\\ ⋮\\ v^{\prime n}\end{array}\right)$$
と表されているとします。

　２つの基底の間には、ある$A=(a_j^i)\in GL(n,\mathbb{R})$があり、
$$(e_1,\cdots ,e_n)=(e_1^{\prime },\cdots ,e_n^{\prime })\left(\begin{array}{ccc}{a}_1^1& \cdots & a_n^1\\ ⋮& \ddots & ⋮\\ a_1^n& \cdots & a_1^n\end{array}\right)$$
という関係があります。

なのでこのとき

$$(e_1^{\prime },\cdots ,e_n^{\prime })\left(\begin{array}{ccc}{a}_1^1& \cdots & a_n^1\\ ⋮& \ddots & ⋮\\ a_1^n& \cdots & a_1^n\end{array}\right)\left(\begin{array}{c}{v}^1\\ ⋮\\ v^n\end{array}\right)=(e_1^{\prime },\cdots ,e_n^{\prime })\left(\begin{array}{c}{v}^{\prime 1}\\ ⋮\\ v^{\prime n}\end{array}\right)$$

となるので、成分どうしは

$$\left(\begin{array}{c}{v}^1\\ ⋮\\ v^n\end{array}\right)={\left(\begin{array}{ccc}{a}_1^1& \cdots & a_n^1\\ ⋮& \ddots & ⋮\\ a_1^n& \cdots & a_1^n\end{array}\right)}^{-1}\left(\begin{array}{c}{v}^{\prime 1}\\ ⋮\\ v^{\prime n}\end{array}\right)$$

という関係になっています。これがベクトルの基底の変換に対する成分の変換規則です。

　この書き方は、スペースを取り、書くのが面倒で、tex打ちもしずらいなど、視覚的に分かりやすいという以外にはメリットがありません。視覚的に分かりやすいというのは非常に重要なメリットですが、今後のことも考えると

$$v^i=(a^{-1}{)}_j^i{v}^{\prime j}$$

のように成分表示で一行で書くことに慣れておくことが望ましいです。

　ではこの記事のまとめです。

　次回は双対ベクトル空間についてです。

　前回の記事： 優しい解説を心掛けるリーマン幾何学～1. ベクトルとテンソル　1.1 ベクトル空間(1)～
　次回の記事： 優しい解説を心掛けるリーマン幾何学～1. ベクトルとテンソル　1.2 双対ベクトル空間(1)～