View source for Modes of convergence

{{Short description|Property of a sequence or series}}
In [[Mathematics|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: [[Set (mathematics)|sets]], topological spaces, uniform spaces, [[Topological abelian group|TAGs]] (topological abelian groups), [[Normed vector space|normed spaces]], Euclidean spaces, and the real/complex numbers. Also, note that any [[Metric space|metric space]] is a uniform space.

==Elements of a topological space==
Convergence can be defined in terms of [[Limit of a sequence|sequences]] in [[First-countable space|first-countable space]]s. [[Net (mathematics)|Net]]s are a generalization of sequences that are useful in spaces which are not first countable. [[Filter (set theory)|Filter]]s further generalize the concept of convergence.

In metric spaces, one can define [[Cauchy sequence]]s. Cauchy nets and filters are generalizations to [[Uniform space|uniform space]]s. Even more generally, [[Cauchy space]]s 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 [[Complete metric space|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|topological abelian group]], convergence of a [[Series (mathematics)|series]] is defined as convergence of the sequence of partial sums. An important concept when considering series is [[Unconditional convergence|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|absolute convergence]] as convergence of the series of norms (<math>\Sigma|b_k|</math>). 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 space|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 <math>\mathbb{R}^d</math>.

==Convergence of sequence of functions on 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 a function|domain]] of the functions) is [[Pointwise convergence|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|uniform convergence]], and [[Uniformly Cauchy sequence|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 convergence|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 on 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 <math>\Sigma|g_k|</math> . "Pointwise absolute convergence" is then simply pointwise convergence of <math>\Sigma|g_k|</math>.
 
[[Normal convergence]] is convergence of the series of non-negative real numbers obtained by taking the [[Uniform norm|uniform (i.e. "sup") norm]] of each function in the series (uniform convergence of <math>\Sigma|g_k|</math>). In [[Banach space]]s, 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 convergence|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 [[Normal convergence#Local normal convergence|local normal convergence]] (local, uniform, absolute convergence) and [[Normal convergence#Compact normal convergence|compact normal convergence]] (absolute convergence on compact sets) can be defined.

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==
{{Main|Convergence of random variables}}
If one considers sequences of [[Measurable function|measurable function]]s, 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|probability theory]].

==See also==

* {{annotated link|Convergence of random variables}}
* {{annotated link|Filters in topology}}
* {{annotated link|Limit of a sequence}}
* {{annotated link|Modes of convergence (annotated index)}}
* {{annotated link|Net (mathematics)}}
* {{annotated link|Topologies on spaces of linear maps}}

{{DEFAULTSORT:Modes Of Convergence}}
[[Category:Topology]]
[[Category:Convergence (mathematics)]]

{{Sourceattribution|Modes of convergence}}