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!