Tasks

Convergence in Probability vs. Almost Sure Convergence

Instructions

Theory Overview

In probability, a sequence of random variables can converge in different ways. This experiment explores a famous example that highlights the difference between two important types:

  • Convergence in Probability: The sequence \(X_n\) converges to \(X\) if, as \(n\) gets large, the probability that \(X_n\) is far from \(X\) becomes vanishingly small.
  • Almost Sure Convergence: A much stronger condition. For any specific outcome \(\omega\), the sequence of numbers \(X_n(\omega)\) must converge to \(X(\omega)\). This means individual sample paths must eventually "settle down" at the limit.

Procedure

  • Read the experiment setting which defines the "moving, shrinking rectangles" sequence \(X_n\).
  • Enter a value for \(\omega\) in the range (0, 1). This represents picking a single outcome from all possibilities.
  • Enter a block number \(k\). Each block contains \(2^{k-1}\) random variables.
  • Click "Check". The tool will find the specific random variable \(X_n\) within that block where its value is 1 for your chosen \(\omega\).
  • Observe how for any \(\omega\), you can always find an \(X_n=1\) in any block, no matter how large \(k\) is. This proves the sequence of outcomes \(X_n(\omega)\) never settles to 0, and thus does not converge almost surely.

Experiment Setting: The Moving, Shrinking Rectangles

We define a sequence of random variables \(X_n\) on the probability space \(\Omega = (0, 1]\). For each integer \(k \geq 1\), the block of variables from \(X_{2^{k-1}}\) to \(X_{2^k-1}\) are defined. Each variable in this block is 1 on a unique sub-interval of (0, 1] of length \(2^{-(k-1)}\), and 0 otherwise. This sequence converges to 0 in probability because the width of these intervals (i.e., the probability of being 1) shrinks to zero. However, does it converge almost surely?

Figure showing intervals for the random variables
Observations

Enter values for \(\omega\) and \(k\), then click "Check" to begin the analysis.