Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

Galilean inertial charts and the center-of-mass rest frame

Physical scope

The Newtonian frame convention and internal-energy split used in this thermodynamic framework, restricted to mechanical models that supply positive mass, center-of-mass data, and Galilean-compatible transformations; no relativistic energy law or dynamical theorem is asserted.

Definition

For this nonrelativistic framework, a Newtonian event-coordinate domain is the Cartesian product I×R3 (The Cartesian product A×B:={ z∈P(P(A∪B)):∃a∈A ∃b∈B z=(a,b) }), where I⊆R is an open time interval as in Intervals of R: the nine order-convex forms, nondegeneracy, and length, measured in seconds, and R3 has the Euclidean inner product and norm of The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn (the norm properties follow from Cauchy-Schwarz ∣⟨x,y⟩∣≤∥x∥2∥y∥2 with its equality case, the triangle inequality for ∥⋅∥2, the parallelogram law and polarisation); lengths are measured in metres as in SI quantities and unit conventions. A Galilean inertial chart labels events in such a domain by coordinates (t,x). If a second chart uses the translated time domain I′=I+τ, the allowed coordinate changes are t′=t+τ,x′=Rx+a−bt, where τ is a constant time shift measured in seconds, a∈R3 is a constant spatial translation measured in metres, b∈R3 is a constant boost velocity measured in metres per second, and R∈M3×3(R) is a dimensionless constant matrix (The vector space Mm×n(F):=F m×n of m by n matrices over a field, with entrywise operations) satisfying RTR=I3 using matrix transpose and product (The transpose AT of a matrix, Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes), with I3 the identity matrix. In the coordinate formula, (Rx)i:=∑k<3Rikxk for i<3. Thus time is absolute in this model and no Lorentzian structure is used. Here “frame” means this coordinate chart, not an observer congruence or a basis/tetrad field.

For a finite point-mass representation with N∈N (The natural numbers N (von Neumann)), N≥1, masses mi>0 in kg at positions xi∈R3 in metres for i<N, assume M:=∑i<Nmi>0 (Finite sums and finite products, by recursion) and define the center-of-mass coordinates by Xcm,j:=M−1∑i<Nmixi,j for j<3; these three real coordinates form Xcm. The masses are invariant under the allowed chart changes. Other mechanical models must supply their total mass and center-of-mass map; this thermodynamic item does not construct those quantities for a continuum or field model. Every admitted mechanical model must also supply center-of-mass maps and velocities that transform under the displayed Galilean chart changes by Xcm′(t′)=RXcm(t)+a−bt and vcm′(t′)=Rvcm(t)−b, where t′=t+τ; these are kinematic compatibility conditions, not dynamical theorems about arbitrary mechanical models. When a model supplies three coordinate functions Xcm,j:I→R for j<3 as in The vector space FX of all functions X→F with pointwise operations, and Fn as the case X=n={0,1,…,n−1}, assemble its center-of-mass position as Xcm(t):=(Xcm,0(t),Xcm,1(t),Xcm,2(t))∈R3. At a time t∈I where each component limit exists, define the velocity by vcm,j(t)=lim⁡h→0(Xcm,j(t+h)−Xcm,j(t))/h through Ht:={h∈R:t+h∈I, h≠0}, for each j<3, using the scalar limit of The ε-δ limit lim⁡x→cf(x)=L of f:A→R at a limit point c of A; these three components form vcm(t). A statewise instantaneous center-of-mass rest chart at a specified time t is the Galilean chart obtained by the pure boost b=vcm(t) with R=I3, a=0, and τ=0. Its center-of-mass velocity vanishes at that event, but need not vanish at other times because the boost is constant. For an interval J⊆I on which vcm exists at every time, a single Galilean chart has zero center-of-mass velocity throughout J if and only if vcm is constant on J: in such a chart Rvcm(t)=b for every t∈J, so vcm(t)=RTb is constant, and conversely a constant velocity v0 is made zero by the pure boost b=v0. For a fixed closed body with total mass M>0 in kg, its separately tracked translational kinetic energy in a selected inertial chart is Kcm=12M∥vcm∥22 in joules; under a pure boost it is Kcm′=12M∥vcm−b∥22.

In this framework U denotes the scalar internal-energy coordinate evaluated at a state in its statewise instantaneous center-of-mass rest chart. Thus an equilibrium preparation's internal energy is evaluated using the boost selected by its center-of-mass velocity at that preparation; a process using one chart with the center of mass at rest throughout its interval must separately satisfy the constant-velocity condition above. Bulk translational kinetic energy and any separately tracked external-field potential energy are excluded from U. For a given state, the model treats U as invariant between its center-of-mass rest charts that differ only by spatial translation or orthogonal orientation, and fixes its numerical zero, including any retained or subtracted constituent rest-energy offsets, consistently across the composition changes it admits. This is a nonrelativistic modeling convention, not a derived energy-transformation law.

Depends on

Dependency tree · 2 levels

Sources