記事ソース/基底の座標変換
メニュー現在 11 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/基底の座標変換†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容================================
基底の座標変換
================================
ベクトルの成分は座標系の取り方によって変わります。
.. image:: Joh-Reciprocal.gif
図はそれほど正確ではありませんが、青いベクトルは全く動いていないのに、点線（座標軸）に射影した長さは、座標系の取り方によって全く異なることが理解できると思います。
.. [*] ベクトルの座標変換と聞いたときに、『ベクトルを動かす』というイメージを持っている人がいるかも知れません。考え方として、これは逆なのですが、実際、観測者の気持ちになってみれば、ベクトルの見え方が変わったのですから、『ベクトルの方が動いた』と感じるのは当然です。しかし、ベクトルが数学的な対象物として、人間の意志とは別に厳然とそこに存在する物なのに対し、座標系は見る人が便利なようにどこに取っても良いものなのですから、ベクトルは動かず、見る人が視点を変えたと考えるのが正確です。この区別は観測者からだけでは分かりませんので、『本当にベクトルが動いた』場合と『座標の取り方が変わった』場合の計算結果は、観測者からだけでは区別できないと言わざるをえません。ちょうど天動説と地動説のようなものです。回転している人が遠心力を『本当の力』のように感じてしまうのも同じ事情によるものです。座標系にとらわれて視野がゆがむというのは恐ろしいことです。
さて、ある座標系の基底ベクトル $(\bm{e_{1}},\bm{e_{2}},\bm{e_{3}})$ を、 $(\bm{e'_{1}},\bm{e'_{2}},\bm{e'_{3}})$ に変換することを考えます。一般に $(\bm{e'_{1}},\bm{e'_{2}},\bm{e'_{3}})$ の各ベクトルは $(\bm{e_{1}},\bm{e_{2}},\bm{e_{3}})$ の関数となり、 $\bm{e'_{1}}=\bm{e'_{1}}(\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}),\ \bm{e'_{2}}=\bm{e'_{2}}(\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}),\ \bm{e'_{3}}=\bm{e'_{3}}(\bm{e_{1}},\bm{e_{2}},\bm{e_{3}})$ のように書けるはずですが、ここでは次式のように、それぞれ適当な係数を使って $\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}$ の線形結合で表現できるとします。ここで考えている座標変換とは暗に基底の向きを変えるだけの変換ですので、このように表現できると考えて問題はないでしょう。
<tex>
\bm{e'_{1}}= {\alpha}_{1}^{1}\bm{e_{1}}+ {\alpha}_{1}^{2}\bm{e_{2}}+{\alpha}_{1}^{3}\bm{e_{3}}
</tex>
<tex>
\bm{e'_{2}}= {\alpha}_{2}^{1}\bm{e_{1}}+ {\alpha}_{2}^{2}\bm{e_{2}}+{\alpha}_{2}^{3}\bm{e_{3}}
</tex>
<tex>
\bm{e'_{3}}= {\alpha}_{3}^{1}\bm{e_{1}}+ {\alpha}_{3}^{2}\bm{e_{2}}+{\alpha}_{3}^{3}\bm{e_{3}}
</tex>
私達はこの係数 ${\alpha}_{j}^{i}$ を具体的にはまだ知りませんが、何らかの ${\alpha}_{j}^{i}$ を用いれば、このような式形で座標変換を表現できることまでは諒解して頂きたいと思います。上の三式をまとめて行列表示にしても良いでしょう。
<tex>
\left(
\begin{array}{ccc}
\bm{e'_{1}} \\
\bm{e'_{2}} \\
\bm{e'_{3}} \\
\end{array}
\right)
=
\left(
\begin{array}{ccc}
{\alpha}_{1}^{1} & {\alpha}_{1}^{2} & {\alpha}_{1}^{3} \\
{\alpha}_{2}^{1} & {\alpha}_{2}^{2} & {\alpha}_{2}^{3} \\
{\alpha}_{3}^{1} & {\alpha}_{3}^{2} & {\alpha}_{3}^{3} \\
\end{array}
\right)
\left(
\begin{array}{ccc}
\bm{e_{1}} \\
\bm{e_{2}} \\
\bm{e_{3}} \\
\end{array}
\right)
</tex>
式の中に出てきた係数 ${\alpha}_{i}^{k}$ を *変換係数* と呼びます。変換係数が、ダッシュの付いていない基底からダッシュの付いた基底への座標変換を決定しています。変換係数につけた添字は、上や下に分けてありますが、この書き方にはちゃんと意味があります。この記事の最後で説明しますので、今はこのように添字を振ることを了承して頂きたいと思います。上の三式をまとめて次のようにも書いても良いでしょう。
<tex>
\bm{e'_{i}}=\sum \limits _{k=1}^{3} {\alpha}_{i'}^{k}\bm{e_{k}} \ \ (i=1,2,3) \tag{1}
</tex>
同様にして、ダッシュの付いた基底からダッシュの付いていない基底への変換を表すことも出来ます。
<tex>
\bm{e_{k}}=\sum \limits _{l'=1}^{3} {\alpha}_{k}^{l'}\bm{e'_{l}} \ \ (k=1,2,3) \tag{2}
</tex>
変換係数の性質
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
式 $(2)$ を式 $(1)$ に代入すると次式を得ます。
<tex>
\bm{e'_{i}}=\sum \limits _{k=1}^{3} \sum \limits _{l'=1}^{3} {\alpha}_{i'}^{k} {\alpha}_{k}^{l'} \bm{e'_{l}}
</tex>
両辺を比べると、『右辺 $=\bm{e'_{i}}$ 』となるはずですので、係数には次の関係が要請されます。
<tex>
\sum \limits _{k=1}^{3} {\alpha}_{i'}^{k} {\alpha}_{k}^{l'} = \begin{cases} 0 \ \ (i' \ne l')& \cr 1 \ \ (i'=l')& \end{cases} \tag{3}
</tex>
同様に、式 $(1)$ を式 $(2)$ に代入することで、次の関係式を得ます。ダッシュのつく文字が逆になっているだけで、式 $(3)$ と同じです。
<tex>
\sum \limits _{k'=1}^{3} {\alpha}_{i}^{k'} {\alpha}_{k'}^{l} = \begin{cases} 0 \ \ (i \ne l)& \cr 1 \ \ (i=l)& \end{cases} \tag{4}
</tex>
この結果は、何も驚くべきものではありません。変換と逆変換を連続して行えば、もとの座標系に戻るはずで、自分自身への座標変換、つまり全く動かない一次変換を表わす行列は単位行列のはずです。式 $(3)(4)$ はそのことを表わしているに過ぎません。添字がごちゃごちゃして意味が分かりにくかった人がいるかも知れませんが、要するに次式の行列の成分を、 $\alpha$ の条件式として表わしてみただけなのでした。
<tex>
\left(
\begin{array}{ccc}
\bm{e_{1}} \\
\bm{e_{2}} \\
\bm{e_{3}} \\
\end{array}
\right)
=
\left(
\begin{array}{ccc}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1 \\
\end{array}
\right)
\left(
\begin{array}{ccc}
\bm{e_{1}} \\
\bm{e_{2}} \\
\bm{e_{3}} \\
\end{array}
\right)
</tex>
今後、テンソル解析という分野に入ると、もっと面倒な添字の計算がたくさん出てきますから、今のうちに少しずつ慣れていきましょう。
縮約
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
式 $(3)$ や式 $(4)$ で $\Sigma$ の記号が出てきましたが、これをいちいち書くのは面倒なので、次のように決めて $\Sigma$ の記号を省略することにします。これを *アインシュタインの縮約* と呼びます。
.. important::
上と下に同じ添字が出てきたら、その添字の総和を取ることとします。
基底 $\bm{e_{i}}$ にかかる変換係数で、添字 $i$ をわざわざ ${\alpha}_{k}^{i}$ のように基底の添字の位置と逆にしたのは、この縮約を使いたかったからなのです。
例えば、式 $(3)$ の左辺 ${\alpha}_{i'}^{k} {\alpha}_{k}^{l'}$ には、上下に分かれて $k$ が出てきていますから、縮約に従って自動的に $k$ の和を取り、 $\Sigma$ を書かなくても $ {\alpha}_{i'}^{k} {\alpha}_{k}^{l'} = {\alpha}_{i'}^{1} {\alpha}_{1}^{l'}+{\alpha}_{i'}^{2} {\alpha}_{2}^{l'} +{\alpha}_{i'}^{3} {\alpha}_{3}^{l'} $ の意味だとします。慣れてくるととても便利です。
アインシュタインの縮約を使った例を二つ挙げておきます。添字の上下に気をつけてください。 $i=1,2,3$ とします。
<tex>
A_{i}B^{i}=A_{1}B^{1}+A_{2}B^{2}+A_{3}B^{3}
</tex>
<tex>
A_{i}B^{j}C^{i}=B^{j}(A_{1}C^{1}+A_{2}C^{2}+A_{3}C^{3})
</tex>
一番目の式はベクトル $\bm{A}$ とベクトル $\bm{B}$ の内積 $\bm{A} \cdot \bm{B}$ を、二番目の式は $\bm{B}(\bm{A} \cdot \bm{C})$ を表わしています。アインシュタインの縮約の規則自体は難しくないと思いますが、多くの人がきっと『添字を上につけたり下につけたりする意味は一体何なの！！？』という、憤懣やる方ない気持ちを抱いていると思います。
確かに、高校の数学にも添字は出てきましたが、上につけるか下につけるかには、あまりこだわりませんでした。特に、 $A^{2}$ と書いたら『 $A$ の二乗』と紛らわしいですから、添字は常に右下に書くことにしていた人が多いかも知れません。残念ながら、この記事で添字の上下に関する秘密を全て解説することは出来ません。この添字の仕組みに隠されたベクトルやテンソル（ベクトルの概念を拡張したようなものです）の構造を理解していくのがベクトル代数部門の目標の一つでもあり、時間をかけて解明していく予定だからです。勉強が進むにつれて、だんだんと霧が晴れていくと思いますので、まず今は、縮約の規則だけ覚えればよしとしましょう。
縮約について、もう一点だけ付け加えておくべきことがあります。さきほどの縮約の特別な場合です。
.. important::
各基底ベクトルが直交するように座標系を取っている場合（直交基底）に限って、上下に分かれてなくても、同じ添字が連続して出てきたら総和を取ることとします。
やはり、理由を全て説明するわけには行きませんが、なぜ直交基底の場合に、こんなことが許されるのかをという事情に簡単に触れておきましょう。これから勉強する内容をある程度俯瞰することにもなると思います。ベクトルにはズバリ、添字が上につく仲間と下につく仲間とがあり、それぞれは一卵性双生児のように対称な世界を形作っています。そして、『添字が上下に分かれた二つのベクトルの内積を取ると、座標変換に対して不変な量になってしまう』という性質があるのです。こんな話を初めて聞いた人はビックリしたかも知れませんが、この世界は実はそんな構造になっていたのです。この理論は、これからゆっくり勉強していきますから、今は何も焦らなくて大丈夫です。さて、直交座標系（基底ベクトルがそれぞれ直交する座標系）の場合に限って、添字が上のベクトルと添字が下のベクトルを区別しなくても良いという事情があり（両者が等しくなってしまうのです）、上の規則はこの事情に基づいています。
理論を勉強する前に結果だけ先取りするのは気持ち悪いですが、和を取るたびに $\Sigma$ を書くのは面倒ですから、縮約だけは最初に導入しておきたかったのです。
アインシュタインの縮約によって、 $\Sigma$ を使わずに次式の左辺を右辺のように書いてしまえるのは、座標系を *直交座標系に取った場合だけ* です。
<tex>
A_{11} + A_{22} + A_{33} = A_{ii}
</tex>
.. [*] 薄ぺったい教科書の中には、添字の上下には触れずに『同じ添字が二回出てきたら和を取る』とだけ書いている悪質なものがあります。確かに、私達が使う座標系のほとんどは直交座標系ですから、そのように覚えておいても実際の計算で困ることはあまり無いでしょう。かえって、急に添字の上下を言い始めると『添字ってそもそも何なの？』『上につく添字と、下につく添字はどう違うの？』『どうして座標変換に対して不変なの？』というような疑問が一挙に噴出して、収拾のつかないことになる可能性もあります。しかし、物理のかぎしっぽの読者諸兄姉は本格派ですから、そのようないい加減な定義には却って納得しないと思い、背後の事情もいきなり説明してみました。この添字の仕組みは非常によく出来ていて、添字の上下の違いにも、数学的・物理的な意味の違いがあることが徐々に分かってきます。テンソルという概念を勉強すると、添字の上と下の意味の違いが更にはっきり分かるでしょう。長い道のりです。次の 共変ベクトルと反変ベクトル_ で、添字の上下による違いがさっそく出てきます。
クロネッカーのデルタ
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
式 $(3)(4)$ の右辺に『 $i=j$ なら $1$ 、 $i \ne j$ なら $0$ 』という場合分けが出てきましたが、これを次のような関数で書くと便利です。
<tex>
{\delta}_{ij}, \ \ \ {\delta}_{i}^{j}, \ \ \ {\delta}^{ij}
</tex>
これを *クロネッカーのデルタ* と呼びます。ベクトルやテンソルの計算でとても重宝するものです。添字の上下による区別は、今はあまり気にしないでください。
クロネッカーのデルタとアインシュタインの縮約を用いると、式 $(3)$ は次のように書けます。随分シンプルになりました！！
<tex>
{\alpha}_{i'}^{k} {\alpha}_{k}^{l'} = {\delta}_{i'}^{l'} \tag{5}
</tex>
.. [*] 急にアインシュタインの名前が出てきましたが、相対性理論で有名なあのアインシュタイン( $\text{Albert Einstein (1888-1947)}$ )です。相対性理論では座標変換の計算をたくさん行いますが、そこではベクトルを少し拡張したテンソルという概念を多用します。テンソルの計算は添字計算の嵐のようなものです。アインシュタインはテンソル解析の達人だったということですが、彼が $\Sigma$ の記号を省略する書き方を最初に始めたそうです。相対性理論は、平たく言えば、座標変換をすると物理量の見え方や物理法則がどう変わるかに関する理論です。時間や空間に関する相対性理論の結果が日常生活の常識からあまりに懸け離れているためか、相対性理論を非常に難解な不可思議な理論だと思っている人が多いようですが、空間と時間を併せた座標系において『座標変換とともに変わるものは何か、座標系によらずに一定なものは何か』を考える理論だと言えば、意外と単純な理論なのではないかとも思えてきます。
.. _共変ベクトルと反変ベクトル: http://www12.plala.or.jp/ksp/vectoranalysis/CovariantContravariant/
@@author:Joh@@
@@accept: 2006-07-15@@
@@category: ベクトル解析@@
@@id: BaseTransform@@
|
