If f and fn (n ∈ N) are in Lp(μ) for some p > 0 and (fn) converges to f in the p-norm, then (fn) converges to f globally in measure.
f と fn (n ∈ N) が、ある p > 0 に対してLp(μ)に含まれ、p-ノルムにおいて (fn) が f へと収束するなら、(fn) は f へと大域的に測度収束する。