固有時

定義 2.2（「曲がった時空と重力」§2）

時空内の曲線 $x^\mu(\lambda)$ に沿って $ds^2 < 0$ （時間的）であるとき、その曲線に沿って運ばれた時計が刻む時間 $\tau$ を固有時といい、

c^2\,d\tau^2 = -ds^2 = -g_{\mu\nu}\,dx^\mu dx^\nu

で定める。

閉包の状態

定義

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

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