In relativistic cosmology, Weyl's postulate stipulates that in a fluid cosmological model, the world lines of the fluid particles, which act as the source of the gravitational field and which are often taken to model galaxies, should be hypersurface orthogonal. That is, the world lines should be everywhere orthogonal to a family of spatial hyperslices.
Sometimes, the additional hypothesis is added that the world lines form timelike geodesics.
In the ADM formalism we introduce a family of spatial hyperslices. This allows us to think of the geometry of "space" as evolving over "time". This is an attractive viewpoint, but in general no such family of hyperslices will be physically preferred. The Weyl hypothesis can be understood as the assumption that we should consider only cosmological models in which there is such a preferred slicing, namely the one given by taking the unique hyperslices orthogonal to the world lines of the fluid particles.
The additional hypothesis that the world lines of the fluid particles be geodesics is equivalent to assuming that no body forces act within the fluid. In other words, the fluid has zero pressure, so that we are considering a dust solution.
Relation to vorticity
The condition that the congruence corresponding to the fluid particles should be hypersurface orthogonal is by no means assured. A generic congruence does not possess this property, which is in fact mathematically equivalent to stipulating that the congruence of world lines should be vorticity-free. That is, they should not be twisting about one another, or in other words, the fluid elements should not be swirling about their neighbors in the manner of the fluid particles in a stirred cup of coffee. (Nonzero vorticity model is presented in http://arxiv.org/ftp/arxiv/papers/1210/1210.4091.pdf or Nurgaliev I.S. «Singularities Are Averted by Vortices». Gravitation and Cosmology, 2010, Vol. 16, No. 4, pp. 313–315.)
- Comoving coordinates
- Congruence (general relativity), for the relatation between vorticity and hypersurfaces.
- Friedmann–Lemaître–Robertson–Walker metric for the best known cosmological model (which does obey Weyl's hypothesis)
- Shape of the Universe
- Weyl curvature hypothesis, for a different cosmological hypothesis due to Roger Penrose.