The Cosmological Principle

The Cosmological Principle is the load-bearing assumption on which all of modern cosmology stands, and it is worth being clear at the outset about what kind of statement it is. It is not a theorem of general relativity; Einstein's equations are perfectly happy with a lumpy, lopsided universe. It is a hypothesis about the actual large-scale contents of our universe: that when you smooth over enough volume, the matter distribution and the geometry look the same from every vantage point (homogeneity) and the same in every direction (isotropy). Its payoff is enormous. An arbitrary matter distribution would leave the ten independent components of the metric as ten unknown functions of four coordinates — hopeless. Impose homogeneity and isotropy and the whole geometry collapses onto a single unknown function of one variable, the scale factor a(t)a(t). The intractable becomes the Friedmann equations. The two ingredients must be held apart, because they are logically independent. Homogeneity is invariance under spatial translation — nowhere is special. Isotropy about a point is invariance under rotation about that point — no direction is special there. A uniform magnetic field threading all of space is homogeneous but anisotropic; a spherical onion of shells centred on you is isotropic about you but wildly inhomogeneous. The deep fact that welds them is one-directional: isotropy about every point forces homogeneity, and the pair together is the strongest spatial symmetry a three-dimensional space can carry. Such a space is maximally symmetric, has constant curvature, and comes in exactly three flavours — sphere, plane, saddle. That is the geometric seed of the FLRW metric, and it grew from a single word Edward Milne wrote down in 1933.

Key takeaways
  • The Cosmological Principle asserts that on large scales (above roughly 100 Mpc100\ \mathrm{Mpc}) the universe is spatially homogeneous (no special place) and isotropic (no special direction) — a hypothesis about our universe, not a theorem of general relativity.
  • Homogeneity and isotropy are logically independent, but isotropy about every point implies homogeneity, and the two together force the spatial slices to be maximally symmetric, with N=12n(n+1)=6N=\tfrac12 n(n+1)=6 Killing vectors in three dimensions.
  • A maximally symmetric 3-space has constant curvature, Rijkl=(k/a2)(γikγjl−γilγjk)R_{ijkl}=(k/a^2)(\gamma_{ik}\gamma_{jl}-\gamma_{il}\gamma_{jk}) and (3)R=6k/a2^{(3)}R=6k/a^2, and is one of exactly three geometries: closed (k=+1k=+1), flat (k=0k=0), open (k=−1k=-1).
  • Stacking these slices along cosmic time gives the unique FLRW metric ds2=−c2dt2+a2(t) dΣk2\mathrm{d}s^2=-c^2\mathrm{d}t^2+a^2(t)\,\mathrm{d}\Sigma_k^2, and isotropy forces the matter to be a perfect fluid, Tμν=diag(−ρ,p,p,p)T^{\mu}{}_{\nu}=\mathrm{diag}(-\rho,p,p,p).
  • The strongest evidence is the cosmic microwave background: after subtracting the 3.36 mK3.36\ \mathrm{mK} kinematic dipole from our 370 km/s370\ \mathrm{km/s} motion, the sky is uniform to ΔT/T∼10−5\Delta T/T\sim10^{-5}.
  • The principle holds only statistically and only when coarse-grained; below ∼100 Mpc\sim100\ \mathrm{Mpc} the real universe is a riot of galaxies, filaments, and voids.
  • Key idea: Isotropy about every point implies homogeneity; together they make the spatial slices maximally symmetric, with constant curvature, leaving the geometry encoded in a single time-dependent scale factor — the content of the FLRW metric.

Where this lives today

The Cosmological Principle has passed from postulate to precision measurement, and it is under active, quantitative assault. On the isotropy side, Planck mapped the microwave sky to microkelvin precision and confirmed statistical isotropy at ΔT/T∼10−5\Delta T/T\sim10^{-5}, while a handful of large-angle "anomalies" — the low quadrupole, a hemispherical power asymmetry, an unexplained cold spot — keep a small but persistent question mark over the principle at the largest scales. On the homogeneity side, redshift surveys from SDSS and BOSS through to DESI have measured the transition to homogeneity directly, watching the galaxy distribution's fractal (correlation) dimension climb toward 33 near 7070–100 h−1Mpc100\ h^{-1}\mathrm{Mpc}, and locating the baryon acoustic oscillation feature at ∼150 Mpc\sim150\ \mathrm{Mpc} as a standard ruler that only makes sense against a uniform background. The sharpest current tension is the cosmic dipole anomaly: the number-count dipole of distant radio sources and quasars appears to point the same way as the CMB kinematic dipole but with two to three times the amplitude, which — if it holds up — would mean the matter distribution is not isotropic about us in the way the CMB says it should be, a direct challenge to the Cosmological Principle. Euclid and the Vera Rubin Observatory's LSST will map billions of galaxies over the coming decade, turning what Milne posited into one of the most stringently tested statements in physical science.

The physical picture

Take the real, clumpy universe — stars in galaxies, galaxies in clusters, clusters strung along filaments around empty voids — and blur it with a filter wider than the largest structures. As the smoothing scale climbs past about 100 Mpc100\ \mathrm{Mpc}, the fluctuations wash out and the smoothed density settles toward a single constant. That uniform fog, not the lumpy snapshot, is what the Cosmological Principle describes. Homogeneity is the statement that the fog has the same density everywhere; isotropy is the statement that, standing anywhere in it, you see the same thing in every direction. The subtlety the first figure is built to expose is that these are two different claims, and that only the strongest version of the second — isotropy holding about every point, not just ours — is powerful enough to deliver both, and with them the maximal symmetry that fixes the shape of space.

Figure
Homogeneity and isotropy are independent — a uniform field is homogeneous yet anisotropic, and an onion of shells is isotropic about its centre yet inhomogeneous — but isotropy about every point forces homogeneity, hence maximal symmetry N = ½ n(n+1) = 6 Killing vectors, hence constant curvature ³R = 6k/a² in one of three shapes
Two independent symmetries — and why isotropy everywhere forces both homogeneous, not isotropic same everywhere, but one direction picked out isotropic about the centre, not homogeneous density varies with radius from one point us isotropy about EVERY point ⇒ homogeneity ⇒ maximal symmetry N = ½ n(n+1) = 6 Killing vectors (n = 3) ⇒ constant curvature exactly three maximally symmetric shapes: ³R = 6k / a² k = +1 closed k = 0 flat k = −1 open

Why does isotropy alone, if it holds everywhere, buy so much? Because a rotation about a point is a rigid motion of space — an isometry — and a space that admits a rotation about every point admits enough isometries to carry any point to any other. Nothing can then distinguish one location from another, and that is homogeneity. Counting the isometries makes it quantitative: three independent translations plus three independent rotations give six, which is exactly 12n(n+1)\tfrac12 n(n+1) for n=3n=3, the largest number of independent Killing vectors any 3-space can possess. Maximal symmetry, in turn, is a straitjacket on curvature — it forces the curvature to be the same constant in every direction at every point. The empirical question is then simply whether the real universe wears this straitjacket, and the second figure shows the sharpest answer we have: the microwave sky.

Figure
The empirical pillar shown on a log scale of ΔT/T: the microwave sky is a uniform 2.725 K glow; our 370 km/s motion imprints a 3.36 mK dipole at ΔT/T = 1.23×10⁻³ which is subtracted; the remaining primordial anisotropies are only about 18 μK, ΔT/T ~ 10⁻⁵, so the universe is isotropic about us to one part in one hundred thousand
The punchline: the CMB is isotropic to one part in 100 000 10⁰10⁻¹10⁻²10⁻³10⁻⁴10⁻⁵10⁻⁶ temperature contrast ΔT / T (log scale) monopole — the uniform glow T₀ = 2.725 K ΔT/T = 1 (reference) dipole — our 370 km/s motion (kinematic, subtracted) 3.36 mK, ΔT/T = 1.23×10⁻³ primordial anisotropies — the real bumps ~18 μK, ΔT/T ~ 10⁻⁵ subtract the dipole and the sky is smooth to ~10⁻⁵ — isotropy, measured

The core equations

The Cosmological Principle is fundamentally a pair of symmetry statements, and everything downstream is the geometry those symmetries permit. Start with the logical core: the claim that the apparently weaker assumption — local isotropy holding about every point — already contains the stronger-sounding one.

isotropy about every point  ⟹  homogeneity(1)\text{isotropy about every point} \;\Longrightarrow\; \text{homogeneity} \qquad (1)

where: the left side means rotations about each point are isometries of the spatial slice; the right side means all points are geometrically equivalent. Reading: this one-way implication (Derivation B) is why cosmologists can assume the whole principle after establishing isotropy plus the Copernican premise that we are not special. Counting the isometries turns "maximal symmetry" into a number. A space of dimension nn can carry at most 12n(n+1)\tfrac12 n(n+1) independent Killing vectors, and a space that saturates the bound is called maximally symmetric.

Nmax⁡=12 n(n+1)(2)N_{\max} = \tfrac12\,n(n+1) \qquad (2)

where: nn — dimension of the space; Nmax⁡N_{\max} — maximum number of independent Killing vectors. Reading: for the spatial slice n=3n=3, so Nmax⁡=6N_{\max}=6 — three translations (homogeneity) plus three rotations (isotropy), the largest symmetry group a 3-space admits. Maximal symmetry forces the Riemann tensor into a single rigid form built only from the metric and one constant. There is nothing else it can be made of if every direction at every point is equivalent.

Rijkl=ka2 (γikγjl−γilγjk)(3)R_{ijkl} = \frac{k}{a^2}\,\bigl(\gamma_{ik}\gamma_{jl} - \gamma_{il}\gamma_{jk}\bigr) \qquad (3)

where: RijklR_{ijkl} — Riemann tensor of the spatial slice; γij\gamma_{ij} — metric of the unit-radius slice; k∈{−1,0,+1}k\in\{-1,0,+1\} — dimensionless curvature sign; aa — scale factor carrying the physical length. Reading: the curvature is the same constant k/a2k/a^2 in every 2-plane at every point — the geometric definition of constant curvature. Contracting that Riemann tensor twice collapses all the curvature information into one number, the spatial Ricci scalar, whose sign is the sign of kk.

(3)R=6ka2(4)^{(3)}R = \frac{6k}{a^2} \qquad (4)

where: (3)R^{(3)}R — Ricci scalar of the 3-slice. Reading: a single measurement in principle fixes the geometry — (3)R>0^{(3)}R>0 closed, =0=0 flat, <0<0 open — and the factor 66 is n(n−1)=3⋅2n(n-1)=3\cdot2 for n=3n=3 (Derivation A). Integrating the constant-curvature condition gives the explicit spatial metric in comoving coordinates, the same three geometries written in one formula.

dΣk2=dr21−kr2+r2(dθ2+sin⁡2θ dϕ2)(5)\mathrm{d}\Sigma_k^2 = \frac{\mathrm{d}r^2}{1-kr^2} + r^2\bigl(\mathrm{d}\theta^2 + \sin^2\theta\,\mathrm{d}\phi^2\bigr) \qquad (5)

where: r,θ,ϕr,\theta,\phi — comoving spherical coordinates; kk — curvature sign as above. Reading: k=+1k=+1 makes r<1r<1 close up into a 3-sphere of finite volume; k=0k=0 is flat R3\mathbb{R}^3; k=−1k=-1 is infinite hyperbolic space. Threading these slices along a cosmic-time axis orthogonal to them — the time measured by comoving observers who see the universe as isotropic — produces the unique spacetime consistent with the principle, the FLRW metric.

ds2=−c2 dt2+a2(t) dΣk2(6)\mathrm{d}s^2 = -c^2\,\mathrm{d}t^2 + a^2(t)\,\mathrm{d}\Sigma_k^2 \qquad (6)

where: tt — cosmic (proper) time of comoving observers; a(t)a(t) — scale factor, the single dynamical unknown. Reading: the entire content of the geometry, once the principle is imposed, lives in a(t)a(t) and the discrete label kk — that is the reduction from ten metric functions to one. Isotropy constrains the matter as tightly as it constrains the geometry: in the comoving frame it forbids any preferred spatial direction, collapsing the stress-energy to the perfect-fluid form.

Tμν=diag(−ρ(t), p(t), p(t), p(t))(7)T^{\mu}{}_{\nu} = \mathrm{diag}\bigl(-\rho(t),\,p(t),\,p(t),\,p(t)\bigr) \qquad (7)

where: ρ\rho — energy density; pp — isotropic pressure; both functions of tt alone. Reading: no momentum flux T0iT^{0i} and no anisotropic stress survive isotropy (Derivation C), so cosmic matter is specified by two functions of time linked by an equation of state. Finally, the principle is a claim to be tested, and its cleanest test is the isotropy of the microwave sky, quantified by two temperature contrasts.

ΔTT∣dipole=vc≈1.23×10−3,ΔTT∣intrinsic∼10−5(8)\left.\frac{\Delta T}{T}\right|_{\text{dipole}} = \frac{v}{c}\approx1.23\times10^{-3}, \qquad \left.\frac{\Delta T}{T}\right|_{\text{intrinsic}}\sim10^{-5} \qquad (8)

where: v≈370 km/sv\approx370\ \mathrm{km/s} — our speed relative to the CMB rest frame; T≈2.725 KT\approx2.725\ \mathrm{K} — CMB temperature. Reading: the large dipole is our motion, not a cosmic anisotropy; once removed, the residual ∼10−5\sim10^{-5} is the true measure of how isotropic the universe is about us.

Derivation AFrom the Cosmological Principle to maximal symmetry and constant curvature

The goal is to trace the chain from two verbal symmetry assumptions to a single tensor equation — to show that "homogeneous and isotropic" is not a vague slogan but forces the spatial Riemann tensor into the one form Rijkl=(k/a2)(γikγjl−γilγjk)R_{ijkl}=(k/a^2)(\gamma_{ik}\gamma_{jl}-\gamma_{il}\gamma_{jk}), and hence a constant Ricci scalar (3)R=6k/a2^{(3)}R=6k/a^2, which is the geometric heart of the FLRW metric. We count the symmetries, use maximal symmetry to pin down the tensor structure, name the curvature scale, and enumerate the three allowed geometries.

Step 1. Count the Killing vectors. Homogeneity supplies three independent translations of the slice; isotropy about each point supplies three independent rotations. Their total is six, which equals 12n(n+1)\tfrac12 n(n+1) for n=3n=3 — the maximum a 3-space can carry — so the slice is maximally symmetric. Why: saturating the Killing-vector bound is the working definition of maximal symmetry, and it is the property that all the rest follows from.

Step 2. Fix the tensor structure. In a maximally symmetric space every point and direction is equivalent, so the curvature tensor can be built only from the metric γij\gamma_{ij} and a single scalar constant KK. The unique combination with the algebraic symmetries of a Riemann tensor (antisymmetry in ikik and jljl, symmetry under pair exchange) is Rijkl=K(γikγjl−γilγjk)R_{ijkl}=K(\gamma_{ik}\gamma_{jl}-\gamma_{il}\gamma_{jk}). Why: any dependence on position or direction would violate the symmetry, and no other index combination is both available and correctly symmetric.

Step 3. Name the scale. Split the constant as K=k/a2K=k/a^2, isolating a dimensionless sign kk from a physical length aa. Contract once with γik\gamma^{ik} to get the Ricci tensor Rjl=K(n−1)γjl=2KγjlR_{jl}=K(n-1)\gamma_{jl}=2K\gamma_{jl}, and again to get (3)R=K n(n−1)=6K=6k/a2^{(3)}R=K\,n(n-1)=6K=6k/a^2. Why: this converts the abstract "constant curvature" into the measurable Ricci scalar and separates the shape of space from its size.

Step 4. Enumerate the geometries. Rescaling lets kk take only the three normalized values +1,0,−1+1,0,-1: the closed 3-sphere of finite volume, flat Euclidean R3\mathbb{R}^3, and infinite hyperbolic 3-space. These exhaust the maximally symmetric 3-geometries. Why: only the sign of the constant curvature is coordinate-independent, so up to overall scale there are exactly three cases — the kk of the FLRW metric. *The double contraction gives Rjl=2KγjlR_{jl}=2K\gamma_{jl} and (3)R=6K=6k/a2^{(3)}R=6K=6k/a^2, and the three geometries correspond to k=+1,0,−1k=+1,0,-1.*

Go deeper · Derivation B · 1 minWhy isotropy about every point implies homogeneity
Derivation BWhy isotropy about every point implies homogeneity

The aim is to justify the one-way implication that makes the whole principle economical: the seemingly modest assumption that space looks the same in all directions from every point already forces it to look the same at every point, so isotropy-everywhere silently contains homogeneity. The argument is purely geometric and uses only that a rotation is an isometry. We connect two arbitrary points through the rotations guaranteed at a third, and let the arbitrariness of the pair do the rest.

Step 1. Set up the two points. Let pp and qq be any two points on a spatial slice, join them by the geodesic segment between them, and let mm be its midpoint. Why: any statement about homogeneity is a statement about an arbitrary pair, so proving pp and qq equivalent for arbitrary p,qp,q proves the whole claim.

Step 2. Rotate about the midpoint. Isotropy about mm means every rotation about mm is an isometry. The rotation by angle π\pi in the plane containing the geodesic fixes mm and carries pp to qq. Why: this is the one place the assumption is used — we need isotropy at the midpoint, an interior point, not at pp or qq themselves.

Step 3. Transport the geometry. Because that rotation is an isometry, it maps the metric, curvature, and matter density at pp exactly onto their values at qq; the two points are physically indistinguishable. Why: an isometry preserves every geometric and physical quantity by definition, so equivalence under an isometry is genuine equivalence.

Step 4. Generalize and note the asymmetry. Since pp and qq were arbitrary, all points are equivalent — the slice is homogeneous. The converse fails: homogeneity alone does not give isotropy, as a uniform vector field threading a homogeneous space shows. Why: the implication runs one way only, which is exactly why isotropy (about every point) is the stronger, more useful hypothesis.

Go deeper · Derivation C · 1 minWhy isotropy forces the perfect-fluid stress-energy
Derivation CWhy isotropy forces the perfect-fluid stress-energy

The purpose here is to show that the same isotropy that shapes the geometry also dictates the matter content, reducing the ten-component stress-energy tensor to just two functions of time — an energy density and a pressure — in the perfect-fluid form Tμν=diag(−ρ,p,p,p)T^{\mu}{}_{\nu}=\mathrm{diag}(-\rho,p,p,p). This is what makes the cosmological source tractable and feeds directly into the Friedmann equations. We work in the comoving frame of observers who see the sky as isotropic and let the vanishing of every direction-selecting component do the work.

Step 1. Choose the comoving frame. Adopt the local rest frame of the matter, whose four-velocity is uμ=(1,0,0,0)u^\mu=(1,0,0,0); in this frame isotropy about the observer must hold by assumption. Why: isotropy is a statement about what a particular family of observers sees, so the constraints are cleanest in their own rest frame.

Step 2. Kill the momentum flux. The components T0iT^{0i} form a spatial vector, the energy-momentum flux. A nonzero vector would point in a preferred spatial direction, which isotropy forbids, so T0i=0T^{0i}=0. Why: any surviving three-vector would be a physically detectable arrow in the sky, contradicting "no preferred direction."

Step 3. Isotropize the stress. The spatial block TijT^{ij} is a symmetric 3×33\times3 tensor; isotropy requires it to be invariant under all rotations, and the only such tensor is a multiple of the identity, Tij=p δijT^{ij}=p\,\delta^{ij}. Any traceless (anisotropic-stress) part would single out axes. Why: a rotationally invariant symmetric matrix is necessarily proportional to δij\delta^{ij}, leaving a single scalar pp.

Step 4. Assemble and impose homogeneity. Collecting T00=ρT^{00}=\rho, T0i=0T^{0i}=0, Tij=p δijT^{ij}=p\,\delta^{ij} gives Tμν=diag(−ρ,p,p,p)T^{\mu}{}_{\nu}=\mathrm{diag}(-\rho,p,p,p); homogeneity then forbids spatial dependence, so ρ=ρ(t)\rho=\rho(t) and p=p(t)p=p(t). Why: the result is the perfect-fluid tensor with density and pressure depending on cosmic time alone — exactly the source the Friedmann equations require.

Limiting cases

The principle is best understood by what it becomes when each of its two symmetries is relaxed or restricted, and at what scale it is applied.

CaseResultMeaning
Full FLRW (homogeneous + isotropic)ds2=−c2dt2+a2(t) dΣk2\mathrm{d}s^2=-c^2\mathrm{d}t^2+a^2(t)\,\mathrm{d}\Sigma_k^2the standard model; slices maximally symmetric, geometry in a(t)a(t) and kk
Isotropic about one point onlyρ=ρ(r,t)\rho=\rho(r,t)Lemaître–Tolman–Bondi models; isotropic for the central observer but inhomogeneous — drops the Copernican premise
Homogeneous but anisotropicds2=−c2dt2+∑iai2(t)(dxi)2\mathrm{d}s^2=-c^2\mathrm{d}t^2+\sum_i a_i^2(t)(\mathrm{d}x^i)^2Bianchi models (e.g. Kasner); same at every point but with direction-dependent expansion
Small-scale limitℓ≪100 Mpc\ell\ll100\ \mathrm{Mpc}the principle fails: galaxies, clusters, filaments, voids; only the coarse-grained average is uniform
Perfectly maximally symmetric spacetimede Sitter / anti-de Sitterisotropy in space and time; the empty-universe limit where even a(t)a(t) is fixed by symmetry

Worked examples

1 · The CMB dipole versus true isotropy (fully worked)

The cosmic microwave background has mean temperature T0=2.725 KT_0=2.725\ \mathrm{K}. A dipole of amplitude 3.36 mK3.36\ \mathrm{mK} dominates the sky. Is this dipole evidence against the Cosmological Principle? Separate our motion from any intrinsic anisotropy, and quantify how isotropic the universe actually is.

Step 1. Interpret the dipole kinematically. Motion at speed vv through an isotropic radiation bath Doppler-shifts it to a dipole of fractional amplitude ΔT/T=v/c\Delta T/T=v/c to first order. Reading it backward, v=c (ΔT/T)=c (3.36×10−3/2.725)v=c\,(\Delta T/T)=c\,(3.36\times10^{-3}/2.725). The contrast is ΔT/T=3.36×10−3/2.725=1.23×10−3\Delta T/T=3.36\times10^{-3}/2.725=\mathbf{1.23\times10^{-3}}.

Step 2. Extract our speed. Then v=(1.23×10−3)(2.998×105 km/s)=370 km/sv=(1.23\times10^{-3})(2.998\times10^{5}\ \mathrm{km/s})=\mathbf{370\ km/s} — the velocity of the Solar System relative to the CMB rest frame, in the direction of the constellation Leo. This is a statement about us, not about the cosmos, so it is subtracted before any cosmological analysis.

Step 3. Look at what remains. After removing the dipole, the residual temperature fluctuations across the sky have RMS amplitude of about 18 μK18\ \mathrm{\mu K}, so ΔT/T≈18×10−6/2.725=6.6×10−6\Delta T/T\approx18\times10^{-6}/2.725=\mathbf{6.6\times10^{-6}}, of order 10−510^{-5}. These are the primordial anisotropies — the seeds of all structure — and they are the true measure of cosmic isotropy.

Step 4. Draw the conclusion. The dipole is ∼200\sim200 times larger than the intrinsic anisotropy precisely because it is not cosmic: it is a frame effect. The genuinely cosmological signal shows the universe is isotropic about us to about one part in 10510^{5}. The dipole supports the principle rather than threatening it: subtract our own motion and the sky is smooth to ΔT/T∼10−5\Delta T/T\sim10^{-5}.

2 · The scale of statistical homogeneity

Galaxy surveys show the universe is clumpy on small scales. Estimate the fractional density fluctuation inside a sphere of radius R=100 MpcR=100\ \mathrm{Mpc}, taking a mean number density of bright galaxies nˉ≈0.02 Mpc−3\bar n\approx0.02\ \mathrm{Mpc^{-3}}, and use it to explain why ∼100 Mpc\sim100\ \mathrm{Mpc} is called the scale of homogeneity.

Step 1. Volume of the sphere: V=43πR3=43π(100)3≈4.19×106 Mpc3V=\tfrac{4}{3}\pi R^3=\tfrac{4}{3}\pi(100)^3\approx\mathbf{4.19\times10^{6}\ Mpc^{3}}.

Step 2. Expected galaxy count: N=nˉ V=(0.02)(4.19×106)≈8.4×104N=\bar n\,V=(0.02)(4.19\times10^{6})\approx\mathbf{8.4\times10^{4}} galaxies.

Step 3. Poisson fluctuation. For a random (Poisson) sample the fractional scatter in the count is δPoisson=1/N=1/8.4×104≈0.35%\delta_{\text{Poisson}}=1/\sqrt{N}=1/\sqrt{8.4\times10^{4}}\approx\mathbf{0.35\%}. Even allowing for real clustering, which adds to this, the fractional density variation from one 100 Mpc100\ \mathrm{Mpc} sphere to another is only of order a percent.

Step 4. Interpret. On this scale the density is uniform to about a percent, whereas on a 1 Mpc1\ \mathrm{Mpc} scale (a single galaxy's neighbourhood) it fluctuates by orders of magnitude. Redshift surveys confirm this directly: the amplitude σ(R)\sigma(R) of density fluctuations, near unity at 8 h−1Mpc8\ h^{-1}\mathrm{Mpc}, falls to a few percent by 100 Mpc100\ \mathrm{Mpc}, and the galaxy distribution's correlation dimension climbs toward 33 — the value for a uniform fill. Above ∼100 Mpc\sim100\ \mathrm{Mpc} the fractional density contrast drops below a percent, which is what "statistically homogeneous" means and why the FLRW background is the right description there.

3 · How flat is space? A curvature-radius bound

The Planck data constrain the curvature parameter to ∣Ωk∣<0.005|\Omega_k|<0.005. Translate this into a lower bound on the radius of curvature of the spatial slices, and compare it with the size of the observable universe.

Step 1. The curvature radius relates to Ωk\Omega_k by Rcurv=(c/H0)/∣Ωk∣R_{\text{curv}}=(c/H_0)/\sqrt{|\Omega_k|}, where c/H0c/H_0 is the Hubble radius. With H0=67.4 km s−1 Mpc−1H_0=67.4\ \mathrm{km\,s^{-1}\,Mpc^{-1}}, c/H0=(2.998×105)/67.4≈4450 Mpc≈14.5 Glyc/H_0=(2.998\times10^{5})/67.4\approx\mathbf{4450\ Mpc}\approx14.5\ \mathrm{Gly}.

Step 2. Insert the bound: Rcurv>4450/0.005=4450/0.0707≈6.3×104 Mpc≈205 GlyR_{\text{curv}}>4450/\sqrt{0.005}=4450/0.0707\approx\mathbf{6.3\times10^{4}\ Mpc}\approx205\ \mathrm{Gly}.

Step 3. Compare. The radius of curvature of space exceeds the Hubble radius by more than a factor of ten, so within the observable universe the spatial slices are indistinguishable from flat (k=0k=0). Observation is consistent with a maximally symmetric flat slice whose curvature radius is at least ∼14\sim14 times the Hubble radius — the Cosmological Principle's geometry, confirmed to high precision.

Physics of the portrait

The Cosmological Principle is one of the rare foundational ideas whose name can be traced to a single person and a single year — the man who insisted that cosmology needed a stated first principle before it could be a science.

Origins · 1 minEdward Arthur Milne and how this was discovered
EA
Edward Arthur Milne
1896–1950 · relativistic cosmology and the foundations of the expanding universe

Edward Arthur Milne was an English astrophysicist and applied mathematician who, in a 1933 paper and his 1935 book Relativity, Gravitation and World-Structure, coined and elevated the phrase "the Cosmological Principle." Milne's insistence was philosophical as much as physical: cosmology, he argued, could only become a deductive science if it began from an explicit postulate about the uniformity of the universe, extending the Copernican demotion of humanity from the centre into a formal statement that no observer occupies a privileged place. His own programme, "kinematic relativity," was an ambitious and ultimately unsuccessful attempt to derive cosmology from the principle plus special relativity alone, without Einstein's field equations — but the framing survived even as the programme faded. In 1934, with William McCrea, Milne showed something startling that is still taught today: the Friedmann expansion equations can be obtained from Newtonian gravity applied to a uniform, expanding dust cloud, a derivation made legitimate precisely by the homogeneity the Cosmological Principle assumes. The "Milne model" — an empty, negatively curved universe expanding at constant rate — remains a standard reference case. Milne worked on stellar atmospheres and ballistics as well, was elected to the Royal Society in 1926, and died young at 54. His lasting monument is not a metric or an equation but a principle: the deliberate, testable assumption that the universe, on the largest scales, has no centre and no edge and no preferred direction — the sentence on which Friedmann, Lemaître, Robertson, and Walker built the standard cosmology.

History
1917
— Einstein builds the first relativistic cosmology on a uniform matter distribution
1922
— Friedmann derives expanding and contracting homogeneous, isotropic solutions
1933
— Milne coins and formalizes the term "cosmological principle"
1935
— Robertson and Walker prove the homogeneous, isotropic metric (FLRW) is unique
1965
— Penzias and Wilson discover the cosmic microwave background
1992
— COBE measures CMB anisotropies at ΔT/T ~ 10⁻⁵, confirming large-scale isotropy

Going further

Texts. Misner, Thorne & Wheeler, Gravitation, §27.1–27.3 · Wald, General Relativity, §5.1 · Carroll, Spacetime and Geometry, §8.1 · Hartle, Gravity, Ch. 18 · Schutz, A First Course in General Relativity, §12.1 · Weinberg, Cosmology, §1.1 · Weinberg, Gravitation and Cosmology, Ch. 13. The symmetry structure follows from the Killing-vector count Nmax⁡=12n(n+1)=6N_{\max}=\tfrac12 n(n+1)=6 for n=3n=3, the constant-curvature Riemann form Rijkl=(k/a2)(γikγjl−γilγjk)R_{ijkl}=(k/a^2)(\gamma_{ik}\gamma_{jl}-\gamma_{il}\gamma_{jk}), and (3)R=6k/a2^{(3)}R=6k/a^2. The implication "isotropy about every point ⇒ homogeneity" is the midpoint-rotation argument. Key numbers: the CMB dipole 3.36 mK3.36\ \mathrm{mK} gives ΔT/T=1.23×10−3\Delta T/T=1.23\times10^{-3} and v≈370 km/sv\approx370\ \mathrm{km/s} with T0=2.725 KT_0=2.725\ \mathrm{K}; intrinsic anisotropy RMS ≈18 μK\approx18\ \mathrm{\mu K} gives ΔT/T≈6.6×10−6∼10−5\Delta T/T\approx6.6\times10^{-6}\sim10^{-5}; a 100 Mpc100\ \mathrm{Mpc} sphere at nˉ≈0.02 Mpc−3\bar n\approx0.02\ \mathrm{Mpc^{-3}} holds ≈8.4×104\approx8.4\times10^{4} galaxies with Poisson scatter 0.35%0.35\%; and ∣Ωk∣<0.005|\Omega_k|<0.005 with H0=67.4 km s−1 Mpc−1H_0=67.4\ \mathrm{km\,s^{-1}\,Mpc^{-1}} gives a curvature radius >6.3×104 Mpc≈205 Gly>6.3\times10^{4}\ \mathrm{Mpc}\approx205\ \mathrm{Gly}.

Builds on: Killing Vectors and Spacetime Symmetries · Riemannian Geometry and Curvature · Einstein's Field Equations. Leads to: The FLRW Metric · Comoving and Proper Coordinates · The Scale Factor and Hubble Parameter · The Friedmann Equations.

Ask the tutor: Ask me to walk from the midpoint-rotation argument to the full FLRW metric, showing exactly how "no special place, no special direction" collapses ten metric functions down to the single scale factor a(t)a(t).

Is the Cosmological Principle a law of physics or an assumption?

It is an assumption — a hypothesis about our particular universe, not a consequence of general relativity. Einstein's equations permit wildly inhomogeneous and anisotropic solutions; nothing in the theory demands uniformity. What the Cosmological Principle does is select the symmetric solutions by fiat, on the grounds that the real universe appears to satisfy it on large scales. That is why it must be tested rather than proved, and why its empirical confirmation — the CMB isotropy, the measured scale of homogeneity — is a substantive discovery about the cosmos rather than a theorem. Historically Milne framed it as a first principle so that cosmology could proceed deductively, but its ultimate warrant is observational.

What is the difference between homogeneity and isotropy?

Homogeneity is sameness from place to place — invariance under translation, so the universe has no special location. Isotropy is sameness from direction to direction about a point — invariance under rotation, so there is no special direction there. They are genuinely independent: a universe threaded by a uniform magnetic field is homogeneous (identical everywhere) but anisotropic (the field picks out an axis), while a universe of concentric shells around you is isotropic for you but inhomogeneous. The one logical bridge is that isotropy holding about every point forces homogeneity — but the reverse is false, and isotropy about a single point forces nothing. The Cosmological Principle asserts both, on large scales.

Why does isotropy about every point imply homogeneity, but isotropy about one point does not?

Because homogeneity is about moving between arbitrary points, and you need isometries that connect them. If space is isotropic about every point, then given any two points you can rotate by π\pi about their midpoint — an isometry guaranteed by isotropy there — and that rotation carries one point to the other, proving them equivalent. This works only because you are allowed to use the isotropy at the interior midpoint. If isotropy holds about just one point, you have rotations about that single centre and nothing else, which is exactly the symmetry of an onion of shells — isotropic at the centre, but with no isometry connecting different radii, hence no homogeneity.

On what scale does the principle actually hold?

Only on large scales, and only statistically. Below about 100 Mpc100\ \mathrm{Mpc} the universe is emphatically not uniform: matter is bound into galaxies, galaxies into clusters, clusters into filaments and walls surrounding enormous voids, with density contrasts of many orders of magnitude. The Cosmological Principle applies to the coarse-grained density obtained by smoothing over volumes larger than the biggest structures. Galaxy surveys show the fractional density fluctuation dropping below a percent once you average over ∼100 Mpc\sim100\ \mathrm{Mpc} spheres, and the distribution's correlation dimension approaching 33 — the signature of a uniform fill. So the principle is a statement about the smoothed universe, and the FLRW model describes that smoothed background while structure is treated as perturbations upon it.

Why does the Cosmological Principle force space to have constant curvature?

Because homogeneity and isotropy together make the spatial slice maximally symmetric — it carries the maximum six Killing vectors — and maximal symmetry is extremely restrictive. In such a space every point looks like every other and every direction like every other, so the curvature cannot vary from place to place or twist to depend on direction. The only curvature tensor consistent with that much symmetry is Rijkl=(k/a2)(γikγjl−γilγjk)R_{ijkl}=(k/a^2)(\gamma_{ik}\gamma_{jl}-\gamma_{il}\gamma_{jk}), in which the curvature is a single constant. Its sign then splits the possibilities into exactly three geometries — closed, flat, open — which is the origin of the discrete label kk in the FLRW metric.

How does the Cosmological Principle lead to the FLRW metric?

In two steps. First, homogeneity and isotropy force each spatial slice to be a maximally symmetric 3-space of constant curvature, whose metric is dΣk2=dr2/(1−kr2)+r2dΩ2\mathrm{d}\Sigma_k^2=\mathrm{d}r^2/(1-kr^2)+r^2\mathrm{d}\Omega^2 with k=+1,0,−1k=+1,0,-1. Second, the same symmetry provides a preferred family of comoving observers who all see the universe as isotropic; the proper time they measure is the cosmic time tt, and the slices of constant tt are orthogonal to their worldlines. Allowing the physical size of the slice to change with time introduces the scale factor a(t)a(t), and the full spacetime is ds2=−c2dt2+a2(t) dΣk2\mathrm{d}s^2=-c^2\mathrm{d}t^2+a^2(t)\,\mathrm{d}\Sigma_k^2. That is the FLRW metric — everything else in background cosmology is the dynamics of the single function a(t)a(t), set by the Friedmann equations.

Where this leads