Egorov’s theorem
Let be a measure space, and let be a subset of of finite measure. If is a sequence of measurable functions
converging to almost everywhere, then for each there exists a set such that and uniformly (http://planetmath.org/UniformConvergence) on .