Fixpunktsatz für ganze Funktionen
# Fixpunktsatz für ganze Funktionen

Der Fixpunktsatz für ganze Funktionen ist ein Lehrsatz der Komplexen Analysis, welcher auf eine Arbeit des französischen Mathematikers Pierre Fatou aus dem Jahr 1926 zurückgeht. Er wurde von dem amerikanischen Mathematiker Paul C. Rosenbloom im Jahr 1948 wiederentdeckt und in der Folge weiter verallgemeinert.

Der Satz ergibt sich als Folgerung aus dem Kleinen Satz von Picard.

## Formulierung des Satzes

„Für eine ganze Funktion $f\colon \,\mathbb {C} \to \mathbb {C}$ hat die verkettete Funktion ${f\circ f}\colon \,\mathbb {C} \to \mathbb {C}$ stets einen Fixpunkt, es sei denn, $f$ ist eine Translation $z\mapsto f(z)=z+z_{0}$ mit $z_{0}\in \mathbb {C} \setminus \{0\}$.“

## Abgrenzung

Hingegen brauchen ganze Funktionen $f\colon \,\mathbb {C} \to \mathbb {C}$ selbst keine Fixpunkte zu besitzen. Ein einfaches Beispiel hierfür liefert die Funktion $z\mapsto f(z)={z+\exp(z)}$, welche sicher „fixpunktfrei“ ist, da nämlich die komplexe Exponentialfunktion $\exp$ keine Nullstellen hat .

