spezielle Teilmenge eines topologischen Raumes.

Seien X ein topologischer Raum und G eine Transformationsgruppe von X. Zu jedem x ∈ X ist die Bahn G(x) definiert als Menge aller g(x) mit g ∈ G. Dann heißt die Menge F ⊂ X ein Fundamentalbereich, wenn für jedes x ∈ X gilt: G(x) ∩ F ist eine einelementige Menge.

Ein Fundamentalbereich stellt also eine Selektion aus der Bahnenmenge dar. Meist fordert man zusätzlich, daß ein Fundamentalbereich ein nichtleeres Inneres haben muß.

Beispiel: Seien X die reelle Zahlengerade und G die Gruppe der Translationen in X um einen ganzzahligen Wert. Dann ist das halboffene Intervall [o, 1) ein Fundamentalbereich. Es gilt sogar: Die zusammenhängenden Fundamentalbereiche für dieses Beispiel sind genau die halboffenen Intervalle der Länge 1.