Ein Rahmen, der Geometrien durch ihre Symmetriegruppen klassifiziert und charakterisiert: Geometrie wird als die Untersuchung der Eigenschaften definiert, die invariant unter einer gewählten Transformationsgruppe auf einem Raum sind, sodass unterschiedliche Gruppen unterschiedliche Geometrien erzeugen.

Prinzip

Ersetze eine a priori Raumvorstellung durch das Paar (Raum, Transformationsgruppe); Invarianten der Gruppe bestimmen die relevanten geometrischen Objekte und Relationen, sodass Geometrie auf Gruppentheorie und Invariantentheorie zurückgeführt wird.

Demonstration

Euklidische Geometrie ergibt sich aus der Gruppe der Isometrien von R^n (Erhalt der Abstände); projektive Geometrie aus der projektiven linearen Gruppe auf projektivem Raum; konforme Geometrie aus der Gruppe, die Winkel erhält. Der Vergleich der Gruppen erklärt, welche Begriffe (Abstand, Winkel, Inzidenz) bewahrt werden.

Fehlanwendung

Das Erlanger Programm so zu interpretieren, dass es metrische Informationen liefert, wenn die gewählte Symmetriegruppe diese nicht bestimmt, oder globale Topologie mit der durch Symmetrien bestimmten Klassifikation zu verwechseln, ist ein Missbrauch; ebenso ignoriert die reine Reduktion auf Gruppeninvarianten analytische oder lokale Krümmungsdaten.

Konsequenz

Bietet eine vereinheitlichende Sprache zum Vergleich von Geometrien, zur Herleitung invarianten Konstruktionen und zur Klassifikation homogener Geometrien durch Untergruppstrukturen; es leitet Modellbildungen in der Geometrie und die Suche nach invarianten Größen.

Umkehrung

Eine Umkehrung betont lokale differentielle Invarianten (Riemanns Programm): statt mit einer globalen Transformationsgruppe zu beginnen, fokussiert man auf lokale Metriktensoren und Krümmungsinvarianten, die nicht unbedingt durch eine einzige globale Symmetriegruppe erfasst werden.

Abgrenzung

Gilt vornehmlich für homogene oder transformationsbasierte Geometrien, in denen eine hervorgehobene Gruppenwirkung existiert; weniger aussagekräftig ist es für Probleme, bei denen lokale analytische Strukturen, Singularitäten oder kombinatorisch/topologische Invarianten dominieren.

Semantische Spannung

Spannung zwischen Kleins globaler, symmetriezentrierter Sichtweise und Riemanns lokaler, metrikorientierter Perspektive; manche Strukturen lassen sich besser als Gruppeninvarianten verstehen, andere erfordern lokale differentielle Analyse.

Synthese

Das Erlanger Programm ordnet Geometrie nach Symmetrie: wähle eine Transformationsgruppe auf einem Raum und untersuche die unter ihr invarianten Strukturen, wodurch Geometrietypen nach ihren zulässigen Symmetrien und verbleibenden invarianten Größen klassifiziert werden.