zonde said:
You can't define simultaneity using rulers. And how you define simultaneity via 'no doppler'?
As I see the third method is the only method how you can define simultaneity.
I was admittedly cryptic in my descriptions of alternate ways of setting up coordinates. I thought they might be familiar to you. Here are each of 3 methods (many others are possible) described in more detail:
1) Rulers. Here, I really mean a purely mathematical construction which may or may not overlap will with realizable physical rulers. Given a chosen origin world line (not necessarily a geodesic, since we aim to cover non-inertial observers; but we assume no rotation), at each event on it, extend the family of spacelike geodesics 4-orthogonal to the world line. These define a hypersurface of simultaneity, along which proper distance defines your position coordinates.
2) Doppler. The idea here is actually related to 'at rest' for a 'rest frame'. This indirectly defines simultaneity. Procedure: start with an origin world line as in (1), and an initial surface of simultaneity (either by convention in (1) or (3), below). Then define the congruence of world lines through this initial surface such that redshift/blueshift is zero between nearby world lines (maintaining this condition at all times). Declare t=0 at the intersection of this congruence with the initial surface. Then, each later surface of simultaneity is defined by the set of events a fixed proper time from zero along the 'at rest' congruence of world lines. Having thus defined a foliation of simultaneity surfaces, distances are again proper distance per such surfaces.
3) Radar. What I actually had in mind was radar used to define both simultaneity and distance. Again, pick an origin world line, again not necessarily geodesic. Time is simply proper time on this world line. Simultaneity is defined by radar convention: the time of distant event is halfway along the interval from sending and receiving a signal, measured from the origin world line. For distance, one can use proper distance,
or define distance as local c times 1/2 round trip time (this conventions gives constant c, globally, from the origin, but converts Shapiro time delay to Shapiro orbital bump).
So, here we have 3 general methods, with a couple of detail choices for each, for establishing large scale coordinates [None of these methods will give you a single global chart in the general case. For (1) and (2), the issue is that coordinate lines or surfaces may intersect at some point, so you can't specify a 1-1 mapping; for 3, any instance of an Einstein ring or similar severe gravitational optical distortion defeats 1-1 mapping.]
Then, my main point remains: uniquely in the case of inertial frames in flat spacetime, all of these are identical. For non-inertial observers in flat spacetime, and any observers in GR, these are generally all different - each abstracting a different feature of inertial coordinates to emphasize.
Thus, I strongly re-iterate: "So what is a non-local rest frame in GR is highly arbitrary. "