- 24,488
- 15,057
Thanks for the clarification, but this statement is a bit misleading. You cannot simply set ##\mathrm{d} t## to 0 to infer what the observer considers the geometry of his "space" (time slice). The local geometry is rather defined by a metric of a 3D submanifold, where ("infinitesimal") distances are defined via the two-way speed of light (this is most clearly explained in Landau-Lifshitz vol. 2).PeterDonis said:There are some caveats to this statement that I think are worth mentioning.Second, when we look at a family of accelerated observers for whom "space" is non-Euclidean, we have to be careful defining what "space" means. For example, consider the family of Langevin observers, who are all moving in circular trajectories about a common origin, with the same angular velocity ##\omega##. In the accelerated coordinates in which these observers are at rest (we use cylindrical coordinates here to make things look as simple as possible), the metric is
$$
ds^2 = - \left( 1 - \omega^2 r^2 \right) dt^2 + 2 \omega r^2 dt d\phi + dz^2 + dr^2 + r^2 d\phi^2
$$
Note that this metric is only valid for ##0 < r < 1 / \omega##; at larger values of ##r##, there are no Langevin observers (if there were, they would be moving around their circles faster than light).
If we look at a spacelike slice of constant coordinate time ##t## in this metric, we find something unexpected: it is Euclidean! The metric of such a slice is simply ##dz^2 + dr^2 + r^2 d\phi^2##, which is the metric of Euclidean 3-space in cylindrical coordinates. Why, then, is it always said that "space" is not Euclidean for such observers?
So the rotating observer sends a light signal towards an infinitesimal distant point, where it is reflected and measures the time his signal needs to come back to him. This time determines the distance (modulo a factor ##c##, which I set to 1). The corresponding times for the light signal to travel forth and back is determined by the null-geodesics condition for the light ray:
$$g_{\mu \nu} \mathrm{d} q^{\mu} \mathrm{d} q^{\nu}=0.$$
Split in temporal and spatial components you get (setting ##q^0=t##)
$$g_{00} \mathrm{d} t^2+2g_{0i} \mathrm{d} t \mathrm{d} q^i + g_{ij} \mathrm{d} q^i \mathrm{d} q^j=0.$$
Latin indices run from ##1## to ##3## (i.e., sum over the spatial coordinates).
This has two solutions for ##\mathrm{d} t##, and then you define the spatial distance as
$$\mathrm{d} \ell=\frac{\mathrm{d} t_1-\mathrm{d} t_2}{2} = \sqrt{\left (g_{ij}-\frac{g_{i0} g_{j0}}{g_{00}} \right )\mathrm{d} q^i \mathrm{d} q^j}.$$
Then you get the spatial metric as
$$\mathrm{d} \ell^2=\mathrm{d} r^2 + \frac{r^2}{1-\omega^2 r^2} \mathrm{d} \varphi^2+\mathrm{d} r^2.$$
This is the metric of a non-Euclidean 3D Riemannian space (or more strictly speaking for a region of (in this case Minkowskian) spacetime, covered by these coordinates, which are restricted by ##\omega r<1##).
Of course, that's a convention, defining the geometry of the observer's 3D spacelike hypersurface, but it's the one which is (for infinitesimal distances) equivalent to the usual Einsteinian description in SR (where he, however, uses the one-way speed of light rather than the round-trip speed of light, but this is problematic for a general (non-static) metric).