General Topology/Filters

Note that the set of open neighbourhoods of a point does not in general form a filter.

Note in particular that the bases are required to be contained within the filter.

Note in particular that the subbases are required to be contained within the filter. Note also that we use the terms base and basis interchangeably; both versions are in use. Note finally that a filter base of a filter $ℱ$ is a filter subbase of $ℱ$.

Analogous to real analysis, we can rephrase continuity in terms of filter convergence. In general, filters are supposed to play the role for topological spaces that sequences play for finite-dimensional real normed spaces; we will see many theorems that are analogous to those on ${ℝ}^n$, with sequences replaced by filters.

Note: It has been proven that one can't prove the ultrafilter lemma from Zermelo–Fraenkel axioms alone, but some form of the axiom of choice is needed. Still, the ultrafilter lemma does not imply the axiom of choice in ZF, that is, it is strictly weaker than the axiom of choice.

In this way, we may reformulate the criterion for the existence of a filter containing another filter and a given set: If $\varphi$ is a filter and $A$ a set, then there exists a filter $\psi$ with $A\in \psi$ and $\varphi \subset \psi$ iff $\varphi$ clusters at $A$.

Note that principal ultrafilters are ultrafilters, because either $x\in A$ or $x\notin A$ for all $A\subseteq X$.

Exercises

1. Let $X$ be a topological space which is not compact. Prove that the set $ℱ$ of all complements of compact subsets of $X$ is a filter. Prove that if $X$ is compact, then $ℱ$ is not a filter.
2. Suppose that $\varphi$ is an ultrafilter on a set $X$, and let $A_1,\dots ,A_n\subseteq X$ be finitely many subsets of $X$. Prove that if $\varphi$ does not contain any of the $A_j$, it does not contain $A_1\cup \cdots \cup A_n$.
3. Let $X,Y$ be sets and $f:X\to Y$ a function. Prove that $f$ is injective iff for all filters $\varphi$ in $Y$, $f^{-1}(\varphi )=\{f^{-1}(A)|A\in \varphi \}$ is a filter.