Support localization of an Lp functional
ID: support-localization-of-an-lp-functional
For , local Radon-Nikodym derivatives representing an functional on finite-measure sets have uniformly bounded mass. Choose a sequence of finite-measure sets approaching the supremum of that mass, and glue their compatible densities on their union . Any finite-measure set outside must have zero local density, since otherwise it would increase the supremum. Every Lp space function is approximable by simple functions of finite-measure support, so the glued density represents the functional on the whole space.
New to topics? Read the docs here!