Filters in topology

In mathematics, a filter on a set is a collection of nonempty subsets which is upward closed and closed under finite intersections (see Filter on a set for a more detailed discussion). An example of filter is the collection of neighborhoods of a point in a topological space. This article is focused on applications of filters to topology.

Filters were introduced by Henri Cartan in 1937 as an alternative to the related notion of a net developed in 1922 by E. H. Moore and Herman L. Smith. In metric spaces, and more generally in sequential spaces, basic topological notions such as open set, closed set, convergence, continuity, compactness and more can be fully characterized in terms of sequences, as studied in real analysis. But in other classes of spaces, sequences are insufficient. Filters and nets both provide ways to generalize the notion of convergence and characterize all these topological notions in general topological spaces. Filters also provide a common framework for defining various types of limits of functions, including limits from the left or right, to infinity, to a point or a set.

In particular, filters and nets provide equivalent notions of convergence: to each net one can associate a filter, and to each filter a net, so that the net converges to a point if and only if the same is true of the associated filter, and vice versa. So the use of one or the other is often a matter of convenience.

Besides characterizing topological notions, filters and ultrafilters, which are a special type of filter, are used extensively in general topology for constructing topological spaces of interest.

Definitions

Let X {\displaystyle X} be a set and P ( X ) {\displaystyle {\mathfrak {P}}(X)} the power set of it.

A filter F {\displaystyle {\mathcal {F}}} is a subset of P ( X ) − { ∅ } {\displaystyle {\mathfrak {P}}(X)-\{\emptyset \}} having the properties:

(upward closed) for a subset T ⊂ X {\displaystyle T\subset X}, if T ⊃ S {\displaystyle T\supset S} for some S ∈ F {\displaystyle S\in {\mathcal {F}}}, then T ∈ F {\displaystyle T\in {\mathcal {F}}}.
(directed downward) for each finite subset E ⊂ F {\displaystyle {\mathcal {E}}\subset {\mathcal {F}}}, the intersection of E {\displaystyle {\mathcal {E}}} contains a set in F {\displaystyle {\mathcal {F}}}.

By (1), the intersection of E {\displaystyle {\mathcal {E}}} in (2) itself is in F {\displaystyle {\mathcal {F}}}. Taking E {\displaystyle {\mathcal {E}}} to be the empty set, (2) then implies X {\displaystyle X} is in F {\displaystyle {\mathcal {F}}}, by the convention that the intersection of the empty set is the entire set.

A subset of P ( X ) − { ∅ } {\displaystyle {\mathfrak {P}}(X)-\{\emptyset \}} is called a filter base if it satisfies condition (2). A family B {\displaystyle {\mathcal {B}}} of subsets of X {\displaystyle X} is a filter base if and only if F B := ⋃ S ∈ B { T ∈ P ( X ) ∣ T ⊃ S } {\displaystyle {\mathcal {F}}_{\mathcal {B}}:=\bigcup _{S\in {\mathcal {B}}}\{T\in {\mathfrak {P}}(X)\mid T\supset S\}} is a filter (in short, F B {\displaystyle {\mathcal {F}}_{\mathcal {B}}} is the upper closure of B {\displaystyle B}). Then, the filter F B {\displaystyle {\mathcal {F}}_{\mathcal {B}}} is the smallest filter containing B {\displaystyle {\mathcal {B}}}; F B {\displaystyle {\mathcal {F}}_{\mathcal {B}}} is called the filter generated by B {\displaystyle {\mathcal {B}}} and B {\displaystyle {\mathcal {B}}} called a base for F B {\displaystyle {\mathcal {F}}_{\mathcal {B}}}.

In topology, these notions are used when X {\displaystyle X} is a topological space. For example, a neighborhood base at a point x {\displaystyle x} is a filter base and the filter it generates is the set of subsets of X {\displaystyle X} containing a neighborhood of x {\displaystyle x} (the neighborhood filter of the point).

A base for the space is generally not a filter base since it may contain disjoint sets, but the subset of a base consisting of all sets containing some given nonempty set is a filter base.

In practice, filter bases are often more convenient than filters, and some authors (e.g., Dugundji) exclusively work with filter bases instead of filters.

Finite intersection property

A subset E ⊂ P ( X ) {\displaystyle {\mathcal {E}}\subset {\mathfrak {P}}(X)} is said to have the finite intersection property if each finite subset of it has nonempty intersection. Any filter is an example of a family of sets with the finite intersection property. In fact, more generally, each subset of a filter has the finite intersection property.

Conversely, if a family of sets E {\displaystyle {\mathcal {E}}} has the finite intersection property, then it is contained in a filter (namely, the filter generated by all intersections of finite subsets of E {\displaystyle {\mathcal {E}}}).

Convergence

A filter base B {\displaystyle {\mathcal {B}}} is said to converge to a point p {\displaystyle p} if each neighborhood of p {\displaystyle p} contains a set in B {\displaystyle {\mathcal {B}}}, or, equivalently, if the filter generated by B {\displaystyle {\mathcal {B}}} contains every neighborhood of p {\displaystyle p}. Such a p {\displaystyle p} is then called a limit point of B {\displaystyle {\mathcal {B}}}. A filter base may have no limit point, or one or more limit points.

Convergence of filters generalizes the convergence of sequences. First, a sequence ( x n ) n ∈ N {\displaystyle (x_{n})_{n\in \mathbb {N} }} gives rise to a filter base: letting T n = { x m ∣ m ≥ n } , {\displaystyle T_{n}=\{x_{m}\mid m\geq n\},} then B = { T n ∣ n ∈ N } {\displaystyle {\mathcal {B}}=\{T_{n}\mid n\in \mathbb {N} \}} is a filter base. That B {\displaystyle {\mathcal {B}}} converges to a point p {\displaystyle p} means that for each neighborhood U {\displaystyle U} of p {\displaystyle p}, there is some n {\displaystyle n} such that U ⊃ T n {\displaystyle U\supset T_{n}}. This is the same as saying that the sequence ( x n ) n ∈ N {\displaystyle (x_{n})_{n\in \mathbb {N} }} converges to p {\displaystyle p}.

Many standard topological properties can be stated using convergence of filter bases. For example:

Given a subset E ⊂ X {\displaystyle E\subset X}, a point p {\displaystyle p} is in the closure E ¯ {\displaystyle {\overline {E}}} of E {\displaystyle E} if and only if there is a filter base B {\displaystyle {\mathcal {B}}} on E {\displaystyle E} converging to p {\displaystyle p}.
A function f : X → Y {\displaystyle f:X\to Y} between spaces is continuous at a point a {\displaystyle a} if and only if for each filter base B {\displaystyle {\mathcal {B}}} converging to a {\displaystyle a}, the filter base f ( B ) := { f ( S ) ∣ S ∈ B } {\displaystyle f({\mathcal {B}}):=\{f(S)\mid S\in {\mathcal {B}}\}} converges to f ( a ) {\displaystyle f(a)}. In fact, it is enough to use a neighborhood base: if f ( N ( a ) ) {\displaystyle f(N(a))} converges to f ( a ) {\displaystyle f(a)}, then f {\displaystyle f} is continuous at a {\displaystyle a}.
The space X {\displaystyle X} is a Hausdorff space if and only if each filter base converges to at most one point.

Closely related to convergence is the notion of a cluster point (also called an accumulation point). Given a filter base B {\displaystyle {\mathcal {B}}}, each point in the intersection ⋂ S ∈ B S ¯ {\displaystyle \bigcap _{S\in {\mathcal {B}}}{\overline {S}}} is called a cluster point of B {\displaystyle {\mathcal {B}}}. Equivalently, a point p {\displaystyle p} is a cluster point if B ∪ N ( p ) {\displaystyle {\mathcal {B}}\cup N(p)} has the finite intersection property where N ( p ) {\displaystyle N(p)} is the neighborhood base at p {\displaystyle p}. Thus,

{ cluster points of B } = { limit points of F ∣ a filter F ⊃ B } . {\displaystyle \{{\text{cluster points of }}{\mathcal {B}}\}=\{{\text{limit points of }}{\mathcal {F}}\mid {\text{a filter }}{\mathcal {F}}\supset {\mathcal {B}}\}.}

(On a first countable space, a cluster point of a sequence is exactly the limit point of some subsequence; thus, passing to larger filters is an analog of passing to subsequences.)

First countable spaces

For first countable spaces (meaning each point has a countable neighborhood base), sequences often suffice, in that filters capture no extra information about the topology.

A filter is called an elementary filter if it has a filter base of the form B = { T n ∣ n ∈ N } {\displaystyle {\mathcal {B}}=\{T_{n}\mid n\in \mathbb {N} \}}, where T n = { x m ∣ m ≥ n } {\displaystyle T_{n}=\{x_{m}\mid m\geq n\}} for some sequence ( x n ) n ∈ N {\displaystyle (x_{n})_{n\in \mathbb {N} }}.

Proposition—If a filter has a countable filter base, then it is the intersection of all elementary filters that contain it.

Proof: If F {\displaystyle {\mathcal {F}}} has a countable filter base B {\displaystyle {\mathcal {B}}}, enumerate it as B = { B n ∣ n ∈ Z > 0 } {\displaystyle {\mathcal {B}}=\{B_{n}\mid n\in \mathbb {Z} _{>0}\}}. Then F {\displaystyle {\mathcal {F}}} is also generated by { B 1 ∩ ⋯ ∩ B n ∣ n } {\displaystyle \{B_{1}\cap \cdots \cap B_{n}\mid n\}}, so one can assume that B 1 ⊃ B 2 ⊃ ⋯ {\displaystyle B_{1}\supset B_{2}\supset \cdots }. Using the notation of the definition of elementary filter, B n = ∪ B ′ T n {\displaystyle B_{n}=\cup _{{\mathcal {B}}'}T_{n}}, where B ′ {\displaystyle {\mathcal {B'}}} runs over all filter bases determined by sequences x j ∈ B j , j ∈ N {\displaystyle x_{j}\in B_{j},\,j\in \mathbb {N} }. Then F B = ∩ B ′ F B ′ {\displaystyle {\mathcal {F}}_{\mathcal {B}}=\cap _{{\mathcal {B}}'}{\mathcal {F}}_{{\mathcal {B}}'}} and the intersection in the claim lies between these two sets. ◻ {\displaystyle \square }

The proof above implies that to show a filter base of the form B 1 ⊃ B 2 ⊃ ⋯ {\displaystyle B_{1}\supset B_{2}\supset \cdots } converges to a point, it is necessary and sufficient that every sequence x n ∈ B n {\displaystyle x_{n}\in B_{n}} converges to that point.

Here is a similar result: let B {\displaystyle {\mathcal {B}}} be a filter base of the form B 1 ⊃ B 2 ⊃ ⋯ {\displaystyle B_{1}\supset B_{2}\supset \cdots } on a first countable space X {\displaystyle X}. Then a point p {\displaystyle p} is a cluster point of B {\displaystyle {\mathcal {B}}} if and only if there is a sequence x n ∈ B n {\displaystyle x_{n}\in B_{n}} converging to p {\displaystyle p}. As a corollary, for a first countable space, a cluster point of a sequence is the same as a limit of some subsequence.

Compact spaces

One important feature of filters is a characterization of compactness that generalizes the standard sequential characterization in real analysis.

By definition, an ultrafilter is a maximal element in the set of all filters on a set X {\displaystyle X}. Equivalently, a family F {\displaystyle {\mathfrak {F}}} of subsets of X {\displaystyle X} is an ultrafilter if and only if (1) it has the finite intersection property and (2) for some finitely many subsets S 1 , … , S n {\displaystyle S_{1},\dots ,S_{n}} of X {\displaystyle X}, we have

∪ 1 n S i ∈ F ⇒ S i ∈ F {\displaystyle \cup _{1}^{n}S_{i}\in {\mathfrak {F}}\Rightarrow S_{i}\in {\mathfrak {F}}}

for some i {\displaystyle i}. (Note the condition (2) is analogous to the definition of a prime ideal.)

Zorn's lemma implies that any filter is contained in some ultrafilter.

Restating the definition of compactness in terms of closed sets, we have a space X {\displaystyle X} is compact if and only if each family of closed subsets with the finite intersection property (FIP) has nonempty intersection.

For example, if E = { S ¯ ∣ S ∈ M } {\displaystyle {\mathcal {E}}=\{{\overline {S}}\mid S\in {\mathcal {M}}\}} for an ultrafilter M {\displaystyle {\mathcal {M}}}, then ∩ E = { limit points of M } {\displaystyle \cap {\mathcal {E}}=\{{\text{limit points of }}{\mathcal {M}}\}} since p ∈ ∩ E ⇔ M ∪ N ( p ) has FIP ⇔ M ⊃ M ∪ N ( p ) {\displaystyle p\in \cap {\mathcal {E}}\Leftrightarrow {\mathcal {M}}\cup N(p){\text{ has FIP}}\Leftrightarrow {\mathcal {M}}\supset {\mathcal {M}}\cup N(p)} by maximality. Conversely, every family E {\displaystyle {\mathcal {E}}} of closed sets with FIP is contained in an ultrafilter and the limit points of that ultrafilter lie in ∩ E {\displaystyle \cap {\mathcal {E}}}.

From the above discussion follows the characterization of compactness in terms of filters:

Theorem—A space X {\displaystyle X} is compact if and only if each ultrafilter on it converges.

Tychonoff's theorem

(Tychonoff's theorem) An arbitrary product of compact spaces is compact.

This fundamental result of topology follows immediately from the above ultrafilter characterization of compact spaces together with the following general facts:

If F {\displaystyle {\mathcal {F}}} is an ultrafilter and h : X → Y {\displaystyle h:X\to Y} a function, then h ( F ) {\displaystyle h({\mathcal {F}})} is a base for an ultrafilter.
Suppose the topology on X {\displaystyle X} is the initial topology with respect to a family of functions h i : X → Y , i ∈ I {\displaystyle h_{i}:X\to Y,i\in I}. Then a filter F {\displaystyle {\mathcal {F}}} converges to x {\displaystyle x} if and only if h i ( F ) {\displaystyle h_{i}({\mathcal {F}})} converges to h i ( x ) {\displaystyle h_{i}(x)} for each i ∈ I {\displaystyle i\in I}.

Compactifications and completions

Stone–Čech compactification

For each Tychonoff space X {\displaystyle X}, there is a compact Hausdorff space β X {\displaystyle \beta X} called its Stone–Čech compactification. This space contains a copy of X {\displaystyle X} as a dense subspace, and is universal in that every continuous map from X {\displaystyle X} to a compact space can be extended to a continuous map from β X {\displaystyle \beta X} to the same compact space. Stone–Čech compactifications, especially that of N {\displaystyle \mathbb {N} } with the discrete topology, are an important topic of research in general topology.

The points of β N {\displaystyle \beta \mathbb {N} } are the ultrafilters on N {\displaystyle \mathbb {N} }, and the sets of the form A ′ := { F ∈ β N ∣ A ∈ F } , {\displaystyle A':=\{{\mathcal {F}}\in \beta \mathbb {N} \mid A\in {\mathcal {F}}\},} where A {\displaystyle A} is any subset of N {\displaystyle \mathbb {N} }, are a basis for its topology. There is an analogous construction, using filters, of β X {\displaystyle \beta X} for any Tychonoff space X {\displaystyle X}.

Cauchy filters and uniform spaces

A Cauchy filter is a filter analog of a Cauchy sequence. On a metric space, by definition, a filter F {\displaystyle {\mathcal {F}}} is Cauchy if for each ϵ > 0 {\displaystyle \epsilon >0}, there is a set A {\displaystyle A} of diameter < ϵ {\displaystyle <\epsilon } in F {\displaystyle {\mathcal {F}}}. For example, on a metric space X {\displaystyle X},

A convergent filter is Cauchy.
The filter determined by a sequence is Cauchy if and only if the sequence is Cauchy.
Every ultrafilter on X {\displaystyle X} is Cauchy if for each ϵ > 0 {\displaystyle \epsilon >0}, X {\displaystyle X} is covered by a finite number of open balls of diameter < ϵ {\displaystyle <\epsilon }; i.e., it is totally bounded.

Cauchy filters generalize to uniform spaces, which are sets equipped with the additional structure of a filter of entourages, subsets of X × X {\displaystyle X\times X} satisfying certain properties. A filter F {\displaystyle {\mathcal {F}}} on a uniform space X {\displaystyle X} is a Cauchy filter if for each entourage V {\displaystyle V}, there is a set A {\displaystyle A} in F {\displaystyle {\mathcal {F}}} such that A × A ⊂ V {\displaystyle A\times A\subset V}. Cauchy filters can be used to construct a completion X ¯ {\displaystyle {\overline {X}}} of any uniform space—that is, a uniform space containing it in which every Cauchy filter converges—called its Hausdorff completion. The underlying set is the set of minimal Cauchy filters.

Continuous extensions

Proposition—Let Y {\displaystyle Y} be a regular Hausdorff space and A ⊂ X {\displaystyle A\subset X} a dense subset in a topological space. Then a continuous map

f : A → Y {\displaystyle f:A\to Y}

is the restriction of a (necessarily unique) continuous map X → Y {\displaystyle X\to Y} if and only if the fiber base

f ( A ∩ N ( x ) ) {\displaystyle f(A\cap N(x))}

converges for each neighborhood base N ( x ) {\displaystyle N(x)} on X {\displaystyle X}.

If Y {\displaystyle Y} is a complete metric space, such as R {\displaystyle \mathbb {R} }, then the above can be stated as f : A → Y {\displaystyle f:A\to Y} extends to X {\displaystyle X} if and only if f ( A ∩ N ( x ) ) {\displaystyle f(A\cap N(x))} is Cauchy.

Uniform convergence

The notions of pointwise convergence and uniform convergence in real analysis also generalize to filters.

Let Y {\displaystyle Y} be a metric space (or more generally, a uniform space) and write F ( A , Y ) {\displaystyle F(A,Y)} for the set of all maps A → Y {\displaystyle A\to Y} for a set A {\displaystyle A}.

Note F ( A , Y ) = ∏ a ∈ A Y {\displaystyle F(A,Y)=\prod _{a\in A}Y}. Then with respect to the product topology, a filter F {\displaystyle {\mathcal {F}}} on F ( A , Y ) {\displaystyle F(A,Y)} converges to a map u {\displaystyle u} if and only if p a ( F ) {\displaystyle p_{a}(F)} converges to p a ( u ) = u ( a ) {\displaystyle p_{a}(u)=u(a)} for each projection p a {\displaystyle p_{a}}; in such a case, F {\displaystyle {\mathcal {F}}} is said to converge pointwise to u {\displaystyle u}.

Now, a filter F {\displaystyle {\mathcal {F}}} on F ( A , Y ) {\displaystyle F(A,Y)} is said to converge uniformly to a map u {\displaystyle u} if for each ϵ > 0 {\displaystyle \epsilon >0}, F {\displaystyle {\mathcal {F}}} contains

{ f : A → Y ∣ d ( f ( x ) , u ( x ) ) < ϵ , x ∈ A } , {\displaystyle \{f:A\to Y\mid d(f(x),u(x))<\epsilon ,\,x\in A\},}

when Y {\displaystyle Y} is a metric space (and use an analogous condition in terms of entourages if Y {\displaystyle Y} is a general uniform space). Filter bases converge uniformly or pointwise if the filters generated by them do so.

Equivalently, F {\displaystyle {\mathcal {F}}} converges uniformly to u {\displaystyle u} if and only if (1) it is a Cauchy filter in the sense like above and (2) it converges pointwise to u {\displaystyle u}.

Uniform convergence can then be used just as in real analysis. For example, we have:

Let X {\displaystyle X} be a compactly generated Hausdorff space (e.g., a locally compact space or a first countable Hausdorff space), B {\displaystyle {\mathcal {B}}} a filter base on C ( X , Y ) {\displaystyle C(X,Y)} and u : X → Y {\displaystyle u:X\to Y} a map. If p A ( B ) {\displaystyle p_{A}({\mathcal {B}})} converges uniformly to p A ( B ) = u | A {\displaystyle p_{A}({\mathcal {B}})=u|_{A}} for each restriction map p A {\displaystyle p_{A}} to a compact set A {\displaystyle A}, then u {\displaystyle u} is continuous.

Nets and filters

Nets provide another way to generalize sequences, and are used more commonly than filters in certain areas of research (especially real analysis).

A sequence ( x n ) n ∈ N {\displaystyle (x_{n})_{n\in \mathbb {N} }} on a space X {\displaystyle X} is the same as a map from N {\displaystyle \mathbb {N} } to X {\displaystyle X}, sending each n {\displaystyle n} to x n {\displaystyle x_{n}}. The notion of a net is obtained by replacing N {\displaystyle \mathbb {N} } in this scenario with a more general directed set. Explicitly, a net on a space X {\displaystyle X} is a map I → X {\displaystyle I\to X} with domain a nonempty set I {\displaystyle I} equipped with binary relation ≲ {\displaystyle \lesssim }, which is a preorder and under which every finite subset of I {\displaystyle I} has an upper bound. Like a sequence, a net may be written ( x α ) α ∈ I {\displaystyle (x_{\alpha })_{\alpha \in I}}, or even just x α {\displaystyle x_{\alpha }} where x α {\displaystyle x_{\alpha }} is the image of α ∈ I {\displaystyle \alpha \in I}.

Each net ( x α ) α ∈ I {\displaystyle (x_{\alpha })_{\alpha \in I}} determines a filter base and vice-versa; this correspondence gives rise to the equivalence between these two generalizations of sequences. Given a net ( x α ) α ∈ I {\displaystyle (x_{\alpha })_{\alpha \in I}}, let T α = { x β ∣ β ≳ α } . {\displaystyle T_{\alpha }=\{x_{\beta }\mid \beta \gtrsim \alpha \}.} Then B = { T α ∣ α ∈ I } {\displaystyle {\mathcal {B}}=\{T_{\alpha }\mid \alpha \in I\}} is the filter base determined by the net ( x α ) α ∈ I {\displaystyle (x_{\alpha })_{\alpha \in I}}. The convergence of nets is defined in the article on nets, and under this definition, ( x α ) α ∈ I {\displaystyle (x_{\alpha })_{\alpha \in I}} converges to a point p {\displaystyle p} if and only if the filter base B {\displaystyle {\mathcal {B}}} determined by it converges to p {\displaystyle p}.

Conversely, given a filter base B {\displaystyle {\mathcal {B}}}, let J = { ( a , x ) ∣ a ∈ B , x ∈ a } {\displaystyle J=\{(a,x)\mid a\in {\mathcal {B}},\,x\in a\}}. Define the binary relation ≲ {\displaystyle \lesssim } on J {\displaystyle J} by ( a , x ) ≲ ( b , y ) ⇔ a ⊃ b . {\displaystyle (a,x)\lesssim (b,y)\Leftrightarrow a\supset b.} Then the projection u : J → X , ( a , x ) ↦ x , {\displaystyle u:J\to X,\,(a,x)\mapsto x,} as a function from the directed set J {\displaystyle J} to X {\displaystyle X}, is the net determined by B {\displaystyle {\mathcal {B}}}; the filter base B {\displaystyle {\mathcal {B}}} converges to a point p ∈ X {\displaystyle p\in X} if and only if u {\displaystyle u} converges to p {\displaystyle p}.

For example, if u : J → X {\displaystyle u:J\to X} is the net associated to a filter F {\displaystyle {\mathfrak {F}}}, then the filter base determined by it is the original filter F {\displaystyle {\mathfrak {F}}}. In particular, every filter is a filter associated to a net.

Because the respective notions of convergence based on nets and filters are equivalent as described above, characterizations of topological properties using filters can always be restated in terms of nets. For example:

Theorem—A space X {\displaystyle X} is compact if and only if each net has a cluster point, where a cluster point of a net x α {\displaystyle x_{\alpha }} is a point in ∩ α { x β ∣ β ≥ α } ¯ {\displaystyle \cap _{\alpha }{\overline {\{x_{\beta }\mid \beta \geq \alpha \}}}}.

Topologies induced by filters

A topology on a given set can be defined in several ways (in terms of open sets, by specifying a closure operator, etc.) Filters give another way to define a topology.

Namely, for a set X {\displaystyle X} and each x {\displaystyle x} in X {\displaystyle X}, let F x {\displaystyle {\mathfrak {F}}_{x}} be a set of filters on X {\displaystyle X}. Let τ {\displaystyle \tau } be the set of all subsets U ⊂ X {\displaystyle U\subset X} such that if x ∈ U {\displaystyle x\in U}, then U ∈ F {\displaystyle U\in {\mathcal {F}}} for each F ∈ F x {\displaystyle {\mathcal {F}}\in {\mathfrak {F}}_{x}}. Then τ {\displaystyle \tau } is a topology. When X {\displaystyle X} is a topological space to begin with and F x {\displaystyle {\mathfrak {F}}_{x}} is the set of all filters converging to x {\displaystyle x}, this construction returns the original topology.

In general, a convergence structure is a family F x , x ∈ X {\displaystyle {\mathfrak {F}}_{x},\,x\in X} of sets of filters parametrized by elements of X {\displaystyle X} such that

For each F ∈ F x {\displaystyle F\in {\mathfrak {F}}_{x}}, if a filter G ⊃ F {\displaystyle G\supset F}, then G {\displaystyle G} is in τ x {\displaystyle \tau _{x}},
F x {\displaystyle {\mathfrak {F}}_{x}} contains the principal filter { S ⊂ X ∣ S ∋ x } {\displaystyle \{S\subset X\mid S\ni x\}} generated by x {\displaystyle x}.

Notes

Bourbaki, Nicolas (2007). . Berlin: Springer. doi:. ISBN978-3-540-33982-3. Bourbaki, Nicolas (1989) [1966]. [Topologie Générale]. Éléments de mathématique. Berlin New York: Springer Science & Business Media. doi:. ISBN978-3-540-64241-1. OCLC.
Bourbaki, Nicolas (2007b). . Berlin: Springer. Bourbaki, Nicolas (1989) [1967]. General Topology 2: Chapters 5–10 [Topologie Générale]. Éléments de mathématique. Vol.4. Berlin New York: Springer Science & Business Media. ISBN978-3-540-64563-4. OCLC.
James Dugundji (1966). (PDF). Allyn & Bacon. ISBN978-0-697-06889-7.
Engelking, Ryszard (1989). General Topology. Berlin: Heldermann Verlag. ISBN3-88538-006-4.
Schubert, Horst (1968). Topology. London: Macdonald & Co. ISBN978-0-356-02077-8. OCLC.
Folland, Gerald B. (2007). Real Analysis: Modern Techniques and Their Applications (2nded.). Wiley.
Szymon Dolecki, Frederic Mynard, Convergence Foundations Of Topology, World Scientific Publishing Company, May 13, 2016,
Dolecki, Szymon (2009). Mynard, Frédéric; Pearl, Elliott (eds.). (PDF). Beyond Topology. Contemporary Mathematics Series A.M.S. 486: 115–162. doi:. ISBN978-0-8218-4279-9.
Willard, Stephen (2004) [1970]. . Mineola, N.Y.: Dover Publications. ISBN978-0-486-43479-7. OCLC.
Rudin, Mary Ellen (1975). Lectures on Set Theoretic Topology. Providence: American Mathematical Society. ISBN0-8218-1673-X.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN978-0-486-45352-1. OCLC.