Lq inclusion implies finite measure on a Euclidean Borel subset

ID: lq-inclusion-implies-finite-measure-on-a-euclidean-borel-subset

Let be Borel. If for , the closed graph theorem makes the inclusion continuous. Applying its norm bound to indicators of shows that their measures are uniformly bounded, hence .

New to topics? Read the docs here!