４次元時空での４次元積分は、局所ローレンツ系では微小な４次元領域の体積要素はなので、局所ローレンツ系{xα}から一般の座標系{xα'}への座標変換は と表されます。 と定義すれば となります。一方、計量テンソルは ここで だから、行列式を計算すると とな…