Komplexe Potenzreihe/Entwicklungssatz/Fakt/Beweis

Beweis

Zur Notationsvereinfachung sei ${}a=0$, ${}b\in U{\left(0,R\right)}$ und ${}z\in U{\left(b,R-\vert {b}\vert \right)}$. Wir betrachten die Familie

$x_{ni}=c_{n}{\binom {n}{i}}(z-b)^{i}b^{n-i},\,n\in \mathbb {N} ,\,i\in \{0,1,\ldots ,n\}.$

 Wir zeigen zuerst, dass diese Familie

summierbar ist. Dies folgt aus der Abschätzung (unter Verwendung von Aufgabe)

${}{\begin{aligned}\sum _{n=0,\ldots ,N,\,i=0,\ldots ,n}\vert {c_{n}{\binom {n}{i}}(z-b)^{i}b^{n-i}}\vert &\leq \sum _{n=0}^{N}\vert {c_{n}}\vert {\left(\sum _{i=0}^{n}{\binom {n}{i}}\vert {z-b}\vert ^{i}\vert {b}\vert ^{n-i}\right)}\\&=\sum _{n=0}^{N}\vert {c_{n}}\vert {\left(\vert {z-b}\vert +\vert {b}\vert \right)}^{n}\end{aligned}}$

und daraus, dass wegen ${}\vert {z-b}\vert +\vert {b}\vert <R$ gemäß Fakt die rechte Seite für beliebiges ${}N$ beschränkt ist.
Wegen der Summierbarkeit gelten aufgrund des großen Umordnungssatzes die Gleichungen

${}{\begin{aligned}f(z)&=\sum _{n=0}^{\infty }c_{n}z^{n}\\&=\sum _{n=0}^{\infty }c_{n}((z-b)+b)^{n}\\&=\sum _{n=0}^{\infty }c_{n}{\left(\sum _{i=0}^{n}{\binom {n}{i}}(z-b)^{i}b^{n-i}\right)}\\&=\sum _{n\in \mathbb {N} ,\,i=0,\ldots ,n}c_{n}{\binom {n}{i}}(z-b)^{i}b^{n-i}\\&=\sum _{i=0}^{\infty }{\left(\sum _{n=i}^{\infty }{\binom {n}{i}}c_{n}b^{n-i}\right)}(z-b)^{i}\\&=\sum _{i=0}^{\infty }d_{i}(z-b)^{i}.\end{aligned}}$

Zur bewiesenen Aussage