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:

2. 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}}.}$

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 a non-empty set ${\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.