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. It is named after Eduard Helly and Hubert Evelyn Bray.
Let F and F1, F2,... be cumulative distribution functions on the real line. The Helly–Bray theorem states that if Fn converges weakly to F, then
for each bounded, continuous function g: RR, where the integrals involved are Riemann-Stieltjes integrals.
Note that if X and X1, X2,... are random variables corresponding to these distribution functions, then the Helly–Bray theorem does not imply that E → E, since g = x is not a bounded function.
In fact, a stronger and more general theorem holds. Let P and P1, P2,... be probability measures on some set S. Then Pn converges weakly to P if and only if
for all bounded, continuous and real-valued functions on S.
The more general theorem above is sometimes taken as defining weak convergence of measures .