1
$\begingroup$

For $k\gt 0$ and a subset $A$ of $\mathbb{R}$, let $k\,A=\{kx\mid x∈A\}$. Show that $\mu^*(k\,A)=k \mu^*(A)$ and that $A$ is measurable if and only if $k\,A$ is measurable.

  • 0
    Denote by $l([a,b])$ the length of the interval $[a,b]$. Is it clear that $l([ka, kb])= k\cdot l([a,b])$?2012-10-21

1 Answers 1

1

To show the equality, you can try showing each is $\leq$ the other by using the definition of outer measure, i.e. let $A$ be covered by a countable union of intervals $I_{n}$ such that $\mu^{*}(A)+\varepsilon<\sum_{n}l(I_{n})$, then go on to say something about $\mu^{*}(kA)$, and vice versa.

Take a subset $B$ of $\mathbb{R}$. Then by the equality to be shown, you can get $\mu^{*}(B\cap A)+\mu^{*}(B\cap A^{c})=\mu^{*}(k(B\cap A))+\mu^{*}(k(B\cap A^{c}))=\mu^{*}(kB\cap kA)$ $+\mu^{*}(kB\cap kA^{c})$ which may be useful for the second statement.