世界間隔

定義 7.1（「ローレンツ変換」§7）

2 つの事象 $E_1 = (t_1, x_1, y_1, z_1)$ 、 $E_2 = (t_2, x_2, y_2, z_2)$ に対し、 $\Delta t = t_2 - t_1$ などと書いて

s^2 = c^2 \Delta t^2 - \Delta x^2 - \Delta y^2 - \Delta z^2

を 2 事象間の世界間隔（spacetime interval）の 2 乗と呼びます。 $s^2$ は負にもなり得るので、記号 $s^2$ は 2 乗を表す慣習的な書き方であり、 $s$ が実数とは限りません。

閉包の状態

定義

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

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

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