Riemannsche Fläche/Meromorphe Funktion/Abbildung nach projektive Gerade/Fakt/Beweis

Beweis

Es liegt unmittelbar die holomorphe Funktion

$X\setminus \operatorname {Pol} (f)\longrightarrow {\mathbb {C} }\subseteq {\mathbb {P} }_{\mathbb {C} }^{1}$

vor. Das die beschriebene Fortsetzung nach ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ ebenfalls holomorph ist, kann man für jeden einzelnen Punkt ${}P$, an dem ein Pol vorliegt, nachweisen. Es habe also ${}f$ einen Pol in ${}P$ und sei ${}P\in U\subseteq X$ eine offene Kreisscheibenumgebung, auf der ${}f$ keine Nullstelle und keinen weiteren Pol besitze. Es besitzt dann ${}f$ auf ${}U$ (bzw. dem zugehörigen Kartenbild) eine Laurent-Entwicklung ${}\sum _{n=k}^{\infty }c_{n}z^{n}$ mit ${}k\in \mathbb {Z} _{-}$ und ${}c_{k}\neq 0$. Wir schreiben

${}f=\sum _{n=k}^{\infty }c_{n}z^{n}=z^{k}{\left(\sum _{m=0}^{\infty }c_{k+m}z^{m}\right)}=z^{k}g(z)\,.$

Es ist ${}g(z)$ holomorph ohne Nullstelle und daher ist

${}{\frac {1}{g(z)}}=h(z)\,$

holomorph (auf einer eventuell kleineren Umgebung). Die zusammengesetzte Abbildung

$U\setminus \{0\}{\stackrel {f}{\longrightarrow }}{\mathbb {C} }^{\times }{\stackrel {w\mapsto w^{-1}}{\longrightarrow }}{\mathbb {C} }\subseteq {\mathbb {P} }_{\mathbb {C} }^{1}$

ist ${}z\mapsto z^{-k}h(z)$. Diese lässt sich durch ${}0\mapsto 0$ holomorph fortsetzen. Da sich die projektive Gerade aus den beiden ${}{\mathbb {C} }$ mit der Identifizierung ${}z=w^{-1}$ auf ${}{\mathbb {C} }^{\times }$ zusammenklebt, liegt eine wohldefinierte Abbildung in die projektive Gerade vor.

Zur bewiesenen Aussage