- 10,439
- 1,606
PAllen said:Maybe this is the time to fess up to a confusion I've never resolved in both SR and GR. I wonder how is it possible to define an invariant length at all? I raise this from a few points:
1) Rigid bodies are impossble in both SR and GR because they violate causality and lightspeed limit. A rigid ruler is truly and fundamentally impossible, which is why it is much better to measure lengths using light signals.
2) Ok (1) is not confusion, but well accepted. Now to work around (1), you try to say you can keep (with whatever rocket thrust needed) e.g. two rockets at constant invariant distance from each other. But what does this mean?
There's a fairly widely accepted definition of rigid motion, called Born Rigidity. While it can't be defined for rotating object, it works fine for non-rotating ones such as most of our thought experiments (elevators and such). But that doesn't seem to be the focus of your question, though it's one approach.
a) For events that can be connected by a timelike trajectory, you can define a unique invariant interval in SR, and (I think) a finite number of physically meaningful invariant invervals between them in GR (representing the different locally extremal paths between them for different regions of a curved geometiry).
b) For events that cannot be connected by a timelike path (this is what we presumably want for a ruler), the concept of an extremal path is much more problematic (at least to me). First, you cannot be minimizing pathlength within a time slice (a la Euclidean geometry) because there are no unique time slices, even in SR. On the other hand, if you allow arbitrary paths through spacetime (you can't restrict to timelike, since there are no timelike paths), there exists neither a maximum or a minimum extremal path. Obviously, circuitous routes can raise the the path length without limit. However, if you allow paths that go forward and backward through coordinate time, you can reduce the pathlength without limit. So no extremal. You might arbitrarily preclude time traveling paths, but is *this* possible to define in an invariant way (e.g. especially in GR where even timelike curves can be circular in theory, though many doubt in practice).
Well, I haven't seen this discussed specifically in the textbooks, but the argument that a space-like slice gives you a local minimum, and a timelike slice gives you a local maximum seems valid to me. Specifically, given some parameterized curve x^i(\lambda), and it's partial derivitaves \dot{x}^i = \partial x^i / \partial \lambda the quantity I is extermized by a geodesic
<br /> I = \sqrt {\int g_{ij} \dot{x}^i \dot{x}^j d\lambda}<br />This suggests that the extreme point is a saddle point, rather than a maximum or a minimum.
Saddle points (rather than a true maximum or minimum) arising from the "principle of least action" are not unique to relativity. See for instance http://www.eftaylor.com/pub/Gray&TaylorAJP.pdf
Parallel transport also works fine, as you point out - a geodesic is often defined as a curve that parallel transports its own tangent vector.