This is Exercise 4.15 from "Real Analysis for Graduate Students": Let $X$ be a set and $A$ a collection of subsets of $X$ that form an algebra of sets. Suppose $l$ is a pre-measure on $A$ such that $l(X)<\infty$. Define $\mu^*(E):=inf \{\sum_{i=1}^{\infty}l(A_i): each\space A_i\in A, E\subset\cup_{i=1}^{\infty}A_i\}$ for any subset $E$ of $X$. Prove that a set $B$ is $\mu^*$-measurable iff $\mu^*(B)=l(X)-\mu^*(B^c)$.
I first want to remind the definition that a set $B$ is $\mu^*$-measurable iff $\mu^*(E)=\mu^*(E\cap B)+\mu^*(E\cap B^c)$ for any arbitrary subset $E$ of $X$. It's easy to show that $l(X)=\mu^*(X)$, so the expression given in the problem becomes $\mu^*(B)+\mu^*(B^c)=\mu^*(X)$. One direction is obvious: If you take the set $E$ in the definition of $\mu^*-$measurable as $X$, $\mu^*(B)+\mu^*(B^c)=\mu^*(X)$ directly comes. However, I couldn't make much progress for the other direction. Thanks!