= Convergence in measure
{title2=$\mu(|f_n-f|>\varepsilon)\to0\quad(\varepsilon>0)$}
{wiki}
A sequence of real <measurable functions> converges in measure to $f$ when the displayed condition holds for every positive threshold. It controls the measure of the exceptional set at each index, rather than requiring eventual closeness on each sample path. On a probability space it is exactly <convergence in probability>. On a finite measure space, almost-everywhere convergence implies convergence in measure by continuity of measure on the decreasing tail events. The converse need not hold for the full sequence, but convergence in measure always admits an almost-everywhere convergent subsequence.
Back to article page
