It's fairly easy to see that since $B = A \cup (B \backslash A)$, that since both $A$ and $B$ are measurable, $m(B) = m(A) + m(B \backslash A)$. Thus, $m(B \backslash A) = 0$. Similarly, we observe $m^{*}(E \backslash A) = 0$, and thus $E \backslash A$ is measurable, with measure zero.
Certainly, $E = A \cup (E \backslash A)$. Thus, since $A$ is measurable, and the union of any two measurable sets is measurable, we have $E$ must be measurable.
No comments:
Post a Comment