5

In Physics the idea of a reference frame is one important idea. In many texts I've seem, a reference frame is not defined explicitly, but rather there seems to be one implicit definition that a reference frame is just a certain cartesian coordinate system with a known origin.

In that case when we usually talk about two frames $S$ and $S'$ with $S'$ moving with velocity $v$ with respect to $S$ along some direction of the frame $S$ we mean that we have two sets of Cartesian coordinates $(x^1,\dots, x^n)$ and $(y^1,\dots,y^n)$ and that the coordinates are related in a time-dependent manner, for example

$$\begin{cases}y^1 = x^1 + vt, \\ y^i = x^i & \forall i \neq 1\end{cases}$$

On Wikipedia's page on the other hand we find this:

In physics, a frame of reference (or reference frame) may refer to a coordinate system used to represent and measure properties of objects, such as their position and orientation, at different moments of time. It may also refer to a set of axes used for such representation.

So that a reference frame may be a coordinate system (now, since we are not talking about axes, it could even be spherical or polar) or the axes themselves.

So what really is a reference frame? Is it just a set of cartesian axes in euclidean space $\mathbb{R}^n$? Or can it really be any set of coordinates like spherical and polar (or even another ones on more general manifolds)?

Also, how can we understand intuitively the idea of a reference frame and how this relates to the actual mathematical point of view?

EDIT: from a mathematical standpoint, a coordinate system on a subset $U$ of a smooth manifold $M$ is a homeomorphism $x: U\to \mathbb{R}^n$. The books lead me to believe that a reference frame would be equivalent to this idea. There are however, some problems in this approach:

  1. Books usually talk about reference frames just in $\mathbb{R}^n$ making the tacit assumption that the coordinates are cartesian and relating the frame with the axes. If the space is not $\mathbb{R}^n$, in truth, Cartesian coordinates aren't even possible and will problably be curved.

  2. Reference frames are present in Newtonian Mechanics, so it should be possible to define them without resorting to the notion of spacetime.

  3. Coordinate system are ways to assign tuples of numbers to points. But a reference frame can move around, something I think a coordinate system as defined in mathematics can't.

These three points are the at the core of my doubt. Reference frames shouldn't need anything spacetime related to be defined since they are present outside of relativity. Coordinate system as defined in mathematics cannot move around, so that reference frames shouldn't be synonimous to coordinate systems. And finally, if the space is not Euclidean, Cartesian axes are not possible.

So based on this, what's really a reference frame?

Qmechanic
  • 201,751
Gold
  • 35,872

5 Answers5

5

Let $M$ be your spacetime, a smooth manifold equipped with (pseudo) Riemannian metric (for example $\mathbb{R}^{(1,3)}$ for special relativity).

The set of reference frames is the frame bundle over $M$, usually denoted $FM$. Explicitly a frame at point $p$ in $M$ can be viewed as an ordered orthonormal basis (with respect to the the inner product defined by the metric) for the tangent space at $p$, $T_pM$.

For example, in metrics with Lorentzian signature in dimension 4, these frames are related by rotations in $\mathbb{R}^{(1,3)}$, aka Lorentz transformations, as expected.

zzz
  • 2,807
  • 1
    bechira: I find it very difficult to reconcile your answer with W. Rindler's dictum: "We should, strictly speaking, differentiate between an inertial frame and an inertial coordinate system {...} An inertial frame is simply an infinite set of point particles sitting still in space relative to each other.". Does "point $p$" in your answer mean "point particle $p$" (as for Rindler), or does it instead mean "element $p$ of the manifold" ?? – user12262 Apr 02 '15 at 16:56
  • $p$ is a point in spacetime (or slightly more confusingly, some people call it an event). – zzz Apr 02 '15 at 17:13
  • bechira: "$p$ is a point in spacetime [...]" -- Well, then your answer is all the harder to relate to W. Rindler's notion; because, surely, any one of Rindler's "point particles" would be characterized by a (suitable) set of several "_points in spacetime_". Also: Shouldn't your answer therefore have referred to "Poincaré transformations", or some suitable generalization(s) of those, instead of "Lorentz transformations, as expected." ?? – user12262 Apr 02 '15 at 17:26
  • Not sure what you're getting at, why would local frames at the same point on a general spacetime be related by a translation? Also didn't read that article by Rindler yet, so really not sure what notion of a point particle you're using, I can post a reply later. – zzz Apr 02 '15 at 18:19
  • But looking at the diagrams it looks like the usual introduction to special relativity - I would take a point particle to be a timelike curve $\mathbb{R} \rightarrow M$ (assuming Lorentzian metric). The point $p$ I'm referring to above is a single point in $M$. – zzz Apr 02 '15 at 18:23
  • bechira: "why would local frames at the same point on a general spacetime be related by a translation?" -- I didn't mean to suggest that; but the phrase "these frames are related by" in the final sentence of your answer could be (mis?-)interpreted as including such "frames at" various distinct points. "take a point particle to be a timelike curve $\mathbb R\rightarrow M$ (assuming Lorentzian metric)." -- Indeed. And consequently, in Rindler's sense, take "frame" to mean "timelike congruence" – user12262 Apr 02 '15 at 19:06
  • Ah I see, the more clear statement would be elements in a fibre of the frame bundle over some fixed point $p$ are related by the lorentz group, which is well known - that the frame bundle is a principle bundle whose fibre and structure group are the rotation group (and lorentz group for lorentzian signatures) – zzz Apr 02 '15 at 19:37
  • bechira: "Ah I see [...]" -- Fine. Now: did I understand correctly that what you described as "frame" in your answer is quite different from (and even inconsistent with) the understanding of "frame" based on W. Rindler's explicit description of "inertial frame" (in distinction to "inertial coordinate system")? – user12262 Apr 02 '15 at 20:20
  • @user12262 if you explain more clearly why you think this is inconsistent with the usual definition of frames in SR it will help me address your question better. – zzz Apr 02 '15 at 20:53
  • bechira: "[...] why you think this is inconsistent with [...]" -- Well, to repeat the obvious: we compare "one frame" being described either as "an infinite set of point particles" (possibly with additional requirements); i.e. using terminology you suggested yourself above: as a set of (infinitely many) "timelike curves (assuming Lorentzian metric)"; or whatever you've been describing in your answer in detail, "at one single point $p$ in $M$". – user12262 Apr 02 '15 at 21:49
0

The most direct and beautiful answer to this important question has been provided by Taylor and Wheeler in their famous book "Spacetime Physics". If you google "spacetime physics wheeler frame of reference" for images, you will be led to a picture of space divided regularly into a 3-dimensional grid pattern. The crucial thing though is that at each grid point there is a clock. And all the clocks (in the entire universe) are in sync! [For a given frame of reference.]

This, simply, is what we mean by a "frame of reference". It means that any "event", an occurence at a point in space and time, can then be labeled by the spatial coordinates and the clock.

  • Your entire answer is praising a reference. Won't you answer more clearly the question? The user asks about Cartesian coordinates. The grid of which you speak looks like Cartesian? And what about curved space? How looks the grid in it? – Sofia Mar 02 '15 at 22:31
  • Well, the reference frames of spacetime differ from those of Newtonian mechanics in that the Minkowski spacetime is pseudo-Euclidean, not Euclidean, i.e., minus signs show up along the diagonal of the metric. Of course, one may choose to not use Cartesian coordinates and still have a reference frame. Regarding their motion, reference frames only move or rotate relative to other reference frames. So there is a concept of a rigid set of axes that can move or rotate and then the coordinates of physical systems described by the frame will change. – TimeVariant Mar 03 '15 at 04:03
0

So based on this, what's really a reference frame?

In pre-relativistic mechanics, reference frame is a system of points whose mutual distances are assumed constant - a rigid body.

For measurements of position on Earth, the reference frame is often Earth's body, assumed to be rigid.

For measurements of position in space, Earth's body could be used.

The rigid body does not have to be one connected body, though. When rotation of the Earth is to be described, frame with origin in the Earth (Sun) with axes pointing to distant stars can be used as a reference frame.

-1

It would help to read this section of Galilean Invariance as this reconciles it nicely with more intuitive notions of relative frames of reference.

Two observers moving at different speeds (or help us all accelerations), would not agree on the simultaneity of some events. This represents a shift in relative time due to motion, which is why you see a $vt$ component turn up in the math.

Reference frames do not belong to any one object, I feel. Rather, they are ascribed to velocities in spacetime, and have transforms to convert between the two (eg Lorentz boost). What they represent is distinct notions of simultaneity.

So in one, I could say reference frames are comparative representations of simultaneity for inertial observers.

Beyond that is wholly my opinion, as I would go so far as to say that reference frames describing the same velocity in two different regions of space at the same time, are not the same thing due to locality - this would come up when you examine acceleration horizons / event horizons etc.

On top of that it is hard to pin down if a reference frame from one second ago is truly the same one as you're in now. There may be no observable differences though to me that is insufficient as for all we know we're traveling through reference frames instead of within them / with them. (also my opinion)

-2

Based on Einstein's assertion:

All our well-substantiated space-time propositions amount to the determination of space-time coincidences {such as} encounters between two or more material points.

the notion "reference frame" should likewise be expressed in terms of (requirements on) "material points" and "space-time coincidences" in which they did, or didn't, take part.

A suitable general definition then seems to be

  • a set of "material points" such that no pair of them had ever been coincident. In some contexts a set with this property is called "timelike congruence". Moreover it may be required that

  • for any three such "material points", $H$, $J$, $K$, and for each event $\varepsilon_{HP}$ (in which $H$ took part, along with some suitable participant $P$ who didn't belong together with $H$ to a timelike congruence)

    • either $H$ saw that $J$ had seen event $\varepsilon_{HP}$, and even before that $H$ saw that $K$ had seen event $\varepsilon_{HP}$;

    • or $H$ saw that $K$ had seen event $\varepsilon_{HP}$, and even before that $H$ saw that $J$ had seen event $\varepsilon_{HP}$;

    • or $H$ saw that $J$ had seen event $\varepsilon_{HP}$, and in coincidence $H$ saw that $K$ had seen event $\varepsilon_{HP}$,

such that all members of the reference frame maintain (mutual, triple-wise) reference between each other by "pings".

Finally, there may be additional requirements, for instance related to "rigidity" (of "ping relations" between any three members), or (the existence or non-existence of) "gaps" or other "topological properties" (as far as they are derived from coincidence determinations).

Any (subsequent) one-to-one assignments of coordinate tuples to the individual members of a reference frame, and to the events in which the individual members took part (separately) are of course equivalent, and arbitrary, and without any further meaning by themselves. But any one such coordinate assignment may or may not represent the given geometric or topological relations between reference frame members, the sequence of events in which any one member had taken part, etc.

user12262
  • 4,258
  • 17
  • 40