Über den \textit{Taylor}schen Lehrsatz für Funktionen einer reellen Veränderlichen. (Q1480105)

In mehreren Arbeiten aus den Jahren 1893/94 hat \textit{Pringsheim} die Theorie der \textit{Taylor}schen Reihe für Funktionen einer reellen Veränderlichen insofern zu einem gewissen Abschluß gebracht, als er Bedingungen für die Gültigkeit der Entwicklung aufstellte, die zugleich notwendig \textit{und} hinreichend sind. Diese Bedingungen waren überraschend einfach, und \textit{Pringsheim} selbst glaubte sie mit den ``denkbar einfachsten'' Hülfsmitteln bewiesen zu haben. Nun ist es ihm doch ``neuerdings gelungen, den wesentlichsten Teil der betreffenden Deduktion, nämlich den Beweis für die Notwendigkeit einer gewissen Bedingung, so erheblich zu vereinfachen, daß er in seiner jetzigen Gestalt in jeder Elementarvorlesung über Differentialrechnung Platz finden könnte'' (\(\S\) 1). Aber auch für den hinreichenden Charakter der fraglichen Bedingungen gibt er einen neuen einfachen Beweis (\(\S\) 2). In \(\S\) 3 werden die genannten Bedingungen noch ein wenig reduziert; die- selben lauten nun vollständig: ``Ist \(f(x)\) in \(x_0\leqq x<x_0+R\) eindeutig, endlich und unbeschränkt differenzierbar, so gilt die Entwicklung \[ f(x_0+h)=\sum_{\nu=0}^\infty \frac{1}{\nu\,!} f^{(\nu)}\,(x_0)\cdot h^{_\nu}\qquad(0\leqq h<R), \] wenn für jedes \(r < R\) die Beziehung \[ \displaylines{\rlap{\qquad(a)} \hfill \lim_{n=\infty } \frac{1}{n\,!} f^{(n)}\,(x_0)\cdot r^n=0\hfill} \] besteht, und wenn, nach Annahme von \(r < R\), für jedes \(\varrho<R-r\) \[ \displaylines{\rlap{\qquad(b)} \hfill \lim_{n=\infty }\frac{1}{n\,!}f^{(n)} \,(x_0+h)\cdot \varrho^n=0\hfill} \] wird, und zwar gleichmäßig für \(0\leqq h\leqq r\).''