Almost Sure Convergence, Convergence in Probability, and Convergence in Distribution

definitionProbability
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: Initial published version; Phase 1, approved by Aaron.

Let (Xm)mN(X_m)_{m\in\mathbb{N}} and XX be \reftext{def:probability-space-random-variable-2026a}{random variables} on a common probability space (Ω,F,P)(\Omega,\mathcal{F},P) (for convergence in distribution, a common space is not required).

  1. (Xm)(X_m) converges to XX \textbf{almost surely} if
P({ωΩ:Xm(ω)X(ω)})=1,P\bigl(\{\omega\in\Omega: X_m(\omega)\to X(\omega)\}\bigr)=1,

with pointwise convergence in the sense of \ref{def:limit-sequence-real-c54-2026a}; the set in question is an event, since it equals jkmk{XmX1/j}\bigcap_{j}\bigcup_{k}\bigcap_{m\ge k}\{|X_m-X|\le 1/j\} over j,kNj,k\in\mathbb{N}, and XmX|X_m-X| is a random variable by Step 0(a) of the proof of \ref{thm:linearity-monotonicity-integral-2026a}.

  1. (Xm)(X_m) converges to XX \textbf{in probability} if for every ε>0\varepsilon>0,
P(XmXε)0(m).P\bigl(|X_m-X|\ge\varepsilon\bigr)\longrightarrow 0\qquad(m\to\infty).
  1. (Xm)(X_m) converges to XX \textbf{in distribution} if
FXm(t)FX(t)(m)F_{X_m}(t)\longrightarrow F_X(t)\qquad(m\to\infty)

for every tRt\in\mathbb{R} at which the \reftext{def:distribution-cdf-random-variable-2026a}{cumulative distribution function} FXF_X is \reftext{def:continuous-at-point-c54-2026b}{continuous}.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…