--- title: The Equivalence Principle module: Curved Spacetime moduleNumber: 5 lessonNumber: 1 order: 501 summary: > The equality of gravitational and inertial mass promotes to a physical principle in three graded strengths — weak, Einstein, and strong. A freely falling laboratory is locally indistinguishable from an inertial frame, but the qualifier "locally" is essential: the size of the patch over which gravity vanishes is set by the tidal field, which no change of frame can remove. Tidal forces are the true, coordinate-independent signature of gravity, and they are what curvature will measure. topics: [Curved Spacetime] draft: false sources: - book: Hartle ref: "Gravity, Ch. 6 — Gravity as Geometry" - book: Carroll ref: "Lecture Notes on General Relativity, §4 — Gravitation" --- Special relativity, built in the preceding modules, is the physics of inertial frames in flat spacetime. Gravity does not fit that frame: there is no way to switch off a planet, and no global inertial frame exists in its presence. The route into general relativity begins with a single experimental fact that Newton already knew and could not explain — that all bodies fall with the same acceleration — and reads it as a statement about geometry rather than about forces. This lesson formalizes that fact into the equivalence principle, isolates exactly how far it reaches, and identifies the residue it cannot remove: the tidal field, which the rest of the module builds into curvature. ## Inertial and gravitational mass Two masses appear in Newtonian mechanics, and nothing in that theory requires them to be equal. The **inertial mass** $m_i$ is the resistance to acceleration in the second law, $\vec F = m_i \vec a$. The **gravitational mass** $m_g$ is the coupling to a gravitational field, the gravitational analogue of electric charge, appearing in $\vec F_g = m_g \vec g$. For a body falling under gravity alone, $$ m_i \vec a = m_g \vec g \quad\Longrightarrow\quad \vec a = \frac{m_g}{m_i}\,\vec g. $$ The acceleration is independent of the body only if the ratio $m_g/m_i$ is the same universal constant for every material. Experiment says it is, to extraordinary precision. Newton compared pendulum periods; Eötvös compared the torque on a balance carrying different materials in the combined field of Earth's gravity and rotation; modern torsion-balance and lunar-laser-ranging tests bound the fractional difference $$ \eta = 2\,\frac{\abs{a_1 - a_2}}{a_1 + a_2} $$ for two test bodies at the $10^{-13}$ level, and the MICROSCOPE satellite mission tightened it further. No other pair of "charges" in physics is observed to be proportional this way; electric charge and inertial mass are utterly unrelated. The universality of free fall is therefore a clue, not a coincidence, and the equivalence principle takes it as foundational: set $m_g = m_i$ identically and ask what follows. $$ % caption: Two bodies of different composition released together fall along the % same trajectory because the ratio of gravitational to inertial mass is universal; % their separation stays fixed to the precision of the Eotvos-type experiments. \begin{tikzpicture}[>=stealth, font=\footnotesize, scale=1.0] \definecolor{acc}{HTML}{4A6FA5} \draw[black] (-0.4,4.3) -- (4.4,4.3); \node[black, anchor=south] at (2.0,4.3) {release}; % two bodies falling, parabolic-ish vertical drop with equal spacing \foreach \y/\lab in {4.0/0, 3.3/0, 2.2/0, 0.7/0} { \fill[acc] (1.2,\y) circle (2.2pt); \fill[black] (2.8,\y) circle (2.2pt); } \draw[acc, densely dotted] (1.2,4.0) -- (1.2,0.7); \draw[black, densely dotted] (2.8,4.0) -- (2.8,0.7); \node[acc, anchor=east] at (1.0,2.3) {gold}; \node[black, anchor=west] at (3.0,2.3) {aluminium}; \draw[->, black] (0.3,3.9) -- (0.3,1.0) node[midway, left] {g}; \node[black, anchor=north] at (2.0,0.4) {same fall}; \end{tikzpicture} $$ ## The three equivalence principles The single Newtonian equality unfolds into a hierarchy of physical statements of increasing strength. Each says that some class of experiments cannot detect a uniform gravitational field. - **Weak equivalence principle (WEP).** The trajectory of a freely falling test body depends only on its initial position and velocity, not on its composition. This is the universality of free fall, $m_g = m_i$, restricted to the motion of uncharged, non-spinning test masses in a given external field. - **Einstein equivalence principle (EEP).** In a freely falling laboratory, the outcome of any _local, non-gravitational_ experiment is independent of the laboratory's velocity and location in spacetime. WEP is the special case of mechanical experiments; EEP extends the claim to electromagnetism, weak and strong interactions, and every other non-gravitational law. It bundles WEP with **local Lorentz invariance** (no preferred velocity) and **local position invariance** (no preferred place or time). - **Strong equivalence principle (SEP).** EEP holds for _all_ experiments, including those in which the object's own gravitational binding energy is significant — planets, stars, the Cavendish experiment done with massive source bodies. SEP demands that gravity couple to its own energy exactly as it couples to any other, and general relativity is essentially the unique metric theory that satisfies it. Most competing theories obey EEP but violate SEP, so tests that stress the strong version (lunar laser ranging, binary-pulsar timing) discriminate between theories. > **Principle (Einstein equivalence principle).** At every event there exists a > freely falling frame in which, throughout a sufficiently small neighbourhood, > the non-gravitational laws of physics take their special-relativistic form. > Uniform gravity and uniform acceleration produce locally identical physics. The operative promotion is from EEP to geometry. If special relativity holds in a small patch around every event, then spacetime is locally Minkowskian everywhere — the defining property of a curved manifold equipped with a metric, built in the next lesson. General relativity is the theory that takes EEP seriously and asks what global structure is consistent with local flatness. ## The elevator gedanken Einstein's argument for EEP is a pair of thought experiments that cannot be told apart. Consider a windowless laboratory. - **Cabin A** sits at rest on the surface of a planet with surface gravity $g$. An object released inside accelerates downward at $g$; the occupant feels a weight $m g$ pressing on the floor. - **Cabin B** is far from all masses, dragged by a rocket with proper acceleration $a = g$. An object released inside, now unforced, continues at constant velocity while the floor accelerates up to meet it — it "falls" at $g$ relative to the cabin; the occupant feels a weight $m g$ from the floor pushing up. No local experiment inside the sealed cabin distinguishes the two situations. The weight, the fall of dropped objects, the arc of a thrown ball, the reading of a spring scale — all agree. The converse gedanken removes gravity: a laboratory _freely falling_ toward the planet, like a lift with its cable cut, reproduces the physics of an inertial cabin drifting in deep space. Inside the falling lab, released objects float, and the occupant is weightless. Free fall cancels a uniform gravitational field exactly. $$ % caption: The four cabins of the elevator argument. Standing on a planet (A) and % accelerating in free space (B) give identical local physics; free fall toward the % planet (C) and drifting inertially in deep space (D) are likewise identical. \begin{tikzpicture}[>=stealth, font=\footnotesize, scale=1.0] \definecolor{acc}{HTML}{4A6FA5} % Cabin A: on planet, weight down \draw[black] (0,0) rectangle (2,2.4); \node[black, anchor=south] at (1,2.4) {A: on planet}; \fill (1,1.5) circle (2pt); \draw[->] (1,1.35) -- (1,0.55) node[midway,right] {falls}; \draw[black, line width=1.3pt] (-0.2,-0.05) -- (2.2,-0.05); % Cabin B: rocket accel up \draw[black] (3.2,0) rectangle (5.2,2.4); \node[black, anchor=south] at (4.2,2.4) {B: accelerating}; \fill (4.2,1.5) circle (2pt); \draw[->] (4.2,1.35) -- (4.2,0.55) node[midway,right] {falls}; \draw[->, black] (4.2,-0.15) -- (4.2,-0.75) node[midway,right] {thrust}; % Cabin C: free fall \draw[black] (0,-3.6) rectangle (2,-1.2); \node[black, anchor=south] at (1,-1.2) {C: free fall}; \fill (1,-2.4) circle (2pt); \node[anchor=west] at (1.15,-2.4) {drifts}; \draw[->, black] (2.5,-1.4) -- (2.5,-3.4) node[midway,right] {g}; % Cabin D: deep space inertial \draw[black] (3.2,-3.6) rectangle (5.2,-1.2); \node[black, anchor=south] at (4.2,-1.2) {D: inertial}; \fill (4.2,-2.4) circle (2pt); \node[anchor=west] at (4.35,-2.4) {drifts}; \end{tikzpicture} $$ Two immediate predictions follow from the gedanken alone, before any field equation. A light ray crossing the accelerating cabin B travels a straight line in the inertial frame but, seen from the accelerating floor, bends downward, because the far wall has moved up during the crossing. By EEP the same bending must occur in cabin A: **light falls in a gravitational field.** And a photon emitted from the floor of cabin B and received at the ceiling is redshifted, because the ceiling recedes during the flight time; by EEP a photon climbing a gravitational field is likewise redshifted. Both effects are derived rigorously later in the course; here they are consequences of equivalence, not of curvature. $$ % caption: In the accelerating cabin a horizontal light ray strikes the far wall % below its entry height, because the wall rises during the crossing time; the % equivalence principle transfers the same downward bend to a static cabin in gravity. \begin{tikzpicture}[>=stealth, font=\footnotesize, scale=1.0] \definecolor{acc}{HTML}{4A6FA5} \draw[black] (0,0) rectangle (5,3); % entry at left, straight dashed reference \draw[black, dashed] (0,2.4) -- (5,2.4) node[right, black] {straight}; % actual bent ray (parabola dropping) \draw[acc, very thick] (0,2.4) .. controls (2.5,2.35) and (4.0,1.9) .. (5,1.5); \node[acc, anchor=west] at (2.2,2.05) {light path}; \fill (0,2.4) circle (1.6pt); \node[anchor=east] at (-0.05,2.4) {enter}; \fill (5,1.5) circle (1.6pt); \node[anchor=west] at (5.05,1.5) {strikes lower}; \draw[->, black] (2.5,-0.2) -- (2.5,-0.85) node[midway,right] {acceleration}; \end{tikzpicture} $$ ## The word "local" and its limits The equivalence of a freely falling frame with an inertial one is exact only in an infinitesimal neighbourhood. A genuine gravitational field is not uniform: it points toward the source and weakens with distance. Two test particles released side by side above the Earth fall along lines that both aim at the Earth's centre, so they converge; two particles released one above the other fall with different accelerations, so they separate vertically. In a single freely falling lab, objects do not merely float — they drift relative to one another. This relative acceleration is the **tidal field**, and no choice of frame removes it. The distinction is sharp. A uniform field can be transformed away globally: the transformation to a frame accelerating at $\vec g$ cancels it everywhere at once. A real field can be transformed away only at a point (or, to first order, along a single worldline). Expand the Newtonian potential $\Phi$ about the lab's centre $\vec x_0$: $$ \partial_i \Phi(\vec x) = \partial_i \Phi(\vec x_0) + \partial_i \partial_j \Phi(\vec x_0)\,(x - x_0)^j + \cdots. $$ Choosing the freely falling frame subtracts the first term, the uniform part, for every particle at once. The second term, the gradient of the field, survives; it drives the relative acceleration of neighbouring particles, $$ \frac{\d^2 \xi^i}{\d t^2} = -\,\partial_i \partial_j \Phi\, \xi^j, $$ where $\vec\xi$ is the separation between two nearby free-fallers. The matrix of second derivatives $\partial_i\partial_j\Phi$ is the tidal tensor. Its trace vanishes in vacuum by Laplace's equation $\nabla^2\Phi = 0$, so tidal distortion conserves volume there: what stretches along the field line squeezes transverse to it. This equation is the Newtonian shadow of **geodesic deviation**, and $\partial_i\partial_j\Phi$ is the shadow of the Riemann curvature tensor, both derived later in the module. $$ % caption: A ring of free particles falling toward a mass deforms into an ellipse: % radial pairs separate as the near ones fall faster, transverse pairs converge as % both aim at the centre. This tidal stretch is the field variation the free-fall % frame cannot cancel. \begin{tikzpicture}[>=stealth, font=\footnotesize, scale=1.0] \definecolor{acc}{HTML}{4A6FA5} % the mass below \fill[black!70] (2.4,-1.4) circle (5pt); \node[black!70, anchor=north] at (2.4,-1.7) {mass}; % initial circle of particles \draw[black, dashed] (2.4,2.2) circle (0.9); \node[black, anchor=south] at (2.4,3.15) {initial ring}; % deformed ellipse (tall, thin) lower down \draw[acc, very thick] (2.4,0.4) ellipse (0.55 and 1.1); \node[acc, anchor=west] at (3.05,0.4) {stretched}; % arrows showing stretch/squeeze \draw[->] (2.4,1.3) -- (2.4,1.75); \draw[->] (2.4,-0.5) -- (2.4,-0.95); \draw[->, black] (1.85,0.4) -- (2.1,0.4); \draw[->, black] (2.95,0.4) -- (2.7,0.4); \draw[black, ->] (2.4,3.0) -- (2.4,1.55); \end{tikzpicture} $$ The size of the tidal effect sets the meaning of "sufficiently small" in EEP. Over a region of extent $L$ and a time $T$, the residual relative acceleration a freely falling observer cannot remove is of order $(\partial^2\Phi)\,L$, and the displacement it produces is of order $(\partial^2\Phi)\,L\,T^2$. The frame counts as inertial only to the accuracy set by that residue: the more precise the experiment, the smaller the patch over which gravity has been abolished. A laboratory is "local" when tidal displacements stay below the resolution of its instruments. ## Why one patch is not enough Local flatness holds at every event, yet the collection of local inertial frames cannot be stitched into one global inertial frame. The obstruction is the tidal field itself. If a single global inertial frame existed, the second derivatives $\partial_i\partial_j\Phi$ would vanish everywhere, meaning no tidal forces and no gravitating source. A nonzero curvature is precisely the statement that the local frames at different events are rotated and boosted relative to one another in a way that cannot be undone globally. $$ % caption: Local inertial frames exist at every event (small flat patches), but a % real field twists neighbouring patches relative to one another. The mismatch that % survives all patch-to-patch matching is curvature; it cannot be combed flat. \begin{tikzpicture}[>=stealth, font=\footnotesize, scale=1.0] \definecolor{acc}{HTML}{4A6FA5} % curved base surface suggested by arcs \draw[black] (0,0) .. controls (2,0.6) and (4,-0.6) .. (6,0.2); \draw[black] (0,1.2) .. controls (2,1.8) and (4,0.6) .. (6,1.4); \draw[black] (0,2.4) .. controls (2,3.0) and (4,1.8) .. (6,2.6); % three little flat frames tangent at different points, tilted differently \draw[acc, thick] (1.0,0.7) -- (1.9,0.85) -- (1.75,1.65) -- (0.85,1.5) -- cycle; \node[acc, anchor=north] at (1.35,0.7) {patch 1}; \draw[acc, thick] (3.0,0.55) -- (3.9,0.4) -- (4.05,1.2) -- (3.15,1.35) -- cycle; \node[acc, anchor=north] at (3.5,0.4) {patch 2}; \draw[acc, thick] (5.0,1.0) -- (5.9,1.25) -- (5.7,2.05) -- (4.8,1.8) -- cycle; \node[acc, anchor=south] at (5.35,2.05) {patch 3}; \node[black, anchor=north west] at (0,-0.1) {tilts do not match globally}; \end{tikzpicture} $$ The programme of the module is now set. EEP guarantees a Minkowski metric in a small neighbourhood of every event, which is the local structure of a [four-dimensional manifold](/relativity/curved-spacetime/manifolds-vectors-and-the-metric). The failure of the local frames to align globally is measured by curvature, built from the way vectors change under [parallel transport](/relativity/curved-spacetime/covariant-derivative-and-christoffel-symbols). Free-fall worldlines become [geodesics](/relativity/curved-spacetime/geodesics-and-the-geodesic-equation) of that geometry, and the tidal equation above becomes the equation of [geodesic deviation](/relativity/curved-spacetime/curvature-riemann-and-geodesic-deviation), whose coefficient is the Riemann tensor. The [Einstein field equations](/relativity/curved-spacetime/the-einstein-field-equations) then tie that curvature to the matter that sources it. ## The Rindler frame as a flat-spacetime rehearsal Before curvature enters, the uniformly accelerated frame in _flat_ spacetime already displays two hallmarks usually attributed to gravity: a position-dependent clock rate and a horizon. It is the exact special-relativistic version of cabin B, and treating it carefully separates the effects of acceleration (present already in flat spacetime) from the effects of curvature (genuinely new). An observer with constant proper acceleration $\alpha$ traces the hyperbolic worldline derived in the [accelerated-motion lesson](/relativity/relativistic-dynamics/four-momentum-force-and-accelerated-motion), $x^2 - c^2 t^2 = (c^2/\alpha)^2$. A whole family of such observers, one for each value of a spatial label, fills a wedge of Minkowski spacetime — the **Rindler wedge** — with coordinates $(\rho, \tau)$ related to the inertial $(t, x)$ by $$ c t = \rho \sinh\!\Big(\frac{\alpha\tau}{c}\Big), \qquad x = \rho \cosh\!\Big(\frac{\alpha\tau}{c}\Big). $$ The flat metric in these coordinates is $$ \d s^2 = -\Big(\frac{\alpha\rho}{c^2}\Big)^{2} c^2\,\d\tau^2 + \d\rho^2, $$ which is not the Minkowski form: the coefficient of $\d\tau^2$ depends on position $\rho$. Clocks deeper in the wedge (smaller $\rho$, larger proper acceleration) run slow relative to clocks higher up, mimicking gravitational time dilation exactly. The wedge is bounded by the null lines $x = \pm ct$, where the $\d\tau^2$ coefficient vanishes: this is the **Rindler horizon**, a surface the accelerating observers can never receive signals from beyond. Yet the spacetime is flat — every curvature component is zero. The lesson is that horizons and gravitational redshift are consequences of the observer's motion and can occur without curvature; what curvature adds, and Rindler lacks, is tidal force. This distinction organizes the black-hole module, where the Schwarzschild horizon is locally a Rindler horizon while the singularity at the centre is genuine curvature. $$ % caption: The Rindler wedge. A family of uniformly accelerated observers traces % nested hyperbolae bounded by the null lines x = ct and x = -ct, which form a % horizon; lines of constant Rindler time radiate from the origin. The geometry is % flat, yet it carries a horizon and a position-dependent clock rate. \begin{tikzpicture}[>=stealth, font=\footnotesize, scale=1.0] \definecolor{acc}{HTML}{4A6FA5} \draw[->, black] (-0.2,-2.7) -- (-0.2,2.9) node[above] {ct}; \draw[->, black] (-2.9,0) -- (3.1,0) node[right] {x}; % horizon null lines \draw[black, thick] (-2.6,-2.6) -- (2.7,2.7); \draw[black, thick] (-2.6,2.6) -- (2.7,-2.7); \node[black, anchor=south west] at (2.0,2.05) {horizon}; % hyperbolae x^2 - (ct)^2 = R^2, drawn as arcs opening rightward \draw[acc, very thick] (0.9,-2.2) .. controls (0.4,-0.9) and (0.4,0.9) .. (0.9,2.2); \draw[acc, thick] (1.7,-2.3) .. controls (1.35,-1.0) and (1.35,1.0) .. (1.7,2.3); \draw[acc, thin] (2.4,-2.35) .. controls (2.15,-1.05) and (2.15,1.05) .. (2.4,2.35); \node[acc, anchor=west] at (2.45,1.55) {observers}; % constant-tau ray \draw[black, densely dotted] (0,0) -- (2.6,1.5); \node[black, anchor=west] at (1.9,0.75) {const time}; \end{tikzpicture} $$ The equivalence principle has taken the universality of free fall and turned it into a demand: physics must be written so that at every event a freely falling observer sees special relativity, while the failure of these local views to agree globally encodes gravity. Meeting that demand requires the geometry of manifolds and a metric, the subject of the next lesson. [^hartle-geom]: **Hartle**, _Gravity: An Introduction to Einstein's General Relativity_, Ch. 6 — the equivalence principle, freely falling frames, gravitational redshift and light bending from equivalence, and the transition from gravity as a force to gravity as geometry. [^carroll-grav]: **Carroll**, _Lecture Notes on General Relativity_, §4 — the weak, Einstein, and strong equivalence principles, the impossibility of globally removing a nonuniform field, tidal forces as the physical residue, and the Rindler coordinates of a uniformly accelerated observer in flat spacetime.