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.
Primitive and derived notions of the spacetime-primitives page
Bookkeeping remark for the spacetime-primitives page of the flat classical special-relativity framework: it classifies the page's notions as adopted or derived and asserts no physical law and no empirical claim.
Status audit
This remark records the primitive and derived status of the notions introduced on the spacetime-primitives page, as required before the page's derived claims. It is bookkeeping: it asserts no physical law and no empirical claim.
Primitive mathematical structure of the model. The quadruple of Oriented time-oriented affine Minkowski space (the spacetime primitives): the affine space with its action of and the displacement , the Lorentz form of signature , the orientation of fixed as a positive ray of , and the time-orientation component of the timelike set.
Primitive physical interpretation and parameters adopted on this page. The physical event interpretation together with the covariance assumption (Adopted inertial covariance of the model equations); the ideal-clock and ideal-vacuum-light interpretation (Adopted ideal-clock and ideal-vacuum-light interpretation); and the conversion constant , whose SI numerical value is exact by unit definition and whose physical interpretation as the vacuum ray speed is adopted, as recorded in SI units and coordinate conventions of the special-relativity framework. These are adopted assumptions of the framework, not deductions.
Derived (constructed, not adopted) on this page. Displacements and intervals; the causal classification of displacements; inertial frames and their inertial charts (Inertial frames and inertial charts of the affine Minkowski model); the smooth structure of making it a smooth -manifold and the canonical identification ; the oriented volume form and its components (The oriented volume form epsilon and the permutation symbols of an inertial frame); and the spatial Euclidean structure and vector product of a named inertial frame (The Euclidean spatial structure and cross product of an inertial frame). These are mathematical constructions from the primitive structure, with the stated frame-dependence where it occurs.
Reserved for later development. The general proper-time parametrization theory, physical particle momentum and energy, charge, and force or matter laws. The units item gives explicit kinematic definitions only for bookkeeping; it supplies no dynamics or empirical particle identification. Later pages introduce their own adopted premises and must repeat this status audit for them; a definition on a later page is not made primitive by this page's conventions.
Mathematical versus empirical status. The mathematical statements of this page concern only the stipulated geometry. They do not assert that the model describes nature; the physical interpretation enters through the two adopted postulates, whose empirical support would be evidence about the specified model rather than a proof.
Depends on
Oriented time-oriented affine Minkowski space (the spacetime primitives)
Inertial frames and inertial charts of the affine Minkowski model
The oriented volume form epsilon and the permutation symbols of an inertial frame
The Euclidean spatial structure and cross product of an inertial frame
SI units and coordinate conventions of the special-relativity framework
Adopted inertial covariance of the model equations
Adopted ideal-clock and ideal-vacuum-light interpretation
Dependency tree · 2 levels
Sources
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 1 pp. 2-7 (PDF pp. 9-14)
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), sections 2.1-2.2 pp. 25-28 (PDF pp. 26-29); Internet Archive copy of the original https://www.damtp.cam.ac.uk/user/hsr1000/part3_gr_lectures.pdf