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 homogeneous and isotropic cosmological model with a comoving perfect fluid
Adoption of the homogeneous and isotropic cosmological model of the classical gravitational framework: a spatially standard constant-curvature model, an FLRW metric with a smooth scale factor, and either the vacuum sector or a comoving perfect fluid whose density and pressure depend on cosmic time alone, with an explicit equation of state. The geometry and the matter content are adopted model assumptions, not derived results, and no observed value, redshift, distance, age, temperature or comparison with data is asserted. The model excludes anisotropic stresses, dissipation and heat flow, spatial inhomogeneities and perturbations, distributional or lower-dimensional sources, non-smooth fields, additional matter sectors or corrections to the declared perfect-fluid stress-energy, and quantum effects; the deductions conditional on the model hold only within these restrictions.
Postulate
Adopt as the geometry and matter content of a homogeneous cosmological model of the classical gravitational framework, to be used together with Adopted spacetime model and classical domain of the gravitational framework, Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions and the field law of Adopted Einstein field equation in the direct-equation presentation, the following assumptions.
(i) Spacetime geometry. The model's spacetime is an FLRW model datum with the framework's conversion constant , its metric and its comoving congruence (FLRW model data: warped product metric, cosmic time, comoving congruence, scale factor and Hubble parameter, The FLRW metric is smooth Lorentzian; the comoving field is unit timelike and cosmic time parametrizes comoving curves by proper time; the slices carry the scaled spatial metric). The spatial model is one of the standard complete simply connected models of The constant-curvature spatial model of a homogeneous cosmology clause (d), with normalized curvature parameter : the round unit three-sphere for , Euclidean space for , or hyperbolic three-space for ; by Constant-curvature three-manifolds: equivalence of constant sectional curvature, the tensor identity and the Ricci condition each of these carries constant sectional curvature and . The name homogeneous and isotropic cosmological model denotes here the explicit standard-spatial-model FLRW ansatz just specified. Its operative geometric assumptions are the chosen global standard model, the displayed metric and the curvature condition; the deductions do not use an additional undefined symmetry premise. The identification of the coordinate with the readings of ideal comoving clocks is not part of this clause: it is the separate clock rule of Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework, applied only where a physical clock reading is asserted. The mathematical content used by the deductions of this page is the FLRW form displayed above together with the curvature condition; no classification theorem, and no transitivity statement about isometry groups, is proved or used here.
(ii) Matter content. Exactly one of the following two sectors is adopted.
- Vacuum sector. No matter is present: the model's stress-energy tensor is the zero tensor, .
- Comoving perfect-fluid sector. The model's matter is a perfect-fluid model on the matter domain , the model's whole spacetime, in the sense of The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy: that is, is the nonempty open domain, and are the smooth rest energy density and pressure on it, and the fluid's unit timelike four-velocity field is assumed to be the comoving congruence of clause (i). The density and pressure are assumed homogeneous, that is, functions of cosmic time alone: and in the product charts, with values in the units of SI unit and coordinate conventions of the classical gravitational framework. The model additionally adopts an explicit equation of state, one of: a barotropic relation with a smooth real function defined on an open interval containing the range of ; or the constant-parameter relation with a real constant and the stated domain of positive . The equation of state is an adopted constitutive restriction, not a consequence of the field law. The fluid stress-energy is the gravitating source in (Adopted Einstein field equation in the direct-equation presentation). The scale factor and fluid data must jointly satisfy that law when a solution is claimed; the fluid is not treated as test matter on a separately prescribed background.
(iii) Status, scope and exclusions. Clauses (i) and (ii) are adopted assumptions of the model. They are not derived from the field law, from mathematical symmetry, or from observation; the symmetry of the ansatz motivates but does not prove them, and no claim is made that any actual cosmological system is exactly homogeneous, isotropic, comoving or barotropic. The model contains no observed value: the scale factor, the densities, the parameters and the spacetime interval are model data, and every conclusion conditional on the model inherits the idealizations listed in the physical scope of this item. Anisotropic stresses, heat flow and dissipation, spatial inhomogeneities and perturbations, distributional or lower-dimensional sources, non-smooth fields and quantum effects lie outside the model and require additional content. Comparisons of the model's predictions with reported observations test the combined model — geometry, matter content, field law and the observation and analysis assumptions — and agreement is evidence about that combination, not a proof of this postulate.
Remarks
-
Why the standard spatial models are named. Clause (i) fixes the global spatial model as one of the three standard complete simply connected constant-curvature models rather than an arbitrary model satisfying the local curvature condition. This is the precise content of the homogeneity-and-isotropy idealization on this page: it selects a definite global model, avoids any unproved classification assertion, and matches the models for which the standard curvature computations are recorded in The constant-curvature spatial model of a homogeneous cosmology. A model built on a quotient or on a different global model is not excluded mathematically but is not the model adopted here.
-
Clock readings are downstream. The postulate's geometric clause identifies a coordinate ; the assertion that ideal clocks carried by comoving observers read is the clock postulate Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework together with the proper-time computation of The FLRW metric is smooth Lorentzian; the comoving field is unit timelike and cosmic time parametrizes comoving curves by proper time; the slices carry the scaled spatial metric, and it is used only where a physical clock reading is claimed.
-
Field law is separate. This postulate supplies the geometry and the matter content. The dynamics relating them is the field law of Adopted Einstein field equation in the direct-equation presentation; the conservation of the fluid stress-energy tensor and the continuity equation are consequences of that law for the model, proved on this page, not additional assumptions of this postulate.
Depends on
FLRW model data: warped product metric, cosmic time, comoving congruence, scale factor and Hubble parameter
The constant-curvature spatial model of a homogeneous cosmology
The FLRW metric is smooth Lorentzian; the comoving field is unit timelike and cosmic time parametrizes comoving curves by proper time; the slices carry the scaled spatial metric
Constant-curvature three-manifolds: equivalence of constant sectional curvature, the tensor identity and the Ricci condition
The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy
SI unit and coordinate conventions of the classical gravitational framework
Adopted spacetime model and classical domain of the gravitational framework
Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions
Adopted Einstein field equation in the direct-equation presentation
Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework
Dependency tree · 2 levels
Sources
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 8: the Copernican principle, isotropy and homogeneity, the maximally symmetric three-metric (8.1)-(8.7) and the comoving perfect fluid (8.9)-(8.23), printed pp. 217-222 (PDF pp. 224-229)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 4.6.1: the observed homogeneity and isotropy, the FRW metric (4.63) and the comoving four-velocity, printed pp. 198-202 (PDF pp. 205-209)
- D. Tong, Cosmology (Cambridge Part III Mathematical Tripos, 2019 revision), section 1.1 and section 1.2.2: the cosmological principle, the Robertson-Walker metric (1.12) and the perfect-fluid energy-momentum tensor with equation of state P = w rho (1.35)-(1.41), printed pp. 5-11 and 26-29 (PDF pp. 11-17 and 32-35)