多様体上の微分形式の基礎知識
最近「多様体の基礎」という本を読んだ。実は今回が2回目のチャンレジで、前回は5章のベクトル場のあたりで打ちのめされてしまったのだが、今回は何とか強引に最後まで読み進めることができた。が、知識の定着度はお察しの通り、いまいちである。特に、微分形式に関する事項があまり理解できていないように感じている。そこで、今回は微分形式の知識を簡単にまとめてみたいと思う。
1次微分形式
まず出発点はここからだ。1次微分形式とはなんだろう?「多様体の基礎」(以下、参考書と呼ぶ)によると、以下のような定義がなされている*1。
上の定義における余接ベクトル空間とは、M上のベクトル空間の双対ベクトル空間のことである。参考書を少し戻って説明を見てみると、一般にベクトル空間V上の1次形式全体のなす集合を双対ベクトル空間と呼ぶようである。ここで、1次微分形式と似た言葉で1次形式というものが出てくる。参考書によると、1次形式は以下のように定義される。
Vを上のm次元ベクトル空間とする。V上の1次形式とは、Vからへの写像
であって、任意のベクトルと任意の実数について
がなりたつようなものをいう。
要するに、1次形式とは線形写像の一種である*2。ベクトル空間上の1次形式全体の成す空間は再びベクトル空間になっており、これを双対ベクトル空間と呼ぶ。ベクトル空間として多様体の接ベクトル空間を考えたとき、その双対のことを余接ベクトル空間と呼ぶ。そして、余接ベクトル空間の元を多様体上の各点に割り当てていく対応のことを1次微分形式と呼ぶのである。つまり、1次微分形式とは多様体上の余接ベクトル場であると言える。
余接ベクトル空間はベクトル空間なので、当然その基底が何かということが気になる。これの導出は私の手に追えないので参考書を見てもらうとして、結果だけ書いてみる。Mのある座標近傍に着目したとき、基底はとなる。そのため、一般に1次微分形式は以下のように表すことができる。
ここで、はU上の関数である。
k次微分形式
k次微分形式を定義するためには、1次微分形式の場合と同じように、まずk次形式というものを考える必要がある。k次形式の定義を参考書から引用したものを以下に示す。
Vを上のm次元ベクトル空間とする。V上のk次形式とは、Vのk個の直積からへの写像
であって、が各に関して線形であるようなものを言う。
つまり、各kについて以下のような等式が成り立つということである。
1次形式の時と同じように、V上のk次形式全体のなす集合というものを考えることができて、これをと書く。
V上のk個の1次形式について、以下の写像はk次形式となる。
ここまで来ると、1次微分形式のときと同じように、Vとして多様体Mの接ベクトル空間を考えればよいと思うだろう。しかし、実はそのようにして得られる概念はk次共変テンソル場と呼ばれ、k次微分形式ではない。まず、k次共変テンソル場の定義を以下に示す。
Mの各点pに、の元をひとつずつ対応させる対応のことを、M上のk次共変テンソル場とよぶ。
今知りたいのはk次微分形式についてであるが、実はk次微分形式はk次共変テンソル場の一種である。すなわち、k次微分形式とは、k次共変テンソル場に交代性と呼ばれる性質が課されたもののことである。これをk次交代テンソル場とも呼ぶ。
k次交代テンソル場(すなわち、k次微分形式)の説明のために、まずは上のm次元ベクトル空間Vにおける交代k次形式について述べる。V上のk次形式が交代k次形式であるとは、任意のと任意の置換(はk次対称群)について以下が成り立つことである。
ここで、はが遇置換なら1、奇置換なら-1となる写像である。要するに、のうち任意の2つを入れ替えると符号が入れ替わるようなk次形式のことを交代k次形式と呼ぶのである。V上の交代k次形式全体の集合をと書く。一般に、V上のk次交代形式は、k個の1次形式を用いて以下のように書くことができる。
線形代数を学んだことがある人であれば、行列式の持つ多重線形性がいかにも交代k次形式っぽい感じが分かるだろう。
これでやっとk次微分形式の定義を説明できる。k次微分形式の定義を参考書より引用する。
1次微分形式の類推から、k次微分形式における基底のようなものを考えてみる*3。Mの座標近傍として再びを考えると、k次微分形式はU上で以下のように表すことができる。
すなわち、基底(のようなもの)はを満たすk次微分形式の集合である。例として2次微分形式を考えてみる。Mが3次元の場合、任意の2次微分形式は以下の形に表すことができる。
さて、のちのち必要になるので、k次微分形式どうしの演算について述べておく。k次微分形式とl次微分形式の間には外積と呼ばれる演算が定義できる。この演算により、(k+l)次微分形式が得られる。ベクトル空間の場合、そこに属する元の間の演算で次元は変化しないが、テンソルの場合は演算により次元が上がっていくのが特徴的である。
外積には座標近傍に依存しない定義の仕方も存在するようだが、面倒なのでそれには触れない。ここでは簡単な計算例を述べておくに留める。1次微分形式と2次微分形式の外積は以下のように計算できる。
上記の計算では、という性質を用いた。また、最後の式変形では置換により符号が変化するという性質を用いた。これを見れば、外積の演算規則のイメージが湧くだろう。
外微分
k次微分形式に対して、更に外微分と呼ばれる概念を定義できる。多様体Mと座標近傍Uをこれまで通りとし、k次微分形式がU上で以下のように書けたとする。
参考書によると、このとき外微分とは以下の式で表されるk+1次微分形式のことである。
上記の式は座標近傍Uにおいて成立する式であるが、実は外微分は座標近傍に依らずに定義することが可能であり、結局どの座標近傍で計算しても同じ値になる。すなわち、k次微分形式が与えられれば、その外微分としてのk+1次微分形式が一意に定まるのである。座標近傍に依存しない性質というのは、多様体の本質的な性質であるため、重要である。
外微分の形式をみると、これまでの議論が一体なんのために行われてきたのかが推測できる。そう、全ては積分を行うためである。多様体上での微分形式にはなんと積分を定義することができるのである。
本当はこの先の積分に関する議論を記事にしたかったのだが、自分の知識がまだまだ浅く、前置きが長くなりすぎた。本稿は一旦ここで終えることとし、近日中に続きを書きたいと思う。
参考
- 作者: 松本幸夫
- 出版社/メーカー: 東京大学出版会
- 発売日: 1988/09/22
- メディア: 単行本
- 購入: 7人 クリック: 36回
- この商品を含むブログ (33件) を見る