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.
A smooth time-dependent translation chart need not be an inertial frame
A refutation, on explicit data of the model, of the claim that every chart of the Newtonian arena obtained by a smooth time-dependent spatial translation is an inertial frame of the framework. It exhibits a smooth chart that is a bijection of the coordinate space but not a Galilean transformation, and shows that a parametrized curve of zero coordinate acceleration in the standard chart has nonzero coordinate acceleration in that chart. The item refutes the stated frame-class claim; it adopts no force law and makes no empirical claim.
Statement refuted
Fix the spacetime arena of The Newtonian spacetime arena of the framework together with an inertial frame of Inertial frames of the framework and the class of frame changes with coordinates . Every smooth chart of the arena of the form with of class and for every component, is an inertial frame of the model; that is, the map belongs to the Galilean transformation class of The Galilean transformations of the coordinate space for every such .
Facts & Assumptions
Given: The Galilean transformations and their parameters (The Galilean transformations of the coordinate space); the inertial frames of the arena, whose changes are exactly the Galilean transformations (Inertial frames of the framework and the class of frame changes, Transformation between adapted charts and its kinematic consequences clause 1); a nonzero vector with ; a velocity vector with ; a positive time scale with ; and the shear map .
Galilean transformations and their parameter map: a map is Galilean exactly when it equals for some , , ; their spatial terms have dimension under the frame-coordinate conventions (The Galilean transformations of the coordinate space, Dimensions, SI unit conventions and quantity types of the framework, The orthogonal group and the rotation group , Rectangular matrix multiplication and the identity matrix , including zero-sized shapes).
Coordinate velocities and accelerations of parametrized curves are the componentwise derivatives of the coordinate curves, and the second coordinate of the standard chart of the arena is identified with (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, Transformation between adapted charts and its kinematic consequences).
Counterexample
[The chart is a bijection] The map is a bijection of with inverse , since and is smooth as well; hence is a legitimate chart of the coordinate space in the smooth structure of the arena.
[The shear is not Galilean] Suppose . Comparing time coordinates gives for every , so . Then for all . At this gives for all ; taking gives , and for all gives by comparing the action on . The terms and both have dimension . Evaluating at yields ; at the same identity would then give , contradicting and . Thus no parameter quadruple represents , so by the set definition in [L1] it is not Galilean.
[A zero-acceleration curve becomes accelerating] Let be , where is a time coordinate. In the standard chart its coordinate curve is with ; in the chart it is , whose second derivative is . The terms and both have dimension , and their first and second derivatives have dimensions and . Hence zero coordinate acceleration is not preserved by this chart, although it is preserved by every Galilean change of frame by clause 3 of Transformation between adapted charts and its kinematic consequences.
Step 1.1 makes a smooth chart. Every change between the inertial frames in the Given paragraph belongs to the Galilean class, whereas step 1.2 proves that does not; hence this chart is not an inertial frame. Independently, step 1.3 shows that it fails preservation of zero coordinate acceleration, which clause 3 of Transformation between adapted charts and its kinematic consequences supplies as a necessary property of inertial-frame changes, without asserting sufficiency. Thus the refuted statement fails: not every smooth time-dependent spatial translation is an inertial frame of the model, and the inertial frames form a proper subclass of the smooth charts of the arena.
Remarks
- The shear chart is a legitimate coordinate description of the arena, and the coordinate acceleration computed in step 2.1 is a coordinate effect, not a force: no force law is adopted here, and no statement is made about the motion of any physical body. What fails is the claim that the chart is an inertial frame of the model.
- The example separates two notions that the framework keeps apart: an admissible coordinate chart is not automatically an inertial frame, and an inertial frame is defined by membership in the Galilean class of the model, not by smoothness of its transition map.
Depends on
The Galilean transformations of the coordinate space
The Newtonian spacetime arena of the framework
Inertial frames of the framework and the class of frame changes
Transformation between adapted charts and its kinematic consequences
The orthogonal group and the rotation group
Rectangular matrix multiplication and the identity matrix , including zero-sized shapes
The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
Dimensions, SI unit conventions and quantity types of the framework
Dependency tree · 2 levels
Sources
- D. Tong, Dynamics and Relativity (Cambridge lecture notes, Lent 2013), Section 1.2.1, printed pages 5-7 (PDF pages 11-13): the Galilean transformations between inertial frames and the preservation of zero coordinate acceleration
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 2.2.1, printed pages 14-15 (PDF pages 20-21): the rotating coordinate system example and the fictitious forces of a non-inertial frame