How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Scope of normal coordinates and of the local-inertial-frame reading
Scope note on the physical reading of point-normal and exponential coordinate charts: what the construction does and does not assert about local inertial frames, freely falling observers and the equivalence principle in the classical smooth model. Excludes global frames, neighborhood flatness, curvature claims, and any empirical equivalence-principle statement.
Scope note
This remark separates the mathematics of Point-normal and exponential coordinate charts of the metric-selected connection and The geodesic initial-value problem and the exponential map of the metric-selected connection from the physical reading usually attached to them, and is bookkeeping: it establishes no mathematical result and no physical law.
-
What the construction gives. For every event there is a chart with , and . In the exponential chart from an orthonormal basis, each geodesic through is the straight radial coordinate line while its initial vector remains in the chosen star-shaped exponential domain (Point-normal and exponential coordinate charts of the metric-selected connection). The identities are first order at the single point .
-
What it does not give. The construction asserts nothing about the second and higher derivatives of the metric, and therefore nothing about the curvature of the model; a chart of this kind is not an isometry and does not make any neighborhood of identical with a region of Minkowski space. The remark makes no curvature claim here; the second-order behavior is the subject of the curvature material of this track, which is a later page of the same category.
-
No global inertial frame, no congruence. A chart with the normal-form identities at one event is not a global label of events by inertial coordinates, and the exponential charts at different points are not compatible frames. An "observer" in this library is a single future unit timelike vector at a point, and a "congruence" is a field of such vectors on an open set (Observers, rest spaces and the spatial projection at an event, Observer congruences, their observer curves and adapted charts); a freely falling observer is one timelike geodesic, not a global reference frame. Charts adapted to a congruence are a different construction from the normal coordinates of a geodesic through a point.
-
The physical reading is adopted, not derived. The statement that an ideal freely falling test body or observer, using normal coordinates around an event of its own worldline, finds the local form of the metric to be that of Minkowski space at first order — and the associated local inertial-frame reading of the equivalence principle — depends on the adopted clock and free-fall assumptions of Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework. It is a statement about the model in the test-body idealization, not a derivation from the geometry alone and not an empirical claim that real experiments cannot detect a gravitational field locally. The limitations recorded in the postulate — finite-size and tidal couplings of extended bodies, self-force, and nonlocal measurements — are precisely what the first-order identities cannot exclude.
Depends on
Point-normal and exponential coordinate charts of the metric-selected connection
The geodesic initial-value problem and the exponential map of the metric-selected connection
Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework
Observers, rest spaces and the spatial projection at an event
Observer congruences, their observer curves and adapted charts
Metric compatibility, torsion freedom and the metric-selected connection class
Dependency tree · 2 levels
Sources
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), section 3.4: normal coordinates are valid at the point p only and the connection components away from p need not vanish, printed pp. 38-40 (PDF pp. 39-41); section 6.1: the equivalence principle is a motivating principle, printed pp. 57-59 (PDF pp. 58-60)
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 2 'Riemann normal coordinates', printed pp. 50-51 (PDF pp. 57-58), and Ch. 4 'the principle of equivalence', printed pp. 97-99 (PDF pp. 104-106)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 3.3.2 'The Equivalence Principle' with the limitations of the local statement, printed pp. 121-122 (PDF pp. 128-129)