Borel probability measure
= Borel probability measure
{c}
{title2=$\mu(X)=1$}
A Borel probability measure is a <Borel measure> with total mass one. On a compact <metric space> it is determined by its integrals against continuous functions. On that compact <metric space>, the family of <Borel probability measures> is compact for <weak convergence of probability measures>.