Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck pass
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

Physical scope

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: V=R4 with coordinates (x0,x1,x2,x3), τ(x0,x1,x2,x3)=x0, K={0}×R3, the standard inner product and orientation, A=R4; the first inertial frame is standard with o=0, u=(1,0,0,0) and the standard basis. Specify a one-particle model with label i=1 and any fixed mass m1>0 in kilograms, and assign to that label in this frame the curve

γ:R⟶A,γ(t)=tu,

with F-coordinates (t,0,0,0). Consider also the curve κ(s):=2su, the affine reparametrizations κλ,μ(s):=γ(λs+μ) for λ,μ∈R with λ≠0, and a second inertial frame F′ whose time coordinate differs by t′=t+b.

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.

[L1]

Adapted charts and coordinates: the standard chart (o,u,(e1,e2,e3)) is adapted, and the adapted coordinates (t,x) of the event p=o+tu+∑jxjej satisfy t(p)=τ(p−o) (Affine time space with Euclidean simultaneous slices and adapted charts).

[L2]

Worldlines: each particle label with fixed positive mass is assigned a curve of class C2 on a nondegenerate open interval whose parameter is the frame time, τ(γ(s)−o)=s for all s in its interval; descriptions of the same label in a frame with t′=t+b are γb(t′)=γ(t′−b) (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.

[L3]

Transformation between inertial frames: two adapted charts are related by t′=t+b with b∈R, and a curve with t(γ(s))=s satisfies t′(γ(s))=s+b (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.

1.1givenL1L2algebra

The standard chart is adapted and its coordinates are the standard ones: o=0, u=(1,0,0,0) has τ(u)=1, the standard basis is orthonormal and positively oriented, and for p=(x0,x1,x2,x3) the expansion p=o+x0u+∑jxjej exhibits the adapted coordinates as t=x0, x=(x1,x2,x3) by [L1]. The assigned curve γ(t)=tu is C∞ on R, has F-coordinates (t,0,0,0) and satisfies τ(γ(s)−o)=s. Thus its assignment to label 1 with the specified fixed positive mass satisfies [L2]; worldline status uses that assignment, not the parameter condition alone.

2.1step 1.1L2algebra

The curve κ(s)=2su has τ(κ(s)−o)=2s, which differs from s for every s≠0, for instance at s=1 the value is 2; therefore κ fails the parameter condition and is not a worldline of the model, although it is of class C∞ and its image is the same time axis as that of γ; it is the reparametrization κ(s)=γ(2s). The parameter condition is thus a genuine restriction, and the image of a curve does not determine whether it is a worldline.

2.2step 1.1L3L2algebra

Under a change of frame the parameter condition is consistent with the reparametrization: by [L3] the same worldline γ satisfies t′(γ(s))=s+b, so the curve γb(t′):=γ(t′−b), defined on the shifted interval, satisfies t′(γb(t′))=t′ and is the description of the motion in F′ in the sense of [L2]; the time shift b is absorbed into the reparametrization. For the explicit worldline of step 1.1 this reads γb(t′)=(t′−b)u.

3.1step 2.1step 2.2L1L2algebra∎

For the affine reparametrizations in one fixed frame, τ(κλ,μ(s)−o)=t(γ(λs+μ))=λs+μ by [L1] and step 1.1, and the equation λs+μ=s holds for all real s exactly when λ=1 and μ=0. 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 λ≠1 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 γb of step 2.2 are worldlines in F′ whenever γ is a worldline in F, and the observers at rest of Inertial frames, stationary observers and the adopted Galilean transformations between frames satisfy the same C2 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

Dependency tree · 2 levels

Sources