Math 461

**Due Date: **Friday, February 19

- Let \(\{E_n\}\) be a sequence of Lebesgue measurable subsets of \([0,1]\), and let
\[
E \;=\; \{x\in [0,1] \mid x\in E_n\text{ for infinitely many $n$}\}
\]
and
\[
F \;=\; \{x\in [0,1] \mid x\in E_n\text{ for all but finitely many $n$}\}.
\]
- Prove that \(E\) and \(F\) are Lebesgue measurable.
- Prove that if \(m(F) > 0\), then \(\sum_{n=1}^\infty m(E_n) = \infty\).
- Prove that if \(E=F\), then \(m(E_n) \to m(E)\) as \(n\to\infty\).

- Let \((X,\mathcal{M},\mu)\) be a measure space, and define a function \(\mu^*\colon \mathcal{P}(X) \to [0,\infty]\) by
\[
\mu^*(S) \,=\, \inf\{\mu(E) \mid E\in\mathcal{M}\text{ and }S\subseteq E\}.
\]
- Prove that \(\mu^*\) is an outer measure on \(X\).
- Prove that every set in \(\mathcal{M}\) is Carathéodory measurable with respect to \(\mu^*\).

- Let \(E \subseteq \mathbb{R}\) be a Lebesgue measurable set with \(m(E) < \infty\). Let \(S\subseteq E\), and suppose that
\[
m^*(S) + m^*(E-S) \,=\, m(E).
\]
- Prove that \(m^*(F\cap S)+ m^*(F\cap S^c) = m(F)\) for any Lebesgue measurable set \(F\subseteq E\).
- Prove that \(S\) is Lebesgue measurable.