I was reading about the Lorentz invariant integration measure ∫d3k2EK, and ways to prove that this was Lorentz invariant. Many of the proofs I have read use the step function (or Heaviside function) θ(k0), and claim that this is obviously Lorentz-invariant (e.g Alex Nelson's notes). Other sources claim that there is some requirement that the Lorentz transformations have determinant = 1, or that kμ is timelike. What are the actual conditions on the vector k for the step function to be lorentz-invariant?
Answer
Proper, orthochronous Lorentz transformations can't change the sign of a x0 component in a time-like four-vector - dxμdxμ and signx0 are both Lorentz invariants if xμ is time-like. Because signx0 is Lorentz invariant, the step function θ(x0) is Lorentz invariant - the condition is that x is time-like.
A general Lorentz transformation that wasn't orthochronous could violate causality by making one observer see time-like events occurring in a different order.
No comments:
Post a Comment