Distribution function (measure theory)

In mathematics, in particular in measure theory, there are different notions of distribution function and it is important to understand the context in which they are used (properties of functions, or properties of measures).

Distribution functions (in the sense of measure theory) are a generalization of distribution functions (in the sense of probability theory).

Definitions

The first definition ^[1] presented here is typically used in Analysis (harmonic analysis, Fourier Analysis, and integration theory in general) to analysis properties of functions.

Definition 1: Suppose ${\displaystyle (X,{\mathcal {B}},\mu )}$ is a measure space, and let ${\displaystyle f}$ be a real-valued measurable function. The distribution function associated with ${\displaystyle f}$ is the function ${\displaystyle d_{f}:[0,\infty )\rightarrow \mathbb {R} \cup \{\infty \}}$ given by

$${\displaystyle d_{f}(s)=\mu {\Big (}\{x\in X:|f(x)|>s\}{\Big )}}$$

It is convenient also to define ${\displaystyle d_{f}(\infty )=0}$.

The function ${\displaystyle d_{f}}$ provides information about the size of a measurable function ${\displaystyle f}$.

The next definitions of distribution function are straight generalizations of the notion of distribution functions (in the sense of probability theory).

Definition 2. Let ${\displaystyle \mu }$ be a finite measure on the space ${\displaystyle (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ),\mu )}$ of real numbers, equipped with the Borel ${\displaystyle \sigma }$-algebra. The distribution function associated to ${\displaystyle \mu }$ is the function ${\displaystyle F_{\mu }\colon \mathbb {R} \to \mathbb {R} }$ defined by

$${\displaystyle F_{\mu }(t)=\mu {\big (}(-\infty ,t]{\big )}}$$

It is well known result in measure theory ^[2] that if ${\displaystyle F:\mathbb {R} \to \mathbb {R} }$ is a nondecreasing right continuous function, then the function ${\displaystyle \mu }$ defined on the collection of finite intervals of the form ${\displaystyle (a,b]}$ by

$${\displaystyle \mu {\big (}(a,b]{\big )}=F(b)-F(a)}$$

extends uniquely to a measure ${\displaystyle \mu _{F}}$ on a ${\displaystyle \sigma }$-algebra ${\displaystyle {\mathcal {M}}}$ that included the Borel sets. Furthermore, if two such functions ${\displaystyle F}$ and ${\displaystyle G}$ induce the same measure, i.e. ${\displaystyle \mu _{F}=\mu _{G}}$, then ${\displaystyle F-G}$ is constant. Conversely, if ${\displaystyle \mu }$ is a measure on Borel subsets of the real line that is finite on compact sets, then the function ${\displaystyle F_{\mu }:\mathbb {R} \to \mathbb {R} }$ defined by

$${\displaystyle F_{\mu }(t)={\begin{cases}\mu ((0,t])&{\text{if }}t\geq 0\\-\mu ((t,0])&{\text{if }}t<0\end{cases}}}$$

is a nondecreasing right-continuous function with ${\displaystyle F(0)=0}$ such that ${\displaystyle \mu _{F_{\mu }}=\mu }$.

This particular distribution function is well defined whether ${\displaystyle \mu }$ is finite or infinite; for this reason, ^[3] a few authors also refer to ${\displaystyle F_{\mu }}$ as a distribution function of the measure ${\displaystyle \mu }$. That is:

Definition 3: Given the measure space ${\displaystyle (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ),\mu )}$, if ${\displaystyle \mu }$ is finite on compact sets, then the nondecreasing right-continuous function ${\displaystyle F_{\mu }}$ with ${\displaystyle F_{\mu }(0)=0}$ such that

$${\displaystyle \mu {\big (}(a,b])=F_{\mu }(b)-F_{\mu }(a)}$$

is called the canonical distribution function associated to ${\displaystyle \mu }$.

Example

As the measure, choose the Lebesgue measure ${\displaystyle \lambda }$. Then by Definition of ${\displaystyle \lambda }$

$${\displaystyle \lambda ((0,t])=t-0=t{\text{ and }}-\lambda ((t,0])=-(0-t)=t}$$

Therefore, the distribution function of the Lebesgue measure is

$${\displaystyle F_{\lambda }(t)=t}$$

for all ${\displaystyle t\in \mathbb {R} }$.

Comments

• The distribution function ${\displaystyle d_{f}}$ of a real-valued measurable function ${\displaystyle f}$ on a measure space ${\displaystyle (X,{\mathcal {B}},\mu )}$ is a monotone nonincreasing function, and it is supported on ${\displaystyle [0,\mu (X)]}$. If ${\displaystyle d_{f}(s_{0})<\infty }$ for some ${\displaystyle s_{0}\geq 0}$, then
  $${\displaystyle \lim _{s\to \infty }d_{f}(s)=0.}$$
• When the underlying measure ${\displaystyle \mu }$ on ${\displaystyle (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))}$ is finite, the distribution function ${\displaystyle F}$ in Definition 3 differs slightly from the standard definition of the distribution function ${\displaystyle F_{\mu }}$ (in the sense of probability theory) as given by Definition 2 in that for the former, ${\displaystyle F(0)=0}$ while for the latter,
  $${\displaystyle \lim _{t\to -\infty }F_{\mu }(t)=0{\text{ and }}\lim _{t\to \infty }F_{\mu }(t)=\mu (\mathbb {R} ).}$$
• When the objects of interest are measures in ${\displaystyle (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))}$, Definition 3 is more useful for infinite measures. This is the case because ${\displaystyle \mu ((-\infty ,t])=\infty }$ for all ${\displaystyle t\in \mathbb {R} }$, which renders the notion in Definition 2 useless.

References

1. Rudin, Walter (1987). Real and Complex Analysis. NY: McGraw-Hill. p. 172.
2. Folland, Gerald B. (1999). Real Analysis: Modern Techniques and Their Applications. NY: Wiley Interscience Series, Wiley & Sons. pp. 33–35.
3. Kallenberg, Olav (2017). Random Measures, Theory and Applications. Switzerland: Springer. p. 164. doi:10.1007/978-3-319-41598-7. ISBN   978-3-319-41596-3.