Let ,1 and let . Show that there exists a set with such that if and ,then
I let ,where and .
I am not sure whether my construction of the sets are correct because I can not make any conclusion regarding .
Can anyone comment on this?
here, for example) is that it is the supremum of the integrals of nonnegative simple functions majorised by . If the integral is finite (as it is if ) then each of these simple functions must have finite integral and therefore finite support. We can find a simple function s such that and . Now take to be the support of s. You should find that this does the required job.