Category:Definitions/Borel Measures

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Borel Measures.
Related results can be found in Category:Borel Measures.


Let $\struct {X, \tau}$ be a topological space.

Let $\map \BB {X, \tau}$ be the Borel $\sigma$-algebra on $\struct {X, \tau}$.

Let $\mu$ be a measure on $\map \BB {X, \tau}$ such that:

$\map \mu K < \infty$ for all compact $K \subseteq X$.


We say that $\mu$ is a Borel measure.


Source of Name

This entry was named for Émile Borel.