Euclidean and Non-Euclidean Geometry

A self-contained spine tracing one of the great stories in mathematics: from Euclid's five postulates and the two-thousand-year struggle to prove the parallel postulate, through the discovery of consistent hyperbolic and elliptic geometries, to the modern Riemannian synthesis that unifies all three as spaces of constant curvature

$$K=0(\text{Euclidean}),K<0(\text{hyperbolic}),K>0(\text{elliptic / spherical}),$$

classified by their curvature and their isometry groups.

These pages are companion material to the rest of the Mathematics section. They reuse the manifold and tangent-space machinery of topology-manifolds.md and the multivariable calculus of the analysis spine rather than re-deriving them, and they supply the technical content that the philosophy of space and time and special relativity sections take for granted — most sharply, that the hyperbolic isometry group $O(n,1)$ is the Lorentz group and the hyperboloid model is the relativistic velocity space.

Contents

A. Synthetic Euclidean geometry

1. Euclid's Axioms and the Axiomatic Method — the five postulates and common notions, the gaps Euclid left (betweenness, continuity), and Hilbert's modern repair.
2. Neutral (Absolute) Geometry — the theorems provable without the parallel postulate: the exterior-angle theorem, the Saccheri–Legendre bound $\text{(angle sum)}\le \pi$, existence of parallels.
3. The Parallel Postulate and Its Equivalents — Playfair's axiom, angle-sum $=\pi$, rectangles, similarity, Pythagoras; the Saccheri–Lambert quadrilaterals and the three hypotheses.
4. Core Euclidean Results — congruence, similarity, the Pythagorean theorem, and the classification of plane isometries.

B. The non-Euclidean revolution

5. Discovery and History — Saccheri, Lambert, Gauss, Bolyai, Lobachevsky, Riemann, Beltrami; the collapse of geometry as synthetic a priori.
6. Hyperbolic Geometry — many parallels, angle defect, the angle of parallelism, horocycles, and the constant $K<0$.
7. Elliptic and Spherical Geometry — no parallels, spherical excess (Girard's theorem), great circles, and ${\mathbb{RP}}^2$.

C. Models and consistency

8. Models of Hyperbolic Geometry — the Beltrami–Klein, Poincaré (disk and half-plane), and hyperboloid models, with metrics and dictionaries between them.
9. Relative Consistency and Independence — models prove hyperbolic geometry consistent iff Euclidean geometry is; hence the parallel postulate is independent. The end of the classical problem.
10. Coordinatization and the Theory of $\mathbb{R}$ — Hilbert's segment arithmetic builds the coordinate field from the axioms; real closed fields, Tarski's decidability, and geometry as semialgebraic sets.

D. The metric / Riemannian synthesis

11. From Synthetic to Metric Geometry — coordinates, the metric tensor $g_{ij}$, and the line element $d{s}^2=g_{ij}d{x}^{i}d{x}^j$.
12. Geodesics and Curvature — geodesics, the Levi-Civita connection, Gaussian curvature, Theorema Egregium, and Gauss–Bonnet.
13. The Three Geometries as Constant Curvature — the classification $K=0,<0,>0$, the unified law $\text{(defect)}=K\cdot \text{area}$, and the space forms ${\mathbb{E}}^n,{\mathbb{H}}^n,S^n$. The capstone.
14. Isometry Groups and Homogeneity — $E(n)$, $O(n+1)$, $O(n,1)$; each geometry as a homogeneous space $G/H$; the bridge to the Lorentz group of special relativity.

E. Unifying viewpoints

15. Klein's Erlangen Program — geometry as the study of the invariants of a transformation group.
16. Projective Geometry — points at infinity, duality, cross-ratio, and the Cayley–Klein metric recovering all three geometries.

Dependency graph

graph TD
  EA[1 euclid-axioms] --> NG[2 neutral-geometry]
  NG --> PP[3 parallel-postulate]
  PP --> ER[4 euclidean-results]
  PP --> DH[5 discovery-history]
  DH --> HG[6 hyperbolic-geometry]
  DH --> EG[7 elliptic-geometry]
  HG --> MO[8 models]
  EG --> MO
  MO --> IN[9 independence]
  PP --> IN
  IN --> CO[10 coordinatization]
  CO --> MG[11 metric-geometry]
  MG --> CV[12 curvature]
  CV --> CC[13 constant-curvature]
  HG --> CC
  EG --> CC
  CC --> IG[14 isometry-groups]
  ER --> IG
  IG --> ERL[15 erlangen-program]
  MO --> PG[16 projective-geometry]
  CO -.reuse.-> PG
  ERL --> PG
  TM[../topology-manifolds.md] -.reuse.-> MG
  DF[../analysis/12-differential-forms.md] -.reuse.-> CV
  GT[../group-theory/00-README.md] -.reuse.-> IG
  MT[../../logic/model-theory.md] -.reuse.-> CO
  IG --> SR[../../physics/SR/group/lorentz-poincare.md]

Reading order

Read A → B → C → D in order: the synthetic axioms (A) isolate the parallel postulate as the pivot; the revolution (B) exhibits the two consistent alternatives; the model constructions (C) prove the postulate independent; and the metric synthesis (D) recasts all three geometries as constant-curvature Riemannian spaces and connects them to physics. Part E is optional breadth that retro-unifies the whole spine through transformation groups.

The Riemannian pages (10–13) presuppose the manifold and tangent-space material of topology-manifolds.md §2 and the multivariable calculus of analysis/multivariable.md; the isometry-group page (13) reuses group-theory/README.md. Readers comfortable with those can jump straight to Part D for the modern classification. Readers who only want the historical/logical story can stop after Part C.