Distribution function (measure theory)

from Wikipedia, the free encyclopedia

The distribution function of a measure is a term from measure theory , a branch of mathematics that deals with generalized length and volume concepts. A distribution function can be assigned to every finite measure on the real numbers . Distribution functions of probability measures play an important role in stochastics . In measure theory, distribution functions are used to check the convergence of measures.

definition

Given the measuring room , with the Borel σ-algebra called, and a finite measure on this measuring space. Then is called

the distribution function of the measure .

In addition, every monotonically growing , right-hand continuous and bounded real function is called a distribution function, since it is through

defines a finite measure. A special case are those functions for which additionally applies

,

these are precisely the distribution functions in the sense of probability theory .

Examples

Looking at the Dirac dimension on the 1st

Then the distribution function is

.

properties

  • If one defines an equivalence relation on the monotonically growing, right-sided continuous and bounded functions
and denotes the equivalence classes with , then it is a bijection. Each finite measure on the real numbers is assigned the equivalence class of its distribution function. Therefore, one usually does not differentiate between the measure and the distribution function. This equivalence class formation is not necessary for distribution functions in the sense of probability theory, since they are already clearly and clearly defined.
  • If you set
,
so is . The total variation norm denotes

convergence

Vague convergence

A sequence of distribution functions is called vaguely convergent to the distribution function if it converges from pointwise to at all points of continuity, i.e. if

applies to all where is continuous.

Weak convergence

A sequence of distribution functions is said to be weakly convergent to the distribution function if it is vaguely convergent and

applies.

If the distribution functions belong to probability measures, then the second condition can be dispensed with, since then always applies. Thus, weak and vague convergence then coincide. For probability measures, the weak convergence of the distribution functions can be metrized with the Lévy distance .

comment

The weak and vague convergence of distribution functions is not clearly used in the literature. Sometimes there is no differentiation between vague and weak convergence, since these terms for probability measures coincide, sometimes the point-by-point convergence at all points of continuity is also referred to as weak convergence. This would correspond to the vague convergence described here. For distribution functions in the sense of probability theory , which are defined via real random variables , there is also the term convergent in distribution or stochastically convergent .

Important sentences

Helly-Bray's theorem

According to Helly-Bray's theorem:

  • Converges a sequence of distribution functions vaguely against so converges vague in the sense of measure theory against .
  • Converges a sequence of distribution functions weak against , converges slightly in the sense of measure theory against .

Modifying the series of distribution functions with a series of real numbers also shows the reverse direction.

Selection set from Helly

According to Helly's selection theorem , every uniformly bounded sequence of distribution functions has a vaguely convergent subsequence.

Prokhorov theorem

The set of Prokhorov can be specially formulated for (even limited) families of distribution functions. It says that a family of distribution functions is tight if and only if every sequence in this family has a weakly convergent subsequence.

Individual evidence

  1. Kusolitsch: Measure and probability theory. 2014, p. 287.

literature