a constant-curvature space

Among all curved spaces, three are perfectly uniform: the same in every direction and at every point, with no special spot and no preferred orientation. These are the constant-curvature spaces, and there are exactly three model types, sorted by the sign of their curvature: the sphere (positive), ordinary flat Euclidean space (zero), and hyperbolic space (negative). They are the round, the flat, and the saddle — the cleanest geometries there are, and the standard against which all others are measured.

Precisely, a Riemannian manifold has constant curvature if its sectional curvature K takes the same value in every 2-plane at every point. The sign of K fixes the model up to scale: K > 0 gives the sphere (here triangles bulge, their angles summing to more than 180 degrees), K = 0 gives Euclidean space (the familiar geometry, angle sum exactly 180), and K < 0 gives hyperbolic space (triangles are pinched, angle sum less than 180). These three are the unique simply-connected complete examples, the model spaces or 'space forms', and they are maximally symmetric — every constant-curvature space looks identical from any point in any direction, the strongest symmetry a geometry can have.

Constant-curvature spaces are the keystone of non-Euclidean geometry: hyperbolic space is the long-sought model showing the parallel postulate is independent, neither provable nor refutable from Euclid's other axioms. They make the abstract concrete, since every general theorem can first be checked against these three clean cases. The honest historical point is that the discovery of hyperbolic geometry did not show Euclid was wrong — Euclidean geometry is simply the K = 0 member of a family of three equally consistent options, and which one describes physical space is a question for measurement, not logic.