Filter (set theory)

Template:Short description Template:For Template:Other uses Template:Very long In mathematics, a filter on a set $X$ is a family $ℬ$ of subsets such that: Template:Sfn

1. $X\in ℬ$ and $\mathrm{\varnothing }\notin ℬ$
2. if $A\in ℬ$ and $B\in ℬ$, then $A\cap B\in ℬ$
3. If $A\subset B\subset X$ and $A\in ℬ$, then $B\in ℬ$

A filter on a set may be thought of as representing a "collection of large subsets",Template:Sfn one intuitive example being the neighborhood filter. Filters appear in order theory, model theory, and set theory, but can also be found in topology, from which they originate. The dual notion of a filter is an ideal.

Filters were introduced by Henri Cartan in 1937Template:SfnTemplate:Sfn and as described in the article dedicated to filters in topology, they were subsequently used by Nicolas Bourbaki in their book Topologie Générale as an alternative to the related notion of a net developed in 1922 by E. H. Moore and Herman L. Smith. Order filters are generalizations of filters from sets to arbitrary partially ordered sets. Specifically, a filter on a set is just a proper order filter in the special case where the partially ordered set consists of the power set ordered by set inclusion.

Preliminaries, notation, and basic notions

In this article, upper case Roman letters like $S$ and $X$ denote sets (but not families unless indicated otherwise) and $\mathrm{\wp }(X)$ will denote the power set of $X.$ A subset of a power set is called Template:Em (or simply, Template:Em) where it is Template:Em if it is a subset of $\mathrm{\wp }(X).$ Families of sets will be denoted by upper case calligraphy letters such as $ℬ,𝒞,\text{ and }ℱ.$ Whenever these assumptions are needed, then it should be assumed that $X$ is non–empty and that $ℬ,ℱ,$ etc. are families of sets over $X.$

The terms "prefilter" and "filter base" are synonyms and will be used interchangeably.

Warning about competing definitions and notation

There are unfortunately several terms in the theory of filters that are defined differently by different authors. These include some of the most important terms such as "filter". While different definitions of the same term usually have significant overlap, due to the very technical nature of filters (and point–set topology), these differences in definitions nevertheless often have important consequences. When reading mathematical literature, it is recommended that readers check how the terminology related to filters is defined by the author. For this reason, this article will clearly state all definitions as they are used. Unfortunately, not all notation related to filters is well established and some notation varies greatly across the literature (for example, the notation for the set of all prefilters on a set) so in such cases this article uses whatever notation is most self describing or easily remembered.

The theory of filters and prefilters is well developed and has a plethora of definitions and notations, many of which are now unceremoniously listed to prevent this article from becoming prolix and to allow for the easy look up of notation and definitions. Their important properties are described later.

Sets operations

The Template:Em or Template:Em in $X$Template:SfnTemplate:Sfn of a family of sets $ℬ\subseteq \mathrm{\wp }(X)$ is

and similarly the Template:Em of $ℬ$ is ${ℬ}^{\downarrow }:=\{S\subseteq B:B\in ℬ\}=\bigcup _{B\in ℬ}\mathrm{\wp }(B).$

Notation and Definition	Name
$\ker ℬ=\bigcap _{B\in ℬ}B$	Template:Em of $ℬ$Template:Sfn
$S\setminus ℬ:=\{S\setminus B:B\in ℬ\}=\{S\}(\setminus )ℬ$	Template:Em where $S$ is a set.Template:Sfn
$ℬ{|}_S:=\{B\cap S:B\in ℬ\}=ℬ(\cap )\{S\}$	Template:EmTemplate:Sfn or Template:Em where $S$ is a set; sometimes denoted by $ℬ\cap S$
$ℬ(\cap )𝒞=\{B\cap C:B\in ℬ\text{ and }C\in 𝒞\}$Template:Sfn	Template:Em (Template:Em) Template:Em ($ℬ\cap 𝒞$ will denote the usual intersection)
$ℬ(\cup )𝒞=\{B\cup C:B\in ℬ\text{ and }C\in 𝒞\}$Template:Sfn	Template:Em (Template:Em) Template:Em ($ℬ\cup 𝒞$ will denote the usual union)
$ℬ(\setminus )𝒞=\{B\setminus C:B\in ℬ\text{ and }C\in 𝒞\}$	Template:Em (Template:Em) Template:Em ($ℬ\setminus 𝒞$ will denote the usual set subtraction)
${ℬ}^{\mathrm{\#}X}={ℬ}^{\mathrm{\#}}=\{S\subseteq X:S\cap B\ne \varnothing \text{ for all }B\in ℬ\}$	Template:EmTemplate:Sfn
$\mathrm{\wp }(X)=\{S:S\subseteq X\}$	Template:Em of a set $X$Template:Sfn

Throughout, $f$ is a map and $S$ is a set.

Notation and Definition	Name
$f^{-1}(ℬ)=\{f^{-1}(B):B\in ℬ\}$Template:Sfn	Template:Em of $ℬ\text{ under }{f}^{-1},$ or the Template:Em of $ℬ$ under $f$
$f^{-1}(S)=\{x\in \mathrm{domain}f:f(x)\in S\}$	Template:Em of $S\text{ under }{f}^{-1},$ or the Template:Em of $S\text{ under }f$
$f(ℬ)=\{f(B):B\in ℬ\}$Template:Sfn	Template:Em of $ℬ$ under $f$
$f(S)=\{f(s):s\in S\cap \mathrm{domain}f\}$	Template:Em of $S\text{ under }f$
$\mathrm{image}f=f(\mathrm{domain}f)$	Template:Em (or range) of $f$

Template:Anchor Nets and their tails

A Template:Em is a set $I$ together with a preorder, which will be denoted by $\le$ (unless explicitly indicated otherwise), that makes $(I,\le )$ into an (Template:Em) Template:Em;Template:Sfn this means that for all $i,j\in I,$ there exists some $k\in I$ such that $i\le k\text{ and }j\le k.$ For any indices $i\text{ and }j,$ the notation $j\ge i$ is defined to mean $i\le j$ while $i<j$ is defined to mean that $i\le j$ holds but it is Template:Em true that $j\le i$ (if $\le$ is antisymmetric then this is equivalent to $i\le j\text{ and }i\ne j$).

A Template:EmTemplate:Sfn is a map from a non–empty directed set into $X.$ The notation $x_{\bullet }={\left(x_i\right)}_{i\in I}$ will be used to denote a net with domain $I.$

Notation and Definition	Name
$I_{\ge i}=\{j\in I:j\ge i\}$	Template:Em or Template:Em where $(I,\le )$ is a directed set.
$x_{\ge i}=\{x_j:j\ge i\text{ and }j\in I\}$	Template:Em or Template:Em
$\mathrm{Tails}\left(x_{\bullet }\right)=\{x_{\ge i}:i\in I\}$	Template:Em or Template:Em/Template:Em of $x_{\bullet }.$ Also called the Template:Em generated by (the tails of) $x_{\bullet }={\left(x_i\right)}_{i\in I}.$ If $x_{\bullet }$ is a sequence then $\mathrm{Tails}\left(x_{\bullet }\right)$ is also called the Template:Em.Template:Sfn
$\mathrm{TailsFilter}\left(x_{\bullet }\right)=\mathrm{Tails}{\left(x_{\bullet }\right)}^{\uparrow X}$	Template:Anchor(Template:Em) Template:Em of/generated by (tails of) $x_{\bullet }={\left(x_i\right)}_{i\in I}$Template:Sfn
$f\left(I_{\ge i}\right)=\{f(j):j\ge i\text{ and }j\in I\}$	Template:Em or Template:EmTemplate:Sfn where $(I,\le )$ is a directed set.

Warning about using strict comparison

If $x_{\bullet }={\left(x_i\right)}_{i\in I}$ is a net and $i\in I$ then it is possible for the set $x_{>i}=\{x_j:j>i\text{ and }j\in I\},$ which is called Template:Em, to be empty (for example, this happens if $i$ is an upper bound of the directed set $I$). In this case, the family $\{x_{>i}:i\in I\}$ would contain the empty set, which would prevent it from being a prefilter (defined later). This is the (important) reason for defining $\mathrm{Tails}\left(x_{\bullet }\right)$ as $\{x_{\ge i}:i\in I\}$ rather than $\{x_{>i}:i\in I\}$ or even $\{x_{>i}:i\in I\}\cup \{x_{\ge i}:i\in I\}$ and it is for this reason that in general, when dealing with the prefilter of tails of a net, the strict inequality $<$ may not be used interchangeably with the inequality $\le .$

Filters and prefilters

The following is a list of properties that a family $ℬ$ of sets may possess and they form the defining properties of filters, prefilters, and filter subbases. Whenever it is necessary, it should be assumed that $ℬ\subseteq \mathrm{\wp }(X).$

Many of the properties of $ℬ$ defined above and below, such as "proper" and "directed downward," do not depend on $X,$ so mentioning the set $X$ is optional when using such terms. Definitions involving being "upward closed in $X,$" such as that of "filter on $X,$" do depend on $X$ so the set $X$ should be mentioned if it is not clear from context.

$$\text{Filters}(X)=\text{DualIdeals}(X)\setminus \{\mathrm{\wp }(X)\}\subseteq \text{Prefilters}(X)\subseteq \text{FilterSubbases}(X).$$

There are no prefilters on $X=\varnothing$ (nor are there any nets valued in $\varnothing$), which is why this article, like most authors, will automatically assume without comment that $X\ne \varnothing$ whenever this assumption is needed.

Basic examples

Named examples

• The singleton set $ℬ=\{X\}$ is called the Template:Em or Template:EmTemplate:SfnTemplate:Sfn It is the unique Template:Em filter on $X$ because it is a subset of every filter on $X$; however, it need not be a subset of every prefilter on $X.$
• The dual ideal $\mathrm{\wp }(X)$ is also called Template:EmTemplate:Sfn (despite not actually being a filter). It is the only dual ideal on $X$ that is not a filter on $X.$
• If $(X,\tau )$ is a topological space and $x\in X,$ then the neighborhood filter $𝒩(x)$ at $x$ is a filter on $X.$ By definition, a family $ℬ\subseteq \mathrm{\wp }(X)$ is called a Template:Em (resp. a Template:Em) at $x\text{ for }(X,\tau )$ if and only if $ℬ$ is a prefilter (resp. $ℬ$ is a filter subbase) and the filter on $X$ that $ℬ$ generates is equal to the neighborhood filter $𝒩(x).$ The subfamily $\tau (x)\subseteq 𝒩(x)$ of open neighborhoods is a filter base for $𝒩(x).$ Both prefilters $𝒩(x)\text{ and }\tau (x)$ also form a bases for topologies on $X,$ with the topology generated $\tau (x)$ being coarser than $\tau .$ This example immediately generalizes from neighborhoods of points to neighborhoods of non–empty subsets $S\subseteq X.$
• $ℬ$ is an Template:Em if $ℬ=\mathrm{Tails}\left(x_{\bullet }\right)$ for some sequence $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}\text{ in }X.$
• $ℬ$ is an Template:Em or a Template:Em on $X$Template:Sfn if $ℬ$ is a filter on $X$ generated by some elementary prefilter. The filter of tails generated by a sequence that is not eventually constant is necessarily Template:Em an ultrafilter.Template:Sfn Every principal filter on a countable set is sequential as is every cofinite filter on a countably infinite set.Template:Sfn The intersection of finitely many sequential filters is again sequential.Template:Sfn
• The set $ℱ$ of all cofinite subsets of $X$ (meaning those sets whose complement in $X$ is finite) is proper if and only if $ℱ$ is infinite (or equivalently, $X$ is infinite), in which case $ℱ$ is a filter on $X$ known as the [[Fréchet filter|Template:Em or the Template:Em]] on $X.$Template:SfnTemplate:Sfn If $X$ is finite then $ℱ$ is equal to the dual ideal $\mathrm{\wp }(X),$ which is not a filter. If $X$ is infinite then the family $\{X\setminus \{x\}:x\in X\}$ of complements of singleton sets is a filter subbase that generates the Fréchet filter on $X.$ As with any family of sets over $X$ that contains $\{X\setminus \{x\}:x\in X\},$ the kernel of the Fréchet filter on $X$ is the empty set: $\ker ℱ=\varnothing .$
• The intersection of all elements in any non–empty family $𝔽\subseteq \mathrm{Filters}(X)$ is itself a filter on $X$ called the Template:Em or Template:Em of $𝔽\text{ in }\mathrm{Filters}(X),$ which is why it may be denoted by $\underset{ℱ\in 𝔽}{\bigwedge }ℱ.$ Said differently, $\ker 𝔽=\bigcap _{ℱ\in 𝔽}ℱ\in \mathrm{Filters}(X).$ Because every filter on $X$ has $\{X\}$ as a subset, this intersection is never empty. By definition, the infimum is the finest/largest (relative to $\subseteq \text{ and }\le$) filter contained as a subset of each member of $𝔽.$Template:Sfn
  • If $ℬ\text{ and }ℱ$ are filters then their infimum in $\mathrm{Filters}(X)$ is the filter $ℬ(\cup )ℱ.$Template:Sfn If $ℬ\text{ and }ℱ$ are prefilters then $ℬ(\cup )ℱ$ is a prefilter that is coarser (with respect to $\le$) than both $ℬ\text{ and }ℱ$ (that is, $ℬ(\cup )ℱ\le ℬ\text{ and }ℬ(\cup )ℱ\le ℱ$); indeed, it is one of the finest such prefilters, meaning that if $𝒮$ is a prefilter such that $𝒮\le ℬ\text{ and }𝒮\le ℱ$ then necessarily $𝒮\le ℬ(\cup )ℱ.$Template:Sfn More generally, if $ℬ\text{ and }ℱ$ are non−empty families and if $𝕊:=\{𝒮\subseteq \mathrm{\wp }(X):𝒮\le ℬ\text{ and }𝒮\le ℱ\}$ then $ℬ(\cup )ℱ\in 𝕊$ and $ℬ(\cup )ℱ$ is a greatest element (with respect to $\le$) of $𝕊.$Template:Sfn
• Let $\varnothing \ne 𝔽\subseteq \mathrm{DualIdeals}(X)$ and let $\cup 𝔽=\bigcup _{ℱ\in 𝔽}ℱ.$ The Template:Em or Template:Em of $𝔽\text{ in }\mathrm{DualIdeals}(X),$ denoted by $\underset{ℱ\in 𝔽}{\bigvee }ℱ,$ is the smallest (relative to $\subseteq$) dual ideal on $X$ containing every element of $𝔽$ as a subset; that is, it is the smallest (relative to $\subseteq$) dual ideal on $X$ containing $\cup 𝔽$ as a subset. This dual ideal is $\underset{ℱ\in 𝔽}{\bigvee }ℱ=\pi {(\cup 𝔽)}^{\uparrow X},$ where $\pi (\cup 𝔽):=\{F_1\cap \cdots \cap F_n:n\in \mathbb{N}\text{ and every }{F}_i\text{ belongs to some }ℱ\in 𝔽\}$ is the Template:Pi–system generated by $\cup 𝔽.$ As with any non–empty family of sets, $\cup 𝔽$ is contained in Template:Em filter on $X$ if and only if it is a filter subbase, or equivalently, if and only if $\underset{ℱ\in 𝔽}{\bigvee }ℱ=\pi {(\cup 𝔽)}^{\uparrow X}$ is a filter on $X,$ in which case this family is the smallest (relative to $\subseteq$) filter on $X$ containing every element of $𝔽$ as a subset and necessarily $𝔽\subseteq \mathrm{Filters}(X).$
• Let $\varnothing \ne 𝔽\subseteq \mathrm{Filters}(X)$ and let $\cup 𝔽=\bigcup _{ℱ\in 𝔽}ℱ.$ The Template:Em or Template:Em of $𝔽\text{ in }\mathrm{Filters}(X),$ denoted by $\underset{ℱ\in 𝔽}{\bigvee }ℱ$ if it exists, is by definition the smallest (relative to $\subseteq$) filter on $X$ containing every element of $𝔽$ as a subset. If it exists then necessarily $\underset{ℱ\in 𝔽}{\bigvee }ℱ=\pi {(\cup 𝔽)}^{\uparrow X}$Template:Sfn (as defined above) and $\underset{ℱ\in 𝔽}{\bigvee }ℱ$ will also be equal to the intersection of all filters on $X$ containing $\cup 𝔽.$ This supremum of $𝔽\text{ in }\mathrm{Filters}(X)$ exists if and only if the dual ideal $\pi {(\cup 𝔽)}^{\uparrow X}$ is a filter on $X.$ The least upper bound of a family of filters $𝔽$ may fail to be a filter.Template:Sfn Indeed, if $X$ contains at least 2 distinct elements then there exist filters $ℬ\text{ and }𝒞\text{ on }X$ for which there does Template:Em exist a filter $ℱ\text{ on }X$ that contains both $ℬ\text{ and }𝒞.$ If $\cup 𝔽$ is not a filter subbase then the supremum of $𝔽\text{ in }\mathrm{Filters}(X)$ does not exist and the same is true of its supremum in $\mathrm{Prefilters}(X)$ but their supremum in the set of all dual ideals on $X$ will exist (it being the degenerate filter $\mathrm{\wp }(X)$).Template:Sfn
  • If $ℬ\text{ and }ℱ$ are prefilters (resp. filters on $X$) then $ℬ(\cap )ℱ$ is a prefilter (resp. a filter) if and only if it is non–degenerate (or said differently, if and only if $ℬ\text{ and }ℱ$ mesh), in which case it is Template:Em coarsest prefilters (resp. Template:Em coarsest filter) on $X$ (with respect to $\le$) that is finer (with respect to $\le$) than both $ℬ\text{ and }ℱ;$ this means that if $𝒮$ is any prefilter (resp. any filter) such that $ℬ\le 𝒮\text{ and }ℱ\le 𝒮$ then necessarily $ℬ(\cap )ℱ\le 𝒮,$Template:Sfn in which case it is denoted by $ℬ\vee ℱ.$Template:Sfn
• Let $I\text{ and }X$ be non−empty sets and for every $i\in I$ let ${𝒟}_i$ be a dual ideal on $X.$ If $ℐ$ is any dual ideal on $I$ then $\bigcup _{\mathrm{\Xi }\in ℐ}\bigcap _{i\in \mathrm{\Xi }}{𝒟}_i$ is a dual ideal on $X$ called Template:Em or Template:Em.Template:Sfn
• The club filter of a regular uncountable cardinal is the filter of all sets containing a club subset of $\kappa .$ It is a $\kappa$-complete filter closed under diagonal intersection.

Other examples

• Let $X=\{p,1,2,3\}$ and let $ℬ=\{\{p\},\{p,1,2\},\{p,1,3\}\},$ which makes $ℬ$ a prefilter and a filter subbase that is not closed under finite intersections. Because $ℬ$ is a prefilter, the smallest prefilter containing $ℬ$ is $ℬ.$ The Template:Pi–system generated by $ℬ$ is $\{\{p,1\}\}\cup ℬ.$ In particular, the smallest prefilter containing the filter subbase $ℬ$ is Template:Em equal to the set of all finite intersections of sets in $ℬ.$ The filter on $X$ generated by $ℬ$ is ${ℬ}^{\uparrow X}=\{S\subseteq X:p\in S\}=\{\{p\}\cup T:T\subseteq \{1,2,3\}\}.$ All three of $ℬ,$ the Template:Pi–system $ℬ$ generates, and ${ℬ}^{\uparrow X}$ are examples of fixed, principal, ultra prefilters that are principal at the point $p;{ℬ}^{\uparrow X}$ is also an ultrafilter on $X.$
• Let $(X,\tau )$ be a topological space, $ℬ\subseteq \mathrm{\wp }(X),$ and define $\overline{ℬ}:=\{{\mathrm{cl}}_{X}B:B\in ℬ\},$ where $ℬ$ is necessarily finer than $\overline{ℬ}.$Template:Sfn If $ℬ$ is non–empty (resp. non–degenerate, a filter subbase, a prefilter, closed under finite unions) then the same is true of $\overline{ℬ}.$ If $ℬ$ is a filter on $X$ then $\overline{ℬ}$ is a prefilter but not necessarily a filter on $X$ although ${\left(\overline{ℬ}\right)}^{\uparrow X}$ is a filter on $X$ equivalent to $\overline{ℬ}.$
• The set $ℬ$ of all dense open subsets of a (non–empty) topological space $X$ is a proper Template:Pi–system and so also a prefilter. If the space is a Baire space, then the set of all countable intersections of dense open subsets is a Template:Pi–system and a prefilter that is finer than $ℬ.$ If $X={ℝ}^n$ (with $1\le n\in \mathbb{N}$) then the set ${ℬ}_{\mathrm{LebFinite}}$ of all $B\in ℬ$ such that $B$ has finite Lebesgue measure is a proper Template:Pi–system and free prefilter that is also a proper subset of $ℬ.$ The prefilters ${ℬ}_{\mathrm{LebFinite}}$ and $ℬ$ are equivalent and so generate the same filter on $X.$ The prefilter ${ℬ}_{\mathrm{LebFinite}}$ is properly contained in, and not equivalent to, the prefilter consisting of all dense subsets of $ℝ.$ Since $X$ is a Baire space, every countable intersection of sets in ${ℬ}_{\mathrm{LebFinite}}$ is dense in $X$ (and also comeagre and non–meager) so the set of all countable intersections of elements of ${ℬ}_{\mathrm{LebFinite}}$ is a prefilter and Template:Pi–system; it is also finer than, and not equivalent to, ${ℬ}_{\mathrm{LebFinite}}.$
• A filter subbase with no $\subseteq -$smallest prefilter containing it: In general, if a filter subbase $𝒮$ is not a Template:Pi–system then an intersection $S_1\cap \cdots \cap S_n$ of $n$ sets from $𝒮$ will usually require a description involving $n$ variables that cannot be reduced down to only two (consider, for instance $\pi (𝒮)$ when $𝒮=\{(-\mathrm{\infty },r)\cup (r,\mathrm{\infty }):r\in ℝ\}$). This example illustrates an atypical class of a filter subbases ${𝒮}_R$ where all sets in both ${𝒮}_R$ and its generated Template:Pi–system can be described as sets of the form $B_{r,s},$ so that in particular, no more than two variables (specifically, $r\text{ and }s$) are needed to describe the generated Template:Pi–system. For all $r,s\in ℝ,$ let $$B_{r,s}=(r,0)\cup (s,\mathrm{\infty }),$$ where $B_{r,s}=B_{\min (r,s),s}$ always holds so no generality is lost by adding the assumption $r\le s.$ For all real $r\le s\text{ and }u\le v,$ if $s\text{ or }v$ is non-negative then $B_{-r,s}\cap B_{-u,v}=B_{-\min (r,u),\max (s,v)}.$ For every set $R$ of positive reals, let $${𝒮}_R:=\{B_{-r,r}:r\in R\}=\{(-r,0)\cup (r,\mathrm{\infty }):r\in R\}\text{ and }{ℬ}_R:=\{B_{-r,s}:r\le s\text{ with }r,s\in R\}=\{(-r,0)\cup (s,\mathrm{\infty }):r\le s\text{ in }R\}.$$ Let $X=ℝ$ and suppose $\varnothing \ne R\subseteq (0,\mathrm{\infty })$ is not a singleton set. Then ${𝒮}_R$ is a filter subbase but not a prefilter and ${ℬ}_R=\pi \left({𝒮}_R\right)$ is the Template:Pi–system it generates, so that ${ℬ}_R^{\uparrow X}$ is the unique smallest filter in $X=ℝ$ containing ${𝒮}_R.$ However, ${𝒮}_R^{\uparrow X}$ is Template:Em a filter on $X$ (nor is it a prefilter because it is not directed downward, although it is a filter subbase) and ${𝒮}_R^{\uparrow X}$ is a proper subset of the filter ${ℬ}_R^{\uparrow X}.$ If $R,S\subseteq (0,\mathrm{\infty })$ are non−empty intervals then the filter subbases ${𝒮}_R\text{ and }{𝒮}_S$ generate the same filter on $X$ if and only if $R=S.$ If $𝒞$ is a prefilter satisfying ${𝒮}_{(0,\mathrm{\infty })}\subseteq 𝒞\subseteq {ℬ}_{(0,\mathrm{\infty })}$ then for any $C\in 𝒞\setminus {𝒮}_{(0,\mathrm{\infty })},$ the family $𝒞\setminus \{C\}$ is also a prefilter satisfying ${𝒮}_{(0,\mathrm{\infty })}\subseteq 𝒞\setminus \{C\}\subseteq {ℬ}_{(0,\mathrm{\infty })}.$ This shows that there cannot exist a minimal/least (with respect to $\subseteq$) prefilter that both contains ${𝒮}_{(0,\mathrm{\infty })}$ and is a subset of the Template:Pi–system generated by ${𝒮}_{(0,\mathrm{\infty })}.$ This remains true even if the requirement that the prefilter be a subset of ${ℬ}_{(0,\mathrm{\infty })}=\pi \left({𝒮}_{(0,\mathrm{\infty })}\right)$ is removed; that is, (in sharp contrast to filters) there does Template:Em exist a minimal/least (with respect to $\subseteq$) Template:Emfilter containing the filter subbase ${𝒮}_{(0,\mathrm{\infty })}.$

Ultrafilters

There are many other characterizations of "ultrafilter" and "ultra prefilter," which are listed in the article on ultrafilters. Important properties of ultrafilters are also described in that article.

$$\begin{array}{cc}\text{Ultrafilters}(X)& =\text{Filters}(X)\cap \text{UltraPrefilters}(X)\\ & \subseteq \text{UltraPrefilters}(X)=\text{UltraFilterSubbases}(X)\\ & \subseteq \text{Prefilters}(X)\\ \end{array}$$

Any non–degenerate family that has a singleton set as an element is ultra, in which case it will then be an ultra prefilter if and only if it also has the finite intersection property. The trivial filter $\{X\}\text{ on }X$ is ultra if and only if $X$ is a singleton set.

The ultrafilter lemma

The following important theorem is due to Alfred Tarski (1930).Template:Sfn

A consequence of the ultrafilter lemma is that every filter is equal to the intersection of all ultrafilters containing it.Template:Sfn Assuming the axioms of Zermelo–Fraenkel (ZF), the ultrafilter lemma follows from the Axiom of choice (in particular from Zorn's lemma) but is strictly weaker than it. The ultrafilter lemma implies the Axiom of choice for finite sets. If Template:Em dealing with Hausdorff spaces, then most basic results (as encountered in introductory courses) in Topology (such as Tychonoff's theorem for compact Hausdorff spaces and the Alexander subbase theorem) and in functional analysis (such as the Hahn–Banach theorem) can be proven using only the ultrafilter lemma; the full strength of the axiom of choice might not be needed.

Kernels

The kernel is useful in classifying properties of prefilters and other families of sets.

If $ℬ\subseteq \mathrm{\wp }(X)$ then for any point $x,x\in ̸\ker ℬ\text{ if and only if }X\setminus \{x\}\in {ℬ}^{\uparrow X}.$

Properties of kernels

If $ℬ\subseteq \mathrm{\wp }(X)$ then $\ker \left({ℬ}^{\uparrow X}\right)=\ker ℬ$ and this set is also equal to the kernel of the Template:Pi–system that is generated by $ℬ.$ In particular, if $ℬ$ is a filter subbase then the kernels of all of the following sets are equal:

(1) $ℬ,$ (2) the Template:Pi–system generated by $ℬ,$ and (3) the filter generated by $ℬ.$

If $f$ is a map then $f(\ker ℬ)\subseteq \ker f(ℬ)$ and $f^{-1}(\ker ℬ)=\ker f^{-1}(ℬ).$ If $ℬ\le 𝒞$ then $\ker 𝒞\subseteq \ker ℬ$ while if $ℬ$ and $𝒞$ are equivalent then $\ker ℬ=\ker 𝒞.$ Equivalent families have equal kernels. Two principal families are equivalent if and only if their kernels are equal; that is, if $ℬ$ and $𝒞$ are principal then they are equivalent if and only if $\ker ℬ=\ker 𝒞.$

Classifying families by their kernels

If $ℬ$ is a principal filter on $X$ then $\varnothing \ne \ker ℬ\in ℬ$ and $$ℬ=\{\ker ℬ{\}}^{\uparrow X}=\{S\cup \ker ℬ:S\subseteq X\setminus \ker ℬ\}=\mathrm{\wp }(X\setminus \ker ℬ)(\cup )\{\ker ℬ\}$$ where $\{\ker ℬ\}$ is also the smallest prefilter that generates $ℬ.$

Family of examples: For any non–empty $C\subseteq ℝ,$ the family ${ℬ}_C=\{ℝ\setminus (r+C):r\in ℝ\}$ is free but it is a filter subbase if and only if no finite union of the form $(r_1+C)\cup \cdots \cup (r_n+C)$ covers $ℝ,$ in which case the filter that it generates will also be free. In particular, ${ℬ}_C$ is a filter subbase if $C$ is countable (for example, $C=\mathbb{Q},\mathbb{Z},$ the primes), a meager set in $ℝ,$ a set of finite measure, or a bounded subset of $ℝ.$ If $C$ is a singleton set then ${ℬ}_C$ is a subbase for the Fréchet filter on $ℝ.$

For every filter $ℱ\text{ on }X$ there exists a unique pair of dual ideals ${ℱ}^{*}\text{ and }{ℱ}^{\bullet }\text{ on }X$ such that ${ℱ}^{*}$ is free, ${ℱ}^{\bullet }$ is principal, and ${ℱ}^{*}\wedge {ℱ}^{\bullet }=ℱ,$ and ${ℱ}^{*}\text{ and }{ℱ}^{\bullet }$ do not mesh (that is, ${ℱ}^{*}\vee {ℱ}^{\bullet }=\mathrm{\wp }(X)$). The dual ideal ${ℱ}^{*}$ is called Template:Em of $ℱ$ while ${ℱ}^{\bullet }$ is called Template:EmTemplate:Sfn where at least one of these dual ideals is filter. If $ℱ$ is principal then ${ℱ}^{\bullet }:=ℱ\text{ and }{ℱ}^{*}:=\mathrm{\wp }(X);$ otherwise, ${ℱ}^{\bullet }:=\{\ker ℱ{\}}^{\uparrow X}$ and ${ℱ}^{*}:=ℱ\vee \{X\setminus (\ker ℱ){\}}^{\uparrow X}$ is a free (non–degenerate) filter.Template:Sfn

Finite prefilters and finite sets

If a filter subbase $ℬ$ is finite then it is fixed (that is, not free); this is because $\ker ℬ=\bigcap _{B\in ℬ}B$ is a finite intersection and the filter subbase $ℬ$ has the finite intersection property. A finite prefilter is necessarily principal, although it does not have to be closed under finite intersections.

If $X$ is finite then all of the conclusions above hold for any $ℬ\subseteq \mathrm{\wp }(X).$ In particular, on a finite set $X,$ there are no free filter subbases (and so no free prefilters), all prefilters are principal, and all filters on $X$ are principal filters generated by their (non–empty) kernels.

The trivial filter $\{X\}$ is always a finite filter on $X$ and if $X$ is infinite then it is the only finite filter because a non–trivial finite filter on a set $X$ is possible if and only if $X$ is finite. However, on any infinite set there are non–trivial filter subbases and prefilters that are finite (although they cannot be filters). If $X$ is a singleton set then the trivial filter $\{X\}$ is the only proper subset of $\mathrm{\wp }(X)$ and moreover, this set $\{X\}$ is a principal ultra prefilter and any superset $ℱ\supseteq ℬ$ (where $ℱ\subseteq \mathrm{\wp }(Y)\text{ and }X\subseteq Y$) with the finite intersection property will also be a principal ultra prefilter (even if $Y$ is infinite).

Characterizing fixed ultra prefilters

If a family of sets $ℬ$ is fixed (that is, $\ker ℬ\ne \varnothing$) then $ℬ$ is ultra if and only if some element of $ℬ$ is a singleton set, in which case $ℬ$ will necessarily be a prefilter. Every principal prefilter is fixed, so a principal prefilter $ℬ$ is ultra if and only if $\ker ℬ$ is a singleton set.

Every filter on $X$ that is principal at a single point is an ultrafilter, and if in addition $X$ is finite, then there are no ultrafilters on $X$ other than these.Template:Sfn

The next theorem shows that every ultrafilter falls into one of two categories: either it is free or else it is a principal filter generated by a single point.

Finer/coarser, subordination, and meshing

The preorder $\le$ that is defined below is of fundamental importance for the use of prefilters (and filters) in topology. For instance, this preorder is used to define the prefilter equivalent of "subsequence",Template:Sfn where "$ℱ\ge 𝒞$" can be interpreted as "$ℱ$ is a subsequence of $𝒞$" (so "subordinate to" is the prefilter equivalent of "subsequence of"). It is also used to define prefilter convergence in a topological space. The definition of $ℬ$ meshes with $𝒞,$ which is closely related to the preorder $\le ,$ is used in Topology to define cluster points.

Two families of sets $ℬ\text{ and }𝒞$ Template:EmTemplate:Sfn and are Template:Em, indicated by writing $ℬ\mathrm{\#}𝒞,$ if $B\cap C\ne \varnothing \text{ for all }B\in ℬ\text{ and }C\in 𝒞.$ If $ℬ\text{ and }𝒞$ do not mesh then they are Template:Em. If $S\subseteq X\text{ and }ℬ\subseteq \mathrm{\wp }(X)$ then $ℬ\text{ and }S$ are said to Template:Em if $ℬ\text{ and }\{S\}$ mesh, or equivalently, if the Template:Em of $ℬ\text{ on }S,$ which is the family $$ℬ{|}_S=\{B\cap S:B\in ℬ\},$$ does not contain the empty set, where the trace is also called the Template:Em of $ℬ\text{ to }S.$

Example: If $x_{i_{\bullet }}={\left(x_{i_n}\right)}_{n=1}^{\mathrm{\infty }}$ is a subsequence of $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$ then $\mathrm{Tails}\left(x_{i_{\bullet }}\right)$ is subordinate to $\mathrm{Tails}\left(x_{\bullet }\right);$ in symbols: $\mathrm{Tails}\left(x_{i_{\bullet }}\right)⊢\mathrm{Tails}\left(x_{\bullet }\right)$ and also $\mathrm{Tails}\left(x_{\bullet }\right)\le \mathrm{Tails}\left(x_{i_{\bullet }}\right).$ Stated in plain English, the prefilter of tails of a subsequence is always subordinate to that of the original sequence. To see this, let $C:=x_{\ge i}\in \mathrm{Tails}\left(x_{\bullet }\right)$ be arbitrary (or equivalently, let $i\in \mathbb{N}$ be arbitrary) and it remains to show that this set contains some $F:=x_{i_{\ge n}}\in \mathrm{Tails}\left(x_{i_{\bullet }}\right).$ For the set $x_{\ge i}=\{x_i,x_{i+1},\dots \}$ to contain $x_{i_{\ge n}}=\{x_{i_n},x_{i_{n+1}},\dots \},$ it is sufficient to have $i\le i_n.$ Since $i_1<i_2<\cdots$ are strictly increasing integers, there exists $n\in \mathbb{N}$ such that $i_n\ge i,$ and so $x_{\ge i}\supseteq x_{i_{\ge n}}$ holds, as desired. Consequently, $\mathrm{TailsFilter}\left(x_{\bullet }\right)\subseteq \mathrm{TailsFilter}\left(x_{i_{\bullet }}\right).$ The left hand side will be a Template:Em subset of the right hand side if (for instance) every point of $x_{\bullet }$ is unique (that is, when $x_{\bullet }:\mathbb{N}\to X$ is injective) and $x_{i_{\bullet }}$ is the even-indexed subsequence $(x_2,x_4,x_6,\dots )$ because under these conditions, every tail $x_{i_{\ge n}}=\{x_{2n},x_{2n+2},x_{2n+4},\dots \}$ (for every $n\in \mathbb{N}$) of the subsequence will belong to the right hand side filter but not to the left hand side filter.

For another example, if $ℬ$ is any family then $\varnothing \le ℬ\le ℬ\le \{\varnothing \}$ always holds and furthermore, $\{\varnothing \}\le ℬ\text{ if and only if }\varnothing \in ℬ.$

Assume that $𝒞\text{ and }ℱ$ are families of sets that satisfy $ℬ\le ℱ\text{ and }𝒞\le ℱ.$ Then $\ker ℱ\subseteq \ker 𝒞,$ and $𝒞\ne \varnothing \text{ implies }ℱ\ne \varnothing ,$ and also $\varnothing \in 𝒞\text{ implies }\varnothing \in ℱ.$ If in addition to $𝒞\le ℱ,ℱ$ is a filter Template:Embase and $𝒞\ne \varnothing ,$ then $𝒞$ is a filter subbaseTemplate:Sfn and also $𝒞\text{ and }ℱ$ mesh.Template:Sfn More generally, if both $\varnothing \ne ℬ\le ℱ\text{ and }\varnothing \ne 𝒞\le ℱ$ and if the intersection of any two elements of $ℱ$ is non–empty, then $ℬ\text{ and }𝒞$ mesh. Every filter subbase is coarser than both the Template:Pi–system that it generates and the filter that it generates.Template:Sfn

If $𝒞\text{ and }ℱ$ are families such that $𝒞\le ℱ,$ the family $𝒞$ is ultra, and $\varnothing \in ̸ℱ,$ then $ℱ$ is necessarily ultra. It follows that any family that is equivalent to an ultra family will necessarily Template:Em ultra. In particular, if $𝒞$ is a prefilter then either both $𝒞$ and the filter ${𝒞}^{\uparrow X}$ it generates are ultra or neither one is ultra. If a filter subbase is ultra then it is necessarily a prefilter, in which case the filter that it generates will also be ultra. A filter subbase $ℬ$ that is not a prefilter cannot be ultra; but it is nevertheless still possible for the prefilter and filter generated by $ℬ$ to be ultra. If $S\subseteq X\text{ and }ℬ\subseteq \mathrm{\wp }(X)$ is upward closed in $X$ then $S\in ̸ℬ\text{ if and only if }(X\setminus S)\mathrm{\#}ℬ.$Template:Sfn

Relational properties of subordination

The relation $\le$ is reflexive and transitive, which makes it into a preorder on $\mathrm{\wp }(\mathrm{\wp }(X)).$Template:Sfn The relation $\le \text{ on }\mathrm{Filters}(X)$ is antisymmetric but if $X$ has more than one point then it is Template:Em symmetric.

Template:Em: For any $ℬ\subseteq \mathrm{\wp }(X),ℬ\le \{X\}\text{ if and only if }\{X\}=ℬ.$ So the set $X$ has more than one point if and only if the relation $\le \text{ on }\mathrm{Filters}(X)$ is Template:Em symmetric.

Template:Em: If $ℬ\subseteq 𝒞\text{ then }ℬ\le 𝒞$ but while the converse does not hold in general, it does hold if $𝒞$ is upward closed (such as if $𝒞$ is a filter). Two filters are equivalent if and only if they are equal, which makes the restriction of $\le$ to $\mathrm{Filters}(X)$ antisymmetric. But in general, $\le$ is Template:Em antisymmetric on $\mathrm{Prefilters}(X)$ nor on $\mathrm{\wp }(\mathrm{\wp }(X))$; that is, $𝒞\le ℬ\text{ and }ℬ\le 𝒞$ does Template:Em necessarily imply $ℬ=𝒞$; not even if both $𝒞\text{ and }ℬ$ are prefilters.Template:Sfn For instance, if $ℬ$ is a prefilter but not a filter then $ℬ\le {ℬ}^{\uparrow X}\text{ and }{ℬ}^{\uparrow X}\le ℬ\text{ but }ℬ\ne {ℬ}^{\uparrow X}.$

Equivalent families of sets

The preorder $\le$ induces its canonical equivalence relation on $\mathrm{\wp }(\mathrm{\wp }(X)),$ where for all $ℬ,𝒞\in \mathrm{\wp }(\mathrm{\wp }(X)),$ $ℬ$ is Template:Em to $𝒞$ if any of the following equivalent conditions hold:Template:SfnTemplate:Sfn

1. $𝒞\le ℬ\text{ and }ℬ\le 𝒞.$
2. The upward closures of $𝒞\text{ and }ℬ$ are equal.

Two upward closed (in $X$) subsets of $\mathrm{\wp }(X)$ are equivalent if and only if they are equal.Template:Sfn If $ℬ\subseteq \mathrm{\wp }(X)$ then necessarily $\varnothing \le ℬ\le \mathrm{\wp }(X)$ and $ℬ$ is equivalent to ${ℬ}^{\uparrow X}.$ Every equivalence class other than $\{\varnothing \}$ contains a unique representative (that is, element of the equivalence class) that is upward closed in $X.$Template:Sfn

Properties preserved between equivalent families

Let $ℬ,𝒞\in \mathrm{\wp }(\mathrm{\wp }(X))$ be arbitrary and let $ℱ$ be any family of sets. If $ℬ\text{ and }𝒞$ are equivalent (which implies that $\ker ℬ=\ker 𝒞$) then for each of the statements/properties listed below, either it is true of Template:Em $ℬ\text{ and }𝒞$ or else it is false of Template:Em $ℬ\text{ and }𝒞$:Template:Sfn

1. Not empty
2. Proper (that is, $\varnothing$ is not an element)
   • Moreover, any two degenerate families are necessarily equivalent.
3. Filter subbase
4. Prefilter
   • In which case $ℬ\text{ and }𝒞$ generate the same filter on $X$ (that is, their upward closures in $X$ are equal).
5. Free
6. Principal
7. Ultra
8. Is equal to the trivial filter $\{X\}$
   • In words, this means that the only subset of $\mathrm{\wp }(X)$ that is equivalent to the trivial filter Template:Em the trivial filter. In general, this conclusion of equality does not extend to non−trivial filters (one exception is when both families are filters).
9. Meshes with $ℱ$
10. Is finer than $ℱ$
11. Is coarser than $ℱ$
12. Is equivalent to $ℱ$

Missing from the above list is the word "filter" because this property is Template:Em preserved by equivalence. However, if $ℬ\text{ and }𝒞$ are filters on $X,$ then they are equivalent if and only if they are equal; this characterization does Template:Em extend to prefilters.

Equivalence of prefilters and filter subbases

If $ℬ$ is a prefilter on $X$ then the following families are always equivalent to each other:

1. $ℬ$;
2. the Template:Pi–system generated by $ℬ$;
3. the filter on $X$ generated by $ℬ$;

and moreover, these three families all generate the same filter on $X$ (that is, the upward closures in $X$ of these families are equal).

In particular, every prefilter is equivalent to the filter that it generates. By transitivity, two prefilters are equivalent if and only if they generate the same filter.Template:Sfn Every prefilter is equivalent to exactly one filter on $X,$ which is the filter that it generates (that is, the prefilter's upward closure). Said differently, every equivalence class of prefilters contains exactly one representative that is a filter. In this way, filters can be considered as just being distinguished elements of these equivalence classes of prefilters.Template:Sfn

A filter subbase that is Template:Em also a prefilter canTemplate:Em be equivalent to the prefilter (or filter) that it generates. In contrast, every prefilter is equivalent to the filter that it generates. This is why prefilters can, by and large, be used interchangeably with the filters that they generate while filter subbases cannot. Every filter is both a [[Pi-system|Template:Pi–system]] and a ring of sets.

Examples of determining equivalence/non–equivalence

Examples: Let $X=ℝ$ and let $E$ be the set $\mathbb{Z}$ of integers (or the set $\mathbb{N}$). Define the sets $$ℬ=\{[e,\mathrm{\infty }):e\in E\}\text{ and }{𝒞}_{\mathrm{open}}=\{(-\mathrm{\infty },e)\cup (1+e,\mathrm{\infty }):e\in E\}\text{ and }{𝒞}_{\mathrm{closed}}=\{(-\mathrm{\infty },e]\cup [1+e,\mathrm{\infty }):e\in E\}.$$

All three sets are filter subbases but none are filters on $X$ and only $ℬ$ is prefilter (in fact, $ℬ$ is even free and closed under finite intersections). The set ${𝒞}_{\mathrm{closed}}$ is fixed while ${𝒞}_{\mathrm{open}}$ is free (unless $E=\mathbb{N}$). They satisfy ${𝒞}_{\mathrm{closed}}\le {𝒞}_{\mathrm{open}}\le ℬ,$ but no two of these families are equivalent; moreover, no two of the filters generated by these three filter subbases are equivalent/equal. This conclusion can be reached by showing that the Template:Pi–systems that they generate are not equivalent. Unlike with ${𝒞}_{\mathrm{open}},$ every set in the Template:Pi–system generated by ${𝒞}_{\mathrm{closed}}$ contains $\mathbb{Z}$ as a subset, which is what prevents their generated Template:Pi–systems (and hence their generated filters) from being equivalent. If $E$ was instead $\mathbb{Q}\text{ or }ℝ$ then all three families would be free and although the sets ${𝒞}_{\mathrm{closed}}\text{ and }{𝒞}_{\mathrm{open}}$ would remain Template:Em equivalent to each other, their generated Template:Pi–systems would be equivalent and consequently, they would generate the same filter on $X$; however, this common filter would still be strictly coarser than the filter generated by $ℬ.$

Set theoretic properties and constructions

Trace and meshing

If $ℬ$ is a prefilter (resp. filter) on $X\text{ and }S\subseteq X$ then the trace of $ℬ\text{ on }S,$ which is the family $ℬ{|}_S:=ℬ(\cap )\{S\},$ is a prefilter (resp. a filter) if and only if $ℬ\text{ and }S$ mesh (that is, $\varnothing \in ̸ℬ(\cap )\{S\}$Template:Sfn), in which case the trace of $ℬ\text{ on }S$ is said to be Template:Em. If $ℬ$ is ultra and if $ℬ\text{ and }S$ mesh then the trace $ℬ{|}_S$ is ultra. If $ℬ$ is an ultrafilter on $X$ then the trace of $ℬ\text{ on }S$ is a filter on $S$ if and only if $S\in ℬ.$

For example, suppose that $ℬ$ is a filter on $X\text{ and }S\subseteq X$ is such that $S\ne X\text{ and }X\setminus S\in ̸ℬ.$ Then $ℬ\text{ and }S$ mesh and $ℬ\cup \{S\}$ generates a filter on $X$ that is strictly finer than $ℬ.$Template:Sfn

When prefilters mesh

Given non–empty families $ℬ\text{ and }𝒞,$ the family $$ℬ(\cap )𝒞:=\{B\cap C:B\in ℬ\text{ and }C\in 𝒞\}$$ satisfies $𝒞\le ℬ(\cap )𝒞$ and $ℬ\le ℬ(\cap )𝒞.$ If $ℬ(\cap )𝒞$ is proper (resp. a prefilter, a filter subbase) then this is also true of both $ℬ\text{ and }𝒞.$ In order to make any meaningful deductions about $ℬ(\cap )𝒞$ from $ℬ\text{ and }𝒞,ℬ(\cap )𝒞$ needs to be proper (that is, $\varnothing \in ̸ℬ(\cap )𝒞,$ which is the motivation for the definition of "mesh". In this case, $ℬ(\cap )𝒞$ is a prefilter (resp. filter subbase) if and only if this is true of both $ℬ\text{ and }𝒞.$ Said differently, if $ℬ\text{ and }𝒞$ are prefilters then they mesh if and only if $ℬ(\cap )𝒞$ is a prefilter. Generalizing gives a well known characterization of "mesh" entirely in terms of subordination (that is, $\le$):

Template:In5Two prefilters (resp. filter subbases) $ℬ\text{ and }𝒞$ mesh if and only if there exists a prefilter (resp. filter subbase) $ℱ$ such that $𝒞\le ℱ$ and $ℬ\le ℱ.$

If the least upper bound of two filters $ℬ\text{ and }𝒞$ exists in $\mathrm{Filters}(X)$ then this least upper bound is equal to $ℬ(\cap )𝒞.$Template:Sfn

Images and preimages under functions

Throughout, $f:X\to Y\text{ and }g:Y\to Z$ will be maps between non–empty sets.

Images of prefilters

Let $ℬ\subseteq \mathrm{\wp }(Y).$ Many of the properties that $ℬ$ may have are preserved under images of maps; notable exceptions include being upward closed, being closed under finite intersections, and being a filter, which are not necessarily preserved.

Explicitly, if one of the following properties is true of $ℬ\text{ on }Y,$ then it will necessarily also be true of $g(ℬ)\text{ on }g(Y)$ (although possibly not on the codomain $Z$ unless $g$ is surjective):Template:SfnTemplate:SfnTemplate:SfnTemplate:SfnTemplate:SfnTemplate:Sfn

• Filter properties: ultra, ultrafilter, filter, prefilter, filter subbase, dual ideal, upward closed, proper/non–degenerate.
• Ideal properties: ideal, closed under finite unions, downward closed, directed upward.

Moreover, if $ℬ\subseteq \mathrm{\wp }(Y)$ is a prefilter then so are both $g(ℬ)\text{ and }{g}^{-1}(g(ℬ)).$Template:Sfn The image under a map $f:X\to Y$ of an ultra set $ℬ\subseteq \mathrm{\wp }(X)$ is again ultra and if $ℬ$ is an ultra prefilter then so is $f(ℬ).$

If $ℬ$ is a filter then $g(ℬ)$ is a filter on the range $g(Y),$ but it is a filter on the codomain $Z$ if and only if $g$ is surjective.Template:Sfn Otherwise it is just a prefilter on $Z$ and its upward closure must be taken in $Z$ to obtain a filter. The upward closure of $g(ℬ)\text{ in }Z$ is $$g(ℬ{)}^{\uparrow Z}=\{S\subseteq Z:B\subseteq g^{-1}(S)\text{ for some }B\in ℬ\}$$ where if $ℬ$ is upward closed in $Y$ (that is, a filter) then this simplifies to: $$g(ℬ{)}^{\uparrow Z}=\{S\subseteq Z:g^{-1}(S)\in ℬ\}.$$

If $X\subseteq Y$ then taking $g$ to be the inclusion map $X\to Y$ shows that any prefilter (resp. ultra prefilter, filter subbase) on $X$ is also a prefilter (resp. ultra prefilter, filter subbase) on $Y.$Template:Sfn

Preimages of prefilters

Let $ℬ\subseteq \mathrm{\wp }(Y).$ Under the assumption that $f:X\to Y$ is surjective:

Template:In5$f^{-1}(ℬ)$ is a prefilter (resp. filter subbase, Template:Pi–system, closed under finite unions, proper) if and only if this is true of $ℬ.$

However, if $ℬ$ is an ultrafilter on $Y$ then even if $f$ is surjective (which would make $f^{-1}(ℬ)$ a prefilter), it is nevertheless still possible for the prefilter $f^{-1}(ℬ)$ to be neither ultra nor a filter on $X$Template:HspTemplate:Sfn (see this footnote for an example).

If $f:X\to Y$ is not surjective then denote the trace of $ℬ\text{ on }f(X)$ by $ℬ{|}_{f(X)},$ where in this case particular case the trace satisfies: $$ℬ{|}_{f(X)}=f(f^{-1}(ℬ))$$ and consequently also: $$f^{-1}(ℬ)=f^{-1}\left(ℬ{|}_{f(X)}\right).$$

This last equality and the fact that the trace $ℬ{|}_{f(X)}$ is a family of sets over $f(X)$ means that to draw conclusions about $f^{-1}(ℬ),$ the trace $ℬ{|}_{f(X)}$ can be used in place of $ℬ$ and the Template:Em $f:X\to f(X)$ can be used in place of $f:X\to Y.$ For example:Template:SfnTemplate:SfnTemplate:Sfn

Template:In5$f^{-1}(ℬ)$ is a prefilter (resp. filter subbase, Template:Pi–system, proper) if and only if this is true of $ℬ{|}_{f(X)}.$

In this way, the case where $f$ is not (necessarily) surjective can be reduced down to the case of a surjective function (which is a case that was described at the start of this subsection).

Even if $ℬ$ is an ultrafilter on $Y,$ if $f$ is not surjective then it is nevertheless possible that $\varnothing \in ℬ{|}_{f(X)},$ which would make $f^{-1}(ℬ)$ degenerate as well. The next characterization shows that degeneracy is the only obstacle. If $ℬ$ is a prefilter then the following are equivalent:Template:SfnTemplate:SfnTemplate:Sfn

1. $f^{-1}(ℬ)$ is a prefilter;
2. $ℬ{|}_{f(X)}$ is a prefilter;
3. $\varnothing \in ̸ℬ{|}_{f(X)}$;
4. $ℬ$ meshes with $f(X)$

and moreover, if $f^{-1}(ℬ)$ is a prefilter then so is $f(f^{-1}(ℬ)).$Template:SfnTemplate:Sfn

If $S\subseteq Y$ and if $\mathrm{In}:S\to Y$ denotes the inclusion map then the trace of $ℬ\text{ on }S$ is equal to ${\mathrm{In}}^{-1}(ℬ).$Template:Sfn This observation allows the results in this subsection to be applied to investigating the trace on a set.

Bijections, injections, and surjections

All properties involving filters are preserved under bijections. This means that if $ℬ\subseteq \mathrm{\wp }(Y)\text{ and }g:Y\to Z$ is a bijection, then $ℬ$ is a prefilter (resp. ultra, ultra prefilter, filter on $X,$ ultrafilter on $X,$ filter subbase, Template:Pi–system, ideal on $X,$ etc.) if and only if the same is true of $g(ℬ)\text{ on }Z.$Template:Sfn

A map $g:Y\to Z$ is injective if and only if for all prefilters $ℬ\text{ on }Y,ℬ$ is equivalent to $g^{-1}(g(ℬ)).$Template:Sfn The image of an ultra family of sets under an injection is again ultra.

The map $f:X\to Y$ is a surjection if and only if whenever $ℬ$ is a prefilter on $Y$ then the same is true of $f^{-1}(ℬ)\text{ on }X$ (this result does not require the ultrafilter lemma).

Subordination is preserved by images and preimages

The relation $\le$ is preserved under both images and preimages of families of sets.Template:Sfn This means that for Template:Em families $𝒞\text{ and }ℱ,$Template:Sfn $$𝒞\le ℱ\text{ implies }g(𝒞)\le g(ℱ)\text{ and }{f}^{-1}(𝒞)\le f^{-1}(ℱ).$$

Moreover, the following relations always hold for Template:Em family of sets $𝒞$:Template:Sfn $$𝒞\le f(f^{-1}(𝒞))$$ where equality will hold if $f$ is surjective.Template:Sfn Furthermore, $$f^{-1}(𝒞)=f^{-1}\left(f(f^{-1}(𝒞))\right)\text{ and }g(𝒞)=g(g^{-1}(g(𝒞))).$$

If $ℬ\subseteq \mathrm{\wp }(X)\text{ and }𝒞\subseteq \mathrm{\wp }(Y)$ thenTemplate:Sfn $$f(ℬ)\le 𝒞\text{ if and only if }ℬ\le f^{-1}(𝒞)$$ and $g^{-1}(g(𝒞))\le 𝒞$Template:Sfn where equality will hold if $g$ is injective.Template:Sfn

Products of prefilters

Suppose $X_{\bullet }={\left(X_i\right)}_{i\in I}$ is a family of one or more non–empty sets, whose product will be denoted by $\prod X_{\bullet }:=\prod _{i\in I}{X}_i,$ and for every index $i\in I,$ let $$\mathrm{Pr}{}_{X_i}:\prod X_{\bullet }\to X_i$$ denote the canonical projection. Let ${ℬ}_{\bullet }:={\left({ℬ}_i\right)}_{i\in I}$ be non−empty families, also indexed by $I,$ such that ${ℬ}_i\subseteq \mathrm{\wp }\left(X_i\right)$ for each $i\in I.$ The Template:Em of the families ${ℬ}_{\bullet }$Template:Sfn is defined identically to how the basic open subsets of the product topology are defined (had all of these ${ℬ}_i$ been topologies). That is, both the notations $$\prod _{}{ℬ}_{\bullet }=\prod _{i\in I}{ℬ}_i$$ denote the family of all cylinder subsets $\prod _{i\in I}{S}_i\subseteq \prod _{}{X}_{\bullet }$ such that $S_i=X_i$ for all but finitely many $i\in I$ and where $S_i\in {ℬ}_i$ for any one of these finitely many exceptions (that is, for any $i$ such that $S_i\ne X_i,$ necessarily $S_i\in {ℬ}_i$). When every ${ℬ}_i$ is a filter subbase then the family $\bigcup _{i\in I}\mathrm{Pr}{}_{X_i}^{-1}\left({ℬ}_i\right)$ is a filter subbase for the filter on $\prod X_{\bullet }$ generated by ${ℬ}_{\bullet }.$Template:Sfn If $\prod {ℬ}_{\bullet }$ is a filter subbase then the filter on $\prod X_{\bullet }$ that it generates is called the Template:Em.Template:Sfn If every ${ℬ}_i$ is a prefilter on $X_i$ then $\prod {ℬ}_{\bullet }$ will be a prefilter on $\prod X_{\bullet }$ and moreover, this prefilter is equal to the coarsest prefilter $ℱ\text{ on }\prod X_{\bullet }$ such that $\mathrm{Pr}{}_{X_i}(ℱ)={ℬ}_i$ for every $i\in I.$Template:Sfn However, $\prod {ℬ}_{\bullet }$ may fail to be a filter on $\prod X_{\bullet }$ even if every ${ℬ}_i$ is a filter on $X_i.$Template:Sfn

Set subtraction and some examples

Set subtracting away a subset of the kernel

If $ℬ$ is a prefilter on $X,S\subseteq \ker ℬ,\text{ and }S\in ̸ℬ$ then $\{B\setminus S:B\in ℬ\}$ is a prefilter, where this latter set is a filter if and only if $ℬ$ is a filter and $S=\varnothing .$ In particular, if $ℬ$ is a neighborhood basis at a point $x$ in a topological space $X$ having at least 2 points, then $\{B\setminus \{x\}:B\in ℬ\}$ is a prefilter on $X.$ This construction is used to define $\underset{\stackrel{x\to x_0}{x\ne x_0}}{\lim }f(x)\to y$ in terms of prefilter convergence.

Using duality between ideals and dual ideals

There is a dual relation Template:Em or Template:Em which is defined to mean that every $B\in ℬ$ Template:Em some $C\in 𝒞.$ Explicitly, this means that for every $B\in ℬ$ , there is some $C\in 𝒞$ such that $B\subseteq C.$ This relation is dual to $\le$ in sense that $ℬ⊲𝒞$ if and only if $(X\setminus ℬ)\le (X\setminus 𝒞).$Template:Sfn The relation $ℬ⊲𝒞$ is closely related to the downward closure of a family in a manner similar to how $\le$ is related to the upward closure family.

For an example that uses this duality, suppose $f:X\to Y$ is a map and $\mathrm{\Xi }\subseteq \mathrm{\wp }(Y).$ Define $${\mathrm{\Xi }}_f:=\{I\subseteq X:f(I)\in \mathrm{\Xi }\}$$ which contains the empty set if and only if $\mathrm{\Xi }$ does. It is possible for $\mathrm{\Xi }$ to be an ultrafilter and for ${\mathrm{\Xi }}_f$ to be empty or not closed under finite intersections (see footnote for example). Although ${\mathrm{\Xi }}_f$ does not preserve properties of filters very well, if $\mathrm{\Xi }$ is downward closed (resp. closed under finite unions, an ideal) then this will also be true for ${\mathrm{\Xi }}_f.$ Using the duality between ideals and dual ideals allows for a construction of the following filter.

Template:In5Suppose $ℬ$ is a filter on $Y$ and let $\mathrm{\Xi }:=Y\setminus ℬ$ be its dual in $Y.$ If $X\in ̸{\mathrm{\Xi }}_f$ then ${\mathrm{\Xi }}_f$'s dual $X\setminus {\mathrm{\Xi }}_f$ will be a filter.

Other examples

Example: The set $ℬ$ of all dense open subsets of a topological space is a proper Template:Pi–system and a prefilter. If the space is a Baire space, then the set of all countable intersections of dense open subsets is a Template:Pi–system and a prefilter that is finer than $ℬ.$

Example: The family ${ℬ}_{\mathrm{Open}}$ of all dense open sets of $X=ℝ$ having finite Lebesgue measure is a proper Template:Pi–system and a free prefilter. The prefilter ${ℬ}_{\mathrm{Open}}$ is properly contained in, and not equivalent to, the prefilter consisting of all dense open subsets of $ℝ.$ Since $X$ is a Baire space, every countable intersection of sets in ${ℬ}_{\mathrm{Open}}$ is dense in $X$ (and also comeagre and non–meager) so the set of all countable intersections of elements of ${ℬ}_{\mathrm{Open}}$ is a prefilter and Template:Pi–system; it is also finer than, and not equivalent to, ${ℬ}_{\mathrm{Open}}.$

Filters and netsTemplate:Anchor

This section will describe the relationships between prefilters and nets in great detail because of how important these details are applying filters to topology − particularly in switching from utilizing nets to utilizing filters and vice verse − and because it to make it easier to understand later why subnets (with their most commonly used definitions) are not generally equivalent with "sub–prefilters".

Nets to prefilters

A net $x_{\bullet }={\left(x_i\right)}_{i\in I}\text{ in }X$ is canonically associated with its prefilter of tails $\mathrm{Tails}\left(x_{\bullet }\right).$ If $f:X\to Y$ is a map and $x_{\bullet }$ is a net in $X$ then $\mathrm{Tails}\left(f\left(x_{\bullet }\right)\right)=f(\mathrm{Tails}\left(x_{\bullet }\right)).$Template:Sfn

Prefilters to nets

A Template:Em is a pair $(S,s)$ consisting of a non–empty set $S$ and an element $s\in S.$ For any family $ℬ,$ let $$\mathrm{PointedSets}(ℬ):=\{(B,b):B\in ℬ\text{ and }b\in B\}.$$

Define a canonical preorder $\le$ on pointed sets by declaring $$(R,r)\le (S,s)\text{ if and only if }R\supseteq S.$$

If $s_0,s_1\in S\text{ then }(S,s_0)\le (S,s_1)\text{ and }(S,s_1)\le (S,s_0)$ even if $s_0\ne s_1,$ so this preorder is not antisymmetric and given any family of sets $ℬ,$ $(\mathrm{PointedSets}(ℬ),\le )$ is partially ordered if and only if $ℬ\ne \varnothing$ consists entirely of singleton sets. If $\{x\}\in ℬ\text{ then }(\{x\},x)$ is a maximal element of $\mathrm{PointedSets}(ℬ)$; moreover, all maximal elements are of this form. If $(B,b_0)\in \mathrm{PointedSets}(ℬ)\text{ then }(B,b_0)$ is a greatest element if and only if $B=\ker ℬ,$ in which case $\{(B,b):b\in B\}$ is the set of all greatest elements. However, a greatest element $(B,b)$ is a maximal element if and only if $B=\{b\}=\ker ℬ,$ so there is at most one element that is both maximal and greatest. There is a canonical map ${\mathrm{Point}}_{ℬ}:\mathrm{PointedSets}(ℬ)\to X$ defined by $(B,b)\mapsto b.$ Template:Quote frame

Although $(\mathrm{PointedSets}(ℬ),\le )$ is not, in general, a partially ordered set, it is a directed set if (and only if) $ℬ$ is a prefilter. So the most immediate choice for the definition of "the net in $X$ induced by a prefilter $ℬ$" is the assignment $(B,b)\mapsto b$ from $\mathrm{PointedSets}(ℬ)$ into $X.$

If $ℬ$ is a prefilter on $X\text{ then }{\mathrm{Net}}_{ℬ}$ is a net in $X$ and the prefilter associated with ${\mathrm{Net}}_{ℬ}$ is $ℬ$; that is: $$\mathrm{Tails}\left({\mathrm{Net}}_{ℬ}\right)=ℬ.$$

This would not necessarily be true had ${\mathrm{Net}}_{ℬ}$ been defined on a proper subset of $\mathrm{PointedSets}(ℬ).$ For example, suppose $X$ has at least two distinct elements, $ℬ:=\{X\}$ is the indiscrete filter, and $x\in X$ is arbitrary. Had ${\mathrm{Net}}_{ℬ}$ instead been defined on the singleton set $D:=\{(X,x)\},$ where the restriction of ${\mathrm{Net}}_{ℬ}$ to $D$ will temporarily be denote by ${\mathrm{Net}}_D:D\to X,$ then the prefilter of tails associated with ${\mathrm{Net}}_D:D\to X$ would be the principal prefilter $\{\{x\}\}$ rather than the original filter $ℬ=\{X\}$; this means that the equality $\mathrm{Tails}\left({\mathrm{Net}}_D\right)=ℬ$ is Template:Em, so unlike ${\mathrm{Net}}_{ℬ},$ the prefilter $ℬ$ can Template:Em be recovered from ${\mathrm{Net}}_D.$ Worse still, while $ℬ$ is the unique Template:Em filter on $X,$ the prefilter $\mathrm{Tails}\left({\mathrm{Net}}_D\right)=\{\{x\}\}$ instead generates a Template:Em filter (that is, an ultrafilter) on $X.$

However, if $x_{\bullet }={\left(x_i\right)}_{i\in I}$ is a net in $X$ then it is Template:Em in general true that ${\mathrm{Net}}_{\mathrm{Tails}\left(x_{\bullet }\right)}$ is equal to $x_{\bullet }$ because, for example, the domain of $x_{\bullet }$ may be of a completely different cardinality than that of ${\mathrm{Net}}_{\mathrm{Tails}\left(x_{\bullet }\right)}$ (since unlike the domain of ${\mathrm{Net}}_{\mathrm{Tails}\left(x_{\bullet }\right)},$ the domain of an arbitrary net in $X$ could have Template:Em cardinality).

Ultranets and ultra prefilters

A net $x_{\bullet }\text{ in }X$ is called an Template:Em or Template:Em in $X$ if for every subset $S\subseteq X,x_{\bullet }$ is eventually in $S$ or it is eventually in $X\setminus S$; this happens if and only if $\mathrm{Tails}\left(x_{\bullet }\right)$ is an ultra prefilter. A prefilter $ℬ\text{ on }X$ is an ultra prefilter if and only if ${\mathrm{Net}}_{ℬ}$ is an ultranet in $X.$

Partially ordered net

The domain of the canonical net ${\mathrm{Net}}_{ℬ}$ is in general not partially ordered. However, in 1955 Bruns and Schmidt discovered a construction that allows for the canonical net to have a domain that is both partially ordered and directed; this was independently rediscovered by Albert Wilansky in 1970.Template:Sfn It begins with the construction of a strict partial order (meaning a transitive and irreflexive relation) $<$ on a subset of $ℬ\times \mathbb{N}\times X$ that is similar to the lexicographical order on $ℬ\times \mathbb{N}$ of the strict partial orders $(ℬ,⊋)\text{ and }(\mathbb{N},<).$ For any $i=(B,m,b)\text{ and }j=(C,n,c)$ in $ℬ\times \mathbb{N}\times X,$ declare that $i<j$ if and only if $$B\supseteq C\text{ and either: }\text{(1) }B\ne C\text{ or else (2) }B=C\text{ and }m<n,$$ or equivalently, if and only if $\text{(1) }B\supseteq C,\text{ and (2) if }B=C\text{ then }m<n.$

The non−strict partial order associated with $<,$ denoted by $\le ,$ is defined by declaring that $i\le j\text{ if and only if }i<j\text{ or }i=j.$ Unwinding these definitions gives the following characterization: Template:Blockquote which shows that $\le$ is just the lexicographical order on $ℬ\times \mathbb{N}\times X$ induced by $(ℬ,\supseteq ),(\mathbb{N},\le ),\text{ and }(X,=),$ where $X$ is partially ordered by equality $=.$ Both $<\text{ and }\le$ are serial and neither possesses a greatest element or a maximal element; this remains true if they are each restricted to the subset of $ℬ\times \mathbb{N}\times X$ defined by $$\begin{array}{cc}{\mathrm{Poset}}_{ℬ}& :=\{(B,m,b)\in ℬ\times \mathbb{N}\times X:b\in B\},\\ \end{array}$$ where it will henceforth be assumed that they are. Denote the assignment $i=(B,m,b)\mapsto b$ from this subset by: $$\begin{array}{cccccc}{\mathrm{PosetNet}}_{ℬ}:& & {\mathrm{Poset}}_{ℬ}& & \to & X\\ & & (B,m,b)& & \mapsto & b\\ \end{array}$$ If $i_0=(B_0,m_0,b_0)\in {\mathrm{Poset}}_{ℬ}$ then just as with ${\mathrm{Net}}_{ℬ}$ before, the tail of the ${\mathrm{PosetNet}}_{ℬ}$ starting at $i_0$ is equal to $B_0.$ If $ℬ$ is a prefilter on $X$ then ${\mathrm{PosetNet}}_{ℬ}$ is a net in $X$ whose domain ${\mathrm{Poset}}_{ℬ}$ is a partially ordered set and moreover, $\mathrm{Tails}\left({\mathrm{PosetNet}}_{ℬ}\right)=ℬ.$Template:Sfn Because the tails of ${\mathrm{PosetNet}}_{ℬ}\text{ and }{\mathrm{Net}}_{ℬ}$ are identical (since both are equal to the prefilter $ℬ$), there is typically nothing lost by assuming that the domain of the net associated with a prefilter is both directed Template:Em partially ordered.Template:Sfn If the set $\mathbb{N}$ is replaced with the positive rational numbers then the strict partial order $<$ will also be a dense order.

Template:AnchorSubordinate filters and subnets

The notion of "$ℬ$ is subordinate to $𝒞$" (written $ℬ⊢𝒞$) is for filters and prefilters what "$x_{n_{\bullet }}={\left(x_{n_i}\right)}_{i=1}^{\mathrm{\infty }}$ is a subsequence of $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$" is for sequences.Template:Sfn For example, if $\mathrm{Tails}\left(x_{\bullet }\right)=\{x_{\ge i}:i\in \mathbb{N}\}$ denotes the set of tails of $x_{\bullet }$ and if $\mathrm{Tails}\left(x_{n_{\bullet }}\right)=\{x_{n_{\ge i}}:i\in \mathbb{N}\}$ denotes the set of tails of the subsequence $x_{n_{\bullet }}$ (where $x_{n_{\ge i}}:=\{x_{n_i}:i\in \mathbb{N}\}$) then $\mathrm{Tails}\left(x_{n_{\bullet }}\right)⊢\mathrm{Tails}\left(x_{\bullet }\right)$ (that is, $\mathrm{Tails}\left(x_{\bullet }\right)\le \mathrm{Tails}\left(x_{n_{\bullet }}\right)$) is true but $\mathrm{Tails}\left(x_{\bullet }\right)⊢\mathrm{Tails}\left(x_{n_{\bullet }}\right)$ is in general false.

Non–equivalence of subnets and subordinate filtersTemplate:Anchor

A subset $R\subseteq I$ of a preordered space $(I,\le )$ is Template:Em or Template:Em in $I$ if for every $i\in I$ there exists some $r\in R\text{ such that }i\le r.$ If $R\subseteq I$ contains a tail of $I$ then $R$ is said to be Template:Em or Template:Em; explicitly, this means that there exists some $i\in I\text{ such that }{I}_{\ge i}\subseteq R$ (that is, $j\in R\text{ for all }j\in I\text{ satisfying }i\le j$). An eventual set is necessarily not empty. A subset is eventual if and only if its complement is not frequent (which is termed Template:Em).Template:Sfn A map $h:A\to I$ between two preordered sets is Template:Em if whenever $a,b\in A\text{ satisfy }a\le b,\text{ then }h(a)\le h(b).$

Subnets in the sense of Willard and subnets in the sense of Kelley are the most commonly used definitions of "subnet."Template:Sfn The first definition of a subnet was introduced by John L. Kelley in 1955.Template:Sfn Stephen Willard introduced his own variant of Kelley's definition of subnet in 1970.Template:Sfn AA–subnets were introduced independently by Smiley (1957), Aarnes and Andenaes (1972), and Murdeshwar (1983); AA–subnets were studied in great detail by Aarnes and Andenaes but they are not often used.Template:Sfn

Kelley did not require the map $h$ to be order preserving while the definition of an AA–subnet does away entirely with any map between the two nets' domains and instead focuses entirely on $X$ − the nets' common codomain. Every Willard–subnet is a Kelley–subnet and both are AA–subnets.Template:Sfn In particular, if $y_{\bullet }={\left(y_a\right)}_{a\in A}$ is a Willard–subnet or a Kelley–subnet of $x_{\bullet }={\left(x_i\right)}_{i\in I}$ then $\mathrm{Tails}\left(x_{\bullet }\right)\le \mathrm{Tails}\left(y_{\bullet }\right).$

• Example: Let $I=\mathbb{N}$ and let $x_{\bullet }$ be a constant sequence, say $x_{\bullet }={\left(0\right)}_{i\in \mathbb{N}}.$ Let $s_1=0$ and $A=\{1\}$ so that $s_{\bullet }={\left(s_a\right)}_{a\in A}=\left(s_1\right)$ is a net on $A.$ Then $s_{\bullet }$ is an AA-subnet of $x_{\bullet }$ because $\mathrm{Tails}\left(x_{\bullet }\right)=\{\{0\}\}=\mathrm{Tails}\left(s_{\bullet }\right).$ But $s_{\bullet }$ is not a Willard-subnet of $x_{\bullet }$ because there does not exist any map $h:A\to I$ whose image is a cofinal subset of $I=\mathbb{N}.$ Nor is $s_{\bullet }$ a Kelley-subnet of $x_{\bullet }$ because if $h:A\to I$ is any map then $E:=I\setminus \{h(1)\}$ is a cofinal subset of $I=\mathbb{N}$ but $h^{-1}(E)=\varnothing$ is not eventually in $A.$

AA–subnets have a defining characterization that immediately shows that they are fully interchangeable with sub(ordinate)filters.Template:Sfn Explicitly, what is meant is that the following statement is true for AA–subnets:

Template:In5If $ℬ\text{ and }ℱ$ are prefilters then $ℬ\le ℱ\text{ if and only if }{\mathrm{Net}}_{ℱ}$ is an AA–subnet of ${\mathrm{Net}}_{ℬ}.$

If "AA–subnet" is replaced by "Willard–subnet" or "Kelley–subnet" then the above statement becomes Template:Em. In particular, the problem is that the following statement is in general false:

Template:In5Template:Em statement: If $ℬ\text{ and }ℱ$ are prefilters such that $ℬ\le ℱ\text{ then }{\mathrm{Net}}_{ℱ}$ is a Kelley–subnet of ${\mathrm{Net}}_{ℬ}.$

Since every Willard–subnet is a Kelley–subnet, this statement remains false if the word "Kelley–subnet" is replaced with "Willard–subnet".

• Template:Visible anchor: For all $n\in \mathbb{N},$ let $B_n=\{1\}\cup {\mathbb{N}}_{\ge n}.$ Let $ℬ=\{B_n:n\in \mathbb{N}\},$ which is a proper Template:Pi–system, and let $ℱ=\{\{1\}\}\cup ℬ,$ where both families are prefilters on the natural numbers $X:=\mathbb{N}=\{1,2,\dots \}.$ Because $ℬ\le ℱ,ℱ$ is to $ℬ$ as a subsequence is to a sequence. So ideally, $S={\mathrm{Net}}_{ℱ}$ should be a subnet of $B={\mathrm{Net}}_{ℬ}.$ Let $I:=\mathrm{PointedSets}(ℬ)$ be the domain of ${\mathrm{Net}}_{ℬ},$ so $I$ contains a cofinal subset that is order isomorphic to $\mathbb{N}$ and consequently contains neither a maximal nor greatest element. Let $A:=\mathrm{PointedSets}(ℱ)=\{M\}\cup I,\text{ where }M:=(1,\{1\})$ is both a maximal and greatest element of $A.$ The directed set $A$ also contains a subset that is order isomorphic to $\mathbb{N}$ (because it contains $I,$ which contains such a subset) but no such subset can be cofinal in $A$ because of the maximal element $M.$ Consequently, any order–preserving map $h:A\to I$ must be eventually constant (with value $h(M)$) where $h(M)$ is then a greatest element of the range $h(A).$ Because of this, there can be no order preserving map $h:A\to I$ that satisfies the conditions required for ${\mathrm{Net}}_{ℱ}$ to be a Willard–subnet of ${\mathrm{Net}}_{ℬ}$ (because the range of such a map $h$ cannot be cofinal in $I$). Suppose for the sake of contradiction that there exists a map $h:A\to I$ such that $h^{-1}\left(I_{\ge i}\right)$ is eventually in $A$ for all $i\in I.$ Because $h(M)\in I,$ there exist $n,n_0\in \mathbb{N}$ such that $h(M)=(n_0,B_n)\text{ with }{n}_0\in B_n.$ For every $i\in I,$ because $h^{-1}\left(I_{\ge i}\right)$ is eventually in $A,$ it is necessary that $h(M)\in I_{\ge i}.$ In particular, if $i:=(n+2,B_{n+2})$ then $h(M)\ge i=(n+2,B_{n+2}),$ which by definition is equivalent to $B_n\subseteq B_{n+2},$ which is false. Consequently, ${\mathrm{Net}}_{ℱ}$ is not a Kelley–subnet of ${\mathrm{Net}}_{ℬ}.$

If "subnet" is defined to mean Willard–subnet or Kelley–subnet then nets and filters are not completely interchangeable because there exists a filter–sub(ordinate)filter relationships that cannot be expressed in terms of a net–subnet relationship between the two induced nets. In particular, the problem is that Kelley–subnets and Willard–subnets are Template:Em fully interchangeable with subordinate filters. If the notion of "subnet" is not used or if "subnet" is defined to mean AA–subnet, then this ceases to be a problem and so it becomes correct to say that nets and filters are interchangeable. Despite the fact that AA–subnets do not have the problem that Willard and Kelley subnets have, they are not widely used or known about.Template:Sfn

See also

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

Notes

Proofs

References

• Template:Adams Franzosa Introduction to Topology Pure and Applied
• Template:Arkhangel'skii Ponomarev Fundamentals of General Topology Problems and Exercises
• Template:Berberian Lectures in Functional Analysis and Operator Theory
• Template:Bourbaki General Topology Part I Chapters 1-4
• Template:Bourbaki General Topology Part II Chapters 5-10
• Template:Bourbaki Topological Vector Spaces Part 1 Chapters 1–5
• Template:Cite book
• Template:Cite journal
• Template:Cite journal
• Template:Comfort Negrepontis The Theory of Ultrafilters 1974
• Template:Császár General Topology
• Template:Dixmier General Topology
• Template:Dolecki Mynard Convergence Foundations Of Topology
• Template:Dugundji Topology
• Template:Dunford Schwartz Linear Operators Part 1 General Theory
• Template:Edwards Functional Analysis Theory and Applications
• Template:Howes Modern Analysis and Topology 1995
• Template:Jarchow Locally Convex Spaces
• Template:Cite book
• Template:Joshi Introduction to General Topology
• Template:Kelley General Topology
• Template:Köthe Topological Vector Spaces I
• Template:Cite journal
• Template:Cite web (Provides an introductory review of filters in topology and in metric spaces.)
• Template:Narici Beckenstein Topological Vector Spaces
• Template:Robertson Topological Vector Spaces
• Template:Schaefer Wolff Topological Vector Spaces
• Template:Schechter Handbook of Analysis and Its Foundations
• Template:Schubert Topology
• Template:Trèves François Topological vector spaces, distributions and kernels
• Template:Wilansky Modern Methods in Topological Vector Spaces
• Template:Wilansky Topology for Analysis 2008
• Template:Willard General Topology