Among the (several) descriptions of an "inertial frame" (in the context of the Special Theory of Relativity),
those by John Norton and by Wolfgang Rindler appear especially concise:
- "In special relativity, an inertial frame of reference is a congruence of timelike geodesics.",
John D. Norton, "General covariance and the foundations of general relativity: eight decades of dispute" (1993), p. 837
and
- "An inertial frame is simply an infinite set of point particles sitting still in space relative to each other.",
Wolfgang Rindler (2011), Scholarpedia, 6(2):8520, "Special relativity: kinematics".
Are these two descriptions equivalent ?
(even considering their brevity ...)
Specificly:
Given a congruence $\mathfrak C$ of timelike geodesics in a flat region of spacetime,
i.e. (a spacetime-filling) family $\mathfrak C \equiv \{ \mathcal P_n \}$ of world lines which are
- each timelike,
- each geodesic (i.e. each straight in terms of Lorentzian distance, resp. Synge's world function, resp. spacetime intervals),
- non-intersecting (such that there is no event belonging to two or more world lines) and
- space(time)-filling (such that each event of the given region belongs to exactly one world line)
are any two of those world lines necessarily "sitting still" (or "running in parallel") to each other, in the sense that
$\forall \, \mathcal P_a, \mathcal P_b \in \mathfrak C, \forall \varepsilon_j, \varepsilon_k \in \mathcal P_a \, : $
$\exists \, \varepsilon_u, \varepsilon_v, \varepsilon_x, \varepsilon_y \in \mathcal P_b :$
$s^2[ \, \varepsilon_j, \, \varepsilon_u \, ] = s^2[ \, \varepsilon_j, \, \varepsilon_v \, ] = s^2[ \, \varepsilon_k, \, \varepsilon_x \, ] = s^2[ \, \varepsilon_k, \, \varepsilon_y \, ] = 0$ and
$s^2[ \, \varepsilon_u, \, \varepsilon_v \, ] = s^2[ \, \varepsilon_x, \, \varepsilon_y \, ] \neq 0$
?