2
$\begingroup$

Does anyone know a precise reference on the following assertion? (The question has already been discussed here.)

Let $m$ denote the Lebesgue measure, and let $A\subset \mathbb{R}^d$ be $m$-measurable and bounded. Then, for every $\varepsilon>0$ there is a compact set $K_{\varepsilon}\subset A$ such that $m(A\setminus K_{\varepsilon})<\varepsilon$.

Many thanks in advance! Peter

  • 0
    See baby Rudin Chapter 10 statement 10.112012-05-14
  • 0
    This property of the Lebesgue measure is called *inner-Regularity*.2012-05-14
  • 0
    @Norbert I think you mean chapter 11? (this is the case for the third edition at least).2012-05-14
  • 0
    I use Russian edition, this the reason of difference.2012-05-14
  • 0
    Thanks a lot. That's just the kind of reference I've been searching for.2012-05-14

0 Answers 0