Erlangen program
In mathematics, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. It was published by Felix Klein in 1872 as Vergleichende Betrachtungen über neuere geometrische Forschungen. It is named after the University Erlangen-Nürnberg, where Klein worked.
By 1872, non-Euclidean geometries had emerged, but without a way to determine their hierarchy and relationships. Klein's method was fundamentally innovative in three ways:
Later, Élie Cartan generalized Klein's homogeneous model spaces to Cartan connections on certain principal bundles, which generalized Riemannian geometry.
The problems of nineteenth century geometry[edit]
Since Euclid, geometry had meant the geometry of Euclidean space of two dimensions (plane geometry) or of three dimensions (solid geometry). In the first half of the nineteenth century there had been several developments complicating the picture. Mathematical applications required geometry of four or more dimensions; the close scrutiny of the foundations of the traditional Euclidean geometry had revealed the independence of the parallel postulate from the others, and non-Euclidean geometry had been born. Klein proposed an idea that all these new geometries are just special cases of the projective geometry, as already developed by Poncelet, Möbius, Cayley and others. Klein also strongly suggested to mathematical physicists that even a moderate cultivation of the projective purview might bring substantial benefits to them.
With every geometry, Klein associated an underlying group of symmetries. The hierarchy of geometries is thus mathematically represented as a hierarchy of these groups, and hierarchy of their invariants. For example, lengths, angles and areas are preserved with respect to the Euclidean group of symmetries, while only the incidence structure and the cross-ratio are preserved under the most general projective transformations. A concept of parallelism, which is preserved in affine geometry, is not meaningful in projective geometry. Then, by abstracting the underlying groups of symmetries from the geometries, the relationships between them can be re-established at the group level. Since the group of affine geometry is a subgroup of the group of projective geometry, any notion invariant in projective geometry is a priori meaningful in affine geometry; but not the other way round. If you remove required symmetries, you have a more powerful theory but fewer concepts and theorems (which will be deeper and more general).
Influence on later work[edit]
The long-term effects of the Erlangen program can be seen all over pure mathematics (see tacit use at congruence (geometry), for example); and the idea of transformations and of synthesis using groups of symmetry has become standard in physics.
When topology is routinely described in terms of properties invariant under homeomorphism, one can see the underlying idea in operation. The groups involved will be infinite-dimensional in almost all cases – and not Lie groups – but the philosophy is the same. Of course this mostly speaks to the pedagogical influence of Klein. Books such as those by H.S.M. Coxeter routinely used the Erlangen program approach to help 'place' geometries. In pedagogic terms, the program became transformation geometry, a mixed blessing in the sense that it builds on stronger intuitions than the style of Euclid, but is less easily converted into a logical system.
In his book Structuralism (1970) Jean Piaget says, "In the eyes of contemporary structuralist mathematicians, like Bourbaki, the Erlangen program amounts to only a partial victory for structuralism, since they want to subordinate all mathematics, not just geometry, to the idea of structure."
For a geometry and its group, an element of the group is sometimes called a motion of the geometry. For example, one can learn about the Poincaré half-plane model of hyperbolic geometry through a development based on hyperbolic motions. Such a development enables one to methodically prove the ultraparallel theorem by successive motions.