Satz über wandernde Gebiete

In der Mathematik ist der Satz über wandernde Gebiete (engl. no-wandering-domain theorem) ein Lehrsatz aus der Theorie dynamischer Systeme. Er besagt, dass durch Iteration einer rationalen Abbildung in der komplexen Zahlenebene keine wandernden Gebiete entstehen.

Der Satz wurde in den 20er Jahren von Pierre Fatou und Gaston Julia vermutet und 1982 von Dennis Sullivan bewiesen.

Wandernde Gebiete

Sei ${\widehat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}$ die Riemannsche Zahlenkugel und $f\colon {\widehat {\mathbb {C} }}\to {\widehat {\mathbb {C} }}$ eine holomorphe Abbildung. Die Fatou-Menge ist die Menge aller Punkte $z,$ in denen die Folge der Iterierten $f^{k}(z)$ gleichgradig stetig ist, das heißt, das $\delta$ in der $\varepsilon$ - $\delta$ -Definition von Stetigkeit hängt nicht von $k$ ab. Die Fatou-Menge kann aus verschiedenen (evtl. unendlich vielen) Zusammenhangskomponenten bestehen. Für eine Zusammenhangskomponente $U$ ist $f(U)$ ebenfalls eine Zusammenhangskomponente der Fatou-Menge.

Eine Zusammenhangskomponente $U$ heißt ein wanderndes Gebiet, wenn die Folge $f^{k}(U)$ aus unendlich vielen unterschiedlichen Zusammenhangskomponenten besteht. Andernfalls, wenn die Folge $f^{k}(U)$ letztendlich periodisch wird, spricht man von einem nichtwandernden Gebiet.