Sur les fonctions indépendantes. V. (Q2596081)

Die für alle \(x\) erklärte Funktion \(\varphi \,(x)\) erfülle folgende Bedingungen: \[ \varphi \,(x+1) = \varphi \,(x), \] \[ |\, \varphi \,(x^{\prime}) - \varphi \,(x^{\prime \prime}) \,| < h \, |\,x^{\prime} - x^{\prime \prime} \,|^{\alpha} \qquad (0 < \alpha, \;\; x^{\prime} \neq x^{\prime \prime}), \] \[ \int\limits_{0}^{1} \varphi \,(x) \,dx=0, \quad \int\limits_{0}^{1} \varphi^2 \,(x) \,dx=1; \] dann gilt für jedes reelle \(a\) und \(b\) \[ \lim_{n \to \infty} \, \left| \, \underset{x} E \left( a<\frac{1}{\sqrt{2n}} \, \sum_{\varkappa=1}^{n} \varphi \, \left( 2^{\frac{\varkappa \,(\varkappa-1)}{2}} \, x \right) <b \right)\, \right| = \frac{1}{\sqrt{\pi}} \int\limits_{a}^{b} e^{-y^2} \, dy. \] Ferner divergiert und konvergiert die Reihe \[ \sum_{\varkappa=1}^{\infty} c_{\varkappa} \, \varphi \, \left( 2^{\frac{\varkappa \,(\varkappa-1)}{2}} \, x \right) \] fast überall in \(\langle 0, \,1 \rangle\) zugleich mit \(\sum\limits_{\varkappa=1}^{\infty} c_{\varkappa}^2\). Zum Beweis teilt Verf. das Intervall \(\langle 0, \,1 \rangle\) in \(2^{\varkappa}\) gleiche Teile und wählt die Zahlen \(x_j\) gemäß \[ \frac{j}{2^{\varkappa}} \leqq x_j < \frac{j+1}{2^{\varkappa}} \qquad (j=0, \,1, \ldots \!, 2^{\varkappa}-1). \] Setzt man \[ g_{\varkappa} \,(x) = \varphi \,(x_j) \quad \text{für} \quad \frac{j}{2^{\varkappa}} \leqq x \leqq \frac{j+1}{2^{\varkappa}} \] und \[ f_{\varkappa} \,(x) = g_{\varkappa} \, \left( 2^{\frac{\varkappa \,(\varkappa-1)}{2}} \, x \right), \] so bilden die \(f_{\varkappa} \,(x)\) ein System von unabhängigen Funktionen. Die genannten Sätze folgen dann aus den vom Verf. bzw. Verf. und \textit{Steinhaus} in Stud. Math., Lwów, 6 (1936), 46-58, 59-66 entwickelten Eigenschaften der unabhängigen Funktionensysteme (F.~d.~M. 62\(_{\text{I}}\), 273-274). (IV 16.)