In MTW, "Gravitation", there is a brief section (p. 26 and Fig. 1.9) discussing that clocks may be characterized, trial by trial, as having been "good" in the trial under consideration, or having been "bad" (i.e., presumably, not "good") in that trial:
Let $t$ be time on a "good" clock (time coordinate of a local inertial frame); it makes the tracks of free particles through the local region of space time look straight. Let $T[~t~]$ be the reading of the "bad" clock; it makes the world lines of free particles through the local region of space time look curved (Fig. 1.9). [...]
This description doesn't seem quite rigorous (e.g.: What does it mean for a track or a world line to be "made to look" in some particular geometric sense at all ??), it seems to be restricted to clocks in regions admitting inertial frames, and instead of being stated in terms of explicit geometric notions it refers to "free particles" (i.e. a notion which would require explicit, comprehensible definition in the first place).
Therefore:
Is there a rigorous, explicitly geometric, general characterization for whether a given clock had been "good", or not, in some particular trial ?
For definiteness and to fix the notation, consider clock $~\mathcal C := (~C, t_{\mathcal C}~)$,
consisting of "clock face $C$" and "clock readings $t_{\mathcal C}$",
in the trial from $C$ having taken part in coincidence event $\varepsilon_{C J}$ until $C$ having taken part in coincidence event $\varepsilon_{C Q}$,
with $\mathcal S_C := \{ C_J, ... C_K, ... C_P, ... C_Q \}$ the ordered set of indications of clock face $C$ corresponding to the ordered set of events $\{ \varepsilon_{C J}, ... \varepsilon_{C K}, ... \varepsilon_{C P}, ... \varepsilon_{C Q} \}$ in which $C$ took part in the course of the trial under consideration,
and the corresponding "readings" of clock $\mathcal C$ expressed as (monotonous) function $t_{\mathcal C}~:~ \mathcal S_C \rightarrow \mathbb R$.
No comments:
Post a Comment