#rst2hooktail_source
========================================
共変ベクトルと反変ベクトル
========================================
最初に、これから勉強することの予告を兼ねて、少し表記に関する約束事をしておきます。この記事には、座標系の基底として $\{ \bm{e_{1}}, \bm{e_{2}}, \bm{e_{3}} \} $ のように添字が右下につくタイプのものと、 $\{ \bm{e^{1}}, \bm{e^{2}}, \bm{e^{3}} \} $ のように添字が右上につくタイプのものが両方でてきます。
ベクトルをどの座標系で見るのも自由ですから、どちらを基底に使っても良いのですが、『ベクトルの成分につく添字は、基底についている添字と上下を逆にする』と約束しておきます。例えば、こんな具合です。
<tex>
\bm{A} &= A^{1}\bm{e_{1}}+A^{2}\bm{e_{2}}+A^{3}\bm{e_{3}} \\
&= A_{1}\bm{e^{1}}+A_{2}\bm{e^{2}}+A_{3}\bm{e^{3}} \tag{*}
</tex>
式中の $\{ \bm{e_{1}}, \bm{e_{2}}, \bm{e_{3}} \} $ と $\{ \bm{e^{1}}, \bm{e^{2}}, \bm{e^{3}} \} $ は一般に異なりますから、上付きの成分 $A^{i}$ と下付きの成分 $A_{i}$ も違うものです。これは単なる表記の約束事ですから、『ふ〜ん、そういうもんかいな』と思っておいて頂ければとりあえず結構です。ただし、このように約束しておくと大変便利である、ということの理由が、だんだん分かってくると思います。
.. [*] 最初は $A^{2}$ のように書くのが『 $A$ の二乗』と紛らわしくて気持ちが悪い人がいるかも知れません。しかし、実際にベクトルの計算をしていて、 $A^{2}$ を二乗だと思うような人はいません。文脈があれば大丈夫です。
共変ベクトル
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
基底ベクトルの座標変換は、 基底の座標変換_ で勉強したように、最初の座標の基底ベクトルを $\{ \bm{e_{1}}, \bm{e_{2}}, \bm{e_{3}} \} $ 、新しい座標の基底ベクトルを $\{ \bm{e'_{1}}, \bm{e'_{2}}, \bm{e'_{3}} \} $ として、次のように書けます。
<tex>
\bm{e'_{i}}= {\alpha}_{i'}^{k}\bm{e_{k}} \tag{1}
</tex>
右辺はアインシュタインの縮約により、 $k$ に関する総和を意味していることに注意してください。
座標の基底ベクトルを $\{ \bm{e_{1}}, \bm{e_{2}}, \bm{e_{3}} \} $ から $\{ \bm{e'_{1}}, \bm{e'_{2}}, \bm{e'_{3}} \} $ へ変換したとき、次のような、式 $(1)$ の基底ベクトルと同一の変換式に従うベクトル $\bm{A}=(A_{1},A_{2},A_{3})$ を *共変ベクトル* と呼びます。基底と"同じ"変換式に従うので、"共変"と呼ぶのだそうです。
<tex>
A'_{i}= {\alpha}_{i'}^{k} A_{k} \tag{2}
</tex>
いま、いきなり成分だけで $\bm{A}$ を表現しましたが、基底ベクトルを明示的に書くとすると、最初に決めた添字を上下に分けるという約束により、 $\bm{A}= A_{1}\bm{e^{1}}+A_{2}\bm{e^{2}}+A_{3}\bm{e^{3}} $ となるはずです。 $\bm{A}=(A_{1},A_{2},A_{3})$ の基底ベクトル $\bm{e^{i}}$ の添字は上付になってます。
反変ベクトル
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
一方、次式のように式 $(1)$ と添字の上下を逆転させた変換に従うベクトルを *反変ベクトル* と呼びます。
<tex>
C'^{i}= {\alpha}_{k}^{i'} C^{k} \tag{3}
</tex>
反変ベクトルの方も同じく、式 $(*)$ の形で基底ベクトルを明示的に表わすと、 $\bm{C}= C^{1}\bm{e_{1}}+C^{2}\bm{e_{2}}+C^{3}\bm{e_{3}} $ となります。 $\bm{C}=(C_{1},C_{2},C_{3})$ の基底ベクトル $\bm{e_{i}}$ の添字は下付になっています。
変換係数 $ {\alpha}_{k}^{i'} $ の添字が、共変ベクトルの変換係数とはちょうど上下逆になっていることに注意してください。この違いが、共変ベクトルと反変ベクトルの座標変換を表わす式形の本質的な違いです。
まとめ
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
右下に添字がつくものの変化を *共変* 、右上に添字がつくものの変化を *反変* と定義しました。 $\bm{e_{i}}$ を共変基底、 $A_{i}$ を共変成分、 $\bm{e^{i}}$ を反変基底、 $A^{i}$ を反変成分と呼びます。この定義は、座標変換を表わす式の、式形の違いによるものでした。
また、共変基底は反変成分と、反変基底は共変成分と組み合わせて使うことを最初に決めました。
<tex>
\bm{A} = A^{1}\bm{e_{1}}+A^{2}\bm{e_{2}}+A^{3}\bm{e_{3}} = A_{1}\bm{e^{1}}+A_{2}\bm{e^{2}}+A_{3}\bm{e^{3}} \tag{*}
</tex>
共変と反変は、ちょうど刺し違えたように対称な構造になっているようです。このような相互的な関係を、数学では *双対* と言います。双対性に関しては、また章を改めて詳しく説明する予定です。この記事の主目的は、共変ベクトル・反変ベクトルという名前と、その定義式 $(2)(3)$ を導入することだけですので、ここまでの内容が理解できれば、まずは問題ありません。
しかし、鋭い人はここまでに次のような疑問点を持ったことと思います。
1. どうして基底と成分の添字が上下別のものを組み合わせるのか？（式 $(*)$ のようにする理由）
2. 共変基底と共変成分、反変基底と反変成分という組み合わせは無理なのか？
3. 一体全体、共変ベクトルと反変ベクトルの区別とは何なのか？
共変基底と反変基底は、添字の上下が異なるものとして別々に出てきましたので、お互いにどのような関係で結ばれているのかはまだ勉強していません。この二つの基底の関係は次の 双対基底_ で勉強しますが、実は共変基底と反変基底は相互に交換することが可能で、その公式を使えば共変基底と共変成分、反変基底と反変成分という組み合わせでベクトルを表記することも可能です。しかしその場合、成分の前に変換係数がごちゃごちゃ出てきます。変換係数なしに $A_{1}\bm{e_{1}}+A_{2}\bm{e_{2}}+A_{3}\bm{e_{3}}$ 、 $A^{1}\bm{e^{1}}+A^{2}\bm{e^{2}}+A^{3}\bm{e^{3}}$ などと書くと、 $\bm{A}$ と別のものになってしまいますので注意してください。共変成分と反変成分を入れ替える公式は ベクトル成分の座標変換_ で勉強します。先は長いです。
この記事の後半では疑問点 $3.$ に答えるべく、共変ベクトルと反変ベクトルの違いが実感できるような実例を幾つか考えます。また、これは予告になりますが、この後 ベクトル空間と線形写像_ 、 双対空間_ の記事では、純数学的な視点から、共変基底と反変基底の双対性の背後にある数学的構造を考察し、 双対基底と双対空間_ では、こうした構造を反映として共変基底と反変基底が自然に定義できることを勉強する予定です。少し議論は抽象的になりますが、二種類の基底が出てくる理由を納得するには、一番説得力のあるアプローチだと思います。
.. [*] 基底にも共変基底と反変基底があり、どちらも対等な対称な構造になっているわけですから、『基底ベクトルの変換と一緒だから"共変"』などという命名法は非常に根拠が曖昧です。これは慣用的に、共変基底をメインに使うことが多いという事情に由来するもののようです。共変基底と反変基底には、どちらを主従と決める確たる基準はありませんので、反変という用語は反変ベクトルに対して少し不公平な気がします。反変ベクトルから見れば、共変ベクトルが反対なんです。
.. [*] 共変ベクトルでも反変ベクトルでもないベクトルも世の中にはありますが、しばらくそのようなベクトルは考えません。
具体例
--------------------------------------------------------------
変換係数を ${\alpha}_{i'}^{k}$ のように、正体不明の係数として表現している限り、共変ベクトルと反変ベクトルの違いは、添字の上下によるだけのもので、非常に形式的な、記号だけの違いに思えます。式 $(2)(3)$ は極めて抽象的な変換式になっていますから、 このままでは実際的な意味を考えることは難しいと思います。しかし、数学的に式 $(2)(3)$ と同型の変換式に従うベクトルがあれば、それらも共変ベクトル、反変ベクトルと呼べますので、変換係数をもう少し意味の分かりやすい形に対応させて考えることができると思います。これから共変ベクトルと反変ベクトルの具体例を考えることにしましょう。
慣例に従って基底ベクトルには共変基底 $\{ \bm{e_{1}},\bm{e_{2}},\bm{e_{3}} \} $ を取り、座標成分には反変成分 $(x^{1},x^{2},x^{3})$ を考えます $(x^{1},x^{2},x^{3})$ から $(x'^{1},x'^{2},x'^{3})$ に座標変換する場合、座標成分は次の変換式に従います。（式 $(3)$ です。）
<tex>
x'^{i} = {\alpha}_{k}^{i'}x^{k}
</tex>
両辺を $x^{k}$ で偏微分して次式を得ます。
<tex>
{\alpha}_{k}^{i'} = \frac{\partial x'^{i}}{\partial x^{k}} \tag{4}
</tex>
同様に $x^{k}={\alpha}_{i'}^{k}x^{i'}$ より次式を得ます。
<tex>
{\alpha}_{i'}^{k} = \frac{\partial x^{k}}{\partial x'^{i}} \tag{5}
</tex>
式 $(4)(5)$ で変換係数と偏導関数の対応が一対一につきましたから、変換係数の代わりに偏導関数を使い、次式の変換式に従うベクトル $A_{i},C^{i}$ を考えるとき、これらはそれぞれ共変ベクトルと反変ベクトルだと考えることができます。
<tex>
A'_{i}= \frac{\partial x^{k}}{\partial x'^{i}} A_{k} \tag{6}
</tex>
<tex>
C'^{i}= \frac{\partial x'^{i}}{\partial x^{k}} C^{k} \tag{7}
</tex>
私達はいま、座標変換につられてベクトル成分がどう変わるかを知りたいわけですから、その変換係数（つまり比例係数）が、 $\frac{\partial x'^{i}}{\partial x^{k}}$ や $\frac{\partial x^{i}}{\partial x^{k'}}$ といった、座標成分の変化の関係を表わす偏微分によって表現されるという点は、直観的にも了解しやすいのではないでしょうか。
では、まず反変ベクトルの例から見てみましょう。
.. [*] 式 $(6)(7)$ に出てくる偏導関数は、通常の一次変換では定数になります。また、 $\bm{e_{i}}$ の座標系と $\bm{e'_{j}}$ の相対的な関係が時々刻々変わる場合、つまり運動している観測者に対する座標変換では、 ${\alpha}_{k}^{i'}$ は定数ではなく時間の関数になります。そういったケースが相対性理論に出てきますが、いまは変換係数を単なる定数だと考えておいても本質的な理解の幅を狭めることはないと思います。
反変ベクトルの例１
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
反変ベクトルの例として一番重要なのは、普通の成分ベクトルです。基底ベクトルを $\{ \bm{e_{1}}, \bm{e_{2}}, \bm{e_{3}} \} $ と取るとき、任意のベクトル $\bm{A}$ は次式のように書けます。
<tex>
\bm{A}=A^{1}\bm{e_{1}}+A^{2}\bm{e_{2}}+A^{3}\bm{e_{3}}
</tex>
ここで考えた基底は、共変ベクトルであることを念頭に置いておいて下さい。
個々の成分は単なる実数ですが、これを３つ一組に見ると $(A^{1},A^{2},A^{3})$ はベクトルだと考えることができます。既に添字を右上に書いてあるので、反変ベクトルであることを示しているわけですが、本当に成分ベクトルが反変ベクトルであることを以下に確認しましょう。
成分の変換は、 $\bm{A}$ を二つの基底 $\bm{e_{i}}$ と $\bm{e'_{j}}$ で表し、変換の式を代入してから両辺を比べることで求められるでしょう。基底は共変基底なので、逆変換を $\bm{e_{i}}= {\alpha}_{i}^{j'}\bm{e'_{j}}=\frac{\partial x'^{j}}{\partial x^{i}}\bm{e'_{j}}$ と表すことを途中で使います。
<tex>
\bm{A} & =A^{1}\bm{e_{1}}+A^{2}\bm{e_{2}}+A^{3}\bm{e_{3}} \\
& = A^{1} \Big( \frac{\partial x'^{1}}{\partial x^{1}}\bm{e'_{1}}+
\frac{\partial x'^{2}}{\partial x^{1}}\bm{e'_{2}}
+ \frac{\partial x'^{3}}{\partial x^{1}}\bm{e'_{3}} \Big) + A^{2} \Big( \frac{\partial x'^{1}}{\partial x^{2}}\bm{e'_{1}}+ \frac{\partial x'^{2}}{\partial x^{2}}\bm{e'_{2}}
+ \frac{\partial x'^{3}}{\partial x^{2}}\bm{e'_{3}} \Big) + A^{3} \Big( \frac{\partial x'^{1}}{\partial x^{3}}\bm{e'_{1}}+ \frac{\partial x'^{2}}{\partial x^{3}}\bm{e'_{2}}+ \frac{\partial x'^{3}}{\partial x^{3}}\bm{e'_{3}} \Big) \\
& = \Big( A^{1} \frac{\partial x'^{1}}{\partial x^{1}} + A^{2} \frac{\partial x'^{1}}{\partial x^{2}} + A^{3}
\frac{\partial x'^{1}}{\partial x^{3}} \Big) \bm{e'_{1}} + \Big( A^{1} \frac{\partial x'^{2}}{\partial x^{1}} + A^{2} \frac{\partial x'^{2}}{\partial x^{2}} + A^{3}
\frac{\partial x'^{3}}{\partial x^{3}} \Big) \bm{e'_{2}} + \Big( A^{1} \frac{\partial x'^{3}}{\partial x^{1}} + A^{2} \frac{\partial x'^{3}}{\partial x^{2}} + A^{3}
\frac{\partial x'^{3}}{\partial x^{3}} \Big) \bm{e'_{3}}
</tex>
この結果と $\bm{A} & = A'^{1}\bm{e'_{1}}+A'^{2}\bm{e'_{2}}+A'^{3}\bm{e'_{3}}$ の各成分を比べて、次式を得ます。
<tex>
A'^{i}= \frac{\partial x'^{i}}{\partial x^{j}} A^{j}
</tex>
たしかに反変ベクトルの定義式 $(7)$ の形になっています。 *共変基底の成分ベクトルは、反変ベクトルである* ということが分かりました。
途中で共変基底の逆変換を代入したことから、この結果は形式的には当然ではありますが、意味を多少考察してみましょう。繰り返しになりますが、座標変換とはベクトルを観察する視点を変更することであって、ベクトルそのものの本当の長さを変えることではありません。あくまで、観察者の見方の変化です。
.. image:: Joh-Covariant.gif
このことが分かっていれば、同じベクトルの長さを表現するのに『基底ベクトルの長さ（基準）が $2$ 倍になれば、座標成分（見え方）は $\frac{1}{2}$ に』『基底ベクトルの長さ（基準）が $4$ 倍になれば、座標成分（見え方）は $\frac{1}{4}$ に』と、基底ベクトルの長さと、その座標における座標成分とは反比例の関係にならなければ、本当のベクトルの長さを不変に保てないことが分かると思います。『本当のベクトルの長さは座標系によらない』ということを覚えていれば、基底ベクトルの座標変換と成分の座標変換が、ちょうど逆の関係になることが、むしろ当然のように思えてこないでしょうか。
基底ベクトルを反変基底を選んだときは、当然、その成分ベクトルは共変ベクトルになります。
.. important::
共変基底の成分ベクトルは反変的、反変基底の成分ベクトルは共変的。
.. [*] 『成分ベクトルは反変ベクトルである』とだけ書いてある教科書がありますが、それは暗に共変基底を選んでいるからです。確かに、慣用的にメインで使う基底には共変基底（添字が右下にあるもの）を使うことが多いのですが、とにかく共変ベクトルと反変ベクトルの双対性を考えれば、そのような一方的な定義は混乱を招き、視野を狭めることになると思います。
反変ベクトルの例２
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
もう一つの例として、座標系を $(x^{1},x^{2},x^{3})$ から $(x'^{1},x'^{2},x'^{3})$ に変換する際の座標成分の微係数 $dx$ を考えてみます。微積分で勉強したチェーンルールを使って、微係数は次のように書けます。
<tex>
dx'=\frac{\partial x'}{\partial x}dx+ \frac{\partial x'}{\partial y}dy + \frac{\partial x'}{\partial z}dz
</tex>
<tex>
dy'=\frac{\partial y'}{\partial x}dx+ \frac{\partial y'}{\partial y}dy + \frac{\partial y'}{\partial z}dz
</tex>
<tex>
dz'=\frac{\partial z'}{\partial x}dx+ \frac{\partial z'}{\partial y}dy + \frac{\partial z'}{\partial z}dz
</tex>
この変換公式をよく見ると、反変ベクトルの変換公式と同じですから、微係数を並べたベクトル $(dx,dy,dz)$ は反変ベクトルであることが分かります。
せっかく反変ベクトルなのですから、添字は右上に書くことにして $dx=dx^{1},dy=dx^{2},dz=dx^{3}$ と名前を付け替えることにします。すると、 まとめて次のように書けます。
<tex>
dx'^{i}=\frac{\partial x'^{i}}{\partial x^{j}}dx^{j}
</tex>
.. [*] 座標成分の微係数は $\bm{dx}=dx^{1}\bm{e_{1}}+dx^{2}\bm{e_{2}}+dx^{3}\bm{e_{3}}$ と書けますので、座標成分だからと言って先ほどの反変ベクトルの例１と何も変わりません。何となく頭がモヤモヤしてる人は、ここらで知識を整理してみて下さい。パソコンの画面を眺めているだけではダメですよ。
共変ベクトルの例
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ベクトル $\nabla f = (\frac{\partial f}{\partial x^{1}},\frac{\partial f}{\partial x^{2}},\frac{\partial f}{\partial x^{3}})$ を考えます。 $\nabla f$ の座標変換は、次式に従います。微積分に出てきた、チェーンルールです
<tex>
\frac{\partial f}{\partial x'^{i}}= \frac{\partial x^{j}}{\partial x'^{i}}\frac{\partial f}{\partial x^{j}}
</tex>
ここで $\frac{\partial x^{j}}{\partial x'^{i}}={\alpha}_{i'}^{j}$ と置けば、 $\nabla f$ は共変ベクトルであることが分かります。関数 $f$ は、形式的に外してしまっても良いので、 *∇は共変ベクトルだ* ということが分かりました。（まだ $\nabla$ を習っていない人、ゴメンナサイ（＞_＜） ）
.. [*] 座標変換の際、ベクトル $(dx,dy,dz)$ と $\nabla$ が違うタイプのベクトルだということで混乱する人がよくいます。この話題は 微分演算子の座標変換_ で取り上げます。共変ベクトルと反変ベクトルが分かっている人にとって、微分演算子の座標変換は何にも難しくないでしょう。
.. _色々な座標系: http://www12.plala.or.jp/ksp/mathInPhys/coordinates/
.. _基底の座標変換: http://www12.plala.or.jp/ksp/vectoranalysis/BaseTransform/
.. _ベクトル空間と線形写像: http://www12.plala.or.jp/ksp/vectoranalysis/VectorSpaceV/
.. _双対空間: http://www12.plala.or.jp/ksp/vectoranalysis/DualSpace/
.. _双対基底: http://www12.plala.or.jp/ksp/vectoranalysis/DualBases/
.. _微分演算子の座標変換:
.. _微分演算子の座標変換: http://www12.plala.or.jp/ksp/vectoranalysis/DiffOpTrans/
.. _ベクトル成分の座標変換: http://www12.plala.or.jp/ksp/vectoranalysis/VectorCompoTrans/
.. _双対基底と双対空間: http://www12.plala.or.jp/ksp/vectoranalysis/DualBaseAndSpace/
.. _直交座標系: http://www12.plala.or.jp/ksp/vectoranalysis/OrthogonalCoords/
.. _テンソルの一般的表現:
.. _テンソルの一般的表現: http://www12.plala.or.jp/ksp/vectoranalysis/GeneralTensorExp/
@@author:Joh@@
@@accept: 2006-07-15@@
@@category: ベクトル解析@@
@@id: CovariantContravariant@@
記事ソース/共変ベクトルと反変ベクトル の変更点
