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
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 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 , a smooth potential with values in inverse square metres () and a constant in joule per metre () have the field equation — 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 rest energy density (joule per cubic metre) and a future unit timelike field () satisfy and ; the stress-energy tensor is .
(iii) Perfect fluid. maps (energy density and pressure), both in joule per cubic metre, and a future unit timelike field 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 is part of the model and is not supplied by this postulate; the stress-energy tensor is , where is the symmetric type- inverse metric with components .
(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 have units joule per cubic metre. In length coordinates , an ideal observer with future unit direction and four-velocity reads the numerical contractions of Observer decomposition of a symmetric stress-energy tensor as energy density , momentum density and rest stress , where . In an adapted inertial frame these are , and respectively, and the energy-flux components are . 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 is assigned to external exchange, the spatial components are force per volume and is power per volume; the corresponding numerical balances are and . 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 are adopted primitive data of the scalar model; the SI conventions and the identification of the coordinate with 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
Oriented time-oriented affine Minkowski space (the spacetime primitives)
SI units and coordinate conventions of the special-relativity framework
First variation of the scalar-field action and the Euler-Lagrange equation
The Hilbert stress-energy tensor of the scalar-field action on flat spacetime
Perfect-fluid divergence identity and its equivalence with the energy-balance and Euler equations
C^k tensor fields on affine Minkowski space and their inertial components
Kinematics of an observer congruence: acceleration, expansion, shear, vorticity and Born rigidity
Adopted massive-particle momentum, observer measurement and isolated-collision conservation
Stress-energy tensor, force density and local balance on flat spacetime
Adopted inertial covariance of the model equations
Adopted ideal-clock and ideal-vacuum-light interpretation
Observer decomposition of a symmetric stress-energy tensor
Dependency tree · 2 levels
Sources
- D. Tong, General Relativity, University of Cambridge Part III Mathematical Tripos (Michaelmas Term 2019); c = 1 formulas converted to x^0 = c t; 4.5.1-4.5.5 printed pp. 181-191: scalar-field action (4.42)-(4.43) and equation of motion, Hilbert energy-momentum tensor (4.46), diffeomorphism invariance and conservation (4.50), flat-space Noether form, scalar tensor (4.51), Maxwell tensor (4.52), perfect fluid (4.53) with conservation equations (4.54)-(4.55), and the flat-space conserved-charge box argument of 4.5.5
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Chapter 1 printed pp. 28-30 (energy-momentum tensor, dust T^{mu nu}=rho U^mu U^nu (1.106), perfect fluid (1.107)-(1.110), scalar and Maxwell tensors (1.111)-(1.112), conservation (1.113) with the remark that the proof follows from each matter model's equations of motion) and Chapter 5 printed pp. 138-139 (on-shell conservation from diffeomorphism invariance with compact-support variations, (5.34)-(5.38))
- B. Crowell, Special Relativity, revision 2020-12-10 (author-published undergraduate textbook, 246 PDF pages); signature (+---) converted to (-+++) and c = 1 formulas converted to x^0 = c t; Chapter 9 pp. 179-197: 9.1 pp. 179-182 (current vector, flux, charge conservation), 9.2 pp. 183-191 (stress-energy tensor, conservation and flux, symmetry, dust, rank-2 transformation law, pressure, perfect fluid, worked examples, energy conditions), 9.3 pp. 192-197 (Gauss's theorem, integral conservation laws, the energy-momentum vector, angular momentum); the printed 9.2.8 dominant energy condition p. 191 has the defective |P| > rho and is not used