any countereample in measurable function

65 Views Asked by At

As we know, Lebesgue measurable function f is defined as all preimages of the open sets are Lebesgue measurable. So I'm wondering if this definition guarantee that the preimage of any Lebesgue measurable set is Lebesgue measurable.

1

There are 1 best solutions below

4
On

No - if $f$ is injective and sends any positive-measure set $B$ to null set $A$, then fix some nonmeasurable subset $C$ of $B$; the image $D$ of $C$ is a subset of $A$, which is null, and hence measurable. So $D$ is measurable with non-measurable preimage.

This is the only obstacle that can arise: if $f$ is measurable and the $f$-preimage of any null set is null, then the $f$-preimage of any measurable set is measurable (use the fact that measurable sets differ from a $G_\delta$ set by a null set).