# Convergence space

Last updated

In mathematics, a convergence space, also called a generalized convergence, is a set together with a relation called a convergence that satisfies certain properties relating elements of X with the family of filters on X. Convergence spaces generalize the notions of convergence that are found in point-set topology, including metric convergence and uniform convergence. Every topological space gives rise to a canonical convergence but there are convergences, known as non-topological convergences, that do not arise from any topological space. [1] Examples of convergences that are in general non-topological include convergence in measure and almost everywhere convergence. Many topological properties have generalizations to convergence spaces.

## Contents

Besides its ability to describe notions of convergence that topologies are unable to, the category of convergence spaces has an important categorical property that the category of topological spaces lacks. The category of topological spaces is not an exponential category (or equivalently, it is not Cartesian closed) although it is contained in the exponential category of pseudotopological spaces, which is itself a subcategory of the (also exponential) category of convergence spaces. [2]

## Definition and notation

### Preliminaries and notation

Denote the power set of a set ${\displaystyle X}$ by ${\displaystyle \wp (X).}$ The upward closure or isotonization in ${\displaystyle X}$ [3] of a family of subsets ${\displaystyle {\mathcal {B}}\subseteq \wp (X)}$ is defined as

${\displaystyle {\mathcal {B}}^{\uparrow X}:=\left\{S\subseteq X~:~B\subseteq S{\text{ for some }}B\in {\mathcal {B}}\,\right\}=\bigcup _{B\in {\mathcal {B}}}\left\{S~:~B\subseteq S\subseteq X\right\}}$

and similarly the downward closure of ${\displaystyle {\mathcal {B}}}$ is ${\displaystyle {\mathcal {B}}^{\downarrow }:=\left\{S\subseteq B~:~B\in {\mathcal {B}}\,\right\}=\bigcup _{B\in {\mathcal {B}}}\wp (B).}$ If ${\displaystyle {\mathcal {B}}^{\uparrow X}={\mathcal {B}}}$ (resp. ${\displaystyle {\mathcal {B}}^{\downarrow }={\mathcal {B}}}$) then ${\displaystyle {\mathcal {B}}}$ is said to be upward closed (resp. downward closed) in ${\displaystyle X.}$

For any families ${\displaystyle {\mathcal {C}}}$ and ${\displaystyle {\mathcal {F}},}$ declare that

${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$ if and only if for every ${\displaystyle C\in {\mathcal {C}},}$ there exists some ${\displaystyle F\in {\mathcal {F}}}$ such that ${\displaystyle F\subseteq C}$

or equivalently, if ${\displaystyle {\mathcal {F}}\subseteq \wp (X),}$ then ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$ if and only if ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {F}}^{\uparrow X}.}$ The relation ${\displaystyle \,\leq \,}$ defines a preorder on ${\displaystyle \wp (\wp (X)).}$ If ${\displaystyle {\mathcal {F}}\geq {\mathcal {C}},}$ which by definition means ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}},}$ then ${\displaystyle {\mathcal {F}}}$ is said to be subordinate to${\displaystyle {\mathcal {C}}}$ and also finer than${\displaystyle {\mathcal {C}},}$ and ${\displaystyle {\mathcal {C}}}$ is said to be coarser than${\displaystyle {\mathcal {F}}.}$ The relation ${\displaystyle \,\geq \,}$ is called subordination. Two families ${\displaystyle {\mathcal {C}}}$ and ${\displaystyle {\mathcal {F}}}$ are called equivalent (with respect to subordination${\displaystyle \,\geq \,}$) if ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$ and ${\displaystyle {\mathcal {F}}\leq {\mathcal {C}}.}$

A filter on a set ${\displaystyle X}$ is a non-empty subset ${\displaystyle {\mathcal {F}}\subseteq \wp (X)}$ that is upward closed in ${\displaystyle X,}$ closed under finite intersections, and does not have the empty set as an element (i.e. ${\displaystyle \varnothing \not \in {\mathcal {F}}}$). A prefilter is any family of sets that is equivalent (with respect to subordination) to some filter or equivalently, it is any family of sets whose upward closure is a filter. A family ${\displaystyle {\mathcal {B}}}$ is a prefilter, also called a filter base, if and only if ${\displaystyle \varnothing \not \in {\mathcal {B}}\neq \varnothing }$ and for any ${\displaystyle B,C\in {\mathcal {B}},}$ there exists some ${\displaystyle A\in {\mathcal {B}}}$ such that ${\displaystyle A\subseteq B\cap C.}$ A filter subbase is any non-empty family of sets with the finite intersection property; equivalently, it is any non-empty family ${\displaystyle {\mathcal {B}}}$ that is contained as a subset of some filter (or prefilter), in which case the smallest (with respect to ${\displaystyle \subseteq }$ or ${\displaystyle \leq }$) filter containing ${\displaystyle {\mathcal {B}}}$ is called the filter (on ${\displaystyle X}$) generated by ${\displaystyle {\mathcal {B}}}$. The set of all filters (resp. prefilters, filter subbases, ultrafilters) on ${\displaystyle X}$ will be denoted by ${\displaystyle \operatorname {Filters} (X)}$ (resp. ${\displaystyle \operatorname {Prefilters} (X),}$${\displaystyle \operatorname {FilterSubbases} (X),}$${\displaystyle \operatorname {UltraFilters} (X)}$). The principal or discrete filter on ${\displaystyle X}$ at a point ${\displaystyle x\in X}$ is the filter ${\displaystyle \{x\}^{\uparrow X}.}$

### Definition of (pre)convergence spaces

For any ${\displaystyle \xi \subseteq X\times \wp (\wp (X)),}$ if ${\displaystyle {\mathcal {F}}\subseteq \wp (X)}$ then define

${\displaystyle \lim {}_{\xi }{\mathcal {F}}:=\left\{x\in X~:~\left(x,{\mathcal {F}}\right)\in \xi \right\}}$

and if ${\displaystyle x\in X}$ then define

${\displaystyle \lim {}_{\xi }^{-1}(x):=\left\{{\mathcal {F}}\subseteq \wp (X)~:~\left(x,{\mathcal {F}}\right)\in \xi \right\}}$

so if ${\displaystyle \left(x,{\mathcal {F}}\right)\in X\times \wp (\wp (X))}$ then ${\displaystyle x\in \lim {}_{\xi }{\mathcal {F}}}$ if and only if ${\displaystyle \left(x,{\mathcal {F}}\right)\in \xi .}$ The set ${\displaystyle X}$ is called the underlying set of ${\displaystyle \xi }$ and is denoted by ${\displaystyle \left|\xi \right|:=X.}$ [1]

A preconvergence [1] [2] [4] on a non-empty set ${\displaystyle X}$ is a binary relation ${\displaystyle \xi \subseteq X\times \operatorname {Filters} (X)}$ with the following property:

1. Isotone : if ${\displaystyle {\mathcal {F}},{\mathcal {G}}\in \operatorname {Filters} (X)}$ then ${\displaystyle {\mathcal {F}}\leq {\mathcal {G}}}$ implies ${\displaystyle \lim {}_{\xi }{\mathcal {F}}\subseteq \lim {}_{\xi }{\mathcal {G}}}$
• In words, any limit point of ${\displaystyle {\mathcal {F}}}$ is necessarily a limit point of any finer/subordinate family ${\displaystyle {\mathcal {G}}\geq {\mathcal {F}}.}$

and if in addition it also has the following property:

1. Centered: if ${\displaystyle x\in X}$ then ${\displaystyle x\in \lim {}_{\xi }\left(\{x\}^{\uparrow X}\right)}$
• In words, for every ${\displaystyle x\in X,}$ the principal/discrete ultrafilter at ${\displaystyle x}$ converges to ${\displaystyle x.}$

then the preconvergence ${\displaystyle \xi }$ is called a convergence [1] on ${\displaystyle X.}$ A generalized convergence or a convergence space (resp. a preconvergence space) is a pair consisting of a set ${\displaystyle X}$ together with a convergence (resp. preconvergence) on ${\displaystyle X.}$ [1]

A preconvergence ${\displaystyle \xi \subseteq X\times \operatorname {Filters} (X)}$ can be canonically extended to a relation on ${\displaystyle X\times \operatorname {Prefilters} (X),}$ also denoted by ${\displaystyle \xi ,}$ by defining [1]

${\displaystyle \lim {}_{\xi }{\mathcal {F}}:=\lim {}_{\xi }\left({\mathcal {F}}^{\uparrow X}\right)}$

for all ${\displaystyle {\mathcal {F}}\in \operatorname {Prefilters} (X).}$ This extended preconvergence will be isotone on ${\displaystyle \operatorname {Prefilters} (X),}$ meaning that if ${\displaystyle {\mathcal {F}},{\mathcal {G}}\in \operatorname {Prefilters} (X)}$ then ${\displaystyle {\mathcal {F}}\leq {\mathcal {G}}}$ implies ${\displaystyle \lim {}_{\xi }{\mathcal {F}}\subseteq \lim {}_{\xi }{\mathcal {G}}.}$

## Examples

### Convergence induced by a topological space

Let ${\displaystyle (X,\tau )}$ be a topological space with ${\displaystyle X\neq \varnothing .}$ If ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X)}$ then ${\displaystyle {\mathcal {F}}}$ is said to converge to a point ${\displaystyle x\in X}$ in ${\displaystyle (X,\tau ),}$ written ${\displaystyle {\mathcal {F}}\to x}$ in ${\displaystyle (X,\tau ),}$ if ${\displaystyle {\mathcal {F}}\geq {\mathcal {N}}(x),}$ where ${\displaystyle {\mathcal {N}}(x)}$ denotes the neighborhood filter of ${\displaystyle x}$ in ${\displaystyle (X,\tau ).}$ The set of all ${\displaystyle x\in X}$ such that ${\displaystyle {\mathcal {F}}\to x}$ in ${\displaystyle (X,\tau )}$ is denoted by ${\displaystyle \lim {}_{(X,\tau )}{\mathcal {F}},}$${\displaystyle \lim {}_{X}{\mathcal {F}},}$ or simply ${\displaystyle \lim {\mathcal {F}},}$ and elements of this set are called limit points of ${\displaystyle {\mathcal {F}}}$ in ${\displaystyle (X,\tau ).}$ The (canonical) convergence associated with or induced by${\displaystyle (X,\tau )}$ is the convergence on ${\displaystyle X,}$ denoted by ${\displaystyle \xi _{\tau },}$ defined for all ${\displaystyle x\in X}$ and all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X)}$ by:

${\displaystyle x\in \lim {}_{\xi _{\tau }}{\mathcal {F}}}$ if and only if ${\displaystyle {\mathcal {F}}\to x}$ in ${\displaystyle (X,\tau ).}$

Equivalently, it is defined by ${\displaystyle \lim {}_{\xi _{\tau }}{\mathcal {F}}:=\lim {}_{(X,\tau )}{\mathcal {F}}}$ for all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X).}$

A (pre)convergence that is induced by some topology on ${\displaystyle X}$ is called a topological (pre)convergence; otherwise, it is called a non-topological (pre)convergence.

### Power

Let ${\displaystyle (X,\tau )}$ and ${\displaystyle (Z,\sigma )}$ be topological spaces and let ${\displaystyle C:=C\left((X,\tau );(Z,\sigma )\right)}$ denote the set of continuous maps ${\displaystyle f:(X,\tau )\to (Z,\sigma ).}$ The power with respect to ${\displaystyle \tau }$ and ${\displaystyle \sigma }$ is the coarsest topology ${\displaystyle \theta }$ on ${\displaystyle C}$ that makes the natural coupling ${\displaystyle \left\langle x,f\right\rangle =f(x)}$ into a continuous map ${\displaystyle (X,\tau )\times \left(C,\theta \right)\to (Z,\sigma ).}$ [2] The problem of finding the power has no solution unless ${\displaystyle (X,\tau )}$ is locally compact. However, if searching for a convergence instead of a topology, then there always exists a convergence that solves this problem (even without local compactness). [2] In other words, the category of topological spaces is not an exponential category (i.e. or equivalently, it is not Cartesian closed) although it is contained in the exponential category of pseudotopologies, which is itself a subcategory of the (also exponential) category of convergences. [2]

### Other named examples

Standard convergence on ℝ
The standard convergence on the real line ${\displaystyle X:=\mathbb {R} }$ is the convergence ${\displaystyle \nu }$ on ${\displaystyle X}$ defined for all ${\displaystyle x\in X=\mathbb {R} }$ and all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X)}$ [1] by:
${\displaystyle x\in \lim {}_{\nu }{\mathcal {F}}}$ if and only if ${\displaystyle {\mathcal {F}}~\geq ~\left\{\left(x-{\frac {1}{n}},x+{\frac {1}{n}}\right)~:~n\in \mathbb {N} \right\}.}$
Discrete convergence
The discrete preconvergence${\displaystyle \iota _{X}}$ on set non-empty ${\displaystyle X}$ is defined for all ${\displaystyle x\in X}$ and all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X)}$ [1] by:
${\displaystyle x\in \lim {}_{\iota _{X}}{\mathcal {F}}}$ if and only if ${\displaystyle {\mathcal {F}}~=~\{x\}^{\uparrow X}.}$
A preconvergence ${\displaystyle \xi }$ on ${\displaystyle X}$ is a convergence if and only if ${\displaystyle \xi \leq \iota _{X}.}$ [1]
Empty convergence
The empty preconvergence${\displaystyle \varnothing _{X}}$ on set non-empty ${\displaystyle X}$ is defined for all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X)}$ [1] by: ${\displaystyle \lim {}_{\varnothing _{X}}{\mathcal {F}}:=\emptyset .}$
Although it is a preconvergence on ${\displaystyle X,}$ it is not a convergence on ${\displaystyle X.}$ The empty preconvergence on ${\displaystyle X\neq \varnothing }$ is a non-topological preconvergence because for every topology ${\displaystyle \tau }$ on ${\displaystyle X,}$ the neighborhood filter at any given point ${\displaystyle x\in X}$ necessarily converges to ${\displaystyle x}$ in ${\displaystyle (X,\tau ).}$
Chaotic convergence
The chaotic preconvergence${\displaystyle o_{X}}$ on set non-empty ${\displaystyle X}$ is defined for all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X)}$ [1] by: ${\displaystyle \lim {}_{o_{X}}{\mathcal {F}}:=X.}$ The chaotic preconvergence on ${\displaystyle X}$ is equal to the canonical convergence induced by ${\displaystyle X}$ when ${\displaystyle X}$ is endowed with the indiscrete topology.

## Properties

A preconvergence ${\displaystyle \xi }$ on set non-empty ${\displaystyle X}$ is called Hausdorff or T2 if ${\displaystyle \lim {}_{\xi }{\mathcal {F}}}$ is a singleton set for all ${\displaystyle {\mathcal {F}}\in \operatorname {Filters} (X).}$ [1] It is called T1 if ${\displaystyle \lim {}_{\xi }\left(\{x\}^{\uparrow X}\right)\subseteq \{x\}}$ for all ${\displaystyle x\in X}$ and it is called T0 if ${\displaystyle \operatorname {lim} ^{-1}{}_{\xi }(x)\neq \operatorname {lim} ^{-1}{}_{\xi }(y)}$ for all distinct ${\displaystyle x,y\in X.}$ [1] Every T1 preconvergence on a finite set is Hausdorff. [1] Every T1 convergence on a finite set is discrete. [1]

While the category of topological spaces is not exponential (i.e. Cartesian closed), it can be extended to an exponential category through the use of a subcategory of convergence spaces. [2]

## Citations

1. Dolecki & Mynard 2016, pp. 55-77.
2. Dolecki 2009 , pp. 1-51
3. Dolecki & Mynard 2016, pp. 27–29.
4. Dolecki & Mynard 2014 , pp. 1-25

## Related Research Articles

In mathematics, a continuous function is a function that does not have any abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its output can be assured by restricting to sufficiently small changes in its input. If not continuous, a function is said to be discontinuous. Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, during which attempts such as the epsilon–delta definition were made to formalize it.

In the mathematical field of set theory, an ultrafilter on a given partially ordered set (poset) P is a certain subset of P, namely a maximal filter on P, that is, a proper filter on P that cannot be enlarged to a bigger proper filter on P.

In mathematics, open sets are a generalization of open intervals in the real line. In a metric space—that is, when a distance is defined—open sets are the sets that, with every point P, contain all points that are sufficiently near to P.

In mathematics, the closure of a subset S of points in a topological space consists of all points in S together with all limit points of S. The closure of S may equivalently be defined as the union of S and its boundary, and also as the intersection of all closed sets containing S. Intuitively, the closure can be thought of as all the points that are either in S or "near" S. A point which is in the closure of S is a point of closure of S. The notion of closure is in many ways dual to the notion of interior.

In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a closed set is a set which is closed under the limit operation. This should not be confused with a closed manifold.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

In mathematics, a base or basis for the topology τ of a topological space (X, τ) is a family B of open subsets of X such that every open set is equal to a union of some sub-family of B. For example, the set of all open intervals in the real number line is a basis for the Euclidean topology on because every open interval is an open set, and also every open subset of can be written as a union of some family of open intervals.

In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms that can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first formalized by Kazimierz Kuratowski, and the idea was further studied by mathematicians such as Wacław Sierpiński and António Monteiro, among others.

In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with xA. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial representations on one-dimensional spaces. As explained below, the spectrum Â is also naturally a topological space; this is similar to the notion of the spectrum of a ring.

In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: mixing paint, mixing drinks, industrial mixing, etc.

In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.

In general topology and related areas of mathematics, the final topology on a set with respect to a family of functions into is the finest topology on that makes those functions continuous.

In topology and related fields of mathematics, a sequential space is a topological space that satisfies a very weak axiom of countability.

In topology, a preclosure operator, or Čech closure operator is a map between subsets of a set, similar to a topological closure operator, except that it is not required to be idempotent. That is, a preclosure operator obeys only three of the four Kuratowski closure axioms.

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms.

In the field of topology, a Fréchet–Urysohn space is a topological space with the property that for every subset the closure of in is identical to the sequential closure of in Fréchet–Urysohn spaces are a special type of sequential space.

In mathematics, a polyadic space is a topological space that is the image under a continuous function of a topological power of an Alexandroff one-point compactification of a discrete space.

In topology, a subfield of mathematics, filters are special families of subsets of a set that can be used to study topological spaces and define all basic topological notions such a convergence, continuity, compactness, and more. Filters also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called ultrafilters have many useful technical properties and they may often be used in place of arbitrary filters.

In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS Y without any need to extend definitions from real/complex-valued functions to Y-valued functions.

In mathematics, specifically topology, a sequence covering map is any of a class of maps between topological spaces whose definitions all somehow relate sequences in the codomain with sequences in the domain. Examples include sequentially quotient maps, sequence coverings, 1-sequence coverings, and 2-sequence coverings. These classes of maps are closely related to sequential spaces. If the domain and/or codomain have certain additional topological properties then these definitions become equivalent to other well-known classes of maps, such as open maps or quotient maps, for example. In these situations, characterizations of such properties in terms of convergent sequences might provide benefits similar to those provided by, say for instance, the characterization of continuity in terms of sequential continuity or the characterization of compactness in terms of sequential compactness.

## References

• Dolecki, Szymon; Mynard, Frederic (2016). Convergence Foundations Of Topology. New Jersey: World Scientific Publishing Company. ISBN   978-981-4571-52-4. OCLC   945169917.
• Dolecki, Szymon (2009). Mynard, Frédéric; Pearl, Elliott (eds.). "An initiation into convergence theory" (PDF). Beyond Topology. Contemporary Mathematics Series A.M.S. 486: 115–162. Retrieved 14 January 2021.
• Dolecki, Szymon; Mynard, Frédéric (2014). "A unified theory of function spaces and hyperspaces: local properties" (PDF). Houston J. Math. 40 (1): 285–318. Retrieved 14 January 2021.
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN   978-0-12-622760-4. OCLC   175294365.