Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

From invariance of the Minkowski scalar product, we get the Lorentz transformations. In addition, we get a constant $c$ preventing space-like and time-like intervals being rotated into one another.

The Euclidean transformations are derived in the same way from invariance of the Euclidean scalar product, yet there isn't a constant that limits these rotations as above. Why?

share|improve this question

3 Answers 3

up vote 11 down vote accepted

The natural way to parametrize a boost in spacetime (hyperbolic geometry) is by the quantity known as rapidity, just as the natural way to parametrize a rotation in Euclidean space is the angle.

An angle measures distance along a unit circle. That is, the circumference of a unit circle is $2\pi$, so we parametrize angles by the distance the angle subtends on the unit circle.

Rapidity measures invariant interval along the unit hyperbola. It is the natural way of parametrizing distance along the unit hyperbola, and boosts are characterized by interval along the unit hyperbola.

In terms of speed, rapidity is expressed $\mu = \tanh^{-1}{v/c}$. As $v$ approaches $c$, $\mu$ approaches infinity. So with this natural parameterization, there is no "speed limit".

Update

To get an idea why rapidity is more natural, look at this Wikipedia page and see how simple the expression is for $\gamma$ (simple enough to write it here: $\gamma = \cosh \mu$), and how closely the Lorentz transformation equations resemble the equations for rotation in Euclidean space.

Note also the simplicity of the formula for addition of velocity: $\mu_\mathrm{final} = \mu_1 + \mu_2$

Update #2

This answer gives an excellent real explanation for why rapidity is the natural way to parametrize boosts.

share|improve this answer

I think the point is, that the Minkowski Metric is actually not a real metric in the strong mathematical sense, because it is not positive definite like the Euclidean scalar product. This introduces restrictions which you don't have with a normal Euclidean Metric.

share|improve this answer

The Minkowski form is a symmetric bilinear form, but it is not true a scalar product, since it fails to be positive definite, which means the property $\langle v,v\rangle=0\implies v=0$ fails. Calling $Q(x)=\langle x,x\rangle$ the quadratic form associated to the bilinear form, this means $Q$ is not a "norm squared" because it can become zero for nonzero vectors, and indeed for the Minkowski form it can become negative as well. The vectors $v$ with $Q(v)=0$ are called (for some mysterious reason) isotropic vectors, or in case of the Minskowski forn "light vectors", and they form a cone in the vector space. Every linear operator that repects the Minkowski form (Lorentz transformations, which are the orthogonal matrices for this form) must preserve the value of$~Q$, so it can only map isotropic vectors to isotropic vectors. Moreover the isotropic vectors separate the sets of vectors with $Q(v)>0$ and the vectors with $Q(v)<0$, and these sets are also preserved by Lorentz transformations. So the limiting role of light vectors as separating space-like and time-like vectors is a direct consequence of Lorentz transformations respecting the Minkowski form.

For a true scalar product, there is no such thing as nonzero isotropic vectors, so none of the qualitative stuff above applies. The only geometric shapes naturally defined by the metric are spheres. An important difference for the group of orthogonal transformations is that it is "compact" in the case of a true scalar product (meaning that orthogonal transformations cannot "go off to infinity" in any way), which is a consequence of sphere being compact (in contrast to for instance the light cone). This has important mathematical consequences, such as that noe can meaningfully integrate (and therefore average) over the group of orthogonal transformations, which cannot be done forthe group of Lorentz transformations.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.