proposition 39.2 $L$ is a Lie group

Rests on

• 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 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 39.2 eq:mink-lorentz-condition ¶
• proves proof ch:03-minkowski-lorentz-poincare@proof-1 ¶

Supports

Nothing declares a dependency on this node yet.