時空が曲がっていることを知るためには,曲がっていない,つまり平坦な時空で成り立つ「平行線の公理」が成り立っているかどうかを調べることが手がかりとなる。
2本の近接測地線
まず,「まっすぐな線」である測地線を2本用意する。
それぞれの世界線を
測地線方程式は
である。
特にこれら2本の測地線が近接しているとして,
とおき,微小量
一方,
偏差ベクトル
ここで,
を導入する。
上で得られた結果から,
ちなみに,別ページで述べるようにアフィンパラメータとして
このことを使うと,偏差ベクトル
測地線偏差方程式とリーマンテンソル
さらにもう一階微分すると,以下の式が得られる。(計算の詳細は補足で。)
この式の左辺はベクトルであり,すべからくベクトルは基本ベクトルの線形結合で書かれるのであるから,右辺の基本ベクトルの2階微分である
そこで,
と書く。
となる。この式は2本の測地線間の間隔がどのように変化するかを決める大切な方程式であり,測地線偏差方程式(または単に測地線偏差の式など)と呼ばれている。
リーマンテンソルの役割
もしリーマンテンソルの全ての成分がゼロだとすると,その時空では測地線偏差の式は以下のようになる。
すると,例えば
つまり,初期設定として間隔を一定にした2本の近接測地線を準備してやると,測地線偏差の式により,任意の
となることがわかる。つまり,
リーマンテンソルの全ての成分がゼロである時空とは,平行線がどこまでいっても文字通り「平行線をたどるような」時空,つまり平行線の公理が成り立つ平坦な(曲がっていない)時空なのである。
逆に,リーマンテンソルの成分がゼロでない時空では,たとえ最初に平行な2本の測地線を設定したとしても,2本の間隔は一定ではなくなる。どんどん伸ばしていけば,やがてその間隔が変化し,ある場合には交わってしまったり,またある場合には離れていってしまうだろう。
リーマンテンソルは,その時空における平行線の公理の破れ具合,
つまりその時空の曲がり具合を表す量なのである。
次に進む前に,リーマンテンソルはクリストッフェル記号(とその1階微分)を使って表すことができることを示しておこう。
基本ベクトルの1階微分はクリストッフェル記号で書かれる。これを代入すれば,以下が得られる。(詳細は補足で。)
クリストッフェル記号が計量テンソルの成分の1階偏微分で表されることを思い出せば,リーマンテンソルの成分は,最終的には計量テンソルの成分の2階偏微分までを含むことになる。