4
$\begingroup$

Given a set $E$ which is bounded, measurable and $m^{\ast}(E)=x >0$, then for each $y \in (0,x)$ we can find a measurable set $A \subset E$, such that $m^{\ast}(A)=y$. To see this one considers measure as a continuous function and applies the Intermediate Value property.

Now we extend the question in the following manner: Suppose $E$ is a set which has finite measure, then for each positive $x < m^{\ast}(E)$ prove that there exists a perfect set $A \subset E$, such that $m^{\ast}(A)=x$.

  • 0
    http://en.wikipedia.org/wiki/Smith%E2%80%93Volterra%E2%80%93Cantor_set - something like that?2010-10-02
  • 0
    Is $m^*$ a particular type of measure? The term is impossible to google, and I don't see it used in Kolmogorov & Fomin.2010-10-02
  • 0
    the general lebesgue measure2010-10-02
  • 0
    @Asaf: I have edited the question2010-10-02
  • 0
    The intermediate value argument is strange... How is the domain of $m^*$ a _connected_ topological space?2010-10-02
  • 0
    It depends how you define Lebesgue measure, but many definitions make [inner regularity](http://en.wikipedia.org/wiki/Inner_regular_measure) obvious.2010-10-02
  • 2
    By the continuity argument, I think he meant to look at $m(E\cap [0,y])$ as $y$ increases, which is continuous.2010-10-02
  • 0
    @Francois: JDH is correct2010-10-02
  • 0
    But $E \cap [0,y]$ is only meaningful if $E \subset \mathbb R$. Is that an unstated assumption for this problem?2010-10-02

1 Answers 1

4

Suppose first that $E$ is contained in the closed interval $[a,b]$ and let $E' = [a,b] \setminus E$. By definition of Lebesgue measure, we can find an open set $G$ containing $E'$ such that $m(G) = m(E') + \varepsilon = (b - a) - m(E) + \varepsilon$, where $\varepsilon$ is small enough. Then $F = [a,b] \setminus G$ is a compact set contained in $E$ with measure $m(F) = m(E) - \varepsilon$.

Suppose we have chosen $\varepsilon$ small enough that $x \leq m(E)-\varepsilon = m(F)$. Your intermediate value argument proves the existence of some point $c \in [a,b]$ such that $m(F \cap [a,c]) = x$. By the Cantor-Bendixson Theorem, we have a decomposition $F \cap [a,c] = K \cup H$ where $K$ is perfect and $H$ is countable. Since $m(H) = 0$, it follows that $m(K) = m(F \cap [a,c]) = x$.

If $E$ is unbounded, then pick $[a,b]$ such that $m(E \cap [a,b]) = m(E) - \delta$, where $\delta$ is small enough, and apply the above argument to $E \cap [a,b]$.