Unformatted text preview: → [0 , 1] be the CantorLebesgue function (see SS Ch.1, Exercise 2) and let g : [0 , 1] → [0 , 2] be the function g ( x ) = x + f ( x ). Prove that g is a homeomorphism and m ( g ( C )) = 1, where C is the Cantor set. Then show that if B is a Lebesgue nonmeasurable subset of g ( C ) (see SS Ch.1, Exercise 32(b)), then g1 ( B ) is not Borel but is Lebesgue measurable. 1...
View
Full Document
 Spring '10
 tao/analysis
 Math, measure, Lebesgue measure, SS Ch.1

Click to edit the document details