ガリレイ変換

定義 2.3（「特殊相対性理論の原理」§2）

慣性系 $S$ の座標を $(t, x, y, z)$ とし、 $S$ に対して $x$ 軸の正の向きに一定の速さ $v$ で動く座標系 $S'$ の座標を $(t', x', y', z')$ とする。 $t = 0$ で両者の原点が一致し、座標軸が平行であるとして、同じ事象の座標が

t' = t,\qquad x' = x - vt,\qquad y' = y,\qquad z' = z

で結ばれるとき、この対応をガリレイ変換という。第 1 式は「時間はどの系でも共通である」という主張であり、これを絶対時間の仮定という。

閉包の状態

定義

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

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