Customized convergence

from Wikipedia, the free encyclopedia

The convergence to measure , even convergence to the extent or convergence in the level called, is a convergence concept of measure theory for functional consequences . The probabilistic counterpart of this type of convergence is also called convergence in probability or stochastic convergence, but sometimes the definition of convergence locally made to measure is also used there.


Let a dimension space and measurable functions be given . Then the sequence of functions is convergent to measure or convergent to the extent to if for all rule,

is. Then you write

Relationship to other types of convergence

Convergence in the pth mean

From the convergence in the p-th mean follows the convergence to measure, because it is


According to Vitali's theorem of convergence , the convergence in the p-th mean is equivalent to the convergence according to measure and the equal integrability in the p-th mean . The possibility of equal integration cannot be dispensed with, as the following example illustrates. One sets and defines the sequence of functions


on the measure space , this converges to 0 in measure, because for is


But it cannot be integrated equally (in the first mean) because it is

Following Vitali's convergence theorem, it is also not (in the first mean) convergent to 0, because it is


Just as little can be dispensed with the convergence to measure, because one chooses and the measure space , then the sequence of functions is that through


defined is equally integrable in the first mean, since it is majorized by the integrable function, which is constant 1. Due to its oscillating behavior, however, the sequence cannot converge to measure, because there is no function for the basic set and , so that it becomes small. With an analogous argument it then also follows that the function sequence does not converge in the first mean.

Almost uniform convergence

The almost uniform convergence is automatically followed by the custom-made convergence. Because by definition, the almost uniform convergence corresponds to the uniform convergence on the complement of a set with for anything . Consequently there is an index so that for all . So is for anything and thus the sequence converges according to measure.

Conversely, however, the convergence made to measure does not generally result in an almost uniform convergence. For example, consider the sequence of intervals

and defines the sequence of functions


so this sequence converges to 0 according to measure, since a deviation of the sequence of functions from 0 is only possible on the intervals. The width of the intervals and thus the size of the sets on which the sequence of functions deviates from 0 converge to 0. However, the sequence does not converge almost uniformly, since it applies to with that


But since this is firmly chosen and the constantly "wander", the sequence oscillates and can therefore not converge almost uniformly.

Pointwise convergence μ-almost everywhere

From the point-wise convergence μ-almost everywhere follows the convergence to measure for finite dimensional spaces. The conclusion follows Yegorov's theorem , that from the convergence μ-almost everywhere (in the finite case) the almost uniform convergence follows, from this in turn the convergence to measure follows.

On the finiteness of the measure space it can not be waived, as the (more detail below under investigation) function sequence on shows. It converges point by point to 0, but not to measure.

However, the convergence does not apply, so convergence to measure does not result in convergence almost everywhere. An example can be constructed as follows: Consider the intervals


numbers them with the natural numbers and names this sequence . Then the sequence of functions converges

on the measurement space made to measure towards 0, because for is . But the sequence of functions does not converge point-by-point almost everywhere to 0, because an arbitrary one is contained in an infinite number and is also not contained in an infinite number . Thus, at every point it takes the values ​​0 and 1 infinitely often, so it cannot converge point by point.

Customized local convergence

Custom-made convergence implies custom-made convergence locally . For if the measure of the set becomes arbitrarily small on the basic set , it also becomes arbitrarily small on the section with any set of finite size.

However, the reverse is generally not true. So the sequence of functions converges

on the dimensional space locally to measure towards 0, but not to measure. Because for is

for everyone . So the sequence of functions does not converge according to measure to 0. But if you now consider a with and , then they are disjoint and it applies


Thus it is because otherwise the series would diverge. It then follows

Thus the function sequence converges locally according to measure to the 0.

On finite measure spaces , convergence locally according to measure also follows from convergence according to measure, so both concepts of convergence are equivalent. This follows directly from the fact that the basic set already has finite measure. Since the function sequence converges locally according to measure, it accordingly also converges on the basic set and thus also according to measure.

Weak convergence of dimensions

From the convergence according to the measure of a sequence of functions, under certain circumstances it is possible to infer the weak convergence of the series of image measures .

If there is a measure space , if there is a finite measure and if the sequence of functions converges towards measure , then the sequence of image measures converges weakly towards .

The image dimensions are then dimensions on . More generally, this statement can also be shown for sequences of functions with values ​​in separable metric spaces .

More general wording

Customized convergence can also be defined more generally for functions with values ​​in metric spaces . To do this, replace the term with . However, it must be ensured here that the quantities are measurable, otherwise the expression in the definition is not well-defined. The measurability of these quantities is guaranteed, for example, if a separable metric space and the associated Borel σ-algebra are selected and the measurement space is selected.