Observers, Rest Spaces, and Measured Components

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

An observer is not merely a coordinate system. At one event, an ideal observer is represented by a future-directed unit timelike vector $u^\mu$ . That vector fixes a time direction and a three-dimensional rest space, so the energy, momentum, density, flux, and stress measured there can be defined by contractions and projections rather than by a preferred chart.

Required background. Events, Intervals, and Minkowski Geometry begins the Special Relativity sequence and supplies causal geometry and four-vectors; Relativistic Energy, Momentum, and Mass Shells supplies the particle mass shell used below. Helpful background. Calculus and Linear Algebra supplies contractions, projectors, orthonormal bases, and tensor components; Classical and Variational Mechanics supplies the familiar velocity, momentum, and rest-frame language used in examples.

The rest-space projector

Throughout this page,

u^\mu u_\mu=-1, \qquad \eta_{\mu\nu}=\operatorname{diag}(-1,1,1,1).

The construction is local and carries directly to curved spacetime by replacing $\eta_{\mu\nu}$ with the metric at the event.

Define

h_{\mu\nu}=\eta_{\mu\nu}+u_\mu u_\nu, \qquad h^\mu{}_\nu=\delta^\mu{}_\nu+u^\mu u_\nu.

It satisfies

h^\mu{}_\nu u^\nu=0, \qquad h^\mu{}_\alpha h^\alpha{}_\nu=h^\mu{}_\nu, \qquad h^\mu{}_\mu=3.

Thus $h^\mu{}_\nu$ projects into the hyperplane orthogonal to $u^\mu$ . The induced quadratic form is positive definite there: if $X^\mu u_\mu=0$ and $X^\mu\ne0$ , then $X^\mu X_\mu\gt0$ .

This positivity is easiest to see without coordinates doing any physical work. One may choose an inertial frame in which $u^\mu=(1,0,0,0)$ at the event. Orthogonality then forces $X^0=0$ , and therefore $X^2=|\mathbf X|^2\gt0$ for every nonzero $X$ in the rest space. Because the statement is invariant, it holds in every frame.

Any vector decomposes uniquely as

A^\mu=A_{\parallel}u^\mu+A_{\perp}^{\mu}, \qquad A_{\parallel}=-u_\nu A^\nu, \qquad A_{\perp}^{\mu}=h^\mu{}_\nu A^\nu.

The minus sign in $A_\parallel$ follows from $u^2=-1$ . Contracting the decomposition with $u_\mu$ is a quick sign check.

The figure shows the same construction in a 1+1-dimensional tangent-space section. The line drawn as $u^\perp$ represents one spatial direction in the observer’s actual three-dimensional rest space; its screen angle is not a Euclidean measure of Minkowski orthogonality.

A timelike observer direction and its Minkowski-orthogonal rest line resolve a generic vector into a component along the observer and a spatial projection. — A unit timelike direction $u$ selects the rest space $u^\perp$ and decomposes $A$ uniquely into $(-u\mathbin{\cdot}A)u$ and $h(A)$ . This is a 1+1-dimensional tangent-space schematic, not a Euclidean construction and not to scale.

The algebra is pointwise: it does not require $u^\mu$ to extend to a hypersurface-orthogonal observer field. The corresponding projector identities are given in Gourgoulhon 2007, §2.4.1, printed pp. 29–30, Eqs. (2.61)–(2.71); that source specializes its field $n^\mu$ to hypersurface-normal observers, while only the local linear algebra is used here.

Measured particle energy and momentum

For a future-directed particle four-momentum $p^\mu$ , the observer measures

E_{(u)}=-p_\mu u^\mu, \qquad \pi_{(u)}^\mu=h^\mu{}_\nu p^\nu,

p^\mu=E_{(u)}u^\mu+\pi_{(u)}^\mu, \qquad u_\mu\pi_{(u)}^\mu=0.

Using $p^2=-m^2$ gives the observer’s mass-shell relation

E_{(u)}^2=m^2+\pi_{(u)}^\mu\pi^{(u)}_\mu.

The measured energy is a scalar once both $p^\mu$ and $u^\mu$ are specified. Saying “energy is frame dependent” means that a different observer vector produces a different scalar; it does not make the measurement coordinate dependent.

Orthonormal tetrads and components

Choose a mutually orthonormal spatial triad $e_{\hat\imath}^\mu$ spanning the rest space and set $e_{\hat0}^\mu=u^\mu$ . The resulting tetrad obeys

\eta_{\mu\nu}e_{\hat a}^{\mu}e_{\hat b}^{\nu} =\eta_{\hat a\hat b}.

Let $e^{\hat a}{}_\mu$ be its dual coframe, defined by

e^{\hat a}{}_\mu e_{\hat b}^\mu =\delta^{\hat a}{}_{\hat b}.

In particular $e^{\hat0}{}_\mu=-u_\mu$ . The measured components of a vector are therefore

A^{\hat0}=-u_\mu A^\mu, \qquad A^{\hat\imath}=e^{\hat\imath}{}_\mu A^\mu.

The time leg is fixed by the observer velocity, but the spatial triad can be rotated. A scalar energy is independent of that rotation; three listed momentum components are not. Transporting the triad between events introduces a further physical choice, developed in Fermi–Walker Transport and Nonrotating Frames.

Measuring a rank-two tensor

An observer decomposes a symmetric tensor $T^{\mu\nu}$ into density, spatial flux, and spatial stress:

\rho=T_{\mu\nu}u^\mu u^\nu, \qquad q^\mu=-h^\mu{}_\alpha T^{\alpha\beta}u_\beta, \qquad S^{\mu\nu}=h^\mu{}_\alpha h^\nu{}_\beta T^{\alpha\beta}.

These obey $u_\mu q^\mu=0$ and $u_\mu S^{\mu\nu}=0$ , and reconstruct

T^{\mu\nu} =\rho u^\mu u^\nu +2u^{(\mu}q^{\nu)} +S^{\mu\nu}.

For stress–energy, $\rho$ is the local energy density, $q^\mu$ the energy flux or momentum density in the rest space, and $S^{\mu\nu}$ the spatial stress. Whether $q^\mu$ vanishes depends on the observer and matter model.

In the instantaneous rest frame, these definitions reduce to $\rho=T^{00}$ , $q^i=T^{0i}$ , and $S^{ij}=T^{ij}$ . This component check fixes the signs in the reconstruction. The same split, again for a hypersurface-normal observer field, appears in Gourgoulhon 2007, §4.1.2, printed pp. 52–53, Eqs. (4.3)–(4.10).

Worked check: a moving particle

In inertial coordinates let the observer be at rest, $u^\mu=(1,0,0,0)$ , and let

p^\mu=m\gamma(1,v,0,0).

Then

E_{(u)}=m\gamma, \qquad \pi_{(u)}^\mu=(0,m\gamma v,0,0),

and $E_{(u)}^2-\boldsymbol\pi^2=m^2$ . In the particle’s own rest frame the observer vector equals $p^\mu/m$ , so $E=m$ and the spatial momentum vanishes. Both descriptions follow from the same contraction.

Limits and common mistakes

A single $u^\mu$ defines a rest space only at one event. Comparing spatial vectors at separated events needs a transport rule or a congruence.
A coordinate basis need not be orthonormal. Coordinate components are not automatically readings on rods and clocks.
Simultaneity away from the event is not determined by the local orthogonal plane alone; extending it is a synchronization choice and may fail globally.
The projector has a plus sign, $h_{\mu\nu}=\eta_{\mu\nu}+u_\mu u_\nu$ , for the site’s timelike norm $-1$ .
An extended detector has acceleration, rotation, finite response time, and calibration. The ideal observer is its local pointlike limit.

Exercises

Projector checks

Starting from $h^\mu{}_\nu=\delta^\mu{}_\nu+u^\mu u_\nu$ and $u^2=-1$ , verify that $hu=0$ , $h^2=h$ , and $\operatorname{tr}h=3$ .

Solution

Direct contraction gives

h^\mu{}_\nu u^\nu =u^\mu+u^\mu(u_\nu u^\nu)=0.

For idempotence,

h^\mu{}_\alpha h^\alpha{}_\nu =\delta^\mu{}_\nu+2u^\mu u_\nu +u^\mu(u_\alpha u^\alpha)u_\nu =\delta^\mu{}_\nu+u^\mu u_\nu =h^\mu{}_\nu.

Finally, in four spacetime dimensions,

h^\mu{}_\mu=\delta^\mu{}_\mu+u^\mu u_\mu=4-1=3.

Two observers, one particle

In one spatial dimension, let $p^\mu=m\gamma_v(1,v)$ and $u^\mu=\gamma_w(1,w)$ . Compute the energy measured by $u$ and check the coincident-observer and particle-rest limits.