Unbounded subset of $\mathbb{R}$ with positive Lebesgue outer measure

Solution 1:

I guess you mean with positive and finite outer measure. An easy example would be something like $[0,1]\cup\mathbb{Q}$. But perhaps you also want to have nonzero measure outside of each bounded interval? In that case, consider $[0,1/2]\cup[1,1+1/4]\cup[2,2+1/8]\cup[3,3+1/16]\cup\cdots$. If you want the set to have positive measure in each subinterval of $\mathbb{R}$, you could let $x_1,x_2,x_3,\ldots$ be a dense sequence (like the rationals) and take a union of open intervals $I_n$ such that $I_n$ contains $x_n$ and has length $1/2^n$.

On the other hand, it is often useful to keep in mind that every set of finite measure is "nearly bounded". That is, if $m(E)<\infty$ and $\epsilon>0$, then there is an $M\gt0$ such that $m(E\setminus[-M,M])<\epsilon$. One way to see this is by proving that the monotone sequence $(m(E\cap[-n,n]))_{n=1}^\infty$ converges to $m(E)$.