ＧＰＳ（中略版）

ＧＰＳの時間のズレを求めるのにアインシュタイン方程式は使いません。

時間と空間の関係よりローレンツ不変量が求まり、それに測地線方程式や等価原理などを用いて時間のズレを求める。

ｓは座標変換に対する不変量です。