等価原理は、計量テンソル場 に条件を課さない
任意の計量
のもとで、（アインシュタインの）等価原理が成り立つだろうか。前章では、等価原理が成り立つならば、重力場の完全な情報が
に含まれることを見た。この逆が言えるか、ということである。もし、等価原理が成立するために何らかの条件が
に課されるのであれば、重力の法則を導出するためにはそれを知っておく必要があるだろう。
結論から言うと、等価原理は、
に対して条件を課すことはない。この章では、これを示す。
話の流れを簡単に述べておこう。まず、ある点の近傍で局所慣性系が常に存在することを見る。局所慣性系とは、ある点
の近傍において局所的にミンコフスキー計量
とみなせる座標系であった。数学的に言えば、
の近傍で
を1次近似した時に、
が成り立つということである。即ち、
において、以下が成り立てばよい：
3.1節において、任意の1点
において、これを満たすような座標系が取れることを示す。
次に、等価原理が成り立つこと、即ち、局所慣性系を自由落下させると、それに沿って局所慣性系が取れることを示す。そのためには、自由落下の運動方程式である（重力以外の外力が存在しない場合の）測地線方程式に沿って、局所慣性系を移動させればよい。
この章では、上記をそれぞれ2つの節に分けて議論する：
局所慣性系は常に存在する任意の計量のもとで、等価原理が成立する
3.1局所慣性系は常に存在する
証明を、以下の【3.1-注1】で与える。
【3.1-注1】局所慣性系は常に存在する
時空上の任意の1点
の近傍において、1次の範囲でミンコフスキー座標系が取れる。即ち、
において
が成り立つような座標系が存在する。
証明
証明するには、式()の存在だけを示せば十分である。なぜなら、式()が成り立てば、1次近似の範囲で計量
が定数になるわけだが、それをさらに1次変換すれば、点
において式()を成立させることができるからである。
次に、式()は、クリストッフェル記号がゼロ
という条件と等価である（以下の【3.1-注2】）。（式()が成り立てば、測地線方程式の慣性力部分が消えるので、直線座標になることは直感的にも自然である。）よって結局、式()を満たす座標系の存在を示せばよい。そのような座標系を実際に構成することができる。実際、あらかじめ定義されている座標系
に対し、次のような
：
をとればよい
は定数であり、点
での値）。実際、クリストッフェル記号の変換則：（以下の【3.1-注3】）
に、点
における式()の微分：
を代入すれば、
となる。
【3.1-注2】計量の微分とクリストッフェル記号
計量の微分がゼロ
であることと、クリストッフェル記号がゼロ
であることとは、同値である。
証明
計量が定数ならば、定義により
である。後は、この逆を示せばよい。まず、クリストッフェル記号の定義：
により、
ならば、
である：
これと、添え字を
と取り換えたもの：
を足し合わせると、計量の微分もゼロになることが分かる：
【3.1-注3】クリストッフェル記号の座標変換
クリストッフェル記号の座標変換は
である。
証明
前章でクリストッフェル記号を定義する際、測地線方程式：
を用いたのであった。これを変数変換すると
を掛けて縮約
3.2任意の計量のもとで、等価原理が成立する
局所慣性系が常に取れることが分かった。後は、等価原理が数学的に整合することを言えばよい。
自由落下はベクトルの平行移動である
まず、自由落下の運動方程式は、重力以外の力が存在しない場合の測地線方程式、即ち
である。
次に、任意のベクトル
の平行移動を以下のように定義する：
ただし、
がついた量は平行移動後の点
での値、
は
での値である。これは、以下の【3.2-注1】のように、内積を保つという性質を持つ。特筆すべきことに、測地線方程式()は、四元速度
を自身の方向に平行移動することに他ならない。実際、式()において、
を
に置き換え、
とすれば、式()になる。
【3.2-注1】平行移動は内積を保つ
ある点
でのベクトル
を、近傍の点
に移動することを考える。以下のように移動することを、ベクトルの平行移動という：
ただし、
がついた量は
での値、
は
での値である。
ベクトルの平行移動は、内積を保つ。即ち、任意のベクトル
に対し、以下が成り立つ
ミンコフスキー座標系の場合は
なので、平行移動しても成分は変化しない。
証明
式()の左辺は
最後の式がゼロになるのは、クリストッフェル記号を代入すれば分かる。例えば、
であれば、以下のようになる：
自由落下する点の周辺は局所慣性系
前節では、任意の1点の周りで局所慣性座標系が取れることを見た。アインシュタインの等価原理が成り立つのであれば、自由落下する点の周辺で、局所慣性座標系が取れなければならない。この性質が、任意の計量テンソルのもとで成り立つことを示す。
【3.2-注2】アインシュタインの等価原理が成り立つ
アインシュタインの等価原理は、任意の計量テンソルのもとで成り立つ。即ち、測地線上の任意の点で、
となるような局所座標系が存在する。
証明
（未）