logo

微分幾何学における直線(測地線)の定義 📂幾何学

微分幾何学における直線(測地線)の定義

ビルドアップ1 2

曲面MR3M \subset \mathbb{R}^{3}の上である曲線に沿って動く対象があるとしよう。全体の空間R3\mathbb{R}^{3}で見た時にその線が曲がっているとしても、曲面上で動く対象は自分自身がまっすぐ前に進んでいると考えることができる。すると、このような線を曲面上の直線(ジオデシック)と定義することができる。まず、平面上の直線straight curveが持つ性質を考えてみよう。

  1. 曲率00である。
  2. 二点間の最短距離である。
  3. 任意のp,qp, qがあれば、二点を結ぶ唯一の直線が存在する。
  4. 加速度と接線が平行である。

4.は1.から来るが、α=vT+v2κN\alpha^{\prime \prime} = v^{\prime} \mathbf{T} + v^{2}\kappa \mathbf{N}κ=0\kappa = 0であれば加速度と接線が平行である。

曲面上の直線という概念を定義するために、「1. 曲率が0」という点に注目してみよう。局所的に見た時に曲面は接平面と同じと考えることができる。だから、曲面上にいる対象の基準で見た時に、曲線が曲がっていないように見えれば、接平面で曲がっていなければいい。曲面上の曲線の曲率を示す式は次のようである。

κN=T=α=κnn+κgS \kappa \mathbf{N} = \mathbf{T}^{\prime} = \alpha^{\prime \prime} = \kappa_{n}\mathbf{n} + \kappa_{g}\mathbf{S}

ここでS\mathbf{S}が接平面上のベクトルであるため、この方向の曲率が00であれば、それは接平面で感じる曲率が00であるということと同じだろう。だから、曲面上の直線を次のように定義しよう。

定義

曲面MM上の単位速度曲線γ:IM\gamma : I \to M測地曲率κg\kappa_{g}がどこでも00であれば、γ\gamma測地線geodesic, 直線という。

γ is geodesic    kg=0 \gamma \text{ is geodesic} \iff k_{g} = 0

定理

曲面MMの単位速度曲線γ\gammaがあるとする。γ\gammaが曲面MM上の単位速度曲線だとする。γ\gammaが測地線であるための必要十分条件は次のものである。

(a)

γ is geodesic    [n,T,T]=0 \gamma \text{ is geodesic} \iff \left[ \mathbf{n}, \mathbf{T}, \mathbf{T}^{\prime} \right] = 0 x\mathbf{x}単純曲面とする。すると、γ\gammaγ(s)=x(γ1(s),γ2(s))\gamma (s) = \mathbf{x} \left( \gamma^{1}(s), \gamma^{2}(s) \right)のように表すことができる。すると、次が成り立つ。

(b)

γ is geodesic    (γk)+i=12j=12Γijk(γi)(γj)=0,k=1,2 \gamma \text{ is geodesic} \iff (\gamma^{k})^{\prime \prime} + \sum \limits_{i=1}^{2} \sum \limits_{j=1}^{2} {\Gamma _{ij}}^{k} (\gamma^{i})^{\prime} (\gamma^{j})^{\prime} = 0, \quad \forall k=1,2

(c)

γ is geodesic    γ is normal to M at every point. \gamma \text{ is geodesic} \iff \gamma ^{\prime \prime}\text{ is normal to } M \text{ at every point.}

証明

(a)

κg=[n,T,T]\kappa_{g} = \left[ \mathbf{n}, \mathbf{T}, \mathbf{T}^{\prime} \right]が成り立つので、成立する。

(b)

まず、次の式が成り立つ。

κgS=k=12((γk)+i,j2Γijk(γi)(γj))xk \kappa_{g}\mathbf{S} = \sum_{k=1}^{2} \left( (\gamma^{k})^{\prime \prime} + \sum\limits_{i,j}^{2} \Gamma_{ij}^{k} (\gamma^{i})^{\prime} (\gamma^{j})^{\prime} \right) \mathbf{x}_{k}

γ\gammaが測地線だと、xk\mathbf{x}_{k}の成分で括弧内の値が全て00であるため、上の式はゼロベクトルであり、κg\kappa_{g}である。逆に、κg=0\kappa_{g}=0であれば、上のベクトルの全成分が00であるため、成立する。

これは加速度の接空間成分が00であるということであり、γ\gammaが曲面上で等速運動をしているという意味である。

(c)

(b)の結果により、

γ=κnn+κgS=κnnM \gamma ^{\prime \prime} = \kappa_{n} \mathbf{n} + \kappa_{g}\mathbf{S} = \kappa_{n}\mathbf{n} \perp M


  1. Richard S. Millman and George D. Parker, Elements of Differential Geometry (1977), p109-110 ↩︎

  2. 金康泰, リーマン幾何学 (2015), p25 ↩︎