Borel postcomposition preserves Lebesgue measurability

ID: borel-postcomposition-preserves-lebesgue-measurability

If is a Lebesgue measurable function and is a Borel measurable function, then is a Lebesgue measurable function. For an open set , is a Borel set. By measurability of , is a Lebesgue measurable set, and it equals . This is composition of measurable functions with the intermediate Borel sigma-algebra stated explicitly. Merely knowing both functions are Lebesgue measurable would not ensure that the intermediate sigma-algebras match.

New to topics? Read the docs here!