Riemannsche Flächen/Holomorphe Abbildung/Verzweigungsdivisor/Einfache Eigenschaften/Fakt

Es sei ${}\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den zusammenhängenden riemannschen Fläche ${}X$ und ${}Y$ mit dem Verzweigungsdivisor ${}R$. Dann gelten folgende Aussagen

1. Der Verzweigungsdivisor ist in der Tat ein Divisor.
2. Es ist ${}\varphi$ genau in den Punkten des Trägers von ${}R$ verzweigt.
3. Wenn ${}\varphi$ lokal auf offenen Kreisscheiben ${}U\subseteq X$ bzw. ${}V\subseteq Y$ durch eine holomorphe Funktion ${}f\colon U\rightarrow V$ beschrieben wird, so ist für ${}P\in U$ die Ordnung ${}R_{P}$ gleich der Nullstellenordnung von ${}f'$ in ${}P$.

Einen Beweis erstellen