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 .