Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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.

Framework-local SI units, the vacuum constants and the exact/measured status of their values

Physical scope

SI unit and constant conventions for the classical electromagnetic framework, with the exact defining values of c and e, the measured status of mu_0, and the framework's definition of eps_0 = (mu_0 c^2)^-1. The item fixes units and dimensional bookkeeping only; it asserts no measurement, no charge quantisation and no cross-framework identification of quantities.

Definition

Adopt the SI system of units for this framework, with the following quantity table and conventions; every symbol is a quantity of this framework and the laboratory structure is that of Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields.

(a) [Coordinates and constants] x0=ct and each spatial coordinate xi carries the metre (m); the time coordinate t carries the second (s); the conversion constant c>0 carries m s−1 and has the exact SI defining value c=299 792 458 m s−1; the elementary charge e has the exact SI defining value e=1.602 176 634×10−19 C, and this item does not assert that physical charge is quantised; the magnetic constant μ0>0 carries N A−2 and is measured, so no exact numerical value of μ0 is asserted. The pre-2019 SI fixed the historical nominal μ0,nom:=4π×10−7 H m−1=4π×10−7 N A−2 exactly; since the revised SI took effect on 20 May 2019, μ0 is experimentally determined. The SI brochure quotes the nominal μ0,nom as the estimate at the 2019 adoption with relative standard uncertainty 2.3×10−10; this is historical estimate and uncertainty context, not an exact equality for the actual μ0 or a current measured value. The electric constant is defined within the framework by

ε0:=(μ0c2)−1

in F m−1, consistent with the exact SI relation ε0μ0=1/c2, so that c2ε0μ0=1 and ε0 inherits the relative standard uncertainty of μ0.

(b) [Electromagnetic quantities] Charge q carries the coulomb (C); the charge density ρ of the framework's source definition carries C m−3 and the current density J carries A m−2, so that the four-current components (cρ,J) carry A m−2; the electric field E carries V m−1; the magnetic field B carries the tesla (T), where 1 T=1 N A−1 m−1; the scalar potential φ carries V and the vector potential A carries T m, so that the four-potential components (φ/c,A) carry T m; the components of the electromagnetic two-form of the framework's tensor definition carry T; a force carries the newton (N), 1 N=1 kg m s−2.

(c) [Mechanical quantities] A rest mass parameter m carries the kilogram (kg) and a four-momentum P=mU of the relativistic particle model carries kg m s−1; field energy density carries J m−3, energy flux W m−2, so that 1 W=1 J s−1=1 V A.

(d) [Bookkeeping only] The unit of a quantity records the adopted system of units; it does not show that a quantity is primitive in this or any other framework, it contains no measurement, and it does not identify a quantity with a similarly named quantity of another framework. The exact defining values of c and e fix numerical conventions of the SI; they do not by themselves identify c with the vacuum propagation constant of ideal light, which is the physical adoption of the framework's Minkowski postulate.

Depends on

Dependency tree · 2 levels

Sources