Potenzreihe/Konvergenz in einem Punkt/Absolut gleichmäßige Konvergenz im Radius/Fakt/Beweis

Beweis

Wir werden Fakt auf ${}T=B\left(a,r\right)$ anwenden. Wegen der Konvergenz für ${}z=b$ sind die Summanden ${}c_{n}(b-a)^{n}$ nach Fakt eine Nullfolge, d.h. es gibt insbesondere ein ${}M>0$ mit

${}\vert {c_{n}(b-a)^{n}}\vert \leq M\,$

für alle ${}n\in \mathbb {N}$. Daher gelten für jedes ${}z\in B\left(a,r\right)$ die Abschätzungen

${}\vert {c_{n}(z-a)^{n}}\vert =\vert {c_{n}(b-a)^{n}}\vert \cdot \vert {\frac {z-a}{b-a}}\vert ^{n}\leq M\cdot \vert {\frac {z-a}{b-a}}\vert ^{n}\leq M{\left({\frac {r}{\vert {b-a}\vert }}\right)}^{n}\,.$

Dabei ist nach Voraussetzung

${}{\frac {r}{\vert {b-a}\vert }}<1\,.$

Daher liegen rechts (bis auf den Vorfaktor ${}M$) die Summanden einer nach Fakt konvergenten geometrische Reihe vor. Deren Grenzwert liefert eine obere Schranke für die Reihe der Supremumsnormen.

Zur bewiesenen Aussage