# Could anybody give me an example of finite measure which has non-zero value for all non-empty measurable set?

I'm trying to construct a finite measure defined on Borel sigma algebra of $[0,1]$ such that every nonempty set has nonzero measure.

Can anybody give me a help to find out such measure?

• Your title says "non-negative", your question says "nonzero". Which did you mean? – Ben Voigt Sep 11 '15 at 21:51
• Non-zero. I edited. Thanks. – Guldam Sep 12 '15 at 4:44

Assume that $\mu([0, 1]) = M < \infty$. Then the cardinality of $T_n = \{x \in [0, 1] \mid \mu(\{x\}) > \frac{1}{n}\}$ is at most $Mn$ and therefore finite. Since every nonempty set is supposed to have a positive measure, the identity $[0, 1] = \bigcup \limits_{n \in \mathbb{N}} T_n$ holds. But this is impossible, since $[0, 1]$ is uncountable and the countable union of finite sets is at most countable.
• It even follows, that such a measure can't be $\sigma$-finite at all. – Dominic Michaelis Sep 11 '15 at 19:19
• +1, but: Possibly not the best choice to use $M$ as a real number and $M_n$ as sets. – Thomas Andrews Sep 11 '15 at 19:36
• @ThomasAndrews You are right, I've changed $M_n$ to $T_n$. Thanks for the suggestion! – Dominik Sep 11 '15 at 19:38