One possible definition of measurability is this: A set [tex]E \subseteq \mathbb R^d[/tex] is (Lebesgue) measurable if for every [tex]\epsilon > 0[/tex] there exists an open set [tex]\mathcal O \supseteq E[/tex] such that [tex]m_*(\mathcal O \setminus E) < \epsilon[/tex]. Here, [tex]m_*[/tex] indicates Lebesgue outer measure.(adsbygoogle = window.adsbygoogle || []).push({});

Apparently, an equivalent definition is this: "For every [tex]\epsilon > 0[/tex] there exists a closed set [tex]F \subseteq E[/tex] such that [tex]m_*(E\setminus F) < \epsilon[/tex]."

Showing the equivalence of these definitions was a practice problem recently for the final exam in my real analysis class. But I couldn't get it, and even though I'm on break now, it's bugging me. Can someone help? Thanks! (This is also apparently a problem in Stein-Shakarchi's textbook,Real Analysis.)

**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!

# Tricky measure theory question

Loading...

Similar Threads - Tricky measure theory | Date |
---|---|

Get equation that describes set of measured values | Dec 19, 2016 |

I Integral of Tricky Function | Apr 21, 2016 |

How to calculate this tricky integral? Can it be done? | Sep 10, 2015 |

Tricky Euler-Maclaurin sum | Mar 12, 2015 |

Tricky Intregral for numerical quadrature | Jan 21, 2015 |

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