Einstein 方程式

公理 3.1（「Einstein 方程式」§3）

時空の計量とエネルギー・運動量テンソル $T_{\mu\nu}$ は

G_{\mu\nu}=\frac{8\pi G}{c^4}\,T_{\mu\nu}

を満たす。 $T_{\mu\nu}$ は対称テンソルで、局所慣性座標では $T^{00}$ がエネルギー密度、 $T^{0i}/c$ が運動量密度、 $T^{ij}$ が応力を表す（特殊相対論のエネルギー・運動量テンソル）。

閉包の状態

公理

公理は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。