Monotone and Dominated Convergence Theorems
The two rules that tell you when it is safe to swap a limit and an expectation — the difference between "the average of the limit" and "the limit of the average," which are not always the same number.
Prerequisites: Kolmogorov's Axioms of Probability
Suppose a sequence of random variables converges to some as grows. It is tempting to assume converges to — that you can just swap the limit and the expectation. This is false in general, and the gap between "limit of the averages" and "average of the limit" is not a technicality; it is where entire pricing models go wrong if ignored. Monotone and dominated convergence are the two conditions under which the swap is actually legal.
The analogy: a shrinking spike
Picture a sequence of narrow spikes on a graph, each one taller and thinner than the last, always covering exactly one unit of area, marching off toward a single point. At every fixed location the spike's height eventually goes to zero — the sequence of heights converges to the flat zero function. But the area under each spike stays at 1 forever; it never goes to zero. So the limit of the areas is 1, while the area of the limit (the flat zero function) is 0. Swapping limit and integral silently lost all the area. Monotone and dominated convergence are exactly the two situations where this kind of vanishing-area trick cannot happen, so the swap is guaranteed safe.
Writing it down
Monotone convergence theorem (MCT). If is a non-negative, non-decreasing sequence of random variables converging pointwise to , then
In words: if the sequence only ever climbs (never dips) and stays non-negative, the expectation of where it ends up equals the limit of the expectations along the way — no area can leak out because nothing is allowed to shrink.
Dominated convergence theorem (DCT). If pointwise and there exists a single fixed random variable with and for every (every term in the sequence, forever, stays under one shared "umbrella"), then again
In words: as long as an integrable umbrella bounds every term in the sequence, no term can sneak off to build up unbounded area the way the spike example did — the umbrella caps how much area could possibly hide.
Worked example 1: MCT on a simple increasing sequence
Let for a non-negative random variable with (a "capped" version of , capped at level ). As grows, only ever increases (raising the cap can only let more value through, never less) and pointwise. Since , MCT applies directly: . Concretely, with the cap throws away most of the upside so ; with almost nothing is capped so ; the sequence of expectations climbs monotonically toward 5, exactly tracking the theorem.
Worked example 2: DCT rescuing a shrinking-tail calculation
Let for exponential with mean 2, so . As , pointwise (eventually exceeds any fixed outcome, so the indicator turns on and stays on). Does ? Check the DCT condition: for every (capping the indicator only ever removes mass, never adds it), and , so itself is a valid umbrella. DCT applies: . Contrast this with the spike example above, where no finite umbrella exists (the spikes get arbitrarily tall) — that is precisely why the swap failed there and succeeds here.
What this means in practice
Every time a pricing model computes an expected payoff as time steps, or a risk model takes a limit of a discretised sum of losses, it is implicitly relying on MCT or DCT to justify swapping a limit with an expectation. Monte Carlo pricing, martingale convergence arguments, and the justification for Fubini-style reordering all lean on these theorems. Without them, "more simulation paths converges to the true price" would be an assumption, not a proven fact.
Limits and expectations can only be swapped under specific conditions: MCT requires the sequence to be non-negative and non-decreasing; DCT requires a single integrable "umbrella" bounding every term. Without one of these, the limit of the expectations and the expectation of the limit can genuinely disagree.
The classic trap is assuming pointwise convergence, , is by itself enough to conclude . It is not — the shrinking-spike example above converges pointwise to zero everywhere while every expectation stays at 1 forever. Before swapping a limit and an expectation, always check that either the sequence is monotone non-negative (MCT) or that a single integrable bound covers every term (DCT); neither condition is automatic just because the sequence "obviously" settles down.
Related concepts
Practice in interviews
Further reading
- Billingsley, Probability and Measure (ch. 4-5)
- Williams, Probability with Martingales (ch. 5)