Null set squared is a null set I'm attempting to find a solution to the following problem that doesn't involve splitting this into various cases.  The question is:
"If $m^*(E) =0$, show that $m^*(E^2) = 0$, where $E^2 = \{x^2 \colon x \in E\}$ and $ E \subset \mathbb{R}$."
Here $m^*$ represents Lebesgue outer measure. 
This problem can be reduced to the case where $E$ is bounded, however, when covering $E$ with a union of open intervals, say $(I_n)$, where $\sum_{n=1}^{\infty} \ell(I_n) \leq m^*(E) + \epsilon$ for any given $\epsilon >0$, I find that I reach a problem if any elements of $E$ belong to $(-1,1)$. This can be remedied by breaking the real line up into parts, however, if there's a more efficient way to approach this problem, please let me know. 
 A: The quickest way I know how to solve this problem makes use of Lipschitz continuity, but you'll still need to break things down into intervals.
There is a theorem in basic measure theory that says Lipschitz continuous functions preserve measure $0$ sets (you can read a proof on a previous stack exchange thread). The function $f$ given by $x\mapsto x^2$ is Lipschitz continuous on compact intervals $[-L, L]$:
$$|x^2-y^2| = |x+y|\cdot|x-y|\leq 2L|x-y|.$$
Therefore $f(E\cap [-k,k])$ is measure $0$ for every $k$. Now we have
$$E^2 = f(E) = f\left(\bigcup_{k=1}^\infty E\cap [-k, k]\right)\subset \bigcup_{k=1}^\infty f(E\cap [-k,k]).$$
Unions of measure $0$ sets are measure $0$, so we may conclude.
Even if using the fact about Lipschitz functions isn't quite kosher in your situation (this sounds like a homework question), you could probably adapt the estimate and the proof in the thread I linked to write a new self-contained one.
A: There is no need to worry about if $E$ is bounded. $m^*(E) = 0$ means that for any $\varepsilon > 0$ there is a colllection $\{I_n\}$ of intervals with $E \subseteq \bigcup I_n$ and $\sum_{n=1}^{\infty} \ell(I_n) \leq \epsilon$. Now, look at $\{I_n \times I_m\}_{n,m}$, and recall that $\Bbb N \times \Bbb N \sim \Bbb N$.
