remark 38.24 Boosts alone do not form a group

Rests on

• depends_on theorem 38.23 Polar decomposition of a Lorentz transformation ¶
  • depends_on definition 39.5 Orthochronous Lorentz group ¶
    • depends_on definition 39.1 Lorentz group ¶
      • depends_on definition 38.6 Minkowski metric and interval ¶
        • depends_on proposition 38.5 The invariant interval ¶
    • depends_on equation 39.3 eq:mink-noncompact ¶
      • step_from equation 39.2 eq:mink-lorentz-condition ¶
  • depends_on equation 38.20 eq:lor-genboost-00 ¶
  • depends_on equation 38.22 eq:lor-genboost-i0 ¶
  • depends_on equation 38.14 eq:lor-invariance-condition ¶
  • depends_on proposition 39.6 $L^{\uparrow}$ and $L^{\uparrow}_{+}$ are subgroups ¶
    • depends_on definition 39.5 Orthochronous Lorentz group ¶ ↺
    • depends_on equation 39.2 eq:mink-lorentz-condition ¶ ↺
    • depends_on equation 39.3 eq:mink-noncompact ¶ ↺
    • proves proof ch:03-minkowski-lorentz-poincare@proof-3 ¶
  • proves proof ch:02-lorentz-transformations@proof-10 ¶

Supports

Nothing declares a dependency on this node yet.