Alphabeta Math
PostulateStatement: 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.

Adopted homogeneous and isotropic cosmological model with a comoving perfect fluid

Physical scope

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 (I,Σ,γ,k,a) with the framework's conversion constant c>0, its metric g=−c2dt2+a(t)2γ and its comoving congruence n=c−1∂t (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 (Σ,γ,k) 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 k∈{−1,0,1}: the round unit three-sphere for k=+1, Euclidean space for k=0, or hyperbolic three-space for k=−1; by Constant-curvature three-manifolds: equivalence of constant sectional curvature, the tensor identity and the Ricci condition each of these carries constant sectional curvature k and Ric⁡(γ)=2kγ. 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 t 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, ε=p=0.
  • Comoving perfect-fluid sector. The model's matter is a perfect-fluid model (ε,p,nF) on the matter domain U:=M, 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, U=M is the nonempty open domain, ε and p are the smooth rest energy density and pressure on it, and the fluid's unit timelike four-velocity field nF is assumed to be the comoving congruence n=c−1∂t of clause (i). The density and pressure are assumed homogeneous, that is, functions of cosmic time alone: ε=ε(t) and p=p(t) 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 p=P(ε) with P a smooth real function defined on an open interval containing the range of ε; or the constant-parameter relation p=wε with a real constant w 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 Tab=(ε+p)nanb+pgab is the gravitating source in Gab+Λgab=(8πGN/c4)Tab (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 k,Λ,w 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

Depends on

Dependency tree · 2 levels

Sources