Beschreibung
Ist eine Operation auf einem metrischen Raum kokompakt, so kann man jeden Punkt durch Gruppenoperationen über den ganzen Raum verschieben.
Definition
Ein metrischer Raum ist kokompakt, wenn man für einen beliebigen Orbit , Kreise mit Radius zeichnen kann, sodass alle Kreise überdecken. Oder: