Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablejudge pass (gpt-6.1-sol)
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.

SI units and coordinate conventions of the special-relativity framework

Physical scope

SI coordinate and unit conventions for the flat classical special-relativity framework with ideal events, inertial charts and ideal clocks and light. The item declares units and dimensional bookkeeping only; it makes no claim that any quantity is fundamental in other frameworks and supplies no empirical measurement of c.

Definition

This framework fixes the following SI coordinate and unit conventions for the oriented time-oriented affine Minkowski space (A,V,η,C+) and its inertial charts (Oriented time-oriented affine Minkowski space (the spacetime primitives), Inertial frames and inertial charts of the affine Minkowski model).

  1. Adopted conversion constant. The framework uses a positive constant c with unit metre per second, m/s, interpreted as the speed of light in vacuum under the framework's light postulate. In SI its numerical value is exactly 299 792 458 by the definition of the metre (BIPM, SI defining constants, table row c). This exact unit convention does not prove that the ideal-light model describes nature; measurements and realizations of units still have uncertainty.

  2. Coordinates. In every inertial chart x=(x0,x1,x2,x3) define the coordinate-time map t:A→R by t(p)=x0(p)/c, with unit second s, and assign unit metre m to every xa. An at-rest line of this frame is s↦o+cse0+∑i=13riei, s∈R, for fixed spatial coordinates (r1,r2,r3) in metres; its coordinate time is s. Interpreting coordinate-time differences as readings of synchronized ideal clocks on these lines is a physical assumption stated in the clock postulate, not a consequence of assigning units.

  3. Metric components. The matrix ηab=η(ea,eb) in the frame is diag⁡(−1,1,1,1) with dimensionless entries. Thus I(p,q)=η(q−p,q−p)=−(Δx0)2+∑i=13(Δxi)2 carries unit m2.

  4. Proper time of a straight segment. For a timelike displacement q−p, the affine straight segment is s↦p+s(q−p), s∈[0,1]. Define its positive proper-time length as

    τ:=c−1−η(q−p,q−p).

    It has unit second, since c−1 converts the square-root interval in metres into seconds. This length is positive even if the segment is oriented toward the past; a physical advancing clock uses future orientation.

  5. Kinematic bookkeeping. Let J⊆R be an open interval with parameter τ in seconds, and let γ:J→A have C2 coordinates y=x∘γ:J→R4 (Ck maps and multi-index derivative notation in Euclidean space). With E(u)=∑auaea, require U(τ):=E(y′(τ))∈C+ and η(U,U)=−c2. This is the proper-time normalization used here for units; the general construction of a proper-time parameter is developed later. The four-velocity is U:J→V, with components Ua=(ya)′ and unit m/s. The four-acceleration is A=E(y′′):J→V, with unit m/s2. For a positive constant mass parameter m in kilograms, define four-momentum P=mU:J→V, with unit kg m/s, and energy measured by this frame E=cP0=−cη(e0,P):J→R, with unit joule J=kg m2/s2. The equality follows from η(e0,P)=−P0. These are definitions for dimensional bookkeeping; the physical particle interpretation and dynamics belong to later pages.

  6. Temporal-coordinate convention. Replacing x0 by t=x0/c pulls the interval expression back to −c2(Δt)2+∑i(Δxi)2. Thus gtt=−c2 has unit m2/s2, the spatial components remain dimensionless, and mixed time-space components have unit m/s (and equal zero in this inertial chart). Formulas must be transformed when changing this convention.

  7. Natural units. A presentation with c=1 identifies temporal and spatial units by this conversion factor; it requires an explicit restoration table for c. It does not assert that the SI numerical value of c is 1.

Status. These are conventions and dimensional bookkeeping for the model. The SI numerical value of c is exact by unit definition; the physical interpretation and applicability of the model remain adopted and empirically testable. SI unit status does not make a quantity primitive in the theory.

Depends on

Dependency tree · 2 levels

Sources