Convergence of measures

From Encyclopedia of Mathematics
Revision as of 17:08, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A concept in measure theory, determined by a certain topology in a space of measures that are defined on a certain -algebra of subsets of a space or, more generally, in a space of charges, i.e. countably-additive real or complex functions , defined on sets from . The following are the most commonly used topologies in the subspace consisting of bounded charges, i.e. charges for which , .

1) In the norm

called the variation of the charge , is introduced. The convergence of a sequence of charges , , to a charge in this norm is called convergence in variation.

2) In the ordinary weak topology is examined: Convergence of a sequence of charges , , in this topology (weak convergence) means that for any continuous linear function on , , . This convergence is equivalent to the fact that the sequence of charges is bounded, , and that for any set the sequence of values , . Weak convergence of a sequence of charges , implies convergence of the integrals , , for any bounded function on that is measurable with respect to the -algebra .

3) When is a topological space and is its Borel -algebra, a topology is examined in which is also called the weak topology (or sometimes the narrow topology). It is defined as the weakest of the topologies in relative to which all functionals of the form

are continuous, where is an arbitrary bounded continuous function on . This topology is weaker than the previous one, and convergence of a sequence of charges , , relative to it (weak or narrow convergence) is equivalent to the convergence of the values , , for any Borel set for which , where and the operation of closure of a set is denoted by the bar.

4) When is a locally compact topological space (and is a Borel -algebra) in the so-called wide topology is examined: the convergence of a sequence of charges , (wide convergence), means convergence of the functionals , , for any continuous function with compact support. This topology is weaker than the weak topology in . An analogous topology is defined naturally in the wider space of locally bounded charges , i.e. charges such that for any point there is a neighbourhood in which , , .


[1] N. Bourbaki, "Elements of mathematics. Integration" , Addison-Wesley (1975) pp. Chapt.6;7;8 (Translated from French)
[2] N. Dunford, J.T. Schwartz, "Linear operators. General theory" , 1 , Interscience (1958)
[3] P. Billingsley, "Convergence of probability measures" , Wiley (1968)
How to Cite This Entry:
Convergence of measures. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by R.A. Minlos (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article