1
$\begingroup$

Given a flat region of spacetime as set $\mathcal S$ of events together with values of spacetime intervals (up to a common non-zero constant) for each pair of events, $s^2 : \mathcal S \times \mathcal S \rightarrow \mathbb R$,
and considering two (distinct) participants $A$ and $B$ contained in this region(which may or may not have been and remained at rest to each other throughout) where $\mathcal E_A \equiv \{ ... \varepsilon_{AF} ... \varepsilon_{AJ} ... \varepsilon_{AP} ... \} \subset \mathcal S$ denotes the set of (coincidence) events in which $A$ took part, and $\mathcal E_B \equiv \{ ... \varepsilon_{BG} ... \varepsilon_{BK} ... \varepsilon_{BQ} ... \} \subset \mathcal S$ the set of (coincidence) events in which $B$ took part,

can conditions be expressed explicitly in terms of the given spacetime interval values such that
$A$ and $B$ are said to have been and remained "at rest to each other" if and only if all these conditions are satisfied?

$\endgroup$
-1
$\begingroup$

Conditions for participants $A$ and $B$ having been and remained "at rest to each other" are

(1):
The events in which $A$ took part are straight to each other; and likewise, separately: the events in which $B$ took part are straight to each other; i.e. explicitly $$\forall~\varepsilon_{AF}, \varepsilon_{AJ}, \varepsilon_{AP} \in \mathcal E_A : $$ $$2~s^2[~\varepsilon_{AF}, \varepsilon_{AJ}~]~s^2[~\varepsilon_{AF}, \varepsilon_{AP}~] + 2~s^2[~\varepsilon_{AF}, \varepsilon_{AJ}~]~s^2[~\varepsilon_{AJ}, \varepsilon_{AP}~] + 2~s^2[~\varepsilon_{AF}, \varepsilon_{AP}~]~s^2[~\varepsilon_{AJ}, \varepsilon_{AP}~] = (s^2[~\varepsilon_{AF}, \varepsilon_{AJ}~])^2 + (s^2[~\varepsilon_{AF}, \varepsilon_{AP}~])^2 + (s^2[~\varepsilon_{AJ}, \varepsilon_{AP}~])^2,$$ and likewise $$\forall~\varepsilon_{BG}, \varepsilon_{BK}, \varepsilon_{BQ} \in \mathcal E_B : $$ $$\!2~s^2[~\varepsilon_{BG}, \varepsilon_{BK}~]~s^2[~\varepsilon_{BG}, \varepsilon_{BQ}~] \! + \! 2~s^2[~\varepsilon_{BG}, \varepsilon_{BK}~]~s^2[~\varepsilon_{BK}, \varepsilon_{BQ}~] \! + \! 2~s^2[~\varepsilon_{BG}, \varepsilon_{BQ}~]~s^2[~\varepsilon_{BK}, \varepsilon_{BQ}~] = (s^2[~\varepsilon_{BG}, \varepsilon_{BK}~])^2 + (s^2[~\varepsilon_{BG}, \varepsilon_{BQ}~])^2 + (s^2[~\varepsilon_{BK}, \varepsilon_{BQ}~])^2,$$

(2):
$A$ and $B$ observed pings (signal front roundtrips) between each other throughout; i.e. explicitly $$ \forall~\varepsilon_{AF} \in \mathcal E_A \exists~\varepsilon_{AJ} \in \mathcal E_A, \varepsilon_{BI} \in \mathcal E_B :$$ $$s^2[~\varepsilon_{AF}, \varepsilon_{BI}~] = 0, \qquad s^2[~\varepsilon_{BI}, \varepsilon_{AJ}~] = 0,$$
and likewise $$ \forall~\varepsilon_{BG} \in \mathcal E_B \exists~\varepsilon_{BK} \in \mathcal E_B, \varepsilon_{AH} \in \mathcal E_A :$$ $$s^2[~\varepsilon_{BG}, \varepsilon_{AH}~] = 0, \qquad s^2[~\varepsilon_{AH}, \varepsilon_{BK}~] = 0,$$

(3):
$A$'s ping durations wrt. $B$ are constant; and likewise, separately $B$'s ping durations wrt. $A$ are constant; i.e. explicitly $$ \forall~\varepsilon_{AF}, \varepsilon_{AP} \in \mathcal E_A : \exists~ \varepsilon_{AJ}, \varepsilon_{AU} \in \mathcal E_A, \exists ~\varepsilon_{BI}, \varepsilon_{BT} \in \mathcal E_B |$$ $$s^2[~\varepsilon_{AF}, \varepsilon_{BI}~] = 0, \!\! \qquad \!\! s^2[~\varepsilon_{BI}, \varepsilon_{AJ}~] = 0, \!\! \qquad \!\! s^2[~\varepsilon_{AP}, \varepsilon_{BT}~] = 0, \!\! \qquad \!\! s^2[~\varepsilon_{BT}, \varepsilon_{AU}~] = 0 \implies$$ $$\tau A_F^J = \tau A_P^U,$$ where due to (1) holds $$\frac{\tau A_F^J}{\tau A_P^U} = \sqrt{\frac{s^2[~\varepsilon_{AF}, \varepsilon_{AJ}~]}{s^2[~\varepsilon_{AP}, \varepsilon_{AU}~]}};$$ and likewise $$ \forall~\varepsilon_{BG}, \varepsilon_{BQ} \in \mathcal E_B : \exists~ \varepsilon_{BK}, \varepsilon_{BV} \in \mathcal E_B, \exists~ \varepsilon_{AH}, \varepsilon_{AS} \in \mathcal E_A |$$ $$s^2[~\varepsilon_{BG}, \varepsilon_{AH}~] = 0, \qquad s^2[~\varepsilon_{AH}, \varepsilon_{BK}~] = 0, \qquad s^2[~\varepsilon_{BQ}, \varepsilon_{AS}~] = 0, \qquad s^2[~\varepsilon_{AS}, \varepsilon_{BV}~] = 0 \implies$$ $$\tau B_G^K = \tau B_Q^V,$$ where due to (1) holds $$\frac{\tau B_G^K}{\tau B_Q^V} = \sqrt{\frac{s^2[~\varepsilon_{BG}, \varepsilon_{BK}~]}{s^2[~\varepsilon_{BQ}, \varepsilon_{BV}~]}},$$

(4):
$A$'s constant ping duration wrt. $B$ is equal to $B$'s constant ping durations wrt. $A$; i.e. explicitly $$ \forall~\varepsilon_{AF} \in \mathcal E_A, \varepsilon_{BG} \in \mathcal E_B : \exists~\varepsilon_{AH}, \varepsilon_{AJ} \in \mathcal E_A, \exists~ \varepsilon_{BI}, \varepsilon_{BK} \in \mathcal E_B |$$ $$s^2[~\varepsilon_{AF}, \varepsilon_{BI}~] = 0, \qquad s^2[~\varepsilon_{BI}, \varepsilon_{AJ}~] = 0, \qquad s^2[~\varepsilon_{BG}, \varepsilon_{AH}~] = 0, \qquad s^2[~\varepsilon_{AH}, \varepsilon_{BK}~] = 0 \implies$$ $$\tau A_F^J = \tau B_G^K,$$ where due to (1) holds $$\frac{\tau A_F^J}{\tau B_G^K} = \sqrt{\frac{s^2[~\varepsilon_{AF}, \varepsilon_{AJ}~]}{s^2[~\varepsilon_{BG}, \varepsilon_{BK}~]}}.$$

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.