Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated
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.

Adopted continuum matter models, evolution equations and observer readings

Physical scope

Flat affine Minkowski spacetime with the SI conventions of the framework, in one inertial chart; matter described only by the adopted scalar-field, dust and perfect-fluid models, their additive total tensor and the adopted observer readings. The postulate contains no gravity, no electromagnetic coupling, no force law, no equation of state, no microscopic derivation, no claim that these models exhaust physical matter, and no empirical premise; it asserts no conservation of the tensors.

Postulate

Adopt, on top of the flat spacetime postulates Adopted inertial covariance of the model equations and Adopted ideal-clock and ideal-vacuum-light interpretation, the SI conventions SI units and coordinate conventions of the special-relativity framework and the particle premises Adopted massive-particle momentum, observer measurement and isolated-collision conservation, the following classical continuum matter models on an open set Ω⊆A of the affine Minkowski model (Oriented time-oriented affine Minkowski space (the spacetime primitives)).

The adopted matter models, stress-energy terminology, scalar stationarity and Hilbert-tensor identification in clauses (i)–(v) below apply when Ω is nonempty, as required by Stress-energy tensor, force density and local balance on flat spacetime, First variation of the scalar-field action and the Euler-Lagrange equation and The Hilbert stress-energy tensor of the scalar-field action on flat spacetime. If Ω=∅, retain only the degenerate mathematical branch of C^k tensor fields on affine Minkowski space and their inertial components: every field is the unique empty map of its type, tensor addition and the displayed component formulas are empty maps, and all pointwise equations are vacuous. That branch supplies no matter or observer reading, does not invoke the nonempty-domain stress-energy, stationarity or Hilbert-tensor interfaces, and makes no assertion about an action integral.

(i) Scalar field. A real smooth dimensionless field φ:Ω→R, a smooth potential V:R→R with values in inverse square metres (m−2) and a constant K>0 in joule per metre (J/m) have the field equation □φ=V′(φ) — the Euler–Lagrange equation of the adopted local action density, with stationarity defined by the finite relative action for compactly supported field variations (First variation of the scalar-field action and the Euler-Lagrange equation); the model's stress-energy tensor is the Hilbert tensor of The Hilbert stress-energy tensor of the scalar-field action on flat spacetime.

(ii) Dust. A C1 rest energy density ρ:Ω→(0,∞) (joule per cubic metre) and a C1 future unit timelike field n:Ω→V (η(n,n)=−1) satisfy ∂a(ρna)=0 and na∂anb=0; the stress-energy tensor is T=ρ n⊗n.

(iii) Perfect fluid. C1 maps ε,P:Ω→R (energy density and pressure), both in joule per cubic metre, and a C1 future unit timelike field n satisfy the energy-balance and Euler equations of Perfect-fluid divergence identity and its equivalence with the energy-balance and Euler equations; an equation of state or evolution equation determining P is part of the model and is not supplied by this postulate; the stress-energy tensor is T=(ε+P)n⊗n+Pη−1, where η−1 is the symmetric type-(2,0) inverse metric with components ηab.

(iv) Additivity. The total stress-energy tensor of a composite system is the sum of the stress-energy tensors of its constituents (tensor-field addition on Ω).

(v) Adopted observer readings and units. For a tensor physically assigned to matter in this model, all inertial components Tab have units joule per cubic metre. In length coordinates x0=ct, an ideal observer with future unit direction n and four-velocity U=cn reads the numerical contractions of Observer decomposition of a symmetric stress-energy tensor as energy density εn=Tabnanb, momentum density πna=−c−1habTbcnc and rest stress Snab=hachbdTcd, where h(v)=v+η(n,v)n. In an adapted inertial frame these are T00, T0i/c and Tij respectively, and the energy-flux components are cTi0=c2πni. Momentum density has units kilogram per square metre per second, energy flux has units watt per square metre, and rest stress has units joule per cubic metre. These identifications are adopted model readings, not mathematical facts about an arbitrary symmetric tensor and not reported measurements. If fb=∂aTab is assigned to external exchange, the spatial components fi are force per volume and cf0 is power per volume; the corresponding numerical balances are ∂t(T00)+∂i(cTi0)=cf0 and ∂t(T0j/c)+∂iTij=fj. Neither assignment selects a force law or asserts conservation.

Scope and status

This postulate adopts model equations and tensor identifications only. It does not assert conservation of the tensors — that is derived from these equations in Local conservation of the adopted matter stress-energy tensors — does not select any force law, interaction, equation of state, thermodynamic or dissipative behaviour, does not claim that these models exhaust physical matter, and contains no empirical premise, measurement or uncertainty statement. The dimensionless scalar field, the potential with its stated units and the constant K are adopted primitive data of the scalar model; the SI conventions and the identification of the coordinate x0 with ct are those of SI units and coordinate conventions of the special-relativity framework, and the observer congruence vocabulary agrees with Kinematics of an observer congruence: acceleration, expansion, shear, vorticity and Born rigidity for smooth fields (C^k tensor fields on affine Minkowski space and their inertial components).

Depends on

Dependency tree · 2 levels

Sources