Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{F}=\{\emptyset,[1,3]\}$ be a collection of subsets of $\mathbb{R}$. Consider the set function, $\mu:\mathcal{F}\to [0,\infty)$ defined by $\mu(\emptyset)=0,~~\mu([1,3])=2.$

I need help in describing the outer measure $\mu^\ast$ generated by the set function $\mu$ and the $\sigma$-algebra of all $\mu^\ast$-measurable subsets.

I know the outer measure generated by $\mu$ is given by the set function $\mu^\ast : 2^\mathbb{R}\to [0,\infty]$ where $$\mu^\ast(E)=\inf \sum_{n=1}^\infty \mu(E_n)$$ where the infimum is taken over all countable collections $\{E_n\}_{n=1}^\infty$ of sets in $\mathcal{F} $ that cover $E\subset \mathbb{R}$.

However, I'm a bit lost in proceeding.

share|cite|improve this question
There aren't that many countable collections from $\mathcal{F}$, are there? What can you cover with those? – Henno Brandsma Feb 11 '12 at 6:09
I can can cover $\{1\},\{2\},\{3\},(1,2), (1,3)$ and $[1,3]$. Is that right? – Bill Feb 11 '12 at 6:13
Surely you can imagine more subsets you can cover? What about $\mathbb{Q} \cap [1, \frac{3}{2}]$, to name but one? You seem to realize you cannot cover any sets that have points outside $[1,3]$, so what sets are those? – Henno Brandsma Feb 11 '12 at 6:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.