Satz von Picard
# Satz von Picard

Die Sätze von Picard (nach Émile Picard) sind Sätze der Funktionentheorie, eines Teilgebietes der Mathematik.

Sie lauten wie folgt:

* Der Kleine Satz von Picard besagt, dass das Bild jeder nicht-konstanten ganzen Funktion die gesamte komplexe Zahlenebene ist, aus der höchstens ein Punkt herausgenommen wurde.
* Der Große Satz von Picard besagt, dass eine holomorphe Funktion mit einer wesentlichen Singularität in jeder noch so kleinen Umgebung dieser Singularität jeden komplexen Wert mit höchstens einer Ausnahme unendlich oft annimmt.

## Bemerkungen

* In beiden Sätzen ist die eventuelle „Ausnahme eines Punktes“ offenbar nötig. Zum Beispiel bildet $z\mapsto e^{z}$ nicht auf $0$ ab, ebenso ist $0$ nicht im Bild von $z\mapsto e^{1/z}$ einer jeden punktierten Umgebung von $0$ enthalten.
* Der Kleine Satz folgt sofort aus dem Großen Satz, denn eine ganze Funktion ist entweder ein Polynom oder sie hat eine wesentliche Singularität in $\infty$.
* Der Große Satz verallgemeinert den Satz von Weierstraß-Casorati.
* Eine Vermutung von B. Elsner ist mit dem Großen Satz von Picard verwandt: Seien $U_{1},U_{2},\dots ,U_{n}$ offene zusammenhängende Teilmengen von $\mathbb {C}$, deren Vereinigung die punktierte offene Einheitskreisscheibe $\mathbb {E} \setminus \{0\}$ ist. Auf jedem $U_{j}$ sei eine schlichte (d. h. injektive holomorphe) Funktion $f_{j}$ gegeben, so dass $\mathrm {d} f_{j}=\mathrm {d} f_{k}$ auf jeder Schnittmenge $U_{j}\cap U_{k}$. Dann verschmelzen die Differentiale zu einer meromorphen 1-Form auf der Einheitskreisscheibe $\mathbb {E}$. (Im Fall, dass das Residuum verschwindet, folgt die Vermutung aus dem Großen Satz.)

## Beweis

Mit Hilfe der Theorie der j-Funktion kann ein kurzer Beweis des kleinen Satzes von Picard gegeben werden. Unter der Annahme, $f$ sei ganz und lasse die beiden Werte $a\not =b$ aus, ist die Funktion

    $g(z)={\frac {f(z)-a}{b-a}}$

ganz und lässt die Werte 0 und 1 aus. Die j-Funktion bildet nun die mit Spitzen vereinigte obere Halbebene $\mathbb {H} \cup \mathbb {Q} \cup \{\infty \}$ auf eine Riemannsche Fläche mit unendlich vielen Blättern und Verzweigungspunkten an den Bildpunkten $0,1$ und $\infty$ ab. Es folgt, dass ihre Inverse $j^{-1}$ diese Riemannsche Fläche (ohne Einschränkung) auf den Abschluss des Standardfundamentalbereichs ${\mathcal {F}}$ abbildet. Da $j'(\tau )\not =0$ für alle $\rho \not =\tau \not =i$ und $j'(i)=j'(\rho )=0$ und $j(i)=0$, $j(\rho )=1$ bzw. $j(\infty )=\infty$, ist $j^{-1}$ lokal analytisch für alle komplexen Werte außer 0 und 1. Daraus folgt, dass die Komposition

    $h(z)=j^{-1}(g(z))$

in jedem Punkt lokal analytisch ist, da $g$ gerade 0 und 1 auslässt. Damit lässt sich $h$ zu einer ganzen Funktion ausdehnen, für welche allerdings $|e^{ih(z)}|<1$ für alle $z\in \mathbb {C}$ gelten muss, da $\mathrm {Im} \,h(z)>0$. Daraus folgt mit dem Satz von Liouville, dass $h$ und folglich auch $f$ konstant ist.

