Filters in topology

Filters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such a convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, 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.

Filters have generalizations called prefilters (also known as filter bases) and filter subbases, all of which appear naturally and repeatedly throughout topology. Examples include neighborhood filters/bases/subbases and uniformities. Every filter is a prefilter and both are filter subbases. Every prefilter and filter subbase is contained in a unique smallest filter, which they are said to generate. This establishes a relationship between filters and prefilters that may often be exploited to allow one to use whichever of these two notions is more technically convenient. There is a certain preorder on families of sets, denoted by ${\displaystyle \,\leq ,\,}$ that helps to determine exactly when and how one notion (filter, prefilter, etc.) can or cannot be used in place of another. This preorder's importance is amplified by the fact that it also defines the notion of filter convergence, where by definition, a filter (or prefilter) ${\displaystyle {\mathcal {B}}}$ converges to a point if and only if ${\displaystyle {\mathcal {N}}\leq {\mathcal {B}},}$ where ${\displaystyle {\mathcal {N}}}$ is that point's neighborhood filter. Consequently, subordination also plays an important role in many concepts that are related to convergence, such as cluster points and limits of functions. In addition, the relation ${\displaystyle {\mathcal {S}}\geq {\mathcal {B}},}$ which denotes ${\displaystyle {\mathcal {B}}\leq {\mathcal {S}}}$ and is expressed by saying that ${\displaystyle {\mathcal {S}}}$ is subordinate to ${\displaystyle {\mathcal {B}},}$ also establishes a relationship in which ${\displaystyle {\mathcal {S}}}$ is to ${\displaystyle {\mathcal {B}}}$ as a subsequence is to a sequence (that is, the relation ${\displaystyle \geq ,}$ which is called subordination, is for filters the analog of "is a subsequence of").

The power set lattice of the set ${\displaystyle X:=\{1,2,3,4\},}$ with the upper set ${\displaystyle \{1,4\}^{\uparrow X}}$ colored dark green. It is a filter, and even a principal filter. It is not an ultrafilter, as it can be extended to the larger nontrivial filter ${\displaystyle \{1\}^{\uparrow X}}$ by including also the light green elements. Because ${\displaystyle \{1\}^{\uparrow X}}$ cannot be extended any further, it is an ultrafilter.