The Cosmological Principle

The Cosmological Principle is the founding hypothesis of modern cosmology, and its entire content is a claim about symmetry: viewed on scales large enough to smear individual galaxies and clusters into a smooth paste, the universe looks the same at every location (spatial homogeneity, invariance under translations) and the same in every direction (isotropy, invariance under rotations). These are the strongest symmetries one can demand of space while still allowing the whole thing to evolve in time, and their reward is enormous economy. The ten independent components of the spacetime metric collapse to a single time-dependent function — the scale factor $a(t)$ — and one discrete constant $k$ that fixes the sign of spatial curvature. Without this assumption Einstein's equations for the universe are hopelessly underdetermined; with it, they reduce to the two ordinary Friedmann equations this chapter's siblings solve. The principle is not a theorem but a well-tested working posture, rooted in the Copernican refusal to grant Earth a special place. And it is unavoidably a statement about scale. On scales of a few megaparsecs the matter distribution is violently clumpy — the cosmic web of filaments, sheets, and voids — with density contrast $\delta = (\rho - \bar\rho)/\bar\rho$ far larger than one; only when the averaging volume grows past roughly $100\ \mathrm{Mpc}$ do fluctuations become small and the description settle onto a smooth mean. Read correctly, then, the Cosmological Principle is a claim about the mean and statistical properties of the cosmos, the leftover deviations serving as the seeds that perturbation theory grows into galaxies. Three empirical legs hold it up: the near-perfect isotropy of the microwave background, the measured onset of statistical homogeneity in galaxy surveys, and the direction-independent linearity of the Hubble–Lemaître law.

Key takeaways

On scales ≳ 100 Mpc the universe is taken to be spatially homogeneous (the same everywhere) and isotropic (the same in every direction), so no observer holds a privileged seat.
Homogeneity and isotropy are logically distinct: isotropy about every point implies homogeneity, but one observer seeing an isotropic sky does not by itself prove it.
The principle is an idealisation — matter forms a lumpy cosmic web — that becomes accurate only after averaging over volumes larger than the homogeneity scale $r_{\mathrm{hom}} \approx 100\ \mathrm{Mpc}$ .
Imposed on spacetime, these maximal spatial symmetries force the metric into the unique FLRW form, whose only freedoms are the scale factor $a(t)$ and the curvature sign $k \in \{-1,0,+1\}$ .
The observational pillars are the CMB (isotropic to $\sim 10^{-5}$ after removing a $1.2\times10^{-3}$ dipole), the transition to homogeneity in SDSS/2dF, and the linear Hubble law.
Key idea: isotropy about every point is mathematically equivalent to homogeneity plus isotropy; imposing these maximal spatial symmetries reduces the cosmic metric to the FLRW form, leaving only $a(t)$ and the curvature sign $k$ to be fixed by physics.

The core insight

Isotropy about every point in space is mathematically equivalent to homogeneity plus isotropy; imposing these maximal spatial symmetries reduces the cosmic metric to the FLRW form, leaving only the scale factor $a(t)$ and the curvature sign $k$ to be determined by physics.

Where this lives today

The Cosmological Principle stopped being a philosophical posture and became a measured quantity. Galaxy redshift surveys — 2dFGRS, then SDSS with its main and luminous-red-galaxy samples — confirmed that the counts-in-spheres fractal dimension climbs to $D_2 \approx 3$ (uniform filling) beyond roughly $70$ – $100\ \mathrm{Mpc}$ , precisely the transition of Worked example 2; DESI and Euclid now push the same test to higher redshift and larger volumes. Meanwhile the principle is under active adversarial scrutiny: claimed large-scale structures (the Sloan Great Wall, the Giant Arc, the Big Ring) and reported anisotropies — the CMB low-multipole "axis of evil" alignments, and a persistent dipole in the number counts of distant radio sources and quasars sitting several-sigma above the value the CMB dipole predicts — are tension points that, if they survive better data, would strain the principle at the largest scales. Resolving whether these are statistical flukes, unmodelled systematics, or genuine cracks is a live open problem, pursued exactly in the spirit Milne demanded: the principle is stated sharply enough to be attacked.

The physical picture

Paint galaxies onto a rubber sheet and then blur your eyes until the individual dots dissolve into a uniform grey. That grey — not the exact placement of any galaxy, but its smoothed-out average — is what the Cosmological Principle describes, and it claims the grey has the same shade everywhere. Isotropy is the statement that the sky looks statistically identical whichever way you turn. Homogeneity is the stronger statement that every other galaxy would report the same sky. If both hold, the universe has no centre and no edge: any point can be called the origin, exactly as no point on the surface of a sphere is special. The subtlety the first figure insists on is that all of this is true only after you average — zoom in and the smoothness is a fiction, because on small scales the matter lives in filaments and drains out of vast empty voids.

Figure

The Cosmological Principle is scale-dependent: below about 10 Mpc the matter is a clumpy cosmic web with density contrast δ = (ρ − ρ̄)/ρ̄ ≫ 1, but averaged over volumes larger than ≈ 100 Mpc the density approaches the smooth background ρ̄(t) that FLRW assumes

Why does isotropy seen at every point add up to homogeneity? Because rotations glue points together. To carry your location onto a neighbour's, string together a sequence of rotations about intermediate centres; if every centre sees the same rotationally-symmetric universe, then sliding along that chain cannot change what the universe looks like, so all points are equivalent. This is the logical engine that lets the Copernican assumption — that we are not privileged — upgrade the isotropy we measure into the full homogeneity the FLRW metric needs. The second figure turns the qualitative "smooth on large scales" into a real number: measure how much a galaxy over-counts its neighbours inside a sphere, watch that excess decay as the sphere grows, and read off the scale where it falls to one percent.

Figure

Approach to statistical homogeneity: the fractional excess of galaxy neighbours inside a sphere, 2.5·(r₀/R)^1.8 for correlation length r₀ = 5 Mpc and slope γ = 1.8, falls from 250% at 5 Mpc to 1% at R ≈ 107 Mpc — the homogeneity scale beyond which the smooth FLRW background is an excellent approximation

The core equations

The principle enters the mathematics as a set of constraints, and each constraint below is a direct translation of "same everywhere, same in every direction". We begin with the fluid, pass to the geometry it must live in, and end with the statistical test that decides where the idealisation earns its keep. Homogeneity and isotropy of the cosmic fluid mean every scalar built from the matter — its energy density and pressure — can depend on cosmic time but not on position. This is the smoothed "grey" made quantitative.

\rho(t,\mathbf{x}) = \bar\rho(t), \qquad p(t,\mathbf{x}) = \bar p(t) \qquad (1)

where: $\rho, p$ — energy density and pressure of the cosmic fluid; $\bar\rho, \bar p$ — spatially averaged background values, functions of cosmic time only; $t$ — cosmic (proper) time of comoving observers; $\mathbf{x}$ — comoving spatial coordinate. Reading: a homogeneous fluid has no map — every position reports the identical density, so the only variable left is the clock reading $t$ . Isotropy plus homogeneity force each spatial slice to be maximally symmetric, and a maximally symmetric space has its curvature completely fixed by a single number $K$ : the Riemann tensor is built from the metric alone.

R_{ijkl} = K\left(g_{ik}g_{jl} - g_{il}g_{jk}\right), \qquad K = \frac{k}{a^2(t)} \qquad (2)

where: $R_{ijkl}$ — Riemann curvature tensor of a constant-time spatial slice; $g_{ij}$ — spatial metric; $K$ — the single curvature scalar the symmetry permits; $k$ — dimensionless curvature constant, rescalable to $-1, 0, +1$ . Reading: no direction and no location can be distinguished, so curvature cannot vary — it is one constant, and its sign is the only geometric choice the universe gets to make. Feeding a constant-curvature 3-space into a spacetime with a universal cosmic time yields the Friedmann–Lemaître–Robertson–Walker (FLRW) line element — the unique metric compatible with the Cosmological Principle.

\mathrm{d}s^2 = -c^2\,\mathrm{d}t^2 + a^2(t)\left[\frac{\mathrm{d}r^2}{1-kr^2} + r^2\left(\mathrm{d}\theta^2 + \sin^2\theta\,\mathrm{d}\phi^2\right)\right] \qquad (3)

where: $\mathrm{d}s^2$ — spacetime interval; $c$ — speed of light; $a(t)$ — scale factor, the one time-dependent freedom, normalised so $a(t_0)=1$ today; $k$ — curvature constant; $r,\theta,\phi$ — comoving spherical coordinates. Reading: symmetry has eaten every unknown function except $a(t)$ and every constant except the sign of $k$ — this is why cosmology becomes tractable. Because comoving observers keep fixed coordinates while space stretches, physical separations grow in lockstep with the scale factor, and differentiating that statement produces the Hubble–Lemaître law as the only velocity field homogeneity allows.

\mathbf{r}(t) = a(t)\,\mathbf{x} \quad\Longrightarrow\quad \mathbf{v} = \dot{\mathbf{r}} = \frac{\dot a}{a}\,\mathbf{r} \equiv H(t)\,\mathbf{r} \qquad (4)

where: $\mathbf{r}(t)$ — physical (proper) separation; $\mathbf{x}$ — fixed comoving coordinate; $\mathbf{v}$ — recession velocity; $H(t) \equiv \dot a/a$ — Hubble parameter. Reading: linearity is not an accident of nearby galaxies — it is forced, because only $\mathbf{v} \propto \mathbf{r}$ looks the same to every observer (Derivation B). Finally, the empirical form of the principle is the vanishing of galaxy clustering at large separation: the two-point correlation function decays to zero, and the excess of neighbours inside a sphere drops below any threshold beyond the homogeneity scale.

\xi(r) \to 0, \qquad \frac{N_{\mathrm{exc}}(<R)}{N_{\mathrm{rand}}} = \frac{3}{3-\gamma}\left(\frac{r_0}{R}\right)^{\gamma} \xrightarrow{R \gtrsim r_{\mathrm{hom}}} 0 \qquad (5)

where: $\xi(r)$ — two-point galaxy correlation function; $r_0$ — correlation length ( $\approx 5\ \mathrm{Mpc}$ ); $\gamma$ — clustering slope ( $\approx 1.8$ ); $R$ — sphere radius; $r_{\mathrm{hom}} \approx 100\ \mathrm{Mpc}$ — homogeneity scale. Reading: the principle is falsifiable — it predicts this excess must fade to zero, and the data (Worked example 2, second figure) say it does near $100\ \mathrm{Mpc}$ .

Derivation AIsotropy about every point is equivalent to homogeneity plus isotropy

The goal is to prove the logical hinge on which the whole edifice turns: that a universe looking isotropic to observers at every point is necessarily homogeneous, so that the Copernican assumption — we are typical — legitimately promotes the isotropy we alone can measure into the universal homogeneity the FLRW metric demands. The argument is purely geometric, uses only that rotations about a point are symmetries when that point sees an isotropic sky, and gives the precise sense in which "isotropy everywhere" and "homogeneity plus isotropy" are the same statement rather than two independent inputs.

Step 1. Take any two spatial points $A$ and $B$ ; we must exhibit a symmetry of the universe that carries the physical state at $A$ onto the state at $B$ . Why: homogeneity is exactly the existence of such a symmetry for every pair of points, so producing one is producing homogeneity.

Step 2. Let $P$ be a point equidistant from $A$ and $B$ . A rotation about $P$ through the appropriate angle carries $A$ into $B$ , and because the universe is isotropic about $P$ this rotation is an isometry — it leaves all physical fields unchanged. Why: isotropy about a point is precisely the invariance of the universe under rotations centred there, which is what makes the rotation a genuine symmetry and not merely a relabelling.

Step 3. Points too far apart to share a single equidistant centre are joined by a finite chain of such rotations about intermediate centres; the composition of isometries is again an isometry, so the composite map $g$ carries $A$ to $B$ . Why: symmetries form a group, so chaining short rotational hops reaches arbitrarily distant points while remaining a symmetry at every link.

Step 4. Therefore $g(\text{state at } A) = \text{state at } B$ for arbitrary $A, B$ , which is the definition of homogeneity. The converse fails on its own — a uniform magnetic field is homogeneous yet picks out a direction, hence anisotropic — so both conditions are genuinely needed, and "isotropy about every point" packages exactly the pair. Why: the one-way counterexample shows homogeneity does not imply isotropy, confirming the two statements are distinct and that isotropy-everywhere is the strictly stronger, sufficient hypothesis. *Verified: standard result — Weinberg, Gravitation and Cosmology §13.1; Ryden, Introduction to Cosmology ch. 2.*

Go deeper · Derivation B · 2 minHomogeneous expansion forces the linear Hubble–Lemaître law

Derivation BHomogeneous expansion forces the linear Hubble–Lemaître law

The goal is to show that the linearity of the recession law is not an empirical surprise fitted to nearby galaxies but a theorem: if the expansion is to look identical to every comoving observer, then velocity must be strictly proportional to separation, with a single time-dependent rate $H(t)=\dot a/a$ . We assume only homogeneity of the velocity field and isotropy of space, turn the "same law for everyone" requirement into a functional equation, solve it, and identify the proportionality constant with the logarithmic derivative of the scale factor — recovering equation (4) from symmetry alone.

Step 1. Consider three comoving galaxies $A$ , $B$ , $C$ and let $\mathbf{v}(\mathbf{r})$ denote the recession velocity a comoving observer assigns to a galaxy at separation $\mathbf{r}$ . Homogeneity demands this function be the same for the observer at $A$ and the observer at $B$ . Why: if the law differed between observers, comparing them would reveal a preferred location, contradicting homogeneity.

Step 2. Galilean addition of the separations, $\mathbf{r}_{AC} = \mathbf{r}_{AB} + \mathbf{r}_{BC}$ , together with the common law forces $\mathbf{v}(\mathbf{r}_{AB} + \mathbf{r}_{BC}) = \mathbf{v}(\mathbf{r}_{AB}) + \mathbf{v}(\mathbf{r}_{BC})$ . Why: the velocity of $C$ from $A$ must be the velocity of $B$ from $A$ plus the velocity of $C$ from $B$ , and homogeneity says each piece obeys the same $\mathbf{v}$ — this is additivity.

Step 3. Additivity is Cauchy's functional equation; its only continuous solutions are linear maps, so $\mathbf{v} = \mathsf{H}\,\mathbf{r}$ for some constant $3\times3$ matrix $\mathsf{H}$ . Why: continuity plus additivity rules out pathological solutions and pins the law to a matrix acting on the separation vector.

Step 4. Isotropy forbids any preferred direction, so $\mathsf{H}$ cannot have distinct eigen-directions — it must be a scalar multiple of the identity, $\mathsf{H} = H\,\mathbb{1}$ , giving $\mathbf{v} = H\,\mathbf{r}$ . Why: a non-scalar matrix would stretch space more along some axes than others, singling out directions and breaking isotropy.

Step 5. Identify $H$ physically by differentiating the comoving relation $\mathbf{r} = a(t)\,\mathbf{x}$ : with $\mathbf{x}$ fixed, $\dot{\mathbf{r}} = \dot a\,\mathbf{x} = (\dot a/a)\,\mathbf{r}$ , so $H(t) = \dot a/a$ . Why: this ties the abstract proportionality constant to the observable expansion rate, completing the passage from symmetry to the measured Hubble parameter. *Verified: reproduces the derivations in Ryden ch. 2 and Carroll & Ostlie §29.2.*

Go deeper · Derivation C · 2 minMaximal symmetry forces constant curvature and the FLRW metric

Derivation CMaximal symmetry forces constant curvature and the FLRW metric

The goal is to trace how the two words "homogeneous" and "isotropic" cascade all the way down to the specific FLRW line element of equation (3), leaving only $a(t)$ and $k$ free. The route runs through the counting of Killing vectors — the generators of continuous symmetries — up to the maximum a three-dimensional space can carry, then through the theorem that a maximally symmetric space has constant curvature, and finally through the rescaling that reduces the curvature to a discrete choice of sign. This is the geometric backbone that makes the Friedmann equations a two-line system rather than ten coupled nonlinear PDEs.

Step 1. Homogeneity supplies three independent translational Killing vectors (one per spatial direction) and isotropy supplies three rotational ones, for six in total — the maximum a 3-space admits, $n(n+1)/2 = 6$ for $n=3$ . Why: the number of independent symmetries a space can carry is capped, and saturating that cap is precisely what "maximally symmetric" means.

Step 2. A maximally symmetric space has its full Riemann tensor determined by the metric and one scalar, $R_{ijkl} = K(g_{ik}g_{jl} - g_{il}g_{jk})$ , with $K$ the same at every point and in every direction — equation (2). Why: with the maximal set of symmetries, curvature has no freedom to vary from place to place or axis to axis, so a single constant exhausts it.

Step 3. Solving for the spatial metric with constant $K$ gives the constant-curvature 3-metric $\mathrm{d}\ell^2 = a^2[\,\mathrm{d}r^2/(1-kr^2) + r^2\,\mathrm{d}\Omega^2\,]$ , where the overall factor $a^2(t)$ carries all time dependence and $k = K a^2$ is dimensionless. Why: pulling the physical scale out into $a(t)$ separates "how big" (dynamics) from "what shape" (the fixed sign of $k$ ), which is the division of labour that defines the scale factor.

Step 4. Rescaling the radial coordinate normalises $k$ to exactly one of $-1$ (open, hyperbolic), $0$ (flat, Euclidean), or $+1$ (closed, spherical); appending the universal cosmic-time term $-c^2\,\mathrm{d}t^2$ yields the FLRW metric (3). Why: only the sign of curvature is physical — its magnitude is absorbed into $a(t)$ — so the geometry of the universe reduces to a single three-way choice plus one evolving scale. *Verified: Weinberg §13.2; Dodelson, Modern Cosmology ch. 2; the maximal-symmetry count $n(n+1)/2$ is standard differential geometry.*

Limiting cases

The Cosmological Principle is a statement about scale, so its "limits" are limits of the averaging volume — and of how sharply one looks.

Case	Result	Meaning
Small scales (≲ 10 Mpc)	$\delta \equiv (\rho-\bar\rho)/\bar\rho \gg 1$	Strongly inhomogeneous: galaxies, clusters, and voids dominate; the principle fails and Newtonian / N-body dynamics rule.
Transition scale (≈ 100 Mpc)	$\langle \delta^2 \rangle^{1/2} \to \text{small}$	Statistical homogeneity sets in; the galaxy correlation function crosses zero and mean density becomes well defined.
Large scales (≳ 100 Mpc)	$\rho(\mathbf{x}) \approx \bar\rho(t)$	Density effectively uniform; FLRW is an excellent description of the background spacetime.
Whole-sky CMB	$\Delta T/T \sim 10^{-5}$	After removing the $1.2\times10^{-3}$ dipole, the microwave sky is isotropic to one part in $10^5$ — the sharpest test.
Flat limit ( $k \to 0$ )	$\mathrm{d}s^2 = -c^2\mathrm{d}t^2 + a^2(t)\,\mathrm{d}\mathbf{x}^2$	Euclidean spatial slices; the observed universe is consistent with $\|\Omega_k\| \lesssim 0.005$ , i.e. nearly flat.

Common trapIsotropy for one observer proves homogeneity

It does not. Isotropy about a single point is perfectly consistent with a radially varying, spherically symmetric "onion" universe centred on that observer — every direction looks the same from the centre, yet the density falls off with radius and the universe is grossly inhomogeneous. What we actually measure is isotropy about our location only; homogeneity follows solely when one adds the Copernican assumption that isotropy holds about every point (Derivation A). Skipping that step is the classic error, and not an idle one: inhomogeneous "void models" that abandon Copernicanism were seriously proposed to mimic dark energy, and had to be excluded by independent data rather than assumed away. Isotropy is what we see; homogeneity is what we infer, and the inference has a named premise.

Worked examples

1 · The CMB dipole and our peculiar velocity (fully worked)

Planck measures a microwave-background dipole of amplitude $\Delta T = 3.36\ \mathrm{mK}$ on a monopole temperature $T = 2.725\ \mathrm{K}$ . Interpreting it as a Doppler shift from our motion through the CMB rest frame, find that velocity and explain why the residual sky vindicates the principle.

Step 1. For a non-relativistic observer moving at speed $v \ll c$ , the first-order Doppler effect imprints a pure dipole on the blackbody sky of fractional amplitude $\Delta T/T = v/c$ . Compute the fractional amplitude: $\Delta T/T = (3.36\times10^{-3})/2.725 = \mathbf{1.23\times10^{-3}}$ .

Step 2. Solve for the velocity: $v = c\,(\Delta T/T) = (2.998\times10^{5}\ \mathrm{km\,s^{-1}})(1.23\times10^{-3}) = \mathbf{3.70\times10^{2}\ km\,s^{-1}}$ , i.e. about $370\ \mathrm{km\,s^{-1}}$ toward galactic coordinates $(l,b) \approx (264°, 48°)$ in Leo — the vector sum of the Sun's orbit in the Galaxy and the Galaxy's fall toward the Great Attractor.

Step 3. This dipole is a statement about us, not the universe: it is the one anisotropy the principle predicts we should see, arising purely from motion. Subtract it and the residual fluctuations drop to $\Delta T/T \sim 10^{-5}$ (an RMS of order $10\ \mu\mathrm{K}$ ), with no preferred axis. So in the comoving frame the last-scattering surface is isotropic to $\sim 10^{-5}$ , the sharpest confirmation that the universe looks the same in every direction — which, with the Copernican assumption, implies homogeneity.

2 · The homogeneity scale from galaxy clustering (fully worked)

Galaxy surveys fit the two-point correlation function as a power law $\xi(r) = (r/r_0)^{-\gamma}$ with correlation length $r_0 \approx 5\ \mathrm{Mpc}$ and slope $\gamma \approx 1.8$ . At what radius $R$ does the excess of galaxy neighbours inside a sphere fall to $1\%$ — the operational homogeneity scale?

Step 1. The mean number of excess neighbours (over a random distribution) inside radius $R$ is the volume integral of $\xi$ , normalised by the random count: $\dfrac{N_{\mathrm{exc}}}{N_{\mathrm{rand}}} = \dfrac{3}{R^3}\displaystyle\int_0^R \xi(r)\,r^2\,\mathrm{d}r = \dfrac{3}{R^3}\,r_0^{\gamma}\int_0^R r^{2-\gamma}\,\mathrm{d}r = \dfrac{3}{3-\gamma}\left(\dfrac{r_0}{R}\right)^{\gamma}$ .

Step 2. Insert the numbers in the prefactor: $\dfrac{3}{3-\gamma} = \dfrac{3}{3-1.8} = \dfrac{3}{1.2} = \mathbf{2.5}$ . So the excess is $2.5\,(r_0/R)^{1.8}$ — at $R = r_0 = 5\ \mathrm{Mpc}$ it is $250\%$ (matter is enormously clustered), at $R = 50\ \mathrm{Mpc}$ it is already down to $2.5(0.1)^{1.8} = 4.0\%$ .

Step 3. Set the excess equal to $0.01$ and solve for $R$ : $\left(r_0/R\right)^{1.8} = 0.01/2.5 = 0.004$ , so $r_0/R = 0.004^{1/1.8} = 0.0466$ and $R = 5/0.0466 = \mathbf{107\ Mpc}$ . The excess clustering falls to $1\%$ at $R \approx 107\ \mathrm{Mpc}$ — a first-principles estimate of the $\sim 100\ \mathrm{Mpc}$ homogeneity scale, and exactly the crossing plotted in the second figure.

Physics of the portrait

The Cosmological Principle has no single discoverer — Einstein assumed it, Friedmann and Lemaître built on it, Robertson and Walker proved its geometric consequence — but it has a namer. It was Edward Arthur Milne who, in 1933, gave the assumption its enduring name and its cleanest statement, and who insisted it be treated as a principle to be reasoned from rather than a lucky coincidence of the data.

Origins · 1 minEdward Milne and how this was discovered

Edward Milne

1896–1950 · kinematic relativity and the naming of the Cosmological Principle

Edward Arthur Milne was a British astrophysicist who came to cosmology from stellar work on radiative transfer and stellar atmospheres in the 1920s. In 1933, in "World Structure and the Expansion of the Universe", he introduced the term "Cosmological Principle" for the assumption that the universe presents the same aspect to every observer, elevating it from an unstated convenience — Einstein had simply assumed homogeneity and isotropy in his 1917 static model — into an explicit axiom from which cosmological models should be derived. Milne then pushed the idea to a provocative extreme with "kinematic relativity", building cosmology from the principle plus special relativity alone, without Einstein's field equations; the resulting empty, negatively curved "Milne universe" survives today as an instructive limiting case ( $a(t) \propto t$ , $k=-1$ , zero density) rather than a realistic model. His deeper legacy is methodological: the modern habit of stating symmetry assumptions openly and asking what they force. The stricter "Perfect Cosmological Principle" that Bondi, Gold, and Hoyle turned into the steady-state theory in 1948 was a direct descendant of his framing, and its later defeat by the CMB shows why isolating an assumption matters — only a sharply stated principle can be sharply falsified.

History

1917

— Einstein assumes homogeneity and isotropy to build the first (static) relativistic cosmological model

1922

— Friedmann derives the expanding and contracting solutions from the same symmetry

1927

— Lemaître independently links an expanding FLRW metric to the observed galaxy redshifts

1933

— Milne names the Cosmological Principle and states it as an explicit axiom

1935

— Robertson and Walker prove the FLRW line element is the unique homogeneous, isotropic metric

Going further

Texts. Ryden, Introduction to Cosmology, 2nd ed., ch. 2–3 (the principle, homogeneity, FLRW) · Carroll & Ostlie, An Introduction to Modern Astrophysics, 2nd ed., ch. 29 · Dodelson, Modern Cosmology, 2nd ed., ch. 2 · Mo, van den Bosch & White, Galaxy Formation and Evolution, ch. 3 · Weinberg, Gravitation and Cosmology, §13.1–13.2 · Binney & Tremaine, Galactic Dynamics, 2nd ed., §1.1.

Provenance. A verifier should confirm: (1) the FLRW line element and its restriction to constant-curvature spatial slices (Ryden ch. 3; Dodelson ch. 2; Weinberg §13.2); (2) the equivalence "isotropy about every point ⟺ homogeneity + isotropy" (Weinberg §13.1; Derivation A); (3) the Hubble law from homogeneity via Cauchy's functional equation (Carroll & Ostlie §29.2; Derivation B); (4) the numbers — CMB dipole $\Delta T/T \approx 1.23\times10^{-3}$ giving $v \approx 370\ \mathrm{km\,s^{-1}}$ , residual anisotropy $\sim10^{-5}$ , correlation length $r_0 \approx 5\ \mathrm{Mpc}$ and slope $\gamma \approx 1.8$ yielding a $1\%$ homogeneity scale $R \approx 107\ \mathrm{Mpc}$ (Worked examples 1–2; Planck 2018). Historical attributions (Einstein 1917, Friedmann 1922, Lemaître 1927, Milne 1933, Robertson–Walker 1935) are standard.

Prerequisites. Homogeneity and Isotropy in Cosmology · Comoving and Proper Coordinates. Leads to. The FLRW Metric · The Friedmann Equations · The Expansion of the Universe and the Scale Factor · Spatial Curvature of the Universe.

Ask the tutor: Ask me to show exactly how the FLRW metric of equation (3) feeds into the Einstein equations to give the two Friedmann equations for $a(t)$ .

Is the Cosmological Principle a proven fact or an assumption?

It is an assumption — a well-tested one, but not a theorem. Nothing in general relativity requires the universe to be homogeneous and isotropic; those are extra conditions we impose because the data support them and because they make the equations solvable. What observation directly establishes is isotropy about our location (the CMB, radio-source counts, the direction-independent Hubble law). Full homogeneity then follows only with the added Copernican premise that our location is not special. So the honest status is: isotropy is measured, homogeneity is inferred from isotropy plus Copernicanism, and the whole package is continually re-tested rather than assumed once and forgotten.

If the universe is expanding and has no centre, what is it expanding into?

Into nothing — the question assumes an outside that FLRW does not provide. Homogeneity means there is no edge and no centre, so expansion is not matter flying outward through pre-existing space from a special point; it is the metric distance between comoving points growing everywhere at once, encoded in $\mathbf{r}(t)=a(t)\,\mathbf{x}$ . Every observer sees all others receding by the same Hubble law and each equally regards itself as "at rest". A closed ( $k=+1$ ) universe is finite yet has no boundary, like the surface of a balloon; a flat or open one is infinite and was infinite at every past moment. There is no exterior region for space to invade.

How can homogeneity be true when I can plainly see galaxies, clusters, and empty voids?

Because it is a statement about averages over large volumes, not about any particular region. Below about $10\ \mathrm{Mpc}$ the density contrast $\delta$ is much larger than one — the cosmic web is real and clumpy — and the principle simply does not apply there. As you enlarge the averaging sphere the fluctuations shrink, and by $\sim100\ \mathrm{Mpc}$ the mean density is well defined and nearly the same wherever the sphere sits (Worked example 2). The lumps are not a violation; they are the small deviations from the smooth background that perturbation theory tracks and that eventually grow, under gravity, into the galaxies you see.

Why does homogeneity plus isotropy give exactly the FLRW metric and nothing else?

Because those two symmetries are maximal for a three-dimensional space, and a maximally symmetric space has constant curvature — its Riemann tensor is fixed by a single number (Derivation C). That leaves only the sign of the curvature, a discrete choice $k\in\{-1,0,+1\}$ , plus one overall time-dependent scale factor $a(t)$ multiplying the whole spatial part. Every other function that a generic metric could contain is forbidden by the symmetry. The result is the FLRW line element of equation (3): ten free metric components crushed down to one function and one sign. That collapse is precisely why the Einstein equations reduce to the two Friedmann equations.

Does the CMB dipole contradict isotropy?

No — it confirms the framework once you read it correctly. The dipole is a Doppler pattern imprinted by our motion at about $370\ \mathrm{km\,s^{-1}}$ relative to the CMB rest frame (Worked example 1); it says something about our velocity, not about the universe. The Cosmological Principle predicts that a moving observer should see exactly such a dipole. Once it is subtracted, the residual sky is isotropic to about one part in $10^5$ , with no preferred direction. Far from breaking isotropy, the dipole defines the special "comoving" frame in which the universe genuinely looks the same in every direction, and its magnitude is a clean measurement of our peculiar velocity.

What is the difference between the Cosmological Principle and the Perfect Cosmological Principle?

The ordinary Cosmological Principle demands sameness across space — homogeneity and isotropy on each slice of cosmic time — while allowing the universe to evolve, so $a(t)$ , the density, and the temperature all change as time passes. The Perfect Cosmological Principle, proposed by Bondi, Gold, and Hoyle in 1948, adds sameness across time: the universe should look the same at every epoch too. That stronger demand forced the steady-state model, with continuous creation of matter to keep the density constant during expansion. It made a sharp prediction — no evolution — and was decisively falsified: the CMB, quasar counts, and the changing galaxy population all show the universe was hotter and denser in the past. The ordinary principle survives; the perfect one does not.