nLab
convergence space

Idea

A convergence space is a generalisation of a topological space based on the concept of convergent filter (or net) as fundamental. The basic concepts of point-set topology (continuous functions, compact and Hausdorff spaces, etc) make sense also for convergence spaces, although not all theorems hold. The category of convergence spaces is a quasitopos and may be thought of as a nice category of spaces that includes Top as a full subcategory.

Definitions

A convergence space is a set $S$ together with a relation $\to$ from $ℱS$ to $S$, where $ℱS$ is the set of filters on $S$; if $F\to x$, we say that $F$ converges to $x$ or that $x$ is a limit of $F$. This must satisfy some axioms:

1. Centred: The principal ultrafilter $F_x=\{A\mid x\in A\}$ at $x$ converges to $x$;
2. Isotone: If $F\subseteq G$ and $F\to x$, then $G\to x$;
3. Directed: If $F\to x$ and $G\to x$, then some set contained in the intersection $F\cap G$ converges to $x$. In light of (2), it follows that $F\cap G\to x$. (Strictly speaking, the relation should not be called directed unless also every point is a limit of some filter, but this follows from 1.)

It follows that $F\to x$ if and only if $F\cap F_x$ does. Given that, the convergence relation is defined precisely by specifying, for each point $x$, a filter of subfilters of the principal ultrafilter at $x$. (But that is sort of a tongue twister.)

A filter $F$ clusters at a point $x$ if there exists a proper filter $G$ such that $F\subseteq G$ and $G\to x$.

The definition can also be phrased in terms of nets; a net $\nu$ converges to $x$ if and only if its eventuality filter converges to $x$.

The morphisms of convergence spaces are the continuous functions; a function $f$ between convergence spaces is continuous if $F\to x$ implies that $f(F)\to f(x)$, where $f(F)$ is the filter generated by the filterbase $\{F(A)\mid A\in F\}$. In this way, convergence spaces form a category $\mathrm{Conv}$.

Note that the definition of ‘convergence’ varies in the literature; at the extreme end, one could define it any relation from $ℱS$ (or even from the class of all nets on $S$) to $S$ whatsoever, but that is so little structure as to be not very useful. Here we follow the terminology of Lowen-Colebunders.

Examples

In measure theory, given a measure space $X$ and a measurable space $Y$, the space of almost-everywhere defined measurable functions from $X$ to $Y$ becomes a convergence space under convergence almost everywhere. In general, this convergence space does not fit into any of the examples below.

A pseudotopological space is a convergence space satisfying the star property:

• If $F$ is a filter such that every proper filter $G\supseteq F$ clusters at $x$, then $F$ converges to $x$.

Assuming the ultrafilter theorem (a weak version of the axiom of choice), it's enough to require that $F$ converges to $x$ whenever every ultrafilter that refines $F$ converges to $x$.

A subsequential space is a pseudotopological space that may be defined using only sequences instead of arbitrary nets/filters.

A pretopological space is a convergence space that is infinitely filtered:

• If $(F_{\alpha }{)}_{\alpha }$ is any family of filters each of which converges to $x$, then ${\bigcap }_{\alpha }{F}_{\alpha }$ converges to $x$.

In particular, the intersection of all of the filters converging to $x$ also converges to $x$. Note that every pretopological space is pseudotopological.

Any topological space is a convergence space, and in fact a pretopological one: we define $F\to x$ if every neighbourhood of $x$ belongs to $F$. A convergence space is topological if it comes from a topology on $S$. The full subcategory of $\mathrm{Conv}$ consisting of the topological convergence spaces is equivalent to the category Top of topological spaces. In this way, the definitions below are all suggested by theorems about topological spaces.

Properties

The improper filter (the power set of $S$) converges to every point. On the other hand, a convergence space $S$ is Hausdorff if every proper filter converges to at most one point; then we have a partial function $\lim$ from the proper filters on $S$ to $S$. A topological space is Hausdorff in the usual sense if and only if it is Hausdorff as a convergence space.

A convergence space $S$ is compact if every proper filter clusters at some point; that is, every proper filter is contained in a convergent proper filter. Equivalently (assuming the ultrafilter theorem), $S$ is compact iff every ultrafilter converges. A topological space is compact in the usual sense if and only if it is compact as a convergence space.

The topological convergence spaces can be characterized as the pseudotopological ones in which the convergence satisfies a certain “associativity” condition. In this way one can (assuming the ultrafilter theorem) think of a topological space as a “generalized multicategory” parametrized by ultrafilters. In particular, note that a compact Hausdorff pseudotopological space is defined by a single function $𝒰S\to S$, where $𝒰S$ is the set of ultrafilters on $S$, such that the composite $S\to 𝒰S\to S$ is the identity. That is, it is an algebra for the pointed endofunctor $𝒰$. The compact Hausdorff topological spaces (the compacta) are precisely the algebras for $𝒰$ considered as a monad.

Topological structure

Given a convergence space, a filter $F$ star-converges to a point $x$ if every proper filter that refines $F$ clusters at $x$. (Assuming the ultrafilter theorem, $F$ star-converges to $x$ iff every ultrafilter that refines $F$ converges to $x$.) The relation of star convergence makes any convergence space into a pseudotopological space with a weaker convergence. In this way, $\mathrm{Ps}\mathrm{Top}$ becomes a reflective subcategory of $\mathrm{Conv}$ over $\mathrm{Set}$.

Note: the term ‘star convergence’ is my own, formed from ‘star property’ above, which I got from HAF. Other possibilities that I can think of: ‘ultraconvergence’, ‘universal convergence’, ‘subconvergence’. —Toby

Given a convergence space, a set $U$ is a neighbourhood of a point $x$ if $U$ belongs to every filter that converges to $x$; it follows that $U$ belongs to every filter that star-converges to $x$. The relation of being a neighbourhood makes any convergence space into a pretopological space, although the pretopological convergence is weaker in general. In this way, $\mathrm{Pre}\mathrm{Top}$ is a reflective subcategory of $\mathrm{Conv}$ (and in fact of $\mathrm{Ps}\mathrm{Top}$) over $\mathrm{Set}$.

Other pretopological notions: The preinterior of a set $A$ is the set of all points $x$ such that $A$ is a neighbourhood of $x$. The preclosure of $A$ is the set of all points $x$ such that every neighbourhood $U$ of $x$ meets (has inhabited intersection with) $A$. For more on these, see pretopological space.

Given a convergence space, a set $G$ is open if $G$ belongs to every filter that converges to any point in $G$, or equivalently if $G$ equals its preinterior. The class of open sets makes any convergence space into a topological space, although the topological convergence is weaker in general. In this way, $\mathrm{Top}$ is a reflective subcategory of $\mathrm{Conv}$ (and in fact of $\mathrm{Ps}\mathrm{Top}$ and $\mathrm{Pre}\mathrm{Top}$) over $\mathrm{Set}$.

Other topological notions: A set $F$ is closed if $F$ meets every neighbourhood of every point that belongs to $F$, equivalently if $F$ equals its preclosure. The interior of $A$ is the union of all of the open sets contained in $A$; it is the largest open set contained in $A$. The closure of $A$ is the intersection of all of the closed sets that contain $A$; it is the smallest closed set that contains $A$.

References

• Eva Lowen-Colebunders (1989). Function Classes of Cauchy Continuous Maps. Dekker, New York, 1989.