# Category:Distribution Function of Finite Borel Measure

Jump to navigation
Jump to search

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$.

## Pages in category "Distribution Function of Finite Borel Measure"

The following 5 pages are in this category, out of 5 total.