

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer

Let $X$ be a separable metric space and $p$ a probability measure on the Borel Sets of $X$.

Denote $S_p$ the support of $p$, i.e. the set of points which have positive measure for any ball around them

How to prove that the support of p is of full measure, i.e. $p(S_p)=1$?

Thanks, Shlomi

share|cite|improve this question
This could also be of interest:… – Byron Schmuland Apr 23 '11 at 15:49
up vote 6 down vote accepted

A separable metric space is strongly Lindelof, that is, every open cover of an open subset has a countable subcover. The complement of the support is the union of all open balls with zero measure. By reducing to a countable subcover, we see that this set has measure zero. So the support has full measure.

share|cite|improve this answer

Your Answer


