微分幾何学における直線(測地線)の定義
📂幾何学微分幾何学における直線(測地線)の定義
ビルドアップ
曲面M⊂R3の上である曲線に沿って動く対象があるとしよう。全体の空間R3で見た時にその線が曲がっているとしても、曲面上で動く対象は自分自身がまっすぐ前に進んでいると考えることができる。すると、このような線を曲面上の直線(ジオデシック)と定義することができる。まず、平面上の直線straight curveが持つ性質を考えてみよう。
- 曲率が0である。
- 二点間の最短距離である。
- 任意のp,qがあれば、二点を結ぶ唯一の直線が存在する。
- 加速度と接線が平行である。
4.は1.から来るが、α′′=v′T+v2κNでκ=0であれば加速度と接線が平行である。
曲面上の直線という概念を定義するために、「1. 曲率が0」という点に注目してみよう。局所的に見た時に曲面は接平面と同じと考えることができる。だから、曲面上にいる対象の基準で見た時に、曲線が曲がっていないように見えれば、接平面で曲がっていなければいい。曲面上の曲線の曲率を示す式は次のようである。
κN=T′=α′′=κnn+κgS
ここでSが接平面上のベクトルであるため、この方向の曲率が0であれば、それは接平面で感じる曲率が0であるということと同じだろう。だから、曲面上の直線を次のように定義しよう。
定義
曲面M上の単位速度曲線γ:I→Mの測地曲率κgがどこでも0であれば、γを測地線geodesic, 直線という。
γ is geodesic⟺kg=0
定理
曲面Mの単位速度曲線γがあるとする。γが曲面M上の単位速度曲線だとする。γが測地線であるための必要十分条件は次のものである。
(a)
γ is geodesic⟺[n,T,T′]=0
xを単純曲面とする。すると、γをγ(s)=x(γ1(s),γ2(s))のように表すことができる。すると、次が成り立つ。
(b)
γ is geodesic⟺(γk)′′+i=1∑2j=1∑2Γijk(γi)′(γj)′=0,∀k=1,2
(c)
γ is geodesic⟺γ′′ is normal to M at every point.
証明
(a)
κg=[n,T,T′]が成り立つので、成立する。
■
(b)
まず、次の式が成り立つ。
κgS=k=1∑2((γk)′′+i,j∑2Γijk(γi)′(γj)′)xk
γが測地線だと、xkの成分で括弧内の値が全て0であるため、上の式はゼロベクトルであり、κgである。逆に、κg=0であれば、上のベクトルの全成分が0であるため、成立する。
■
これは加速度の接空間成分が0であるということであり、γが曲面上で等速運動をしているという意味である。
(c)
(b)の結果により、
γ′′=κnn+κgS=κnn⊥M
■