# Physical reason for defining a Lorentz transformation as one that preserves the inner product of 4-vectors?

There's a nice answer to this question: Why is the scalar product of two four-vectors Lorentz-invariant? - that explains that a Lorentz transformation is one under which the inner product of two 4-vectors is invariant.

I know that the norm of the difference between two 4-vectors can be interpreted as the spacetime separation between corresponding events, and I understand the reason for invariance of the spacetime interval. But the inner product is more general than norm of difference, so what's the physical reason for saying that the LT should preserve the inner product of 4-vectors?

Alternatively I could phrase my question as follows: is there an explanation why a Lorentz transformation is equivalent to a change of basis? (because the inner product is invariant under a change of basis - the vectors essentially stay the same - but isn't generally invariant under a linear transformation)

• Not sure what you're look for in regards to a proof. Are you looking for a 'proof' of $\vec e_\alpha = \Lambda_\alpha^\beta\vec e_\beta$? – Alfred Centauri May 24 at 13:24
• @AlfredCentauri: I've edited the question. What I meant was, not every linear transformation is a change of basis. How do we show that a Lorentz transformation is indeed a change of basis? Sure, a Lorentz transformation preserves the norm and so does a change of basis, but that doesn't necessarily imply that an LT is just a change of basis. – Shirish Kulhari May 24 at 13:27
• Related reading: A few questions on passive vs active Lorentz transformations – Alfred Centauri May 24 at 13:48
• @AlfredCentauri : Thanks! I will go through it. At first glance it seems to address the doubt. Another thing I've found is that the LT being invertible is enough for us to treat it like a change of basis (but that's just mathematically speaking and the link you gave should give additional physical insights) – Shirish Kulhari May 24 at 13:50
• Indeed. You could do that. Then you'd be doing a general coordinate transformation. But that's not the definition of a Lorentz transformation (eg. cartesian to spherical polars is not a Lorentz transformation). In these general coordinates one sees weird behavior of free particles and one has to introduce pseudo forces to explain why they are accelerated without any physical forces etc. OTOH, Lorentz transformations preserve the flatness of the metric, so correspond to special choices of coordinate systems employed by inertial reference observers, so that free particles stay "free". – Vivek May 24 at 15:56

But the inner product is more general than norm of difference,

Actually it's not. If you have a norm, then you automatically get an inner product for free, through linearity, because $$(u+v)\cdot(u+v)=u\cdot u+v\cdot v+2u\cdot v$$.

Alternatively I could phrase my question as follows: is there a proof that a Lorentz transformation is equivalent to a change of basis? (because the inner product is invariant under a change of basis - the vectors essentially stay the same - but isn't generally invariant under a linear transformation)

Every Lorentz transformation is a change of basis, but not every change of basis is a Lorentz transformation. For example, you could do a change of basis in which the x and y axes become no longer perpendicular.

• "If you have a norm, then you automatically get an inner product for free" Not necessarily. There are norms that don't induce inner products. – eyeballfrog May 25 at 4:40
• @eyeballfrog : That's interesting. Do such norms arise in the mathematical formulation of any of the Physics fields, or are they more of an edge case? – Shirish Kulhari May 25 at 14:15
• @ShirishKulhari The $L^1$ norm in function spaces is probably the most familiar norm to physicists that does not induce an inner product. Of course, physicists tend to be a little fast and loose with mathematics and will use the $L^2$ inner product on $L^1$ because it usually works out anyways. – eyeballfrog May 26 at 5:50

If a map preserves the length $$\|{\bf a}\|$$ of vectors, then it also preserves the inner product because $${\bf a}\cdot {\bf b}= \frac 12 (\|{\bf a}+{\bf b}\|^2- \|{\bf a}\|^2- \|{|\bf b}\|^2).$$ This identity is true for both the usual Euclidean length and inner product, and also the spacetime interval and Lorentz inner product.