PeterDonis said:
Here you are using the Wikipedia definition that you quoted. But my post that you quoted was in response to your suggestion here:
What time slicing/foliation are you suggesting for the case of Born coordinates?
I already admitted that time slicing/foliation seems to narrow to give a general definition of a reference frame. I only wanted a clear stated what's wrong with my much simpler standard definition I know from all GR textbooks of a reference frame using (local) coordinates as exemplified with Born coordinates of Minkowski spacetime. Is this view wrong? If yes, why?
Can you or
@Dale give a reference you accept, where "reference frame" is properly defined?
It's really just to learn what you accept in order not to run always into this debate, when it comes to a discussion about reference frames in this forum.
PeterDonis said:
I thought @Dale made that clear earlier: his preferred definition of "reference frame" is "tetrad field", i.e., a mapping of orthonormal tetrads to points in an open region of spacetime.
That's what I thought too, but then he says again that this contradicts my point of view on the physical interpretation of the formalism. Here is, how I understand it (I cannot point to any specific textbook, where this is formulated in this specific way, but I think it's standard; if not, please tell me):
You have a pseudo-Riemannian spacetime manifold with a pseudometric of signature (1,3) given. This is the spacetime model of GR. By definition in some region of spacetime you can define coordinates ##q^{\mu}##, and these define in this region bases of the tangent ##\mathrm{d} q^{\mu}## and cotangent spaces, ##\partial_{\mu}##, at any point of the manifold. This is not yet a reference frame.
To define one, one can indeed use the tetrad formalism, which I understand as follows (again given in physical terms): Start with a single observer, which is simply described by a time-like worldline. In the local coordinates given by ##q^{\mu}=q^{\mu}(\lambda)##. At any point of his trajectory you can then use a tetrad as a basis of the tangent space, which consists of a unit timelike tangent vector (in the sense of the spacetime pseudometric) along the worldline and three spacelike pseudoorthogonal (in the sense of the spacetime pseudometric) unit vectors (which are also pseudoorthogonal to the timelike tangent vector).
The same you can do for an entire set of such local observers covering some part of the spacetime, defining a tetrade field and thus a field of local reference frames.
Another more elementary way to define such local reference frames is given in Landau Lifshitz vol. 2 or in the following nice AJP article:
https://doi.org/10.1119/1.1607338