nLab filter


(0,1)(0,1)-Category theory



topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory



A filter is dual to an ideal.

A proper filter is equivalently the eventuality filter of a net.

Filters of subsets form a category whose simplicial category provides a somewhat more formalisation of the intuition of “nearness” than the usual topological one; in particular, it contains the categories of topological and of uniform spaces, of simplicial sets, and of filters themselves, allowing to reformulate in terms of this category notions such as limit, equicontinuity, locally trivial, and geometric realization.

In predicative mathematics, filters of subsets are large, but locally small.


A subset FF of a poset LL is called a filter if it is upward-closed and downward-directed; that is:

  1. If ABA \leq B in LL and AFA \in F, then BFB \in F;
  2. for some AA in LL, AFA \in F;
  3. if AFA \in F and BFB \in F, then for some CFC \in F, CAC \leq A and CBC \leq B.

Equivalently, a predicate F:LΩF:L \to \Omega is a filter

  1. If for all ALA \in L and BLB \in L, if ABA \leq B and F(A)F(A), then F(B)F(B);
  2. There exists an ALA \in L, such that F(A)F(A);
  3. if there exist ALA \in L and BLB \in L such that F(A)F(A) and F(B)F(B), then there is a CLC \in L such that F(C)F(C), CAC \leq A and CBC \leq B.

One could also use a \mathbb{N}-overt dominance Σ\Sigma, a sub- σ \sigma -frame ΣΩ\Sigma \subseteq \Omega. A predicate F:LΣF:L \to \Sigma is a filter

  1. If for all ALA \in L and BLB \in L, if ABA \leq B and F(A)F(A), then F(B)F(B);
  2. There exists an ALA \in L, such that F(A)F(A);
  3. if there exist ALA \in L and BLB \in L such that F(A)F(A) and F(B)F(B), then there is a CLC \in L such that F(C)F(C), CAC \leq A and CBC \leq B.

Sometimes the term ‘filter’ is used for an upper set, that is any set satisfying axiom (1). (Ultimately this connects with the use of ‘ideal’ in monoid theory.)

In a lattice, one can use these alternative axioms:

  1. If AFA \in F and BB in LL, then ABFA \vee B \in F;
  2. F\top \in F;
  3. if AFA \in F and BFB \in F, then ABFA \wedge B \in F.

Here, (1) is equivalent to the previous version; the others, which here say that the lattice is closed under finite meets, are equivalent given (1). (These axioms look more like the axioms for an ideal of a ring.)

You can also interpret these axioms to say that, if you think of FF as a function from LL to the set TVTV of truth values, then FF is a homomorphism of meet-semilattices.

Filter of subsets

A filter of subsets of a given set SS is a filter in the power set of SS. One also sees filters of open subsets, filters of compact subsets, etc, especially in topology.

In dependent type theory

In dependent type theory, let (Ω,El Ω)(\Omega, \mathrm{El}_\Omega) be the type of all propositions with its type reflector type family. Given a type TT, the type of all subsets of TT is given by the function type TΩT \to \Omega. We define the relation x:T,U:TΩxFx:T, U:T \to \Omega \vdash x \in F by

xFEl Ω(F(x))x \in F \coloneqq \mathrm{El}_{\Omega}(F(x))

Let (P,)(P, \leq) be a poset. Then a filter on PP is a subtype F:PΩF:P \to \Omega with dependent functions

p: x:P y:P(xy)×(xF)(yF)p:\prod_{x:P} \prod_{y:P} (x \leq y) \times (x \in F) \to (y \in F)
q:[ x:P(xF)]q:\left[\sum_{x:P} (x \in F)\right]
r:[ x:P y:P(xF)×(yF)[ z:P(zF)×(zx)×(zy)]]r:\left[\sum_{x:P} \sum_{y:P} (x \in F) \times (y \in F) \to \left[\sum_{z:P} (z \in F) \times (z \leq x) \times (z \leq y)\right]\right]

The filter properties could also be turned into structure:

p: x:P y:P(xy)×(xF)(yF)p:\prod_{x:P} \prod_{y:P} (x \leq y) \times (x \in F) \to (y \in F)
q: x:P(xF)q:\sum_{x:P} (x \in F)
r: x:P y:P(xF)×(yF) z:P(zF)×(zx)×(zy)r:\sum_{x:P} \sum_{y:P} (x \in F) \times (y \in F) \to \sum_{z:P} (z \in F) \times (z \leq x) \times (z \leq y)

Kinds of filters

A filter FF is proper if there exists an element AA of LL such that AFA \notin F. A filter in a lattice is proper iff F\bot \notin F; in particular, a filter of subsets of SS is proper iff F\empty \notin F. In constructive mathematics, however, one usually wants a stronger (but classically equivalent) notion: a filter FF of subsets of SS is proper if every element of FF is inhabited. If AFA \in F for every AA (in particular if F\empty \in F), then we have the improper filter. Compare proper subset and improper subset.

Filters are often assumed to be proper by default in analysis and topology, where proper filters correspond to nets. However, we will try to remember to include the adjective ‘proper’.

If the complement of a filter is an ideal, then we say that the filter is prime (and equivalently that the ideal is prime). A prime filter is necessarily proper; a proper filter in a lattice is prime iff, whenever ABFA \vee B \in F, either AFA \in F or BFB \in F. In other words, F:LTVF: L \to TV must be a homomorphism of lattices. The generalisation to arbitrary joins gives a completely prime filter.

A filter is an ultrafilter, or maximal filter, if it is maximal among the proper filters. (See that article for alternative formulations and applications.) In a distributive lattice, every ultrafilter is prime; the converse holds in a Boolean lattice. In this case, we can say that F:LTVF: L \to TV is a homomorphism of Boolean lattices.

Given an element xx of SS, the principal ultrafilter (of subsets of SS) at xx consists of every subset of SS to which xx belongs. A principal ultrafilter is also called a fixed ultrafilter; more generally, a filter of subsets is fixed if its intersection is inhabited. In contrast, if FF is an filter whose meet (of all elements) exists and is a bottom element (the empty set for a filter of subsets), then we call FF free.

Free ultrafilters on Boolean algebras are important in nonstandard analysis and model theory.


A subset FF of a lattice LL is a filterbase if it becomes a filter when closed under axiom (1). Equivalently, a filterbase is any downward-directed subset. Any subset of a meet-semilattice may be used as a filter subbase; form a filterbase by closing under finite meets.

A filterbase FF of sets is proper (that is, it generates a proper filter of sets) iff each set in FF is inhabited. A filter subbase of sets is proper iff it satisfies the finite intersection property (well known in topology from a criterion for compact spaces): every finite collection from the subfilter has inhabited intersection.

The poset of filters and push-forwards

If f:L 1L 2f:L_1\to L_2 is a monotone map and FL 1F\subseteq L_1 a filter, then {f(A)AF}L 2\lbrace f(A) \mid A\in F\rbrace\subseteq L_2 is a filter base. Let f *(F)f_\ast(F) be the filter generated by this filter base. The set of filters Filters(L)Filters(L) is a poset in its own right w.r.t. inclusion and f *:(Filters(L 1),)(Filters(L 2),)f_\ast: (Filters(L_1),\subseteq)\to(Filters(L_2),\subseteq) is monotone. Therefore LFilters(L),ff *L\mapsto Filters(L), f\mapsto f_\ast is a functor from the category of posets to itself.

If ff satisfies stronger properties than mere monotony, then f *f_\ast will be better behaved as well:

  • If LL is a meet-semilattice, then Filters(L)Filters(L) is a complete join-semilattice: iIF i= jJA jJI finite,A jF j\bigvee_{i\in I} F_i = \left\langle \bigwedge_{j\in J} A_j \mid J\subseteq I\text{ finite}, A_j\in F_j\right\rangle. If f:L 1L 2f:L_1\to L_2 respects finite meets, then f *f_\ast respects all joins. If ff is merely monotone, then f *f_\ast respects all filtered joins.

  • If LL has all |I||I|-fold joins for some indexing set II, then Filters(L)Filters(L) has |I||I|-fold meets: iIF i={ iIA iA iF i}\bigwedge_{i\in I} F_i = \lbrace \bigvee_{i\in I} A_i \mid A_i\in F_i\rbrace. If ff respects |I||I|-fold joins, then f *f_\ast respects |I||I|-fold meets.

  • If LL is a distributive lattice, then Filters(L)Filters(L) is a frame, i.e. the infinite distributive law F iIG i= iI(FG i)F \wedge \bigvee_{i\in I} G_i = \bigvee_{i\in I} (F\wedge G_i) holds. The other distributive law also holds for finite meets: F iIG i= iI(FG i)F \vee \bigwedge_{i\in I} G_i = \bigwedge_{i\in I} (F\vee G_i) if II is finite. It holds more generally if LL has all |I||I|-fold meets, the |I||I|-fold distributive law A iIB i= iI(AB i)A\wedge \bigvee_{i\in I} B_i = \bigvee_{i\in I} (A\wedge B_i) holds in LL and FF is closed under |I||I|-fold meets.

  • If LL is a complete join-semilattice, then Filters(L)Filters(L) is a complete lattice. If ff respects all joins, then f *f_\ast respects all meets. In this case f *f_\ast has a left adjoint f *:L 2L 1f^\ast: L_2\to L_1 which is given by f *(G)={F|Gf *(F)}f^\ast(G) = \bigwedge \lbrace F | G\subseteq f_\ast(F)\rbrace so that f *(G)FGf *(F)f^\ast(G)\subseteq F \iff G\subseteq f_\ast(F) holds. As a left adjoint f *f^\ast respects all joins.

  • If (f,g)(f,g) is an adjoint pair between L 1L_1 and L 2L_2, that is f:L 1L 2: L_1 \to L_2, g:L 2L 1g: L_2\to L_1 monotone and f(x)yxg(y)f(x) \leq y \iff x\leq g(y) for all xL 1x\in L_1, yL 2y\in L_2, then (g *,f *)(g_\ast,f_\ast) is an adjoint pair between Filters(L 2)Filters(L_2) and Filters(L 1)Filters(L_1). Note that the push-forward turns left adjoints into right adjoint and vice versa.


  • If L 1=(P(X),),L 2=(P(Y),)L_1=(P(X),\subseteq), L_2=(P(Y),\subseteq) for some sets X,YX,Y and α:XY\alpha:X\to Y is any map, then f:L 1L 2,Aα(A)f:L_1\to L_2, A\mapsto \alpha(A) is monotone and respects arbitrary joins. Therefore f *:Filters(L 1)Filters(L 2)f_\ast: Filters(L_1)\to Filters(L_2) respects arbitrary meets. Note that even though L 1,L 2L_1, L_2 are meet-semilattices, ff does not respect meets in general, because α(AA)α(A)α(A)\alpha(A\cap A')\subseteq \alpha(A)\cap\alpha(A') holds, but equality is equivalent to α\alpha being injective.
  • ff is the left adjoint of g:L 2L 1,Bα 1(B)g: L_2\to L_1, B\mapsto \alpha^{-1}(B). Therefore f *f_\ast is the right adjoint of f *=g *f^\ast=g_\ast which is given by taking preimage filters: g *(G)=α 1(B)|BGg_\ast(G) = \langle \alpha^{-1}(B) | B\in G\rangle.
  • gg has not only the left adjoint ff, but also a right adjoint h:L 1L 2h:L_1\to L_2. It can be described as follows: Call a set AXA\subseteq X is called α\alpha-saturated if it is the union of fibers of α\alpha, i.e. if α 1(α(A))=A\alpha^{-1}(\alpha(A)) = A. There is a biggest α\alpha-saturated subset A αA_\alpha of every AA. The morphism hh is given by h(A):=α(A α)(Yα(X))h(A) := \alpha(A_\alpha) \cup (Y\setminus \alpha(X)).
  • Therefore g *g_\ast not only preserves all joins but all meets as well.

Application to analysis and topology

Every net ν:IS\nu: I \to S defines an eventuality filter E νE_\nu: let AA belong to E νE_\nu if, for some index kk, for every lkl \geq k, ν lA\nu_l \in A. (That is, ν\nu is eventually in AA.) Note that E νE_\nu is proper; conversely, any proper filter FF has a net whose eventuality filter is FF (as described at net). Everything below can be done for nets as well as for (proper) filters, but filters often lead to a cleaner theory.

In a topological space SS, a filter FF on SS converges to a point xx of SS if every neighbourhood of xx belongs to FF. A filter FF clusters at a point xx if every neighbourhood of xx intersects every element of FF. With these definitions, the improper filter converges to every point and clusters at no point; a proper filter, however, clusters at every point that it converges to.

The concepts of continuous function and such conditions as compactness and Hausdorffness may be defined quite nicely in terms of the convergence relation. In fact, everything about topological spaces may be defined in terms of the convergence relation, although not always nicely. This is because topological spaces form a full subcategory of the category of convergence spaces, where the convergence relation is the fundamental concept. More details are there.

In a metric space SS, a filter FF on SS is Cauchy if it has elements of arbitrarily small diameter. Then a sequence is a Cauchy sequence iff its eventuality filter is Cauchy. (This can be generalised to uniform spaces.) The concept of completion of a metric space may be defined quite nicely in terms of the Cauchy filters, although not every property (not even every uniform property) of metric spaces can be defined in this way. As for convergence, there is a general notion of Cauchy space, but the forgetful functors from metric and uniform spaces are now not full.


Last revised on May 24, 2023 at 02:51:31. See the history of this page for a list of all contributions to it.