2

Let $\{A_n\}_{n=1}^{\infty}$ be a sequence of measurable subsets of $\mathbb{R}$. Suppose $A \subset \mathbb{R}$ such that $A_n \subset A$ for each $n \in \mathbb{N}$ and $m^{*}(A \setminus A_n) \rightarrow 0 $. Show that $A$ is lebesgue measurable.

My attempt : I know that $m^{*}(A \setminus A_n) \rightarrow 0$ $\;$ for large enough $n$, $\;$$m^{*}(A \setminus A_n) = 0$ $\;$ so $A \setminus A_n$ is measurable. From here i don't know how to proceed. Any help would be much appreciated!

  • you want continuity from above

    https://math.stackexchange.com/questions/902316/proof-of-continuity-from-above-and-continuity-from-below-from-the-axioms-of

    – user29418 Feb 28 '19 at 12:25
  • "I know that ∗(∖)→0 for large enough , ∗(∖)=0"... what do you mean ? This is of course wrong... – Surb Feb 28 '19 at 12:35

1 Answers1

2

Let $B=\cup_n A_n$ Then $B \subset A$ and $B$ is measurable. Also $m^{*}(A\setminus B) \leq m^{*}(A\setminus A_n)$ for all $n$ so $m^{*}(A\setminus B)=0$. It follows that $A=(A\setminus B) \cup B$ is measurable.