Verallgemeinerung eines Rückschlußsatzes der Wahrscheinlichkeitsrechnung. (Q2601055)

Es wird der folgende, mit sämtlichen Voraussetzungen hier wörtlich wiedergegebene Satz bewiesen, durch den ein in dem Buche des Verf. (Wahrscheinlichkeitsrechnung und allgemeine Integrationstheorie, 1936; F.~d.~M. 62\(_{\text{I}}\), 585) formulierter Satz verallgemeinert wird. Satz: \(F\) sei ein Wahrscheinlichkeitsfeld, \(\{X^{(i)}\} \, (i = 1, \,2, \,3, \ldots)\) eine Folge von assoziierten Treppenfunktionen in ihm, und es gelte: (1) Jedes \(X^{(i)}\) nehme nur \(k\) (dabei soll \(k\) unabhängig von \(i\) sein) verschiedene Werte \(x_1^{(i)}, \,x_2^{(i)}, \ldots \!, x_k^{(i)}\) an, deren Beträge in \(i\) gleichmäßig beschränkt seien, und zwar werde der Wert \(x_{\nu}^{(i)}\) von \(X^{(i)}\) mit der Wahrscheinlichkeit \(p_{\nu}^{(i)}\) angenommen. (2) Es gebe ein \(c > 0\) so, daß gilt \[ \sigma_{X^{(i)}}^2 > c \quad \text{für} \quad i =1, \,2, \,3, \ldots \] (3) Es existiere für \(\nu = 1, \,2, \ldots \!, k\) \[ \lim_{s \to \infty} \frac{1}{s} \sum_{i=1}^{s} p_{\nu}^{(i)}=p_{\nu} \quad \text{und} \quad \lim_{s \to \infty} \frac{1}{s} \sum_{i=1}^{s} x_{\nu}^{(i)}=x_{\nu}, \] und es gelte \[ \lim_{s \to \infty} \frac{1}{s} \sum_{i=1}^{s} p_{\nu}^{(i) 2}=p_{\nu}^2 \quad \text{und} \quad \lim_{s \to \infty} \frac{1}{s} \sum_{i=1}^{s} x_{\nu}^{(i) 2}=x_{\nu}^2. \] Unter diesen drei Voraussetzungen gilt: Setzt man \[ \chi_s^2 \,(R)=\sum_{\lambda=1}^{k} a_{\lambda}^{(s)} \, (R) \left\{ x_{\lambda} - \sum_{\nu=1}^{k} \frac{a_{\nu}^{(s)} \, (R)}{s} \, x_{\nu} \right\}^2, \] wo \(a_{\lambda}^{(s)} \, (R)\) angibt, wie oft für \(i = 1, \,2, \ldots \!, s\) für diese Realisierung \(R\) gilt: \(X^{(i)} \,(R) = x_{\lambda}^{(i)}\), und ist \(\varPi_s \,(u_1, \,u_2)\) die Wahrscheinlichkeit der Ungleichung \[ X_s + u_1 \, \chi_s \, \sqrt{2} < \overline{X}_s \leqq X_s + u_2 \, \chi_s \, \sqrt{2}, \] wo \(X_s=\sum\limits_{i=1}^{s} X^{(i)}\) sein soll, so folgt \[ \lim_{s \to \infty} \varPi_s \,(u_1, \,u_2) = \frac{1}{\sqrt{\pi}} \int\limits_{u_1}^{u_2} e^{-u^2} \, du. \]