$A \subseteq \mathbb R^n$ Lebesgue measurable of positive measure . Then for every $m \in (0,L(A)] , \exists A_m \subseteq A $ such that $L(A_m)=m$?

41 Views Asked by At

Let $A \subseteq \mathbb R^n$ be Lebesgue measurable of positive Lebesgue measure . Then how to show that for

every $m \in (0,L(A)] , \exists A_m \subseteq A $ , $A_m$ Lebesgue measurable , such that $L(A_m)=m$ ? ( Here $L$ denotes the Lebesgue measure)

1

There are 1 best solutions below

0
On

Hint. Study the function $F(r) = \mu(A \cap B_r(0))$ defined for $r \in (0,+\infty)$.