Definition:Space of Borel Probability Measures on Compact Metric Space

From ProofWiki
Jump to navigation Jump to search


Let $\struct {X, d}$ be a compact metric space.

Let $\map \PP X$ be the set of all Borel probability measures on $X$.

Equip $\map \PP X$ with the weak-* topology, i.e. the initial topology with respect to:

$\ds \sequence { \mu \to \int f \rd \mu}_{f \in \map C {X,\R} }$

where $\map C {X,\R}$ denotes the space of real continuous functions.

Then $\map \PP X$ is called the space of Borel probability measures on $X$.


Also see