1
$\begingroup$

Endowing $R$ with a finite borel measure. How to find a closed set with its total measure and every closed subset of it has minor measure?

  • 1
    It is interesting that in a non-$L$indelof space, it could happen that there is no such set.2012-07-18

1 Answers 1

0

Let $\mathcal O:=\{O\subset \Bbb R, m(O)=0, O\mbox{ open}\}$ and $S':=\bigcup_{O\in\mathcal O}O$. $S'$ is open hence separable, and by Lindelöf property we can extract a countable subcover, which proves that $S'$ is open and of measure $0$. Let $S:=\Bbb R\setminus S'$ (support of $m$). It has full measure.

Let $F\subset S$ a closed subset and assume that $m(S)=m(F)$. We have $S'=S^c\subset F^c$ and since $m$ is finite, $m(F^c)=m(S^c)=0$. So $F^c\in\mathcal O$ and $F^c\subset S'$ which gives $S\subset F$. So if a closed subset of $S$ has full measure it should be $S$.


Note that it works for a Lindelöf topological space, since it's the only feature of the real line we have used.

  • 0
    @ChrisEagle I should have writtent that $\mathcal O$ is the collection of _open_ subsets of measure $0$. I will fix it, thanks!2012-07-18