The Erlangen Program: Sorting Shapes

At the time of its publication, geometry was fragmented. Klein’s program synthesized the work of Riemann, Gauss, and others, providing a formal structure that defined geometry through the lens of group theory.

The hierarchy of geometries: Affine geometry is a sub-geometry of Projective geometry. By restricting the transformation group, one can derive Euclidean geometry from Affine geometry.

Felix Klein's 1872 'Vergleichende Betrachtungen über neuere geometrische Forschungen' (Comparative Review of Recent Researches in Geometry) established that geometry is the study of properties invariant under a group of transformations.

The program shifted the focus from specific objects to the underlying symmetry groups. This approach is essential for modern physics and advanced mathematics, particularly in how we understand space-time.

Given a space and a transformation group, the geometry is defined by the invariants of that group. For example, Projective geometry is defined by the group of projective transformations, where parallel lines may intersect.