塵

定義 3.3（「Einstein 方程式」§3）

塵（ダスト）とは、圧力のない物質で、エネルギー・運動量テンソルが

T^{\mu\nu}=\rho c^2\,u^\mu u^\nu,\qquad g_{\mu\nu}u^\mu u^\nu=-1

と書けるものである。 $\rho$ は静止系での質量密度、 $u^\mu=dx^\mu/d(c\tau)$ は各点での無次元の 4 元速度である。

閉包の状態

定義

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

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

証明で明示的に参照している定理は、まだありません。