Towards an Effective Theory of Absolutely Continuous Measures
arXiv:1503.04743
Abstract
We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence $L^1$ functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for $L^1$ functions.