Convergence space

Template:Short description In mathematics, a convergence space, also called a generalized convergence, is a set together with a relation called a Template:Em 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 Template:Em, that do not arise from any topological space.Template:Sfn An example of convergence that is in general non-topological is almost everywhere convergence. Many topological properties have generalizations to convergence spaces.

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.

Definition and notation

Preliminaries and notation

Denote the power set of a set $X$ by $\mathrm{\wp }(X).$ The Template:Em or Template:Em in $X$Template:Sfn of a family of subsets $ℬ\subseteq \mathrm{\wp }(X)$ is defined as

${ℬ}^{\uparrow X}:=\{S\subseteq X:B\subseteq S\text{ for some }B\in ℬ\}=\bigcup _{B\in ℬ}\{S:B\subseteq S\subseteq X\}$

and similarly the Template:Em of $ℬ$ is ${ℬ}^{\downarrow }:=\{S\subseteq B:B\in ℬ\}=\bigcup _{B\in ℬ}\mathrm{\wp }(B).$ If ${ℬ}^{\uparrow X}=ℬ$ (respectively ${ℬ}^{\downarrow }=ℬ$) then $ℬ$ is said to be Template:Em (respectively Template:Em) in $X.$

For any families $𝒞$ and $ℱ,$ declare that

$𝒞\le ℱ$ if and only if for every $C\in 𝒞,$ there exists some $F\in ℱ$ such that $F\subseteq C$

or equivalently, if $ℱ\subseteq \mathrm{\wp }(X),$ then $𝒞\le ℱ$ if and only if $𝒞\subseteq {ℱ}^{\uparrow X}.$ The relation $\le$ defines a preorder on $\mathrm{\wp }(\mathrm{\wp }(X)).$ If $ℱ\ge 𝒞,$ which by definition means $𝒞\le ℱ,$ then $ℱ$ is said to be Template:Em $𝒞$ and also Template:Em $𝒞,$ and $𝒞$ is said to be Template:Em $ℱ.$ The relation $\ge$ is called Template:Em. Two families $𝒞$ and $ℱ$ are called Template:Em (Template:Em $\ge$) if $𝒞\le ℱ$ and $ℱ\le 𝒞.$

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

Definition of (pre)convergence spaces

For any $\xi \subseteq X\times \mathrm{\wp }(\mathrm{\wp }(X)),$ if $ℱ\subseteq \mathrm{\wp }(X)$ then define

$\lim {}_{\xi }ℱ:=\{x\in X:(x,ℱ)\in \xi \}$

and if $x\in X$ then define

$\lim {}_{\xi }^{-1}(x):=\{ℱ\subseteq \mathrm{\wp }(X):(x,ℱ)\in \xi \}$

so if $(x,ℱ)\in X\times \mathrm{\wp }(\mathrm{\wp }(X))$ then $x\in \lim {}_{\xi }ℱ$ if and only if $(x,ℱ)\in \xi .$ The set $X$ is called the Template:Em of $\xi$ and is denoted by $\left|\xi \right|:=X.$Template:Sfn

A Template:EmTemplate:Sfn on a non-empty set $X$ is a binary relation $\xi \subseteq X\times \mathrm{Filters}(X)$ with the following property:

1. Template:Em: if $ℱ,𝒢\in \mathrm{Filters}(X)$ then $ℱ\le 𝒢$ implies $\lim {}_{\xi }ℱ\subseteq \lim {}_{\xi }𝒢$
   • In words, any limit point of $ℱ$ is necessarily a limit point of any finer/subordinate family $𝒢\ge ℱ.$

and if in addition it also has the following property:

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

then the preconvergence $\xi$ is called a Template:EmTemplate:Sfn on $X.$ A Template:Em or a Template:Em (respectively a Template:Em) is a pair consisting of a set $X$ together with a convergence (respectively preconvergence) on $X.$Template:Sfn

A preconvergence $\xi \subseteq X\times \mathrm{Filters}(X)$ can be canonically extended to a relation on $X\times \mathrm{Prefilters}(X),$ also denoted by $\xi ,$ by definingTemplate:Sfn

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

for all $ℱ\in \mathrm{Prefilters}(X).$ This extended preconvergence will be isotone on $\mathrm{Prefilters}(X),$ meaning that if $ℱ,𝒢\in \mathrm{Prefilters}(X)$ then $ℱ\le 𝒢$ implies $\lim {}_{\xi }ℱ\subseteq \lim {}_{\xi }𝒢.$

Examples

Convergence induced by a topological space

Let $(X,\tau )$ be a topological space with $X\ne \varnothing .$ If $ℱ\in \mathrm{Filters}(X)$ then $ℱ$ is said to Template:Em to a point $x\in X$ in $(X,\tau ),$ written $ℱ\to x$ in $(X,\tau ),$ if $ℱ\ge 𝒩(x),$ where $𝒩(x)$ denotes the neighborhood filter of $x$ in $(X,\tau ).$ The set of all $x\in X$ such that $ℱ\to x$ in $(X,\tau )$ is denoted by $\lim {}_{(X,\tau )}ℱ,$ $\lim {}_Xℱ,$ or simply $\lim ℱ,$ and elements of this set are called Template:Em of $ℱ$ in $(X,\tau ).$ The (Template:Em) Template:Em or Template:Em $(X,\tau )$ is the convergence on $X,$ denoted by ${\xi }_{\tau },$ defined for all $x\in X$ and all $ℱ\in \mathrm{Filters}(X)$ by:

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

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

A (pre)convergence that is induced by some topology on $X$ is called a Template:Em; otherwise, it is called a Template:Em.

Power

Let $(X,\tau )$ and $(Z,\sigma )$ be topological spaces and let $C:=C((X,\tau );(Z,\sigma ))$ denote the set of continuous maps $f:(X,\tau )\to (Z,\sigma ).$ The Template:Em is the coarsest topology $\theta$ on $C$ that makes the natural coupling $⟨x,f⟩=f(x)$ into a continuous map $(X,\tau )\times (C,\theta )\to (Z,\sigma ).$ The problem of finding the power has no solution unless $(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). 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.

Other named examples

Standard convergence on $ℝ$

The Template:Em is the convergence $\nu$ on $X$ defined for all $x\in X=ℝ$ and all $ℱ\in \mathrm{Filters}(X)$Template:Sfn by:

$x\in \lim {}_{\nu }ℱ$ if and only if $ℱ\ge \{(x-\frac{1}{n},x+\frac{1}{n}):n\in \mathbb{N}\}.$

Discrete convergence

The Template:Em ${\iota }_X$ on a non-empty set $X$ is defined for all $x\in X$ and all $ℱ\in \mathrm{Filters}(X)$Template:Sfn by:

$x\in \lim {}_{{\iota }_X}ℱ$ if and only if $ℱ=\{x{\}}^{\uparrow X}.$

A preconvergence $\xi$ on $X$ is a convergence if and only if $\xi \le {\iota }_X.$Template:Sfn

Empty convergence

The Template:Em ${\varnothing }_X$ on set non-empty $X$ is defined for all $ℱ\in \mathrm{Filters}(X)$Template:Sfn by: $\lim {}_{{\varnothing }_X}ℱ:=\mathrm{\varnothing }.$

Although it is a preconvergence on $X,$ it is Template:Em a convergence on $X.$ The empty preconvergence on $X\ne \varnothing$ is a non-topological preconvergence because for every topology $\tau$ on $X,$ the neighborhood filter at any given point $x\in X$ necessarily converges to $x$ in $(X,\tau ).$

Chaotic convergence

The Template:Em $o_X$ on set non-empty $X$ is defined for all $ℱ\in \mathrm{Filters}(X)$Template:Sfn by: $\lim {}_{o_X}ℱ:=X.$ The chaotic preconvergence on $X$ is equal to the canonical convergence induced by $X$ when $X$ is endowed with the indiscrete topology.

Properties

A preconvergence $\xi$ on set non-empty $X$ is called Template:Em or Template:Math if $\lim {}_{\xi }ℱ$ is a singleton set for all $ℱ\in \mathrm{Filters}(X).$Template:Sfn It is called Template:Math if $\lim {}_{\xi }(\{x{\}}^{\uparrow X})\subseteq \{x\}$ for all $x\in X$ and it is called Template:Math if ${\lim }^{-1}{}_{\xi }(x)\ne {\lim }^{-1}{}_{\xi }(y)$ for all distinct $x,y\in X.$Template:Sfn Every Template:Math preconvergence on a finite set is Hausdorff.Template:Sfn Every Template:Math convergence on a finite set is discrete.Template:Sfn

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.

See also

• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link

References

• Template:Dolecki Mynard Convergence Foundations Of Topology
• Template:Cite journal
• Template:Cite journal
• Template:Schechter Handbook of Analysis and Its Foundations