Category:Distribution Function of Finite Borel Measure

This category contains results about Distribution Function of Finite Borel Measure.
Definitions specific to this category can be found in Definitions/Distribution Function of Finite Borel Measure.

Let $\mu$ be a finite Borel measure on $\R$.

We define the distribution function of $\mu$, $F_\mu : \R \to \R$ by:

$\map {F_\mu} x = \map \mu {\hointl {-\infty} x}$

for each $x \in \R$.