Relation entre les fonctions de répartition de deux suites dépendant l'une de l'autre. (Q1450306)

\((\alpha_\nu )\) sei eine gegebene Zahlenfolge, \(r_n(x)\) die Anzahl ihrer Glieder \(\alpha_\nu\leqq x\) mit einem Index \(\nu < n\), und \(\alpha (x) = \lim\limits_{n\to\infty}\dfrac{r_n(x)}{n}\) existiere; \(\alpha (x)\) heißt dann die Verteilungsfunktion von \(\alpha_\nu\). Weiter sei \(\varphi (x, y)\) gleich \(0\) bzw. \(1\), je nachdem der Wert der gegebenen Funktion \(\varphi (x)\) größer oder nicht größer als \(y\) ist, und es gelte \(\alpha\leqq\varphi (x)\leqq\beta\) für \(a\leqq x\leqq b\). Es wird bewiesen: Wenn \(\alpha (x)\) die Verteilungsfunktion von \((\alpha_\nu )\) und \(\varphi (x)\) im \textit{Riemann-Stieltjes}schen Sinne in bezug auf \(\alpha (x)\) integrierbar ist, dann stellt \[ \beta (y) = \int\limits_a^b \varphi (x,y)d(\alpha (x)) \tag{1} \] in allen seinen Stetigkeitspunkten die Verteilungsfunktion von \(\{\beta_\nu\} = \{\varphi (\alpha_\nu )\}\) dar. Unter der weiteren Voraussetzung, daß \(f(x)\) in \(<\alpha, \beta >\) stetig ist, gilt für die Umformung von \textit{Stieltjes}schen Integralen die Formel \[ \int\limits_a^b f(\varphi (x)) d(\alpha (x)) = \int\limits_a^b f(y) d(\beta (y)), \tag{2} \] wo \(\beta (y)\) aus (1) zu entnehmen ist. (IV 2.)