
Here, E is a Lesbegue-measurable set on the real line. This is the exercise 30, 31 of p. 40 of Folland real analysis. I solved these problems when E is of finite measure, but the problem requires that E may be of infinite measure. I'm quite desperate about how to solve these for general cases. Could anyone show me how to prove them?