Convergence of measures


Convergence of measures

In mathematics, more specifically measure theory, there are various notions of the convergence of measures. Three of the most common notions of convergence are described below.

Contents

Total variation convergence of measures

This is the strongest notion of convergence shown on this page and is defined a follows. Let (X, \mathcal{F}) be a measurable space. The total variation distance between two (positive) measures μ and ν is then given by

\|\mu- \nu\|_{TV} = \sup \Bigl\{\int_X f(x) (\mu-\nu)(dx)  \Big| f\colon X \to [-1,1] \Bigr\}.

If μ and ν are both probability measures, then the total variation distance is also given by

\|\mu- \nu\|_{TV} = 2\sup \left\{ \left. | \mu (A) - \nu (A) | \right| A \in \mathcal{F} \right\}.

The equivalence between these two definitions can be seen as a particular case of the Monge-Kantorovich duality. From the two definitions above, it is clear that the total variation distance between probability measures is always between 0 and 2.

To illustrate the meaning of the total variation distance, consider the following thought experiment. Assume that we are given two probability measures μ and ν, as well as a random variable X. We know that X has law either μ or ν, but we do not know which one of the two. Assume now that we are given one single sample distributed according to the law of X and that we are then asked to guess which one of the two distributions describes that law. The quantity

{2+\|\mu-\nu\|_{TV} \over 4}

then provides a sharp upper bound on the probability that our guess is correct.

Strong convergence of measures

For (X, \mathcal{F}) a measurable space, a sequence μn is said to converge strongly to a limit μ if

 \lim_{n \to \infty} \mu_n(A) = \mu(A)

for every set in \mathcal{F}.

For example, as a consequence of the Riemann–Lebesgue lemma, the sequence μn of measures on the interval [-1,1] given by \mu_n(dx) = (1+ \sin(nx))\,dx converges strongly to Lebesgue measure, but it does not converge in total variation.

Weak convergence of measures

In mathematics and statistics, weak convergence (also known as narrow convergence or weak-* convergence which is a more appropriate name from the point of view of functional analysis but less frequently used) is one of many types of convergence relating to the convergence of measures. It depends on a topology on the underlying space and thus is not a purely measure theoretic notion.

There are several equivalent definitions of weak convergence of a sequence of measures, some of which are (apparently) more general than others. The equivalence of these conditions is sometimes known as the portmanteau theorem.

Definition. Let S be a metric space with its Borel σ-algebra Σ. We say that a sequence of probability measures on (S, Σ), Pn, n = 1, 2, ..., converges weakly to the probability measure P, and write

P_n\Rightarrow P

if any of the following equivalent conditions is true:

  • Enƒ → Eƒ for all bounded, continuous functions ƒ;
  • Enƒ → Eƒ for all bounded and Lipschitz functions ƒ;
  • limsup Enƒ ≤ Eƒ for every upper semi-continuous function ƒ bounded from above;
  • liminf Enƒ ≥ Eƒ for every lower semi-continuous function ƒ bounded from below;
  • limsup Pn(C) ≤ P(C) for all closed sets C of space S;
  • liminf Pn(U) ≥ P(U) for all open sets U of space S;
  • lim Pn(A) = P(A) for all continuity sets A of measure P.

In the case S = R with its usual topology, if Fn, F denote the cumulative distribution functions of the measures Pn, P respectively, then Pn converges weakly to P if and only if limn→∞ Fn(x) = F(x) for all points xR at which F is continuous.

For example, the sequence where Pn is the Dirac measure located at 1/n converges weakly to the Dirac measure located at 0 (if we view these as measures on R with the usual topology), but it does not converge strongly. This is intuitively clear: we only know that 1/n is "close" to 0 because of the topology of R.

This definition of weak convergence can be extended for S any metrizable topological space. It also defines a weak topology on P(S), the set of all probability measures defined on (S, Σ). The weak topology is generated by the following basis of open sets:

\left\{ U_{\phi, x, \delta} \,\left|\, \begin{array}{c} \phi \colon S \to \mathbb{R} \text{ is bounded and continuous,} \\ x \in \mathbb{R} \text{ and } \delta > 0 \end{array} \right. \right\},

where

U_{\phi, x, \delta} := \left\{ \mu \in \boldsymbol{P}(S) \,\left|\, \left| \int_{S} \phi \, \mathrm{d} \mu - x \right| < \delta \right. \right\}.

If S is also separable, then P(S) is metrizable and separable, for example by the Lévy–Prokhorov metric, if S is also compact or Polish, so is P(S).

If S is separable, it naturally embeds into P(S) as the (closed) set of dirac measures, and its convex hull is dense.

There are many "arrow notations" for this kind of convergence: the most frequently used are P_{n} \Rightarrow P, P_{n} \rightharpoonup P and P_{n} \xrightarrow{\mathcal{D}} P..

Weak convergence of random variables

Let (\Omega, \mathcal{F}, \mathbb{P}) be a probability space and X be a metric space. If Xn, X: Ω → X is a sequence of random variables then Xn is said to converge weakly (or in distribution or in law) to X as n → ∞ if the sequence of pushforward measures (Xn)(P) converges weakly to X(P) in the sense of weak convergence of measures on X, as defined above.

References

  • Ambrosio, L., Gigli, N. & Savaré, G. (2005). Gradient Flows in Metric Spaces and in the Space of Probability Measures. Basel: ETH Zürich, Birkhäuser Verlag. ISBN 3-7643-2428-7. 
  • Billingsley, Patrick (1995). Probability and Measure. New York, NY: John Wiley & Sons, Inc.. ISBN 0-471-00710-2. 
  • Billingsley, Patrick (1999). Convergence of Probability Measures. New York, NY: John Wiley & Sons, Inc.. ISBN 0-471-19745-9. 

See also


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Convergence of random variables — In probability theory, there exist several different notions of convergence of random variables. The convergence of sequences of random variables to some limit random variable is an important concept in probability theory, and its applications to …   Wikipedia

  • Tightness of measures — In mathematics, tightness is a concept in measure theory. The intuitive idea is that a given collection of measures does not escape to infinity. Contents 1 Definitions 2 Examples 2.1 Compact spaces 2.2 …   Wikipedia

  • Network Convergence — refers to the provision of telephone, video and data communication services within a single network. In other words, one pipe is used to deliver all forms of communication services. The process of Network Convergence is primarily driven by… …   Wikipedia

  • Contraction and Convergence — (C C) is a proposed global framework for reducing greenhouse gas emissions to combat climate change. Conceived by the Global Commons Institute [GCI] in the early 1990s, the Contraction and Convergence strategy consists of reducing overall… …   Wikipedia

  • Monotone convergence theorem — In mathematics, there are several theorems dubbed monotone convergence; here we present some major examples. Contents 1 Convergence of a monotone sequence of real numbers 1.1 Theorem 1.2 Proof 1.3 …   Wikipedia

  • Autonomous convergence theorem — In mathematics, an autonomous convergence theorem is one of a family of related theorems which give conditions for global asymptotic stability of a continuous dynamical system.HistoryThe Markus Yamabe conjecture was formulated as an attempt to… …   Wikipedia

  • Gromov–Hausdorff convergence — Gromov–Hausdorff convergence, named after Mikhail Gromov and Felix Hausdorff, is a notion for convergence of metric spaces which is a generalization of Hausdorff convergence. Gromov–Hausdorff distanceGromov–Hausdorff distance measures how far two …   Wikipedia

  • Weak convergence — In mathematics, weak convergence may refer to: * The weak convergence of random variables of a probability distribution. * The weak convergence of a sequence of probability measures. * The weak convergence of a sequence in a Hilbert space, or,… …   Wikipedia

  • Radon measure — In mathematics (specifically, measure theory), a Radon measure, named after Johann Radon, is a measure on the σ algebra of Borel sets of a Hausdorff topological space X that is locally finite and inner regular. Contents 1 Motivation 2 Definitions …   Wikipedia

  • Wasserstein metric — In mathematics, the Wasserstein (or Vasershtein) metric is a distance function defined between probability distributions on a given metric space M. Intuitively, if each distribution is viewed as a unit amount of dirt piled on M, the metric is the …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.