#rst2hooktail_source
==================================================
微分形式の張る空間と座標変換
==================================================
この記事の内容は、今まで勉強してきた内容の、代数的なおさらいです。多少、言い忘れた事柄も補足しますが、特に目新しい話はありませんので、もし何か引っかかる部分があれば、今のうちに復習しておいて下さい。
微分形式の張る空間
============================================================
ベクトル空間 $R^{n}$ 上で定義される微分形式の全体 $E (R^{n})$ は、 $n$ 次以下の外積空間の直和として、次のように書けるでしょう。
<tex>
E (R^{n}) = \land ^{0}(R^{n}) \oplus \land ^{1}(R^{n}) \oplus \cdots \oplus \land ^{n}(R^{n}) \tag{1}
</tex>
ここで $\lambda , \mu \in E (R^{n})$ とすると、 $\lambda$ と $\mu$ の間には $E (R^{n})$ 内で次のような結合を考えることが出来ます。
1. $\alpha \lambda + \beta \mu \ \ (\alpha , \ \beta \in R)$
2. $\lambda \land \mu$
3. $f\lambda \ \ \ \ \ $ （ $f \in \land ^{0}(R^{n})$ は関数）
一番目の線形結合は、 $\lambda$ と $\mu$ が同じ次数の微分形式でなければ意味がありません。（次数の異なる微分形式に、和は定義できません。）また、これらの演算とは別に $E (R^{n})$ には外微分と呼ばれる写像 $\land ^{k}(R^{n}) \longmapsto \land ^{k+1}(R^{n})$ が定義されていました。外微分には、次のような性質がありました。詳しくは、 外微分_ 、 ポアンカレの補題_ 、 外微分の座標不変性_ を復習してください。
1. $d(\alpha \lambda + \beta \mu ) = \alpha d\lambda + \beta d\mu \ \ (\alpha , \beta \in R)$
2. $d(fg)=fdg+gdf \ \ (f,g \in \land^{0}(R^{n}) )$
3. $d(\lambda \land \mu)= d\lambda \land \mu + (-1)^{k} \lambda \land d\mu \ \ (\lambda \in \land ^{k}(R^{n}), \ \mu \in \land (R^{n}))$
4. $d(d\lambda )=0 \ \ (\forall \lambda \in \land (R^{n}))$
.. [*] 外積代数の記号である $E(R^{n})$ や $\land ^{k}R^{n}$ を使って微分形式の張るベクトル空間を表現しましたが、外積代数そのものには、外微分は定義されていなくても良く、微分形式には外微分が必須ですので、微分形式の張る空間には、『外微分が入った構造だよ』ということを明示的に示すために何か他の記号を使った方が良かったかも知れません。一般に、積や和といった代数構造と、微分や積分といった操作は別なのです。あまり色々出て来ると面倒なので、横着しました。
微分形式の座標変換
=============================================================
このセクションでは、微分形式の座標変換を考えてみます。すでに、関数 $u=u(x,y,z)$ 等の 全微分として知っていた公式は、一次微分形式の座標変換の式だと読むこともできます。
<tex>
du =
\frac{\partial u}{\partial x}dx +
\frac{\partial u}{\partial y}dy +
\frac{\partial u}{\partial z}dz \tag{2}
</tex>
<tex>
dv =
\frac{\partial v}{\partial x}dx +
\frac{\partial v}{\partial y}dy +
\frac{\partial v}{\partial z}dz \tag{3}
</tex>
<tex>
dw =
\frac{\partial w}{\partial x}dx +
\frac{\partial w}{\partial y}dy +
\frac{\partial w}{\partial z}dz \tag{4}
</tex>
式 $(2)(3)(4)$ をあわせれば、 $xyz$ 座標系から $uvw$ 座標系への座標変換が表わされていることが分かると思います。二次微分形式の基底は次のように変換されます。ヤコビアンがたくさん出てきます。（ 面積素と微分形式_ も参考にしてみて下さい。）
<tex>
du \land dv =
\frac{\partial (u,v)}{\partial (y,z)}dy \land dz +
\frac{\partial (u,v)}{\partial (z,x)}dz \land dx +
\frac{\partial (u,v)}{\partial (x,y)}dx \land dy \tag{5}
</tex>
<tex>
dv \land dw =
\frac{\partial (v,w)}{\partial (y,z)}dy \land dz +
\frac{\partial (v,w)}{\partial (z,x)}dz \land dx +
\frac{\partial (v,w)}{\partial (x,y)}dx \land dy \tag{6}
</tex>
<tex>
dw \land du =
\frac{\partial (w,u)}{\partial (y,z)}dy \land dz +
\frac{\partial (w,u)}{\partial (z,x)}dz \land dx +
\frac{\partial (w,u)}{\partial (x,y)}dx \land dy \tag{7}
</tex>
三次微分形式の変換は（一次元なので）もっと単純で、次のようになります。
<tex>
du \land dv \land dw =
\frac{\partial (u,v,w)}{\partial (x,y,z)}dx\land dy \land dz \tag{8}
</tex>
ヤコビアンの符号は、空間の向きを保つ変換の場合には正、向きを逆にする変換の場合には負になる点にも注意して下さい。これらの変換公式の意味は、重積分の際の積分変数の変換公式 $dudvdw=\frac{\partial (u,v,w)}{\partial (x,y,z)}dxdydz $ 等の拡張になっています。
.. important::
微分形式の座標変換は、重積分の積分変数の変換公式のパワーアップ版です。
何度も強調しているように『積分の向き』『面積分の向き』『座標系が右手系か左手系か』といった情報を織り込めるという点で、ただの重積分の変数変換よりも、微分形式は多くの情報を含んでいます。これは、変数変換のヤコビアンの性質が、うまく組み込まれているからです。
.. [*] 積分計算と変数変換の論理を一貫させたために、形式的に『負の面積』『負の体積』といった量が出てきました。これらに物理的な応用を見つけることは出来ますが、原始的な直観としては、負の体積などは受け容れがたい概念でしょう。論理を美しく簡潔に整理していくと、原始的な直観だけでは太刀打ちできなくなってきます。それを、視野がより広がったと見るか、論理の整合性のための犠牲と見るかは、受け手の感情によるのでしょう。
ヤコビアン
-----------------------------------------------------------------
以前、 面積素と微分形式_ で説明したように、ウェッジ積の性質（交代性）は、ヤコビアンの性質（行や列を入れ替えると符号が変わる）と見事に一致するため、重積分の積分変数を微分形式で表わすと、曲面の向きや空間の向きを保つのに非常に都合が良いことを見ました。これは復習事項です。
もう一つ、微分形式と変数変換について、変数変換に際して、変数の次数が変わっても構わないという点に注意して下さい。次元が変わる場合の変換の公式は次式のようになります。
<tex>
du^{1} \land du^{2} \land \cdots \land du^{k} =
\frac{\partial (u^{1},u^{2},...,u^{k})}{\partial (x^{1},x^{2},...,x^{n})}dx^{1}\land dx^{2} \land \cdots \land dx^{n} \tag{9}
</tex>
ここでヤコビアン $|J|=\frac{\partial (u^{1},u^{2},...,u^{k})}{\partial (x^{1},x^{2},...,x^{n})}$ は、 $k<n$ ならば横長の、 $k>n$ ならば縦長の行列式になります。いずれにせよ、ヤコビ行列の各成分 $\frac{\partial u^{i}}{\partial x^{j}}$ が非零な滑らかな関数であることが条件で、この場合、ヤコビアンの次数は縮退しません。つまり $k<n$ ならば ${\rm dim}J=k$ 、 $k>n$ ならば ${\rm dim}J=n$ が要請されます。（これは線形代数の問題なので、ここでは証明はしません。）
.. [*] 外積代数は交代形式のテンソル解析だと見ることが出来ましたので、微分形式の理論もテンソル解析の一分野に過ぎない、という考えの人もいるかも知れません。しかし、古典的なテンソル解析では、変数の変換で次数が変わることはあまりありませんでしたので、この点に関しては微分形式の方がずっと自由だと言えます（むしろ古典的なテンソル解析で主に考えたのは、直交変換という、非常に特殊な変換でした。）。変数の次数が減る、というのは、例えば射影のように、ふくらみのある立体をつぶしてしまう、というような場合（射影）が当てはまります。逆に、変数の次数を増やすというのは、つぶれた図形を膨らませるような変数変換だということです。特に、膨らますという操作には少し違和感を覚えるかも知れませんが、 微分形式の引き戻し_ という操作で、この話を重点的に考えます。こんな話題があったことを、頭の片隅に引っ掛けておいて下さい。
テンソルとしてみた場合の微分形式
--------------------------------------------------------------
このセクションでは、テンソル解析の手法に戻って、久しぶりに添字を使った表記を考えてみたいと思います。ウェッジ積は交代形式のテンソル積だと考えることが出来ますから（そして外積代数は交代形式のテンソル代数）、微分形式をテンソルとして表現することも出来るわけです。実際、昔風の教科書の中には、微分形式の理論をテンソル解析の一分野として扱っているものもあります。今さら、テンソルの添字計算に戻るメリットはあまりありませんが、テンソル解析との関係をすっきり理解しておくことは有意義でしょう。ウェッジ積 $a \land b$ は、テンソル積を使えば次のように書くことが出来ます。
<tex>
du \land dv = du \otimes dv - dv \otimes du \tag{10}
</tex>
成分表記すれば、 $du=(du_{1},du_{2},du_{3}), \ dv = (dv_{1},dv_{2},dv_{3})$ として、式 $(10)$ 右辺のテンソル積は次のように表わせます。
<tex>
du \otimes dv =
\left(
\begin{array}{ccc}
du_{1}dv_{1} & du_{1}dv_{2} & du_{1}dv_{3} \\
du_{2}dv_{1} & du_{2}dv_{2} & du_{2}dv_{3} \\
du_{3}dv_{1} & du_{3}dv_{2} & du_{3}dv_{3} \\
\end{array}
\right) \tag{11-1}
</tex>
<tex>
dv \otimes du = \left(
\begin{array}{ccc}
dv_{1}du_{1} & dv_{1}du_{2} & dv_{1}du_{3} \\
dv_{2}du_{1} & dv_{2}du_{2} & dv_{2}du_{3} \\
dv_{3}du_{1} & dv_{3}du_{2} & dv_{3}du_{3} \\
\end{array}
\right) \tag{11-2}
</tex>
式 $(11-1)(11-2)$ より、次式が言えます。
<tex>
du \otimes dv - dv \otimes du = \left(
\begin{array}{ccc}
0 & du_{1}dv_{2} - dv_{1}du_{2} & du_{1}dv_{3} -dv_{1}du_{3} \\
du_{2}dv_{1} -dv_{2}du_{1} & 0 & du_{2}dv_{3} -dv_{2}du_{3} \\
du_{3}dv_{1}-dv_{3}du_{1} & du_{3}dv_{2} -dv_{3}du_{2} & 0 \\
\end{array}\right) \tag{12}
</tex>
これは反対称行列で、これを行列 $c_{ij}$ と名づければ、成分の添字表記で $c_{ij}=[du_{i}dv_{j}-dv_{i}du_{j}]$ のように簡単に書けるでしょう。ウェッジ積 $du \land dv$ はこのような行列と同じだと考えても良いということになります。（ウェッジ積の交代性 $du \land dv = - dv \land du$ が確かに満たされることを確認して下さい。） $3 \times 3$ の反対称行列は実質的に三成分なので、三次元ベクトルと同型だと見ることが出来ました。
<tex>
\left(
\begin{array}{ccc}
0 & du_{1}dv_{2} - dv_{1}du_{2} & du_{1}dv_{3} -dv_{1}du_{3} \\
du_{2}dv_{1} -dv_{2}du_{1} & 0 & du_{2}dv_{3} -dv_{2}du_{3} \\
du_{3}dv_{1}-dv_{3}du_{1} & du_{3}dv_{2} -dv_{3}du_{2} & 0 \\
\end{array}\right)
\sim
\left(
\begin{array}{c}
du_{2}dv_{3} -dv_{2}du_{3} \\
du_{3}dv_{1} -dv_{3}du_{1} \\
du_{1}dv_{3} -dv_{1}du_{3} \\
\end{array}\right)
= \left(
\begin{array}{c}
du_{1} \\
du_{2} \\
du_{3} \\
\end{array} \right)
\times \left(
\begin{array}{c}
dv_{1} \\
dv_{2} \\
dv_{3} \\
\end{array} \right) \tag{13}
</tex>
式 $(13)$ の右辺の絶対値は、ベクトルの外積の定義より、ベクトル $\bm{du}$ と $\bm{dv}$ の張る微小な平行四辺形になります。ベクトル形で見れば、 $\bm{du}$ から $\bm{dv}$ へ反時計回りに回るときに間に来る面積を正とする向きつき面積と見ることが出来ますから、これをそのままウェッジ積 $a \land b$ の幾何学的意味として採用すれば、意味が分かりやすいでしょう。
.. [*] 式 $(13)$ で、反対称行列とベクトルを対応させた同型写像 $\sim$ にはある程度の任意性があります。たとえば、中辺のベクトルに $2$ を掛けた形の同型写像も作れます。この場合、 $du \land dv$ は『 $\bm{du}$ と $\bm{dv}$ の張る微小な平行四辺形の向きつき面積の $2$ 倍』と定義されるわけです。そんな定義は素直ではないので、採用しないだけです。それにしても、 面積素と微分形式_ では、単にウェッジ積の性質と向きつき面積の性質（つまりはヤコビアンの性質）を比べて、ウェッジ積は向きつき面積だと考えることが出来る、と（代数的な性質だけから）決めてしまいましたが、上述のようにテンソルとして見ることで、もう少しこのような見方の根拠が明確になったと思います。
さて、一次微分形式の基底とも言うべき微小量 $dx, dy, dz$ などは、重積分の変数変換の公式と同じように変換されるのでした。式 $(2)(3)(4)$ を再掲します。
<tex>
du =
\frac{\partial u}{\partial x}dx +
\frac{\partial u}{\partial y}dy +
\frac{\partial u}{\partial z}dz \tag{2}
</tex>
<tex>
dv =
\frac{\partial v}{\partial x}dx +
\frac{\partial v}{\partial y}dy +
\frac{\partial v}{\partial z}dz \tag{3}
</tex>
<tex>
dw =
\frac{\partial w}{\partial x}dx +
\frac{\partial w}{\partial y}dy +
\frac{\partial w}{\partial z}dz \tag{4}
</tex>
ここで、 $x,y,z$ を $x^{1},x^{2},x^{3}$ 、 $u,v,w$ を $\xi^{1},\xi^{2},\xi^{3}$ のように名前を付け直せば（座標変数の添字は右上に書くのが慣用でしたね）、式 $(2)(3)(4)$ はまとめて次のように書けます。
<tex>
d\xi ^{i} =
\frac{\partial \xi ^{i} }{\partial x^{j}}dx^{j} \tag{14}
</tex>
ここで $dx^{j}$ と $d\xi ^{i}$ をベクトルと見れば、 共変ベクトルと反変ベクトル_ で考えたように、 $dx^{j}$ や $d\xi ^{i}$ は *反変ベクトル* だと考えることが出来ます。より高次の微分形式の基底（式 $(9)$ を見てください）も、やはり反変的に変換されることが分かります。さて、一般に $d\omega ^{i}$ を $R^{n}$ 上の $p$ 次微分形式の基底とすると（ $i=1,2,..., {}_{n}C_{p}$ ）、一般の $p$ 次微分形式 $\omega _{p}$ はこれらの線形結合として、次のように書けるでしょう。
<tex>
\omega _{p} = f_{i} d\omega ^{i} \tag{15}
</tex>
右辺は縮約になっており、 $f_{i} = f_{i} (x^{1},x^{2},....,x^{n})$ は関数です。ここで、ベクトル $\bm{f}=(f_{1},f_{2},...,f_{{}_{n}C_{p}})$ に着目すれば、 $\bm{f}$ は共変ベクトルだと言えます。 $\bm{f}$ の各成分は $x^{1},x^{2},....,x^{n}$ の関数で、場所によって値が変わりますから、より正確に言えば $\bm{f}$ は *共変ベクトル場* です。もっと高次の微分形式は $f_{ijk....} dx^{i}\land dx^{j} \land dx^{k} \land \cdots $ のように書けますが、それでもやはり $f_{ijk...}$ は *共変テンソル場* だと見ることが出来ます。このように、微分形式は共変テンソル場を表現する道具になっていることが分かりました。
.. [*] テンソルで最も本質的な性質と言えば、多重線形性ですが（ 参考_ ）、微分形式ももちろん多重線形性を持ちます。微分形式の多重線形性は、微分形式をテンソルの一種と見れば明らかですし、ヤコビアン（より一般には行列式）の持つ多重線形性から考えても当然だと言えます。色々な見方が大事です。
.. _共変ベクトルと反変ベクトル: http://www12.plala.or.jp/ksp/vectoranalysis/CovariantContravariant/
.. _外微分: http://www12.plala.or.jp/ksp/differentialforms/ExteriorDiff/
.. _ポアンカレの補題: http://www12.plala.or.jp/ksp/differentialforms/PoincareLemma/
.. _外微分の座標不変性: http://www12.plala.or.jp/ksp/differentialforms/ExteriorDiffInvariant/
.. _面積素と微分形式: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsArea/
.. _微分形式の引き戻し: http://www12.plala.or.jp/ksp/differentialforms/Pullback1/
.. _参考: http://www12.plala.or.jp/ksp/vectoranalysis/TensorAndVectorspace/
@@author:Joh@@
@@accept: @@
@@accept: 2006-11-13@@
@@category: 微分形式@@
@@id: DiffFormsSpaceAndTrans@@
記事ソース/微分形式の張る空間と座標変換 の変更点
