On , the dyadic filtration is generated by the partitions into half-open cubes of side . The conditional expectation of an integrable function is its average on each atom. The increasing partitions generate the Borel sigma-algebra. Step functions on these partitions are dense in ; approximation and the Doob maximal inequality show that their conditional averages converge in and almost everywhere to the original function.
New to topics? Read the docs here!