Modes of convergence

Modes of convergence

In mathematics, there are many senses in which a sequence or a series is said to be convergent. This article describes various modes (senses or species) of convergence in the settings where they are defined. For a list of modes of convergence, see Modes of convergence (annotated index)

Note that each of the following objects is a special case of the types preceding it: sets, topological spaces, uniform spaces, TAGs (topological abelian groups), normed spaces, Euclidean spaces, and the real/complex numbers. Also, note that any metric space is a uniform space.

Contents

Elements of a topological space

Convergence can be defined in terms of sequences in first-countable spaces. Nets are a generalization of sequences that is useful in spaces which are not first countable. Filters further generalize the concept of convergence.

In metric spaces, one can define Cauchy sequences. Cauchy nets and filters are generalizations to uniform spaces. Even more generally, Cauchy spaces are spaces in which Cauchy filters may be defined. Convergence implies "Cauchy-convergence", and Cauchy-convergence, together with the existence of a convergent subsequence implies convergence. The concept of completeness of metric spaces, and its generalizations is defined in terms of Cauchy sequences.

Series of elements in a topological abelian group

In a topological abelian group, convergence of a series is defined as convergence of the sequence of partial sums. An important concept when considering series is unconditional convergence, which guarantees that the limit of the series is invariant under permutations of the summands.

In a normed vector space, one can define absolute convergence as convergence of the series of norms (Σ | bk | ). Absolute convergence implies Cauchy convergence of the sequence of partial sums (by the triangle inequality), which in turn implies absolute-convergence of some grouping (not reordering). The sequence of partial sums obtained by grouping is a subsequence of the partial sums of the original series. The norm convergence of absolutely convergent series is an equivalent condition for a normed linear space to be Banach (i.e.: complete).

Absolute convergence and convergence together imply unconditional convergence, but unconditional convergence does not imply absolute convergence in general, even if the space is Banach, although the implication holds in \mathbb{R}^d.

Convergence of sequence of functions to a topological space

The most basic type of convergence for a sequence of functions (in particular, it does not assume any topological structure on the domain of the functions) is pointwise convergence. It is defined as convergence of the sequence of values of the functions at every point. If the functions take their values in a uniform space, then one can define pointwise Cauchy convergence, uniform convergence, and uniform Cauchy convergence of the sequence.

Pointwise convergence implies pointwise Cauchy-convergence, and the converse holds if the space in which the functions take their values is complete. Uniform convergence implies pointwise convergence and uniform Cauchy convergence. Uniform Cauchy convergence and pointwise convergence of a subsequence imply uniform convergence of the sequence, and if the codomain is complete, then uniform Cauchy convergence implies uniform convergence.

If the domain of the functions is a topological space, local uniform convergence (i.e. uniform convergence on a neighborhood of each point) and compact (uniform) convergence (i.e. uniform convergence on all compact subsets) may be defined. Note that "compact convergence" is always short for "compact uniform convergence," since "compact pointwise convergence" would mean the same thing as "pointwise convergence" (points are always compact).

Uniform convergence implies both local uniform convergence and compact convergence, since both are local notions while uniform convergence is global. If X is locally compact (even in the weakest sense: every point has compact neighborhood), then local uniform convergence is equivalent to compact (uniform) convergence. Roughly speaking, this is because "local" and "compact" connote the same thing.

Series of functions to a topological abelian group

Pointwise and uniform convergence of series of functions are defined in terms of convergence of the sequence of partial sums.

For functions taking values in a normed linear space, absolute convergence refers to convergence of the series of positive, real-valued functions Σ | gk | . "Pointwise absolute convergence" is then simply pointwise convergence of Σ | gk | .

Normal convergence[1] is convergence of the series of non-negative real numbers obtained by taking the uniform (i.e. "sup") norm of each function in the series (uniform convergence of Σ | gk | ). In Banach spaces, pointwise absolute convergence implies pointwise convergence, and normal convergence implies uniform convergence.

For functions defined on a topological space, one can define (as above) local uniform convergence and compact (uniform) convergence in terms of the partial sums of the series. If, in addition, the functions take values in a normed linear space, then local normal convergence (local, uniform, absolute convergence) and compact normal convergence (absolute convergence on compact sets).

Normal convergence implies both local normal convergence and compact normal convergence. And if the domain is locally compact (even in the weakest sense), then local normal convergence implies compact normal convergence.

Functions defined on a measure space

If one considers sequences of measurable functions, then several modes of convergence that depend on measure-theoretic, rather than solely topological properties, arise. This includes pointwise convergence almost-everywhere, convergence in p-mean and convergence in measure. These are of particular interest in probability theory.

See also


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Modes of convergence (annotated index) — The purpose of this article is to serve as an annotated index of various modes of convergence and their logical relationships. For an expository article, see Modes of convergence. Simple logical relationships between different modes of… …   Wikipedia

  • Convergence De Variables Aléatoires — Dans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci dessous) de suites de variables aléatoires est un concept important de la théorie des probabilités …   Wikipédia en Français

  • Convergence de variables aleatoires — Convergence de variables aléatoires Dans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci dessous) de suites de variables aléatoires est un concept… …   Wikipédia en Français

  • Convergence de variables aléatoires — Dans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci dessous) de suites de variables aléatoires est un concept important de la théorie des probabilités …   Wikipédia en Français

  • Convergence normale — En analyse, la convergence normale est l un des modes de convergence d une série de fonctions. Si (fn) est une suite de fonctions à valeurs réelles ou complexes définies sur un même ensemble X, la série de terme général fn converge normalement… …   Wikipédia en Français

  • Uniform convergence — In the mathematical field of analysis, uniform convergence is a type of convergence stronger than pointwise convergence. A sequence {fn} of functions converges uniformly to a limiting function f if the speed of convergence of fn(x) to f(x) does… …   Wikipedia

  • Absolute convergence — In mathematics, a series (or sometimes also an integral) of numbers is said to converge absolutely if the sum (or integral) of the absolute value of the summand or integrand is finite. More precisely, a real or complex series is said to converge… …   Wikipedia

  • Normal convergence — In mathematics normal convergence is a type of convergence for series of functions. Like absolute convergence, it has the useful property that it is preserved when the order of summation is changed. Contents 1 History 2 Definition 3 Distinctions …   Wikipedia

  • Pointwise convergence — In mathematics, pointwise convergence is one of various senses in which a sequence of functions can converge to a particular function.[1][2] Contents 1 Definition 2 Properties …   Wikipedia

  • Uniform absolute-convergence — In mathematics, uniform absolute convergence is a type of convergence for series of functions. Like absolute convergence, it has the useful property that it is preserved when the order of summation is changed. Motivation A convergent series of… …   Wikipedia

Share the article and excerpts

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