equation 39.2 eq:mink-lorentz-condition

open in the book · parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:106

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

Neighborhood

Every logical edge within two steps of this node.

equation 39.2: eq:mink-lorentz-condition39.2definition 39.4: Improper Lorentz transformations39.4proposition 39.9: The generators39.9proposition 39.2: L is a Lie group39.2proposition 39.6: L^\uparrow and L^\uparrow_+ are subgroups39.6proposition 39.11: Invariance of the interval39.11equation 39.3: eq:mink-noncompact39.3definition 39.1: Lorentz group39.1proposition 39.8: Component structure39.8proof : ch:03-minkowski-lorentz-poincare@proof-5proofproof : ch:03-minkowski-lorentz-poincare@proof-1proofdefinition 39.5: Orthochronous Lorentz group39.5theorem 38.23: Polar decomposition of a Lorentz transformation38.23proof : ch:03-minkowski-lorentz-poincare@proof-3proofdefinition 39.10: Poincaré group39.10equation 38.13: eq:lor-interval-def38.13proof : ch:03-minkowski-lorentz-poincare@proof-7proofdefinition 39.7: Antichronous transformations39.7

Edges

typedirectionnode provenancewhere
depends_on Improper Lorentz transformations declared parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:184
depends_on The generators declared parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:366
depends_on $L$ is a Lie group declared parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:75
depends_on $L^{\uparrow}$ and $L^{\uparrow}_{+}$ are subgroups declared parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:233
depends_on Invariance of the interval declared parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:501
step_from eq:mink-noncompact declared — the $\mu=\nu=0$ component of the defining relation parts/04-special-relativity/03-minkowski-lorentz-poincare.tex:136