Inertial Frames of Reference

Mechanics has already done the defining work, and we take it over by name. Newton's First Law and Inertial Frames (aq-mech-newtons-first-law-inertial-frames) reads the first law not as "zero force implies zero acceleration" but as an existence claim: inertial frames exist — frames in which free bodies genuinely coast. It establishes that any frame moving at constant velocity relative to an inertial frame is also inertial, while accelerating or rotating frames are not, because free bodies there seem pushed by fictitious forces −mA-m\mathbf A; and it records that no perfectly inertial frame exists, the Earth's surface failing at the 0.3%0.3\%-of-gg level. None of that is re-derived here. What relativity owns is what happens next. Every postulate of special relativity begins "in any inertial frame" — so the inertial frames are not a detail of mechanics, they are the arena the whole theory is quantified over, and the theory is only as sharp as that class of frames is well defined. Which frames are in the family, exactly? How do you test, from inside a sealed laboratory, whether yours belongs? The test is operational and quantitative. Release free bodies and watch: if they hold a straight line at constant speed the frame is inertial; if they swerve it is not, and the swerve measures the frame's own acceleration — a number, not a verdict. An equatorial laboratory carries a centrifugal residual ω2R=0.0339 m/s2\omega^2 R = 0.0339\ \mathrm{m/s^2}, 0.35%0.35\% of gg, so it is inertial only to about three parts in a thousand. And there sits the asymmetry that bounds the relativity principle: uniform velocity is undetectable from inside, in principle, while acceleration is detectable immediately, with a plumb line. Newton read that as proof of absolute space; Ernst Mach read it as a relation to the distant stars — and the argument is still open.

Key takeaways
  • An inertial frame is one in which a body free of forces moves in a straight line at constant speed. Mechanics defines it (recall: Newton's First Law and Inertial Frames); relativity uses it as the arena its postulates are stated in.
  • The family is closed: any frame in uniform translation relative to an inertial frame is itself inertial, because a Galilean boost preserves a=0\mathbf a = \mathbf 0 — as do rotations and constant shifts of origin, and nothing else.
  • Accelerate the frame and closure breaks: a ′=a−A\mathbf a\,' = \mathbf a - \mathbf A, so an untouched body swerves and the observer must post a fictitious force −mA-m\mathbf A. Uniform velocity is undetectable from inside; acceleration is not.
  • "Inertial" is therefore a precision budget, not a yes/no badge — the operational test being Lange's: launch free bodies in three non-coplanar directions and check that all three run straight. A ground lab fails at ω2R=0.0339 m/s2\omega^2 R = 0.0339\ \mathrm{m/s^2} (0.35%0.35\% of gg; a 0.099∘0.099^\circ plumb-line tilt at latitude 45∘45^\circ); a freely falling lift is inertial to about one part in 10610^6 over its own height.
  • Key idea: an inertial frame is not a place, it is a certificate — the class of frames in which free bodies coast, closed under Galilean boosts, detected from the inside by the absence of fictitious forces, and valid only to a stated precision.
The core insight

Free bodies define the frame, and the frame defines free bodies — the circle is broken by making the definition operational and approximate. Launch several test bodies you have shielded as best you can; if they all hold straight lines at constant speed to within your instrument's resolution, your frame is inertial to that resolution. Every frame in uniform translation relative to it is equally inertial, and none is "really at rest" — but let the frame accelerate or rotate and the free bodies curve, which is precisely why acceleration, unlike velocity, is absolute.

Where this lives today

The operational definition is not a philosopher's nicety; it is an engineering specification. A ring-laser gyroscope in an airliner's navigation unit detects the aircraft's rotation with no outside reference at all, precisely because rotation — unlike velocity — is absolute and leaves a fingerprint inside a sealed box; every strapdown navigation system is a machine for measuring how far its own frame departs from inertial, integrating the departure twice to recover position. When astronomers need the best inertial frame available they build one: the International Celestial Reference Frame is fixed to hundreds of distant quasars, so remote that any residual acceleration is beneath detection — a quantitative descendant of Mach's "fixed stars". And physicists now manufacture free bodies to test the definition itself: LISA Pathfinder flew two gold-platinum cubes in free fall inside a spacecraft that steered itself around them, and they tracked inertial motion to femto-gg residuals.

The physical picture

Sit on a bench with an air-hockey puck and give it a shove. It runs dead straight at constant speed: your frame passes the test. Now do the same on a spinning carousel. The puck, once released, is untouched by any force — yet from your rotating seat you watch it curl away in a great arc, as though an invisible hand were shoving it sideways. Nothing is. In the ground frame it goes perfectly straight; it is you who are turning underneath it. The curve is the signature of a frame that has disqualified itself.

Figure
The first-law test — a free puck runs straight in an inertial frame but curls away in a rotating one, though no force acts on it. The swerve is not a force; it is the frame confessing
inertial frame — the bench rotating frame — the carousel (Ω) straight · v constant free puck, F = 0 ⇒ a = 0 frame PASSES the first-law test Ω curves — yet F = 0 still a′ = a − A ≠ 0: Coriolis + centrifugal frame FAILS — the swerve measures it uniform velocity leaves no trace inside a frame · acceleration and rotation always do

That is the whole diagnostic, stated as a procedure rather than a slogan. Shield a test body as well as you can, release it, and watch. Straight line at constant speed: the frame is inertial. Any swerve: the frame is not, and the swerve is a measurement of the frame's own acceleration. Ludwig Lange turned this into a definition in 1885 — throw a free particle from one point in three non-coplanar directions, and if all three paths are straight you have an inertial frame. The catch is that no real frame passes perfectly. A laboratory bench is bolted to a planet that spins, swings around the Sun, and is dragged around the Galaxy; each of those motions is an acceleration, so each leaves a residual a good-enough instrument will find. The honest question is never is my frame inertial? but inertial to what precision? — and that has a numerical answer.

Figure
How nearly inertial is a laboratory? The fictitious accelerations of an Earth-fixed frame, on a log scale — the equatorial centrifugal term ω²R = 0.0339 m/s² (0.35 % of g) dominates, Earth's orbit adds 0.0059 m/s², and the Sun's galactic orbit contributes only 2×10⁻¹⁰ m/s², eight decades below
10¹ 10⁻² 10⁻⁴ 10⁻⁶ 10⁻⁸ 10⁻¹⁰ acceleration (m/s²) 9.81 0.0339 = 0.35 % of g 0.0059 2×10⁻¹⁰ g — for scale spin: ω²R orbit: v²/r galaxy, 8 kpc a bench-top lab is inertial to ~0.3 % — “inertial” is a precision budget, not a yes/no badge

The hierarchy tells the story. The dominant failure of a ground laboratory is the planet's spin, not its enormous orbital speed: what disqualifies a frame is acceleration, so the Earth's 29.8 km/s29.8\ \mathrm{km/s} orbital velocity — undetectable in principle — contributes nothing, while its far smaller orbital acceleration contributes 0.0059 m/s20.0059\ \mathrm{m/s^2}. Add everything up and a lab carries at most 0.040 m/s20.040\ \mathrm{m/s^2}, 0.41%0.41\% of gg. That is why a bench experiment lasting seconds may treat the ground as inertial, while a Foucault pendulum swinging for hours cannot.

The core equations

The definition comes first, and it is a statement about a frame, not a body: a frame is inertial when the first law is true in it. Integrating r¨=0\ddot{\mathbf r} = \mathbf 0 twice gives the criterion in the form you check with a ruler and a stopwatch.

F=0  ⟹  r¨=0  ⟹  r(t)=r0+v0t(1)\mathbf F = \mathbf 0 \;\Longrightarrow\; \ddot{\mathbf r} = \mathbf 0 \;\Longrightarrow\; \mathbf r(t) = \mathbf r_0 + \mathbf v_0 t \qquad (1)

where: r0,v0\mathbf r_0, \mathbf v_0 — the position and velocity at t=0t = 0; nothing else appears. Physical reading: a free body traces a straight line at uniform rate, and that observation is the certificate. Lange's 1885 prescription makes it practical: launch free particles from one point in three non-coplanar directions and require all three tracks to be straight. Which other frames inherit the certificate? Slide the origin at constant velocity, turn the axes through a fixed angle, shift the clock's zero — the most general such transformation is the Galilean map.

r ′=R r−Vt−d0,t′=t−t0(2)\mathbf r\,' = R\,\mathbf r - \mathbf V t - \mathbf d_0, \qquad t' = t - t_0 \qquad (2)

where: RR — a fixed rotation matrix; V\mathbf V — a constant boost velocity; d0,t0\mathbf d_0, t_0 — constant shifts of the space and time origins. Physical reading: differentiate twice and every constant dies, leaving a ′=R a\mathbf a\,' = R\,\mathbf a. Since RR is invertible, a=0  ⟺  a ′=0\mathbf a = \mathbf 0 \iff \mathbf a\,' = \mathbf 0: free bodies stay free and S′S' is inertial too. The inertial frames form an infinite family with no member singled out as at rest — exactly the arena the relativity principle needs. Now break the condition: let the frame's origin accelerate at A\mathbf A instead of drifting at constant V\mathbf V. Two derivatives no longer kill the extra term, and an observer who insists on Newtonian bookkeeping pays with a force that has no source.

a ′=a−A,ma ′=Freal−mA(3)\mathbf a\,' = \mathbf a - \mathbf A, \qquad m\mathbf a\,' = \mathbf F_{\rm real} - m\mathbf A \qquad (3)

where: A\mathbf A — the acceleration of the frame itself; −mA-m\mathbf A — the fictitious force, proportional to every mass and traceable to no second body (recall: Newton's First Law and Inertial Frames). Physical reading: put Freal=0\mathbf F_{\rm real} = \mathbf 0 and a free body has a ′=−A≠0\mathbf a\,' = -\mathbf A \neq \mathbf 0 — it swerves, untouched, and the size of the swerve hands you A\mathbf A exactly. This is the asymmetry: the boost velocity V\mathbf V has vanished from the physics; the frame acceleration A\mathbf A has not. A rotating frame matters most in practice, because every laboratory on Earth is one. The mechanics owner records the extra terms — centrifugal −mΩ×(Ω×r ′)-m\boldsymbol\Omega\times(\boldsymbol\Omega\times\mathbf r\,') and Coriolis −2mΩ×v ′-2m\boldsymbol\Omega\times\mathbf v\,' — and for a body at rest at radius RR in a frame spinning at ω\omega only the centrifugal one survives:

afict=ω2R(4)a_{\rm fict} = \omega^{2} R \qquad (4)

where: ω\omega — the frame's angular velocity; RR — the distance from the rotation axis. Physical reading: this single number is the residual that disqualifies every Earth-fixed frame, and it is the reason "inertial" must always be quoted with a tolerance.

What the definition buys, and where it breaks

Derivation AThe family of inertial frames, and what closes it

Special relativity states its postulates "in any inertial frame", so the theory is only as sharp as that class of frames. The goal is to pin the class down: to show that the certificate of equation (1) — free bodies coast — is inherited by exactly the frames related to an inertial one by the Galilean map (2), and by no others. Boost, rotate and shift the coordinates in the most general constant way available, differentiate twice, and see what survives; then spoil the constancy on purpose, and the boundary of the family shows itself as the place the argument fails.

Step 1. Certify a frame SS. Isolate a body from all interactions, release it, and observe r¨=0\ddot{\mathbf r} = \mathbf 0; by (1) its track is r0+v0t\mathbf r_0 + \mathbf v_0 t. Repeat in three non-coplanar directions (Lange). Why: the definition must be an operation you can perform, not an appeal to absolute space — the step Newton could not take and Lange could.

Step 2. Change frames with the most general constant map (2): r ′=R r−Vt−d0\mathbf r\,' = R\,\mathbf r - \mathbf V t - \mathbf d_0, t′=t−t0t' = t - t_0, with RR, V\mathbf V, d0\mathbf d_0, t0t_0 time-independent. Differentiate once: r˙ ′=R r˙−V\dot{\mathbf r}\,' = R\,\dot{\mathbf r} - \mathbf V. Why: this is a passenger on a smooth train who has also tilted her axes and reset her clock — every viewpoint that does not itself accelerate.

Step 3. Differentiate again: r¨ ′=R r¨\ddot{\mathbf r}\,' = R\,\ddot{\mathbf r}. Both V\mathbf V and d0\mathbf d_0 die under d/dtd/dt, and t0t_0 never entered since dt′=dtdt' = dt. Why: only the rotation survives, and it merely re-labels the components of a vector.

Step 4. Apply the test in S′S'. A free body has r¨=0\ddot{\mathbf r} = \mathbf 0, hence r¨ ′=0\ddot{\mathbf r}\,' = \mathbf 0: it coasts there too. Because det⁡R=1\det R = 1 the implication runs backwards as well, so r¨ ′=0  ⟺  r¨=0\ddot{\mathbf r}\,' = \mathbf 0 \iff \ddot{\mathbf r} = \mathbf 0. The inertial frames form a closed, infinite family, and no member is "really at rest". Let V\mathbf V or RR depend on time and the constants no longer die: free bodies swerve, and the frame drops out of the family. Why: this is the arena. The postulates quantify over exactly this class — and over nothing outside it, which is the subject of the next card. *Verified symbolically in verify_aq-sr-inertial-frames-of-reference.py (S1, S2): r¨=0⇒r=r0+v0t\ddot{\mathbf r} = \mathbf 0 \Rightarrow \mathbf r = \mathbf r_0 + \mathbf v_0 t; and for map (2) with a fixed rotation, a ′=R a\mathbf a\,' = R\,\mathbf a with det⁡R=1\det R = 1, so a=0  ⟺  a ′=0\mathbf a = \mathbf 0 \iff \mathbf a\,' = \mathbf 0.*

Go deeper · Derivation B · 2 minWhy acceleration is detectable and uniform velocity is not
Derivation BWhy acceleration is detectable and uniform velocity is not

Here is the result that fixes the boundary of the relativity principle. A uniform boost leaves no fingerprint anywhere in the physics — that was the previous card. An accelerating frame leaves one immediately, and the fingerprint is quantitative: it hands you the frame's own acceleration without your ever looking outside. Relate the accelerating frame to an inertial one, insert Newton's second law only where it is valid, and read off what an observer trapped inside must invent to keep the books. The asymmetry that falls out — velocity relative, acceleration absolute — is why special relativity is special: restricted to the inertial family.

Step 1. Let the origin of S′S' sit at R(t)\mathbf R(t) in an inertial SS, with R¨=A\ddot{\mathbf R} = \mathbf A, so r=r ′+R\mathbf r = \mathbf r\,' + \mathbf R. Differentiate twice: a ′=a−A\mathbf a\,' = \mathbf a - \mathbf A, equation (3). Why: the true acceleration splits into the part seen inside the frame and the frame's own — and unlike a constant velocity, A\mathbf A does not die under differentiation.

Step 2. Insert the second law, which holds only in SS: Freal=ma=ma ′+mA\mathbf F_{\rm real} = m\mathbf a = m\mathbf a\,' + m\mathbf A, so inside the frame ma ′=Freal−mAm\mathbf a\,' = \mathbf F_{\rm real} - m\mathbf A. Why: an observer in S′S' who insists on Newtonian bookkeeping must post the fictitious −mA-m\mathbf A — the price of using a frame that has disqualified itself.

Step 3. Test a free body: Freal=0\mathbf F_{\rm real} = \mathbf 0 gives a ′=−A≠0\mathbf a\,' = -\mathbf A \neq \mathbf 0. The untouched body accelerates, and ∂a ′/∂A=−1\partial \mathbf a\,'/\partial \mathbf A = -1, so measuring the swerve is measuring A\mathbf A — exactly, with the laboratory sealed. Compare a boost, whose equations contain no V\mathbf V at all. Uniform velocity: undetectable. Acceleration: detectable, and quantified. Why: this is the boundary of the relativity principle, and the reason extending it to accelerated frames requires gravity — see The Equivalence Principle.

Step 4. Put a number on it. A frame rotating at ω\omega carries a body at radius RR around a circle whose true acceleration is centripetal, ∣a∣=ω2R|\mathbf a| = \omega^2 R inward; inside the frame that body sits still, so the ledger shows an outward fictitious ω2R\omega^2 R — equation (4). Why: this is the residual an Earth-fixed laboratory cannot escape, and it is what makes "inertial" a precision statement rather than an article of faith. *Verified in verify_aq-sr-inertial-frames-of-reference.py (S3, S4): a ′=a−A\mathbf a\,' = \mathbf a - \mathbf A, a free body giving a ′=−A\mathbf a\,' = -\mathbf A with ∂a ′/∂A=−1\partial\mathbf a\,'/\partial\mathbf A = -1; and the rotating-frame residual ∣a∣=ω2R|\mathbf a| = \omega^2 R.*

Limiting cases

CaseResultMeaning
Uniform boost, V\mathbf V constanta ′=a\mathbf a\,' = \mathbf a, so a=0\mathbf a = \mathbf 0 survivesS′S' is inertial too; the family is closed, no member at rest (The Principle of Relativity)
Linear acceleration A\mathbf Aa ′=a−A\mathbf a\,' = \mathbf a - \mathbf A; fictitious −mA-m\mathbf Anon-inertial and detectable from inside — the swerve measures A\mathbf A
Rotating frame, Ω\boldsymbol\Omegacentrifugal ω2R\omega^2 R + Coriolis 2ωv2\omega van Earth-fixed lab carries 0.0339 m/s20.0339\ \mathrm{m/s^2} at the equator
Low speed, β=v/c→0\beta = v/c \to 0the Galilean map (2) relates the inertial framesthe Newtonian realisation; at β→1\beta \to 1 it must be replaced (The Lorentz Transformation)
Free fall, small regiona ′=a−A=0\mathbf a\,' = \mathbf a - \mathbf A = \mathbf 0locally inertial — over 2.5 m2.5\ \mathrm{m} and 3 s3\ \mathrm{s}, good to 35 μm35\ \mu\mathrm{m} (The Equivalence Principle)

The last row eventually dismantles the others. A global inertial frame is a fiction in a universe with gravity: the best you can build is a freely falling box, valid over a region small enough that tidal differences stay below your resolution — and special relativity lives inside those boxes.

Worked examples

1 · How inertial is the ground beneath you?

A laboratory sits on the equator. Take ω=7.292×10−5 rad/s\omega = 7.292\times10^{-5}\ \mathrm{rad/s}, R=6.378×106 mR = 6.378\times10^{6}\ \mathrm{m}, g=9.81 m/s2g = 9.81\ \mathrm{m/s^2}. (a) Find the centrifugal residual. (b) Express it as a fraction of gg. (c) Find the plumb-line tilt it produces at latitude 45∘45^\circ.

Step 1. The lab is carried around the rotation axis at radius RR, so by equation (4) its fictitious acceleration is a=ω2R=(7.292×10−5)2×6.378×106a = \omega^2 R = (7.292\times10^{-5})^2 \times 6.378\times10^{6}.

Step 2. Evaluate: (7.292×10−5)2=5.317×10−9 s−2(7.292\times10^{-5})^2 = 5.317\times10^{-9}\ \mathrm{s^{-2}}, so a=0.0339 m/s2a = \boxed{0.0339\ \mathrm{m/s^2}}, directed outward from the axis.

Step 3. As a fraction of gravity: 0.0339/9.81=3.46×10−3=0.35%0.0339 / 9.81 = 3.46\times10^{-3} = \boxed{0.35\%}. The frame passes the first-law test only to about three parts in a thousand — fine for a bench experiment lasting seconds, hopeless for anything integrating over hours.

Step 4. Make the residual visible. At latitude ϕ\phi the lab sits Rcos⁡ϕR\cos\phi from the axis, so the centrifugal term is ω2Rcos⁡ϕ\omega^2R\cos\phi, whose component perpendicular to the local vertical is ω2Rcos⁡ϕsin⁡ϕ\omega^2 R\cos\phi\sin\phi — and a plumb bob hangs off true by θ≈ω2Rsin⁡ϕcos⁡ϕ/g\theta \approx \omega^2 R \sin\phi\cos\phi / g.

Step 5. At ϕ=45∘\phi = 45^\circ: θ=0.0339×0.5/9.81=1.73×10−3 rad=0.099∘\theta = 0.0339 \times 0.5 / 9.81 = 1.73\times10^{-3}\ \mathrm{rad} = \boxed{0.099^\circ}, about 5.95.9 arcminutes. Every plumb line at mid-latitude misses the centre of the Earth by a tenth of a degree — the non-inertiality of your frame, hanging on a string in front of you.

2 · The freely falling lift, and the size of the word "locally"

A lift's cable snaps. Inside, a passenger releases a ball. (a) What is the ball's acceleration in the lift frame? (b) How far does the lift fall in 3.0 s3.0\ \mathrm{s}? (c) Two balls are released H=2.5 mH = 2.5\ \mathrm{m} apart vertically — how far apart do they drift in that time?

Step 1. In the ground frame the ball is not free: gravity gives it a=−g=−9.81 m/s2a = -g = -9.81\ \mathrm{m/s^2}. But the lift frame accelerates too, with A=−gA = -g. Equation (3) then gives a′=a−A=(−9.81)−(−9.81)=0a' = a - A = (-9.81) - (-9.81) = \boxed{0}.

Step 2. So the released ball hangs motionless beside the passenger: it passes the first-law test. The falling lift is an inertial frame, even though gravity acts at full strength — the fictitious force −mA-mA has exactly cancelled the weight, and it cancels for every mass because both terms scale with mm. (Why the cancellation is exact belongs to The Equivalence Principle; here we only measure how far it can be trusted.)

Step 3. Seen from the ground the whole box is plunging: in t=3.0 st = 3.0\ \mathrm{s} it falls 12gt2=0.5×9.81×9=44.1 m\tfrac12 g t^2 = 0.5 \times 9.81 \times 9 = \boxed{44.1\ \mathrm{m}}, with the ball floating beside the passenger the entire way.

Step 4. Now find the flaw. Gravity is not perfectly uniform — it weakens as 1/r21/r^2 — so a ball nearer the Earth falls slightly harder. Over a height HH the differential is Δa=2gH/R⊕=2(9.81)(2.5)/6.378×106=7.69×10−6 m/s2\Delta a = 2gH/R_\oplus = 2(9.81)(2.5)/6.378\times10^{6} = 7.69\times10^{-6}\ \mathrm{m/s^2}.

Step 5. That residual drifts the two balls apart by 12Δa t2=0.5×7.69×10−6×9=35 μm\tfrac12 \Delta a\, t^2 = 0.5 \times 7.69\times10^{-6} \times 9 = \boxed{35\ \mu\mathrm{m}} in 3.0 s3.0\ \mathrm{s}. That number is the size of the word "locally". The lift is inertial to about one part in 10610^{6} of gg over its own height — good enough for any experiment coarser than 35 μm35\ \mu\mathrm{m}, and not for one that is finer.

Physics of the portrait

Newton knew the asymmetry this article turns on. Spin a bucket of water and the surface climbs the walls into a paraboloid — rotation announces itself from inside, with no reference to anything outside, while uniform velocity never does. Newton concluded that rotation must be absolute, measured against absolute space itself. Two centuries later Ernst Mach accepted the fact and refused the conclusion, asking the question that has never gone away: relative to what is the bucket rotating?

Origins · 1 minErnst Mach and how this was discovered
EM
Ernst Mach
1838–1916 · Moravia · Graz · Prague · Vienna

Ernst Mach was born in Moravia in 1838 and spent his career between Graz, Prague and Vienna, a physicist with a philosopher's insistence that science may speak only of what can be observed. He photographed shock waves and gave his name to the Mach number, but his most explosive work was Die Mechanik in ihrer Entwicklung (1883), a historical-critical demolition of Newton's absolute space and time. Absolute space, he argued, does no work: it appears in no observation, and a concept that appears in no observation has no place in physics. Inertia — the very property that makes a frame inertial — must therefore be a relation to the rest of the matter in the universe, not to an invisible stage. Einstein named the idea Mach's principle in 1918 and hoped general relativity would embody it; it does so only partially, for frame-dragging is real and measured, yet a lone rotating body in an otherwise empty universe still knows it is spinning. Mach's question — what fixes the inertial frames? — remains live.

History
1687
— Newton's Principia, Scholium to the Definitions: the rotating-bucket and two-globes arguments claim rotation is absolutely detectable, and so must be motion relative to absolute space.
1851
— Foucault hangs a pendulum in the Panthéon; its slowly turning swing plane shows a Paris audience that the ground frame is not inertial.
1883
— Ernst Mach, Die Mechanik in ihrer Entwicklung historisch-kritisch dargestellt: absolute space is unobservable, and inertia should be referred to the distant masses of the universe.
1885
— Ludwig Lange coins Inertialsystem and gives the operational definition: a frame in which particles thrown from one point in three non-coplanar directions all travel in straight lines.
1907
— Einstein's "happiest thought": an observer in free fall does not feel his own weight, so free fall is the locally inertial state.
1918
— Einstein, in "Prinzipielles zur allgemeinen Relativitätstheorie", coins the term Mach's principle for the idea that the distant masses determine inertia.

Going further

Texts. Rindler, Introduction to Special Relativity, 2nd ed., Ch. 1 · Taylor & Wheeler, Spacetime Physics, 2nd ed., Ch. 1 · Landau & Lifshitz, Mechanics, §3 · Mach, The Science of Mechanics (1883; English 1893), Ch. II.

Provenance. The definition and the closure argument follow Rindler Ch. 1 and Landau & Lifshitz §3; the operational criterion is Lange's (1885). Recall of the dynamical definition, the fictitious force −mA-m\mathbf A, the centrifugal and Coriolis terms, and the 0.3%0.3\%-of-gg failure of an Earth-fixed frame is by name to Newton's First Law and Inertial Frames (aq-mech-newtons-first-law-inertial-frames). A verifier should reproduce: a ′=R a\mathbf a\,' = R\,\mathbf a under the general Galilean map; a ′=a−A\mathbf a\,' = \mathbf a - \mathbf A with ∂a ′/∂A=−1\partial\mathbf a\,'/\partial\mathbf A = -1; ω2R=0.0339 m/s2=0.35%\omega^2 R = 0.0339\ \mathrm{m/s^2} = 0.35\% of gg and a 0.099∘0.099^\circ plumb tilt at 45∘45^\circ (ω=7.292×10−5 rad/s\omega = 7.292\times10^{-5}\ \mathrm{rad/s}, R=6.378×106 mR = 6.378\times10^{6}\ \mathrm{m}, g=9.81 m/s2g = 9.81\ \mathrm{m/s^2}); Earth's orbital 0.0059 m/s20.0059\ \mathrm{m/s^2} and the Sun's galactic 2×10−10 m/s22\times10^{-10}\ \mathrm{m/s^2}; and the free-fall lift (a′=0a' = 0, a 44.1 m44.1\ \mathrm{m} drop in 3.0 s3.0\ \mathrm{s}, a 35 μm35\ \mu\mathrm{m} tidal drift over H=2.5 mH = 2.5\ \mathrm{m}).

Builds on. Newton's Laws of Motion · Vectors and Coordinate Systems. Leads to. The Principle of Relativity · Galilean Relativity · Galilean Transformations · Absolute Space and Absolute Time · Einstein's Two Postulates.

Isn't the definition circular? Inertial frames are defined by free bodies, and free bodies by inertial frames

The circle is real if you demand a logical definition and it dissolves once you demand an operational one. You never certify "no forces act" in the abstract; you shield a test body as well as you can — insulate it, discharge it, float it — and then check whether it and its fellows all coast. If several independently shielded bodies, launched in different directions, all run straight to within your resolution, you have an inertial frame to that resolution, and you have confirmed that your shielding worked. That is Lange's 1885 prescription: a repeatable test with a stated tolerance, not a proof.

Why does the Earth's 29.8 km/s orbital speed not disqualify the laboratory, while its far slower spin does?

Because what disqualifies a frame is acceleration, never speed. No experiment inside a sealed lab can reveal a uniform velocity, however enormous — 29.8 km/s29.8\ \mathrm{km/s} is undetectable in principle. What the orbit does contribute is a centripetal acceleration, v2/r=0.0059 m/s2v^2/r = 0.0059\ \mathrm{m/s^2}, and that is detectable. The spin contributes ω2R=0.0339 m/s2\omega^2 R = 0.0339\ \mathrm{m/s^2}, six times more — which is why the planet's rotation dominates a lab's non-inertiality even though the orbital speed is a thousand times the equatorial one.

If no frame is exactly inertial, is special relativity built on something that does not exist?

It is built on an idealisation with a quantified error, which is how all of physics works. The postulates hold in a frame inertial to a precision better than the effect you are measuring, and both sides of that inequality are numbers you can compute: a muon-lifetime experiment on a bench does not care about 0.034 m/s20.034\ \mathrm{m/s^2}; an atom interferometer measuring gravity certainly does. Where you truly cannot find a good-enough frame — over long times, extended regions, or a strong gravitational field — the answer is not to fudge the arena but to change the theory, which is what general relativity is for.

The carousel puck curves and I feel thrown outward. Why insist there is no centrifugal force?

There is a centrifugal term in the rotating frame's ledger; what it lacks is a source. Every real force has a second body behind it and a third-law partner recoiling — the table pushes the book, the book pushes the table. Ask which body pushes you outward on a carousel and there is no answer; the only real horizontal force on you is the seat pushing you inward. From the ground you are simply trying to go straight while the platform curves away beneath you. The outward feeling is genuine, but what your body reports is your frame's acceleration, not an interaction.

Is the freely falling lift really inertial, or does gravity just look absent?

It is genuinely inertial, locally — and that adverb carries the whole content. Inside the lift, released objects coast, the first law holds, and no experiment confined to the cabin finds gravity; the cancellation is exact for every mass because both the weight mgmg and the fictitious force −mA-mA scale with mm. What gives the game away is the non-uniformity of the field: worked example 2 has two balls 2.5 m2.5\ \mathrm{m} apart drifting 35 μm35\ \mu\mathrm{m} in three seconds. Shrink the box or shorten the experiment and that residual shrinks with it — hence "inertial over a small enough region for a short enough time", the doorway to The Equivalence Principle.

What actually determines which frames are inertial?

Nobody knows, and pretending otherwise is what Mach spent a book attacking. Newton's answer was absolute space: the inertial frames are those unaccelerated with respect to it. Mach objected that absolute space is unobservable, and conjectured that inertia is a relation to the distant matter of the universe — a frame is inertial when it is unaccelerated and non-rotating with respect to the fixed stars. Remarkably, the non-rotating frames fixed by local gyroscopes do coincide with those fixed by distant quasars, to exquisite precision, and that coincidence still wants an explanation. Einstein coined "Mach's principle" in 1918 and hoped general relativity would supply one; it delivers frame-dragging, but not the whole idea.

Where this leads