3
大学数学基礎解説
文献あり

リーマン球面を題材に微分形式の定義を理解する

329
0

はじめに

この記事では,天下り的になされることの多い微分形式の定義について,なぜそうするのかが納得できるように思考の流れを解説します。

歴史的な経緯とは一切関係がなく,既存の定義を正当化するための個人的な理解の仕方に留まるものなので,軽く読み流して頂ければ幸いです。

また,参考文献に書かれているような厳密な定義とそこからの演繹については,(現時点では)この記事の中では述べられていません。余裕があれば,付録という形で随時書き足していこうと思います。

リーマン球面とその上の関数

球面S2={(X,Y,Z)R3X2+Y2+Z2=1}は立体射影を利用することで2枚のCが貼り合わさった図形と考えることができますが,これはリーマン面と呼ばれるものの一種です。
(リーマン面としての球面S2のことをリーマン球面といいます。)

S2から“北極”を除いた残りの部分をU1=S2{(0,0,1)}と置き,“南極”を除いた残りの部分をU2=S2{(0,0,1)}と置けば,それぞれが次のようにCと対応します:
ϕ1:U1C;P=(X,Y,Z)z=X+iY1Z
ϕ2:U2C;P=(X,Y,Z)w=XiY1+Z

このとき,U=U1U2上でzw=1が成り立つので,座標の変換関数は
(ϕ2|U)(ϕ1|U)1:C{0}C{0};z1z
となります。

S2上の関数f:S2Cが与えられると,f|U1ϕ11:CCおよびf|U2ϕ21:CCという合成写像を考えることができますが,これらはそれぞれ
f(P)=f1(ϕ1(P)) (PU1)
f(P)=f2(ϕ2(P)) (PU2)
と表現したときの関数f1(z), f2(w)に他なりません。

このとき,C{0}上で
f2(w)=f(P)=f1(z)=f1(1/w)
が成り立ちます。
(誤解の恐れがなければ,f1(z), f2(w)f(z), f(w)と書くこともあります。)

逆に,g1,g2:CCC{0}上でg2(w)=g1(1/w)を満たすならば,それらは“貼り合わさって”S2上の関数gを定義します。

導関数の一般化としての微分形式

U=U1U2上の関数F:UC;PF(P)について
Fi=F(ϕi|U)1:C{0}C (i=1,2)
が正則関数であると仮定します。

C{0}上でF2(w)=F1(1/w)という関係式が成り立つことに注意してください。

この両辺を微分すれば
F2(w)=F1(1w)(1w2)
という関係式も得られます。

また,U内の曲線P~:[a,b]U;tP~(t)について
z~=(ϕ1|U)P~:[a,b]C{0}
w~=(ϕ2|U)P~:[a,b]C{0}
が正則曲線であると仮定します。

[a,b]上でw~(t)=1/z~(t)という関係式が成り立つことに注意してください。

このとき,P~Fで写した曲線γ=FP~γ1=F1z~あるいはγ2=F2w~という表示を持ちます。

したがって,その接ベクトルはγ1(t)=F1(z~(t))z~(t)あるいはγ2(t)=F2(w~(t))w~(t)と具体的に計算され,積分
abγ(t)dt=P~F1(z)dz=P~F2(w)dw
を考えることもできます。

γ1(t)γ2(t)が等しいこと自体はγ1γ2γに結びついていることから明らかですが,いったんγの存在を忘れてF1(z)F2(w)の間の関係式から次のように導くこともできます:
γ2(t)=F2(w~(t))w~(t)=F1(1/w~(t))(1/w~(t)2)w~(t)=F1(z~(t))(z~(t)2)(z~(t)/z~(t)2)=F1(z~(t))z~(t)=γ1(t)

ここでγ1(t)γ2(t)の式にはF1(z)F2(w)そのものではなくF1(z)F2(w)だけが使われていることに着目します。

必ずしも導関数の形をしているとは限らない関数f1(z)f2(w)F1(z)F2(w)の間の関係式と同じ関係式
f2(w)=f1(1/w)(1/w2)
を満たすならば,直前の計算と全く同様にして
f1(z~(t))z~(t)=f2(w~(t))w~(t)
を示すことができます。

この場合F(P)γ(t)に相当するものは与えられていませんが,γ(t)に相当するものだけが得られるというわけです。

これを積分すると
P~f1(z)dz=P~f2(w)dw
が定まります。

接ベクトル空間

この節ではリーマン球面S2の1点P0U=U1U2における接ベクトル空間について考えます。

前節と同じように,U内の正則曲線P~について,その座標表示をz~, w~で表します。
曲線は時刻t0で点P0を通るとしましょう。

座標近傍の取り方に応じて,t=t0における速度ベクトルz~(t0)w~(t0)を生み出している“親玉”は一体何なのでしょう。

どういう仕組みでz~(t0)w~(t0)が出てきているかを振り返ると,例えばz~(t0)であれば次のようになります:対応する座標関数ϕ1(P)を入力とし,合成関数ϕ1(P~(t))を作り,そのt=t0での微分係数を出力する。

ありとあらゆる座標関数についてこの操作は実行可能で,結果として,勝手に与えられた座標近傍に基づく速度ベクトルの成分表示が手に入ります。

そこで,座標関数に相当する正則関数f(P)を入力とし,ddtf(P~(t))|t=t0に相当する何らかの値を出力するような入出力関係そのものをP~P0における“接ベクトル”と定義してしまおうというのがここでの基本的なアイデアです。

でたらめな入出力関係を採用したのでは“接ベクトル”以外のものも含まれてしまう可能性がありますが,線形性とライプニッツ則という条件を課してやると,このような入出力関係全体の集合が“接ベクトル”たちの集まりになっていることが確かめられます。
(このような入出力関係のことをP0における微分作用素といい,その全体のなすC-ベクトル空間をTX(P0)で表します。)

座標近傍を指定することで,例えばz~(t)=z0+t (z0=ϕ1(P0))のような標準的な曲線が指定されますが,これの定める微分作用素を実際に計算してみましょう。

座標表示z~(t)に対応するS2内の曲線をP~(t)とし,入力となる正則関数をf(P)とすると,出力となる値は
ddtf(P~(t))|t=0=ddtf(z~(t))|t=0=f(z~(0))z~(0)=f(z0)
と求められます。

つまり,この微分作用素はfdfdzを対応させているわけです。
その意味で,これを(ddz)P0と記します。

もうひとつの座標近傍でも同じことを考えると,今度は(ddw)P0が現れます。
これと(ddz)P0を比較してみましょう。

実際,w0=ϕ2(P0)と置くと,
(ddw)P0(f)=f2(w0)=f1(1w0)(1w02)=f1(z0)(1w02)=(1w02)(ddz)P0(f)
なので,微分作用素としての関係式
(ddw)P0=(1w02)(ddz)P0
が成り立ちます。

双対空間に基づく微分形式の定式化

前々節の最後に積分P~f1(z)dz=P~f2(w)dwが定まる状況について説明しました。

ここに現れる“便利な記号”f1(z)dzf2(w)dwに数学的な定義を与えて,何かひとつの集合の中で取り扱いたいというのがこの節のテーマです。

PU=U1U2内を動くとき,それぞれの座標近傍に基づいてf1(z)dzf2(w)dwという“値”が計算されてf1(z)dz=f2(w)dwが成り立つと考えましょう。

このとき,f2(w)=f1(1/w)(1/w2)という関係式から
f1(z)dz=f2(w)dw=f1(1w)(1w2)dw=f1(z)(1w2)dw
となるので,dzdw
dz=(1w2)dw
を満たすような“何か”ということになります。

P0における“値”と述べたものが実際に何らかのベクトル空間に入っていると考えたとき,それぞれの座標近傍は基底(dz)P0や基底(dw)P0を定めていると考えられます。

その際,基底の変換が(dz)P0=(1/w02)(dw)P0に従って行われるということが要請されます。

逆に言えば,どんなベクトル空間であっても,座標近傍に基底が付随していて,必要な変換が行われさえすれば,それが“微分形式”の数学的な定義になり得るということです。

前節で議論した接ベクトル空間はまさにこのような状況になっていますが,基底の変換がちょうど逆数によってなされています。

ベクトル空間の一般論の中に基底変換が逆数によって行われるような構成法があれば,それを接ベクトル空間に適用することで微分形式の定義とすることができます。

その答えが双対空間というわけです。
(双対基底の変換行列は元の基底の変換行列の転置逆行列になるのでした。)

参考文献

[1]
松本幸夫, 多様体の基礎, 基礎数学, 東京大学出版会, 1988
[2]
高橋礼司, 複素解析, 基礎数学, 東京大学出版会, 1990
[3]
小木曽啓示, 代数曲線論, 数学の考え方, 朝倉書店, 2002
[4]
佐武一郎, 線型代数学, 数学選書, 裳華房, 1974
投稿日:2024117
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. リーマン球面とその上の関数
  3. 導関数の一般化としての微分形式
  4. 接ベクトル空間
  5. 双対空間に基づく微分形式の定式化
  6. 参考文献