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.

Dimensions, SI unit conventions and quantity types of the framework

Physical scope

Conventions fixing how the quantities of the framework are read with dimensions and SI reference units: the dimension group on length, duration, mass and charge with its temperature extension, the metre, second, kilogram, coulomb and kelvin, the exact defining constants of the current SI and the dimensions and mathematical types of the framework's quantities. The item fixes conventions only: it asserts no measured constant value, adopts no law and makes no claim about any system.

Definition

(a) Dimensions. Write ℓ, τ, μ, ϑ for the four independent dimension symbols of length, duration, mass and electric charge. A dimension is an element of Q4, written ℓaτbμcϑd with a,b,c,d∈Q; products and inverses of dimensions are componentwise addition and negation, and the dimensionless dimension ℓ0τ0μ0ϑ0 is abbreviated 1. The conventions assign to each quantity of the framework a dimension [X], subject to [XY]=[X][Y], [X/Y]=[X][Y]−1 and [dX/du]=[X][u]−1, with sums meaningful only between quantities of equal dimension, in which case the sum carries that dimension. For a rational power q, dimension powers mean [X]q=ℓqaτqbμqcϑqd when [X]=ℓaτbμcϑd. Rational exponents include the half-integer wave-function dimensions in clause (d); the integer-exponent dimensions form the subgroup Z4. These are consistency requirements on the conventions, not laws of nature.

For extensions using temperature, adjoin an independent dimension symbol Θ: the enlarged group is Q4×Q, written ℓaτbμcϑdΘe, with the same componentwise rules. The preceding group embeds by e=0, so all previously assigned dimensions are preserved. Temperature has dimension Θ, the Boltzmann constant has dimension μℓ2τ−2Θ−1, and entropy in joules per kelvin has that same dimension; a dimensionless entropy remains dimensionless. This convention does not assign a temperature or an entropy to any system.

(b) Reference units. The metre (m), second (s), kilogram (kg) and coulomb (C) are the reference units of length, duration, mass and charge; a quantity of dimension ℓaτbμcϑd is expressed in the unit masbkgcCd. Coordinates of an inertial frame are read with the time coordinate t in seconds, [t]=τ, and the spatial coordinates xi in metres, [xi]=ℓ; slice distances of the arena are read in metres. In the temperature extension the reference unit of Θ is the kelvin (K), so the general reference unit gains a factor Ke.

(c) Defining constants of the current SI. The framework keeps ℏ explicit. In the current SI the constants h, c and e are exact defining constants, with the values h=6,626 070 15×10−34 J s, c=2,99792458×108 m s−1 and e=1,602 176 634×10−19 C, and ℏ:=h/(2π). These are real scalar constants with dimensions and units [h]=[ℏ]=μℓ2τ−1 (J s), [c]=ℓτ−1 (m s−1), and [e]=ϑ (C). The vacuum permeability μ0 is a positive real scalar that is experimentally determined in the current SI, with [μ0]=μℓϑ−2 (N A−2 = H m−1); ε0:=(μ0c2)−1 is a positive real scalar with [ε0]=μ−1ℓ−3τ2ϑ2 (F m−1). These are unit-convention statements of the SI, not measurements reported by this framework; c enters the framework only through the separate radiation assumptions adopted on their own pages, not in the nonrelativistic spacetime of The Newtonian spacetime arena of the framework.

(d) Dimensions and types of the framework's quantities. The dimension map is fixed on the following quantities.

  1. State quantities: a position wave function of a system with d spatial dimensions and r internal components is an almost-everywhere equivalence class in L2(Rd;Cr) with dimension ℓ−d/2, its norm ∥ψ∥ is dimensionless, and an abstract normalized state and the density operators of the state postulate are dimensionless.
  2. Probability: the outcome probability μ(B) of the observable postulate is a dimensionless number; a position density ∣ψ∣2 has dimension ℓ−d; a momentum wave function normalized against ddp has dimension (μℓτ−1)−d/2; an amplitude for a finite outcome is a dimensionless complex number, while an amplitude read against a detector coordinate carries the square-root of the inverse of the detector measure.
  3. Frame parameters (The Galilean transformations of the coordinate space): [b]=τ, [ai]=ℓ, [vi]=ℓτ−1 and [Rij]=1.
  4. Mechanical quantities: action [ℏ]=μℓ2τ−1; energy and the Hamiltonian eigenvalues μℓ2τ−2; momentum μℓτ−1; position components ℓ; angular momentum and spin μℓ2τ−1; mass μ; velocity of a free spinless model ℓτ−1; force μℓτ−2; a real potential energy μℓ2τ−2.
  5. Probability current: in the ordinary continuous-field regime, fix an integer d≥1, an open spatial region Ω⊆Rd and an open time interval I⊆R. A probability current density is a declared continuous map j:Ω×I→Rd, whose spatial components have dimension ℓ1−dτ−1 and reference unit m1−ds−1. At fixed time it is a spatial vector field; its signed normal component is read as probability transported per unit spatial (d−1)-area and time. Explicitly, for a flat face S={x:xk=a, ai≤xi≤bi (i≠k)}⊂Ω, with ai<bi and chosen normal n=ϵek, ϵ∈{−1,1}, define its signed probability flux at t∈I as ΦS(t):=ϵ∫∏i≠k[ai,bi]jk(x1,…,xk−1,a,xk+1,…,xd,t)∏i≠kdxi. Here ek is the kth coordinate unit vector and the integral uses (d−1)-dimensional Lebesgue measure; for d=1 this means Φ{a}(t)=ϵj(a,t). The flux has dimension τ−1 and unit s−1; positive sign means transport in the chosen normal direction. Fluxes through curved surfaces, or currents with weaker regularity, require separately specified surface measures or traces. This fixes the quantity type and flux convention; it supplies neither a current associated to an arbitrary L2 state nor a conservation or detector law. Each dynamical model supplies its current construction and balance hypotheses.
  6. Electric quantities of the model parameters: charge has dimension ϑ; a magnetic moment has dimension ℓ2ϑτ−1, equivalently A m2=J T−1, and a gyromagnetic parameter γ in the relation μ=γS has dimension μ−1ϑ, equivalently s−1T−1; these quantities appear only in the model assumptions that introduce them.
  7. Statistical quantities: a mean has the dimension of its outcome coordinate, a variance the square of it and a standard deviation it; a mean, variance or higher moment exists only when the corresponding moment of the outcome probability is finite, so a symbolic average is not a number unless that integrability is established. Angles and phases are dimensionless under the radian convention.
  8. Quantities of later extension assumptions - radiation frequencies and energies, electric dipole moments, cross sections, temperatures and entropies - are declared with their dimensions and units by the items that introduce those assumptions, under the rules fixed here; they are not part of the present list.

(e) Conventions only. No numerical value of any model parameter is fixed by this item: no mass, charge, spin label, potential or measured constant is asserted, and natural-unit shorthand (for example setting ℏ=1 or c=1) is read as an abbreviation for the corresponding SI-dimensioned statement with the constant restored.

Remarks

  • The dimension rules fix bookkeeping only. They neither predict a value nor restrict which models are admissible; each later item that introduces an operation outside the product, quotient and derivative rules declares the dimensions of its outputs.
  • The framework's exact constants of (c) are conventions of the current SI: they assert nothing about the validity of the model, and the measured constants of the model (masses, charges, magnetic parameters) are qualified empirical inputs wherever they enter.

Depends on

Dependency tree · 2 levels

Sources