Section 9.2

Measures Induced by an Outer-Measure

[4/0%]
LaTeX
Problem 9.8

Show that in the construction of Lebesgue measure on R\mathbb {R}, the outer-measure is unchanged if covers by open, bounded intervals are replaced by covers by general, bounded intervals.

?
Problem 9.9

Let μ∗:2X→[0,∞]\mu^{*}: 2^{X} \rightarrow [0, \infty ] be an outer-measure. Let A⊆X,{Ek}k=1∞A \subseteq X,\left\{ E_{k}\right\}_{k = 1}^{\infty } be a countable, disjoint collection of measurable sets and E=⋃k=1∞EkE = \bigcup_{k = 1}^{\infty } E_{k}. Show that

μ∗(A∩E)=∑k=1∞μ∗(A∩Ek) \mu ^{*}(A \cap E) = \sum _{k = 1}^{\infty } \mu ^{*}\left(A \cap E_{k}\right)
?
Problem 9.10

Show that any measure that is induced by an outer-measure is complete.

?
Problem 9.11

Define μ:2R→R\mu : 2^{\mathbb {R}} \rightarrow \mathbb {R} by defining μ(A)\mu (A) to be the number of integers in AA. Determine the outer-measure μ∗\mu^{*} induced by μ\mu and the σ\sigma-algebra of measurable sets.

?