I've been doing a little work with Borel measures and don't want to confuse Borel measurable functions with Lebesgue measurable functions for R^n -> R^m.(adsbygoogle = window.adsbygoogle || []).push({});

I'm, of course, familiar with the definition that a function f:R->R is Lebesgue measurable if the preimage of intervals/open sets/closed sets/Borel sets is Lebesgue measurable.

We also say a function between general measurable X, Y spaces is measurable if the preimage of a set in the sigma algebra corresponding to Y is in the sigma algebra corresponding to X.

For a Lebesgue measurable function f:R->R is it necessarily true that the preimage of a Lebesgue measurable set is Lebesgue measurable? I don't see that this need necessarily be the case.

Am I correct in thinking that a Lebesgue measurable function f:R->R is a measurable function from R with the Lebesgue sigma algebra to R with the Borel sigma algebra (and NOT the Lebesgue sigma algebra)?

I'd be very grateful if anyone could clear up my confusion.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Preimage of a Lebesgue measurable set under a Lebesgue measurable function.

Loading...

Similar Threads - Preimage Lebesgue measurable | Date |
---|---|

I Lebesgue Integral of Dirac Delta "function" | Nov 17, 2017 |

I Lebesgue measure and Fourier theory | May 6, 2016 |

Basic (I think) image/preimage questions | Mar 13, 2010 |

Inverse & preimage | Oct 23, 2008 |

About the preimage of a compact set | Oct 21, 2007 |

**Physics Forums - The Fusion of Science and Community**