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.
The frame-time parameter condition of a worldline: failure under rescaling and behaviour under time shifts
A worked kinematic example of the framework's worldline definition: an explicitly parametrized curve that fails the frame-time parameter condition, the reparametrization behaviour of a worldline under a time shift between inertial frames, and the obstruction to nontrivial affine reparametrizations within one frame. The item verifies the definition's parameter condition and asserts no dynamics and no empirical claim.
Example
Work in the standard model data of Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure: with coordinates , , , the standard inner product and orientation, ; the first inertial frame is standard with , and the standard basis. Specify a one-particle model with label and any fixed mass in kilograms, and assign to that label in this frame the curve
with -coordinates . Consider also the curve , the affine reparametrizations for with , and a second inertial frame whose time coordinate differs by .
Facts & Assumptions
Given: The standard data and frames above, the curves , and , and the class of worldlines with the parameter condition of Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses.
Adapted charts and coordinates: the standard chart is adapted, and the adapted coordinates of the event satisfy (Affine time space with Euclidean simultaneous slices and adapted charts).
Worldlines: each particle label with fixed positive mass is assigned a curve of class on a nondegenerate open interval whose parameter is the frame time, for all in its interval; descriptions of the same label in a frame with are (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses). Inertial frames are the adapted charts (Inertial frames, stationary observers and the adopted Galilean transformations between frames). Regularity and the parameter condition alone do not assign a curve to a particle label.
Transformation between inertial frames: two adapted charts are related by with , and a curve with satisfies (Transformation between adapted charts and its kinematic consequences, clause 1).
Verification
Proof technique: direct; evaluate the parameter condition on each explicit curve and solve the resulting affine equation.
The standard chart is adapted and its coordinates are the standard ones: , has , the standard basis is orthonormal and positively oriented, and for the expansion exhibits the adapted coordinates as , by [L1]. The assigned curve is on , has -coordinates and satisfies . Thus its assignment to label with the specified fixed positive mass satisfies [L2]; worldline status uses that assignment, not the parameter condition alone.
The curve has , which differs from for every , for instance at the value is ; therefore fails the parameter condition and is not a worldline of the model, although it is of class and its image is the same time axis as that of ; it is the reparametrization . The parameter condition is thus a genuine restriction, and the image of a curve does not determine whether it is a worldline.
Under a change of frame the parameter condition is consistent with the reparametrization: by [L3] the same worldline satisfies , so the curve , defined on the shifted interval, satisfies and is the description of the motion in in the sense of [L2]; the time shift is absorbed into the reparametrization. For the explicit worldline of step 1.1 this reads .
For the affine reparametrizations in one fixed frame, by [L1] and step 1.1, and the equation holds for all real exactly when and . Hence no nontrivial affine reparametrization preserves the parameter condition in a fixed frame: the parameter of a worldline is fixed to be the frame time, and a reparametrized curve with becomes a worldline only after the inverse reparametrization. The example confirms that both the parameter and the frame enter the definition of a worldline, as recorded in [L2].
Remarks
-
The failure of is not a failure of regularity or of the curve's image: it is the model's requirement that the parameter be the elapsed time from the frame's origin. A model that describes the same geometric trajectory twice as fast is not a model with a different worldline of the framework; it is the same worldline with a different, nonadmitted parametrization, unless a frame change accounts for the difference.
-
The class of worldlines is not empty in any of the frames used here: the curves of step 2.2 are worldlines in whenever is a worldline in , and the observers at rest of Inertial frames, stationary observers and the adopted Galilean transformations between frames satisfy the same frame-time condition as observer worldlines. They become particle-worldline examples only if a particle label is separately assigned that curve under Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses.
Depends on
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Inertial frames, stationary observers and the adopted Galilean transformations between frames
Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure
Affine time space with Euclidean simultaneous slices and adapted charts
Transformation between adapted charts and its kinematic consequences
Dependency tree · 2 levels
Sources
- D. Tong, Dynamics and Relativity (Cambridge lecture notes, Lent 2013), Sections 1.1-1.2, printed pages 2-4 (PDF pages 8-10): the trajectory x(t) of a particle with respect to a reference frame, its velocity and acceleration as derivatives with respect to the frame time
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.2, printed pages 2-5 (PDF pages 8-11): the inertial frame defined by r = r_0 + v t, so that the description of a motion is tied to the frame's time coordinate