proposition 39.8 Component structure

Rests on

• depends_on definition 39.4 Improper Lorentz transformations ¶
  • 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 ¶
        • proves proof ch:02-lorentz-transformations@proof-2 ¶
  • depends_on equation 39.2 eq:mink-lorentz-condition ¶
• depends_on definition 39.5 Orthochronous Lorentz group ¶
  • depends_on definition 39.1 Lorentz group ¶ ↺
  • depends_on equation 39.3 eq:mink-noncompact ¶
    • step_from equation 39.2 eq:mink-lorentz-condition ¶ ↺
• depends_on equation 39.5 eq:mink-parity ¶
• depends_on equation 39.8 eq:mink-time-reversal ¶
• depends_on proposition 94.10 $\SL(2,\C)$ covers the proper orthochronous Lorentz group ¶
  • proves derived proof ch:03-poincare-representations@proof-5 ¶
• proves proof ch:03-minkowski-lorentz-poincare@proof-4 ¶

Supports

Nothing declares a dependency on this node yet.