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.
Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure
Adoption of the Newtonian spacetime model of the framework: a four-dimensional affine event space with a surjective absolute-time covector, a three-dimensional Euclidean spatial displacement space with its metric and orientation, absolute simultaneity and the affine smooth structure. Excludes relativistic kinematics, Lorentzian structure, light cones, quantum and general-relativistic regimes, and any claim that a real system is exactly such an affine space. Adoption is a model assumption, not a derived or empirical result.
Postulate
Adopt as physical assumptions of the non-relativistic classical mechanics framework the following statements about spacetime.
(i) Spacetime data. Spacetime is the mathematical structure of Affine time space with Euclidean simultaneous slices and adapted charts: a four-dimensional real vector space ; a surjective linear map , the absolute-time covector; the kernel , a three-dimensional real vector space, the spatial displacement space; a spatial metric , a symmetric positive-definite bilinear form ; a fixed orientation of , that is, a chosen one of the two classes of ordered bases of under the equivalence generated by positive-determinant changes of basis; and an affine space modelled on (a nonempty set with a free and transitive -action, with displacements as in Affine time space with Euclidean simultaneous slices and adapted charts). The elements of are the events of the model. The structure is the arena of the model; no equation of motion, force law or matter content is asserted by this clause.
(ii) Interpretation of the data. For a displacement , the number is the elapsed time carried by , read in seconds; for a displacement inside a simultaneous slice, the number is the squared spatial length of , read in square metres; the square root is the length of . The dimensions and units are those fixed by Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, so that and . The orientation of is the convention relative to which spatial bases are called positively oriented and against which orientation-preserving rotations are defined.
(iii) Absolute time, simultaneity and distance. Two events are simultaneous when their displacement lies in , that is, when . Simultaneity is an equivalence relation on : it is reflexive because , symmetric because and transitive because is additive. Its classes are the simultaneous slices of any adapted chart; the class does not depend on the choice of adapted chart, and the elapsed time between two events is the chart-independent number . Two events of a common slice carry the slice distance , which is defined because ; distances are not defined across distinct slices by this structure.
(iv) Smooth structure. is read with the affine smooth structure determined by its affine coordinates: an adapted chart of Affine time space with Euclidean simultaneous slices and adapted charts is a bijection whose inverse is the map , and curves are declared when their coordinate functions in one (equivalently, every) adapted chart are . The equivalence of the two readings is supplied by the affine transition law between adapted charts proved in Transformation between adapted charts and its kinematic consequences; this postulate adopts the resulting smooth structure as the one in which regularity of worldlines and of force maps is stated.
(v) What the structure excludes. The data contain no inner product on , no Lorentzian metric, no light cone, no universal speed bound, no null cones and no causal classification of displacements other than the split into -values; they contain no distinguished origin, no distinguished vector with and no distinguished basis of . Consequently the structure by itself distinguishes no inertial frame: the class of frames and the transformations between them are fixed separately, by the frame postulate Inertial frames, stationary observers and the adopted Galilean transformations between frames. No statement about the speed of any signal, about electromagnetic propagation or about gravitation is made here.
(vi) Status. These clauses are adopted assumptions of the model, not theorems and not empirical findings. They are not derived from the uniqueness theory of differential equations, from any symmetry principle or from experiment; the Newtonian tradition and Galilean relativity motivate them. The model makes no claim that the physical world is exactly a four-dimensional affine space with these data, and no numerical measurement is recorded.
Status and scope
-
Adopted, not deduced. Clauses (i)-(iv) fix the arena and the reading of its data; clause (v) records what is deliberately absent. Nothing here selects a force law, an equation of motion, a matter model or a solution of any equation; those enter through the postulates and definitions of the pages that follow.
-
Domain of intended use. The model is intended for the non-relativistic regime, in which speeds are small compared with the speed of light and a classical particle or continuum description, as appropriate to the application, and a classical description of the apparatus are adequate. The framework sets no numerical cutoff for that regime; an application must state the regime in which the model, its force law and its apparatus description are adequate. Relativistic, quantum and quantum-gravitational regimes are outside the scope of this model.
-
Empirical content is downstream. Empirical significance lies in the comparison of predictions computed from a fully specified model with reported observations; those comparisons carry apparatus, calibration, sampling and uncertainty qualifications and are recorded where the framework treats them. This postulate itself makes no quantitative empirical claim, and agreement of a model with data would be evidence about the model, not a proof of this postulate.
-
Absolute time, not absolute space. Absolute simultaneity and Euclidean slice geometry are part of the adopted model. The model does not contain a distinguished rest frame: two inertial frames are related by the transformations of Inertial frames, stationary observers and the adopted Galilean transformations between frames, and the structure alone cannot select one of them. This is a property of the adopted data, not a conclusion of relativistic kinematics, and no Lorentzian or light-cone structure is imported.
Depends on
Dependency tree · 2 levels
Sources
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 1.1 'Kinematics: Basic notions', chapter page 2 (PDF page 6): absolute (Newtonian) space and time with the Euclidean metric of Eq. (1.2), and time assumed to run similarly in all reference frames
- D. Tong, Dynamics and Relativity (Cambridge lecture notes, Lent 2013), Section 1.2, printed page 4 (PDF page 10): inertial frames and Newton's first law, with the absolute-time convention of Galilean relativity in Section 1.2.1, printed page 5 (PDF page 11)
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.2, printed pages 2-5 (PDF pages 8-11): a particle's motion governed by F = dp/dt in an inertial frame, with the Galilean transformations of that frame class