Über einige reihentheoretische Sätze. (Q2607153)

\textit{Knopp} hatte bewiesen (S.-B. Berliner math. Ges. 24 (1925), 3-5; F.~d.~M. 51, 178-179): Zur Konvergenz von \(\sum u_n\) ist notwendig und hinreichend, daß \[ \sum_{\nu=0}^{n}u_{\nu}p_{\nu}=o(p_n) \tag{1} \] sei für \textit{jede} \(p\)-Folge \(0<p_1<p_2<\cdots.p_n \to \infty\). Verf. zeigte (Math. Z. 40 (1935), 421-425; F.~d.~M. 61\(_{\text{I}}\), 217) ergänzend: Für jede \(p\)-Folge ist (1) äquivalent mit \[ \sum_{\nu=n+1}^{n'+1}u_{\nu} \to 0 \tag{2} \] für jedes \(n'\), für das \(p_n \leqq p_{n'} \leqq \lambda p_n\) bei einem festen \(\lambda > 1\) ist. Für die eine Hälfte des Beweises dieses Satzes gibt Verf. in der vorliegenden Note einen wesentlich vereinfachten Beweis im Anschluß an den für die andre Hälfte schon von \textit{Knopp} gegebenen. Dabei kann (2) sogar durch eine etwas allgemeinere Bedingung ersetzt werden. In den anschließenden {\S\S} 2, 3 werden noch einige weitere Sätze angegeben, die demselben Ideenkreise angehören. Es sei der folgende genannt: Für eine gegebene \(p\)-Folge sei \(\sum\limits_{\nu=1}^{n}p_{\nu}U_{\nu}>0\). Dann folgt aus \[ \sum\limits_{\nu=1}^{n}p_{\nu}u_{\nu} = O\left( \sum\limits_{\nu=1}^{n}p_{\nu}U_{\nu} \right) \qquad (n \to \infty) \] und der Konvergenz der Reihe \(\sum U_{\nu}\) die der Reihe \(\sum u_{\nu}\), der dann in verschiedener Weise verallgemeinert wird. Endlich wird gezeigt, daß für die üblichen Konvergenzbedingungen bei den Limitierungs-Umkehrsätzen äquivalente Formen angegeben werden können, die der Bedingung (1) entsprechen.