proposition 38.9 Causal order is absolute

open in the book · parts/04-special-relativity/02-lorentz-transformations.tex:291 · p. 1208

Rests on

depends_on definition 38.8 Causal classification ¶
- depends_on definition 38.6 Minkowski metric and interval ¶
  - depends_on proposition 38.5 The invariant interval ¶
    - depends_on equation 38.1 eq:lor-beta-gamma ¶
    - depends_on theorem 38.4 Lorentz boost ¶
      - depends_on notation 38.3 Standard configuration ¶
      - depends_on postulate 38.2 Invariance of the speed of light ¶
      - depends_on postulate 38.1 Principle of relativity ¶
      - proves proof ch:02-lorentz-transformations@proof-1 ¶
    - proves proof ch:02-lorentz-transformations@proof-2 ¶
depends_on equation 38.3 eq:lor-boost-t ¶
proves proof ch:02-lorentz-transformations@proof-3 ¶

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	Causal classification	declared	parts/04-special-relativity/02-lorentz-transformations.tex:295
`depends_on`	→	eq:lor-boost-t	declared	parts/04-special-relativity/02-lorentz-transformations.tex:295
`proves`	←	ch:02-lorentz-transformations@proof-3	declared	parts/04-special-relativity/02-lorentz-transformations.tex:298