|
Proof sect:4-6-(5) <= .
Für ein ε>0 ist f in
Bε(z0)∖{z0} holomorph ohne Nullstelle.
Betrachte g(z):=1/f(z) in dieser Menge.
Nach Voraussetzung gilt g(z) → 0 für z → z0 .
Daraus folgt mit dem Hebbarkeitssatz sect:4-1,
dass g in Bε(z0) holomorph fortsetzbar ist
mit g(0)=0 . Also gibt es ein m∈N ,
so dass für z∈Bε(z0)
mit h(z0)=am≠0 ,
d.h. h hat keine Nullstelle in Bε(z0) .
Also ist auch 1/h in Bε(z0) holomorph, nach sect:3-4
|
|
| | =
| |
bk(z-z0)k
mit b0=
| | =
| | ≠0 .
|
|
|
Es folgt
d.h. f hat in z0 einen Pol m -ter Ordnung.
|