Alphabeta Math
CounterexampleConstruction: 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.

A smooth time-dependent translation chart need not be an inertial frame

Physical scope

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 F of Inertial frames of the framework and the class of frame changes with coordinates (t,x). Every smooth chart of the arena of the form Gw:R×R3→R×R3,Gw(t,x)=(t, x+w(t)), with w:R→R3 of class C∞ and [wi]=ℓ for every component, is an inertial frame of the model; that is, the map Gw belongs to the Galilean transformation class G of The Galilean transformations of the coordinate space for every such w.

Facts & Assumptions

Given: The Galilean transformations g(b,a,v,R)(t,x)=(t+b,Rx+vt+a) 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 c∈R3 with [ci]=ℓτ−2; a velocity vector u∈R3 with [ui]=ℓτ−1; a positive time scale T0 with [T0]=τ; and the shear map G(t,x):=(t, x+t2c).

[L1]

Galilean transformations and their parameter map: a map R×R3→R×R3 is Galilean exactly when it equals g(b,a,v,R) for some b∈R, a,v∈R3, R∈SO(3); 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 O(3) and the rotation group SO(3), Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes).

[L3]

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 x (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

technique · direct; compare the shear chart with the Galilean class on explicit data and compute one coordinate acceleration
1.1givenL1L3algebra

[The chart is a bijection] The map G(t,x)=(t,x+t2c) is a bijection of R×R3 with inverse (t,y)↦(t,y−t2c), since G(t,y−t2c)=(t,y) and G=(G−1)−1 is smooth as well; hence G is a legitimate chart of the coordinate space in the smooth structure of the arena.

1.2givenL1algebra

[The shear is not Galilean] Suppose G=g(b,a,v,R). Comparing time coordinates gives t=t+b for every t, so b=0. Then x+t2c=Rx+vt+a for all (t,x)∈R×R3. At t=0 this gives x=Rx+a for all x; taking x=0 gives a=0, and (R−I3)x=0 for all x gives R=I3 by comparing the action on e1,e2,e3. The terms t2c and vt both have dimension ℓ. Evaluating at t=T0 yields v=T0c; at t=2T0 the same identity would then give 4T02c=2T0v=2T02c, contradicting T0>0 and c≠0. Thus no parameter quadruple represents G, so by the set definition in [L1] it is not Galilean.

1.3givenL3algebra

[A zero-acceleration curve becomes accelerating] Let γ:R→R×R3 be γ(s):=(s,us), where s is a time coordinate. In the standard chart its coordinate curve is x(s)=us with x′′=0; in the chart G it is x′(s)=us+s2c, whose second derivative is 2c≠0. The terms us and s2c both have dimension ℓ, and their first and second derivatives have dimensions ℓτ−1 and ℓτ−2. 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.

2.1givenL3step 1.1step 1.2step 1.3∎

Step 1.1 makes G a smooth chart. Every change between the inertial frames in the Given paragraph belongs to the Galilean class, whereas step 1.2 proves that G 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

Dependency tree · 2 levels

Sources