Helly–Bray theorem

In probability theory, the Helly–Bray theorem relates the weak convergence of cumulative distribution functions to the convergence of expectations of certain measurable functions. The first eponym is Eduard Helly.

Let "F" and "F"₁, "F"₂, ... be cumulative distribution functions on the real line. The Helly–Bray theorem states that if "F"_"n" converges weakly to "F", then

::$int\_mathbb\{R\}\; g(x),dF\_n(x)\; quadxrightarrow\; [n\; oinfty]\; \{\}quad\; int\_mathbb\{R\}\; g(x),dF(x)$

for each bounded, continuous function "g": R → R, where the integrals involved are Riemann-Stieltjes integrals.

Note that if "X" and "X"₁, "X"₂, ... are random variables corresponding to these distribution functions, then the Helly–Bray theorem does not imply that E("X"_"n") → E("X"), since "g"("x") = "x" is not a bounded function.

In fact, a stronger and more general theorem holds. Let "P" and "P"₁, "P"₂, ... be probability measures on some set "S". Then "P"_"n" converges weakly to "P" if and only if

::$int\_S\; g\; ,dP\_n\; quadxrightarrow\; [n\; oinfty]\; \{\}quad\; int\_S\; g\; ,dP,$

for all bounded, continuous and real-valued functions on "S". (The integrals in this version of the theorem are Lebesgue-Stieltjes integrals.)

The more general theorem above is sometimes taken as "defining" weak convergence of measures (see Billingsley, 1999, p. 3).

References

#cite book | author=Patrick Billingsley | title=Convergence of Probability Measures, 2nd ed. | publisher=John Wiley & Sons, New York| year=1999 | id=ISBN 0-471-19745-9

----