測地線
測地線（そくちせん、テンプレート:En）とは、直線の概念を曲がった空間において一般化したものである。
計量が定義される空間においては、測地線は、2つの離れた点を結ぶ（局所的に）最短な線として定義される。アフィン接続が定義される空間においては、測地線は、曲線のうち、その接ベクトルが曲線に沿って移動しても平行に保たれるような曲線（測地的曲率が常に0）として定義される。測地線の中でその長さが2点間の距離に等しくなるものを最短測地線という。
言葉の由来は、測地学からであり、地球上の2点間の最短ルート（大円の一部）による。この概念は、数学的な空間にも拡張され、例えばグラフ理論ではグラフ上の2つの頂点（vertex）や結節点 (テンプレート:En) 間の測地線が定義されている。一般相対性理論では、光は曲がった空間での測地線を進むという原理に基づいて構築されている。
概要
概要として、単純な例を示す。 地球を単純に球面であるとしよう．地球表面上で生活する我々は，例えば 東京とニューヨークの間を最短距離で移動するためには、東京とニューヨークを通る大円に沿った移動を行えばよく、この大円の一部こそ、測地線と呼ばれるものになる。
しかしながら、一般に、大円をその上の2点で分けると優弧と劣弧に分かれる。東京からニューヨークへ大円に沿った移動をしても、東京からニューヨークに行くには大円の周り方によって遠い移動と近い移動とある。この場合、劣弧に沿って移動すれば最短距離、優弧に沿えば直線的な移動としては最も遠回りになるわけである。大円の一部である弧は測地線となるが、必ずしも2点間の最短距離を示す曲線とはならない。
逆に2点間の最短距離を示す曲線は測地線となるので、2点を結ぶ測地線の中で最短のものが2点の最短距離を示すと考えてよい。その意味で、測地線というのは、2点間の最短距離を測るための曲線の候補の集まりであるともいえる。
ちなみに、2点を北極と南極のような対極の位置に取れば、この2点を結ぶ最短測地線は無数にあることにも注意されたい。
球面では測地線は閉曲線となるが、回転楕円体面上など一般には測地線は閉曲線とならない。
測地線の方程式
リーマン多様体上の微分可能な曲線<math>x(\tau)_{}^{}</math>が、
<math>\frac{d^2x^{\mu}}{d\tau^2}+\Gamma^{\mu}{}_{\alpha\beta} \frac{dx^{\alpha}}{d\tau}\frac{dx^{\beta}}{d\tau}=0</math>
を満たすとき、<math>x(\tau)_{}^{}</math>を測地線という。 ここで<math>\Gamma^{\mu}{}_{\alpha\beta}</math>はアフィン接続である。<math>\tau_{}^{}</math>は<math>x(\tau)_{}^{}</math>の始点からの長さを表す弧長パラメータであり、アフィンパラメータとも呼ばれる。たとえば、3次元の空間が平坦である場合は、<math>g_{\mu\nu}^{}={\rm diag}(1,1,1)</math>であり、接続はすべて0となる為、測地線の方程式は単に <math>\frac{d^2x^{\mu}}{d\tau^2}=0</math> となる。つまり、<math>x^{\mu}_{}</math>は<math>\tau_{}^{}</math>の1次式であり 通常の直線の方程式を表すものとなる。
この方程式は、最短測地線の満たすべき「2点間の最短距離を示す」という性質、或いは、「測地線 <math>x(\tau)</math>の接ベクトル場はレヴィ-チビタ接続（リーマン接続）に関して平行である」という性質により導かれる。
繰り返しになるが、微分方程式は局所的な情報を与えるものなので、大域的な曲線の長さなどを表すものではなく、したがってこの方程式で定義される測地線が必ずしも最短測地線とはならないことに注意されたい。
応用例
一般相対論では時空を4次元の擬リーマン多様体として記述するが、時空上のテスト粒子（時空への重力的な反作用を与えない仮想的な質点。電荷やスピンなどの性質は通常持たないと考える）や光の経路は測地線で記述される、と考えている。いわゆる自由落下している物体の軌跡が測地線で表されると考えるのである。たとえば、地上でボールを放り投げたときに描く放物線も4次元の時空の中でその軌跡を捉えれば測地線である。 一般相対論では測地線は時空の因果構造を定義するときに重要な役割を果たす。ブラックホールの定義や特異点定理、そのほか数学的な時空の定式化には欠かせない道具である。
