Quant Memo
Advanced

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 XnX_n converges to some XX as nn grows. It is tempting to assume E[Xn]E[X_n] converges to E[X]E[X] — 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 0X1X20 \leq X_1 \leq X_2 \leq \cdots is a non-negative, non-decreasing sequence of random variables converging pointwise to XX, then

limnE[Xn]=E[limnXn]=E[X].\lim_{n\to\infty} E[X_n] = E\left[\lim_{n\to\infty} X_n\right] = E[X] .

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 XnXX_n \to X pointwise and there exists a single fixed random variable YY with E[Y]<E[Y] < \infty and XnY|X_n| \leq Y for every nn (every term in the sequence, forever, stays under one shared "umbrella"), then again

limnE[Xn]=E[X].\lim_{n\to\infty} E[X_n] = E[X] .

In words: as long as an integrable umbrella YY 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.

n=1 n=5 n=20 each spike has area exactly 1 — but the height at any fixed x-value → 0
Three spikes, each with unit area, each narrower and taller than the last. Pointwise the function limits to zero everywhere, but the area never does — the limit and the integral disagree, which is exactly the failure MCT and DCT rule out.

Worked example 1: MCT on a simple increasing sequence

Let Xn=min(X,n)X_n = \min(X, n) for a non-negative random variable XX with E[X]=5E[X] = 5 (a "capped" version of XX, capped at level nn). As nn grows, XnX_n only ever increases (raising the cap can only let more value through, never less) and XnXX_n \to X pointwise. Since 0X1X20 \leq X_1 \leq X_2 \leq \cdots, MCT applies directly: limnE[Xn]=E[X]=5\lim_n E[X_n] = E[X] = 5. Concretely, with n=1n = 1 the cap throws away most of the upside so E[X1]<5E[X_1] < 5; with n=100n = 100 almost nothing is capped so E[X100]5E[X_{100}] \approx 5; the sequence of expectations climbs monotonically toward 5, exactly tracking the theorem.

Worked example 2: DCT rescuing a shrinking-tail calculation

Let Xn=X1(Xn)X_n = X \cdot \mathbb{1}(X \leq n) for XX exponential with mean 2, so E[X]=2E[X] = 2. As nn \to \infty, XnXX_n \to X pointwise (eventually nn exceeds any fixed outcome, so the indicator turns on and stays on). Does E[Xn]E[X]E[X_n] \to E[X]? Check the DCT condition: XnX|X_n| \leq X for every nn (capping the indicator only ever removes mass, never adds it), and E[X]=2<E[X] = 2 < \infty, so XX itself is a valid umbrella. DCT applies: limnE[Xn]=E[X]=2\lim_n E[X_n] = E[X] = 2. 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 nn \to \infty 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, XnXX_n \to X, is by itself enough to conclude E[Xn]E[X]E[X_n] \to E[X]. 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)
ShareTwitterLinkedIn