Definition 5.5.3 (Outer Measurable).label Let $X$ be a set, $\mu^{*}:2^{X}\to[0,\infty]$ be an outer measure, and $E\suf X$, then $E$ is $\mu^{*}$-measurable if for any $F\suf X$
\begin{align*}\mu^{*}(F)=\mu^{*}(E\cap F)+\mu^{*}(E\del F)\end{align*}
- observe $\leq$ is always truekeyboard_return
Post a Comment