Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Empirical Processes

Foreword

Now that we are comfortable with the essential probability, we cover the basic theory of empirical processes. This theory is very important moving forward.

More Convergence

I will now cover more theorems in weak convergence that are going to be of use.

Theorem 1: Let (Ω1,F1,P)(\Omega_1, \cal{F}_1, P) be a probability space. Also let (Ω2,F2)(\Omega_2, \cal{F}_2) and (Ω3,F3)(\Omega_3, \cal{F}_3) be measurable topological spaces. Assume that Xn:Ω1→Ω2X_n:\Omega_1 \to \Omega_2 is a sequence of random variables which converges to XX in law. If g:Ω2→Ω3g: \Omega_2 \to \Omega_3 is a continuous function, then g(Xn)g(X_n) converges to g(X)g(X) in law.

Proof: If f:Ω3→Rf: \Omega_3 \to R is a bounded and continuous function, then so is f∘gf \circ g.

∫f∘gdμn→∫f∘gdμ\int f\circ g d\mu_n \to \int f \circ g d\mu

Thus,

∫fdg∗μn→∫fdg∗μ\int f dg_*\mu_n \to \int f dg_*\mu

where g∗μg_*\mu is the pushforward of the pushforward. This proves the theorem.

Theorem 2: XnX_n and YnY_n are sequences of ranodm variables taking values on the euclidean space.

  1. If XnX_n weakly converges to 0, then it converges in probability (probability distribution of 0 is the dirac delta function).

  2. If XnX_n and YnY_n respectively converge to XX and 0 weakly, then Xn+YnX_n + Y_n weakly converges to XX.

Theorem 3: Assume that a sequence of random variables Xn{X_n} converges to XX weakly. If f is a continuous function and if

sup⁡nE[f(Xn)]<C\sup_n E[f(X_n)] < C

then the following hold:

  1. The integration E[∣f(X)∣]E[|f(X)|] takes a finite value.

  2. E[∣f(X)∣]≤lim sup⁡n→∞E[∣F(Xn)∣]E[|f(X)|] \leq \limsup_{n \to \infty} E[|F(X_n)|]

Definition (Asymptotically Uniformly Integrable) A sequence of real valued random variables XnX_n is said to be AUI if

lim⁡M→∞lim⁡n→∞sup⁡N≥nE[∣XN]{∣XN∣≥M}=0\lim_{M \to \infty} \lim_{n \to \infty} \sup_{N \geq n} E[|X_N]_{\{|X_N| \geq M\}} = 0

In Statistical Learning Theory, there is this case:

Zn=f(ξn)+anXnZ_n = f(\xi_n) + a_nX_n

We prove the following conditions.

  1. ZnZ_n is AUI.

  2. ξn\xi_n weakly converges to ξ\xi.

  3. The function ff is continuous.

  4. ana_n converges to 0.

  5. XnX_n weakly converges.

Then, we have that Zn→f(ξn)Z_n \to f(\xi_n) weakly, and thus, their expectations converge.