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
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 , written with ; products and inverses of dimensions are componentwise addition and negation, and the dimensionless dimension is abbreviated . The conventions assign to each quantity of the framework a dimension , subject to , and , with sums meaningful only between quantities of equal dimension, in which case the sum carries that dimension. For a rational power , dimension powers mean when . Rational exponents include the half-integer wave-function dimensions in clause (d); the integer-exponent dimensions form the subgroup . These are consistency requirements on the conventions, not laws of nature.
For extensions using temperature, adjoin an independent dimension symbol : the enlarged group is , written , with the same componentwise rules. The preceding group embeds by , so all previously assigned dimensions are preserved. Temperature has dimension , the Boltzmann constant has dimension , 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 is expressed in the unit . Coordinates of an inertial frame are read with the time coordinate in seconds, , and the spatial coordinates in metres, ; 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 .
(c) Defining constants of the current SI. The framework keeps explicit. In the current SI the constants , and are exact defining constants, with the values J s, m s and C, and . These are real scalar constants with dimensions and units (J s), (m s), and (C). The vacuum permeability is a positive real scalar that is experimentally determined in the current SI, with (N A = H m); is a positive real scalar with (F m). These are unit-convention statements of the SI, not measurements reported by this framework; 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.
- State quantities: a position wave function of a system with spatial dimensions and internal components is an almost-everywhere equivalence class in with dimension , its norm is dimensionless, and an abstract normalized state and the density operators of the state postulate are dimensionless.
- Probability: the outcome probability of the observable postulate is a dimensionless number; a position density has dimension ; a momentum wave function normalized against has dimension ; 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.
- Frame parameters (The Galilean transformations of the coordinate space): , , and .
- Mechanical quantities: action ; energy and the Hamiltonian eigenvalues ; momentum ; position components ; angular momentum and spin ; mass ; velocity of a free spinless model ; force ; a real potential energy .
- Probability current: in the ordinary continuous-field regime, fix an integer , an open spatial region and an open time interval . A probability current density is a declared continuous map , whose spatial components have dimension and reference unit . At fixed time it is a spatial vector field; its signed normal component is read as probability transported per unit spatial -area and time. Explicitly, for a flat face , with and chosen normal , , define its signed probability flux at as . Here is the th coordinate unit vector and the integral uses -dimensional Lebesgue measure; for this means . The flux has dimension and unit ; 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 state nor a conservation or detector law. Each dynamical model supplies its current construction and balance hypotheses.
- Electric quantities of the model parameters: charge has dimension ; a magnetic moment has dimension , equivalently , and a gyromagnetic parameter in the relation has dimension , equivalently ; these quantities appear only in the model assumptions that introduce them.
- 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.
- 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 or ) 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
- BIPM, The International System of Units (SI), 9th edition, current English brochure: Section 2.2 and Table 1 (exact defining constants h, c and e), Section 2.3.1 and Table 2 (SI base units and experimentally determined vacuum permeability), Section 2.3.3 (dimension conventions), and Section 2.3.4 and Tables 4-6 (coherent derived units)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 2.1, printed pages 55-58 (PDF pages 67-70): probability interpretation of the wave function and observable operators