According to [Royden], there is a theorem;

Let $E$ be a measurable set of finite outer measure. Then, for each $\epsilon$, there is a finite disjoint collection of open intervals $\{I_k\}^n_{k=1}$ for which if $\Delta=\bigcup^n_{k=1} I_k$, then $m^*(E-\Delta)+m^*(\Delta -E)<\epsilon$

The theorem demands the finite outer measure of $E$ to apply exision property. My question is whether this theorem holds without the finite outer measure of $E$. If there is any counterexample, I want to know...!

  • $\begingroup$ How about $E = \cup_{k\in\Bbb{Z}} [k, k+\frac{1}{2}]$? $\endgroup$ – Sangchul Lee May 19 '17 at 11:01
  • $\begingroup$ I got it, thanks! $\endgroup$ – Herace May 19 '17 at 14:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.