For each integer , list the functions
in increasing , and concatenate the blocks in increasing . Each function has norm , so the resulting sequence has norm tending to zero. Every lies in exactly one interval of each block, where the function takes value . Therefore
This unbounded typewriter sequence with vanishing L1 norm is a moving-spike construction: the support shrinks fast enough to beat the increasing height.
No such sequence exists. By Fatou's lemma on ,
But the proposed nonnegative measurable integrand is positive at every point of , so its integral cannot be zero. Explicitly, the sets where it is at least cover ; at least one has positive measure, forcing a positive integral. This contradicts the displayed bound.

Articles by others on the same topic (0)

There are currently no matching articles.