Beschreibung
Definition
Sei eine hyperbolische Isometrie mit Achse . (d.h. eine eindeutige von erhaltene Lokale Geodätische). Sei und sei die eindeutige Geodätische durch , die auf senkrecht steht. Sei der Halbraum separiert durch , welcher nicht enthält. Sei der Halbraum separiert durch , welcher nicht enthält
Dann gilt \phi(\H^2 \backslash U_-) \subseteq U_+ und \phi(U_-) = \H^2\backslash U_+